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

   1 <?xml version="1.0"?>
   2 <!-- Copyright (C) 2014-2023 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="v2ui128" type="uint128" count="2"/>
  11
  12   <reg name="k0" bitsize="64" type="uint64"/>
  13   <reg name="k1" bitsize="64" type="uint64"/>
  14   <reg name="k2" bitsize="64" type="uint64"/>
  15   <reg name="k3" bitsize="64" type="uint64"/>
  16   <reg name="k4" bitsize="64" type="uint64"/>
  17   <reg name="k5" bitsize="64" type="uint64"/>
  18   <reg name="k6" bitsize="64" type="uint64"/>
  19   <reg name="k7" bitsize="64" type="uint64"/>
  20
  21   <reg name="zmm0h" bitsize="256" type="v2ui128"/>
  22   <reg name="zmm1h" bitsize="256" type="v2ui128"/>
  23   <reg name="zmm2h" bitsize="256" type="v2ui128"/>
  24   <reg name="zmm3h" bitsize="256" type="v2ui128"/>
  25   <reg name="zmm4h" bitsize="256" type="v2ui128"/>
  26   <reg name="zmm5h" bitsize="256" type="v2ui128"/>
  27   <reg name="zmm6h" bitsize="256" type="v2ui128"/>
  28   <reg name="zmm7h" bitsize="256" type="v2ui128"/>
  29
  30 </feature>