| ; NOTE: Assertions have been autogenerated by utils/update_test_checks.py | |
| ; RUN: opt -S -float2int < %s | FileCheck %s | |
| declare void @use(i32) | |
| define i1 @src() { | |
| ; CHECK-LABEL: @src( | |
| ; CHECK-NEXT: [[CMP:%.*]] = icmp eq i32 -1, -1 | |
| ; CHECK-NEXT: ret i1 [[CMP]] | |
| ; | |
| %add = fadd double 2.000000e+00, -1.000000e+00 | |
| %mul = fmul double %add, 0x41EFFFFFFFE00000 | |
| %conv = fptoui double %mul to i32 | |
| %cmp = icmp eq i32 %conv, -1 | |
| %conv2 = fptoui double %add to i32 | |
| ret i1 %cmp | |
| } |