coregrind/m_gdbserver/64bit-avx-valgrind-s2.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.s2">
  10   <reg name="ymm0hs2" bitsize="128" type="uint128"/>
  11   <reg name="ymm1hs2" bitsize="128" type="uint128"/>
  12   <reg name="ymm2hs2" bitsize="128" type="uint128"/>
  13   <reg name="ymm3hs2" bitsize="128" type="uint128"/>
  14   <reg name="ymm4hs2" bitsize="128" type="uint128"/>
  15   <reg name="ymm5hs2" bitsize="128" type="uint128"/>
  16   <reg name="ymm6hs2" bitsize="128" type="uint128"/>
  17   <reg name="ymm7hs2" bitsize="128" type="uint128"/>
  18   <reg name="ymm8hs2" bitsize="128" type="uint128"/>
  19   <reg name="ymm9hs2" bitsize="128" type="uint128"/>
  20   <reg name="ymm10hs2" bitsize="128" type="uint128"/>
  21   <reg name="ymm11hs2" bitsize="128" type="uint128"/>
  22   <reg name="ymm12hs2" bitsize="128" type="uint128"/>
  23   <reg name="ymm13hs2" bitsize="128" type="uint128"/>
  24   <reg name="ymm14hs2" bitsize="128" type="uint128"/>
  25   <reg name="ymm15hs2" bitsize="128" type="uint128"/>
  26 </feature>