Too many tier 2 micro-ops are marked as escaping

[markshannon]

Bug report

Bug description:

There are too many _SET_IP and _CHECK_VALIDITY micro-ops being inserted into tier 2 code.

There are two causes of this:

1. Too many micro-ops are marked as escaping
2. Python call uops do not technically escape but must be preceded by _SET_IP in order to correctly set the return address. We need a way of marking these, so that we insert _SET_IP before them, but do not needlessly insert _CHECK_VALIDITY after them.

CPython versions tested on:

3.13, CPython main branch

Operating systems tested on:

No response

Linked PRs

• GH-116596: Better determination of escaping uops. #116597

[hugovk]

Triage: can this issue be closed?

[markshannon]

Yes