| <?xml version="1.0"?> |
| <!-- Copyright (C) 2010-2012 Free Software Foundation, Inc. |
| |
| Copying and distribution of this file, with or without modification, |
| are permitted in any medium without royalty provided the copyright |
| notice and this notice are preserved. --> |
| |
| <!DOCTYPE feature SYSTEM "gdb-target.dtd"> |
| <feature name="org.gnu.gdb.i386.avx.valgrind.s1"> |
| <reg name="ymm0hs1" bitsize="128" type="uint128"/> |
| <reg name="ymm1hs1" bitsize="128" type="uint128"/> |
| <reg name="ymm2hs1" bitsize="128" type="uint128"/> |
| <reg name="ymm3hs1" bitsize="128" type="uint128"/> |
| <reg name="ymm4hs1" bitsize="128" type="uint128"/> |
| <reg name="ymm5hs1" bitsize="128" type="uint128"/> |
| <reg name="ymm6hs1" bitsize="128" type="uint128"/> |
| <reg name="ymm7hs1" bitsize="128" type="uint128"/> |
| <reg name="ymm8hs1" bitsize="128" type="uint128"/> |
| <reg name="ymm9hs1" bitsize="128" type="uint128"/> |
| <reg name="ymm10hs1" bitsize="128" type="uint128"/> |
| <reg name="ymm11hs1" bitsize="128" type="uint128"/> |
| <reg name="ymm12hs1" bitsize="128" type="uint128"/> |
| <reg name="ymm13hs1" bitsize="128" type="uint128"/> |
| <reg name="ymm14hs1" bitsize="128" type="uint128"/> |
| <reg name="ymm15hs1" bitsize="128" type="uint128"/> |
| </feature> |