
void __gmpz_tdiv_q_2exp(mpz_ptr r,mpz_srcptr u,mp_bitcnt_t cnt)

{
  mp_limb_t *pmVar1;
  int iVar2;
  long new_alloc;
  ulong uVar3;
  
  uVar3 = (ulong)u->_mp_size;
  new_alloc = (((long)uVar3 >> 0x3f ^ uVar3) - ((long)uVar3 >> 0x3f)) - (cnt >> 6);
  if (new_alloc < 1) {
    new_alloc = 0;
  }
  else {
    if (r->_mp_alloc < new_alloc) {
      pmVar1 = (mp_limb_t *)__gmpz_realloc(r,new_alloc);
    }
    else {
      pmVar1 = r->_mp_d;
    }
    if ((cnt & 0x3f) == 0) {
      __gmpn_copyi(pmVar1,u->_mp_d + (cnt >> 6),new_alloc);
    }
    else {
      __gmpn_rshift(pmVar1,u->_mp_d + (cnt >> 6),new_alloc,(uint)cnt & 0x3f);
      new_alloc = new_alloc - (ulong)(pmVar1[new_alloc + -1] == 0);
    }
  }
  iVar2 = (int)new_alloc;
  if ((long)uVar3 < 0) {
    iVar2 = -(int)new_alloc;
  }
  r->_mp_size = iVar2;
  return;
}



void __gmpz_tdiv_q_2exp(int *param_1,long param_2,ulong param_3)

{
  long lVar1;
  long lVar2;
  int iVar3;
  long lVar4;
  ulong uVar5;
  
  uVar5 = (ulong)*(int *)(param_2 + 4);
  lVar4 = (((long)uVar5 >> 0x3f ^ uVar5) - ((long)uVar5 >> 0x3f)) - (param_3 >> 6);
  if (lVar4 < 1) {
    lVar4 = 0;
  }
  else {
    if (*param_1 < lVar4) {
      lVar2 = __gmpz_realloc(param_1,lVar4);
    }
    else {
      lVar2 = *(long *)(param_1 + 2);
    }
    lVar1 = *(long *)(param_2 + 8) + (param_3 >> 6) * 8;
    if ((param_3 & 0x3f) == 0) {
      __gmpn_copyi(lVar2,lVar1,lVar4);
    }
    else {
      __gmpn_rshift(lVar2,lVar1,lVar4,(uint)param_3 & 0x3f);
      lVar4 = lVar4 - (ulong)(*(long *)(lVar2 + -8 + lVar4 * 8) == 0);
    }
  }
  iVar3 = (int)lVar4;
  if ((long)uVar5 < 0) {
    iVar3 = -(int)lVar4;
  }
  param_1[1] = iVar3;
  return;
}


