19 lines · plain
1; NOTE: Assertions have been autogenerated by utils/update_test_checks.py UTC_ARGS: --version 62; RUN: opt -S -passes=float2int < %s | FileCheck %s3 4; Make sure that we don't demote constant floating-point values when5; it cannot be represented by target integer type.6 7define i1 @pr167627() {8; CHECK-LABEL: define i1 @pr167627() {9; CHECK-NEXT: [[ENTRY:.*:]]10; CHECK-NEXT: [[FADD:%.*]] = fadd float 0xC5AAD8ABE0000000, 0xC57E81970000000011; CHECK-NEXT: [[CMP:%.*]] = fcmp one float [[FADD]], 0.000000e+0012; CHECK-NEXT: ret i1 [[CMP]]13;14entry:15 %fadd = fadd float 0xC5AAD8ABE0000000, 0xC57E81970000000016 %cmp = fcmp one float %fadd, 0.000000e+0017 ret i1 %cmp18}19