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="eaxs1" bitsize="32" type="int32"/>
36  <reg name="ecxs1" bitsize="32" type="int32"/>
37  <reg name="edxs1" bitsize="32" type="int32"/>
38  <reg name="ebxs1" bitsize="32" type="int32"/>
39  <reg name="esps1" bitsize="32" type="data_ptr"/>
40  <reg name="ebps1" bitsize="32" type="data_ptr"/>
41  <reg name="esis1" bitsize="32" type="int32"/>
42  <reg name="edis1" bitsize="32" type="int32"/>
43
44  <reg name="eips1" bitsize="32" type="code_ptr"/>
45  <reg name="eflagss1" bitsize="32" type="i386_eflags"/>
46  <reg name="css1" bitsize="32" type="int32"/>
47  <reg name="sss1" bitsize="32" type="int32"/>
48  <reg name="dss1" bitsize="32" type="int32"/>
49  <reg name="ess1" bitsize="32" type="int32"/>
50  <reg name="fss1" bitsize="32" type="int32"/>
51  <reg name="gss1" bitsize="32" type="int32"/>
52
53  <reg name="st0s1" bitsize="80" type="i387_ext_s"/>
54  <reg name="st1s1" bitsize="80" type="i387_ext_s"/>
55  <reg name="st2s1" bitsize="80" type="i387_ext_s"/>
56  <reg name="st3s1" bitsize="80" type="i387_ext_s"/>
57  <reg name="st4s1" bitsize="80" type="i387_ext_s"/>
58  <reg name="st5s1" bitsize="80" type="i387_ext_s"/>
59  <reg name="st6s1" bitsize="80" type="i387_ext_s"/>
60  <reg name="st7s1" bitsize="80" type="i387_ext_s"/>
61
62  <reg name="fctrls1" bitsize="32" type="int" group="float"/>
63  <reg name="fstats1" bitsize="32" type="int" group="float"/>
64  <reg name="ftags1" bitsize="32" type="int" group="float"/>
65  <reg name="fisegs1" bitsize="32" type="int" group="float"/>
66  <reg name="fioffs1" bitsize="32" type="int" group="float"/>
67  <reg name="fosegs1" bitsize="32" type="int" group="float"/>
68  <reg name="fooffs1" bitsize="32" type="int" group="float"/>
69  <reg name="fops1" bitsize="32" type="int" group="float"/>
70</feature>
71