[Webkit-unassigned] [Bug 151214] CheckAdd/Mul should have commutativity optimizations in B3->Air lowering

[bugzilla-daemon at webkit.org]

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

--- Comment #1 from Filip Pizlo <fpizlo at apple.com> ---
I think that the right story for commutativity is just to allow B3 to commute CheckAdd/CheckMul.  If you are a client of B3 and you want to emit:

    CheckAdd(@x, @y)

And you want your generator to know what @x and @y are *before* commutation, you should do:

    CheckAdd(@x, @y, @x, @y)

We might commute the first two args since those are relevant to the math, but we won't commute the stackmap arguments.

-- 
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/20151116/3bbf2bd1/attachment.html>