Skip to content

Store instruction id sequence in CFG #3933

New issue

Have a question about this project? Sign up for a free GitHub account to open an issue and contact its maintainers and the community.

By clicking “Sign up for GitHub”, you agree to our terms of service and privacy statement. We’ll occasionally send you account related emails.

Already on GitHub? Sign in to your account

Merged
merged 4 commits into from
May 1, 2025
Merged

Store instruction id sequence in CFG #3933

merged 4 commits into from
May 1, 2025

Conversation

xclerc
Copy link
Contributor

@xclerc xclerc commented Apr 25, 2025

This pull request factors out various
parts of the code computing the max
instruction id, by storing the sequence
for id distribution in Cfg.t.

In addition to code factorization, it
avoids repeated traversals of the CFG
values.

(I have kept the InstructionId.sequence
in the CFG module so that the diff is
relatively small, but will address that
CR-soon in a follow-up.)

@xclerc xclerc marked this pull request as ready for review April 28, 2025 08:58
Copy link
Contributor

@gretay-js gretay-js left a comment

Choose a reason for hiding this comment

The reason will be displayed to describe this comment to others. Learn more.

Looks good to merge after the one small comment is addressed.

@xclerc xclerc merged commit b04e920 into main May 1, 2025
26 checks passed
@xclerc xclerc deleted the cfg-instr-id branch May 1, 2025 14:09
Sign up for free to join this conversation on GitHub. Already have an account? Sign in to comment
Projects
None yet
Development

Successfully merging this pull request may close these issues.

2 participants