6502/llvm-6502
1
0
Fork 0
mirror of https://github.com/c64scene-ar/llvm-6502.git synced 2024-11-02 07:11:49 +00:00
Code Issues Projects Releases Wiki Activity

[SimplifyLibCalls] Enable double to float shrinking for copysign

Browse Source 
rdar://19049359

Differential Revision: http://reviews.llvm.org/D6495

git-svn-id: https://llvm.org/svn/llvm-project/llvm/trunk@223269 91177308-0d34-0410-b5e6-96231b3b80d8
This commit is contained in:
Matthias Braun 2014-12-03 21:46:29 +00:00
parent ec42b05190
commit 9d362ec2a4
2 changed files with 15 additions and 0 deletions
Show Stats Download Patch File Download Diff File Expand all files Collapse all files

1
lib/Transforms/Utils/SimplifyLibCalls.cpp
View File

@ -2177,6 +2177,7 @@ Value *LibCallSimplifier::optimizeCall(CallInst *CI) {
if (UnsafeFPShrink && hasFloatVersion(FuncName))
return optimizeUnaryDoubleFP(CI, Builder, true);
return nullptr;
case LibFunc::copysign:
case LibFunc::fmin:
case LibFunc::fmax:
if (hasFloatVersion(FuncName))

14
test/Transforms/InstCombine/float-shrink-compare.ll
View File

@ -222,8 +222,22 @@ define i32 @test18(float %x, float %y, float %z) nounwind uwtable {
; CHECK-NEXT: fcmp oeq float %fmaxf, %z
}
define i32 @test19(float %x, float %y, float %z) nounwind uwtable {
%1 = fpext float %x to double
%2 = fpext float %y to double
%3 = call double @copysign(double %1, double %2) nounwind
%4 = fpext float %z to double
%5 = fcmp oeq double %3, %4
%6 = zext i1 %5 to i32
ret i32 %6
; CHECK-LABEL: @test19(
; CHECK-NEXT: %copysignf = call float @copysignf(float %x, float %y)
; CHECK-NEXT: fcmp oeq float %copysignf, %z
}
declare double @fabs(double) nounwind readnone
declare double @ceil(double) nounwind readnone
declare double @copysign(double, double) nounwind readnone
declare double @floor(double) nounwind readnone
declare double @nearbyint(double) nounwind readnone
declare double @rint(double) nounwind readnone