gdb/features/i386/32bit-avx512.c

   1 /* THIS FILE IS GENERATED.  -*- buffer-read-only: t -*- vi:set ro:
   2   Original: 32bit-avx512.xml */
   3
   4 #include "gdbsupport/tdesc.h"
   5
   6 static int
   7 create_feature_i386_32bit_avx512 (struct target_desc *result, long regnum)
   8 {
   9   struct tdesc_feature *feature;
  10
  11   feature = tdesc_create_feature (result, "org.gnu.gdb.i386.avx512");
  12   tdesc_type *element_type;
  13   element_type = tdesc_named_type (feature, "uint128");
  14   tdesc_create_vector (feature, "v2ui128", element_type, 2);
  15
  16   tdesc_create_reg (feature, "k0", regnum++, 1, NULL, 64, "uint64");
  17   tdesc_create_reg (feature, "k1", regnum++, 1, NULL, 64, "uint64");
  18   tdesc_create_reg (feature, "k2", regnum++, 1, NULL, 64, "uint64");
  19   tdesc_create_reg (feature, "k3", regnum++, 1, NULL, 64, "uint64");
  20   tdesc_create_reg (feature, "k4", regnum++, 1, NULL, 64, "uint64");
  21   tdesc_create_reg (feature, "k5", regnum++, 1, NULL, 64, "uint64");
  22   tdesc_create_reg (feature, "k6", regnum++, 1, NULL, 64, "uint64");
  23   tdesc_create_reg (feature, "k7", regnum++, 1, NULL, 64, "uint64");
  24   tdesc_create_reg (feature, "zmm0h", regnum++, 1, NULL, 256, "v2ui128");
  25   tdesc_create_reg (feature, "zmm1h", regnum++, 1, NULL, 256, "v2ui128");
  26   tdesc_create_reg (feature, "zmm2h", regnum++, 1, NULL, 256, "v2ui128");
  27   tdesc_create_reg (feature, "zmm3h", regnum++, 1, NULL, 256, "v2ui128");
  28   tdesc_create_reg (feature, "zmm4h", regnum++, 1, NULL, 256, "v2ui128");
  29   tdesc_create_reg (feature, "zmm5h", regnum++, 1, NULL, 256, "v2ui128");
  30   tdesc_create_reg (feature, "zmm6h", regnum++, 1, NULL, 256, "v2ui128");
  31   tdesc_create_reg (feature, "zmm7h", regnum++, 1, NULL, 256, "v2ui128");
  32   return regnum;
  33 }