llvm/test/Transforms/SafeStack/X86/escape-gep-store.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 ; RUN: opt -passes=safe-stack -S -mtriple=i386-pc-linux-gnu < %s -o - | FileCheck %s
   4 ; RUN: opt -passes=safe-stack -S -mtriple=x86_64-pc-linux-gnu < %s -o - | FileCheck %s
   5
   6 %struct.pair = type { i32, i32 }
   7
   8 @.str = private unnamed_addr constant [4 x i8] c"%s\0A\00", align 1
   9
  10 ; Addr-of struct element. (GEP followed by store).
  11 ;  safestack attribute
  12 ; Requires protector.
  13 define void @foo() nounwind uwtable safestack {
  14 entry:
  15   ; CHECK: __safestack_unsafe_stack_ptr
  16   %c = alloca %struct.pair, align 4
  17   %b = alloca ptr, align 8
  18   %y = getelementptr inbounds %struct.pair, ptr %c, i32 0, i32 1
  19   store ptr %y, ptr %b, align 8
  20   %0 = load ptr, ptr %b, align 8
  21   %call = call i32 (ptr, ...) @printf(ptr @.str, ptr %0)
  22   ret void
  23 }
  24
  25 declare i32 @printf(ptr, ...)