philippe | 419d5f2 | 2012-05-24 21:33:17 +0000 | [diff] [blame^] | 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> |