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
40
41
42
43
44
45
46
47
48
49
50
51
52
53
54
55
56
57
58
59
60
61
62
63
64
65
66
67
68
69
70
71
72
73
74
75
76
77
78
79
80
81
82
83
84
85
|
; Regression test for safestack layout. Used to fail with asan.
; RUN: opt -safe-stack -S -mtriple=x86_64-pc-linux-gnu < %s -o - | FileCheck %s
; RUN: opt -passes=safe-stack -S -mtriple=x86_64-pc-linux-gnu < %s -o - | FileCheck %s
define void @f() safestack {
; CHECK-LABEL: define void @f
entry:
; CHECK: %[[USP:.*]] = load ptr, ptr @__safestack_unsafe_stack_ptr
; CHECK: getelementptr i8, ptr %[[USP]], i32 -224
%x0 = alloca i8, align 16
%x1 = alloca i8, align 16
%x2 = alloca i8, align 16
%x3 = alloca i8, align 16
%x4 = alloca i8, align 16
%x5 = alloca i8, align 16
%x6 = alloca i8, align 16
%x7 = alloca i8, align 16
%x8 = alloca i8, align 16
%x9 = alloca i8, align 16
%x10 = alloca i8, align 16
%x11 = alloca i8, align 16
%x12 = alloca i8, align 16
%x13 = alloca i8, align 16
%y0 = alloca i8, align 2
%y1 = alloca i8, align 2
%y2 = alloca i8, align 2
%y3 = alloca i8, align 2
%y4 = alloca i8, align 2
%y5 = alloca i8, align 2
%y6 = alloca i8, align 2
%y7 = alloca i8, align 2
%y8 = alloca i8, align 2
; CHECK: getelementptr i8, ptr %[[USP]], i32 -16
call void @capture8(ptr %x0)
; CHECK: getelementptr i8, ptr %[[USP]], i32 -32
call void @capture8(ptr %x1)
; CHECK: getelementptr i8, ptr %[[USP]], i32 -48
call void @capture8(ptr %x2)
; CHECK: getelementptr i8, ptr %[[USP]], i32 -64
call void @capture8(ptr %x3)
; CHECK: getelementptr i8, ptr %[[USP]], i32 -80
call void @capture8(ptr %x4)
; CHECK: getelementptr i8, ptr %[[USP]], i32 -96
call void @capture8(ptr %x5)
; CHECK: getelementptr i8, ptr %[[USP]], i32 -112
call void @capture8(ptr %x6)
; CHECK: getelementptr i8, ptr %[[USP]], i32 -128
call void @capture8(ptr %x7)
; CHECK: getelementptr i8, ptr %[[USP]], i32 -144
call void @capture8(ptr %x8)
; CHECK: getelementptr i8, ptr %[[USP]], i32 -160
call void @capture8(ptr %x9)
; CHECK: getelementptr i8, ptr %[[USP]], i32 -176
call void @capture8(ptr %x10)
; CHECK: getelementptr i8, ptr %[[USP]], i32 -192
call void @capture8(ptr %x11)
; CHECK: getelementptr i8, ptr %[[USP]], i32 -208
call void @capture8(ptr %x12)
; CHECK: getelementptr i8, ptr %[[USP]], i32 -224
call void @capture8(ptr %x13)
; CHECK: getelementptr i8, ptr %[[USP]], i32 -2
call void @capture8(ptr %y0)
; CHECK: getelementptr i8, ptr %[[USP]], i32 -4
call void @capture8(ptr %y1)
; CHECK: getelementptr i8, ptr %[[USP]], i32 -6
call void @capture8(ptr %y2)
; CHECK: getelementptr i8, ptr %[[USP]], i32 -8
call void @capture8(ptr %y3)
; CHECK: getelementptr i8, ptr %[[USP]], i32 -10
call void @capture8(ptr %y4)
; CHECK: getelementptr i8, ptr %[[USP]], i32 -12
call void @capture8(ptr %y5)
; CHECK: getelementptr i8, ptr %[[USP]], i32 -14
call void @capture8(ptr %y6)
; CHECK: getelementptr i8, ptr %[[USP]], i32 -18
call void @capture8(ptr %y7)
; CHECK: getelementptr i8, ptr %[[USP]], i32 -20
call void @capture8(ptr %y8)
ret void
}
declare void @capture8(ptr)
|
