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: 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), %{{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]] 23define void @bar() #1 { 24entry: 25 %vt = alloca [2 x double], align 16 26 br i1 undef, label %cleanup.4091, label %for.cond.3850 27 28unreachable: 29 unreachable 30 31for.cond.3850: 32 br i1 undef, label %land.rhs.3853, label %land.end.3857 33 34land.rhs.3853: 35 br label %land.end.3857 36 37land.end.3857: 38 %0 = phi i1 [ false, %for.cond.3850 ], [ false, %land.rhs.3853 ] 39 br i1 %0, label %unreachable, label %unreachable 40 41cleanup.4091: 42 ret void 43} 44 45attributes #0 = { ssp } 46attributes #1 = { noinline optnone ssp } 47