
void __gmpz_limbs_finish(mpz_ptr x,mp_size_t xs)

{
  mp_limb_t mVar1;
  int iVar2;
  int iVar3;
  
  iVar2 = (xs >> 0x1f ^ xs) - (xs >> 0x1f);
  if (xs == 0) {
    iVar3 = 0;
  }
  else {
    mVar1 = x->_mp_d[iVar2 + -1];
    while ((iVar3 = iVar2, mVar1 == 0 && (iVar3 = iVar2 + -1, iVar3 != 0))) {
      mVar1 = x->_mp_d[iVar2 + -2];
      iVar2 = iVar3;
    }
    if (xs < 0) {
      iVar3 = -iVar3;
    }
  }
  x->_mp_size = iVar3;
  return;
}



void __gmpz_limbs_finish(int param_1,uint param_2)

{
  int iVar1;
  int iVar2;
  
  iVar2 = ((int)param_2 >> 0x1f ^ param_2) - ((int)param_2 >> 0x1f);
  if (param_2 == 0) {
    iVar2 = 0;
  }
  else {
    iVar1 = *(int *)(*(int *)(param_1 + 8) + -4 + iVar2 * 4);
    while ((iVar1 == 0 && (iVar2 = iVar2 + -1, iVar2 != 0))) {
      iVar1 = *(int *)(*(int *)(param_1 + 8) + -4 + iVar2 * 4);
    }
    if ((int)param_2 < 0) {
      iVar2 = -iVar2;
    }
  }
  *(int *)(param_1 + 4) = iVar2;
  return;
}


