178 lines · plain
1; RUN: rm -rf %t && split-file %s %t && cd %t2 3;--- ok.ll4 5; RUN: llc < ok.ll -mtriple arm64e-apple-darwin \6; RUN: | FileCheck %s --check-prefix=CHECK-MACHO7; RUN: llc < ok.ll -mtriple aarch64-elf -mattr=+pauth \8; RUN: | FileCheck %s --check-prefix=CHECK-ELF9 10; RUN: llc < ok.ll -mtriple arm64e-apple-darwin \11; RUN: -global-isel -verify-machineinstrs -global-isel-abort=1 \12; RUN: | FileCheck %s --check-prefix=CHECK-MACHO13; RUN: llc < ok.ll -mtriple aarch64-elf -mattr=+pauth \14; RUN: -global-isel -verify-machineinstrs -global-isel-abort=1 \15; RUN: | FileCheck %s --check-prefix=CHECK-ELF16 17@g = external global i3218 19@g_weak = extern_weak global i3220 21@g_strong_def = constant i32 4222 23; CHECK-ELF-LABEL: .globl g.ref.ia.024; CHECK-ELF-NEXT: .p2align 425; CHECK-ELF-NEXT: g.ref.ia.0:26; CHECK-ELF-NEXT: .xword 527; CHECK-ELF-NEXT: .xword g@AUTH(ia,0)28; CHECK-ELF-NEXT: .xword 629 30; CHECK-MACHO-LABEL: .section __DATA,__const31; CHECK-MACHO-NEXT: .globl _g.ref.ia.032; CHECK-MACHO-NEXT: .p2align 433; CHECK-MACHO-NEXT: _g.ref.ia.0:34; CHECK-MACHO-NEXT: .quad 535; CHECK-MACHO-NEXT: .quad _g@AUTH(ia,0)36; CHECK-MACHO-NEXT: .quad 637 38@g.ref.ia.0 = constant { i64, ptr, i64 } { i64 5, ptr ptrauth (ptr @g, i32 0), i64 6 }39 40; CHECK-ELF-LABEL: .globl g.ref.ia.4241; CHECK-ELF-NEXT: .p2align 342; CHECK-ELF-NEXT: g.ref.ia.42:43; CHECK-ELF-NEXT: .xword g@AUTH(ia,42)44 45; CHECK-MACHO-LABEL: .globl _g.ref.ia.4246; CHECK-MACHO-NEXT: .p2align 347; CHECK-MACHO-NEXT: _g.ref.ia.42:48; CHECK-MACHO-NEXT: .quad _g@AUTH(ia,42)49 50@g.ref.ia.42 = constant ptr ptrauth (ptr @g, i32 0, i64 42)51 52; CHECK-ELF-LABEL: .globl g.ref.ib.053; CHECK-ELF-NEXT: .p2align 454; CHECK-ELF-NEXT: g.ref.ib.0:55; CHECK-ELF-NEXT: .xword 556; CHECK-ELF-NEXT: .xword g@AUTH(ib,0)57; CHECK-ELF-NEXT: .xword 658 59; CHECK-MACHO-LABEL: .globl _g.ref.ib.060; CHECK-MACHO-NEXT: .p2align 461; CHECK-MACHO-NEXT: _g.ref.ib.0:62; CHECK-MACHO-NEXT: .quad 563; CHECK-MACHO-NEXT: .quad _g@AUTH(ib,0)64; CHECK-MACHO-NEXT: .quad 665 66@g.ref.ib.0 = constant { i64, ptr, i64 } { i64 5, ptr ptrauth (ptr @g, i32 1, i64 0), i64 6 }67 68; CHECK-ELF-LABEL: .globl g.ref.da.42.addr69; CHECK-ELF-NEXT: .p2align 370; CHECK-ELF-NEXT: g.ref.da.42.addr:71; CHECK-ELF-NEXT: .xword g@AUTH(da,42,addr)72 73; CHECK-MACHO-LABEL: .globl _g.ref.da.42.addr74; CHECK-MACHO-NEXT: .p2align 375; CHECK-MACHO-NEXT: _g.ref.da.42.addr:76; CHECK-MACHO-NEXT: .quad _g@AUTH(da,42,addr)77 78@g.ref.da.42.addr = constant ptr ptrauth (ptr @g, i32 2, i64 42, ptr @g.ref.da.42.addr)79 80; CHECK-ELF-LABEL: .globl g.offset.ref.da.081; CHECK-ELF-NEXT: .p2align 382; CHECK-ELF-NEXT: g.offset.ref.da.0:83; CHECK-ELF-NEXT: .xword (g+16)@AUTH(da,0)84 85; CHECK-MACHO-LABEL: .globl _g.offset.ref.da.086; CHECK-MACHO-NEXT: .p2align 387; CHECK-MACHO-NEXT: _g.offset.ref.da.0:88; CHECK-MACHO-NEXT: .quad (_g+16)@AUTH(da,0)89 90@g.offset.ref.da.0 = constant ptr ptrauth (ptr getelementptr (i8, ptr @g, i64 16), i32 2)91 92; CHECK-ELF-LABEL: .globl g.big_offset.ref.da.093; CHECK-ELF-NEXT: .p2align 394; CHECK-ELF-NEXT: g.big_offset.ref.da.0:95; CHECK-ELF-NEXT: .xword (g+2147549185)@AUTH(da,0)96 97; CHECK-MACHO-LABEL: .globl _g.big_offset.ref.da.098; CHECK-MACHO-NEXT: .p2align 399; CHECK-MACHO-NEXT: _g.big_offset.ref.da.0:100; CHECK-MACHO-NEXT: .quad (_g+2147549185)@AUTH(da,0)101 102@g.big_offset.ref.da.0 = constant ptr ptrauth (ptr getelementptr (i8, ptr @g, i64 add (i64 2147483648, i64 65537)), i32 2)103 104; CHECK-ELF-LABEL: .globl g.weird_ref.da.0105; CHECK-ELF-NEXT: .p2align 3106; CHECK-ELF-NEXT: g.weird_ref.da.0:107; CHECK-ELF-NEXT: .xword (g+16)@AUTH(da,0)108 109; CHECK-MACHO-LABEL: .globl _g.weird_ref.da.0110; CHECK-MACHO-NEXT: .p2align 3111; CHECK-MACHO-NEXT: _g.weird_ref.da.0:112; CHECK-MACHO-NEXT: .quad (_g+16)@AUTH(da,0)113 114@g.weird_ref.da.0 = constant i64 ptrtoint (ptr inttoptr (i64 ptrtoint (ptr ptrauth (ptr getelementptr (i8, ptr @g, i64 16), i32 2) to i64) to ptr) to i64)115 116; CHECK-ELF-LABEL: .globl g_weak.ref.ia.42117; CHECK-ELF-NEXT: .p2align 3118; CHECK-ELF-NEXT: g_weak.ref.ia.42:119; CHECK-ELF-NEXT: .xword g_weak@AUTH(ia,42)120 121; CHECK-MACHO-LABEL: .globl _g_weak.ref.ia.42122; CHECK-MACHO-NEXT: .p2align 3123; CHECK-MACHO-NEXT: _g_weak.ref.ia.42:124; CHECK-MACHO-NEXT: .quad _g_weak@AUTH(ia,42)125 126@g_weak.ref.ia.42 = constant ptr ptrauth (ptr @g_weak, i32 0, i64 42)127 128; CHECK-ELF-LABEL: .globl g_strong_def.ref.da.0129; CHECK-ELF-NEXT: .p2align 3130; CHECK-ELF-NEXT: g_strong_def.ref.da.0:131; CHECK-ELF-NEXT: .xword g_strong_def@AUTH(da,0)132 133; CHECK-MACHO-LABEL: .globl _g_strong_def.ref.da.0134; CHECK-MACHO-NEXT: .p2align 3135; CHECK-MACHO-NEXT: _g_strong_def.ref.da.0:136; CHECK-MACHO-NEXT: .quad _g_strong_def@AUTH(da,0)137 138@g_strong_def.ref.da.0 = constant ptr ptrauth (ptr @g_strong_def, i32 2)139 140;--- err-key.ll141 142; RUN: not llc < err-key.ll -mtriple arm64e-apple-darwin 2>&1 \143; RUN: | FileCheck %s --check-prefix=CHECK-ERR-KEY144; RUN: not llc < err-key.ll -mtriple aarch64-elf -mattr=+pauth 2>&1 \145; RUN: | FileCheck %s --check-prefix=CHECK-ERR-KEY146 147; RUN: not llc < err-key.ll -mtriple arm64e-apple-darwin \148; RUN: -global-isel -verify-machineinstrs -global-isel-abort=1 2>&1 \149; RUN: | FileCheck %s --check-prefix=CHECK-ERR-KEY150; RUN: not llc < err-key.ll -mtriple aarch64-elf -mattr=+pauth \151; RUN: -global-isel -verify-machineinstrs -global-isel-abort=1 2>&1 \152; RUN: | FileCheck %s --check-prefix=CHECK-ERR-KEY153 154; CHECK-ERR-KEY: error: AArch64 PAC Key ID '4' out of range [0, 3]155 156 157@g = external global i32158@g.ref.4.0 = constant ptr ptrauth (ptr @g, i32 4, i64 0)159 160;--- err-disc.ll161 162; RUN: not llc < err-disc.ll -mtriple arm64e-apple-darwin 2>&1 \163; RUN: | FileCheck %s --check-prefix=CHECK-ERR-DISC164; RUN: not llc < err-disc.ll -mtriple aarch64-elf -mattr=+pauth 2>&1 \165; RUN: | FileCheck %s --check-prefix=CHECK-ERR-DISC166 167; RUN: not llc < err-disc.ll -mtriple arm64e-apple-darwin \168; RUN: -global-isel -verify-machineinstrs -global-isel-abort=1 2>&1 \169; RUN: | FileCheck %s --check-prefix=CHECK-ERR-DISC170; RUN: not llc < err-disc.ll -mtriple aarch64-elf -mattr=+pauth \171; RUN: -global-isel -verify-machineinstrs -global-isel-abort=1 2>&1 \172; RUN: | FileCheck %s --check-prefix=CHECK-ERR-DISC173 174; CHECK-ERR-DISC: error: AArch64 PAC Discriminator '65536' out of range [0, 0xFFFF]175 176@g = external global i32177@g.ref.ia.65536 = constant ptr ptrauth (ptr @g, i32 0, i64 65536)178