11 #error "Never use <adxintrin.h> directly; include <immintrin.h> instead."
18 #define __DEFAULT_FN_ATTRS __attribute__((__always_inline__, __nodebug__))
21 static __inline
unsigned char __attribute__((__always_inline__, __nodebug__, __target__(
"adx")))
22 _addcarryx_u32(
unsigned char __cf,
unsigned int __x,
unsigned int __y,
25 return __builtin_ia32_addcarryx_u32(__cf,
__x,
__y,
__p);
29 static __inline
unsigned char __attribute__((__always_inline__, __nodebug__, __target__(
"adx")))
30 _addcarryx_u64(
unsigned char __cf,
unsigned long long __x,
31 unsigned long long __y,
unsigned long long *
__p)
33 return __builtin_ia32_addcarryx_u64(__cf,
__x,
__y,
__p);
42 return __builtin_ia32_addcarryx_u32(__cf,
__x,
__y,
__p);
47 _addcarry_u64(
unsigned char __cf,
unsigned long long __x,
48 unsigned long long __y,
unsigned long long *
__p)
50 return __builtin_ia32_addcarryx_u64(__cf,
__x,
__y,
__p);
58 return __builtin_ia32_subborrow_u32(__cf,
__x,
__y,
__p);
63 _subborrow_u64(
unsigned char __cf,
unsigned long long __x,
64 unsigned long long __y,
unsigned long long *
__p)
66 return __builtin_ia32_subborrow_u64(__cf,
__x,
__y,
__p);
70 #undef __DEFAULT_FN_ATTRS
static __inline unsigned char __attribute__((__always_inline__, __nodebug__, __target__("adx"))) _addcarryx_u32(unsigned char __cf
#define __DEFAULT_FN_ATTRS
static __inline unsigned char __DEFAULT_FN_ATTRS _addcarry_u32(unsigned char __cf, unsigned int __x, unsigned int __y, unsigned int *__p)
static __inline unsigned char __DEFAULT_FN_ATTRS _subborrow_u32(unsigned char __cf, unsigned int __x, unsigned int __y, unsigned int *__p)
static __inline unsigned char unsigned int __x
static __inline unsigned char unsigned int unsigned int __y
static __inline unsigned char unsigned int unsigned int unsigned int * __p