xref: /llvm-project/llvm/test/Transforms/InstCombine/zext-fold.ll (revision acdc419c897f8a9414c7a00c8908ac32312afee2)
1; NOTE: Assertions have been autogenerated by update_test_checks.py
2; RUN: opt < %s -passes=instcombine -S | FileCheck %s
3
4; PR1570
5
6define i32 @test2(float %X, float %Y) {
7; CHECK-LABEL: @test2(
8; CHECK-NEXT:    [[TMP3:%.*]] = fcmp ord float %X, %Y
9; CHECK-NEXT:    [[TOBOOLNOT5:%.*]] = zext i1 [[TMP3]] to i32
10; CHECK-NEXT:    ret i32 [[TOBOOLNOT5]]
11;
12  %tmp3 = fcmp uno float %X, %Y
13  %tmp34 = zext i1 %tmp3 to i8
14  %tmp = xor i8 %tmp34, 1
15  %toBoolnot5 = zext i8 %tmp to i32
16  ret i32 %toBoolnot5
17}
18
19