Jun 28, 2025 · Jun 28, 2025 · Jun 28, 2025 · Jun 28, 2025 · Jun 28, 2025 · Jun 28, 2025
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/Python/bytecodes.c b/Python/bytecodes.c
            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);
            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));
        }
            unused/2 +
            _GUARD_THIRD_NULL +
            _GUARD_CALLABLE_ISINSTANCE +
            _CALL_ISINSTANCE;
            _CALL_ISINSTANCE +
            POP_TOP +
            POP_TOP;

        macro(CALL_LIST_APPEND) =
            unused/1 +
            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
diff --git a/Python/optimizer_analysis.c b/Python/optimizer_analysis.c
    [_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] = {
diff --git a/Python/optimizer_bytecodes.c b/Python/optimizer_bytecodes.c
        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) ||
        }
    }

    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);
                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
Original file line number	Diff line number	Diff line change
Expand Up		@@ -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);
Expand All		@@ -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));
		}
Expand All		@@ -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 +
Expand DownExpand Up		@@ -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);
Expand Down
Original file line number	Diff line number	Diff line change
Expand Up		@@ -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] = {
Expand Down
Original file line number	Diff line number	Diff line change
Expand Up		@@ -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) \|\|
Expand DownExpand Up		@@ -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);
Expand All		@@ -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);
		}
		}

Expand Down