Reapply r233175 and r233183: float2int.

This re-adds float2int to the tree, after fixing PR23038. It turns
out the argument to APSInt() is true-if-unsigned, rather than
true-if-signed :(. Added testcase and explanatory comment.

git-svn-id: https://llvm.org/svn/llvm-project/llvm/trunk@233370 91177308-0d34-0410-b5e6-96231b3b80d8
This commit is contained in:
James Molloy
2015-03-27 10:36:57 +00:00
parent 9217916725
commit fb45b9fafc
10 changed files with 846 additions and 0 deletions

View File

@@ -0,0 +1,16 @@
; RUN: opt < %s -float2int -float2int-max-integer-bw=256 -S | FileCheck %s
; CHECK-LABEL: @neg_toolarge
; CHECK: %1 = uitofp i80 %a to fp128
; CHECK: %2 = fadd fp128 %1, %1
; CHECK: %3 = fptoui fp128 %2 to i80
; CHECK: ret i80 %3
; fp128 has a 112-bit mantissa, which can hold an i80. But we only support
; up to i64, so it should fail (even though the max integer bitwidth is 256).
define i80 @neg_toolarge(i80 %a) {
%1 = uitofp i80 %a to fp128
%2 = fadd fp128 %1, %1
%3 = fptoui fp128 %2 to i80
ret i80 %3
}