1 /* PR middle-end/70593 */
2 /* { dg-do run } */
3 /* { dg-options "-O2" } */
4 
5 __attribute__((noinline, noclone)) unsigned long
foo(unsigned x)6 foo (unsigned x)
7 {
8   unsigned long a, c = x;
9   asm volatile ("xorl\t%k1, %k1\n\tmovl\t$7, %k0" : "=c" (c), "=a" (a) : "0" (c), "1" (c) : "memory");
10   return c;
11 }
12 
13 int
main()14 main ()
15 {
16   if (foo (3) != 7)
17     __builtin_abort ();
18   return 0;
19 }
20