diff options
| author | Luke Cheeseman <luke.cheeseman@arm.com> | 2018-09-26 10:14:15 +0000 |
|---|---|---|
| committer | Luke Cheeseman <luke.cheeseman@arm.com> | 2018-09-26 10:14:15 +0000 |
| commit | f755e687fce0485e3117ef843ee7a27991cc5b1b (patch) | |
| tree | 835458746b37da7c95a7df4331e1aadf2ff0fc80 /llvm/test/CodeGen/AArch64 | |
| parent | 4e8337e001ac2e0cf96f4cacdbdf4df227d7b27e (diff) | |
| download | bcm5719-llvm-f755e687fce0485e3117ef843ee7a27991cc5b1b.tar.gz bcm5719-llvm-f755e687fce0485e3117ef843ee7a27991cc5b1b.zip | |
[AArch64] - Return address signing dwarf support
Functions that have signed return addresses need additional dwarf support:
- After signing the LR, and before authenticating it, the LR register is in a
state the is unusable by a debugger or unwinder
- To account for this a new directive, .cfi_negate_ra_state, is added
- This directive says the signed state of the LR register has now changed,
i.e. unsigned -> signed or signed -> unsigned
- This directive has the same CFA code as the SPARC directive GNU_window_save
(0x2d), adding a macro to account for multiply defined codes
- This patch matches the gcc implementation of this support:
https://patchwork.ozlabs.org/patch/800271/
Differential Revision: https://reviews.llvm.org/D50136
llvm-svn: 343089
Diffstat (limited to 'llvm/test/CodeGen/AArch64')
| -rw-r--r-- | llvm/test/CodeGen/AArch64/sign-return-address.ll | 22 |
1 files changed, 11 insertions, 11 deletions
diff --git a/llvm/test/CodeGen/AArch64/sign-return-address.ll b/llvm/test/CodeGen/AArch64/sign-return-address.ll index a0c73058a30..6515dcaf773 100644 --- a/llvm/test/CodeGen/AArch64/sign-return-address.ll +++ b/llvm/test/CodeGen/AArch64/sign-return-address.ll @@ -24,17 +24,17 @@ define i32 @leaf_sign_non_leaf(i32 %x) "sign-return-address"="non-leaf" { ; CHECK-LABEL: @leaf_sign_all ; CHECK: paciasp ; CHECK: autiasp -; CHECK-NEXT: ret +; CHECK: ret define i32 @leaf_sign_all(i32 %x) "sign-return-address"="all" { ret i32 %x } ; CHECK: @leaf_clobbers_lr ; CHECK: paciasp -; CHECK-NEXT: str x30, [sp, #-16]! +; CHECK: str x30, [sp, #-16]! ; CHECK: ldr x30, [sp], #16 ; CHECK-NEXT: autiasp -; CHECK-NEXT: ret +; CHECK: ret define i64 @leaf_clobbers_lr(i64 %x) "sign-return-address"="non-leaf" { call void asm sideeffect "mov x30, $0", "r,~{lr}"(i64 %x) #1 ret i64 %x @@ -45,7 +45,7 @@ declare i32 @foo(i32) ; CHECK: @non_leaf_sign_all ; CHECK: paciasp ; CHECK: autiasp -; CHECK-NEXT: ret +; CHECK: ret define i32 @non_leaf_sign_all(i32 %x) "sign-return-address"="all" { %call = call i32 @foo(i32 %x) ret i32 %call @@ -53,10 +53,10 @@ define i32 @non_leaf_sign_all(i32 %x) "sign-return-address"="all" { ; CHECK: @non_leaf_sign_non_leaf ; CHECK: paciasp -; CHECK-NEXT: str x30, [sp, #-16]! +; CHECK: str x30, [sp, #-16]! ; CHECK: ldr x30, [sp], #16 -; CHECK-NEXT: autiasp -; CHECK-NEXT: ret +; CHECK: autiasp +; CHECK: ret define i32 @non_leaf_sign_non_leaf(i32 %x) "sign-return-address"="non-leaf" { %call = call i32 @foo(i32 %x) ret i32 %call @@ -65,7 +65,7 @@ define i32 @non_leaf_sign_non_leaf(i32 %x) "sign-return-address"="non-leaf" { ; CHECK-LABEL: @leaf_sign_all_v83 ; CHECK: paciasp ; CHECK-NOT: ret -; CHECK-NEXT: retaa +; CHECK: retaa ; CHECK-NOT: ret define i32 @leaf_sign_all_v83(i32 %x) "sign-return-address"="all" "target-features"="+v8.3a" { ret i32 %x @@ -75,10 +75,10 @@ declare fastcc i64 @bar(i64) ; CHECK-LABEL: @spill_lr_and_tail_call ; CHECK: paciasp -; CHECK-NEXT: str x30, [sp, #-16]! +; CHECK: str x30, [sp, #-16]! ; CHECK: ldr x30, [sp], #16 -; CHECK-NEXT: autiasp -; CHECK-NEXT: b bar +; CHECK: autiasp +; CHECK: b bar define fastcc void @spill_lr_and_tail_call(i64 %x) "sign-return-address"="all" { call void asm sideeffect "mov x30, $0", "r,~{lr}"(i64 %x) #1 tail call fastcc i64 @bar(i64 %x) |

