gcc older than 4.9 doesn't understand ymm15 as a register name. Use
xmm15 instead.
gdb/testsuite/ChangeLog:
* gdb.trace/tfile-avx.c (main): Change ymm15 to xmm15.
+2016-02-12 Marcin Kościelnicki <koriakin@0x04.net>
+
+ * gdb.trace/tfile-avx.c (main): Change ymm15 to xmm15.
+
2016-02-12 Simon Marchi <simon.marchi@ericsson.com>
* i386-biarch-core.exp: Define corefile using
int
main (void)
{
- register __v8si a asm("ymm15") = {
+ /* Strictly speaking, it should be ymm15 (xmm15 is 128-bit), but gcc older
+ than 4.9 doesn't recognize "ymm15" as a valid register name. */
+ register __v8si a asm("xmm15") = {
0x12340001,
0x12340002,
0x12340003,