/*
 * Copyright (c) 1991-1994 by Xerox Corporation.  All rights reserved.
 * Copyright (c) 1996-1999 by Silicon Graphics.  All rights reserved.
 * Copyright (c) 2003-2011 Hewlett-Packard Development Company, L.P.
 *
 *
 * THIS MATERIAL IS PROVIDED AS IS, WITH ABSOLUTELY NO WARRANTY EXPRESSED
 * OR IMPLIED.  ANY USE IS AT YOUR OWN RISK.
 *
 * Permission is hereby granted to use or copy this program
 * for any purpose, provided the above notices are retained on all copies.
 * Permission to modify the code and to distribute modified code is granted,
 * provided the above notices are retained, and a notice that the code was
 * modified is included with the above copyright notice.
 *
 */

#if !defined(AO_GCC_HAVE_char_SYNC_CAS) || !defined(AO_PREFER_GENERALIZED)

AO_INLINE unsigned/**/char
AO_char_load(const volatile unsigned/**/char *addr)
{
  return __atomic_load_n(addr, __ATOMIC_RELAXED);
}
#define AO_HAVE_char_load

AO_INLINE unsigned/**/char
AO_char_load_acquire(const volatile unsigned/**/char *addr)
{
  return __atomic_load_n(addr, __ATOMIC_ACQUIRE);
}
#define AO_HAVE_char_load_acquire

/* char_load_read is defined using load and nop_read.                  */
/* TODO: Map it to ACQUIRE.  We should be strengthening the read and    */
/* write stuff to the more general acquire/release versions.  It almost */
/* never makes a difference and is much less error-prone.               */

/* char_load_full is generalized using load and nop_full.              */
/* TODO: Map it to SEQ_CST and clarify the documentation.               */

/* TODO: Map load_dd_acquire_read to ACQUIRE.  Ideally it should be     */
/* mapped to CONSUME, but the latter is currently broken.               */

/* char_store_full definition is omitted similar to load_full reason.  */

/* TODO: Map store_write to RELEASE.    */

#ifndef AO_SKIPATOMIC_char_store
  AO_INLINE void
  AO_char_store(volatile unsigned/**/char *addr, unsigned/**/char value)
  {
    __atomic_store_n(addr, value, __ATOMIC_RELAXED);
  }
# define AO_HAVE_char_store
#endif

#ifndef AO_SKIPATOMIC_char_store_release
  AO_INLINE void
  AO_char_store_release(volatile unsigned/**/char *addr, unsigned/**/char value)
  {
    __atomic_store_n(addr, value, __ATOMIC_RELEASE);
  }
# define AO_HAVE_char_store_release
#endif

#endif /* !AO_GCC_HAVE_char_SYNC_CAS || !AO_PREFER_GENERALIZED */

#ifdef AO_GCC_HAVE_char_SYNC_CAS

  AO_INLINE unsigned/**/char
  AO_char_fetch_compare_and_swap(volatile unsigned/**/char *addr,
                                  unsigned/**/char old_val, unsigned/**/char new_val)
  {
    (void)__atomic_compare_exchange_n(addr,
                                      &old_val /* p_expected */,
                                      new_val /* desired */,
                                      0 /* is_weak: false */,
                                      __ATOMIC_RELAXED /* success */,
                                      __ATOMIC_RELAXED /* failure */);
    return old_val;
  }
# define AO_HAVE_char_fetch_compare_and_swap

  AO_INLINE unsigned/**/char
  AO_char_fetch_compare_and_swap_acquire(volatile unsigned/**/char *addr,
                                          unsigned/**/char old_val, unsigned/**/char new_val)
  {
    (void)__atomic_compare_exchange_n(addr, &old_val, new_val, 0,
                                      __ATOMIC_ACQUIRE, __ATOMIC_ACQUIRE);
    return old_val;
  }
# define AO_HAVE_char_fetch_compare_and_swap_acquire

  AO_INLINE unsigned/**/char
  AO_char_fetch_compare_and_swap_release(volatile unsigned/**/char *addr,
                                          unsigned/**/char old_val, unsigned/**/char new_val)
  {
    (void)__atomic_compare_exchange_n(addr, &old_val, new_val, 0,
                                      __ATOMIC_RELEASE,
                                      __ATOMIC_RELAXED /* failure */);
    return old_val;
  }
