Bug 148545 - DFG::mayExit() should have a flow-insensitive variant
Summary: DFG::mayExit() should have a flow-insensitive variant
Status: NEW
Alias: None
Product: WebKit
Classification: Unclassified
Component: JavaScriptCore (show other bugs)
Version: Other
Hardware: All All
: P2 Normal
Assignee: Nobody
URL:
Keywords:
Depends on:
Blocks:
 
Reported: 2015-08-27 16:36 PDT by Filip Pizlo
Modified: 2015-08-27 16:36 PDT (History)
0 users

See Also:

Attachments
Add an attachment (proposed patch, testcase, etc.)

Note You need to log in before you can comment on or make changes to this bug.
Description Filip Pizlo 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.