On Thu, May 30, 2013 at 6:35 PM, Oscar Benjamin <oscar.j.benjamin at gmail.com> wrote: > > It's also for BINARY_ADD in the form a = a + b: Right you are. It sees that the next operation is a store back to "a". It wouldn't work the other way around, i.e. a = b + a.