1  /* PR middle-end/70593 */
       2  /* { dg-do run } */
       3  /* { dg-options "-O2" } */
       4  
       5  __attribute__((noinline, noclone)) unsigned long
       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
      14  main ()
      15  {
      16    if (foo (3) != 7)
      17      __builtin_abort ();
      18    return 0;
      19  }