[SLP][REVEC] Pre-commit test.

Author: HanKuanChen

llvm/test/Transforms/SLPVectorizer/X86/revec-SplitVectorize.ll

@@ -0,0 +1,42 @@
+; NOTE: Assertions have been autogenerated by utils/update_test_checks.py
+; RUN: opt -mtriple=x86_64-unknown-linux-gnu -mattr=+avx -passes=slp-vectorizer -S -slp-revec < %s | FileCheck %s
+
+define void @test() {
+entry:
+  br label %vector.body
+
+vector.body:                                      ; preds = %vector.body, %entry
+  %vec.phi30 = phi <4 x i32> [ zeroinitializer, %entry ], [ %predphi, %vector.body ]
+  %vec.phi31 = phi <4 x i32> [ zeroinitializer, %entry ], [ %predphi40, %vector.body ]
+  %vec.phi32 = phi <4 x i32> [ zeroinitializer, %entry ], [ %predphi41, %vector.body ]
+  %vec.phi33 = phi <4 x i32> [ zeroinitializer, %entry ], [ %predphi42, %vector.body ]
+  %vec.phi = phi <4 x i32> [ zeroinitializer, %entry ], [ %predphi43, %vector.body ]
+  %vec.phi27 = phi <4 x i32> [ zeroinitializer, %entry ], [ %predphi44, %vector.body ]
+  %vec.phi28 = phi <4 x i32> [ zeroinitializer, %entry ], [ %predphi45, %vector.body ]
+  %vec.phi29 = phi <4 x i32> [ zeroinitializer, %entry ], [ %predphi46, %vector.body ]
+  %narrow = select <4 x i1> zeroinitializer, <4 x i1> zeroinitializer, <4 x i1> zeroinitializer
+  %narrow66 = select <4 x i1> zeroinitializer, <4 x i1> zeroinitializer, <4 x i1> zeroinitializer
+  %narrow67 = select <4 x i1> zeroinitializer, <4 x i1> zeroinitializer, <4 x i1> zeroinitializer
+  %narrow68 = select <4 x i1> zeroinitializer, <4 x i1> zeroinitializer, <4 x i1> zeroinitializer
+  %not. = xor <4 x i1> zeroinitializer, zeroinitializer
+  %not.69 = xor <4 x i1> zeroinitializer, zeroinitializer
+  %not.70 = xor <4 x i1> zeroinitializer, zeroinitializer
+  %not.71 = xor <4 x i1> zeroinitializer, zeroinitializer
+  %0 = zext <4 x i1> %narrow to <4 x i32>
+  %1 = zext <4 x i1> %narrow66 to <4 x i32>
+  %2 = zext <4 x i1> %narrow67 to <4 x i32>
+  %3 = zext <4 x i1> %narrow68 to <4 x i32>
+  %4 = zext <4 x i1> %not. to <4 x i32>
+  %5 = zext <4 x i1> %not.69 to <4 x i32>
+  %6 = zext <4 x i1> %not.70 to <4 x i32>
+  %7 = zext <4 x i1> %not.71 to <4 x i32>
+  %predphi = or <4 x i32> %vec.phi30, %0
+  %predphi40 = or <4 x i32> %vec.phi31, %1
+  %predphi41 = or <4 x i32> %vec.phi32, %2
+  %predphi42 = or <4 x i32> %vec.phi33, %3
+  %predphi43 = or <4 x i32> %vec.phi, %4
+  %predphi44 = or <4 x i32> %vec.phi27, %5
+  %predphi45 = or <4 x i32> %vec.phi28, %6
+  %predphi46 = or <4 x i32> %vec.phi29, %7
+  br label %vector.body
+}