[Webkit-unassigned] [Bug 65234] New: DFG graph has no notion of double prediction

[bugzilla-daemon at webkit.org]

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

           Summary: DFG graph has no notion of double prediction
           Product: WebKit
           Version: 528+ (Nightly build)
          Platform: All
        OS/Version: All
            Status: UNCONFIRMED
          Severity: Normal
          Priority: P2
         Component: JavaScriptCore
        AssignedTo: webkit-unassigned at lists.webkit.org
        ReportedBy: fpizlo at apple.com


The DFG graph has notions of Int32, cell, and array predictions, but no notion of double prediction.  Furthermore, it has no notion of the least-upper-bound of predictions, or of distinguishing between a top prediction (where we know that the node can have every type because we've got confirmed sightings of assignments of all of the different types) and a bottom prediction (we have no information pointing in the direction of any particular type).

-- 
Configure bugmail: https://bugs.webkit.org/userprefs.cgi?tab=email
------- You are receiving this mail because: -------
You are the assignee for the bug.