| ; RUN: opt -safe-stack -S -mtriple=x86_64-unknown < %s -o - | FileCheck %s | |
| ; RUN: opt -passes='require<libcall-lowering-info>,safe-stack' -S -mtriple=x86_64-unknown < %s -o - | FileCheck %s | |
| define void @foo() safestack sspreq { | |
| entry: | |
| ; CHECK: %[[USP:.*]] = load ptr, ptr @__safestack_unsafe_stack_ptr | |
| ; CHECK: %[[USST:.*]] = getelementptr i8, ptr %[[USP]], i32 -16 | |
| ; CHECK: store ptr %[[USST]], ptr @__safestack_unsafe_stack_ptr | |
| ; CHECK: %[[A:.*]] = getelementptr i8, ptr %[[USP]], i32 -8 | |
| ; CHECK: %[[StackGuard:.*]] = call ptr @llvm.stackguard() | |
| ; CHECK: store ptr %[[StackGuard]], ptr %[[A]] | |
| %a = alloca i8, align 1 | |
| ; CHECK: call void @Capture | |
| call void @Capture(ptr %a) | |
| ; CHECK: %[[B:.*]] = load ptr, ptr %[[A]] | |
| ; CHECK: %[[COND:.*]] = icmp ne ptr %[[StackGuard]], %[[B]] | |
| ; CHECK: br i1 %[[COND]], {{.*}} !prof | |
| ; CHECK: call void @__stack_chk_fail() | |
| ; CHECK-NEXT: unreachable | |
| ; CHECK: store ptr %[[USP]], ptr @__safestack_unsafe_stack_ptr | |
| ; CHECK-NEXT: ret void | |
| ret void | |
| } | |
| declare void @Capture(ptr) |