Make the intrinsics more readable

This commit is contained in:
Justine Tunney 2023-05-15 23:11:47 -07:00
parent 210187cf77
commit 80db9de173
No known key found for this signature in database
GPG key ID: BE714B4575D6E328
75 changed files with 12444 additions and 21493 deletions

View file

@ -5,46 +5,37 @@
#ifndef _ADXINTRIN_H_INCLUDED
#define _ADXINTRIN_H_INCLUDED
extern __inline unsigned char
__attribute__((__gnu_inline__, __always_inline__, __artificial__))
_subborrow_u32(unsigned char __CF, unsigned int __X, unsigned int __Y,
unsigned int *__P) {
__funline unsigned char _subborrow_u32(unsigned char __CF, unsigned int __X,
unsigned int __Y, unsigned int *__P) {
return __builtin_ia32_sbb_u32(__CF, __X, __Y, __P);
}
extern __inline unsigned char
__attribute__((__gnu_inline__, __always_inline__, __artificial__))
_addcarry_u32(unsigned char __CF, unsigned int __X, unsigned int __Y,
unsigned int *__P) {
__funline unsigned char _addcarry_u32(unsigned char __CF, unsigned int __X,
unsigned int __Y, unsigned int *__P) {
return __builtin_ia32_addcarryx_u32(__CF, __X, __Y, __P);
}
extern __inline unsigned char
__attribute__((__gnu_inline__, __always_inline__, __artificial__))
_addcarryx_u32(unsigned char __CF, unsigned int __X, unsigned int __Y,
unsigned int *__P) {
__funline unsigned char _addcarryx_u32(unsigned char __CF, unsigned int __X,
unsigned int __Y, unsigned int *__P) {
return __builtin_ia32_addcarryx_u32(__CF, __X, __Y, __P);
}
#ifdef __x86_64__
extern __inline unsigned char
__attribute__((__gnu_inline__, __always_inline__, __artificial__))
_subborrow_u64(unsigned char __CF, unsigned long long __X,
unsigned long long __Y, unsigned long long *__P) {
__funline unsigned char _subborrow_u64(unsigned char __CF, unsigned long long __X,
unsigned long long __Y,
unsigned long long *__P) {
return __builtin_ia32_sbb_u64(__CF, __X, __Y, __P);
}
extern __inline unsigned char
__attribute__((__gnu_inline__, __always_inline__, __artificial__))
_addcarry_u64(unsigned char __CF, unsigned long long __X,
unsigned long long __Y, unsigned long long *__P) {
__funline unsigned char _addcarry_u64(unsigned char __CF, unsigned long long __X,
unsigned long long __Y,
unsigned long long *__P) {
return __builtin_ia32_addcarryx_u64(__CF, __X, __Y, __P);
}
extern __inline unsigned char
__attribute__((__gnu_inline__, __always_inline__, __artificial__))
_addcarryx_u64(unsigned char __CF, unsigned long long __X,
unsigned long long __Y, unsigned long long *__P) {
__funline unsigned char _addcarryx_u64(unsigned char __CF, unsigned long long __X,
unsigned long long __Y,
unsigned long long *__P) {
return __builtin_ia32_addcarryx_u64(__CF, __X, __Y, __P);
}
#endif