Protection against stack-based memory corruption errors using SafeStack
[oota-llvm.git] / test / Transforms / SafeStack / escape-vector.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.vec = type { <4 x i32> }
5
6 @.str = private unnamed_addr constant [4 x i8] c"%s\0A\00", align 1
7
8 ; Addr-of a vector nested in a struct
9 ;  safestack attribute
10 ; Requires protector.
11 define void @foo() nounwind uwtable safestack {
12 entry:
13   ; CHECK: __safestack_unsafe_stack_ptr
14   %c = alloca %struct.vec, align 16
15   %y = getelementptr inbounds %struct.vec, %struct.vec* %c, i64 0, i32 0
16   %add.ptr = getelementptr inbounds <4 x i32>, <4 x i32>* %y, i64 -12
17   %call = call i32 (i8*, ...) @printf(i8* getelementptr inbounds ([4 x i8], [4 x i8]* @.str, i64 0, i64 0), <4 x i32>* %add.ptr) nounwind
18   ret void
19 }
20
21 declare i32 @printf(i8*, ...)