coregrind/m_gdbserver/64bit-avx-valgrind-s1.xml

   1 <?xml version="1.0"?>
   2 <!-- Copyright (C) 2010-2012 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.avx.valgrind.s1">
  10   <reg name="ymm0hs1" bitsize="128" type="uint128"/>
  11   <reg name="ymm1hs1" bitsize="128" type="uint128"/>
  12   <reg name="ymm2hs1" bitsize="128" type="uint128"/>
  13   <reg name="ymm3hs1" bitsize="128" type="uint128"/>
  14   <reg name="ymm4hs1" bitsize="128" type="uint128"/>
  15   <reg name="ymm5hs1" bitsize="128" type="uint128"/>
  16   <reg name="ymm6hs1" bitsize="128" type="uint128"/>
  17   <reg name="ymm7hs1" bitsize="128" type="uint128"/>
  18   <reg name="ymm8hs1" bitsize="128" type="uint128"/>
  19   <reg name="ymm9hs1" bitsize="128" type="uint128"/>
  20   <reg name="ymm10hs1" bitsize="128" type="uint128"/>
  21   <reg name="ymm11hs1" bitsize="128" type="uint128"/>
  22   <reg name="ymm12hs1" bitsize="128" type="uint128"/>
  23   <reg name="ymm13hs1" bitsize="128" type="uint128"/>
  24   <reg name="ymm14hs1" bitsize="128" type="uint128"/>
  25   <reg name="ymm15hs1" bitsize="128" type="uint128"/>
  26 </feature>