Method emit_method_call

mypyc/codegen/emitfunc.py:599–643

(self, dest: str, op_obj: Value, name: str, op_args: list[Value])

        self.emit_method_call(dest, op.obj, op.method, op.args)

    def emit_method_call(self, dest: str, op_obj: Value, name: str, op_args: list[Value]) -> None:
        obj = self.reg(op_obj)
        rtype = op_obj.type
        assert isinstance(rtype, RInstance), rtype
        class_ir = rtype.class_ir
        # Use method_decl (not get_method) because under separate compilation the
        # FuncIR body may live in a different group — only its declaration is
        # visible here, and a decl is all we need to emit a direct C call
        # (the symbol resolves through that group's exports table).
        method_decl = rtype.class_ir.method_decl(name)

        # Can we call the method directly, bypassing vtable? Non-extension classes
        # don't have a vtable (compute_vtable is skipped for them), so the only
        # way to dispatch is a direct C call.
        is_direct = not class_ir.is_ext_class or class_ir.is_method_final(name)

        # The first argument gets omitted for static methods and
        # turned into the class for class methods
        obj_args = (
            []
            if method_decl.kind == FUNC_STATICMETHOD
            else [f"(PyObject *)Py_TYPE({obj})"] if method_decl.kind == FUNC_CLASSMETHOD else [obj]
        )
        args = ", ".join(obj_args + [self.reg(arg) for arg in op_args])
        mtype = native_function_type_from_decl(method_decl, self.emitter)
        version = "_TRAIT" if rtype.class_ir.is_trait else ""
        if is_direct:
            # Directly call method, without going through the vtable.
            self.emit_line(f"{dest}{self.emitter.native_function_call(method_decl)}({args});")
        else:
            # Call using vtable.
            method_idx = rtype.method_index(name)
            self.emit_line(
                "{}CPY_GET_METHOD{}({}, {}, {}, {}, {})({}); /* {} */".format(
                    dest,
                    version,
                    obj,
                    self.emitter.type_struct_name(rtype.class_ir),
                    method_idx,
                    rtype.struct_name(self.names),
                    mtype,
                    args,
                    name,
                )
            )

    def visit_inc_ref(self, op: IncRef) -> None:
        if (