PUSH EBX
MOV ECX,dword ptr [ESP + 0xc]
MOV EBX,dword ptr [ESP + 0x8]
MOV EDX,ECX
SAR EDX,0x1f
MOV EAX,EDX
XOR EAX,ECX
SUB EAX,EDX
TEST ECX,ECX
JZ 0x0002c7e2
MOV EDX,dword ptr [EBX + 0x8]
CMP dword ptr [EDX + EAX*0x4 + -0x4],0x0
JZ 0x0002c7cf
JMP 0x0002c7d4
CMP dword ptr [EDX + EAX*0x4 + -0x4],0x0
JNZ 0x0002c7d4
SUB EAX,0x1
JNZ 0x0002c7c8
MOV EDX,EAX
NEG EDX
TEST ECX,ECX
CMOVS EAX,EDX
MOV dword ptr [EBX + 0x4],EAX
POP EBX
RET
XOR EAX,EAX
JMP 0x0002c7dd
(translation_unit "void __gmpz_limbs_finish(int param_1,uint param_2)\n\n{\n  int iVar1;\n  int iVar2;\n  \n  iVar2 = ((int)param_2 >> 0x1f ^ param_2) - ((int)param_2 >> 0x1f);\n  if (param_2 == 0) {\n    iVar2 = 0;\n  }\n  else {\n    iVar1 = *(int *)(*(int *)(param_1 + 8) + -4 + iVar2 * 4);\n    while ((iVar1 == 0 && (iVar2 = iVar2 + -1, iVar2 != 0))) {\n      iVar1 = *(int *)(*(int *)(param_1 + 8) + -4 + iVar2 * 4);\n    }\n    if ((int)param_2 < 0) {\n      iVar2 = -iVar2;\n    }\n  }\n  *(int *)(param_1 + 4) = iVar2;\n  return;\n}\n\n" (function_definition "void __gmpz_limbs_finish(int param_1,uint param_2)\n\n{\n  int iVar1;\n  int iVar2;\n  \n  iVar2 = ((int)param_2 >> 0x1f ^ param_2) - ((int)param_2 >> 0x1f);\n  if (param_2 == 0) {\n    iVar2 = 0;\n  }\n  else {\n    iVar1 = *(int *)(*(int *)(param_1 + 8) + -4 + iVar2 * 4);\n    while ((iVar1 == 0 && (iVar2 = iVar2 + -1, iVar2 != 0))) {\n      iVar1 = *(int *)(*(int *)(param_1 + 8) + -4 + iVar2 * 4);\n    }\n    if ((int)param_2 < 0) {\n      iVar2 = -iVar2;\n    }\n  }\n  *(int *)(param_1 + 4) = iVar2;\n  return;\n}" primitive_type (function_declarator "__gmpz_limbs_finish(int param_1,uint param_2)" identifier (parameter_list "(int param_1,uint param_2)" ( (parameter_declaration "int param_1" primitive_type identifier) , (parameter_declaration "uint param_2" type_identifier identifier) ))) (compound_statement "{\n  int iVar1;\n  int iVar2;\n  \n  iVar2 = ((int)param_2 >> 0x1f ^ param_2) - ((int)param_2 >> 0x1f);\n  if (param_2 == 0) {\n    iVar2 = 0;\n  }\n  else {\n    iVar1 = *(int *)(*(int *)(param_1 + 8) + -4 + iVar2 * 4);\n    while ((iVar1 == 0 && (iVar2 = iVar2 + -1, iVar2 != 0))) {\n      iVar1 = *(int *)(*(int *)(param_1 + 8) + -4 + iVar2 * 4);\n    }\n    if ((int)param_2 < 0) {\n      iVar2 = -iVar2;\n    }\n  }\n  *(int *)(param_1 + 4) = iVar2;\n  return;\n}" { (declaration "int iVar1;" primitive_type identifier ;) (declaration "int iVar2;" primitive_type identifier ;) (expression_statement "iVar2 = ((int)param_2 >> 0x1f ^ param_2) - ((int)param_2 >> 0x1f);" (assignment_expression "iVar2 = ((int)param_2 >> 0x1f ^ param_2) - ((int)param_2 >> 0x1f)" identifier = (binary_expression "((int)param_2 >> 0x1f ^ param_2) - ((int)param_2 >> 0x1f)" (parenthesized_expression "((int)param_2 >> 0x1f ^ param_2)" ( (binary_expression "(int)param_2 >> 0x1f ^ param_2" (binary_expression "(int)param_2 >> 0x1f" (cast_expression "(int)param_2" ( (type_descriptor "int" primitive_type) ) identifier) >> number_literal) ^ identifier) )) - (parenthesized_expression "((int)param_2 >> 0x1f)" ( (binary_expression "(int)param_2 >> 0x1f" (cast_expression "(int)param_2" ( (type_descriptor "int" primitive_type) ) identifier) >> number_literal) )))) ;) (if_statement "if (param_2 == 0) {\n    iVar2 = 0;\n  }\n  else {\n    iVar1 = *(int *)(*(int *)(param_1 + 8) + -4 + iVar2 * 4);\n    while ((iVar1 == 0 && (iVar2 = iVar2 + -1, iVar2 != 0))) {\n      iVar1 = *(int *)(*(int *)(param_1 + 8) + -4 + iVar2 * 4);\n    }\n    if ((int)param_2 < 0) {\n      iVar2 = -iVar2;\n    }\n  }" if (parenthesized_expression "(param_2 == 0)" ( (binary_expression "param_2 == 0" identifier == number_literal) )) (compound_statement "{\n    iVar2 = 0;\n  }" { (expression_statement "iVar2 = 0;" (assignment_expression "iVar2 = 0" identifier = number_literal) ;) }) (else_clause "else {\n    iVar1 = *(int *)(*(int *)(param_1 + 8) + -4 + iVar2 * 4);\n    while ((iVar1 == 0 && (iVar2 = iVar2 + -1, iVar2 != 0))) {\n      iVar1 = *(int *)(*(int *)(param_1 + 8) + -4 + iVar2 * 4);\n    }\n    if ((int)param_2 < 0) {\n      iVar2 = -iVar2;\n    }\n  }" else (compound_statement "{\n    iVar1 = *(int *)(*(int *)(param_1 + 8) + -4 + iVar2 * 4);\n    while ((iVar1 == 0 && (iVar2 = iVar2 + -1, iVar2 != 0))) {\n      iVar1 = *(int *)(*(int *)(param_1 + 8) + -4 + iVar2 * 4);\n    }\n    if ((int)param_2 < 0) {\n      iVar2 = -iVar2;\n    }\n  }" { (expression_statement "iVar1 = *(int *)(*(int *)(param_1 + 8) + -4 + iVar2 * 4);" (assignment_expression "iVar1 = *(int *)(*(int *)(param_1 + 8) + -4 + iVar2 * 4)" identifier = (pointer_expression "*(int *)(*(int *)(param_1 + 8) + -4 + iVar2 * 4)" * (cast_expression "(int *)(*(int *)(param_1 + 8) + -4 + iVar2 * 4)" ( (type_descriptor "int *" primitive_type (abstract_pointer_declarator "*" *)) ) (parenthesized_expression "(*(int *)(param_1 + 8) + -4 + iVar2 * 4)" ( (binary_expression "*(int *)(param_1 + 8) + -4 + iVar2 * 4" (binary_expression "*(int *)(param_1 + 8) + -4" (pointer_expression "*(int *)(param_1 + 8)" * (cast_expression "(int *)(param_1 + 8)" ( (type_descriptor "int *" primitive_type (abstract_pointer_declarator "*" *)) ) (parenthesized_expression "(param_1 + 8)" ( (binary_expression "param_1 + 8" identifier + number_literal) )))) + number_literal) + (binary_expression "iVar2 * 4" identifier * number_literal)) ))))) ;) (while_statement "while ((iVar1 == 0 && (iVar2 = iVar2 + -1, iVar2 != 0))) {\n      iVar1 = *(int *)(*(int *)(param_1 + 8) + -4 + iVar2 * 4);\n    }" while (parenthesized_expression "((iVar1 == 0 && (iVar2 = iVar2 + -1, iVar2 != 0)))" ( (parenthesized_expression "(iVar1 == 0 && (iVar2 = iVar2 + -1, iVar2 != 0))" ( (binary_expression "iVar1 == 0 && (iVar2 = iVar2 + -1, iVar2 != 0)" (binary_expression "iVar1 == 0" identifier == number_literal) && (parenthesized_expression "(iVar2 = iVar2 + -1, iVar2 != 0)" ( (comma_expression "iVar2 = iVar2 + -1, iVar2 != 0" (assignment_expression "iVar2 = iVar2 + -1" identifier = (binary_expression "iVar2 + -1" identifier + number_literal)) , (binary_expression "iVar2 != 0" identifier != number_literal)) ))) )) )) (compound_statement "{\n      iVar1 = *(int *)(*(int *)(param_1 + 8) + -4 + iVar2 * 4);\n    }" { (expression_statement "iVar1 = *(int *)(*(int *)(param_1 + 8) + -4 + iVar2 * 4);" (assignment_expression "iVar1 = *(int *)(*(int *)(param_1 + 8) + -4 + iVar2 * 4)" identifier = (pointer_expression "*(int *)(*(int *)(param_1 + 8) + -4 + iVar2 * 4)" * (cast_expression "(int *)(*(int *)(param_1 + 8) + -4 + iVar2 * 4)" ( (type_descriptor "int *" primitive_type (abstract_pointer_declarator "*" *)) ) (parenthesized_expression "(*(int *)(param_1 + 8) + -4 + iVar2 * 4)" ( (binary_expression "*(int *)(param_1 + 8) + -4 + iVar2 * 4" (binary_expression "*(int *)(param_1 + 8) + -4" (pointer_expression "*(int *)(param_1 + 8)" * (cast_expression "(int *)(param_1 + 8)" ( (type_descriptor "int *" primitive_type (abstract_pointer_declarator "*" *)) ) (parenthesized_expression "(param_1 + 8)" ( (binary_expression "param_1 + 8" identifier + number_literal) )))) + number_literal) + (binary_expression "iVar2 * 4" identifier * number_literal)) ))))) ;) })) (if_statement "if ((int)param_2 < 0) {\n      iVar2 = -iVar2;\n    }" if (parenthesized_expression "((int)param_2 < 0)" ( (binary_expression "(int)param_2 < 0" (cast_expression "(int)param_2" ( (type_descriptor "int" primitive_type) ) identifier) < number_literal) )) (compound_statement "{\n      iVar2 = -iVar2;\n    }" { (expression_statement "iVar2 = -iVar2;" (assignment_expression "iVar2 = -iVar2" identifier = (unary_expression "-iVar2" - identifier)) ;) })) }))) (expression_statement "*(int *)(param_1 + 4) = iVar2;" (assignment_expression "*(int *)(param_1 + 4) = iVar2" (pointer_expression "*(int *)(param_1 + 4)" * (cast_expression "(int *)(param_1 + 4)" ( (type_descriptor "int *" primitive_type (abstract_pointer_declarator "*" *)) ) (parenthesized_expression "(param_1 + 4)" ( (binary_expression "param_1 + 4" identifier + number_literal) )))) = identifier) ;) (return_statement "return;" return ;) })))
(translation_unit "void __gmpz_limbs_finish(mpz_ptr x,mp_size_t xs)\n\n{\n  mp_limb_t mVar1;\n  int iVar2;\n  int iVar3;\n  \n  iVar2 = (xs >> 0x1f ^ xs) - (xs >> 0x1f);\n  if (xs == 0) {\n    iVar3 = 0;\n  }\n  else {\n    mVar1 = x->_mp_d[iVar2 + -1];\n    while ((iVar3 = iVar2, mVar1 == 0 && (iVar3 = iVar2 + -1, iVar3 != 0))) {\n      mVar1 = x->_mp_d[iVar2 + -2];\n      iVar2 = iVar3;\n    }\n    if (xs < 0) {\n      iVar3 = -iVar3;\n    }\n  }\n  x->_mp_size = iVar3;\n  return;\n}\n\n" (function_definition "void __gmpz_limbs_finish(mpz_ptr x,mp_size_t xs)\n\n{\n  mp_limb_t mVar1;\n  int iVar2;\n  int iVar3;\n  \n  iVar2 = (xs >> 0x1f ^ xs) - (xs >> 0x1f);\n  if (xs == 0) {\n    iVar3 = 0;\n  }\n  else {\n    mVar1 = x->_mp_d[iVar2 + -1];\n    while ((iVar3 = iVar2, mVar1 == 0 && (iVar3 = iVar2 + -1, iVar3 != 0))) {\n      mVar1 = x->_mp_d[iVar2 + -2];\n      iVar2 = iVar3;\n    }\n    if (xs < 0) {\n      iVar3 = -iVar3;\n    }\n  }\n  x->_mp_size = iVar3;\n  return;\n}" primitive_type (function_declarator "__gmpz_limbs_finish(mpz_ptr x,mp_size_t xs)" identifier (parameter_list "(mpz_ptr x,mp_size_t xs)" ( (parameter_declaration "mpz_ptr x" type_identifier identifier) , (parameter_declaration "mp_size_t xs" type_identifier identifier) ))) (compound_statement "{\n  mp_limb_t mVar1;\n  int iVar2;\n  int iVar3;\n  \n  iVar2 = (xs >> 0x1f ^ xs) - (xs >> 0x1f);\n  if (xs == 0) {\n    iVar3 = 0;\n  }\n  else {\n    mVar1 = x->_mp_d[iVar2 + -1];\n    while ((iVar3 = iVar2, mVar1 == 0 && (iVar3 = iVar2 + -1, iVar3 != 0))) {\n      mVar1 = x->_mp_d[iVar2 + -2];\n      iVar2 = iVar3;\n    }\n    if (xs < 0) {\n      iVar3 = -iVar3;\n    }\n  }\n  x->_mp_size = iVar3;\n  return;\n}" { (declaration "mp_limb_t mVar1;" type_identifier identifier ;) (declaration "int iVar2;" primitive_type identifier ;) (declaration "int iVar3;" primitive_type identifier ;) (expression_statement "iVar2 = (xs >> 0x1f ^ xs) - (xs >> 0x1f);" (assignment_expression "iVar2 = (xs >> 0x1f ^ xs) - (xs >> 0x1f)" identifier = (binary_expression "(xs >> 0x1f ^ xs) - (xs >> 0x1f)" (parenthesized_expression "(xs >> 0x1f ^ xs)" ( (binary_expression "xs >> 0x1f ^ xs" (binary_expression "xs >> 0x1f" identifier >> number_literal) ^ identifier) )) - (parenthesized_expression "(xs >> 0x1f)" ( (binary_expression "xs >> 0x1f" identifier >> number_literal) )))) ;) (if_statement "if (xs == 0) {\n    iVar3 = 0;\n  }\n  else {\n    mVar1 = x->_mp_d[iVar2 + -1];\n    while ((iVar3 = iVar2, mVar1 == 0 && (iVar3 = iVar2 + -1, iVar3 != 0))) {\n      mVar1 = x->_mp_d[iVar2 + -2];\n      iVar2 = iVar3;\n    }\n    if (xs < 0) {\n      iVar3 = -iVar3;\n    }\n  }" if (parenthesized_expression "(xs == 0)" ( (binary_expression "xs == 0" identifier == number_literal) )) (compound_statement "{\n    iVar3 = 0;\n  }" { (expression_statement "iVar3 = 0;" (assignment_expression "iVar3 = 0" identifier = number_literal) ;) }) (else_clause "else {\n    mVar1 = x->_mp_d[iVar2 + -1];\n    while ((iVar3 = iVar2, mVar1 == 0 && (iVar3 = iVar2 + -1, iVar3 != 0))) {\n      mVar1 = x->_mp_d[iVar2 + -2];\n      iVar2 = iVar3;\n    }\n    if (xs < 0) {\n      iVar3 = -iVar3;\n    }\n  }" else (compound_statement "{\n    mVar1 = x->_mp_d[iVar2 + -1];\n    while ((iVar3 = iVar2, mVar1 == 0 && (iVar3 = iVar2 + -1, iVar3 != 0))) {\n      mVar1 = x->_mp_d[iVar2 + -2];\n      iVar2 = iVar3;\n    }\n    if (xs < 0) {\n      iVar3 = -iVar3;\n    }\n  }" { (expression_statement "mVar1 = x->_mp_d[iVar2 + -1];" (assignment_expression "mVar1 = x->_mp_d[iVar2 + -1]" identifier = (subscript_expression "x->_mp_d[iVar2 + -1]" (field_expression "x->_mp_d" identifier -> field_identifier) [ (binary_expression "iVar2 + -1" identifier + number_literal) ])) ;) (while_statement "while ((iVar3 = iVar2, mVar1 == 0 && (iVar3 = iVar2 + -1, iVar3 != 0))) {\n      mVar1 = x->_mp_d[iVar2 + -2];\n      iVar2 = iVar3;\n    }" while (parenthesized_expression "((iVar3 = iVar2, mVar1 == 0 && (iVar3 = iVar2 + -1, iVar3 != 0)))" ( (parenthesized_expression "(iVar3 = iVar2, mVar1 == 0 && (iVar3 = iVar2 + -1, iVar3 != 0))" ( (comma_expression "iVar3 = iVar2, mVar1 == 0 && (iVar3 = iVar2 + -1, iVar3 != 0)" (assignment_expression "iVar3 = iVar2" identifier = identifier) , (binary_expression "mVar1 == 0 && (iVar3 = iVar2 + -1, iVar3 != 0)" (binary_expression "mVar1 == 0" identifier == number_literal) && (parenthesized_expression "(iVar3 = iVar2 + -1, iVar3 != 0)" ( (comma_expression "iVar3 = iVar2 + -1, iVar3 != 0" (assignment_expression "iVar3 = iVar2 + -1" identifier = (binary_expression "iVar2 + -1" identifier + number_literal)) , (binary_expression "iVar3 != 0" identifier != number_literal)) )))) )) )) (compound_statement "{\n      mVar1 = x->_mp_d[iVar2 + -2];\n      iVar2 = iVar3;\n    }" { (expression_statement "mVar1 = x->_mp_d[iVar2 + -2];" (assignment_expression "mVar1 = x->_mp_d[iVar2 + -2]" identifier = (subscript_expression "x->_mp_d[iVar2 + -2]" (field_expression "x->_mp_d" identifier -> field_identifier) [ (binary_expression "iVar2 + -2" identifier + number_literal) ])) ;) (expression_statement "iVar2 = iVar3;" (assignment_expression "iVar2 = iVar3" identifier = identifier) ;) })) (if_statement "if (xs < 0) {\n      iVar3 = -iVar3;\n    }" if (parenthesized_expression "(xs < 0)" ( (binary_expression "xs < 0" identifier < number_literal) )) (compound_statement "{\n      iVar3 = -iVar3;\n    }" { (expression_statement "iVar3 = -iVar3;" (assignment_expression "iVar3 = -iVar3" identifier = (unary_expression "-iVar3" - identifier)) ;) })) }))) (expression_statement "x->_mp_size = iVar3;" (assignment_expression "x->_mp_size = iVar3" (field_expression "x->_mp_size" identifier -> field_identifier) = identifier) ;) (return_statement "return;" return ;) })))
(translation_unit "void __gmpz_limbs_finish(int param_1,uint param_2)\n\n{\n  int iVar1;\n  int iVar2;\n  \n  iVar2 = ((int)param_2 >> 0x1f ^ param_2) - ((int)param_2 >> 0x1f);\n  if (param_2 == 0) {\n    iVar2 = 0;\n  }\n  else {\n    iVar1 = *(int *)(*(int *)(param_1 + 8) + -4 + iVar2 * 4);\n    while ((iVar1 == 0 && (iVar2 = iVar2 + -1, iVar2 != 0))) {\n      iVar1 = *(int *)(*(int *)(param_1 + 8) + -4 + iVar2 * 4);\n    }\n    if ((int)param_2 < 0) {\n      iVar2 = -iVar2;\n    }\n  }\n  *(int *)(param_1 + 4) = iVar2;\n  return;\n}\n\n" (function_definition "void __gmpz_limbs_finish(int param_1,uint param_2)\n\n{\n  int iVar1;\n  int iVar2;\n  \n  iVar2 = ((int)param_2 >> 0x1f ^ param_2) - ((int)param_2 >> 0x1f);\n  if (param_2 == 0) {\n    iVar2 = 0;\n  }\n  else {\n    iVar1 = *(int *)(*(int *)(param_1 + 8) + -4 + iVar2 * 4);\n    while ((iVar1 == 0 && (iVar2 = iVar2 + -1, iVar2 != 0))) {\n      iVar1 = *(int *)(*(int *)(param_1 + 8) + -4 + iVar2 * 4);\n    }\n    if ((int)param_2 < 0) {\n      iVar2 = -iVar2;\n    }\n  }\n  *(int *)(param_1 + 4) = iVar2;\n  return;\n}" primitive_type (function_declarator "__gmpz_limbs_finish(int param_1,uint param_2)" identifier (parameter_list "(int param_1,uint param_2)" ( (parameter_declaration "int param_1" primitive_type identifier) , (parameter_declaration "uint param_2" type_identifier identifier) ))) (compound_statement "{\n  int iVar1;\n  int iVar2;\n  \n  iVar2 = ((int)param_2 >> 0x1f ^ param_2) - ((int)param_2 >> 0x1f);\n  if (param_2 == 0) {\n    iVar2 = 0;\n  }\n  else {\n    iVar1 = *(int *)(*(int *)(param_1 + 8) + -4 + iVar2 * 4);\n    while ((iVar1 == 0 && (iVar2 = iVar2 + -1, iVar2 != 0))) {\n      iVar1 = *(int *)(*(int *)(param_1 + 8) + -4 + iVar2 * 4);\n    }\n    if ((int)param_2 < 0) {\n      iVar2 = -iVar2;\n    }\n  }\n  *(int *)(param_1 + 4) = iVar2;\n  return;\n}" { (declaration "int iVar1;" primitive_type identifier ;) (declaration "int iVar2;" primitive_type identifier ;) (expression_statement "iVar2 = ((int)param_2 >> 0x1f ^ param_2) - ((int)param_2 >> 0x1f);" (assignment_expression "iVar2 = ((int)param_2 >> 0x1f ^ param_2) - ((int)param_2 >> 0x1f)" identifier = (binary_expression "((int)param_2 >> 0x1f ^ param_2) - ((int)param_2 >> 0x1f)" (parenthesized_expression "((int)param_2 >> 0x1f ^ param_2)" ( (binary_expression "(int)param_2 >> 0x1f ^ param_2" (binary_expression "(int)param_2 >> 0x1f" (cast_expression "(int)param_2" ( (type_descriptor "int" primitive_type) ) identifier) >> number_literal) ^ identifier) )) - (parenthesized_expression "((int)param_2 >> 0x1f)" ( (binary_expression "(int)param_2 >> 0x1f" (cast_expression "(int)param_2" ( (type_descriptor "int" primitive_type) ) identifier) >> number_literal) )))) ;) (if_statement "if (param_2 == 0) {\n    iVar2 = 0;\n  }\n  else {\n    iVar1 = *(int *)(*(int *)(param_1 + 8) + -4 + iVar2 * 4);\n    while ((iVar1 == 0 && (iVar2 = iVar2 + -1, iVar2 != 0))) {\n      iVar1 = *(int *)(*(int *)(param_1 + 8) + -4 + iVar2 * 4);\n    }\n    if ((int)param_2 < 0) {\n      iVar2 = -iVar2;\n    }\n  }" if (parenthesized_expression "(param_2 == 0)" ( (binary_expression "param_2 == 0" identifier == number_literal) )) (compound_statement "{\n    iVar2 = 0;\n  }" { (expression_statement "iVar2 = 0;" (assignment_expression "iVar2 = 0" identifier = number_literal) ;) }) (else_clause "else {\n    iVar1 = *(int *)(*(int *)(param_1 + 8) + -4 + iVar2 * 4);\n    while ((iVar1 == 0 && (iVar2 = iVar2 + -1, iVar2 != 0))) {\n      iVar1 = *(int *)(*(int *)(param_1 + 8) + -4 + iVar2 * 4);\n    }\n    if ((int)param_2 < 0) {\n      iVar2 = -iVar2;\n    }\n  }" else (compound_statement "{\n    iVar1 = *(int *)(*(int *)(param_1 + 8) + -4 + iVar2 * 4);\n    while ((iVar1 == 0 && (iVar2 = iVar2 + -1, iVar2 != 0))) {\n      iVar1 = *(int *)(*(int *)(param_1 + 8) + -4 + iVar2 * 4);\n    }\n    if ((int)param_2 < 0) {\n      iVar2 = -iVar2;\n    }\n  }" { (expression_statement "iVar1 = *(int *)(*(int *)(param_1 + 8) + -4 + iVar2 * 4);" (assignment_expression "iVar1 = *(int *)(*(int *)(param_1 + 8) + -4 + iVar2 * 4)" identifier = (pointer_expression "*(int *)(*(int *)(param_1 + 8) + -4 + iVar2 * 4)" * (cast_expression "(int *)(*(int *)(param_1 + 8) + -4 + iVar2 * 4)" ( (type_descriptor "int *" primitive_type (abstract_pointer_declarator "*" *)) ) (parenthesized_expression "(*(int *)(param_1 + 8) + -4 + iVar2 * 4)" ( (binary_expression "*(int *)(param_1 + 8) + -4 + iVar2 * 4" (binary_expression "*(int *)(param_1 + 8) + -4" (pointer_expression "*(int *)(param_1 + 8)" * (cast_expression "(int *)(param_1 + 8)" ( (type_descriptor "int *" primitive_type (abstract_pointer_declarator "*" *)) ) (parenthesized_expression "(param_1 + 8)" ( (binary_expression "param_1 + 8" identifier + number_literal) )))) + number_literal) + (binary_expression "iVar2 * 4" identifier * number_literal)) ))))) ;) (while_statement "while ((iVar1 == 0 && (iVar2 = iVar2 + -1, iVar2 != 0))) {\n      iVar1 = *(int *)(*(int *)(param_1 + 8) + -4 + iVar2 * 4);\n    }" while (parenthesized_expression "((iVar1 == 0 && (iVar2 = iVar2 + -1, iVar2 != 0)))" ( (parenthesized_expression "(iVar1 == 0 && (iVar2 = iVar2 + -1, iVar2 != 0))" ( (binary_expression "iVar1 == 0 && (iVar2 = iVar2 + -1, iVar2 != 0)" (binary_expression "iVar1 == 0" identifier == number_literal) && (parenthesized_expression "(iVar2 = iVar2 + -1, iVar2 != 0)" ( (comma_expression "iVar2 = iVar2 + -1, iVar2 != 0" (assignment_expression "iVar2 = iVar2 + -1" identifier = (binary_expression "iVar2 + -1" identifier + number_literal)) , (binary_expression "iVar2 != 0" identifier != number_literal)) ))) )) )) (compound_statement "{\n      iVar1 = *(int *)(*(int *)(param_1 + 8) + -4 + iVar2 * 4);\n    }" { (expression_statement "iVar1 = *(int *)(*(int *)(param_1 + 8) + -4 + iVar2 * 4);" (assignment_expression "iVar1 = *(int *)(*(int *)(param_1 + 8) + -4 + iVar2 * 4)" identifier = (pointer_expression "*(int *)(*(int *)(param_1 + 8) + -4 + iVar2 * 4)" * (cast_expression "(int *)(*(int *)(param_1 + 8) + -4 + iVar2 * 4)" ( (type_descriptor "int *" primitive_type (abstract_pointer_declarator "*" *)) ) (parenthesized_expression "(*(int *)(param_1 + 8) + -4 + iVar2 * 4)" ( (binary_expression "*(int *)(param_1 + 8) + -4 + iVar2 * 4" (binary_expression "*(int *)(param_1 + 8) + -4" (pointer_expression "*(int *)(param_1 + 8)" * (cast_expression "(int *)(param_1 + 8)" ( (type_descriptor "int *" primitive_type (abstract_pointer_declarator "*" *)) ) (parenthesized_expression "(param_1 + 8)" ( (binary_expression "param_1 + 8" identifier + number_literal) )))) + number_literal) + (binary_expression "iVar2 * 4" identifier * number_literal)) ))))) ;) })) (if_statement "if ((int)param_2 < 0) {\n      iVar2 = -iVar2;\n    }" if (parenthesized_expression "((int)param_2 < 0)" ( (binary_expression "(int)param_2 < 0" (cast_expression "(int)param_2" ( (type_descriptor "int" primitive_type) ) identifier) < number_literal) )) (compound_statement "{\n      iVar2 = -iVar2;\n    }" { (expression_statement "iVar2 = -iVar2;" (assignment_expression "iVar2 = -iVar2" identifier = (unary_expression "-iVar2" - identifier)) ;) })) }))) (expression_statement "*(int *)(param_1 + 4) = iVar2;" (assignment_expression "*(int *)(param_1 + 4) = iVar2" (pointer_expression "*(int *)(param_1 + 4)" * (cast_expression "(int *)(param_1 + 4)" ( (type_descriptor "int *" primitive_type (abstract_pointer_declarator "*" *)) ) (parenthesized_expression "(param_1 + 4)" ( (binary_expression "param_1 + 4" identifier + number_literal) )))) = identifier) ;) (return_statement "return;" return ;) })))
(translation_unit (function_definition TYPE (function_declarator IDENT (parameter_list ( (parameter_declaration TYPE IDENT) , (parameter_declaration TYPE IDENT) ))) (compound_statement { (declaration TYPE IDENT ;) (declaration TYPE IDENT ;) (expression_statement (assignment_expression IDENT = (binary_expression (parenthesized_expression ( (binary_expression (binary_expression (cast_expression ( (type_descriptor TYPE) ) IDENT) >> LIT) ^ IDENT) )) - (parenthesized_expression ( (binary_expression (cast_expression ( (type_descriptor TYPE) ) IDENT) >> LIT) )))) ;) (if_statement if (parenthesized_expression ( (binary_expression IDENT == LIT) )) (compound_statement { (expression_statement (assignment_expression IDENT = LIT) ;) }) (else_clause else (compound_statement { (expression_statement (assignment_expression IDENT = (pointer_expression * (cast_expression ( (type_descriptor TYPE (abstract_pointer_declarator *)) ) (parenthesized_expression ( (binary_expression (binary_expression (pointer_expression * (cast_expression ( (type_descriptor TYPE (abstract_pointer_declarator *)) ) (parenthesized_expression ( (binary_expression IDENT + LIT) )))) + LIT) + (binary_expression IDENT * LIT)) ))))) ;) (while_statement while (parenthesized_expression ( (parenthesized_expression ( (binary_expression (binary_expression IDENT == LIT) && (parenthesized_expression ( (comma_expression (assignment_expression IDENT = (binary_expression IDENT + LIT)) , (binary_expression IDENT != LIT)) ))) )) )) (compound_statement { (expression_statement (assignment_expression IDENT = (pointer_expression * (cast_expression ( (type_descriptor TYPE (abstract_pointer_declarator *)) ) (parenthesized_expression ( (binary_expression (binary_expression (pointer_expression * (cast_expression ( (type_descriptor TYPE (abstract_pointer_declarator *)) ) (parenthesized_expression ( (binary_expression IDENT + LIT) )))) + LIT) + (binary_expression IDENT * LIT)) ))))) ;) })) (if_statement if (parenthesized_expression ( (binary_expression (cast_expression ( (type_descriptor TYPE) ) IDENT) < LIT) )) (compound_statement { (expression_statement (assignment_expression IDENT = (unary_expression - IDENT)) ;) })) }))) (expression_statement (assignment_expression (pointer_expression * (cast_expression ( (type_descriptor TYPE (abstract_pointer_declarator *)) ) (parenthesized_expression ( (binary_expression IDENT + LIT) )))) = IDENT) ;) (return_statement return ;) })))
(function_definition "void __gmpz_limbs_finish(int param_1,uint param_2)\n\n{\n  int iVar1;\n  int iVar2;\n  \n  iVar2 = ((int)param_2 >> 0x1f ^ param_2) - ((int)param_2 >> 0x1f);\n  if (param_2 == 0) {\n    iVar2 = 0;\n  }\n  else {\n    iVar1 = *(int *)(*(int *)(param_1 + 8) + -4 + iVar2 * 4);\n    while ((iVar1 == 0 && (iVar2 = iVar2 + -1, iVar2 != 0))) {\n      iVar1 = *(int *)(*(int *)(param_1 + 8) + -4 + iVar2 * 4);\n    }\n    if ((int)param_2 < 0) {\n      iVar2 = -iVar2;\n    }\n  }\n  *(int *)(param_1 + 4) = iVar2;\n  return;\n}" (primitive_type "void") (function_declarator "__gmpz_limbs_finish(int param_1,uint param_2)" (identifier "__gmpz_limbs_finish") (parameter_list "(int param_1,uint param_2)" (( "(") (parameter_declaration "int param_1" (primitive_type "int") (identifier "param_1")) (, ",") (parameter_declaration "uint param_2" (type_identifier "uint") (identifier "param_2")) () ")"))) (compound_statement "{\n  int iVar1;\n  int iVar2;\n  \n  iVar2 = ((int)param_2 >> 0x1f ^ param_2) - ((int)param_2 >> 0x1f);\n  if (param_2 == 0) {\n    iVar2 = 0;\n  }\n  else {\n    iVar1 = *(int *)(*(int *)(param_1 + 8) + -4 + iVar2 * 4);\n    while ((iVar1 == 0 && (iVar2 = iVar2 + -1, iVar2 != 0))) {\n      iVar1 = *(int *)(*(int *)(param_1 + 8) + -4 + iVar2 * 4);\n    }\n    if ((int)param_2 < 0) {\n      iVar2 = -iVar2;\n    }\n  }\n  *(int *)(param_1 + 4) = iVar2;\n  return;\n}" ({ "{") (declaration "int iVar1;" (primitive_type "int") (identifier "iVar1") (; ";")) (declaration "int iVar2;" (primitive_type "int") (identifier "iVar2") (; ";")) (expression_statement "iVar2 = ((int)param_2 >> 0x1f ^ param_2) - ((int)param_2 >> 0x1f);" (assignment_expression "iVar2 = ((int)param_2 >> 0x1f ^ param_2) - ((int)param_2 >> 0x1f)" (identifier "iVar2") (= "=") (binary_expression "((int)param_2 >> 0x1f ^ param_2) - ((int)param_2 >> 0x1f)" (parenthesized_expression "((int)param_2 >> 0x1f ^ param_2)" (( "(") (binary_expression "(int)param_2 >> 0x1f ^ param_2" (binary_expression "(int)param_2 >> 0x1f" (cast_expression "(int)param_2" (( "(") (type_descriptor "int" (primitive_type "int")) () ")") (identifier "param_2")) (>> ">>") (number_literal "0x1f")) (^ "^") (identifier "param_2")) () ")")) (- "-") (parenthesized_expression "((int)param_2 >> 0x1f)" (( "(") (binary_expression "(int)param_2 >> 0x1f" (cast_expression "(int)param_2" (( "(") (type_descriptor "int" (primitive_type "int")) () ")") (identifier "param_2")) (>> ">>") (number_literal "0x1f")) () ")")))) (; ";")) (if_statement "if (param_2 == 0) {\n    iVar2 = 0;\n  }\n  else {\n    iVar1 = *(int *)(*(int *)(param_1 + 8) + -4 + iVar2 * 4);\n    while ((iVar1 == 0 && (iVar2 = iVar2 + -1, iVar2 != 0))) {\n      iVar1 = *(int *)(*(int *)(param_1 + 8) + -4 + iVar2 * 4);\n    }\n    if ((int)param_2 < 0) {\n      iVar2 = -iVar2;\n    }\n  }" (if "if") (parenthesized_expression "(param_2 == 0)" (( "(") (binary_expression "param_2 == 0" (identifier "param_2") (== "==") (number_literal "0")) () ")")) (compound_statement "{\n    iVar2 = 0;\n  }" ({ "{") (expression_statement "iVar2 = 0;" (assignment_expression "iVar2 = 0" (identifier "iVar2") (= "=") (number_literal "0")) (; ";")) (} "}")) (else_clause "else {\n    iVar1 = *(int *)(*(int *)(param_1 + 8) + -4 + iVar2 * 4);\n    while ((iVar1 == 0 && (iVar2 = iVar2 + -1, iVar2 != 0))) {\n      iVar1 = *(int *)(*(int *)(param_1 + 8) + -4 + iVar2 * 4);\n    }\n    if ((int)param_2 < 0) {\n      iVar2 = -iVar2;\n    }\n  }" (else "else") (compound_statement "{\n    iVar1 = *(int *)(*(int *)(param_1 + 8) + -4 + iVar2 * 4);\n    while ((iVar1 == 0 && (iVar2 = iVar2 + -1, iVar2 != 0))) {\n      iVar1 = *(int *)(*(int *)(param_1 + 8) + -4 + iVar2 * 4);\n    }\n    if ((int)param_2 < 0) {\n      iVar2 = -iVar2;\n    }\n  }" ({ "{") (expression_statement "iVar1 = *(int *)(*(int *)(param_1 + 8) + -4 + iVar2 * 4);" (assignment_expression "iVar1 = *(int *)(*(int *)(param_1 + 8) + -4 + iVar2 * 4)" (identifier "iVar1") (= "=") (pointer_expression "*(int *)(*(int *)(param_1 + 8) + -4 + iVar2 * 4)" (* "*") (cast_expression "(int *)(*(int *)(param_1 + 8) + -4 + iVar2 * 4)" (( "(") (type_descriptor "int *" (primitive_type "int") (abstract_pointer_declarator "*" (* "*"))) () ")") (parenthesized_expression "(*(int *)(param_1 + 8) + -4 + iVar2 * 4)" (( "(") (binary_expression "*(int *)(param_1 + 8) + -4 + iVar2 * 4" (binary_expression "*(int *)(param_1 + 8) + -4" (pointer_expression "*(int *)(param_1 + 8)" (* "*") (cast_expression "(int *)(param_1 + 8)" (( "(") (type_descriptor "int *" (primitive_type "int") (abstract_pointer_declarator "*" (* "*"))) () ")") (parenthesized_expression "(param_1 + 8)" (( "(") (binary_expression "param_1 + 8" (identifier "param_1") (+ "+") (number_literal "8")) () ")")))) (+ "+") (number_literal "-4")) (+ "+") (binary_expression "iVar2 * 4" (identifier "iVar2") (* "*") (number_literal "4"))) () ")"))))) (; ";")) (while_statement "while ((iVar1 == 0 && (iVar2 = iVar2 + -1, iVar2 != 0))) {\n      iVar1 = *(int *)(*(int *)(param_1 + 8) + -4 + iVar2 * 4);\n    }" (while "while") (parenthesized_expression "((iVar1 == 0 && (iVar2 = iVar2 + -1, iVar2 != 0)))" (( "(") (parenthesized_expression "(iVar1 == 0 && (iVar2 = iVar2 + -1, iVar2 != 0))" (( "(") (binary_expression "iVar1 == 0 && (iVar2 = iVar2 + -1, iVar2 != 0)" (binary_expression "iVar1 == 0" (identifier "iVar1") (== "==") (number_literal "0")) (&& "&&") (parenthesized_expression "(iVar2 = iVar2 + -1, iVar2 != 0)" (( "(") (comma_expression "iVar2 = iVar2 + -1, iVar2 != 0" (assignment_expression "iVar2 = iVar2 + -1" (identifier "iVar2") (= "=") (binary_expression "iVar2 + -1" (identifier "iVar2") (+ "+") (number_literal "-1"))) (, ",") (binary_expression "iVar2 != 0" (identifier "iVar2") (!= "!=") (number_literal "0"))) () ")"))) () ")")) () ")")) (compound_statement "{\n      iVar1 = *(int *)(*(int *)(param_1 + 8) + -4 + iVar2 * 4);\n    }" ({ "{") (expression_statement "iVar1 = *(int *)(*(int *)(param_1 + 8) + -4 + iVar2 * 4);" (assignment_expression "iVar1 = *(int *)(*(int *)(param_1 + 8) + -4 + iVar2 * 4)" (identifier "iVar1") (= "=") (pointer_expression "*(int *)(*(int *)(param_1 + 8) + -4 + iVar2 * 4)" (* "*") (cast_expression "(int *)(*(int *)(param_1 + 8) + -4 + iVar2 * 4)" (( "(") (type_descriptor "int *" (primitive_type "int") (abstract_pointer_declarator "*" (* "*"))) () ")") (parenthesized_expression "(*(int *)(param_1 + 8) + -4 + iVar2 * 4)" (( "(") (binary_expression "*(int *)(param_1 + 8) + -4 + iVar2 * 4" (binary_expression "*(int *)(param_1 + 8) + -4" (pointer_expression "*(int *)(param_1 + 8)" (* "*") (cast_expression "(int *)(param_1 + 8)" (( "(") (type_descriptor "int *" (primitive_type "int") (abstract_pointer_declarator "*" (* "*"))) () ")") (parenthesized_expression "(param_1 + 8)" (( "(") (binary_expression "param_1 + 8" (identifier "param_1") (+ "+") (number_literal "8")) () ")")))) (+ "+") (number_literal "-4")) (+ "+") (binary_expression "iVar2 * 4" (identifier "iVar2") (* "*") (number_literal "4"))) () ")"))))) (; ";")) (} "}"))) (if_statement "if ((int)param_2 < 0) {\n      iVar2 = -iVar2;\n    }" (if "if") (parenthesized_expression "((int)param_2 < 0)" (( "(") (binary_expression "(int)param_2 < 0" (cast_expression "(int)param_2" (( "(") (type_descriptor "int" (primitive_type "int")) () ")") (identifier "param_2")) (< "<") (number_literal "0")) () ")")) (compound_statement "{\n      iVar2 = -iVar2;\n    }" ({ "{") (expression_statement "iVar2 = -iVar2;" (assignment_expression "iVar2 = -iVar2" (identifier "iVar2") (= "=") (unary_expression "-iVar2" (- "-") (identifier "iVar2"))) (; ";")) (} "}"))) (} "}")))) (expression_statement "*(int *)(param_1 + 4) = iVar2;" (assignment_expression "*(int *)(param_1 + 4) = iVar2" (pointer_expression "*(int *)(param_1 + 4)" (* "*") (cast_expression "(int *)(param_1 + 4)" (( "(") (type_descriptor "int *" (primitive_type "int") (abstract_pointer_declarator "*" (* "*"))) () ")") (parenthesized_expression "(param_1 + 4)" (( "(") (binary_expression "param_1 + 4" (identifier "param_1") (+ "+") (number_literal "4")) () ")")))) (= "=") (identifier "iVar2")) (; ";")) (return_statement "return;" (return "return") (; ";")) (} "}")))