# define AO_HAVE_char_fetch_compare_and_swap_release

  AO_INLINE unsigned/**/char
  AO_char_fetch_compare_and_swap_full(volatile unsigned/**/char *addr,
                                       unsigned/**/char old_val, unsigned/**/char new_val)
  {
    (void)__atomic_compare_exchange_n(addr, &old_val, new_val, 0,
                                      __ATOMIC_ACQ_REL,
                                      __ATOMIC_ACQUIRE /* failure */);
    return old_val;
  }
# define AO_HAVE_char_fetch_compare_and_swap_full

# ifndef AO_GENERALIZE_ASM_BOOL_CAS
    AO_INLINE int
    AO_char_compare_and_swap(volatile unsigned/**/char *addr,
                              unsigned/**/char old_val, unsigned/**/char new_val)
    {
      return (int)__atomic_compare_exchange_n(addr, &old_val, new_val, 0,
                                        __ATOMIC_RELAXED, __ATOMIC_RELAXED);
    }
#   define AO_HAVE_char_compare_and_swap

    AO_INLINE int
    AO_char_compare_and_swap_acquire(volatile unsigned/**/char *addr,
                                      unsigned/**/char old_val, unsigned/**/char new_val)
    {
      return (int)__atomic_compare_exchange_n(addr, &old_val, new_val, 0,
                                        __ATOMIC_ACQUIRE, __ATOMIC_ACQUIRE);
    }
#   define AO_HAVE_char_compare_and_swap_acquire

    AO_INLINE int
    AO_char_compare_and_swap_release(volatile unsigned/**/char *addr,
                                      unsigned/**/char old_val, unsigned/**/char new_val)
    {
      return (int)__atomic_compare_exchange_n(addr, &old_val, new_val, 0,
                                              __ATOMIC_RELEASE,
                                              __ATOMIC_RELAXED /* failure */);
    }
#   define AO_HAVE_char_compare_and_swap_release

    AO_INLINE int
    AO_char_compare_and_swap_full(volatile unsigned/**/char *addr,
                                   unsigned/**/char old_val, unsigned/**/char new_val)
    {
      return (int)__atomic_compare_exchange_n(addr, &old_val, new_val, 0,
                                              __ATOMIC_ACQ_REL,
                                              __ATOMIC_ACQUIRE /* failure */);
    }
#   define AO_HAVE_char_compare_and_swap_full

# endif /* !AO_GENERALIZE_ASM_BOOL_CAS */

#endif /* AO_GCC_HAVE_char_SYNC_CAS */
/*
 * Copyright (c) 1991-1994 by Xerox Corporation.  All rights reserved.
 * Copyright (c) 1996-1999 by Silicon Graphics.  All rights reserved.
 * Copyright (c) 2003-2011 Hewlett-Packard Development Company, L.P.
 *
 *
 * THIS MATERIAL IS PROVIDED AS IS, WITH ABSOLUTELY NO WARRANTY EXPRESSED
 * OR IMPLIED.  ANY USE IS AT YOUR OWN RISK.
 *
 * Permission is hereby granted to use or copy this program
 * for any purpose, provided the above notices are retained on all copies.
 * Permission to modify the code and to distribute modified code is granted,
 * provided the above notices are retained, and a notice that the code was
 * modified is included with the above copyright notice.
 *
 */

#if !defined(AO_GCC_HAVE_short_SYNC_CAS) || !defined(AO_PREFER_GENERALIZED)

AO_INLINE unsigned/**/short
AO_short_load(const volatile unsigned/**/short *addr)
{
  return __atomic_load_n(addr, __ATOMIC_RELAXED);
}
#define AO_HAVE_short_load

AO_INLINE unsigned/**/short
AO_short_load_acquire(const volatile unsigned/**/short *addr)
{
  return __atomic_load_n(addr, __ATOMIC_ACQUIRE);
}
#define AO_HAVE_short_load_acquire

/* short_load_read is defined using load and nop_read.                  */
/* TODO: Map it to ACQUIRE.  We should be strengthening the read and    */
/* write stuff to the more general acquire/release versions.  It almost */
/* never makes a difference and is much less error-prone.               */

/* short_load_full is generalized using load and nop_full.              */
/* TODO: Map it to SEQ_CST and clarify the documentation.               */

/* TODO: Map load_dd_acquire_read to ACQUIRE.  Ideally it should be     */
/* mapped to CONSUME, but the latter is currently broken.               */

/* short_store_full definition is omitted similar to load_full reason.  */

