xref: /llvm-project/llvm/test/Transforms/Float2Int/pr54669.ll (revision 77f2db23d040f721c02ba149146fd6b009a34700)
1; NOTE: Assertions have been autogenerated by utils/update_test_checks.py
2; RUN: opt -S -passes=float2int < %s | FileCheck %s
3
4declare void @use(i32)
5
6define i1 @src() {
7; CHECK-LABEL: @src(
8; CHECK-NEXT:    [[CMP:%.*]] = icmp eq i32 -1, -1
9; CHECK-NEXT:    ret i1 [[CMP]]
10;
11  %add = fadd double 2.000000e+00, -1.000000e+00
12  %mul = fmul double %add, 0x41EFFFFFFFE00000
13  %conv = fptoui double %mul to i32
14  %cmp = icmp eq i32 %conv, -1
15  %conv2 = fptoui double %add to i32
16  ret i1 %cmp
17}
18