12493 vpinsrd $0, 485498096, %xmm15, %xmm15   label
12497 vpinsrd $0, 485498096, %xmm6, %xmm6   label
12501 vpinsrd $0, -64(%rdx,%rax,4), %xmm15, %xmm15   label
12505 vpinsrd $0, 64(%rdx,%rax,4), %xmm15, %xmm15   label
12509 vpinsrd $0, -64(%rdx,%rax,4), %xmm6, %xmm6   label
12513 vpinsrd $0, 64(%rdx,%rax,4), %xmm6, %xmm6   label
12517 vpinsrd $0, 64(%rdx,%rax), %xmm15, %xmm15   label
12521 vpinsrd $0, 64(%rdx,%rax), %xmm6, %xmm6   label
12525 vpinsrd $0, 64(%rdx), %xmm15, %xmm15   label
12529 vpinsrd $0, 64(%rdx), %xmm6, %xmm6   label
12533 vpinsrd $0, %r13d, %xmm15, %xmm15   label
12537 vpinsrd $0, %r13d, %xmm6, %xmm6   label
12541 vpinsrd $0, (%rdx), %xmm15, %xmm15   label
12545 vpinsrd $0, (%rdx), %xmm6, %xmm6   label