python · cocolato · Dec 18, 2025 · Dec 22, 2025 · Dec 22, 2025 · Jan 2, 2026
diff --git a/Include/internal/pycore_opcode_metadata.h b/Include/internal/pycore_opcode_metadata.h
diff --git a/Include/internal/pycore_uop_ids.h b/Include/internal/pycore_uop_ids.h
diff --git a/Include/internal/pycore_uop_metadata.h b/Include/internal/pycore_uop_metadata.h
diff --git a/Lib/test/test_capi/test_opt.py b/Lib/test/test_capi/test_opt.py
@@ -440,6 +440,24 @@ def testfunc(n, m):
         uops = get_opnames(ex)
         self.assertIn("_FOR_ITER_TIER_TWO", uops)
 
+    def test_unpack_sequence_two_tuple(self):
+        def testfunc(x):
+            i = 0
+            while i < x:
+                i += 1
+                t = (i, i)
+                a, b = t
+            return a, b
+
+        res = testfunc(TIER2_THRESHOLD)
+        self.assertEqual(res, (TIER2_THRESHOLD, TIER2_THRESHOLD))
+
+        ex = get_first_executor(testfunc)
+        self.assertIsNotNone(ex)
+        uops = get_opnames(ex)
+        self.assertIn("_UNPACK_SEQUENCE_TWO_TUPLE", uops)
+        self.assertNotIn("_POP_TOP", uops)
+
 
 @requires_specialization
 @unittest.skipIf(Py_GIL_DISABLED, "optimizer not yet supported in free-threaded builds")

@@ -1598,20 +1598,21 @@ dummy_func(
         macro(UNPACK_SEQUENCE) = _SPECIALIZE_UNPACK_SEQUENCE + _UNPACK_SEQUENCE;
 
         macro(UNPACK_SEQUENCE_TWO_TUPLE) =
-            _GUARD_TOS_TUPLE + unused/1 + _UNPACK_SEQUENCE_TWO_TUPLE;
+            _GUARD_TOS_TUPLE + unused/1 + _UNPACK_SEQUENCE_TWO_TUPLE + POP_TOP;
 
-        op(_UNPACK_SEQUENCE_TWO_TUPLE, (seq -- val1, val0)) {
+        op(_UNPACK_SEQUENCE_TWO_TUPLE, (seq -- val1, val0, s)) {
             assert(oparg == 2);
             PyObject *seq_o = PyStackRef_AsPyObjectBorrow(seq);
             assert(PyTuple_CheckExact(seq_o));
             DEOPT_IF(PyTuple_GET_SIZE(seq_o) != 2);
             STAT_INC(UNPACK_SEQUENCE, hit);
             val0 = PyStackRef_FromPyObjectNew(PyTuple_GET_ITEM(seq_o, 0));
             val1 = PyStackRef_FromPyObjectNew(PyTuple_GET_ITEM(seq_o, 1));
-            PyStackRef_CLOSE(seq);
+            s = seq;
+            INPUTS_DEAD();
         }
 
-        macro(UNPACK_SEQUENCE_TUPLE) =
+         macro(UNPACK_SEQUENCE_TUPLE) =
             _GUARD_TOS_TUPLE + unused/1 + _UNPACK_SEQUENCE_TUPLE;
 
         op(_UNPACK_SEQUENCE_TUPLE, (seq -- values[oparg])) {

diff --git a/Python/executor_cases.c.h b/Python/executor_cases.c.h
diff --git a/Python/generated_cases.c.h b/Python/generated_cases.c.h
@@ -1188,9 +1188,10 @@ dummy_func(void) {
         set = sym_new_type(ctx, &PySet_Type);
     }
 
-    op(_UNPACK_SEQUENCE_TWO_TUPLE, (seq -- val1, val0)) {
+    op(_UNPACK_SEQUENCE_TWO_TUPLE, (seq -- val1, val0, s)) {
         val0 = sym_tuple_getitem(ctx, seq, 0);
         val1 = sym_tuple_getitem(ctx, seq, 1);
+        s = seq;
     }
 
     op(_UNPACK_SEQUENCE_TUPLE, (seq -- values[oparg])) {

diff --git a/Python/optimizer_cases.c.h b/Python/optimizer_cases.c.h