l4/pkg/valgrind/src/valgrind-3.6.0-svn/coregrind/m_gdbserver/power-fpu-valgrind-s2.xml

   1 <?xml version="1.0"?>
   2 <!-- Copyright (C) 2007, 2008, 2009, 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.power.fpu-valgrind-s2">
  10   <reg name="f0s2" bitsize="64" type="ieee_double" regnum="32"/>
  11   <reg name="f1s2" bitsize="64" type="ieee_double"/>
  12   <reg name="f2s2" bitsize="64" type="ieee_double"/>
  13   <reg name="f3s2" bitsize="64" type="ieee_double"/>
  14   <reg name="f4s2" bitsize="64" type="ieee_double"/>
  15   <reg name="f5s2" bitsize="64" type="ieee_double"/>
  16   <reg name="f6s2" bitsize="64" type="ieee_double"/>
  17   <reg name="f7s2" bitsize="64" type="ieee_double"/>
  18   <reg name="f8s2" bitsize="64" type="ieee_double"/>
  19   <reg name="f9s2" bitsize="64" type="ieee_double"/>
  20   <reg name="f10s2" bitsize="64" type="ieee_double"/>
  21   <reg name="f11s2" bitsize="64" type="ieee_double"/>
  22   <reg name="f12s2" bitsize="64" type="ieee_double"/>
  23   <reg name="f13s2" bitsize="64" type="ieee_double"/>
  24   <reg name="f14s2" bitsize="64" type="ieee_double"/>
  25   <reg name="f15s2" bitsize="64" type="ieee_double"/>
  26   <reg name="f16s2" bitsize="64" type="ieee_double"/>
  27   <reg name="f17s2" bitsize="64" type="ieee_double"/>
  28   <reg name="f18s2" bitsize="64" type="ieee_double"/>
  29   <reg name="f19s2" bitsize="64" type="ieee_double"/>
  30   <reg name="f20s2" bitsize="64" type="ieee_double"/>
  31   <reg name="f21s2" bitsize="64" type="ieee_double"/>
  32   <reg name="f22s2" bitsize="64" type="ieee_double"/>
  33   <reg name="f23s2" bitsize="64" type="ieee_double"/>
  34   <reg name="f24s2" bitsize="64" type="ieee_double"/>
  35   <reg name="f25s2" bitsize="64" type="ieee_double"/>
  36   <reg name="f26s2" bitsize="64" type="ieee_double"/>
  37   <reg name="f27s2" bitsize="64" type="ieee_double"/>
  38   <reg name="f28s2" bitsize="64" type="ieee_double"/>
  39   <reg name="f29s2" bitsize="64" type="ieee_double"/>
  40   <reg name="f30s2" bitsize="64" type="ieee_double"/>
  41   <reg name="f31s2" bitsize="64" type="ieee_double"/>
  42
  43   <reg name="fpscrs2" bitsize="32" group="float" regnum="70"/>
  44 </feature>