https://gcc.gnu.org/bugzilla/show_bug.cgi?id=111125
--- Comment #2 from Richard Biener <rguenth at gcc dot gnu.org> --- For gcc.dg/vect/bb-slp-29.c we are now vectorizing #pragma GCC novector for (i = 0; i < N/2; i++) { if (dst[i] != A * src[i] + B * src[i+1]) abort (); } in particular the multiplication and the addition (but not the load which had predictive commoning applied). When cost modeling is enabled this vectorization is not deemed profitable (but the vect testsuite runs with -fno-vect-cost-model). I wonder if we want to excempt basic blocks within loops marked with novector from BB vectorization.