1  /* { dg-do compile } */
       2  /* { dg-final { scan-assembler "rdprs" } } */
       3  
       4  int x ()
       5  {
       6    __builtin_rdprs (3,934);
       7    return 0;
       8  }