/* TODO: Map store_write to RELEASE.    */

#ifndef AO_SKIPATOMIC_short_store
  AO_INLINE void
  AO_short_store(volatile unsigned/**/short *addr, unsigned/**/short value)
  {
    __atomic_store_n(addr, value, __ATOMIC_RELAXED);
  }
# define AO_HAVE_short_store
#endif

#ifndef AO_SKIPATOMIC_short_store_release
  AO_INLINE void
  AO_short_store_release(volatile unsigned/**/short *addr, unsigned/**/short value)
  {
    __atomic_store_n(addr, value, __ATOMIC_RELEASE);
  }
# define AO_HAVE_short_store_release
#endif

#endif /* !AO_GCC_HAVE_short_SYNC_CAS || !AO_PREFER_GENERALIZED */

#ifdef AO_GCC_HAVE_short_SYNC_CAS

  AO_INLINE unsigned/**/short
  AO_short_fetch_compare_and_swap(volatile unsigned/**/short *addr,
                                  unsigned/**/short old_val, unsigned/**/short new_val)
  {
    (void)__atomic_compare_exchange_n(addr,
                                      &old_val /* p_expected */,
                                      new_val /* desired */,
                                      0 /* is_weak: false */,
                                      __ATOMIC_RELAXED /* success */,
                                      __ATOMIC_RELAXED /* failure */);
    return old_val;
  }
# define AO_HAVE_short_fetch_compare_and_swap

  AO_INLINE unsigned/**/short
  AO_short_fetch_compare_and_swap_acquire(volatile unsigned/**/short *addr,
                                          unsigned/**/short old_val, unsigned/**/short new_val)
  {
    (void)__atomic_compare_exchange_n(addr, &old_val, new_val, 0,
                                      __ATOMIC_ACQUIRE, __ATOMIC_ACQUIRE);
    return old_val;
  }
# define AO_HAVE_short_fetch_compare_and_swap_acquire

  AO_INLINE unsigned/**/short
  AO_short_fetch_compare_and_swap_release(volatile unsigned/**/short *addr,
                                          unsigned/**/short old_val, unsigned/**/short new_val)
  {
    (void)__atomic_compare_exchange_n(addr, &old_val, new_val, 0,
                                      __ATOMIC_RELEASE,
                                      __ATOMIC_RELAXED /* failure */);
    return old_val;
  }
# define AO_HAVE_short_fetch_compare_and_swap_release

  AO_INLINE unsigned/**/short
  AO_short_fetch_compare_and_swap_full(volatile unsigned/**/short *addr,
                                       unsigned/**/short old_val, unsigned/**/short new_val)
  {
    (void)__atomic_compare_exchange_n(addr, &old_val, new_val, 0,
                                      __ATOMIC_ACQ_REL,
                                      __ATOMIC_ACQUIRE /* failure */);
    return old_val;
  }
# define AO_HAVE_short_fetch_compare_and_swap_full

# ifndef AO_GENERALIZE_ASM_BOOL_CAS
    AO_INLINE int
    AO_short_compare_and_swap(volatile unsigned/**/short *addr,
                              unsigned/**/short old_val, unsigned/**/short new_val)
    {
      return (int)__atomic_compare_exchange_n(addr, &old_val, new_val, 0,
                                        __ATOMIC_RELAXED, __ATOMIC_RELAXED);
    }
#   define AO_HAVE_short_compare_and_swap

    AO_INLINE int
    AO_short_compare_and_swap_acquire(volatile unsigned/**/short *addr,
                                      unsigned/**/short old_val, unsigned/**/short new_val)
    {
      return (int)__atomic_compare_exchange_n(addr, &old_val, new_val, 0,
                                        __ATOMIC_ACQUIRE, __ATOMIC_ACQUIRE);
    }
#   define AO_HAVE_short_compare_and_swap_acquire

    AO_INLINE int
    AO_short_compare_and_swap_release(volatile unsigned/**/short *addr,
                                      unsigned/**/short old_val, unsigned/**/short new_val)
    {
      return (int)__atomic_compare_exchange_n(addr, &old_val, new_val, 0,
                                              __ATOMIC_RELEASE,
                                              __ATOMIC_RELAXED /* failure */);
    }