void function_1(type_1 x,type_2 var_1)

{
  type_3 var_3;
  int var_2;
  int var_4;
  
  var_2 = (var_1 >> 0x1f ^ var_1) - (var_1 >> 0x1f);
  if (var_1 == 0) {
    var_4 = 0;
  }
  else {
    var_3 = x->_mp_d[var_2 + -1];
    while ((var_4 = var_2, var_3 == 0 && (var_4 = var_2 + -1, var_4 != 0))) {
      var_3 = x->_mp_d[var_2 + -2];
      var_2 = var_4;
    }
    if (var_1 < 0) {
      var_4 = -var_4;
    }
  }
  x->_mp_size = var_4;
  return;
}


(translation_unit (function_definition type: (primitive_type) declarator: (function_declarator declarator: (identifier) parameters: (parameter_list (parameter_declaration type: (primitive_type) declarator: (identifier)) (parameter_declaration type: (type_identifier) declarator: (identifier)))) body: (compound_statement (declaration type: (primitive_type) declarator: (identifier)) (declaration type: (primitive_type) declarator: (identifier)) (expression_statement (assignment_expression left: (identifier) right: (binary_expression left: (parenthesized_expression (binary_expression left: (binary_expression left: (cast_expression type: (type_descriptor type: (primitive_type)) value: (identifier)) right: (number_literal)) right: (identifier))) right: (parenthesized_expression (binary_expression left: (cast_expression type: (type_descriptor type: (primitive_type)) value: (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 (expression_statement (assignment_expression left: (identifier) right: (pointer_expression argument: (cast_expression type: (type_descriptor type: (primitive_type) declarator: (abstract_pointer_declarator)) value: (parenthesized_expression (binary_expression left: (binary_expression left: (pointer_expression argument: (cast_expression type: (type_descriptor type: (primitive_type) declarator: (abstract_pointer_declarator)) value: (parenthesized_expression (binary_expression left: (identifier) right: (number_literal))))) right: (number_literal)) right: (binary_expression left: (identifier) right: (number_literal)))))))) (while_statement condition: (parenthesized_expression (parenthesized_expression (binary_expression left: (binary_expression left: (identifier) right: (number_literal)) right: (parenthesized_expression (comma_expression left: (assignment_expression left: (identifier) right: (binary_expression left: (identifier) right: (number_literal))) right: (binary_expression left: (identifier) right: (number_literal))))))) body: (compound_statement (expression_statement (assignment_expression left: (identifier) right: (pointer_expression argument: (cast_expression type: (type_descriptor type: (primitive_type) declarator: (abstract_pointer_declarator)) value: (parenthesized_expression (binary_expression left: (binary_expression left: (pointer_expression argument: (cast_expression type: (type_descriptor type: (primitive_type) declarator: (abstract_pointer_declarator)) value: (parenthesized_expression (binary_expression left: (identifier) right: (number_literal))))) right: (number_literal)) right: (binary_expression left: (identifier) right: (number_literal)))))))))) (if_statement condition: (parenthesized_expression (binary_expression left: (cast_expression type: (type_descriptor type: (primitive_type)) value: (identifier)) right: (number_literal))) consequence: (compound_statement (expression_statement (assignment_expression left: (identifier) right: (unary_expression argument: (identifier))))))))) (expression_statement (assignment_expression left: (pointer_expression argument: (cast_expression type: (type_descriptor type: (primitive_type) declarator: (abstract_pointer_declarator)) value: (parenthesized_expression (binary_expression left: (identifier) right: (number_literal))))) right: (identifier))) (return_statement))))

void MASKED(int param_1,uint param_2)

{
  int iVar1;
  int iVar2;
  
  iVar2 = ((int)param_2 >> 0x1f ^ param_2) - ((int)param_2 >> 0x1f);
  if (param_2 == 0) {
    iVar2 = 0;
  }
  else {
    iVar1 = *(int *)(*(int *)(param_1 + 8) + -4 + iVar2 * 4);
    while ((iVar1 == 0 && (iVar2 = iVar2 + -1, iVar2 != 0))) {
      iVar1 = *(int *)(*(int *)(param_1 + 8) + -4 + iVar2 * 4);
    }
    if ((int)param_2 < 0) {
      iVar2 = -iVar2;
    }
  }
  *(int *)(param_1 + 4) = iVar2;
  return;
}

