// File: marxn[P]pupp/3rdparty/gmp/mpn/invertappr.c
// Function: _gmpn_ni_invertappr
mp_limb_t
mpn_ni_invertappr (mp_ptr ip, mp_srcptr dp, mp_size_t n, mp_ptr scratch)
{
  mp_limb_t cy;
  mp_size_t rn, mn;
  mp_size_t sizes[NPOWS], *sizp;
  mp_ptr tp;
  TMP_DECL;
#define xp scratch

  ASSERT (n > 4);
  ASSERT (dp[n-1] & GMP_NUMB_HIGHBIT);
  ASSERT (! MPN_OVERLAP_P (ip, n, dp, n));
  ASSERT (! MPN_OVERLAP_P (ip, n, scratch, mpn_invertappr_itch(n)));
  ASSERT (! MPN_OVERLAP_P (dp, n, scratch, mpn_invertappr_itch(n)));

  /* Compute the computation precisions from highest to lowest, leaving the
     base case size in 'rn'.  */
  sizp = sizes;
  rn = n;
  do {
    *sizp = rn;
    rn = (rn >> 1) + 1;
    ++sizp;
  } while (ABOVE_THRESHOLD (rn, INV_NEWTON_THRESHOLD));

  /* We search the inverse of 0.{dp,n}, we compute it as 1.{ip,n} */
  dp += n;
  ip += n;

  /* Compute a base value of rn limbs. */
  mpn_bc_invertappr (ip - rn, dp - rn, rn, scratch);

  TMP_MARK;

  if (ABOVE_THRESHOLD (n, INV_MULMOD_BNM1_THRESHOLD))
    {
      mn = mpn_mulmod_bnm1_next_size (n + 1);
      tp = TMP_ALLOC_LIMBS (mpn_mulmod_bnm1_itch (mn, n, (n >> 1) + 1));
    }
  /* Use Newton's iterations to get the desired precision.*/

  while (1) {
    n = *--sizp;
    /*
      v    n  v
      +----+--+
      ^ rn ^
    */

    /* Compute i_jd . */
    if (BELOW_THRESHOLD (n, INV_MULMOD_BNM1_THRESHOLD)
	|| ((mn = mpn_mulmod_bnm1_next_size (n + 1)) > (n + rn))) {
      /* FIXME: We do only need {xp,n+1}*/
      mpn_mul (xp, dp - n, n, ip - rn, rn);
      mpn_add_n (xp + rn, xp + rn, dp - n, n - rn + 1);
      cy = CNST_LIMB(1); /* Remember we truncated, Mod B^(n+1) */
      /* We computed (truncated) {xp,n+1} <- 1.{ip,rn} * 0.{dp,n} */
    } else { /* Use B^mn-1 wraparound */
      mpn_mulmod_bnm1 (xp, mn, dp - n, n, ip - rn, rn, tp);
      /* We computed {xp,mn} <- {ip,rn} * {dp,n} mod (B^mn-1) */
      /* We know that 2*|ip*dp + dp*B^rn - B^{rn+n}| < B^mn-1 */
      /* Add dp*B^rn mod (B^mn-1) */
      ASSERT (n >= mn - rn);
      cy = mpn_add_n (xp + rn, xp + rn, dp - n, mn - rn);
      cy = mpn_add_nc (xp, xp, dp - (n - (mn - rn)), n - (mn - rn), cy);
      /* Subtract B^{rn+n}, maybe only compensate the carry*/
      xp[mn] = CNST_LIMB (1); /* set a limit for DECR_U */
      MPN_DECR_U (xp + rn + n - mn, 2 * mn + 1 - rn - n, CNST_LIMB (1) - cy);
      MPN_DECR_U (xp, mn, CNST_LIMB (1) - xp[mn]); /* if DECR_U eroded xp[mn] */
      cy = CNST_LIMB(0); /* Remember we are working Mod B^mn-1 */
    }

    if (xp[n] < CNST_LIMB (2)) { /* "positive" residue class */
      cy = xp[n]; /* 0 <= cy <= 1 here. */
#if HAVE_NATIVE_mpn_sublsh1_n
      if (cy++) {
	if (mpn_cmp (xp, dp - n, n) > 0) {
	  mp_limb_t chk;
	  chk = mpn_sublsh1_n (xp, xp, dp - n, n);
	  ASSERT (chk == xp[n]);
	  ++ cy;
	} else
	  ASSERT_CARRY (mpn_sub_n (xp, xp, dp - n, n));
      }
#else /* no mpn_sublsh1_n*/
      if (cy++ && !mpn_sub_n (xp, xp, dp - n, n)) {
	ASSERT_CARRY (mpn_sub_n (xp, xp, dp - n, n));
	++cy;
      }
#endif
      /* 1 <= cy <= 3 here. */
#if HAVE_NATIVE_mpn_rsblsh1_n
      if (mpn_cmp (xp, dp - n, n) > 0) {
	ASSERT_NOCARRY (mpn_rsblsh1_n (xp + n, xp, dp - n, n));
	++cy;
      } else
	ASSERT_NOCARRY (mpn_sub_nc (xp + 2 * n - rn, dp - rn, xp + n - rn, rn, mpn_cmp (xp, dp - n, n - rn) > 0));
#else /* no mpn_rsblsh1_n*/
      if (mpn_cmp (xp, dp - n, n) > 0) {
	ASSERT_NOCARRY (mpn_sub_n (xp, xp, dp - n, n));
	++cy;
      }
      ASSERT_NOCARRY (mpn_sub_nc (xp + 2 * n - rn, dp - rn, xp + n - rn, rn, mpn_cmp (xp, dp - n, n - rn) > 0));
#endif
      MPN_DECR_U(ip - rn, rn, cy); /* 1 <= cy <= 4 here. */
    } else { /* "negative" residue class */
      ASSERT (xp[n] >= GMP_NUMB_MAX - CNST_LIMB(1));
      MPN_DECR_U(xp, n + 1, cy);
      if (xp[n] != GMP_NUMB_MAX) {
	MPN_INCR_U(ip - rn, rn, CNST_LIMB (1));
	ASSERT_CARRY (mpn_add_n (xp, xp, dp - n, n));
      }
      mpn_com (xp + 2 * n - rn, xp + n - rn, rn);
    }

    /* Compute x_ju_j. FIXME:We need {xp+rn,rn}, mulhi? */
    mpn_mul_n (xp, xp + 2 * n - rn, ip - rn, rn);
    cy = mpn_add_n (xp + rn, xp + rn, xp + 2 * n - rn, 2 * rn - n);
    cy = mpn_add_nc (ip - n, xp + 3 * rn - n, xp + n + rn, n - rn, cy);
    MPN_INCR_U (ip - rn, rn, cy);
    if (sizp == sizes) { /* Get out of the cycle */
      /* Check for possible carry propagation from below. */
      cy = xp[3 * rn - n - 1] > GMP_NUMB_MAX - CNST_LIMB (7); /* Be conservative. */
      /*    cy = mpn_add_1 (xp + rn, xp + rn, 2*rn - n, 4); */
      break;
    }
    rn = n;
  }
  TMP_FREE;

  return cy;
#undef xp
}