#   define AO_HAVE_short_compare_and_swap_release

    AO_INLINE int
    AO_short_compare_and_swap_full(volatile unsigned/**/short *addr,
                                   unsigned/**/short old_val, unsigned/**/short new_val)
    {
      return (int)__atomic_compare_exchange_n(addr, &old_val, new_val, 0,
                                              __ATOMIC_ACQ_REL,
                                              __ATOMIC_ACQUIRE /* failure */);
    }
#   define AO_HAVE_short_compare_and_swap_full

# endif /* !AO_GENERALIZE_ASM_BOOL_CAS */

#endif /* AO_GCC_HAVE_short_SYNC_CAS */
/*
 * Copyright (c) 1991-1994 by Xerox Corporation.  All rights reserved.
 * Copyright (c) 1996-1999 by Silicon Graphics.  All rights reserved.
 * Copyright (c) 2003-2011 Hewlett-Packard Development Company, L.P.
 *
 *
 * THIS MATERIAL IS PROVIDED AS IS, WITH ABSOLUTELY NO WARRANTY EXPRESSED
 * OR IMPLIED.  ANY USE IS AT YOUR OWN RISK.
 *
 * Permission is hereby granted to use or copy this program
 * for any purpose, provided the above notices are retained on all copies.
 * Permission to modify the code and to distribute modified code is granted,
 * provided the above notices are retained, and a notice that the code was
 * modified is included with the above copyright notice.
 *
 */

#if !defined(AO_GCC_HAVE_int_SYNC_CAS) || !defined(AO_PREFER_GENERALIZED)

AO_INLINE unsigned
AO_int_load(const volatile unsigned *addr)
{
  return __atomic_load_n(addr, __ATOMIC_RELAXED);
}
#define AO_HAVE_int_load

AO_INLINE unsigned
AO_int_load_acquire(const volatile unsigned *addr)
{
  return __atomic_load_n(addr, __ATOMIC_ACQUIRE);
}
#define AO_HAVE_int_load_acquire

/* int_load_read is defined using load and nop_read.                  */
/* TODO: Map it to ACQUIRE.  We should be strengthening the read and    */
/* write stuff to the more general acquire/release versions.  It almost */
/* never makes a difference and is much less error-prone.               */

/* int_load_full is generalized using load and nop_full.              */
/* TODO: Map it to SEQ_CST and clarify the documentation.               */

/* TODO: Map load_dd_acquire_read to ACQUIRE.  Ideally it should be     */
/* mapped to CONSUME, but the latter is currently broken.               */

/* int_store_full definition is omitted similar to load_full reason.  */

/* TODO: Map store_write to RELEASE.    */

#ifndef AO_SKIPATOMIC_int_store
  AO_INLINE void
  AO_int_store(volatile unsigned *addr, unsigned value)
  {
    __atomic_store_n(addr, value, __ATOMIC_RELAXED);
  }
# define AO_HAVE_int_store
#endif

#ifndef AO_SKIPATOMIC_int_store_release
  AO_INLINE void
  AO_int_store_release(volatile unsigned *addr, unsigned value)
  {
    __atomic_store_n(addr, value, __ATOMIC_RELEASE);
  }
# define AO_HAVE_int_store_release
#endif

#endif /* !AO_GCC_HAVE_int_SYNC_CAS || !AO_PREFER_GENERALIZED */

#ifdef AO_GCC_HAVE_int_SYNC_CAS

  AO_INLINE unsigned
  AO_int_fetch_compare_and_swap(volatile unsigned *addr,
                                  unsigned old_val, unsigned new_val)
  {
    (void)__atomic_compare_exchange_n(addr,
                                      &old_val /* p_expected */,
                                      new_val /* desired */,
                                      0 /* is_weak: false */,
                                      __ATOMIC_RELAXED /* success */,
                                      __ATOMIC_RELAXED /* failure */);
    return old_val;
  }
# define AO_HAVE_int_fetch_compare_and_swap

  AO_INLINE unsigned
  AO_int_fetch_compare_and_swap_acquire(volatile unsigned *addr,
                                          unsigned old_val, unsigned new_val)
  {
    (void)__atomic_compare_exchange_n(addr, &old_val, new_val, 0,
                                      __ATOMIC_ACQUIRE, __ATOMIC_ACQUIRE);
    return old_val;
  }
# define AO_HAVE_int_fetch_compare_and_swap_acquire

  AO_INLINE unsigned
  AO_int_fetch_compare_and_swap_release(volatile unsigned *addr,
                                          unsigned old_val, unsigned new_val)
  {
    (void)__atomic_compare_exchange_n(addr, &old_val, new_val, 0,
                                      __ATOMIC_RELEASE,
                                      __ATOMIC_RELAXED /* failure */);
    return old_val;
  }
