diff options
Diffstat (limited to 'llvm/test/CodeGen/AArch64')
9 files changed, 0 insertions, 725 deletions
diff --git a/llvm/test/CodeGen/AArch64/machine-outliner-retaddr-sign-diff-scope-same-key.ll b/llvm/test/CodeGen/AArch64/machine-outliner-retaddr-sign-diff-scope-same-key.ll deleted file mode 100644 index d8acaa9cbfd..00000000000 --- a/llvm/test/CodeGen/AArch64/machine-outliner-retaddr-sign-diff-scope-same-key.ll +++ /dev/null @@ -1,68 +0,0 @@ -; RUN: llc -verify-machineinstrs -enable-machine-outliner -mtriple \ -; RUN: aarch64-arm-none-eabi %s -o - | FileCheck %s - -define void @a() "sign-return-address"="all" { -; CHECK-LABEL: a: // @a -; CHECK: paciasp -; CHECK-NEXT: .cfi_negate_ra_state - %1 = alloca i32, align 4 - %2 = alloca i32, align 4 - %3 = alloca i32, align 4 - %4 = alloca i32, align 4 - %5 = alloca i32, align 4 - %6 = alloca i32, align 4 - store i32 1, i32* %1, align 4 - store i32 2, i32* %2, align 4 - store i32 3, i32* %3, align 4 - store i32 4, i32* %4, align 4 - store i32 5, i32* %5, align 4 - store i32 6, i32* %6, align 4 -; CHECK: autiasp - ret void -; CHECK: .cfi_endproc -} - -define void @b() "sign-return-address"="non-leaf" { -; CHECK-LABEL: b: // @b -; CHECK-NOT: paciasp -; CHECK-NOT: .cfi_negate_ra_state - %1 = alloca i32, align 4 - %2 = alloca i32, align 4 - %3 = alloca i32, align 4 - %4 = alloca i32, align 4 - %5 = alloca i32, align 4 - %6 = alloca i32, align 4 - store i32 1, i32* %1, align 4 - store i32 2, i32* %2, align 4 - store i32 3, i32* %3, align 4 - store i32 4, i32* %4, align 4 - store i32 5, i32* %5, align 4 - store i32 6, i32* %6, align 4 -; CHECK-NOT: autiasp - ret void -; CHECK: .cfi_endproc -} - -define void @c() "sign-return-address"="all" { -; CHECK-LABEL: c: // @c -; CHECK: paciasp -; CHECK-NEXT: .cfi_negate_ra_state - %1 = alloca i32, align 4 - %2 = alloca i32, align 4 - %3 = alloca i32, align 4 - %4 = alloca i32, align 4 - %5 = alloca i32, align 4 - %6 = alloca i32, align 4 - store i32 1, i32* %1, align 4 - store i32 2, i32* %2, align 4 - store i32 3, i32* %3, align 4 - store i32 4, i32* %4, align 4 - store i32 5, i32* %5, align 4 - store i32 6, i32* %6, align 4 -; CHECK: autiasp - ret void -; CHECK: .cfi_endproc -} - -; CHECK-NOT: OUTLINED_FUNCTION_{{[0-9]+}}: -; CHECK-NOT: // -- Begin function diff --git a/llvm/test/CodeGen/AArch64/machine-outliner-retaddr-sign-non-leaf.ll b/llvm/test/CodeGen/AArch64/machine-outliner-retaddr-sign-non-leaf.ll deleted file mode 100644 index c7cea17e7cf..00000000000 --- a/llvm/test/CodeGen/AArch64/machine-outliner-retaddr-sign-non-leaf.ll +++ /dev/null @@ -1,72 +0,0 @@ -; RUN: llc -verify-machineinstrs -enable-machine-outliner -mtriple \ -; RUN: aarch64-arm-none-eabi %s -o - | FileCheck %s - -define i64 @a(i64 %x) "sign-return-address"="non-leaf" "sign-return-address-key"="b_key" { -; CHECK-LABEL: a: // @a -; CHECK: .cfi_b_key_frame -; CHECK-NEXT: pacibsp -; CHECK-NEXT: .cfi_negate_ra_state - %1 = alloca i32, align 4 - %2 = alloca i32, align 4 - %3 = alloca i32, align 4 - %4 = alloca i32, align 4 - %5 = alloca i32, align 4 - %6 = alloca i32, align 4 - store i32 1, i32* %1, align 4 - store i32 2, i32* %2, align 4 - store i32 3, i32* %3, align 4 - store i32 4, i32* %4, align 4 - store i32 5, i32* %5, align 4 - store i32 6, i32* %6, align 4 - call void asm sideeffect "mov x30, $0", "r,~{lr}"(i64 %x) #1 - ret i64 %x -} - -define i64 @b(i64 %x) "sign-return-address"="non-leaf" "sign-return-address-key"="b_key" { -; CHECK-LABEL: b: // @b -; CHECK: .cfi_b_key_frame -; CHECK-NEXT: pacibsp -; CHECK-NEXT: .cfi_negate_ra_state - %1 = alloca i32, align 4 - %2 = alloca i32, align 4 - %3 = alloca i32, align 4 - %4 = alloca i32, align 4 - %5 = alloca i32, align 4 - %6 = alloca i32, align 4 - store i32 1, i32* %1, align 4 - store i32 2, i32* %2, align 4 - store i32 3, i32* %3, align 4 - store i32 4, i32* %4, align 4 - store i32 5, i32* %5, align 4 - store i32 6, i32* %6, align 4 - call void asm sideeffect "mov x30, $0", "r,~{lr}"(i64 %x) #1 - ret i64 %x -} - -define i64 @c(i64 %x) "sign-return-address"="non-leaf" "sign-return-address-key"="b_key" { -; CHECK-LABEL: c: // @c -; CHECK: .cfi_b_key_frame -; CHECK-NEXT: pacibsp -; CHECK-NEXT: .cfi_negate_ra_state - %1 = alloca i32, align 4 - %2 = alloca i32, align 4 - %3 = alloca i32, align 4 - %4 = alloca i32, align 4 - %5 = alloca i32, align 4 - %6 = alloca i32, align 4 - store i32 1, i32* %1, align 4 - store i32 2, i32* %2, align 4 - store i32 3, i32* %3, align 4 - store i32 4, i32* %4, align 4 - store i32 5, i32* %5, align 4 - store i32 6, i32* %6, align 4 - call void asm sideeffect "mov x30, $0", "r,~{lr}"(i64 %x) #1 - ret i64 %x -} - -; Outlined function is leaf-function => don't sign it -; CHECK-LABEL: OUTLINED_FUNCTION_0: -; CHECK-NOT: .cfi_b_key_frame -; CHECK-NOT: paci{{[a,b]}}sp -; CHECK-NOT: .cfi_negate_ra_state -; CHECK-NOT: auti{{[a,b]}}sp diff --git a/llvm/test/CodeGen/AArch64/machine-outliner-retaddr-sign-regsave.mir b/llvm/test/CodeGen/AArch64/machine-outliner-retaddr-sign-regsave.mir deleted file mode 100644 index e65adce5c1b..00000000000 --- a/llvm/test/CodeGen/AArch64/machine-outliner-retaddr-sign-regsave.mir +++ /dev/null @@ -1,127 +0,0 @@ -# RUN: llc -mtriple=aarch64-arm-none-eabi -run-pass=prologepilog \ -# RUN: -run-pass=machine-outliner -verify-machineinstrs %s -o - | FileCheck %s - -# Check that we save LR to a callee-saved register when possible. -# foo() should use a callee-saved register. However, bar() should not. ---- | - - define void @foo() #0 { - ret void - } - - define void @bar() #0 { - ret void - } - - attributes #0 = { nounwind "sign-return-address"="non-leaf" "sign-return-address-key"="b_key" minsize noinline noredzone "no-frame-pointer-elim"="true" } -... ---- -# CHECK-LABEL: name: foo -# CHECK: bb.0: -# CHECK: frame-setup EMITBKEY -# CHECK-NEXT: frame-setup PACIBSP -# CHECK-NEXT: frame-setup CFI_INSTRUCTION negate_ra_sign_state -# CHECK: bb.1: -# CHECK: BL @[[OUTLINED_FUNCTION:OUTLINED_FUNCTION_[0-9]+]] -# CHECK: bb.2: -# CHECK: BL @[[OUTLINED_FUNCTION]] -# CHECK: bb.3: -# CHECK: BL @[[OUTLINED_FUNCTION]] -# CHECK: bb.4: -# CHECK: BL @[[OUTLINED_FUNCTION]] -# CHECK: bb.5: -# CHECK: frame-destroy AUTIBSP -# CHECK-NEXT: RET -name: foo -tracksRegLiveness: true -fixedStack: -body: | - bb.0: - $x25 = ORRXri $xzr, 1 - $lr = ORRXri $xzr, 1 - bb.1: - liveins: $lr, $w9 - $w9 = ORRWri $wzr, 1 - $w9 = ORRWri $wzr, 1 - $w9 = ORRWri $wzr, 1 - $w9 = ORRWri $wzr, 1 - $w9 = ORRWri $wzr, 1 - $w9 = ORRWri $wzr, 2 - bb.2: - liveins: $lr, $w9 - $w9 = ORRWri $wzr, 1 - $w9 = ORRWri $wzr, 1 - $w9 = ORRWri $wzr, 1 - $w9 = ORRWri $wzr, 1 - $w9 = ORRWri $wzr, 1 - $w9 = ORRWri $wzr, 2 - bb.3: - liveins: $lr, $w9 - $w9 = ORRWri $wzr, 1 - $w9 = ORRWri $wzr, 1 - $w9 = ORRWri $wzr, 1 - $w9 = ORRWri $wzr, 1 - $w9 = ORRWri $wzr, 1 - $w9 = ORRWri $wzr, 2 - bb.4: - liveins: $lr, $w9 - $w9 = ORRWri $wzr, 1 - $w9 = ORRWri $wzr, 1 - $w9 = ORRWri $wzr, 1 - $w9 = ORRWri $wzr, 1 - $w9 = ORRWri $wzr, 1 - $w9 = ORRWri $wzr, 2 - bb.5: - liveins: $w9 - RET undef $lr - -... ---- -# CHECK: name: bar -# CHECK: bb.0: -# CHECK-NOT: OUTLINED_FUNCTION_ -# CHECK: bb.1: -# CHECK-NOT: OUTLINED_FUNCTION_ -# CHECK: bb.2: -# CHECK-NOT: OUTLINED_FUNCTION_ -# CHECK: bb.3: -# CHECK-NOT: OUTLINED_FUNCTION_ -# CHECK: RET -name: bar -tracksRegLiveness: true -body: | - bb.0: - liveins: $lr, $x0, $x1, $x2, $x3, $x4, $x5, $x6, $x7, $x8, $x9, $x10, $x11, $x12, $x13, $x14, $x15, $x19, $x20, $x21, $x22, $x23, $x20, $x21, $x22, $x23, $x24, $x25, $x26, $x27, $x28 - $w10 = ORRWri $wzr, 1 - $w10 = ORRWri $wzr, 1 - $w10 = ORRWri $wzr, 1 - $w10 = ORRWri $wzr, 1 - $w10 = ORRWri $wzr, 1 - $w12 = ORRWri $wzr, 2 - bb.1: - liveins: $lr, $x0, $x1, $x2, $x3, $x4, $x5, $x6, $x7, $x8, $x9, $x10, $x11, $x12, $x13, $x14, $x15, $x19, $x20, $x21, $x22, $x23, $x20, $x21, $x22, $x23, $x24, $x25, $x26, $x27, $x28 - $w10 = ORRWri $wzr, 1 - $w10 = ORRWri $wzr, 1 - $w10 = ORRWri $wzr, 1 - $w10 = ORRWri $wzr, 1 - $w10 = ORRWri $wzr, 1 - $w12 = ORRWri $wzr, 2 - bb.2: - liveins: $lr, $x0, $x1, $x2, $x3, $x4, $x5, $x6, $x7, $x8, $x9, $x10, $x11, $x12, $x13, $x14, $x15, $x19, $x20, $x21, $x22, $x23, $x20, $x21, $x22, $x23, $x24, $x25, $x26, $x27, $x28 - $w10 = ORRWri $wzr, 1 - $w10 = ORRWri $wzr, 1 - $w10 = ORRWri $wzr, 1 - $w10 = ORRWri $wzr, 1 - $w10 = ORRWri $wzr, 1 - $w12 = ORRWri $wzr, 2 - bb.3: - liveins: $lr, $x0, $x1, $x2, $x3, $x4, $x5, $x6, $x7, $x8, $x9, $x10, $x11, $x12, $x13, $x14, $x15, $x19, $x20, $x21, $x22, $x23, $x20, $x21, $x22, $x23, $x24, $x25, $x26, $x27, $x28 - RET undef $lr - -# CHECK: name: [[OUTLINED_FUNCTION]] -# CHECK: body: -# CHECK-NEXT: bb.0: -# CHECK-NOT: frame-setup EMITBKEY -# CHECK-NOT: frame-setup PACI{{[A,B]]}}SP -# CHECK-NOT: frame-setup CFI_INSTRUCTION negate_ra_sign_state -# CHECK-NOT: frame-destroy AUTI{{[A,B]]}}SP diff --git a/llvm/test/CodeGen/AArch64/machine-outliner-retaddr-sign-same-scope-diff-key.ll b/llvm/test/CodeGen/AArch64/machine-outliner-retaddr-sign-same-scope-diff-key.ll deleted file mode 100644 index 4348d737430..00000000000 --- a/llvm/test/CodeGen/AArch64/machine-outliner-retaddr-sign-same-scope-diff-key.ll +++ /dev/null @@ -1,69 +0,0 @@ -; RUN: llc -verify-machineinstrs -enable-machine-outliner -mtriple \ -; RUN: aarch64-arm-none-eabi %s -o - | FileCheck %s - -define void @a() "sign-return-address"="all" { -; CHECK-LABEL: a: // @a -; CHECK: paciasp -; CHECK-NEXT: .cfi_negate_ra_state - %1 = alloca i32, align 4 - %2 = alloca i32, align 4 - %3 = alloca i32, align 4 - %4 = alloca i32, align 4 - %5 = alloca i32, align 4 - %6 = alloca i32, align 4 - store i32 1, i32* %1, align 4 - store i32 2, i32* %2, align 4 - store i32 3, i32* %3, align 4 - store i32 4, i32* %4, align 4 - store i32 5, i32* %5, align 4 - store i32 6, i32* %6, align 4 -; CHECK: autiasp - ret void -; CHECK: .cfi_endproc -} - -define void @b() "sign-return-address"="all" "sign-return-address-key"="b_key" { -; CHECK-LABEL: b: // @b -; CHECK: .cfi_b_key_frame -; CHECK-NEXT: pacibsp -; CHECK-NEXT: .cfi_negate_ra_state - %1 = alloca i32, align 4 - %2 = alloca i32, align 4 - %3 = alloca i32, align 4 - %4 = alloca i32, align 4 - %5 = alloca i32, align 4 - %6 = alloca i32, align 4 - store i32 1, i32* %1, align 4 - store i32 2, i32* %2, align 4 - store i32 3, i32* %3, align 4 - store i32 4, i32* %4, align 4 - store i32 5, i32* %5, align 4 - store i32 6, i32* %6, align 4 -; CHECK-NOT: autiasp - ret void -; CHECK: .cfi_endproc -} - -define void @c() "sign-return-address"="all" { -; CHECK-LABEL: c: // @c -; CHECK: paciasp -; CHECK-NEXT: .cfi_negate_ra_state - %1 = alloca i32, align 4 - %2 = alloca i32, align 4 - %3 = alloca i32, align 4 - %4 = alloca i32, align 4 - %5 = alloca i32, align 4 - %6 = alloca i32, align 4 - store i32 1, i32* %1, align 4 - store i32 2, i32* %2, align 4 - store i32 3, i32* %3, align 4 - store i32 4, i32* %4, align 4 - store i32 5, i32* %5, align 4 - store i32 6, i32* %6, align 4 -; CHECK: autiasp - ret void -; CHECK: .cfi_endproc -} - -; CHECK-NOT: OUTLINED_FUNCTION_0: -; CHECK-NOT: // -- Begin function diff --git a/llvm/test/CodeGen/AArch64/machine-outliner-retaddr-sign-same-scope-same-key-a.ll b/llvm/test/CodeGen/AArch64/machine-outliner-retaddr-sign-same-scope-same-key-a.ll deleted file mode 100644 index 2a6a7b715a2..00000000000 --- a/llvm/test/CodeGen/AArch64/machine-outliner-retaddr-sign-same-scope-same-key-a.ll +++ /dev/null @@ -1,71 +0,0 @@ -; RUN: llc -verify-machineinstrs -enable-machine-outliner -mtriple \ -; RUN: aarch64-arm-none-eabi %s -o - | FileCheck %s - -define void @a() "sign-return-address"="all" "sign-return-address-key"="a_key" { -; CHECK-LABEL: a: // @a -; CHECK: paciasp -; CHECK-NEXT: .cfi_negate_ra_state - %1 = alloca i32, align 4 - %2 = alloca i32, align 4 - %3 = alloca i32, align 4 - %4 = alloca i32, align 4 - %5 = alloca i32, align 4 - %6 = alloca i32, align 4 - store i32 1, i32* %1, align 4 - store i32 2, i32* %2, align 4 - store i32 3, i32* %3, align 4 - store i32 4, i32* %4, align 4 - store i32 5, i32* %5, align 4 - store i32 6, i32* %6, align 4 -; CHECK: autiasp - ret void -; CHECK: .cfi_endproc -} - -define void @b() "sign-return-address"="all" { -; CHECK-LABEL: b: // @b -; CHECK: paciasp -; CHECK-NEXT: .cfi_negate_ra_state - %1 = alloca i32, align 4 - %2 = alloca i32, align 4 - %3 = alloca i32, align 4 - %4 = alloca i32, align 4 - %5 = alloca i32, align 4 - %6 = alloca i32, align 4 - store i32 1, i32* %1, align 4 - store i32 2, i32* %2, align 4 - store i32 3, i32* %3, align 4 - store i32 4, i32* %4, align 4 - store i32 5, i32* %5, align 4 - store i32 6, i32* %6, align 4 -; CHECK: autiasp - ret void -; CHECK: .cfi_endproc -} - -define void @c() "sign-return-address"="all" { -; CHECK-LABEL: c: // @c -; CHECK: paciasp -; CHECK-NEXT: .cfi_negate_ra_state - %1 = alloca i32, align 4 - %2 = alloca i32, align 4 - %3 = alloca i32, align 4 - %4 = alloca i32, align 4 - %5 = alloca i32, align 4 - %6 = alloca i32, align 4 - store i32 1, i32* %1, align 4 - store i32 2, i32* %2, align 4 - store i32 3, i32* %3, align 4 - store i32 4, i32* %4, align 4 - store i32 5, i32* %5, align 4 - store i32 6, i32* %6, align 4 -; CHECK: autiasp - ret void -; CHECK: .cfi_endproc -} - -; CHECK-LABEL: OUTLINED_FUNCTION_0: -; CHECK: paciasp -; CHECK-NEXT: .cfi_negate_ra_state -; CHECK: autiasp -; CHECK-NEXT: ret diff --git a/llvm/test/CodeGen/AArch64/machine-outliner-retaddr-sign-same-scope-same-key-b.ll b/llvm/test/CodeGen/AArch64/machine-outliner-retaddr-sign-same-scope-same-key-b.ll deleted file mode 100644 index a990a63f407..00000000000 --- a/llvm/test/CodeGen/AArch64/machine-outliner-retaddr-sign-same-scope-same-key-b.ll +++ /dev/null @@ -1,75 +0,0 @@ -; RUN: llc -verify-machineinstrs -enable-machine-outliner -mtriple \ -; RUN: aarch64-arm-none-eabi %s -o - | FileCheck %s - -define void @a() "sign-return-address"="all" "sign-return-address-key"="b_key" { -; CHECK-LABEL: a: // @a -; CHECK: .cfi_b_key_frame -; CHECK-NEXT: pacibsp -; CHECK-NEXT: .cfi_negate_ra_state - %1 = alloca i32, align 4 - %2 = alloca i32, align 4 - %3 = alloca i32, align 4 - %4 = alloca i32, align 4 - %5 = alloca i32, align 4 - %6 = alloca i32, align 4 - store i32 1, i32* %1, align 4 - store i32 2, i32* %2, align 4 - store i32 3, i32* %3, align 4 - store i32 4, i32* %4, align 4 - store i32 5, i32* %5, align 4 - store i32 6, i32* %6, align 4 -; CHECK: autibsp - ret void -; CHECK: .cfi_endproc -} - -define void @b() "sign-return-address"="all" "sign-return-address-key"="b_key" { -; CHECK-LABEL: b: // @b -; CHECK: .cfi_b_key_frame -; CHECK-NEXT: pacibsp -; CHECK-NEXT: .cfi_negate_ra_state - %1 = alloca i32, align 4 - %2 = alloca i32, align 4 - %3 = alloca i32, align 4 - %4 = alloca i32, align 4 - %5 = alloca i32, align 4 - %6 = alloca i32, align 4 - store i32 1, i32* %1, align 4 - store i32 2, i32* %2, align 4 - store i32 3, i32* %3, align 4 - store i32 4, i32* %4, align 4 - store i32 5, i32* %5, align 4 - store i32 6, i32* %6, align 4 -; CHECK: autibsp - ret void -; CHECK: .cfi_endproc -} - -define void @c() "sign-return-address"="all" "sign-return-address-key"="b_key" { -; CHECK-LABEL: c: // @c -; CHECK: .cfi_b_key_frame -; CHECK-NEXT: pacibsp -; CHECK-NEXT: .cfi_negate_ra_state - %1 = alloca i32, align 4 - %2 = alloca i32, align 4 - %3 = alloca i32, align 4 - %4 = alloca i32, align 4 - %5 = alloca i32, align 4 - %6 = alloca i32, align 4 - store i32 1, i32* %1, align 4 - store i32 2, i32* %2, align 4 - store i32 3, i32* %3, align 4 - store i32 4, i32* %4, align 4 - store i32 5, i32* %5, align 4 - store i32 6, i32* %6, align 4 -; CHECK: autibsp - ret void -; CHECK: .cfi_endproc -} - -; CHECK-LABEL: OUTLINED_FUNCTION_0: -; CHECK: .cfi_b_key_frame -; CHECK-NEXT: pacibsp -; CHECK-NEXT: .cfi_negate_ra_state -; CHECK: autibsp -; CHECK-NEXT: ret diff --git a/llvm/test/CodeGen/AArch64/machine-outliner-retaddr-sign-subtarget.ll b/llvm/test/CodeGen/AArch64/machine-outliner-retaddr-sign-subtarget.ll deleted file mode 100644 index 750262bff84..00000000000 --- a/llvm/test/CodeGen/AArch64/machine-outliner-retaddr-sign-subtarget.ll +++ /dev/null @@ -1,87 +0,0 @@ -; RUN: llc -verify-machineinstrs -enable-machine-outliner -mtriple \ -; RUN: aarch64-arm-linux-gnu %s -o - | FileCheck %s - -; Check that functions that should sign their return addresses don't get -; outlined if not all of the function either support v8.3a features or all of -; the functions don't - -define void @a() #0 { -; CHECK-LABEL: a: // @a -; CHECK: // %bb.0: -; CHECK-NEXT: .cfi_b_key_frame -; CHECK-NEXT: pacibsp -; CHECK-NEXT: .cfi_negate_ra_state -; CHECK-NOT: OUTLINED_FUNCTION_ - %1 = alloca i32, align 4 - %2 = alloca i32, align 4 - %3 = alloca i32, align 4 - %4 = alloca i32, align 4 - %5 = alloca i32, align 4 - %6 = alloca i32, align 4 - store i32 1, i32* %1, align 4 - store i32 2, i32* %2, align 4 - store i32 3, i32* %3, align 4 - store i32 4, i32* %4, align 4 - store i32 5, i32* %5, align 4 - store i32 6, i32* %6, align 4 -; CHECK: retab -; CHECK-NOT: auti{{[a,b]}}sp - ret void -} - -define void @b() #0 { -; CHECK-LABEL: b: // @b -; CHECK: // %bb.0: -; CHECK-NEXT: .cfi_b_key_frame -; CHECK-NEXT: pacibsp -; CHECK-NEXT: .cfi_negate_ra_state -; CHECK-NOT: OUTLINED_FUNCTION_ - %1 = alloca i32, align 4 - %2 = alloca i32, align 4 - %3 = alloca i32, align 4 - %4 = alloca i32, align 4 - %5 = alloca i32, align 4 - %6 = alloca i32, align 4 - store i32 1, i32* %1, align 4 - store i32 2, i32* %2, align 4 - store i32 3, i32* %3, align 4 - store i32 4, i32* %4, align 4 - store i32 5, i32* %5, align 4 - store i32 6, i32* %6, align 4 -; CHECK: retab -; CHECK-NOT: auti{{[a,b]}}sp - ret void -} - -define void @c() #1 { -; CHECK-LABEL: c: // @c -; CHECK: // %bb.0: -; CHECK-NEXT: .cfi_b_key_frame -; CHECK-NEXT: pacibsp -; CHECK-NEXT: .cfi_negate_ra_state -; CHECK-NOT: OUTLINED_FUNCTION_ - %1 = alloca i32, align 4 - %2 = alloca i32, align 4 - %3 = alloca i32, align 4 - %4 = alloca i32, align 4 - %5 = alloca i32, align 4 - %6 = alloca i32, align 4 - store i32 1, i32* %1, align 4 - store i32 2, i32* %2, align 4 - store i32 3, i32* %3, align 4 - store i32 4, i32* %4, align 4 - store i32 5, i32* %5, align 4 - store i32 6, i32* %6, align 4 -; CHECK: autibsp -; CHECK-NOT: ret{{[a,b]}} - ret void -} - -attributes #0 = { "sign-return-address"="all" - "sign-return-address-key"="b_key" - "target-features"="+v8.3a" } - -attributes #1 = { "sign-return-address"="all" - "sign-return-address-key"="b_key" } - -; CHECK-NOT: OUTLINED_FUNCTION_ diff --git a/llvm/test/CodeGen/AArch64/machine-outliner-retaddr-sign-thunk.ll b/llvm/test/CodeGen/AArch64/machine-outliner-retaddr-sign-thunk.ll deleted file mode 100644 index 7d1dcebc5d3..00000000000 --- a/llvm/test/CodeGen/AArch64/machine-outliner-retaddr-sign-thunk.ll +++ /dev/null @@ -1,67 +0,0 @@ -; RUN: llc -mtriple aarch64-arm-linux-gnu --enable-machine-outliner \ -; RUN: -verify-machineinstrs %s -o - | FileCheck %s - -declare i32 @thunk_called_fn(i32, i32, i32, i32) - -define i32 @a() #0 { -; CHECK-LABEL: a: // @a -; CHECK: // %bb.0: // %entry -; CHECK-NEXT: paciasp -; CHECK: bl [[OUTLINED_1:OUTLINED_FUNCTION_[0-9]+]] -; CHECK: autiasp -; CHECK-NEXT: ret -entry: - %call = tail call i32 @thunk_called_fn(i32 1, i32 2, i32 3, i32 4) - %cx = add i32 %call, 8 - ret i32 %cx -} - -define i32 @b() #0 { -; CHECK-LABEL: b: // @b -; CHECK: // %bb.0: // %entry -; CHECK-NEXT: paciasp -; CHECK-NEXT: .cfi_negate_ra_state -; CHECK: bl [[OUTLINED_1]] -; CHECK: autiasp -; CHECK-NEXT: ret -entry: - %call = tail call i32 @thunk_called_fn(i32 1, i32 2, i32 3, i32 4) - %cx = add i32 %call, 88 - ret i32 %cx -} - -define hidden i32 @c(i32 (i32, i32, i32, i32)* %fptr) #0 { -; CHECK-LABEL: c: // @c -; CHECK: // %bb.0: // %entry -; CHECK-NEXT: paciasp -; CHECK-NEXT: .cfi_negate_ra_state -; CHECK: bl [[OUTLINED_2:OUTLINED_FUNCTION_[0-9]+]] -; CHECK: autiasp -; CHECK-NEXT: ret -entry: - %call = tail call i32 %fptr(i32 1, i32 2, i32 3, i32 4) - %add = add nsw i32 %call, 8 - ret i32 %add -} - -define hidden i32 @d(i32 (i32, i32, i32, i32)* %fptr) #0 { -; CHECK-LABEL: d: // @d -; CHECK: // %bb.0: // %entry -; CHECK-NEXT: paciasp -; CHECK-NEXT: .cfi_negate_ra_state -; CHECK: bl [[OUTLINED_2]] -; CHECK: autiasp -; CHECK-NEXT: ret -entry: - %call = tail call i32 %fptr(i32 1, i32 2, i32 3, i32 4) - %add = add nsw i32 %call, 88 - ret i32 %add -} - -attributes #0 = { "sign-return-address"="non-leaf" } - -; CHECK: [[OUTLINED_1]] -; CHECK-NOT: .cfi_b_key_frame -; CHECK-NOT: paci{{[a,b]}}sp -; CHECK-NOT: .cfi_negate_ra_state -; CHECK-NOT: auti{{[a,b]}}sp diff --git a/llvm/test/CodeGen/AArch64/machine-outliner-retaddr-sign-v8-3.ll b/llvm/test/CodeGen/AArch64/machine-outliner-retaddr-sign-v8-3.ll deleted file mode 100644 index 8640fa3aa9c..00000000000 --- a/llvm/test/CodeGen/AArch64/machine-outliner-retaddr-sign-v8-3.ll +++ /dev/null @@ -1,89 +0,0 @@ -; RUN: llc -verify-machineinstrs -enable-machine-outliner -mtriple \ -; RUN: aarch64-arm-linux-gnu %s -o - | FileCheck %s - -; Check that outlined functions use the dedicated RETAA/RETAB instructions -; to sign their return address if available. - -define void @a() #0 { -; CHECK-LABEL: a: // @a -; CHECK: // %bb.0: -; CHECK-NEXT: .cfi_b_key_frame -; CHECK-NEXT: pacibsp -; CHECK-NEXT: .cfi_negate_ra_state -; CHECK: bl [[OUTLINED_FUNC:OUTLINED_FUNCTION_[0-9]+]] - %1 = alloca i32, align 4 - %2 = alloca i32, align 4 - %3 = alloca i32, align 4 - %4 = alloca i32, align 4 - %5 = alloca i32, align 4 - %6 = alloca i32, align 4 - store i32 1, i32* %1, align 4 - store i32 2, i32* %2, align 4 - store i32 3, i32* %3, align 4 - store i32 4, i32* %4, align 4 - store i32 5, i32* %5, align 4 - store i32 6, i32* %6, align 4 -; CHECK: retab -; CHECK-NOT: auti{{[a,b]}}sp - ret void -} - -define void @b() #0 { -; CHECK-LABEL: b: // @b -; CHECK: // %bb.0: -; CHECK-NEXT: .cfi_b_key_frame -; CHECK-NEXT: pacibsp -; CHECK-NEXT: .cfi_negate_ra_state -; CHECK: bl OUTLINED_FUNC - %1 = alloca i32, align 4 - %2 = alloca i32, align 4 - %3 = alloca i32, align 4 - %4 = alloca i32, align 4 - %5 = alloca i32, align 4 - %6 = alloca i32, align 4 - store i32 1, i32* %1, align 4 - store i32 2, i32* %2, align 4 - store i32 3, i32* %3, align 4 - store i32 4, i32* %4, align 4 - store i32 5, i32* %5, align 4 - store i32 6, i32* %6, align 4 -; CHECK: retab -; CHECK-NOT: auti{{[a,b]}}sp - ret void -} - -define void @c() #0 { -; CHECK-LABEL: c: // @c -; CHECK: // %bb.0: -; CHECK-NEXT: .cfi_b_key_frame -; CHECK-NEXT: pacibsp -; CHECK-NEXT: .cfi_negate_ra_state -; CHECK: bl OUTLINED_FUNC - %1 = alloca i32, align 4 - %2 = alloca i32, align 4 - %3 = alloca i32, align 4 - %4 = alloca i32, align 4 - %5 = alloca i32, align 4 - %6 = alloca i32, align 4 - store i32 1, i32* %1, align 4 - store i32 2, i32* %2, align 4 - store i32 3, i32* %3, align 4 - store i32 4, i32* %4, align 4 - store i32 5, i32* %5, align 4 - store i32 6, i32* %6, align 4 -; CHECK: retab -; CHECK-NOT: auti{{[a,b]}}sp - ret void -} - -attributes #0 = { "sign-return-address"="all" - "sign-return-address-key"="b_key" - "target-features"="+v8.3a" } - -; CHECK: OUTLINED_FUNC -; CHECK: // %bb.0: -; CHECK-NEXT: .cfi_b_key_frame -; CHECK-NEXT: pacibsp -; CHECK-NEXT: .cfi_negate_ra_state -; CHECK: retab -; CHECK-NOT: auti{{[a,b]}}sp |
