1  /* { dg-do compile } */
       2  /* { dg-options "-O2" } */
       3  
       4  void
       5  set_fpsr64 (long long unsigned x)
       6  {
       7    return __builtin_aarch64_set_fpsr64 (x);
       8  }
       9  
      10  /* { dg-final { scan-assembler-times {\tmsr\tfpsr, x0\n} 1 } } */