0ed696e5a3
Support the following relocations and assembly operators: - `R_AARCH64_AUTH_GOT_ADR_PREL_LO21` (`:got_auth:` for `adr`) - `R_AARCH64_AUTH_GOT_LD_PREL19` (`:got_auth:` for `ldr`) `LOADgotAUTH` pseudo-instruction is expanded to actual instruction sequence like the following. ``` adr x16, :got_auth:sym ldr x0, [x16] autia x0, x16 ``` Both SelectionDAG and GlobalISel are suppported. For FastISel, we fall back to SelectionDAG. Tests starting with 'ptrauth-' have corresponding variants w/o this prefix.
158 lines
5.0 KiB
LLVM
158 lines
5.0 KiB
LLVM
; RUN: llc -verify-machineinstrs -o - -mtriple=aarch64-none-linux-gnu -mattr=+pauth -mattr=+fpac \
|
|
; RUN: -code-model=tiny < %s | FileCheck --check-prefixes=CHECK,NOTRAP %s
|
|
; RUN: llc -verify-machineinstrs -o - -mtriple=aarch64-none-linux-gnu -mattr=+pauth \
|
|
; RUN: -code-model=tiny < %s | FileCheck --check-prefixes=CHECK,TRAP %s
|
|
|
|
; RUN: llc -verify-machineinstrs -o - -mtriple=aarch64-none-linux-gnu -mattr=+pauth -mattr=+fpac \
|
|
; RUN: -code-model=tiny -fast-isel < %s | FileCheck --check-prefixes=CHECK,NOTRAP %s
|
|
; RUN: llc -verify-machineinstrs -o - -mtriple=aarch64-none-linux-gnu -mattr=+pauth \
|
|
; RUN: -code-model=tiny -fast-isel < %s | FileCheck --check-prefixes=CHECK,TRAP %s
|
|
|
|
; RUN: llc -verify-machineinstrs -o - -mtriple=aarch64-none-linux-gnu -mattr=+pauth -mattr=+fpac \
|
|
; RUN: -code-model=tiny -global-isel -global-isel-abort=1 < %s | FileCheck --check-prefixes=CHECK,NOTRAP %s
|
|
; RUN: llc -verify-machineinstrs -o - -mtriple=aarch64-none-linux-gnu -mattr=+pauth \
|
|
; RUN: -code-model=tiny -global-isel -global-isel-abort=1 < %s | FileCheck --check-prefixes=CHECK,TRAP %s
|
|
|
|
; Note fast-isel tests here will fall back to isel
|
|
|
|
@src = external local_unnamed_addr global [65536 x i8], align 1
|
|
@dst = external global [65536 x i8], align 1
|
|
@ptr = external local_unnamed_addr global ptr, align 8
|
|
|
|
define dso_local void @foo1() {
|
|
; CHECK-LABEL: foo1:
|
|
; CHECK: // %bb.0: // %entry
|
|
; CHECK-NEXT: adr x17, :got_auth:src
|
|
; NOTRAP-NEXT: ldr x8, [x17]
|
|
; NOTRAP-NEXT: autda x8, x17
|
|
; TRAP-NEXT: ldr x16, [x17]
|
|
; TRAP-NEXT: autda x16, x17
|
|
; TRAP-NEXT: mov x17, x16
|
|
; TRAP-NEXT: xpacd x17
|
|
; TRAP-NEXT: cmp x16, x17
|
|
; TRAP-NEXT: b.eq .Lauth_success_0
|
|
; TRAP-NEXT: brk #0xc472
|
|
; TRAP-NEXT: .Lauth_success_0:
|
|
; TRAP-NEXT: mov x8, x16
|
|
; CHECK-NEXT: ldrb w8, [x8]
|
|
; CHECK-NEXT: adr x17, :got_auth:dst
|
|
; NOTRAP-NEXT: ldr x9, [x17]
|
|
; NOTRAP-NEXT: autda x9, x17
|
|
; TRAP-NEXT: ldr x16, [x17]
|
|
; TRAP-NEXT: autda x16, x17
|
|
; TRAP-NEXT: mov x17, x16
|
|
; TRAP-NEXT: xpacd x17
|
|
; TRAP-NEXT: cmp x16, x17
|
|
; TRAP-NEXT: b.eq .Lauth_success_1
|
|
; TRAP-NEXT: brk #0xc472
|
|
; TRAP-NEXT: .Lauth_success_1:
|
|
; TRAP-NEXT: mov x9, x16
|
|
; CHECK-NEXT: strb w8, [x9]
|
|
; CHECK-NEXT: ret
|
|
|
|
entry:
|
|
%0 = load i8, ptr @src, align 1
|
|
store i8 %0, ptr @dst, align 1
|
|
ret void
|
|
}
|
|
|
|
define dso_local void @foo2() {
|
|
; CHECK-LABEL: foo2:
|
|
; CHECK: // %bb.0: // %entry
|
|
; CHECK-NEXT: adr x17, :got_auth:ptr
|
|
; NOTRAP-NEXT: ldr x8, [x17]
|
|
; NOTRAP-NEXT: autda x8, x17
|
|
; TRAP-NEXT: ldr x16, [x17]
|
|
; TRAP-NEXT: autda x16, x17
|
|
; TRAP-NEXT: mov x17, x16
|
|
; TRAP-NEXT: xpacd x17
|
|
; TRAP-NEXT: cmp x16, x17
|
|
; TRAP-NEXT: b.eq .Lauth_success_2
|
|
; TRAP-NEXT: brk #0xc472
|
|
; TRAP-NEXT: .Lauth_success_2:
|
|
; TRAP-NEXT: mov x8, x16
|
|
; CHECK-NEXT: adr x17, :got_auth:dst
|
|
; NOTRAP-NEXT: ldr x9, [x17]
|
|
; NOTRAP-NEXT: autda x9, x17
|
|
; TRAP-NEXT: ldr x16, [x17]
|
|
; TRAP-NEXT: autda x16, x17
|
|
; TRAP-NEXT: mov x17, x16
|
|
; TRAP-NEXT: xpacd x17
|
|
; TRAP-NEXT: cmp x16, x17
|
|
; TRAP-NEXT: b.eq .Lauth_success_3
|
|
; TRAP-NEXT: brk #0xc472
|
|
; TRAP-NEXT: .Lauth_success_3:
|
|
; TRAP-NEXT: mov x9, x16
|
|
; CHECK-NEXT: str x9, [x8]
|
|
; CHECK-NEXT: ret
|
|
|
|
entry:
|
|
store ptr @dst, ptr @ptr, align 8
|
|
ret void
|
|
}
|
|
|
|
define dso_local void @foo3() {
|
|
; CHECK-LABEL: foo3:
|
|
; CHECK: // %bb.0: // %entry
|
|
; CHECK-NEXT: adr x17, :got_auth:src
|
|
; NOTRAP-NEXT: ldr x8, [x17]
|
|
; NOTRAP-NEXT: autda x8, x17
|
|
; TRAP-NEXT: ldr x16, [x17]
|
|
; TRAP-NEXT: autda x16, x17
|
|
; TRAP-NEXT: mov x17, x16
|
|
; TRAP-NEXT: xpacd x17
|
|
; TRAP-NEXT: cmp x16, x17
|
|
; TRAP-NEXT: b.eq .Lauth_success_4
|
|
; TRAP-NEXT: brk #0xc472
|
|
; TRAP-NEXT: .Lauth_success_4:
|
|
; TRAP-NEXT: mov x8, x16
|
|
; CHECK-NEXT: ldrb w8, [x8]
|
|
; CHECK-NEXT: adr x17, :got_auth:ptr
|
|
; NOTRAP-NEXT: ldr x9, [x17]
|
|
; NOTRAP-NEXT: autda x9, x17
|
|
; TRAP-NEXT: ldr x16, [x17]
|
|
; TRAP-NEXT: autda x16, x17
|
|
; TRAP-NEXT: mov x17, x16
|
|
; TRAP-NEXT: xpacd x17
|
|
; TRAP-NEXT: cmp x16, x17
|
|
; TRAP-NEXT: b.eq .Lauth_success_5
|
|
; TRAP-NEXT: brk #0xc472
|
|
; TRAP-NEXT: .Lauth_success_5:
|
|
; TRAP-NEXT: mov x9, x16
|
|
; CHECK-NEXT: ldr x9, [x9]
|
|
; CHECK-NEXT: strb w8, [x9]
|
|
; CHECK-NEXT: ret
|
|
|
|
entry:
|
|
%0 = load i8, ptr @src, align 1
|
|
%1 = load ptr, ptr @ptr, align 8
|
|
store i8 %0, ptr %1, align 1
|
|
ret void
|
|
}
|
|
|
|
declare void @func(...)
|
|
|
|
define dso_local ptr @externfuncaddr() {
|
|
; CHECK-LABEL: externfuncaddr:
|
|
; CHECK: // %bb.0: // %entry
|
|
; CHECK-NEXT: adr x17, :got_auth:func
|
|
; NOTRAP-NEXT: ldr x0, [x17]
|
|
; NOTRAP-NEXT: autia x0, x17
|
|
; TRAP-NEXT: ldr x16, [x17]
|
|
; TRAP-NEXT: autia x16, x17
|
|
; TRAP-NEXT: mov x17, x16
|
|
; TRAP-NEXT: xpaci x17
|
|
; TRAP-NEXT: cmp x16, x17
|
|
; TRAP-NEXT: b.eq .Lauth_success_6
|
|
; TRAP-NEXT: brk #0xc470
|
|
; TRAP-NEXT: .Lauth_success_6:
|
|
; TRAP-NEXT: mov x0, x16
|
|
; CHECK-NEXT: ret
|
|
|
|
entry:
|
|
ret ptr @func
|
|
}
|
|
|
|
!llvm.module.flags = !{!0}
|
|
!0 = !{i32 8, !"ptrauth-elf-got", i32 1}
|