| Viewing file:  bmi2intrin.h (3.31 KB)      -rw-r--r-- Select action/file-type:
 
  (+) |  (+) |  (+) | Code (+) | Session (+) |  (+) | SDB (+) |  (+) |  (+) |  (+) |  (+) |  (+) | 
 
/* Copyright (C) 2011-2018 Free Software Foundation, Inc.
 This file is part of GCC.
 
 GCC is free software; you can redistribute it and/or modify
 it under the terms of the GNU General Public License as published by
 the Free Software Foundation; either version 3, or (at your option)
 any later version.
 
 GCC is distributed in the hope that it will be useful,
 but WITHOUT ANY WARRANTY; without even the implied warranty of
 MERCHANTABILITY or FITNESS FOR A PARTICULAR PURPOSE.  See the
 GNU General Public License for more details.
 
 Under Section 7 of GPL version 3, you are granted additional
 permissions described in the GCC Runtime Library Exception, version
 3.1, as published by the Free Software Foundation.
 
 You should have received a copy of the GNU General Public License and
 a copy of the GCC Runtime Library Exception along with this program;
 see the files COPYING3 and COPYING.RUNTIME respectively.  If not, see
 <http://www.gnu.org/licenses/>.  */
 
 #if !defined _X86INTRIN_H_INCLUDED && !defined _IMMINTRIN_H_INCLUDED
 # error "Never use <bmi2intrin.h> directly; include <x86intrin.h> instead."
 #endif
 
 #ifndef _BMI2INTRIN_H_INCLUDED
 #define _BMI2INTRIN_H_INCLUDED
 
 #ifndef __BMI2__
 #pragma GCC push_options
 #pragma GCC target("bmi2")
 #define __DISABLE_BMI2__
 #endif /* __BMI2__ */
 
 extern __inline unsigned int
 __attribute__((__gnu_inline__, __always_inline__, __artificial__))
 _bzhi_u32 (unsigned int __X, unsigned int __Y)
 {
 return __builtin_ia32_bzhi_si (__X, __Y);
 }
 
 extern __inline unsigned int
 __attribute__((__gnu_inline__, __always_inline__, __artificial__))
 _pdep_u32 (unsigned int __X, unsigned int __Y)
 {
 return __builtin_ia32_pdep_si (__X, __Y);
 }
 
 extern __inline unsigned int
 __attribute__((__gnu_inline__, __always_inline__, __artificial__))
 _pext_u32 (unsigned int __X, unsigned int __Y)
 {
 return __builtin_ia32_pext_si (__X, __Y);
 }
 
 #ifdef  __x86_64__
 
 extern __inline unsigned long long
 __attribute__((__gnu_inline__, __always_inline__, __artificial__))
 _bzhi_u64 (unsigned long long __X, unsigned long long __Y)
 {
 return __builtin_ia32_bzhi_di (__X, __Y);
 }
 
 extern __inline unsigned long long
 __attribute__((__gnu_inline__, __always_inline__, __artificial__))
 _pdep_u64 (unsigned long long __X, unsigned long long __Y)
 {
 return __builtin_ia32_pdep_di (__X, __Y);
 }
 
 extern __inline unsigned long long
 __attribute__((__gnu_inline__, __always_inline__, __artificial__))
 _pext_u64 (unsigned long long __X, unsigned long long __Y)
 {
 return __builtin_ia32_pext_di (__X, __Y);
 }
 
 extern __inline unsigned long long
 __attribute__((__gnu_inline__, __always_inline__, __artificial__))
 _mulx_u64 (unsigned long long __X, unsigned long long __Y,
 unsigned long long *__P)
 {
 unsigned __int128 __res = (unsigned __int128) __X * __Y;
 *__P = (unsigned long long) (__res >> 64);
 return (unsigned long long) __res;
 }
 
 #else /* !__x86_64__ */
 
 extern __inline unsigned int
 __attribute__((__gnu_inline__, __always_inline__, __artificial__))
 _mulx_u32 (unsigned int __X, unsigned int __Y, unsigned int *__P)
 {
 unsigned long long __res = (unsigned long long) __X * __Y;
 *__P = (unsigned int) (__res >> 32);
 return (unsigned int) __res;
 }
 
 #endif /* !__x86_64__  */
 
 #ifdef __DISABLE_BMI2__
 #undef __DISABLE_BMI2__
 #pragma GCC pop_options
 #endif /* __DISABLE_BMI2__ */
 
 #endif /* _BMI2INTRIN_H_INCLUDED */
 
 |