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

--- Comment #4 from Xi Ruoyao <xry111 at gcc dot gnu.org> ---
My patch does not work for a slightly twisted test case:

/* { dg-do run } */
/* { dg-options "-O2 -ftree-vectorize" } */

__attribute__((noipa)) int
foo (signed char *x, signed char *y, int n)
{
  int i, r = 0;
  signed char a, b;
  for (i = 0; i < n; i++)
    {
      a = x[i];
      b = y[i];
      int c = (unsigned int)(unsigned char) a - (signed int)(signed char) b;
      r = r + (c < 0 ? -c : c);
    }
  return r;
}

int
main ()
{
  signed char x[64] = {}, y[64] = {};
  if (__CHAR_BIT__ != 8 || __SIZEOF_INT__ != 4)
    return 0;
  x[32] = -128;
  y[32] = 1;
  if (foo (x, y, 64) != 127)
    __builtin_abort ();
  return 0;
}

Reply via email to