blob: bfebc336cfd086d64fa95d7295d32b32d7e94b59 [file] [log] [blame]
Peter Collingbourne82437bf2015-06-15 21:07:11 +00001; RUN: opt -safe-stack -S -mtriple=i386-pc-linux-gnu < %s -o - | FileCheck %s
2; RUN: opt -safe-stack -S -mtriple=x86_64-pc-linux-gnu < %s -o - | FileCheck %s
3
4@.str = private unnamed_addr constant [4 x i8] c"%s\0A\00", align 1
5
6; Addr-of a variable passed into an invoke instruction.
7; safestack attribute
8; Requires protector and stack restore after landing pad.
David Majnemer7fddecc2015-06-17 20:52:32 +00009define i32 @foo() uwtable safestack personality i8* bitcast (i32 (...)* @__gxx_personality_v0 to i8*) {
Peter Collingbourne82437bf2015-06-15 21:07:11 +000010entry:
11 ; CHECK: %[[SP:.*]] = load i8*, i8** @__safestack_unsafe_stack_ptr
12 ; CHECK: %[[STATICTOP:.*]] = getelementptr i8, i8* %[[SP]], i32 -16
13 %a = alloca i32, align 4
14 %exn.slot = alloca i8*
15 %ehselector.slot = alloca i32
16 store i32 0, i32* %a, align 4
17 invoke void @_Z3exceptPi(i32* %a)
18 to label %invoke.cont unwind label %lpad
19
20invoke.cont:
21 ret i32 0
22
23lpad:
24 ; CHECK: landingpad
25 ; CHECK-NEXT: catch
David Majnemer7fddecc2015-06-17 20:52:32 +000026 %0 = landingpad { i8*, i32 }
Peter Collingbourne82437bf2015-06-15 21:07:11 +000027 catch i8* null
28 ; CHECK-NEXT: store i8* %[[STATICTOP]], i8** @__safestack_unsafe_stack_ptr
29 ret i32 0
30}
31
32declare void @_Z3exceptPi(i32*)
33declare i32 @__gxx_personality_v0(...)