5837 vminsd 485498096, %xmm15, %xmm15   label
5841 vminsd 485498096, %xmm6, %xmm6   label
5845 vminsd -64(%rdx,%rax,4), %xmm15, %xmm15   label
5849 vminsd 64(%rdx,%rax,4), %xmm15, %xmm15   label
5853 vminsd -64(%rdx,%rax,4), %xmm6, %xmm6   label
5857 vminsd 64(%rdx,%rax,4), %xmm6, %xmm6   label
5861 vminsd 64(%rdx,%rax), %xmm15, %xmm15   label
5865 vminsd 64(%rdx,%rax), %xmm6, %xmm6   label
5869 vminsd 64(%rdx), %xmm15, %xmm15   label
5873 vminsd 64(%rdx), %xmm6, %xmm6   label
5877 vminsd (%rdx), %xmm15, %xmm15   label
5881 vminsd (%rdx), %xmm6, %xmm6   label
5885 vminsd %xmm15, %xmm15, %xmm15   label
5889 vminsd %xmm6, %xmm6, %xmm6   label