CORE_ADDR addr, unsigned len_rw_bits)
 {
   int i, retval = -1;
+  int all_vacant = 1;
 
   ALL_DEBUG_REGISTERS (i)
     {
              /* Reset our mirror.  */
              state->dr_mirror[i] = 0;
              I386_DR_DISABLE (state, i);
+             /* Even though not strictly necessary, clear out all
+                bits in DR_CONTROL related to this debug register.
+                Debug output is clearer when we don't have stale bits
+                in place.  This also allows the assertion below.  */
+             I386_DR_SET_RW_LEN (state, i, 0);
            }
          retval = 0;
        }
+
+      if (!I386_DR_VACANT (state, i))
+       all_vacant = 0;
     }
 
+  if (all_vacant)
+    {
+      /* Even though not strictly necessary, clear out all of
+        DR_CONTROL, so that when we have no debug registers in use,
+        we end up with DR_CONTROL == 0.  The Linux support relies on
+        this for an optimization.  Plus, it makes for clearer debug
+        output.  */
+      state->dr_control_mirror &= ~DR_LOCAL_SLOWDOWN;
+
+      gdb_assert (state->dr_control_mirror == 0);
+    }
   return retval;
 }
 
 
--- /dev/null
+/* This testcase is part of GDB, the GNU debugger.
+
+   Copyright 2014 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/>.  */
+
+union aligned_buf
+{
+  char byte[12];
+
+  /* So that testing consistently starts on an aligned address.  */
+  unsigned long long force_align;
+};
+
+union aligned_buf buf;
+
+int
+main (void)
+{
+  volatile int i = 0;
+
+  /* Must be a single line.  */
+  for (i = 0; i < 100000; i++); /* stepi line */
+
+  return 0;
+}
 
--- /dev/null
+# Copyright 2014 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 alternating between watchpoint types, watching a sliding window
+# of addresses (thus alternating between aligned and unaligned
+# addresses).  Only a single watchpoint exists at any given time.  On
+# targets that only update the debug registers on resume, this
+# stresses the debug register setup code, both in GDB and in the
+# target/kernel as one watchpoint replaces the other in a single
+# operation.  (Note that we don't have any of these watchpoints
+# trigger.)
+
+if [target_info exists gdb,no_hardware_watchpoints] {
+    unsupported "no target support"
+    return
+}
+
+standard_testfile
+
+if {[prepare_for_testing "failed to prepare" $testfile $srcfile debug]} {
+    return -1
+}
+
+if ![runto_main] then {
+    fail "Can't run to main"
+    return 0
+}
+
+# The line we'll be stepping.
+set srcline [gdb_get_line_number "stepi line"]
+
+# The address the program is stopped at currently.
+set cur_addr ""
+
+# Get the current PC.
+
+proc get_pc {} {
+    global hex gdb_prompt
+
+    set addr ""
+    set test "get PC"
+    gdb_test_multiple "p /x \$pc" "$test" {
+       -re " = ($hex).*$gdb_prompt $" {
+           set addr $expect_out(1,string)
+           pass "$test"
+       }
+    }
+
+    return $addr
+}
+
+
+# Issue a stepi, and make sure the program advanced past the current
+# instruction (stored in the CUR_ADDR global).
+
+proc stepi {} {
+    global hex gdb_prompt cur_addr
+
+    set srcline "  for (i = 0; i < 100000; i++); /* stepi line */"
+    set test "stepi advanced"
+    gdb_test_multiple "stepi" $test {
+       -re "($hex).*[string_to_regexp $srcline]\r\n$gdb_prompt $" {
+           set addr $expect_out(1,string)
+           if {$addr != $cur_addr} {
+               pass $test
+           } else {
+               fail $test
+           }
+           set cur_addr addr
+       }
+    }
+}
+
+gdb_breakpoint $srcline
+gdb_continue_to_breakpoint "stepi line"
+
+# The test tries various sequences of different types of watchpoints.
+# Probe for support first.
+
+# So we get an immediate warning/error if the target doesn't support a
+# given watchpoint type.
+gdb_test_no_output "set breakpoint always-inserted on"
+
+# The list of supported commands.  Below we'll probe for support and
+# add elements to this list.
+set cmds {}
+
+foreach cmd {"watch" "awatch" "rwatch"} {
+    set test $cmd
+    gdb_test_multiple "$cmd buf.byte\[0\]" $test {
+       -re "You may have requested too many.*$gdb_prompt $" {
+           unsupported $test
+       }
+       -re "$gdb_prompt $" {
+           pass $test
+           lappend cmds $cmd
+       }
+    }
+
+   delete_breakpoints
+}
+
+set test "hbreak"
+gdb_test_multiple "hbreak main" $test {
+    -re "You may have requested too many.*$gdb_prompt $" {
+       pass $test
+    }
+    -re "$gdb_prompt $" {
+       pass $test
+       lappend cmds "hbreak"
+    }
+}
+
+delete_breakpoints
+
+set cur_addr [get_pc]
+
+# Watch WIDTH bytes at BASE + OFFSET.  CMD specifices the specific
+# type of watchpoint to use.  If CMD is "hbreak", WIDTH is ignored.
+
+proc watch_command {cmd base offset width} {
+    global srcfile srcline hex
+
+    if {$cmd == "hbreak"} {
+       set expr "*(buf.byte + $base + $offset)"
+       gdb_test "hbreak $expr" "Hardware assisted breakpoint \[0-9\]+ at $hex"
+    } elseif {$cmd == "watch"} {
+       set expr "*(buf.byte + $base + $offset)@$width"
+       gdb_test "$cmd $expr" \
+           "Hardware watchpoint \[0-9\]+: [string_to_regexp $expr]"
+    } elseif {$cmd == "awatch"} {
+       set expr "*(buf.byte + $base + $offset)@$width"
+       gdb_test "$cmd $expr" \
+           "Hardware access \\(read/write\\) watchpoint \[0-9\]+: [string_to_regexp $expr]"
+    } elseif {$cmd == "rwatch"} {
+       set expr "*(buf.byte + $base + $offset)@$width"
+       gdb_test "$cmd $expr" \
+           "Hardware read watchpoint \[0-9\]+: [string_to_regexp $expr]"
+    }
+}
+
+# Run test proper.  See intro for description.
+
+foreach always_inserted {"off" "on" } {
+    gdb_test_no_output "set breakpoint always-inserted $always_inserted"
+    foreach cmd1 $cmds {
+       foreach cmd2 $cmds {
+           for {set width 1} {$width < 4} {incr width} {
+
+               if {$cmd1 == "hbreak" && $cmd2 == "hbreak" && $width > 1} {
+                   # hbreak ignores WIDTH, no use testing more than
+                   # once.
+                   continue
+               }
+
+               for {set x 0} {$x < 4} {incr x} {
+                   set prefix "always-inserted $always_inserted: "
+                   append prefix "$cmd1 x $cmd2: "
+                   with_test_prefix "$prefix: width $width, iter $x" {
+                       with_test_prefix "base + 0" {
+                           watch_command $cmd1 $x 0 $width
+                           stepi
+                           gdb_test_no_output "delete \$bpnum"
+                       }
+                       with_test_prefix "base + 1" {
+                           watch_command $cmd2 $x 1 $width
+                           stepi
+                           gdb_test_no_output "delete \$bpnum"
+                       }
+                   }
+               }
+           }
+       }
+    }
+}