[PATCH] D20658: MemorySSA: Revert r269678 and r268068; replace with special casing in MemorySSA.

[Peter Collingbourne via llvm-commits]

pcc created this revision.
pcc added reviewers: dberlin, chandlerc, hfinkel, reames, sanjoy, boazo, majnemer, gberry.
pcc added a subscriber: llvm-commits.

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.

http://reviews.llvm.org/D20658

Files:
  lib/Analysis/BasicAliasAnalysis.cpp
  lib/Transforms/Utils/MemorySSA.cpp
  test/Transforms/FunctionAttrs/assume.ll
  test/Transforms/LICM/assume.ll
  test/Transforms/Util/MemorySSA/assume.ll

-------------- next part --------------
A non-text attachment was scrubbed...
Name: D20658.58553.patch
Type: text/x-patch
Size: 3665 bytes
Desc: not available
URL: <http://lists.llvm.org/pipermail/llvm-commits/attachments/20160526/d113fb35/attachment.bin>