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  }