Skip to content

SSA CFG: extract liveness counts data structure#16644

Merged
clonker merged 2 commits intodevelopfrom
ssa-cfg-stack-slot-liveness
Apr 28, 2026
Merged

SSA CFG: extract liveness counts data structure#16644
clonker merged 2 commits intodevelopfrom
ssa-cfg-stack-slot-liveness

Conversation

@clonker
Copy link
Copy Markdown
Member

@clonker clonker commented Apr 27, 2026

  • introduce ssa::util::UseCountSet which, in effect, is the underlying datastructure of the liveness data
  • introduce StackSlotLiveness, which is the same data but on stack slots. this will help the stack shuffler stay as decoupled as possible from the SSACFG post unification, as there, the value id no longer carries the type of operation it was emitted from

@clonker clonker force-pushed the ssa-cfg-stack-slot-liveness branch from 6a5af8a to b490ba9 Compare April 27, 2026 15:16
@clonker clonker marked this pull request as ready for review April 27, 2026 18:04
@clonker clonker requested a review from blishko April 27, 2026 18:04
Copy link
Copy Markdown
Contributor

@blishko blishko 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!
There is just a comment that needs rephrasing and I have a small question about the difference of use sets.

Comment thread libyul/backends/evm/ssa/util/UseCountSet.h Outdated
Comment thread libyul/backends/evm/ssa/util/UseCountSet.h Outdated
@clonker clonker force-pushed the ssa-cfg-stack-slot-liveness branch from b490ba9 to 45c05a1 Compare April 28, 2026 07:04
Comment thread libyul/backends/evm/ssa/util/UseCountSet.h Outdated
@clonker clonker force-pushed the ssa-cfg-stack-slot-liveness branch from 45c05a1 to a75fb6b Compare April 28, 2026 07:15
@clonker clonker merged commit 7890234 into develop Apr 28, 2026
81 of 82 checks passed
@clonker clonker deleted the ssa-cfg-stack-slot-liveness branch April 28, 2026 07:43
Sign up for free to join this conversation on GitHub. Already have an account? Sign in to comment

Labels

None yet

Projects

None yet

Development

Successfully merging this pull request may close these issues.

2 participants