diff options
Diffstat (limited to 'lib/Headers/rdseedintrin.h')
| -rw-r--r-- | lib/Headers/rdseedintrin.h | 14 |
1 files changed, 9 insertions, 5 deletions
diff --git a/lib/Headers/rdseedintrin.h b/lib/Headers/rdseedintrin.h index 0fef1fa..ac9ec4f 100644 --- a/lib/Headers/rdseedintrin.h +++ b/lib/Headers/rdseedintrin.h @@ -28,25 +28,29 @@ #ifndef __RDSEEDINTRIN_H #define __RDSEEDINTRIN_H -#ifdef __RDSEED__ -static __inline__ int __attribute__((__always_inline__, __nodebug__)) +/* Define the default attributes for the functions in this file. */ +#define DEFAULT_FN_ATTRS __attribute__((__always_inline__, __nodebug__, __target__("rdseed"))) + +static __inline__ int DEFAULT_FN_ATTRS _rdseed16_step(unsigned short *__p) { return __builtin_ia32_rdseed16_step(__p); } -static __inline__ int __attribute__((__always_inline__, __nodebug__)) +static __inline__ int DEFAULT_FN_ATTRS _rdseed32_step(unsigned int *__p) { return __builtin_ia32_rdseed32_step(__p); } #ifdef __x86_64__ -static __inline__ int __attribute__((__always_inline__, __nodebug__)) +static __inline__ int DEFAULT_FN_ATTRS _rdseed64_step(unsigned long long *__p) { return __builtin_ia32_rdseed64_step(__p); } #endif -#endif /* __RDSEED__ */ + +#undef DEFAULT_FN_ATTRS + #endif /* __RDSEEDINTRIN_H */ |
