10813 vpcmpeqw 485498096, %xmm15, %xmm15   label
10817 vpcmpeqw 485498096, %xmm6, %xmm6   label
10821 vpcmpeqw -64(%rdx,%rax,4), %xmm15, %xmm15   label
10825 vpcmpeqw 64(%rdx,%rax,4), %xmm15, %xmm15   label
10829 vpcmpeqw -64(%rdx,%rax,4), %xmm6, %xmm6   label
10833 vpcmpeqw 64(%rdx,%rax,4), %xmm6, %xmm6   label
10837 vpcmpeqw 64(%rdx,%rax), %xmm15, %xmm15   label
10841 vpcmpeqw 64(%rdx,%rax), %xmm6, %xmm6   label
10845 vpcmpeqw 64(%rdx), %xmm15, %xmm15   label
10849 vpcmpeqw 64(%rdx), %xmm6, %xmm6   label
10853 vpcmpeqw (%rdx), %xmm15, %xmm15   label
10857 vpcmpeqw (%rdx), %xmm6, %xmm6   label
10861 vpcmpeqw %xmm15, %xmm15, %xmm15   label
10865 vpcmpeqw %xmm6, %xmm6, %xmm6   label