=> 0x7f8dc76dd07f:	mov    0x8(%r15),%edx
   0x7f8dc76dd083:	mov    0x18(%r13),%r8d
   0x7f8dc76dd087:	cmovne %eax,%ebp
   0x7f8dc76dd08a:	shr    $0x9,%r12d
   0x7f8dc76dd08e:	shr    $0x8,%ebx
   0x7f8dc76dd091:	and    $0x1,%r12d
   0x7f8dc76dd095:	and    $0x1,%ebx
   0x7f8dc76dd098:	imul   %ebp,%r12d
   0x7f8dc76dd09c:	imul   %ebp,%ebx
   0x7f8dc76dd09f:	cmp    %edx,%r8d
   0x7f8dc76dd0a2:	ja     0x7f8dc76dd1a0
   0x7f8dc76dd0a8:	mov    0x14008(%rsi),%eax
   0x7f8dc76dd0ae:	cmp    $0x400,%eax
   0x7f8dc76dd0b3:	mov    %eax,0x8(%rsp)
   0x7f8dc76dd0b7:	je     0x7f8dc76dd2d9
   0x7f8dc76dd0bd:	mov    0x10(%r15),%rax