778 sbbq $0, %rax  label
779 sbbq $0, %rdi  label
780 sbbq $0, (%rax)  label
782 sbbq $665536, %rax  label
783 sbbq $665536, %rdi  label
784 sbbq $665536, (%rax)  label
786 sbbq $7, %rdi  label
787 sbbq $7, (%rax)  label
789 sbbq %rsi, %rdi  label
790 sbbq %rsi, (%rax)  label
792 sbbq (%rax), %rdi  label