PYTHON_OPT_DEBUG=4 (or higher) should show types on the abstract stack

[Fidget-Spinner]

Feature or enhancement

Proposal:

PYTHON_LLTRACE=4 dumps everything on the stack.

PYTHON_OPT_DEBUG=4 should show everything on the stack, but instead format the symbolic values nicely.

@cocolato would you like to take this up? this is will be quite a useful tool to help us debug the optimizer.

If you don't want to take this up, it's also fine.

Has this already been discussed elsewhere?

No response given

Links to previous discussion of this feature:

No response

Linked PRs

• gh-143946: Show JitOptSymbol on abstract stack when set PYTHON_OPT_DEBUG > 4 #143957
• gh-143946: Add more debug info in optimize_uops #144262
• gh-144623: Fix missing output uops in optimizer debug output #144617

[cocolato]

Thank you for your trust. I will work on this.

[cocolato]

Currently, stack details are only output when PYTHON_LLTRACE > 4. Therefore, I think we should print the _JitSymType in stack/locals when PYTHON_OPT_DEBUG > 4?

[Fidget-Spinner]

Correct. We should do something like that