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>
27