eliminate refcount from _CALL_ISINSTANCE

python · noamcohen97 · Jun 28, 2025 · Jun 28, 20 8000 25 · Jun 28, 2025 · Jun 28, 2025
commit a2860043854fe10ce941b7aab18da66f1324a429
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
@@ -4349,7 +4349,7 @@ dummy_func(
             DEOPT_IF(callable_o != interp->callable_cache.isinstance);
         }
 
-        op(_CALL_ISINSTANCE, (callable, null, instance, cls -- res)) {
+        op(_CALL_ISINSTANCE, (callable, null, instance, cls -- res, i, c)) {
             /* isinstance(o, o2) */
             STAT_INC(CALL, hit);
             PyObject *inst_o = PyStackRef_AsPyObjectBorrow(instance);
@@ -4358,11 +4358,9 @@ dummy_func(
             if (retval < 0) {
                 ERROR_NO_POP();
             }
-            (void)null; // Silence compiler warnings about unused variables
-            PyStackRef_CLOSE(cls);
-            PyStackRef_CLOSE(instance);
-            DEAD(null);
-            PyStackRef_CLOSE(callable);
+            INPUTS_DEAD();
+            i = instance;
+            c = cls;
             res = retval ? PyStackRef_True : PyStackRef_False;
             assert((!PyStackRef_IsNull(res)) ^ (_PyErr_Occurred(tstate) != NULL));
         }
@@ -4372,7 +4370,9 @@ dummy_func(
             unused/2 +
             _GUARD_THIRD_NULL +
             _GUARD_CALLABLE_ISINSTANCE +
-            _CALL_ISINSTANCE;
+            _CALL_ISINSTANCE +
+            POP_TOP +
+            POP_TOP;
 
         macro(CALL_LIST_APPEND) =
             unused/1 +
@@ -5360,6 +5360,19 @@ dummy_func(
             value = PyStackRef_FromPyObjectBorrow(ptr);
         }
 
+        tier2 op(_SWAP_CALL_TWO_LOAD_CONST_INLINE_BORROW, (ptr/4, callable, null, instance, cls -- value, i, c)) {
+            PyStackRef_CLOSE(cls);
+            PyStackRef_CLOSE(instance);
+            (void)null; // Silence compiler warnings about unused variables
+            (void)callable;
+            DEAD(null);
+            DEAD(callable);
+            assert(_Py_IsImmortal(PyStackRef_AsPyObjectBorrow(callable)));
+            value = PyStackRef_FromPyObjectBorrow(ptr);
+            i = instance;
+            c = cls;
+        }
+
         tier2 op(_LOAD_CONST_UNDER_INLINE, (ptr/4, old -- value, new)) {
             new = old;
             DEAD(old);

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
@@ -567,6 +567,7 @@ const uint16_t op_without_push[MAX_UOP_ID + 1] = {
     [_POP_TOP_LOAD_CONST_INLINE_BORROW] = _POP_TOP,
     [_POP_TWO_LOAD_CONST_INLINE_BORROW] = _POP_TWO,
     [_POP_CALL_TWO_LOAD_CONST_INLINE_BORROW] = _POP_CALL_TWO,
+    [_SWAP_CALL_TWO_LOAD_CONST_INLINE_BORROW] = _POP_CALL_TWO_LOAD_CONST_INLINE_BORROW,
 };
 
 const bool op_skip[MAX_UOP_ID + 1] = {

@@ -567,6 +567,12 @@ dummy_func(void) {
         value = PyJitRef_Borrow(sym_new_const(ctx, ptr));
     }
 
+    op(_SWAP_CALL_TWO_LOAD_CONST_INLINE_BORROW, (ptr/4, unused, unused, instance, cls -- value, i, c)) {
+        value = PyJitRef_Borrow(sym_new_const(ctx, ptr));
+        i = instance;
+        c = cls;
+    }
+
     op(_POP_TOP, (value -- )) {
         PyTypeObject *typ = sym_get_type(value);
         if (PyJitRef_IsBorrowed(value) ||
@@ -997,7 +1003,7 @@ dummy_func(void) {
         }
     }
 
-    op(_CALL_ISINSTANCE, (unused, unused, instance, cls -- res)) {
+    op(_CALL_ISINSTANCE, (unused, unused, instance, cls -- res, unused, unused)) {
         // the result is always a bool, but sometimes we can
         // narrow it down to True or False
         res = sym_new_type(ctx, &PyBool_Type);
@@ -1013,7 +1019,8 @@ dummy_func(void) {
                 out = Py_True;
             }
             sym_set_const(res, out);
-            REPLACE_OP(this_instr, _POP_CALL_TWO_LOAD_CONST_INLINE_BORROW, 0, (uintptr_t)out);
+
+            REPLACE_OP(this_instr, _SWAP_CALL_TWO_LOAD_CONST_INLINE_BORROW, 0, (uintptr_t)out);
         }
     }
 

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