/* Test for #pragma assembly extension generations.  */
/* { dg-do compile } */
/* { dg-require-effective-target arm_fp_ok } */
/* { dg-add-options arm_fp } */

#include <stdint.h>

#pragma GCC target("fpu=vfpv3-d16")

extern uint32_t bar();

#pragma GCC push_options
#pragma GCC target("fpu=vfpv4")
extern float fmaf (float, float, float);

float
vfma32 (float x, float y, float z)
{
  return fmaf (x, y, z);
}
#pragma GCC pop_options

uint32_t restored ()
{
  return bar();
}

/* { dg-final { scan-assembler-times {\.fpu\s+vfpv4} 1 } } */
/* { dg-final { scan-assembler-times {\.fpu\s+vfpv3-d16} 1 } } */