gcc/testsuite/gcc.dg/vect/vect-114.c

   1 /* { dg-require-effective-target vect_float } */
   2 /* { dg-additional-options "-fdump-tree-optimized-details-blocks" } */
   3
   4 #include <stdarg.h>
   5 #include "tree-vect.h"
   6
   7 #define N 16
   8
   9 __attribute__ ((noinline)) int
  10 main1 (void)
  11 {
  12   int i;
  13   float a[N];
  14   float b[N] = {0,3,6,9,12,15,18,21,24,27,30,33,36,39,42,45};
  15
  16   /* Reverse access and forward access.  */
  17   for (i = N; i > 0; i--)
  18     {
  19       a[N-i] = b[i-1];
  20     }
  21
  22   /* Check results.  */
  23 #pragma GCC novector
  24   for (i = 0; i <N; i++)
  25     {
  26       if (a[i] != b[N-1-i])
  27         abort ();
  28     }
  29
  30   return 0;
  31 }
  32
  33 int main (void)
  34 {
  35   check_vect ();
  36   return main1 ();
  37 }
  38
  39 /* Requires reverse for SVE, which is implemented by a later patch.
  40    Until then we fall back to Advanced SIMD and successfully vectorize
  41    the loop.  */
  42 /* { dg-final { scan-tree-dump-times "vectorized 0 loops" 1 "vect" { target { ! vect_perm } xfail { aarch64_sve && vect_variable_length } } } } */
  43 /* { dg-final { scan-tree-dump-times "vectorized 1 loops" 1 "vect" { target vect_perm } } } */
  44
  45 /* { dg-final { scan-tree-dump-not "Invalid sum" "optimized" } } */