1  /* { dg-do compile } */
       2  /* { dg-options "-O3" } */
       3  
       4  void f5(float * restrict z0, float * restrict z1, float *restrict x, float * restrict y, float c, int n)
       5  {
       6      for (int i = 0; i < n; i++) {
       7          float a = x[i];
       8          float b = y[i];
       9          if (a > b) {
      10              z0[i] = a + b;
      11              if (a > c) {
      12                  z1[i] = a - b;
      13              }
      14          }
      15      }
      16  }
      17  
      18  /* { dg-final { scan-assembler-times {\tfcmgt\tp[0-9]+\.s, p[0-9]+/z, z[0-9]+\.s, z[0-9]+\.s} 2 } } */