1 /* { dg-do compile } */
2 
nop(void)3 void nop (void)    { __builtin_avr_nop (); }
sei(void)4 void sei (void)    { __builtin_avr_sei (); }
cli(void)5 void cli (void)    { __builtin_avr_cli (); }
wdr(void)6 void wdr (void)    { __builtin_avr_wdr (); }
sleep(void)7 void sleep (void)  { __builtin_avr_sleep (); }
8 
fmul(char a,char b)9 char fmul (char a, char b)   { return __builtin_avr_fmul (a, b); }
fmuls(char a,char b)10 char fmuls (char a, char b)  { return __builtin_avr_fmuls (a, b); }
fmulsu(char a,char b)11 char fmulsu (char a, char b) { return __builtin_avr_fmulsu (a, b); }
12 
swap1(char a)13 char swap1 (char a)
14 {
15     return __builtin_avr_swap (a+1);
16 }
17 
swap2(char a)18 char swap2 (char a)
19 {
20     return __builtin_avr_swap (__builtin_avr_swap (a+1));
21 }
22 
swap15(void)23 char swap15 (void)
24 {
25     return __builtin_avr_swap (15);
26 }
27 
delay0(void)28 void delay0 (void)  { __builtin_avr_delay_cycles (0); }
delay1(void)29 void delay1 (void)  { __builtin_avr_delay_cycles (1); }
delay2(void)30 void delay2 (void)  { __builtin_avr_delay_cycles (2); }
delay3(void)31 void delay3 (void)  { __builtin_avr_delay_cycles (3); }
32 
delay_1(void)33 void delay_1 (void)  { __builtin_avr_delay_cycles (44); }
delay_2(void)34 void delay_2 (void)  { __builtin_avr_delay_cycles (0x1234); }
delay_3(void)35 void delay_3 (void)  { __builtin_avr_delay_cycles (0x123456); }
delay_4(void)36 void delay_4 (void)  { __builtin_avr_delay_cycles (-1ul); }
37 
38 /* { dg-final { scan-assembler-not "__builtin_avr_" } } */
39