[3.13] gh-119258: Backport optimizer frame fixes in GH-119365

[Fidget-Spinner]

Removes frame overlapping, instead copy over their arguments directly.

• Issue: Tier 2 Optimizer Eliminate Type Version Guards #119258

[Fidget-Spinner]

Skip news as it's a experimental feature.

[brandtbucher]

Does this mean we can correctly optimize across _PY_FRAME_GENERAL now instead of bailing?

[Fidget-Spinner]

I think we were already doing that. This just fixes a bug with overlapping frames (it removes it altogether).

[Fidget-Spinner]

Merging this as backport bugfixes don't normally need approval (or at least, I can approve it if it were done by the bot).

[brandtbucher]

I think we were already doing that. This just fixes a bug with overlapping frames (it removes it altogether).

Maybe I'm misunderstanding. Is there anything preventing us from updating _PY_FRAME_GENERAL in the optimizer to push a new frame and continue optimizing, rather than bailing (like it does now)?

[Fidget-Spinner]

IIRC we used to not be able to determine the size of the nee frame to push which is why we bailed. If that's solved I dont see why we cant toptimize through it.

[markshannon]

_Py_uop_frame_new still assumes positional arguments only, but it would be simple enough to drop that assumption by initializing the arguments in the caller.