gcc/testsuite/gcc.dg/vect/vect-reduc-pattern-1.c

   1 /* { dg-require-effective-target vect_int } */
   2
   3 #include <stdarg.h>
   4 #include "tree-vect.h"
   5
   6 #define N 16
   7 #define SH_SUM 210
   8 #define CH_SUM 120
   9
  10 int main1 ()
  11 {
  12   int i;
  13   unsigned short udata_sh[N] = {0,2,4,6,8,10,12,14,16,18,20,22,24,26,28};
  14   unsigned char udata_ch[N] = {0,1,2,3,4,5,6,7,8,9,10,11,12,13,14,15};
  15   unsigned int intsum = 0;
  16   unsigned short shortsum = 0;
  17
  18   /* widenning sum: sum shorts into int.  */
  19   for (i = 0; i < N; i++){
  20     intsum += udata_sh[i];
  21   }
  22
  23   /* check results:  */
  24   if (intsum != SH_SUM)
  25     abort ();
  26
  27   /* widenning sum: sum chars into int.  */
  28   intsum = 0;
  29   for (i = 0; i < N; i++){
  30     intsum += udata_ch[i];
  31   }
  32
  33   /* check results:  */
  34   if (intsum != CH_SUM)
  35     abort ();
  36
  37   /* widenning sum: sum chars into short.
  38      pattern detected, but not vectorized yet. */
  39   for (i = 0; i < N; i++){
  40     shortsum += udata_ch[i];
  41   }
  42
  43   /* check results:  */
  44   if (shortsum != CH_SUM)
  45     abort ();
  46
  47   return 0;
  48 }
  49
  50 int main (void)
  51 {
  52   check_vect ();
  53
  54   return main1 ();
  55 }
  56
  57 /* { dg-final { scan-tree-dump-times "vect_recog_widen_sum_pattern: detected" 3 "vect" } } */
  58 /* { dg-final { scan-tree-dump-times "vectorized 3 loops" 1 "vect" { xfail *-*-* } } } */
  59 /* { dg-final { scan-tree-dump-times "vectorized 2 loops" 1 "vect" { target vect_widen_sum } } } */
  60 /* { dg-final { cleanup-tree-dump "vect" } } */