-; RUN: opt < %s -instcombine -S | grep "zext " | count 1
+; NOTE: Assertions have been autogenerated by update_test_checks.py
+; RUN: opt < %s -instcombine -S | FileCheck %s
+
; PR1570
define i32 @test2(float %X, float %Y) {
+; CHECK-LABEL: @test2(
+; CHECK: [[TMP3:%.*]] = fcmp ord float %X, %Y
+; CHECK-NEXT: [[TOBOOLNOT5:%.*]] = zext i1 [[TMP3]] to i32
+; CHECK-NEXT: ret i32 [[TOBOOLNOT5]]
+;
entry:
- %tmp3 = fcmp uno float %X, %Y ; <i1> [#uses=1]
- %tmp34 = zext i1 %tmp3 to i8 ; <i8> [#uses=1]
- %tmp = xor i8 %tmp34, 1 ; <i8> [#uses=1]
- %toBoolnot5 = zext i8 %tmp to i32 ; <i32> [#uses=1]
- ret i32 %toBoolnot5
+ %tmp3 = fcmp uno float %X, %Y
+ %tmp34 = zext i1 %tmp3 to i8
+ %tmp = xor i8 %tmp34, 1
+ %toBoolnot5 = zext i8 %tmp to i32
+ ret i32 %toBoolnot5
}