1 /*===---- adxintrin.h - ADX intrinsics -------------------------------------=== 2 * 3 * Part of the LLVM Project, under the Apache License v2.0 with LLVM Exceptions. 4 * See https://llvm.org/LICENSE.txt for license information. 5 * SPDX-License-Identifier: Apache-2.0 WITH LLVM-exception 6 * 7 *===-----------------------------------------------------------------------=== 8 */ 9 10 #ifndef __IMMINTRIN_H 11 #error "Never use <adxintrin.h> directly; include <immintrin.h> instead." 12 #endif 13 14 #ifndef __ADXINTRIN_H 15 #define __ADXINTRIN_H 16 17 /* Define the default attributes for the functions in this file. */ 18 #define __DEFAULT_FN_ATTRS \ 19 __attribute__((__always_inline__, __nodebug__, __target__("adx"))) 20 21 /* Use C++ inline semantics in C++, GNU inline for C mode. */ 22 #if defined(__cplusplus) 23 #define __INLINE __inline 24 #else 25 #define __INLINE static __inline 26 #endif 27 28 #if defined(__cplusplus) 29 extern "C" { 30 #endif 31 32 /* Intrinsics that are available only if __ADX__ is defined. */ 33 34 /// Adds unsigned 32-bit integers \a __x and \a __y, plus 0 or 1 as indicated 35 /// by the carry flag \a __cf. Stores the unsigned 32-bit sum in the memory 36 /// at \a __p, and returns the 8-bit carry-out (carry flag). 37 /// 38 /// \code{.operation} 39 /// temp := (__cf == 0) ? 0 : 1 40 /// Store32(__p, __x + __y + temp) 41 /// result := CF 42 /// \endcode 43 /// 44 /// \headerfile <immintrin.h> 45 /// 46 /// This intrinsic corresponds to the \c ADCX instruction. 47 /// 48 /// \param __cf 49 /// The 8-bit unsigned carry flag; any non-zero value indicates carry. 50 /// \param __x 51 /// A 32-bit unsigned addend. 52 /// \param __y 53 /// A 32-bit unsigned addend. 54 /// \param __p 55 /// Pointer to memory for storing the sum. 56 /// \returns The 8-bit unsigned carry-out value. 57 __INLINE unsigned char __DEFAULT_FN_ATTRS _addcarryx_u32(unsigned char __cf, 58 unsigned int __x, 59 unsigned int __y, 60 unsigned int *__p) { 61 return __builtin_ia32_addcarryx_u32(__cf, __x, __y, __p); 62 } 63 64 #ifdef __x86_64__ 65 /// Adds unsigned 64-bit integers \a __x and \a __y, plus 0 or 1 as indicated 66 /// by the carry flag \a __cf. Stores the unsigned 64-bit sum in the memory 67 /// at \a __p, and returns the 8-bit carry-out (carry flag). 68 /// 69 /// \code{.operation} 70 /// temp := (__cf == 0) ? 0 : 1 71 /// Store64(__p, __x + __y + temp) 72 /// result := CF 73 /// \endcode 74 /// 75 /// \headerfile <immintrin.h> 76 /// 77 /// This intrinsic corresponds to the \c ADCX instruction. 78 /// 79 /// \param __cf 80 /// The 8-bit unsigned carry flag; any non-zero value indicates carry. 81 /// \param __x 82 /// A 64-bit unsigned addend. 83 /// \param __y 84 /// A 64-bit unsigned addend. 85 /// \param __p 86 /// Pointer to memory for storing the sum. 87 /// \returns The 8-bit unsigned carry-out value. 88 __INLINE unsigned char __DEFAULT_FN_ATTRS 89 _addcarryx_u64(unsigned char __cf, unsigned long long __x, 90 unsigned long long __y, unsigned long long *__p) { 91 return __builtin_ia32_addcarryx_u64(__cf, __x, __y, __p); 92 } 93 #endif 94 95 #if defined(__cplusplus) 96 } 97 #endif 98 99 #undef __INLINE 100 #undef __DEFAULT_FN_ATTRS 101 102 #endif /* __ADXINTRIN_H */ 103