-
Notifications
You must be signed in to change notification settings - Fork 24
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
Bugfixes 20180207 #44
Conversation
…outlined helper functions, since these helper functions return void.
…e when outlining a Tapir helper function.
…ed to eliminate a recursive tail.
…resulting IR is technically valid, but it seems hard for MachineCodeGen to produce appropriate machine code for this IR, e.g., for X86, where results of comparisons are stored in EFLAGS.
…t a conditional branch.
// Disallow hoisting of setjmp. Although hoisting the setjmp technically | ||
// produces valid IR, it seems hard to generate appropariate machine code | ||
// from this IR, e.g., for X86. | ||
if (IntrinsicInst *II = dyn_cast<IntrinsicInst>(I1)) |
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.
We should potentially leave an open issue with this as a reminder to return to it later.
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.
Sure, feel free to create it. I've talked to Charles about this bug, and we have ideas for a more precise fix, but the implementation would be substantially more elaborate. Our current thinking is to save the project of implementing the precise fix for another student.
These commits include several bug fixes from other branches, along with regression tests for those bug fixes. Some of these regression tests also test the
-tapir-target
opt flag.