llvm/test/CodeGen/PowerPC/licm-xxsplti.ll

; NOTE: Assertions have been autogenerated by utils/update_llc_test_checks.py UTC_ARGS: --version 5
;; Test hoisting `xxspltib` out of the loop.

; RUN: llc -verify-machineinstrs -mtriple powerpc64-ibm-aix-xcoff --mcpu=pwr10 \
; RUN:   %s -o - 2>&1 | FileCheck --check-prefix=AIX64 %s

; RUN: llc -verify-machineinstrs -mtriple powerpc-ibm-aix-xcoff --mcpu=pwr10 \
; RUN:   %s -o - 2>&1 | FileCheck --check-prefix=AIX32 %s

; RUN: llc -verify-machineinstrs -mtriple powerpc64le-unknown-linux-gnu --mcpu=pwr10 \
; RUN:   %s -o - 2>&1 | FileCheck --check-prefix=LINUX64LE %s

define void @_Z3fooPfS_Pi(ptr noalias nocapture noundef %_a, ptr noalias nocapture %In_a, ptr noalias nocapture %n) {
; AIX64-LABEL: _Z3fooPfS_Pi:
; AIX64:       # %bb.0: # %entry
; AIX64-NEXT:    lwz 5, 0(5)
; AIX64-NEXT:    cmpwi 5, 1
; AIX64-NEXT:    bltlr 0
; AIX64-NEXT:  # %bb.1: # %for.body.preheader
; AIX64-NEXT:    li 6, 0
; AIX64-NEXT:    cmplwi 5, 1
; AIX64-NEXT:    beq 0, L..BB0_4
; AIX64-NEXT:  # %bb.2: # %for.body.preheader.new
; AIX64-NEXT:    rlwinm 6, 5, 0, 1, 30
; AIX64-NEXT:    xxspltib 0, 6
; AIX64-NEXT:    addi 9, 4, -8
; AIX64-NEXT:    addi 7, 3, -8
; AIX64-NEXT:    li 8, 8
; AIX64-NEXT:    li 10, 12
; AIX64-NEXT:    li 11, 4
; AIX64-NEXT:    addi 6, 6, -2
; AIX64-NEXT:    rldicl 6, 6, 63, 1
; AIX64-NEXT:    addi 6, 6, 1
; AIX64-NEXT:    mtctr 6
; AIX64-NEXT:    li 6, 0
; AIX64-NEXT:    .align 4
; AIX64-NEXT:  L..BB0_3: # %for.body
; AIX64-NEXT:    #
; AIX64-NEXT:    lxvwsx 1, 9, 8
; AIX64-NEXT:    addi 6, 6, 2
; AIX64-NEXT:    xxland 1, 1, 0
; AIX64-NEXT:    xscvspdpn 1, 1
; AIX64-NEXT:    stfsu 1, 8(7)
; AIX64-NEXT:    lxvwsx 1, 9, 10
; AIX64-NEXT:    addi 9, 9, 8
; AIX64-NEXT:    xxland 1, 1, 0
; AIX64-NEXT:    xxsldwi 1, 1, 1, 3
; AIX64-NEXT:    stfiwx 1, 7, 11
; AIX64-NEXT:    bdnz L..BB0_3
; AIX64-NEXT:  L..BB0_4: # %for.cond.cleanup.loopexit.unr-lcssa
; AIX64-NEXT:    andi. 5, 5, 1
; AIX64-NEXT:    bclr 4, 1, 0
; AIX64-NEXT:  # %bb.5: # %for.body.epil
; AIX64-NEXT:    sldi 5, 6, 2
; AIX64-NEXT:    xxspltib 1, 6
; AIX64-NEXT:    lxvwsx 0, 4, 5
; AIX64-NEXT:    xxland 0, 0, 1
; AIX64-NEXT:    xxsldwi 0, 0, 0, 3
; AIX64-NEXT:    stfiwx 0, 3, 5
; AIX64-NEXT:    blr
;
; AIX32-LABEL: _Z3fooPfS_Pi:
; AIX32:       # %bb.0: # %entry
; AIX32-NEXT:    lwz 5, 0(5)
; AIX32-NEXT:    cmpwi 5, 1
; AIX32-NEXT:    bltlr 0
; AIX32-NEXT:  # %bb.1: # %for.body.preheader
; AIX32-NEXT:    li 6, 0
; AIX32-NEXT:    beq 0, L..BB0_4
; AIX32-NEXT:  # %bb.2: # %for.body.preheader.new
; AIX32-NEXT:    xxspltib 0, 6
; AIX32-NEXT:    addi 12, 4, -8
; AIX32-NEXT:    addi 9, 3, -8
; AIX32-NEXT:    rlwinm 7, 5, 0, 1, 30
; AIX32-NEXT:    li 8, 0
; AIX32-NEXT:    li 10, 8
; AIX32-NEXT:    li 11, 12
; AIX32-NEXT:    .align 4
; AIX32-NEXT:  L..BB0_3: # %for.body
; AIX32-NEXT:    #
; AIX32-NEXT:    lxvwsx 1, 12, 10
; AIX32-NEXT:    addic 6, 6, 2
; AIX32-NEXT:    addze 8, 8
; AIX32-NEXT:    xor 0, 6, 7
; AIX32-NEXT:    or. 0, 0, 8
; AIX32-NEXT:    xxland 1, 1, 0
; AIX32-NEXT:    xscvspdpn 1, 1
; AIX32-NEXT:    stfsu 1, 8(9)
; AIX32-NEXT:    lxvwsx 1, 12, 11
; AIX32-NEXT:    addi 12, 12, 8
; AIX32-NEXT:    xxland 1, 1, 0
; AIX32-NEXT:    xscvspdpn 1, 1
; AIX32-NEXT:    stfs 1, 4(9)
; AIX32-NEXT:    bne 0, L..BB0_3
; AIX32-NEXT:  L..BB0_4: # %for.cond.cleanup.loopexit.unr-lcssa
; AIX32-NEXT:    andi. 5, 5, 1
; AIX32-NEXT:    bclr 4, 1, 0
; AIX32-NEXT:  # %bb.5: # %for.body.epil
; AIX32-NEXT:    slwi 5, 6, 2
; AIX32-NEXT:    xxspltib 1, 6
; AIX32-NEXT:    lxvwsx 0, 4, 5
; AIX32-NEXT:    xxland 0, 0, 1
; AIX32-NEXT:    xscvspdpn 0, 0
; AIX32-NEXT:    stfsx 0, 3, 5
; AIX32-NEXT:    blr
;
; LINUX64LE-LABEL: _Z3fooPfS_Pi:
; LINUX64LE:       # %bb.0: # %entry
; LINUX64LE-NEXT:    lwz 5, 0(5)
; LINUX64LE-NEXT:    cmpwi 5, 1
; LINUX64LE-NEXT:    bltlr 0
; LINUX64LE-NEXT:  # %bb.1: # %for.body.preheader
; LINUX64LE-NEXT:    li 6, 0
; LINUX64LE-NEXT:    cmplwi 5, 1
; LINUX64LE-NEXT:    beq 0, .LBB0_4
; LINUX64LE-NEXT:  # %bb.2: # %for.body.preheader.new
; LINUX64LE-NEXT:    rlwinm 6, 5, 0, 1, 30
; LINUX64LE-NEXT:    xxspltib 0, 6
; LINUX64LE-NEXT:    addi 8, 4, -8
; LINUX64LE-NEXT:    addi 7, 3, -8
; LINUX64LE-NEXT:    li 9, 8
; LINUX64LE-NEXT:    li 10, 12
; LINUX64LE-NEXT:    li 11, 4
; LINUX64LE-NEXT:    addi 6, 6, -2
; LINUX64LE-NEXT:    rldicl 6, 6, 63, 1
; LINUX64LE-NEXT:    addi 6, 6, 1
; LINUX64LE-NEXT:    mtctr 6
; LINUX64LE-NEXT:    li 6, 0
; LINUX64LE-NEXT:    .p2align 4
; LINUX64LE-NEXT:  .LBB0_3: # %for.body
; LINUX64LE-NEXT:    #
; LINUX64LE-NEXT:    lxvwsx 1, 8, 9
; LINUX64LE-NEXT:    addi 6, 6, 2
; LINUX64LE-NEXT:    xxland 1, 1, 0
; LINUX64LE-NEXT:    xxsldwi 1, 1, 1, 3
; LINUX64LE-NEXT:    xscvspdpn 1, 1
; LINUX64LE-NEXT:    stfsu 1, 8(7)
; LINUX64LE-NEXT:    lxvwsx 1, 8, 10
; LINUX64LE-NEXT:    addi 8, 8, 8
; LINUX64LE-NEXT:    xxland 1, 1, 0
; LINUX64LE-NEXT:    stxvrwx 1, 7, 11
; LINUX64LE-NEXT:    bdnz .LBB0_3
; LINUX64LE-NEXT:  .LBB0_4: # %for.cond.cleanup.loopexit.unr-lcssa
; LINUX64LE-NEXT:    andi. 5, 5, 1
; LINUX64LE-NEXT:    bclr 4, 1, 0
; LINUX64LE-NEXT:  # %bb.5: # %for.body.epil
; LINUX64LE-NEXT:    sldi 5, 6, 2
; LINUX64LE-NEXT:    xxspltib 1, 6
; LINUX64LE-NEXT:    lxvwsx 0, 4, 5
; LINUX64LE-NEXT:    xxland 0, 0, 1
; LINUX64LE-NEXT:    stxvrwx 0, 3, 5
; LINUX64LE-NEXT:    blr
entry:
  %0 = load i32, ptr %n, align 4
  %cmp9 = icmp sgt i32 %0, 0
  br i1 %cmp9, label %for.body.preheader, label %for.cond.cleanup

for.body.preheader:
  %wide.trip.count = zext nneg i32 %0 to i64
  %xtraiter = and i64 %wide.trip.count, 1
  %1 = icmp eq i32 %0, 1
  br i1 %1, label %for.cond.cleanup.loopexit.unr-lcssa, label %for.body.preheader.new

for.body.preheader.new:
  %unroll_iter = and i64 %wide.trip.count, 2147483646
  br label %for.body

for.cond.cleanup.loopexit.unr-lcssa:
  %indvars.iv.unr = phi i64 [ 0, %for.body.preheader ], [ %indvars.iv.next.1, %for.body ]
  %lcmp.mod.not = icmp eq i64 %xtraiter, 0
  br i1 %lcmp.mod.not, label %for.cond.cleanup, label %for.body.epil

for.body.epil:
  %arrayidx.epil = getelementptr inbounds nuw float, ptr %In_a, i64 %indvars.iv.unr
  %2 = load float, ptr %arrayidx.epil, align 4
  %vecins.i.epil = insertelement <4 x float> poison, float %2, i64 0
  %3 = bitcast <4 x float> %vecins.i.epil to <16 x i8>
  %and1.i.epil = and <16 x i8> %3, <i8 6, i8 6, i8 6, i8 6, i8 poison, i8 poison, i8 poison, i8 poison, i8 poison, i8 poison, i8 poison, i8 poison, i8 poison, i8 poison, i8 poison, i8 poison>
  %4 = bitcast <16 x i8> %and1.i.epil to <4 x float>
  %vecext.i.epil = extractelement <4 x float> %4, i64 0
  %arrayidx5.epil = getelementptr inbounds nuw float, ptr %_a, i64 %indvars.iv.unr
  store float %vecext.i.epil, ptr %arrayidx5.epil, align 4
  br label %for.cond.cleanup

for.cond.cleanup:
  ret void

for.body:
  %indvars.iv = phi i64 [ 0, %for.body.preheader.new ], [ %indvars.iv.next.1, %for.body ]
  %niter = phi i64 [ 0, %for.body.preheader.new ], [ %niter.next.1, %for.body ]
  %arrayidx = getelementptr inbounds nuw float, ptr %In_a, i64 %indvars.iv
  %5 = load float, ptr %arrayidx, align 4
  %vecins.i = insertelement <4 x float> poison, float %5, i64 0
  %6 = bitcast <4 x float> %vecins.i to <16 x i8>
  %and1.i = and <16 x i8> %6, <i8 6, i8 6, i8 6, i8 6, i8 poison, i8 poison, i8 poison, i8 poison, i8 poison, i8 poison, i8 poison, i8 poison, i8 poison, i8 poison, i8 poison, i8 poison>
  %7 = bitcast <16 x i8> %and1.i to <4 x float>
  %vecext.i = extractelement <4 x float> %7, i64 0
  %arrayidx5 = getelementptr inbounds nuw float, ptr %_a, i64 %indvars.iv
  store float %vecext.i, ptr %arrayidx5, align 4
  %indvars.iv.next = or disjoint i64 %indvars.iv, 1
  %arrayidx.1 = getelementptr inbounds nuw float, ptr %In_a, i64 %indvars.iv.next
  %8 = load float, ptr %arrayidx.1, align 4
  %vecins.i.1 = insertelement <4 x float> poison, float %8, i64 0
  %9 = bitcast <4 x float> %vecins.i.1 to <16 x i8>
  %and1.i.1 = and <16 x i8> %9, <i8 6, i8 6, i8 6, i8 6, i8 poison, i8 poison, i8 poison, i8 poison, i8 poison, i8 poison, i8 poison, i8 poison, i8 poison, i8 poison, i8 poison, i8 poison>
  %10 = bitcast <16 x i8> %and1.i.1 to <4 x float>
  %vecext.i.1 = extractelement <4 x float> %10, i64 0
  %arrayidx5.1 = getelementptr inbounds nuw float, ptr %_a, i64 %indvars.iv.next
  store float %vecext.i.1, ptr %arrayidx5.1, align 4
  %indvars.iv.next.1 = add nuw nsw i64 %indvars.iv, 2
  %niter.next.1 = add i64 %niter, 2
  %niter.ncmp.1 = icmp eq i64 %niter.next.1, %unroll_iter
  br i1 %niter.ncmp.1, label %for.cond.cleanup.loopexit.unr-lcssa, label %for.body
}