[Webkit-unassigned] [Bug 154658] B3 should have store elimination

[bugzilla-daemon at webkit.org]

https://bugs.webkit.org/show_bug.cgi?id=154658

--- Comment #1 from Filip Pizlo <fpizlo at apple.com> ---
The main issue here is doing backward dominators: if we have @s = Store(@x, @p) and @t = Store(@y, @p) then we can eliminate @s if it is backward dominated by @t and there does not exist a path from @s to @t that could observe the store.

On the other hand, maybe you could just do this by forward flow. If you do forward flow from @s and we find any number of @t's without ever hitting a side exit, return, read or write, then we can eliminate @s.

-- 
You are receiving this mail because:
You are the assignee for the bug.
-------------- next part --------------
An HTML attachment was scrubbed...
URL: <https://lists.webkit.org/pipermail/webkit-unassigned/attachments/20160224/42c25882/attachment.html>