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
|
# Copyright 2024 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/>.
# Test-case that checks architecture-specific prologue analyzers.
standard_testfile
if { [prepare_for_testing "failed to prepare" $testfile $srcfile \
{nodebug}] } {
return -1
}
proc do_test { f } {
set bp_addr ""
gdb_test_multiple "break $f" "" {
-re -wrap "Breakpoint $::decimal at ($::hex)" {
set bp_addr $expect_out(1,string)
pass $gdb_test_name
}
}
if { $bp_addr == "" } {
return
}
set prologue_end_addr ""
gdb_test_multiple "p /x &${f}_prologue_end" "" {
-re -wrap " = ($::hex)" {
set prologue_end_addr $expect_out(1,string)
pass $gdb_test_name
}
}
if { $prologue_end_addr == "" } {
return
}
set test {$bp_addr == $prologue_end_addr}
if { [expr $test] } {
pass $test
} elseif { $bp_addr < $prologue_end_addr } {
# We'll allow this. For instance, amd64 has a prologue
# analyzer that doesn't skip the 3rd instruction here, which saves an
# argument register to stack:
#
# 00000000004004ae <f2>:
# 4004ae: 55 push %rbp
# 4004af: 48 89 e5 mov %rsp,%rbp
# 4004b2: 89 7d fc mov %edi,-0x4(%rbp)
# 00000000004004b5 <f2_prologue_end>:
#
pass "$test (skipped less than possible)"
} elseif { $bp_addr > $prologue_end_addr } {
fail "$test (skipped too much)"
} else {
fail "$test"
}
}
foreach f { f1 f2 f3 f4 } {
with_test_prefix $f {
do_test $f
}
}
|
