On Mon, 1 Aug 2016, Richard Biener wrote: > I don't think so - the pattern is as much a canonicalization as an > optimization. If the target cannot expand copysign then the > middle-end expander should try an alternative like the a / abs(x) > form. Though if copysign cannot be open-coded then I don't see > how abs can be opencoded (which basically is copysign (1.0, x)).
It's expanded incorrectly in those cases (see bug 29253). -- Joseph S. Myers jos...@codesourcery.com