-
Notifications
You must be signed in to change notification settings - Fork 35
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.
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
Fix issue 401 #443
Fix issue 401 #443
Conversation
This is great! Reads a lot better too. I think I have a bug I can test this on today. |
FWIW I tested Doom on this PR (the real DDD) and it looks much more solid than before. |
There was a problem hiding this comment.
Choose a reason for hiding this comment
The reason will be displayed to describe this comment to others. Learn more.
Looks good to me! Would be good to get a second pair of eyes on someone more familiar with the control flow algorithm.
There was a problem hiding this comment.
Choose a reason for hiding this comment
The reason will be displayed to describe this comment to others. Learn more.
This could be trimmed as we only use fac-ssa
There was a problem hiding this comment.
Choose a reason for hiding this comment
The reason will be displayed to describe this comment to others. Learn more.
done
} | ||
|
||
public static void doControlTransfer(CtrlFrame ctrlFrame, MStack stack) { | ||
var endResults = ctrlFrame.startValues + ctrlFrame.endValues; // fix 401 |
There was a problem hiding this comment.
Choose a reason for hiding this comment
The reason will be displayed to describe this comment to others. Learn more.
// unwind stack
There was a problem hiding this comment.
Choose a reason for hiding this comment
The reason will be displayed to describe this comment to others. Learn more.
changed
There was a problem hiding this comment.
Choose a reason for hiding this comment
The reason will be displayed to describe this comment to others. Learn more.
Nice rework, much clearer now.
I ended up rewriting the entire control flow in a way that maps closely to the
TypeValidator
implementation.Fix #401