17 lines · plain
1; RUN: opt < %s -passes=float2int -float2int-max-integer-bw=256 -S | FileCheck %s2 3; CHECK-LABEL: @neg_toolarge4; CHECK: %1 = uitofp i80 %a to fp1285; CHECK: %2 = fadd fp128 %1, %16; CHECK: %3 = fptoui fp128 %2 to i807; CHECK: ret i80 %38; fp128 has a 112-bit mantissa, which can hold an i80. But we only support9; up to i64, so it should fail (even though the max integer bitwidth is 256).10define i80 @neg_toolarge(i80 %a) {11 %1 = uitofp i80 %a to fp12812 %2 = fadd fp128 %1, %113 %3 = fptoui fp128 %2 to i8014 ret i80 %315}16 17