diff options
| author | Peter Collingbourne <peter@pcc.me.uk> | 2016-05-26 04:58:46 +0000 |
|---|---|---|
| committer | Peter Collingbourne <peter@pcc.me.uk> | 2016-05-26 04:58:46 +0000 |
| commit | b9aa1f4a03a3e1d8e062ceff6eb8ed71b4dd93eb (patch) | |
| tree | f7e2da340d2843d74a4c5375e9054fd4726bfa52 /llvm/test | |
| parent | 3bfedcffe09c393b1a94f4f58e2d5717122dd421 (diff) | |
| download | bcm5719-llvm-b9aa1f4a03a3e1d8e062ceff6eb8ed71b4dd93eb.tar.gz bcm5719-llvm-b9aa1f4a03a3e1d8e062ceff6eb8ed71b4dd93eb.zip | |
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
llvm-svn: 270823
Diffstat (limited to 'llvm/test')
| -rw-r--r-- | llvm/test/Transforms/FunctionAttrs/assume.ll | 4 | ||||
| -rw-r--r-- | llvm/test/Transforms/LICM/assume.ll | 34 | ||||
| -rw-r--r-- | llvm/test/Transforms/Util/MemorySSA/assume.ll | 1 |
3 files changed, 39 insertions, 0 deletions
diff --git a/llvm/test/Transforms/FunctionAttrs/assume.ll b/llvm/test/Transforms/FunctionAttrs/assume.ll new file mode 100644 index 00000000000..58200622eab --- /dev/null +++ b/llvm/test/Transforms/FunctionAttrs/assume.ll @@ -0,0 +1,4 @@ +; RUN: opt -S -o - -functionattrs %s | FileCheck %s + +; CHECK-NOT: readnone +declare void @llvm.assume(i1) diff --git a/llvm/test/Transforms/LICM/assume.ll b/llvm/test/Transforms/LICM/assume.ll new file mode 100644 index 00000000000..9abf5578287 --- /dev/null +++ b/llvm/test/Transforms/LICM/assume.ll @@ -0,0 +1,34 @@ +; RUN: opt -licm -basicaa < %s -S | FileCheck %s + +define void @f(i1 %p) nounwind ssp { +entry: + br label %for.body + +for.body: + br i1 undef, label %if.then, label %for.cond.backedge + +for.cond.backedge: + br i1 undef, label %for.end104, label %for.body + +if.then: + br i1 undef, label %if.then27, label %if.end.if.end.split_crit_edge.critedge + +if.then27: +; CHECK: tail call void @llvm.assume + tail call void @llvm.assume(i1 %p) + br label %for.body61.us + +if.end.if.end.split_crit_edge.critedge: + br label %for.body61 + +for.body61.us: + br i1 undef, label %for.cond.backedge, label %for.body61.us + +for.body61: + br i1 undef, label %for.cond.backedge, label %for.body61 + +for.end104: + ret void +} + +declare void @llvm.assume(i1) diff --git a/llvm/test/Transforms/Util/MemorySSA/assume.ll b/llvm/test/Transforms/Util/MemorySSA/assume.ll index bdd10fc28b4..8496eb9c12d 100644 --- a/llvm/test/Transforms/Util/MemorySSA/assume.ll +++ b/llvm/test/Transforms/Util/MemorySSA/assume.ll @@ -8,6 +8,7 @@ define i32 @foo(i32* %a, i32* %b, i1 %c) { ; CHECK: 1 = MemoryDef(liveOnEntry) ; CHECK-NEXT: store i32 4 store i32 4, i32* %a, align 4 +; CHECK-NOT: MemoryDef ; CHECK: call void @llvm.assume call void @llvm.assume(i1 %c) ; CHECK: MemoryUse(1) |
