Home | History | Annotate | Download | only in clang-include
      1 /* ===-------- Intrin.h ---------------------------------------------------===
      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 /* Only include this if we're compiling for the windows platform. */
     25 #ifndef _MSC_VER
     26 #include_next <Intrin.h>
     27 #else
     28 
     29 #ifndef __INTRIN_H
     30 #define __INTRIN_H
     31 
     32 /* First include the standard intrinsics. */
     33 #if defined(__i386__) || defined(__x86_64__)
     34 #include <x86intrin.h>
     35 #endif
     36 
     37 /* For the definition of jmp_buf. */
     38 #if __STDC_HOSTED__
     39 #include <setjmp.h>
     40 #endif
     41 
     42 /* Define the default attributes for the functions in this file. */
     43 #define __DEFAULT_FN_ATTRS __attribute__((__always_inline__, __nodebug__))
     44 
     45 #ifdef __cplusplus
     46 extern "C" {
     47 #endif
     48 
     49 #if defined(__MMX__)
     50 /* And the random ones that aren't in those files. */
     51 __m64 _m_from_float(float);
     52 float _m_to_float(__m64);
     53 #endif
     54 
     55 /* Other assorted instruction intrinsics. */
     56 void __addfsbyte(unsigned long, unsigned char);
     57 void __addfsdword(unsigned long, unsigned long);
     58 void __addfsword(unsigned long, unsigned short);
     59 void __code_seg(const char *);
     60 static __inline__
     61 void __cpuid(int[4], int);
     62 static __inline__
     63 void __cpuidex(int[4], int, int);
     64 void __debugbreak(void);
     65 __int64 __emul(int, int);
     66 unsigned __int64 __emulu(unsigned int, unsigned int);
     67 void __cdecl __fastfail(unsigned int);
     68 unsigned int __getcallerseflags(void);
     69 static __inline__
     70 void __halt(void);
     71 unsigned char __inbyte(unsigned short);
     72 void __inbytestring(unsigned short, unsigned char *, unsigned long);
     73 void __incfsbyte(unsigned long);
     74 void __incfsdword(unsigned long);
     75 void __incfsword(unsigned long);
     76 unsigned long __indword(unsigned short);
     77 void __indwordstring(unsigned short, unsigned long *, unsigned long);
     78 void __int2c(void);
     79 void __invlpg(void *);
     80 unsigned short __inword(unsigned short);
     81 void __inwordstring(unsigned short, unsigned short *, unsigned long);
     82 void __lidt(void *);
     83 unsigned __int64 __ll_lshift(unsigned __int64, int);
     84 __int64 __ll_rshift(__int64, int);
     85 void __llwpcb(void *);
     86 unsigned char __lwpins32(unsigned int, unsigned int, unsigned int);
     87 void __lwpval32(unsigned int, unsigned int, unsigned int);
     88 unsigned int __lzcnt(unsigned int);
     89 unsigned short __lzcnt16(unsigned short);
     90 static __inline__
     91 void __movsb(unsigned char *, unsigned char const *, size_t);
     92 static __inline__
     93 void __movsd(unsigned long *, unsigned long const *, size_t);
     94 static __inline__
     95 void __movsw(unsigned short *, unsigned short const *, size_t);
     96 void __nop(void);
     97 void __nvreg_restore_fence(void);
     98 void __nvreg_save_fence(void);
     99 void __outbyte(unsigned short, unsigned char);
    100 void __outbytestring(unsigned short, unsigned char *, unsigned long);
    101 void __outdword(unsigned short, unsigned long);
    102 void __outdwordstring(unsigned short, unsigned long *, unsigned long);
    103 void __outword(unsigned short, unsigned short);
    104 void __outwordstring(unsigned short, unsigned short *, unsigned long);
    105 static __inline__
    106 unsigned int __popcnt(unsigned int);
    107 static __inline__
    108 unsigned short __popcnt16(unsigned short);
    109 unsigned long __readcr0(void);
    110 unsigned long __readcr2(void);
    111 static __inline__
    112 unsigned long __readcr3(void);
    113 unsigned long __readcr4(void);
    114 unsigned long __readcr8(void);
    115 unsigned int __readdr(unsigned int);
    116 #ifdef __i386__
    117 static __inline__
    118 unsigned char __readfsbyte(unsigned long);
    119 static __inline__
    120 unsigned long __readfsdword(unsigned long);
    121 static __inline__
    122 unsigned __int64 __readfsqword(unsigned long);
    123 static __inline__
    124 unsigned short __readfsword(unsigned long);
    125 #endif
    126 static __inline__
    127 unsigned __int64 __readmsr(unsigned long);
    128 unsigned __int64 __readpmc(unsigned long);
    129 unsigned long __segmentlimit(unsigned long);
    130 void __sidt(void *);
    131 void *__slwpcb(void);
    132 static __inline__
    133 void __stosb(unsigned char *, unsigned char, size_t);
    134 static __inline__
    135 void __stosd(unsigned long *, unsigned long, size_t);
    136 static __inline__
    137 void __stosw(unsigned short *, unsigned short, size_t);
    138 void __svm_clgi(void);
    139 void __svm_invlpga(void *, int);
    140 void __svm_skinit(int);
    141 void __svm_stgi(void);
    142 void __svm_vmload(size_t);
    143 void __svm_vmrun(size_t);
    144 void __svm_vmsave(size_t);
    145 void __ud2(void);
    146 unsigned __int64 __ull_rshift(unsigned __int64, int);
    147 void __vmx_off(void);
    148 void __vmx_vmptrst(unsigned __int64 *);
    149 void __wbinvd(void);
    150 void __writecr0(unsigned int);
    151 static __inline__
    152 void __writecr3(unsigned int);
    153 void __writecr4(unsigned int);
    154 void __writecr8(unsigned int);
    155 void __writedr(unsigned int, unsigned int);
    156 void __writefsbyte(unsigned long, unsigned char);
    157 void __writefsdword(unsigned long, unsigned long);
    158 void __writefsqword(unsigned long, unsigned __int64);
    159 void __writefsword(unsigned long, unsigned short);
    160 void __writemsr(unsigned long, unsigned __int64);
    161 static __inline__
    162 void *_AddressOfReturnAddress(void);
    163 static __inline__
    164 unsigned char _BitScanForward(unsigned long *_Index, unsigned long _Mask);
    165 static __inline__
    166 unsigned char _BitScanReverse(unsigned long *_Index, unsigned long _Mask);
    167 static __inline__
    168 unsigned char _bittest(long const *, long);
    169 static __inline__
    170 unsigned char _bittestandcomplement(long *, long);
    171 static __inline__
    172 unsigned char _bittestandreset(long *, long);
    173 static __inline__
    174 unsigned char _bittestandset(long *, long);
    175 unsigned __int64 __cdecl _byteswap_uint64(unsigned __int64);
    176 unsigned long __cdecl _byteswap_ulong(unsigned long);
    177 unsigned short __cdecl _byteswap_ushort(unsigned short);
    178 void __cdecl _disable(void);
    179 void __cdecl _enable(void);
    180 long _InterlockedAddLargeStatistic(__int64 volatile *_Addend, long _Value);
    181 static __inline__
    182 long _InterlockedAnd(long volatile *_Value, long _Mask);
    183 static __inline__
    184 short _InterlockedAnd16(short volatile *_Value, short _Mask);
    185 static __inline__
    186 char _InterlockedAnd8(char volatile *_Value, char _Mask);
    187 unsigned char _interlockedbittestandreset(long volatile *, long);
    188 static __inline__
    189 unsigned char _interlockedbittestandset(long volatile *, long);
    190 static __inline__
    191 long __cdecl _InterlockedCompareExchange(long volatile *_Destination,
    192                                          long _Exchange, long _Comparand);
    193 long _InterlockedCompareExchange_HLEAcquire(long volatile *, long, long);
    194 long _InterlockedCompareExchange_HLERelease(long volatile *, long, long);
    195 static __inline__
    196 short _InterlockedCompareExchange16(short volatile *_Destination,
    197                                     short _Exchange, short _Comparand);
    198 static __inline__
    199 __int64 _InterlockedCompareExchange64(__int64 volatile *_Destination,
    200                                       __int64 _Exchange, __int64 _Comparand);
    201 __int64 _InterlockedcompareExchange64_HLEAcquire(__int64 volatile *, __int64,
    202                                                  __int64);
    203 __int64 _InterlockedCompareExchange64_HLERelease(__int64 volatile *, __int64,
    204                                                  __int64);
    205 static __inline__
    206 char _InterlockedCompareExchange8(char volatile *_Destination, char _Exchange,
    207                                   char _Comparand);
    208 void *_InterlockedCompareExchangePointer_HLEAcquire(void *volatile *, void *,
    209                                                     void *);
    210 void *_InterlockedCompareExchangePointer_HLERelease(void *volatile *, void *,
    211                                                     void *);
    212 static __inline__
    213 long __cdecl _InterlockedDecrement(long volatile *_Addend);
    214 static __inline__
    215 short _InterlockedDecrement16(short volatile *_Addend);
    216 long _InterlockedExchange(long volatile *_Target, long _Value);
    217 static __inline__
    218 short _InterlockedExchange16(short volatile *_Target, short _Value);
    219 static __inline__
    220 char _InterlockedExchange8(char volatile *_Target, char _Value);
    221 static __inline__
    222 long __cdecl _InterlockedExchangeAdd(long volatile *_Addend, long _Value);
    223 long _InterlockedExchangeAdd_HLEAcquire(long volatile *, long);
    224 long _InterlockedExchangeAdd_HLERelease(long volatile *, long);
    225 static __inline__
    226 short _InterlockedExchangeAdd16(short volatile *_Addend, short _Value);
    227 __int64 _InterlockedExchangeAdd64_HLEAcquire(__int64 volatile *, __int64);
    228 __int64 _InterlockedExchangeAdd64_HLERelease(__int64 volatile *, __int64);
    229 static __inline__
    230 char _InterlockedExchangeAdd8(char volatile *_Addend, char _Value);
    231 static __inline__
    232 long __cdecl _InterlockedIncrement(long volatile *_Addend);
    233 static __inline__
    234 short _InterlockedIncrement16(short volatile *_Addend);
    235 static __inline__
    236 long _InterlockedOr(long volatile *_Value, long _Mask);
    237 static __inline__
    238 short _InterlockedOr16(short volatile *_Value, short _Mask);
    239 static __inline__
    240 char _InterlockedOr8(char volatile *_Value, char _Mask);
    241 static __inline__
    242 long _InterlockedXor(long volatile *_Value, long _Mask);
    243 static __inline__
    244 short _InterlockedXor16(short volatile *_Value, short _Mask);
    245 static __inline__
    246 char _InterlockedXor8(char volatile *_Value, char _Mask);
    247 void __cdecl _invpcid(unsigned int, void *);
    248 static __inline__
    249 unsigned long __cdecl _lrotl(unsigned long, int);
    250 static __inline__
    251 unsigned long __cdecl _lrotr(unsigned long, int);
    252 static __inline__
    253 static __inline__
    254 void _ReadBarrier(void);
    255 static __inline__
    256 void _ReadWriteBarrier(void);
    257 static __inline__
    258 void *_ReturnAddress(void);
    259 unsigned int _rorx_u32(unsigned int, const unsigned int);
    260 static __inline__
    261 unsigned int __cdecl _rotl(unsigned int _Value, int _Shift);
    262 static __inline__
    263 unsigned short _rotl16(unsigned short _Value, unsigned char _Shift);
    264 static __inline__
    265 unsigned __int64 __cdecl _rotl64(unsigned __int64 _Value, int _Shift);
    266 static __inline__
    267 unsigned char _rotl8(unsigned char _Value, unsigned char _Shift);
    268 static __inline__
    269 unsigned int __cdecl _rotr(unsigned int _Value, int _Shift);
    270 static __inline__
    271 unsigned short _rotr16(unsigned short _Value, unsigned char _Shift);
    272 static __inline__
    273 unsigned __int64 __cdecl _rotr64(unsigned __int64 _Value, int _Shift);
    274 static __inline__
    275 unsigned char _rotr8(unsigned char _Value, unsigned char _Shift);
    276 int _sarx_i32(int, unsigned int);
    277 #if __STDC_HOSTED__
    278 int __cdecl _setjmp(jmp_buf);
    279 #endif
    280 unsigned int _shlx_u32(unsigned int, unsigned int);
    281 unsigned int _shrx_u32(unsigned int, unsigned int);
    282 void _Store_HLERelease(long volatile *, long);
    283 void _Store64_HLERelease(__int64 volatile *, __int64);
    284 void _StorePointer_HLERelease(void *volatile *, void *);
    285 static __inline__
    286 void _WriteBarrier(void);
    287 unsigned __int32 xbegin(void);
    288 void _xend(void);
    289 static __inline__
    290 #define _XCR_XFEATURE_ENABLED_MASK 0
    291 unsigned __int64 __cdecl _xgetbv(unsigned int);
    292 void __cdecl _xsetbv(unsigned int, unsigned __int64);
    293 
    294 /* These additional intrinsics are turned on in x64/amd64/x86_64 mode. */
    295 #ifdef __x86_64__
    296 void __addgsbyte(unsigned long, unsigned char);
    297 void __addgsdword(unsigned long, unsigned long);
    298 void __addgsqword(unsigned long, unsigned __int64);
    299 void __addgsword(unsigned long, unsigned short);
    300 static __inline__
    301 void __faststorefence(void);
    302 void __incgsbyte(unsigned long);
    303 void __incgsdword(unsigned long);
    304 void __incgsqword(unsigned long);
    305 void __incgsword(unsigned long);
    306 unsigned char __lwpins64(unsigned __int64, unsigned int, unsigned int);
    307 void __lwpval64(unsigned __int64, unsigned int, unsigned int);
    308 unsigned __int64 __lzcnt64(unsigned __int64);
    309 static __inline__
    310 void __movsq(unsigned long long *, unsigned long long const *, size_t);
    311 __int64 __mulh(__int64, __int64);
    312 static __inline__
    313 unsigned __int64 __popcnt64(unsigned __int64);
    314 static __inline__
    315 unsigned char __readgsbyte(unsigned long);
    316 static __inline__
    317 unsigned long __readgsdword(unsigned long);
    318 static __inline__
    319 unsigned __int64 __readgsqword(unsigned long);
    320 unsigned short __readgsword(unsigned long);
    321 unsigned __int64 __shiftleft128(unsigned __int64 _LowPart,
    322                                 unsigned __int64 _HighPart,
    323                                 unsigned char _Shift);
    324 unsigned __int64 __shiftright128(unsigned __int64 _LowPart,
    325                                  unsigned __int64 _HighPart,
    326                                  unsigned char _Shift);
    327 static __inline__
    328 void __stosq(unsigned __int64 *, unsigned __int64, size_t);
    329 unsigned char __vmx_on(unsigned __int64 *);
    330 unsigned char __vmx_vmclear(unsigned __int64 *);
    331 unsigned char __vmx_vmlaunch(void);
    332 unsigned char __vmx_vmptrld(unsigned __int64 *);
    333 unsigned char __vmx_vmread(size_t, size_t *);
    334 unsigned char __vmx_vmresume(void);
    335 unsigned char __vmx_vmwrite(size_t, size_t);
    336 void __writegsbyte(unsigned long, unsigned char);
    337 void __writegsdword(unsigned long, unsigned long);
    338 void __writegsqword(unsigned long, unsigned __int64);
    339 void __writegsword(unsigned long, unsigned short);
    340 static __inline__
    341 unsigned char _BitScanForward64(unsigned long *_Index, unsigned __int64 _Mask);
    342 static __inline__
    343 unsigned char _BitScanReverse64(unsigned long *_Index, unsigned __int64 _Mask);
    344 static __inline__
    345 unsigned char _bittest64(__int64 const *, __int64);
    346 static __inline__
    347 unsigned char _bittestandcomplement64(__int64 *, __int64);
    348 static __inline__
    349 unsigned char _bittestandreset64(__int64 *, __int64);
    350 static __inline__
    351 unsigned char _bittestandset64(__int64 *, __int64);
    352 unsigned __int64 __cdecl _byteswap_uint64(unsigned __int64);
    353 long _InterlockedAnd_np(long volatile *_Value, long _Mask);
    354 short _InterlockedAnd16_np(short volatile *_Value, short _Mask);
    355 __int64 _InterlockedAnd64_np(__int64 volatile *_Value, __int64 _Mask);
    356 char _InterlockedAnd8_np(char volatile *_Value, char _Mask);
    357 unsigned char _interlockedbittestandreset64(__int64 volatile *, __int64);
    358 static __inline__
    359 unsigned char _interlockedbittestandset64(__int64 volatile *, __int64);
    360 long _InterlockedCompareExchange_np(long volatile *_Destination, long _Exchange,
    361                                     long _Comparand);
    362 unsigned char _InterlockedCompareExchange128(__int64 volatile *_Destination,
    363                                              __int64 _ExchangeHigh,
    364                                              __int64 _ExchangeLow,
    365                                              __int64 *_CompareandResult);
    366 unsigned char _InterlockedCompareExchange128_np(__int64 volatile *_Destination,
    367                                                 __int64 _ExchangeHigh,
    368                                                 __int64 _ExchangeLow,
    369                                                 __int64 *_ComparandResult);
    370 short _InterlockedCompareExchange16_np(short volatile *_Destination,
    371                                        short _Exchange, short _Comparand);
    372 __int64 _InterlockedCompareExchange64_HLEAcquire(__int64 volatile *, __int64,
    373                                                  __int64);
    374 __int64 _InterlockedCompareExchange64_HLERelease(__int64 volatile *, __int64,
    375                                                  __int64);
    376 __int64 _InterlockedCompareExchange64_np(__int64 volatile *_Destination,
    377                                          __int64 _Exchange, __int64 _Comparand);
    378 void *_InterlockedCompareExchangePointer(void *volatile *_Destination,
    379                                          void *_Exchange, void *_Comparand);
    380 void *_InterlockedCompareExchangePointer_np(void *volatile *_Destination,
    381                                             void *_Exchange, void *_Comparand);
    382 static __inline__
    383 __int64 _InterlockedDecrement64(__int64 volatile *_Addend);
    384 static __inline__
    385 __int64 _InterlockedExchange64(__int64 volatile *_Target, __int64 _Value);
    386 static __inline__
    387 __int64 _InterlockedExchangeAdd64(__int64 volatile *_Addend, __int64 _Value);
    388 void *_InterlockedExchangePointer(void *volatile *_Target, void *_Value);
    389 static __inline__
    390 __int64 _InterlockedIncrement64(__int64 volatile *_Addend);
    391 long _InterlockedOr_np(long volatile *_Value, long _Mask);
    392 short _InterlockedOr16_np(short volatile *_Value, short _Mask);
    393 static __inline__
    394 __int64 _InterlockedOr64(__int64 volatile *_Value, __int64 _Mask);
    395 __int64 _InterlockedOr64_np(__int64 volatile *_Value, __int64 _Mask);
    396 char _InterlockedOr8_np(char volatile *_Value, char _Mask);
    397 long _InterlockedXor_np(long volatile *_Value, long _Mask);
    398 short _InterlockedXor16_np(short volatile *_Value, short _Mask);
    399 static __inline__
    400 __int64 _InterlockedXor64(__int64 volatile *_Value, __int64 _Mask);
    401 __int64 _InterlockedXor64_np(__int64 volatile *_Value, __int64 _Mask);
    402 char _InterlockedXor8_np(char volatile *_Value, char _Mask);
    403 static __inline__
    404 __int64 _mul128(__int64 _Multiplier, __int64 _Multiplicand,
    405                 __int64 *_HighProduct);
    406 unsigned __int64 _rorx_u64(unsigned __int64, const unsigned int);
    407 __int64 _sarx_i64(__int64, unsigned int);
    408 #if __STDC_HOSTED__
    409 int __cdecl _setjmpex(jmp_buf);
    410 #endif
    411 unsigned __int64 _shlx_u64(unsigned __int64, unsigned int);
    412 unsigned __int64 _shrx_u64(unsigned __int64, unsigned int);
    413 /*
    414  * Multiply two 64-bit integers and obtain a 64-bit result.
    415  * The low-half is returned directly and the high half is in an out parameter.
    416  */
    417 static __inline__ unsigned __int64 __DEFAULT_FN_ATTRS
    418 _umul128(unsigned __int64 _Multiplier, unsigned __int64 _Multiplicand,
    419          unsigned __int64 *_HighProduct) {
    420   unsigned __int128 _FullProduct =
    421       (unsigned __int128)_Multiplier * (unsigned __int128)_Multiplicand;
    422   *_HighProduct = _FullProduct >> 64;
    423   return _FullProduct;
    424 }
    425 static __inline__ unsigned __int64 __DEFAULT_FN_ATTRS
    426 __umulh(unsigned __int64 _Multiplier, unsigned __int64 _Multiplicand) {
    427   unsigned __int128 _FullProduct =
    428       (unsigned __int128)_Multiplier * (unsigned __int128)_Multiplicand;
    429   return _FullProduct >> 64;
    430 }
    431 
    432 #endif /* __x86_64__ */
    433 
    434 /*----------------------------------------------------------------------------*\
    435 |* Multiplication
    436 \*----------------------------------------------------------------------------*/
    437 static __inline__ __int64 __DEFAULT_FN_ATTRS
    438 __emul(int __in1, int __in2) {
    439   return (__int64)__in1 * (__int64)__in2;
    440 }
    441 static __inline__ unsigned __int64 __DEFAULT_FN_ATTRS
    442 __emulu(unsigned int __in1, unsigned int __in2) {
    443   return (unsigned __int64)__in1 * (unsigned __int64)__in2;
    444 }
    445 /*----------------------------------------------------------------------------*\
    446 |* Bit Twiddling
    447 \*----------------------------------------------------------------------------*/
    448 static __inline__ unsigned char __DEFAULT_FN_ATTRS
    449 _rotl8(unsigned char _Value, unsigned char _Shift) {
    450   _Shift &= 0x7;
    451   return _Shift ? (_Value << _Shift) | (_Value >> (8 - _Shift)) : _Value;
    452 }
    453 static __inline__ unsigned char __DEFAULT_FN_ATTRS
    454 _rotr8(unsigned char _Value, unsigned char _Shift) {
    455   _Shift &= 0x7;
    456   return _Shift ? (_Value >> _Shift) | (_Value << (8 - _Shift)) : _Value;
    457 }
    458 static __inline__ unsigned short __DEFAULT_FN_ATTRS
    459 _rotl16(unsigned short _Value, unsigned char _Shift) {
    460   _Shift &= 0xf;
    461   return _Shift ? (_Value << _Shift) | (_Value >> (16 - _Shift)) : _Value;
    462 }
    463 static __inline__ unsigned short __DEFAULT_FN_ATTRS
    464 _rotr16(unsigned short _Value, unsigned char _Shift) {
    465   _Shift &= 0xf;
    466   return _Shift ? (_Value >> _Shift) | (_Value << (16 - _Shift)) : _Value;
    467 }
    468 static __inline__ unsigned int __DEFAULT_FN_ATTRS
    469 _rotl(unsigned int _Value, int _Shift) {
    470   _Shift &= 0x1f;
    471   return _Shift ? (_Value << _Shift) | (_Value >> (32 - _Shift)) : _Value;
    472 }
    473 static __inline__ unsigned int __DEFAULT_FN_ATTRS
    474 _rotr(unsigned int _Value, int _Shift) {
    475   _Shift &= 0x1f;
    476   return _Shift ? (_Value >> _Shift) | (_Value << (32 - _Shift)) : _Value;
    477 }
    478 static __inline__ unsigned long __DEFAULT_FN_ATTRS
    479 _lrotl(unsigned long _Value, int _Shift) {
    480   _Shift &= 0x1f;
    481   return _Shift ? (_Value << _Shift) | (_Value >> (32 - _Shift)) : _Value;
    482 }
    483 static __inline__ unsigned long __DEFAULT_FN_ATTRS
    484 _lrotr(unsigned long _Value, int _Shift) {
    485   _Shift &= 0x1f;
    486   return _Shift ? (_Value >> _Shift) | (_Value << (32 - _Shift)) : _Value;
    487 }
    488 static
    489 __inline__ unsigned __int64 __DEFAULT_FN_ATTRS
    490 _rotl64(unsigned __int64 _Value, int _Shift) {
    491   _Shift &= 0x3f;
    492   return _Shift ? (_Value << _Shift) | (_Value >> (64 - _Shift)) : _Value;
    493 }
    494 static
    495 __inline__ unsigned __int64 __DEFAULT_FN_ATTRS
    496 _rotr64(unsigned __int64 _Value, int _Shift) {
    497   _Shift &= 0x3f;
    498   return _Shift ? (_Value >> _Shift) | (_Value << (64 - _Shift)) : _Value;
    499 }
    500 /*----------------------------------------------------------------------------*\
    501 |* Bit Counting and Testing
    502 \*----------------------------------------------------------------------------*/
    503 static __inline__ unsigned char __DEFAULT_FN_ATTRS
    504 _BitScanForward(unsigned long *_Index, unsigned long _Mask) {
    505   if (!_Mask)
    506     return 0;
    507   *_Index = __builtin_ctzl(_Mask);
    508   return 1;
    509 }
    510 static __inline__ unsigned char __DEFAULT_FN_ATTRS
    511 _BitScanReverse(unsigned long *_Index, unsigned long _Mask) {
    512   if (!_Mask)
    513     return 0;
    514   *_Index = 31 - __builtin_clzl(_Mask);
    515   return 1;
    516 }
    517 static __inline__ unsigned short __DEFAULT_FN_ATTRS
    518 __popcnt16(unsigned short _Value) {
    519   return __builtin_popcount((int)_Value);
    520 }
    521 static __inline__ unsigned int __DEFAULT_FN_ATTRS
    522 __popcnt(unsigned int _Value) {
    523   return __builtin_popcount(_Value);
    524 }
    525 static __inline__ unsigned char __DEFAULT_FN_ATTRS
    526 _bittest(long const *_BitBase, long _BitPos) {
    527   return (*_BitBase >> _BitPos) & 1;
    528 }
    529 static __inline__ unsigned char __DEFAULT_FN_ATTRS
    530 _bittestandcomplement(long *_BitBase, long _BitPos) {
    531   unsigned char _Res = (*_BitBase >> _BitPos) & 1;
    532   *_BitBase = *_BitBase ^ (1 << _BitPos);
    533   return _Res;
    534 }
    535 static __inline__ unsigned char __DEFAULT_FN_ATTRS
    536 _bittestandreset(long *_BitBase, long _BitPos) {
    537   unsigned char _Res = (*_BitBase >> _BitPos) & 1;
    538   *_BitBase = *_BitBase & ~(1 << _BitPos);
    539   return _Res;
    540 }
    541 static __inline__ unsigned char __DEFAULT_FN_ATTRS
    542 _bittestandset(long *_BitBase, long _BitPos) {
    543   unsigned char _Res = (*_BitBase >> _BitPos) & 1;
    544   *_BitBase = *_BitBase | (1 << _BitPos);
    545   return _Res;
    546 }
    547 static __inline__ unsigned char __DEFAULT_FN_ATTRS
    548 _interlockedbittestandset(long volatile *_BitBase, long _BitPos) {
    549   long _PrevVal = __atomic_fetch_or(_BitBase, 1l << _BitPos, __ATOMIC_SEQ_CST);
    550   return (_PrevVal >> _BitPos) & 1;
    551 }
    552 #ifdef __x86_64__
    553 static __inline__ unsigned char __DEFAULT_FN_ATTRS
    554 _BitScanForward64(unsigned long *_Index, unsigned __int64 _Mask) {
    555   if (!_Mask)
    556     return 0;
    557   *_Index = __builtin_ctzll(_Mask);
    558   return 1;
    559 }
    560 static __inline__ unsigned char __DEFAULT_FN_ATTRS
    561 _BitScanReverse64(unsigned long *_Index, unsigned __int64 _Mask) {
    562   if (!_Mask)
    563     return 0;
    564   *_Index = 63 - __builtin_clzll(_Mask);
    565   return 1;
    566 }
    567 static __inline__
    568 unsigned __int64 __DEFAULT_FN_ATTRS
    569 __popcnt64(unsigned __int64 _Value) {
    570   return __builtin_popcountll(_Value);
    571 }
    572 static __inline__ unsigned char __DEFAULT_FN_ATTRS
    573 _bittest64(__int64 const *_BitBase, __int64 _BitPos) {
    574   return (*_BitBase >> _BitPos) & 1;
    575 }
    576 static __inline__ unsigned char __DEFAULT_FN_ATTRS
    577 _bittestandcomplement64(__int64 *_BitBase, __int64 _BitPos) {
    578   unsigned char _Res = (*_BitBase >> _BitPos) & 1;
    579   *_BitBase = *_BitBase ^ (1ll << _BitPos);
    580   return _Res;
    581 }
    582 static __inline__ unsigned char __DEFAULT_FN_ATTRS
    583 _bittestandreset64(__int64 *_BitBase, __int64 _BitPos) {
    584   unsigned char _Res = (*_BitBase >> _BitPos) & 1;
    585   *_BitBase = *_BitBase & ~(1ll << _BitPos);
    586   return _Res;
    587 }
    588 static __inline__ unsigned char __DEFAULT_FN_ATTRS
    589 _bittestandset64(__int64 *_BitBase, __int64 _BitPos) {
    590   unsigned char _Res = (*_BitBase >> _BitPos) & 1;
    591   *_BitBase = *_BitBase | (1ll << _BitPos);
    592   return _Res;
    593 }
    594 static __inline__ unsigned char __DEFAULT_FN_ATTRS
    595 _interlockedbittestandset64(__int64 volatile *_BitBase, __int64 _BitPos) {
    596   long long _PrevVal =
    597       __atomic_fetch_or(_BitBase, 1ll << _BitPos, __ATOMIC_SEQ_CST);
    598   return (_PrevVal >> _BitPos) & 1;
    599 }
    600 #endif
    601 /*----------------------------------------------------------------------------*\
    602 |* Interlocked Exchange Add
    603 \*----------------------------------------------------------------------------*/
    604 static __inline__ char __DEFAULT_FN_ATTRS
    605 _InterlockedExchangeAdd8(char volatile *_Addend, char _Value) {
    606   return __atomic_fetch_add(_Addend, _Value, __ATOMIC_SEQ_CST);
    607 }
    608 static __inline__ short __DEFAULT_FN_ATTRS
    609 _InterlockedExchangeAdd16(short volatile *_Addend, short _Value) {
    610   return __atomic_fetch_add(_Addend, _Value, __ATOMIC_SEQ_CST);
    611 }
    612 #ifdef __x86_64__
    613 static __inline__ __int64 __DEFAULT_FN_ATTRS
    614 _InterlockedExchangeAdd64(__int64 volatile *_Addend, __int64 _Value) {
    615   return __atomic_fetch_add(_Addend, _Value, __ATOMIC_SEQ_CST);
    616 }
    617 #endif
    618 /*----------------------------------------------------------------------------*\
    619 |* Interlocked Exchange Sub
    620 \*----------------------------------------------------------------------------*/
    621 static __inline__ char __DEFAULT_FN_ATTRS
    622 _InterlockedExchangeSub8(char volatile *_Subend, char _Value) {
    623   return __atomic_fetch_sub(_Subend, _Value, __ATOMIC_SEQ_CST);
    624 }
    625 static __inline__ short __DEFAULT_FN_ATTRS
    626 _InterlockedExchangeSub16(short volatile *_Subend, short _Value) {
    627   return __atomic_fetch_sub(_Subend, _Value, __ATOMIC_SEQ_CST);
    628 }
    629 static __inline__ long __DEFAULT_FN_ATTRS
    630 _InterlockedExchangeSub(long volatile *_Subend, long _Value) {
    631   return __atomic_fetch_sub(_Subend, _Value, __ATOMIC_SEQ_CST);
    632 }
    633 #ifdef __x86_64__
    634 static __inline__ __int64 __DEFAULT_FN_ATTRS
    635 _InterlockedExchangeSub64(__int64 volatile *_Subend, __int64 _Value) {
    636   return __atomic_fetch_sub(_Subend, _Value, __ATOMIC_SEQ_CST);
    637 }
    638 #endif
    639 /*----------------------------------------------------------------------------*\
    640 |* Interlocked Increment
    641 \*----------------------------------------------------------------------------*/
    642 static __inline__ short __DEFAULT_FN_ATTRS
    643 _InterlockedIncrement16(short volatile *_Value) {
    644   return __atomic_add_fetch(_Value, 1, __ATOMIC_SEQ_CST);
    645 }
    646 #ifdef __x86_64__
    647 static __inline__ __int64 __DEFAULT_FN_ATTRS
    648 _InterlockedIncrement64(__int64 volatile *_Value) {
    649   return __atomic_add_fetch(_Value, 1, __ATOMIC_SEQ_CST);
    650 }
    651 #endif
    652 /*----------------------------------------------------------------------------*\
    653 |* Interlocked Decrement
    654 \*----------------------------------------------------------------------------*/
    655 static __inline__ short __DEFAULT_FN_ATTRS
    656 _InterlockedDecrement16(short volatile *_Value) {
    657   return __atomic_sub_fetch(_Value, 1, __ATOMIC_SEQ_CST);
    658 }
    659 #ifdef __x86_64__
    660 static __inline__ __int64 __DEFAULT_FN_ATTRS
    661 _InterlockedDecrement64(__int64 volatile *_Value) {
    662   return __atomic_sub_fetch(_Value, 1, __ATOMIC_SEQ_CST);
    663 }
    664 #endif
    665 /*----------------------------------------------------------------------------*\
    666 |* Interlocked And
    667 \*----------------------------------------------------------------------------*/
    668 static __inline__ char __DEFAULT_FN_ATTRS
    669 _InterlockedAnd8(char volatile *_Value, char _Mask) {
    670   return __atomic_and_fetch(_Value, _Mask, __ATOMIC_SEQ_CST);
    671 }
    672 static __inline__ short __DEFAULT_FN_ATTRS
    673 _InterlockedAnd16(short volatile *_Value, short _Mask) {
    674   return __atomic_and_fetch(_Value, _Mask, __ATOMIC_SEQ_CST);
    675 }
    676 static __inline__ long __DEFAULT_FN_ATTRS
    677 _InterlockedAnd(long volatile *_Value, long _Mask) {
    678   return __atomic_and_fetch(_Value, _Mask, __ATOMIC_SEQ_CST);
    679 }
    680 #ifdef __x86_64__
    681 static __inline__ __int64 __DEFAULT_FN_ATTRS
    682 _InterlockedAnd64(__int64 volatile *_Value, __int64 _Mask) {
    683   return __atomic_and_fetch(_Value, _Mask, __ATOMIC_SEQ_CST);
    684 }
    685 #endif
    686 /*----------------------------------------------------------------------------*\
    687 |* Interlocked Or
    688 \*----------------------------------------------------------------------------*/
    689 static __inline__ char __DEFAULT_FN_ATTRS
    690 _InterlockedOr8(char volatile *_Value, char _Mask) {
    691   return __atomic_or_fetch(_Value, _Mask, __ATOMIC_SEQ_CST);
    692 }
    693 static __inline__ short __DEFAULT_FN_ATTRS
    694 _InterlockedOr16(short volatile *_Value, short _Mask) {
    695   return __atomic_or_fetch(_Value, _Mask, __ATOMIC_SEQ_CST);
    696 }
    697 static __inline__ long __DEFAULT_FN_ATTRS
    698 _InterlockedOr(long volatile *_Value, long _Mask) {
    699   return __atomic_or_fetch(_Value, _Mask, __ATOMIC_SEQ_CST);
    700 }
    701 #ifdef __x86_64__
    702 static __inline__ __int64 __DEFAULT_FN_ATTRS
    703 _InterlockedOr64(__int64 volatile *_Value, __int64 _Mask) {
    704   return __atomic_or_fetch(_Value, _Mask, __ATOMIC_SEQ_CST);
    705 }
    706 #endif
    707 /*----------------------------------------------------------------------------*\
    708 |* Interlocked Xor
    709 \*----------------------------------------------------------------------------*/
    710 static __inline__ char __DEFAULT_FN_ATTRS
    711 _InterlockedXor8(char volatile *_Value, char _Mask) {
    712   return __atomic_xor_fetch(_Value, _Mask, __ATOMIC_SEQ_CST);
    713 }
    714 static __inline__ short __DEFAULT_FN_ATTRS
    715 _InterlockedXor16(short volatile *_Value, short _Mask) {
    716   return __atomic_xor_fetch(_Value, _Mask, __ATOMIC_SEQ_CST);
    717 }
    718 static __inline__ long __DEFAULT_FN_ATTRS
    719 _InterlockedXor(long volatile *_Value, long _Mask) {
    720   return __atomic_xor_fetch(_Value, _Mask, __ATOMIC_SEQ_CST);
    721 }
    722 #ifdef __x86_64__
    723 static __inline__ __int64 __DEFAULT_FN_ATTRS
    724 _InterlockedXor64(__int64 volatile *_Value, __int64 _Mask) {
    725   return __atomic_xor_fetch(_Value, _Mask, __ATOMIC_SEQ_CST);
    726 }
    727 #endif
    728 /*----------------------------------------------------------------------------*\
    729 |* Interlocked Exchange
    730 \*----------------------------------------------------------------------------*/
    731 static __inline__ char __DEFAULT_FN_ATTRS
    732 _InterlockedExchange8(char volatile *_Target, char _Value) {
    733   __atomic_exchange(_Target, &_Value, &_Value, __ATOMIC_SEQ_CST);
    734   return _Value;
    735 }
    736 static __inline__ short __DEFAULT_FN_ATTRS
    737 _InterlockedExchange16(short volatile *_Target, short _Value) {
    738   __atomic_exchange(_Target, &_Value, &_Value, __ATOMIC_SEQ_CST);
    739   return _Value;
    740 }
    741 #ifdef __x86_64__
    742 static __inline__ __int64 __DEFAULT_FN_ATTRS
    743 _InterlockedExchange64(__int64 volatile *_Target, __int64 _Value) {
    744   __atomic_exchange(_Target, &_Value, &_Value, __ATOMIC_SEQ_CST);
    745   return _Value;
    746 }
    747 #endif
    748 /*----------------------------------------------------------------------------*\
    749 |* Interlocked Compare Exchange
    750 \*----------------------------------------------------------------------------*/
    751 static __inline__ char __DEFAULT_FN_ATTRS
    752 _InterlockedCompareExchange8(char volatile *_Destination,
    753                              char _Exchange, char _Comparand) {
    754   __atomic_compare_exchange(_Destination, &_Comparand, &_Exchange, 0,
    755                             __ATOMIC_SEQ_CST, __ATOMIC_SEQ_CST);
    756   return _Comparand;
    757 }
    758 static __inline__ short __DEFAULT_FN_ATTRS
    759 _InterlockedCompareExchange16(short volatile *_Destination,
    760                               short _Exchange, short _Comparand) {
    761   __atomic_compare_exchange(_Destination, &_Comparand, &_Exchange, 0,
    762                             __ATOMIC_SEQ_CST, __ATOMIC_SEQ_CST);
    763   return _Comparand;
    764 }
    765 static __inline__ __int64 __DEFAULT_FN_ATTRS
    766 _InterlockedCompareExchange64(__int64 volatile *_Destination,
    767                               __int64 _Exchange, __int64 _Comparand) {
    768   __atomic_compare_exchange(_Destination, &_Comparand, &_Exchange, 0,
    769                             __ATOMIC_SEQ_CST, __ATOMIC_SEQ_CST);
    770   return _Comparand;
    771 }
    772 /*----------------------------------------------------------------------------*\
    773 |* Barriers
    774 \*----------------------------------------------------------------------------*/
    775 static __inline__ void __DEFAULT_FN_ATTRS
    776 __attribute__((__deprecated__("use other intrinsics or C++11 atomics instead")))
    777 _ReadWriteBarrier(void) {
    778   __atomic_signal_fence(__ATOMIC_SEQ_CST);
    779 }
    780 static __inline__ void __DEFAULT_FN_ATTRS
    781 __attribute__((__deprecated__("use other intrinsics or C++11 atomics instead")))
    782 _ReadBarrier(void) {
    783   __atomic_signal_fence(__ATOMIC_SEQ_CST);
    784 }
    785 static __inline__ void __DEFAULT_FN_ATTRS
    786 __attribute__((__deprecated__("use other intrinsics or C++11 atomics instead")))
    787 _WriteBarrier(void) {
    788   __atomic_signal_fence(__ATOMIC_SEQ_CST);
    789 }
    790 #ifdef __x86_64__
    791 static __inline__ void __DEFAULT_FN_ATTRS
    792 __faststorefence(void) {
    793   __atomic_thread_fence(__ATOMIC_SEQ_CST);
    794 }
    795 #endif
    796 /*----------------------------------------------------------------------------*\
    797 |* readfs, readgs
    798 |* (Pointers in address space #256 and #257 are relative to the GS and FS
    799 |* segment registers, respectively.)
    800 \*----------------------------------------------------------------------------*/
    801 #define __ptr_to_addr_space(__addr_space_nbr, __type, __offset)              \
    802     ((volatile __type __attribute__((__address_space__(__addr_space_nbr)))*) \
    803     (__offset))
    804 
    805 #ifdef __i386__
    806 static __inline__ unsigned char __DEFAULT_FN_ATTRS
    807 __readfsbyte(unsigned long __offset) {
    808   return *__ptr_to_addr_space(257, unsigned char, __offset);
    809 }
    810 static __inline__ unsigned __int64 __DEFAULT_FN_ATTRS
    811 __readfsqword(unsigned long __offset) {
    812   return *__ptr_to_addr_space(257, unsigned __int64, __offset);
    813 }
    814 static __inline__ unsigned short __DEFAULT_FN_ATTRS
    815 __readfsword(unsigned long __offset) {
    816   return *__ptr_to_addr_space(257, unsigned short, __offset);
    817 }
    818 #endif
    819 #ifdef __x86_64__
    820 static __inline__ unsigned char __DEFAULT_FN_ATTRS
    821 __readgsbyte(unsigned long __offset) {
    822   return *__ptr_to_addr_space(256, unsigned char, __offset);
    823 }
    824 static __inline__ unsigned long __DEFAULT_FN_ATTRS
    825 __readgsdword(unsigned long __offset) {
    826   return *__ptr_to_addr_space(256, unsigned long, __offset);
    827 }
    828 static __inline__ unsigned __int64 __DEFAULT_FN_ATTRS
    829 __readgsqword(unsigned long __offset) {
    830   return *__ptr_to_addr_space(256, unsigned __int64, __offset);
    831 }
    832 static __inline__ unsigned short __DEFAULT_FN_ATTRS
    833 __readgsword(unsigned long __offset) {
    834   return *__ptr_to_addr_space(256, unsigned short, __offset);
    835 }
    836 #endif
    837 #undef __ptr_to_addr_space
    838 /*----------------------------------------------------------------------------*\
    839 |* movs, stos
    840 \*----------------------------------------------------------------------------*/
    841 #if defined(__i386__) || defined(__x86_64__)
    842 static __inline__ void __DEFAULT_FN_ATTRS
    843 __movsb(unsigned char *__dst, unsigned char const *__src, size_t __n) {
    844   __asm__("rep movsb" : : "D"(__dst), "S"(__src), "c"(__n)
    845                         : "%edi", "%esi", "%ecx");
    846 }
    847 static __inline__ void __DEFAULT_FN_ATTRS
    848 __movsd(unsigned long *__dst, unsigned long const *__src, size_t __n) {
    849   __asm__("rep movsl" : : "D"(__dst), "S"(__src), "c"(__n)
    850                         : "%edi", "%esi", "%ecx");
    851 }
    852 static __inline__ void __DEFAULT_FN_ATTRS
    853 __movsw(unsigned short *__dst, unsigned short const *__src, size_t __n) {
    854   __asm__("rep movsw" : : "D"(__dst), "S"(__src), "c"(__n)
    855                         : "%edi", "%esi", "%ecx");
    856 }
    857 static __inline__ void __DEFAULT_FN_ATTRS
    858 __stosb(unsigned char *__dst, unsigned char __x, size_t __n) {
    859   __asm__("rep stosb" : : "D"(__dst), "a"(__x), "c"(__n)
    860                         : "%edi", "%ecx");
    861 }
    862 static __inline__ void __DEFAULT_FN_ATTRS
    863 __stosd(unsigned long *__dst, unsigned long __x, size_t __n) {
    864   __asm__("rep stosl" : : "D"(__dst), "a"(__x), "c"(__n)
    865                         : "%edi", "%ecx");
    866 }
    867 static __inline__ void __DEFAULT_FN_ATTRS
    868 __stosw(unsigned short *__dst, unsigned short __x, size_t __n) {
    869   __asm__("rep stosw" : : "D"(__dst), "a"(__x), "c"(__n)
    870                         : "%edi", "%ecx");
    871 }
    872 #endif
    873 #ifdef __x86_64__
    874 static __inline__ void __DEFAULT_FN_ATTRS
    875 __movsq(unsigned long long *__dst, unsigned long long const *__src, size_t __n) {
    876   __asm__("rep movsq" : : "D"(__dst), "S"(__src), "c"(__n)
    877                         : "%edi", "%esi", "%ecx");
    878 }
    879 static __inline__ void __DEFAULT_FN_ATTRS
    880 __stosq(unsigned __int64 *__dst, unsigned __int64 __x, size_t __n) {
    881   __asm__("rep stosq" : : "D"(__dst), "a"(__x), "c"(__n)
    882                         : "%edi", "%ecx");
    883 }
    884 #endif
    885 
    886 /*----------------------------------------------------------------------------*\
    887 |* Misc
    888 \*----------------------------------------------------------------------------*/
    889 static __inline__ void * __DEFAULT_FN_ATTRS
    890 _AddressOfReturnAddress(void) {
    891   return (void*)((char*)__builtin_frame_address(0) + sizeof(void*));
    892 }
    893 static __inline__ void * __DEFAULT_FN_ATTRS
    894 _ReturnAddress(void) {
    895   return __builtin_return_address(0);
    896 }
    897 #if defined(__i386__) || defined(__x86_64__)
    898 static __inline__ void __DEFAULT_FN_ATTRS
    899 __cpuid(int __info[4], int __level) {
    900   __asm__ ("cpuid" : "=a"(__info[0]), "=b" (__info[1]), "=c"(__info[2]), "=d"(__info[3])
    901                    : "a"(__level));
    902 }
    903 static __inline__ void __DEFAULT_FN_ATTRS
    904 __cpuidex(int __info[4], int __level, int __ecx) {
    905   __asm__ ("cpuid" : "=a"(__info[0]), "=b" (__info[1]), "=c"(__info[2]), "=d"(__info[3])
    906                    : "a"(__level), "c"(__ecx));
    907 }
    908 static __inline__ unsigned __int64 __cdecl __DEFAULT_FN_ATTRS
    909 _xgetbv(unsigned int __xcr_no) {
    910   unsigned int __eax, __edx;
    911   __asm__ ("xgetbv" : "=a" (__eax), "=d" (__edx) : "c" (__xcr_no));
    912   return ((unsigned __int64)__edx << 32) | __eax;
    913 }
    914 static __inline__ void __DEFAULT_FN_ATTRS
    915 __halt(void) {
    916   __asm__ volatile ("hlt");
    917 }
    918 #endif
    919 
    920 /*----------------------------------------------------------------------------*\
    921 |* Privileged intrinsics
    922 \*----------------------------------------------------------------------------*/
    923 #if defined(__i386__) || defined(__x86_64__)
    924 static __inline__ unsigned __int64 __DEFAULT_FN_ATTRS
    925 __readmsr(unsigned long __register) {
    926   // Loads the contents of a 64-bit model specific register (MSR) specified in
    927   // the ECX register into registers EDX:EAX. The EDX register is loaded with
    928   // the high-order 32 bits of the MSR and the EAX register is loaded with the
    929   // low-order 32 bits. If less than 64 bits are implemented in the MSR being
    930   // read, the values returned to EDX:EAX in unimplemented bit locations are
    931   // undefined.
    932   unsigned long __edx;
    933   unsigned long __eax;
    934   __asm__ ("rdmsr" : "=d"(__edx), "=a"(__eax) : "c"(__register));
    935   return (((unsigned __int64)__edx) << 32) | (unsigned __int64)__eax;
    936 }
    937 
    938 static __inline__ unsigned long __DEFAULT_FN_ATTRS
    939 __readcr3(void) {
    940   unsigned long __cr3_val;
    941   __asm__ __volatile__ ("mov %%cr3, %0" : "=q"(__cr3_val) : : "memory");
    942   return __cr3_val;
    943 }
    944 
    945 static __inline__ void __DEFAULT_FN_ATTRS
    946 __writecr3(unsigned int __cr3_val) {
    947   __asm__ ("mov %0, %%cr3" : : "q"(__cr3_val) : "memory");
    948 }
    949 #endif
    950 
    951 #ifdef __cplusplus
    952 }
    953 #endif
    954 
    955 #undef __DEFAULT_FN_ATTRS
    956 
    957 #endif /* __INTRIN_H */
    958 #endif /* _MSC_VER */
    959