gcc/testsuite/gcc.dg/vect/fast-math-vect-call-1.c

   1 #include "tree-vect.h"
   2
   3 extern float copysignf (float, float);
   4 extern float sqrtf (float);
   5 extern float fabsf (float);
   6 extern void abort (void);
   7 float a[64], b[64], c[64], d[64];
   8
   9 __attribute__((noinline, noclone)) void
  10 f1 (int n)
  11 {
  12   int i;
  13   for (i = 0; i < n; i++)
  14     {
  15       a[4 * i + 0] = copysignf (b[4 * i + 0], c[4 * i + 0]) + 1.0f + sqrtf (d[4 * i + 0]);
  16       a[4 * i + 1] = copysignf (b[4 * i + 1], c[4 * i + 1]) + 2.0f + sqrtf (d[4 * i + 1]);
  17       a[4 * i + 2] = copysignf (b[4 * i + 2], c[4 * i + 2]) + 3.0f + sqrtf (d[4 * i + 2]);
  18       a[4 * i + 3] = copysignf (b[4 * i + 3], c[4 * i + 3]) + 4.0f + sqrtf (d[4 * i + 3]);
  19     }
  20 }
  21
  22 __attribute__((noinline, noclone)) void
  23 f2 (int n)
  24 {
  25   int i;
  26   for (i = 0; i < 2 * n; i++)
  27     {
  28       a[2 * i + 0] = copysignf (b[2 * i + 0], c[2 * i + 0]) + 1.0f + sqrtf (d[2 * i + 0]);
  29       a[2 * i + 1] = copysignf (b[2 * i + 1], c[2 * i + 1]) + 2.0f + sqrtf (d[2 * i + 1]);
  30     }
  31 }
  32
  33 __attribute__((noinline, noclone)) void
  34 f3 (void)
  35 {
  36   int i;
  37   for (i = 0; i < 64; i++)
  38     a[i] = copysignf (b[i], c[i]) + 1.0f + sqrtf (d[i]);
  39 }
  40
  41 __attribute__((noinline, noclone)) int
  42 main1 ()
  43 {
  44   int i;
  45
  46   for (i = 0; i < 64; i++)
  47     {
  48       asm ("");
  49       b[i] = (i & 1) ? -4 * i : 4 * i;
  50       c[i] = (i & 2) ? -8 * i : 8 * i;
  51       d[i] = i * i;
  52     }
  53   f1 (16);
  54   for (i = 0; i < 64; i++)
  55     if (fabsf (((i & 2) ? -4 * i : 4 * i) + 1 + (i & 3) + i - a[i]) >= 0.0001f)
  56       abort ();
  57     else
  58       a[i] = 131.25;
  59   f2 (16);
  60   for (i = 0; i < 64; i++)
  61     if (fabsf (((i & 2) ? -4 * i : 4 * i) + 1 + (i & 1) + i - a[i]) >= 0.0001f)
  62       abort ();
  63     else
  64       a[i] = 131.25;
  65   f3 ();
  66   for (i = 0; i < 64; i++)
  67     if (fabsf (((i & 2) ? -4 * i : 4 * i) + 1 + i - a[i]) >= 0.0001f)
  68       abort ();
  69   return 0;
  70 }
  71
  72 int
  73 main ()
  74 {
  75   check_vect ();
  76   return main1 ();
  77 }
  78
  79 /* { dg-final { scan-tree-dump-times "vectorized 1 loops" 3 "vect" { target { vect_call_copysignf && vect_call_sqrtf } } } } */
  80 /* { dg-final { scan-tree-dump-times "vectorizing stmts using SLP" 2 "vect" { target { vect_call_copysignf && vect_call_sqrtf } } } } */
  81 /* { dg-final { cleanup-tree-dump "vect" } } */