Commit | Line | Data |
---|---|---|
c131fcee L |
1 | /* Common code for i386 XSAVE extended state. |
2 | ||
ecd75fc8 | 3 | Copyright (C) 2010-2014 Free Software Foundation, Inc. |
c131fcee L |
4 | |
5 | This file is part of GDB. | |
6 | ||
7 | This program is free software; you can redistribute it and/or modify | |
8 | it under the terms of the GNU General Public License as published by | |
9 | the Free Software Foundation; either version 3 of the License, or | |
10 | (at your option) any later version. | |
11 | ||
12 | This program is distributed in the hope that it will be useful, | |
13 | but WITHOUT ANY WARRANTY; without even the implied warranty of | |
14 | MERCHANTABILITY or FITNESS FOR A PARTICULAR PURPOSE. See the | |
15 | GNU General Public License for more details. | |
16 | ||
17 | You should have received a copy of the GNU General Public License | |
18 | along with this program. If not, see <http://www.gnu.org/licenses/>. */ | |
19 | ||
20 | #ifndef I386_XSTATE_H | |
21 | #define I386_XSTATE_H 1 | |
22 | ||
23 | /* The extended state feature bits. */ | |
24 | #define I386_XSTATE_X87 (1ULL << 0) | |
25 | #define I386_XSTATE_SSE (1ULL << 1) | |
26 | #define I386_XSTATE_AVX (1ULL << 2) | |
1dbcd68c WT |
27 | #define I386_XSTATE_BNDREGS (1ULL << 3) |
28 | #define I386_XSTATE_BNDCFG (1ULL << 4) | |
244ec0da | 29 | #define I386_XSTATE_MPX (I386_XSTATE_BNDREGS | I386_XSTATE_BNDCFG) |
c131fcee L |
30 | |
31 | /* Supported mask and size of the extended state. */ | |
3a13a53b | 32 | #define I386_XSTATE_X87_MASK I386_XSTATE_X87 |
c131fcee L |
33 | #define I386_XSTATE_SSE_MASK (I386_XSTATE_X87 | I386_XSTATE_SSE) |
34 | #define I386_XSTATE_AVX_MASK (I386_XSTATE_SSE_MASK | I386_XSTATE_AVX) | |
244ec0da | 35 | #define I386_XSTATE_MPX_MASK (I386_XSTATE_AVX_MASK | I386_XSTATE_MPX) |
1dbcd68c WT |
36 | |
37 | #define I386_XSTATE_ALL_MASK I386_XSTATE_MPX_MASK | |
c131fcee L |
38 | |
39 | #define I386_XSTATE_SSE_SIZE 576 | |
40 | #define I386_XSTATE_AVX_SIZE 832 | |
1dbcd68c WT |
41 | #define I386_XSTATE_BNDREGS_SIZE 1024 |
42 | #define I386_XSTATE_BNDCFG_SIZE 1088 | |
43 | ||
44 | #define I386_XSTATE_MAX_SIZE 1088 | |
c131fcee | 45 | |
244ec0da WT |
46 | /* In case one of the MPX XCR0 bits is set we consider we have MPX. */ |
47 | #define HAS_MPX(XCR0) (((XCR0) & I386_XSTATE_MPX) != 0) | |
48 | #define HAS_AVX(XCR0) (((XCR0) & I386_XSTATE_AVX) != 0) | |
49 | ||
c131fcee | 50 | /* Get I386 XSAVE extended state size. */ |
1dbcd68c | 51 | #define I386_XSTATE_SIZE(XCR0) \ |
244ec0da WT |
52 | (HAS_MPX (XCR0) ? I386_XSTATE_BNDCFG_SIZE : \ |
53 | (HAS_AVX (XCR0) ? I386_XSTATE_AVX_SIZE : I386_XSTATE_SSE_SIZE)) | |
c131fcee L |
54 | |
55 | #endif /* I386_XSTATE_H */ |