And they should be able to distinguish between the arguments from the current frame and arguments from other frames. Value profiling can't distinguish that, but prediction propagation and CFA can. Patch forthcoming.
Created attachment 139413 [details] the patch
Landed in http://trac.webkit.org/changeset/115604
Merged in http://trac.webkit.org/changeset/117707