Skip to content

Fix goto insertion when dom-sorting IR in slot2ssa pass#56189

Merged
oscardssmith merged 1 commit intoJuliaLang:masterfrom
topolarity:ct/fix-cfg-domsort
Oct 18, 2024
Merged

Fix goto insertion when dom-sorting IR in slot2ssa pass#56189
oscardssmith merged 1 commit intoJuliaLang:masterfrom
topolarity:ct/fix-cfg-domsort

Conversation

@topolarity
Copy link
Copy Markdown
Member

@topolarity topolarity commented Oct 16, 2024

Fix-up this pass a bit to correctly handle fall-through terminators that cannot have their BasicBlock extended
(e.g. Expr(:leave, ...))

This code wasn't fully handling fall-through terminators that cannot
have their BasicBlock extended.
@topolarity topolarity requested a review from Keno October 16, 2024 12:13
@oscardssmith oscardssmith added bugfix This change fixes an existing bug compiler:optimizer Optimization passes (mostly in base/compiler/ssair/) labels Oct 16, 2024
Copy link
Copy Markdown
Member

@vtjnash vtjnash left a comment

Choose a reason for hiding this comment

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

RSLGTM

Does this fix #55388?

@oscardssmith oscardssmith merged commit a64ffa3 into JuliaLang:master Oct 18, 2024
@aviatesk
Copy link
Copy Markdown
Member

Unfortunately this doesn't seem to fix #55388 .

KristofferC pushed a commit that referenced this pull request Oct 21, 2024
Fix-up this pass a bit to correctly handle fall-through terminators that
cannot have their BasicBlock extended
(e.g. `Expr(:leave, ...)`)
@topolarity
Copy link
Copy Markdown
Member Author

Yeah, domsorting happens at the very end of slot2ssa, so whatever causing that issue happens prior

Sign up for free to join this conversation on GitHub. Already have an account? Sign in to comment

Labels

bugfix This change fixes an existing bug compiler:optimizer Optimization passes (mostly in base/compiler/ssair/)

Projects

None yet

Development

Successfully merging this pull request may close these issues.

4 participants