[InstCombine] Signed saturation patterns
[llvm-complete.git] / test / Transforms / SafeStack / X86 / escape-select-call.ll
blob9e54dd8e14019e8b6f8a2e3e210feb9a66df6f99
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 in select instruction
7 ; safestack attribute
8 ; Requires protector.
9 define void @foo() nounwind uwtable safestack {
10 entry:
11   ; CHECK: __safestack_unsafe_stack_ptr
12   %x = alloca double, align 8
13   %call = call double @testi_aux() nounwind
14   store double %call, double* %x, align 8
15   %cmp2 = fcmp ogt double %call, 0.000000e+00
16   %y.1 = select i1 %cmp2, double* %x, double* null
17   %call2 = call i32 (i8*, ...) @printf(i8* getelementptr inbounds ([4 x i8], [4 x i8]* @.str, i32 0, i32 0), double* %y.1)
18   ret void
21 declare double @testi_aux()
22 declare i32 @printf(i8*, ...)