1  /* { dg-do compile } */
       2  /* { dg-options "-O2" } */
       3  
       4  void
       5  f1 (int *x)
       6  {
       7    __builtin_aarch64_set_fpsr (*x);
       8  }
       9  
      10  void
      11  f2 (int *x)
      12  {
      13    __builtin_aarch64_set_fpcr (*x);
      14  }
      15  
      16  void
      17  f3 (int *x)
      18  {
      19    *x = __builtin_aarch64_get_fpsr ();
      20  }
      21  
      22  void
      23  f4 (int *x)
      24  {
      25    *x = __builtin_aarch64_get_fpcr ();
      26  }