llvm/test/Transforms/SLPVectorizer/postponed_gathers.ll

   1 ; NOTE: Assertions have been autogenerated by utils/update_test_checks.py UTC_ARGS: --version 2
   2 ; RUN: %if x86-registered-target %{ opt < %s -passes=slp-vectorizer -slp-threshold=-10 -mtriple=x86_64-unknown-linux-gnu -S | FileCheck %s %}
   3 ; RUN: %if aarch64-registered-target %{ opt < %s -passes=slp-vectorizer -slp-threshold=-10 -mtriple=aarch64-unknown-linux-gnu -S | FileCheck %s %}
   4
   5 define void @foo() {
   6 ; CHECK-LABEL: define void @foo() {
   7 ; CHECK-NEXT:  bci_0:
   8 ; CHECK-NEXT:    [[TMP0:%.*]] = load i32, ptr addrspace(1) null, align 8
   9 ; CHECK-NEXT:    [[TMP1:%.*]] = insertelement <2 x i32> <i32 poison, i32 0>, i32 [[TMP0]], i32 0
  10 ; CHECK-NEXT:    [[TMP2:%.*]] = shufflevector <2 x i32> [[TMP1]], <2 x i32> poison, <2 x i32> zeroinitializer
  11 ; CHECK-NEXT:    br label [[BCI_252:%.*]]
  12 ; CHECK:       bci_252:
  13 ; CHECK-NEXT:    [[TMP3:%.*]] = phi <2 x i32> [ zeroinitializer, [[BCI_0:%.*]] ], [ [[TMP16:%.*]], [[BCI_252_1:%.*]] ]
  14 ; CHECK-NEXT:    [[TMP4:%.*]] = mul <2 x i32> [[TMP1]], zeroinitializer
  15 ; CHECK-NEXT:    [[TMP5:%.*]] = or <2 x i32> [[TMP3]], zeroinitializer
  16 ; CHECK-NEXT:    [[TMP6:%.*]] = or <2 x i32> [[TMP2]], [[TMP4]]
  17 ; CHECK-NEXT:    [[TMP7:%.*]] = or <2 x i32> [[TMP6]], zeroinitializer
  18 ; CHECK-NEXT:    [[TMP8:%.*]] = or <2 x i32> [[TMP5]], [[TMP7]]
  19 ; CHECK-NEXT:    [[TMP9:%.*]] = or <2 x i32> [[TMP8]], zeroinitializer
  20 ; CHECK-NEXT:    br i1 false, label [[NOT_ZERO70:%.*]], label [[BCI_252_1]]
  21 ; CHECK:       bci_252.1:
  22 ; CHECK-NEXT:    [[TMP10:%.*]] = or <2 x i32> [[TMP2]], zeroinitializer
  23 ; CHECK-NEXT:    [[TMP11:%.*]] = or <2 x i32> [[TMP9]], zeroinitializer
  24 ; CHECK-NEXT:    [[TMP12:%.*]] = mul <2 x i32> [[TMP10]], zeroinitializer
  25 ; CHECK-NEXT:    [[TMP13:%.*]] = or <2 x i32> [[TMP2]], [[TMP12]]
  26 ; CHECK-NEXT:    [[TMP14:%.*]] = or <2 x i32> [[TMP13]], zeroinitializer
  27 ; CHECK-NEXT:    [[TMP15:%.*]] = or <2 x i32> [[TMP11]], [[TMP14]]
  28 ; CHECK-NEXT:    [[TMP16]] = or <2 x i32> [[TMP15]], zeroinitializer
  29 ; CHECK-NEXT:    br label [[BCI_252]]
  30 ; CHECK:       not_zero70:
  31 ; CHECK-NEXT:    [[TMP17:%.*]] = phi <2 x i32> [ [[TMP9]], [[BCI_252]] ]
  32 ; CHECK-NEXT:    ret void
  33 ;
  34 bci_0:
  35   %0 = load i32, ptr addrspace(1) null, align 8
  36   br label %bci_252
  37
  38 bci_252:
  39   %1 = phi i32 [ 0, %bci_0 ], [ %20, %bci_252.1 ]
  40   %2 = phi i32 [ 0, %bci_0 ], [ %15, %bci_252.1 ]
  41   %3 = mul i32 %0, 0
  42   %4 = or i32 %0, %3
  43   %5 = or i32 %4, 0
  44   %.neg91.neg = or i32 %2, 0
  45   %.neg446 = or i32 %.neg91.neg, %5
  46   %6 = or i32 %.neg446, 0
  47   %7 = mul i32 0, 0
  48   %8 = or i32 %0, %7
  49   %9 = or i32 %8, 0
  50   %.neg91.1.neg = or i32 %1, 0
  51   %.neg448 = or i32 %.neg91.1.neg, %9
  52   %10 = or i32 %.neg448, 0
  53   br i1 false, label %not_zero70, label %bci_252.1
  54
  55 bci_252.1:
  56   %11 = or i32 %0, 0
  57   %12 = mul i32 %11, 0
  58   %13 = or i32 %0, %12
  59   %14 = or i32 %13, 0
  60   %.neg91.neg.1 = or i32 %6, 0
  61   %.neg446.1 = or i32 %.neg91.neg.1, %14
  62   %15 = or i32 %.neg446.1, 0
  63   %16 = or i32 %0, 0
  64   %17 = mul i32 %16, 0
  65   %18 = or i32 %0, %17
  66   %19 = or i32 %18, 0
  67   %.neg91.1.neg.1 = or i32 %10, 0
  68   %.neg448.1 = or i32 %.neg91.1.neg.1, %19
  69   %20 = or i32 %.neg448.1, 0
  70   br label %bci_252
  71
  72 not_zero70:
  73   %.lcssa546 = phi i32 [ %6, %bci_252 ]
  74   %.lcssa545 = phi i32 [ %10, %bci_252 ]
  75   ret void
  76 }