
mp_size_t __gmpn_mu_divappr_q_itch(mp_size_t nn,mp_size_t dn,int mua_k)

{
  int iVar1;
  int iVar2;
  int iVar3;
  int iVar4;
  int iVar5;
  
  iVar5 = (nn - dn) + 1;
  if (dn < iVar5) {
    iVar5 = dn;
  }
  iVar1 = (*(code *)PTR___gmpn_mu_divappr_q_choose_in_00097478)(nn - dn,iVar5);
  iVar2 = (*(code *)PTR___gmpn_mulmod_bnm1_next_size_000973b4)(iVar5 + 1);
  iVar3 = iVar2 >> 1;
  iVar4 = iVar2 + 4;
  if (iVar3 < iVar5) {
    if (iVar1 <= iVar3) {
      iVar5 = iVar2 + iVar5 + iVar4 + iVar3;
      iVar4 = iVar1 * 3 + 4;
      if (iVar5 <= iVar4) {
        iVar5 = iVar4;
      }
      return iVar5 + iVar1;
    }
    iVar4 = iVar4 + iVar2;
  }
  iVar4 = iVar2 + iVar5 + iVar4;
  iVar5 = iVar1 * 3 + 4;
  if (iVar4 <= iVar5) {
    iVar4 = iVar5;
  }
  return iVar4 + iVar1;
}



int __gmpn_mu_divappr_q_itch(int param_1,int param_2)

{
  int iVar1;
  int iVar2;
  int iVar3;
  int iVar4;
  int iVar5;
  
  iVar5 = (param_1 - param_2) + 1;
  if (param_2 < iVar5) {
    iVar5 = param_2;
  }
  iVar1 = (*(code *)PTR___gmpn_mu_divappr_q_choose_in_00097478)(param_1 - param_2,iVar5);
  iVar2 = (*(code *)PTR___gmpn_mulmod_bnm1_next_size_000973b4)(iVar5 + 1);
  iVar3 = iVar2 >> 1;
  iVar4 = iVar2 + 4;
  if (iVar3 < iVar5) {
    if (iVar1 <= iVar3) {
      iVar5 = iVar2 + iVar5 + iVar4 + iVar3;
      iVar4 = iVar1 * 3 + 4;
      if (iVar5 <= iVar4) {
        iVar5 = iVar4;
      }
      return iVar5 + iVar1;
    }
    iVar4 = iVar4 + iVar2;
  }
  iVar4 = iVar2 + iVar5 + iVar4;
  iVar5 = iVar1 * 3 + 4;
  if (iVar4 <= iVar5) {
    iVar4 = iVar5;
  }
  return iVar4 + iVar1;
}


