3461 vcvttsd2si 485498096, %r13d   label
3465 vcvttsd2si 485498096, %r15   label
3469 vcvttsd2si 64(%rdx), %r13d   label
3473 vcvttsd2si 64(%rdx), %r15   label
3477 vcvttsd2si -64(%rdx,%rax,4), %r13d   label
3481 vcvttsd2si 64(%rdx,%rax,4), %r13d   label
3485 vcvttsd2si -64(%rdx,%rax,4), %r15   label
3489 vcvttsd2si 64(%rdx,%rax,4), %r15   label
3493 vcvttsd2si 64(%rdx,%rax), %r13d   label
3497 vcvttsd2si 64(%rdx,%rax), %r15   label
3501 vcvttsd2si (%rdx), %r13d   label
3505 vcvttsd2si (%rdx), %r15   label
3509 vcvttsd2si %xmm15, %r13d   label
3513 vcvttsd2si %xmm15, %r15   label
3517 vcvttsd2si %xmm6, %r13d   label
3521 vcvttsd2si %xmm6, %r15   label