https://gcc.gnu.org/bugzilla/show_bug.cgi?id=22326
--- Comment #11 from rguenther at suse dot de <rguenther at suse dot de> --- On Mon, 23 Nov 2020, luoxhu at gcc dot gnu.org wrote: > https://gcc.gnu.org/bugzilla/show_bug.cgi?id=22326 > > --- Comment #10 from luoxhu at gcc dot gnu.org --- > Even we could optimize fabs to fabsf, it doesn't help here as y and z are > already promoted to double, then we still need a large pattern to match the > MUL&PLUS expression in match.pd, so fabs to fabsf seems not a reasonable > direction... The larger expressions should be subject to a propagation pass and not arbitrarily complex static pattern matching. Maybe backprop is a suitable one to wire this in.
