test/CodeGen/X86/fast-isel-stackcheck.ll

   1 ; RUN: llc -o - %s | FileCheck %s
   2 target datalayout = "e-m:o-i64:64-f80:128-n8:16:32:64-S128"
   3 target triple = "x86_64-apple-macosx"
   4
   5 ; selectiondag stack protector uses a GuardReg which the fast-isel stack
   6 ; protection code did not but the state was not reset properly.
   7 ; The optnone attribute on @bar forces fast-isel.
   8
   9 ; CHECK-LABEL: foo:
  10 ; CHECK: movq ___stack_chk_guard@GOTPCREL(%rip), %rax
  11 ; CHECK: movq ___stack_chk_guard@GOTPCREL(%rip), %rax
  12 define void @foo() #0 {
  13 entry:
  14   %_tags = alloca [3 x i32], align 4
  15   ret void
  16 }
  17
  18 ; CHECK-LABEL: bar:
  19 ; CHECK: movq ___stack_chk_guard@GOTPCREL(%rip), %{{r.x}}
  20 ; CHECK-DAG: movq ___stack_chk_guard@GOTPCREL(%rip), %[[GUARD:r.x]]
  21 ; CHECK-DAG: movq {{[0-9]+}}(%rsp), %[[CANARY:r.x]]
  22 ; CHECK: subq %[[CANARY]], %[[GUARD]]
  23 define void @bar() #1 {
  24 entry:
  25   %vt = alloca [2 x double], align 16
  26   br i1 undef, label %cleanup.4091, label %for.cond.3850
  27
  28 unreachable:
  29   unreachable
  30
  31 for.cond.3850:
  32   br i1 undef, label %land.rhs.3853, label %land.end.3857
  33
  34 land.rhs.3853:
  35   br label %land.end.3857
  36
  37 land.end.3857:
  38   %0 = phi i1 [ false, %for.cond.3850 ], [ false, %land.rhs.3853 ]
  39   br i1 %0, label %unreachable, label %unreachable
  40
  41 cleanup.4091:
  42   ret void
  43 }
  44
  45 attributes #0 = { ssp }
  46 attributes #1 = { noinline optnone ssp }