On 04/29/2015 11:03 AM, Segher Boessenkool wrote:
Right. It would be good if you could find out for what targets it matters.
The thing is, if a target expects only the patterns as combine used to make
them, it will regress (as you've seen on aarch64); but it will regress
_silently_. Which isn't so nice.
But before that I wanted to check if the assumption in combiner, can simply
be removed ?
Seeing for what targets / patterns it makes a difference would tell us the
answer to that, too :-)
Right. ANd that was one of the two general directions I recommended
earlier this week ;-)
1. Figure out if this code still matters at all.
2. If the code still matters, accurately track if we're
inside a MEM so that things canonicalize correctly.
jeff