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__))
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 */
177