gcc/testsuite/gcc.target/nios2/nios2-rdwrctl-1.c

   1 /* { dg-do compile } */
   2
   3 volatile int res;
   4
   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 }