Bump the magic number and create optimized _POP_TOP variants

Include/internal/pycore_magic_number.h

@@ -262,6 +262,7 @@ Known values:
     Python 3.14a1 3607 (Add pseudo instructions JUMP_IF_TRUE/FALSE)
     Python 3.14a1 3608 (Add support for slices)
     Python 3.14a2 3609 (Add LOAD_SMALL_INT and LOAD_CONST_IMMORTAL instructions, remove RETURN_CONST)
+    Python 3.14a3 3610 (Use additional scratch space for BINARY_OP)
 
     Python 3.15 will start with 3650
 
@@ -274,7 +275,7 @@ PC/launcher.c must also be updated.
 
 */
 
-#define PYC_MAGIC_NUMBER 3609
+#define PYC_MAGIC_NUMBER 3610
 /* This is equivalent to converting PYC_MAGIC_NUMBER to 2 bytes
    (little-endian) and then appending b'\r\n'. */
 #define PYC_MAGIC_NUMBER_TOKEN \

Python/bytecodes.c

@@ -329,6 +329,30 @@ dummy_func(
             DECREF_INPUTS();
         }
 
+        pure op(_POP_TOP_IMMORTAL, (pop --)) {
+            PyObject *pop_o = PyStackRef_AsPyObjectBorrow(pop);
+            assert(_Py_IsImmortal(pop_o));
+            INPUTS_DEAD();
+        }
+
+        pure op(_POP_TOP_INT, (pop --)) {
+            PyObject *pop_o = PyStackRef_AsPyObjectBorrow(pop);
+            assert(PyLong_CheckExact(pop_o));
+            PyStackRef_CLOSE_SPECIALIZED(pop, (destructor)PyObject_Free);
+        }
+
+        pure op(_POP_TOP_FLOAT, (pop --)) {
+            PyObject *pop_o = PyStackRef_AsPyObjectBorrow(pop);
+            assert(PyFloat_CheckExact(pop_o));
+            PyStackRef_CLOSE_SPECIALIZED(pop, _PyFloat_ExactDealloc);
+        }
+
+        pure op(_POP_TOP_UNICODE, (pop --)) {
+            PyObject *pop_o = PyStackRef_AsPyObjectBorrow(pop);
+            assert(PyUnicode_CheckExact(pop_o));
+            PyStackRef_CLOSE_SPECIALIZED(pop, _PyUnicode_ExactDealloc);
+        }
+
         pure inst(PUSH_NULL, (-- res)) {
             res = PyStackRef_NULL;
         }

Python/optimizer_bytecodes.c

@@ -485,6 +485,12 @@ dummy_func(void) {
         top_out = top_in;
     }
 
+    op(_SWAP_2, (bottom_in, skip_in, top_in -- top_out, skip_out, bottom_out)) {
+        bottom_out = bottom_in;
+        skip_out = skip_in;
+        top_out = top_in;
+    }
+
     op(_LOAD_ATTR_INSTANCE_VALUE, (offset/1, owner -- attr, null if (oparg & 1))) {
         attr = sym_new_not_null(ctx);
         null = sym_new_null(ctx);
@@ -875,6 +881,21 @@ dummy_func(void) {
         self_or_null = sym_new_unknown(ctx);
     }
 
+    op(_POP_TOP, (pop --)) {
+        if (sym_is_const(pop) && _Py_IsImmortal(pop)) {
+            REPLACE_OP(this_instr, _POP_TOP_IMMORTAL, 0, 0);
+        }
+        else if (sym_matches_type(pop, &PyLong_Type)) {
+            REPLACE_OP(this_instr, _POP_TOP_INT, 0, 0);
+        }
+        else if (sym_matches_type(pop, &PyFloat_Type)) {
+            REPLACE_OP(this_instr, _POP_TOP_FLOAT, 0, 0);
+        }
+        else if (sym_matches_type(pop, &PyUnicode_Type)) {
+            REPLACE_OP(this_instr, _POP_TOP_UNICODE, 0, 0);
+        }
+    }
+
     op(_JUMP_TO_TOP, (--)) {
         ctx->done = true;
     }