| 1 | 
 /* Copyright (C) 2011-2015 Free Software Foundation, Inc. | 
 
 
 
 
 
 | 2 | 
  | 
 
 
 
 
 
 | 3 | 
    This file is part of GCC. | 
 
 
 
 
 
 | 4 | 
  | 
 
 
 
 
 
 | 5 | 
    GCC is free software; you can redistribute it and/or modify | 
 
 
 
 
 
 | 6 | 
    it under the terms of the GNU General Public License as published by | 
 
 
 
 
 
 | 7 | 
    the Free Software Foundation; either version 3, or (at your option) | 
 
 
 
 
 
 | 8 | 
    any later version. | 
 
 
 
 
 
 | 9 | 
  | 
 
 
 
 
 
 | 10 | 
    GCC is distributed in the hope that it will be useful, | 
 
 
 
 
 
 | 11 | 
    but WITHOUT ANY WARRANTY; without even the implied warranty of | 
 
 
 
 
 
 | 12 | 
    MERCHANTABILITY or FITNESS FOR A PARTICULAR PURPOSE.  See the | 
 
 
 
 
 
 | 13 | 
    GNU General Public License for more details. | 
 
 
 
 
 
 | 14 | 
  | 
 
 
 
 
 
 | 15 | 
    Under Section 7 of GPL version 3, you are granted additional | 
 
 
 
 
 
 | 16 | 
    permissions described in the GCC Runtime Library Exception, version | 
 
 
 
 
 
 | 17 | 
    3.1, as published by the Free Software Foundation. | 
 
 
 
 
 
 | 18 | 
  | 
 
 
 
 
 
 | 19 | 
    You should have received a copy of the GNU General Public License and | 
 
 
 
 
 
 | 20 | 
    a copy of the GCC Runtime Library Exception along with this program; | 
 
 
 
 
 
 | 21 | 
    see the files COPYING3 and COPYING.RUNTIME respectively.  If not, see | 
 
 
 
 
 
 | 22 | 
    <http://www.gnu.org/licenses/>.  */ | 
 
 
 
 
 
 | 23 | 
  | 
 
 
 
 
 
 | 24 | 
 #if !defined _X86INTRIN_H_INCLUDED && !defined _IMMINTRIN_H_INCLUDED | 
 
 
 
 
 
 | 25 | 
 # error "Never use <bmi2intrin.h> directly; include <x86intrin.h> instead." | 
 
 
 
 
 
 | 26 | 
 #endif | 
 
 
 
 
 
 | 27 | 
  | 
 
 
 
 
 
 | 28 | 
 #ifndef _BMI2INTRIN_H_INCLUDED | 
 
 
 
 
 
 | 29 | 
 #define _BMI2INTRIN_H_INCLUDED | 
 
 
 
 
 
 | 30 | 
  | 
 
 
 
 
 
 | 31 | 
 #ifndef __BMI2__ | 
 
 
 
 
 
 | 32 | 
 #pragma GCC push_options | 
 
 
 
 
 
 | 33 | 
 #pragma GCC target("bmi2") | 
 
 
 
 
 
 | 34 | 
 #define __DISABLE_BMI2__ | 
 
 
 
 
 
 | 35 | 
 #endif /* __BMI2__ */ | 
 
 
 
 
 
 | 36 | 
  | 
 
 
 
 
 
 | 37 | 
 extern __inline unsigned int | 
 
 
 
 
 
 | 38 | 
 __attribute__((__gnu_inline__, __always_inline__, __artificial__)) | 
 
 
 
 
 
 | 39 | 
 _bzhi_u32 (unsigned int __X, unsigned int __Y) | 
 
 
 
 
 
 | 40 | 
 { | 
 
 
 
 
 
 | 41 | 
   return __builtin_ia32_bzhi_si (__X, __Y); | 
 
 
 
 
 
 | 42 | 
 } | 
 
 
 
 
 
 | 43 | 
  | 
 
 
 
 
 
 | 44 | 
 extern __inline unsigned int | 
 
 
 
 
 
 | 45 | 
 __attribute__((__gnu_inline__, __always_inline__, __artificial__)) | 
 
 
 
 
 
 | 46 | 
 _pdep_u32 (unsigned int __X, unsigned int __Y) | 
 
 
 
 
 
 | 47 | 
 { | 
 
 
 
 
 
 | 48 | 
   return __builtin_ia32_pdep_si (__X, __Y); | 
 
 
 
 
 
 | 49 | 
 } | 
 
 
 
 
 
 | 50 | 
  | 
 
 
 
 
 
 | 51 | 
 extern __inline unsigned int | 
 
 
 
 
 
 | 52 | 
 __attribute__((__gnu_inline__, __always_inline__, __artificial__)) | 
 
 
 
 
 
 | 53 | 
 _pext_u32 (unsigned int __X, unsigned int __Y) | 
 
 
 
 
 
 | 54 | 
 { | 
 
 
 
 
 
 | 55 | 
   return __builtin_ia32_pext_si (__X, __Y); | 
 
 
 
 
 
 | 56 | 
 } | 
 
 
 
 
 
 | 57 | 
  | 
 
 
 
 
 
 | 58 | 
 #ifdef  __x86_64__ | 
 
 
 
 
 
 | 59 | 
  | 
 
 
 
 
 
 | 60 | 
 extern __inline unsigned long long | 
 
 
 
 
 
 | 61 | 
 __attribute__((__gnu_inline__, __always_inline__, __artificial__)) | 
 
 
 
 
 
 | 62 | 
 _bzhi_u64 (unsigned long long __X, unsigned long long __Y) | 
 
 
 
 
 
 | 63 | 
 { | 
 
 
 
 
 
 | 64 | 
   return __builtin_ia32_bzhi_di (__X, __Y); | 
 
 
 
 
 
 | 65 | 
 } | 
 
 
 
 
 
 | 66 | 
  | 
 
 
 
 
 
 | 67 | 
 extern __inline unsigned long long | 
 
 
 
 
 
 | 68 | 
 __attribute__((__gnu_inline__, __always_inline__, __artificial__)) | 
 
 
 
 
 
 | 69 | 
 _pdep_u64 (unsigned long long __X, unsigned long long __Y) | 
 
 
 
 
 
 | 70 | 
 { | 
 
 
 
 
 
 | 71 | 
   return __builtin_ia32_pdep_di (__X, __Y); | 
 
 
 
 
 
 | 72 | 
 } | 
 
 
 
 
 
 | 73 | 
  | 
 
 
 
 
 
 | 74 | 
 extern __inline unsigned long long | 
 
 
 
 
 
 | 75 | 
 __attribute__((__gnu_inline__, __always_inline__, __artificial__)) | 
 
 
 
 
 
 | 76 | 
 _pext_u64 (unsigned long long __X, unsigned long long __Y) | 
 
 
 
 
 
 | 77 | 
 { | 
 
 
 
 
 
 | 78 | 
   return __builtin_ia32_pext_di (__X, __Y); | 
 
 
 
 
 
 | 79 | 
 } | 
 
 
 
 
 
 | 80 | 
  | 
 
 
 
 
 
 | 81 | 
 extern __inline unsigned long long | 
 
 
 
 
 
 | 82 | 
 __attribute__((__gnu_inline__, __always_inline__, __artificial__)) | 
 
 
 
 
 
 | 83 | 
 _mulx_u64 (unsigned long long __X, unsigned long long __Y, | 
 
 
 
 
 
 | 84 | 
            unsigned long long *__P) | 
 
 
 
 
 
 | 85 | 
 { | 
 
 
 
 
 
 | 86 | 
   unsigned __int128 __res = (unsigned __int128) __X * __Y; | 
 
 
 
 
 
 | 87 | 
   *__P = (unsigned long long) (__res >> 64); | 
 
 
 
 
 
 | 88 | 
   return (unsigned long long) __res; | 
 
 
 
 
 
 | 89 | 
 } | 
 
 
 
 
 
 | 90 | 
  | 
 
 
 
 
 
 | 91 | 
 #else /* !__x86_64__ */ | 
 
 
 
 
 
 | 92 | 
  | 
 
 
 
 
 
 | 93 | 
 extern __inline unsigned int | 
 
 
 
 
 
 | 94 | 
 __attribute__((__gnu_inline__, __always_inline__, __artificial__)) | 
 
 
 
 
 
 | 95 | 
 _mulx_u32 (unsigned int __X, unsigned int __Y, unsigned int *__P) | 
 
 
 
 
 
 | 96 | 
 { | 
 
 
 
 
 
 | 97 | 
   unsigned long long __res = (unsigned long long) __X * __Y; | 
 
 
 
 
 
 | 98 | 
   *__P = (unsigned int) (__res >> 32); | 
 
 
 
 
 
 | 99 | 
   return (unsigned int) __res; | 
 
 
 
 
 
 | 100 | 
 } | 
 
 
 
 
 
 | 101 | 
  | 
 
 
 
 
 
 | 102 | 
 #endif /* !__x86_64__  */ | 
 
 
 
 
 
 | 103 | 
  | 
 
 
 
 
 
 | 104 | 
 #ifdef __DISABLE_BMI2__ | 
 
 
 
 
 
 | 105 | 
 #undef __DISABLE_BMI2__ | 
 
 
 
 
 
 | 106 | 
 #pragma GCC pop_options | 
 
 
 
 
 
 | 107 | 
 #endif /* __DISABLE_BMI2__ */ | 
 
 
 
 
 
 | 108 | 
  | 
 
 
 
 
 
 | 109 | 
 #endif /* _BMI2INTRIN_H_INCLUDED */ |