maxjhandsome
/
llvm-project
forked from OSchip/llvm-project
1
0
Fork 0
Code Issues Pull Requests Packages Releases Wiki Activity

[InstCombine] add tests for FMF propagation for select-of-fneg; NFC

This commit is contained in:
Sanjay Patel 2021-08-27 14:07:44 -04:00 committed by Sanjay Patel
parent d59ae12d58
commit 027de5c7d4
1 changed files with 48 additions and 0 deletions
Show Stats Download Patch File Download Diff File Expand all files Collapse all files

48
llvm/test/Transforms/InstCombine/fneg.ll
View File

@ -438,6 +438,54 @@ define float @fneg_fneg_sel_extra_use3(float %x, float %y, i1 %cond) {
ret float %sel
}
define double @fneg_fneg_sel_fmf1(double %x, double %y, i1 %cond) {
; CHECK-LABEL: @fneg_fneg_sel_fmf1(
; CHECK-NEXT: [[SEL_V:%.*]] = select i1 [[COND:%.*]], double [[X:%.*]], double [[Y:%.*]]
; CHECK-NEXT: [[SEL:%.*]] = fneg nnan double [[SEL_V]]
; CHECK-NEXT: ret double [[SEL]]
;
%n1 = fneg nnan double %x
%n2 = fneg ninf double %y
%sel = select i1 %cond, double %n1, double %n2
ret double %sel
}
define double @fneg_fneg_sel_fmf2(double %x, double %y, i1 %cond) {
; CHECK-LABEL: @fneg_fneg_sel_fmf2(
; CHECK-NEXT: [[SEL_V:%.*]] = select i1 [[COND:%.*]], double [[X:%.*]], double [[Y:%.*]]
; CHECK-NEXT: [[SEL:%.*]] = fneg nnan ninf double [[SEL_V]]
; CHECK-NEXT: ret double [[SEL]]
;
%n1 = fneg nnan ninf double %x
%n2 = fneg ninf double %y
%sel = select i1 %cond, double %n1, double %n2
ret double %sel
}
define double @fneg_fneg_sel_fmf3(double %x, double %y, i1 %cond) {
; CHECK-LABEL: @fneg_fneg_sel_fmf3(
; CHECK-NEXT: [[SEL_V:%.*]] = select i1 [[COND:%.*]], double [[X:%.*]], double [[Y:%.*]]
; CHECK-NEXT: [[SEL:%.*]] = fneg nnan ninf double [[SEL_V]]
; CHECK-NEXT: ret double [[SEL]]
;
%n1 = fneg nnan ninf double %x
%n2 = fneg ninf double %y
%sel = select ninf i1 %cond, double %n1, double %n2
ret double %sel
}
define double @fneg_fneg_sel_fmf4(double %x, double %y, i1 %cond) {
; CHECK-LABEL: @fneg_fneg_sel_fmf4(
; CHECK-NEXT: [[SEL_V:%.*]] = select i1 [[COND:%.*]], double [[X:%.*]], double [[Y:%.*]]
; CHECK-NEXT: [[SEL:%.*]] = fneg nnan double [[SEL_V]]
; CHECK-NEXT: ret double [[SEL]]
;
%n1 = fneg nnan double %x
%n2 = fneg ninf double %y
%sel = select nsz nnan ninf i1 %cond, double %n1, double %n2
ret double %sel
}
; Negative test
define float @fneg_fadd_constant(float %x) {