On 06/24/2015 05:43 AM, Richard Biener wrote:
Note that ISTR code performing exactly the opposite transform in
fold-const.c ...
That's another reason why I'm worried about just doing the (negate ...)
thing without knowing whether the negate can be folded into anything else.
I'm not aware of anything here.
It's worth looking at -- I've certainly seen cases where we end up
infinite recursion because we've got a transformation in once place (say
match.pd) and its inverse elsewhere (fold-const.c).
Jeff