Dec 18, 2025 · Dec 18, 2025 · Dec 18, 2025
diff --git a/Lib/test/test_capi/test_opt.py b/Lib/test/test_capi/test_opt.py
        for _ in range(TIER2_THRESHOLD+1):
            obj.attr = EvilAttr(obj.__dict__)

    def test_promoted_global_refcount_eliminated(self):
        result = script_helper.run_python_until_end('-c', textwrap.dedent("""
        import _testinternalcapi
        import opcode
        import _opcode

        def get_first_executor(func):
            code = func.__code__
            co_code = code.co_code
            for i in range(0, len(co_code), 2):
                try:
                    return _opcode.get_executor(code, i)
                except ValueError:
                    pass
            return None

        def get_opnames(ex):
            return {item[0] for item in ex}


        def testfunc(n):
            y = []
            for i in range(n):
                x = tuple(y)
            return x

        testfunc(_testinternalcapi.TIER2_THRESHOLD)

        ex = get_first_executor(testfunc)
        assert ex is not None
        uops = get_opnames(ex)
        assert "_LOAD_GLOBAL_BUILTIN" not in uops
        assert "_LOAD_CONST_INLINE_BORROW" in uops
        assert "_POP_TOP_NOP" in uops
        assert "_POP_TOP" not in uops
        """), PYTHON_JIT="1")
        self.assertEqual(result[0].rc, 0, result)


 def global_identity(x):
    return x
diff --git a/Python/optimizer_bytecodes.c b/Python/optimizer_bytecodes.c
 res=sym_new_not_null(ctx);
        }
 else {
 res=sym_new_const(ctx,cnst);
 if (_Py_IsImmortal(cnst)) {
 res=PyJitRef_Borrow(sym_new_const(ctx,cnst));
            }
 else {
 res=sym_new_const(ctx,cnst);
            }
        }
    }

 res=sym_new_not_null(ctx);
        }
 else {
 res=sym_new_const(ctx,cnst);
 if (_Py_IsImmortal(cnst)) {
 res=PyJitRef_Borrow(sym_new_const(ctx,cnst));
            }
 else {
 res=sym_new_const(ctx,cnst);
            }
        }
    }

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		@@ -2972,6 +2972,44 @@ class Obj:
		for _ in range(TIER2_THRESHOLD+1):
		obj.attr = EvilAttr(obj.__dict__)

		def test_promoted_global_refcount_eliminated(self):
		result = script_helper.run_python_until_end('-c', textwrap.dedent("""
		import _testinternalcapi
		import opcode
		import _opcode

		def get_first_executor(func):
		code = func.__code__
		co_code = code.co_code
		for i in range(0, len(co_code), 2):
		try:
		return _opcode.get_executor(code, i)
		except ValueError:
		pass
		return None

		def get_opnames(ex):
		return {item[0] for item in ex}


		def testfunc(n):
		y = []
		for i in range(n):
		x = tuple(y)
		return x

		testfunc(_testinternalcapi.TIER2_THRESHOLD)

		ex = get_first_executor(testfunc)
		assert ex is not None
		uops = get_opnames(ex)
		assert "_LOAD_GLOBAL_BUILTIN" not in uops
		assert "_LOAD_CONST_INLINE_BORROW" in uops
		assert "_POP_TOP_NOP" in uops
		assert "_POP_TOP" not in uops
		"""), PYTHON_JIT="1")
		self.assertEqual(result[0].rc, 0, result)


		def global_identity(x):
		return x
Expand Down
Original file line number	Diff line number	Diff line change
Expand Up		@@ -1370,7 +1370,12 @@ dummy_func(void) {
		res=sym_new_not_null(ctx);
		}
		else {
		res=sym_new_const(ctx,cnst);
		if (_Py_IsImmortal(cnst)) {
		res=PyJitRef_Borrow(sym_new_const(ctx,cnst));
		}
		else {
		res=sym_new_const(ctx,cnst);
		}
		}
		}

Expand DownExpand Up		@@ -1405,7 +1410,12 @@ dummy_func(void) {
		res=sym_new_not_null(ctx);
		}
		else {
		res=sym_new_const(ctx,cnst);
		if (_Py_IsImmortal(cnst)) {
		res=PyJitRef_Borrow(sym_new_const(ctx,cnst));
		}
		else {
		res=sym_new_const(ctx,cnst);
		}
		}
		}

Expand Down