| 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 */ |