_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

Bắt đầu với thao tác tier2 _CHECK_FUNCTION được nêu trong issue và kiểm tra cách frame->f_funcobj được sử dụng khi các hàm được inline. Xem lại PR gh-126856 được liên kết và xác định xem phiên bản của hàm có thể được ghi trực tiếp vào instruction mà không ảnh hưởng đến partial evaluation hay không; hoàn thành nghĩa là việc kiểm tra phiên bản không còn phụ thuộc vào tham chiếu frame đã bị invalidated khi có thể.