NEW140804
If we inline a nested function call, we should be able to do GCSE on closure variable accesses and object allocation sinking on the activation 
https://bugs.webkit.org/show_bug.cgi?id=140804
Summary If we inline a nested function call, we should be able to do GCSE on closure ...
Filip Pizlo
Reported 2015-01-22 17:45:39 PST
I'm pretty sure that this won't work right now because we don't reason about the activation that a NewFunction* operation references. But we totally should do this. This would be a poor man's way of doing single-and-loving-it analysis: http://www.cs.purdue.edu/homes/suresh/papers/popl98.ps.gz
Attachments
Add attachment proposed patch, testcase, etc.
Filip Pizlo
Comment 1 2015-01-22 17:46:04 PST
One outcome of this is that it would allow us to get rid of more TDZ checks, since we could reason about the TDZ locally.
Note You need to log in before you can comment on or make changes to this bug.