2 <!-- Copyright (C) 2014-2019 Free Software Foundation, Inc.
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. -->
8 <!DOCTYPE feature SYSTEM
"gdb-target.dtd">
9 <feature name=
"org.gnu.gdb.i386.avx512">
10 <vector id=
"v2ui128" type=
"uint128" count=
"2"/>
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"/>
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"/>
This page took 0.031172 seconds and 5 git commands to generate.