gcc/testsuite/gcc.dg/vect/vect-cond-10.c

   1 /* { dg-require-effective-target vect_cond_mixed } */
   2 /* { dg-require-effective-target vect_float } */
   3 /* { dg-additional-options "-fno-ipa-icf" } */
   4
   5 #include "tree-vect.h"
   6
   7 #define N 1024
   8 float a[N], b[N], c[N], d[N];
   9 _Bool k[N];
  10
  11 __attribute__((noinline, noclone)) void
  12 f1 (void)
  13 {
  14   int i;
  15   for (i = 0; i < N; ++i)
  16     {
  17       int x = a[i] < b[i];
  18       int y = c[i] < d[i];
  19       k[i] = x & y;
  20     }
  21 }
  22
  23 __attribute__((noinline, noclone)) void
  24 f2 (void)
  25 {
  26   int i;
  27   for (i = 0; i < N; ++i)
  28     k[i] = (a[i] < b[i]) & (c[i] < d[i]);
  29 }
  30
  31 __attribute__((noinline, noclone)) void
  32 f3 (void)
  33 {
  34   int i;
  35   for (i = 0; i < N; ++i)
  36     {
  37       int x = a[i] < b[i];
  38       int y = c[i] < d[i];
  39       k[i] = x | y;
  40     }
  41 }
  42
  43 __attribute__((noinline, noclone)) void
  44 f4 (void)
  45 {
  46   int i;
  47   for (i = 0; i < N; ++i)
  48     k[i] = (a[i] < b[i]) | (c[i] < d[i]);
  49 }
  50
  51 __attribute__((noinline, noclone)) void
  52 f5 (_Bool *p)
  53 {
  54   int i;
  55   for (i = 0; i < N; ++i)
  56     {
  57       int x = a[i] < b[i];
  58       int y = c[i] < d[i];
  59       p[i] = x & y;
  60     }
  61 }
  62
  63 __attribute__((noinline, noclone)) void
  64 f6 (_Bool *p)
  65 {
  66   int i;
  67   for (i = 0; i < N; ++i)
  68     p[i] = (a[i] < b[i]) & (c[i] < d[i]);
  69 }
  70
  71 __attribute__((noinline, noclone)) void
  72 f7 (_Bool *p)
  73 {
  74   int i;
  75   for (i = 0; i < N; ++i)
  76     {
  77       int x = a[i] < b[i];
  78       int y = c[i] < d[i];
  79       p[i] = x | y;
  80     }
  81 }
  82
  83 __attribute__((noinline, noclone)) void
  84 f8 (_Bool *p)
  85 {
  86   int i;
  87   for (i = 0; i < N; ++i)
  88     p[i] = (a[i] < b[i]) | (c[i] < d[i]);
  89 }
  90
  91 int
  92 main ()
  93 {
  94   int i;
  95
  96   check_vect ();
  97
  98   for (i = 0; i < N; i++)
  99     {
 100       switch (i % 9)
 101         {
 102         case 0: asm (""); a[i] = - i - 1; b[i] = i + 1; break;
 103         case 1: a[i] = 0; b[i] = 0; break;
 104         case 2: a[i] = i + 1; b[i] = - i - 1; break;
 105         case 3: a[i] = i; b[i] = i + 7; break;
 106         case 4: a[i] = i; b[i] = i; break;
 107         case 5: a[i] = i + 16; b[i] = i + 3; break;
 108         case 6: a[i] = - i - 5; b[i] = - i; break;
 109         case 7: a[i] = - i; b[i] = - i; break;
 110         case 8: a[i] = - i; b[i] = - i - 7; break;
 111         }
 112     }
 113   for (i = 0; i < N; i++)
 114     {
 115       switch ((i / 9) % 3)
 116         {
 117         case 0: c[i] = a[i / 9]; d[i] = b[i / 9]; break;
 118         case 1: c[i] = a[i / 9 + 3]; d[i] = b[i / 9 + 3]; break;
 119         case 2: c[i] = a[i / 9 + 6]; d[i] = b[i / 9 + 6]; break;
 120         }
 121     }
 122   f1 ();
 123 #pragma GCC novector
 124   for (i = 0; i < N; i++)
 125     if (k[i] != ((i % 3) == 0 && ((i / 9) % 3) == 0))
 126       abort ();
 127   __builtin_memset (k, 0, sizeof (k));
 128   f2 ();
 129 #pragma GCC novector
 130   for (i = 0; i < N; i++)
 131     if (k[i] != ((i % 3) == 0 && ((i / 9) % 3) == 0))
 132       abort ();
 133   __builtin_memset (k, 0, sizeof (k));
 134   f3 ();
 135 #pragma GCC novector
 136   for (i = 0; i < N; i++)
 137     if (k[i] != ((i % 3) == 0 || ((i / 9) % 3) == 0))
 138       abort ();
 139   __builtin_memset (k, 0, sizeof (k));
 140   f4 ();
 141 #pragma GCC novector
 142   for (i = 0; i < N; i++)
 143     if (k[i] != ((i % 3) == 0 || ((i / 9) % 3) == 0))
 144       abort ();
 145   __builtin_memset (k, 0, sizeof (k));
 146   f5 (k);
 147 #pragma GCC novector
 148   for (i = 0; i < N; i++)
 149     if (k[i] != ((i % 3) == 0 && ((i / 9) % 3) == 0))
 150       abort ();
 151   __builtin_memset (k, 0, sizeof (k));
 152   f6 (k);
 153 #pragma GCC novector
 154   for (i = 0; i < N; i++)
 155     if (k[i] != ((i % 3) == 0 && ((i / 9) % 3) == 0))
 156       abort ();
 157   __builtin_memset (k, 0, sizeof (k));
 158   f7 (k);
 159 #pragma GCC novector
 160   for (i = 0; i < N; i++)
 161     if (k[i] != ((i % 3) == 0 || ((i / 9) % 3) == 0))
 162       abort ();
 163   __builtin_memset (k, 0, sizeof (k));
 164   f8 (k);
 165 #pragma GCC novector
 166   for (i = 0; i < N; i++)
 167     if (k[i] != ((i % 3) == 0 || ((i / 9) % 3) == 0))
 168       abort ();
 169   __builtin_memset (k, 0, sizeof (k));
 170
 171   return 0;
 172 }
 173
 174 /* { dg-final { scan-tree-dump-times "vectorized 1 loops" 8 "vect" } } */