blob: 8c3b5043118d6f1bce97406f4ba94ee40c1504ee [file] [log] [blame]
sewardj3b290482011-05-06 21:02:55 +00001<?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
philippeede2d6c2012-03-14 21:27:35 +000030 <struct id="i387_ext_s">
31 <field name="b64" type="uint64"/>
32 <field name="b16" type="uint16"/>
33 </struct>
34
sewardj3b290482011-05-06 21:02:55 +000035 <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
philippeede2d6c2012-03-14 21:27:35 +000061 <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"/>
sewardj3b290482011-05-06 21:02:55 +000069
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>