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