3525 vcvttss2si 485498096, %r13d   label
3529 vcvttss2si 485498096, %r15   label
3533 vcvttss2si 64(%rdx), %r13d   label
3537 vcvttss2si 64(%rdx), %r15   label
3541 vcvttss2si -64(%rdx,%rax,4), %r13d   label
3545 vcvttss2si 64(%rdx,%rax,4), %r13d   label
3549 vcvttss2si -64(%rdx,%rax,4), %r15   label
3553 vcvttss2si 64(%rdx,%rax,4), %r15   label
3557 vcvttss2si 64(%rdx,%rax), %r13d   label
3561 vcvttss2si 64(%rdx,%rax), %r15   label
3565 vcvttss2si (%rdx), %r13d   label
3569 vcvttss2si (%rdx), %r15   label
3573 vcvttss2si %xmm15, %r13d   label
3577 vcvttss2si %xmm15, %r15   label
3581 vcvttss2si %xmm6, %r13d   label
3585 vcvttss2si %xmm6, %r15   label