1  /* { dg-do link { target arm_soft_ok_link } } */
       2  /* { dg-skip-if "Feature is -mfloat-abi=soft only" { *-*-* } { "-mfloat-abi=*" } { "-mfloat-abi=soft" } } */
       3  /* { dg-options "-mfloat-abi=soft" } */
       4  
       5  int
       6  foo (void)
       7  {
       8    volatile float a;
       9    volatile float b;
      10    volatile float c = a * b + a / b;
      11    return 0;
      12  }
      13  
      14  int
      15  bar (void)
      16  {
      17    volatile double a;
      18    volatile double b;
      19    volatile double c = a * b + a / b;
      20    return 0;
      21  }
      22  
      23  int
      24  main (void)
      25  {
      26    foo ();
      27    bar ();
      28    return 0;
      29  }
      30  
      31  /* { dg-final { scan-symbol "__aeabi_fmul" } } */
      32  /* { dg-final { scan-symbol "__aeabi_dmul" } } */
      33  /* { dg-final { scan-symbol "__aeabi_fdiv" } } */
      34  /* { dg-final { scan-symbol "__aeabi_ddiv" } } */