RESOLVED FIXED 145205
Add some assertions about the CFG in the loop pre-header creation phase
https://bugs.webkit.org/show_bug.cgi?id=145205
Summary Add some assertions about the CFG in the loop pre-header creation phase
Filip Pizlo
Reported 2015-05-19 22:51:24 PDT
If any of these properties turned out to be false, it would just lead to a bizarre failure elsewhere (like the LICM phase), so we might as well assert these things here.
Attachments
the patch (3.98 KB, patch)
2015-05-19 22:55 PDT, Filip Pizlo
ggaren: review+
Filip Pizlo
Comment 1 2015-05-19 22:55:55 PDT
Created attachment 253429 [details] the patch
Geoffrey Garen
Comment 2 2015-05-20 11:10:30 PDT
Comment on attachment 253429 [details] the patch View in context: https://bugs.webkit.org/attachment.cgi?id=253429&action=review r=me > Source/JavaScriptCore/dfg/DFGLICMPhase.cpp:133 > + // We should validate the pre-header. If we places forExit origins on nodes only if places => placed > Source/JavaScriptCore/dfg/DFGLICMPhase.cpp:135 > + // has a forExit. We should disable hoisting to pre-headers that don't validate. has => had
Filip Pizlo
Comment 3 2015-05-20 11:41:07 PDT
Note You need to log in before you can comment on or make changes to this bug.