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/LoopUnswitch/simplify-with-nonvalness.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/LoopUnswitch/simplify-with-nonvalness.ll')
| -rw-r--r-- | llvm/test/Transforms/LoopUnswitch/simplify-with-nonvalness.ll | 59 |
1 files changed, 0 insertions, 59 deletions
diff --git a/llvm/test/Transforms/LoopUnswitch/simplify-with-nonvalness.ll b/llvm/test/Transforms/LoopUnswitch/simplify-with-nonvalness.ll deleted file mode 100644 index d2436f06e0c..00000000000 --- a/llvm/test/Transforms/LoopUnswitch/simplify-with-nonvalness.ll +++ /dev/null @@ -1,59 +0,0 @@ -; RUN: opt < %s -loop-unswitch -verify-loop-info -S < %s 2>&1 | FileCheck %s -; RUN: opt < %s -loop-unswitch -verify-loop-info -enable-mssa-loop-dependency=true -verify-memoryssa -S < %s 2>&1 | FileCheck %s - -; There are 1 case and 1 default case in the switch. after we unswitch, we know the -; %a is definitely not 0 in one of the unswitched loop, make sure we take advantage -; of that and simplify the branches in the loop. -; -; CHECK: define void @simplify_with_nonvalness( - -; This is the loop in which we know %a is definitely 0. -; CHECK: sw.bb.us: -; CHECK: br i1 true, label %if.then.us, label %if.end.us - -; This is the loop in which we do not know what %a is but we know %a is definitely NOT 0. -; Make sure we use that information to simplify. -; The icmp eq i32 %a, 0 in one of the unswitched loop is simplified to false. -; CHECK: sw.bb.split: -; CHECK: br i1 false, label %if.then, label %if.end - -define void @simplify_with_nonvalness(i32 %a) #0 { -entry: - br label %for.cond - -for.cond: - %i.0 = phi i32 [ 0, %entry ], [ %inc, %for.inc ] - %cmp = icmp slt i32 %i.0, 1024 - br i1 %cmp, label %for.body, label %for.end - -for.body: - switch i32 %a, label %sw.default [ - i32 0, label %sw.bb - ] - -sw.bb: - %cmp1 = icmp eq i32 %a, 0 - br i1 %cmp1, label %if.then, label %if.end - -if.then: - call void (...) @bar() - br label %if.end - -if.end: - br label %sw.epilog - -sw.default: - br label %sw.epilog - -sw.epilog: - br label %for.inc - -for.inc: - %inc = add nsw i32 %i.0, 1 - br label %for.cond - -for.end: - ret void -} - -declare void @bar(...) |
