1  /* { dg-options "-O1" } */
       2  
       3  void
       4  fpsr_getter (void)
       5  {
       6    unsigned int fpsr = __builtin_aarch64_get_fpsr ();
       7  }
       8  
       9  void
      10  fpsr64_getter (void)
      11  {
      12    unsigned long fpsr = __builtin_aarch64_get_fpsr64 ();
      13  }
      14  
      15  void
      16  fpcr_getter (void)
      17  {
      18    unsigned int fpcr = __builtin_aarch64_get_fpcr ();
      19  }
      20  
      21  void
      22  fpcr64_getter (void)
      23  {
      24    unsigned long fpcr = __builtin_aarch64_get_fpcr64 ();
      25  }
      26  
      27  /* { dg-final { scan-assembler-times {\tmrs\tx0, fpsr\n} 2 } } */
      28  /* { dg-final { scan-assembler-times {\tmrs\tx0, fpcr\n} 2 } } */