Skip to content

JIT: Disallow splitting prologs and epilogs across multiple fragments #130070

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.

Sign up for GitHub

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

Draft
jakobbotsch wants to merge 5 commits into
base: main
Choose a base branch
from
+4 −2
Draft

JIT: Disallow splitting prologs and epilogs across multiple fragments #130070

Changes from all commits
Commits
Show all changes
5 commits
Select commit Hold shift + click to select a range
51821af
JIT: Disallow splitting prologs while generating unwind
jakobbotsch Jul 1, 2026
5a11f09
Add assert
jakobbotsch Jul 1, 2026
e810fae
Less misleading comment
jakobbotsch Jul 1, 2026
f025153
Fix inside emitSplit instead
jakobbotsch Jul 1, 2026
7435887
Copilot feedback
jakobbotsch Jul 1, 2026
File filter

Filter by extension

Filter by extension
Conversations
Failed to load comments.
Loading
Jump to
Jump to file
Failed to load files.
Loading
Diff view
Diff view
6 changes: 4 additions & 2 deletions src/coreclr/jit/emit.cpp
View file
Open in desktop
Original file line number Diff line number Diff line change
Expand Up @@ -3106,8 +3106,10 @@ void emitter::emitSplit(emitLocation* startLoc,
// IGs are marked as prolog or epilog. We don't actually know if two adjacent
// IGs are part of the *same* prolog or epilog, so we have to assume they are.

if (igPrev && (((igPrev->igFlags & IGF_FUNCLET_PROLOG) && (ig->igFlags & IGF_FUNCLET_PROLOG)) ||
((igPrev->igFlags & IGF_EPILOG) && (ig->igFlags & IGF_EPILOG))))
if (igPrev && (((igPrev->igFlags & IGF_PROLOG) && (ig->igFlags & IGF_PROLOG)) ||
((igPrev->igFlags & IGF_EPILOG) && (ig->igFlags & IGF_EPILOG)) ||
((igPrev->igFlags & IGF_FUNCLET_PROLOG) && (ig->igFlags & IGF_FUNCLET_PROLOG)) ||
((igPrev->igFlags & IGF_FUNCLET_EPILOG) && (ig->igFlags & IGF_FUNCLET_EPILOG))))
{
// We can't update the candidate
}
Expand Down
Loading