Protection against stack-based memory corruption errors using SafeStack
[oota-llvm.git] / test / Transforms / SafeStack / escape-gep-invoke.ll
1 ; 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 %struct.pair = type { i32, i32 }
5
6 @.str = private unnamed_addr constant [4 x i8] c"%s\0A\00", align 1
7
8 ; Addr-of a struct element passed into an invoke instruction.
9 ;   (GEP followed by an invoke)
10 ;  safestack attribute
11 ; Requires protector.
12 define i32 @foo() uwtable safestack {
13 entry:
14   ; CHECK: __safestack_unsafe_stack_ptr
15   %c = alloca %struct.pair, align 4
16   %exn.slot = alloca i8*
17   %ehselector.slot = alloca i32
18   %a = getelementptr inbounds %struct.pair, %struct.pair* %c, i32 0, i32 0
19   store i32 0, i32* %a, align 4
20   %a1 = getelementptr inbounds %struct.pair, %struct.pair* %c, i32 0, i32 0
21   invoke void @_Z3exceptPi(i32* %a1)
22           to label %invoke.cont unwind label %lpad
23
24 invoke.cont:
25   ret i32 0
26
27 lpad:
28   %0 = landingpad { i8*, i32 } personality i8* bitcast (i32 (...)* @__gxx_personality_v0 to i8*)
29           catch i8* null
30   ret i32 0
31 }
32
33 declare void @_Z3exceptPi(i32*)
34 declare i32 @__gxx_personality_v0(...)