Document the RWM pipeline passes#92
Open
leonardoalt wants to merge 10 commits intomainfrom
Open
Conversation
Add comprehensive markdown documentation for each pass in the read-write registers pipeline: liveness analysis, register allocation, flattening (including parallel copy sequencing), and jump removal. Also add a pipeline overview document linking them together. Co-Authored-By: Claude Opus 4.6 <noreply@anthropic.com>
Member
|
Why only RWM passes gets documented? |
Member
|
I am still reviewing the text, but this is very prone to become stale... |
Member
Author
Because it's the main backend atm |
lvella
requested changes
Feb 12, 2026
Comment on lines
+111
to
+116
| ### Correctness Guarantee | ||
|
|
||
| Every destination register appears exactly once (precondition). The algorithm | ||
| produces a valid sequential ordering that achieves the same effect as executing all | ||
| copies simultaneously. At most one temporary register is needed, and it is avoided | ||
| entirely when the copy graph is acyclic or has trees attached to cycles. |
Member
There was a problem hiding this comment.
This is superfluous since no proof is provided.
Member
Author
There was a problem hiding this comment.
I think it's still useful as a document about what's supposed to be guaranteed?
Member
But the common passes are also part of RWM. |
Co-authored-by: Lucas Clemente Vella <lvella@powdrlabs.com>
Member
Author
we can keep update it once in a while |
Member
Author
Let's add that too then. |
Co-authored-by: Lucas Clemente Vella <lvella@powdrlabs.com>
Co-authored-by: Lucas Clemente Vella <lvella@powdrlabs.com>
Co-authored-by: Lucas Clemente Vella <lvella@powdrlabs.com>
Co-authored-by: Lucas Clemente Vella <lvella@powdrlabs.com>
Co-authored-by: Lucas Clemente Vella <lvella@powdrlabs.com>
Co-authored-by: Lucas Clemente Vella <lvella@powdrlabs.com>
Co-authored-by: Lucas Clemente Vella <lvella@powdrlabs.com>
Add documentation for each pass in the shared frontend pipeline, following the same style as the existing RWM pipeline docs. Co-Authored-By: Claude Opus 4.6 <noreply@anthropic.com>
lvella
reviewed
Feb 25, 2026
Comment on lines
+118
to
+120
| - Break targets are resolved relative to frame boundaries, not block nesting. | ||
| This is important because the backends allocate registers per-frame (per | ||
| function or per loop body), not per-block. |
Member
There was a problem hiding this comment.
Don't understand this paragraph. I suggest removing it.
Comment on lines
+41
to
+42
| The pass simulates WASM execution using two structures that track where each | ||
| value lives: |
Member
There was a problem hiding this comment.
Suggested change
| The pass simulates WASM execution using two structures that track where each | |
| value lives: | |
| The pass statically resolves the WASM stack evolution using two structures that | |
| track where each value lives: |
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
Sign up for free
to join this conversation on GitHub.
Already have an account?
Sign in to comment
2 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
PIPELINE.md) with an ASCII stage diagram linking to all pass docsTest plan
🤖 Generated with Claude Code