https://gcc.gnu.org/bugzilla/show_bug.cgi?id=112359
--- Comment #2 from Robin Dapp <rdapp at gcc dot gnu.org> --- Would something like + bool allow_cond_op = flag_tree_loop_vectorize + && !gimple_bb (phi)->loop_father->dont_vectorize; in convert_scalar_cond_reduction be sufficient or are the more conditions to check still? Testing with the above and the reduced testcase worked FWIW.