1  /* { dg-options "-O3 -mcpu=v6.00.a -mhard-float" } */
       2  
       3  volatile float f1, f2, f3;
       4  
       5  void float_func () 
       6  {
       7    /* { dg-final { scan-assembler "fcmp\.(le|gt)\tr(\[0-9]\|\[1-2]\[0-9]\|3\[0-1]),r(\[0-9]\|\[1-2]\[0-9]\|3\[0-1]),r(\[0-9]\|\[1-2]\[0-9]\|3\[0-1])\[^0-9]" } } */
       8      if (f2 <= f3) 
       9          print ("le");
      10  }