reference, declarationdefinition
definition → references, declarations, derived classes, virtual overrides
reference to multiple definitions → definitions
unreferenced
    1
    2
    3
    4
    5
    6
    7
    8
    9
   10
   11
   12
   13
   14
   15
   16
   17
   18
   19
   20
   21
   22
   23
   24
   25
   26
   27
   28
   29
   30
   31
   32
   33
   34
   35
   36
   37
   38
   39
; Test that safestack layout reuses a region w/o fragmentation.
; RUN: opt -safe-stack -safe-stack-coloring=1 -S -mtriple=x86_64-pc-linux-gnu < %s -o - | FileCheck %s

define void @f() safestack {
; CHECK-LABEL: define void @f
entry:
; CHECK:  %[[USP:.*]] = load i8*, i8** @__safestack_unsafe_stack_ptr
; CHECK:   getelementptr i8, i8* %[[USP]], i32 -16

  %x0 = alloca i64, align 8
  %x1 = alloca i8, align 1
  %x2 = alloca i64, align 8

  %x0a = bitcast i64* %x0 to i8*
  %x2a = bitcast i64* %x2 to i8*

  call void @llvm.lifetime.start.p0i8(i64 4, i8* %x0a)
  call void @capture64(i64* %x0)
  call void @llvm.lifetime.end.p0i8(i64 4, i8* %x0a)

  call void @llvm.lifetime.start.p0i8(i64 4, i8* %x1)
  call void @llvm.lifetime.start.p0i8(i64 4, i8* %x2a)
  call void @capture8(i8* %x1)
  call void @capture64(i64* %x2)
  call void @llvm.lifetime.end.p0i8(i64 4, i8* %x1)
  call void @llvm.lifetime.end.p0i8(i64 4, i8* %x2a)

; Test that i64 allocas share space.
; CHECK: getelementptr i8, i8* %unsafe_stack_ptr, i32 -8
; CHECK: getelementptr i8, i8* %unsafe_stack_ptr, i32 -9
; CHECK: getelementptr i8, i8* %unsafe_stack_ptr, i32 -8

  ret void
}

declare void @llvm.lifetime.start.p0i8(i64, i8* nocapture)
declare void @llvm.lifetime.end.p0i8(i64, i8* nocapture)
declare void @capture8(i8*)
declare void @capture64(i64*)