diff options
| author | Owen Anderson <resistor@mac.com> | 2007-12-28 21:08:43 +0000 |
|---|---|---|
| committer | Owen Anderson <resistor@mac.com> | 2007-12-28 21:08:43 +0000 |
| commit | 2910f68a5240141933483b3a5db0a703648b3d24 (patch) | |
| tree | a7b2390d8fbe3aec5a10d9f773bd3139aa345cb2 /test/Transforms | |
| parent | f5783f825d4b45b6e7d96743b0e421ea7c92c060 (diff) | |
| download | external_llvm-2910f68a5240141933483b3a5db0a703648b3d24.zip external_llvm-2910f68a5240141933483b3a5db0a703648b3d24.tar.gz external_llvm-2910f68a5240141933483b3a5db0a703648b3d24.tar.bz2 | |
Add a testcase for my recent InstCombine fix, written by Nicholas.
git-svn-id: https://llvm.org/svn/llvm-project/llvm/trunk@45386 91177308-0d34-0410-b5e6-96231b3b80d8
Diffstat (limited to 'test/Transforms')
| -rw-r--r-- | test/Transforms/InstCombine/2007-12-28-IcmpSub2.ll | 89 |
1 files changed, 89 insertions, 0 deletions
diff --git a/test/Transforms/InstCombine/2007-12-28-IcmpSub2.ll b/test/Transforms/InstCombine/2007-12-28-IcmpSub2.ll new file mode 100644 index 0000000..5e95993 --- /dev/null +++ b/test/Transforms/InstCombine/2007-12-28-IcmpSub2.ll @@ -0,0 +1,89 @@ +; RUN: llvm-as < %s | opt -mem2reg -instcombine | llvm-dis | grep "ret i32 1" | count 8 + +define i32 @test1() { +entry: + %z = alloca i32 + store i32 0, i32* %z + %tmp = load i32* %z + %sub = sub i32 %tmp, 1 + %cmp = icmp ule i32 %sub, 0 + %retval = select i1 %cmp, i32 0, i32 1 + ret i32 %retval +} + +define i32 @test2() { +entry: + %z = alloca i32 + store i32 0, i32* %z + %tmp = load i32* %z + %sub = sub i32 %tmp, 1 + %cmp = icmp ugt i32 %sub, 0 + %retval = select i1 %cmp, i32 1, i32 0 + ret i32 %retval +} + +define i32 @test3() { +entry: + %z = alloca i32 + store i32 0, i32* %z + %tmp = load i32* %z + %sub = sub i32 %tmp, 1 + %cmp = icmp slt i32 %sub, 0 + %retval = select i1 %cmp, i32 1, i32 0 + ret i32 %retval +} + +define i32 @test4() { +entry: + %z = alloca i32 + store i32 0, i32* %z + %tmp = load i32* %z + %sub = sub i32 %tmp, 1 + %cmp = icmp sle i32 %sub, 0 + %retval = select i1 %cmp, i32 1, i32 0 + ret i32 %retval +} + +define i32 @test5() { +entry: + %z = alloca i32 + store i32 0, i32* %z + %tmp = load i32* %z + %sub = sub i32 %tmp, 1 + %cmp = icmp sge i32 %sub, 0 + %retval = select i1 %cmp, i32 0, i32 1 + ret i32 %retval +} + +define i32 @test6() { +entry: + %z = alloca i32 + store i32 0, i32* %z + %tmp = load i32* %z + %sub = sub i32 %tmp, 1 + %cmp = icmp sgt i32 %sub, 0 + %retval = select i1 %cmp, i32 0, i32 1 + ret i32 %retval +} + +define i32 @test7() { +entry: + %z = alloca i32 + store i32 0, i32* %z + %tmp = load i32* %z + %sub = sub i32 %tmp, 1 + %cmp = icmp eq i32 %sub, 0 + %retval = select i1 %cmp, i32 0, i32 1 + ret i32 %retval +} + +define i32 @test8() { +entry: + %z = alloca i32 + store i32 0, i32* %z + %tmp = load i32* %z + %sub = sub i32 %tmp, 1 + %cmp = icmp ne i32 %sub, 0 + %retval = select i1 %cmp, i32 1, i32 0 + ret i32 %retval +}
\ No newline at end of file |