Make isAliased property for fixed-offset stack objects adjustable
authorHal Finkel <hfinkel@anl.gov>
Sat, 16 Aug 2014 00:17:02 +0000 (00:17 +0000)
committerHal Finkel <hfinkel@anl.gov>
Sat, 16 Aug 2014 00:17:02 +0000 (00:17 +0000)
commit227df4bca09d43b372c5f38790af735a92f67b6c
tree244e8ac73b6a9b1d68d6222b1539551d87d8b469
parentbdd8b6bfb922959dde3334f237cb2ce96613796d
Make isAliased property for fixed-offset stack objects adjustable

We used to assume that any fixed-offset stack object was not aliased. This
meant that no IR value could point to the memory contained in such an object.
This is a reasonable default, but is not a universally-correct
target-independent fact. For example, on PowerPC (both Darwin and non-Darwin),
some byval arguments are allocated at fixed offsets by the ABI. These, however,
certainly can be pointed to by IR values. This change moves the 'isAliased'
logic out of FixedStackPseudoSourceValue and into MFI, and allows the isAliased
property to be overridden for fixed-offset objects.

This will be used by an upcoming commit to the PowerPC backend to fix PR20280.

No functionality change intended (the behavior of
FixedStackPseudoSourceValue::isAliased has been made more conservative for
callers that don't pass an MFI object, but I don't see any in-tree callers that
do that).

git-svn-id: https://llvm.org/svn/llvm-project/llvm/trunk@215794 91177308-0d34-0410-b5e6-96231b3b80d8
include/llvm/CodeGen/MachineFrameInfo.h
lib/CodeGen/MachineFunction.cpp
lib/CodeGen/PseudoSourceValue.cpp