On Thu, Nov 27, 2014 at 6:48 AM, Richard Biener wrote:
>
> Currently the order in which patterns in match.pd match is pretty
> random (well, it's deterministic of course). This is bad if there
> are multiple possible matches such as in
>
> z = x + 1;
> w = z + 0;
>
> where we have both z + 0
Currently the order in which patterns in match.pd match is pretty
random (well, it's deterministic of course). This is bad if there
are multiple possible matches such as in
z = x + 1;
w = z + 0;
where we have both z + 0 -> z and (x + 1) + 0 -> x + (1 + 0).
Currently the latter happens to be
