aboutsummaryrefslogtreecommitdiffstats
diff options
context:
space:
mode:
authorChris Lattner <sabre@nondot.org>2009-12-21 06:08:50 +0000
committerChris Lattner <sabre@nondot.org>2009-12-21 06:08:50 +0000
commita908b3da002a665bf8912b5d1100ec99fd44536b (patch)
treeac0ab15fa87a4a5ffcb129ea78b96beaca683687
parent96d8575ff477e3b58cbe4d8b658bd1972f8e4586 (diff)
downloadexternal_llvm-a908b3da002a665bf8912b5d1100ec99fd44536b.zip
external_llvm-a908b3da002a665bf8912b5d1100ec99fd44536b.tar.gz
external_llvm-a908b3da002a665bf8912b5d1100ec99fd44536b.tar.bz2
add check lines for min/max tests.
git-svn-id: https://llvm.org/svn/llvm-project/llvm/trunk@91816 91177308-0d34-0410-b5e6-96231b3b80d8
-rw-r--r--test/Transforms/InstCombine/select.ll16
1 files changed, 16 insertions, 0 deletions
diff --git a/test/Transforms/InstCombine/select.ll b/test/Transforms/InstCombine/select.ll
index 2dcc3b1..06d5338 100644
--- a/test/Transforms/InstCombine/select.ll
+++ b/test/Transforms/InstCombine/select.ll
@@ -383,42 +383,58 @@ next:
}
+; SMAX(SMAX(x, y), x) -> SMAX(x, y)
define i32 @test30(i32 %x, i32 %y) {
%cmp = icmp sgt i32 %x, %y
%cond = select i1 %cmp, i32 %x, i32 %y
+
%cmp5 = icmp sgt i32 %cond, %x
%retval = select i1 %cmp5, i32 %cond, i32 %x
ret i32 %retval
+; CHECK: @test30
+; CHECK: ret i32 %cond
}
+; UMAX(UMAX(x, y), x) -> UMAX(x, y)
define i32 @test31(i32 %x, i32 %y) {
%cmp = icmp ugt i32 %x, %y
%cond = select i1 %cmp, i32 %x, i32 %y
%cmp5 = icmp ugt i32 %cond, %x
%retval = select i1 %cmp5, i32 %cond, i32 %x
ret i32 %retval
+; CHECK: @test31
+; CHECK: ret i32 %cond
}
+; SMIN(SMIN(x, y), x) -> SMIN(x, y)
define i32 @test32(i32 %x, i32 %y) {
%cmp = icmp sgt i32 %x, %y
%cond = select i1 %cmp, i32 %y, i32 %x
%cmp5 = icmp sgt i32 %cond, %x
%retval = select i1 %cmp5, i32 %x, i32 %cond
ret i32 %retval
+; CHECK: @test32
+; CHECK: ret i32 %cond
}
+; MAX(MIN(x, y), x) -> x
define i32 @test33(i32 %x, i32 %y) {
%cmp = icmp sgt i32 %x, %y
%cond = select i1 %cmp, i32 %y, i32 %x
%cmp5 = icmp sgt i32 %cond, %x
%retval = select i1 %cmp5, i32 %cond, i32 %x
ret i32 %retval
+; CHECK: @test33
+; CHECK: ret i32 %x
}
+; MIN(MAX(x, y), x) -> x
define i32 @test34(i32 %x, i32 %y) {
%cmp = icmp sgt i32 %x, %y
%cond = select i1 %cmp, i32 %x, i32 %y
%cmp5 = icmp sgt i32 %cond, %x
%retval = select i1 %cmp5, i32 %x, i32 %cond
ret i32 %retval
+; CHECK: @test34
+; CHECK: ret i32 %x
}