#include <intrin.h>

#ifdef _WIN64
__int64 _InterlockedIncrement64(__int64 volatile *Addend)
{
  __int64 ret = 1LL;
  __asm__ __volatile__ ("lock\n\t"
	       "xaddq %0,%1"
	       : "+r" (ret), "+m" (*Addend)
	       : : "memory");
  return ret + 1LL;
}
#else
__int64 __stdcall InterlockedCompareExchange64(__int64 volatile *Destination,
  __int64 Exchange, __int64 Comperand);
__int64 _InterlockedIncrement64(__int64 volatile *Addend);
__int64 _InterlockedIncrement64(__int64 volatile *Addend)
{
  __int64 Old;
  do {
    Old = *Addend;
  } while(InterlockedCompareExchange64(Addend,Old + 1,Old)!=Old);
  return Old + 1;
}
#endif

#ifdef _WIN64
__int64 InterlockedIncrement64(__int64 volatile *) __attribute__((alias("_InterlockedIncrement64")));
#else
__int64 __stdcall InterlockedIncrement64(__int64 volatile *Addend);
__int64 __stdcall InterlockedIncrement64(__int64 volatile *Addend)
{
  return _InterlockedIncrement64(Addend);
}
#endif