OSchip
/
llvm-project
mirror of https://github.com/THU-DSP-LAB/llvm-project.git
13
0
Fork 6
Code Issues Packages Projects Releases Wiki Activity

[InstCombine][test] add tests for FP min/max with negated op; NFC

This commit is contained in:
Sanjay Patel 2021-06-22 13:37:14 -04:00
parent 30e36c9b3c
commit 4e78bd3836
2 changed files with 70 additions and 0 deletions
Show Stats Download Patch File Download Diff File Expand all files Collapse all files

35
llvm/test/Transforms/InstCombine/maxnum.ll
View File

@ -433,3 +433,38 @@ define float @reduce_precision_multi_use_1(float %x, float %y) {
%trunc = fptrunc double %maxnum to float
ret float %trunc
}
define float @negated_op(float %x) {
; CHECK-LABEL: @negated_op(
; CHECK-NEXT: [[NEGX:%.*]] = fneg float [[X:%.*]]
; CHECK-NEXT: [[R:%.*]] = call float @llvm.maxnum.f32(float [[NEGX]], float [[X]])
; CHECK-NEXT: ret float [[R]]
;
%negx = fneg float %x
%r = call float @llvm.maxnum.f32(float %negx, float %x)
ret float %r
}
define <2 x double> @negated_op_fmf_commute_vec(<2 x double> %x) {
; CHECK-LABEL: @negated_op_fmf_commute_vec(
; CHECK-NEXT: [[NEGX:%.*]] = fneg <2 x double> [[X:%.*]]
; CHECK-NEXT: [[R:%.*]] = call nnan ninf nsz <2 x double> @llvm.maxnum.v2f64(<2 x double> [[X]], <2 x double> [[NEGX]])
; CHECK-NEXT: ret <2 x double> [[R]]
;
%negx = fneg <2 x double> %x
%r = call nsz nnan ninf <2 x double> @llvm.maxnum.v2f64(<2 x double> %x, <2 x double> %negx)
ret <2 x double> %r
}
define float @negated_op_extra_use(float %x) {
; CHECK-LABEL: @negated_op_extra_use(
; CHECK-NEXT: [[NEGX:%.*]] = fneg float [[X:%.*]]
; CHECK-NEXT: call void @use(float [[NEGX]])
; CHECK-NEXT: [[R:%.*]] = call float @llvm.maxnum.f32(float [[NEGX]], float [[X]])
; CHECK-NEXT: ret float [[R]]
;
%negx = fneg float %x
call void @use(float %negx)
%r = call float @llvm.maxnum.f32(float %negx, float %x)
ret float %r
}

35
llvm/test/Transforms/InstCombine/minnum.ll
View File

@ -470,3 +470,38 @@ define float @reduce_precision_multi_use_1(float %x, float %y) {
%trunc = fptrunc double %minnum to float
ret float %trunc
}
define float @negated_op(float %x) {
; CHECK-LABEL: @negated_op(
; CHECK-NEXT: [[NEGX:%.*]] = fneg float [[X:%.*]]
; CHECK-NEXT: [[R:%.*]] = call float @llvm.minnum.f32(float [[X]], float [[NEGX]])
; CHECK-NEXT: ret float [[R]]
;
%negx = fneg float %x
%r = call float @llvm.minnum.f32(float %x, float %negx)
ret float %r
}
define <2 x double> @negated_op_fmf_commute_vec(<2 x double> %x) {
; CHECK-LABEL: @negated_op_fmf_commute_vec(
; CHECK-NEXT: [[NEGX:%.*]] = fneg <2 x double> [[X:%.*]]
; CHECK-NEXT: [[R:%.*]] = call nnan ninf nsz <2 x double> @llvm.minnum.v2f64(<2 x double> [[NEGX]], <2 x double> [[X]])
; CHECK-NEXT: ret <2 x double> [[R]]
;
%negx = fneg <2 x double> %x
%r = call nsz nnan ninf <2 x double> @llvm.minnum.v2f64(<2 x double> %negx, <2 x double> %x)
ret <2 x double> %r
}
define double @negated_op_extra_use(double %x) {
; CHECK-LABEL: @negated_op_extra_use(
; CHECK-NEXT: [[NEGX:%.*]] = fneg double [[X:%.*]]
; CHECK-NEXT: call void @use(double [[NEGX]])
; CHECK-NEXT: [[R:%.*]] = call double @llvm.minnum.f64(double [[NEGX]], double [[X]])
; CHECK-NEXT: ret double [[R]]
;
%negx = fneg double %x
call void @use(double %negx)
%r = call double @llvm.minnum.f64(double %negx, double %x)
ret double %r
}