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