llvm/test/Transforms/SLPVectorizer/X86/poison-element-shuffle.ll

   1 ; NOTE: Assertions have been autogenerated by utils/update_test_checks.py UTC_ARGS: --version 2
   2 ; RUN: opt --passes=slp-vectorizer -S -mtriple=x86_64-unknown-linux-gnu %s -o - | FileCheck %s
   3
   4 define i32 @main(i32 %v) {
   5 ; CHECK-LABEL: define i32 @main
   6 ; CHECK-SAME: (i32 [[V:%.*]]) {
   7 ; CHECK-NEXT:  entry:
   8 ; CHECK-NEXT:    [[V1:%.*]] = sext i1 false to i32
   9 ; CHECK-NEXT:    br i1 false, label [[IF_END11:%.*]], label [[Q41:%.*]]
  10 ; CHECK:       if.end11:
  11 ; CHECK-NEXT:    [[P1:%.*]] = phi i32 [ [[V1]], [[ENTRY:%.*]] ], [ [[P6:%.*]], [[Q41]] ], [ [[V]], [[IF_END11]] ]
  12 ; CHECK-NEXT:    [[P2:%.*]] = phi i32 [ [[V1]], [[ENTRY]] ], [ [[P6]], [[Q41]] ], [ [[V]], [[IF_END11]] ]
  13 ; CHECK-NEXT:    [[P3:%.*]] = phi i32 [ [[V1]], [[ENTRY]] ], [ [[P6]], [[Q41]] ], [ 0, [[IF_END11]] ]
  14 ; CHECK-NEXT:    [[P4:%.*]] = phi i32 [ [[V1]], [[ENTRY]] ], [ [[P6]], [[Q41]] ], [ 0, [[IF_END11]] ]
  15 ; CHECK-NEXT:    [[P5:%.*]] = phi i32 [ [[V1]], [[ENTRY]] ], [ [[P6]], [[Q41]] ], [ 0, [[IF_END11]] ]
  16 ; CHECK-NEXT:    [[S_14:%.*]] = phi i32 [ 0, [[ENTRY]] ], [ [[S_3:%.*]], [[Q41]] ], [ [[V]], [[IF_END11]] ]
  17 ; CHECK-NEXT:    [[V_1:%.*]] = phi i32 [ undef, [[ENTRY]] ], [ [[V_4:%.*]], [[Q41]] ], [ 0, [[IF_END11]] ]
  18 ; CHECK-NEXT:    [[Q_1:%.*]] = phi i32 [ 0, [[ENTRY]] ], [ [[Q_2:%.*]], [[Q41]] ], [ 0, [[IF_END11]] ]
  19 ; CHECK-NEXT:    br i1 false, label [[Q41]], label [[IF_END11]]
  20 ; CHECK:       q41:
  21 ; CHECK-NEXT:    [[P6]] = phi i32 [ [[V]], [[ENTRY]] ], [ 0, [[IF_END11]] ]
  22 ; CHECK-NEXT:    [[S_3]] = phi i32 [ undef, [[ENTRY]] ], [ 0, [[IF_END11]] ]
  23 ; CHECK-NEXT:    [[V_4]] = phi i32 [ undef, [[ENTRY]] ], [ 0, [[IF_END11]] ]
  24 ; CHECK-NEXT:    [[Q_2]] = phi i32 [ undef, [[ENTRY]] ], [ 0, [[IF_END11]] ]
  25 ; CHECK-NEXT:    br label [[IF_END11]]
  26 ;
  27 entry:
  28   %v1 = sext i1 false to i32
  29   br i1 false, label %if.end11, label %q41
  30
  31 if.end11:
  32   %p1 = phi i32 [ %v1, %entry ], [ %p6, %q41 ], [ %v, %if.end11 ]
  33   %p2 = phi i32 [ %v1, %entry ], [ %p6, %q41 ], [ %v, %if.end11 ]
  34   %p3 = phi i32 [ %v1, %entry ], [ %p6, %q41 ], [ 0, %if.end11 ]
  35   %p4 = phi i32 [ %v1, %entry ], [ %p6, %q41 ], [ 0, %if.end11 ]
  36   %p5 = phi i32 [ %v1, %entry ], [ %p6, %q41 ], [ 0, %if.end11 ]
  37   %s.14 = phi i32 [ 0, %entry ], [ %s.3, %q41 ], [ %v, %if.end11 ]
  38   %v.1 = phi i32 [ undef, %entry ], [ %v.4, %q41 ], [ 0, %if.end11 ]
  39   %q.1 = phi i32 [ 0, %entry ], [ %q.2, %q41 ], [ 0, %if.end11 ]
  40   br i1 false, label %q41, label %if.end11
  41
  42 q41:
  43   %p6 = phi i32 [ %v, %entry ], [ 0, %if.end11 ]
  44   %s.3 = phi i32 [ undef, %entry ], [ 0, %if.end11 ]
  45   %v.4 = phi i32 [ undef, %entry ], [ 0, %if.end11 ]
  46   %q.2 = phi i32 [ undef, %entry ], [ 0, %if.end11 ]
  47   br label %if.end11
  48 }