| James Molloy | 0cbb2a86 | 2015-03-27 10:36:57 +0000 | [diff] [blame] | 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). |
| 10 | define 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 | |