PUSH R15
PUSH R14
PUSH R13
MOV R13,RDX
PUSH R12
SHR R13,0x6
MOV R12,RDI
PUSH RBP
PUSH RBX
SUB RSP,0x18
MOVSXD RBP,dword ptr [RSI + 0x4]
MOV RAX,RBP
SAR RAX,0x3f
MOV RBX,RAX
XOR RBX,RBP
SUB RBX,RAX
SUB RBX,R13
TEST RBX,RBX
JLE 0x001256b0
MOVSXD RAX,dword ptr [RDI]
MOV R14,RSI
CMP RAX,RBX
JL 0x001256b8
MOV R15,qword ptr [RDI + 0x8]
MOV RAX,qword ptr [R14 + 0x8]
LEA RSI,[RAX + R13*0x8]
AND EDX,0x3f
JNZ 0x00125690
MOV RDX,RBX
MOV RDI,R15
CALL 0x0010bb80
MOV EAX,EBX
NEG EAX
TEST RBP,RBP
CMOVS EBX,EAX
MOV dword ptr [R12 + 0x4],EBX
ADD RSP,0x18
POP RBX
POP RBP
POP R12
POP R13
POP R14
POP R15
RET
MOV ECX,EDX
MOV RDI,R15
MOV RDX,RBX
CALL 0x0010b340
XOR EAX,EAX
CMP qword ptr [R15 + RBX*0x8 + -0x8],0x0
SETZ AL
SUB RBX,RAX
JMP 0x0012566b
XOR EBX,EBX
JMP 0x0012566b
MOV RSI,RBX
MOV qword ptr [RSP + 0x8],RDX
CALL 0x0010b1e0
MOV RDX,qword ptr [RSP + 0x8]
MOV R15,RAX
JMP 0x00125653
(translation_unit "void __gmpz_tdiv_q_2exp(int *param_1,long param_2,ulong param_3)\n\n{\n  long lVar1;\n  long lVar2;\n  int iVar3;\n  long lVar4;\n  ulong uVar5;\n  \n  uVar5 = (ulong)*(int *)(param_2 + 4);\n  lVar4 = (((long)uVar5 >> 0x3f ^ uVar5) - ((long)uVar5 >> 0x3f)) - (param_3 >> 6);\n  if (lVar4 < 1) {\n    lVar4 = 0;\n  }\n  else {\n    if (*param_1 < lVar4) {\n      lVar2 = __gmpz_realloc(param_1,lVar4);\n    }\n    else {\n      lVar2 = *(long *)(param_1 + 2);\n    }\n    lVar1 = *(long *)(param_2 + 8) + (param_3 >> 6) * 8;\n    if ((param_3 & 0x3f) == 0) {\n      __gmpn_copyi(lVar2,lVar1,lVar4);\n    }\n    else {\n      __gmpn_rshift(lVar2,lVar1,lVar4,(uint)param_3 & 0x3f);\n      lVar4 = lVar4 - (ulong)(*(long *)(lVar2 + -8 + lVar4 * 8) == 0);\n    }\n  }\n  iVar3 = (int)lVar4;\n  if ((long)uVar5 < 0) {\n    iVar3 = -(int)lVar4;\n  }\n  param_1[1] = iVar3;\n  return;\n}\n\n" (function_definition "void __gmpz_tdiv_q_2exp(int *param_1,long param_2,ulong param_3)\n\n{\n  long lVar1;\n  long lVar2;\n  int iVar3;\n  long lVar4;\n  ulong uVar5;\n  \n  uVar5 = (ulong)*(int *)(param_2 + 4);\n  lVar4 = (((long)uVar5 >> 0x3f ^ uVar5) - ((long)uVar5 >> 0x3f)) - (param_3 >> 6);\n  if (lVar4 < 1) {\n    lVar4 = 0;\n  }\n  else {\n    if (*param_1 < lVar4) {\n      lVar2 = __gmpz_realloc(param_1,lVar4);\n    }\n    else {\n      lVar2 = *(long *)(param_1 + 2);\n    }\n    lVar1 = *(long *)(param_2 + 8) + (param_3 >> 6) * 8;\n    if ((param_3 & 0x3f) == 0) {\n      __gmpn_copyi(lVar2,lVar1,lVar4);\n    }\n    else {\n      __gmpn_rshift(lVar2,lVar1,lVar4,(uint)param_3 & 0x3f);\n      lVar4 = lVar4 - (ulong)(*(long *)(lVar2 + -8 + lVar4 * 8) == 0);\n    }\n  }\n  iVar3 = (int)lVar4;\n  if ((long)uVar5 < 0) {\n    iVar3 = -(int)lVar4;\n  }\n  param_1[1] = iVar3;\n  return;\n}" primitive_type (function_declarator "__gmpz_tdiv_q_2exp(int *param_1,long param_2,ulong param_3)" identifier (parameter_list "(int *param_1,long param_2,ulong param_3)" ( (parameter_declaration "int *param_1" primitive_type (pointer_declarator "*param_1" * identifier)) , (parameter_declaration "long param_2" (sized_type_specifier "long" long) identifier) , (parameter_declaration "ulong param_3" type_identifier identifier) ))) (compound_statement "{\n  long lVar1;\n  long lVar2;\n  int iVar3;\n  long lVar4;\n  ulong uVar5;\n  \n  uVar5 = (ulong)*(int *)(param_2 + 4);\n  lVar4 = (((long)uVar5 >> 0x3f ^ uVar5) - ((long)uVar5 >> 0x3f)) - (param_3 >> 6);\n  if (lVar4 < 1) {\n    lVar4 = 0;\n  }\n  else {\n    if (*param_1 < lVar4) {\n      lVar2 = __gmpz_realloc(param_1,lVar4);\n    }\n    else {\n      lVar2 = *(long *)(param_1 + 2);\n    }\n    lVar1 = *(long *)(param_2 + 8) + (param_3 >> 6) * 8;\n    if ((param_3 & 0x3f) == 0) {\n      __gmpn_copyi(lVar2,lVar1,lVar4);\n    }\n    else {\n      __gmpn_rshift(lVar2,lVar1,lVar4,(uint)param_3 & 0x3f);\n      lVar4 = lVar4 - (ulong)(*(long *)(lVar2 + -8 + lVar4 * 8) == 0);\n    }\n  }\n  iVar3 = (int)lVar4;\n  if ((long)uVar5 < 0) {\n    iVar3 = -(int)lVar4;\n  }\n  param_1[1] = iVar3;\n  return;\n}" { (declaration "long lVar1;" (sized_type_specifier "long" long) identifier ;) (declaration "long lVar2;" (sized_type_specifier "long" long) identifier ;) (declaration "int iVar3;" primitive_type identifier ;) (declaration "long lVar4;" (sized_type_specifier "long" long) identifier ;) (declaration "ulong uVar5;" type_identifier identifier ;) (expression_statement "uVar5 = (ulong)*(int *)(param_2 + 4);" (assignment_expression "uVar5 = (ulong)*(int *)(param_2 + 4)" identifier = (binary_expression "(ulong)*(int *)(param_2 + 4)" (parenthesized_expression "(ulong)" ( identifier )) * (cast_expression "(int *)(param_2 + 4)" ( (type_descriptor "int *" primitive_type (abstract_pointer_declarator "*" *)) ) (parenthesized_expression "(param_2 + 4)" ( (binary_expression "param_2 + 4" identifier + number_literal) ))))) ;) (expression_statement "lVar4 = (((long)uVar5 >> 0x3f ^ uVar5) - ((long)uVar5 >> 0x3f)) - (param_3 >> 6);" (assignment_expression "lVar4 = (((long)uVar5 >> 0x3f ^ uVar5) - ((long)uVar5 >> 0x3f)) - (param_3 >> 6)" identifier = (binary_expression "(((long)uVar5 >> 0x3f ^ uVar5) - ((long)uVar5 >> 0x3f)) - (param_3 >> 6)" (parenthesized_expression "(((long)uVar5 >> 0x3f ^ uVar5) - ((long)uVar5 >> 0x3f))" ( (binary_expression "((long)uVar5 >> 0x3f ^ uVar5) - ((long)uVar5 >> 0x3f)" (parenthesized_expression "((long)uVar5 >> 0x3f ^ uVar5)" ( (binary_expression "(long)uVar5 >> 0x3f ^ uVar5" (binary_expression "(long)uVar5 >> 0x3f" (cast_expression "(long)uVar5" ( (type_descriptor "long" (sized_type_specifier "long" long)) ) identifier) >> number_literal) ^ identifier) )) - (parenthesized_expression "((long)uVar5 >> 0x3f)" ( (binary_expression "(long)uVar5 >> 0x3f" (cast_expression "(long)uVar5" ( (type_descriptor "long" (sized_type_specifier "long" long)) ) identifier) >> number_literal) ))) )) - (parenthesized_expression "(param_3 >> 6)" ( (binary_expression "param_3 >> 6" identifier >> number_literal) )))) ;) (if_statement "if (lVar4 < 1) {\n    lVar4 = 0;\n  }\n  else {\n    if (*param_1 < lVar4) {\n      lVar2 = __gmpz_realloc(param_1,lVar4);\n    }\n    else {\n      lVar2 = *(long *)(param_1 + 2);\n    }\n    lVar1 = *(long *)(param_2 + 8) + (param_3 >> 6) * 8;\n    if ((param_3 & 0x3f) == 0) {\n      __gmpn_copyi(lVar2,lVar1,lVar4);\n    }\n    else {\n      __gmpn_rshift(lVar2,lVar1,lVar4,(uint)param_3 & 0x3f);\n      lVar4 = lVar4 - (ulong)(*(long *)(lVar2 + -8 + lVar4 * 8) == 0);\n    }\n  }" if (parenthesized_expression "(lVar4 < 1)" ( (binary_expression "lVar4 < 1" identifier < number_literal) )) (compound_statement "{\n    lVar4 = 0;\n  }" { (expression_statement "lVar4 = 0;" (assignment_expression "lVar4 = 0" identifier = number_literal) ;) }) (else_clause "else {\n    if (*param_1 < lVar4) {\n      lVar2 = __gmpz_realloc(param_1,lVar4);\n    }\n    else {\n      lVar2 = *(long *)(param_1 + 2);\n    }\n    lVar1 = *(long *)(param_2 + 8) + (param_3 >> 6) * 8;\n    if ((param_3 & 0x3f) == 0) {\n      __gmpn_copyi(lVar2,lVar1,lVar4);\n    }\n    else {\n      __gmpn_rshift(lVar2,lVar1,lVar4,(uint)param_3 & 0x3f);\n      lVar4 = lVar4 - (ulong)(*(long *)(lVar2 + -8 + lVar4 * 8) == 0);\n    }\n  }" else (compound_statement "{\n    if (*param_1 < lVar4) {\n      lVar2 = __gmpz_realloc(param_1,lVar4);\n    }\n    else {\n      lVar2 = *(long *)(param_1 + 2);\n    }\n    lVar1 = *(long *)(param_2 + 8) + (param_3 >> 6) * 8;\n    if ((param_3 & 0x3f) == 0) {\n      __gmpn_copyi(lVar2,lVar1,lVar4);\n    }\n    else {\n      __gmpn_rshift(lVar2,lVar1,lVar4,(uint)param_3 & 0x3f);\n      lVar4 = lVar4 - (ulong)(*(long *)(lVar2 + -8 + lVar4 * 8) == 0);\n    }\n  }" { (if_statement "if (*param_1 < lVar4) {\n      lVar2 = __gmpz_realloc(param_1,lVar4);\n    }\n    else {\n      lVar2 = *(long *)(param_1 + 2);\n    }" if (parenthesized_expression "(*param_1 < lVar4)" ( (binary_expression "*param_1 < lVar4" (pointer_expression "*param_1" * identifier) < identifier) )) (compound_statement "{\n      lVar2 = __gmpz_realloc(param_1,lVar4);\n    }" { (expression_statement "lVar2 = __gmpz_realloc(param_1,lVar4);" (assignment_expression "lVar2 = __gmpz_realloc(param_1,lVar4)" identifier = (call_expression "__gmpz_realloc(param_1,lVar4)" identifier (argument_list "(param_1,lVar4)" ( identifier , identifier )))) ;) }) (else_clause "else {\n      lVar2 = *(long *)(param_1 + 2);\n    }" else (compound_statement "{\n      lVar2 = *(long *)(param_1 + 2);\n    }" { (expression_statement "lVar2 = *(long *)(param_1 + 2);" (assignment_expression "lVar2 = *(long *)(param_1 + 2)" identifier = (pointer_expression "*(long *)(param_1 + 2)" * (cast_expression "(long *)(param_1 + 2)" ( (type_descriptor "long *" (sized_type_specifier "long" long) (abstract_pointer_declarator "*" *)) ) (parenthesized_expression "(param_1 + 2)" ( (binary_expression "param_1 + 2" identifier + number_literal) ))))) ;) }))) (expression_statement "lVar1 = *(long *)(param_2 + 8) + (param_3 >> 6) * 8;" (assignment_expression "lVar1 = *(long *)(param_2 + 8) + (param_3 >> 6) * 8" identifier = (binary_expression "*(long *)(param_2 + 8) + (param_3 >> 6) * 8" (pointer_expression "*(long *)(param_2 + 8)" * (cast_expression "(long *)(param_2 + 8)" ( (type_descriptor "long *" (sized_type_specifier "long" long) (abstract_pointer_declarator "*" *)) ) (parenthesized_expression "(param_2 + 8)" ( (binary_expression "param_2 + 8" identifier + number_literal) )))) + (binary_expression "(param_3 >> 6) * 8" (parenthesized_expression "(param_3 >> 6)" ( (binary_expression "param_3 >> 6" identifier >> number_literal) )) * number_literal))) ;) (if_statement "if ((param_3 & 0x3f) == 0) {\n      __gmpn_copyi(lVar2,lVar1,lVar4);\n    }\n    else {\n      __gmpn_rshift(lVar2,lVar1,lVar4,(uint)param_3 & 0x3f);\n      lVar4 = lVar4 - (ulong)(*(long *)(lVar2 + -8 + lVar4 * 8) == 0);\n    }" if (parenthesized_expression "((param_3 & 0x3f) == 0)" ( (binary_expression "(param_3 & 0x3f) == 0" (parenthesized_expression "(param_3 & 0x3f)" ( (binary_expression "param_3 & 0x3f" identifier & number_literal) )) == number_literal) )) (compound_statement "{\n      __gmpn_copyi(lVar2,lVar1,lVar4);\n    }" { (expression_statement "__gmpn_copyi(lVar2,lVar1,lVar4);" (call_expression "__gmpn_copyi(lVar2,lVar1,lVar4)" identifier (argument_list "(lVar2,lVar1,lVar4)" ( identifier , identifier , identifier ))) ;) }) (else_clause "else {\n      __gmpn_rshift(lVar2,lVar1,lVar4,(uint)param_3 & 0x3f);\n      lVar4 = lVar4 - (ulong)(*(long *)(lVar2 + -8 + lVar4 * 8) == 0);\n    }" else (compound_statement "{\n      __gmpn_rshift(lVar2,lVar1,lVar4,(uint)param_3 & 0x3f);\n      lVar4 = lVar4 - (ulong)(*(long *)(lVar2 + -8 + lVar4 * 8) == 0);\n    }" { (expression_statement "__gmpn_rshift(lVar2,lVar1,lVar4,(uint)param_3 & 0x3f);" (call_expression "__gmpn_rshift(lVar2,lVar1,lVar4,(uint)param_3 & 0x3f)" identifier (argument_list "(lVar2,lVar1,lVar4,(uint)param_3 & 0x3f)" ( identifier , identifier , identifier , (binary_expression "(uint)param_3 & 0x3f" (cast_expression "(uint)param_3" ( (type_descriptor "uint" type_identifier) ) identifier) & number_literal) ))) ;) (expression_statement "lVar4 = lVar4 - (ulong)(*(long *)(lVar2 + -8 + lVar4 * 8) == 0);" (assignment_expression "lVar4 = lVar4 - (ulong)(*(long *)(lVar2 + -8 + lVar4 * 8) == 0)" identifier = (binary_expression "lVar4 - (ulong)(*(long *)(lVar2 + -8 + lVar4 * 8) == 0)" identifier - (call_expression "(ulong)(*(long *)(lVar2 + -8 + lVar4 * 8) == 0)" (parenthesized_expression "(ulong)" ( identifier )) (argument_list "(*(long *)(lVar2 + -8 + lVar4 * 8) == 0)" ( (binary_expression "*(long *)(lVar2 + -8 + lVar4 * 8) == 0" (pointer_expression "*(long *)(lVar2 + -8 + lVar4 * 8)" * (cast_expression "(long *)(lVar2 + -8 + lVar4 * 8)" ( (type_descriptor "long *" (sized_type_specifier "long" long) (abstract_pointer_declarator "*" *)) ) (parenthesized_expression "(lVar2 + -8 + lVar4 * 8)" ( (binary_expression "lVar2 + -8 + lVar4 * 8" (binary_expression "lVar2 + -8" identifier + number_literal) + (binary_expression "lVar4 * 8" identifier * number_literal)) )))) == number_literal) ))))) ;) }))) }))) (expression_statement "iVar3 = (int)lVar4;" (assignment_expression "iVar3 = (int)lVar4" identifier = (cast_expression "(int)lVar4" ( (type_descriptor "int" primitive_type) ) identifier)) ;) (if_statement "if ((long)uVar5 < 0) {\n    iVar3 = -(int)lVar4;\n  }" if (parenthesized_expression "((long)uVar5 < 0)" ( (binary_expression "(long)uVar5 < 0" (cast_expression "(long)uVar5" ( (type_descriptor "long" (sized_type_specifier "long" long)) ) identifier) < number_literal) )) (compound_statement "{\n    iVar3 = -(int)lVar4;\n  }" { (expression_statement "iVar3 = -(int)lVar4;" (assignment_expression "iVar3 = -(int)lVar4" identifier = (unary_expression "-(int)lVar4" - (cast_expression "(int)lVar4" ( (type_descriptor "int" primitive_type) ) identifier))) ;) })) (expression_statement "param_1[1] = iVar3;" (assignment_expression "param_1[1] = iVar3" (subscript_expression "param_1[1]" identifier [ number_literal ]) = identifier) ;) (return_statement "return;" return ;) })))
(translation_unit "void __gmpz_tdiv_q_2exp(mpz_ptr r,mpz_srcptr u,mp_bitcnt_t cnt)\n\n{\n  mp_limb_t *pmVar1;\n  int iVar2;\n  long new_alloc;\n  ulong uVar3;\n  \n  uVar3 = (ulong)u->_mp_size;\n  new_alloc = (((long)uVar3 >> 0x3f ^ uVar3) - ((long)uVar3 >> 0x3f)) - (cnt >> 6);\n  if (new_alloc < 1) {\n    new_alloc = 0;\n  }\n  else {\n    if (r->_mp_alloc < new_alloc) {\n      pmVar1 = (mp_limb_t *)__gmpz_realloc(r,new_alloc);\n    }\n    else {\n      pmVar1 = r->_mp_d;\n    }\n    if ((cnt & 0x3f) == 0) {\n      __gmpn_copyi(pmVar1,u->_mp_d + (cnt >> 6),new_alloc);\n    }\n    else {\n      __gmpn_rshift(pmVar1,u->_mp_d + (cnt >> 6),new_alloc,(uint)cnt & 0x3f);\n      new_alloc = new_alloc - (ulong)(pmVar1[new_alloc + -1] == 0);\n    }\n  }\n  iVar2 = (int)new_alloc;\n  if ((long)uVar3 < 0) {\n    iVar2 = -(int)new_alloc;\n  }\n  r->_mp_size = iVar2;\n  return;\n}\n\n" (function_definition "void __gmpz_tdiv_q_2exp(mpz_ptr r,mpz_srcptr u,mp_bitcnt_t cnt)\n\n{\n  mp_limb_t *pmVar1;\n  int iVar2;\n  long new_alloc;\n  ulong uVar3;\n  \n  uVar3 = (ulong)u->_mp_size;\n  new_alloc = (((long)uVar3 >> 0x3f ^ uVar3) - ((long)uVar3 >> 0x3f)) - (cnt >> 6);\n  if (new_alloc < 1) {\n    new_alloc = 0;\n  }\n  else {\n    if (r->_mp_alloc < new_alloc) {\n      pmVar1 = (mp_limb_t *)__gmpz_realloc(r,new_alloc);\n    }\n    else {\n      pmVar1 = r->_mp_d;\n    }\n    if ((cnt & 0x3f) == 0) {\n      __gmpn_copyi(pmVar1,u->_mp_d + (cnt >> 6),new_alloc);\n    }\n    else {\n      __gmpn_rshift(pmVar1,u->_mp_d + (cnt >> 6),new_alloc,(uint)cnt & 0x3f);\n      new_alloc = new_alloc - (ulong)(pmVar1[new_alloc + -1] == 0);\n    }\n  }\n  iVar2 = (int)new_alloc;\n  if ((long)uVar3 < 0) {\n    iVar2 = -(int)new_alloc;\n  }\n  r->_mp_size = iVar2;\n  return;\n}" primitive_type (function_declarator "__gmpz_tdiv_q_2exp(mpz_ptr r,mpz_srcptr u,mp_bitcnt_t cnt)" identifier (parameter_list "(mpz_ptr r,mpz_srcptr u,mp_bitcnt_t cnt)" ( (parameter_declaration "mpz_ptr r" type_identifier identifier) , (parameter_declaration "mpz_srcptr u" type_identifier identifier) , (parameter_declaration "mp_bitcnt_t cnt" type_identifier identifier) ))) (compound_statement "{\n  mp_limb_t *pmVar1;\n  int iVar2;\n  long new_alloc;\n  ulong uVar3;\n  \n  uVar3 = (ulong)u->_mp_size;\n  new_alloc = (((long)uVar3 >> 0x3f ^ uVar3) - ((long)uVar3 >> 0x3f)) - (cnt >> 6);\n  if (new_alloc < 1) {\n    new_alloc = 0;\n  }\n  else {\n    if (r->_mp_alloc < new_alloc) {\n      pmVar1 = (mp_limb_t *)__gmpz_realloc(r,new_alloc);\n    }\n    else {\n      pmVar1 = r->_mp_d;\n    }\n    if ((cnt & 0x3f) == 0) {\n      __gmpn_copyi(pmVar1,u->_mp_d + (cnt >> 6),new_alloc);\n    }\n    else {\n      __gmpn_rshift(pmVar1,u->_mp_d + (cnt >> 6),new_alloc,(uint)cnt & 0x3f);\n      new_alloc = new_alloc - (ulong)(pmVar1[new_alloc + -1] == 0);\n    }\n  }\n  iVar2 = (int)new_alloc;\n  if ((long)uVar3 < 0) {\n    iVar2 = -(int)new_alloc;\n  }\n  r->_mp_size = iVar2;\n  return;\n}" { (declaration "mp_limb_t *pmVar1;" type_identifier (pointer_declarator "*pmVar1" * identifier) ;) (declaration "int iVar2;" primitive_type identifier ;) (declaration "long new_alloc;" (sized_type_specifier "long" long) identifier ;) (declaration "ulong uVar3;" type_identifier identifier ;) (expression_statement "uVar3 = (ulong)u->_mp_size;" (assignment_expression "uVar3 = (ulong)u->_mp_size" identifier = (cast_expression "(ulong)u->_mp_size" ( (type_descriptor "ulong" type_identifier) ) (field_expression "u->_mp_size" identifier -> field_identifier))) ;) (expression_statement "new_alloc = (((long)uVar3 >> 0x3f ^ uVar3) - ((long)uVar3 >> 0x3f)) - (cnt >> 6);" (assignment_expression "new_alloc = (((long)uVar3 >> 0x3f ^ uVar3) - ((long)uVar3 >> 0x3f)) - (cnt >> 6)" identifier = (binary_expression "(((long)uVar3 >> 0x3f ^ uVar3) - ((long)uVar3 >> 0x3f)) - (cnt >> 6)" (parenthesized_expression "(((long)uVar3 >> 0x3f ^ uVar3) - ((long)uVar3 >> 0x3f))" ( (binary_expression "((long)uVar3 >> 0x3f ^ uVar3) - ((long)uVar3 >> 0x3f)" (parenthesized_expression "((long)uVar3 >> 0x3f ^ uVar3)" ( (binary_expression "(long)uVar3 >> 0x3f ^ uVar3" (binary_expression "(long)uVar3 >> 0x3f" (cast_expression "(long)uVar3" ( (type_descriptor "long" (sized_type_specifier "long" long)) ) identifier) >> number_literal) ^ identifier) )) - (parenthesized_expression "((long)uVar3 >> 0x3f)" ( (binary_expression "(long)uVar3 >> 0x3f" (cast_expression "(long)uVar3" ( (type_descriptor "long" (sized_type_specifier "long" long)) ) identifier) >> number_literal) ))) )) - (parenthesized_expression "(cnt >> 6)" ( (binary_expression "cnt >> 6" identifier >> number_literal) )))) ;) (if_statement "if (new_alloc < 1) {\n    new_alloc = 0;\n  }\n  else {\n    if (r->_mp_alloc < new_alloc) {\n      pmVar1 = (mp_limb_t *)__gmpz_realloc(r,new_alloc);\n    }\n    else {\n      pmVar1 = r->_mp_d;\n    }\n    if ((cnt & 0x3f) == 0) {\n      __gmpn_copyi(pmVar1,u->_mp_d + (cnt >> 6),new_alloc);\n    }\n    else {\n      __gmpn_rshift(pmVar1,u->_mp_d + (cnt >> 6),new_alloc,(uint)cnt & 0x3f);\n      new_alloc = new_alloc - (ulong)(pmVar1[new_alloc + -1] == 0);\n    }\n  }" if (parenthesized_expression "(new_alloc < 1)" ( (binary_expression "new_alloc < 1" identifier < number_literal) )) (compound_statement "{\n    new_alloc = 0;\n  }" { (expression_statement "new_alloc = 0;" (assignment_expression "new_alloc = 0" identifier = number_literal) ;) }) (else_clause "else {\n    if (r->_mp_alloc < new_alloc) {\n      pmVar1 = (mp_limb_t *)__gmpz_realloc(r,new_alloc);\n    }\n    else {\n      pmVar1 = r->_mp_d;\n    }\n    if ((cnt & 0x3f) == 0) {\n      __gmpn_copyi(pmVar1,u->_mp_d + (cnt >> 6),new_alloc);\n    }\n    else {\n      __gmpn_rshift(pmVar1,u->_mp_d + (cnt >> 6),new_alloc,(uint)cnt & 0x3f);\n      new_alloc = new_alloc - (ulong)(pmVar1[new_alloc + -1] == 0);\n    }\n  }" else (compound_statement "{\n    if (r->_mp_alloc < new_alloc) {\n      pmVar1 = (mp_limb_t *)__gmpz_realloc(r,new_alloc);\n    }\n    else {\n      pmVar1 = r->_mp_d;\n    }\n    if ((cnt & 0x3f) == 0) {\n      __gmpn_copyi(pmVar1,u->_mp_d + (cnt >> 6),new_alloc);\n    }\n    else {\n      __gmpn_rshift(pmVar1,u->_mp_d + (cnt >> 6),new_alloc,(uint)cnt & 0x3f);\n      new_alloc = new_alloc - (ulong)(pmVar1[new_alloc + -1] == 0);\n    }\n  }" { (if_statement "if (r->_mp_alloc < new_alloc) {\n      pmVar1 = (mp_limb_t *)__gmpz_realloc(r,new_alloc);\n    }\n    else {\n      pmVar1 = r->_mp_d;\n    }" if (parenthesized_expression "(r->_mp_alloc < new_alloc)" ( (binary_expression "r->_mp_alloc < new_alloc" (field_expression "r->_mp_alloc" identifier -> field_identifier) < identifier) )) (compound_statement "{\n      pmVar1 = (mp_limb_t *)__gmpz_realloc(r,new_alloc);\n    }" { (expression_statement "pmVar1 = (mp_limb_t *)__gmpz_realloc(r,new_alloc);" (assignment_expression "pmVar1 = (mp_limb_t *)__gmpz_realloc(r,new_alloc)" identifier = (cast_expression "(mp_limb_t *)__gmpz_realloc(r,new_alloc)" ( (type_descriptor "mp_limb_t *" type_identifier (abstract_pointer_declarator "*" *)) ) (call_expression "__gmpz_realloc(r,new_alloc)" identifier (argument_list "(r,new_alloc)" ( identifier , identifier ))))) ;) }) (else_clause "else {\n      pmVar1 = r->_mp_d;\n    }" else (compound_statement "{\n      pmVar1 = r->_mp_d;\n    }" { (expression_statement "pmVar1 = r->_mp_d;" (assignment_expression "pmVar1 = r->_mp_d" identifier = (field_expression "r->_mp_d" identifier -> field_identifier)) ;) }))) (if_statement "if ((cnt & 0x3f) == 0) {\n      __gmpn_copyi(pmVar1,u->_mp_d + (cnt >> 6),new_alloc);\n    }\n    else {\n      __gmpn_rshift(pmVar1,u->_mp_d + (cnt >> 6),new_alloc,(uint)cnt & 0x3f);\n      new_alloc = new_alloc - (ulong)(pmVar1[new_alloc + -1] == 0);\n    }" if (parenthesized_expression "((cnt & 0x3f) == 0)" ( (binary_expression "(cnt & 0x3f) == 0" (parenthesized_expression "(cnt & 0x3f)" ( (binary_expression "cnt & 0x3f" identifier & number_literal) )) == number_literal) )) (compound_statement "{\n      __gmpn_copyi(pmVar1,u->_mp_d + (cnt >> 6),new_alloc);\n    }" { (expression_statement "__gmpn_copyi(pmVar1,u->_mp_d + (cnt >> 6),new_alloc);" (call_expression "__gmpn_copyi(pmVar1,u->_mp_d + (cnt >> 6),new_alloc)" identifier (argument_list "(pmVar1,u->_mp_d + (cnt >> 6),new_alloc)" ( identifier , (binary_expression "u->_mp_d + (cnt >> 6)" (field_expression "u->_mp_d" identifier -> field_identifier) + (parenthesized_expression "(cnt >> 6)" ( (binary_expression "cnt >> 6" identifier >> number_literal) ))) , identifier ))) ;) }) (else_clause "else {\n      __gmpn_rshift(pmVar1,u->_mp_d + (cnt >> 6),new_alloc,(uint)cnt & 0x3f);\n      new_alloc = new_alloc - (ulong)(pmVar1[new_alloc + -1] == 0);\n    }" else (compound_statement "{\n      __gmpn_rshift(pmVar1,u->_mp_d + (cnt >> 6),new_alloc,(uint)cnt & 0x3f);\n      new_alloc = new_alloc - (ulong)(pmVar1[new_alloc + -1] == 0);\n    }" { (expression_statement "__gmpn_rshift(pmVar1,u->_mp_d + (cnt >> 6),new_alloc,(uint)cnt & 0x3f);" (call_expression "__gmpn_rshift(pmVar1,u->_mp_d + (cnt >> 6),new_alloc,(uint)cnt & 0x3f)" identifier (argument_list "(pmVar1,u->_mp_d + (cnt >> 6),new_alloc,(uint)cnt & 0x3f)" ( identifier , (binary_expression "u->_mp_d + (cnt >> 6)" (field_expression "u->_mp_d" identifier -> field_identifier) + (parenthesized_expression "(cnt >> 6)" ( (binary_expression "cnt >> 6" identifier >> number_literal) ))) , identifier , (binary_expression "(uint)cnt & 0x3f" (cast_expression "(uint)cnt" ( (type_descriptor "uint" type_identifier) ) identifier) & number_literal) ))) ;) (expression_statement "new_alloc = new_alloc - (ulong)(pmVar1[new_alloc + -1] == 0);" (assignment_expression "new_alloc = new_alloc - (ulong)(pmVar1[new_alloc + -1] == 0)" identifier = (binary_expression "new_alloc - (ulong)(pmVar1[new_alloc + -1] == 0)" identifier - (call_expression "(ulong)(pmVar1[new_alloc + -1] == 0)" (parenthesized_expression "(ulong)" ( identifier )) (argument_list "(pmVar1[new_alloc + -1] == 0)" ( (binary_expression "pmVar1[new_alloc + -1] == 0" (subscript_expression "pmVar1[new_alloc + -1]" identifier [ (binary_expression "new_alloc + -1" identifier + number_literal) ]) == number_literal) ))))) ;) }))) }))) (expression_statement "iVar2 = (int)new_alloc;" (assignment_expression "iVar2 = (int)new_alloc" identifier = (cast_expression "(int)new_alloc" ( (type_descriptor "int" primitive_type) ) identifier)) ;) (if_statement "if ((long)uVar3 < 0) {\n    iVar2 = -(int)new_alloc;\n  }" if (parenthesized_expression "((long)uVar3 < 0)" ( (binary_expression "(long)uVar3 < 0" (cast_expression "(long)uVar3" ( (type_descriptor "long" (sized_type_specifier "long" long)) ) identifier) < number_literal) )) (compound_statement "{\n    iVar2 = -(int)new_alloc;\n  }" { (expression_statement "iVar2 = -(int)new_alloc;" (assignment_expression "iVar2 = -(int)new_alloc" identifier = (unary_expression "-(int)new_alloc" - (cast_expression "(int)new_alloc" ( (type_descriptor "int" primitive_type) ) identifier))) ;) })) (expression_statement "r->_mp_size = iVar2;" (assignment_expression "r->_mp_size = iVar2" (field_expression "r->_mp_size" identifier -> field_identifier) = identifier) ;) (return_statement "return;" return ;) })))
(translation_unit "void __gmpz_tdiv_q_2exp(int *param_1,long param_2,ulong param_3)\n\n{\n  long lVar1;\n  long lVar2;\n  int iVar3;\n  long lVar4;\n  ulong uVar5;\n  \n  uVar5 = (ulong)*(int *)(param_2 + 4);\n  lVar4 = (((long)uVar5 >> 0x3f ^ uVar5) - ((long)uVar5 >> 0x3f)) - (param_3 >> 6);\n  if (lVar4 < 1) {\n    lVar4 = 0;\n  }\n  else {\n    if (*param_1 < lVar4) {\n      lVar2 = __gmpz_realloc(param_1,lVar4);\n    }\n    else {\n      lVar2 = *(long *)(param_1 + 2);\n    }\n    lVar1 = *(long *)(param_2 + 8) + (param_3 >> 6) * 8;\n    if ((param_3 & 0x3f) == 0) {\n      __gmpn_copyi(lVar2,lVar1,lVar4);\n    }\n    else {\n      __gmpn_rshift(lVar2,lVar1,lVar4,(uint)param_3 & 0x3f);\n      lVar4 = lVar4 - (ulong)(*(long *)(lVar2 + -8 + lVar4 * 8) == 0);\n    }\n  }\n  iVar3 = (int)lVar4;\n  if ((long)uVar5 < 0) {\n    iVar3 = -(int)lVar4;\n  }\n  param_1[1] = iVar3;\n  return;\n}\n\n" (function_definition "void __gmpz_tdiv_q_2exp(int *param_1,long param_2,ulong param_3)\n\n{\n  long lVar1;\n  long lVar2;\n  int iVar3;\n  long lVar4;\n  ulong uVar5;\n  \n  uVar5 = (ulong)*(int *)(param_2 + 4);\n  lVar4 = (((long)uVar5 >> 0x3f ^ uVar5) - ((long)uVar5 >> 0x3f)) - (param_3 >> 6);\n  if (lVar4 < 1) {\n    lVar4 = 0;\n  }\n  else {\n    if (*param_1 < lVar4) {\n      lVar2 = __gmpz_realloc(param_1,lVar4);\n    }\n    else {\n      lVar2 = *(long *)(param_1 + 2);\n    }\n    lVar1 = *(long *)(param_2 + 8) + (param_3 >> 6) * 8;\n    if ((param_3 & 0x3f) == 0) {\n      __gmpn_copyi(lVar2,lVar1,lVar4);\n    }\n    else {\n      __gmpn_rshift(lVar2,lVar1,lVar4,(uint)param_3 & 0x3f);\n      lVar4 = lVar4 - (ulong)(*(long *)(lVar2 + -8 + lVar4 * 8) == 0);\n    }\n  }\n  iVar3 = (int)lVar4;\n  if ((long)uVar5 < 0) {\n    iVar3 = -(int)lVar4;\n  }\n  param_1[1] = iVar3;\n  return;\n}" primitive_type (function_declarator "__gmpz_tdiv_q_2exp(int *param_1,long param_2,ulong param_3)" identifier (parameter_list "(int *param_1,long param_2,ulong param_3)" ( (parameter_declaration "int *param_1" primitive_type (pointer_declarator "*param_1" * identifier)) , (parameter_declaration "long param_2" (sized_type_specifier "long" long) identifier) , (parameter_declaration "ulong param_3" type_identifier identifier) ))) (compound_statement "{\n  long lVar1;\n  long lVar2;\n  int iVar3;\n  long lVar4;\n  ulong uVar5;\n  \n  uVar5 = (ulong)*(int *)(param_2 + 4);\n  lVar4 = (((long)uVar5 >> 0x3f ^ uVar5) - ((long)uVar5 >> 0x3f)) - (param_3 >> 6);\n  if (lVar4 < 1) {\n    lVar4 = 0;\n  }\n  else {\n    if (*param_1 < lVar4) {\n      lVar2 = __gmpz_realloc(param_1,lVar4);\n    }\n    else {\n      lVar2 = *(long *)(param_1 + 2);\n    }\n    lVar1 = *(long *)(param_2 + 8) + (param_3 >> 6) * 8;\n    if ((param_3 & 0x3f) == 0) {\n      __gmpn_copyi(lVar2,lVar1,lVar4);\n    }\n    else {\n      __gmpn_rshift(lVar2,lVar1,lVar4,(uint)param_3 & 0x3f);\n      lVar4 = lVar4 - (ulong)(*(long *)(lVar2 + -8 + lVar4 * 8) == 0);\n    }\n  }\n  iVar3 = (int)lVar4;\n  if ((long)uVar5 < 0) {\n    iVar3 = -(int)lVar4;\n  }\n  param_1[1] = iVar3;\n  return;\n}" { (declaration "long lVar1;" (sized_type_specifier "long" long) identifier ;) (declaration "long lVar2;" (sized_type_specifier "long" long) identifier ;) (declaration "int iVar3;" primitive_type identifier ;) (declaration "long lVar4;" (sized_type_specifier "long" long) identifier ;) (declaration "ulong uVar5;" type_identifier identifier ;) (expression_statement "uVar5 = (ulong)*(int *)(param_2 + 4);" (assignment_expression "uVar5 = (ulong)*(int *)(param_2 + 4)" identifier = (binary_expression "(ulong)*(int *)(param_2 + 4)" (parenthesized_expression "(ulong)" ( identifier )) * (cast_expression "(int *)(param_2 + 4)" ( (type_descriptor "int *" primitive_type (abstract_pointer_declarator "*" *)) ) (parenthesized_expression "(param_2 + 4)" ( (binary_expression "param_2 + 4" identifier + number_literal) ))))) ;) (expression_statement "lVar4 = (((long)uVar5 >> 0x3f ^ uVar5) - ((long)uVar5 >> 0x3f)) - (param_3 >> 6);" (assignment_expression "lVar4 = (((long)uVar5 >> 0x3f ^ uVar5) - ((long)uVar5 >> 0x3f)) - (param_3 >> 6)" identifier = (binary_expression "(((long)uVar5 >> 0x3f ^ uVar5) - ((long)uVar5 >> 0x3f)) - (param_3 >> 6)" (parenthesized_expression "(((long)uVar5 >> 0x3f ^ uVar5) - ((long)uVar5 >> 0x3f))" ( (binary_expression "((long)uVar5 >> 0x3f ^ uVar5) - ((long)uVar5 >> 0x3f)" (parenthesized_expression "((long)uVar5 >> 0x3f ^ uVar5)" ( (binary_expression "(long)uVar5 >> 0x3f ^ uVar5" (binary_expression "(long)uVar5 >> 0x3f" (cast_expression "(long)uVar5" ( (type_descriptor "long" (sized_type_specifier "long" long)) ) identifier) >> number_literal) ^ identifier) )) - (parenthesized_expression "((long)uVar5 >> 0x3f)" ( (binary_expression "(long)uVar5 >> 0x3f" (cast_expression "(long)uVar5" ( (type_descriptor "long" (sized_type_specifier "long" long)) ) identifier) >> number_literal) ))) )) - (parenthesized_expression "(param_3 >> 6)" ( (binary_expression "param_3 >> 6" identifier >> number_literal) )))) ;) (if_statement "if (lVar4 < 1) {\n    lVar4 = 0;\n  }\n  else {\n    if (*param_1 < lVar4) {\n      lVar2 = __gmpz_realloc(param_1,lVar4);\n    }\n    else {\n      lVar2 = *(long *)(param_1 + 2);\n    }\n    lVar1 = *(long *)(param_2 + 8) + (param_3 >> 6) * 8;\n    if ((param_3 & 0x3f) == 0) {\n      __gmpn_copyi(lVar2,lVar1,lVar4);\n    }\n    else {\n      __gmpn_rshift(lVar2,lVar1,lVar4,(uint)param_3 & 0x3f);\n      lVar4 = lVar4 - (ulong)(*(long *)(lVar2 + -8 + lVar4 * 8) == 0);\n    }\n  }" if (parenthesized_expression "(lVar4 < 1)" ( (binary_expression "lVar4 < 1" identifier < number_literal) )) (compound_statement "{\n    lVar4 = 0;\n  }" { (expression_statement "lVar4 = 0;" (assignment_expression "lVar4 = 0" identifier = number_literal) ;) }) (else_clause "else {\n    if (*param_1 < lVar4) {\n      lVar2 = __gmpz_realloc(param_1,lVar4);\n    }\n    else {\n      lVar2 = *(long *)(param_1 + 2);\n    }\n    lVar1 = *(long *)(param_2 + 8) + (param_3 >> 6) * 8;\n    if ((param_3 & 0x3f) == 0) {\n      __gmpn_copyi(lVar2,lVar1,lVar4);\n    }\n    else {\n      __gmpn_rshift(lVar2,lVar1,lVar4,(uint)param_3 & 0x3f);\n      lVar4 = lVar4 - (ulong)(*(long *)(lVar2 + -8 + lVar4 * 8) == 0);\n    }\n  }" else (compound_statement "{\n    if (*param_1 < lVar4) {\n      lVar2 = __gmpz_realloc(param_1,lVar4);\n    }\n    else {\n      lVar2 = *(long *)(param_1 + 2);\n    }\n    lVar1 = *(long *)(param_2 + 8) + (param_3 >> 6) * 8;\n    if ((param_3 & 0x3f) == 0) {\n      __gmpn_copyi(lVar2,lVar1,lVar4);\n    }\n    else {\n      __gmpn_rshift(lVar2,lVar1,lVar4,(uint)param_3 & 0x3f);\n      lVar4 = lVar4 - (ulong)(*(long *)(lVar2 + -8 + lVar4 * 8) == 0);\n    }\n  }" { (if_statement "if (*param_1 < lVar4) {\n      lVar2 = __gmpz_realloc(param_1,lVar4);\n    }\n    else {\n      lVar2 = *(long *)(param_1 + 2);\n    }" if (parenthesized_expression "(*param_1 < lVar4)" ( (binary_expression "*param_1 < lVar4" (pointer_expression "*param_1" * identifier) < identifier) )) (compound_statement "{\n      lVar2 = __gmpz_realloc(param_1,lVar4);\n    }" { (expression_statement "lVar2 = __gmpz_realloc(param_1,lVar4);" (assignment_expression "lVar2 = __gmpz_realloc(param_1,lVar4)" identifier = (call_expression "__gmpz_realloc(param_1,lVar4)" identifier (argument_list "(param_1,lVar4)" ( identifier , identifier )))) ;) }) (else_clause "else {\n      lVar2 = *(long *)(param_1 + 2);\n    }" else (compound_statement "{\n      lVar2 = *(long *)(param_1 + 2);\n    }" { (expression_statement "lVar2 = *(long *)(param_1 + 2);" (assignment_expression "lVar2 = *(long *)(param_1 + 2)" identifier = (pointer_expression "*(long *)(param_1 + 2)" * (cast_expression "(long *)(param_1 + 2)" ( (type_descriptor "long *" (sized_type_specifier "long" long) (abstract_pointer_declarator "*" *)) ) (parenthesized_expression "(param_1 + 2)" ( (binary_expression "param_1 + 2" identifier + number_literal) ))))) ;) }))) (expression_statement "lVar1 = *(long *)(param_2 + 8) + (param_3 >> 6) * 8;" (assignment_expression "lVar1 = *(long *)(param_2 + 8) + (param_3 >> 6) * 8" identifier = (binary_expression "*(long *)(param_2 + 8) + (param_3 >> 6) * 8" (pointer_expression "*(long *)(param_2 + 8)" * (cast_expression "(long *)(param_2 + 8)" ( (type_descriptor "long *" (sized_type_specifier "long" long) (abstract_pointer_declarator "*" *)) ) (parenthesized_expression "(param_2 + 8)" ( (binary_expression "param_2 + 8" identifier + number_literal) )))) + (binary_expression "(param_3 >> 6) * 8" (parenthesized_expression "(param_3 >> 6)" ( (binary_expression "param_3 >> 6" identifier >> number_literal) )) * number_literal))) ;) (if_statement "if ((param_3 & 0x3f) == 0) {\n      __gmpn_copyi(lVar2,lVar1,lVar4);\n    }\n    else {\n      __gmpn_rshift(lVar2,lVar1,lVar4,(uint)param_3 & 0x3f);\n      lVar4 = lVar4 - (ulong)(*(long *)(lVar2 + -8 + lVar4 * 8) == 0);\n    }" if (parenthesized_expression "((param_3 & 0x3f) == 0)" ( (binary_expression "(param_3 & 0x3f) == 0" (parenthesized_expression "(param_3 & 0x3f)" ( (binary_expression "param_3 & 0x3f" identifier & number_literal) )) == number_literal) )) (compound_statement "{\n      __gmpn_copyi(lVar2,lVar1,lVar4);\n    }" { (expression_statement "__gmpn_copyi(lVar2,lVar1,lVar4);" (call_expression "__gmpn_copyi(lVar2,lVar1,lVar4)" identifier (argument_list "(lVar2,lVar1,lVar4)" ( identifier , identifier , identifier ))) ;) }) (else_clause "else {\n      __gmpn_rshift(lVar2,lVar1,lVar4,(uint)param_3 & 0x3f);\n      lVar4 = lVar4 - (ulong)(*(long *)(lVar2 + -8 + lVar4 * 8) == 0);\n    }" else (compound_statement "{\n      __gmpn_rshift(lVar2,lVar1,lVar4,(uint)param_3 & 0x3f);\n      lVar4 = lVar4 - (ulong)(*(long *)(lVar2 + -8 + lVar4 * 8) == 0);\n    }" { (expression_statement "__gmpn_rshift(lVar2,lVar1,lVar4,(uint)param_3 & 0x3f);" (call_expression "__gmpn_rshift(lVar2,lVar1,lVar4,(uint)param_3 & 0x3f)" identifier (argument_list "(lVar2,lVar1,lVar4,(uint)param_3 & 0x3f)" ( identifier , identifier , identifier , (binary_expression "(uint)param_3 & 0x3f" (cast_expression "(uint)param_3" ( (type_descriptor "uint" type_identifier) ) identifier) & number_literal) ))) ;) (expression_statement "lVar4 = lVar4 - (ulong)(*(long *)(lVar2 + -8 + lVar4 * 8) == 0);" (assignment_expression "lVar4 = lVar4 - (ulong)(*(long *)(lVar2 + -8 + lVar4 * 8) == 0)" identifier = (binary_expression "lVar4 - (ulong)(*(long *)(lVar2 + -8 + lVar4 * 8) == 0)" identifier - (call_expression "(ulong)(*(long *)(lVar2 + -8 + lVar4 * 8) == 0)" (parenthesized_expression "(ulong)" ( identifier )) (argument_list "(*(long *)(lVar2 + -8 + lVar4 * 8) == 0)" ( (binary_expression "*(long *)(lVar2 + -8 + lVar4 * 8) == 0" (pointer_expression "*(long *)(lVar2 + -8 + lVar4 * 8)" * (cast_expression "(long *)(lVar2 + -8 + lVar4 * 8)" ( (type_descriptor "long *" (sized_type_specifier "long" long) (abstract_pointer_declarator "*" *)) ) (parenthesized_expression "(lVar2 + -8 + lVar4 * 8)" ( (binary_expression "lVar2 + -8 + lVar4 * 8" (binary_expression "lVar2 + -8" identifier + number_literal) + (binary_expression "lVar4 * 8" identifier * number_literal)) )))) == number_literal) ))))) ;) }))) }))) (expression_statement "iVar3 = (int)lVar4;" (assignment_expression "iVar3 = (int)lVar4" identifier = (cast_expression "(int)lVar4" ( (type_descriptor "int" primitive_type) ) identifier)) ;) (if_statement "if ((long)uVar5 < 0) {\n    iVar3 = -(int)lVar4;\n  }" if (parenthesized_expression "((long)uVar5 < 0)" ( (binary_expression "(long)uVar5 < 0" (cast_expression "(long)uVar5" ( (type_descriptor "long" (sized_type_specifier "long" long)) ) identifier) < number_literal) )) (compound_statement "{\n    iVar3 = -(int)lVar4;\n  }" { (expression_statement "iVar3 = -(int)lVar4;" (assignment_expression "iVar3 = -(int)lVar4" identifier = (unary_expression "-(int)lVar4" - (cast_expression "(int)lVar4" ( (type_descriptor "int" primitive_type) ) identifier))) ;) })) (expression_statement "param_1[1] = iVar3;" (assignment_expression "param_1[1] = iVar3" (subscript_expression "param_1[1]" identifier [ number_literal ]) = identifier) ;) (return_statement "return;" return ;) })))
(translation_unit (function_definition TYPE (function_declarator IDENT (parameter_list ( (parameter_declaration TYPE (pointer_declarator * IDENT)) , (parameter_declaration (sized_type_specifier long) IDENT) , (parameter_declaration TYPE IDENT) ))) (compound_statement { (declaration (sized_type_specifier long) IDENT ;) (declaration (sized_type_specifier long) IDENT ;) (declaration TYPE IDENT ;) (declaration (sized_type_specifier long) IDENT ;) (declaration TYPE IDENT ;) (expression_statement (assignment_expression IDENT = (binary_expression (parenthesized_expression ( IDENT )) * (cast_expression ( (type_descriptor TYPE (abstract_pointer_declarator *)) ) (parenthesized_expression ( (binary_expression IDENT + LIT) ))))) ;) (expression_statement (assignment_expression IDENT = (binary_expression (parenthesized_expression ( (binary_expression (parenthesized_expression ( (binary_expression (binary_expression (cast_expression ( (type_descriptor (sized_type_specifier long)) ) IDENT) >> LIT) ^ IDENT) )) - (parenthesized_expression ( (binary_expression (cast_expression ( (type_descriptor (sized_type_specifier long)) ) IDENT) >> LIT) ))) )) - (parenthesized_expression ( (binary_expression IDENT >> LIT) )))) ;) (if_statement if (parenthesized_expression ( (binary_expression IDENT < LIT) )) (compound_statement { (expression_statement (assignment_expression IDENT = LIT) ;) }) (else_clause else (compound_statement { (if_statement if (parenthesized_expression ( (binary_expression (pointer_expression * IDENT) < IDENT) )) (compound_statement { (expression_statement (assignment_expression IDENT = (call_expression IDENT (argument_list ( IDENT , IDENT )))) ;) }) (else_clause else (compound_statement { (expression_statement (assignment_expression IDENT = (pointer_expression * (cast_expression ( (type_descriptor (sized_type_specifier long) (abstract_pointer_declarator *)) ) (parenthesized_expression ( (binary_expression IDENT + LIT) ))))) ;) }))) (expression_statement (assignment_expression IDENT = (binary_expression (pointer_expression * (cast_expression ( (type_descriptor (sized_type_specifier long) (abstract_pointer_declarator *)) ) (parenthesized_expression ( (binary_expression IDENT + LIT) )))) + (binary_expression (parenthesized_expression ( (binary_expression IDENT >> LIT) )) * LIT))) ;) (if_statement if (parenthesized_expression ( (binary_expression (parenthesized_expression ( (binary_expression IDENT & LIT) )) == LIT) )) (compound_statement { (expression_statement (call_expression IDENT (argument_list ( IDENT , IDENT , IDENT ))) ;) }) (else_clause else (compound_statement { (expression_statement (call_expression IDENT (argument_list ( IDENT , IDENT , IDENT , (binary_expression (cast_expression ( (type_descriptor TYPE) ) IDENT) & LIT) ))) ;) (expression_statement (assignment_expression IDENT = (binary_expression IDENT - (call_expression (parenthesized_expression ( IDENT )) (argument_list ( (binary_expression (pointer_expression * (cast_expression ( (type_descriptor (sized_type_specifier long) (abstract_pointer_declarator *)) ) (parenthesized_expression ( (binary_expression (binary_expression IDENT + LIT) + (binary_expression IDENT * LIT)) )))) == LIT) ))))) ;) }))) }))) (expression_statement (assignment_expression IDENT = (cast_expression ( (type_descriptor TYPE) ) IDENT)) ;) (if_statement if (parenthesized_expression ( (binary_expression (cast_expression ( (type_descriptor (sized_type_specifier long)) ) IDENT) < LIT) )) (compound_statement { (expression_statement (assignment_expression IDENT = (unary_expression - (cast_expression ( (type_descriptor TYPE) ) IDENT))) ;) })) (expression_statement (assignment_expression (subscript_expression IDENT [ LIT ]) = IDENT) ;) (return_statement return ;) })))
(function_definition "void __gmpz_tdiv_q_2exp(int *param_1,long param_2,ulong param_3)\n\n{\n  long lVar1;\n  long lVar2;\n  int iVar3;\n  long lVar4;\n  ulong uVar5;\n  \n  uVar5 = (ulong)*(int *)(param_2 + 4);\n  lVar4 = (((long)uVar5 >> 0x3f ^ uVar5) - ((long)uVar5 >> 0x3f)) - (param_3 >> 6);\n  if (lVar4 < 1) {\n    lVar4 = 0;\n  }\n  else {\n    if (*param_1 < lVar4) {\n      lVar2 = __gmpz_realloc(param_1,lVar4);\n    }\n    else {\n      lVar2 = *(long *)(param_1 + 2);\n    }\n    lVar1 = *(long *)(param_2 + 8) + (param_3 >> 6) * 8;\n    if ((param_3 & 0x3f) == 0) {\n      __gmpn_copyi(lVar2,lVar1,lVar4);\n    }\n    else {\n      __gmpn_rshift(lVar2,lVar1,lVar4,(uint)param_3 & 0x3f);\n      lVar4 = lVar4 - (ulong)(*(long *)(lVar2 + -8 + lVar4 * 8) == 0);\n    }\n  }\n  iVar3 = (int)lVar4;\n  if ((long)uVar5 < 0) {\n    iVar3 = -(int)lVar4;\n  }\n  param_1[1] = iVar3;\n  return;\n}" (primitive_type "void") (function_declarator "__gmpz_tdiv_q_2exp(int *param_1,long param_2,ulong param_3)" (identifier "__gmpz_tdiv_q_2exp") (parameter_list "(int *param_1,long param_2,ulong param_3)" (( "(") (parameter_declaration "int *param_1" (primitive_type "int") (pointer_declarator "*param_1" (* "*") (identifier "param_1"))) (, ",") (parameter_declaration "long param_2" (sized_type_specifier "long" (long "long")) (identifier "param_2")) (, ",") (parameter_declaration "ulong param_3" (type_identifier "ulong") (identifier "param_3")) () ")"))) (compound_statement "{\n  long lVar1;\n  long lVar2;\n  int iVar3;\n  long lVar4;\n  ulong uVar5;\n  \n  uVar5 = (ulong)*(int *)(param_2 + 4);\n  lVar4 = (((long)uVar5 >> 0x3f ^ uVar5) - ((long)uVar5 >> 0x3f)) - (param_3 >> 6);\n  if (lVar4 < 1) {\n    lVar4 = 0;\n  }\n  else {\n    if (*param_1 < lVar4) {\n      lVar2 = __gmpz_realloc(param_1,lVar4);\n    }\n    else {\n      lVar2 = *(long *)(param_1 + 2);\n    }\n    lVar1 = *(long *)(param_2 + 8) + (param_3 >> 6) * 8;\n    if ((param_3 & 0x3f) == 0) {\n      __gmpn_copyi(lVar2,lVar1,lVar4);\n    }\n    else {\n      __gmpn_rshift(lVar2,lVar1,lVar4,(uint)param_3 & 0x3f);\n      lVar4 = lVar4 - (ulong)(*(long *)(lVar2 + -8 + lVar4 * 8) == 0);\n    }\n  }\n  iVar3 = (int)lVar4;\n  if ((long)uVar5 < 0) {\n    iVar3 = -(int)lVar4;\n  }\n  param_1[1] = iVar3;\n  return;\n}" ({ "{") (declaration "long lVar1;" (sized_type_specifier "long" (long "long")) (identifier "lVar1") (; ";")) (declaration "long lVar2;" (sized_type_specifier "long" (long "long")) (identifier "lVar2") (; ";")) (declaration "int iVar3;" (primitive_type "int") (identifier "iVar3") (; ";")) (declaration "long lVar4;" (sized_type_specifier "long" (long "long")) (identifier "lVar4") (; ";")) (declaration "ulong uVar5;" (type_identifier "ulong") (identifier "uVar5") (; ";")) (expression_statement "uVar5 = (ulong)*(int *)(param_2 + 4);" (assignment_expression "uVar5 = (ulong)*(int *)(param_2 + 4)" (identifier "uVar5") (= "=") (binary_expression "(ulong)*(int *)(param_2 + 4)" (parenthesized_expression "(ulong)" (( "(") (identifier "ulong") () ")")) (* "*") (cast_expression "(int *)(param_2 + 4)" (( "(") (type_descriptor "int *" (primitive_type "int") (abstract_pointer_declarator "*" (* "*"))) () ")") (parenthesized_expression "(param_2 + 4)" (( "(") (binary_expression "param_2 + 4" (identifier "param_2") (+ "+") (number_literal "4")) () ")"))))) (; ";")) (expression_statement "lVar4 = (((long)uVar5 >> 0x3f ^ uVar5) - ((long)uVar5 >> 0x3f)) - (param_3 >> 6);" (assignment_expression "lVar4 = (((long)uVar5 >> 0x3f ^ uVar5) - ((long)uVar5 >> 0x3f)) - (param_3 >> 6)" (identifier "lVar4") (= "=") (binary_expression "(((long)uVar5 >> 0x3f ^ uVar5) - ((long)uVar5 >> 0x3f)) - (param_3 >> 6)" (parenthesized_expression "(((long)uVar5 >> 0x3f ^ uVar5) - ((long)uVar5 >> 0x3f))" (( "(") (binary_expression "((long)uVar5 >> 0x3f ^ uVar5) - ((long)uVar5 >> 0x3f)" (parenthesized_expression "((long)uVar5 >> 0x3f ^ uVar5)" (( "(") (binary_expression "(long)uVar5 >> 0x3f ^ uVar5" (binary_expression "(long)uVar5 >> 0x3f" (cast_expression "(long)uVar5" (( "(") (type_descriptor "long" (sized_type_specifier "long" (long "long"))) () ")") (identifier "uVar5")) (>> ">>") (number_literal "0x3f")) (^ "^") (identifier "uVar5")) () ")")) (- "-") (parenthesized_expression "((long)uVar5 >> 0x3f)" (( "(") (binary_expression "(long)uVar5 >> 0x3f" (cast_expression "(long)uVar5" (( "(") (type_descriptor "long" (sized_type_specifier "long" (long "long"))) () ")") (identifier "uVar5")) (>> ">>") (number_literal "0x3f")) () ")"))) () ")")) (- "-") (parenthesized_expression "(param_3 >> 6)" (( "(") (binary_expression "param_3 >> 6" (identifier "param_3") (>> ">>") (number_literal "6")) () ")")))) (; ";")) (if_statement "if (lVar4 < 1) {\n    lVar4 = 0;\n  }\n  else {\n    if (*param_1 < lVar4) {\n      lVar2 = __gmpz_realloc(param_1,lVar4);\n    }\n    else {\n      lVar2 = *(long *)(param_1 + 2);\n    }\n    lVar1 = *(long *)(param_2 + 8) + (param_3 >> 6) * 8;\n    if ((param_3 & 0x3f) == 0) {\n      __gmpn_copyi(lVar2,lVar1,lVar4);\n    }\n    else {\n      __gmpn_rshift(lVar2,lVar1,lVar4,(uint)param_3 & 0x3f);\n      lVar4 = lVar4 - (ulong)(*(long *)(lVar2 + -8 + lVar4 * 8) == 0);\n    }\n  }" (if "if") (parenthesized_expression "(lVar4 < 1)" (( "(") (binary_expression "lVar4 < 1" (identifier "lVar4") (< "<") (number_literal "1")) () ")")) (compound_statement "{\n    lVar4 = 0;\n  }" ({ "{") (expression_statement "lVar4 = 0;" (assignment_expression "lVar4 = 0" (identifier "lVar4") (= "=") (number_literal "0")) (; ";")) (} "}")) (else_clause "else {\n    if (*param_1 < lVar4) {\n      lVar2 = __gmpz_realloc(param_1,lVar4);\n    }\n    else {\n      lVar2 = *(long *)(param_1 + 2);\n    }\n    lVar1 = *(long *)(param_2 + 8) + (param_3 >> 6) * 8;\n    if ((param_3 & 0x3f) == 0) {\n      __gmpn_copyi(lVar2,lVar1,lVar4);\n    }\n    else {\n      __gmpn_rshift(lVar2,lVar1,lVar4,(uint)param_3 & 0x3f);\n      lVar4 = lVar4 - (ulong)(*(long *)(lVar2 + -8 + lVar4 * 8) == 0);\n    }\n  }" (else "else") (compound_statement "{\n    if (*param_1 < lVar4) {\n      lVar2 = __gmpz_realloc(param_1,lVar4);\n    }\n    else {\n      lVar2 = *(long *)(param_1 + 2);\n    }\n    lVar1 = *(long *)(param_2 + 8) + (param_3 >> 6) * 8;\n    if ((param_3 & 0x3f) == 0) {\n      __gmpn_copyi(lVar2,lVar1,lVar4);\n    }\n    else {\n      __gmpn_rshift(lVar2,lVar1,lVar4,(uint)param_3 & 0x3f);\n      lVar4 = lVar4 - (ulong)(*(long *)(lVar2 + -8 + lVar4 * 8) == 0);\n    }\n  }" ({ "{") (if_statement "if (*param_1 < lVar4) {\n      lVar2 = __gmpz_realloc(param_1,lVar4);\n    }\n    else {\n      lVar2 = *(long *)(param_1 + 2);\n    }" (if "if") (parenthesized_expression "(*param_1 < lVar4)" (( "(") (binary_expression "*param_1 < lVar4" (pointer_expression "*param_1" (* "*") (identifier "param_1")) (< "<") (identifier "lVar4")) () ")")) (compound_statement "{\n      lVar2 = __gmpz_realloc(param_1,lVar4);\n    }" ({ "{") (expression_statement "lVar2 = __gmpz_realloc(param_1,lVar4);" (assignment_expression "lVar2 = __gmpz_realloc(param_1,lVar4)" (identifier "lVar2") (= "=") (call_expression "__gmpz_realloc(param_1,lVar4)" (identifier "__gmpz_realloc") (argument_list "(param_1,lVar4)" (( "(") (identifier "param_1") (, ",") (identifier "lVar4") () ")")))) (; ";")) (} "}")) (else_clause "else {\n      lVar2 = *(long *)(param_1 + 2);\n    }" (else "else") (compound_statement "{\n      lVar2 = *(long *)(param_1 + 2);\n    }" ({ "{") (expression_statement "lVar2 = *(long *)(param_1 + 2);" (assignment_expression "lVar2 = *(long *)(param_1 + 2)" (identifier "lVar2") (= "=") (pointer_expression "*(long *)(param_1 + 2)" (* "*") (cast_expression "(long *)(param_1 + 2)" (( "(") (type_descriptor "long *" (sized_type_specifier "long" (long "long")) (abstract_pointer_declarator "*" (* "*"))) () ")") (parenthesized_expression "(param_1 + 2)" (( "(") (binary_expression "param_1 + 2" (identifier "param_1") (+ "+") (number_literal "2")) () ")"))))) (; ";")) (} "}")))) (expression_statement "lVar1 = *(long *)(param_2 + 8) + (param_3 >> 6) * 8;" (assignment_expression "lVar1 = *(long *)(param_2 + 8) + (param_3 >> 6) * 8" (identifier "lVar1") (= "=") (binary_expression "*(long *)(param_2 + 8) + (param_3 >> 6) * 8" (pointer_expression "*(long *)(param_2 + 8)" (* "*") (cast_expression "(long *)(param_2 + 8)" (( "(") (type_descriptor "long *" (sized_type_specifier "long" (long "long")) (abstract_pointer_declarator "*" (* "*"))) () ")") (parenthesized_expression "(param_2 + 8)" (( "(") (binary_expression "param_2 + 8" (identifier "param_2") (+ "+") (number_literal "8")) () ")")))) (+ "+") (binary_expression "(param_3 >> 6) * 8" (parenthesized_expression "(param_3 >> 6)" (( "(") (binary_expression "param_3 >> 6" (identifier "param_3") (>> ">>") (number_literal "6")) () ")")) (* "*") (number_literal "8")))) (; ";")) (if_statement "if ((param_3 & 0x3f) == 0) {\n      __gmpn_copyi(lVar2,lVar1,lVar4);\n    }\n    else {\n      __gmpn_rshift(lVar2,lVar1,lVar4,(uint)param_3 & 0x3f);\n      lVar4 = lVar4 - (ulong)(*(long *)(lVar2 + -8 + lVar4 * 8) == 0);\n    }" (if "if") (parenthesized_expression "((param_3 & 0x3f) == 0)" (( "(") (binary_expression "(param_3 & 0x3f) == 0" (parenthesized_expression "(param_3 & 0x3f)" (( "(") (binary_expression "param_3 & 0x3f" (identifier "param_3") (& "&") (number_literal "0x3f")) () ")")) (== "==") (number_literal "0")) () ")")) (compound_statement "{\n      __gmpn_copyi(lVar2,lVar1,lVar4);\n    }" ({ "{") (expression_statement "__gmpn_copyi(lVar2,lVar1,lVar4);" (call_expression "__gmpn_copyi(lVar2,lVar1,lVar4)" (identifier "__gmpn_copyi") (argument_list "(lVar2,lVar1,lVar4)" (( "(") (identifier "lVar2") (, ",") (identifier "lVar1") (, ",") (identifier "lVar4") () ")"))) (; ";")) (} "}")) (else_clause "else {\n      __gmpn_rshift(lVar2,lVar1,lVar4,(uint)param_3 & 0x3f);\n      lVar4 = lVar4 - (ulong)(*(long *)(lVar2 + -8 + lVar4 * 8) == 0);\n    }" (else "else") (compound_statement "{\n      __gmpn_rshift(lVar2,lVar1,lVar4,(uint)param_3 & 0x3f);\n      lVar4 = lVar4 - (ulong)(*(long *)(lVar2 + -8 + lVar4 * 8) == 0);\n    }" ({ "{") (expression_statement "__gmpn_rshift(lVar2,lVar1,lVar4,(uint)param_3 & 0x3f);" (call_expression "__gmpn_rshift(lVar2,lVar1,lVar4,(uint)param_3 & 0x3f)" (identifier "__gmpn_rshift") (argument_list "(lVar2,lVar1,lVar4,(uint)param_3 & 0x3f)" (( "(") (identifier "lVar2") (, ",") (identifier "lVar1") (, ",") (identifier "lVar4") (, ",") (binary_expression "(uint)param_3 & 0x3f" (cast_expression "(uint)param_3" (( "(") (type_descriptor "uint" (type_identifier "uint")) () ")") (identifier "param_3")) (& "&") (number_literal "0x3f")) () ")"))) (; ";")) (expression_statement "lVar4 = lVar4 - (ulong)(*(long *)(lVar2 + -8 + lVar4 * 8) == 0);" (assignment_expression "lVar4 = lVar4 - (ulong)(*(long *)(lVar2 + -8 + lVar4 * 8) == 0)" (identifier "lVar4") (= "=") (binary_expression "lVar4 - (ulong)(*(long *)(lVar2 + -8 + lVar4 * 8) == 0)" (identifier "lVar4") (- "-") (call_expression "(ulong)(*(long *)(lVar2 + -8 + lVar4 * 8) == 0)" (parenthesized_expression "(ulong)" (( "(") (identifier "ulong") () ")")) (argument_list "(*(long *)(lVar2 + -8 + lVar4 * 8) == 0)" (( "(") (binary_expression "*(long *)(lVar2 + -8 + lVar4 * 8) == 0" (pointer_expression "*(long *)(lVar2 + -8 + lVar4 * 8)" (* "*") (cast_expression "(long *)(lVar2 + -8 + lVar4 * 8)" (( "(") (type_descriptor "long *" (sized_type_specifier "long" (long "long")) (abstract_pointer_declarator "*" (* "*"))) () ")") (parenthesized_expression "(lVar2 + -8 + lVar4 * 8)" (( "(") (binary_expression "lVar2 + -8 + lVar4 * 8" (binary_expression "lVar2 + -8" (identifier "lVar2") (+ "+") (number_literal "-8")) (+ "+") (binary_expression "lVar4 * 8" (identifier "lVar4") (* "*") (number_literal "8"))) () ")")))) (== "==") (number_literal "0")) () ")"))))) (; ";")) (} "}")))) (} "}")))) (expression_statement "iVar3 = (int)lVar4;" (assignment_expression "iVar3 = (int)lVar4" (identifier "iVar3") (= "=") (cast_expression "(int)lVar4" (( "(") (type_descriptor "int" (primitive_type "int")) () ")") (identifier "lVar4"))) (; ";")) (if_statement "if ((long)uVar5 < 0) {\n    iVar3 = -(int)lVar4;\n  }" (if "if") (parenthesized_expression "((long)uVar5 < 0)" (( "(") (binary_expression "(long)uVar5 < 0" (cast_expression "(long)uVar5" (( "(") (type_descriptor "long" (sized_type_specifier "long" (long "long"))) () ")") (identifier "uVar5")) (< "<") (number_literal "0")) () ")")) (compound_statement "{\n    iVar3 = -(int)lVar4;\n  }" ({ "{") (expression_statement "iVar3 = -(int)lVar4;" (assignment_expression "iVar3 = -(int)lVar4" (identifier "iVar3") (= "=") (unary_expression "-(int)lVar4" (- "-") (cast_expression "(int)lVar4" (( "(") (type_descriptor "int" (primitive_type "int")) () ")") (identifier "lVar4")))) (; ";")) (} "}"))) (expression_statement "param_1[1] = iVar3;" (assignment_expression "param_1[1] = iVar3" (subscript_expression "param_1[1]" (identifier "param_1") ([ "[") (number_literal "1") (] "]")) (= "=") (identifier "iVar3")) (; ";")) (return_statement "return;" (return "return") (; ";")) (} "}")))

