1 /* { dg-do run } */
2 /* { dg-options "-O" } */
3 
4 #include <stdlib.h>
5 
6 void __attribute__((noinline))
bar(int a,int b)7 bar(int a, int b)
8 {
9   if (a != 43 || b != 42)
10     abort();
11 }
12 
main(void)13 int main(void)
14 {
15     register int r0 asm("r0") = 42;
16     register int r1 asm("r1") = 43;
17     asm volatile("": "+r" (r0), "+r" (r1));
18     bar(r1, r0);
19     return 0;
20 }
21 
22