xref: /openbmc/qemu/gdb-xml/riscv-32bit-fpu.xml (revision 6c187695)
1<?xml version="1.0"?>
2<!-- Copyright (C) 2018-2019 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.riscv.fpu">
10  <reg name="ft0" bitsize="32" type="ieee_single"/>
11  <reg name="ft1" bitsize="32" type="ieee_single"/>
12  <reg name="ft2" bitsize="32" type="ieee_single"/>
13  <reg name="ft3" bitsize="32" type="ieee_single"/>
14  <reg name="ft4" bitsize="32" type="ieee_single"/>
15  <reg name="ft5" bitsize="32" type="ieee_single"/>
16  <reg name="ft6" bitsize="32" type="ieee_single"/>
17  <reg name="ft7" bitsize="32" type="ieee_single"/>
18  <reg name="fs0" bitsize="32" type="ieee_single"/>
19  <reg name="fs1" bitsize="32" type="ieee_single"/>
20  <reg name="fa0" bitsize="32" type="ieee_single"/>
21  <reg name="fa1" bitsize="32" type="ieee_single"/>
22  <reg name="fa2" bitsize="32" type="ieee_single"/>
23  <reg name="fa3" bitsize="32" type="ieee_single"/>
24  <reg name="fa4" bitsize="32" type="ieee_single"/>
25  <reg name="fa5" bitsize="32" type="ieee_single"/>
26  <reg name="fa6" bitsize="32" type="ieee_single"/>
27  <reg name="fa7" bitsize="32" type="ieee_single"/>
28  <reg name="fs2" bitsize="32" type="ieee_single"/>
29  <reg name="fs3" bitsize="32" type="ieee_single"/>
30  <reg name="fs4" bitsize="32" type="ieee_single"/>
31  <reg name="fs5" bitsize="32" type="ieee_single"/>
32  <reg name="fs6" bitsize="32" type="ieee_single"/>
33  <reg name="fs7" bitsize="32" type="ieee_single"/>
34  <reg name="fs8" bitsize="32" type="ieee_single"/>
35  <reg name="fs9" bitsize="32" type="ieee_single"/>
36  <reg name="fs10" bitsize="32" type="ieee_single"/>
37  <reg name="fs11" bitsize="32" type="ieee_single"/>
38  <reg name="ft8" bitsize="32" type="ieee_single"/>
39  <reg name="ft9" bitsize="32" type="ieee_single"/>
40  <reg name="ft10" bitsize="32" type="ieee_single"/>
41  <reg name="ft11" bitsize="32" type="ieee_single"/>
42</feature>
43