Description

markshannon

opened on Apr 9, 2026

Issue body actions

Currently, this is illegal in bytecodes.c:

macro(TO_BOOL) = 
    _SPECIALIZE_TO_BOOL +
    _RECORD_TOS_TYPE +
    unused/2 +
   _TO_BOOL;

because both specializing and recording uops must be first. Since specializing uops are only present in tier 1, and recording uops are only present in tier 2, there should be no conflict.

We should fix Tools/cases_generator/analyzer.py to allow a recording uop to follow a specializing uop.

Linked PRs

• gh-148285: Allow recording uops after specializing uops #148367
• gh-148285: Allow recording uops after specializing uops #148373
• gh-148285: Allow recording uops after specializing uops #148482

Activity

1. markshannon

   added

   interpreter-core(Objects, Python, Grammar, and Parser dirs)(Objects, Python, Grammar, and Parser dirs)

   3.15bugs and security fixesbugs and security fixes

   on Apr 9, 2026
2. adityakrmishra commented on Apr 11, 2026

   

   adityakrmishra

   on Apr 11, 2026

   More actions

   Hi @markshannon I'd like to take this on.

   I see that the validation logic in Tools/cases_generator/analyzer.py currently rejects a recording uop following a specializing uop Since specializing is restricted to Tier 1 and recording to Tier 2, there shouldn't be a conflict. I can update the analyzer's parsing/validation rules to permit this sequence

   Could you assign this to me? I'll spin up a PR with the fix shortly
3. kumaraditya303 commented on Apr 11, 2026

   

   kumaraditya303

   on Apr 11, 2026

   Contributor

   More actions

   We do not assign issues to non-core devs, if you have a fix feel free to propose a PR.
4. adityakrmishra commented on Apr 11, 2026

   

   adityakrmishra

   on Apr 11, 2026

   More actions

   Thanks for the heads-up! I've started working on the analyzer.py fix locally and will open a PR with the proposed changes shortly.
5. adityakrmishra

   added 4 commits that reference this issue on Apr 11, 2026

   pythongh-148285: Allow recording uops after specializing uops in case…

   2fce2e9

   pythongh-148285: Allow recording uops after specializing uops in case…

   0c46be0

   pythongh-148285: Allow recording uops after specializing uops

   e7b9a2a

   pythongh-148285: Allow recording uops after specializing uops

   ca81806
6. NekoAsakura commented on Apr 12, 2026

   

   NekoAsakura

   on Apr 12, 2026

   Member

   More actions

   I'm on it.
7. NekoAsakura

   added a commit that references this issue on Apr 13, 2026

   pythongh-148285: Allow recording uops after specializing uops

   b5e648e
8. Fidget-Spinner

   added a commit that references this issue on Apr 13, 2026

   gh-148285: Allow recording uops after specializing uops (GH-148482)

   5e74d92
9. Fidget-Spinner commented on Apr 13, 2026

   

   Fidget-Spinner

   on Apr 13, 2026

   Member

   More actions

   Done.
10. Fidget-Spinner

    closed this as completedon Apr 13, 2026
11. ljfp

    added a commit that references this issue on Apr 25, 2026

    pythongh-148285: Allow recording uops after specializing uops (python…

    c8194ca

Issue actions