shylie/llvm-project
1
0
Fork 0
Code Issues Pull Requests Actions 6 Packages Projects Releases Wiki Activity

[InstCombine] add/adjust tests for select with fsub identity op; NFC

Browse Source 
llvm-svn: 346138
This commit is contained in:
Sanjay Patel 2018-11-05 15:45:01 +00:00
parent 51a91e86e1
commit 92a53eabc6
1 changed files with 22 additions and 4 deletions
Show Stats Download Patch File Download Diff File Expand all files Collapse all files

26
llvm/test/Transforms/InstCombine/select-binop-cmp.ll
View File

@ -304,6 +304,21 @@ define float @select_fsub_fcmp(float %x, float %y, float %z) {
ret float %C
}
; TODO: This is logically equivalent to the previous test - fcmp ignores the sign of 0.0.
define float @select_fsub_fcmp_negzero(float %x, float %y, float %z) {
; CHECK-LABEL: @select_fsub_fcmp_negzero(
; CHECK-NEXT: [[A:%.*]] = fcmp oeq float [[X:%.*]], -0.000000e+00
; CHECK-NEXT: [[B:%.*]] = fsub nsz float [[Z:%.*]], [[X]]
; CHECK-NEXT: [[C:%.*]] = select i1 [[A]], float [[B]], float [[Y:%.*]]
; CHECK-NEXT: ret float [[C]]
;
%A = fcmp oeq float %x, -0.0
%B = fsub nsz float %z, %x
%C = select i1 %A, float %B, float %y
ret float %C
}
define float @select_fdiv_fcmp(float %x, float %y, float %z) {
; CHECK-LABEL: @select_fdiv_fcmp(
; CHECK-NEXT: [[A:%.*]] = fcmp oeq float [[X:%.*]], 1.000000e+00
@ -899,15 +914,18 @@ define float @select_fdiv_fcmp_bad_2(float %x, float %y, float %z) {
ret float %C
}
; The transform is not valid when x = -0.0 and z = -0.0
; (optimized code would return -0.0, but this returns +0.0).
define float @select_fsub_fcmp_bad(float %x, float %y, float %z) {
; CHECK-LABEL: @select_fsub_fcmp_bad(
; CHECK-NEXT: [[A:%.*]] = fcmp oeq float [[X:%.*]], 0.000000e+00
; CHECK-NEXT: [[B:%.*]] = fsub float [[X]], [[Z:%.*]]
; CHECK-NEXT: [[B:%.*]] = fsub float [[Z:%.*]], [[X]]
; CHECK-NEXT: [[C:%.*]] = select i1 [[A]], float [[B]], float [[Y:%.*]]
; CHECK-NEXT: ret float [[C]]
;
%A = fcmp oeq float %x, 0.0
%B = fsub float %x, %z
%B = fsub float %z, %x
%C = select i1 %A, float %B, float %y
ret float %C
}
@ -915,12 +933,12 @@ define float @select_fsub_fcmp_bad(float %x, float %y, float %z) {
define float @select_fsub_fcmp_bad_2(float %x, float %y, float %z) {
; CHECK-LABEL: @select_fsub_fcmp_bad_2(
; CHECK-NEXT: [[A:%.*]] = fcmp oeq float [[X:%.*]], 1.000000e+00
; CHECK-NEXT: [[B:%.*]] = fsub nsz float [[X]], [[Z:%.*]]
; CHECK-NEXT: [[B:%.*]] = fsub nsz float [[Z:%.*]], [[X]]
; CHECK-NEXT: [[C:%.*]] = select i1 [[A]], float [[B]], float [[Y:%.*]]
; CHECK-NEXT: ret float [[C]]
;
%A = fcmp oeq float %x, 1.0
%B = fsub nsz float %x, %z
%B = fsub nsz float %z, %x
%C = select i1 %A, float %B, float %y
ret float %C
}