Viewing file:  pr101145.c (3.06 KB) -rw-r--r--
Select action/file-type:
 (+) |  (+) |  (+) | Code (+) | Session (+) |  (+) | SDB (+) |  (+) |  (+) |  (+) |  (+) |  (+) |
/* { dg-require-effective-target vect_int } */
/* { dg-additional-options "-O3" } */
#include <limits.h>
unsigned __attribute__ ((noinline))
foo (int *__restrict__ a, int *__restrict__ b, unsigned l, unsigned n)
{
while (n < ++l)
*a++ = *b++ + 1;
return l;
}
unsigned __attribute__ ((noinline))
foo_1 (int *__restrict__ a, int *__restrict__ b, unsigned l, unsigned)
{
while (UINT_MAX - 64 < ++l)
*a++ = *b++ + 1;
return l;
}
unsigned __attribute__ ((noinline))
foo_2 (int *__restrict__ a, int *__restrict__ b, unsigned l, unsigned n)
{
l = UINT_MAX - 32;
while (n < ++l)
*a++ = *b++ + 1;
return l;
}
unsigned __attribute__ ((noinline))
foo_3 (int *__restrict__ a, int *__restrict__ b, unsigned l, unsigned n)
{
while (n <= ++l)
*a++ = *b++ + 1;
return l;
}
unsigned __attribute__ ((noinline))
foo_4 (int *__restrict__ a, int *__restrict__ b, unsigned l, unsigned n)
{ // infininate
while (0 <= ++l)
*a++ = *b++ + 1;
return l;
}
unsigned __attribute__ ((noinline))
foo_5 (int *__restrict__ a, int *__restrict__ b, unsigned l, unsigned n)
{
//no loop
l = UINT_MAX;
while (n < ++l)
*a++ = *b++ + 1;
return l;
}
unsigned __attribute__ ((noinline))
bar (int *__restrict__ a, int *__restrict__ b, unsigned l, unsigned n)
{
while (--l < n)
*a++ = *b++ + 1;
return l;
}
unsigned __attribute__ ((noinline))
bar_1 (int *__restrict__ a, int *__restrict__ b, unsigned l, unsigned)
{
while (--l < 64)
*a++ = *b++ + 1;
return l;
}
unsigned __attribute__ ((noinline))
bar_2 (int *__restrict__ a, int *__restrict__ b, unsigned l, unsigned n)
{
l = 32;
while (--l < n)
*a++ = *b++ + 1;
return l;
}
int a[3200], b[3200];
int fail;
int
main ()
{
unsigned l, n;
unsigned res;
/* l > n*/
n = UINT_MAX - 64;
l = n + 32;
res = foo (a, b, l, n);
if (res != 0)
fail++;
l = n;
res = foo (a, b, l, n);
if (res != 0)
fail++;
l = n - 1;
res = foo (a, b, l, n);
if (res != l + 1)
fail++;
l = n - 32;
res = foo (a, b, l, n);
if (res != l + 1)
fail++;
l = UINT_MAX;
res = foo (a, b, l, n);
if (res != 0)
fail++;
l = n + 32;
res = foo_1 (a, b, l, n);
if (res != 0)
fail++;
l = n + 32;
res = foo_2 (a, b, l, n);
if (res != 0)
fail++;
l = n;
res = foo_3 (a, b, l, n);
if (res != 0)
fail++;
l = n - 1;
res = foo_3 (a, b, l, n);
if (res != 0)
fail++;
l = n - 2;
res = foo_3 (a, b, l, n);
if (res != l + 1)
fail++;
res = foo_5 (a, b, l, n);
if (res != 0)
fail++;
n = 64;
l = n - 32;
res = bar (a, b, l, n);
res++;
if (res != 0)
fail++;
l = n;
res = bar (a, b, l, n);
res++;
if (res != 0)
fail++;
l = n + 1;
res = bar (a, b, l, n);
res++;
if (res != l)
fail++;
l = 0;
res = bar (a, b, l, n);
res++;
if (res != l)
fail++;
l = 32;
res = bar_1 (a, b, l, n);
res++;
if (res != 0)
fail++;
res = bar_1 (a, b, l, n);
res++;
if (res != 0)
fail++;
if (fail)
__builtin_abort ();
return 0;
}
/* { dg-final { scan-tree-dump-times "vectorized 1 loops" 7 "vect" } } */
|
