gcc/config/i386/immintrin.h

   1 /* Copyright (C) 2008, 2009, 2010, 2011, 2012 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 #ifndef _IMMINTRIN_H_INCLUDED
  25 #define _IMMINTRIN_H_INCLUDED
  26
  27 #ifdef __MMX__
  28 #include <mmintrin.h>
  29 #endif
  30
  31 #ifdef __SSE__
  32 #include <xmmintrin.h>
  33 #endif
  34
  35 #ifdef __SSE2__
  36 #include <emmintrin.h>
  37 #endif
  38
  39 #ifdef __SSE3__
  40 #include <pmmintrin.h>
  41 #endif
  42
  43 #ifdef __SSSE3__
  44 #include <tmmintrin.h>
  45 #endif
  46
  47 #if defined (__SSE4_2__) || defined (__SSE4_1__)
  48 #include <smmintrin.h>
  49 #endif
  50
  51 #if defined (__AES__) || defined (__PCLMUL__)
  52 #include <wmmintrin.h>
  53 #endif
  54
  55 #ifdef __AVX__
  56 #include <avxintrin.h>
  57 #endif
  58
  59 #ifdef __AVX2__
  60 #include <avx2intrin.h>
  61 #endif
  62
  63 #ifdef __LZCNT__
  64 #include <lzcntintrin.h>
  65 #endif
  66
  67 #ifdef __BMI__
  68 #include <bmiintrin.h>
  69 #endif
  70
  71 #ifdef __BMI2__
  72 #include <bmi2intrin.h>
  73 #endif
  74
  75 #ifdef __FMA__
  76 #include <fmaintrin.h>
  77 #endif
  78
  79 #ifdef __F16C__
  80 #include <f16cintrin.h>
  81 #endif
  82
  83 #ifdef __RTM__
  84 #include <rtmintrin.h>
  85 #endif
  86
  87 #ifdef __RTM__
  88 #include <xtestintrin.h>
  89 #endif
  90
  91 #ifdef __RDRND__
  92 extern __inline int
  93 __attribute__((__gnu_inline__, __always_inline__, __artificial__))
  94 _rdrand16_step (unsigned short *__P)
  95 {
  96   return __builtin_ia32_rdrand16_step (__P);
  97 }
  98
  99 extern __inline int
 100 __attribute__((__gnu_inline__, __always_inline__, __artificial__))
 101 _rdrand32_step (unsigned int *__P)
 102 {
 103   return __builtin_ia32_rdrand32_step (__P);
 104 }
 105 #endif /* __RDRND__ */
 106
 107 #ifdef  __x86_64__
 108 #ifdef __FSGSBASE__
 109 extern __inline unsigned int
 110 __attribute__((__gnu_inline__, __always_inline__, __artificial__))
 111 _readfsbase_u32 (void)
 112 {
 113   return __builtin_ia32_rdfsbase32 ();
 114 }
 115
 116 extern __inline unsigned long long
 117 __attribute__((__gnu_inline__, __always_inline__, __artificial__))
 118 _readfsbase_u64 (void)
 119 {
 120   return __builtin_ia32_rdfsbase64 ();
 121 }
 122
 123 extern __inline unsigned int
 124 __attribute__((__gnu_inline__, __always_inline__, __artificial__))
 125 _readgsbase_u32 (void)
 126 {
 127   return __builtin_ia32_rdgsbase32 ();
 128 }
 129
 130 extern __inline unsigned long long
 131 __attribute__((__gnu_inline__, __always_inline__, __artificial__))
 132 _readgsbase_u64 (void)
 133 {
 134   return __builtin_ia32_rdgsbase64 ();
 135 }
 136
 137 extern __inline void
 138 __attribute__((__gnu_inline__, __always_inline__, __artificial__))
 139 _writefsbase_u32 (unsigned int __B)
 140 {
 141   __builtin_ia32_wrfsbase32 (__B);
 142 }
 143
 144 extern __inline void
 145 __attribute__((__gnu_inline__, __always_inline__, __artificial__))
 146 _writefsbase_u64 (unsigned long long __B)
 147 {
 148   __builtin_ia32_wrfsbase64 (__B);
 149 }
 150
 151 extern __inline void
 152 __attribute__((__gnu_inline__, __always_inline__, __artificial__))
 153 _writegsbase_u32 (unsigned int __B)
 154 {
 155   __builtin_ia32_wrgsbase32 (__B);
 156 }
 157
 158 extern __inline void
 159 __attribute__((__gnu_inline__, __always_inline__, __artificial__))
 160 _writegsbase_u64 (unsigned long long __B)
 161 {
 162   __builtin_ia32_wrgsbase64 (__B);
 163 }
 164 #endif /* __FSGSBASE__ */
 165
 166 #ifdef __RDRND__
 167 extern __inline int
 168 __attribute__((__gnu_inline__, __always_inline__, __artificial__))
 169 _rdrand64_step (unsigned long long *__P)
 170 {
 171   return __builtin_ia32_rdrand64_step (__P);
 172 }
 173 #endif /* __RDRND__ */
 174 #endif /* __x86_64__  */
 175
 176 #endif /* _IMMINTRIN_H_INCLUDED */