[InstCombine] Signed saturation patterns
[llvm-complete.git] / test / Transforms / SafeStack / X86 / invoke.ll
blobbfebc336cfd086d64fa95d7295d32b32d7e94b59
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
4 @.str = private unnamed_addr constant [4 x i8] c"%s\0A\00", align 1
6 ; Addr-of a variable passed into an invoke instruction.
7 ;  safestack attribute
8 ; Requires protector and stack restore after landing pad.
9 define i32 @foo() uwtable safestack personality i8* bitcast (i32 (...)* @__gxx_personality_v0 to i8*) {
10 entry:
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
20 invoke.cont:
21   ret i32 0
23 lpad:
24   ; CHECK: landingpad
25   ; CHECK-NEXT: catch
26   %0 = landingpad { i8*, i32 }
27           catch i8* null
28   ; CHECK-NEXT: store i8* %[[STATICTOP]], i8** @__safestack_unsafe_stack_ptr
29   ret i32 0
32 declare void @_Z3exceptPi(i32*)
33 declare i32 @__gxx_personality_v0(...)