0x7f612b25e3e2 : cmp (%rdx),%rbx 0x7f612b25e3e5 : mov %rbx,%rax 0x7f612b25e3e8 : je 0x7f612b25e400 0x7f612b25e3ea : mov %rbx,%rsi 0x7f612b25e3ed : mov %r12,%rdi 0x7f612b25e3f0 : callq 0x7f612b24e608 0x7f612b25e3f5 : test %eax,%eax 0x7f612b25e3f7 : je 0x7f612b25e460 0x7f612b25e3f9 : mov (%r12),%rax 0x7f612b25e3fd : mov (%rax),%rax 0x7f612b25e400 : mov 0x0(%rbp),%rdi 0x7f612b25e404 : cmp %rax,(%rdi) 0x7f612b25e407 : jne 0x7f612b25e44a 0x7f612b25e409 : mov %rbx,%rsi 0x7f612b25e40c : callq 0x7f612b24d818 0x7f612b25e411 : mov %r12,%rsi