[Webkit-unassigned] [Bug 87813] New: DFG CFA should infer types and values of captured variables

[bugzilla-daemon at webkit.org]

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

           Summary: DFG CFA should infer types and values of captured
                    variables
           Product: WebKit
           Version: 528+ (Nightly build)
          Platform: All
        OS/Version: All
            Status: NEW
          Severity: Normal
          Priority: P2
         Component: JavaScriptCore
        AssignedTo: webkit-unassigned at lists.webkit.org
        ReportedBy: fpizlo at apple.com


There is nothing that ought to fundamentally prevent a CFA from inferring the types and values of captured variables. The CFA just needs to be smart enough to know that when a world-clobbering action happens, the types and values of captured variables can become anything.

This should allow further optimization of reflective arguments accesses.

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