lui gp,0x3
addiu gp,gp,-0x550
addu gp,gp,t9
addiu sp,sp,-0x28
lw t9,-0x7bc8(gp)
subu a0,a0,a1
sw s0,0x1c(sp)
addiu s0,a0,0x1
sw gp,0x10(sp)
slt v0,a1,s0
sw ra,0x24(sp)
movn s0,a1,v0
sw s1,0x20(sp)
jalr t9
_or a1,s0,zero
addiu a0,s0,0x1
lw gp,0x10(sp)
lw t9,-0x7c8c(gp)
jalr t9
_or s1,v0,zero
sra v1,v0,0x1
slt a0,v1,s0
beq a0,zero,0x0006f600
_addiu a1,v0,0x4
slt a0,v1,s1
beq a0,zero,0x0006f638
_lw ra,0x24(sp)
addu a1,a1,v0
addiu v1,s1,0x1
lw ra,0x24(sp)
addu v0,v0,s0
lw s0,0x1c(sp)
sll v1,v1,0x1
addu v0,v0,a1
addu v1,v1,s1
addiu v1,v1,0x2
slt a0,v1,v0
movz v0,v1,a0
addu v0,v0,s1
lw s1,0x20(sp)
jr ra
_addiu sp,sp,0x28
addu a1,a1,v1
addiu v1,s1,0x1
addu v0,v0,s0
lw s0,0x1c(sp)
sll v1,v1,0x1
addu v0,v0,a1
addu v1,v1,s1
addiu v1,v1,0x2
slt a0,v1,v0
movz v0,v1,a0
addu v0,v0,s1
lw s1,0x20(sp)
jr ra
_addiu sp,sp,0x28
(translation_unit "int __gmpn_mu_divappr_q_itch(int param_1,int param_2)\n\n{\n  int iVar1;\n  int iVar2;\n  int iVar3;\n  int iVar4;\n  int iVar5;\n  \n  iVar5 = (param_1 - param_2) + 1;\n  if (param_2 < iVar5) {\n    iVar5 = param_2;\n  }\n  iVar1 = (*(code *)PTR___gmpn_mu_divappr_q_choose_in_00097478)(param_1 - param_2,iVar5);\n  iVar2 = (*(code *)PTR___gmpn_mulmod_bnm1_next_size_000973b4)(iVar5 + 1);\n  iVar3 = iVar2 >> 1;\n  iVar4 = iVar2 + 4;\n  if (iVar3 < iVar5) {\n    if (iVar1 <= iVar3) {\n      iVar5 = iVar2 + iVar5 + iVar4 + iVar3;\n      iVar4 = iVar1 * 3 + 4;\n      if (iVar5 <= iVar4) {\n        iVar5 = iVar4;\n      }\n      return iVar5 + iVar1;\n    }\n    iVar4 = iVar4 + iVar2;\n  }\n  iVar4 = iVar2 + iVar5 + iVar4;\n  iVar5 = iVar1 * 3 + 4;\n  if (iVar4 <= iVar5) {\n    iVar4 = iVar5;\n  }\n  return iVar4 + iVar1;\n}\n\n" (function_definition "int __gmpn_mu_divappr_q_itch(int param_1,int param_2)\n\n{\n  int iVar1;\n  int iVar2;\n  int iVar3;\n  int iVar4;\n  int iVar5;\n  \n  iVar5 = (param_1 - param_2) + 1;\n  if (param_2 < iVar5) {\n    iVar5 = param_2;\n  }\n  iVar1 = (*(code *)PTR___gmpn_mu_divappr_q_choose_in_00097478)(param_1 - param_2,iVar5);\n  iVar2 = (*(code *)PTR___gmpn_mulmod_bnm1_next_size_000973b4)(iVar5 + 1);\n  iVar3 = iVar2 >> 1;\n  iVar4 = iVar2 + 4;\n  if (iVar3 < iVar5) {\n    if (iVar1 <= iVar3) {\n      iVar5 = iVar2 + iVar5 + iVar4 + iVar3;\n      iVar4 = iVar1 * 3 + 4;\n      if (iVar5 <= iVar4) {\n        iVar5 = iVar4;\n      }\n      return iVar5 + iVar1;\n    }\n    iVar4 = iVar4 + iVar2;\n  }\n  iVar4 = iVar2 + iVar5 + iVar4;\n  iVar5 = iVar1 * 3 + 4;\n  if (iVar4 <= iVar5) {\n    iVar4 = iVar5;\n  }\n  return iVar4 + iVar1;\n}" primitive_type (function_declarator "__gmpn_mu_divappr_q_itch(int param_1,int param_2)" identifier (parameter_list "(int param_1,int param_2)" ( (parameter_declaration "int param_1" primitive_type identifier) , (parameter_declaration "int param_2" primitive_type identifier) ))) (compound_statement "{\n  int iVar1;\n  int iVar2;\n  int iVar3;\n  int iVar4;\n  int iVar5;\n  \n  iVar5 = (param_1 - param_2) + 1;\n  if (param_2 < iVar5) {\n    iVar5 = param_2;\n  }\n  iVar1 = (*(code *)PTR___gmpn_mu_divappr_q_choose_in_00097478)(param_1 - param_2,iVar5);\n  iVar2 = (*(code *)PTR___gmpn_mulmod_bnm1_next_size_000973b4)(iVar5 + 1);\n  iVar3 = iVar2 >> 1;\n  iVar4 = iVar2 + 4;\n  if (iVar3 < iVar5) {\n    if (iVar1 <= iVar3) {\n      iVar5 = iVar2 + iVar5 + iVar4 + iVar3;\n      iVar4 = iVar1 * 3 + 4;\n      if (iVar5 <= iVar4) {\n        iVar5 = iVar4;\n      }\n      return iVar5 + iVar1;\n    }\n    iVar4 = iVar4 + iVar2;\n  }\n  iVar4 = iVar2 + iVar5 + iVar4;\n  iVar5 = iVar1 * 3 + 4;\n  if (iVar4 <= iVar5) {\n    iVar4 = iVar5;\n  }\n  return iVar4 + iVar1;\n}" { (declaration "int iVar1;" primitive_type identifier ;) (declaration "int iVar2;" primitive_type identifier ;) (declaration "int iVar3;" primitive_type identifier ;) (declaration "int iVar4;" primitive_type identifier ;) (declaration "int iVar5;" primitive_type identifier ;) (expression_statement "iVar5 = (param_1 - param_2) + 1;" (assignment_expression "iVar5 = (param_1 - param_2) + 1" identifier = (binary_expression "(param_1 - param_2) + 1" (parenthesized_expression "(param_1 - param_2)" ( (binary_expression "param_1 - param_2" identifier - identifier) )) + number_literal)) ;) (if_statement "if (param_2 < iVar5) {\n    iVar5 = param_2;\n  }" if (parenthesized_expression "(param_2 < iVar5)" ( (binary_expression "param_2 < iVar5" identifier < identifier) )) (compound_statement "{\n    iVar5 = param_2;\n  }" { (expression_statement "iVar5 = param_2;" (assignment_expression "iVar5 = param_2" identifier = identifier) ;) })) (expression_statement "iVar1 = (*(code *)PTR___gmpn_mu_divappr_q_choose_in_00097478)(param_1 - param_2,iVar5);" (assignment_expression "iVar1 = (*(code *)PTR___gmpn_mu_divappr_q_choose_in_00097478)(param_1 - param_2,iVar5)" identifier = (call_expression "(*(code *)PTR___gmpn_mu_divappr_q_choose_in_00097478)(param_1 - param_2,iVar5)" (parenthesized_expression "(*(code *)PTR___gmpn_mu_divappr_q_choose_in_00097478)" ( (pointer_expression "*(code *)PTR___gmpn_mu_divappr_q_choose_in_00097478" * (cast_expression "(code *)PTR___gmpn_mu_divappr_q_choose_in_00097478" ( (type_descriptor "code *" type_identifier (abstract_pointer_declarator "*" *)) ) identifier)) )) (argument_list "(param_1 - param_2,iVar5)" ( (binary_expression "param_1 - param_2" identifier - identifier) , identifier )))) ;) (expression_statement "iVar2 = (*(code *)PTR___gmpn_mulmod_bnm1_next_size_000973b4)(iVar5 + 1);" (assignment_expression "iVar2 = (*(code *)PTR___gmpn_mulmod_bnm1_next_size_000973b4)(iVar5 + 1)" identifier = (call_expression "(*(code *)PTR___gmpn_mulmod_bnm1_next_size_000973b4)(iVar5 + 1)" (parenthesized_expression "(*(code *)PTR___gmpn_mulmod_bnm1_next_size_000973b4)" ( (pointer_expression "*(code *)PTR___gmpn_mulmod_bnm1_next_size_000973b4" * (cast_expression "(code *)PTR___gmpn_mulmod_bnm1_next_size_000973b4" ( (type_descriptor "code *" type_identifier (abstract_pointer_declarator "*" *)) ) identifier)) )) (argument_list "(iVar5 + 1)" ( (binary_expression "iVar5 + 1" identifier + number_literal) )))) ;) (expression_statement "iVar3 = iVar2 >> 1;" (assignment_expression "iVar3 = iVar2 >> 1" identifier = (binary_expression "iVar2 >> 1" identifier >> number_literal)) ;) (expression_statement "iVar4 = iVar2 + 4;" (assignment_expression "iVar4 = iVar2 + 4" identifier = (binary_expression "iVar2 + 4" identifier + number_literal)) ;) (if_statement "if (iVar3 < iVar5) {\n    if (iVar1 <= iVar3) {\n      iVar5 = iVar2 + iVar5 + iVar4 + iVar3;\n      iVar4 = iVar1 * 3 + 4;\n      if (iVar5 <= iVar4) {\n        iVar5 = iVar4;\n      }\n      return iVar5 + iVar1;\n    }\n    iVar4 = iVar4 + iVar2;\n  }" if (parenthesized_expression "(iVar3 < iVar5)" ( (binary_expression "iVar3 < iVar5" identifier < identifier) )) (compound_statement "{\n    if (iVar1 <= iVar3) {\n      iVar5 = iVar2 + iVar5 + iVar4 + iVar3;\n      iVar4 = iVar1 * 3 + 4;\n      if (iVar5 <= iVar4) {\n        iVar5 = iVar4;\n      }\n      return iVar5 + iVar1;\n    }\n    iVar4 = iVar4 + iVar2;\n  }" { (if_statement "if (iVar1 <= iVar3) {\n      iVar5 = iVar2 + iVar5 + iVar4 + iVar3;\n      iVar4 = iVar1 * 3 + 4;\n      if (iVar5 <= iVar4) {\n        iVar5 = iVar4;\n      }\n      return iVar5 + iVar1;\n    }" if (parenthesized_expression "(iVar1 <= iVar3)" ( (binary_expression "iVar1 <= iVar3" identifier <= identifier) )) (compound_statement "{\n      iVar5 = iVar2 + iVar5 + iVar4 + iVar3;\n      iVar4 = iVar1 * 3 + 4;\n      if (iVar5 <= iVar4) {\n        iVar5 = iVar4;\n      }\n      return iVar5 + iVar1;\n    }" { (expression_statement "iVar5 = iVar2 + iVar5 + iVar4 + iVar3;" (assignment_expression "iVar5 = iVar2 + iVar5 + iVar4 + iVar3" identifier = (binary_expression "iVar2 + iVar5 + iVar4 + iVar3" (binary_expression "iVar2 + iVar5 + iVar4" (binary_expression "iVar2 + iVar5" identifier + identifier) + identifier) + identifier)) ;) (expression_statement "iVar4 = iVar1 * 3 + 4;" (assignment_expression "iVar4 = iVar1 * 3 + 4" identifier = (binary_expression "iVar1 * 3 + 4" (binary_expression "iVar1 * 3" identifier * number_literal) + number_literal)) ;) (if_statement "if (iVar5 <= iVar4) {\n        iVar5 = iVar4;\n      }" if (parenthesized_expression "(iVar5 <= iVar4)" ( (binary_expression "iVar5 <= iVar4" identifier <= identifier) )) (compound_statement "{\n        iVar5 = iVar4;\n      }" { (expression_statement "iVar5 = iVar4;" (assignment_expression "iVar5 = iVar4" identifier = identifier) ;) })) (return_statement "return iVar5 + iVar1;" return (binary_expression "iVar5 + iVar1" identifier + identifier) ;) })) (expression_statement "iVar4 = iVar4 + iVar2;" (assignment_expression "iVar4 = iVar4 + iVar2" identifier = (binary_expression "iVar4 + iVar2" identifier + identifier)) ;) })) (expression_statement "iVar4 = iVar2 + iVar5 + iVar4;" (assignment_expression "iVar4 = iVar2 + iVar5 + iVar4" identifier = (binary_expression "iVar2 + iVar5 + iVar4" (binary_expression "iVar2 + iVar5" identifier + identifier) + identifier)) ;) (expression_statement "iVar5 = iVar1 * 3 + 4;" (assignment_expression "iVar5 = iVar1 * 3 + 4" identifier = (binary_expression "iVar1 * 3 + 4" (binary_expression "iVar1 * 3" identifier * number_literal) + number_literal)) ;) (if_statement "if (iVar4 <= iVar5) {\n    iVar4 = iVar5;\n  }" if (parenthesized_expression "(iVar4 <= iVar5)" ( (binary_expression "iVar4 <= iVar5" identifier <= identifier) )) (compound_statement "{\n    iVar4 = iVar5;\n  }" { (expression_statement "iVar4 = iVar5;" (assignment_expression "iVar4 = iVar5" identifier = identifier) ;) })) (return_statement "return iVar4 + iVar1;" return (binary_expression "iVar4 + iVar1" identifier + identifier) ;) })))
(translation_unit "mp_size_t __gmpn_mu_divappr_q_itch(mp_size_t nn,mp_size_t dn,int mua_k)\n\n{\n  int iVar1;\n  int iVar2;\n  int iVar3;\n  int iVar4;\n  int iVar5;\n  \n  iVar5 = (nn - dn) + 1;\n  if (dn < iVar5) {\n    iVar5 = dn;\n  }\n  iVar1 = (*(code *)PTR___gmpn_mu_divappr_q_choose_in_00097478)(nn - dn,iVar5);\n  iVar2 = (*(code *)PTR___gmpn_mulmod_bnm1_next_size_000973b4)(iVar5 + 1);\n  iVar3 = iVar2 >> 1;\n  iVar4 = iVar2 + 4;\n  if (iVar3 < iVar5) {\n    if (iVar1 <= iVar3) {\n      iVar5 = iVar2 + iVar5 + iVar4 + iVar3;\n      iVar4 = iVar1 * 3 + 4;\n      if (iVar5 <= iVar4) {\n        iVar5 = iVar4;\n      }\n      return iVar5 + iVar1;\n    }\n    iVar4 = iVar4 + iVar2;\n  }\n  iVar4 = iVar2 + iVar5 + iVar4;\n  iVar5 = iVar1 * 3 + 4;\n  if (iVar4 <= iVar5) {\n    iVar4 = iVar5;\n  }\n  return iVar4 + iVar1;\n}\n\n" (function_definition "mp_size_t __gmpn_mu_divappr_q_itch(mp_size_t nn,mp_size_t dn,int mua_k)\n\n{\n  int iVar1;\n  int iVar2;\n  int iVar3;\n  int iVar4;\n  int iVar5;\n  \n  iVar5 = (nn - dn) + 1;\n  if (dn < iVar5) {\n    iVar5 = dn;\n  }\n  iVar1 = (*(code *)PTR___gmpn_mu_divappr_q_choose_in_00097478)(nn - dn,iVar5);\n  iVar2 = (*(code *)PTR___gmpn_mulmod_bnm1_next_size_000973b4)(iVar5 + 1);\n  iVar3 = iVar2 >> 1;\n  iVar4 = iVar2 + 4;\n  if (iVar3 < iVar5) {\n    if (iVar1 <= iVar3) {\n      iVar5 = iVar2 + iVar5 + iVar4 + iVar3;\n      iVar4 = iVar1 * 3 + 4;\n      if (iVar5 <= iVar4) {\n        iVar5 = iVar4;\n      }\n      return iVar5 + iVar1;\n    }\n    iVar4 = iVar4 + iVar2;\n  }\n  iVar4 = iVar2 + iVar5 + iVar4;\n  iVar5 = iVar1 * 3 + 4;\n  if (iVar4 <= iVar5) {\n    iVar4 = iVar5;\n  }\n  return iVar4 + iVar1;\n}" type_identifier (function_declarator "__gmpn_mu_divappr_q_itch(mp_size_t nn,mp_size_t dn,int mua_k)" identifier (parameter_list "(mp_size_t nn,mp_size_t dn,int mua_k)" ( (parameter_declaration "mp_size_t nn" type_identifier identifier) , (parameter_declaration "mp_size_t dn" type_identifier identifier) , (parameter_declaration "int mua_k" primitive_type identifier) ))) (compound_statement "{\n  int iVar1;\n  int iVar2;\n  int iVar3;\n  int iVar4;\n  int iVar5;\n  \n  iVar5 = (nn - dn) + 1;\n  if (dn < iVar5) {\n    iVar5 = dn;\n  }\n  iVar1 = (*(code *)PTR___gmpn_mu_divappr_q_choose_in_00097478)(nn - dn,iVar5);\n  iVar2 = (*(code *)PTR___gmpn_mulmod_bnm1_next_size_000973b4)(iVar5 + 1);\n  iVar3 = iVar2 >> 1;\n  iVar4 = iVar2 + 4;\n  if (iVar3 < iVar5) {\n    if (iVar1 <= iVar3) {\n      iVar5 = iVar2 + iVar5 + iVar4 + iVar3;\n      iVar4 = iVar1 * 3 + 4;\n      if (iVar5 <= iVar4) {\n        iVar5 = iVar4;\n      }\n      return iVar5 + iVar1;\n    }\n    iVar4 = iVar4 + iVar2;\n  }\n  iVar4 = iVar2 + iVar5 + iVar4;\n  iVar5 = iVar1 * 3 + 4;\n  if (iVar4 <= iVar5) {\n    iVar4 = iVar5;\n  }\n  return iVar4 + iVar1;\n}" { (declaration "int iVar1;" primitive_type identifier ;) (declaration "int iVar2;" primitive_type identifier ;) (declaration "int iVar3;" primitive_type identifier ;) (declaration "int iVar4;" primitive_type identifier ;) (declaration "int iVar5;" primitive_type identifier ;) (expression_statement "iVar5 = (nn - dn) + 1;" (assignment_expression "iVar5 = (nn - dn) + 1" identifier = (binary_expression "(nn - dn) + 1" (parenthesized_expression "(nn - dn)" ( (binary_expression "nn - dn" identifier - identifier) )) + number_literal)) ;) (if_statement "if (dn < iVar5) {\n    iVar5 = dn;\n  }" if (parenthesized_expression "(dn < iVar5)" ( (binary_expression "dn < iVar5" identifier < identifier) )) (compound_statement "{\n    iVar5 = dn;\n  }" { (expression_statement "iVar5 = dn;" (assignment_expression "iVar5 = dn" identifier = identifier) ;) })) (expression_statement "iVar1 = (*(code *)PTR___gmpn_mu_divappr_q_choose_in_00097478)(nn - dn,iVar5);" (assignment_expression "iVar1 = (*(code *)PTR___gmpn_mu_divappr_q_choose_in_00097478)(nn - dn,iVar5)" identifier = (call_expression "(*(code *)PTR___gmpn_mu_divappr_q_choose_in_00097478)(nn - dn,iVar5)" (parenthesized_expression "(*(code *)PTR___gmpn_mu_divappr_q_choose_in_00097478)" ( (pointer_expression "*(code *)PTR___gmpn_mu_divappr_q_choose_in_00097478" * (cast_expression "(code *)PTR___gmpn_mu_divappr_q_choose_in_00097478" ( (type_descriptor "code *" type_identifier (abstract_pointer_declarator "*" *)) ) identifier)) )) (argument_list "(nn - dn,iVar5)" ( (binary_expression "nn - dn" identifier - identifier) , identifier )))) ;) (expression_statement "iVar2 = (*(code *)PTR___gmpn_mulmod_bnm1_next_size_000973b4)(iVar5 + 1);" (assignment_expression "iVar2 = (*(code *)PTR___gmpn_mulmod_bnm1_next_size_000973b4)(iVar5 + 1)" identifier = (call_expression "(*(code *)PTR___gmpn_mulmod_bnm1_next_size_000973b4)(iVar5 + 1)" (parenthesized_expression "(*(code *)PTR___gmpn_mulmod_bnm1_next_size_000973b4)" ( (pointer_expression "*(code *)PTR___gmpn_mulmod_bnm1_next_size_000973b4" * (cast_expression "(code *)PTR___gmpn_mulmod_bnm1_next_size_000973b4" ( (type_descriptor "code *" type_identifier (abstract_pointer_declarator "*" *)) ) identifier)) )) (argument_list "(iVar5 + 1)" ( (binary_expression "iVar5 + 1" identifier + number_literal) )))) ;) (expression_statement "iVar3 = iVar2 >> 1;" (assignment_expression "iVar3 = iVar2 >> 1" identifier = (binary_expression "iVar2 >> 1" identifier >> number_literal)) ;) (expression_statement "iVar4 = iVar2 + 4;" (assignment_expression "iVar4 = iVar2 + 4" identifier = (binary_expression "iVar2 + 4" identifier + number_literal)) ;) (if_statement "if (iVar3 < iVar5) {\n    if (iVar1 <= iVar3) {\n      iVar5 = iVar2 + iVar5 + iVar4 + iVar3;\n      iVar4 = iVar1 * 3 + 4;\n      if (iVar5 <= iVar4) {\n        iVar5 = iVar4;\n      }\n      return iVar5 + iVar1;\n    }\n    iVar4 = iVar4 + iVar2;\n  }" if (parenthesized_expression "(iVar3 < iVar5)" ( (binary_expression "iVar3 < iVar5" identifier < identifier) )) (compound_statement "{\n    if (iVar1 <= iVar3) {\n      iVar5 = iVar2 + iVar5 + iVar4 + iVar3;\n      iVar4 = iVar1 * 3 + 4;\n      if (iVar5 <= iVar4) {\n        iVar5 = iVar4;\n      }\n      return iVar5 + iVar1;\n    }\n    iVar4 = iVar4 + iVar2;\n  }" { (if_statement "if (iVar1 <= iVar3) {\n      iVar5 = iVar2 + iVar5 + iVar4 + iVar3;\n      iVar4 = iVar1 * 3 + 4;\n      if (iVar5 <= iVar4) {\n        iVar5 = iVar4;\n      }\n      return iVar5 + iVar1;\n    }" if (parenthesized_expression "(iVar1 <= iVar3)" ( (binary_expression "iVar1 <= iVar3" identifier <= identifier) )) (compound_statement "{\n      iVar5 = iVar2 + iVar5 + iVar4 + iVar3;\n      iVar4 = iVar1 * 3 + 4;\n      if (iVar5 <= iVar4) {\n        iVar5 = iVar4;\n      }\n      return iVar5 + iVar1;\n    }" { (expression_statement "iVar5 = iVar2 + iVar5 + iVar4 + iVar3;" (assignment_expression "iVar5 = iVar2 + iVar5 + iVar4 + iVar3" identifier = (binary_expression "iVar2 + iVar5 + iVar4 + iVar3" (binary_expression "iVar2 + iVar5 + iVar4" (binary_expression "iVar2 + iVar5" identifier + identifier) + identifier) + identifier)) ;) (expression_statement "iVar4 = iVar1 * 3 + 4;" (assignment_expression "iVar4 = iVar1 * 3 + 4" identifier = (binary_expression "iVar1 * 3 + 4" (binary_expression "iVar1 * 3" identifier * number_literal) + number_literal)) ;) (if_statement "if (iVar5 <= iVar4) {\n        iVar5 = iVar4;\n      }" if (parenthesized_expression "(iVar5 <= iVar4)" ( (binary_expression "iVar5 <= iVar4" identifier <= identifier) )) (compound_statement "{\n        iVar5 = iVar4;\n      }" { (expression_statement "iVar5 = iVar4;" (assignment_expression "iVar5 = iVar4" identifier = identifier) ;) })) (return_statement "return iVar5 + iVar1;" return (binary_expression "iVar5 + iVar1" identifier + identifier) ;) })) (expression_statement "iVar4 = iVar4 + iVar2;" (assignment_expression "iVar4 = iVar4 + iVar2" identifier = (binary_expression "iVar4 + iVar2" identifier + identifier)) ;) })) (expression_statement "iVar4 = iVar2 + iVar5 + iVar4;" (assignment_expression "iVar4 = iVar2 + iVar5 + iVar4" identifier = (binary_expression "iVar2 + iVar5 + iVar4" (binary_expression "iVar2 + iVar5" identifier + identifier) + identifier)) ;) (expression_statement "iVar5 = iVar1 * 3 + 4;" (assignment_expression "iVar5 = iVar1 * 3 + 4" identifier = (binary_expression "iVar1 * 3 + 4" (binary_expression "iVar1 * 3" identifier * number_literal) + number_literal)) ;) (if_statement "if (iVar4 <= iVar5) {\n    iVar4 = iVar5;\n  }" if (parenthesized_expression "(iVar4 <= iVar5)" ( (binary_expression "iVar4 <= iVar5" identifier <= identifier) )) (compound_statement "{\n    iVar4 = iVar5;\n  }" { (expression_statement "iVar4 = iVar5;" (assignment_expression "iVar4 = iVar5" identifier = identifier) ;) })) (return_statement "return iVar4 + iVar1;" return (binary_expression "iVar4 + iVar1" identifier + identifier) ;) })))
(translation_unit "int __gmpn_mu_divappr_q_itch(int param_1,int param_2)\n\n{\n  int iVar1;\n  int iVar2;\n  int iVar3;\n  int iVar4;\n  int iVar5;\n  \n  iVar5 = (param_1 - param_2) + 1;\n  if (param_2 < iVar5) {\n    iVar5 = param_2;\n  }\n  iVar1 = (*(code *)PTR___gmpn_mu_divappr_q_choose_in_00097478)(param_1 - param_2,iVar5);\n  iVar2 = (*(code *)PTR___gmpn_mulmod_bnm1_next_size_000973b4)(iVar5 + 1);\n  iVar3 = iVar2 >> 1;\n  iVar4 = iVar2 + 4;\n  if (iVar3 < iVar5) {\n    if (iVar1 <= iVar3) {\n      iVar5 = iVar2 + iVar5 + iVar4 + iVar3;\n      iVar4 = iVar1 * 3 + 4;\n      if (iVar5 <= iVar4) {\n        iVar5 = iVar4;\n      }\n      return iVar5 + iVar1;\n    }\n    iVar4 = iVar4 + iVar2;\n  }\n  iVar4 = iVar2 + iVar5 + iVar4;\n  iVar5 = iVar1 * 3 + 4;\n  if (iVar4 <= iVar5) {\n    iVar4 = iVar5;\n  }\n  return iVar4 + iVar1;\n}\n\n" (function_definition "int __gmpn_mu_divappr_q_itch(int param_1,int param_2)\n\n{\n  int iVar1;\n  int iVar2;\n  int iVar3;\n  int iVar4;\n  int iVar5;\n  \n  iVar5 = (param_1 - param_2) + 1;\n  if (param_2 < iVar5) {\n    iVar5 = param_2;\n  }\n  iVar1 = (*(code *)PTR___gmpn_mu_divappr_q_choose_in_00097478)(param_1 - param_2,iVar5);\n  iVar2 = (*(code *)PTR___gmpn_mulmod_bnm1_next_size_000973b4)(iVar5 + 1);\n  iVar3 = iVar2 >> 1;\n  iVar4 = iVar2 + 4;\n  if (iVar3 < iVar5) {\n    if (iVar1 <= iVar3) {\n      iVar5 = iVar2 + iVar5 + iVar4 + iVar3;\n      iVar4 = iVar1 * 3 + 4;\n      if (iVar5 <= iVar4) {\n        iVar5 = iVar4;\n      }\n      return iVar5 + iVar1;\n    }\n    iVar4 = iVar4 + iVar2;\n  }\n  iVar4 = iVar2 + iVar5 + iVar4;\n  iVar5 = iVar1 * 3 + 4;\n  if (iVar4 <= iVar5) {\n    iVar4 = iVar5;\n  }\n  return iVar4 + iVar1;\n}" primitive_type (function_declarator "__gmpn_mu_divappr_q_itch(int param_1,int param_2)" identifier (parameter_list "(int param_1,int param_2)" ( (parameter_declaration "int param_1" primitive_type identifier) , (parameter_declaration "int param_2" primitive_type identifier) ))) (compound_statement "{\n  int iVar1;\n  int iVar2;\n  int iVar3;\n  int iVar4;\n  int iVar5;\n  \n  iVar5 = (param_1 - param_2) + 1;\n  if (param_2 < iVar5) {\n    iVar5 = param_2;\n  }\n  iVar1 = (*(code *)PTR___gmpn_mu_divappr_q_choose_in_00097478)(param_1 - param_2,iVar5);\n  iVar2 = (*(code *)PTR___gmpn_mulmod_bnm1_next_size_000973b4)(iVar5 + 1);\n  iVar3 = iVar2 >> 1;\n  iVar4 = iVar2 + 4;\n  if (iVar3 < iVar5) {\n    if (iVar1 <= iVar3) {\n      iVar5 = iVar2 + iVar5 + iVar4 + iVar3;\n      iVar4 = iVar1 * 3 + 4;\n      if (iVar5 <= iVar4) {\n        iVar5 = iVar4;\n      }\n      return iVar5 + iVar1;\n    }\n    iVar4 = iVar4 + iVar2;\n  }\n  iVar4 = iVar2 + iVar5 + iVar4;\n  iVar5 = iVar1 * 3 + 4;\n  if (iVar4 <= iVar5) {\n    iVar4 = iVar5;\n  }\n  return iVar4 + iVar1;\n}" { (declaration "int iVar1;" primitive_type identifier ;) (declaration "int iVar2;" primitive_type identifier ;) (declaration "int iVar3;" primitive_type identifier ;) (declaration "int iVar4;" primitive_type identifier ;) (declaration "int iVar5;" primitive_type identifier ;) (expression_statement "iVar5 = (param_1 - param_2) + 1;" (assignment_expression "iVar5 = (param_1 - param_2) + 1" identifier = (binary_expression "(param_1 - param_2) + 1" (parenthesized_expression "(param_1 - param_2)" ( (binary_expression "param_1 - param_2" identifier - identifier) )) + number_literal)) ;) (if_statement "if (param_2 < iVar5) {\n    iVar5 = param_2;\n  }" if (parenthesized_expression "(param_2 < iVar5)" ( (binary_expression "param_2 < iVar5" identifier < identifier) )) (compound_statement "{\n    iVar5 = param_2;\n  }" { (expression_statement "iVar5 = param_2;" (assignment_expression "iVar5 = param_2" identifier = identifier) ;) })) (expression_statement "iVar1 = (*(code *)PTR___gmpn_mu_divappr_q_choose_in_00097478)(param_1 - param_2,iVar5);" (assignment_expression "iVar1 = (*(code *)PTR___gmpn_mu_divappr_q_choose_in_00097478)(param_1 - param_2,iVar5)" identifier = (call_expression "(*(code *)PTR___gmpn_mu_divappr_q_choose_in_00097478)(param_1 - param_2,iVar5)" (parenthesized_expression "(*(code *)PTR___gmpn_mu_divappr_q_choose_in_00097478)" ( (pointer_expression "*(code *)PTR___gmpn_mu_divappr_q_choose_in_00097478" * (cast_expression "(code *)PTR___gmpn_mu_divappr_q_choose_in_00097478" ( (type_descriptor "code *" type_identifier (abstract_pointer_declarator "*" *)) ) identifier)) )) (argument_list "(param_1 - param_2,iVar5)" ( (binary_expression "param_1 - param_2" identifier - identifier) , identifier )))) ;) (expression_statement "iVar2 = (*(code *)PTR___gmpn_mulmod_bnm1_next_size_000973b4)(iVar5 + 1);" (assignment_expression "iVar2 = (*(code *)PTR___gmpn_mulmod_bnm1_next_size_000973b4)(iVar5 + 1)" identifier = (call_expression "(*(code *)PTR___gmpn_mulmod_bnm1_next_size_000973b4)(iVar5 + 1)" (parenthesized_expression "(*(code *)PTR___gmpn_mulmod_bnm1_next_size_000973b4)" ( (pointer_expression "*(code *)PTR___gmpn_mulmod_bnm1_next_size_000973b4" * (cast_expression "(code *)PTR___gmpn_mulmod_bnm1_next_size_000973b4" ( (type_descriptor "code *" type_identifier (abstract_pointer_declarator "*" *)) ) identifier)) )) (argument_list "(iVar5 + 1)" ( (binary_expression "iVar5 + 1" identifier + number_literal) )))) ;) (expression_statement "iVar3 = iVar2 >> 1;" (assignment_expression "iVar3 = iVar2 >> 1" identifier = (binary_expression "iVar2 >> 1" identifier >> number_literal)) ;) (expression_statement "iVar4 = iVar2 + 4;" (assignment_expression "iVar4 = iVar2 + 4" identifier = (binary_expression "iVar2 + 4" identifier + number_literal)) ;) (if_statement "if (iVar3 < iVar5) {\n    if (iVar1 <= iVar3) {\n      iVar5 = iVar2 + iVar5 + iVar4 + iVar3;\n      iVar4 = iVar1 * 3 + 4;\n      if (iVar5 <= iVar4) {\n        iVar5 = iVar4;\n      }\n      return iVar5 + iVar1;\n    }\n    iVar4 = iVar4 + iVar2;\n  }" if (parenthesized_expression "(iVar3 < iVar5)" ( (binary_expression "iVar3 < iVar5" identifier < identifier) )) (compound_statement "{\n    if (iVar1 <= iVar3) {\n      iVar5 = iVar2 + iVar5 + iVar4 + iVar3;\n      iVar4 = iVar1 * 3 + 4;\n      if (iVar5 <= iVar4) {\n        iVar5 = iVar4;\n      }\n      return iVar5 + iVar1;\n    }\n    iVar4 = iVar4 + iVar2;\n  }" { (if_statement "if (iVar1 <= iVar3) {\n      iVar5 = iVar2 + iVar5 + iVar4 + iVar3;\n      iVar4 = iVar1 * 3 + 4;\n      if (iVar5 <= iVar4) {\n        iVar5 = iVar4;\n      }\n      return iVar5 + iVar1;\n    }" if (parenthesized_expression "(iVar1 <= iVar3)" ( (binary_expression "iVar1 <= iVar3" identifier <= identifier) )) (compound_statement "{\n      iVar5 = iVar2 + iVar5 + iVar4 + iVar3;\n      iVar4 = iVar1 * 3 + 4;\n      if (iVar5 <= iVar4) {\n        iVar5 = iVar4;\n      }\n      return iVar5 + iVar1;\n    }" { (expression_statement "iVar5 = iVar2 + iVar5 + iVar4 + iVar3;" (assignment_expression "iVar5 = iVar2 + iVar5 + iVar4 + iVar3" identifier = (binary_expression "iVar2 + iVar5 + iVar4 + iVar3" (binary_expression "iVar2 + iVar5 + iVar4" (binary_expression "iVar2 + iVar5" identifier + identifier) + identifier) + identifier)) ;) (expression_statement "iVar4 = iVar1 * 3 + 4;" (assignment_expression "iVar4 = iVar1 * 3 + 4" identifier = (binary_expression "iVar1 * 3 + 4" (binary_expression "iVar1 * 3" identifier * number_literal) + number_literal)) ;) (if_statement "if (iVar5 <= iVar4) {\n        iVar5 = iVar4;\n      }" if (parenthesized_expression "(iVar5 <= iVar4)" ( (binary_expression "iVar5 <= iVar4" identifier <= identifier) )) (compound_statement "{\n        iVar5 = iVar4;\n      }" { (expression_statement "iVar5 = iVar4;" (assignment_expression "iVar5 = iVar4" identifier = identifier) ;) })) (return_statement "return iVar5 + iVar1;" return (binary_expression "iVar5 + iVar1" identifier + identifier) ;) })) (expression_statement "iVar4 = iVar4 + iVar2;" (assignment_expression "iVar4 = iVar4 + iVar2" identifier = (binary_expression "iVar4 + iVar2" identifier + identifier)) ;) })) (expression_statement "iVar4 = iVar2 + iVar5 + iVar4;" (assignment_expression "iVar4 = iVar2 + iVar5 + iVar4" identifier = (binary_expression "iVar2 + iVar5 + iVar4" (binary_expression "iVar2 + iVar5" identifier + identifier) + identifier)) ;) (expression_statement "iVar5 = iVar1 * 3 + 4;" (assignment_expression "iVar5 = iVar1 * 3 + 4" identifier = (binary_expression "iVar1 * 3 + 4" (binary_expression "iVar1 * 3" identifier * number_literal) + number_literal)) ;) (if_statement "if (iVar4 <= iVar5) {\n    iVar4 = iVar5;\n  }" if (parenthesized_expression "(iVar4 <= iVar5)" ( (binary_expression "iVar4 <= iVar5" identifier <= identifier) )) (compound_statement "{\n    iVar4 = iVar5;\n  }" { (expression_statement "iVar4 = iVar5;" (assignment_expression "iVar4 = iVar5" identifier = identifier) ;) })) (return_statement "return iVar4 + iVar1;" return (binary_expression "iVar4 + iVar1" identifier + identifier) ;) })))
(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 ;) (declaration TYPE IDENT ;) (declaration TYPE IDENT ;) (declaration TYPE IDENT ;) (expression_statement (assignment_expression IDENT = (binary_expression (parenthesized_expression ( (binary_expression IDENT - IDENT) )) + LIT)) ;) (if_statement if (parenthesized_expression ( (binary_expression IDENT < IDENT) )) (compound_statement { (expression_statement (assignment_expression IDENT = IDENT) ;) })) (expression_statement (assignment_expression IDENT = (call_expression (parenthesized_expression ( (pointer_expression * (cast_expression ( (type_descriptor TYPE (abstract_pointer_declarator *)) ) IDENT)) )) (argument_list ( (binary_expression IDENT - IDENT) , IDENT )))) ;) (expression_statement (assignment_expression IDENT = (call_expression (parenthesized_expression ( (pointer_expression * (cast_expression ( (type_descriptor TYPE (abstract_pointer_declarator *)) ) IDENT)) )) (argument_list ( (binary_expression IDENT + LIT) )))) ;) (expression_statement (assignment_expression IDENT = (binary_expression IDENT >> LIT)) ;) (expression_statement (assignment_expression IDENT = (binary_expression IDENT + LIT)) ;) (if_statement if (parenthesized_expression ( (binary_expression IDENT < IDENT) )) (compound_statement { (if_statement if (parenthesized_expression ( (binary_expression IDENT <= IDENT) )) (compound_statement { (expression_statement (assignment_expression IDENT = (binary_expression (binary_expression (binary_expression IDENT + IDENT) + IDENT) + IDENT)) ;) (expression_statement (assignment_expression IDENT = (binary_expression (binary_expression IDENT * LIT) + LIT)) ;) (if_statement if (parenthesized_expression ( (binary_expression IDENT <= IDENT) )) (compound_statement { (expression_statement (assignment_expression IDENT = IDENT) ;) })) (return_statement return (binary_expression IDENT + IDENT) ;) })) (expression_statement (assignment_expression IDENT = (binary_expression IDENT + IDENT)) ;) })) (expression_statement (assignment_expression IDENT = (binary_expression (binary_expression IDENT + IDENT) + IDENT)) ;) (expression_statement (assignment_expression IDENT = (binary_expression (binary_expression IDENT * LIT) + LIT)) ;) (if_statement if (parenthesized_expression ( (binary_expression IDENT <= IDENT) )) (compound_statement { (expression_statement (assignment_expression IDENT = IDENT) ;) })) (return_statement return (binary_expression IDENT + IDENT) ;) })))
(function_definition "int __gmpn_mu_divappr_q_itch(int param_1,int param_2)\n\n{\n  int iVar1;\n  int iVar2;\n  int iVar3;\n  int iVar4;\n  int iVar5;\n  \n  iVar5 = (param_1 - param_2) + 1;\n  if (param_2 < iVar5) {\n    iVar5 = param_2;\n  }\n  iVar1 = (*(code *)PTR___gmpn_mu_divappr_q_choose_in_00097478)(param_1 - param_2,iVar5);\n  iVar2 = (*(code *)PTR___gmpn_mulmod_bnm1_next_size_000973b4)(iVar5 + 1);\n  iVar3 = iVar2 >> 1;\n  iVar4 = iVar2 + 4;\n  if (iVar3 < iVar5) {\n    if (iVar1 <= iVar3) {\n      iVar5 = iVar2 + iVar5 + iVar4 + iVar3;\n      iVar4 = iVar1 * 3 + 4;\n      if (iVar5 <= iVar4) {\n        iVar5 = iVar4;\n      }\n      return iVar5 + iVar1;\n    }\n    iVar4 = iVar4 + iVar2;\n  }\n  iVar4 = iVar2 + iVar5 + iVar4;\n  iVar5 = iVar1 * 3 + 4;\n  if (iVar4 <= iVar5) {\n    iVar4 = iVar5;\n  }\n  return iVar4 + iVar1;\n}" (primitive_type "int") (function_declarator "__gmpn_mu_divappr_q_itch(int param_1,int param_2)" (identifier "__gmpn_mu_divappr_q_itch") (parameter_list "(int param_1,int param_2)" (( "(") (parameter_declaration "int param_1" (primitive_type "int") (identifier "param_1")) (, ",") (parameter_declaration "int param_2" (primitive_type "int") (identifier "param_2")) () ")"))) (compound_statement "{\n  int iVar1;\n  int iVar2;\n  int iVar3;\n  int iVar4;\n  int iVar5;\n  \n  iVar5 = (param_1 - param_2) + 1;\n  if (param_2 < iVar5) {\n    iVar5 = param_2;\n  }\n  iVar1 = (*(code *)PTR___gmpn_mu_divappr_q_choose_in_00097478)(param_1 - param_2,iVar5);\n  iVar2 = (*(code *)PTR___gmpn_mulmod_bnm1_next_size_000973b4)(iVar5 + 1);\n  iVar3 = iVar2 >> 1;\n  iVar4 = iVar2 + 4;\n  if (iVar3 < iVar5) {\n    if (iVar1 <= iVar3) {\n      iVar5 = iVar2 + iVar5 + iVar4 + iVar3;\n      iVar4 = iVar1 * 3 + 4;\n      if (iVar5 <= iVar4) {\n        iVar5 = iVar4;\n      }\n      return iVar5 + iVar1;\n    }\n    iVar4 = iVar4 + iVar2;\n  }\n  iVar4 = iVar2 + iVar5 + iVar4;\n  iVar5 = iVar1 * 3 + 4;\n  if (iVar4 <= iVar5) {\n    iVar4 = iVar5;\n  }\n  return iVar4 + iVar1;\n}" ({ "{") (declaration "int iVar1;" (primitive_type "int") (identifier "iVar1") (; ";")) (declaration "int iVar2;" (primitive_type "int") (identifier "iVar2") (; ";")) (declaration "int iVar3;" (primitive_type "int") (identifier "iVar3") (; ";")) (declaration "int iVar4;" (primitive_type "int") (identifier "iVar4") (; ";")) (declaration "int iVar5;" (primitive_type "int") (identifier "iVar5") (; ";")) (expression_statement "iVar5 = (param_1 - param_2) + 1;" (assignment_expression "iVar5 = (param_1 - param_2) + 1" (identifier "iVar5") (= "=") (binary_expression "(param_1 - param_2) + 1" (parenthesized_expression "(param_1 - param_2)" (( "(") (binary_expression "param_1 - param_2" (identifier "param_1") (- "-") (identifier "param_2")) () ")")) (+ "+") (number_literal "1"))) (; ";")) (if_statement "if (param_2 < iVar5) {\n    iVar5 = param_2;\n  }" (if "if") (parenthesized_expression "(param_2 < iVar5)" (( "(") (binary_expression "param_2 < iVar5" (identifier "param_2") (< "<") (identifier "iVar5")) () ")")) (compound_statement "{\n    iVar5 = param_2;\n  }" ({ "{") (expression_statement "iVar5 = param_2;" (assignment_expression "iVar5 = param_2" (identifier "iVar5") (= "=") (identifier "param_2")) (; ";")) (} "}"))) (expression_statement "iVar1 = (*(code *)PTR___gmpn_mu_divappr_q_choose_in_00097478)(param_1 - param_2,iVar5);" (assignment_expression "iVar1 = (*(code *)PTR___gmpn_mu_divappr_q_choose_in_00097478)(param_1 - param_2,iVar5)" (identifier "iVar1") (= "=") (call_expression "(*(code *)PTR___gmpn_mu_divappr_q_choose_in_00097478)(param_1 - param_2,iVar5)" (parenthesized_expression "(*(code *)PTR___gmpn_mu_divappr_q_choose_in_00097478)" (( "(") (pointer_expression "*(code *)PTR___gmpn_mu_divappr_q_choose_in_00097478" (* "*") (cast_expression "(code *)PTR___gmpn_mu_divappr_q_choose_in_00097478" (( "(") (type_descriptor "code *" (type_identifier "code") (abstract_pointer_declarator "*" (* "*"))) () ")") (identifier "PTR___gmpn_mu_divappr_q_choose_in_00097478"))) () ")")) (argument_list "(param_1 - param_2,iVar5)" (( "(") (binary_expression "param_1 - param_2" (identifier "param_1") (- "-") (identifier "param_2")) (, ",") (identifier "iVar5") () ")")))) (; ";")) (expression_statement "iVar2 = (*(code *)PTR___gmpn_mulmod_bnm1_next_size_000973b4)(iVar5 + 1);" (assignment_expression "iVar2 = (*(code *)PTR___gmpn_mulmod_bnm1_next_size_000973b4)(iVar5 + 1)" (identifier "iVar2") (= "=") (call_expression "(*(code *)PTR___gmpn_mulmod_bnm1_next_size_000973b4)(iVar5 + 1)" (parenthesized_expression "(*(code *)PTR___gmpn_mulmod_bnm1_next_size_000973b4)" (( "(") (pointer_expression "*(code *)PTR___gmpn_mulmod_bnm1_next_size_000973b4" (* "*") (cast_expression "(code *)PTR___gmpn_mulmod_bnm1_next_size_000973b4" (( "(") (type_descriptor "code *" (type_identifier "code") (abstract_pointer_declarator "*" (* "*"))) () ")") (identifier "PTR___gmpn_mulmod_bnm1_next_size_000973b4"))) () ")")) (argument_list "(iVar5 + 1)" (( "(") (binary_expression "iVar5 + 1" (identifier "iVar5") (+ "+") (number_literal "1")) () ")")))) (; ";")) (expression_statement "iVar3 = iVar2 >> 1;" (assignment_expression "iVar3 = iVar2 >> 1" (identifier "iVar3") (= "=") (binary_expression "iVar2 >> 1" (identifier "iVar2") (>> ">>") (number_literal "1"))) (; ";")) (expression_statement "iVar4 = iVar2 + 4;" (assignment_expression "iVar4 = iVar2 + 4" (identifier "iVar4") (= "=") (binary_expression "iVar2 + 4" (identifier "iVar2") (+ "+") (number_literal "4"))) (; ";")) (if_statement "if (iVar3 < iVar5) {\n    if (iVar1 <= iVar3) {\n      iVar5 = iVar2 + iVar5 + iVar4 + iVar3;\n      iVar4 = iVar1 * 3 + 4;\n      if (iVar5 <= iVar4) {\n        iVar5 = iVar4;\n      }\n      return iVar5 + iVar1;\n    }\n    iVar4 = iVar4 + iVar2;\n  }" (if "if") (parenthesized_expression "(iVar3 < iVar5)" (( "(") (binary_expression "iVar3 < iVar5" (identifier "iVar3") (< "<") (identifier "iVar5")) () ")")) (compound_statement "{\n    if (iVar1 <= iVar3) {\n      iVar5 = iVar2 + iVar5 + iVar4 + iVar3;\n      iVar4 = iVar1 * 3 + 4;\n      if (iVar5 <= iVar4) {\n        iVar5 = iVar4;\n      }\n      return iVar5 + iVar1;\n    }\n    iVar4 = iVar4 + iVar2;\n  }" ({ "{") (if_statement "if (iVar1 <= iVar3) {\n      iVar5 = iVar2 + iVar5 + iVar4 + iVar3;\n      iVar4 = iVar1 * 3 + 4;\n      if (iVar5 <= iVar4) {\n        iVar5 = iVar4;\n      }\n      return iVar5 + iVar1;\n    }" (if "if") (parenthesized_expression "(iVar1 <= iVar3)" (( "(") (binary_expression "iVar1 <= iVar3" (identifier "iVar1") (<= "<=") (identifier "iVar3")) () ")")) (compound_statement "{\n      iVar5 = iVar2 + iVar5 + iVar4 + iVar3;\n      iVar4 = iVar1 * 3 + 4;\n      if (iVar5 <= iVar4) {\n        iVar5 = iVar4;\n      }\n      return iVar5 + iVar1;\n    }" ({ "{") (expression_statement "iVar5 = iVar2 + iVar5 + iVar4 + iVar3;" (assignment_expression "iVar5 = iVar2 + iVar5 + iVar4 + iVar3" (identifier "iVar5") (= "=") (binary_expression "iVar2 + iVar5 + iVar4 + iVar3" (binary_expression "iVar2 + iVar5 + iVar4" (binary_expression "iVar2 + iVar5" (identifier "iVar2") (+ "+") (identifier "iVar5")) (+ "+") (identifier "iVar4")) (+ "+") (identifier "iVar3"))) (; ";")) (expression_statement "iVar4 = iVar1 * 3 + 4;" (assignment_expression "iVar4 = iVar1 * 3 + 4" (identifier "iVar4") (= "=") (binary_expression "iVar1 * 3 + 4" (binary_expression "iVar1 * 3" (identifier "iVar1") (* "*") (number_literal "3")) (+ "+") (number_literal "4"))) (; ";")) (if_statement "if (iVar5 <= iVar4) {\n        iVar5 = iVar4;\n      }" (if "if") (parenthesized_expression "(iVar5 <= iVar4)" (( "(") (binary_expression "iVar5 <= iVar4" (identifier "iVar5") (<= "<=") (identifier "iVar4")) () ")")) (compound_statement "{\n        iVar5 = iVar4;\n      }" ({ "{") (expression_statement "iVar5 = iVar4;" (assignment_expression "iVar5 = iVar4" (identifier "iVar5") (= "=") (identifier "iVar4")) (; ";")) (} "}"))) (return_statement "return iVar5 + iVar1;" (return "return") (binary_expression "iVar5 + iVar1" (identifier "iVar5") (+ "+") (identifier "iVar1")) (; ";")) (} "}"))) (expression_statement "iVar4 = iVar4 + iVar2;" (assignment_expression "iVar4 = iVar4 + iVar2" (identifier "iVar4") (= "=") (binary_expression "iVar4 + iVar2" (identifier "iVar4") (+ "+") (identifier "iVar2"))) (; ";")) (} "}"))) (expression_statement "iVar4 = iVar2 + iVar5 + iVar4;" (assignment_expression "iVar4 = iVar2 + iVar5 + iVar4" (identifier "iVar4") (= "=") (binary_expression "iVar2 + iVar5 + iVar4" (binary_expression "iVar2 + iVar5" (identifier "iVar2") (+ "+") (identifier "iVar5")) (+ "+") (identifier "iVar4"))) (; ";")) (expression_statement "iVar5 = iVar1 * 3 + 4;" (assignment_expression "iVar5 = iVar1 * 3 + 4" (identifier "iVar5") (= "=") (binary_expression "iVar1 * 3 + 4" (binary_expression "iVar1 * 3" (identifier "iVar1") (* "*") (number_literal "3")) (+ "+") (number_literal "4"))) (; ";")) (if_statement "if (iVar4 <= iVar5) {\n    iVar4 = iVar5;\n  }" (if "if") (parenthesized_expression "(iVar4 <= iVar5)" (( "(") (binary_expression "iVar4 <= iVar5" (identifier "iVar4") (<= "<=") (identifier "iVar5")) () ")")) (compound_statement "{\n    iVar4 = iVar5;\n  }" ({ "{") (expression_statement "iVar4 = iVar5;" (assignment_expression "iVar4 = iVar5" (identifier "iVar4") (= "=") (identifier "iVar5")) (; ";")) (} "}"))) (return_statement "return iVar4 + iVar1;" (return "return") (binary_expression "iVar4 + iVar1" (identifier "iVar4") (+ "+") (identifier "iVar1")) (; ";")) (} "}")))

