| # NOTE: Assertions have been autogenerated by utils/update_mir_test_checks.py |
| # RUN: llc -mtriple=aarch64-linux-gnu -mattr=+sve -run-pass=prologepilog -simplify-mir -verify-machineinstrs %s -o - | FileCheck %s |
| # |
| # Test that prologepilog works for each of the LD1R instructions for stack-based objects. |
| # |
| --- | |
| define void @testcase_positive_offset() { |
| %dummy = alloca i64, align 8 |
| %object = alloca i64, align 8 |
| ; Reads from %object at offset 63 * readsize |
| ret void |
| } |
| define void @testcase_positive_offset_out_of_range() { |
| %dummy = alloca i64, align 8 |
| %object = alloca i64, align 8 |
| ; Reads from %object at offset 64 * readsize |
| ret void |
| } |
| define void @testcase_negative_offset_out_of_range() { |
| %dummy = alloca i64, align 8 |
| %object = alloca i64, align 8 |
| ; Reads from %object at offset -1 * readsize |
| ret void |
| } |
| ... |
| --- |
| name: testcase_positive_offset |
| tracksRegLiveness: true |
| stack: |
| - { id: 0, name: dummy, type: default, offset: 0, size: 8, alignment: 8 } |
| - { id: 1, name: object, type: default, offset: 0, size: 8, alignment: 8 } |
| body: | |
| bb.0 (%ir-block.0): |
| liveins: $p0 |
| |
| ; CHECK-LABEL: name: testcase_positive_offset |
| ; CHECK: liveins: $p0 |
| ; CHECK: $sp = frame-setup SUBXri $sp, 16, 0 |
| ; CHECK: frame-setup CFI_INSTRUCTION def_cfa_offset <mcsymbol >16 |
| ; CHECK: renamable $z0 = LD1RB_IMM renamable $p0, $sp, 63 :: (load (s8) from %ir.object, align 2) |
| ; CHECK: renamable $z0 = LD1RB_H_IMM renamable $p0, $sp, 63 :: (load (s8) from %ir.object, align 2) |
| ; CHECK: renamable $z0 = LD1RB_S_IMM renamable $p0, $sp, 63 :: (load (s8) from %ir.object, align 2) |
| ; CHECK: renamable $z0 = LD1RB_D_IMM renamable $p0, $sp, 63 :: (load (s8) from %ir.object, align 2) |
| ; CHECK: renamable $z0 = LD1RSB_H_IMM renamable $p0, $sp, 63 :: (load (s8) from %ir.object, align 2) |
| ; CHECK: renamable $z0 = LD1RSB_S_IMM renamable $p0, $sp, 63 :: (load (s8) from %ir.object, align 2) |
| ; CHECK: renamable $z0 = LD1RSB_D_IMM renamable $p0, $sp, 63 :: (load (s8) from %ir.object, align 2) |
| ; CHECK: renamable $z0 = LD1RH_IMM renamable $p0, $sp, 63 :: (load (s16) from %ir.object) |
| ; CHECK: renamable $z0 = LD1RH_S_IMM renamable $p0, $sp, 63 :: (load (s16) from %ir.object) |
| ; CHECK: renamable $z0 = LD1RH_D_IMM renamable $p0, $sp, 63 :: (load (s16) from %ir.object) |
| ; CHECK: renamable $z0 = LD1RSH_S_IMM renamable $p0, $sp, 63 :: (load (s16) from %ir.object) |
| ; CHECK: renamable $z0 = LD1RSH_D_IMM renamable $p0, $sp, 63 :: (load (s16) from %ir.object) |
| ; CHECK: renamable $z0 = LD1RW_IMM renamable $p0, $sp, 63 :: (load (s32) from %ir.object) |
| ; CHECK: renamable $z0 = LD1RW_D_IMM renamable $p0, $sp, 63 :: (load (s32) from %ir.object) |
| ; CHECK: renamable $z0 = LD1RSW_IMM renamable $p0, $sp, 63 :: (load (s32) from %ir.object) |
| ; CHECK: renamable $z0 = LD1RD_IMM renamable $p0, $sp, 63 :: (load (s64) from %ir.object) |
| ; CHECK: renamable $z0 = LD1RD_IMM renamable $p0, $sp, 63 :: (load (s64) from %ir.object) |
| ; CHECK: $sp = frame-destroy ADDXri $sp, 16, 0 |
| ; CHECK: RET_ReallyLR implicit $z0 |
| renamable $z0 = LD1RB_IMM renamable $p0, %stack.1.object, 63 :: (load 1 from %ir.object, align 2) |
| renamable $z0 = LD1RB_H_IMM renamable $p0, %stack.1.object, 63 :: (load 1 from %ir.object, align 2) |
| renamable $z0 = LD1RB_S_IMM renamable $p0, %stack.1.object, 63 :: (load 1 from %ir.object, align 2) |
| renamable $z0 = LD1RB_D_IMM renamable $p0, %stack.1.object, 63 :: (load 1 from %ir.object, align 2) |
| renamable $z0 = LD1RSB_H_IMM renamable $p0, %stack.1.object, 63 :: (load 1 from %ir.object, align 2) |
| renamable $z0 = LD1RSB_S_IMM renamable $p0, %stack.1.object, 63 :: (load 1 from %ir.object, align 2) |
| renamable $z0 = LD1RSB_D_IMM renamable $p0, %stack.1.object, 63 :: (load 1 from %ir.object, align 2) |
| renamable $z0 = LD1RH_IMM renamable $p0, %stack.1.object, 63 :: (load 2 from %ir.object, align 2) |
| renamable $z0 = LD1RH_S_IMM renamable $p0, %stack.1.object, 63 :: (load 2 from %ir.object, align 2) |
| renamable $z0 = LD1RH_D_IMM renamable $p0, %stack.1.object, 63 :: (load 2 from %ir.object, align 2) |
| renamable $z0 = LD1RSH_S_IMM renamable $p0, %stack.1.object, 63 :: (load 2 from %ir.object, align 2) |
| renamable $z0 = LD1RSH_D_IMM renamable $p0, %stack.1.object, 63 :: (load 2 from %ir.object, align 2) |
| renamable $z0 = LD1RW_IMM renamable $p0, %stack.1.object, 63 :: (load 4 from %ir.object, align 4) |
| renamable $z0 = LD1RW_D_IMM renamable $p0, %stack.1.object, 63 :: (load 4 from %ir.object, align 4) |
| renamable $z0 = LD1RSW_IMM renamable $p0, %stack.1.object, 63 :: (load 4 from %ir.object, align 4) |
| renamable $z0 = LD1RD_IMM renamable $p0, %stack.1.object, 63 :: (load 8 from %ir.object, align 8) |
| renamable $z0 = LD1RD_IMM renamable $p0, %stack.1.object, 63 :: (load 8 from %ir.object, align 8) |
| RET_ReallyLR implicit $z0 |
| ... |
| --- |
| name: testcase_positive_offset_out_of_range |
| tracksRegLiveness: true |
| stack: |
| - { id: 0, name: dummy, type: default, offset: 0, size: 8, alignment: 8 } |
| - { id: 1, name: object, type: default, offset: 0, size: 8, alignment: 8 } |
| body: | |
| bb.0 (%ir-block.0): |
| liveins: $p0 |
| |
| ; CHECK-LABEL: name: testcase_positive_offset_out_of_range |
| ; CHECK: liveins: $p0 |
| ; CHECK: $sp = frame-setup SUBXri $sp, 16, 0 |
| ; CHECK: frame-setup CFI_INSTRUCTION def_cfa_offset <mcsymbol >16 |
| ; CHECK: $x8 = ADDXri $sp, 1, 0 |
| ; CHECK: renamable $z0 = LD1RB_IMM renamable $p0, killed $x8, 63 :: (load (s8) from %ir.object, align 2) |
| ; CHECK: $x8 = ADDXri $sp, 1, 0 |
| ; CHECK: renamable $z0 = LD1RB_H_IMM renamable $p0, killed $x8, 63 :: (load (s8) from %ir.object, align 2) |
| ; CHECK: $x8 = ADDXri $sp, 1, 0 |
| ; CHECK: renamable $z0 = LD1RB_S_IMM renamable $p0, killed $x8, 63 :: (load (s8) from %ir.object, align 2) |
| ; CHECK: $x8 = ADDXri $sp, 1, 0 |
| ; CHECK: renamable $z0 = LD1RB_D_IMM renamable $p0, killed $x8, 63 :: (load (s8) from %ir.object, align 2) |
| ; CHECK: $x8 = ADDXri $sp, 1, 0 |
| ; CHECK: renamable $z0 = LD1RSB_H_IMM renamable $p0, killed $x8, 63 :: (load (s8) from %ir.object, align 2) |
| ; CHECK: $x8 = ADDXri $sp, 1, 0 |
| ; CHECK: renamable $z0 = LD1RSB_S_IMM renamable $p0, killed $x8, 63 :: (load (s8) from %ir.object, align 2) |
| ; CHECK: $x8 = ADDXri $sp, 1, 0 |
| ; CHECK: renamable $z0 = LD1RSB_D_IMM renamable $p0, killed $x8, 63 :: (load (s8) from %ir.object, align 2) |
| ; CHECK: $x8 = ADDXri $sp, 2, 0 |
| ; CHECK: renamable $z0 = LD1RH_IMM renamable $p0, killed $x8, 63 :: (load (s16) from %ir.object) |
| ; CHECK: $x8 = ADDXri $sp, 2, 0 |
| ; CHECK: renamable $z0 = LD1RH_S_IMM renamable $p0, killed $x8, 63 :: (load (s16) from %ir.object) |
| ; CHECK: $x8 = ADDXri $sp, 2, 0 |
| ; CHECK: renamable $z0 = LD1RH_D_IMM renamable $p0, killed $x8, 63 :: (load (s16) from %ir.object) |
| ; CHECK: $x8 = ADDXri $sp, 2, 0 |
| ; CHECK: renamable $z0 = LD1RSH_S_IMM renamable $p0, killed $x8, 63 :: (load (s16) from %ir.object) |
| ; CHECK: $x8 = ADDXri $sp, 2, 0 |
| ; CHECK: renamable $z0 = LD1RSH_D_IMM renamable $p0, killed $x8, 63 :: (load (s16) from %ir.object) |
| ; CHECK: $x8 = ADDXri $sp, 4, 0 |
| ; CHECK: renamable $z0 = LD1RW_IMM renamable $p0, killed $x8, 63 :: (load (s32) from %ir.object) |
| ; CHECK: $x8 = ADDXri $sp, 4, 0 |
| ; CHECK: renamable $z0 = LD1RW_D_IMM renamable $p0, killed $x8, 63 :: (load (s32) from %ir.object) |
| ; CHECK: $x8 = ADDXri $sp, 4, 0 |
| ; CHECK: renamable $z0 = LD1RSW_IMM renamable $p0, killed $x8, 63 :: (load (s32) from %ir.object) |
| ; CHECK: $x8 = ADDXri $sp, 8, 0 |
| ; CHECK: renamable $z0 = LD1RD_IMM renamable $p0, killed $x8, 63 :: (load (s64) from %ir.object) |
| ; CHECK: $x8 = ADDXri $sp, 8, 0 |
| ; CHECK: renamable $z0 = LD1RD_IMM renamable $p0, killed $x8, 63 :: (load (s64) from %ir.object) |
| ; CHECK: $sp = frame-destroy ADDXri $sp, 16, 0 |
| ; CHECK: RET_ReallyLR implicit $z0 |
| renamable $z0 = LD1RB_IMM renamable $p0, %stack.1.object, 64 :: (load 1 from %ir.object, align 2) |
| renamable $z0 = LD1RB_H_IMM renamable $p0, %stack.1.object, 64 :: (load 1 from %ir.object, align 2) |
| renamable $z0 = LD1RB_S_IMM renamable $p0, %stack.1.object, 64 :: (load 1 from %ir.object, align 2) |
| renamable $z0 = LD1RB_D_IMM renamable $p0, %stack.1.object, 64 :: (load 1 from %ir.object, align 2) |
| renamable $z0 = LD1RSB_H_IMM renamable $p0, %stack.1.object, 64 :: (load 1 from %ir.object, align 2) |
| renamable $z0 = LD1RSB_S_IMM renamable $p0, %stack.1.object, 64 :: (load 1 from %ir.object, align 2) |
| renamable $z0 = LD1RSB_D_IMM renamable $p0, %stack.1.object, 64 :: (load 1 from %ir.object, align 2) |
| renamable $z0 = LD1RH_IMM renamable $p0, %stack.1.object, 64 :: (load 2 from %ir.object, align 2) |
| renamable $z0 = LD1RH_S_IMM renamable $p0, %stack.1.object, 64 :: (load 2 from %ir.object, align 2) |
| renamable $z0 = LD1RH_D_IMM renamable $p0, %stack.1.object, 64 :: (load 2 from %ir.object, align 2) |
| renamable $z0 = LD1RSH_S_IMM renamable $p0, %stack.1.object, 64 :: (load 2 from %ir.object, align 2) |
| renamable $z0 = LD1RSH_D_IMM renamable $p0, %stack.1.object, 64 :: (load 2 from %ir.object, align 2) |
| renamable $z0 = LD1RW_IMM renamable $p0, %stack.1.object, 64 :: (load 4 from %ir.object, align 4) |
| renamable $z0 = LD1RW_D_IMM renamable $p0, %stack.1.object, 64 :: (load 4 from %ir.object, align 4) |
| renamable $z0 = LD1RSW_IMM renamable $p0, %stack.1.object, 64 :: (load 4 from %ir.object, align 4) |
| renamable $z0 = LD1RD_IMM renamable $p0, %stack.1.object, 64 :: (load 8 from %ir.object, align 8) |
| renamable $z0 = LD1RD_IMM renamable $p0, %stack.1.object, 64 :: (load 8 from %ir.object, align 8) |
| RET_ReallyLR implicit $z0 |
| ... |
| |
| ... |
| --- |
| name: testcase_negative_offset_out_of_range |
| tracksRegLiveness: true |
| stack: |
| - { id: 0, name: dummy, type: default, offset: 0, size: 8, alignment: 8 } |
| - { id: 1, name: object, type: default, offset: 0, size: 8, alignment: 8 } |
| body: | |
| bb.0 (%ir-block.0): |
| liveins: $p0 |
| |
| ; CHECK-LABEL: name: testcase_negative_offset_out_of_range |
| ; CHECK: liveins: $p0 |
| ; CHECK: $sp = frame-setup SUBXri $sp, 16, 0 |
| ; CHECK: frame-setup CFI_INSTRUCTION def_cfa_offset <mcsymbol >16 |
| ; CHECK: $x8 = SUBXri $sp, 1, 0 |
| ; CHECK: renamable $z0 = LD1RB_IMM renamable $p0, killed $x8, 0 :: (load (s8) from %ir.object, align 2) |
| ; CHECK: $x8 = SUBXri $sp, 1, 0 |
| ; CHECK: renamable $z0 = LD1RB_H_IMM renamable $p0, killed $x8, 0 :: (load (s8) from %ir.object, align 2) |
| ; CHECK: $x8 = SUBXri $sp, 1, 0 |
| ; CHECK: renamable $z0 = LD1RB_S_IMM renamable $p0, killed $x8, 0 :: (load (s8) from %ir.object, align 2) |
| ; CHECK: $x8 = SUBXri $sp, 1, 0 |
| ; CHECK: renamable $z0 = LD1RB_D_IMM renamable $p0, killed $x8, 0 :: (load (s8) from %ir.object, align 2) |
| ; CHECK: $x8 = SUBXri $sp, 1, 0 |
| ; CHECK: renamable $z0 = LD1RSB_H_IMM renamable $p0, killed $x8, 0 :: (load (s8) from %ir.object, align 2) |
| ; CHECK: $x8 = SUBXri $sp, 1, 0 |
| ; CHECK: renamable $z0 = LD1RSB_S_IMM renamable $p0, killed $x8, 0 :: (load (s8) from %ir.object, align 2) |
| ; CHECK: $x8 = SUBXri $sp, 1, 0 |
| ; CHECK: renamable $z0 = LD1RSB_D_IMM renamable $p0, killed $x8, 0 :: (load (s8) from %ir.object, align 2) |
| ; CHECK: $x8 = SUBXri $sp, 2, 0 |
| ; CHECK: renamable $z0 = LD1RH_IMM renamable $p0, killed $x8, 0 :: (load (s16) from %ir.object) |
| ; CHECK: $x8 = SUBXri $sp, 2, 0 |
| ; CHECK: renamable $z0 = LD1RH_S_IMM renamable $p0, killed $x8, 0 :: (load (s16) from %ir.object) |
| ; CHECK: $x8 = SUBXri $sp, 2, 0 |
| ; CHECK: renamable $z0 = LD1RH_D_IMM renamable $p0, killed $x8, 0 :: (load (s16) from %ir.object) |
| ; CHECK: $x8 = SUBXri $sp, 2, 0 |
| ; CHECK: renamable $z0 = LD1RSH_S_IMM renamable $p0, killed $x8, 0 :: (load (s16) from %ir.object) |
| ; CHECK: $x8 = SUBXri $sp, 2, 0 |
| ; CHECK: renamable $z0 = LD1RSH_D_IMM renamable $p0, killed $x8, 0 :: (load (s16) from %ir.object) |
| ; CHECK: $x8 = SUBXri $sp, 4, 0 |
| ; CHECK: renamable $z0 = LD1RW_IMM renamable $p0, killed $x8, 0 :: (load (s32) from %ir.object) |
| ; CHECK: $x8 = SUBXri $sp, 4, 0 |
| ; CHECK: renamable $z0 = LD1RW_D_IMM renamable $p0, killed $x8, 0 :: (load (s32) from %ir.object) |
| ; CHECK: $x8 = SUBXri $sp, 4, 0 |
| ; CHECK: renamable $z0 = LD1RSW_IMM renamable $p0, killed $x8, 0 :: (load (s32) from %ir.object) |
| ; CHECK: $x8 = SUBXri $sp, 8, 0 |
| ; CHECK: renamable $z0 = LD1RD_IMM renamable $p0, killed $x8, 0 :: (load (s64) from %ir.object) |
| ; CHECK: $x8 = SUBXri $sp, 8, 0 |
| ; CHECK: renamable $z0 = LD1RD_IMM renamable $p0, killed $x8, 0 :: (load (s64) from %ir.object) |
| ; CHECK: $sp = frame-destroy ADDXri $sp, 16, 0 |
| ; CHECK: RET_ReallyLR implicit $z0 |
| renamable $z0 = LD1RB_IMM renamable $p0, %stack.1.object, -1 :: (load 1 from %ir.object, align 2) |
| renamable $z0 = LD1RB_H_IMM renamable $p0, %stack.1.object, -1 :: (load 1 from %ir.object, align 2) |
| renamable $z0 = LD1RB_S_IMM renamable $p0, %stack.1.object, -1 :: (load 1 from %ir.object, align 2) |
| renamable $z0 = LD1RB_D_IMM renamable $p0, %stack.1.object, -1 :: (load 1 from %ir.object, align 2) |
| renamable $z0 = LD1RSB_H_IMM renamable $p0, %stack.1.object, -1 :: (load 1 from %ir.object, align 2) |
| renamable $z0 = LD1RSB_S_IMM renamable $p0, %stack.1.object, -1 :: (load 1 from %ir.object, align 2) |
| renamable $z0 = LD1RSB_D_IMM renamable $p0, %stack.1.object, -1 :: (load 1 from %ir.object, align 2) |
| renamable $z0 = LD1RH_IMM renamable $p0, %stack.1.object, -1 :: (load 2 from %ir.object, align 2) |
| renamable $z0 = LD1RH_S_IMM renamable $p0, %stack.1.object, -1 :: (load 2 from %ir.object, align 2) |
| renamable $z0 = LD1RH_D_IMM renamable $p0, %stack.1.object, -1 :: (load 2 from %ir.object, align 2) |
| renamable $z0 = LD1RSH_S_IMM renamable $p0, %stack.1.object, -1 :: (load 2 from %ir.object, align 2) |
| renamable $z0 = LD1RSH_D_IMM renamable $p0, %stack.1.object, -1 :: (load 2 from %ir.object, align 2) |
| renamable $z0 = LD1RW_IMM renamable $p0, %stack.1.object, -1 :: (load 4 from %ir.object, align 4) |
| renamable $z0 = LD1RW_D_IMM renamable $p0, %stack.1.object, -1 :: (load 4 from %ir.object, align 4) |
| renamable $z0 = LD1RSW_IMM renamable $p0, %stack.1.object, -1 :: (load 4 from %ir.object, align 4) |
| renamable $z0 = LD1RD_IMM renamable $p0, %stack.1.object, -1 :: (load 8 from %ir.object, align 8) |
| renamable $z0 = LD1RD_IMM renamable $p0, %stack.1.object, -1 :: (load 8 from %ir.object, align 8) |
| RET_ReallyLR implicit $z0 |
| ... |