# define AO_HAVE_int_fetch_compare_and_swap_release

  AO_INLINE unsigned
  AO_int_fetch_compare_and_swap_full(volatile unsigned *addr,
                                       unsigned old_val, unsigned new_val)
  {
    (void)__atomic_compare_exchange_n(addr, &old_val, new_val, 0,
                                      __ATOMIC_ACQ_REL,
                                      __ATOMIC_ACQUIRE /* failure */);
    return old_val;
  }
# define AO_HAVE_int_fetch_compare_and_swap_full

# ifndef AO_GENERALIZE_ASM_BOOL_CAS
    AO_INLINE int
    AO_int_compare_and_swap(volatile unsigned *addr,
                              unsigned old_val, unsigned new_val)
    {
      return (int)__atomic_compare_exchange_n(addr, &old_val, new_val, 0,
                                        __ATOMIC_RELAXED, __ATOMIC_RELAXED);
    }
#   define AO_HAVE_int_compare_and_swap

    AO_INLINE int
    AO_int_compare_and_swap_acquire(volatile unsigned *addr,
                                      unsigned old_val, unsigned new_val)
    {
      return (int)__atomic_compare_exchange_n(addr, &old_val, new_val, 0,
                                        __ATOMIC_ACQUIRE, __ATOMIC_ACQUIRE);
    }
#   define AO_HAVE_int_compare_and_swap_acquire

    AO_INLINE int
    AO_int_compare_and_swap_release(volatile unsigned *addr,
                                      unsigned old_val, unsigned new_val)
    {
      return (int)__atomic_compare_exchange_n(addr, &old_val, new_val, 0,
                                              __ATOMIC_RELEASE,
                                              __ATOMIC_RELAXED /* failure */);
    }
#   define AO_HAVE_int_compare_and_swap_release

    AO_INLINE int
    AO_int_compare_and_swap_full(volatile unsigned *addr,
                                   unsigned old_val, unsigned new_val)
    {
      return (int)__atomic_compare_exchange_n(addr, &old_val, new_val, 0,
                                              __ATOMIC_ACQ_REL,
                                              __ATOMIC_ACQUIRE /* failure */);
    }
#   define AO_HAVE_int_compare_and_swap_full

# endif /* !AO_GENERALIZE_ASM_BOOL_CAS */

#endif /* AO_GCC_HAVE_int_SYNC_CAS */
/*
 * Copyright (c) 1991-1994 by Xerox Corporation.  All rights reserved.
 * Copyright (c) 1996-1999 by Silicon Graphics.  All rights reserved.
 * Copyright (c) 2003-2011 Hewlett-Packard Development Company, L.P.
 *
 *
 * THIS MATERIAL IS PROVIDED AS IS, WITH ABSOLUTELY NO WARRANTY EXPRESSED
 * OR IMPLIED.  ANY USE IS AT YOUR OWN RISK.
 *
 * Permission is hereby granted to use or copy this program
 * for any purpose, provided the above notices are retained on all copies.
 * Permission to modify the code and to distribute modified code is granted,
 * provided the above notices are retained, and a notice that the code was
 * modified is included with the above copyright notice.
 *
 */

#if !defined(AO_GCC_HAVE_SYNC_CAS) || !defined(AO_PREFER_GENERALIZED)

AO_INLINE AO_t
AO_load(const volatile AO_t *addr)
{
  return __atomic_load_n(addr, __ATOMIC_RELAXED);
}
#define AO_HAVE_load

AO_INLINE AO_t
AO_load_acquire(const volatile AO_t *addr)
{
  return __atomic_load_n(addr, __ATOMIC_ACQUIRE);
}
#define AO_HAVE_load_acquire

/* load_read is defined using load and nop_read.                  */
/* TODO: Map it to ACQUIRE.  We should be strengthening the read and    */
/* write stuff to the more general acquire/release versions.  It almost */
/* never makes a difference and is much less error-prone.               */

/* load_full is generalized using load and nop_full.              */
/* TODO: Map it to SEQ_CST and clarify the documentation.               */

/* TODO: Map load_dd_acquire_read to ACQUIRE.  Ideally it should be     */
/* mapped to CONSUME, but the latter is currently broken.               */

/* store_full definition is omitted similar to load_full reason.  */

