gcc/testsuite/gcc.target/arm/pragma_fpu_attribute_2.c

   1 /* Test for #pragma assembly extension generations.  */
   2 /* { dg-do compile } */
   3 /* { dg-require-effective-target arm_fp_ok } */
   4 /* { dg-add-options arm_fp } */
   5
   6 #include <stdint.h>
   7
   8 #pragma GCC target("fpu=vfpv3-d16")
   9
  10 extern uint32_t bar();
  11
  12 #pragma GCC push_options
  13 #pragma GCC target("fpu=vfpv4")
  14 extern float fmaf (float, float, float);
  15
  16 float
  17 vfma32 (float x, float y, float z)
  18 {
  19   return fmaf (x, y, z);
  20 }
  21 #pragma GCC pop_options
  22
  23 uint32_t restored ()
  24 {
  25   return bar();
  26 }
  27
  28 /* We can't tell exactly how many times the following tests will match because
  29    command-line options may cause additional instances to be generated, but
  30    each must be present at least once.  */
  31 /* { dg-final { scan-assembler {\.fpu\s+vfpv4\n} } } */
  32 /* { dg-final { scan-assembler {\.fpu\s+vfpv3-d16\n} } } */