Peter Collingbourne 5c78f7db18 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
2016-05-26 04:58:46 +00:00

5 lines
105 B
LLVM

; RUN: opt -S -o - -functionattrs %s | FileCheck %s
; CHECK-NOT: readnone
declare void @llvm.assume(i1)