Add an additional test for icmp of select folding.
authorDuncan Sands <baldrick@free.fr>
Mon, 8 Nov 2010 20:56:28 +0000 (20:56 +0000)
committerDuncan Sands <baldrick@free.fr>
Mon, 8 Nov 2010 20:56:28 +0000 (20:56 +0000)
git-svn-id: https://llvm.org/svn/llvm-project/llvm/trunk@118441 91177308-0d34-0410-b5e6-96231b3b80d8

test/Transforms/InstCombine/select.ll

index 6738abc4680650770d3675498310f28275446e25..c49c7137e4bc60c984dc9704bd7c19d136315e0a 100644 (file)
@@ -488,3 +488,14 @@ define i1 @test39(i1 %cond, double %x) {
 ; CHECK: @test39
 ; CHECK: ret i1 true
 }
+
+define i1 @test40(i1 %cond) {
+  %a = alloca i32
+  %b = alloca i32
+  %c = alloca i32
+  %s = select i1 %cond, i32* %a, i32* %b
+  %r = icmp eq i32* %s, %c
+  ret i1 %r
+; CHECK: @test40
+; CHECK: ret i1 false
+}