| ; NOTE: Assertions have been autogenerated by utils/update_test_checks.py UTC_ARGS: --version 6 |
| ; RUN: opt -S -passes=float2int < %s | FileCheck %s |
| |
| ; Make sure that we don't demote constant floating-point values when |
| ; it cannot be represented by target integer type. |
| |
| define i1 @pr167627() { |
| ; CHECK-LABEL: define i1 @pr167627() { |
| ; CHECK-NEXT: [[ENTRY:.*:]] |
| ; CHECK-NEXT: [[FADD:%.*]] = fadd float 0xC5AAD8ABE0000000, 0xC57E819700000000 |
| ; CHECK-NEXT: [[CMP:%.*]] = fcmp one float [[FADD]], 0.000000e+00 |
| ; CHECK-NEXT: ret i1 [[CMP]] |
| ; |
| entry: |
| %fadd = fadd float 0xC5AAD8ABE0000000, 0xC57E819700000000 |
| %cmp = fcmp one float %fadd, 0.000000e+00 |
| ret i1 %cmp |
| } |
