llvm/test/CodeGen/AArch64/GlobalISel/irtranslator-delayed-stack-protector.ll

   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
   4 define 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
  33 entry:
  34   %x = alloca i32, align 4
  35   call void @callee(ptr nonnull %x)
  36   ret void
  37 }
  38
  39 declare void @callee(ptr)