gdb/features/i386/64bit-avx512.xml

   1 <?xml version="1.0"?>
   2 <!-- Copyright (C) 2014-2017 Free Software Foundation, Inc.
   3
   4      Copying and distribution of this file, with or without modification,
   5      are permitted in any medium without royalty provided the copyright
   6      notice and this notice are preserved.  -->
   7
   8 <!DOCTYPE feature SYSTEM "gdb-target.dtd">
   9 <feature name="org.gnu.gdb.i386.avx512">
  10 <vector id="v4f" type="ieee_single" count="4"/>
  11   <vector id="v2d" type="ieee_double" count="2"/>
  12   <vector id="v16i8" type="int8" count="16"/>
  13   <vector id="v8i16" type="int16" count="8"/>
  14   <vector id="v4i32" type="int32" count="4"/>
  15   <vector id="v2i64" type="int64" count="2"/>
  16   <union id="vec128">
  17     <field name="v4_float" type="v4f"/>
  18     <field name="v2_double" type="v2d"/>
  19     <field name="v16_int8" type="v16i8"/>
  20     <field name="v8_int16" type="v8i16"/>
  21     <field name="v4_int32" type="v4i32"/>
  22     <field name="v2_int64" type="v2i64"/>
  23     <field name="uint128" type="uint128"/>
  24   </union>
  25   <reg name="xmm16" bitsize="128" type="vec128"/>
  26   <reg name="xmm17" bitsize="128" type="vec128"/>
  27   <reg name="xmm18" bitsize="128" type="vec128"/>
  28   <reg name="xmm19" bitsize="128" type="vec128"/>
  29   <reg name="xmm20" bitsize="128" type="vec128"/>
  30   <reg name="xmm21" bitsize="128" type="vec128"/>
  31   <reg name="xmm22" bitsize="128" type="vec128"/>
  32   <reg name="xmm23" bitsize="128" type="vec128"/>
  33   <reg name="xmm24" bitsize="128" type="vec128"/>
  34   <reg name="xmm25" bitsize="128" type="vec128"/>
  35   <reg name="xmm26" bitsize="128" type="vec128"/>
  36   <reg name="xmm27" bitsize="128" type="vec128"/>
  37   <reg name="xmm28" bitsize="128" type="vec128"/>
  38   <reg name="xmm29" bitsize="128" type="vec128"/>
  39   <reg name="xmm30" bitsize="128" type="vec128"/>
  40   <reg name="xmm31" bitsize="128" type="vec128"/>
  41
  42   <reg name="ymm16h" bitsize="128" type="uint128"/>
  43   <reg name="ymm17h" bitsize="128" type="uint128"/>
  44   <reg name="ymm18h" bitsize="128" type="uint128"/>
  45   <reg name="ymm19h" bitsize="128" type="uint128"/>
  46   <reg name="ymm20h" bitsize="128" type="uint128"/>
  47   <reg name="ymm21h" bitsize="128" type="uint128"/>
  48   <reg name="ymm22h" bitsize="128" type="uint128"/>
  49   <reg name="ymm23h" bitsize="128" type="uint128"/>
  50   <reg name="ymm24h" bitsize="128" type="uint128"/>
  51   <reg name="ymm25h" bitsize="128" type="uint128"/>
  52   <reg name="ymm26h" bitsize="128" type="uint128"/>
  53   <reg name="ymm27h" bitsize="128" type="uint128"/>
  54   <reg name="ymm28h" bitsize="128" type="uint128"/>
  55   <reg name="ymm29h" bitsize="128" type="uint128"/>
  56   <reg name="ymm30h" bitsize="128" type="uint128"/>
  57   <reg name="ymm31h" bitsize="128" type="uint128"/>
  58
  59   <vector id="v2ui128" type="uint128" count="2"/>
  60
  61   <reg name="k0" bitsize="64" type="uint64"/>
  62   <reg name="k1" bitsize="64" type="uint64"/>
  63   <reg name="k2" bitsize="64" type="uint64"/>
  64   <reg name="k3" bitsize="64" type="uint64"/>
  65   <reg name="k4" bitsize="64" type="uint64"/>
  66   <reg name="k5" bitsize="64" type="uint64"/>
  67   <reg name="k6" bitsize="64" type="uint64"/>
  68   <reg name="k7" bitsize="64" type="uint64"/>
  69
  70   <reg name="zmm0h" bitsize="256" type="v2ui128"/>
  71   <reg name="zmm1h" bitsize="256" type="v2ui128"/>
  72   <reg name="zmm2h" bitsize="256" type="v2ui128"/>
  73   <reg name="zmm3h" bitsize="256" type="v2ui128"/>
  74   <reg name="zmm4h" bitsize="256" type="v2ui128"/>
  75   <reg name="zmm5h" bitsize="256" type="v2ui128"/>
  76   <reg name="zmm6h" bitsize="256" type="v2ui128"/>
  77   <reg name="zmm7h" bitsize="256" type="v2ui128"/>
  78   <reg name="zmm8h" bitsize="256" type="v2ui128"/>
  79   <reg name="zmm9h" bitsize="256" type="v2ui128"/>
  80   <reg name="zmm10h" bitsize="256" type="v2ui128"/>
  81   <reg name="zmm11h" bitsize="256" type="v2ui128"/>
  82   <reg name="zmm12h" bitsize="256" type="v2ui128"/>
  83   <reg name="zmm13h" bitsize="256" type="v2ui128"/>
  84   <reg name="zmm14h" bitsize="256" type="v2ui128"/>
  85   <reg name="zmm15h" bitsize="256" type="v2ui128"/>
  86   <reg name="zmm16h" bitsize="256" type="v2ui128"/>
  87   <reg name="zmm17h" bitsize="256" type="v2ui128"/>
  88   <reg name="zmm18h" bitsize="256" type="v2ui128"/>
  89   <reg name="zmm19h" bitsize="256" type="v2ui128"/>
  90   <reg name="zmm20h" bitsize="256" type="v2ui128"/>
  91   <reg name="zmm21h" bitsize="256" type="v2ui128"/>
  92   <reg name="zmm22h" bitsize="256" type="v2ui128"/>
  93   <reg name="zmm23h" bitsize="256" type="v2ui128"/>
  94   <reg name="zmm24h" bitsize="256" type="v2ui128"/>
  95   <reg name="zmm25h" bitsize="256" type="v2ui128"/>
  96   <reg name="zmm26h" bitsize="256" type="v2ui128"/>
  97   <reg name="zmm27h" bitsize="256" type="v2ui128"/>
  98   <reg name="zmm28h" bitsize="256" type="v2ui128"/>
  99   <reg name="zmm29h" bitsize="256" type="v2ui128"/>
 100   <reg name="zmm30h" bitsize="256" type="v2ui128"/>
 101   <reg name="zmm31h" bitsize="256" type="v2ui128"/>
 102 </feature>