1  /* { dg-do compile } */
       2  /* { dg-require-effective-target arm_fp_dp_ok } */
       3  /* { dg-skip-if "need fp instructions" { *-*-* } { "-mfloat-abi=soft" } { "" } } */
       4  /* { dg-options "-O2 -fno-rounding-math" } */
       5  /* { dg-add-options arm_fp_dp } */
       6  
       7  double
       8  foo_d (double a, double b)
       9  {
      10    /* { dg-final { scan-assembler "vnmul\\.f64" } } */
      11    return -a * b;
      12  }
      13  
      14  float
      15  foo_s (float a, float b)
      16  {
      17    /* { dg-final { scan-assembler "vnmul\\.f32" } } */
      18    return -a * b;
      19  }