/* { dg-do run { target { x86_64-*-* && lp64 } } } */
/* { dg-options "-g" } */

volatile int vv;

__attribute__((noinline, noclone)) long
foo (long x)
{
  long f = __builtin_ctzl (x);
  long g = f;
  asm volatile ("" : "+r" (f));
  vv++;		/* { dg-final { gdb-test 12 "g" "f" } } */
  return f;
}

__attribute__((noinline, noclone)) long
bar (long x)
{
  long f = __builtin_ctzl (x);
  long g = f;
  asm volatile ("" : "+r" (f));
  vv++;		/* { dg-final { gdb-test 22 "g" "f" } } */
  return f;
}

int
main ()
{
  long x = vv;
  foo (x + 0x1234560UL);
  bar (x + 0x7fff8000UL);
  return 0;
}