gh-148438: implement _RECORD_BOUND_METHOD in JIT

[NekoAsakura]

_RECORD_BOUND_METHOD records method object now, so _EXACT_ARGS needs to extract im_func out of it as well.

• Issue: JIT: _INIT_CALL_BOUND_METHOD loses too much information/_RECORD_BOUND_METHOD not implemented #148438

[NekoAsakura]

Uh, didn't realise ADD_OP replaces the current instruction rather than adds after it. Should be sorted now.

cpython/Python/optimizer_analysis.c

Lines 623 to 627 in 03d2f03

	// If no ADD_OP was called during this iteration, copy the original instruction
	if (ctx->out_buffer.next == out_ptr) {
	*(ctx->out_buffer.next++) = *this_instr;
	}
	assert(ctx->frame != NULL);

[Fidget-Spinner]

Very close, thanks. Some tricky bits that I explain below.

[Fidget-Spinner]

We can one-up this. If it's a probable constant callable, and the func_version matches, we can promote the callable to a known one, just like you did in_CHECK_METHOD_VERSION .

Also, heads up I'm merging my PR https://github.com/python/cpython/pull/146300/changes because _CHECK_FUNCTION_VERSION is wrong for the first if case.

[Fidget-Spinner]

Oops sorry, my other PR's change does the same thing now to fix this. Sorry, please undo the change here and then I'll land my PR!

[NekoAsakura]

Roger :)

[NekoAsakura]

Done. Will sort conflicts once #146300 is in. Really appreciate the review, cheers

[Fidget-Spinner]

Thank you!