Repository navigation
Support track __slots__ object and its property in the Tier 2 optimizer #144145
Description
Feature or enhancement
Proposal:
Currently, when the JIT optimizer encounters _LOAD_ATTR_SLOT, it creates a new unknown symbol (<!NULL>) even if the same slot was previously written in the same trace. This prevents the optimizer from:
- Knowing the type of values loaded from slots
- Eliminating redundant type guards
- Performing further type-based optimizations
To achieve these optimizations, we need:
- keep track of where code might escape
- implement tracking and optimization for attributes of the
__slots__object
Has this already been discussed elsewhere?
No response given
Links to previous discussion of this feature:
No response
Activity
Kaushalt2004 commentedon Jan 22, 2026
i will try to review this
gh-144145: Track nullness of properties in the Tier 2 JIT optimizer (G…
Fidget-Spinner commentedon Jan 30, 2026
For future work on STORE_ATTR_HINT, please link it to #144141
Revert "pythongh-144145: Track nullness of properties in the Tier 2 J…
gh-144145: Revert PR#144122 for performance and potential bugs. (GH-1…
pythongh-144145: Revert PR#144122 for performance and potential bugs. (…
NULLattributes inSTORE_ATTRspecializations for new objects #144141pythongh-144145: Track nullness of properties in the Tier 2 JIT optim…
pythongh-144145: Revert PR#144122 for performance and potential bugs. (…