Handle gcc __builtin_strcmp using 128/256 bit vectors with sse4.1, avx/avx2
[valgrind.git] / coregrind / m_gdbserver / amd64-avx-coresse-valgrind.xml
blob2b757155feb8f88a31c64481f17952e192860386
1 <?xml version="1.0"?>
2 <!-- Copyright (C) 2010 Free Software Foundation, Inc.
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.  -->
8 <!-- AMD64 - core and sse.  -->
10 <!DOCTYPE target SYSTEM "gdb-target.dtd">
11 <target>
12   <architecture>i386:x86-64</architecture>
13   <xi:include href="64bit-core.xml"/>
14   <xi:include href="64bit-sse.xml"/>
15   <xi:include href="64bit-avx.xml"/>
16   <xi:include href="64bit-core-valgrind-s1.xml"/>
17   <xi:include href="64bit-sse-valgrind-s1.xml"/>
18   <xi:include href="64bit-avx-valgrind-s1.xml"/>
19   <xi:include href="64bit-core-valgrind-s2.xml"/>
20   <xi:include href="64bit-sse-valgrind-s2.xml"/>
21   <xi:include href="64bit-avx-valgrind-s2.xml"/>
22 </target>