[InstCombine] Signed saturation tests. NFC
[llvm-complete.git] / test / Transforms / SafeStack / X86 / escape-vector.ll
blob76b01c7c430c24681eedb70fa198daaa903b2282
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 %struct.vec = type { <4 x i32> }
6 @.str = private unnamed_addr constant [4 x i8] c"%s\0A\00", align 1
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
21 declare i32 @printf(i8*, ...)