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
}
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
+}