gcc/testsuite/gcc.dg/vect/bb-slp-48.c

   1 /* { dg-do compile } */
   2 /* { dg-additional-options "-fgimple -fdump-tree-optimized" } */
   3 /* { dg-require-effective-target vect_double } */
   4
   5 double a[2];
   6
   7 void __GIMPLE (ssa,startwith ("fix_loops"))
   8 foo (double x)
   9 {
  10   double tem2;
  11   double tem1;
  12   double _1;
  13   double _2;
  14   double _3;
  15   double _4;
  16
  17   __BB(2):
  18   _1 = a[0];
  19   _2 = x_6(D) * 3.0e+0;
  20   tem1_7 = _1 + _2;
  21   _3 = x_6(D) + 1.0e+0;
  22   _4 = a[1];
  23   tem2_8 = _4 + _3;
  24   a[0] = tem1_7;
  25   a[1] = tem2_8;
  26   return;
  27 }
  28
  29 void __GIMPLE (ssa,startwith ("fix_loops"))
  30 bar (double x)
  31 {
  32   double tem2;
  33   double tem1;
  34   double _1;
  35   double _2;
  36   double _3;
  37   double _4;
  38
  39   __BB(2):
  40   _1 = a[0];
  41   _2 = x_6(D) * 3.0e+0;
  42   tem1_7 = _1 + _2;
  43   _3 = x_6(D) + 1.0e+0;
  44   _4 = a[1];
  45   /* Once with operands swapped.  */
  46   tem2_8 = _3 + _4;
  47   a[0] = tem1_7;
  48   a[1] = tem2_8;
  49   return;
  50 }
  51
  52 /* { dg-final { scan-tree-dump-times "optimized: basic block" 2 "slp2" } } */
  53 /* We want to vectorize as { a[0], a[1] } + { x*3, x+1 } and thus
  54    elide one add in each function.  */
  55 /* { dg-final { scan-tree-dump-times " \\+ " 4 "optimized" } } */