xref: /netbsd-src/external/gpl3/gdb.old/dist/gdb/features/i386/64bit-avx512.xml (revision fdd524d4ccd2bb0c6f67401e938dabf773eb0372)
1<?xml version="1.0"?>
2<!-- Copyright (C) 2014-2015 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>
103