utils: make MIR pretty-printing output more stable #1632
Merged
Conversation
This file contains hidden or bidirectional Unicode text that may be interpreted or compiled differently than what appears below. To review, open the file in an editor that reveals hidden Unicode characters.
Learn more about bidirectional Unicode characters
At least when the environment is available. This makes the output of rendering less dependent on externalities (e.g., in what order procedure bodies were translated). The goal is make the `--expandArc` and `--showir` more stable, not changing when some unrelated processing changes.
zerbina
added
refactor
Clyybber
approved these changes
Oct 5, 2025
|
/merge |
|
Merge requested by: @saem Contents after the first section break of the PR description has been removed and preserved below:
|
Sign up for free
to join this conversation on GitHub.
Already have an account?
Sign in to comment
3 participants
Add this suggestion to a batch that can be applied as a single commit.
This suggestion is invalid because no changes were made to the code.
Suggestions cannot be applied while the pull request is closed.
Suggestions cannot be applied while viewing a subset of changes.
Only one suggestion per line can be applied in a batch.
Add this suggestion to a batch that can be applied as a single commit.
Applying suggestions on deleted lines is not supported.
You must change the existing code in this line in order to create a valid suggestion.
Outdated suggestions cannot be applied.
This suggestion has been applied or marked resolved.
Suggestions cannot be applied from pending reviews.
Suggestions cannot be applied on multi-line comments.
Suggestions cannot be applied while the pull request is queued to merge.
Suggestion cannot be applied right now. Please check back later.
Summary
Pretty-print the anonymous constants as their value in
--expandArcand
--showiroutput.Details
When the MIR environment is available, anonymous constants are now
rendered as their value, not as their raw ID (which is dependent on
externalities unrelated to the body of the procedure).
The goal is to keep tests inspecting
--expandArcand--showiroutput from starting to fail when unrelated processing changes in
the future -- the tests affected by the change in rendering are
updated.