46 lines · plain
1; RUN: llc -o - %s | FileCheck %s2target 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 stack6; 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), %rax11define void @foo() #0 {12entry:13 %_tags = alloca [3 x i32], align 414 ret void15}16 17; CHECK-LABEL: bar:18; CHECK: movq ___stack_chk_guard@GOTPCREL(%rip), %{{r.x}}19; CHECK-DAG: movq ___stack_chk_guard@GOTPCREL(%rip), %[[GUARD:r.x]]20; CHECK-DAG: movq {{[0-9]+}}(%rsp), %[[CANARY:r.x]]21; CHECK: subq %[[CANARY]], %[[GUARD]]22define void @bar(i1 %arg) #1 {23entry:24 %vt = alloca [2 x double], align 1625 br i1 %arg, label %cleanup.4091, label %for.cond.385026 27unreachable:28 unreachable29 30for.cond.3850:31 br i1 %arg, label %land.rhs.3853, label %land.end.385732 33land.rhs.3853:34 br label %land.end.385735 36land.end.3857:37 %0 = phi i1 [ false, %for.cond.3850 ], [ false, %land.rhs.3853 ]38 br i1 %0, label %unreachable, label %unreachable39 40cleanup.4091:41 ret void42}43 44attributes #0 = { ssp }45attributes #1 = { noinline optnone ssp }46