DFG::mayExit() should have a flow-insensitive variant 
https://bugs.webkit.org/show_bug.cgi?id=148545
Summary DFG::mayExit() should have a flow-insensitive variant
Filip Pizlo
Reported 2015-08-27 16:36:31 PDT
Currently mayExit() uses the Check: flag set by AI based on a flow-sensitive analysis. That means that mayExit() results are not valid if you then move the node. That makes it hard to use mayExit() for hoisting.
Attachments
Add attachment proposed patch, testcase, etc.
Note You need to log in before you can comment on or make changes to this bug.