adxintrin.h File Reference

Go to the source code of this file.

Macros
#define	__DEFAULT_FN_ATTRS    __attribute__((__always_inline__, __nodebug__, __target__("adx")))
#define	__INLINE   static __inline

Functions
__INLINE unsigned char __DEFAULT_FN_ATTRS	_addcarryx_u32 (unsigned char __cf, unsigned int __x, unsigned int __y, unsigned int *__p)
	Adds unsigned 32-bit integers __x and __y, plus 0 or 1 as indicated by the carry flag __cf.

Macro Definition Documentation

__DEFAULT_FN_ATTRS

#define __DEFAULT_FN_ATTRS    __attribute__((__always_inline__, __nodebug__, __target__("adx")))

Definition at line 22 of file adxintrin.h.

__INLINE

#define __INLINE   static __inline

Definition at line 30 of file adxintrin.h.

Function Documentation

_addcarryx_u32()

__INLINE unsigned char __DEFAULT_FN_ATTRS _addcarryx_u32	(	unsigned char	__cf,
		unsigned int	__x,
		unsigned int	__y,
		unsigned int *	__p )

Adds unsigned 32-bit integers __x and __y, plus 0 or 1 as indicated by the carry flag __cf.

Stores the unsigned 32-bit sum in the memory at __p, and returns the 8-bit carry-out (carry flag).

temp := (__cf == 0) ? 0 : 1
Store32(__p, __x + __y + temp)
result := CF

This intrinsic corresponds to the ADCX instruction.

Parameters

__cf	The 8-bit unsigned carry flag; any non-zero value indicates carry.
__x	A 32-bit unsigned addend.
__y	A 32-bit unsigned addend.
__p	Pointer to memory for storing the sum.

Returns

The 8-bit unsigned carry-out value.

Definition at line 62 of file adxintrin.h.

References __DEFAULT_FN_ATTRS, __INLINE, __p, and __y.