_CHECK_FUNCTION interferes with partial evaluation

Feature or enhancement

Proposal:

A reminder of how _CHECK_FUNCTION looks like:

        tier2 op(_CHECK_FUNCTION, (func_version/2 -- )) {
            assert(PyStackRef_FunctionCheck(frame->f_funcobj));
            PyFunctionObject *func = (PyFunctionObject *)PyStackRef_AsPyObjectBorrow(frame->f_funcobj);
            DEOPT_IF(func->func_version != func_version);
        }

frame->f_funcobj becomes invalid once we start inlining functions. Thus we should "burn in" the function object version to be checked whenever possible, to not interfere with inlining and partial evaluation.

An added benefit is that the "burned in" version is also cheaper as it doesn't have to read from the frame struct, rather reading from the instruction itself in the JIT.

Has this already been discussed elsewhere?

No response given

Links to previous discussion of this feature:

No response

Linked PRs

• gh-126856

Issue に示されている _CHECK_FUNCTION tier2 操作から始め、関数がインライン化される場合に frame->f_funcobj がどのように使われるかを調査してください。リンクされている PR gh-126856 を確認し、部分評価に干渉せずに関数のバージョンを命令に焼き込めるか判断してください。完了とは、可能な場合に、バージョンチェックが無効化された frame 参照に依存しなくなることを意味します。