void function_1(type_1 r,type_2 u,type_3 var_2)

{
  type_4 *pmVar1;
  int iVar2;
  long var_3;
  type_5 var_1;
  
  var_1 = (type_5)u->_mp_size;
  var_3 = (((long)var_1 >> 0x3f ^ var_1) - ((long)var_1 >> 0x3f)) - (var_2 >> 6);
  if (var_3 < 1) {
    var_3 = 0;
  }
  else {
    if (r->_mp_alloc < var_3) {
      pmVar1 = (type_4 *)var_4(r,var_3);
    }
    else {
      pmVar1 = r->_mp_d;
    }
    if ((var_2 & 0x3f) == 0) {
      var_5(pmVar1,u->_mp_d + (var_2 >> 6),var_3);
    }
    else {
      var_6(pmVar1,u->_mp_d + (var_2 >> 6),var_3,(type_6)var_2 & 0x3f);
      var_3 = var_3 - (type_5)(pmVar1[var_3 + -1] == 0);
    }
  }
  iVar2 = (int)var_3;
  if ((long)var_1 < 0) {
    iVar2 = -(int)var_3;
  }
  r->_mp_size = iVar2;
  return;
}


(translation_unit (function_definition type: (primitive_type) declarator: (function_declarator declarator: (identifier) parameters: (parameter_list (parameter_declaration type: (primitive_type) declarator: (pointer_declarator declarator: (identifier))) (parameter_declaration type: (sized_type_specifier) declarator: (identifier)) (parameter_declaration type: (type_identifier) declarator: (identifier)))) body: (compound_statement (declaration type: (sized_type_specifier) declarator: (identifier)) (declaration type: (sized_type_specifier) declarator: (identifier)) (declaration type: (primitive_type) declarator: (identifier)) (declaration type: (sized_type_specifier) declarator: (identifier)) (declaration type: (type_identifier) declarator: (identifier)) (expression_statement (assignment_expression left: (identifier) right: (binary_expression left: (parenthesized_expression (identifier)) right: (cast_expression type: (type_descriptor type: (primitive_type) declarator: (abstract_pointer_declarator)) value: (parenthesized_expression (binary_expression left: (identifier) right: (number_literal))))))) (expression_statement (assignment_expression left: (identifier) right: (binary_expression left: (parenthesized_expression (binary_expression left: (parenthesized_expression (binary_expression left: (binary_expression left: (cast_expression type: (type_descriptor type: (sized_type_specifier)) value: (identifier)) right: (number_literal)) right: (identifier))) right: (parenthesized_expression (binary_expression left: (cast_expression type: (type_descriptor type: (sized_type_specifier)) value: (identifier)) right: (number_literal))))) right: (parenthesized_expression (binary_expression left: (identifier) right: (number_literal)))))) (if_statement condition: (parenthesized_expression (binary_expression left: (identifier) right: (number_literal))) consequence: (compound_statement (expression_statement (assignment_expression left: (identifier) right: (number_literal)))) alternative: (else_clause (compound_statement (if_statement condition: (parenthesized_expression (binary_expression left: (pointer_expression argument: (identifier)) right: (identifier))) consequence: (compound_statement (expression_statement (assignment_expression left: (identifier) right: (call_expression function: (identifier) arguments: (argument_list (identifier) (identifier)))))) alternative: (else_clause (compound_statement (expression_statement (assignment_expression left: (identifier) right: (pointer_expression argument: (cast_expression type: (type_descriptor type: (sized_type_specifier) declarator: (abstract_pointer_declarator)) value: (parenthesized_expression (binary_expression left: (identifier) right: (number_literal)))))))))) (expression_statement (assignment_expression left: (identifier) right: (binary_expression left: (pointer_expression argument: (cast_expression type: (type_descriptor type: (sized_type_specifier) declarator: (abstract_pointer_declarator)) value: (parenthesized_expression (binary_expression left: (identifier) right: (number_literal))))) right: (binary_expression left: (parenthesized_expression (binary_expression left: (identifier) right: (number_literal))) right: (number_literal))))) (if_statement condition: (parenthesized_expression (binary_expression left: (parenthesized_expression (binary_expression left: (identifier) right: (number_literal))) right: (number_literal))) consequence: (compound_statement (expression_statement (call_expression function: (identifier) arguments: (argument_list (identifier) (identifier) (identifier))))) alternative: (else_clause (compound_statement (expression_statement (call_expression function: (identifier) arguments: (argument_list (identifier) (identifier) (identifier) (binary_expression left: (cast_expression type: (type_descriptor type: (type_identifier)) value: (identifier)) right: (number_literal))))) (expression_statement (assignment_expression left: (identifier) right: (binary_expression left: (identifier) right: (call_expression function: (parenthesized_expression (identifier)) arguments: (argument_list (binary_expression left: (pointer_expression argument: (cast_expression type: (type_descriptor type: (sized_type_specifier) declarator: (abstract_pointer_declarator)) value: (parenthesized_expression (binary_expression left: (binary_expression left: (identifier) right: (number_literal)) right: (binary_expression left: (identifier) right: (number_literal)))))) right: (number_literal))))))))))))) (expression_statement (assignment_expression left: (identifier) right: (cast_expression type: (type_descriptor type: (primitive_type)) value: (identifier)))) (if_statement condition: (parenthesized_expression (binary_expression left: (cast_expression type: (type_descriptor type: (sized_type_specifier)) value: (identifier)) right: (number_literal))) consequence: (compound_statement (expression_statement (assignment_expression left: (identifier) right: (unary_expression argument: (cast_expression type: (type_descriptor type: (primitive_type)) value: (identifier))))))) (expression_statement (assignment_expression left: (subscript_expression argument: (identifier) index: (number_literal)) right: (identifier))) (return_statement))))

