From 4ddf8871ceaa32d60f7834a74c5556fd82ab8d79 Mon Sep 17 00:00:00 2001 From: Chad Rosier Date: Wed, 6 Jun 2012 02:12:17 +0000 Subject: [PATCH] Remove extraneous CHECK-NOTs from previous commit and add a new test case. git-svn-id: https://llvm.org/svn/llvm-project/llvm/trunk@158045 91177308-0d34-0410-b5e6-96231b3b80d8 --- test/Transforms/InstCombine/and-fcmp.ll | 12 ++++++++++-- 1 file changed, 10 insertions(+), 2 deletions(-) diff --git a/test/Transforms/InstCombine/and-fcmp.ll b/test/Transforms/InstCombine/and-fcmp.ll index 08fad676c75..f6a226e3b58 100644 --- a/test/Transforms/InstCombine/and-fcmp.ll +++ b/test/Transforms/InstCombine/and-fcmp.ll @@ -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 +}