diff options
author | Eric Christopher <echristo@gmail.com> | 2019-04-17 02:12:23 +0000 |
---|---|---|
committer | Eric Christopher <echristo@gmail.com> | 2019-04-17 02:12:23 +0000 |
commit | a86343512845c9c1fdbac865fea88aa5fce7142a (patch) | |
tree | 666fc6353de19ad8b00e56b67edd33f24104e4a7 /llvm/test/Transforms/JumpThreading/assume-edge-dom.ll | |
parent | 7f8ca6e3679b3af951cb7a4b1377edfaa3244b93 (diff) | |
download | bcm5719-llvm-a86343512845c9c1fdbac865fea88aa5fce7142a.tar.gz bcm5719-llvm-a86343512845c9c1fdbac865fea88aa5fce7142a.zip |
Temporarily Revert "Add basic loop fusion pass."
As it's causing some bot failures (and per request from kbarton).
This reverts commit r358543/ab70da07286e618016e78247e4a24fcb84077fda.
llvm-svn: 358546
Diffstat (limited to 'llvm/test/Transforms/JumpThreading/assume-edge-dom.ll')
-rw-r--r-- | llvm/test/Transforms/JumpThreading/assume-edge-dom.ll | 39 |
1 files changed, 0 insertions, 39 deletions
diff --git a/llvm/test/Transforms/JumpThreading/assume-edge-dom.ll b/llvm/test/Transforms/JumpThreading/assume-edge-dom.ll deleted file mode 100644 index f1d0f41e250..00000000000 --- a/llvm/test/Transforms/JumpThreading/assume-edge-dom.ll +++ /dev/null @@ -1,39 +0,0 @@ -; RUN: opt -S -jump-threading < %s | FileCheck %s - -declare i8* @escape() -declare void @llvm.assume(i1) - -define i1 @test1(i1 %cond) { -entry: - br i1 %cond, label %taken, label %not_taken - -; CHECK-LABEL: @test1 -; CHECK: br i1 %cond, label %no, label %yes -; CHECK: ret i1 true - -taken: - %res1 = call i8* @escape() - %a = icmp eq i8* %res1, null - 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) - br label %done - -; An assume that can be used to simplify this comparison dominates each -; predecessor branch (although no assume dominates the cmp itself). Make sure -; this still can be simplified. - -done: - %res = phi i8* [ %res1, %taken ], [ %res2, %not_taken ] - %cnd = icmp ne i8* %res, null - br i1 %cnd, label %yes, label %no - -yes: - ret i1 true -no: - ret i1 false -} - |