RESOLVED FIXED 87813
DFG CFA should infer types and values of captured variables 
https://bugs.webkit.org/show_bug.cgi?id=87813
Summary DFG CFA should infer types and values of captured variables
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.