13221 vpminsw 485498096, %xmm15, %xmm15   label
13225 vpminsw 485498096, %xmm6, %xmm6   label
13229 vpminsw -64(%rdx,%rax,4), %xmm15, %xmm15   label
13233 vpminsw 64(%rdx,%rax,4), %xmm15, %xmm15   label
13237 vpminsw -64(%rdx,%rax,4), %xmm6, %xmm6   label
13241 vpminsw 64(%rdx,%rax,4), %xmm6, %xmm6   label
13245 vpminsw 64(%rdx,%rax), %xmm15, %xmm15   label
13249 vpminsw 64(%rdx,%rax), %xmm6, %xmm6   label
13253 vpminsw 64(%rdx), %xmm15, %xmm15   label
13257 vpminsw 64(%rdx), %xmm6, %xmm6   label
13261 vpminsw (%rdx), %xmm15, %xmm15   label
13265 vpminsw (%rdx), %xmm6, %xmm6   label
13269 vpminsw %xmm15, %xmm15, %xmm15   label
13273 vpminsw %xmm6, %xmm6, %xmm6   label