llvm/test/Transforms/SLPVectorizer/X86/split-node-reused-phi-insertion-point.ll

; NOTE: Assertions have been autogenerated by utils/update_test_checks.py UTC_ARGS: --version 6
; RUN: opt -S --passes=slp-vectorizer -mtriple=x86_64-unknown-linux-gnu -mattr=+avx < %s | FileCheck %s

define void @test(ptr %p, float %f) {
; CHECK-LABEL: define void @test(
; CHECK-SAME: ptr [[P:%.*]], float [[F:%.*]]) #[[ATTR0:[0-9]+]] {
; CHECK-NEXT:  [[ENTRY:.*]]:
; CHECK-NEXT:    [[TMP0:%.*]] = insertelement <4 x float> poison, float [[F]], i64 0
; CHECK-NEXT:    [[TMP1:%.*]] = shufflevector <4 x float> [[TMP0]], <4 x float> poison, <4 x i32> zeroinitializer
; CHECK-NEXT:    [[TMP2:%.*]] = fadd <4 x float> [[TMP1]], <float 1.000000e+00, float 2.000000e+00, float 3.000000e+00, float 4.000000e+00>
; CHECK-NEXT:    [[TMP3:%.*]] = fadd <4 x float> [[TMP1]], <float 5.000000e+00, float 6.000000e+00, float 7.000000e+00, float 8.000000e+00>
; CHECK-NEXT:    br label %[[BB:.*]]
; CHECK:       [[BB]]:
; CHECK-NEXT:    [[TMP4:%.*]] = phi <2 x float> [ <float 0.000000e+00, float 1.000000e+00>, %[[ENTRY]] ]
; CHECK-NEXT:    [[TMP5:%.*]] = shufflevector <2 x float> [[TMP4]], <2 x float> poison, <4 x i32> <i32 0, i32 1, i32 0, i32 1>
; CHECK-NEXT:    [[TMP6:%.*]] = shufflevector <4 x float> [[TMP5]], <4 x float> poison, <8 x i32> <i32 0, i32 1, i32 2, i32 3, i32 poison, i32 poison, i32 poison, i32 poison>
; CHECK-NEXT:    [[TMP7:%.*]] = shufflevector <4 x float> [[TMP3]], <4 x float> poison, <8 x i32> <i32 0, i32 1, i32 2, i32 3, i32 poison, i32 poison, i32 poison, i32 poison>
; CHECK-NEXT:    [[TMP8:%.*]] = shufflevector <8 x float> [[TMP6]], <8 x float> [[TMP7]], <8 x i32> <i32 0, i32 1, i32 2, i32 3, i32 8, i32 9, i32 10, i32 11>
; CHECK-NEXT:    [[TMP9:%.*]] = shufflevector <4 x float> [[TMP2]], <4 x float> poison, <8 x i32> <i32 0, i32 1, i32 2, i32 3, i32 poison, i32 poison, i32 poison, i32 poison>
; CHECK-NEXT:    [[TMP10:%.*]] = shufflevector <8 x float> [[TMP6]], <8 x float> [[TMP9]], <8 x i32> <i32 0, i32 1, i32 2, i32 3, i32 8, i32 9, i32 10, i32 11>
; CHECK-NEXT:    [[TMP11:%.*]] = fsub <8 x float> [[TMP10]], <float 1.000000e+00, float 3.000000e+00, float 5.000000e+00, float 7.000000e+00, float 2.000000e+00, float 4.000000e+00, float 6.000000e+00, float 8.000000e+00>
; CHECK-NEXT:    [[TMP12:%.*]] = fsub <8 x float> [[TMP8]], <float 1.000000e+02, float 1.020000e+02, float 1.040000e+02, float 1.060000e+02, float 1.010000e+02, float 1.030000e+02, float 1.050000e+02, float 1.070000e+02>
; CHECK-NEXT:    [[G0:%.*]] = getelementptr inbounds float, ptr [[P]], i64 0
; CHECK-NEXT:    [[TMP13:%.*]] = fdiv <8 x float> [[TMP11]], [[TMP12]]
; CHECK-NEXT:    [[TMP14:%.*]] = shufflevector <8 x float> [[TMP13]], <8 x float> poison, <8 x i32> <i32 0, i32 4, i32 1, i32 5, i32 2, i32 6, i32 3, i32 7>
; CHECK-NEXT:    store <8 x float> [[TMP14]], ptr [[G0]], align 4
; CHECK-NEXT:    ret void
;
entry:
  %x0 = fadd float %f, 1.000000e+00
  %x1 = fadd float %f, 2.000000e+00
  %x2 = fadd float %f, 3.000000e+00
  %x3 = fadd float %f, 4.000000e+00
  %y0 = fadd float %f, 5.000000e+00
  %y1 = fadd float %f, 6.000000e+00
  %y2 = fadd float %f, 7.000000e+00
  %y3 = fadd float %f, 8.000000e+00
  br label %bb

bb:
  %ph0 = phi float [ 0.000000e+00, %entry ]
  %ph1 = phi float [ 1.000000e+00, %entry ]
  %p0 = fsub float %ph0, 1.000000e+00
  %p1 = fsub float %x0, 2.000000e+00
  %p2 = fsub float %ph1, 3.000000e+00
  %p3 = fsub float %x1, 4.000000e+00
  %p4 = fsub float %ph0, 5.000000e+00
  %p5 = fsub float %x2, 6.000000e+00
  %p6 = fsub float %ph1, 7.000000e+00
  %p7 = fsub float %x3, 8.000000e+00
  %q0 = fsub float %ph0, 1.000000e+02
  %q1 = fsub float %y0, 1.010000e+02
  %q2 = fsub float %ph1, 1.020000e+02
  %q3 = fsub float %y1, 1.030000e+02
  %q4 = fsub float %ph0, 1.040000e+02
  %q5 = fsub float %y2, 1.050000e+02
  %q6 = fsub float %ph1, 1.060000e+02
  %q7 = fsub float %y3, 1.070000e+02
  %r0 = fdiv float %p0, %q0
  %r1 = fdiv float %p1, %q1
  %r2 = fdiv float %p2, %q2
  %r3 = fdiv float %p3, %q3
  %r4 = fdiv float %p4, %q4
  %r5 = fdiv float %p5, %q5
  %r6 = fdiv float %p6, %q6
  %r7 = fdiv float %p7, %q7
  %g0 = getelementptr inbounds float, ptr %p, i64 0
  %g1 = getelementptr inbounds float, ptr %p, i64 1
  %g2 = getelementptr inbounds float, ptr %p, i64 2
  %g3 = getelementptr inbounds float, ptr %p, i64 3
  %g4 = getelementptr inbounds float, ptr %p, i64 4
  %g5 = getelementptr inbounds float, ptr %p, i64 5
  %g6 = getelementptr inbounds float, ptr %p, i64 6
  %g7 = getelementptr inbounds float, ptr %p, i64 7
  store float %r0, ptr %g0
  store float %r1, ptr %g1
  store float %r2, ptr %g2
  store float %r3, ptr %g3
  store float %r4, ptr %g4
  store float %r5, ptr %g5
  store float %r6, ptr %g6
  store float %r7, ptr %g7
  ret void
}