https://gcc.gnu.org/bugzilla/show_bug.cgi?id=81082
--- Comment #8 from rsandifo at gcc dot gnu.org <rsandifo at gcc dot gnu.org> --- (In reply to Richard Biener from comment #6) > So moving the transform to match.pd will only have an effect in late VRP > given we need loop header copying to derive a range for the bNs. > > The following is what I've done, remove the problematic foldings from > fold-const.c > and re-instantiate the full transform (but not the factoring of power of > twos) > in match.pd. It vectorizes this testcase again and restores Himeno > performance > (PR81554) Thanks for looking at this. Himeno was (as you probably guessed) the original benchmark from which the testcase was reduced. The impact for us was much higher than the one in PR81554.
