gcc/testsuite/gcc.dg/vect/bb-slp-pattern-1.c

   1 /* { dg-require-effective-target vect_int } */
   2
   3 #include <stdarg.h>
   4 #include "tree-vect.h"
   5
   6 #define N 8
   7
   8 unsigned short X[N];
   9 unsigned short Y[N];
  10 unsigned int result[N];
  11
  12 /* unsigned short->unsigned int widening-mult.  */
  13 __attribute__ ((noinline, noclone)) void
  14 foo (void)
  15 {
  16   result[0] = (unsigned int) (X[0] * Y[0]);
  17   result[1] = (unsigned int) (X[1] * Y[1]);
  18   result[2] = (unsigned int) (X[2] * Y[2]);
  19   result[3] = (unsigned int) (X[3] * Y[3]);
  20   result[4] = (unsigned int) (X[4] * Y[4]);
  21   result[5] = (unsigned int) (X[5] * Y[5]);
  22   result[6] = (unsigned int) (X[6] * Y[6]);
  23   result[7] = (unsigned int) (X[7] * Y[7]);
  24 }
  25
  26 int main (void)
  27 {
  28   int i, tmp;
  29
  30   check_vect ();
  31
  32   for (i = 0; i < N; i++)
  33     {
  34       X[i] = i;
  35       Y[i] = 64-i;
  36     }
  37
  38   foo ();
  39
  40   for (i = 0; i < N; i++)
  41     {
  42       __asm__ volatile ("");
  43       tmp = X[i] * Y[i];
  44       if (result[i] != tmp)
  45         abort ();
  46     }
  47
  48   return 0;
  49 }
  50
  51 /* { dg-final { scan-tree-dump-times "vectorizing stmts using SLP" 1 "slp2" { target { vect_widen_mult_hi_to_si || vect_unpack } } } } */
  52 /* { dg-final { scan-tree-dump-times "vect_recog_widen_mult_pattern: detected" 8 "slp2" { target vect_widen_mult_hi_to_si_pattern } } } */
  53 /* { dg-final { scan-tree-dump-times "pattern recognized" 8 "slp2" { target vect_widen_mult_hi_to_si_pattern } } } */