https://gcc.gnu.org/bugzilla/show_bug.cgi?id=112438
--- Comment #8 from Kito Cheng <kito at gcc dot gnu.org> --- > Oh. I understand it now. I think it's a bug. > > And.. I just take a look at my internal LLVM... > Also has same issue.... > > I think we need to adapt the Gimple IR here: > > _35 = .SELECT_VL (ivtmp_33, POLY_INT_CST [4, 4]); > _21 = vect_vec_iv_.6_22 + { POLY_INT_CST [4, 4], ... }; > > change it into: > > _35 = .SELECT_VL (ivtmp_33, POLY_INT_CST [4, 4]); > _21 = vect_vec_iv_.6_22 + _35; Yeah, so...I guess the original report still valid, it's just bring up another potential bug :P Personally I really hate that magic constraint for vl but it's just toooooo late.