llvm/test/Transforms/SLPVectorizer/extract-vectorized-operand.ll

   1 ; NOTE: Assertions have been autogenerated by utils/update_test_checks.py UTC_ARGS: --version 5
   2 ; RUN: %if x86-registered-target %{ opt -S --passes=slp-vectorizer -slp-threshold=-99999 < %s -mtriple=x86_64-unknown-linux-gnu | FileCheck %s %}
   3 ; RUN: %if aarch64-registered-target %{ opt -S --passes=slp-vectorizer -slp-threshold=-99999 < %s -mtriple=aarch64-unknown-linux-gnu | FileCheck %s %}
   4
   5 define void @test() {
   6 ; CHECK-LABEL: define void @test() {
   7 ; CHECK-NEXT:  [[BB:.*]]:
   8 ; CHECK-NEXT:    [[TMP0:%.*]] = shufflevector <2 x ptr addrspace(1)> zeroinitializer, <2 x ptr addrspace(1)> zeroinitializer, <2 x i32> <i32 1, i32 0>
   9 ; CHECK-NEXT:    [[TMP1:%.*]] = extractelement <2 x ptr addrspace(1)> [[TMP0]], i32 0
  10 ; CHECK-NEXT:    br label %[[BB43:.*]]
  11 ; CHECK:       [[BB20:.*]]:
  12 ; CHECK-NEXT:    br label %[[BB105:.*]]
  13 ; CHECK:       [[BB43]]:
  14 ; CHECK-NEXT:    [[TMP2:%.*]] = phi <2 x ptr addrspace(1)> [ [[TMP3:%.*]], %[[BB51:.*]] ], [ zeroinitializer, %[[BB]] ]
  15 ; CHECK-NEXT:    br i1 false, label %[[BB105]], label %[[BB51]]
  16 ; CHECK:       [[BB51]]:
  17 ; CHECK-NEXT:    [[TMP3]] = phi <2 x ptr addrspace(1)> [ poison, %[[BB54:.*]] ], [ zeroinitializer, %[[BB43]] ]
  18 ; CHECK-NEXT:    br label %[[BB43]]
  19 ; CHECK:       [[BB54]]:
  20 ; CHECK-NEXT:    br label %[[BB51]]
  21 ; CHECK:       [[BB105]]:
  22 ; CHECK-NEXT:    [[PHI106:%.*]] = phi ptr addrspace(1) [ [[TMP1]], %[[BB20]] ], [ null, %[[BB43]] ]
  23 ; CHECK-NEXT:    ret void
  24 ;
  25 bb:
  26   %0 = shufflevector <2 x ptr addrspace(1)> zeroinitializer, <2 x ptr addrspace(1)> zeroinitializer, <2 x i32> <i32 1, i32 0>
  27   %1 = extractelement <2 x ptr addrspace(1)> %0, i32 0
  28   %2 = extractelement <2 x ptr addrspace(1)> %0, i32 1
  29   br label %bb43
  30
  31 bb20:
  32   br label %bb105
  33
  34 bb43:
  35   %phi441 = phi ptr addrspace(1) [ %4, %bb51 ], [ %2, %bb ]
  36   %phi452 = phi ptr addrspace(1) [ %5, %bb51 ], [ %1, %bb ]
  37   br i1 false, label %bb105, label %bb51
  38
  39 bb51:
  40   %3 = phi <2 x ptr addrspace(1)> [ poison, %bb54 ], [ zeroinitializer, %bb43 ]
  41   %4 = extractelement <2 x ptr addrspace(1)> %3, i32 0
  42   %5 = extractelement <2 x ptr addrspace(1)> %3, i32 1
  43   br label %bb43
  44
  45 bb54:
  46   br label %bb51
  47
  48 bb105:
  49   %phi106 = phi ptr addrspace(1) [ %1, %bb20 ], [ null, %bb43 ]
  50   ret void
  51 }
  52