1  /* { dg-do compile { target {{ i?86-*-* x86_64-*-* } && lp64 } } } */
       2  /* { dg-options "-O2 -m64 -fdump-tree-ivopts-details" } */
       3  
       4  #ifndef TYPE
       5  #define TYPE char*
       6  #endif
       7  
       8  int a[400];
       9  
      10  /* Testing inferred loop iteration from array -- exit test can be replaced.  */
      11  void foo (int i_width, TYPE dst, TYPE src1, TYPE src2)
      12  {
      13        TYPE dstn= dst + i_width;
      14        TYPE dst0 = dst;
      15        unsigned long long i = 0;
      16         for( ; dst <= dstn; )
      17         {
      18             dst0[i] = ( src1[i] + src2[i] + 1 +a[i]) >> 1;
      19             dst++;
      20  	   i += 16;
      21         }
      22  }
      23  
      24  /* { dg-final { scan-tree-dump-times "Replacing" 1 "ivopts"} } */