JIT: remove all uses of _PyType_LookupByVersion in optimizer_bytecodes.c

[Fidget-Spinner]

Feature or enhancement

Proposal:

We should use recorded values instead, as that is not bounded by a limited-size cache, and it will be easier to make the optimizer thread safe for FT. See for example how I use recorded values for guards in this commit 8fab9d3

Ops that need converting:

• _CHECK_ATTR_CLASS
• _GUARD_TYPE_VERSION

@NekoAsakura would you like to work on this?

Has this already been discussed elsewhere?

No response given

Links to previous discussion of this feature:

No response

Linked PRs

• gh-148380: remove all uses of _PyType_LookupByVersion in optimizer_bytecodes.c #148394

[Fidget-Spinner]

not bounded by a limited-size cache

A side note: this will make certain optimizations a lot more effective as well.

[NekoAsakura]

Sure!

[kumaraditya303]

There is probably still some value in using the fixed version tags for builtin types, maybe we can find a way to use that with recorded types.

[Fidget-Spinner]

the fixed version tags for builtin types

Oh yes definitely. Which is why I'm still keeping it around in optimizer_symbols.c. So that builtin type versions are always successfully reverse lookuped to builtin types.