rdseedintrin.h 2.0 KB

1234567891011121314151617181920212223242526272829303132333435363738394041424344454647484950515253545556575859
  1. /*===---- rdseedintrin.h - RDSEED intrinsics -------------------------------===
  2. *
  3. * Permission is hereby granted, free of charge, to any person obtaining a copy
  4. * of this software and associated documentation files (the "Software"), to deal
  5. * in the Software without restriction, including without limitation the rights
  6. * to use, copy, modify, merge, publish, distribute, sublicense, and/or sell
  7. * copies of the Software, and to permit persons to whom the Software is
  8. * furnished to do so, subject to the following conditions:
  9. *
  10. * The above copyright notice and this permission notice shall be included in
  11. * all copies or substantial portions of the Software.
  12. *
  13. * THE SOFTWARE IS PROVIDED "AS IS", WITHOUT WARRANTY OF ANY KIND, EXPRESS OR
  14. * IMPLIED, INCLUDING BUT NOT LIMITED TO THE WARRANTIES OF MERCHANTABILITY,
  15. * FITNESS FOR A PARTICULAR PURPOSE AND NONINFRINGEMENT. IN NO EVENT SHALL THE
  16. * AUTHORS OR COPYRIGHT HOLDERS BE LIABLE FOR ANY CLAIM, DAMAGES OR OTHER
  17. * LIABILITY, WHETHER IN AN ACTION OF CONTRACT, TORT OR OTHERWISE, ARISING FROM,
  18. * OUT OF OR IN CONNECTION WITH THE SOFTWARE OR THE USE OR OTHER DEALINGS IN
  19. * THE SOFTWARE.
  20. *
  21. *===-----------------------------------------------------------------------===
  22. */
  23. #ifndef __X86INTRIN_H
  24. #error "Never use <rdseedintrin.h> directly; include <x86intrin.h> instead."
  25. #endif
  26. #ifndef __RDSEEDINTRIN_H
  27. #define __RDSEEDINTRIN_H
  28. #ifdef __RDSEED__
  29. /* Define the default attributes for the functions in this file. */
  30. #define __DEFAULT_FN_ATTRS __attribute__((__always_inline__, __nodebug__))
  31. static __inline__ int __DEFAULT_FN_ATTRS
  32. _rdseed16_step(unsigned short *__p)
  33. {
  34. return __builtin_ia32_rdseed16_step(__p);
  35. }
  36. static __inline__ int __DEFAULT_FN_ATTRS
  37. _rdseed32_step(unsigned int *__p)
  38. {
  39. return __builtin_ia32_rdseed32_step(__p);
  40. }
  41. #ifdef __x86_64__
  42. static __inline__ int __DEFAULT_FN_ATTRS
  43. _rdseed64_step(unsigned long long *__p)
  44. {
  45. return __builtin_ia32_rdseed64_step(__p);
  46. }
  47. #endif
  48. #undef __DEFAULT_FN_ATTRS
  49. #endif /* __RDSEED__ */
  50. #endif /* __RDSEEDINTRIN_H */