diff options
| author | Daniel Jasper <djasper@google.com> | 2016-12-19 08:22:17 +0000 |
|---|---|---|
| committer | Daniel Jasper <djasper@google.com> | 2016-12-19 08:22:17 +0000 |
| commit | aec2fa352f533d230ab50b6c3002a1a664c9d6c2 (patch) | |
| tree | 21fa530583cde5282092391e6891d959208f28d9 /llvm/test/Transforms/JumpThreading | |
| parent | e5f3eba9c31f4d00c73f4714df52ffced4532927 (diff) | |
| download | bcm5719-llvm-aec2fa352f533d230ab50b6c3002a1a664c9d6c2.tar.gz bcm5719-llvm-aec2fa352f533d230ab50b6c3002a1a664c9d6c2.zip | |
Revert @llvm.assume with operator bundles (r289755-r289757)
This creates non-linear behavior in the inliner (see more details in
r289755's commit thread).
llvm-svn: 290086
Diffstat (limited to 'llvm/test/Transforms/JumpThreading')
| -rw-r--r-- | llvm/test/Transforms/JumpThreading/assume-edge-dom.ll | 4 | ||||
| -rw-r--r-- | llvm/test/Transforms/JumpThreading/assume.ll | 4 |
2 files changed, 4 insertions, 4 deletions
diff --git a/llvm/test/Transforms/JumpThreading/assume-edge-dom.ll b/llvm/test/Transforms/JumpThreading/assume-edge-dom.ll index ff087693ea8..f1d0f41e250 100644 --- a/llvm/test/Transforms/JumpThreading/assume-edge-dom.ll +++ b/llvm/test/Transforms/JumpThreading/assume-edge-dom.ll @@ -14,12 +14,12 @@ entry: taken: %res1 = call i8* @escape() %a = icmp eq i8* %res1, null - tail call void @llvm.assume(i1 %a) [ "affected"(i8* %res1) ] + tail call void @llvm.assume(i1 %a) br label %done not_taken: %res2 = call i8* @escape() %b = icmp ne i8* %res2, null - tail call void @llvm.assume(i1 %b) [ "affected"(i8* %res2) ] + tail call void @llvm.assume(i1 %b) br label %done ; An assume that can be used to simplify this comparison dominates each diff --git a/llvm/test/Transforms/JumpThreading/assume.ll b/llvm/test/Transforms/JumpThreading/assume.ll index fdaa07ff131..53010b71c72 100644 --- a/llvm/test/Transforms/JumpThreading/assume.ll +++ b/llvm/test/Transforms/JumpThreading/assume.ll @@ -6,7 +6,7 @@ target triple = "x86_64-unknown-linux-gnu" define i32 @test1(i32 %a, i32 %b) #0 { entry: %cmp = icmp sgt i32 %a, 5 - tail call void @llvm.assume(i1 %cmp) [ "affected"(i32 %a) ] + tail call void @llvm.assume(i1 %cmp) %cmp1 = icmp sgt i32 %b, 1234 br i1 %cmp1, label %if.then, label %if.else @@ -36,7 +36,7 @@ return: ; preds = %if.else, %if.then, define i32 @test2(i32 %a) #0 { entry: %cmp = icmp sgt i32 %a, 5 - tail call void @llvm.assume(i1 %cmp) [ "affected"(i32 %a) ] + tail call void @llvm.assume(i1 %cmp) %cmp1 = icmp sgt i32 %a, 3 br i1 %cmp1, label %if.then, label %return |

