https://gcc.gnu.org/bugzilla/show_bug.cgi?id=115659
--- Comment #7 from Kewen Lin <linkw at gcc dot gnu.org> --- > > > (simplify > > > (vec_cond @0 @1 integer_all_ones_p) > > > (bit_ior (view_convert @0) @1)) > > > ``` > > > > Missing negate for the vector one? > > No because vector true is already -1 :). I could be wrong, but this vector transformation seems wrong, like @0 is -1, originally wants @1 but this simplification returns -1, while @0 is 0, originally wants -1 but this simplification returns @1, the results get switched?