1  /* { dg-do compile } */
       2  /* { dg-require-effective-target vect_double } */
       3  
       4  double a[2], b[2];
       5  
       6  void foo(double x, double y)
       7  {
       8    double breakme1 = y + 3.;
       9    double a1 = b[1] + 2.;
      10    double breakme0 = x;
      11    double a0 = b[0] + 1.;
      12    a[0] = a0 * breakme0;
      13    a[1] = a1 * breakme1;
      14  }
      15  
      16  /* We should vectorize the SLP opportunity starting from the
      17     grouped store to a[] including the load from b[] at the
      18     leaf even though the multiplication requires another
      19     vector invariant to be built.  */
      20  /* { dg-final { scan-tree-dump "transform load" "slp2" } } */