Re: [PATCH 2/8]middle-end: Recognize scalar widening reductions

[Jeff Law via Gcc-patches]

On 10/31/22 05:57, Tamar Christina wrote:

Hi All,

This adds a new optab and IFNs for REDUC_PLUS_WIDEN where the resulting
scalar reduction has twice the precision of the input elements.

At some point in a later patch I will also teach the vectorizer to recognize
this builtin once I figure out how the various bits of reductions work.

For now it's generated only by the match.pd pattern.

Bootstrapped Regtested on aarch64-none-linux-gnu, x86_64-pc-linux-gnu
and no issues.

Ok for master?

Thanks,
Tamar

gcc/ChangeLog:

        * internal-fn.def (REDUC_PLUS_WIDEN): New.
        * doc/md.texi: Document it.
        * match.pd: Recognize widening plus.
        * optabs.def (reduc_splus_widen_scal_optab,
        reduc_uplus_widen_scal_optab): New.

OK

jeff