[Bug tree-optimization/128142] [16/17 Regression] Vector (x + y) >> 1 folded to .AVG_FLOOR although the signed sum can wrap with -fwrapv since r16-1112

[ishevlyakov at gcc dot gnu.org via Gcc-bugs]

https://gcc.gnu.org/bugzilla/show_bug.cgi?id=128142

--- Comment #5 from Igor Shevlyakov <ishevlyakov at gcc dot gnu.org> ---
Ah, also, API you proposed works on scalars and this one is vector fold