1; NOTE: Assertions have been autogenerated by utils/update_mir_test_checks.py 2; RUN: llc -verify-machineinstrs -mtriple=aarch64-apple-ios %s -stop-after=irtranslator -o - -global-isel | FileCheck %s 3 4define void @caller() sspreq { 5 ; CHECK-LABEL: name: caller 6 ; CHECK: bb.1.entry: 7 ; CHECK-NEXT: successors: %bb.2(0x7ffff800), %bb.3(0x00000800) 8 ; CHECK-NEXT: {{ $}} 9 ; CHECK-NEXT: [[FRAME_INDEX:%[0-9]+]]:_(p0) = G_FRAME_INDEX %stack.0.StackGuardSlot 10 ; CHECK-NEXT: [[LOAD_STACK_GUARD:%[0-9]+]]:gpr64sp(p0) = LOAD_STACK_GUARD :: (dereferenceable invariant load (p0) from @__stack_chk_guard) 11 ; CHECK-NEXT: [[LOAD_STACK_GUARD1:%[0-9]+]]:gpr64sp(p0) = LOAD_STACK_GUARD :: (dereferenceable invariant load (p0) from @__stack_chk_guard) 12 ; CHECK-NEXT: G_STORE [[LOAD_STACK_GUARD1]](p0), [[FRAME_INDEX]](p0) :: (volatile store (p0) into %stack.0.StackGuardSlot) 13 ; CHECK-NEXT: [[FRAME_INDEX1:%[0-9]+]]:_(p0) = G_FRAME_INDEX %stack.1.x 14 ; CHECK-NEXT: ADJCALLSTACKDOWN 0, 0, implicit-def $sp, implicit $sp 15 ; CHECK-NEXT: $x0 = COPY [[FRAME_INDEX1]](p0) 16 ; CHECK-NEXT: BL @callee, csr_darwin_aarch64_aapcs, implicit-def $lr, implicit $sp, implicit $x0 17 ; CHECK-NEXT: ADJCALLSTACKUP 0, 0, implicit-def $sp, implicit $sp 18 ; CHECK-NEXT: [[FRAME_INDEX2:%[0-9]+]]:_(p0) = G_FRAME_INDEX %stack.0.StackGuardSlot 19 ; CHECK-NEXT: [[LOAD:%[0-9]+]]:_(s64) = G_LOAD [[FRAME_INDEX2]](p0) :: (volatile load (s64) from %stack.0.StackGuardSlot) 20 ; CHECK-NEXT: [[LOAD_STACK_GUARD2:%[0-9]+]]:gpr64sp(s64) = LOAD_STACK_GUARD :: (dereferenceable invariant load (p0) from @__stack_chk_guard) 21 ; CHECK-NEXT: [[ICMP:%[0-9]+]]:_(s1) = G_ICMP intpred(ne), [[LOAD_STACK_GUARD2]](s64), [[LOAD]] 22 ; CHECK-NEXT: G_BRCOND [[ICMP]](s1), %bb.3 23 ; CHECK-NEXT: G_BR %bb.2 24 ; CHECK-NEXT: {{ $}} 25 ; CHECK-NEXT: bb.3.entry: 26 ; CHECK-NEXT: successors: 27 ; CHECK: ADJCALLSTACKDOWN 0, 0, implicit-def $sp, implicit $sp 28 ; CHECK-NEXT: BL &__stack_chk_fail, csr_darwin_aarch64_aapcs, implicit-def $lr, implicit $sp 29 ; CHECK-NEXT: ADJCALLSTACKUP 0, 0, implicit-def $sp, implicit $sp 30 ; CHECK-NEXT: {{ $}} 31 ; CHECK-NEXT: bb.2.entry: 32 ; CHECK-NEXT: RET_ReallyLR 33entry: 34 %x = alloca i32, align 4 35 call void @callee(ptr nonnull %x) 36 ret void 37} 38 39declare void @callee(ptr) 40