gcc/testsuite/gcc.dg/vect/slp-cond-2.c

   1 /* { dg-require-effective-target vect_cond_mixed } */
   2 #include "tree-vect.h"
   3
   4 #define N 32
   5 int d[N], e[N], f[N];
   6 unsigned char k[N];
   7 float a[N], b[N];
   8
   9 __attribute__((noinline, noclone)) void
  10 f1 (void)
  11 {
  12   int i;
  13   for (i = 0; i < N/4; i++)
  14     {
  15       k[4*i] = a[4*i] < b[4*i] ? 17 : 0;
  16       k[4*i+1] = a[4*i+1] < b[4*i+1] ? 17 : 0;
  17       k[4*i+2] = a[4*i+2] < b[4*i+2] ? 17 : 0;
  18       k[4*i+3] = a[4*i+3] < b[4*i+3] ? 17 : 0;
  19     }
  20 }
  21
  22 __attribute__((noinline, noclone)) void
  23 f2 (void)
  24 {
  25   int i;
  26   for (i = 0; i < N/2; ++i)
  27     {
  28       k[2*i] = a[2*i] < b[2*i] ? 0 : 24;
  29       k[2*i+1] = a[2*i+1] < b[2*i+1] ? 7 : 4;
  30     }
  31 }
  32
  33 __attribute__((noinline, noclone)) void
  34 f3 (void)
  35 {
  36   int i;
  37   for (i = 0; i < N/2; ++i)
  38     {
  39       k[2*i] = a[2*i] < b[2*i] ? 51 : 12;
  40       k[2*i+1] = a[2*i+1] > b[2*i+1] ? 51 : 12;
  41     }
  42 }
  43
  44 __attribute__((noinline, noclone)) void
  45 f4 (void)
  46 {
  47   int i;
  48   for (i = 0; i < N/2; ++i)
  49     {
  50       int d0 = d[2*i], e0 = e[2*i];
  51       int d1 = d[2*i+1], e1 = e[2*i+1];
  52       f[2*i] = a[2*i] >= b[2*i] ? d0 : e0;
  53       f[2*i+1] = a[2*i+1] >= b[2*i+1] ? d1 : e1;
  54     }
  55 }
  56
  57 int
  58 main ()
  59 {
  60   int i;
  61
  62   check_vect ();
  63
  64   for (i = 0; i < N; i++)
  65     {
  66       switch (i % 9)
  67         {
  68         case 0: asm (""); a[i] = - i - 1; b[i] = i + 1; break;
  69         case 1: a[i] = 0; b[i] = 0; break;
  70         case 2: a[i] = i + 1; b[i] = - i - 1; break;
  71         case 3: a[i] = i; b[i] = i + 7; break;
  72         case 4: a[i] = i; b[i] = i; break;
  73         case 5: a[i] = i + 16; b[i] = i + 3; break;
  74         case 6: a[i] = - i - 5; b[i] = - i; break;
  75         case 7: a[i] = - i; b[i] = - i; break;
  76         case 8: a[i] = - i; b[i] = - i - 7; break;
  77         }
  78       d[i] = i;
  79       e[i] = 2 * i;
  80     }
  81
  82   f1 ();
  83   for (i = 0; i < N; i++)
  84     if (k[i] != ((i % 3) == 0 ? 17 : 0))
  85       abort ();
  86
  87   f2 ();
  88   for (i = 0; i < N; i++)
  89     {
  90       switch (i % 9)
  91         {
  92         case 0:
  93         case 6:
  94           if (k[i] != ((i/9 % 2) == 0 ? 0 : 7))
  95             abort ();
  96           break;
  97         case 1:
  98         case 5:
  99         case 7:
 100           if (k[i] != ((i/9 % 2) == 0 ? 4 : 24))
 101             abort ();
 102           break;
 103         case 2:
 104         case 4:
 105         case 8:
 106           if (k[i] != ((i/9 % 2) == 0 ? 24 : 4))
 107             abort ();
 108           break;
 109         case 3:
 110           if (k[i] != ((i/9 % 2) == 0 ? 7 : 0))
 111             abort ();
 112           break;
 113         }
 114     }
 115
 116   f3 ();
 117
 118   f4 ();
 119   for (i = 0; i < N; i++)
 120     if (f[i] != ((i % 3) == 0 ? e[i] : d[i]))
 121       abort ();
 122
 123   return 0;
 124 }
 125
 126 /* { dg-final { scan-tree-dump-times "vectorizing stmts using SLP" 3 "vect" } } */
 127 /* { dg-final { cleanup-tree-dump "vect" } } */