OSDN Git Service

MemorySSA: Revert r269678 and r268068; replace with special casing in MemorySSA.
authorPeter Collingbourne <peter@pcc.me.uk>
Thu, 26 May 2016 04:58:46 +0000 (04:58 +0000)
committerPeter Collingbourne <peter@pcc.me.uk>
Thu, 26 May 2016 04:58:46 +0000 (04:58 +0000)
commit5c78f7db18b22e62fa423e3ac5f6f83354bcdc7d
treecc5f9f15db59585c07491f9096e811a33745d1c9
parentc1beab651a7017df8a179dd9ec3d278dc679c7c1
MemorySSA: Revert r269678 and r268068; replace with special casing in MemorySSA.

It turns out that too many passes are relying on alias analysis results
for control dependencies. Until we fix that by introducing a more accurate
modelling of control dependencies, special case assume in MemorySSA instead.

Also introduce tests to ensure we don't regress the FunctionAttrs or LICM
passes.

Differential Revision: http://reviews.llvm.org/D20658

git-svn-id: https://llvm.org/svn/llvm-project/llvm/trunk@270823 91177308-0d34-0410-b5e6-96231b3b80d8
lib/Analysis/BasicAliasAnalysis.cpp
lib/Transforms/Utils/MemorySSA.cpp
test/Transforms/FunctionAttrs/assume.ll [new file with mode: 0644]
test/Transforms/LICM/assume.ll [new file with mode: 0644]
test/Transforms/Util/MemorySSA/assume.ll