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

   1 /* THIS FILE IS GENERATED.  -*- buffer-read-only: t -*- vi:set ro:
   2   Original: i386-avx-mpx-avx512-pku-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_avx512_pku_linux;
   9 static void
  10 initialize_tdesc_i386_avx_mpx_avx512_pku_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   type = tdesc_create_flags (feature, "i386_eflags", 4);
  23   tdesc_add_flag (type, 0, "CF");
  24   tdesc_add_flag (type, 1, "");
  25   tdesc_add_flag (type, 2, "PF");
  26   tdesc_add_flag (type, 4, "AF");
  27   tdesc_add_flag (type, 6, "ZF");
  28   tdesc_add_flag (type, 7, "SF");
  29   tdesc_add_flag (type, 8, "TF");
  30   tdesc_add_flag (type, 9, "IF");
  31   tdesc_add_flag (type, 10, "DF");
  32   tdesc_add_flag (type, 11, "OF");
  33   tdesc_add_flag (type, 14, "NT");
  34   tdesc_add_flag (type, 16, "RF");
  35   tdesc_add_flag (type, 17, "VM");
  36   tdesc_add_flag (type, 18, "AC");
  37   tdesc_add_flag (type, 19, "VIF");
  38   tdesc_add_flag (type, 20, "VIP");
  39   tdesc_add_flag (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   type = tdesc_create_flags (feature, "i386_mxcsr", 4);
 110   tdesc_add_flag (type, 0, "IE");
 111   tdesc_add_flag (type, 1, "DE");
 112   tdesc_add_flag (type, 2, "ZE");
 113   tdesc_add_flag (type, 3, "OE");
 114   tdesc_add_flag (type, 4, "UE");
 115   tdesc_add_flag (type, 5, "PE");
 116   tdesc_add_flag (type, 6, "DAZ");
 117   tdesc_add_flag (type, 7, "IM");
 118   tdesc_add_flag (type, 8, "DM");
 119   tdesc_add_flag (type, 9, "ZM");
 120   tdesc_add_flag (type, 10, "OM");
 121   tdesc_add_flag (type, 11, "UM");
 122   tdesc_add_flag (type, 12, "PM");
 123   tdesc_add_flag (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, 0);
 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   feature = tdesc_create_feature (result, "org.gnu.gdb.i386.avx512");
 187   field_type = tdesc_named_type (feature, "uint128");
 188   tdesc_create_vector (feature, "v2ui128", field_type, 2);
 189
 190   tdesc_create_reg (feature, "k0", 56, 1, NULL, 64, "uint64");
 191   tdesc_create_reg (feature, "k1", 57, 1, NULL, 64, "uint64");
 192   tdesc_create_reg (feature, "k2", 58, 1, NULL, 64, "uint64");
 193   tdesc_create_reg (feature, "k3", 59, 1, NULL, 64, "uint64");
 194   tdesc_create_reg (feature, "k4", 60, 1, NULL, 64, "uint64");
 195   tdesc_create_reg (feature, "k5", 61, 1, NULL, 64, "uint64");
 196   tdesc_create_reg (feature, "k6", 62, 1, NULL, 64, "uint64");
 197   tdesc_create_reg (feature, "k7", 63, 1, NULL, 64, "uint64");
 198   tdesc_create_reg (feature, "zmm0h", 64, 1, NULL, 256, "v2ui128");
 199   tdesc_create_reg (feature, "zmm1h", 65, 1, NULL, 256, "v2ui128");
 200   tdesc_create_reg (feature, "zmm2h", 66, 1, NULL, 256, "v2ui128");
 201   tdesc_create_reg (feature, "zmm3h", 67, 1, NULL, 256, "v2ui128");
 202   tdesc_create_reg (feature, "zmm4h", 68, 1, NULL, 256, "v2ui128");
 203   tdesc_create_reg (feature, "zmm5h", 69, 1, NULL, 256, "v2ui128");
 204   tdesc_create_reg (feature, "zmm6h", 70, 1, NULL, 256, "v2ui128");
 205   tdesc_create_reg (feature, "zmm7h", 71, 1, NULL, 256, "v2ui128");
 206
 207   feature = tdesc_create_feature (result, "org.gnu.gdb.i386.pkeys");
 208   tdesc_create_reg (feature, "pkru", 72, 1, NULL, 32, "uint32");
 209
 210   tdesc_i386_avx_mpx_avx512_pku_linux = result;
 211 }