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