Bug 87813

Summary: DFG CFA should infer types and values of captured variables
Product: WebKit Reporter: Filip Pizlo <fpizlo>
Component: JavaScriptCoreAssignee: Nobody <webkit-unassigned>
Status: RESOLVED FIXED    
Severity: Normal    
Priority: P2    
Version: 528+ (Nightly build)   
Hardware: All   
OS: All   
Bug Depends on: 87205    
Bug Blocks:    
Attachments:
Description Flags
work in progress
none
the patch barraclough: review+

Filip Pizlo
Reported 2012-05-29 20:51:52 PDT
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.
Attachments
work in progress (24.98 KB, patch)
2012-05-29 20:55 PDT, Filip Pizlo 		no flags
DetailsFormatted DiffDiff
the patch (25.00 KB, patch)
2012-05-30 00:14 PDT, Filip Pizlo 		barraclough: review+
DetailsFormatted DiffDiff
Show Obsolete (1) View All Add attachment proposed patch, testcase, etc.
Filip Pizlo
Comment 1 2012-05-29 20:55:20 PDT
Created attachment 144687 [details] work in progress
Filip Pizlo
Comment 2 2012-05-30 00:14:16 PDT
Created attachment 144731 [details] the patch
Filip Pizlo
Comment 3 2012-05-30 10:09:13 PDT
Landed in http://trac.webkit.org/changeset/118932
Note You need to log in before you can comment on or make changes to this bug.