TheTIER_ONE andTIER_TWO macros cause a few problems:

Their presence in the bytecode definitions means that anyone maintaining the interpreter or adding new instructions needs to understand the internals of the multiple execution layers and how they differ.
This makes the entry barrier for contribution, which is already high for these components, even higher.

It makes reasoning about the correctness of optimizations harder.

It prevents the addition of new execution tiers, or changing the design of the current tiers much harder.

We can remove theTIER_ONE andTIER_TWO macros by making modifications to internal execution engine state explicit, without describing how that state is implemented.
For example, rather than modifyingnext_instr in the tier 1 interpreter, we can useJUMP_BY orSAVE_IP macros.
Seefaster-cpython/ideas#618

Linked PRs

• GH-108614: AddRESUME_CHECK instruction #108630
• GH-108614: Remove non-debug uses of#if TIER_ONE and#if TIER_TWO from_POP_FRAME op. #108685
• GH-108614: RemoveTIER_ONE andTIER_TWO from_PUSH_FRAME #108725
• GH-108614: Unbreak emscripten build #109132
• GH-108614: Increase importlib MAGIC for RESUME_CHECK instruction #109247