Commit | Line | Data |
---|---|---|
b811d2c2 | 1 | # Copyright 2013-2020 Free Software Foundation, Inc. |
bc5065a7 PA |
2 | |
3 | # This program is free software; you can redistribute it and/or modify | |
4 | # it under the terms of the GNU General Public License as published by | |
5 | # the Free Software Foundation; either version 3 of the License, or | |
6 | # (at your option) any later version. | |
7 | # | |
8 | # This program is distributed in the hope that it will be useful, | |
9 | # but WITHOUT ANY WARRANTY; without even the implied warranty of | |
10 | # MERCHANTABILITY or FITNESS FOR A PARTICULAR PURPOSE. See the | |
11 | # GNU General Public License for more details. | |
12 | # | |
13 | # You should have received a copy of the GNU General Public License | |
14 | # along with this program. If not, see <http://www.gnu.org/licenses/>. | |
15 | ||
16 | load_lib "range-stepping-support.exp" | |
17 | ||
18 | standard_testfile | |
19 | set executable $testfile | |
20 | ||
5b362f04 | 21 | if { [prepare_for_testing "failed to prepare" $testfile $srcfile {debug}] } { |
bc5065a7 PA |
22 | return -1 |
23 | } | |
24 | ||
25 | if ![runto_main] { | |
bc6c7af4 | 26 | fail "can't run to main" |
bc5065a7 PA |
27 | return -1 |
28 | } | |
29 | ||
bc5065a7 PA |
30 | if ![gdb_range_stepping_enabled] { |
31 | unsupported "range stepping not supported by the target" | |
32 | return -1 | |
33 | } | |
34 | ||
35 | # Check that range stepping can step a range of multiple instructions. | |
36 | ||
37 | with_test_prefix "multi insns" { | |
38 | ||
39 | gdb_breakpoint [gdb_get_line_number "location 1"] | |
40 | gdb_continue_to_breakpoint "location 1" | |
41 | ||
42 | set pc_before_stepping "" | |
43 | set test "pc before stepping" | |
44 | gdb_test_multiple "print/x \$pc" $test { | |
45 | -re "\\\$$decimal = (\[^\r\n\]*)\r\n$gdb_prompt $" { | |
46 | set pc_before_stepping $expect_out(1,string) | |
47 | pass $test | |
48 | } | |
49 | } | |
50 | ||
51 | # When "next" is executed, GDB should send one vCont;s and vCont;r | |
52 | # and receive two stop replies: | |
53 | # | |
54 | # --> vCont;s (step over breakpoint) | |
55 | # <-- T05 | |
56 | # --> vCont;rSTART,END (range step) | |
57 | # <-- T05 | |
80f0110c | 58 | set result [exec_cmd_expect_vCont_count "next" 1] |
db1ac436 YQ |
59 | if { $result } { |
60 | # This is the first range-stepping test, and the simplest | |
61 | # one. If it fails, probably the rest of the tests would | |
62 | # fail too, and the huge number of rsp packets in the test | |
63 | # with the time-consuming loop would blow up the gdb.log file. | |
64 | # Skip the rest of the tests. | |
65 | return | |
66 | } | |
bc5065a7 PA |
67 | |
68 | set pc_after_stepping "" | |
69 | set msg "pc after stepping" | |
70 | gdb_test_multiple "print/x \$pc" $msg { | |
71 | -re "\\\$$decimal = (\[^\r\n\]*)\r\n$gdb_prompt $" { | |
72 | set pc_after_stepping $expect_out(1,string) | |
73 | pass $msg | |
74 | } | |
75 | } | |
76 | ||
77 | # There should be at least two instructions between | |
78 | # PC_BEFORE_STEPPING and PC_AFTER_STEPPING. | |
79 | gdb_test "disassemble ${pc_before_stepping},${pc_after_stepping}" \ | |
80 | "${hex} <main\\+${decimal}>:.*${hex} <main\\+${decimal}>:.*" \ | |
81 | "stepped multiple insns" | |
82 | } | |
83 | ||
84 | # Check that range stepping can step over a function. | |
85 | ||
86 | with_test_prefix "step over func" { | |
87 | ||
88 | set line_num [gdb_get_line_number "location 2"] | |
89 | gdb_test "where" "main \\(\\) at .*${srcfile}:${line_num}.*" | |
90 | ||
91 | # It's expected to get three stops and two 'vCont;r's. In the C | |
92 | # code, the line of C source produces roughly the following | |
93 | # instructions: | |
94 | # | |
95 | # addr1: | |
96 | # insn1 | |
97 | # insn2 | |
98 | # ... | |
99 | # call func1 | |
100 | # addr2: | |
101 | # ... | |
102 | # insn3 | |
103 | # addr3: | |
104 | # insn4 | |
105 | # | |
106 | # Something like this will happen: | |
107 | # --> vCont;rADDR1,ADDR3 (range step from ADDR1 to ADDR3) | |
108 | # <-- T05 (target single-stepped to func, which is out of the step range) | |
109 | # --> $Z0,ADDR2 (place step-resume breakpoint at ADDR2) | |
110 | # --> vCont;c (resume) | |
111 | # <-- T05 (target stops at ADDR2) | |
112 | # --> vCont;rADDR1,ADDR3 (continues range stepping) | |
113 | # <-- T05 | |
80f0110c | 114 | exec_cmd_expect_vCont_count "next" 2 |
bc5065a7 PA |
115 | } |
116 | ||
117 | # Check that breakpoints interrupt range stepping correctly. | |
118 | ||
119 | with_test_prefix "breakpoint" { | |
120 | gdb_breakpoint "func1" | |
121 | # Something like this will happen: | |
122 | # --> vCont;rADDR1,ADDR3 | |
123 | # <-- T05 (target single-steps to func1, which is out of the step range) | |
124 | # --> $Z0,ADDR2 (step-resume breakpoint at ADDR2) | |
125 | # --> vCont;c (resume) | |
126 | # <-- T05 (target hits the breakpoint at func1) | |
80f0110c | 127 | exec_cmd_expect_vCont_count "next" 1 |
bc5065a7 PA |
128 | |
129 | gdb_test "backtrace" "#0 .* func1 .*#1 .* main .*" \ | |
130 | "backtrace from func1" | |
131 | ||
132 | # A cancelled range step should not confuse the following | |
133 | # execution commands. | |
80f0110c | 134 | exec_cmd_expect_vCont_count "stepi" 0 |
bc5065a7 PA |
135 | gdb_test "finish" ".*" |
136 | gdb_test "next" ".*" | |
137 | delete_breakpoints | |
138 | } | |
139 | ||
140 | # Check that range stepping works well even when there's a loop in the | |
141 | # step range. | |
142 | ||
143 | with_test_prefix "loop" { | |
144 | ||
145 | # GDB should send one vCont;r and receive one stop reply: | |
146 | # --> vCont;rSTART,END (range step) | |
147 | # <-- T05 | |
80f0110c | 148 | exec_cmd_expect_vCont_count "next" 1 |
bc5065a7 PA |
149 | |
150 | # Confirm the loop completed. | |
151 | gdb_test "print a" " = 15" | |
152 | gdb_test "print e" " = 105" | |
153 | } | |
154 | ||
155 | # Check that range stepping works well even when the target's PC was | |
156 | # already within the loop's body. | |
157 | ||
158 | with_test_prefix "loop 2" { | |
159 | # Stepi into the loop body. 15 should be large enough to make | |
160 | # sure the program stops within the loop's body. | |
161 | gdb_test "stepi 15" ".*" | |
162 | # GDB should send one vCont;r and receive one stop reply: | |
163 | # --> vCont;rSTART,END (range step) | |
164 | # <-- T05 | |
80f0110c | 165 | exec_cmd_expect_vCont_count "next" 1 |
bc5065a7 PA |
166 | |
167 | # Confirm the loop completed. | |
168 | gdb_test "print a" " = 15" | |
169 | gdb_test "print e" " = 105" | |
170 | } | |
171 | ||
172 | # Check that range stepping works well even when it is interrupted by | |
173 | # ctrl-c. | |
174 | ||
87a3a92c SL |
175 | if ![target_info exists gdb,nointerrupts] { |
176 | with_test_prefix "interrupt" { | |
177 | gdb_test_no_output "set debug remote 1" | |
178 | ||
179 | send_gdb "next\n" | |
180 | sleep 1 | |
181 | send_gdb "\003" | |
182 | ||
183 | # GDB should send one vCont;r and receive one stop reply for | |
184 | # SIGINT: | |
185 | # --> vCont;rSTART,END (range step) | |
186 | # <-- T02 (SIGINT) | |
187 | ||
188 | set vcont_r_counter 0 | |
189 | ||
190 | set test "send ctrl-c to GDB" | |
191 | gdb_test_multiple "" $test { | |
192 | -re "vCont;r\[^\r\n\]*\.\.\." { | |
193 | incr vcont_r_counter | |
194 | exp_continue | |
195 | } | |
196 | -re "Program received signal SIGINT.*$gdb_prompt $" { | |
197 | pass $test | |
198 | } | |
bc5065a7 | 199 | } |
87a3a92c SL |
200 | gdb_test_no_output "set debug remote 0" |
201 | ||
202 | # Check the number of 'vCont;r' packets. | |
203 | if { $vcont_r_counter == 1 } { | |
204 | pass "${test}: 1 vCont;r" | |
205 | } else { | |
206 | fail "${test}: 1 vCont;r" | |
bc5065a7 | 207 | } |
bc5065a7 | 208 | |
87a3a92c SL |
209 | # Break the loop earlier and continue range stepping. |
210 | gdb_test "set variable c = 0" | |
211 | exec_cmd_expect_vCont_count "next" 1 | |
bc5065a7 | 212 | } |
bc5065a7 PA |
213 | } |
214 | ||
215 | # Check that range stepping doesn't break software watchpoints. With | |
216 | # those, GDB needs to be notified of all single-steps, to evaluate | |
217 | # whether the watched value changes at each step. | |
218 | with_test_prefix "software watchpoint" { | |
219 | gdb_test "step" "soft-watch.*" "step into multiple instruction line" | |
220 | # A software watchpoint at PC makes the thread stop before the | |
221 | # whole line range is over (after one single-step, actually). | |
222 | gdb_test "watch \$pc" ".*" "set watchpoint" | |
223 | gdb_test "step" "soft-watch.*" "step still in same line" | |
224 | } | |
225 | ||
226 | return 0 |