Commit | Line | Data |
---|---|---|
0b302171 | 1 | # Copyright 2011-2012 Free Software Foundation, Inc. |
0a5b1e09 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 | # x86 and amd64 gdbserver had a bug where a watchpoint triggered by | |
17 | # the DR3 debug register would trip on a bogus assertion. | |
18 | ||
19 | # This test relies on being able to set 4 hardware watchpoints. Since | |
20 | # that is not a valid assumption across most targets, and we're | |
21 | # testing a x86 specific bug, skip everywhere else. | |
22 | if { ![istarget "i?86-*-*"] && ![istarget "x86_64-*-*"] } then { | |
23 | return 0 | |
24 | } | |
25 | ||
26 | set testfile "i386-dr3-watch" | |
27 | set srcfile ${testfile}.c | |
28 | ||
29 | if [prepare_for_testing ${testfile}.exp ${testfile} ${srcfile} {debug $additional_flags}] { | |
30 | untested "failed to compile ${testfile}" | |
31 | return -1 | |
32 | } | |
33 | ||
34 | if ![runto_main] then { | |
35 | untested "could not run to main" | |
36 | return -1 | |
37 | } | |
38 | ||
39 | gdb_test_no_output "set breakpoint always-inserted on" | |
40 | ||
1ced966e PA |
41 | # Test that we handle watchpoints in all of DR0-DR3. |
42 | ||
0a5b1e09 PA |
43 | gdb_test "watch i1" "Hardware watchpoint .*: i1" |
44 | gdb_test "watch i2" "Hardware watchpoint .*: i2" | |
45 | gdb_test "watch i3" "Hardware watchpoint .*: i3" | |
46 | gdb_test "watch i4" "Hardware watchpoint .*: i4" | |
47 | ||
48 | gdb_test "c" "Hardware watchpoint.*: i1.*" "continue to i1 watchpoint" | |
49 | gdb_test "c" "Hardware watchpoint.*: i2.*" "continue to i2 watchpoint" | |
50 | gdb_test "c" "Hardware watchpoint.*: i3.*" "continue to i3 watchpoint" | |
51 | gdb_test "c" "Hardware watchpoint.*: i4.*" "continue to i4 watchpoint" | |
1ced966e PA |
52 | |
53 | delete_breakpoints | |
54 | ||
55 | # Regression test for a bug where the i386 watchpoints support backend | |
56 | # would leave some debug registers occupied even if not enough debug | |
57 | # registers were available to cover a single watchpoint location. | |
58 | ||
59 | gdb_test "watch i1" \ | |
60 | "Hardware watchpoint .*: i1" \ | |
61 | "set watchpoint occuping one debug register" | |
62 | ||
63 | # gap1 too long to fit the 3 left over debug registers (but would fit | |
64 | # 4 if all were available). | |
65 | set test "watchpoint on gap1 does not fit debug registers" | |
66 | gdb_test_multiple "watch gap1" "$test" { | |
c1049fca | 67 | -re "Hardware watchpoint .*: gap1.*Warning:.*Could not insert hardware watchpoint.*You may have requested too many.*\r\n$gdb_prompt $" { |
1ced966e PA |
68 | pass $test |
69 | } | |
70 | -re "Hardware watchpoint .*: gap1\r\n$gdb_prompt $" { | |
71 | pass "$test (target emulates hardware watchpoints)" | |
72 | return | |
73 | } | |
74 | -re "Watchpoint .*: gap1\r\n$gdb_prompt $" { | |
75 | pass "$test (gdb figured out itself the watchpoint does not fit)" | |
76 | return | |
77 | } | |
78 | } | |
79 | ||
80 | # Start over. | |
81 | gdb_test "delete" \ | |
82 | "" \ | |
83 | "delete all watchpoints" \ | |
c1049fca | 84 | {Delete all breakpoints\? \(y or n\) $} \ |
1ced966e PA |
85 | "y" |
86 | ||
87 | # If debug registers were left occupied by mistake, we'll fail to set | |
88 | # some of these watchpoints. Each watchpoint should fit in one of the | |
89 | # 4 debug registers available. | |
90 | gdb_test "watch i1" "Hardware watchpoint .*: i1" "watch i1 still fits" | |
91 | gdb_test "watch i2" "Hardware watchpoint .*: i2" "watch i2 still fits" | |
92 | gdb_test "watch i3" "Hardware watchpoint .*: i3" "watch i3 still fits" | |
93 | gdb_test "watch i4" "Hardware watchpoint .*: i4" "watch i4 still fits" |