Skip to content

Commit dae5dda

Browse files
RKSimonRKSimon
committed
[TargetLowering] SimplifyMultipleUseDemandedBits - return UNDEF for undemanded ops
If we demand no bits/elts from an Op, just return UNDEF llvm-svn: 368043
1 parent 5a07943 commit dae5dda

File tree

5 files changed

+66
-59
lines changed

5 files changed

+66
-59
lines changed

‎llvm/lib/CodeGen/SelectionDAG/TargetLowering.cpp

Lines changed: 10 additions & 1 deletion
Original file line numberDiff line numberDiff line change
@@ -569,9 +569,18 @@ bool TargetLowering::SimplifyDemandedBits(SDValue Op, const APInt &DemandedBits,
569569
SDValue TargetLowering::SimplifyMultipleUseDemandedBits(
570570
SDValue Op, const APInt &DemandedBits, const APInt &DemandedElts,
571571
SelectionDAG &DAG, unsigned Depth) const {
572-
if (Depth >= 6) // Limit search depth.
572+
// Limit search depth.
573+
if (Depth >= 6)
574+
return SDValue();
575+
576+
// Ignore UNDEFs.
577+
if (Op.isUndef())
573578
return SDValue();
574579

580+
// Not demanding any bits/elts from Op.
581+
if (DemandedBits == 0 || DemandedElts == 0)
582+
return DAG.getUNDEF(Op.getValueType());
583+
575584
unsigned NumElts = DemandedElts.getBitWidth();
576585
KnownBits LHSKnown, RHSKnown;
577586
switch (Op.getOpcode()) {

‎llvm/test/CodeGen/X86/packss.ll

Lines changed: 1 addition & 1 deletion
Original file line numberDiff line numberDiff line change
@@ -303,8 +303,8 @@ define <32 x i8> @packsswb_icmp_zero_256(<16 x i16> %a0) {
303303
; AVX1-NEXT: vextractf128 $1, %ymm0, %xmm1
304304
; AVX1-NEXT: vpxor %xmm2, %xmm2, %xmm2
305305
; AVX1-NEXT: vpcmpeqw %xmm2, %xmm1, %xmm1
306-
; AVX1-NEXT: vpcmpeqw %xmm2, %xmm0, %xmm0
307306
; AVX1-NEXT: vpacksswb %xmm1, %xmm0, %xmm1
307+
; AVX1-NEXT: vpcmpeqw %xmm2, %xmm0, %xmm0
308308
; AVX1-NEXT: vpacksswb %xmm0, %xmm0, %xmm0
309309
; AVX1-NEXT: vinsertf128 $1, %xmm1, %ymm0, %ymm0
310310
; AVX1-NEXT: vpxor %xmm1, %xmm1, %xmm1

‎llvm/test/CodeGen/X86/vector-idiv-udiv-128.ll

Lines changed: 47 additions & 49 deletions
Original file line numberDiff line numberDiff line change
@@ -309,36 +309,35 @@ define <16 x i8> @test_divconstant_16i8(<16 x i8> %a) nounwind {
309309
; SSE41-NEXT: psllw $7, %xmm3
310310
; SSE41-NEXT: pblendw {{.*#+}} xmm3 = xmm3[0],xmm2[1,2,3,4,5,6,7]
311311
; SSE41-NEXT: psrlw $8, %xmm3
312-
; SSE41-NEXT: movdqa {{.*#+}} xmm2 = [147,79,171,117,205,57,57,37]
313-
; SSE41-NEXT: pmullw %xmm3, %xmm2
314-
; SSE41-NEXT: psrlw $8, %xmm2
315-
; SSE41-NEXT: pxor %xmm4, %xmm4
316-
; SSE41-NEXT: punpcklbw {{.*#+}} xmm4 = xmm4[0],xmm0[0],xmm4[1],xmm0[1],xmm4[2],xmm0[2],xmm4[3],xmm0[3],xmm4[4],xmm0[4],xmm4[5],xmm0[5],xmm4[6],xmm0[6],xmm4[7],xmm0[7]
317-
; SSE41-NEXT: pmovzxbw {{.*#+}} xmm5 = xmm0[0],zero,xmm0[1],zero,xmm0[2],zero,xmm0[3],zero,xmm0[4],zero,xmm0[5],zero,xmm0[6],zero,xmm0[7],zero
318-
; SSE41-NEXT: psllw $7, %xmm5
319-
; SSE41-NEXT: pblendw {{.*#+}} xmm5 = xmm4[0,1,2,3,4,5,6],xmm5[7]
320-
; SSE41-NEXT: psrlw $8, %xmm5
321-
; SSE41-NEXT: packuswb %xmm3, %xmm5
322-
; SSE41-NEXT: pmovzxbw {{.*#+}} xmm3 = xmm5[0],zero,xmm5[1],zero,xmm5[2],zero,xmm5[3],zero,xmm5[4],zero,xmm5[5],zero,xmm5[6],zero,xmm5[7],zero
323312
; SSE41-NEXT: pmullw {{.*}}(%rip), %xmm3
324313
; SSE41-NEXT: psrlw $8, %xmm3
325-
; SSE41-NEXT: packuswb %xmm2, %xmm3
326-
; SSE41-NEXT: psubb %xmm3, %xmm0
327-
; SSE41-NEXT: pmovzxbw {{.*#+}} xmm2 = xmm0[0],zero,xmm0[1],zero,xmm0[2],zero,xmm0[3],zero,xmm0[4],zero,xmm0[5],zero,xmm0[6],zero,xmm0[7],zero
314+
; SSE41-NEXT: pxor %xmm2, %xmm2
315+
; SSE41-NEXT: punpcklbw {{.*#+}} xmm2 = xmm2[0],xmm0[0],xmm2[1],xmm0[1],xmm2[2],xmm0[2],xmm2[3],xmm0[3],xmm2[4],xmm0[4],xmm2[5],xmm0[5],xmm2[6],xmm0[6],xmm2[7],xmm0[7]
316+
; SSE41-NEXT: pmovzxbw {{.*#+}} xmm4 = xmm0[0],zero,xmm0[1],zero,xmm0[2],zero,xmm0[3],zero,xmm0[4],zero,xmm0[5],zero,xmm0[6],zero,xmm0[7],zero
317+
; SSE41-NEXT: psllw $7, %xmm4
318+
; SSE41-NEXT: pblendw {{.*#+}} xmm4 = xmm2[0,1,2,3,4,5,6],xmm4[7]
319+
; SSE41-NEXT: psrlw $8, %xmm4
320+
; SSE41-NEXT: packuswb %xmm0, %xmm4
321+
; SSE41-NEXT: pmovzxbw {{.*#+}} xmm2 = xmm4[0],zero,xmm4[1],zero,xmm4[2],zero,xmm4[3],zero,xmm4[4],zero,xmm4[5],zero,xmm4[6],zero,xmm4[7],zero
322+
; SSE41-NEXT: pmullw {{.*}}(%rip), %xmm2
323+
; SSE41-NEXT: psrlw $8, %xmm2
324+
; SSE41-NEXT: packuswb %xmm3, %xmm2
325+
; SSE41-NEXT: psubb %xmm2, %xmm0
326+
; SSE41-NEXT: pmovzxbw {{.*#+}} xmm3 = xmm0[0],zero,xmm0[1],zero,xmm0[2],zero,xmm0[3],zero,xmm0[4],zero,xmm0[5],zero,xmm0[6],zero,xmm0[7],zero
328327
; SSE41-NEXT: punpckhbw {{.*#+}} xmm0 = xmm0[8],xmm1[8],xmm0[9],xmm1[9],xmm0[10],xmm1[10],xmm0[11],xmm1[11],xmm0[12],xmm1[12],xmm0[13],xmm1[13],xmm0[14],xmm1[14],xmm0[15],xmm1[15]
329328
; SSE41-NEXT: pmullw {{.*}}(%rip), %xmm0
330329
; SSE41-NEXT: psrlw $8, %xmm0
331-
; SSE41-NEXT: pmullw {{.*}}(%rip), %xmm2
332-
; SSE41-NEXT: psrlw $8, %xmm2
333-
; SSE41-NEXT: packuswb %xmm0, %xmm2
334-
; SSE41-NEXT: paddb %xmm3, %xmm2
335-
; SSE41-NEXT: pmovzxbw {{.*#+}} xmm0 = xmm2[0],zero,xmm2[1],zero,xmm2[2],zero,xmm2[3],zero,xmm2[4],zero,xmm2[5],zero,xmm2[6],zero,xmm2[7],zero
336-
; SSE41-NEXT: punpckhbw {{.*#+}} xmm2 = xmm2[8],xmm1[8],xmm2[9],xmm1[9],xmm2[10],xmm1[10],xmm2[11],xmm1[11],xmm2[12],xmm1[12],xmm2[13],xmm1[13],xmm2[14],xmm1[14],xmm2[15],xmm1[15]
337-
; SSE41-NEXT: pmullw {{.*}}(%rip), %xmm2
338-
; SSE41-NEXT: psrlw $8, %xmm2
330+
; SSE41-NEXT: pmullw {{.*}}(%rip), %xmm3
331+
; SSE41-NEXT: psrlw $8, %xmm3
332+
; SSE41-NEXT: packuswb %xmm0, %xmm3
333+
; SSE41-NEXT: paddb %xmm2, %xmm3
334+
; SSE41-NEXT: pmovzxbw {{.*#+}} xmm0 = xmm3[0],zero,xmm3[1],zero,xmm3[2],zero,xmm3[3],zero,xmm3[4],zero,xmm3[5],zero,xmm3[6],zero,xmm3[7],zero
335+
; SSE41-NEXT: punpckhbw {{.*#+}} xmm3 = xmm3[8],xmm1[8],xmm3[9],xmm1[9],xmm3[10],xmm1[10],xmm3[11],xmm1[11],xmm3[12],xmm1[12],xmm3[13],xmm1[13],xmm3[14],xmm1[14],xmm3[15],xmm1[15]
336+
; SSE41-NEXT: pmullw {{.*}}(%rip), %xmm3
337+
; SSE41-NEXT: psrlw $8, %xmm3
339338
; SSE41-NEXT: pmullw {{.*}}(%rip), %xmm0
340339
; SSE41-NEXT: psrlw $8, %xmm0
341-
; SSE41-NEXT: packuswb %xmm2, %xmm0
340+
; SSE41-NEXT: packuswb %xmm3, %xmm0
342341
; SSE41-NEXT: retq
343342
;
344343
; AVX1-LABEL: test_divconstant_16i8:
@@ -810,45 +809,44 @@ define <16 x i8> @test_remconstant_16i8(<16 x i8> %a) nounwind {
810809
; SSE41-NEXT: psllw $7, %xmm3
811810
; SSE41-NEXT: pblendw {{.*#+}} xmm3 = xmm3[0],xmm2[1,2,3,4,5,6,7]
812811
; SSE41-NEXT: psrlw $8, %xmm3
813-
; SSE41-NEXT: movdqa {{.*#+}} xmm2 = [147,79,171,117,205,57,57,37]
814-
; SSE41-NEXT: pmullw %xmm3, %xmm2
815-
; SSE41-NEXT: psrlw $8, %xmm2
816-
; SSE41-NEXT: pxor %xmm4, %xmm4
817-
; SSE41-NEXT: punpcklbw {{.*#+}} xmm4 = xmm4[0],xmm0[0],xmm4[1],xmm0[1],xmm4[2],xmm0[2],xmm4[3],xmm0[3],xmm4[4],xmm0[4],xmm4[5],xmm0[5],xmm4[6],xmm0[6],xmm4[7],xmm0[7]
818-
; SSE41-NEXT: pmovzxbw {{.*#+}} xmm5 = xmm0[0],zero,xmm0[1],zero,xmm0[2],zero,xmm0[3],zero,xmm0[4],zero,xmm0[5],zero,xmm0[6],zero,xmm0[7],zero
819-
; SSE41-NEXT: psllw $7, %xmm5
820-
; SSE41-NEXT: pblendw {{.*#+}} xmm5 = xmm4[0,1,2,3,4,5,6],xmm5[7]
821-
; SSE41-NEXT: psrlw $8, %xmm5
822-
; SSE41-NEXT: packuswb %xmm3, %xmm5
823-
; SSE41-NEXT: pmovzxbw {{.*#+}} xmm3 = xmm5[0],zero,xmm5[1],zero,xmm5[2],zero,xmm5[3],zero,xmm5[4],zero,xmm5[5],zero,xmm5[6],zero,xmm5[7],zero
824812
; SSE41-NEXT: pmullw {{.*}}(%rip), %xmm3
825813
; SSE41-NEXT: psrlw $8, %xmm3
826-
; SSE41-NEXT: packuswb %xmm2, %xmm3
827-
; SSE41-NEXT: movdqa %xmm0, %xmm4
828-
; SSE41-NEXT: psubb %xmm3, %xmm4
829-
; SSE41-NEXT: pmovzxbw {{.*#+}} xmm2 = xmm4[0],zero,xmm4[1],zero,xmm4[2],zero,xmm4[3],zero,xmm4[4],zero,xmm4[5],zero,xmm4[6],zero,xmm4[7],zero
830-
; SSE41-NEXT: punpckhbw {{.*#+}} xmm4 = xmm4[8],xmm1[8],xmm4[9],xmm1[9],xmm4[10],xmm1[10],xmm4[11],xmm1[11],xmm4[12],xmm1[12],xmm4[13],xmm1[13],xmm4[14],xmm1[14],xmm4[15],xmm1[15]
814+
; SSE41-NEXT: pxor %xmm2, %xmm2
815+
; SSE41-NEXT: punpcklbw {{.*#+}} xmm2 = xmm2[0],xmm0[0],xmm2[1],xmm0[1],xmm2[2],xmm0[2],xmm2[3],xmm0[3],xmm2[4],xmm0[4],xmm2[5],xmm0[5],xmm2[6],xmm0[6],xmm2[7],xmm0[7]
816+
; SSE41-NEXT: pmovzxbw {{.*#+}} xmm4 = xmm0[0],zero,xmm0[1],zero,xmm0[2],zero,xmm0[3],zero,xmm0[4],zero,xmm0[5],zero,xmm0[6],zero,xmm0[7],zero
817+
; SSE41-NEXT: psllw $7, %xmm4
818+
; SSE41-NEXT: pblendw {{.*#+}} xmm4 = xmm2[0,1,2,3,4,5,6],xmm4[7]
819+
; SSE41-NEXT: psrlw $8, %xmm4
820+
; SSE41-NEXT: packuswb %xmm0, %xmm4
821+
; SSE41-NEXT: pmovzxbw {{.*#+}} xmm4 = xmm4[0],zero,xmm4[1],zero,xmm4[2],zero,xmm4[3],zero,xmm4[4],zero,xmm4[5],zero,xmm4[6],zero,xmm4[7],zero
831822
; SSE41-NEXT: pmullw {{.*}}(%rip), %xmm4
832823
; SSE41-NEXT: psrlw $8, %xmm4
824+
; SSE41-NEXT: packuswb %xmm3, %xmm4
825+
; SSE41-NEXT: movdqa %xmm0, %xmm3
826+
; SSE41-NEXT: psubb %xmm4, %xmm3
827+
; SSE41-NEXT: pmovzxbw {{.*#+}} xmm2 = xmm3[0],zero,xmm3[1],zero,xmm3[2],zero,xmm3[3],zero,xmm3[4],zero,xmm3[5],zero,xmm3[6],zero,xmm3[7],zero
828+
; SSE41-NEXT: punpckhbw {{.*#+}} xmm3 = xmm3[8],xmm1[8],xmm3[9],xmm1[9],xmm3[10],xmm1[10],xmm3[11],xmm1[11],xmm3[12],xmm1[12],xmm3[13],xmm1[13],xmm3[14],xmm1[14],xmm3[15],xmm1[15]
829+
; SSE41-NEXT: pmullw {{.*}}(%rip), %xmm3
830+
; SSE41-NEXT: psrlw $8, %xmm3
833831
; SSE41-NEXT: pmullw {{.*}}(%rip), %xmm2
834832
; SSE41-NEXT: psrlw $8, %xmm2
835-
; SSE41-NEXT: packuswb %xmm4, %xmm2
836-
; SSE41-NEXT: paddb %xmm3, %xmm2
833+
; SSE41-NEXT: packuswb %xmm3, %xmm2
834+
; SSE41-NEXT: paddb %xmm4, %xmm2
837835
; SSE41-NEXT: pmovzxbw {{.*#+}} xmm3 = xmm2[0],zero,xmm2[1],zero,xmm2[2],zero,xmm2[3],zero,xmm2[4],zero,xmm2[5],zero,xmm2[6],zero,xmm2[7],zero
838836
; SSE41-NEXT: punpckhbw {{.*#+}} xmm2 = xmm2[8],xmm1[8],xmm2[9],xmm1[9],xmm2[10],xmm1[10],xmm2[11],xmm1[11],xmm2[12],xmm1[12],xmm2[13],xmm1[13],xmm2[14],xmm1[14],xmm2[15],xmm1[15]
839837
; SSE41-NEXT: pmullw {{.*}}(%rip), %xmm2
840838
; SSE41-NEXT: psrlw $8, %xmm2
839+
; SSE41-NEXT: pmullw {{.*}}(%rip), %xmm2
840+
; SSE41-NEXT: movdqa {{.*#+}} xmm1 = [255,255,255,255,255,255,255,255]
841+
; SSE41-NEXT: pand %xmm1, %xmm2
841842
; SSE41-NEXT: pmullw {{.*}}(%rip), %xmm3
842843
; SSE41-NEXT: psrlw $8, %xmm3
844+
; SSE41-NEXT: packuswb %xmm0, %xmm3
845+
; SSE41-NEXT: pmovzxbw {{.*#+}} xmm3 = xmm3[0],zero,xmm3[1],zero,xmm3[2],zero,xmm3[3],zero,xmm3[4],zero,xmm3[5],zero,xmm3[6],zero,xmm3[7],zero
846+
; SSE41-NEXT: pmullw {{.*}}(%rip), %xmm3
847+
; SSE41-NEXT: pand %xmm1, %xmm3
843848
; SSE41-NEXT: packuswb %xmm2, %xmm3
844-
; SSE41-NEXT: pmovzxbw {{.*#+}} xmm1 = xmm3[0],zero,xmm3[1],zero,xmm3[2],zero,xmm3[3],zero,xmm3[4],zero,xmm3[5],zero,xmm3[6],zero,xmm3[7],zero
845-
; SSE41-NEXT: pmullw {{.*}}(%rip), %xmm1
846-
; SSE41-NEXT: movdqa {{.*#+}} xmm3 = [255,255,255,255,255,255,255,255]
847-
; SSE41-NEXT: pand %xmm3, %xmm1
848-
; SSE41-NEXT: pmullw {{.*}}(%rip), %xmm2
849-
; SSE41-NEXT: pand %xmm3, %xmm2
850-
; SSE41-NEXT: packuswb %xmm2, %xmm1
851-
; SSE41-NEXT: psubb %xmm1, %xmm0
849+
; SSE41-NEXT: psubb %xmm3, %xmm0
852850
; SSE41-NEXT: retq
853851
;
854852
; AVX1-LABEL: test_remconstant_16i8:

‎llvm/test/CodeGen/X86/vector-reduce-mul-widen.ll

Lines changed: 4 additions & 4 deletions
Original file line numberDiff line numberDiff line change
@@ -1745,7 +1745,7 @@ define i8 @test_v16i8(<16 x i8> %a0) {
17451745
; SSE2-NEXT: psrlw $8, %xmm2
17461746
; SSE2-NEXT: pmullw %xmm0, %xmm2
17471747
; SSE2-NEXT: pand %xmm1, %xmm2
1748-
; SSE2-NEXT: packuswb %xmm3, %xmm2
1748+
; SSE2-NEXT: packuswb %xmm0, %xmm2
17491749
; SSE2-NEXT: movd %xmm2, %eax
17501750
; SSE2-NEXT: # kill: def $al killed $al killed $eax
17511751
; SSE2-NEXT: retq
@@ -1960,7 +1960,7 @@ define i8 @test_v32i8(<32 x i8> %a0) {
19601960
; SSE2-NEXT: psrlw $8, %xmm2
19611961
; SSE2-NEXT: pmullw %xmm0, %xmm2
19621962
; SSE2-NEXT: pand %xmm1, %xmm2
1963-
; SSE2-NEXT: packuswb %xmm3, %xmm2
1963+
; SSE2-NEXT: packuswb %xmm0, %xmm2
19641964
; SSE2-NEXT: movd %xmm2, %eax
19651965
; SSE2-NEXT: # kill: def $al killed $al killed $eax
19661966
; SSE2-NEXT: retq
@@ -2229,7 +2229,7 @@ define i8 @test_v64i8(<64 x i8> %a0) {
22292229
; SSE2-NEXT: psrlw $8, %xmm2
22302230
; SSE2-NEXT: pmullw %xmm0, %xmm2
22312231
; SSE2-NEXT: pand %xmm1, %xmm2
2232-
; SSE2-NEXT: packuswb %xmm3, %xmm2
2232+
; SSE2-NEXT: packuswb %xmm0, %xmm2
22332233
; SSE2-NEXT: movd %xmm2, %eax
22342234
; SSE2-NEXT: # kill: def $al killed $al killed $eax
22352235
; SSE2-NEXT: retq
@@ -2601,7 +2601,7 @@ define i8 @test_v128i8(<128 x i8> %a0) {
26012601
; SSE2-NEXT: psrlw $8, %xmm2
26022602
; SSE2-NEXT: pmullw %xmm1, %xmm2
26032603
; SSE2-NEXT: pand %xmm0, %xmm2
2604-
; SSE2-NEXT: packuswb %xmm3, %xmm2
2604+
; SSE2-NEXT: packuswb %xmm0, %xmm2
26052605
; SSE2-NEXT: movd %xmm2, %eax
26062606
; SSE2-NEXT: # kill: def $al killed $al killed $eax
26072607
; SSE2-NEXT: retq

‎llvm/test/CodeGen/X86/vector-reduce-mul.ll

Lines changed: 4 additions & 4 deletions
Original file line numberDiff line numberDiff line change
@@ -1745,7 +1745,7 @@ define i8 @test_v16i8(<16 x i8> %a0) {
17451745
; SSE2-NEXT: psrlw $8, %xmm2
17461746
; SSE2-NEXT: pmullw %xmm0, %xmm2
17471747
; SSE2-NEXT: pand %xmm1, %xmm2
1748-
; SSE2-NEXT: packuswb %xmm3, %xmm2
1748+
; SSE2-NEXT: packuswb %xmm0, %xmm2
17491749
; SSE2-NEXT: movd %xmm2, %eax
17501750
; SSE2-NEXT: # kill: def $al killed $al killed $eax
17511751
; SSE2-NEXT: retq
@@ -1960,7 +1960,7 @@ define i8 @test_v32i8(<32 x i8> %a0) {
19601960
; SSE2-NEXT: psrlw $8, %xmm2
19611961
; SSE2-NEXT: pmullw %xmm0, %xmm2
19621962
; SSE2-NEXT: pand %xmm1, %xmm2
1963-
; SSE2-NEXT: packuswb %xmm3, %xmm2
1963+
; SSE2-NEXT: packuswb %xmm0, %xmm2
19641964
; SSE2-NEXT: movd %xmm2, %eax
19651965
; SSE2-NEXT: # kill: def $al killed $al killed $eax
19661966
; SSE2-NEXT: retq
@@ -2229,7 +2229,7 @@ define i8 @test_v64i8(<64 x i8> %a0) {
22292229
; SSE2-NEXT: psrlw $8, %xmm2
22302230
; SSE2-NEXT: pmullw %xmm0, %xmm2
22312231
; SSE2-NEXT: pand %xmm1, %xmm2
2232-
; SSE2-NEXT: packuswb %xmm3, %xmm2
2232+
; SSE2-NEXT: packuswb %xmm0, %xmm2
22332233
; SSE2-NEXT: movd %xmm2, %eax
22342234
; SSE2-NEXT: # kill: def $al killed $al killed $eax
22352235
; SSE2-NEXT: retq
@@ -2601,7 +2601,7 @@ define i8 @test_v128i8(<128 x i8> %a0) {
26012601
; SSE2-NEXT: psrlw $8, %xmm2
26022602
; SSE2-NEXT: pmullw %xmm1, %xmm2
26032603
; SSE2-NEXT: pand %xmm0, %xmm2
2604-
; SSE2-NEXT: packuswb %xmm3, %xmm2
2604+
; SSE2-NEXT: packuswb %xmm0, %xmm2
26052605
; SSE2-NEXT: movd %xmm2, %eax
26062606
; SSE2-NEXT: # kill: def $al killed $al killed $eax
26072607
; SSE2-NEXT: retq

0 commit comments

Comments
 (0)