1  /* { dg-options "-O2 -ftree-vectorize -fno-vect-cost-model" } */
       2  
       3  void
       4  f (double *restrict res, double *restrict ptr)
       5  {
       6    double x0 = res[0];
       7    double x1 = res[1];
       8    for (int i = 0; i < 128; i += 2)
       9      {
      10        x0 = __builtin_fmin (x0, ptr[i + 0]);
      11        x1 = __builtin_fmin (x1, ptr[i + 1]);
      12      }
      13    res[0] = x0;
      14    res[1] = x1;
      15  }
      16  
      17  /* { dg-final { scan-assembler {\twhilelo\t(p[0-7])\.d,.*\tfminnm\tz[0-9]+\.d, \1/m, z[0-9]+\.d, z[0-9]+\.d\n} } } */
      18  /* { dg-final { scan-assembler-times {\tfminnmv\td[0-9]+, p[0-7], z[0-9]+\.d\n} 2 } } */