type_1 function_1(type_1 var_1,type_1 var_2,int mua_k)

{
  int var_6;
  int var_4;
  int var_5;
  int var_7;
  int var_3;
  
  var_3 = (var_1 - var_2) + 1;
  if (var_2 < var_3) {
    var_3 = var_2;
  }
  var_6 = (*(type_2 *)PTR___gmpn_mu_divappr_q_choose_in_00097478)(var_1 - var_2,var_3);
  var_4 = (*(type_2 *)PTR___gmpn_mulmod_bnm1_next_size_000973b4)(var_3 + 1);
  var_5 = var_4 >> 1;
  var_7 = var_4 + 4;
  if (var_5 < var_3) {
    if (var_6 <= var_5) {
      var_3 = var_4 + var_3 + var_7 + var_5;
      var_7 = var_6 * 3 + 4;
      if (var_3 <= var_7) {
        var_3 = var_7;
      }
      return var_3 + var_6;
    }
    var_7 = var_7 + var_4;
  }
  var_7 = var_4 + var_3 + var_7;
  var_3 = var_6 * 3 + 4;
  if (var_7 <= var_3) {
    var_7 = var_3;
  }
  return var_7 + var_6;
}


(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: (primitive_type) declarator: (identifier)))) body: (compound_statement (declaration type: (primitive_type) declarator: (identifier)) (declaration type: (primitive_type) declarator: (identifier)) (declaration type: (primitive_type) declarator: (identifier)) (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: (identifier) right: (identifier))) right: (number_literal)))) (if_statement condition: (parenthesized_expression (binary_expression left: (identifier) right: (identifier))) consequence: (compound_statement (expression_statement (assignment_expression left: (identifier) right: (identifier))))) (expression_statement (assignment_expression left: (identifier) right: (call_expression function: (parenthesized_expression (pointer_expression argument: (cast_expression type: (type_descriptor type: (type_identifier) declarator: (abstract_pointer_declarator)) value: (identifier)))) arguments: (argument_list (binary_expression left: (identifier) right: (identifier)) (identifier))))) (expression_statement (assignment_expression left: (identifier) right: (call_expression function: (parenthesized_expression (pointer_expression argument: (cast_expression type: (type_descriptor type: (type_identifier) declarator: (abstract_pointer_declarator)) value: (identifier)))) arguments: (argument_list (binary_expression left: (identifier) right: (number_literal)))))) (expression_statement (assignment_expression left: (identifier) right: (binary_expression left: (identifier) right: (number_literal)))) (expression_statement (assignment_expression left: (identifier) right: (binary_expression left: (identifier) right: (number_literal)))) (if_statement condition: (parenthesized_expression (binary_expression left: (identifier) right: (identifier))) consequence: (compound_statement (if_statement condition: (parenthesized_expression (binary_expression left: (identifier) right: (identifier))) consequence: (compound_statement (expression_statement (assignment_expression left: (identifier) right: (binary_expression left: (binary_expression left: (binary_expression left: (identifier) right: (identifier)) right: (identifier)) right: (identifier)))) (expression_statement (assignment_expression left: (identifier) right: (binary_expression left: (binary_expression left: (identifier) right: (number_literal)) right: (number_literal)))) (if_statement condition: (parenthesized_expression (binary_expression left: (identifier) right: (identifier))) consequence: (compound_statement (expression_statement (assignment_expression left: (identifier) right: (identifier))))) (return_statement (binary_expression left: (identifier) right: (identifier))))) (expression_statement (assignment_expression left: (identifier) right: (binary_expression left: (identifier) right: (identifier)))))) (expression_statement (assignment_expression left: (identifier) right: (binary_expression left: (binary_expression left: (identifier) right: (identifier)) right: (identifier)))) (expression_statement (assignment_expression left: (identifier) right: (binary_expression left: (binary_expression left: (identifier) right: (number_literal)) right: (number_literal)))) (if_statement condition: (parenthesized_expression (binary_expression left: (identifier) right: (identifier))) consequence: (compound_statement (expression_statement (assignment_expression left: (identifier) right: (identifier))))) (return_statement (binary_expression left: (identifier) right: (identifier))))))

int MASKED(int param_1,int param_2)

{
  int iVar1;
  int iVar2;
  int iVar3;
  int iVar4;
  int iVar5;
  
  iVar5 = (param_1 - param_2) + 1;
  if (param_2 < iVar5) {
    iVar5 = param_2;
  }
  iVar1 = (*(code *)PTR___gmpn_mu_divappr_q_choose_in_00097478)(param_1 - param_2,iVar5);
  iVar2 = (*(code *)PTR___gmpn_mulmod_bnm1_next_size_000973b4)(iVar5 + 1);
  iVar3 = iVar2 >> 1;
  iVar4 = iVar2 + 4;
  if (iVar3 < iVar5) {
    if (iVar1 <= iVar3) {
      iVar5 = iVar2 + iVar5 + iVar4 + iVar3;
      iVar4 = iVar1 * 3 + 4;
      if (iVar5 <= iVar4) {
        iVar5 = iVar4;
      }
      return iVar5 + iVar1;
    }
    iVar4 = iVar4 + iVar2;
  }
  iVar4 = iVar2 + iVar5 + iVar4;
  iVar5 = iVar1 * 3 + 4;
  if (iVar4 <= iVar5) {
    iVar4 = iVar5;
  }
  return iVar4 + iVar1;
}

