diff --git a/gcc/config/i386/i386.md b/gcc/config/i386/i386.md
index adc4ff6c0023..a11ebdb3d5a7 100644
--- a/gcc/config/i386/i386.md
+++ b/gcc/config/i386/i386.md
@@ -6081,7 +6081,9 @@
 }")
 
 (define_insn "leave"
-  [(const_int 2)]
+  [(const_int 2)
+      (clobber (reg:SI 6))
+      (clobber (reg:SI 7))]
   ""
   "leave")