void MASKED(int *param_1,long param_2,ulong param_3)

{
  long lVar1;
  long lVar2;
  int iVar3;
  long lVar4;
  ulong uVar5;
  
  uVar5 = (ulong)*(int *)(param_2 + 4);
  lVar4 = (((long)uVar5 >> 0x3f ^ uVar5) - ((long)uVar5 >> 0x3f)) - (param_3 >> 6);
  if (lVar4 < 1) {
    lVar4 = 0;
  }
  else {
    if (*param_1 < lVar4) {
      lVar2 = __gmpz_realloc(param_1,lVar4);
    }
    else {
      lVar2 = *(long *)(param_1 + 2);
    }
    lVar1 = *(long *)(param_2 + 8) + (param_3 >> 6) * 8;
    if ((param_3 & 0x3f) == 0) {
      __gmpn_copyi(lVar2,lVar1,lVar4);
    }
    else {
      __gmpn_rshift(lVar2,lVar1,lVar4,(uint)param_3 & 0x3f);
      lVar4 = lVar4 - (ulong)(*(long *)(lVar2 + -8 + lVar4 * 8) == 0);
    }
  }
  iVar3 = (int)lVar4;
  if ((long)uVar5 < 0) {
    iVar3 = -(int)lVar4;
  }
  param_1[1] = iVar3;
  return;
}

