gcc/testsuite/gcc.target/nios2/nios2-rdctl.c - gcc - Git at Google

 /* { dg-do compile } */
 /* { dg-final { scan-assembler "rdctl" } } */

 int x ()
 {
   __builtin_rdctl (0);
   return 0;
 }
	/* { dg-do compile } */
	/* { dg-final { scan-assembler "rdctl" } } */

	int x ()
	{
	__builtin_rdctl (0);
	return 0;
	}