https://gcc.gnu.org/bugzilla/show_bug.cgi?id=68507
--- Comment #1 from Daniel Santos <daniel.santos at pobox dot com> ---
Correction: xmm6-15, I can't type today. And here is the output on gcc 4.9.3:
$ objdump -dSr test_case.o
test_case.o: file format elf64-x86-64
Disassembly of section .text:
0000000000000000 <why_the_little_piggie_cried>:
0: 55 push %rbp
1: 48 89 e5 mov %rsp,%rbp
4: 57 push %rdi
5: 56 push %rsi
6: 48 81 ec a0 00 00 00 sub $0xa0,%rsp
d: 0f 29 34 24 movaps %xmm6,(%rsp)
11: 0f 29 7c 24 10 movaps %xmm7,0x10(%rsp)
16: 44 0f 29 44 24 20 movaps %xmm8,0x20(%rsp)
1c: 44 0f 29 4d 80 movaps %xmm9,-0x80(%rbp)
21: 44 0f 29 55 90 movaps %xmm10,-0x70(%rbp)
26: 44 0f 29 5d a0 movaps %xmm11,-0x60(%rbp)
2b: 44 0f 29 65 b0 movaps %xmm12,-0x50(%rbp)
30: 44 0f 29 6d c0 movaps %xmm13,-0x40(%rbp)
35: 44 0f 29 75 d0 movaps %xmm14,-0x30(%rbp)
3a: 44 0f 29 7d e0 movaps %xmm15,-0x20(%rbp)
3f: e8 00 00 00 00 callq 44 <why_the_little_piggie_cried+0x44>
40: R_X86_64_PC32 wool_sweaters-0x4
44: 0f 28 34 24 movaps (%rsp),%xmm6
48: 0f 28 7c 24 10 movaps 0x10(%rsp),%xmm7
4d: 44 0f 28 44 24 20 movaps 0x20(%rsp),%xmm8
53: 44 0f 28 4d 80 movaps -0x80(%rbp),%xmm9
58: 44 0f 28 55 90 movaps -0x70(%rbp),%xmm10
5d: 44 0f 28 5d a0 movaps -0x60(%rbp),%xmm11
62: 44 0f 28 65 b0 movaps -0x50(%rbp),%xmm12
67: 44 0f 28 6d c0 movaps -0x40(%rbp),%xmm13
6c: 44 0f 28 75 d0 movaps -0x30(%rbp),%xmm14
71: 44 0f 28 7d e0 movaps -0x20(%rbp),%xmm15
76: 48 81 c4 a0 00 00 00 add $0xa0,%rsp
7d: 5e pop %rsi
7e: 5f pop %rdi
7f: 5d pop %rbp
80: c3 retq
