# RUN: llc -mtriple=aarch64-linux-gnu -mattr=+sve -run-pass=aarch64-expand-pseudo -simplify-mir -verify-machineinstrs %s -o - | FileCheck %s
---
name:            add_x
alignment:       4
tracksRegLiveness: true
liveins:
  - { reg: '$p0' }
  - { reg: '$z0' }
frameInfo:
  maxCallFrameSize: 0
body:             |
  bb.0:
    liveins: $p0, $z0

    ; CHECK: add_x
    ; CHECK-NOT: MOVPRFX
    ; CHECK: $z0 = FADD_ZPmZ_S renamable $p0, killed $z0, renamable $z0
    ; CHECK-NEXT: RET
    renamable $z0 = FADD_ZPZZ_S_UNDEF renamable $p0, renamable $z0, killed renamable $z0
    RET_ReallyLR

...

# CHECK: {{.*}} MSB_ZPmZZ_B {{.*}}
---
name: expand_mls_to_msb
body:             |
  bb.0:
    renamable $p0 = PTRUE_B 31, implicit $vg
    renamable $z0 = MLS_ZPZZZ_B_UNDEF killed renamable $p0, killed renamable $z2, killed renamable $z0, killed renamable $z1
    RET_ReallyLR implicit $z0
...

# CHECK: {{.*}} MAD_ZPmZZ_B {{.*}}
---
name: expand_mla_to_mad
body:             |
  bb.0:
    renamable $p0 = PTRUE_B 31, implicit $vg
    renamable $z0 = MLA_ZPZZZ_B_UNDEF killed renamable $p0, killed renamable $z2, killed renamable $z0, killed renamable $z1
    RET_ReallyLR implicit $z0
...