mirror of
https://github.com/RPCS3/llvm-mirror.git
synced 2024-12-12 05:56:28 +00:00
Tests for dag combine select (binop) -> select. NFC.
Tests will be updated with https://reviews.llvm.org/D48223 llvm-svn: 334987
This commit is contained in:
Stanislav Mekhanoshin
parent
8c00f4b3c2
commit
714665d417
@ -400,6 +400,33 @@ define i8 @sel_constants_sub_constant(i1 %cond) {
|
||||
ret i8 %bo
|
||||
}
|
||||
|
||||
define i8 @sel_constants_sub_constant_sel_constants(i1 %cond) {
|
||||
; ISEL-LABEL: sel_constants_sub_constant_sel_constants:
|
||||
; ISEL: # %bb.0:
|
||||
; ISEL-NEXT: andi. 3, 3, 1
|
||||
; ISEL-NEXT: li 4, -4
|
||||
; ISEL-NEXT: li 3, 3
|
||||
; ISEL-NEXT: isel 3, 4, 3, 1
|
||||
; ISEL-NEXT: subfic 3, 3, 5
|
||||
; ISEL-NEXT: blr
|
||||
;
|
||||
; NO_ISEL-LABEL: sel_constants_sub_constant_sel_constants:
|
||||
; NO_ISEL: # %bb.0:
|
||||
; NO_ISEL-NEXT: andi. 3, 3, 1
|
||||
; NO_ISEL-NEXT: li 4, -4
|
||||
; NO_ISEL-NEXT: li 3, 3
|
||||
; NO_ISEL-NEXT: bc 12, 1, .LBB23_1
|
||||
; NO_ISEL-NEXT: b .LBB23_2
|
||||
; NO_ISEL-NEXT: .LBB23_1:
|
||||
; NO_ISEL-NEXT: addi 3, 4, 0
|
||||
; NO_ISEL-NEXT: .LBB23_2:
|
||||
; NO_ISEL-NEXT: subfic 3, 3, 5
|
||||
; NO_ISEL-NEXT: blr
|
||||
%sel = select i1 %cond, i8 -4, i8 3
|
||||
%bo = sub i8 5, %sel
|
||||
ret i8 %bo
|
||||
}
|
||||
|
||||
define i8 @sel_constants_mul_constant(i1 %cond) {
|
||||
; ISEL-LABEL: sel_constants_mul_constant:
|
||||
; ISEL: # %bb.0:
|
||||
@ -439,9 +466,9 @@ define i8 @sel_constants_sdiv_constant(i1 %cond) {
|
||||
; NO_ISEL: # %bb.0:
|
||||
; NO_ISEL-NEXT: andi. 3, 3, 1
|
||||
; NO_ISEL-NEXT: li 3, 4
|
||||
; NO_ISEL-NEXT: bc 12, 1, .LBB24_1
|
||||
; NO_ISEL-NEXT: bc 12, 1, .LBB25_1
|
||||
; NO_ISEL-NEXT: blr
|
||||
; NO_ISEL-NEXT: .LBB24_1:
|
||||
; NO_ISEL-NEXT: .LBB25_1:
|
||||
; NO_ISEL-NEXT: addi 3, 0, 0
|
||||
; NO_ISEL-NEXT: blr
|
||||
%sel = select i1 %cond, i8 -4, i8 23
|
||||
@ -449,6 +476,35 @@ define i8 @sel_constants_sdiv_constant(i1 %cond) {
|
||||
ret i8 %bo
|
||||
}
|
||||
|
||||
define i8 @sdiv_constant_sel_constants(i1 %cond) {
|
||||
; ISEL-LABEL: sdiv_constant_sel_constants:
|
||||
; ISEL: # %bb.0:
|
||||
; ISEL-NEXT: andi. 3, 3, 1
|
||||
; ISEL-NEXT: li 4, 121
|
||||
; ISEL-NEXT: li 12, 120
|
||||
; ISEL-NEXT: li 3, 23
|
||||
; ISEL-NEXT: isel 3, 4, 3, 1
|
||||
; ISEL-NEXT: divwu 3, 12, 3
|
||||
; ISEL-NEXT: blr
|
||||
;
|
||||
; NO_ISEL-LABEL: sdiv_constant_sel_constants:
|
||||
; NO_ISEL: # %bb.0:
|
||||
; NO_ISEL-NEXT: andi. 3, 3, 1
|
||||
; NO_ISEL-NEXT: li 4, 121
|
||||
; NO_ISEL-NEXT: li 12, 120
|
||||
; NO_ISEL-NEXT: li 3, 23
|
||||
; NO_ISEL-NEXT: bc 12, 1, .LBB26_1
|
||||
; NO_ISEL-NEXT: b .LBB26_2
|
||||
; NO_ISEL-NEXT: .LBB26_1:
|
||||
; NO_ISEL-NEXT: addi 3, 4, 0
|
||||
; NO_ISEL-NEXT: .LBB26_2:
|
||||
; NO_ISEL-NEXT: divwu 3, 12, 3
|
||||
; NO_ISEL-NEXT: blr
|
||||
%sel = select i1 %cond, i8 121, i8 23
|
||||
%bo = sdiv i8 120, %sel
|
||||
ret i8 %bo
|
||||
}
|
||||
|
||||
define i8 @sel_constants_udiv_constant(i1 %cond) {
|
||||
; ISEL-LABEL: sel_constants_udiv_constant:
|
||||
; ISEL: # %bb.0:
|
||||
@ -463,9 +519,9 @@ define i8 @sel_constants_udiv_constant(i1 %cond) {
|
||||
; NO_ISEL-NEXT: andi. 3, 3, 1
|
||||
; NO_ISEL-NEXT: li 4, 50
|
||||
; NO_ISEL-NEXT: li 3, 4
|
||||
; NO_ISEL-NEXT: bc 12, 1, .LBB25_1
|
||||
; NO_ISEL-NEXT: bc 12, 1, .LBB27_1
|
||||
; NO_ISEL-NEXT: blr
|
||||
; NO_ISEL-NEXT: .LBB25_1:
|
||||
; NO_ISEL-NEXT: .LBB27_1:
|
||||
; NO_ISEL-NEXT: addi 3, 4, 0
|
||||
; NO_ISEL-NEXT: blr
|
||||
%sel = select i1 %cond, i8 -4, i8 23
|
||||
@ -473,6 +529,35 @@ define i8 @sel_constants_udiv_constant(i1 %cond) {
|
||||
ret i8 %bo
|
||||
}
|
||||
|
||||
define i8 @udiv_constant_sel_constants(i1 %cond) {
|
||||
; ISEL-LABEL: udiv_constant_sel_constants:
|
||||
; ISEL: # %bb.0:
|
||||
; ISEL-NEXT: andi. 3, 3, 1
|
||||
; ISEL-NEXT: li 4, 252
|
||||
; ISEL-NEXT: li 12, 120
|
||||
; ISEL-NEXT: li 3, 23
|
||||
; ISEL-NEXT: isel 3, 4, 3, 1
|
||||
; ISEL-NEXT: divwu 3, 12, 3
|
||||
; ISEL-NEXT: blr
|
||||
;
|
||||
; NO_ISEL-LABEL: udiv_constant_sel_constants:
|
||||
; NO_ISEL: # %bb.0:
|
||||
; NO_ISEL-NEXT: andi. 3, 3, 1
|
||||
; NO_ISEL-NEXT: li 4, 252
|
||||
; NO_ISEL-NEXT: li 12, 120
|
||||
; NO_ISEL-NEXT: li 3, 23
|
||||
; NO_ISEL-NEXT: bc 12, 1, .LBB28_1
|
||||
; NO_ISEL-NEXT: b .LBB28_2
|
||||
; NO_ISEL-NEXT: .LBB28_1:
|
||||
; NO_ISEL-NEXT: addi 3, 4, 0
|
||||
; NO_ISEL-NEXT: .LBB28_2:
|
||||
; NO_ISEL-NEXT: divwu 3, 12, 3
|
||||
; NO_ISEL-NEXT: blr
|
||||
%sel = select i1 %cond, i8 -4, i8 23
|
||||
%bo = udiv i8 120, %sel
|
||||
ret i8 %bo
|
||||
}
|
||||
|
||||
define i8 @sel_constants_srem_constant(i1 %cond) {
|
||||
; ISEL-LABEL: sel_constants_srem_constant:
|
||||
; ISEL: # %bb.0:
|
||||
@ -500,6 +585,39 @@ define i8 @sel_constants_srem_constant(i1 %cond) {
|
||||
ret i8 %bo
|
||||
}
|
||||
|
||||
define i8 @srem_constant_sel_constants(i1 %cond) {
|
||||
; ISEL-LABEL: srem_constant_sel_constants:
|
||||
; ISEL: # %bb.0:
|
||||
; ISEL-NEXT: andi. 3, 3, 1
|
||||
; ISEL-NEXT: li 4, 121
|
||||
; ISEL-NEXT: li 12, 120
|
||||
; ISEL-NEXT: li 3, 23
|
||||
; ISEL-NEXT: isel 3, 4, 3, 1
|
||||
; ISEL-NEXT: divwu 4, 12, 3
|
||||
; ISEL-NEXT: mullw 3, 4, 3
|
||||
; ISEL-NEXT: subfic 3, 3, 120
|
||||
; ISEL-NEXT: blr
|
||||
;
|
||||
; NO_ISEL-LABEL: srem_constant_sel_constants:
|
||||
; NO_ISEL: # %bb.0:
|
||||
; NO_ISEL-NEXT: andi. 3, 3, 1
|
||||
; NO_ISEL-NEXT: li 4, 121
|
||||
; NO_ISEL-NEXT: li 12, 120
|
||||
; NO_ISEL-NEXT: li 3, 23
|
||||
; NO_ISEL-NEXT: bc 12, 1, .LBB30_1
|
||||
; NO_ISEL-NEXT: b .LBB30_2
|
||||
; NO_ISEL-NEXT: .LBB30_1:
|
||||
; NO_ISEL-NEXT: addi 3, 4, 0
|
||||
; NO_ISEL-NEXT: .LBB30_2:
|
||||
; NO_ISEL-NEXT: divwu 4, 12, 3
|
||||
; NO_ISEL-NEXT: mullw 3, 4, 3
|
||||
; NO_ISEL-NEXT: subfic 3, 3, 120
|
||||
; NO_ISEL-NEXT: blr
|
||||
%sel = select i1 %cond, i8 121, i8 23
|
||||
%bo = srem i8 120, %sel
|
||||
ret i8 %bo
|
||||
}
|
||||
|
||||
define i8 @sel_constants_urem_constant(i1 %cond) {
|
||||
; ALL-LABEL: sel_constants_urem_constant:
|
||||
; ALL: # %bb.0:
|
||||
@ -511,6 +629,39 @@ define i8 @sel_constants_urem_constant(i1 %cond) {
|
||||
ret i8 %bo
|
||||
}
|
||||
|
||||
define i8 @urem_constant_sel_constants(i1 %cond) {
|
||||
; ISEL-LABEL: urem_constant_sel_constants:
|
||||
; ISEL: # %bb.0:
|
||||
; ISEL-NEXT: andi. 3, 3, 1
|
||||
; ISEL-NEXT: li 4, 252
|
||||
; ISEL-NEXT: li 12, 120
|
||||
; ISEL-NEXT: li 3, 23
|
||||
; ISEL-NEXT: isel 3, 4, 3, 1
|
||||
; ISEL-NEXT: divwu 4, 12, 3
|
||||
; ISEL-NEXT: mullw 3, 4, 3
|
||||
; ISEL-NEXT: subfic 3, 3, 120
|
||||
; ISEL-NEXT: blr
|
||||
;
|
||||
; NO_ISEL-LABEL: urem_constant_sel_constants:
|
||||
; NO_ISEL: # %bb.0:
|
||||
; NO_ISEL-NEXT: andi. 3, 3, 1
|
||||
; NO_ISEL-NEXT: li 4, 252
|
||||
; NO_ISEL-NEXT: li 12, 120
|
||||
; NO_ISEL-NEXT: li 3, 23
|
||||
; NO_ISEL-NEXT: bc 12, 1, .LBB32_1
|
||||
; NO_ISEL-NEXT: b .LBB32_2
|
||||
; NO_ISEL-NEXT: .LBB32_1:
|
||||
; NO_ISEL-NEXT: addi 3, 4, 0
|
||||
; NO_ISEL-NEXT: .LBB32_2:
|
||||
; NO_ISEL-NEXT: divwu 4, 12, 3
|
||||
; NO_ISEL-NEXT: mullw 3, 4, 3
|
||||
; NO_ISEL-NEXT: subfic 3, 3, 120
|
||||
; NO_ISEL-NEXT: blr
|
||||
%sel = select i1 %cond, i8 -4, i8 23
|
||||
%bo = urem i8 120, %sel
|
||||
ret i8 %bo
|
||||
}
|
||||
|
||||
define i8 @sel_constants_and_constant(i1 %cond) {
|
||||
; ALL-LABEL: sel_constants_and_constant:
|
||||
; ALL: # %bb.0:
|
||||
@ -598,9 +749,9 @@ define i8 @sel_constants_shl_constant(i1 %cond) {
|
||||
; NO_ISEL-NEXT: ori 12, 5, 65535
|
||||
; NO_ISEL-NEXT: sldi 3, 3, 5
|
||||
; NO_ISEL-NEXT: sldi 4, 12, 7
|
||||
; NO_ISEL-NEXT: bc 12, 1, .LBB31_1
|
||||
; NO_ISEL-NEXT: bc 12, 1, .LBB36_1
|
||||
; NO_ISEL-NEXT: blr
|
||||
; NO_ISEL-NEXT: .LBB31_1:
|
||||
; NO_ISEL-NEXT: .LBB36_1:
|
||||
; NO_ISEL-NEXT: addi 3, 4, 0
|
||||
; NO_ISEL-NEXT: blr
|
||||
%sel = select i1 %cond, i8 -4, i8 23
|
||||
@ -608,6 +759,19 @@ define i8 @sel_constants_shl_constant(i1 %cond) {
|
||||
ret i8 %bo
|
||||
}
|
||||
|
||||
define i8 @shl_constant_sel_constants(i1 %cond) {
|
||||
; ALL-LABEL: shl_constant_sel_constants:
|
||||
; ALL: # %bb.0:
|
||||
; ALL-NEXT: rlwinm 3, 3, 0, 31, 31
|
||||
; ALL-NEXT: li 4, 1
|
||||
; ALL-NEXT: subfic 3, 3, 3
|
||||
; ALL-NEXT: slw 3, 4, 3
|
||||
; ALL-NEXT: blr
|
||||
%sel = select i1 %cond, i8 2, i8 3
|
||||
%bo = shl i8 1, %sel
|
||||
ret i8 %bo
|
||||
}
|
||||
|
||||
define i8 @sel_constants_lshr_constant(i1 %cond) {
|
||||
; ISEL-LABEL: sel_constants_lshr_constant:
|
||||
; ISEL: # %bb.0:
|
||||
@ -622,9 +786,9 @@ define i8 @sel_constants_lshr_constant(i1 %cond) {
|
||||
; NO_ISEL-NEXT: andi. 3, 3, 1
|
||||
; NO_ISEL-NEXT: li 4, 7
|
||||
; NO_ISEL-NEXT: li 3, 0
|
||||
; NO_ISEL-NEXT: bc 12, 1, .LBB32_1
|
||||
; NO_ISEL-NEXT: bc 12, 1, .LBB38_1
|
||||
; NO_ISEL-NEXT: blr
|
||||
; NO_ISEL-NEXT: .LBB32_1:
|
||||
; NO_ISEL-NEXT: .LBB38_1:
|
||||
; NO_ISEL-NEXT: addi 3, 4, 0
|
||||
; NO_ISEL-NEXT: blr
|
||||
%sel = select i1 %cond, i8 -4, i8 23
|
||||
@ -632,6 +796,20 @@ define i8 @sel_constants_lshr_constant(i1 %cond) {
|
||||
ret i8 %bo
|
||||
}
|
||||
|
||||
define i8 @lshr_constant_sel_constants(i1 %cond) {
|
||||
; ALL-LABEL: lshr_constant_sel_constants:
|
||||
; ALL: # %bb.0:
|
||||
; ALL-NEXT: rlwinm 3, 3, 0, 31, 31
|
||||
; ALL-NEXT: li 4, 64
|
||||
; ALL-NEXT: subfic 3, 3, 3
|
||||
; ALL-NEXT: srw 3, 4, 3
|
||||
; ALL-NEXT: blr
|
||||
%sel = select i1 %cond, i8 2, i8 3
|
||||
%bo = lshr i8 64, %sel
|
||||
ret i8 %bo
|
||||
}
|
||||
|
||||
|
||||
define i8 @sel_constants_ashr_constant(i1 %cond) {
|
||||
; ALL-LABEL: sel_constants_ashr_constant:
|
||||
; ALL: # %bb.0:
|
||||
@ -643,14 +821,27 @@ define i8 @sel_constants_ashr_constant(i1 %cond) {
|
||||
ret i8 %bo
|
||||
}
|
||||
|
||||
define i8 @ashr_constant_sel_constants(i1 %cond) {
|
||||
; ALL-LABEL: ashr_constant_sel_constants:
|
||||
; ALL: # %bb.0:
|
||||
; ALL-NEXT: rlwinm 3, 3, 0, 31, 31
|
||||
; ALL-NEXT: li 4, -128
|
||||
; ALL-NEXT: subfic 3, 3, 3
|
||||
; ALL-NEXT: sraw 3, 4, 3
|
||||
; ALL-NEXT: blr
|
||||
%sel = select i1 %cond, i8 2, i8 3
|
||||
%bo = ashr i8 128, %sel
|
||||
ret i8 %bo
|
||||
}
|
||||
|
||||
define double @sel_constants_fadd_constant(i1 %cond) {
|
||||
; ISEL-LABEL: sel_constants_fadd_constant:
|
||||
; ISEL: # %bb.0:
|
||||
; ISEL-NEXT: andi. 3, 3, 1
|
||||
; ISEL-NEXT: addis 4, 2, .LCPI34_0@toc@ha
|
||||
; ISEL-NEXT: addis 3, 2, .LCPI34_1@toc@ha
|
||||
; ISEL-NEXT: addi 4, 4, .LCPI34_0@toc@l
|
||||
; ISEL-NEXT: addi 3, 3, .LCPI34_1@toc@l
|
||||
; ISEL-NEXT: addis 4, 2, .LCPI42_0@toc@ha
|
||||
; ISEL-NEXT: addis 3, 2, .LCPI42_1@toc@ha
|
||||
; ISEL-NEXT: addi 4, 4, .LCPI42_0@toc@l
|
||||
; ISEL-NEXT: addi 3, 3, .LCPI42_1@toc@l
|
||||
; ISEL-NEXT: isel 3, 3, 4, 1
|
||||
; ISEL-NEXT: lfdx 1, 0, 3
|
||||
; ISEL-NEXT: blr
|
||||
@ -658,15 +849,15 @@ define double @sel_constants_fadd_constant(i1 %cond) {
|
||||
; NO_ISEL-LABEL: sel_constants_fadd_constant:
|
||||
; NO_ISEL: # %bb.0:
|
||||
; NO_ISEL-NEXT: andi. 3, 3, 1
|
||||
; NO_ISEL-NEXT: addis 4, 2, .LCPI34_0@toc@ha
|
||||
; NO_ISEL-NEXT: addis 3, 2, .LCPI34_1@toc@ha
|
||||
; NO_ISEL-NEXT: addi 4, 4, .LCPI34_0@toc@l
|
||||
; NO_ISEL-NEXT: addi 3, 3, .LCPI34_1@toc@l
|
||||
; NO_ISEL-NEXT: bc 12, 1, .LBB34_2
|
||||
; NO_ISEL-NEXT: addis 4, 2, .LCPI42_0@toc@ha
|
||||
; NO_ISEL-NEXT: addis 3, 2, .LCPI42_1@toc@ha
|
||||
; NO_ISEL-NEXT: addi 4, 4, .LCPI42_0@toc@l
|
||||
; NO_ISEL-NEXT: addi 3, 3, .LCPI42_1@toc@l
|
||||
; NO_ISEL-NEXT: bc 12, 1, .LBB42_2
|
||||
; NO_ISEL-NEXT: # %bb.1:
|
||||
; NO_ISEL-NEXT: ori 3, 4, 0
|
||||
; NO_ISEL-NEXT: b .LBB34_2
|
||||
; NO_ISEL-NEXT: .LBB34_2:
|
||||
; NO_ISEL-NEXT: b .LBB42_2
|
||||
; NO_ISEL-NEXT: .LBB42_2:
|
||||
; NO_ISEL-NEXT: lfdx 1, 0, 3
|
||||
; NO_ISEL-NEXT: blr
|
||||
%sel = select i1 %cond, double -4.0, double 23.3
|
||||
@ -678,10 +869,10 @@ define double @sel_constants_fsub_constant(i1 %cond) {
|
||||
; ISEL-LABEL: sel_constants_fsub_constant:
|
||||
; ISEL: # %bb.0:
|
||||
; ISEL-NEXT: andi. 3, 3, 1
|
||||
; ISEL-NEXT: addis 4, 2, .LCPI35_0@toc@ha
|
||||
; ISEL-NEXT: addis 3, 2, .LCPI35_1@toc@ha
|
||||
; ISEL-NEXT: addi 4, 4, .LCPI35_0@toc@l
|
||||
; ISEL-NEXT: addi 3, 3, .LCPI35_1@toc@l
|
||||
; ISEL-NEXT: addis 4, 2, .LCPI43_0@toc@ha
|
||||
; ISEL-NEXT: addis 3, 2, .LCPI43_1@toc@ha
|
||||
; ISEL-NEXT: addi 4, 4, .LCPI43_0@toc@l
|
||||
; ISEL-NEXT: addi 3, 3, .LCPI43_1@toc@l
|
||||
; ISEL-NEXT: isel 3, 3, 4, 1
|
||||
; ISEL-NEXT: lfdx 1, 0, 3
|
||||
; ISEL-NEXT: blr
|
||||
@ -689,15 +880,15 @@ define double @sel_constants_fsub_constant(i1 %cond) {
|
||||
; NO_ISEL-LABEL: sel_constants_fsub_constant:
|
||||
; NO_ISEL: # %bb.0:
|
||||
; NO_ISEL-NEXT: andi. 3, 3, 1
|
||||
; NO_ISEL-NEXT: addis 4, 2, .LCPI35_0@toc@ha
|
||||
; NO_ISEL-NEXT: addis 3, 2, .LCPI35_1@toc@ha
|
||||
; NO_ISEL-NEXT: addi 4, 4, .LCPI35_0@toc@l
|
||||
; NO_ISEL-NEXT: addi 3, 3, .LCPI35_1@toc@l
|
||||
; NO_ISEL-NEXT: bc 12, 1, .LBB35_2
|
||||
; NO_ISEL-NEXT: addis 4, 2, .LCPI43_0@toc@ha
|
||||
; NO_ISEL-NEXT: addis 3, 2, .LCPI43_1@toc@ha
|
||||
; NO_ISEL-NEXT: addi 4, 4, .LCPI43_0@toc@l
|
||||
; NO_ISEL-NEXT: addi 3, 3, .LCPI43_1@toc@l
|
||||
; NO_ISEL-NEXT: bc 12, 1, .LBB43_2
|
||||
; NO_ISEL-NEXT: # %bb.1:
|
||||
; NO_ISEL-NEXT: ori 3, 4, 0
|
||||
; NO_ISEL-NEXT: b .LBB35_2
|
||||
; NO_ISEL-NEXT: .LBB35_2:
|
||||
; NO_ISEL-NEXT: b .LBB43_2
|
||||
; NO_ISEL-NEXT: .LBB43_2:
|
||||
; NO_ISEL-NEXT: lfdx 1, 0, 3
|
||||
; NO_ISEL-NEXT: blr
|
||||
%sel = select i1 %cond, double -4.0, double 23.3
|
||||
@ -705,14 +896,39 @@ define double @sel_constants_fsub_constant(i1 %cond) {
|
||||
ret double %bo
|
||||
}
|
||||
|
||||
define double @fsub_constant_sel_constants(i1 %cond) {
|
||||
; ALL-LABEL: fsub_constant_sel_constants:
|
||||
; ALL: # %bb.0:
|
||||
; ALL-NEXT: andi. 3, 3, 1
|
||||
; ALL-NEXT: bc 12, 1, .LBB44_2
|
||||
; ALL-NEXT: # %bb.1:
|
||||
; ALL-NEXT: addis 3, 2, .LCPI44_0@toc@ha
|
||||
; ALL-NEXT: addi 3, 3, .LCPI44_0@toc@l
|
||||
; ALL-NEXT: lfdx 0, 0, 3
|
||||
; ALL-NEXT: b .LBB44_3
|
||||
; ALL-NEXT: .LBB44_2:
|
||||
; ALL-NEXT: addis 3, 2, .LCPI44_1@toc@ha
|
||||
; ALL-NEXT: addi 3, 3, .LCPI44_1@toc@l
|
||||
; ALL-NEXT: lfsx 0, 0, 3
|
||||
; ALL-NEXT: .LBB44_3:
|
||||
; ALL-NEXT: addis 3, 2, .LCPI44_2@toc@ha
|
||||
; ALL-NEXT: addi 3, 3, .LCPI44_2@toc@l
|
||||
; ALL-NEXT: lfdx 1, 0, 3
|
||||
; ALL-NEXT: xssubdp 1, 1, 0
|
||||
; ALL-NEXT: blr
|
||||
%sel = select i1 %cond, double -4.0, double 23.3
|
||||
%bo = fsub double 5.1, %sel
|
||||
ret double %bo
|
||||
}
|
||||
|
||||
define double @sel_constants_fmul_constant(i1 %cond) {
|
||||
; ISEL-LABEL: sel_constants_fmul_constant:
|
||||
; ISEL: # %bb.0:
|
||||
; ISEL-NEXT: andi. 3, 3, 1
|
||||
; ISEL-NEXT: addis 4, 2, .LCPI36_0@toc@ha
|
||||
; ISEL-NEXT: addis 3, 2, .LCPI36_1@toc@ha
|
||||
; ISEL-NEXT: addi 4, 4, .LCPI36_0@toc@l
|
||||
; ISEL-NEXT: addi 3, 3, .LCPI36_1@toc@l
|
||||
; ISEL-NEXT: addis 4, 2, .LCPI45_0@toc@ha
|
||||
; ISEL-NEXT: addis 3, 2, .LCPI45_1@toc@ha
|
||||
; ISEL-NEXT: addi 4, 4, .LCPI45_0@toc@l
|
||||
; ISEL-NEXT: addi 3, 3, .LCPI45_1@toc@l
|
||||
; ISEL-NEXT: isel 3, 3, 4, 1
|
||||
; ISEL-NEXT: lfdx 1, 0, 3
|
||||
; ISEL-NEXT: blr
|
||||
@ -720,15 +936,15 @@ define double @sel_constants_fmul_constant(i1 %cond) {
|
||||
; NO_ISEL-LABEL: sel_constants_fmul_constant:
|
||||
; NO_ISEL: # %bb.0:
|
||||
; NO_ISEL-NEXT: andi. 3, 3, 1
|
||||
; NO_ISEL-NEXT: addis 4, 2, .LCPI36_0@toc@ha
|
||||
; NO_ISEL-NEXT: addis 3, 2, .LCPI36_1@toc@ha
|
||||
; NO_ISEL-NEXT: addi 4, 4, .LCPI36_0@toc@l
|
||||
; NO_ISEL-NEXT: addi 3, 3, .LCPI36_1@toc@l
|
||||
; NO_ISEL-NEXT: bc 12, 1, .LBB36_2
|
||||
; NO_ISEL-NEXT: addis 4, 2, .LCPI45_0@toc@ha
|
||||
; NO_ISEL-NEXT: addis 3, 2, .LCPI45_1@toc@ha
|
||||
; NO_ISEL-NEXT: addi 4, 4, .LCPI45_0@toc@l
|
||||
; NO_ISEL-NEXT: addi 3, 3, .LCPI45_1@toc@l
|
||||
; NO_ISEL-NEXT: bc 12, 1, .LBB45_2
|
||||
; NO_ISEL-NEXT: # %bb.1:
|
||||
; NO_ISEL-NEXT: ori 3, 4, 0
|
||||
; NO_ISEL-NEXT: b .LBB36_2
|
||||
; NO_ISEL-NEXT: .LBB36_2:
|
||||
; NO_ISEL-NEXT: b .LBB45_2
|
||||
; NO_ISEL-NEXT: .LBB45_2:
|
||||
; NO_ISEL-NEXT: lfdx 1, 0, 3
|
||||
; NO_ISEL-NEXT: blr
|
||||
%sel = select i1 %cond, double -4.0, double 23.3
|
||||
@ -740,10 +956,10 @@ define double @sel_constants_fdiv_constant(i1 %cond) {
|
||||
; ISEL-LABEL: sel_constants_fdiv_constant:
|
||||
; ISEL: # %bb.0:
|
||||
; ISEL-NEXT: andi. 3, 3, 1
|
||||
; ISEL-NEXT: addis 4, 2, .LCPI37_0@toc@ha
|
||||
; ISEL-NEXT: addis 3, 2, .LCPI37_1@toc@ha
|
||||
; ISEL-NEXT: addi 4, 4, .LCPI37_0@toc@l
|
||||
; ISEL-NEXT: addi 3, 3, .LCPI37_1@toc@l
|
||||
; ISEL-NEXT: addis 4, 2, .LCPI46_0@toc@ha
|
||||
; ISEL-NEXT: addis 3, 2, .LCPI46_1@toc@ha
|
||||
; ISEL-NEXT: addi 4, 4, .LCPI46_0@toc@l
|
||||
; ISEL-NEXT: addi 3, 3, .LCPI46_1@toc@l
|
||||
; ISEL-NEXT: isel 3, 3, 4, 1
|
||||
; ISEL-NEXT: lfdx 1, 0, 3
|
||||
; ISEL-NEXT: blr
|
||||
@ -751,15 +967,15 @@ define double @sel_constants_fdiv_constant(i1 %cond) {
|
||||
; NO_ISEL-LABEL: sel_constants_fdiv_constant:
|
||||
; NO_ISEL: # %bb.0:
|
||||
; NO_ISEL-NEXT: andi. 3, 3, 1
|
||||
; NO_ISEL-NEXT: addis 4, 2, .LCPI37_0@toc@ha
|
||||
; NO_ISEL-NEXT: addis 3, 2, .LCPI37_1@toc@ha
|
||||
; NO_ISEL-NEXT: addi 4, 4, .LCPI37_0@toc@l
|
||||
; NO_ISEL-NEXT: addi 3, 3, .LCPI37_1@toc@l
|
||||
; NO_ISEL-NEXT: bc 12, 1, .LBB37_2
|
||||
; NO_ISEL-NEXT: addis 4, 2, .LCPI46_0@toc@ha
|
||||
; NO_ISEL-NEXT: addis 3, 2, .LCPI46_1@toc@ha
|
||||
; NO_ISEL-NEXT: addi 4, 4, .LCPI46_0@toc@l
|
||||
; NO_ISEL-NEXT: addi 3, 3, .LCPI46_1@toc@l
|
||||
; NO_ISEL-NEXT: bc 12, 1, .LBB46_2
|
||||
; NO_ISEL-NEXT: # %bb.1:
|
||||
; NO_ISEL-NEXT: ori 3, 4, 0
|
||||
; NO_ISEL-NEXT: b .LBB37_2
|
||||
; NO_ISEL-NEXT: .LBB37_2:
|
||||
; NO_ISEL-NEXT: b .LBB46_2
|
||||
; NO_ISEL-NEXT: .LBB46_2:
|
||||
; NO_ISEL-NEXT: lfdx 1, 0, 3
|
||||
; NO_ISEL-NEXT: blr
|
||||
%sel = select i1 %cond, double -4.0, double 23.3
|
||||
@ -767,19 +983,44 @@ define double @sel_constants_fdiv_constant(i1 %cond) {
|
||||
ret double %bo
|
||||
}
|
||||
|
||||
define double @fdiv_constant_sel_constants(i1 %cond) {
|
||||
; ALL-LABEL: fdiv_constant_sel_constants:
|
||||
; ALL: # %bb.0:
|
||||
; ALL-NEXT: andi. 3, 3, 1
|
||||
; ALL-NEXT: bc 12, 1, .LBB47_2
|
||||
; ALL-NEXT: # %bb.1:
|
||||
; ALL-NEXT: addis 3, 2, .LCPI47_0@toc@ha
|
||||
; ALL-NEXT: addi 3, 3, .LCPI47_0@toc@l
|
||||
; ALL-NEXT: lfdx 0, 0, 3
|
||||
; ALL-NEXT: b .LBB47_3
|
||||
; ALL-NEXT: .LBB47_2:
|
||||
; ALL-NEXT: addis 3, 2, .LCPI47_1@toc@ha
|
||||
; ALL-NEXT: addi 3, 3, .LCPI47_1@toc@l
|
||||
; ALL-NEXT: lfsx 0, 0, 3
|
||||
; ALL-NEXT: .LBB47_3:
|
||||
; ALL-NEXT: addis 3, 2, .LCPI47_2@toc@ha
|
||||
; ALL-NEXT: addi 3, 3, .LCPI47_2@toc@l
|
||||
; ALL-NEXT: lfdx 1, 0, 3
|
||||
; ALL-NEXT: xsdivdp 1, 1, 0
|
||||
; ALL-NEXT: blr
|
||||
%sel = select i1 %cond, double -4.0, double 23.3
|
||||
%bo = fdiv double 5.1, %sel
|
||||
ret double %bo
|
||||
}
|
||||
|
||||
define double @sel_constants_frem_constant(i1 %cond) {
|
||||
; ALL-LABEL: sel_constants_frem_constant:
|
||||
; ALL: # %bb.0:
|
||||
; ALL-NEXT: andi. 3, 3, 1
|
||||
; ALL-NEXT: bc 12, 1, .LBB38_2
|
||||
; ALL-NEXT: bc 12, 1, .LBB48_2
|
||||
; ALL-NEXT: # %bb.1:
|
||||
; ALL-NEXT: addis 3, 2, .LCPI38_0@toc@ha
|
||||
; ALL-NEXT: addi 3, 3, .LCPI38_0@toc@l
|
||||
; ALL-NEXT: addis 3, 2, .LCPI48_0@toc@ha
|
||||
; ALL-NEXT: addi 3, 3, .LCPI48_0@toc@l
|
||||
; ALL-NEXT: lfdx 1, 0, 3
|
||||
; ALL-NEXT: blr
|
||||
; ALL-NEXT: .LBB38_2:
|
||||
; ALL-NEXT: addis 3, 2, .LCPI38_1@toc@ha
|
||||
; ALL-NEXT: addi 3, 3, .LCPI38_1@toc@l
|
||||
; ALL-NEXT: .LBB48_2:
|
||||
; ALL-NEXT: addis 3, 2, .LCPI48_1@toc@ha
|
||||
; ALL-NEXT: addi 3, 3, .LCPI48_1@toc@l
|
||||
; ALL-NEXT: lfsx 1, 0, 3
|
||||
; ALL-NEXT: blr
|
||||
%sel = select i1 %cond, double -4.0, double 23.3
|
||||
@ -787,3 +1028,36 @@ define double @sel_constants_frem_constant(i1 %cond) {
|
||||
ret double %bo
|
||||
}
|
||||
|
||||
define double @frem_constant_sel_constants(i1 %cond) {
|
||||
; ALL-LABEL: frem_constant_sel_constants:
|
||||
; ALL: # %bb.0:
|
||||
; ALL-NEXT: mflr 0
|
||||
; ALL-NEXT: std 0, 16(1)
|
||||
; ALL-NEXT: stdu 1, -32(1)
|
||||
; ALL-NEXT: .cfi_def_cfa_offset 32
|
||||
; ALL-NEXT: .cfi_offset lr, 16
|
||||
; ALL-NEXT: andi. 3, 3, 1
|
||||
; ALL-NEXT: bc 12, 1, .LBB49_2
|
||||
; ALL-NEXT: # %bb.1:
|
||||
; ALL-NEXT: addis 3, 2, .LCPI49_0@toc@ha
|
||||
; ALL-NEXT: addi 3, 3, .LCPI49_0@toc@l
|
||||
; ALL-NEXT: lfdx 2, 0, 3
|
||||
; ALL-NEXT: b .LBB49_3
|
||||
; ALL-NEXT: .LBB49_2:
|
||||
; ALL-NEXT: addis 3, 2, .LCPI49_1@toc@ha
|
||||
; ALL-NEXT: addi 3, 3, .LCPI49_1@toc@l
|
||||
; ALL-NEXT: lfsx 2, 0, 3
|
||||
; ALL-NEXT: .LBB49_3:
|
||||
; ALL-NEXT: addis 3, 2, .LCPI49_2@toc@ha
|
||||
; ALL-NEXT: addi 3, 3, .LCPI49_2@toc@l
|
||||
; ALL-NEXT: lfdx 1, 0, 3
|
||||
; ALL-NEXT: bl fmod
|
||||
; ALL-NEXT: nop
|
||||
; ALL-NEXT: addi 1, 1, 32
|
||||
; ALL-NEXT: ld 0, 16(1)
|
||||
; ALL-NEXT: mtlr 0
|
||||
; ALL-NEXT: blr
|
||||
%sel = select i1 %cond, double -4.0, double 23.3
|
||||
%bo = frem double 5.1, %sel
|
||||
ret double %bo
|
||||
}
|
||||
|
||||
241
test/CodeGen/X86/dagcombine-select.ll
Normal file
241
test/CodeGen/X86/dagcombine-select.ll
Normal file
@ -0,0 +1,241 @@
|
||||
; NOTE: Assertions have been autogenerated by utils/update_llc_test_checks.py
|
||||
; RUN: llc -mtriple=x86_64-unknown-unknown -verify-machineinstrs < %s | FileCheck -enable-var-scope %s
|
||||
|
||||
define i32 @select_and1(i32 %x, i32 %y) {
|
||||
; CHECK-LABEL: select_and1:
|
||||
; CHECK: # %bb.0:
|
||||
; CHECK-NEXT: xorl %eax, %eax
|
||||
; CHECK-NEXT: cmpl $11, %edi
|
||||
; CHECK-NEXT: setl %al
|
||||
; CHECK-NEXT: decl %eax
|
||||
; CHECK-NEXT: andl %esi, %eax
|
||||
; CHECK-NEXT: retq
|
||||
%c = icmp slt i32 %x, 11
|
||||
%s = select i1 %c, i32 0, i32 -1
|
||||
%a = and i32 %y, %s
|
||||
ret i32 %a
|
||||
}
|
||||
|
||||
define i32 @select_and2(i32 %x, i32 %y) {
|
||||
; CHECK-LABEL: select_and2:
|
||||
; CHECK: # %bb.0:
|
||||
; CHECK-NEXT: xorl %eax, %eax
|
||||
; CHECK-NEXT: cmpl $11, %edi
|
||||
; CHECK-NEXT: setl %al
|
||||
; CHECK-NEXT: decl %eax
|
||||
; CHECK-NEXT: andl %esi, %eax
|
||||
; CHECK-NEXT: retq
|
||||
%c = icmp slt i32 %x, 11
|
||||
%s = select i1 %c, i32 0, i32 -1
|
||||
%a = and i32 %s, %y
|
||||
ret i32 %a
|
||||
}
|
||||
|
||||
define i32 @select_or1(i32 %x, i32 %y) {
|
||||
; CHECK-LABEL: select_or1:
|
||||
; CHECK: # %bb.0:
|
||||
; CHECK-NEXT: xorl %eax, %eax
|
||||
; CHECK-NEXT: cmpl $11, %edi
|
||||
; CHECK-NEXT: setl %al
|
||||
; CHECK-NEXT: decl %eax
|
||||
; CHECK-NEXT: orl %esi, %eax
|
||||
; CHECK-NEXT: retq
|
||||
%c = icmp slt i32 %x, 11
|
||||
%s = select i1 %c, i32 0, i32 -1
|
||||
%a = or i32 %y, %s
|
||||
ret i32 %a
|
||||
}
|
||||
|
||||
define i32 @select_or2(i32 %x, i32 %y) {
|
||||
; CHECK-LABEL: select_or2:
|
||||
; CHECK: # %bb.0:
|
||||
; CHECK-NEXT: xorl %eax, %eax
|
||||
; CHECK-NEXT: cmpl $11, %edi
|
||||
; CHECK-NEXT: setl %al
|
||||
; CHECK-NEXT: decl %eax
|
||||
; CHECK-NEXT: orl %esi, %eax
|
||||
; CHECK-NEXT: retq
|
||||
%c = icmp slt i32 %x, 11
|
||||
%s = select i1 %c, i32 0, i32 -1
|
||||
%a = or i32 %s, %y
|
||||
ret i32 %a
|
||||
}
|
||||
|
||||
define i32 @sel_constants_sub_constant_sel_constants(i1 %cond) {
|
||||
; CHECK-LABEL: sel_constants_sub_constant_sel_constants:
|
||||
; CHECK: # %bb.0:
|
||||
; CHECK-NEXT: testb $1, %dil
|
||||
; CHECK-NEXT: movl $-4, %eax
|
||||
; CHECK-NEXT: movl $3, %ecx
|
||||
; CHECK-NEXT: cmovnel %eax, %ecx
|
||||
; CHECK-NEXT: movl $5, %eax
|
||||
; CHECK-NEXT: subl %ecx, %eax
|
||||
; CHECK-NEXT: retq
|
||||
%sel = select i1 %cond, i32 -4, i32 3
|
||||
%bo = sub i32 5, %sel
|
||||
ret i32 %bo
|
||||
}
|
||||
|
||||
define i32 @sdiv_constant_sel_constants(i1 %cond) {
|
||||
; CHECK-LABEL: sdiv_constant_sel_constants:
|
||||
; CHECK: # %bb.0:
|
||||
; CHECK-NEXT: testb $1, %dil
|
||||
; CHECK-NEXT: movl $121, %eax
|
||||
; CHECK-NEXT: movl $23, %ecx
|
||||
; CHECK-NEXT: cmovnel %eax, %ecx
|
||||
; CHECK-NEXT: movl $120, %eax
|
||||
; CHECK-NEXT: xorl %edx, %edx
|
||||
; CHECK-NEXT: divl %ecx
|
||||
; CHECK-NEXT: retq
|
||||
%sel = select i1 %cond, i32 121, i32 23
|
||||
%bo = sdiv i32 120, %sel
|
||||
ret i32 %bo
|
||||
}
|
||||
|
||||
define i32 @udiv_constant_sel_constants(i1 %cond) {
|
||||
; CHECK-LABEL: udiv_constant_sel_constants:
|
||||
; CHECK: # %bb.0:
|
||||
; CHECK-NEXT: testb $1, %dil
|
||||
; CHECK-NEXT: movl $-4, %eax
|
||||
; CHECK-NEXT: movl $23, %ecx
|
||||
; CHECK-NEXT: cmovnel %eax, %ecx
|
||||
; CHECK-NEXT: movl $120, %eax
|
||||
; CHECK-NEXT: xorl %edx, %edx
|
||||
; CHECK-NEXT: divl %ecx
|
||||
; CHECK-NEXT: retq
|
||||
%sel = select i1 %cond, i32 -4, i32 23
|
||||
%bo = udiv i32 120, %sel
|
||||
ret i32 %bo
|
||||
}
|
||||
|
||||
define i32 @srem_constant_sel_constants(i1 %cond) {
|
||||
; CHECK-LABEL: srem_constant_sel_constants:
|
||||
; CHECK: # %bb.0:
|
||||
; CHECK-NEXT: testb $1, %dil
|
||||
; CHECK-NEXT: movl $121, %eax
|
||||
; CHECK-NEXT: movl $23, %ecx
|
||||
; CHECK-NEXT: cmovnel %eax, %ecx
|
||||
; CHECK-NEXT: movl $120, %eax
|
||||
; CHECK-NEXT: xorl %edx, %edx
|
||||
; CHECK-NEXT: divl %ecx
|
||||
; CHECK-NEXT: movl %edx, %eax
|
||||
; CHECK-NEXT: retq
|
||||
%sel = select i1 %cond, i32 121, i32 23
|
||||
%bo = srem i32 120, %sel
|
||||
ret i32 %bo
|
||||
}
|
||||
|
||||
define i32 @urem_constant_sel_constants(i1 %cond) {
|
||||
; CHECK-LABEL: urem_constant_sel_constants:
|
||||
; CHECK: # %bb.0:
|
||||
; CHECK-NEXT: testb $1, %dil
|
||||
; CHECK-NEXT: movl $-4, %eax
|
||||
; CHECK-NEXT: movl $23, %ecx
|
||||
; CHECK-NEXT: cmovnel %eax, %ecx
|
||||
; CHECK-NEXT: movl $120, %eax
|
||||
; CHECK-NEXT: xorl %edx, %edx
|
||||
; CHECK-NEXT: divl %ecx
|
||||
; CHECK-NEXT: movl %edx, %eax
|
||||
; CHECK-NEXT: retq
|
||||
%sel = select i1 %cond, i32 -4, i32 23
|
||||
%bo = urem i32 120, %sel
|
||||
ret i32 %bo
|
||||
}
|
||||
|
||||
define i32 @shl_constant_sel_constants(i1 %cond) {
|
||||
; CHECK-LABEL: shl_constant_sel_constants:
|
||||
; CHECK: # %bb.0:
|
||||
; CHECK-NEXT: andb $1, %dil
|
||||
; CHECK-NEXT: movb $3, %cl
|
||||
; CHECK-NEXT: subb %dil, %cl
|
||||
; CHECK-NEXT: movl $1, %eax
|
||||
; CHECK-NEXT: shll %cl, %eax
|
||||
; CHECK-NEXT: retq
|
||||
%sel = select i1 %cond, i32 2, i32 3
|
||||
%bo = shl i32 1, %sel
|
||||
ret i32 %bo
|
||||
}
|
||||
|
||||
define i32 @lshr_constant_sel_constants(i1 %cond) {
|
||||
; CHECK-LABEL: lshr_constant_sel_constants:
|
||||
; CHECK: # %bb.0:
|
||||
; CHECK-NEXT: andb $1, %dil
|
||||
; CHECK-NEXT: movb $3, %cl
|
||||
; CHECK-NEXT: subb %dil, %cl
|
||||
; CHECK-NEXT: movl $64, %eax
|
||||
; CHECK-NEXT: shrl %cl, %eax
|
||||
; CHECK-NEXT: retq
|
||||
%sel = select i1 %cond, i32 2, i32 3
|
||||
%bo = lshr i32 64, %sel
|
||||
ret i32 %bo
|
||||
}
|
||||
|
||||
define i32 @ashr_constant_sel_constants(i1 %cond) {
|
||||
; CHECK-LABEL: ashr_constant_sel_constants:
|
||||
; CHECK: # %bb.0:
|
||||
; CHECK-NEXT: andb $1, %dil
|
||||
; CHECK-NEXT: movb $3, %cl
|
||||
; CHECK-NEXT: subb %dil, %cl
|
||||
; CHECK-NEXT: movl $128, %eax
|
||||
; CHECK-NEXT: shrl %cl, %eax
|
||||
; CHECK-NEXT: retq
|
||||
%sel = select i1 %cond, i32 2, i32 3
|
||||
%bo = ashr i32 128, %sel
|
||||
ret i32 %bo
|
||||
}
|
||||
|
||||
define double @fsub_constant_sel_constants(i1 %cond) {
|
||||
; CHECK-LABEL: fsub_constant_sel_constants:
|
||||
; CHECK: # %bb.0:
|
||||
; CHECK-NEXT: testb $1, %dil
|
||||
; CHECK-NEXT: jne .LBB12_1
|
||||
; CHECK-NEXT: # %bb.2:
|
||||
; CHECK-NEXT: movsd {{.*#+}} xmm1 = mem[0],zero
|
||||
; CHECK-NEXT: jmp .LBB12_3
|
||||
; CHECK-NEXT: .LBB12_1:
|
||||
; CHECK-NEXT: movsd {{.*#+}} xmm1 = mem[0],zero
|
||||
; CHECK-NEXT: .LBB12_3:
|
||||
; CHECK-NEXT: movsd {{.*#+}} xmm0 = mem[0],zero
|
||||
; CHECK-NEXT: subsd %xmm1, %xmm0
|
||||
; CHECK-NEXT: retq
|
||||
%sel = select i1 %cond, double -4.0, double 23.3
|
||||
%bo = fsub double 5.1, %sel
|
||||
ret double %bo
|
||||
}
|
||||
|
||||
define double @fdiv_constant_sel_constants(i1 %cond) {
|
||||
; CHECK-LABEL: fdiv_constant_sel_constants:
|
||||
; CHECK: # %bb.0:
|
||||
; CHECK-NEXT: testb $1, %dil
|
||||
; CHECK-NEXT: jne .LBB13_1
|
||||
; CHECK-NEXT: # %bb.2:
|
||||
; CHECK-NEXT: movsd {{.*#+}} xmm1 = mem[0],zero
|
||||
; CHECK-NEXT: jmp .LBB13_3
|
||||
; CHECK-NEXT: .LBB13_1:
|
||||
; CHECK-NEXT: movsd {{.*#+}} xmm1 = mem[0],zero
|
||||
; CHECK-NEXT: .LBB13_3:
|
||||
; CHECK-NEXT: movsd {{.*#+}} xmm0 = mem[0],zero
|
||||
; CHECK-NEXT: divsd %xmm1, %xmm0
|
||||
; CHECK-NEXT: retq
|
||||
%sel = select i1 %cond, double -4.0, double 23.3
|
||||
%bo = fdiv double 5.1, %sel
|
||||
ret double %bo
|
||||
}
|
||||
|
||||
define double @frem_constant_sel_constants(i1 %cond) {
|
||||
; CHECK-LABEL: frem_constant_sel_constants:
|
||||
; CHECK: # %bb.0:
|
||||
; CHECK-NEXT: testb $1, %dil
|
||||
; CHECK-NEXT: jne .LBB14_1
|
||||
; CHECK-NEXT: # %bb.2:
|
||||
; CHECK-NEXT: movsd {{.*#+}} xmm1 = mem[0],zero
|
||||
; CHECK-NEXT: movsd {{.*#+}} xmm0 = mem[0],zero
|
||||
; CHECK-NEXT: jmp fmod # TAILCALL
|
||||
; CHECK-NEXT: .LBB14_1:
|
||||
; CHECK-NEXT: movsd {{.*#+}} xmm1 = mem[0],zero
|
||||
; CHECK-NEXT: movsd {{.*#+}} xmm0 = mem[0],zero
|
||||
; CHECK-NEXT: jmp fmod # TAILCALL
|
||||
%sel = select i1 %cond, double -4.0, double 23.3
|
||||
%bo = frem double 5.1, %sel
|
||||
ret double %bo
|
||||
}
|
||||
Loading…
Reference in New Issue
Block a user