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.