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
86
87
88
89
90
91
92
93
94
95
96
97
98
99
100
101
102
103
104
105
106
107
108
109
110
111
112
113
114
115
116
117
118
119
120
121
122
123
124
125
126
127
128
129
130
131
132
133
134
135
136
137
138
139
140
141
142
143
144
145
146
147
148
149
150
151
152
153
154
155
156
157
158
159
160
161
162
163
164
165
166
167
168
169
170
171
172
173
174
175
176
177
178
179
180
181
182
183
184
185
186
187
188
189
190
191
192
193
194
195
196
197
198
199
200
201
202
203
204
205
206
207
|
# Copyright (C) 2012-2021 Free Software Foundation, Inc.
# This program is free software; you can redistribute it and/or modify
# it under the terms of the GNU General Public License as published by
# the Free Software Foundation; either version 3 of the License, or
# (at your option) any later version.
#
# This program is distributed in the hope that it will be useful,
# but WITHOUT ANY WARRANTY; without even the implied warranty of
# MERCHANTABILITY or FITNESS FOR A PARTICULAR PURPOSE. See the
# GNU General Public License for more details.
#
# You should have received a copy of the GNU General Public License
# along with this program. If not, see <http://www.gnu.org/licenses/>.
standard_testfile
# Run the tests. We run the tests two different ways: once with a
# plain probe, and once with a probe that has an associated semaphore.
# This returns -1 on failure to compile or start, 0 otherwise.
proc stap_test {exec_name {args ""}} {
global testfile hex srcfile
if {[prepare_for_testing "failed to prepare" ${exec_name} $srcfile \
[concat $args debug]]} {
return -1
}
set semaphore_addr_var ""
if {[string first "-DUSE_SEMAPHORES" $args] == -1} {
gdb_test_no_output "set breakpoint always-inserted on"
set semaphore_addr_var [get_hexadecimal_valueof "&relocation_marker" "0"]
}
if ![runto_main] {
return -1
}
gdb_test "print \$_probe_argc" "No probe at PC $hex" \
"check argument not at probe point"
if {[string first "-DUSE_SEMAPHORES" $args] != -1} {
gdb_test "info probes stap" \
"test *user *$hex *$hex .*"
} else {
gdb_test "info probes stap" \
"test *user *$hex .*"
}
if {[runto "-pstap test:user"]} {
pass "run to -pstap test:user"
} else {
fail "run to -pstap test:user"
}
if {[string first "-DUSE_SEMAPHORES" $args] == -1} {
set relocation_base \
[expr [get_hexadecimal_valueof "&relocation_marker" "0"] - $semaphore_addr_var]
if {$relocation_base != 0} {
# Checks that GDB doesn't mistakenly relocate and write to null
# semaphore addresses. If it were to relocate a zero-valued
# semaphore address and increment the value at that address, we
# would expect to see "\200ELF" here instead.
gdb_test "p (*(char*) $relocation_base)@4" \
" = \"\\\\177ELF\"" \
"null semaphore relocation"
}
}
# Test probe arguments.
gdb_test "print \$_probe_argc" " = 1" \
"print \$_probe_argc for probe user"
gdb_test "print \$_probe_arg0 == x" " = 1" \
"check \$_probe_arg0 for probe user"
gdb_test "print \$_probe_arg1" \
"Invalid probe argument 1 -- probe has 1 arguments available" \
"check \$_probe_arg1 for probe user"
# Set a breakpoint with multiple probe locations.
gdb_test "break -pstap test:two" \
"Breakpoint \[0-9\]+ at $hex.*2 locations.*" \
"set multi-location probe breakpoint (probe two)"
# Reinit GDB, set a breakpoint on probe m4.
delete_breakpoints
if {[runto "-pstap test:m4"]} {
pass "run to -pstap test:m4"
} else {
fail "run to -pstap test:m4"
}
# Testing probe arguments.
gdb_test "print \$_probe_argc" " = 3" \
"print \$_probe_argc for probe m4"
gdb_test "print \$_probe_arg0" " = 42" \
"check \$_probe_arg0 for probe m4"
gdb_test "print (const char *) \$_probe_arg1" \
" = $hex .This is a test message.*" \
"check \$_probe_arg1 for probe m4"
gdb_test "print \$_probe_arg2 == v" " = 1" \
"check \$_probe_arg2 for probe m4"
# Reinit GDB, set a breakpoint on probe ps.
delete_breakpoints
if {[runto "-pstap test:ps"]} {
pass "run to -pstap test:m4"
} else {
fail "run to -pstap test:m4"
}
gdb_test "print \$_probe_argc" " = 3" \
"print \$_probe_argc for probe ps"
gdb_test "print (const char *) \$_probe_arg1" \
" = $hex .This is another test message.*" \
"print \$_probe_arg1 for probe ps"
return 0
}
proc stap_test_no_debuginfo {exec_name {args ""}} {
global testfile hex
if {[prepare_for_testing "failed to prepare" ${exec_name} ${testfile}.c \
[concat $args nodebug optimize=-O2]]} {
return -1
}
if {[runto "-pstap test:user"]} {
pass "run to -pstap test:user"
} else {
fail "run to -pstap test:user"
}
# Test probe arguments.
gdb_test "print \$_probe_argc" " = 1" \
"print \$_probe_argc for probe user"
gdb_test "print \$_probe_arg0 == 23" " = 1" \
"check \$_probe_arg0 for probe user"
gdb_test "print \$_probe_arg1" \
"Invalid probe argument 1 -- probe has 1 arguments available" \
"check \$_probe_arg1 for probe user"
# Set a breakpoint with multiple probe locations.
# In this scenario, we may expect more than 2 locations because of
# the optimizations (inlining, loop unrolling, etc).
gdb_test "break -pstap test:two" \
"Breakpoint .* at $hex.*\[0-9\]+ locations.*" \
"set multi-location probe breakpoint (probe two)"
# Reinit GDB, set a breakpoint on probe m4.
delete_breakpoints
if {[runto "-pstap test:m4"]} {
pass "run to -pstap test:m4"
} else {
fail "run to -pstap test:m4"
}
# Testing probe arguments.
gdb_test "print \$_probe_argc" " = 3" \
"print \$_probe_argc for probe m4"
gdb_test "print \$_probe_arg0" " = 42" \
"check \$_probe_arg0 for probe m4"
gdb_test "print (const char *) \$_probe_arg1" \
" = $hex .This is a test message.*" \
"check \$_probe_arg1 for probe m4"
gdb_test "print \$_probe_arg2 == 0" " = 1" \
"check \$_probe_arg2 for probe m4"
# Reinit GDB, set a breakpoint on probe ps.
delete_breakpoints
if {[runto "-pstap test:ps"]} {
pass "run to -pstap test:m4"
} else {
fail "run to -pstap test:m4"
}
gdb_test "print \$_probe_argc" " = 3" \
"print \$_probe_argc for probe ps"
gdb_test "print (const char *) \$_probe_arg1" \
" = $hex .This is another test message.*" \
"print \$_probe_arg1 for probe ps"
return 0
}
with_test_prefix "without semaphore, not optimized" {
if {[stap_test "stap-probe-nosem-noopt"] == -1} {
untested "stap probe test failed"
return -1
}
foreach_with_prefix pie { "nopie" "pie" } {
stap_test "stap-probe-nosem-noopt-$pie" $pie
}
}
with_test_prefix "with semaphore, not optimized" {
stap_test "stap-probe-sem-noopt" additional_flags=-DUSE_SEMAPHORES
}
with_test_prefix "without semaphore, optimized" {
stap_test_no_debuginfo "stap-probe-nosem-opt"
}
with_test_prefix "with semaphore, optimized" {
stap_test_no_debuginfo "stap-probe-sem-opt" additional_flags=-DUSE_SEMAPHORES
}
|
