Skip to content

Commit 10f6c3e

Browse files
RKSimonRKSimon
authored
[DAG] visitCONCAT_VECTORS - relax legality checks (llvm#137210)
We can fold combineConcatVectorOfConcatVectors/combineConcatVectorOfExtracts until after vector legalization
1 parent 92dc18b commit 10f6c3e

13 files changed

+157
-514
lines changed

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

Lines changed: 1 addition & 1 deletion
Original file line numberDiff line numberDiff line change
@@ -24994,7 +24994,7 @@ SDValue DAGCombiner::visitCONCAT_VECTORS(SDNode *N) {
2499424994
if (SDValue V = combineConcatVectorOfScalars(N, DAG))
2499524995
return V;
2499624996

24997-
if (Level < AfterLegalizeVectorOps && TLI.isTypeLegal(VT)) {
24997+
if (Level <= AfterLegalizeVectorOps && TLI.isTypeLegal(VT)) {
2499824998
// Fold CONCAT_VECTORS of CONCAT_VECTORS (or undef) to VECTOR_SHUFFLE.
2499924999
if (SDValue V = combineConcatVectorOfConcatVectors(N, DAG))
2500025000
return V;

‎llvm/test/CodeGen/X86/combine-pmuldq.ll

Lines changed: 6 additions & 8 deletions
Original file line numberDiff line numberDiff line change
@@ -396,9 +396,8 @@ define <8 x i32> @PR49658_zext(ptr %ptr, i32 %mul) {
396396
; AVX2-NEXT: vpmovzxdq {{.*#+}} ymm3 = mem[0],zero,mem[1],zero,mem[2],zero,mem[3],zero
397397
; AVX2-NEXT: vpmuludq %ymm3, %ymm1, %ymm3
398398
; AVX2-NEXT: vpmuludq %ymm2, %ymm1, %ymm2
399-
; AVX2-NEXT: vperm2i128 {{.*#+}} ymm4 = ymm3[2,3],ymm2[2,3]
400-
; AVX2-NEXT: vinserti128 $1, %xmm2, %ymm3, %ymm2
401-
; AVX2-NEXT: vshufps {{.*#+}} ymm2 = ymm2[1,3],ymm4[1,3],ymm2[5,7],ymm4[5,7]
399+
; AVX2-NEXT: vshufps {{.*#+}} ymm2 = ymm2[1,3],ymm3[1,3],ymm2[5,7],ymm3[5,7]
400+
; AVX2-NEXT: vpermpd {{.*#+}} ymm2 = ymm2[0,2,1,3]
402401
; AVX2-NEXT: vpaddd %ymm0, %ymm2, %ymm0
403402
; AVX2-NEXT: subq $-128, %rax
404403
; AVX2-NEXT: jne .LBB7_1
@@ -568,13 +567,12 @@ define <8 x i32> @PR49658_sext(ptr %ptr, i32 %mul) {
568567
; AVX2-NEXT: .p2align 4
569568
; AVX2-NEXT: .LBB8_1: # %loop
570569
; AVX2-NEXT: # =>This Inner Loop Header: Depth=1
571-
; AVX2-NEXT: vpmovsxdq 2097168(%rdi,%rax), %ymm2
572-
; AVX2-NEXT: vpmovsxdq 2097152(%rdi,%rax), %ymm3
570+
; AVX2-NEXT: vpmovsxdq 2097152(%rdi,%rax), %ymm2
571+
; AVX2-NEXT: vpmovsxdq 2097168(%rdi,%rax), %ymm3
573572
; AVX2-NEXT: vpmuldq %ymm3, %ymm1, %ymm3
574573
; AVX2-NEXT: vpmuldq %ymm2, %ymm1, %ymm2
575-
; AVX2-NEXT: vperm2i128 {{.*#+}} ymm4 = ymm3[2,3],ymm2[2,3]
576-
; AVX2-NEXT: vinserti128 $1, %xmm2, %ymm3, %ymm2
577-
; AVX2-NEXT: vshufps {{.*#+}} ymm2 = ymm2[1,3],ymm4[1,3],ymm2[5,7],ymm4[5,7]
574+
; AVX2-NEXT: vshufps {{.*#+}} ymm2 = ymm2[1,3],ymm3[1,3],ymm2[5,7],ymm3[5,7]
575+
; AVX2-NEXT: vpermpd {{.*#+}} ymm2 = ymm2[0,2,1,3]
578576
; AVX2-NEXT: vpaddd %ymm0, %ymm2, %ymm0
579577
; AVX2-NEXT: subq $-128, %rax
580578
; AVX2-NEXT: jne .LBB8_1

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

Lines changed: 2 additions & 3 deletions
Original file line numberDiff line numberDiff line change
@@ -172,9 +172,8 @@ define void @truncstore_v8i64_v8i32(<8 x i64> %x, ptr %p, <8 x i32> %mask) {
172172
; AVX2-NEXT: vpcmpeqd %ymm3, %ymm2, %ymm2
173173
; AVX2-NEXT: vpcmpeqd %ymm3, %ymm3, %ymm3
174174
; AVX2-NEXT: vpxor %ymm3, %ymm2, %ymm2
175-
; AVX2-NEXT: vperm2f128 {{.*#+}} ymm3 = ymm0[2,3],ymm1[2,3]
176-
; AVX2-NEXT: vinsertf128 $1, %xmm1, %ymm0, %ymm0
177-
; AVX2-NEXT: vshufps {{.*#+}} ymm0 = ymm0[0,2],ymm3[0,2],ymm0[4,6],ymm3[4,6]
175+
; AVX2-NEXT: vshufps {{.*#+}} ymm0 = ymm0[0,2],ymm1[0,2],ymm0[4,6],ymm1[4,6]
176+
; AVX2-NEXT: vpermpd {{.*#+}} ymm0 = ymm0[0,2,1,3]
178177
; AVX2-NEXT: vpmaskmovd %ymm0, %ymm2, (%rdi)
179178
; AVX2-NEXT: vzeroupper
180179
; AVX2-NEXT: retq

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

Lines changed: 2 additions & 3 deletions
Original file line numberDiff line numberDiff line change
@@ -334,9 +334,8 @@ define void @truncstore_v8i64_v8i32(<8 x i64> %x, ptr %p, <8 x i32> %mask) {
334334
; AVX2-NEXT: vblendvpd %ymm4, %ymm1, %ymm3, %ymm1
335335
; AVX2-NEXT: vpcmpgtq %ymm3, %ymm0, %ymm4
336336
; AVX2-NEXT: vblendvpd %ymm4, %ymm0, %ymm3, %ymm0
337-
; AVX2-NEXT: vperm2f128 {{.*#+}} ymm3 = ymm0[2,3],ymm1[2,3]
338-
; AVX2-NEXT: vinsertf128 $1, %xmm1, %ymm0, %ymm0
339-
; AVX2-NEXT: vshufps {{.*#+}} ymm0 = ymm0[0,2],ymm3[0,2],ymm0[4,6],ymm3[4,6]
337+
; AVX2-NEXT: vshufps {{.*#+}} ymm0 = ymm0[0,2],ymm1[0,2],ymm0[4,6],ymm1[4,6]
338+
; AVX2-NEXT: vpermpd {{.*#+}} ymm0 = ymm0[0,2,1,3]
340339
; AVX2-NEXT: vpmaskmovd %ymm0, %ymm2, (%rdi)
341340
; AVX2-NEXT: vzeroupper
342341
; AVX2-NEXT: retq

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

Lines changed: 2 additions & 3 deletions
Original file line numberDiff line numberDiff line change
@@ -266,9 +266,8 @@ define void @truncstore_v8i64_v8i32(<8 x i64> %x, ptr %p, <8 x i32> %mask) {
266266
; AVX2-NEXT: vpxor %ymm4, %ymm0, %ymm4
267267
; AVX2-NEXT: vpcmpgtq %ymm4, %ymm6, %ymm4
268268
; AVX2-NEXT: vblendvpd %ymm4, %ymm0, %ymm3, %ymm0
269-
; AVX2-NEXT: vperm2f128 {{.*#+}} ymm3 = ymm0[2,3],ymm1[2,3]
270-
; AVX2-NEXT: vinsertf128 $1, %xmm1, %ymm0, %ymm0
271-
; AVX2-NEXT: vshufps {{.*#+}} ymm0 = ymm0[0,2],ymm3[0,2],ymm0[4,6],ymm3[4,6]
269+
; AVX2-NEXT: vshufps {{.*#+}} ymm0 = ymm0[0,2],ymm1[0,2],ymm0[4,6],ymm1[4,6]
270+
; AVX2-NEXT: vpermpd {{.*#+}} ymm0 = ymm0[0,2,1,3]
272271
; AVX2-NEXT: vpmaskmovd %ymm0, %ymm2, (%rdi)
273272
; AVX2-NEXT: vzeroupper
274273
; AVX2-NEXT: retq

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

Lines changed: 2 additions & 3 deletions
Original file line numberDiff line numberDiff line change
@@ -9,9 +9,8 @@ define <8 x i32> @foo(<8 x i64> %x, <4 x i64> %y) {
99
; X86: # %bb.0:
1010
; X86-NEXT: vandps %ymm2, %ymm0, %ymm0
1111
; X86-NEXT: vandps {{\.?LCPI[0-9]+_[0-9]+}}, %ymm1, %ymm1
12-
; X86-NEXT: vperm2f128 {{.*#+}} ymm2 = ymm0[2,3],ymm1[2,3]
13-
; X86-NEXT: vinsertf128 $1, %xmm1, %ymm0, %ymm0
14-
; X86-NEXT: vshufps {{.*#+}} ymm0 = ymm0[0,2],ymm2[0,2],ymm0[4,6],ymm2[4,6]
12+
; X86-NEXT: vshufps {{.*#+}} ymm0 = ymm0[0,2],ymm1[0,2],ymm0[4,6],ymm1[4,6]
13+
; X86-NEXT: vpermpd {{.*#+}} ymm0 = ymm0[0,2,1,3]
1514
; X86-NEXT: retl
1615
;
1716
; X64-LABEL: foo:

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

Lines changed: 37 additions & 117 deletions
Original file line numberDiff line numberDiff line change
@@ -3,9 +3,9 @@
33
; RUN: llc < %s -mtriple=x86_64-unknown-unknown -mattr=+ssse3 | FileCheck %s --check-prefixes=SSE,SSE2OR3,SSSE3
44
; RUN: llc < %s -mtriple=x86_64-unknown-unknown -mattr=+sse4.1 | FileCheck %s --check-prefixes=SSE,SSE41
55
; RUN: llc < %s -mtriple=x86_64-unknown-unknown -mattr=+avx | FileCheck %s --check-prefixes=AVX,AVX1
6-
; RUN: llc < %s -mtriple=x86_64-unknown-unknown -mattr=+avx2 | FileCheck %s --check-prefixes=AVX,AVX2,AVX2-SLOW
7-
; RUN: llc < %s -mtriple=x86_64-unknown-unknown -mattr=+avx2,+fast-variable-crosslane-shuffle,+fast-variable-perlane-shuffle | FileCheck %s --check-prefixes=AVX,AVX2,AVX2-FAST-ALL
8-
; RUN: llc < %s -mtriple=x86_64-unknown-unknown -mattr=+avx2,+fast-variable-perlane-shuffle | FileCheck %s --check-prefixes=AVX,AVX2,AVX2-FAST-PERLANE
6+
; RUN: llc < %s -mtriple=x86_64-unknown-unknown -mattr=+avx2 | FileCheck %s --check-prefixes=AVX,AVX2
7+
; RUN: llc < %s -mtriple=x86_64-unknown-unknown -mattr=+avx2,+fast-variable-crosslane-shuffle,+fast-variable-perlane-shuffle | FileCheck %s --check-prefixes=AVX,AVX2
8+
; RUN: llc < %s -mtriple=x86_64-unknown-unknown -mattr=+avx2,+fast-variable-perlane-shuffle | FileCheck %s --check-prefixes=AVX,AVX2
99
; RUN: llc < %s -mtriple=x86_64-unknown-unknown -mattr=+avx512bw,+avx512vl,+fast-variable-crosslane-shuffle,+fast-variable-perlane-shuffle | FileCheck %s --check-prefixes=AVX,AVX512
1010
; RUN: llc < %s -mtriple=x86_64-unknown-unknown -mattr=+avx512bw,+avx512vl,+fast-variable-perlane-shuffle | FileCheck %s --check-prefixes=AVX,AVX512
1111

@@ -2846,60 +2846,22 @@ define <8 x i32> @test33(<8 x i32> %a0, <8 x i64> %a1) {
28462846
; AVX1-NEXT: vinsertf128 $1, %xmm2, %ymm0, %ymm0
28472847
; AVX1-NEXT: retq
28482848
;
2849-
; AVX2-SLOW-LABEL: test33:
2850-
; AVX2-SLOW: # %bb.0:
2851-
; AVX2-SLOW-NEXT: vpbroadcastq {{.*#+}} ymm3 = [9223372036854775808,9223372036854775808,9223372036854775808,9223372036854775808]
2852-
; AVX2-SLOW-NEXT: vpxor %ymm3, %ymm2, %ymm4
2853-
; AVX2-SLOW-NEXT: vpbroadcastq {{.*#+}} ymm5 = [9223372041149743103,9223372041149743103,9223372041149743103,9223372041149743103]
2854-
; AVX2-SLOW-NEXT: vpcmpgtq %ymm4, %ymm5, %ymm4
2855-
; AVX2-SLOW-NEXT: vbroadcastsd {{.*#+}} ymm6 = [4294967295,4294967295,4294967295,4294967295]
2856-
; AVX2-SLOW-NEXT: vblendvpd %ymm4, %ymm2, %ymm6, %ymm2
2857-
; AVX2-SLOW-NEXT: vpxor %ymm3, %ymm1, %ymm3
2858-
; AVX2-SLOW-NEXT: vpcmpgtq %ymm3, %ymm5, %ymm3
2859-
; AVX2-SLOW-NEXT: vblendvpd %ymm3, %ymm1, %ymm6, %ymm1
2860-
; AVX2-SLOW-NEXT: vperm2f128 {{.*#+}} ymm3 = ymm1[2,3],ymm2[2,3]
2861-
; AVX2-SLOW-NEXT: vinsertf128 $1, %xmm2, %ymm1, %ymm1
2862-
; AVX2-SLOW-NEXT: vshufps {{.*#+}} ymm1 = ymm1[0,2],ymm3[0,2],ymm1[4,6],ymm3[4,6]
2863-
; AVX2-SLOW-NEXT: vpmaxud %ymm1, %ymm0, %ymm0
2864-
; AVX2-SLOW-NEXT: vpsubd %ymm1, %ymm0, %ymm0
2865-
; AVX2-SLOW-NEXT: retq
2866-
;
2867-
; AVX2-FAST-ALL-LABEL: test33:
2868-
; AVX2-FAST-ALL: # %bb.0:
2869-
; AVX2-FAST-ALL-NEXT: vpbroadcastq {{.*#+}} ymm3 = [9223372036854775808,9223372036854775808,9223372036854775808,9223372036854775808]
2870-
; AVX2-FAST-ALL-NEXT: vpxor %ymm3, %ymm1, %ymm4
2871-
; AVX2-FAST-ALL-NEXT: vpbroadcastq {{.*#+}} ymm5 = [9223372041149743103,9223372041149743103,9223372041149743103,9223372041149743103]
2872-
; AVX2-FAST-ALL-NEXT: vpcmpgtq %ymm4, %ymm5, %ymm4
2873-
; AVX2-FAST-ALL-NEXT: vbroadcastsd {{.*#+}} ymm6 = [4294967295,4294967295,4294967295,4294967295]
2874-
; AVX2-FAST-ALL-NEXT: vblendvpd %ymm4, %ymm1, %ymm6, %ymm1
2875-
; AVX2-FAST-ALL-NEXT: vmovapd {{.*#+}} ymm4 = [0,2,4,6,4,6,6,7]
2876-
; AVX2-FAST-ALL-NEXT: vpermps %ymm1, %ymm4, %ymm1
2877-
; AVX2-FAST-ALL-NEXT: vpxor %ymm3, %ymm2, %ymm3
2878-
; AVX2-FAST-ALL-NEXT: vpcmpgtq %ymm3, %ymm5, %ymm3
2879-
; AVX2-FAST-ALL-NEXT: vblendvpd %ymm3, %ymm2, %ymm6, %ymm2
2880-
; AVX2-FAST-ALL-NEXT: vpermps %ymm2, %ymm4, %ymm2
2881-
; AVX2-FAST-ALL-NEXT: vinsertf128 $1, %xmm2, %ymm1, %ymm1
2882-
; AVX2-FAST-ALL-NEXT: vpmaxud %ymm1, %ymm0, %ymm0
2883-
; AVX2-FAST-ALL-NEXT: vpsubd %ymm1, %ymm0, %ymm0
2884-
; AVX2-FAST-ALL-NEXT: retq
2885-
;
2886-
; AVX2-FAST-PERLANE-LABEL: test33:
2887-
; AVX2-FAST-PERLANE: # %bb.0:
2888-
; AVX2-FAST-PERLANE-NEXT: vpbroadcastq {{.*#+}} ymm3 = [9223372036854775808,9223372036854775808,9223372036854775808,9223372036854775808]
2889-
; AVX2-FAST-PERLANE-NEXT: vpxor %ymm3, %ymm2, %ymm4
2890-
; AVX2-FAST-PERLANE-NEXT: vpbroadcastq {{.*#+}} ymm5 = [9223372041149743103,9223372041149743103,9223372041149743103,9223372041149743103]
2891-
; AVX2-FAST-PERLANE-NEXT: vpcmpgtq %ymm4, %ymm5, %ymm4
2892-
; AVX2-FAST-PERLANE-NEXT: vbroadcastsd {{.*#+}} ymm6 = [4294967295,4294967295,4294967295,4294967295]
2893-
; AVX2-FAST-PERLANE-NEXT: vblendvpd %ymm4, %ymm2, %ymm6, %ymm2
2894-
; AVX2-FAST-PERLANE-NEXT: vpxor %ymm3, %ymm1, %ymm3
2895-
; AVX2-FAST-PERLANE-NEXT: vpcmpgtq %ymm3, %ymm5, %ymm3
2896-
; AVX2-FAST-PERLANE-NEXT: vblendvpd %ymm3, %ymm1, %ymm6, %ymm1
2897-
; AVX2-FAST-PERLANE-NEXT: vperm2f128 {{.*#+}} ymm3 = ymm1[2,3],ymm2[2,3]
2898-
; AVX2-FAST-PERLANE-NEXT: vinsertf128 $1, %xmm2, %ymm1, %ymm1
2899-
; AVX2-FAST-PERLANE-NEXT: vshufps {{.*#+}} ymm1 = ymm1[0,2],ymm3[0,2],ymm1[4,6],ymm3[4,6]
2900-
; AVX2-FAST-PERLANE-NEXT: vpmaxud %ymm1, %ymm0, %ymm0
2901-
; AVX2-FAST-PERLANE-NEXT: vpsubd %ymm1, %ymm0, %ymm0
2902-
; AVX2-FAST-PERLANE-NEXT: retq
2849+
; AVX2-LABEL: test33:
2850+
; AVX2: # %bb.0:
2851+
; AVX2-NEXT: vpbroadcastq {{.*#+}} ymm3 = [9223372036854775808,9223372036854775808,9223372036854775808,9223372036854775808]
2852+
; AVX2-NEXT: vpxor %ymm3, %ymm2, %ymm4
2853+
; AVX2-NEXT: vpbroadcastq {{.*#+}} ymm5 = [9223372041149743103,9223372041149743103,9223372041149743103,9223372041149743103]
2854+
; AVX2-NEXT: vpcmpgtq %ymm4, %ymm5, %ymm4
2855+
; AVX2-NEXT: vbroadcastsd {{.*#+}} ymm6 = [4294967295,4294967295,4294967295,4294967295]
2856+
; AVX2-NEXT: vblendvpd %ymm4, %ymm2, %ymm6, %ymm2
2857+
; AVX2-NEXT: vpxor %ymm3, %ymm1, %ymm3
2858+
; AVX2-NEXT: vpcmpgtq %ymm3, %ymm5, %ymm3
2859+
; AVX2-NEXT: vblendvpd %ymm3, %ymm1, %ymm6, %ymm1
2860+
; AVX2-NEXT: vshufps {{.*#+}} ymm1 = ymm1[0,2],ymm2[0,2],ymm1[4,6],ymm2[4,6]
2861+
; AVX2-NEXT: vpermpd {{.*#+}} ymm1 = ymm1[0,2,1,3]
2862+
; AVX2-NEXT: vpmaxud %ymm1, %ymm0, %ymm0
2863+
; AVX2-NEXT: vpsubd %ymm1, %ymm0, %ymm0
2864+
; AVX2-NEXT: retq
29032865
;
29042866
; AVX512-LABEL: test33:
29052867
; AVX512: # %bb.0:
@@ -3070,66 +3032,24 @@ define <8 x i32> @test34(<8 x i32> %a0, <8 x i64> %a1) {
30703032
; AVX1-NEXT: vinsertf128 $1, %xmm2, %ymm0, %ymm0
30713033
; AVX1-NEXT: retq
30723034
;
3073-
; AVX2-SLOW-LABEL: test34:
3074-
; AVX2-SLOW: # %bb.0:
3075-
; AVX2-SLOW-NEXT: vpbroadcastd {{.*#+}} ymm3 = [1,1,1,1,1,1,1,1]
3076-
; AVX2-SLOW-NEXT: vpand %ymm3, %ymm0, %ymm0
3077-
; AVX2-SLOW-NEXT: vpbroadcastq {{.*#+}} ymm3 = [9223372036854775808,9223372036854775808,9223372036854775808,9223372036854775808]
3078-
; AVX2-SLOW-NEXT: vpxor %ymm3, %ymm2, %ymm4
3079-
; AVX2-SLOW-NEXT: vpbroadcastq {{.*#+}} ymm5 = [9223372041149743103,9223372041149743103,9223372041149743103,9223372041149743103]
3080-
; AVX2-SLOW-NEXT: vpcmpgtq %ymm4, %ymm5, %ymm4
3081-
; AVX2-SLOW-NEXT: vbroadcastsd {{.*#+}} ymm6 = [4294967295,4294967295,4294967295,4294967295]
3082-
; AVX2-SLOW-NEXT: vblendvpd %ymm4, %ymm2, %ymm6, %ymm2
3083-
; AVX2-SLOW-NEXT: vpxor %ymm3, %ymm1, %ymm3
3084-
; AVX2-SLOW-NEXT: vpcmpgtq %ymm3, %ymm5, %ymm3
3085-
; AVX2-SLOW-NEXT: vblendvpd %ymm3, %ymm1, %ymm6, %ymm1
3086-
; AVX2-SLOW-NEXT: vperm2f128 {{.*#+}} ymm3 = ymm1[2,3],ymm2[2,3]
3087-
; AVX2-SLOW-NEXT: vinsertf128 $1, %xmm2, %ymm1, %ymm1
3088-
; AVX2-SLOW-NEXT: vshufps {{.*#+}} ymm1 = ymm1[0,2],ymm3[0,2],ymm1[4,6],ymm3[4,6]
3089-
; AVX2-SLOW-NEXT: vpmaxud %ymm1, %ymm0, %ymm0
3090-
; AVX2-SLOW-NEXT: vpsubd %ymm1, %ymm0, %ymm0
3091-
; AVX2-SLOW-NEXT: retq
3092-
;
3093-
; AVX2-FAST-ALL-LABEL: test34:
3094-
; AVX2-FAST-ALL: # %bb.0:
3095-
; AVX2-FAST-ALL-NEXT: vpbroadcastd {{.*#+}} ymm3 = [1,1,1,1,1,1,1,1]
3096-
; AVX2-FAST-ALL-NEXT: vpand %ymm3, %ymm0, %ymm0
3097-
; AVX2-FAST-ALL-NEXT: vpbroadcastq {{.*#+}} ymm3 = [9223372036854775808,9223372036854775808,9223372036854775808,9223372036854775808]
3098-
; AVX2-FAST-ALL-NEXT: vpxor %ymm3, %ymm1, %ymm4
3099-
; AVX2-FAST-ALL-NEXT: vpbroadcastq {{.*#+}} ymm5 = [9223372041149743103,9223372041149743103,9223372041149743103,9223372041149743103]
3100-
; AVX2-FAST-ALL-NEXT: vpcmpgtq %ymm4, %ymm5, %ymm4
3101-
; AVX2-FAST-ALL-NEXT: vbroadcastsd {{.*#+}} ymm6 = [4294967295,4294967295,4294967295,4294967295]
3102-
; AVX2-FAST-ALL-NEXT: vblendvpd %ymm4, %ymm1, %ymm6, %ymm1
3103-
; AVX2-FAST-ALL-NEXT: vmovapd {{.*#+}} ymm4 = [0,2,4,6,4,6,6,7]
3104-
; AVX2-FAST-ALL-NEXT: vpermps %ymm1, %ymm4, %ymm1
3105-
; AVX2-FAST-ALL-NEXT: vpxor %ymm3, %ymm2, %ymm3
3106-
; AVX2-FAST-ALL-NEXT: vpcmpgtq %ymm3, %ymm5, %ymm3
3107-
; AVX2-FAST-ALL-NEXT: vblendvpd %ymm3, %ymm2, %ymm6, %ymm2
3108-
; AVX2-FAST-ALL-NEXT: vpermps %ymm2, %ymm4, %ymm2
3109-
; AVX2-FAST-ALL-NEXT: vinsertf128 $1, %xmm2, %ymm1, %ymm1
3110-
; AVX2-FAST-ALL-NEXT: vpmaxud %ymm1, %ymm0, %ymm0
3111-
; AVX2-FAST-ALL-NEXT: vpsubd %ymm1, %ymm0, %ymm0
3112-
; AVX2-FAST-ALL-NEXT: retq
3113-
;
3114-
; AVX2-FAST-PERLANE-LABEL: test34:
3115-
; AVX2-FAST-PERLANE: # %bb.0:
3116-
; AVX2-FAST-PERLANE-NEXT: vpbroadcastd {{.*#+}} ymm3 = [1,1,1,1,1,1,1,1]
3117-
; AVX2-FAST-PERLANE-NEXT: vpand %ymm3, %ymm0, %ymm0
3118-
; AVX2-FAST-PERLANE-NEXT: vpbroadcastq {{.*#+}} ymm3 = [9223372036854775808,9223372036854775808,9223372036854775808,9223372036854775808]
3119-
; AVX2-FAST-PERLANE-NEXT: vpxor %ymm3, %ymm2, %ymm4
3120-
; AVX2-FAST-PERLANE-NEXT: vpbroadcastq {{.*#+}} ymm5 = [9223372041149743103,9223372041149743103,9223372041149743103,9223372041149743103]
3121-
; AVX2-FAST-PERLANE-NEXT: vpcmpgtq %ymm4, %ymm5, %ymm4
3122-
; AVX2-FAST-PERLANE-NEXT: vbroadcastsd {{.*#+}} ymm6 = [4294967295,4294967295,4294967295,4294967295]
3123-
; AVX2-FAST-PERLANE-NEXT: vblendvpd %ymm4, %ymm2, %ymm6, %ymm2
3124-
; AVX2-FAST-PERLANE-NEXT: vpxor %ymm3, %ymm1, %ymm3
3125-
; AVX2-FAST-PERLANE-NEXT: vpcmpgtq %ymm3, %ymm5, %ymm3
3126-
; AVX2-FAST-PERLANE-NEXT: vblendvpd %ymm3, %ymm1, %ymm6, %ymm1
3127-
; AVX2-FAST-PERLANE-NEXT: vperm2f128 {{.*#+}} ymm3 = ymm1[2,3],ymm2[2,3]
3128-
; AVX2-FAST-PERLANE-NEXT: vinsertf128 $1, %xmm2, %ymm1, %ymm1
3129-
; AVX2-FAST-PERLANE-NEXT: vshufps {{.*#+}} ymm1 = ymm1[0,2],ymm3[0,2],ymm1[4,6],ymm3[4,6]
3130-
; AVX2-FAST-PERLANE-NEXT: vpmaxud %ymm1, %ymm0, %ymm0
3131-
; AVX2-FAST-PERLANE-NEXT: vpsubd %ymm1, %ymm0, %ymm0
3132-
; AVX2-FAST-PERLANE-NEXT: retq
3035+
; AVX2-LABEL: test34:
3036+
; AVX2: # %bb.0:
3037+
; AVX2-NEXT: vpbroadcastd {{.*#+}} ymm3 = [1,1,1,1,1,1,1,1]
3038+
; AVX2-NEXT: vpand %ymm3, %ymm0, %ymm0
3039+
; AVX2-NEXT: vpbroadcastq {{.*#+}} ymm3 = [9223372036854775808,9223372036854775808,9223372036854775808,9223372036854775808]
3040+
; AVX2-NEXT: vpxor %ymm3, %ymm2, %ymm4
3041+
; AVX2-NEXT: vpbroadcastq {{.*#+}} ymm5 = [9223372041149743103,9223372041149743103,9223372041149743103,9223372041149743103]
3042+
; AVX2-NEXT: vpcmpgtq %ymm4, %ymm5, %ymm4
3043+
; AVX2-NEXT: vbroadcastsd {{.*#+}} ymm6 = [4294967295,4294967295,4294967295,4294967295]
3044+
; AVX2-NEXT: vblendvpd %ymm4, %ymm2, %ymm6, %ymm2
3045+
; AVX2-NEXT: vpxor %ymm3, %ymm1, %ymm3
3046+
; AVX2-NEXT: vpcmpgtq %ymm3, %ymm5, %ymm3
3047+
; AVX2-NEXT: vblendvpd %ymm3, %ymm1, %ymm6, %ymm1
3048+
; AVX2-NEXT: vshufps {{.*#+}} ymm1 = ymm1[0,2],ymm2[0,2],ymm1[4,6],ymm2[4,6]
3049+
; AVX2-NEXT: vpermpd {{.*#+}} ymm1 = ymm1[0,2,1,3]
3050+
; AVX2-NEXT: vpmaxud %ymm1, %ymm0, %ymm0
3051+
; AVX2-NEXT: vpsubd %ymm1, %ymm0, %ymm0
3052+
; AVX2-NEXT: retq
31333053
;
31343054
; AVX512-LABEL: test34:
31353055
; AVX512: # %bb.0:

‎llvm/test/CodeGen/X86/vector-reduce-xor-bool.ll

Lines changed: 2 additions & 3 deletions
Original file line numberDiff line numberDiff line change
@@ -585,9 +585,8 @@ define i1 @trunc_v8i64_v8i1(<8 x i64>) nounwind {
585585
;
586586
; AVX2-LABEL: trunc_v8i64_v8i1:
587587
; AVX2: # %bb.0:
588-
; AVX2-NEXT: vperm2f128 {{.*#+}} ymm2 = ymm0[2,3],ymm1[2,3]
589-
; AVX2-NEXT: vinsertf128 $1, %xmm1, %ymm0, %ymm0
590-
; AVX2-NEXT: vshufps {{.*#+}} ymm0 = ymm0[0,2],ymm2[0,2],ymm0[4,6],ymm2[4,6]
588+
; AVX2-NEXT: vshufps {{.*#+}} ymm0 = ymm0[0,2],ymm1[0,2],ymm0[4,6],ymm1[4,6]
589+
; AVX2-NEXT: vpermpd {{.*#+}} ymm0 = ymm0[0,2,1,3]
591590
; AVX2-NEXT: vpslld $31, %ymm0, %ymm0
592591
; AVX2-NEXT: vmovmskps %ymm0, %eax
593592
; AVX2-NEXT: testb %al, %al

0 commit comments

Comments
 (0)