gcc/testsuite/gcc.dg/vect/wrapv-vect-reduc-pattern-2.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   signed short data_sh[N] = {0,2,4,6,8,10,12,14,16,18,20,22,24,26,28};
  14   signed char data_ch[N] = {0,1,2,3,4,5,6,7,8,9,10,11,12,13,14,15};
  15   signed int intsum = 0;
  16   signed short shortsum = 0;
  17
  18   /* widenning sum: sum shorts into int.  */
  19   for (i = 0; i < N; i++){
  20     intsum += data_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 += data_ch[i];
  31   }
  32
  33   /* check results:  */
  34   if (intsum != CH_SUM)
  35     abort ();
  36
  37   /* widenning sum: sum chars into short.  */
  38   for (i = 0; i < N; i++){
  39     shortsum += data_ch[i];
  40   }
  41
  42   /* check results:  */
  43   if (shortsum != CH_SUM)
  44     abort ();
  45
  46   return 0;
  47 }
  48
  49 int main (void)
  50 {
  51   check_vect ();
  52
  53   return main1 ();
  54 }
  55
  56 /* { dg-final { scan-tree-dump-times "vect_recog_widen_sum_pattern: detected" 3 "vect" } } */
  57 /* { dg-final { scan-tree-dump-times "vectorized 3 loops" 1 "vect" { xfail *-*-* } } } */
  58 /* { dg-final { scan-tree-dump-times "vectorized 2 loops" 1 "vect" { target vect_widen_sum } } } */
  59 /* { dg-final { cleanup-tree-dump "vect" } } */