1; RUN: llc -o - %s | FileCheck %s
2target datalayout = "e-m:o-i64:64-f80:128-n8:16:32:64-S128"
3target 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-NOT: movq ___stack_chk_guard@GOTPCREL(%rip), %rax
12define void @foo() #0 {
13entry:
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), %rax
20; CHECK: movq ___stack_chk_guard@GOTPCREL(%rip), %rax
21define void @bar() #1 {
22entry:
23  %vt = alloca [2 x double], align 16
24  br i1 undef, label %cleanup.4091, label %for.cond.3850
25
26unreachable:
27  unreachable
28
29for.cond.3850:
30  br i1 undef, label %land.rhs.3853, label %land.end.3857
31
32land.rhs.3853:
33  br label %land.end.3857
34
35land.end.3857:
36  %0 = phi i1 [ false, %for.cond.3850 ], [ false, %land.rhs.3853 ]
37  br i1 %0, label %unreachable, label %unreachable
38
39cleanup.4091:
40  ret void
41}
42
43attributes #0 = { ssp }
44attributes #1 = { noinline optnone ssp }
45