[Bug tree-optimization/108757] We do not simplify (a - (N*M)) / N + M -> a / N

[pinskia at gcc dot gnu.org via Gcc-bugs]

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

Andrew Pinski <pinskia at gcc dot gnu.org> changed:

           What    |Removed                     |Added
----------------------------------------------------------------------------
          Component|rtl-optimization            |tree-optimization

--- Comment #17 from Andrew Pinski <pinskia at gcc dot gnu.org> ---
  _13 = rows_8(D) + 18446744073709551612;
  _15 = _13 >> 2;
  doloop.8_5 = _15 + 1;


This is what IV-OPTS produces.

Reduced testcase:
typedef __SIZE_TYPE__ size_t;

void convert(size_t rows, float*src, float *result)
{
  for(size_t i = 0; i + 4 <= rows; i+=4) {
    float t = src[i];
    result[i] = t;
  }
}