On Tue, 4 Oct 2016, Richard Biener wrote: > Possibly. Though then for FP we also want - abs (a) -> copysign (a, -1).
For architectures such as powerpc that have a negated-abs instruction, does it get properly generated from the copysign code? (The relevant pattern in rs6000.md uses (neg (abs)) - is that the correct canonical RTL for this?) -- Joseph S. Myers jos...@codesourcery.com