gh-148438: implement _RECORD_BOUND_METHOD in JIT

Author: NekoAsakura

Python/optimizer_bytecodes.c

@@ -997,18 +997,26 @@ dummy_func(void) {
 
     op(_INIT_CALL_BOUND_METHOD_EXACT_ARGS, (callable, self_or_null, unused[oparg] -- callable, self_or_null, unused[oparg])) {
         PyObject *bound_method = sym_get_probable_value(callable);
-        self_or_null = sym_new_not_null(ctx);
         if (bound_method != NULL && Py_TYPE(bound_method) == &PyMethod_Type) {
             PyMethodObject *method = (PyMethodObject *)bound_method;
             callable = sym_new_not_null(ctx);
             sym_set_recorded_value(callable, method->im_func);
+            self_or_null = sym_new_not_null(ctx);
+            sym_set_recorded_value(self_or_null, method->im_self);
         }
         else {
             callable = sym_new_not_null(ctx);
+            self_or_null = sym_new_not_null(ctx);
         }
     }
 
     op(_CHECK_FUNCTION_VERSION, (func_version/2, callable, self_or_null, unused[oparg] -- callable, self_or_null, unused[oparg])) {
+        PyObject *func = sym_get_probable_value(callable);
+        if (func != NULL && PyFunction_Check(func) &&
+            ((PyFunctionObject *)func)->func_version == func_version) {
+            _Py_BloomFilter_Add(dependencies, func);
+            sym_set_const(callable, func);
+        }
         if (sym_get_func_version(callable) == func_version) {
             REPLACE_OP(this_instr, _NOP, 0, 0);
         }
@@ -1025,12 +1033,14 @@ dummy_func(void) {
             uop_buffer_last(&ctx->out_buffer)->operand1 = (uintptr_t)method->im_func;
         }
         else {
+            // Guarding on the bound method, safe to promote.
             PyObject *bound_method = sym_get_probable_value(callable);
             if (bound_method != NULL && Py_TYPE(bound_method) == &PyMethod_Type) {
                 PyMethodObject *method = (PyMethodObject *)bound_method;
                 PyObject *func = method->im_func;
                 if (PyFunction_Check(func) &&
                     ((PyFunctionObject *)func)->func_version == func_version) {
+                    _Py_BloomFilter_Add(dependencies, func);
                     sym_set_const(callable, bound_method);
                 }
             }