gcc/testsuite/gcc.dg/vect/vect-nb-iter-ub-2.c

   1 /* { dg-additional-options "-fdump-tree-cunroll-details" } */
   2
   3 #include "tree-vect.h"
   4
   5 int ii[32];
   6 struct { char a; char b[66]; } cc = { 0,
   7   { 0, 0, 1, 0, 2, 0, 3, 0, 4, 0, 5, 0, 6, 0, 7, 0, 8, 0, 9, 0,
   8     10, 0, 11, 0, 12, 0, 13, 0, 14, 0, 15, 0, 16, 0, 17, 0, 18, 0, 19, 0,
   9     20, 0, 21, 0, 22, 0, 23, 0, 24, 0, 25, 0, 26, 0, 27, 0, 28, 0, 29, 0,
  10     30, 0, 31, 0 }
  11 };
  12
  13 void __attribute__((noinline,noclone))
  14 foo (int s)
  15 {
  16   int i;
  17    for (i = 0; i < s; i++)
  18      ii[i] = (int) cc.b[i*2];
  19 }
  20
  21 int main (int argc, const char **argv)
  22 {
  23   int i;
  24   check_vect ();
  25   foo (32);
  26   for (i = 0; i < 32; i++)
  27     if (ii[i] != i)
  28       __builtin_abort ();
  29 }
  30
  31 /* { dg-final { scan-tree-dump "vectorized 1 loops" "vect" { target { i?86-*-* x86_64-*-* } } } } */
  32 /* { dg-final { scan-tree-dump "loop turned into non-loop; it never loops" "cunroll" { target { i?86-*-* x86_64-*-* } } } } */
  33 /* { dg-final { scan-tree-dump-not "loop with 2 iterations completely unrolled" "cunroll" { target { i?86-*-* x86_64-*-* } } } } */