140804 2015-01-22 17:45:39 -0800 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 2015-01-22 17:46:04 -0800 1 1 1 Unclassified WebKit JavaScriptCore 528+ (Nightly build) All All NEW P2 Normal --- 1 fpizlo webkit-unassigned oldest_to_newest 1063549 0 fpizlo 2015-01-22 17:45:39 -0800 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 1063550 1 fpizlo 2015-01-22 17:46:04 -0800 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.