mirror of
https://github.com/RPCS3/llvm-mirror.git
synced 2024-10-19 11:02:59 +02:00
093a966fb5
This was originally committed at rL328921 and reverted at rL329920 to
investigate failures in Chrome. This time I've added to the ReleaseNotes
to warn users of the potential of exposing UB and let me repeat that
here for more exposure:
Optimization of floating-point casts is improved. This may cause surprising
results for code that is relying on undefined behavior. Code sanitizers can
be used to detect affected patterns such as this:
int main() {
float x = 4294967296.0f;
x = (float)((int)x);
printf("junk in the ftrunc: %f\n", x);
return 0;
}
$ clang -O1 ftrunc.c -fsanitize=undefined ; ./a.out
ftrunc.c:5:15: runtime error: 4.29497e+09 is outside the range of
representable values of type 'int'
junk in the ftrunc: 0.000000
Original commit message:
fptosi / fptoui round towards zero, and that's the same behavior as ISD::FTRUNC,
so replace a pair of casts with the equivalent node. We don't have to account for
special cases (NaN, INF) because out-of-range casts are undefined.
Differential Revision: https://reviews.llvm.org/D44909
llvm-svn: 330437
81 lines
1.6 KiB
LLVM
81 lines
1.6 KiB
LLVM
; RUN: llc -verify-machineinstrs -mcpu=a2 < %s | FileCheck %s
|
|
target datalayout = "E-m:e-i64:64-n32:64"
|
|
target triple = "powerpc64-unknown-linux-gnu"
|
|
|
|
; Function Attrs: nounwind readonly
|
|
define double @test1(i64* nocapture readonly %x) #0 {
|
|
entry:
|
|
%0 = load i64, i64* %x, align 8
|
|
%conv = sitofp i64 %0 to double
|
|
ret double %conv
|
|
|
|
; CHECK-LABEL: @test1
|
|
; CHECK: lfd [[REG1:[0-9]+]], 0(3)
|
|
; CHECK: fcfid 1, [[REG1]]
|
|
; CHECK: blr
|
|
}
|
|
|
|
; Function Attrs: nounwind readonly
|
|
define double @test2(i32* nocapture readonly %x) #0 {
|
|
entry:
|
|
%0 = load i32, i32* %x, align 4
|
|
%conv = sitofp i32 %0 to double
|
|
ret double %conv
|
|
|
|
; CHECK-LABEL: @test2
|
|
; CHECK: lfiwax [[REG1:[0-9]+]], 0, 3
|
|
; CHECK: fcfid 1, [[REG1]]
|
|
; CHECK: blr
|
|
}
|
|
|
|
; Function Attrs: nounwind readnone
|
|
define float @foo(float %X) #0 {
|
|
entry:
|
|
%conv = fptosi float %X to i32
|
|
%conv1 = sitofp i32 %conv to float
|
|
ret float %conv1
|
|
|
|
; CHECK-LABEL: @foo
|
|
; CHECK: friz 1, 1
|
|
; CHECK: blr
|
|
}
|
|
|
|
; Function Attrs: nounwind readnone
|
|
define double @food(double %X) #0 {
|
|
entry:
|
|
%conv = fptosi double %X to i32
|
|
%conv1 = sitofp i32 %conv to double
|
|
ret double %conv1
|
|
|
|
; CHECK-LABEL: @food
|
|
; CHECK: friz 1, 1
|
|
; CHECK: blr
|
|
}
|
|
|
|
; Function Attrs: nounwind readnone
|
|
define float @foou(float %X) #0 {
|
|
entry:
|
|
%conv = fptoui float %X to i32
|
|
%conv1 = uitofp i32 %conv to float
|
|
ret float %conv1
|
|
|
|
; CHECK-LABEL: @foou
|
|
; CHECK: friz 1, 1
|
|
; CHECK: blr
|
|
}
|
|
|
|
; Function Attrs: nounwind readnone
|
|
define double @fooud(double %X) #0 {
|
|
entry:
|
|
%conv = fptoui double %X to i32
|
|
%conv1 = uitofp i32 %conv to double
|
|
ret double %conv1
|
|
|
|
; CHECK-LABEL: @fooud
|
|
; CHECK: friz 1, 1
|
|
; CHECK: blr
|
|
}
|
|
|
|
attributes #0 = { nounwind readonly }
|
|
|