RPCS3/llvm-mirror
1
0
Fork 0
mirror of https://github.com/RPCS3/llvm-mirror.git synced 2024-11-22 18:54:02 +01:00
Code Issues Projects Releases Wiki Activity

[InstSimplify] fold copysign with same args to the arg

Browse Source 
This is correct for any value including NaN/inf.

We don't have this fold directly in the backend either,
but x86 manages to get it after converting things to bitops.
This commit is contained in:
Sanjay Patel 2019-11-26 17:35:10 -05:00
parent 5dda13b8b4
commit 1478f0d038
2 changed files with 7 additions and 4 deletions
Show Stats Download Patch File Download Diff File Expand all files Collapse all files

5
lib/Analysis/InstructionSimplify.cpp
View File

@ -5086,6 +5086,11 @@ static Value *simplifyBinaryIntrinsic(Function *F, Value *Op0, Value *Op1,
return Op0;
}
break;
case Intrinsic::copysign:
// copysign X, X --> X
if (Op0 == Op1)
return Op0;
break;
case Intrinsic::maxnum:
case Intrinsic::minnum:
case Intrinsic::maximum:

6
test/Transforms/InstSimplify/call.ll
View File

@ -926,8 +926,7 @@ declare <2 x double> @llvm.copysign.v2f64(<2 x double>, <2 x double>)
define float @copysign_same_operand(float %x) {
; CHECK-LABEL: @copysign_same_operand(
; CHECK-NEXT: [[R:%.*]] = call float @llvm.copysign.f32(float [[X:%.*]], float [[X]])
; CHECK-NEXT: ret float [[R]]
; CHECK-NEXT: ret float [[X:%.*]]
;
%r = call float @llvm.copysign.f32(float %x, float %x)
ret float %r
@ -935,8 +934,7 @@ define float @copysign_same_operand(float %x) {
define <2 x double> @copysign_same_operand_vec(<2 x double> %x) {
; CHECK-LABEL: @copysign_same_operand_vec(
; CHECK-NEXT: [[R:%.*]] = call <2 x double> @llvm.copysign.v2f64(<2 x double> [[X:%.*]], <2 x double> [[X]])
; CHECK-NEXT: ret <2 x double> [[R]]
; CHECK-NEXT: ret <2 x double> [[X:%.*]]
;
%r = call <2 x double> @llvm.copysign.v2f64(<2 x double> %x, <2 x double> %x)
ret <2 x double> %r