python
diff --git a/‎Lib/test/test_capi/test_misc.py‎
Lines changed: 14 additions & 2 deletions b/‎Lib/test/test_capi/test_misc.py‎
Lines changed: 14 additions & 2 deletions
diff --git a/‎Python/ceval.c‎
Lines changed: 7 additions & 0 deletions b/‎Python/ceval.c‎
Lines changed: 7 additions & 0 deletions
diff --git a/‎Python/opcode_metadata.h‎
Lines changed: 28 additions & 26 deletions b/‎Python/opcode_metadata.h‎
Lines changed: 28 additions & 26 deletions
diff --git a/‎Python/optimizer.c‎
Lines changed: 13 additions & 2 deletions b/‎Python/optimizer.c‎
Lines changed: 13 additions & 2 deletions
diff --git a/‎Tools/cases_generator/generate_cases.py‎
Lines changed: 1 addition & 0 deletions b/‎Tools/cases_generator/generate_cases.py‎
Lines changed: 1 addition & 0 deletions
@@ -2525,7 +2525,6 @@ def testfunc(n):
                 i += 1
 
         opt = _testinternalcapi.get_uop_optimizer()
-
         with temporary_optimizer(opt):
             testfunc(10)
 
@@ -2541,7 +2540,6 @@ def testfunc(n):
                 i += 1
 
         opt = _testinternalcapi.get_uop_optimizer()
-
         with temporary_optimizer(opt):
             testfunc(10)
 
@@ -2550,6 +2548,20 @@ def testfunc(n):
         uops = {opname for opname, _ in ex}
         self.assertIn("_POP_JUMP_IF_TRUE", uops)
 
+    def test_jump_backward(self):
+        def testfunc(n):
+            i = 0
+            while i < n:
+                i += 1
+        opt = _testinternalcapi.get_uop_optimizer()
+        with temporary_optimizer(opt):
+            testfunc(10)
+
+        ex = get_first_executor(testfunc)
+        self.assertIsNotNone(ex)
+        uops = {opname for opname, _ in ex}
+        self.assertIn("JUMP_TO_TOP", uops)
+
 
 if __name__ == "__main__":
     unittest.main()
@@ -2783,6 +2783,13 @@ _PyUopExecute(_PyExecutorObject *executor, _PyInterpreterFrame *frame, PyObject
                 break;
             }
 
+            case JUMP_TO_TOP:
+            {
+                pc = 0;
+                CHECK_EVAL_BREAKER();
+                break;
+            }
+
             case SAVE_IP:
             {
                 frame->prev_instr = ip_offset + oparg;
 
@@ -372,9 +372,7 @@ translate_bytecode_to_trace(
     _PyUOpInstruction *trace,
     int buffer_size)
 {
-#ifdef Py_DEBUG
     _Py_CODEUNIT *initial_instr = instr;
-#endif
     int trace_length = 0;
     int max_length = buffer_size;
 
@@ -456,6 +454,19 @@ translate_bytecode_to_trace(
                 break;
             }
 
+            case JUMP_BACKWARD:
+            {
+                if (instr + 2 - oparg == initial_instr
+                    && trace_length + 3 <= max_length)
+                {
+                    ADD_TO_TRACE(JUMP_TO_TOP, 0);
+                }
+                else {
+                    DPRINTF(2, "JUMP_BACKWARD not to top ends trace\n");
+                }
+                goto done;
+            }
+
             default:
             {
                 const struct opcode_macro_expansion *expansion = &_PyOpcode_macro_expansion[opcode];
 
@@ -1346,6 +1346,7 @@ def add(name: str) -> None:
         add("SAVE_IP")
         add("_POP_JUMP_IF_FALSE")
         add("_POP_JUMP_IF_TRUE")
+        add("JUMP_TO_TOP")
 
         for instr in self.instrs.values():
             if instr.kind == "op" and instr.is_viable_uop():
Original file line number	Diff line number	Diff line change
`@@ -2783,6 +2783,13 @@ _PyUopExecute(_PyExecutorObject executor, _PyInterpreterFrame frame, PyObject`
`2783`	`2783`	`break;`
`2784`	`2784`	`}`
`2785`	`2785`
	`2786`	`+ case JUMP_TO_TOP:`
	`2787`	`+ {`
	`2788`	`+ pc = 0;`
	`2789`	`+ CHECK_EVAL_BREAKER();`
	`2790`	`+ break;`
	`2791`	`+ }`
	`2792`	`+`
`2786`	`2793`	`case SAVE_IP:`
`2787`	`2794`	`{`
`2788`	`2795`	`frame->prev_instr = ip_offset + oparg;`