[Webkit-unassigned] [Bug 148545] New: DFG::mayExit() should have a flow-insensitive variant

[bugzilla-daemon at webkit.org]

https://bugs.webkit.org/show_bug.cgi?id=148545

            Bug ID: 148545
           Summary: DFG::mayExit() should have a flow-insensitive variant
    Classification: Unclassified
           Product: WebKit
           Version: Other
          Hardware: All
                OS: All
            Status: NEW
          Severity: Normal
          Priority: P2
         Component: JavaScriptCore
          Assignee: webkit-unassigned at lists.webkit.org
          Reporter: fpizlo at apple.com

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.

-- 
You are receiving this mail because:
You are the assignee for the bug.
-------------- next part --------------
An HTML attachment was scrubbed...
URL: <https://lists.webkit.org/pipermail/webkit-unassigned/attachments/20150827/6b43b680/attachment-0001.html>