gdb/testsuite/gdb.arch/i386-dr3-watch.exp

   1 # Copyright 2011-2024 Free Software Foundation, Inc.
   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 require {is_any_target "i?86-*-*" "x86_64-*-*"}
  23
  24 standard_testfile
  25
  26 if [prepare_for_testing "failed to prepare" ${binfile} ${srcfile} {debug $additional_flags}] {
  27     return -1
  28 }
  29
  30 if {![runto_main]} {
  31     return -1
  32 }
  33
  34 gdb_test_no_output "set breakpoint always-inserted on"
  35
  36 # Test that we handle watchpoints in all of DR0-DR3.
  37
  38 gdb_test "watch i1" "Hardware watchpoint .*: i1"
  39 gdb_test "watch i2" "Hardware watchpoint .*: i2"
  40 gdb_test "watch i3" "Hardware watchpoint .*: i3"
  41 gdb_test "watch i4" "Hardware watchpoint .*: i4"
  42
  43 gdb_test "c" "Hardware watchpoint.*: i1.*" "continue to i1 watchpoint"
  44 gdb_test "c" "Hardware watchpoint.*: i2.*" "continue to i2 watchpoint"
  45 gdb_test "c" "Hardware watchpoint.*: i3.*" "continue to i3 watchpoint"
  46 gdb_test "c" "Hardware watchpoint.*: i4.*" "continue to i4 watchpoint"
  47
  48 delete_breakpoints
  49
  50 # Regression test for a bug where the i386 watchpoints support backend
  51 # would leave some debug registers occupied even if not enough debug
  52 # registers were available to cover a single watchpoint location.
  53
  54 gdb_test "watch i1" \
  55     "Hardware watchpoint .*: i1" \
  56     "set watchpoint occuping one debug register"
  57
  58 # gap1 too long to fit the 3 left over debug registers (but would fit
  59 # 4 if all were available).
  60 set test "watchpoint on gap1 does not fit debug registers"
  61 gdb_test_multiple "watch gap1" "$test" {
  62     -re "Hardware watchpoint .*: gap1.*Warning:.*Could not insert hardware watchpoint.*You may have requested too many.*\r\n$gdb_prompt $" {
  63         pass $test
  64     }
  65     -re "Hardware watchpoint .*: gap1\r\n$gdb_prompt $" {
  66         pass "$test (target emulates hardware watchpoints)"
  67         return
  68     }
  69     -re "Watchpoint .*: gap1\r\n$gdb_prompt $" {
  70         pass "$test (gdb figured out itself the watchpoint does not fit)"
  71         return
  72     }
  73 }
  74
  75 # Start over.
  76 gdb_test "delete" \
  77     "" \
  78     "delete all watchpoints" \
  79     {Delete all breakpoints\? \(y or n\) $} \
  80     "y"
  81
  82 # If debug registers were left occupied by mistake, we'll fail to set
  83 # some of these watchpoints.  Each watchpoint should fit in one of the
  84 # 4 debug registers available.
  85 gdb_test "watch i1" "Hardware watchpoint .*: i1" "watch i1 still fits"
  86 gdb_test "watch i2" "Hardware watchpoint .*: i2" "watch i2 still fits"
  87 gdb_test "watch i3" "Hardware watchpoint .*: i3" "watch i3 still fits"
  88 gdb_test "watch i4" "Hardware watchpoint .*: i4" "watch i4 still fits"