1 /* { dg-do compile } */
2 
3 volatile int res;
4 
x()5 void x ()
6 {
7   __builtin_wrctl (0, res);
8   __builtin_wrctl (15, res);
9   __builtin_wrctl (31, res);
10 
11   res = __builtin_rdctl (0);
12   res = __builtin_rdctl (15);
13   res = __builtin_rdctl (31);
14 }
15