Skip to content

CFG: compute dominance pre/post-numbers and support dom query in O(1). - #26

Open
cfallin wants to merge 1 commit into
mainfrom
cfallin/fast-dominates
Open

cfallin wants to merge 1 commit into
mainfrom
cfallin/fast-dominates

Conversation

@cfallin

@cfallin cfallin commented Oct 2, 2026 •

Copy link
Copy Markdown
Member

This is the same trick as in Cranelift and elsewhere, and replaces an O(domtree depth) iterative walk up the domtree. Important for fast validation of large function bodies.

This is the same trick as in Cranelift and elsewhere, and replaces an
O(|domtree depth|) iterative walk up the domtree. Important for fast
validation of large function bodies.
@cfallin
cfallin requested a review from fitzgen October 2, 2026 01:39
@cfallin cfallin mentioned this pull request Oct 2, 2026
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.

1 participant