[Bug tree-optimization/127824] fails to vectorize bounded double comparison with and reduction

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

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

--- Comment #5 from Manuel López-Ibáñez <manu at gcc dot gnu.org> ---
(In reply to Richard Biener from comment #1)
> The PR should probably split, weakly_dominates_2 shows the AND reduction
> issue for a single-bit set initial value.

I have opened PR127849 but I am not sure if my summary is what you meant.