1 | /* Copyright (C) 2012-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 <fxsrintrin.h> directly; include <x86intrin.h> instead." */
|
---|
26 | /* #endif */
|
---|
27 |
|
---|
28 | #ifndef _FXSRINTRIN_H_INCLUDED
|
---|
29 | #define _FXSRINTRIN_H_INCLUDED
|
---|
30 |
|
---|
31 | #ifndef __FXSR__
|
---|
32 | #pragma GCC push_options
|
---|
33 | #pragma GCC target("fxsr")
|
---|
34 | #define __DISABLE_FXSR__
|
---|
35 | #endif /* __FXSR__ */
|
---|
36 |
|
---|
37 | extern __inline void
|
---|
38 | __attribute__((__gnu_inline__, __always_inline__, __artificial__))
|
---|
39 | _fxsave (void *__P)
|
---|
40 | {
|
---|
41 | return __builtin_ia32_fxsave (__P);
|
---|
42 | }
|
---|
43 |
|
---|
44 | extern __inline void
|
---|
45 | __attribute__((__gnu_inline__, __always_inline__, __artificial__))
|
---|
46 | _fxrstor (void *__P)
|
---|
47 | {
|
---|
48 | return __builtin_ia32_fxrstor (__P);
|
---|
49 | }
|
---|
50 |
|
---|
51 | #ifdef __x86_64__
|
---|
52 | extern __inline void
|
---|
53 | __attribute__((__gnu_inline__, __always_inline__, __artificial__))
|
---|
54 | _fxsave64 (void *__P)
|
---|
55 | {
|
---|
56 | return __builtin_ia32_fxsave64 (__P);
|
---|
57 | }
|
---|
58 |
|
---|
59 | extern __inline void
|
---|
60 | __attribute__((__gnu_inline__, __always_inline__, __artificial__))
|
---|
61 | _fxrstor64 (void *__P)
|
---|
62 | {
|
---|
63 | return __builtin_ia32_fxrstor64 (__P);
|
---|
64 | }
|
---|
65 | #endif
|
---|
66 |
|
---|
67 | #ifdef __DISABLE_FXSR__
|
---|
68 | #undef __DISABLE_FXSR__
|
---|
69 | #pragma GCC pop_options
|
---|
70 | #endif /* __DISABLE_FXSR__ */
|
---|
71 |
|
---|
72 |
|
---|
73 | #endif /* _FXSRINTRIN_H_INCLUDED */
|
---|