gdb/features/i386/x32-avx512.c - gdb

Global variables defined

Functions defined

Source code

  1. /* THIS FILE IS GENERATED.  -*- buffer-read-only: t -*- vi:set ro:
  2.   Original: x32-avx512.xml */

  4. #include "defs.h"
  5. #include "osabi.h"
  6. #include "target-descriptions.h"

  8. ‌struct target_desc *tdesc_x32_avx512;
  9. static void
  10. ‌initialize_tdesc_x32_avx512 (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;

  17.   set_tdesc_architecture (result, bfd_scan_arch ("i386:x64-32"));

  19.   feature = tdesc_create_feature (result, "org.gnu.gdb.i386.core");
  20.   field_type = tdesc_create_flags (feature, "i386_eflags", 4);
  21.   tdesc_add_flag (field_type, 0, "CF");
  22.   tdesc_add_flag (field_type, 1, "");
  23.   tdesc_add_flag (field_type, 2, "PF");
  24.   tdesc_add_flag (field_type, 4, "AF");
  25.   tdesc_add_flag (field_type, 6, "ZF");
  26.   tdesc_add_flag (field_type, 7, "SF");
  27.   tdesc_add_flag (field_type, 8, "TF");
  28.   tdesc_add_flag (field_type, 9, "IF");
  29.   tdesc_add_flag (field_type, 10, "DF");
  30.   tdesc_add_flag (field_type, 11, "OF");
  31.   tdesc_add_flag (field_type, 14, "NT");
  32.   tdesc_add_flag (field_type, 16, "RF");
  33.   tdesc_add_flag (field_type, 17, "VM");
  34.   tdesc_add_flag (field_type, 18, "AC");
  35.   tdesc_add_flag (field_type, 19, "VIF");
  36.   tdesc_add_flag (field_type, 20, "VIP");
  37.   tdesc_add_flag (field_type, 21, "ID");

  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, "int64");
  46.   tdesc_create_reg (feature, "rsp", 7, 1, NULL, 64, "int64");
  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, "uint64");
  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");

  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);

  84.   field_type = tdesc_named_type (feature, "ieee_double");
  85.   tdesc_create_vector (feature, "v2d", field_type, 2);

  87.   field_type = tdesc_named_type (feature, "int8");
  88.   tdesc_create_vector (feature, "v16i8", field_type, 16);

  90.   field_type = tdesc_named_type (feature, "int16");
  91.   tdesc_create_vector (feature, "v8i16", field_type, 8);

  93.   field_type = tdesc_named_type (feature, "int32");
  94.   tdesc_create_vector (feature, "v4i32", field_type, 4);

  96.   field_type = tdesc_named_type (feature, "int64");
  97.   tdesc_create_vector (feature, "v2i64", field_type, 2);

  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);

  115.   field_type = tdesc_create_flags (feature, "i386_mxcsr", 4);
  116.   tdesc_add_flag (field_type, 0, "IE");
  117.   tdesc_add_flag (field_type, 1, "DE");
  118.   tdesc_add_flag (field_type, 2, "ZE");
  119.   tdesc_add_flag (field_type, 3, "OE");
  120.   tdesc_add_flag (field_type, 4, "UE");
  121.   tdesc_add_flag (field_type, 5, "PE");
  122.   tdesc_add_flag (field_type, 6, "DAZ");
  123.   tdesc_add_flag (field_type, 7, "IM");
  124.   tdesc_add_flag (field_type, 8, "DM");
  125.   tdesc_add_flag (field_type, 9, "ZM");
  126.   tdesc_add_flag (field_type, 10, "OM");
  127.   tdesc_add_flag (field_type, 11, "UM");
  128.   tdesc_add_flag (field_type, 12, "PM");
  129.   tdesc_add_flag (field_type, 15, "FZ");

  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");

  149.   feature = tdesc_create_feature (result, "org.gnu.gdb.i386.avx");
  150.   tdesc_create_reg (feature, "ymm0h", 57, 1, NULL, 128, "uint128");
  151.   tdesc_create_reg (feature, "ymm1h", 58, 1, NULL, 128, "uint128");
  152.   tdesc_create_reg (feature, "ymm2h", 59, 1, NULL, 128, "uint128");
  153.   tdesc_create_reg (feature, "ymm3h", 60, 1, NULL, 128, "uint128");
  154.   tdesc_create_reg (feature, "ymm4h", 61, 1, NULL, 128, "uint128");
  155.   tdesc_create_reg (feature, "ymm5h", 62, 1, NULL, 128, "uint128");
  156.   tdesc_create_reg (feature, "ymm6h", 63, 1, NULL, 128, "uint128");
  157.   tdesc_create_reg (feature, "ymm7h", 64, 1, NULL, 128, "uint128");
  158.   tdesc_create_reg (feature, "ymm8h", 65, 1, NULL, 128, "uint128");
  159.   tdesc_create_reg (feature, "ymm9h", 66, 1, NULL, 128, "uint128");
  160.   tdesc_create_reg (feature, "ymm10h", 67, 1, NULL, 128, "uint128");
  161.   tdesc_create_reg (feature, "ymm11h", 68, 1, NULL, 128, "uint128");
  162.   tdesc_create_reg (feature, "ymm12h", 69, 1, NULL, 128, "uint128");
  163.   tdesc_create_reg (feature, "ymm13h", 70, 1, NULL, 128, "uint128");
  164.   tdesc_create_reg (feature, "ymm14h", 71, 1, NULL, 128, "uint128");
  165.   tdesc_create_reg (feature, "ymm15h", 72, 1, NULL, 128, "uint128");

  167.   feature = tdesc_create_feature (result, "org.gnu.gdb.i386.mpx");
  168.   type = tdesc_create_struct (feature, "br128");
  169.   field_type = tdesc_named_type (feature, "uint64");
  170.   tdesc_add_field (type, "lbound", field_type);
  171.   field_type = tdesc_named_type (feature, "uint64");
  172.   tdesc_add_field (type, "ubound_raw", field_type);

  174.   type = tdesc_create_struct (feature, "_bndstatus");
  175.   tdesc_set_struct_size (type, 8);
  176.   tdesc_add_bitfield (type, "bde", 2, 63);
  177.   tdesc_add_bitfield (type, "error", 0, 1);

  179.   type = tdesc_create_union (feature, "status");
  180.   field_type = tdesc_named_type (feature, "data_ptr");
  181.   tdesc_add_field (type, "raw", field_type);
  182.   field_type = tdesc_named_type (feature, "_bndstatus");
  183.   tdesc_add_field (type, "status", field_type);

  185.   type = tdesc_create_struct (feature, "_bndcfgu");
  186.   tdesc_set_struct_size (type, 8);
  187.   tdesc_add_bitfield (type, "base", 12, 63);
  188.   tdesc_add_bitfield (type, "reserved", 2, 11);
  189.   tdesc_add_bitfield (type, "preserved", 1, 1);
  190.   tdesc_add_bitfield (type, "enabled", 0, 0);

  192.   type = tdesc_create_union (feature, "cfgu");
  193.   field_type = tdesc_named_type (feature, "data_ptr");
  194.   tdesc_add_field (type, "raw", field_type);
  195.   field_type = tdesc_named_type (feature, "_bndcfgu");
  196.   tdesc_add_field (type, "config", field_type);

  198.   tdesc_create_reg (feature, "bnd0raw", 73, 1, NULL, 128, "br128");
  199.   tdesc_create_reg (feature, "bnd1raw", 74, 1, NULL, 128, "br128");
  200.   tdesc_create_reg (feature, "bnd2raw", 75, 1, NULL, 128, "br128");
  201.   tdesc_create_reg (feature, "bnd3raw", 76, 1, NULL, 128, "br128");
  202.   tdesc_create_reg (feature, "bndcfgu", 77, 1, NULL, 64, "cfgu");
  203.   tdesc_create_reg (feature, "bndstatus", 78, 1, NULL, 64, "status");

  205.   feature = tdesc_create_feature (result, "org.gnu.gdb.i386.avx512");
  206.   field_type = tdesc_named_type (feature, "ieee_single");
  207.   tdesc_create_vector (feature, "v4f", field_type, 4);

  209.   field_type = tdesc_named_type (feature, "ieee_double");
  210.   tdesc_create_vector (feature, "v2d", field_type, 2);

  212.   field_type = tdesc_named_type (feature, "int8");
  213.   tdesc_create_vector (feature, "v16i8", field_type, 16);

  215.   field_type = tdesc_named_type (feature, "int16");
  216.   tdesc_create_vector (feature, "v8i16", field_type, 8);

  218.   field_type = tdesc_named_type (feature, "int32");
  219.   tdesc_create_vector (feature, "v4i32", field_type, 4);

  221.   field_type = tdesc_named_type (feature, "int64");
  222.   tdesc_create_vector (feature, "v2i64", field_type, 2);

  224.   type = tdesc_create_union (feature, "vec128");
  225.   field_type = tdesc_named_type (feature, "v4f");
  226.   tdesc_add_field (type, "v4_float", field_type);
  227.   field_type = tdesc_named_type (feature, "v2d");
  228.   tdesc_add_field (type, "v2_double", field_type);
  229.   field_type = tdesc_named_type (feature, "v16i8");
  230.   tdesc_add_field (type, "v16_int8", field_type);
  231.   field_type = tdesc_named_type (feature, "v8i16");
  232.   tdesc_add_field (type, "v8_int16", field_type);
  233.   field_type = tdesc_named_type (feature, "v4i32");
  234.   tdesc_add_field (type, "v4_int32", field_type);
  235.   field_type = tdesc_named_type (feature, "v2i64");
  236.   tdesc_add_field (type, "v2_int64", field_type);
  237.   field_type = tdesc_named_type (feature, "uint128");
  238.   tdesc_add_field (type, "uint128", field_type);

  240.   field_type = tdesc_named_type (feature, "uint128");
  241.   tdesc_create_vector (feature, "v2ui128", field_type, 2);

  243.   tdesc_create_reg (feature, "xmm16", 79, 1, NULL, 128, "vec128");
  244.   tdesc_create_reg (feature, "xmm17", 80, 1, NULL, 128, "vec128");
  245.   tdesc_create_reg (feature, "xmm18", 81, 1, NULL, 128, "vec128");
  246.   tdesc_create_reg (feature, "xmm19", 82, 1, NULL, 128, "vec128");
  247.   tdesc_create_reg (feature, "xmm20", 83, 1, NULL, 128, "vec128");
  248.   tdesc_create_reg (feature, "xmm21", 84, 1, NULL, 128, "vec128");
  249.   tdesc_create_reg (feature, "xmm22", 85, 1, NULL, 128, "vec128");
  250.   tdesc_create_reg (feature, "xmm23", 86, 1, NULL, 128, "vec128");
  251.   tdesc_create_reg (feature, "xmm24", 87, 1, NULL, 128, "vec128");
  252.   tdesc_create_reg (feature, "xmm25", 88, 1, NULL, 128, "vec128");
  253.   tdesc_create_reg (feature, "xmm26", 89, 1, NULL, 128, "vec128");
  254.   tdesc_create_reg (feature, "xmm27", 90, 1, NULL, 128, "vec128");
  255.   tdesc_create_reg (feature, "xmm28", 91, 1, NULL, 128, "vec128");
  256.   tdesc_create_reg (feature, "xmm29", 92, 1, NULL, 128, "vec128");
  257.   tdesc_create_reg (feature, "xmm30", 93, 1, NULL, 128, "vec128");
  258.   tdesc_create_reg (feature, "xmm31", 94, 1, NULL, 128, "vec128");
  259.   tdesc_create_reg (feature, "ymm16h", 95, 1, NULL, 128, "uint128");
  260.   tdesc_create_reg (feature, "ymm17h", 96, 1, NULL, 128, "uint128");
  261.   tdesc_create_reg (feature, "ymm18h", 97, 1, NULL, 128, "uint128");
  262.   tdesc_create_reg (feature, "ymm19h", 98, 1, NULL, 128, "uint128");
  263.   tdesc_create_reg (feature, "ymm20h", 99, 1, NULL, 128, "uint128");
  264.   tdesc_create_reg (feature, "ymm21h", 100, 1, NULL, 128, "uint128");
  265.   tdesc_create_reg (feature, "ymm22h", 101, 1, NULL, 128, "uint128");
  266.   tdesc_create_reg (feature, "ymm23h", 102, 1, NULL, 128, "uint128");
  267.   tdesc_create_reg (feature, "ymm24h", 103, 1, NULL, 128, "uint128");
  268.   tdesc_create_reg (feature, "ymm25h", 104, 1, NULL, 128, "uint128");
  269.   tdesc_create_reg (feature, "ymm26h", 105, 1, NULL, 128, "uint128");
  270.   tdesc_create_reg (feature, "ymm27h", 106, 1, NULL, 128, "uint128");
  271.   tdesc_create_reg (feature, "ymm28h", 107, 1, NULL, 128, "uint128");
  272.   tdesc_create_reg (feature, "ymm29h", 108, 1, NULL, 128, "uint128");
  273.   tdesc_create_reg (feature, "ymm30h", 109, 1, NULL, 128, "uint128");
  274.   tdesc_create_reg (feature, "ymm31h", 110, 1, NULL, 128, "uint128");
  275.   tdesc_create_reg (feature, "k0", 111, 1, NULL, 64, "uint64");
  276.   tdesc_create_reg (feature, "k1", 112, 1, NULL, 64, "uint64");
  277.   tdesc_create_reg (feature, "k2", 113, 1, NULL, 64, "uint64");
  278.   tdesc_create_reg (feature, "k3", 114, 1, NULL, 64, "uint64");
  279.   tdesc_create_reg (feature, "k4", 115, 1, NULL, 64, "uint64");
  280.   tdesc_create_reg (feature, "k5", 116, 1, NULL, 64, "uint64");
  281.   tdesc_create_reg (feature, "k6", 117, 1, NULL, 64, "uint64");
  282.   tdesc_create_reg (feature, "k7", 118, 1, NULL, 64, "uint64");
  283.   tdesc_create_reg (feature, "zmm0h", 119, 1, NULL, 256, "v2ui128");
  284.   tdesc_create_reg (feature, "zmm1h", 120, 1, NULL, 256, "v2ui128");
  285.   tdesc_create_reg (feature, "zmm2h", 121, 1, NULL, 256, "v2ui128");
  286.   tdesc_create_reg (feature, "zmm3h", 122, 1, NULL, 256, "v2ui128");
  287.   tdesc_create_reg (feature, "zmm4h", 123, 1, NULL, 256, "v2ui128");
  288.   tdesc_create_reg (feature, "zmm5h", 124, 1, NULL, 256, "v2ui128");
  289.   tdesc_create_reg (feature, "zmm6h", 125, 1, NULL, 256, "v2ui128");
  290.   tdesc_create_reg (feature, "zmm7h", 126, 1, NULL, 256, "v2ui128");
  291.   tdesc_create_reg (feature, "zmm8h", 127, 1, NULL, 256, "v2ui128");
  292.   tdesc_create_reg (feature, "zmm9h", 128, 1, NULL, 256, "v2ui128");
  293.   tdesc_create_reg (feature, "zmm10h", 129, 1, NULL, 256, "v2ui128");
  294.   tdesc_create_reg (feature, "zmm11h", 130, 1, NULL, 256, "v2ui128");
  295.   tdesc_create_reg (feature, "zmm12h", 131, 1, NULL, 256, "v2ui128");
  296.   tdesc_create_reg (feature, "zmm13h", 132, 1, NULL, 256, "v2ui128");
  297.   tdesc_create_reg (feature, "zmm14h", 133, 1, NULL, 256, "v2ui128");
  298.   tdesc_create_reg (feature, "zmm15h", 134, 1, NULL, 256, "v2ui128");
  299.   tdesc_create_reg (feature, "zmm16h", 135, 1, NULL, 256, "v2ui128");
  300.   tdesc_create_reg (feature, "zmm17h", 136, 1, NULL, 256, "v2ui128");
  301.   tdesc_create_reg (feature, "zmm18h", 137, 1, NULL, 256, "v2ui128");
  302.   tdesc_create_reg (feature, "zmm19h", 138, 1, NULL, 256, "v2ui128");
  303.   tdesc_create_reg (feature, "zmm20h", 139, 1, NULL, 256, "v2ui128");
  304.   tdesc_create_reg (feature, "zmm21h", 140, 1, NULL, 256, "v2ui128");
  305.   tdesc_create_reg (feature, "zmm22h", 141, 1, NULL, 256, "v2ui128");
  306.   tdesc_create_reg (feature, "zmm23h", 142, 1, NULL, 256, "v2ui128");
  307.   tdesc_create_reg (feature, "zmm24h", 143, 1, NULL, 256, "v2ui128");
  308.   tdesc_create_reg (feature, "zmm25h", 144, 1, NULL, 256, "v2ui128");
  309.   tdesc_create_reg (feature, "zmm26h", 145, 1, NULL, 256, "v2ui128");
  310.   tdesc_create_reg (feature, "zmm27h", 146, 1, NULL, 256, "v2ui128");
  311.   tdesc_create_reg (feature, "zmm28h", 147, 1, NULL, 256, "v2ui128");
  312.   tdesc_create_reg (feature, "zmm29h", 148, 1, NULL, 256, "v2ui128");
  313.   tdesc_create_reg (feature, "zmm30h", 149, 1, NULL, 256, "v2ui128");
  314.   tdesc_create_reg (feature, "zmm31h", 150, 1, NULL, 256, "v2ui128");

  316.   tdesc_x32_avx512 = result;
  317. }