1 /* Copyright (C) 2008-2013 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__))
_rdrand16_step(unsigned short * __P)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__))
_rdrand32_step(unsigned int * __P)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__))
_readfsbase_u32(void)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__))
_readfsbase_u64(void)118 _readfsbase_u64 (void)
119 {
120 return __builtin_ia32_rdfsbase64 ();
121 }
122
123 extern __inline unsigned int
124 __attribute__((__gnu_inline__, __always_inline__, __artificial__))
_readgsbase_u32(void)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__))
_readgsbase_u64(void)132 _readgsbase_u64 (void)
133 {
134 return __builtin_ia32_rdgsbase64 ();
135 }
136
137 extern __inline void
138 __attribute__((__gnu_inline__, __always_inline__, __artificial__))
_writefsbase_u32(unsigned int __B)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__))
_writefsbase_u64(unsigned long long __B)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__))
_writegsbase_u32(unsigned int __B)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__))
_writegsbase_u64(unsigned long long __B)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__))
_rdrand64_step(unsigned long long * __P)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 */
177