// Assembly:
pushq %rbp
movq %rsp, %rbp
subq $0x200, %rsp            # imm = 0x200
movq %rdi, -0x8(%rbp)
movq %rsi, -0x10(%rbp)
movq %rdx, -0x18(%rbp)
movq %rcx, -0x20(%rbp)
jmp 0x5914d
jmp 0x5914f
jmp 0x59151
jmp 0x59153
jmp 0x59155
jmp 0x59157
jmp 0x59159
jmp 0x5915b
jmp 0x5915d
leaq -0x180(%rbp), %rax
movq %rax, -0x188(%rbp)
movq -0x18(%rbp), %rax
movq %rax, -0x30(%rbp)
movq -0x30(%rbp), %rcx
movq -0x188(%rbp), %rax
movq %rcx, (%rax)
movq -0x30(%rbp), %rax
sarq %rax
addq $0x1, %rax
movq %rax, -0x30(%rbp)
movq -0x188(%rbp), %rax
addq $0x8, %rax
movq %rax, -0x188(%rbp)
cmpq $0xf6, -0x30(%rbp)
jge 0x59173
movq -0x18(%rbp), %rax
shlq $0x3, %rax
addq -0x10(%rbp), %rax
movq %rax, -0x10(%rbp)
movq -0x18(%rbp), %rax
shlq $0x3, %rax
addq -0x8(%rbp), %rax
movq %rax, -0x8(%rbp)
movq -0x8(%rbp), %rdi
xorl %eax, %eax
subq -0x30(%rbp), %rax
shlq $0x3, %rax
addq %rax, %rdi
movq -0x10(%rbp), %rsi
xorl %eax, %eax
subq -0x30(%rbp), %rax
shlq $0x3, %rax
addq %rax, %rsi
movq -0x30(%rbp), %rdx
movq -0x20(%rbp), %rcx
callq 0x59960
movq $0x0, -0x198(%rbp)
movq -0x18(%rbp), %rdi
addq $0x1, %rdi
callq 0x4eb40
movq %rax, -0x38(%rbp)
movq -0x38(%rbp), %rdi
movq -0x18(%rbp), %rsi
movq -0x18(%rbp), %rdx
sarq %rdx
addq $0x1, %rdx
callq 0x59c30
shlq $0x3, %rax
cmpq $0x7f00, %rax           # imm = 0x7F00
setbe %al
andb $0x1, %al
movzbl %al, %eax
cmpl $0x0, %eax
setne %al
andb $0x1, %al
movzbl %al, %eax
cltq
cmpq $0x0, %rax
je 0x59288
movq -0x38(%rbp), %rdi
movq -0x18(%rbp), %rsi
movq %rsi, %rdx
sarq %rdx
incq %rdx
callq 0x59c30
leaq 0xf(,%rax,8), %rcx
andq $-0x10, %rcx
movq %rsp, %rax
subq %rcx, %rax
movq %rax, %rsp
movq %rax, -0x1d8(%rbp)
jmp 0x592ba
movq -0x38(%rbp), %rdi
movq -0x18(%rbp), %rsi
movq -0x18(%rbp), %rdx
sarq %rdx
addq $0x1, %rdx
callq 0x59c30
movq %rax, %rsi
shlq $0x3, %rsi
leaq -0x198(%rbp), %rdi
callq 0x56430
movq %rax, -0x1d8(%rbp)
movq -0x1d8(%rbp), %rax
movq %rax, -0x190(%rbp)
movq -0x188(%rbp), %rax
movq %rax, %rcx
addq $-0x8, %rcx
movq %rcx, -0x188(%rbp)
movq -0x8(%rax), %rax
movq %rax, -0x18(%rbp)
movq -0x18(%rbp), %rdi
addq $0x1, %rdi
callq 0x4eb40
movq %rax, -0x38(%rbp)
movq -0x18(%rbp), %rcx
addq -0x30(%rbp), %rcx
cmpq %rcx, %rax
jle 0x59387
movq -0x20(%rbp), %rdi
movq -0x10(%rbp), %rsi
xorl %eax, %eax
subq -0x18(%rbp), %rax
shlq $0x3, %rax
addq %rax, %rsi
movq -0x18(%rbp), %rdx
movq -0x8(%rbp), %rcx
xorl %eax, %eax
subq -0x30(%rbp), %rax
shlq $0x3, %rax
addq %rax, %rcx
movq -0x30(%rbp), %r8
callq 0x37f00
movq -0x20(%rbp), %rdi
movq -0x30(%rbp), %rax
shlq $0x3, %rax
addq %rax, %rdi
movq -0x20(%rbp), %rsi
movq -0x30(%rbp), %rax
shlq $0x3, %rax
addq %rax, %rsi
movq -0x10(%rbp), %rdx
xorl %eax, %eax
subq -0x18(%rbp), %rax
shlq $0x3, %rax
addq %rax, %rdx
movq -0x18(%rbp), %rcx
subq -0x30(%rbp), %rcx
addq $0x1, %rcx
callq 0x36c80
movq $0x1, -0x28(%rbp)
jmp 0x594eb
movq -0x20(%rbp), %rdi
movq -0x38(%rbp), %rsi
movq -0x10(%rbp), %rdx
xorl %eax, %eax
subq -0x18(%rbp), %rax
shlq $0x3, %rax
addq %rax, %rdx
movq -0x18(%rbp), %rcx
movq -0x8(%rbp), %r8
xorl %eax, %eax
subq -0x30(%rbp), %rax
shlq $0x3, %rax
addq %rax, %r8
movq -0x30(%rbp), %r9
movq -0x190(%rbp), %rax
subq $0x10, %rsp
movq %rax, (%rsp)
callq 0x4e150
addq $0x10, %rsp
jmp 0x593d3
movq -0x20(%rbp), %rdi
movq -0x30(%rbp), %rax
shlq $0x3, %rax
addq %rax, %rdi
movq -0x20(%rbp), %rsi
movq -0x30(%rbp), %rax
shlq $0x3, %rax
addq %rax, %rsi
movq -0x10(%rbp), %rdx
xorl %eax, %eax
subq -0x18(%rbp), %rax
shlq $0x3, %rax
addq %rax, %rdx
movq -0x38(%rbp), %rcx
subq -0x30(%rbp), %rcx
callq 0x36c80
movq %rax, -0x28(%rbp)
movq -0x20(%rbp), %rdi
movq -0x20(%rbp), %rsi
movq -0x10(%rbp), %rdx
movq -0x18(%rbp), %rcx
movq -0x38(%rbp), %rax
subq -0x30(%rbp), %rax
subq %rax, %rcx
xorl %eax, %eax
subq %rcx, %rax
shlq $0x3, %rax
addq %rax, %rdx
movq -0x18(%rbp), %rcx
movq -0x38(%rbp), %rax
subq -0x30(%rbp), %rax
subq %rax, %rcx
movq -0x28(%rbp), %r8
callq 0x36c60
movq %rax, -0x28(%rbp)
movq -0x20(%rbp), %rax
movq -0x38(%rbp), %rcx
movq $0x1, (%rax,%rcx,8)
movq -0x20(%rbp), %rax
movq -0x30(%rbp), %rcx
shlq $0x3, %rcx
addq %rcx, %rax
movq -0x18(%rbp), %rcx
shlq $0x3, %rcx
addq %rcx, %rax
xorl %ecx, %ecx
subq -0x38(%rbp), %rcx
shlq $0x3, %rcx
addq %rcx, %rax
movl $0x1, %ecx
subq -0x28(%rbp), %rcx
subq %rcx, (%rax)
jae 0x594a6
subq $0x1, 0x8(%rax)
leaq 0x8(%rax), %rax
jb 0x5949b
movq %rax, -0x1a0(%rbp)
jmp 0x594af
jmp 0x594b1
jmp 0x594b3
movq -0x20(%rbp), %rax
movq -0x20(%rbp), %rdx
movq -0x38(%rbp), %rsi
movl $0x1, %ecx
subq (%rdx,%rsi,8), %rcx
subq %rcx, (%rax)
jae 0x594d8
subq $0x1, 0x8(%rax)
leaq 0x8(%rax), %rax
jb 0x594cd
movq %rax, -0x1a8(%rbp)
jmp 0x594e1
jmp 0x594e3
movq $0x0, -0x28(%rbp)
movq -0x20(%rbp), %rax
movq -0x18(%rbp), %rcx
cmpq $0x2, (%rax,%rcx,8)
jae 0x596fc
movq -0x20(%rbp), %rax
movq -0x18(%rbp), %rcx
movq (%rax,%rcx,8), %rax
movq %rax, -0x28(%rbp)
movq -0x28(%rbp), %rax
movq %rax, %rcx
addq $0x1, %rcx
movq %rcx, -0x28(%rbp)
cmpq $0x0, %rax
je 0x595a7
movq -0x20(%rbp), %rdi
movq -0x10(%rbp), %rsi
xorl %eax, %eax
subq -0x18(%rbp), %rax
shlq $0x3, %rax
addq %rax, %rsi
movq -0x18(%rbp), %rdx
callq 0x3b060
cmpl $0x0, %eax
jle 0x59583
movq -0x20(%rbp), %rdi
movq -0x20(%rbp), %rsi
movq -0x10(%rbp), %rdx
xorl %eax, %eax
subq -0x18(%rbp), %rax
shlq $0x3, %rax
addq %rax, %rdx
movq -0x18(%rbp), %rcx
callq 0x556c0
movq %rax, -0x1b0(%rbp)
jmp 0x59575
movq -0x28(%rbp), %rax
addq $0x1, %rax
movq %rax, -0x28(%rbp)
jmp 0x595a5
movq -0x20(%rbp), %rdi
movq -0x20(%rbp), %rsi
movq -0x10(%rbp), %rdx
xorl %eax, %eax
subq -0x18(%rbp), %rax
shlq $0x3, %rax
addq %rax, %rdx
movq -0x18(%rbp), %rcx
callq 0x36fe0
jmp 0x595a7
movq -0x20(%rbp), %rdi
movq -0x10(%rbp), %rsi
xorl %eax, %eax
subq -0x18(%rbp), %rax
shlq $0x3, %rax
addq %rax, %rsi
movq -0x18(%rbp), %rdx
callq 0x3b060
cmpl $0x0, %eax
jle 0x59608
movq -0x20(%rbp), %rdi
movq -0x18(%rbp), %rax
shlq $0x3, %rax
addq %rax, %rdi
movq -0x20(%rbp), %rsi
movq -0x10(%rbp), %rdx
xorl %eax, %eax
subq -0x18(%rbp), %rax
shlq $0x3, %rax
addq %rax, %rdx
movq -0x18(%rbp), %rcx
callq 0x557e0
movq -0x28(%rbp), %rax
addq $0x1, %rax
movq %rax, -0x28(%rbp)
jmp 0x596c5
movq -0x20(%rbp), %rax
movq -0x18(%rbp), %rcx
shlq %rcx
shlq $0x3, %rcx
addq %rcx, %rax
xorl %ecx, %ecx
subq -0x30(%rbp), %rcx
shlq $0x3, %rcx
addq %rcx, %rax
movq %rax, -0x1f8(%rbp)
movq -0x10(%rbp), %rax
xorl %ecx, %ecx
subq -0x30(%rbp), %rcx
shlq $0x3, %rcx
addq %rcx, %rax
movq %rax, -0x1f0(%rbp)
movq -0x20(%rbp), %rax
movq -0x18(%rbp), %rcx
shlq $0x3, %rcx
addq %rcx, %rax
xorl %ecx, %ecx
subq -0x30(%rbp), %rcx
shlq $0x3, %rcx
addq %rcx, %rax
movq %rax, -0x1e8(%rbp)
movq -0x30(%rbp), %rax
movq %rax, -0x1e0(%rbp)
movq -0x20(%rbp), %rdi
movq -0x10(%rbp), %rsi
xorl %eax, %eax
subq -0x18(%rbp), %rax
shlq $0x3, %rax
addq %rax, %rsi
movq -0x18(%rbp), %rdx
subq -0x30(%rbp), %rdx
callq 0x3b060
movq -0x1f8(%rbp), %rdi
movq -0x1f0(%rbp), %rsi
movq -0x1e8(%rbp), %rdx
movq -0x1e0(%rbp), %rcx
cmpl $0x0, %eax
setg %al
andb $0x1, %al
movzbl %al, %eax
movslq %eax, %r8
callq 0x36fc0
jmp 0x596c7
movq -0x8(%rbp), %rax
xorl %ecx, %ecx
subq -0x30(%rbp), %rcx
shlq $0x3, %rcx
addq %rcx, %rax
movq -0x28(%rbp), %rcx
subq %rcx, (%rax)
jae 0x596ec
subq $0x1, 0x8(%rax)
leaq 0x8(%rax), %rax
jb 0x596e1
movq %rax, -0x1b8(%rbp)
jmp 0x596f5
jmp 0x596f7
jmp 0x597be
jmp 0x596fe
jmp 0x59700
jmp 0x59702
movq -0x20(%rbp), %rax
movq -0x28(%rbp), %rcx
subq %rcx, (%rax)
jae 0x5971a
subq $0x1, 0x8(%rax)
leaq 0x8(%rax), %rax
jb 0x5970f
movq %rax, -0x1c0(%rbp)
jmp 0x59723
jmp 0x59725
movq -0x20(%rbp), %rax
movq -0x18(%rbp), %rcx
cmpq $-0x1, (%rax,%rcx,8)
je 0x5977a
jmp 0x59736
movq -0x8(%rbp), %rax
xorl %ecx, %ecx
subq -0x30(%rbp), %rcx
shlq $0x3, %rcx
addq %rcx, %rax
addq $0x1, (%rax)
leaq 0x8(%rax), %rax
jb 0x59747
movq %rax, -0x1c8(%rbp)
movq -0x20(%rbp), %rdi
movq -0x20(%rbp), %rsi
movq -0x10(%rbp), %rdx
xorl %eax, %eax
subq -0x18(%rbp), %rax
shlq $0x3, %rax
addq %rax, %rdx
movq -0x18(%rbp), %rcx
callq 0x36c80
movq -0x20(%rbp), %rdi
movq -0x18(%rbp), %rax
shlq %rax
shlq $0x3, %rax
addq %rax, %rdi
xorl %eax, %eax
subq -0x30(%rbp), %rax
shlq $0x3, %rax
addq %rax, %rdi
movq -0x20(%rbp), %rsi
movq -0x18(%rbp), %rax
shlq $0x3, %rax
addq %rax, %rsi
xorl %eax, %eax
subq -0x30(%rbp), %rax
shlq $0x3, %rax
addq %rax, %rsi
movq -0x30(%rbp), %rdx
callq 0x37180
movq -0x20(%rbp), %rdi
movq -0x20(%rbp), %rsi
movq -0x18(%rbp), %rax
shlq %rax
shlq $0x3, %rax
addq %rax, %rsi
xorl %eax, %eax
subq -0x30(%rbp), %rax
shlq $0x3, %rax
addq %rax, %rsi
movq -0x8(%rbp), %rdx
xorl %eax, %eax
subq -0x30(%rbp), %rax
shlq $0x3, %rax
addq %rax, %rdx
movq -0x30(%rbp), %rcx
callq 0x39000
movq -0x20(%rbp), %rdi
movq -0x30(%rbp), %rax
shlq $0x3, %rax
addq %rax, %rdi
movq -0x20(%rbp), %rsi
movq -0x30(%rbp), %rax
shlq $0x3, %rax
addq %rax, %rsi
movq -0x20(%rbp), %rdx
movq -0x18(%rbp), %rax
shlq %rax
shlq $0x3, %rax
addq %rax, %rdx
xorl %eax, %eax
subq -0x30(%rbp), %rax
shlq $0x3, %rax
addq %rax, %rdx
movq -0x30(%rbp), %rcx
shlq %rcx
subq -0x18(%rbp), %rcx
callq 0x36c80
movq %rax, -0x28(%rbp)
movq -0x8(%rbp), %rdi
xorl %eax, %eax
subq -0x18(%rbp), %rax
shlq $0x3, %rax
addq %rax, %rdi
movq -0x20(%rbp), %rsi
imulq $0x3, -0x30(%rbp), %rax
shlq $0x3, %rax
addq %rax, %rsi
xorl %eax, %eax
subq -0x18(%rbp), %rax
shlq $0x3, %rax
addq %rax, %rsi
movq -0x20(%rbp), %rdx
movq -0x18(%rbp), %rax
shlq $0x3, %rax
addq %rax, %rdx
movq -0x30(%rbp), %rax
shlq $0x3, %rax
addq %rax, %rdx
movq -0x18(%rbp), %rcx
subq -0x30(%rbp), %rcx
movq -0x28(%rbp), %r8
callq 0x36c60
movq %rax, -0x28(%rbp)
movq -0x8(%rbp), %rax
xorl %ecx, %ecx
subq -0x30(%rbp), %rcx
shlq $0x3, %rcx
addq %rcx, %rax
movq -0x28(%rbp), %rcx
addq %rcx, (%rax)
jae 0x598ce
addq $0x1, 0x8(%rax)
leaq 0x8(%rax), %rax
jb 0x598c3
movq %rax, -0x1d0(%rbp)
jmp 0x598d7
jmp 0x598d9
movq -0x188(%rbp), %rax
leaq -0x180(%rbp), %rcx
cmpq %rcx, %rax
jne 0x59912
movq -0x20(%rbp), %rax
imulq $0x3, -0x30(%rbp), %rcx
subq -0x18(%rbp), %rcx
subq $0x1, %rcx
cmpq $-0x8, (%rax,%rcx,8)
seta %al
andb $0x1, %al
movzbl %al, %eax
cltq
movq %rax, -0x28(%rbp)
jmp 0x5991f
movq -0x18(%rbp), %rax
movq %rax, -0x30(%rbp)
jmp 0x592c8
jmp 0x59921
cmpq $0x0, -0x198(%rbp)
setne %al
andb $0x1, %al
movzbl %al, %eax
cmpl $0x0, %eax
setne %al
andb $0x1, %al
movzbl %al, %eax
cltq
cmpq $0x0, %rax
je 0x59950
movq -0x198(%rbp), %rdi
callq 0x564a0
jmp 0x59952
movq -0x28(%rbp), %rax
movq %rbp, %rsp
popq %rbp
retq
nopl (%rax,%rax)