25 #error "Never use <adxintrin.h> directly; include <immintrin.h> instead."
32 #define __DEFAULT_FN_ATTRS __attribute__((__always_inline__, __nodebug__))
35 static __inline
unsigned char __attribute__((__always_inline__, __nodebug__, __target__(
"adx")))
36 _addcarryx_u32(
unsigned char __cf,
unsigned int __x,
unsigned int __y,
39 return __builtin_ia32_addcarryx_u32(__cf, __x, __y, __p);
43 static __inline
unsigned char __attribute__((__always_inline__, __nodebug__, __target__(
"adx")))
44 _addcarryx_u64(
unsigned char __cf,
unsigned long long __x,
45 unsigned long long __y,
unsigned long long *
__p)
47 return __builtin_ia32_addcarryx_u64(__cf, __x, __y, __p);
56 return __builtin_ia32_addcarry_u32(__cf, __x, __y, __p);
61 _addcarry_u64(
unsigned char __cf,
unsigned long long __x,
62 unsigned long long __y,
unsigned long long *
__p)
64 return __builtin_ia32_addcarry_u64(__cf, __x, __y, __p);
72 return __builtin_ia32_subborrow_u32(__cf, __x, __y, __p);
77 _subborrow_u64(
unsigned char __cf,
unsigned long long __x,
78 unsigned long long __y,
unsigned long long *
__p)
80 return __builtin_ia32_subborrow_u64(__cf, __x, __y, __p);
84 #undef __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 unsigned int unsigned int __y
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 unsigned int unsigned int * __p
static __inline unsigned char __attribute__((__always_inline__, __nodebug__, __target__("adx"))) _addcarryx_u32(unsigned char __cf
static __inline unsigned char unsigned int __x
#define __DEFAULT_FN_ATTRS