llvm/test/Transforms/SLPVectorizer/extractelement-insertpoint.ll

   1 ; NOTE: Assertions have been autogenerated by utils/update_test_checks.py
   2 ; RUN: %if x86_64-registered-target %{ opt -S -passes=slp-vectorizer -mtriple=x86_64-grtev4-linux-gnu -o - < %s | FileCheck %s %}
   3 ; RUN: %if aarch64-registered-target %{ opt -S -passes=slp-vectorizer -mtriple=aarch64-unknown-linux-gnu -o - < %s | FileCheck %s %}
   4
   5 define i32 @crash() {
   6 ; CHECK-LABEL: @crash(
   7 ; CHECK-NEXT:  label:
   8 ; CHECK-NEXT:    [[ADD:%.*]] = fadd <2 x double> zeroinitializer, zeroinitializer
   9 ; CHECK-NEXT:    [[SHUFFLE:%.*]] = shufflevector <2 x double> [[ADD]], <2 x double> poison, <2 x i32> <i32 1, i32 0>
  10 ; CHECK-NEXT:    [[TMP0:%.*]] = shufflevector <2 x double> zeroinitializer, <2 x double> [[SHUFFLE]], <2 x i32> <i32 2, i32 1>
  11 ; CHECK-NEXT:    [[TMP1:%.*]] = fmul <2 x double> [[SHUFFLE]], zeroinitializer
  12 ; CHECK-NEXT:    [[TMP2:%.*]] = extractelement <2 x double> [[TMP1]], i32 0
  13 ; CHECK-NEXT:    [[TMP3:%.*]] = extractelement <2 x double> [[TMP1]], i32 1
  14 ; CHECK-NEXT:    [[ADD1:%.*]] = fadd double [[TMP2]], [[TMP3]]
  15 ; CHECK-NEXT:    [[MUL1:%.*]] = fmul double [[ADD1]], 0.000000e+00
  16 ; CHECK-NEXT:    store double [[MUL1]], ptr null, align 16
  17 ; CHECK-NEXT:    ret i32 0
  18 ;
  19 label:
  20   %0 = extractelement <2 x double> zeroinitializer, i64 1
  21   %1 = extractelement <2 x double> zeroinitializer, i64 0
  22   %add = fadd <2 x double> zeroinitializer, zeroinitializer
  23   %extract1 = extractelement <2 x double> %add, i64 1
  24   %2 = fmul double %extract1, %1
  25   %insert = insertelement <2 x double> zeroinitializer, double %extract1, i64 0
  26   %extract0 = extractelement <2 x double> %add, i64 0
  27   %mul = fmul double %extract0, %0
  28   %add1 = fadd double %2, %mul
  29   %mul1 = fmul double %add1, 0.000000e+00
  30   store double %mul1, ptr null, align 16
  31   ret i32 0
  32 }