Home | History | Annotate | Download | only in include
      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 
     24 #ifndef __X86INTRIN_H
     25 #error "Never use <rdseedintrin.h> directly; include <x86intrin.h> instead."
     26 #endif
     27 
     28 #ifndef __RDSEEDINTRIN_H
     29 #define __RDSEEDINTRIN_H
     30 
     31 /* Define the default attributes for the functions in this file. */
     32 #define __DEFAULT_FN_ATTRS __attribute__((__always_inline__, __nodebug__, __target__("rdseed")))
     33 
     34 static __inline__ int __DEFAULT_FN_ATTRS
     35 _rdseed16_step(unsigned short *__p)
     36 {
     37   return __builtin_ia32_rdseed16_step(__p);
     38 }
     39 
     40 static __inline__ int __DEFAULT_FN_ATTRS
     41 _rdseed32_step(unsigned int *__p)
     42 {
     43   return __builtin_ia32_rdseed32_step(__p);
     44 }
     45 
     46 #ifdef __x86_64__
     47 static __inline__ int __DEFAULT_FN_ATTRS
     48 _rdseed64_step(unsigned long long *__p)
     49 {
     50   return __builtin_ia32_rdseed64_step(__p);
     51 }
     52 #endif
     53 
     54 #undef __DEFAULT_FN_ATTRS
     55 
     56 #endif /* __RDSEEDINTRIN_H */
     57