/* { dg-options "-O1" } */

void
fpsr_getter (void)
{
  unsigned int fpsr = __builtin_aarch64_get_fpsr ();
}

void
fpsr64_getter (void)
{
  unsigned long fpsr = __builtin_aarch64_get_fpsr64 ();
}

void
fpcr_getter (void)
{
  unsigned int fpcr = __builtin_aarch64_get_fpcr ();
}

void
fpcr64_getter (void)
{
  unsigned long fpcr = __builtin_aarch64_get_fpcr64 ();
}

/* { dg-final { scan-assembler-times {\tmrs\tx0, fpsr\n} 2 } } */
/* { dg-final { scan-assembler-times {\tmrs\tx0, fpcr\n} 2 } } */