diff options
| author | Chris Lattner <sabre@nondot.org> | 2010-02-05 19:53:02 +0000 |
|---|---|---|
| committer | Chris Lattner <sabre@nondot.org> | 2010-02-05 19:53:02 +0000 |
| commit | 74529826a70546d71c6558e9a3917244a87acfe9 (patch) | |
| tree | 40781a35873a4b901835fb705b958b974fc8c6f9 /test | |
| parent | 82ed17eb472102cb6711b832183ee4816ad9a656 (diff) | |
| download | external_llvm-74529826a70546d71c6558e9a3917244a87acfe9.zip external_llvm-74529826a70546d71c6558e9a3917244a87acfe9.tar.gz external_llvm-74529826a70546d71c6558e9a3917244a87acfe9.tar.bz2 | |
fix logical-select to invoke filecheck right, and fix hte instcombine
xform it is checking to actually pass. There is no need to match
m_SelectCst<0, -1> since instcombine canonicalizes that into not(sext).
Add matches for sext(not(x)) in addition to not(sext(x)).
git-svn-id: https://llvm.org/svn/llvm-project/llvm/trunk@95420 91177308-0d34-0410-b5e6-96231b3b80d8
Diffstat (limited to 'test')
| -rw-r--r-- | test/Transforms/InstCombine/logical-select.ll | 4 |
1 files changed, 3 insertions, 1 deletions
diff --git a/test/Transforms/InstCombine/logical-select.ll b/test/Transforms/InstCombine/logical-select.ll index 4e48b2d..bb59817 100644 --- a/test/Transforms/InstCombine/logical-select.ll +++ b/test/Transforms/InstCombine/logical-select.ll @@ -1,4 +1,5 @@ -; RUN: opt < %s -instcombine -S > FileCheck %s +; RUN: opt < %s -instcombine -S | FileCheck %s + define i32 @foo(i32 %a, i32 %b, i32 %c, i32 %d) nounwind { %e = icmp slt i32 %a, %b @@ -24,6 +25,7 @@ define i32 @bar(i32 %a, i32 %b, i32 %c, i32 %d) nounwind { ; CHECK: %j = select i1 %e, i32 %c, i32 %d ; CHECK: ret i32 %j } + define i32 @goo(i32 %a, i32 %b, i32 %c, i32 %d) nounwind { entry: %0 = icmp slt i32 %a, %b |