1 # Copyright 2014-2017 Free Software Foundation, Inc.
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.
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.
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/>.
16 # This file is part of the gdb testsuite
20 if { [prepare_for_testing "failed to prepare" $testfile $srcfile] } {
28 # Delete all target-supplied memory regions.
33 # Probe for hardware stepping.
35 proc probe_target_hardware_step {} {
40 gdb_test_no_output "set debug target 1"
41 set test "probe target hardware step"
42 gdb_test_multiple "si" $test {
43 -re "to_resume \\(\[^\r\n\]+, step, .*$gdb_prompt $" {
51 gdb_test "set debug target 0" "->to_log_command.*\\).*"
55 # Get the bounds of a function, and write them to FUNC_LO (inclusive),
56 # FUNC_HI (exclusive). Return true on success and false on failure.
57 proc get_function_bounds {function func_lo func_hi} {
67 set test "get lo address of $function"
68 gdb_test_multiple "disassemble $function" $test {
69 -re "($hex) .*$hex <\\+($decimal)>:\[^\r\n\]+\r\nEnd of assembler dump\.\r\n$gdb_prompt $" {
70 set lo $expect_out(1,string)
71 set size $expect_out(2,string)
76 if { $lo == "" || $size == "" } {
80 # Account for the size of the last instruction.
81 set test "get hi address of $function"
82 gdb_test_multiple "x/2i $function+$size" $test {
83 -re ".*$hex <$function\\+$size>:\[^\r\n\]+\r\n\[ \]+($hex).*\.\r\n$gdb_prompt $" {
84 set hi $expect_out(1,string)
93 # Remove unnecessary leading 0's (0x00000ADDR => 0xADDR) so we can
94 # easily do matches. Disassemble includes leading zeros, while
96 regsub -all "0x0\+" $lo "0x" lo
97 regsub -all "0x0\+" $hi "0x" hi
102 # Get the address where the thread is currently stopped.
103 proc get_curr_insn {} {
108 set test "get current insn"
109 gdb_test_multiple "p /x \$pc" $test {
110 -re " = ($hex)\r\n$gdb_prompt $" {
111 set pc $expect_out(1,string)
119 # Get the address of where a single-step should land.
120 proc get_next_insn {} {
125 set test "get next insn"
126 gdb_test_multiple "x/2i \$pc" $test {
127 -re "$hex .*:\[^\r\n\]+\r\n\[ \]+($hex).*\.\r\n$gdb_prompt $" {
128 set next $expect_out(1,string)
136 set hw_step [probe_target_hardware_step]
138 if ![get_function_bounds "main" main_lo main_hi] {
139 # Can't do the following tests if main's bounds are unknown.
143 # Manually create a read-only memory region that covers 'main'.
144 gdb_test_no_output "mem $main_lo $main_hi ro" \
145 "create read-only mem region covering main"
147 # So that we don't fail inserting breakpoints on addresses outside
148 # main, like the internal event breakpoints.
149 gdb_test_no_output "set mem inaccessible-by-default off"
151 # So we get an immediate warning/error without needing to resume the
153 gdb_test_no_output "set breakpoint always-inserted on"
155 # Disable the automatic fallback to HW breakpoints. We want a
156 # software breakpoint to be attempted, and to fail.
157 gdb_test_no_output "set breakpoint auto-hw off"
159 # Confirm manual writes to the read-only memory region fail.
160 gdb_test "p /x *(char *) $main_lo = 1" \
161 "Cannot access memory at address $main_lo" \
162 "writing to read-only memory fails"
164 # Ensure that inserting a software breakpoint in a known-read-only
166 gdb_test "break *$main_lo" \
167 "Cannot insert breakpoint .*Cannot set software breakpoint at read-only address $main_lo.*" \
168 "inserting software breakpoint in read-only memory fails"
172 set supports_hbreak 0
173 set test "probe hbreak support"
174 gdb_test_multiple "hbreak *$main_lo" $test {
175 -re "You may have requested too many.*$gdb_prompt $" {
176 pass "$test (no support)"
178 -re "No hardware breakpoint support.*$gdb_prompt $" {
179 pass "$test (no support)"
181 -re "$gdb_prompt $" {
182 pass "$test (support)"
183 set supports_hbreak 1
189 # Check that the "auto-hw on/off" setting affects single-step
190 # breakpoints as expected, by stepping through the read-only region.
191 # If the target does hardware stepping, we won't exercise that aspect,
192 # but we should be able to step through the region without seeing the
193 # hardware breakpoint or read-only address errors.
194 proc test_single_step { always_inserted auto_hw } {
198 global supports_hbreak
201 gdb_test_no_output "set breakpoint always-inserted $always_inserted"
202 gdb_test_no_output "set breakpoint auto-hw $auto_hw"
204 # Get the address of the current instruction so we know where SI is
206 set curr_insn [get_curr_insn]
208 # Get the address of the next instruction so we know where SI should
210 set next_insn [get_next_insn]
212 set test "step in ro region"
213 gdb_test_multiple "si" $test {
214 -re "Could not insert hardware breakpoints.*$gdb_prompt $" {
215 gdb_assert {!$hw_step && $auto_hw == "on" && !$supports_hbreak} \
216 "$test (cannot insert hw break)"
218 -re "Cannot set software breakpoint at read-only address $next_insn.*$gdb_prompt $" {
219 gdb_assert {!$hw_step && $auto_hw == "off"} \
220 "$test (cannot insert sw break)"
222 -re "^si\r\nNote: automatically using hardware breakpoints for read-only addresses\.\r\n\(\?\:${hex}\[ \t\]\)\?${decimal}\[ \t\]+i = 0;\r\n$gdb_prompt $" {
223 gdb_assert {!$hw_step && $auto_hw == "on" && $supports_hbreak} \
226 -re "^si\r\n\(\?\:${hex}\[ \t\]\)\?${decimal}\[ \t\]+i = 0;\r\n$gdb_prompt $" {
227 gdb_assert {$hw_step || ($auto_hw == "on" && $supports_hbreak)} \
232 gdb_test "maint info breakpoints 0" \
233 "No breakpoint or watchpoint matching '0'\." \
234 "single-step breakpoint is not left behind"
236 # Confirm the thread really advanced.
237 if {$hw_step || ($auto_hw == "on" && $supports_hbreak)} {
238 gdb_test "p /x \$pc" " = $next_insn" "thread advanced"
240 gdb_test "p /x \$pc" " = $curr_insn" "thread did not advance"
244 foreach always_inserted {"off" "on"} {
245 foreach auto_hw {"off" "on"} {
246 with_test_prefix "always-inserted $always_inserted: auto-hw $auto_hw" {
247 test_single_step $always_inserted $auto_hw