RPCS3/llvm-mirror
1
0
Fork 0
mirror of https://github.com/RPCS3/llvm-mirror.git synced 2024-10-19 11:02:59 +02:00
Code Issues Projects Releases Wiki Activity

[InstSimplify] move minnum/maxnum with undef fold from instcombine

Browse Source 
llvm-svn: 338719
This commit is contained in:
Sanjay Patel 2018-08-02 14:33:40 +00:00
parent 082b54e3ed
commit ac7ce106a1
5 changed files with 36 additions and 46 deletions
Show Stats Download Patch File Download Diff File Expand all files Collapse all files

7
lib/Analysis/InstructionSimplify.cpp
View File

@ -4767,9 +4767,10 @@ static Value *simplifyBinaryIntrinsic(Function *F, Value *Op0, Value *Op1,
// If the arguments are the same, this is a no-op.
if (Op0 == Op1) return Op0;
// If one argument is NaN, return the other argument.
if (match(Op0, m_NaN())) return Op1;
if (match(Op1, m_NaN())) return Op0;
// If one argument is NaN or undef, return the other argument.
if (match(Op0, m_CombineOr(m_NaN(), m_Undef()))) return Op1;
if (match(Op1, m_CombineOr(m_NaN(), m_Undef()))) return Op0;
break;
default:
break;

11
lib/Transforms/InstCombine/InstCombineCalls.cpp
View File

@ -1143,17 +1143,6 @@ static Value *simplifyMinnumMaxnum(const IntrinsicInst &II) {
if (C1 && C1->isNaN())
return Arg0;
// This is the value because if undef were NaN, we would return the other
// value and cannot return a NaN unless both operands are.
//
// fmin(undef, x) -> x
if (isa<UndefValue>(Arg0))
return Arg1;
// fmin(x, undef) -> x
if (isa<UndefValue>(Arg1))
return Arg0;
Value *X = nullptr;
Value *Y = nullptr;
if (II.getIntrinsicID() == Intrinsic::minnum) {

16
test/Transforms/InstCombine/maxnum.ll
View File

@ -153,22 +153,6 @@ define float @fold_maxnum_f32_undef_undef(float %x) {
ret float %val
}
define float @fold_maxnum_f32_val_undef(float %x) {
; CHECK-LABEL: @fold_maxnum_f32_val_undef(
; CHECK-NEXT: ret float [[X:%.*]]
;
%val = call float @llvm.maxnum.f32(float %x, float undef)
ret float %val
}
define float @fold_maxnum_f32_undef_val(float %x) {
; CHECK-LABEL: @fold_maxnum_f32_undef_val(
; CHECK-NEXT: ret float [[X:%.*]]
;
%val = call float @llvm.maxnum.f32(float undef, float %x)
ret float %val
}
define float @maxnum_x_maxnum_x_y(float %x, float %y) {
; CHECK-LABEL: @maxnum_x_maxnum_x_y(
; CHECK-NEXT: [[A:%.*]] = call float @llvm.maxnum.f32(float [[X:%.*]], float [[Y:%.*]])

16
test/Transforms/InstCombine/minnum.ll
View File

@ -155,22 +155,6 @@ define float @fold_minnum_f32_undef_undef(float %x) {
ret float %val
}
define float @fold_minnum_f32_val_undef(float %x) {
; CHECK-LABEL: @fold_minnum_f32_val_undef(
; CHECK-NEXT: ret float [[X:%.*]]
;
%val = call float @llvm.minnum.f32(float %x, float undef)
ret float %val
}
define float @fold_minnum_f32_undef_val(float %x) {
; CHECK-LABEL: @fold_minnum_f32_undef_val(
; CHECK-NEXT: ret float [[X:%.*]]
;
%val = call float @llvm.minnum.f32(float undef, float %x)
ret float %val
}
define float @minnum_x_minnum_x_y(float %x, float %y) {
; CHECK-LABEL: @minnum_x_minnum_x_y(
; CHECK-NEXT: [[A:%.*]] = call float @llvm.minnum.f32(float [[X:%.*]], float [[Y:%.*]])

32
test/Transforms/InstSimplify/floating-point-arithmetic.ll
View File

@ -537,6 +537,38 @@ define <2 x double> @minnum_nan_op1_vec(<2 x double> %x) {
ret <2 x double> %r
}
define float @maxnum_undef_op1(float %x) {
; CHECK-LABEL: @maxnum_undef_op1(
; CHECK-NEXT: ret float [[X:%.*]]
;
%val = call float @llvm.maxnum.f32(float %x, float undef)
ret float %val
}
define float @maxnum_undef_op0(float %x) {
; CHECK-LABEL: @maxnum_undef_op0(
; CHECK-NEXT: ret float [[X:%.*]]
;
%val = call float @llvm.maxnum.f32(float undef, float %x)
ret float %val
}
define float @minnum_undef_op1(float %x) {
; CHECK-LABEL: @minnum_undef_op1(
; CHECK-NEXT: ret float [[X:%.*]]
;
%val = call float @llvm.minnum.f32(float %x, float undef)
ret float %val
}
define float @minnum_undef_op0(float %x) {
; CHECK-LABEL: @minnum_undef_op0(
; CHECK-NEXT: ret float [[X:%.*]]
;
%val = call float @llvm.minnum.f32(float undef, float %x)
ret float %val
}
define float @minnum_same_args(float %x) {
; CHECK-LABEL: @minnum_same_args(
; CHECK-NEXT: ret float [[X:%.*]]