| ; RUN: llc -mtriple=aarch64-none-linux-gnu -asm-verbose=false -global-isel=0 -fast-isel=0 \ |
| ; RUN: -relocation-model=pic -mattr=+pauth -mattr=+fpac -o - %s | FileCheck --check-prefixes=CHECK,NOTRAP %s |
| ; RUN: llc -mtriple=aarch64-none-linux-gnu -asm-verbose=false -global-isel=0 -fast-isel=0 \ |
| ; RUN: -relocation-model=pic -mattr=+pauth -o - %s | FileCheck --check-prefixes=CHECK,TRAP %s |
| |
| ; RUN: llc -mtriple=aarch64-none-linux-gnu -asm-verbose=false -global-isel=0 -fast-isel=1 \ |
| ; RUN: -relocation-model=pic -mattr=+pauth -mattr=+fpac -o - %s | FileCheck --check-prefixes=CHECK,NOTRAP %s |
| ; RUN: llc -mtriple=aarch64-none-linux-gnu -asm-verbose=false -global-isel=0 -fast-isel=1 \ |
| ; RUN: -relocation-model=pic -mattr=+pauth -o - %s | FileCheck --check-prefixes=CHECK,TRAP %s |
| |
| ; RUN: llc -mtriple=aarch64-none-linux-gnu -asm-verbose=false -global-isel=1 -global-isel-abort=1 \ |
| ; RUN: -relocation-model=pic -mattr=+pauth -mattr=+fpac -o - %s | FileCheck --check-prefixes=CHECK,NOTRAP %s |
| ; RUN: llc -mtriple=aarch64-none-linux-gnu -asm-verbose=false -global-isel=1 -global-isel-abort=1 \ |
| ; RUN: -relocation-model=pic -mattr=+pauth -o - %s | FileCheck --check-prefixes=CHECK,TRAP %s |
| |
| ; RUN: llc -mtriple=aarch64-none-linux-gnu -asm-verbose=false -global-isel=0 -fast-isel=0 \ |
| ; RUN: -relocation-model=pic -filetype=obj -mattr=+pauth -o /dev/null %s |
| ; RUN: llc -mtriple=aarch64-none-linux-gnu -asm-verbose=false -global-isel=0 -fast-isel=1 \ |
| ; RUN: -relocation-model=pic -filetype=obj -mattr=+pauth -o /dev/null %s |
| ; RUN: llc -mtriple=aarch64-none-linux-gnu -asm-verbose=false -global-isel=1 -global-isel-abort=1 \ |
| ; RUN: -relocation-model=pic -filetype=obj -mattr=+pauth -o /dev/null %s |
| |
| ;; Note: for FastISel, we fall back to SelectionDAG |
| |
| declare void @consume(i32) |
| declare void @func() |
| |
| define void @aliasee_func() { |
| ret void |
| } |
| @alias_func = alias void (), ptr @aliasee_func |
| |
| @aliasee_global = global i32 42 |
| @alias_global = alias i32, ptr @aliasee_global |
| |
| define void @foo() nounwind { |
| ; CHECK-LABEL: foo: |
| entry: |
| call void @consume(i32 ptrtoint (ptr @func to i32)) |
| ; CHECK: adrp x17, :got_auth:func |
| ; CHECK-NEXT: add x17, x17, :got_auth_lo12:func |
| ; NOTRAP-NEXT: ldr x[[TMP0:[0-9]+]], [x17] |
| ; NOTRAP-NEXT: autia x[[TMP0]], 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_0 |
| ; TRAP-NEXT: brk #0xc470 |
| ; TRAP-NEXT: .Lauth_success_0: |
| ; TRAP-NEXT: mov x[[TMP0:[0-9]+]], x16 |
| |
| call void @consume(i32 ptrtoint (ptr @alias_func to i32)) |
| ; CHECK: adrp x17, :got_auth:alias_func |
| ; CHECK-NEXT: add x17, x17, :got_auth_lo12:alias_func |
| ; NOTRAP-NEXT: ldr x[[TMP1:[0-9]+]], [x17] |
| ; NOTRAP-NEXT: autia x[[TMP1]], 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_1 |
| ; TRAP-NEXT: brk #0xc470 |
| ; TRAP-NEXT: .Lauth_success_1: |
| ; TRAP-NEXT: mov x[[TMP1:[0-9]+]], x16 |
| |
| call void @consume(i32 ptrtoint (ptr @alias_global to i32)) |
| ; CHECK: adrp x17, :got_auth:alias_global |
| ; CHECK-NEXT: add x17, x17, :got_auth_lo12:alias_global |
| ; NOTRAP-NEXT: ldr x[[TMP2:[0-9]+]], [x17] |
| ; NOTRAP-NEXT: autda x[[TMP2]], 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 x[[TMP2:[0-9]+]], x16 |
| |
| ret void |
| } |
| |
| !llvm.module.flags = !{!0} |
| !0 = !{i32 8, !"ptrauth-elf-got", i32 1} |
