1<?xml version="1.0"?>
2<!-- Copyright (C) 2010 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.core.valgrind.s1">
10  <flags id="i386_eflags" size="4">
11    <field name="CF" start="0" end="0"/>
12    <field name="" start="1" end="1"/>
13    <field name="PF" start="2" end="2"/>
14    <field name="AF" start="4" end="4"/>
15    <field name="ZF" start="6" end="6"/>
16    <field name="SF" start="7" end="7"/>
17    <field name="TF" start="8" end="8"/>
18    <field name="IF" start="9" end="9"/>
19    <field name="DF" start="10" end="10"/>
20    <field name="OF" start="11" end="11"/>
21    <field name="NT" start="14" end="14"/>
22    <field name="RF" start="16" end="16"/>
23    <field name="VM" start="17" end="17"/>
24    <field name="AC" start="18" end="18"/>
25    <field name="VIF" start="19" end="19"/>
26    <field name="VIP" start="20" end="20"/>
27    <field name="ID" start="21" end="21"/>
28  </flags>
29
30  <struct id="i387_ext_s">
31    <field name="b64" type="uint64"/>
32    <field name="b16" type="uint16"/>
33  </struct>
34
35  <reg name="raxs1" bitsize="64" type="int64"/>
36  <reg name="rbxs1" bitsize="64" type="int64"/>
37  <reg name="rcxs1" bitsize="64" type="int64"/>
38  <reg name="rdxs1" bitsize="64" type="int64"/>
39  <reg name="rsis1" bitsize="64" type="int64"/>
40  <reg name="rdis1" bitsize="64" type="int64"/>
41  <reg name="rbps1" bitsize="64" type="data_ptr"/>
42  <reg name="rsps1" bitsize="64" type="data_ptr"/>
43  <reg name="r8s1" bitsize="64" type="int64"/>
44  <reg name="r9s1" bitsize="64" type="int64"/>
45  <reg name="r10s1" bitsize="64" type="int64"/>
46  <reg name="r11s1" bitsize="64" type="int64"/>
47  <reg name="r12s1" bitsize="64" type="int64"/>
48  <reg name="r13s1" bitsize="64" type="int64"/>
49  <reg name="r14s1" bitsize="64" type="int64"/>
50  <reg name="r15s1" bitsize="64" type="int64"/>
51
52  <reg name="rips1" bitsize="64" type="code_ptr"/>
53  <reg name="eflagss1" bitsize="32" type="i386_eflags"/>
54  <reg name="css1" bitsize="32" type="int32"/>
55  <reg name="sss1" bitsize="32" type="int32"/>
56  <reg name="dss1" bitsize="32" type="int32"/>
57  <reg name="ess1" bitsize="32" type="int32"/>
58  <reg name="fss1" bitsize="32" type="int32"/>
59  <reg name="gss1" bitsize="32" type="int32"/>
60
61  <reg name="st0s1" bitsize="80" type="i387_ext_s"/>
62  <reg name="st1s1" bitsize="80" type="i387_ext_s"/>
63  <reg name="st2s1" bitsize="80" type="i387_ext_s"/>
64  <reg name="st3s1" bitsize="80" type="i387_ext_s"/>
65  <reg name="st4s1" bitsize="80" type="i387_ext_s"/>
66  <reg name="st5s1" bitsize="80" type="i387_ext_s"/>
67  <reg name="st6s1" bitsize="80" type="i387_ext_s"/>
68  <reg name="st7s1" bitsize="80" type="i387_ext_s"/>
69
70  <reg name="fctrls1" bitsize="32" type="int" group="float"/>
71  <reg name="fstats1" bitsize="32" type="int" group="float"/>
72  <reg name="ftags1" bitsize="32" type="int" group="float"/>
73  <reg name="fisegs1" bitsize="32" type="int" group="float"/>
74  <reg name="fioffs1" bitsize="32" type="int" group="float"/>
75  <reg name="fosegs1" bitsize="32" type="int" group="float"/>
76  <reg name="fooffs1" bitsize="32" type="int" group="float"/>
77  <reg name="fops1" bitsize="32" type="int" group="float"/>
78</feature>
79