[llvm] 920c589 - [SLP][NFC]Add a test with the mask translate after buildvector shuffle cost estimation

Fri Jan 10 08:12:29 PST 2025

Author: Alexey Bataev
Date: 2025-01-10T08:12:03-08:00
New Revision: 920c58916a6a1c0b13b9330b5e8640bd7f4b0115

URL: https://github.com/llvm/llvm-project/commit/920c58916a6a1c0b13b9330b5e8640bd7f4b0115
DIFF: https://github.com/llvm/llvm-project/commit/920c58916a6a1c0b13b9330b5e8640bd7f4b0115.diff

LOG: [SLP][NFC]Add a test with the mask translate after buildvector shuffle cost estimation

Added: 
    llvm/test/Transforms/SLPVectorizer/X86/bv-shuffle-mask.ll

Modified: 
    

Removed: 
    


################################################################################
diff  --git a/llvm/test/Transforms/SLPVectorizer/X86/bv-shuffle-mask.ll b/llvm/test/Transforms/SLPVectorizer/X86/bv-shuffle-mask.ll
new file mode 100644
index 00000000000000..469421b660f319

--- /dev/null
+++ b/llvm/test/Transforms/SLPVectorizer/X86/bv-shuffle-mask.ll
@@ -0,0 +1,98 @@
+; NOTE: Assertions have been autogenerated by utils/update_test_checks.py UTC_ARGS: --version 5
+; RUN: opt -S --passes=slp-vectorizer -mtriple=x86_64-unknown-linux-gnu < %s | FileCheck %s
+
+define i16 @test(i16 %v1, i16 %v2) {
+; CHECK-LABEL: define i16 @test(
+; CHECK-SAME: i16 [[V1:%.*]], i16 [[V2:%.*]]) {
+; CHECK-NEXT:  [[ENTRY:.*:]]
+; CHECK-NEXT:    [[TMP0:%.*]] = insertelement <4 x i16> <i16 0, i16 0, i16 0, i16 poison>, i16 [[V2]], i32 3
+; CHECK-NEXT:    [[TMP1:%.*]] = insertelement <4 x i16> <i16 0, i16 0, i16 0, i16 poison>, i16 [[V1]], i32 3
+; CHECK-NEXT:    [[TMP2:%.*]] = or <4 x i16> [[TMP0]], [[TMP1]]
+; CHECK-NEXT:    [[TMP3:%.*]] = and <4 x i16> [[TMP0]], [[TMP1]]
+; CHECK-NEXT:    [[TMP4:%.*]] = shufflevector <4 x i16> [[TMP2]], <4 x i16> [[TMP3]], <4 x i32> <i32 0, i32 1, i32 2, i32 7>
+; CHECK-NEXT:    [[TMP5:%.*]] = shufflevector <4 x i16> [[TMP1]], <4 x i16> poison, <2 x i32> <i32 0, i32 poison>
+; CHECK-NEXT:    [[TMP6:%.*]] = insertelement <2 x i16> [[TMP5]], i16 [[V2]], i32 1
+; CHECK-NEXT:    [[TMP7:%.*]] = shufflevector <2 x i16> [[TMP6]], <2 x i16> poison, <4 x i32> <i32 0, i32 0, i32 0, i32 1>
+; CHECK-NEXT:    [[TMP8:%.*]] = or <4 x i16> [[TMP7]], zeroinitializer
+; CHECK-NEXT:    [[TMP9:%.*]] = and <4 x i16> [[TMP4]], zeroinitializer
+; CHECK-NEXT:    [[TMP10:%.*]] = and <4 x i16> [[TMP9]], zeroinitializer
+; CHECK-NEXT:    [[TMP11:%.*]] = icmp ne <4 x i16> [[TMP10]], zeroinitializer
+; CHECK-NEXT:    [[TMP12:%.*]] = or <4 x i1> [[TMP11]], zeroinitializer
+; CHECK-NEXT:    [[TMP13:%.*]] = or <4 x i16> [[TMP8]], zeroinitializer
+; CHECK-NEXT:    [[TMP14:%.*]] = or <4 x i16> [[TMP13]], zeroinitializer
+; CHECK-NEXT:    [[TMP15:%.*]] = or <4 x i16> [[TMP14]], zeroinitializer
+; CHECK-NEXT:    [[TMP16:%.*]] = icmp ne <4 x i16> [[TMP15]], zeroinitializer
+; CHECK-NEXT:    [[TMP17:%.*]] = or <4 x i1> zeroinitializer, [[TMP16]]
+; CHECK-NEXT:    [[TMP18:%.*]] = or <4 x i1> [[TMP12]], [[TMP17]]
+; CHECK-NEXT:    [[TMP19:%.*]] = extractelement <4 x i1> [[TMP18]], i32 2
+; CHECK-NEXT:    [[TMP20:%.*]] = extractelement <4 x i1> [[TMP18]], i32 3
+; CHECK-NEXT:    [[TMP21:%.*]] = or i1 [[TMP20]], [[TMP19]]
+; CHECK-NEXT:    [[TMP22:%.*]] = extractelement <4 x i1> [[TMP18]], i32 1
+; CHECK-NEXT:    [[TMP23:%.*]] = or i1 false, [[TMP22]]
+; CHECK-NEXT:    [[TMP24:%.*]] = freeze <4 x i1> [[TMP18]]
+; CHECK-NEXT:    [[TMP25:%.*]] = call i1 @llvm.vector.reduce.or.v4i1(<4 x i1> [[TMP24]])
+; CHECK-NEXT:    [[SPEC_SELECT31:%.*]] = select i1 [[TMP25]], i32 0, i32 0
+; CHECK-NEXT:    [[TMP26:%.*]] = extractelement <4 x i1> [[TMP18]], i32 0
+; CHECK-NEXT:    [[TMP27:%.*]] = or i1 false, [[TMP26]]
+; CHECK-NEXT:    store i32 [[SPEC_SELECT31]], ptr null, align 4
+; CHECK-NEXT:    ret i16 0
+;
+entry:
+  %0 = and i16 %v2, %v1
+  %1 = and i16 %0, 0
+  %2 = and i16 %1, 0
+  %3 = icmp ne i16 %2, 0
+  %.not5.not = or i1 %3, false
+  %inc.1.1.i82.i.i = or i16 %v2, 0
+  %inc.143.1.i98.i.i = or i16 0, 0
+  %4 = or i16 %inc.1.1.i82.i.i, 0
+  %5 = or i16 %4, 0
+  %6 = or i16 %5, 0
+  %7 = icmp ne i16 %6, 0
+  %.not7.not = or i1 false, %7
+  %8 = or i1 %.not5.not, %.not7.not
+  %9 = and i16 0, %inc.143.1.i98.i.i
+  %10 = and i16 %9, 0
+  %11 = icmp ne i16 %10, 0
+  %.not5.not.1 = or i1 %11, false
+  %inc.143.i76.i.i.1 = or i16 %v1, 0
+  %inc.143.1.i98.i.i.1 = or i16 0, 0
+  %12 = or i16 0, %inc.143.i76.i.i.1
+  %13 = or i16 %12, 0
+  %14 = or i16 %13, 0
+  %15 = icmp ne i16 %14, 0
+  %.not7.not.1 = or i1 false, %15
+  %16 = or i1 %.not5.not.1, %.not7.not.1
+  %17 = or i1 %8, %16
+  %18 = and i16 0, %inc.143.1.i98.i.i.1
+  %19 = and i16 %18, 0
+  %20 = icmp ne i16 %19, 0
+  %.not5.not.2 = or i1 %20, false
+  %inc.143.i76.i.i.2 = or i16 %v1, 0
+  %inc.143.1.i98.i.i.2 = or i16 0, 0
+  %21 = or i16 0, %inc.143.i76.i.i.2
+  %22 = or i16 %21, 0
+  %23 = or i16 %22, 0
+  %24 = icmp ne i16 %23, 0
+  %.not7.not.2 = or i1 false, %24
+  %25 = or i1 %.not5.not.2, %.not7.not.2
+  %26 = or i1 false, %25
+  %27 = and i16 0, %inc.143.1.i98.i.i.2
+  %28 = and i16 %27, 0
+  %29 = icmp ne i16 %28, 0
+  %.not5.not.3 = or i1 %29, false
+  %inc.143.i76.i.i.3 = or i16 %v1, 0
+  %30 = or i16 0, %inc.143.i76.i.i.3
+  %31 = or i16 %30, 0
+  %32 = or i16 %31, 0
+  %33 = icmp ne i16 %32, 0
+  %.not7.not.3 = or i1 false, %33
+  %34 = or i1 %.not5.not.3, %.not7.not.3
+  %35 = select i1 %34, i1 true, i1 %25
+  %36 = select i1 %35, i1 true, i1 %16
+  %37 = select i1 %36, i1 true, i1 %8
+  %spec.select31 = select i1 %37, i32 0, i32 0
+  %38 = or i1 false, %34
+  store i32 %spec.select31, ptr null, align 4
+  ret i16 0
+}


        
