Remove extraneous CHECK-NOTs from previous commit and add a new test case.
authorChad Rosier <mcrosier@apple.com>
Wed, 6 Jun 2012 02:12:17 +0000 (02:12 +0000)
committerChad Rosier <mcrosier@apple.com>
Wed, 6 Jun 2012 02:12:17 +0000 (02:12 +0000)
git-svn-id: https://llvm.org/svn/llvm-project/llvm/trunk@158045 91177308-0d34-0410-b5e6-96231b3b80d8

test/Transforms/InstCombine/and-fcmp.ll

index 08fad676c7584511f62963fa385275e6078e10bf..f6a226e3b58ff88ca45d6ef0f34115530b3428fd 100644 (file)
@@ -21,7 +21,6 @@ define zeroext i8 @t2(float %x, float %y) nounwind {
        ret i8 %retval
 ; CHECK: t2
 ; CHECK: fcmp olt float %x, %y
-; CHECK-NOT: fcmp olt float %x, %y
 ; CHECK-NOT: fcmp ord float %x, %y
 ; CHECK-NOT: and
 }
@@ -44,7 +43,16 @@ define zeroext i8 @t4(float %x, float %y) nounwind {
        ret i8 %retval
 ; CHECK: t4
 ; CHECK: fcmp one float %y, %x
-; CHECK-NOT: fcmp one float %y, %x
 ; CHECK-NOT: fcmp ord float %x, %y
 ; CHECK-NOT: and
 }
+
+define zeroext i8 @t5(float %x, float %y) nounwind {
+       %a = fcmp ord float %x, %y
+       %b = fcmp uno float %x, %y
+       %c = and i1 %a, %b
+       %retval = zext i1 %c to i8
+       ret i8 %retval
+; CHECK: t5
+; CHECK: ret i8 0
+}