; NOTE: Assertions have been autogenerated by utils/update_llc_test_checks.py
; RUN: llc -verify-machineinstrs -mtriple=powerpc64le-unknown-linux-gnu \
; RUN:   -mcpu=pwr10 -ppc-asm-full-reg-names \
; RUN:   -ppc-vsr-nums-as-vr < %s | FileCheck %s
; RUN: llc -verify-machineinstrs -mtriple=powerpc64-unknown-linux-gnu \
; RUN:   -mcpu=pwr10 -ppc-asm-full-reg-names \
; RUN:   -ppc-vsr-nums-as-vr < %s | FileCheck %s --check-prefix=CHECK-BE

declare <512 x i1> @llvm.ppc.mma.xvf16ger2pp(<512 x i1>, <16 x i8>, <16 x i8>)
declare <512 x i1> @llvm.ppc.mma.assemble.acc(<16 x i8>, <16 x i8>, <16 x i8>, <16 x i8>)
declare void @foo()
define void @intrinsics1(<16 x i8> %vc1, <16 x i8> %vc2, <16 x i8> %vc3, <16 x i8> %vc4, i8* %ptr) {
; CHECK-LABEL: intrinsics1:
; CHECK:         .localentry intrinsics1, 1
; CHECK-NEXT:  # %bb.0:
; CHECK-NEXT:    mflr r0
; CHECK-NEXT:    .cfi_def_cfa_offset 176
; CHECK-NEXT:    .cfi_offset lr, 16
; CHECK-NEXT:    .cfi_offset r30, -16
; CHECK-NEXT:    std r30, -16(r1) # 8-byte Folded Spill
; CHECK-NEXT:    std r0, 16(r1)
; CHECK-NEXT:    stdu r1, -176(r1)
; CHECK-NEXT:    li r3, 128
; CHECK-NEXT:    # kill: def $v5 killed $v5 killed $vsrp18 def $vsrp18
; CHECK-NEXT:    # kill: def $v4 killed $v4 killed $vsrp18 def $vsrp18
; CHECK-NEXT:    # kill: def $v3 killed $v3 killed $vsrp17 def $vsrp17
; CHECK-NEXT:    # kill: def $v2 killed $v2 killed $vsrp17 def $vsrp17
; CHECK-NEXT:    xxlor vs0, v2, v2
; CHECK-NEXT:    xxlor vs1, v3, v3
; CHECK-NEXT:    ld r30, 272(r1)
; CHECK-NEXT:    stxvp vsp34, r1(r3) # 32-byte Folded Spill
; CHECK-NEXT:    li r3, 96
; CHECK-NEXT:    xxlor vs2, v4, v4
; CHECK-NEXT:    xxlor vs3, v5, v5
; CHECK-NEXT:    stxvp vsp36, r1(r3) # 32-byte Folded Spill
; CHECK-NEXT:    xxmtacc acc0
; CHECK-NEXT:    li r3, 64
; CHECK-NEXT:    xvf16ger2pp acc0, v2, v4
; CHECK-NEXT:    xxmfacc acc0
; CHECK-NEXT:    stxvp vsp0, r1(r3)
; CHECK-NEXT:    li r3, 32
; CHECK-NEXT:    stxvp vsp2, r1(r3)
; CHECK-NEXT:    bl foo@notoc
; CHECK-NEXT:    li r3, 64
; CHECK-NEXT:    lxvp vsp0, r1(r3)
; CHECK-NEXT:    li r3, 32
; CHECK-NEXT:    lxvp vsp2, r1(r3)
; CHECK-NEXT:    li r3, 128
; CHECK-NEXT:    lxvp vsp34, r1(r3) # 32-byte Folded Reload
; CHECK-NEXT:    li r3, 96
; CHECK-NEXT:    lxvp vsp36, r1(r3) # 32-byte Folded Reload
; CHECK-NEXT:    xxmtacc acc0
; CHECK-NEXT:    xvf16ger2pp acc0, v2, v4
; CHECK-NEXT:    xxmfacc acc0
; CHECK-NEXT:    stxv vs0, 48(r30)
; CHECK-NEXT:    stxv vs1, 32(r30)
; CHECK-NEXT:    stxv vs2, 16(r30)
; CHECK-NEXT:    stxvx vs3, 0, r30
; CHECK-NEXT:    addi r1, r1, 176
; CHECK-NEXT:    ld r0, 16(r1)
; CHECK-NEXT:    ld r30, -16(r1) # 8-byte Folded Reload
; CHECK-NEXT:    mtlr r0
; CHECK-NEXT:    blr
;
; CHECK-BE-LABEL: intrinsics1:
; CHECK-BE:       # %bb.0:
; CHECK-BE-NEXT:    mflr r0
; CHECK-BE-NEXT:    std r0, 16(r1)
; CHECK-BE-NEXT:    stdu r1, -256(r1)
; CHECK-BE-NEXT:    .cfi_def_cfa_offset 256
; CHECK-BE-NEXT:    .cfi_offset lr, 16
; CHECK-BE-NEXT:    .cfi_offset r30, -16
; CHECK-BE-NEXT:    li r3, 208
; CHECK-BE-NEXT:    std r30, 240(r1) # 8-byte Folded Spill
; CHECK-BE-NEXT:    # kill: def $v5 killed $v5 killed $vsrp18 def $vsrp18
; CHECK-BE-NEXT:    # kill: def $v4 killed $v4 killed $vsrp18 def $vsrp18
; CHECK-BE-NEXT:    # kill: def $v3 killed $v3 killed $vsrp17 def $vsrp17
; CHECK-BE-NEXT:    # kill: def $v2 killed $v2 killed $vsrp17 def $vsrp17
; CHECK-BE-NEXT:    xxlor vs0, v2, v2
; CHECK-BE-NEXT:    ld r30, 368(r1)
; CHECK-BE-NEXT:    stxvp vsp34, r1(r3) # 32-byte Folded Spill
; CHECK-BE-NEXT:    xxlor vs1, v3, v3
; CHECK-BE-NEXT:    li r3, 176
; CHECK-BE-NEXT:    xxlor vs2, v4, v4
; CHECK-BE-NEXT:    xxlor vs3, v5, v5
; CHECK-BE-NEXT:    stxvp vsp36, r1(r3) # 32-byte Folded Spill
; CHECK-BE-NEXT:    xxmtacc acc0
; CHECK-BE-NEXT:    li r3, 112
; CHECK-BE-NEXT:    xvf16ger2pp acc0, v2, v4
; CHECK-BE-NEXT:    xxmfacc acc0
; CHECK-BE-NEXT:    stxvp vsp0, r1(r3)
; CHECK-BE-NEXT:    li r3, 144
; CHECK-BE-NEXT:    stxvp vsp2, r1(r3)
; CHECK-BE-NEXT:    bl foo
; CHECK-BE-NEXT:    nop
; CHECK-BE-NEXT:    li r3, 112
; CHECK-BE-NEXT:    lxvp vsp0, r1(r3)
; CHECK-BE-NEXT:    li r3, 144
; CHECK-BE-NEXT:    lxvp vsp2, r1(r3)
; CHECK-BE-NEXT:    li r3, 208
; CHECK-BE-NEXT:    lxvp vsp34, r1(r3) # 32-byte Folded Reload
; CHECK-BE-NEXT:    li r3, 176
; CHECK-BE-NEXT:    lxvp vsp36, r1(r3) # 32-byte Folded Reload
; CHECK-BE-NEXT:    xxmtacc acc0
; CHECK-BE-NEXT:    xvf16ger2pp acc0, v2, v4
; CHECK-BE-NEXT:    xxmfacc acc0
; CHECK-BE-NEXT:    stxv vs1, 16(r30)
; CHECK-BE-NEXT:    stxvx vs0, 0, r30
; CHECK-BE-NEXT:    stxv vs3, 48(r30)
; CHECK-BE-NEXT:    stxv vs2, 32(r30)
; CHECK-BE-NEXT:    ld r30, 240(r1) # 8-byte Folded Reload
; CHECK-BE-NEXT:    addi r1, r1, 256
; CHECK-BE-NEXT:    ld r0, 16(r1)
; CHECK-BE-NEXT:    mtlr r0
; CHECK-BE-NEXT:    blr
  %1 = tail call <512 x i1> @llvm.ppc.mma.assemble.acc(<16 x i8> %vc1, <16 x i8> %vc2, <16 x i8> %vc3, <16 x i8> %vc4)
  %2 = tail call <512 x i1> @llvm.ppc.mma.xvf16ger2pp(<512 x i1> %1, <16 x i8> %vc1, <16 x i8> %vc3)
  tail call void @foo()
  %3 = tail call <512 x i1> @llvm.ppc.mma.xvf16ger2pp(<512 x i1> %2, <16 x i8> %vc1, <16 x i8> %vc3)
  %4 = bitcast i8* %ptr to <512 x i1>*
  store <512 x i1> %3, <512 x i1>* %4, align 64
  ret void
}