https://gcc.gnu.org/bugzilla/show_bug.cgi?id=88398 --- Comment #43 from Jiu Fu Guo <guojiufu at gcc dot gnu.org> --- To handle vectorization for this kind of code, it needs to overcome the hard issue mentioned in comment #5: the loop has 2 exits.