1  /* { dg-do compile } */
       2  /* { dg-require-effective-target vect_double } */
       3  /* { dg-require-effective-target vect_condition } */
       4  
       5  void foo (double *x, double *y, int m, int n, int o, int p)
       6  {
       7    for (int i = 0; i < m; ++i)
       8      for (int j = 0; j < n; ++j)
       9        for (int k = 0; k < o; ++k)
      10  	for (int l = 0; l < p; ++l)
      11  	  {
      12  	    double tem = x[l] + y[l];
      13  	    if (tem != 0.)
      14  	      y[l] = x[l];
      15  	    else
      16  	      y[l] = 0.;
      17  	  }
      18  }
      19  
      20  /* { dg-final { scan-tree-dump "applying loop versioning to outer loop 1" "vect" } } */