Commit | Line | Data |
---|---|---|
2b863f51 WT |
1 | /* THIS FILE IS GENERATED. -*- buffer-read-only: t -*- vi:set ro: |
2 | Original: i386-avx-mpx-linux.xml */ | |
3 | ||
4 | #include "defs.h" | |
5 | #include "osabi.h" | |
6 | #include "target-descriptions.h" | |
7 | ||
8 | struct target_desc *tdesc_i386_avx_mpx_linux; | |
9 | static void | |
10 | initialize_tdesc_i386_avx_mpx_linux (void) | |
11 | { | |
12 | struct target_desc *result = allocate_target_description (); | |
13 | struct tdesc_feature *feature; | |
14 | struct tdesc_type *field_type; | |
15 | struct tdesc_type *type; | |
16 | ||
17 | set_tdesc_architecture (result, bfd_scan_arch ("i386")); | |
18 | ||
19 | set_tdesc_osabi (result, osabi_from_tdesc_string ("GNU/Linux")); | |
20 | ||
21 | feature = tdesc_create_feature (result, "org.gnu.gdb.i386.core"); | |
22 | field_type = tdesc_create_flags (feature, "i386_eflags", 4); | |
23 | tdesc_add_flag (field_type, 0, "CF"); | |
24 | tdesc_add_flag (field_type, 1, ""); | |
25 | tdesc_add_flag (field_type, 2, "PF"); | |
26 | tdesc_add_flag (field_type, 4, "AF"); | |
27 | tdesc_add_flag (field_type, 6, "ZF"); | |
28 | tdesc_add_flag (field_type, 7, "SF"); | |
29 | tdesc_add_flag (field_type, 8, "TF"); | |
30 | tdesc_add_flag (field_type, 9, "IF"); | |
31 | tdesc_add_flag (field_type, 10, "DF"); | |
32 | tdesc_add_flag (field_type, 11, "OF"); | |
33 | tdesc_add_flag (field_type, 14, "NT"); | |
34 | tdesc_add_flag (field_type, 16, "RF"); | |
35 | tdesc_add_flag (field_type, 17, "VM"); | |
36 | tdesc_add_flag (field_type, 18, "AC"); | |
37 | tdesc_add_flag (field_type, 19, "VIF"); | |
38 | tdesc_add_flag (field_type, 20, "VIP"); | |
39 | tdesc_add_flag (field_type, 21, "ID"); | |
40 | ||
41 | tdesc_create_reg (feature, "eax", 0, 1, NULL, 32, "int32"); | |
42 | tdesc_create_reg (feature, "ecx", 1, 1, NULL, 32, "int32"); | |
43 | tdesc_create_reg (feature, "edx", 2, 1, NULL, 32, "int32"); | |
44 | tdesc_create_reg (feature, "ebx", 3, 1, NULL, 32, "int32"); | |
45 | tdesc_create_reg (feature, "esp", 4, 1, NULL, 32, "data_ptr"); | |
46 | tdesc_create_reg (feature, "ebp", 5, 1, NULL, 32, "data_ptr"); | |
47 | tdesc_create_reg (feature, "esi", 6, 1, NULL, 32, "int32"); | |
48 | tdesc_create_reg (feature, "edi", 7, 1, NULL, 32, "int32"); | |
49 | tdesc_create_reg (feature, "eip", 8, 1, NULL, 32, "code_ptr"); | |
50 | tdesc_create_reg (feature, "eflags", 9, 1, NULL, 32, "i386_eflags"); | |
51 | tdesc_create_reg (feature, "cs", 10, 1, NULL, 32, "int32"); | |
52 | tdesc_create_reg (feature, "ss", 11, 1, NULL, 32, "int32"); | |
53 | tdesc_create_reg (feature, "ds", 12, 1, NULL, 32, "int32"); | |
54 | tdesc_create_reg (feature, "es", 13, 1, NULL, 32, "int32"); | |
55 | tdesc_create_reg (feature, "fs", 14, 1, NULL, 32, "int32"); | |
56 | tdesc_create_reg (feature, "gs", 15, 1, NULL, 32, "int32"); | |
57 | tdesc_create_reg (feature, "st0", 16, 1, NULL, 80, "i387_ext"); | |
58 | tdesc_create_reg (feature, "st1", 17, 1, NULL, 80, "i387_ext"); | |
59 | tdesc_create_reg (feature, "st2", 18, 1, NULL, 80, "i387_ext"); | |
60 | tdesc_create_reg (feature, "st3", 19, 1, NULL, 80, "i387_ext"); | |
61 | tdesc_create_reg (feature, "st4", 20, 1, NULL, 80, "i387_ext"); | |
62 | tdesc_create_reg (feature, "st5", 21, 1, NULL, 80, "i387_ext"); | |
63 | tdesc_create_reg (feature, "st6", 22, 1, NULL, 80, "i387_ext"); | |
64 | tdesc_create_reg (feature, "st7", 23, 1, NULL, 80, "i387_ext"); | |
65 | tdesc_create_reg (feature, "fctrl", 24, 1, "float", 32, "int"); | |
66 | tdesc_create_reg (feature, "fstat", 25, 1, "float", 32, "int"); | |
67 | tdesc_create_reg (feature, "ftag", 26, 1, "float", 32, "int"); | |
68 | tdesc_create_reg (feature, "fiseg", 27, 1, "float", 32, "int"); | |
69 | tdesc_create_reg (feature, "fioff", 28, 1, "float", 32, "int"); | |
70 | tdesc_create_reg (feature, "foseg", 29, 1, "float", 32, "int"); | |
71 | tdesc_create_reg (feature, "fooff", 30, 1, "float", 32, "int"); | |
72 | tdesc_create_reg (feature, "fop", 31, 1, "float", 32, "int"); | |
73 | ||
74 | feature = tdesc_create_feature (result, "org.gnu.gdb.i386.sse"); | |
75 | field_type = tdesc_named_type (feature, "ieee_single"); | |
76 | tdesc_create_vector (feature, "v4f", field_type, 4); | |
77 | ||
78 | field_type = tdesc_named_type (feature, "ieee_double"); | |
79 | tdesc_create_vector (feature, "v2d", field_type, 2); | |
80 | ||
81 | field_type = tdesc_named_type (feature, "int8"); | |
82 | tdesc_create_vector (feature, "v16i8", field_type, 16); | |
83 | ||
84 | field_type = tdesc_named_type (feature, "int16"); | |
85 | tdesc_create_vector (feature, "v8i16", field_type, 8); | |
86 | ||
87 | field_type = tdesc_named_type (feature, "int32"); | |
88 | tdesc_create_vector (feature, "v4i32", field_type, 4); | |
89 | ||
90 | field_type = tdesc_named_type (feature, "int64"); | |
91 | tdesc_create_vector (feature, "v2i64", field_type, 2); | |
92 | ||
93 | type = tdesc_create_union (feature, "vec128"); | |
94 | field_type = tdesc_named_type (feature, "v4f"); | |
95 | tdesc_add_field (type, "v4_float", field_type); | |
96 | field_type = tdesc_named_type (feature, "v2d"); | |
97 | tdesc_add_field (type, "v2_double", field_type); | |
98 | field_type = tdesc_named_type (feature, "v16i8"); | |
99 | tdesc_add_field (type, "v16_int8", field_type); | |
100 | field_type = tdesc_named_type (feature, "v8i16"); | |
101 | tdesc_add_field (type, "v8_int16", field_type); | |
102 | field_type = tdesc_named_type (feature, "v4i32"); | |
103 | tdesc_add_field (type, "v4_int32", field_type); | |
104 | field_type = tdesc_named_type (feature, "v2i64"); | |
105 | tdesc_add_field (type, "v2_int64", field_type); | |
106 | field_type = tdesc_named_type (feature, "uint128"); | |
107 | tdesc_add_field (type, "uint128", field_type); | |
108 | ||
109 | field_type = tdesc_create_flags (feature, "i386_mxcsr", 4); | |
110 | tdesc_add_flag (field_type, 0, "IE"); | |
111 | tdesc_add_flag (field_type, 1, "DE"); | |
112 | tdesc_add_flag (field_type, 2, "ZE"); | |
113 | tdesc_add_flag (field_type, 3, "OE"); | |
114 | tdesc_add_flag (field_type, 4, "UE"); | |
115 | tdesc_add_flag (field_type, 5, "PE"); | |
116 | tdesc_add_flag (field_type, 6, "DAZ"); | |
117 | tdesc_add_flag (field_type, 7, "IM"); | |
118 | tdesc_add_flag (field_type, 8, "DM"); | |
119 | tdesc_add_flag (field_type, 9, "ZM"); | |
120 | tdesc_add_flag (field_type, 10, "OM"); | |
121 | tdesc_add_flag (field_type, 11, "UM"); | |
122 | tdesc_add_flag (field_type, 12, "PM"); | |
123 | tdesc_add_flag (field_type, 15, "FZ"); | |
124 | ||
125 | tdesc_create_reg (feature, "xmm0", 32, 1, NULL, 128, "vec128"); | |
126 | tdesc_create_reg (feature, "xmm1", 33, 1, NULL, 128, "vec128"); | |
127 | tdesc_create_reg (feature, "xmm2", 34, 1, NULL, 128, "vec128"); | |
128 | tdesc_create_reg (feature, "xmm3", 35, 1, NULL, 128, "vec128"); | |
129 | tdesc_create_reg (feature, "xmm4", 36, 1, NULL, 128, "vec128"); | |
130 | tdesc_create_reg (feature, "xmm5", 37, 1, NULL, 128, "vec128"); | |
131 | tdesc_create_reg (feature, "xmm6", 38, 1, NULL, 128, "vec128"); | |
132 | tdesc_create_reg (feature, "xmm7", 39, 1, NULL, 128, "vec128"); | |
133 | tdesc_create_reg (feature, "mxcsr", 40, 1, "vector", 32, "i386_mxcsr"); | |
134 | ||
135 | feature = tdesc_create_feature (result, "org.gnu.gdb.i386.linux"); | |
136 | tdesc_create_reg (feature, "orig_eax", 41, 1, NULL, 32, "int"); | |
137 | ||
138 | feature = tdesc_create_feature (result, "org.gnu.gdb.i386.avx"); | |
139 | tdesc_create_reg (feature, "ymm0h", 42, 1, NULL, 128, "uint128"); | |
140 | tdesc_create_reg (feature, "ymm1h", 43, 1, NULL, 128, "uint128"); | |
141 | tdesc_create_reg (feature, "ymm2h", 44, 1, NULL, 128, "uint128"); | |
142 | tdesc_create_reg (feature, "ymm3h", 45, 1, NULL, 128, "uint128"); | |
143 | tdesc_create_reg (feature, "ymm4h", 46, 1, NULL, 128, "uint128"); | |
144 | tdesc_create_reg (feature, "ymm5h", 47, 1, NULL, 128, "uint128"); | |
145 | tdesc_create_reg (feature, "ymm6h", 48, 1, NULL, 128, "uint128"); | |
146 | tdesc_create_reg (feature, "ymm7h", 49, 1, NULL, 128, "uint128"); | |
147 | ||
148 | feature = tdesc_create_feature (result, "org.gnu.gdb.i386.mpx"); | |
149 | type = tdesc_create_struct (feature, "br128"); | |
150 | field_type = tdesc_named_type (feature, "uint64"); | |
151 | tdesc_add_field (type, "lbound", field_type); | |
152 | field_type = tdesc_named_type (feature, "uint64"); | |
153 | tdesc_add_field (type, "ubound_raw", field_type); | |
154 | ||
155 | type = tdesc_create_struct (feature, "_bndstatus"); | |
156 | tdesc_set_struct_size (type, 8); | |
157 | tdesc_add_bitfield (type, "bde", 2, 31); | |
158 | tdesc_add_bitfield (type, "error", 0, 1); | |
159 | ||
160 | type = tdesc_create_union (feature, "status"); | |
161 | field_type = tdesc_named_type (feature, "data_ptr"); | |
162 | tdesc_add_field (type, "raw", field_type); | |
163 | field_type = tdesc_named_type (feature, "_bndstatus"); | |
164 | tdesc_add_field (type, "status", field_type); | |
165 | ||
166 | type = tdesc_create_struct (feature, "_bndcfgu"); | |
167 | tdesc_set_struct_size (type, 8); | |
168 | tdesc_add_bitfield (type, "base", 12, 31); | |
169 | tdesc_add_bitfield (type, "reserved", 2, 11); | |
170 | tdesc_add_bitfield (type, "preserved", 1, 1); | |
171 | tdesc_add_bitfield (type, "enabled", 0, 1); | |
172 | ||
173 | type = tdesc_create_union (feature, "cfgu"); | |
174 | field_type = tdesc_named_type (feature, "data_ptr"); | |
175 | tdesc_add_field (type, "raw", field_type); | |
176 | field_type = tdesc_named_type (feature, "_bndcfgu"); | |
177 | tdesc_add_field (type, "config", field_type); | |
178 | ||
179 | tdesc_create_reg (feature, "bnd0raw", 50, 1, NULL, 128, "br128"); | |
180 | tdesc_create_reg (feature, "bnd1raw", 51, 1, NULL, 128, "br128"); | |
181 | tdesc_create_reg (feature, "bnd2raw", 52, 1, NULL, 128, "br128"); | |
182 | tdesc_create_reg (feature, "bnd3raw", 53, 1, NULL, 128, "br128"); | |
183 | tdesc_create_reg (feature, "bndcfgu", 54, 1, NULL, 64, "cfgu"); | |
184 | tdesc_create_reg (feature, "bndstatus", 55, 1, NULL, 64, "status"); | |
185 | ||
186 | tdesc_i386_avx_mpx_linux = result; | |
187 | } |