gdb/features/i386/amd64-avx-mpx-avx512-pku.c

   1 /* THIS FILE IS GENERATED.  -*- buffer-read-only: t -*- vi:set ro:
   2   Original: amd64-avx-mpx-avx512-pku.xml */
   3
   4 #include "defs.h"
   5 #include "osabi.h"
   6 #include "target-descriptions.h"
   7
   8 struct target_desc *tdesc_amd64_avx_mpx_avx512_pku;
   9 static void
  10 initialize_tdesc_amd64_avx_mpx_avx512_pku (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:x86-64"));
  18
  19   feature = tdesc_create_feature (result, "org.gnu.gdb.i386.core");
  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");
  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
 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");
 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
 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
 153   feature = tdesc_create_feature (result, "org.gnu.gdb.i386.avx");
 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");
 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
 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");
 208
 209   feature = tdesc_create_feature (result, "org.gnu.gdb.i386.avx512");
 210   field_type = tdesc_named_type (feature, "ieee_single");
 211   tdesc_create_vector (feature, "v4f", field_type, 4);
 212
 213   field_type = tdesc_named_type (feature, "ieee_double");
 214   tdesc_create_vector (feature, "v2d", field_type, 2);
 215
 216   field_type = tdesc_named_type (feature, "int8");
 217   tdesc_create_vector (feature, "v16i8", field_type, 16);
 218
 219   field_type = tdesc_named_type (feature, "int16");
 220   tdesc_create_vector (feature, "v8i16", field_type, 8);
 221
 222   field_type = tdesc_named_type (feature, "int32");
 223   tdesc_create_vector (feature, "v4i32", field_type, 4);
 224
 225   field_type = tdesc_named_type (feature, "int64");
 226   tdesc_create_vector (feature, "v2i64", field_type, 2);
 227
 228   type = tdesc_create_union (feature, "vec128");
 229   field_type = tdesc_named_type (feature, "v4f");
 230   tdesc_add_field (type, "v4_float", field_type);
 231   field_type = tdesc_named_type (feature, "v2d");
 232   tdesc_add_field (type, "v2_double", field_type);
 233   field_type = tdesc_named_type (feature, "v16i8");
 234   tdesc_add_field (type, "v16_int8", field_type);
 235   field_type = tdesc_named_type (feature, "v8i16");
 236   tdesc_add_field (type, "v8_int16", field_type);
 237   field_type = tdesc_named_type (feature, "v4i32");
 238   tdesc_add_field (type, "v4_int32", field_type);
 239   field_type = tdesc_named_type (feature, "v2i64");
 240   tdesc_add_field (type, "v2_int64", field_type);
 241   field_type = tdesc_named_type (feature, "uint128");
 242   tdesc_add_field (type, "uint128", field_type);
 243
 244   field_type = tdesc_named_type (feature, "uint128");
 245   tdesc_create_vector (feature, "v2ui128", field_type, 2);
 246
 247   tdesc_create_reg (feature, "xmm16", 81, 1, NULL, 128, "vec128");
 248   tdesc_create_reg (feature, "xmm17", 82, 1, NULL, 128, "vec128");
 249   tdesc_create_reg (feature, "xmm18", 83, 1, NULL, 128, "vec128");
 250   tdesc_create_reg (feature, "xmm19", 84, 1, NULL, 128, "vec128");
 251   tdesc_create_reg (feature, "xmm20", 85, 1, NULL, 128, "vec128");
 252   tdesc_create_reg (feature, "xmm21", 86, 1, NULL, 128, "vec128");
 253   tdesc_create_reg (feature, "xmm22", 87, 1, NULL, 128, "vec128");
 254   tdesc_create_reg (feature, "xmm23", 88, 1, NULL, 128, "vec128");
 255   tdesc_create_reg (feature, "xmm24", 89, 1, NULL, 128, "vec128");
 256   tdesc_create_reg (feature, "xmm25", 90, 1, NULL, 128, "vec128");
 257   tdesc_create_reg (feature, "xmm26", 91, 1, NULL, 128, "vec128");
 258   tdesc_create_reg (feature, "xmm27", 92, 1, NULL, 128, "vec128");
 259   tdesc_create_reg (feature, "xmm28", 93, 1, NULL, 128, "vec128");
 260   tdesc_create_reg (feature, "xmm29", 94, 1, NULL, 128, "vec128");
 261   tdesc_create_reg (feature, "xmm30", 95, 1, NULL, 128, "vec128");
 262   tdesc_create_reg (feature, "xmm31", 96, 1, NULL, 128, "vec128");
 263   tdesc_create_reg (feature, "ymm16h", 97, 1, NULL, 128, "uint128");
 264   tdesc_create_reg (feature, "ymm17h", 98, 1, NULL, 128, "uint128");
 265   tdesc_create_reg (feature, "ymm18h", 99, 1, NULL, 128, "uint128");
 266   tdesc_create_reg (feature, "ymm19h", 100, 1, NULL, 128, "uint128");
 267   tdesc_create_reg (feature, "ymm20h", 101, 1, NULL, 128, "uint128");
 268   tdesc_create_reg (feature, "ymm21h", 102, 1, NULL, 128, "uint128");
 269   tdesc_create_reg (feature, "ymm22h", 103, 1, NULL, 128, "uint128");
 270   tdesc_create_reg (feature, "ymm23h", 104, 1, NULL, 128, "uint128");
 271   tdesc_create_reg (feature, "ymm24h", 105, 1, NULL, 128, "uint128");
 272   tdesc_create_reg (feature, "ymm25h", 106, 1, NULL, 128, "uint128");
 273   tdesc_create_reg (feature, "ymm26h", 107, 1, NULL, 128, "uint128");
 274   tdesc_create_reg (feature, "ymm27h", 108, 1, NULL, 128, "uint128");
 275   tdesc_create_reg (feature, "ymm28h", 109, 1, NULL, 128, "uint128");
 276   tdesc_create_reg (feature, "ymm29h", 110, 1, NULL, 128, "uint128");
 277   tdesc_create_reg (feature, "ymm30h", 111, 1, NULL, 128, "uint128");
 278   tdesc_create_reg (feature, "ymm31h", 112, 1, NULL, 128, "uint128");
 279   tdesc_create_reg (feature, "k0", 113, 1, NULL, 64, "uint64");
 280   tdesc_create_reg (feature, "k1", 114, 1, NULL, 64, "uint64");
 281   tdesc_create_reg (feature, "k2", 115, 1, NULL, 64, "uint64");
 282   tdesc_create_reg (feature, "k3", 116, 1, NULL, 64, "uint64");
 283   tdesc_create_reg (feature, "k4", 117, 1, NULL, 64, "uint64");
 284   tdesc_create_reg (feature, "k5", 118, 1, NULL, 64, "uint64");
 285   tdesc_create_reg (feature, "k6", 119, 1, NULL, 64, "uint64");
 286   tdesc_create_reg (feature, "k7", 120, 1, NULL, 64, "uint64");
 287   tdesc_create_reg (feature, "zmm0h", 121, 1, NULL, 256, "v2ui128");
 288   tdesc_create_reg (feature, "zmm1h", 122, 1, NULL, 256, "v2ui128");
 289   tdesc_create_reg (feature, "zmm2h", 123, 1, NULL, 256, "v2ui128");
 290   tdesc_create_reg (feature, "zmm3h", 124, 1, NULL, 256, "v2ui128");
 291   tdesc_create_reg (feature, "zmm4h", 125, 1, NULL, 256, "v2ui128");
 292   tdesc_create_reg (feature, "zmm5h", 126, 1, NULL, 256, "v2ui128");
 293   tdesc_create_reg (feature, "zmm6h", 127, 1, NULL, 256, "v2ui128");
 294   tdesc_create_reg (feature, "zmm7h", 128, 1, NULL, 256, "v2ui128");
 295   tdesc_create_reg (feature, "zmm8h", 129, 1, NULL, 256, "v2ui128");
 296   tdesc_create_reg (feature, "zmm9h", 130, 1, NULL, 256, "v2ui128");
 297   tdesc_create_reg (feature, "zmm10h", 131, 1, NULL, 256, "v2ui128");
 298   tdesc_create_reg (feature, "zmm11h", 132, 1, NULL, 256, "v2ui128");
 299   tdesc_create_reg (feature, "zmm12h", 133, 1, NULL, 256, "v2ui128");
 300   tdesc_create_reg (feature, "zmm13h", 134, 1, NULL, 256, "v2ui128");
 301   tdesc_create_reg (feature, "zmm14h", 135, 1, NULL, 256, "v2ui128");
 302   tdesc_create_reg (feature, "zmm15h", 136, 1, NULL, 256, "v2ui128");
 303   tdesc_create_reg (feature, "zmm16h", 137, 1, NULL, 256, "v2ui128");
 304   tdesc_create_reg (feature, "zmm17h", 138, 1, NULL, 256, "v2ui128");
 305   tdesc_create_reg (feature, "zmm18h", 139, 1, NULL, 256, "v2ui128");
 306   tdesc_create_reg (feature, "zmm19h", 140, 1, NULL, 256, "v2ui128");
 307   tdesc_create_reg (feature, "zmm20h", 141, 1, NULL, 256, "v2ui128");
 308   tdesc_create_reg (feature, "zmm21h", 142, 1, NULL, 256, "v2ui128");
 309   tdesc_create_reg (feature, "zmm22h", 143, 1, NULL, 256, "v2ui128");
 310   tdesc_create_reg (feature, "zmm23h", 144, 1, NULL, 256, "v2ui128");
 311   tdesc_create_reg (feature, "zmm24h", 145, 1, NULL, 256, "v2ui128");
 312   tdesc_create_reg (feature, "zmm25h", 146, 1, NULL, 256, "v2ui128");
 313   tdesc_create_reg (feature, "zmm26h", 147, 1, NULL, 256, "v2ui128");
 314   tdesc_create_reg (feature, "zmm27h", 148, 1, NULL, 256, "v2ui128");
 315   tdesc_create_reg (feature, "zmm28h", 149, 1, NULL, 256, "v2ui128");
 316   tdesc_create_reg (feature, "zmm29h", 150, 1, NULL, 256, "v2ui128");
 317   tdesc_create_reg (feature, "zmm30h", 151, 1, NULL, 256, "v2ui128");
 318   tdesc_create_reg (feature, "zmm31h", 152, 1, NULL, 256, "v2ui128");
 319
 320   feature = tdesc_create_feature (result, "org.gnu.gdb.i386.pkeys");
 321   tdesc_create_reg (feature, "pkru", 153, 1, NULL, 32, "uint32");
 322
 323   tdesc_amd64_avx_mpx_avx512_pku = result;
 324 }