[InstCombine] Signed saturation patterns
[llvm-complete.git] / test / Transforms / SafeStack / X86 / escape-gep-store.ll
blob7c6c0a318b1774c03607821b4b6b77cfdc3e6a39
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.pair = type { i32, i32 }
6 @.str = private unnamed_addr constant [4 x i8] c"%s\0A\00", align 1
8 ; Addr-of struct element. (GEP followed by store).
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.pair, align 4
15   %b = alloca i32*, align 8
16   %y = getelementptr inbounds %struct.pair, %struct.pair* %c, i32 0, i32 1
17   store i32* %y, i32** %b, align 8
18   %0 = load i32*, i32** %b, align 8
19   %call = call i32 (i8*, ...) @printf(i8* getelementptr inbounds ([4 x i8], [4 x i8]* @.str, i32 0, i32 0), i32* %0)
20   ret void
23 declare i32 @printf(i8*, ...)