diff options
| -rw-r--r-- | test/Transforms/InstCombine/and-fcmp.ll | 12 |
1 files changed, 10 insertions, 2 deletions
diff --git a/test/Transforms/InstCombine/and-fcmp.ll b/test/Transforms/InstCombine/and-fcmp.ll index 08fad67..f6a226e 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 +} |