llvm/test/Transforms/SLPVectorizer/X86/gep-nodes-with-non-gep-inst.ll

   1 ; NOTE: Assertions have been autogenerated by utils/update_test_checks.py UTC_ARGS: --version 2
   2 ; RUN: opt -passes=slp-vectorizer -mtriple=x86_64-unknown-linux-gnu -mcpu=skx -S < %s | FileCheck %s
   3 ; RUN: opt -passes=slp-vectorizer -mtriple=x86_64-unknown-linux-gnu -mcpu=skx -S < %s -slp-threshold=-100 | FileCheck %s --check-prefix=CHECK-SLP-THRESHOLD
   4
   5 define void @test() {
   6 ; CHECK-LABEL: define void @test
   7 ; CHECK-SAME: () #[[ATTR0:[0-9]+]] {
   8 ; CHECK-NEXT:  entry:
   9 ; CHECK-NEXT:    [[COND_IN_V:%.*]] = select i1 false, ptr null, ptr null
  10 ; CHECK-NEXT:    br label [[BB:%.*]]
  11 ; CHECK:       bb:
  12 ; CHECK-NEXT:    [[V:%.*]] = load i64, ptr [[COND_IN_V]], align 8
  13 ; CHECK-NEXT:    [[BV:%.*]] = icmp eq i64 [[V]], 0
  14 ; CHECK-NEXT:    [[IN_1:%.*]] = getelementptr i64, ptr [[COND_IN_V]], i64 4
  15 ; CHECK-NEXT:    [[V_1:%.*]] = load i64, ptr [[IN_1]], align 8
  16 ; CHECK-NEXT:    [[BV_1:%.*]] = icmp eq i64 [[V_1]], 0
  17 ; CHECK-NEXT:    [[IN_2:%.*]] = getelementptr i64, ptr [[COND_IN_V]], i64 8
  18 ; CHECK-NEXT:    [[V_2:%.*]] = load i64, ptr [[IN_2]], align 8
  19 ; CHECK-NEXT:    [[BV_2:%.*]] = icmp eq i64 [[V_2]], 0
  20 ; CHECK-NEXT:    [[IN_3:%.*]] = getelementptr i64, ptr [[COND_IN_V]], i64 12
  21 ; CHECK-NEXT:    [[V_3:%.*]] = load i64, ptr [[IN_3]], align 8
  22 ; CHECK-NEXT:    [[BV_3:%.*]] = icmp eq i64 [[V_3]], 0
  23 ; CHECK-NEXT:    ret void
  24 ;
  25 ; CHECK-SLP-THRESHOLD-LABEL: define void @test
  26 ; CHECK-SLP-THRESHOLD-SAME: () #[[ATTR0:[0-9]+]] {
  27 ; CHECK-SLP-THRESHOLD-NEXT:  entry:
  28 ; CHECK-SLP-THRESHOLD-NEXT:    [[COND_IN_V:%.*]] = select i1 false, ptr null, ptr null
  29 ; CHECK-SLP-THRESHOLD-NEXT:    br label [[BB:%.*]]
  30 ; CHECK-SLP-THRESHOLD:       bb:
  31 ; CHECK-SLP-THRESHOLD-NEXT:    [[TMP0:%.*]] = insertelement <4 x ptr> poison, ptr [[COND_IN_V]], i32 0
  32 ; CHECK-SLP-THRESHOLD-NEXT:    [[TMP1:%.*]] = shufflevector <4 x ptr> [[TMP0]], <4 x ptr> poison, <4 x i32> zeroinitializer
  33 ; CHECK-SLP-THRESHOLD-NEXT:    [[TMP2:%.*]] = getelementptr i64, <4 x ptr> [[TMP1]], <4 x i64> <i64 12, i64 8, i64 4, i64 0>
  34 ; CHECK-SLP-THRESHOLD-NEXT:    [[TMP3:%.*]] = call <4 x i64> @llvm.masked.gather.v4i64.v4p0(<4 x ptr> [[TMP2]], i32 8, <4 x i1> <i1 true, i1 true, i1 true, i1 true>, <4 x i64> poison)
  35 ; CHECK-SLP-THRESHOLD-NEXT:    [[TMP4:%.*]] = icmp eq <4 x i64> [[TMP3]], zeroinitializer
  36 ; CHECK-SLP-THRESHOLD-NEXT:    ret void
  37 ;
  38 entry:
  39   %cond.in.v = select i1 false, ptr null, ptr null
  40   br label %bb
  41
  42 bb:                            ; preds = %entry
  43   %v = load i64, ptr %cond.in.v, align 8
  44   %bv = icmp eq i64 %v, 0
  45   %in.1 = getelementptr i64, ptr %cond.in.v, i64 4
  46   %v.1 = load i64, ptr %in.1, align 8
  47   %bv.1 = icmp eq i64 %v.1, 0
  48   %in.2 = getelementptr i64, ptr %cond.in.v, i64 8
  49   %v.2 = load i64, ptr %in.2, align 8
  50   %bv.2 = icmp eq i64 %v.2, 0
  51   %in.3 = getelementptr i64, ptr %cond.in.v, i64 12
  52   %v.3 = load i64, ptr %in.3, align 8
  53   %bv.3 = icmp eq i64 %v.3, 0
  54   ret void
  55 }