93 lines · plain
1# RUN: llc -mtriple=aarch64-unknown-linux -mattr=+sve -aarch64-sve-vector-bits-min=128 -aarch64-sve-vector-bits-max=128 -run-pass=aarch64-ldst-opt -verify-machineinstrs %s -o - | FileCheck %s2---3name: pair-sve-fill-spill4tracksRegLiveness: true5body: |6 bb.0:7 liveins: $x0, $x18 renamable $z0 = LDR_ZXI renamable $x0, 0 :: (load (<vscale x 1 x s128>))9 renamable $z1 = LDR_ZXI killed renamable $x0, 1 :: (load (<vscale x 1 x s128>))10 STR_ZXI killed renamable $z0, renamable $x1, 0 :: (store (<vscale x 1 x s128>))11 STR_ZXI killed renamable $z1, killed renamable $x1, 1 :: (store (<vscale x 1 x s128>))12 RET_ReallyLR13...14# CHECK-LABEL: name: pair-sve-fill-spill15# CHECK: $q0, $q1 = LDPQi renamable $x0, 0 :: (load (<vscale x 1 x s128>))16# CHECK: STPQi killed $q0, killed $q1, renamable $x1, 0 :: (store (<vscale x 1 x s128>))17---18name: do-not-pair-sve-with-neon-scaled19tracksRegLiveness: true20body: |21 bb.0:22 liveins: $x0, $x123 ; SVE LDR + Neon LDR24 renamable $z0 = LDR_ZXI renamable $x0, 0 :: (load (<vscale x 1 x s128>))25 renamable $q1 = LDRQui renamable $x0, 1 :: (load (s128))26 ; Neon LDR + SVE LDR27 renamable $q2 = LDRQui renamable $x0, 3 :: (load (s128))28 renamable $z3 = LDR_ZXI renamable $x0, 4 :: (load (<vscale x 1 x s128>))29 ; SVE STR + Neon STR30 STR_ZXI killed renamable $z0, renamable $x1, 0 :: (store (<vscale x 1 x s128>))31 STRQui killed renamable $q1, renamable $x1, 1 :: (store (s128))32 ; Neon STR + SVE STR33 STRQui killed renamable $q2, renamable $x1, 3 :: (store (s128))34 STR_ZXI killed renamable $z3, renamable $x1, 4 :: (store (<vscale x 1 x s128>))35 RET_ReallyLR36...37# CHECK-LABEL: name: do-not-pair-sve-with-neon-scaled38# CHECK: renamable $z0 = LDR_ZXI renamable $x0, 0 :: (load (<vscale x 1 x s128>))39# CHECK: renamable $q1 = LDRQui renamable $x0, 1 :: (load (s128))40# CHECK: renamable $q2 = LDRQui renamable $x0, 3 :: (load (s128))41# CHECK: renamable $z3 = LDR_ZXI renamable $x0, 4 :: (load (<vscale x 1 x s128>))42# CHECK: STR_ZXI killed renamable $z0, renamable $x1, 0 :: (store (<vscale x 1 x s128>))43# CHECK: STRQui killed renamable $q1, renamable $x1, 1 :: (store (s128))44# CHECK: STRQui killed renamable $q2, renamable $x1, 3 :: (store (s128))45# CHECK: STR_ZXI killed renamable $z3, renamable $x1, 4 :: (store (<vscale x 1 x s128>))46---47name: do-not-pair-sve-with-neon-unscaled48tracksRegLiveness: true49body: |50 bb.0:51 liveins: $x0, $x152 ; SVE LDR + Neon LDUR53 renamable $z0 = LDR_ZXI renamable $x0, 0 :: (load (<vscale x 1 x s128>))54 renamable $q1 = LDURQi renamable $x0, 16 :: (load (s128))55 ; Neon LDUR + SVE LDR56 renamable $q2 = LDURQi renamable $x0, 48 :: (load (s128))57 renamable $z3 = LDR_ZXI renamable $x0, 4 :: (load (<vscale x 1 x s128>))58 ; SVE STR + Neon STUR59 STR_ZXI killed renamable $z0, renamable $x1, 0 :: (store (<vscale x 1 x s128>))60 STURQi killed renamable $q1, renamable $x1, 16 :: (store (s128))61 ; Neon STUR + SVE STR62 STURQi killed renamable $q2, renamable $x1, 48 :: (store (s128))63 STR_ZXI killed renamable $z3, renamable $x1, 4 :: (store (<vscale x 1 x s128>))64 RET_ReallyLR65...66# CHECK-LABEL: name: do-not-pair-sve-with-neon-unscaled67# CHECK: renamable $z0 = LDR_ZXI renamable $x0, 0 :: (load (<vscale x 1 x s128>))68# CHECK: renamable $q1 = LDURQi renamable $x0, 16 :: (load (s128))69# CHECK: renamable $q2 = LDURQi renamable $x0, 48 :: (load (s128))70# CHECK: renamable $z3 = LDR_ZXI renamable $x0, 4 :: (load (<vscale x 1 x s128>))71# CHECK: STR_ZXI killed renamable $z0, renamable $x1, 0 :: (store (<vscale x 1 x s128>))72# CHECK: STURQi killed renamable $q1, renamable $x1, 16 :: (store (s128))73# CHECK: STURQi killed renamable $q2, renamable $x1, 48 :: (store (s128))74# CHECK: STR_ZXI killed renamable $z3, renamable $x1, 4 :: (store (<vscale x 1 x s128>))75---76name: clear-kill-in-bundle-forward77tracksRegLiveness: true78body: |79 bb.0:80 liveins: $x0, $z081 STR_ZXI $z0, $x0, 0 :: (store (<vscale x 1 x s128>))82 BUNDLE implicit-def $z1, implicit killed $z0 {83 $z1 = ADD_ZZZ_D killed $z0, $z084 }85 STR_ZXI renamable $z1, $x0, 1 :: (store (<vscale x 1 x s128>))86 RET_ReallyLR87...88# CHECK-LABEL: name: clear-kill-in-bundle-forward89# CHECK: BUNDLE implicit-def $z1, implicit $z0 {90# CHECK: $z1 = ADD_ZZZ_D $z0, $z091# CHECK: }92# CHECK: STPQi $q0, $q1, $x0, 0 :: (store (<vscale x 1 x s128>))93