[Bug tree-optimization/85143] Loop limit prevents (auto)vectorization

[glisse at gcc dot gnu.org]

https://gcc.gnu.org/bugzilla/show_bug.cgi?id=85143

--- Comment #5 from Marc Glisse <glisse at gcc dot gnu.org> ---
The test becomes

  _1 = n_15(D) <= i_46;
  _2 = i_46 > 1336;
  _3 = _1 | _2;

However, in match.pd, we only handle the AND case. The corresponding IOR
transformation should be handled similarly.