15421 vpsrlq $0, %xmm15, %xmm15   label
15425 vpsrlq $0, %xmm6, %xmm6   label
15429 vpsrlq 485498096, %xmm15, %xmm15   label
15433 vpsrlq 485498096, %xmm6, %xmm6   label
15437 vpsrlq -64(%rdx,%rax,4), %xmm15, %xmm15   label
15441 vpsrlq 64(%rdx,%rax,4), %xmm15, %xmm15   label
15445 vpsrlq -64(%rdx,%rax,4), %xmm6, %xmm6   label
15449 vpsrlq 64(%rdx,%rax,4), %xmm6, %xmm6   label
15453 vpsrlq 64(%rdx,%rax), %xmm15, %xmm15   label
15457 vpsrlq 64(%rdx,%rax), %xmm6, %xmm6   label
15461 vpsrlq 64(%rdx), %xmm15, %xmm15   label
15465 vpsrlq 64(%rdx), %xmm6, %xmm6   label
15469 vpsrlq (%rdx), %xmm15, %xmm15   label
15473 vpsrlq (%rdx), %xmm6, %xmm6   label
15477 vpsrlq %xmm15, %xmm15, %xmm15   label
15481 vpsrlq %xmm6, %xmm6, %xmm6   label