1 /* { dg-do compile } */ 2 /* { dg-options " " } */ 3 /* { dg-final { scan-assembler-not "wrctl\\tctl6, zero" } } */ 4 foo(void)5 void foo(void){ 6 __builtin_wrctl(6,4); 7 } 8