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> 31