xref: /llvm-project/llvm/test/Transforms/SLPVectorizer/X86/multi-node-with-save-values.ll (revision 0f1f82a92e81f1c4448ff2897d5b93689b6e40f4)
1*254558acSAlexey Bataev; NOTE: Assertions have been autogenerated by utils/update_test_checks.py UTC_ARGS: --version 3
2*254558acSAlexey Bataev; RUN: opt -S --passes=slp-vectorizer -mtriple=x86_64-unknown-linux-gnu < %s | FileCheck %s
3*254558acSAlexey Bataev
4*254558acSAlexey Bataevdefine void @foo() {
5*254558acSAlexey Bataev; CHECK-LABEL: define void @foo() {
6*254558acSAlexey Bataev; CHECK-NEXT:  entry:
7*254558acSAlexey Bataev; CHECK-NEXT:    br label [[BB1:%.*]]
8*254558acSAlexey Bataev; CHECK:       bb1:
9*254558acSAlexey Bataev; CHECK-NEXT:    switch i32 0, label [[BB3:%.*]] [
10*254558acSAlexey Bataev; CHECK-NEXT:      i32 0, label [[BB2:%.*]]
11*254558acSAlexey Bataev; CHECK-NEXT:      i32 4, label [[BB4:%.*]]
12*254558acSAlexey Bataev; CHECK-NEXT:      i32 1, label [[BB4]]
13*254558acSAlexey Bataev; CHECK-NEXT:    ]
14*254558acSAlexey Bataev; CHECK:       bb2:
15*254558acSAlexey Bataev; CHECK-NEXT:    br label [[BB4]]
16*254558acSAlexey Bataev; CHECK:       bb3:
17*254558acSAlexey Bataev; CHECK-NEXT:    br label [[BB4]]
18*254558acSAlexey Bataev; CHECK:       bb4:
19*254558acSAlexey Bataev; CHECK-NEXT:    [[TMP0:%.*]] = phi <2 x i32> [ zeroinitializer, [[BB3]] ], [ zeroinitializer, [[BB2]] ], [ zeroinitializer, [[BB1]] ], [ zeroinitializer, [[BB1]] ]
20*254558acSAlexey Bataev; CHECK-NEXT:    br label [[BB1]]
21*254558acSAlexey Bataev;
22*254558acSAlexey Bataeventry:
23*254558acSAlexey Bataev  %add1 = add i32 0, 0
24*254558acSAlexey Bataev  %add2 = add i32 0, 0
25*254558acSAlexey Bataev  %add3 = add i32 0, 0
26*254558acSAlexey Bataev  %add4 = add i32 0, 0
27*254558acSAlexey Bataev  %add5 = add i32 0, 0
28*254558acSAlexey Bataev  br label %bb1
29*254558acSAlexey Bataev
30*254558acSAlexey Bataevbb1:
31*254558acSAlexey Bataev  switch i32 0, label %bb3 [
32*254558acSAlexey Bataev  i32 0, label %bb2
33*254558acSAlexey Bataev  i32 4, label %bb4
34*254558acSAlexey Bataev  i32 1, label %bb4
35*254558acSAlexey Bataev  ]
36*254558acSAlexey Bataev
37*254558acSAlexey Bataevbb2:
38*254558acSAlexey Bataev  br label %bb4
39*254558acSAlexey Bataev
40*254558acSAlexey Bataevbb3:
41*254558acSAlexey Bataev  br label %bb4
42*254558acSAlexey Bataev
43*254558acSAlexey Bataevbb4:
44*254558acSAlexey Bataev  %p1 = phi i32 [ %add1, %bb3 ], [ %add4, %bb2 ], [ %add2, %bb1 ], [ %add2, %bb1 ]
45*254558acSAlexey Bataev  %p2 = phi i32 [ %add2, %bb3 ], [ %add5, %bb2 ], [ %add3, %bb1 ], [ %add3, %bb1 ]
46*254558acSAlexey Bataev  br label %bb1
47*254558acSAlexey Bataev}
48