/* TODO: Map store_write to RELEASE.    */

#ifndef AO_SKIPATOMIC_store
  AO_INLINE void
  AO_store(volatile AO_t *addr, AO_t value)
  {
    __atomic_store_n(addr, value, __ATOMIC_RELAXED);
  }
# define AO_HAVE_store
#endif

#ifndef AO_SKIPATOMIC_store_release
  AO_INLINE void
  AO_store_release(volatile AO_t *addr, AO_t value)
  {
    __atomic_store_n(addr, value, __ATOMIC_RELEASE);
  }
# define AO_HAVE_store_release
#endif

#endif /* !AO_GCC_HAVE_SYNC_CAS || !AO_PREFER_GENERALIZED */

#ifdef AO_GCC_HAVE_SYNC_CAS

  AO_INLINE AO_t
  AO_fetch_compare_and_swap(volatile AO_t *addr,
                                  AO_t old_val, AO_t new_val)
  {
    (void)__atomic_compare_exchange_n(addr,
                                      &old_val /* p_expected */,
                                      new_val /* desired */,
                                      0 /* is_weak: false */,
                                      __ATOMIC_RELAXED /* success */,
                                      __ATOMIC_RELAXED /* failure */);
    return old_val;
  }
# define AO_HAVE_fetch_compare_and_swap

  AO_INLINE AO_t
  AO_fetch_compare_and_swap_acquire(volatile AO_t *addr,
                                          AO_t old_val, AO_t new_val)
  {
    (void)__atomic_compare_exchange_n(addr, &old_val, new_val, 0,
                                      __ATOMIC_ACQUIRE, __ATOMIC_ACQUIRE);
    return old_val;
  }
# define AO_HAVE_fetch_compare_and_swap_acquire

  AO_INLINE AO_t
  AO_fetch_compare_and_swap_release(volatile AO_t *addr,
                                          AO_t old_val, AO_t new_val)
  {
    (void)__atomic_compare_exchange_n(addr, &old_val, new_val, 0,
                                      __ATOMIC_RELEASE,
                                      __ATOMIC_RELAXED /* failure */);
    return old_val;
  }
# define AO_HAVE_fetch_compare_and_swap_release

  AO_INLINE AO_t
  AO_fetch_compare_and_swap_full(volatile AO_t *addr,
                                       AO_t old_val, AO_t new_val)
  {
    (void)__atomic_compare_exchange_n(addr, &old_val, new_val, 0,
                                      __ATOMIC_ACQ_REL,
                                      __ATOMIC_ACQUIRE /* failure */);
    return old_val;
  }
# define AO_HAVE_fetch_compare_and_swap_full

# ifndef AO_GENERALIZE_ASM_BOOL_CAS
    AO_INLINE int
    AO_compare_and_swap(volatile AO_t *addr,
                              AO_t old_val, AO_t new_val)
    {
      return (int)__atomic_compare_exchange_n(addr, &old_val, new_val, 0,
                                        __ATOMIC_RELAXED, __ATOMIC_RELAXED);
    }
#   define AO_HAVE_compare_and_swap

    AO_INLINE int
    AO_compare_and_swap_acquire(volatile AO_t *addr,
                                      AO_t old_val, AO_t new_val)
    {
      return (int)__atomic_compare_exchange_n(addr, &old_val, new_val, 0,
                                        __ATOMIC_ACQUIRE, __ATOMIC_ACQUIRE);
    }
#   define AO_HAVE_compare_and_swap_acquire

    AO_INLINE int
    AO_compare_and_swap_release(volatile AO_t *addr,
                                      AO_t old_val, AO_t new_val)
    {
      return (int)__atomic_compare_exchange_n(addr, &old_val, new_val, 0,
                                              __ATOMIC_RELEASE,
                                              __ATOMIC_RELAXED /* failure */);
    }
#   define AO_HAVE_compare_and_swap_release

    AO_INLINE int
    AO_compare_and_swap_full(volatile AO_t *addr,
                                   AO_t old_val, AO_t new_val)
    {
      return (int)__atomic_compare_exchange_n(addr, &old_val, new_val, 0,
                                              __ATOMIC_ACQ_REL,
                                              __ATOMIC_ACQUIRE /* failure */);
    }
#   define AO_HAVE_compare_and_swap_full

# endif /* !AO_GENERALIZE_ASM_BOOL_CAS */

#endif /* AO_GCC_HAVE_SYNC_CAS */