1; RUN: opt < %s -float2int -float2int-max-integer-bw=256 -S | FileCheck %s
2
3; CHECK-LABEL: @neg_toolarge
4; CHECK:  %1 = uitofp i80 %a to fp128
5; CHECK:  %2 = fadd fp128 %1, %1
6; CHECK:  %3 = fptoui fp128 %2 to i80
7; CHECK:  ret i80 %3
8; fp128 has a 112-bit mantissa, which can hold an i80. But we only support
9; 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 fp128
12  %2 = fadd fp128 %1, %1
13  %3 = fptoui fp128 %2 to i80
14  ret i80 %3
15}
16
17