1; RUN: split-file %s %t 2; RUN: cat %t/main.ll %t/a.ll > %t/a2.ll 3; RUN: cat %t/main.ll %t/b.ll > %t/b2.ll 4; RUN: cat %t/main.ll %t/c.ll > %t/c2.ll 5; RUN: cat %t/main.ll %t/d.ll > %t/d2.ll 6; RUN: cat %t/main.ll %t/e.ll > %t/e2.ll 7; RUN: cat %t/main.ll %t/f.ll > %t/f2.ll 8; RUN: cat %t/main.ll %t/g.ll > %t/g2.ll 9; RUN: cat %t/main.ll %t/h.ll > %t/h2.ll 10; RUN: cat %t/main.ll %t/i.ll > %t/i2.ll 11; RUN: cat %t/main.ll %t/j.ll > %t/j2.ll 12; RUN: llc %t/a2.ll -verify-machineinstrs -o - | \ 13; RUN: FileCheck --check-prefix=CHECK --check-prefix=CHECK-NO-OFFSET %s 14; RUN: llc %t/b2.ll -verify-machineinstrs -o - | \ 15; RUN: FileCheck --check-prefix=CHECK --check-prefix=CHECK-POSITIVE-OFFSET %s 16; RUN: llc %t/c2.ll -verify-machineinstrs -o - | \ 17; RUN: FileCheck --check-prefix=CHECK --check-prefix=CHECK-NEGATIVE-OFFSET %s 18; RUN: llc %t/d2.ll -verify-machineinstrs -o - | \ 19; RUN: FileCheck --check-prefix=CHECK --check-prefix=CHECK-NPOT-OFFSET %s 20; RUN: llc %t/e2.ll -verify-machineinstrs -o - | \ 21; RUN: FileCheck --check-prefix=CHECK --check-prefix=CHECK-NPOT-NEG-OFFSET %s 22; RUN: llc %t/f2.ll -verify-machineinstrs -o - | \ 23; RUN: FileCheck --check-prefix=CHECK --check-prefix=CHECK-257-OFFSET %s 24; RUN: llc %t/g2.ll -verify-machineinstrs -o - | \ 25; RUN: FileCheck --check-prefix=CHECK --check-prefix=CHECK-MINUS-257-OFFSET %s 26 27; XFAIL 28; RUN: not --crash llc %t/h2.ll -o - 2>&1 | \ 29; RUN: FileCheck --check-prefix=CHECK-BAD-OFFSET %s 30; RUN: not --crash llc %t/i2.ll -o - 2>&1 | \ 31; RUN: FileCheck --check-prefix=CHECK-BAD-OFFSET %s 32; RUN: not --crash llc %t/j2.ll -o - 2>&1 | \ 33; RUN: FileCheck --check-prefix=CHECK-BAD-OFFSET %s 34 35;--- main.ll 36 37target triple = "aarch64-unknown-linux-gnu" 38 39; Verify that we `mrs` from `SP_EL0` twice, rather than load from 40; __stack_chk_guard. 41define dso_local void @foo(i64 %t) local_unnamed_addr #0 { 42; CHECK-LABEL: foo: 43; CHECK: // %bb.0: // %entry 44; CHECK-NEXT: stp x29, x30, [sp, #-16]! // 16-byte Folded Spill 45; CHECK-NEXT: .cfi_def_cfa_offset 16 46; CHECK-NEXT: mov x29, sp 47; CHECK-NEXT: .cfi_def_cfa w29, 16 48; CHECK-NEXT: .cfi_offset w30, -8 49; CHECK-NEXT: .cfi_offset w29, -16 50; CHECK-NEXT: sub sp, sp, #16 51; CHECK-NEXT: mrs x8, SP_EL0 52; CHECK-NEXT: lsl x9, x0, #2 53; CHECK-NO-OFFSET: ldr x8, [x8] 54; CHECK-POSITIVE-OFFSET: ldr x8, [x8, #8] 55; CHECK-NEGATIVE-OFFSET: ldur x8, [x8, #-8] 56; CHECK-NPOT-OFFSET: ldur x8, [x8, #1] 57; CHECK-NPOT-NEG-OFFSET: ldur x8, [x8, #-1] 58; CHECK-257-OFFSET: add x8, x8, #257 59; CHECK-MINUS-257-OFFSET: sub x8, x8, #257 60; CHECK-NEXT: add x9, x9, #15 61; CHECK-NEXT: and x9, x9, #0xfffffffffffffff0 62; CHECK-257-OFFSET-NEXT: ldr x8, [x8] 63; CHECK-MINUS-257-OFFSET-NEXT: ldr x8, [x8] 64; CHECK-NEXT: stur x8, [x29, #-8] 65; CHECK-NEXT: mov x8, sp 66; CHECK-NEXT: sub x0, x8, x9 67; CHECK-NEXT: mov sp, x0 68; CHECK-NEXT: bl baz 69; CHECK-NEXT: mrs x8, SP_EL0 70; CHECK-NO-OFFSET: ldr x8, [x8] 71; CHECK-POSITIVE-OFFSET: ldr x8, [x8, #8] 72; CHECK-NEGATIVE-OFFSET: ldur x8, [x8, #-8] 73; CHECK-NPOT-OFFSET: ldur x8, [x8, #1] 74; CHECK-NPOT-NEG-OFFSET: ldur x8, [x8, #-1] 75; CHECK-257-OFFSET: add x8, x8, #257 76; CHECK-257-OFFSET-NEXT: ldr x8, [x8] 77; CHECK-MINUS-257-OFFSET: sub x8, x8, #257 78; CHECK-MINUS-257-OFFSET-NEXT: ldr x8, [x8] 79; CHECK-NEXT: ldur x9, [x29, #-8] 80; CHECK-NEXT: cmp x8, x9 81; CHECK-NEXT: b.ne .LBB0_2 82; CHECK-NEXT: // %bb.1: // %entry 83; CHECK-NEXT: mov sp, x29 84; CHECK-NEXT: ldp x29, x30, [sp], #16 // 16-byte Folded Reload 85; CHECK-NEXT: ret 86; CHECK-NEXT: .LBB0_2: // %entry 87; CHECK-NEXT: bl __stack_chk_fail 88; CHECK-NOT: __stack_chk_guard 89entry: 90 %vla = alloca i32, i64 %t, align 4 91 call void @baz(i32* nonnull %vla) 92 ret void 93} 94 95declare void @baz(i32*) 96 97; CHECK-BAD-OFFSET: LLVM ERROR: Unable to encode Stack Protector Guard Offset 98 99attributes #0 = { sspstrong } 100!llvm.module.flags = !{!1, !2, !3} 101 102!1 = !{i32 2, !"stack-protector-guard", !"sysreg"} 103!2 = !{i32 2, !"stack-protector-guard-reg", !"sp_el0"} 104 105;--- a.ll 106!3 = !{i32 2, !"stack-protector-guard-offset", i32 0} 107;--- b.ll 108!3 = !{i32 2, !"stack-protector-guard-offset", i32 8} 109;--- c.ll 110!3 = !{i32 2, !"stack-protector-guard-offset", i32 -8} 111;--- d.ll 112!3 = !{i32 2, !"stack-protector-guard-offset", i32 1} 113;--- e.ll 114!3 = !{i32 2, !"stack-protector-guard-offset", i32 -1} 115;--- f.ll 116!3 = !{i32 2, !"stack-protector-guard-offset", i32 257} 117;--- g.ll 118!3 = !{i32 2, !"stack-protector-guard-offset", i32 -257} 119;--- h.ll 120!3 = !{i32 2, !"stack-protector-guard-offset", i32 32761} 121;--- i.ll 122!3 = !{i32 2, !"stack-protector-guard-offset", i32 -4096} 123;--- j.ll 124!3 = !{i32 2, !"stack-protector-guard-offset", i32 4097} 125