
mp_size_t __gmpn_mu_bdiv_qr_itch(mp_size_t nn,mp_size_t dn)

{
  int iVar1;
  int iVar2;
  int iVar3;
  int iVar4;
  
  iVar2 = nn - dn;
  if (dn < iVar2) {
    if (dn == 0) {
      trap(7);
    }
    iVar3 = (iVar2 + -1) / dn + 1;
    if (iVar3 == 0) {
      trap(7);
    }
    iVar2 = (iVar2 + -1) / iVar3 + 1;
  }
  else {
    iVar2 = iVar2 - (iVar2 >> 1);
  }
  if (iVar2 < 0x20) {
    iVar3 = iVar2 + dn;
  }
  else {
    iVar3 = (*(code *)PTR___gmpn_mulmod_bnm1_next_size_0009d3b4)(dn);
    iVar1 = iVar3 >> 1;
    iVar4 = iVar3 + 4;
    if (iVar1 < dn) {
      if (iVar2 <= iVar1) {
        iVar3 = iVar3 + iVar4 + iVar1;
        goto LAB_000781a4;
      }
      iVar4 = iVar4 + iVar3;
    }
    iVar3 = iVar3 + iVar4;
  }
LAB_000781a4:
  iVar1 = (*(code *)PTR___gmpn_binvert_itch_0009d14c)(iVar2);
  if (iVar1 < iVar3) {
    iVar1 = iVar3;
  }
  return iVar1 + iVar2;
}



int __gmpn_mu_bdiv_qr_itch(int param_1,int param_2)

{
  int iVar1;
  int iVar2;
  int iVar3;
  
  param_1 = param_1 - param_2;
  if (param_2 < param_1) {
    if (param_2 == 0) {
      trap(7);
    }
    iVar2 = (param_1 + -1) / param_2 + 1;
    if (iVar2 == 0) {
      trap(7);
    }
    param_1 = (param_1 + -1) / iVar2 + 1;
  }
  else {
    param_1 = param_1 - (param_1 >> 1);
  }
  if (param_1 < 0x20) {
    param_2 = param_1 + param_2;
  }
  else {
    iVar2 = (*(code *)PTR___gmpn_mulmod_bnm1_next_size_0009d3b4)(param_2);
    iVar1 = iVar2 >> 1;
    iVar3 = iVar2 + 4;
    if (iVar1 < param_2) {
      if (param_1 <= iVar1) {
        param_2 = iVar2 + iVar3 + iVar1;
        goto LAB_000781a4;
      }
      iVar3 = iVar3 + iVar2;
    }
    param_2 = iVar2 + iVar3;
  }
LAB_000781a4:
  iVar2 = (*(code *)PTR___gmpn_binvert_itch_0009d14c)(param_1);
  if (iVar2 < param_2) {
    iVar2 = param_2;
  }
  return iVar2 + param_1;
}


lui gp,0x3
addiu gp,gp,-0x3104
addu gp,gp,t9
addiu sp,sp,-0x28
subu a0,a0,a1
sw gp,0x10(sp)
slt v0,a1,a0
sw ra,0x24(sp)
sw s1,0x20(sp)
beq v0,zero,0x0007820c
_sw s0,0x1c(sp)
addiu s0,a0,-0x1
teq a1,zero
div s0,a1
mflo a0
addiu a0,a0,0x1
teq a0,zero
div s0,a0
mflo s0
addiu s0,s0,0x1
slti v0,s0,0x20
beq v0,zero,0x000781d0
_lw t9,-0x7c8c(gp)
addu s1,s0,a1
lw t9,-0x7ef4(gp)
jalr t9
_or a0,s0,zero
slt a1,v0,s1
lw ra,0x24(sp)
movn v0,s1,a1
lw s1,0x20(sp)
addu v0,v0,s0
lw s0,0x1c(sp)
jr ra
_addiu sp,sp,0x28
or a0,a1,zero
jalr t9
_sw a1,0x2c(sp)
lw a1,0x2c(sp)
sra v1,v0,0x1
lw gp,0x10(sp)
slt a1,v1,a1
beq a1,zero,0x00078204
_addiu s1,v0,0x4
slt a0,v1,s0
beq a0,zero,0x00078218
_nop
addu s1,s1,v0
b 0x000781a4
_addu s1,v0,s1
sra s0,a0,0x1
b 0x00078194
_subu s0,a0,s0
addu s1,s1,v1
b 0x000781a4
_addu s1,v0,s1
(translation_unit "int __gmpn_mu_bdiv_qr_itch(int param_1,int param_2)\n\n{\n  int iVar1;\n  int iVar2;\n  int iVar3;\n  \n  param_1 = param_1 - param_2;\n  if (param_2 < param_1) {\n    if (param_2 == 0) {\n      trap(7);\n    }\n    iVar2 = (param_1 + -1) / param_2 + 1;\n    if (iVar2 == 0) {\n      trap(7);\n    }\n    param_1 = (param_1 + -1) / iVar2 + 1;\n  }\n  else {\n    param_1 = param_1 - (param_1 >> 1);\n  }\n  if (param_1 < 0x20) {\n    param_2 = param_1 + param_2;\n  }\n  else {\n    iVar2 = (*(code *)PTR___gmpn_mulmod_bnm1_next_size_0009d3b4)(param_2);\n    iVar1 = iVar2 >> 1;\n    iVar3 = iVar2 + 4;\n    if (iVar1 < param_2) {\n      if (param_1 <= iVar1) {\n        param_2 = iVar2 + iVar3 + iVar1;\n        goto LAB_000781a4;\n      }\n      iVar3 = iVar3 + iVar2;\n    }\n    param_2 = iVar2 + iVar3;\n  }\nLAB_000781a4:\n  iVar2 = (*(code *)PTR___gmpn_binvert_itch_0009d14c)(param_1);\n  if (iVar2 < param_2) {\n    iVar2 = param_2;\n  }\n  return iVar2 + param_1;\n}\n\n" (function_definition "int __gmpn_mu_bdiv_qr_itch(int param_1,int param_2)\n\n{\n  int iVar1;\n  int iVar2;\n  int iVar3;\n  \n  param_1 = param_1 - param_2;\n  if (param_2 < param_1) {\n    if (param_2 == 0) {\n      trap(7);\n    }\n    iVar2 = (param_1 + -1) / param_2 + 1;\n    if (iVar2 == 0) {\n      trap(7);\n    }\n    param_1 = (param_1 + -1) / iVar2 + 1;\n  }\n  else {\n    param_1 = param_1 - (param_1 >> 1);\n  }\n  if (param_1 < 0x20) {\n    param_2 = param_1 + param_2;\n  }\n  else {\n    iVar2 = (*(code *)PTR___gmpn_mulmod_bnm1_next_size_0009d3b4)(param_2);\n    iVar1 = iVar2 >> 1;\n    iVar3 = iVar2 + 4;\n    if (iVar1 < param_2) {\n      if (param_1 <= iVar1) {\n        param_2 = iVar2 + iVar3 + iVar1;\n        goto LAB_000781a4;\n      }\n      iVar3 = iVar3 + iVar2;\n    }\n    param_2 = iVar2 + iVar3;\n  }\nLAB_000781a4:\n  iVar2 = (*(code *)PTR___gmpn_binvert_itch_0009d14c)(param_1);\n  if (iVar2 < param_2) {\n    iVar2 = param_2;\n  }\n  return iVar2 + param_1;\n}" primitive_type (function_declarator "__gmpn_mu_bdiv_qr_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  \n  param_1 = param_1 - param_2;\n  if (param_2 < param_1) {\n    if (param_2 == 0) {\n      trap(7);\n    }\n    iVar2 = (param_1 + -1) / param_2 + 1;\n    if (iVar2 == 0) {\n      trap(7);\n    }\n    param_1 = (param_1 + -1) / iVar2 + 1;\n  }\n  else {\n    param_1 = param_1 - (param_1 >> 1);\n  }\n  if (param_1 < 0x20) {\n    param_2 = param_1 + param_2;\n  }\n  else {\n    iVar2 = (*(code *)PTR___gmpn_mulmod_bnm1_next_size_0009d3b4)(param_2);\n    iVar1 = iVar2 >> 1;\n    iVar3 = iVar2 + 4;\n    if (iVar1 < param_2) {\n      if (param_1 <= iVar1) {\n        param_2 = iVar2 + iVar3 + iVar1;\n        goto LAB_000781a4;\n      }\n      iVar3 = iVar3 + iVar2;\n    }\n    param_2 = iVar2 + iVar3;\n  }\nLAB_000781a4:\n  iVar2 = (*(code *)PTR___gmpn_binvert_itch_0009d14c)(param_1);\n  if (iVar2 < param_2) {\n    iVar2 = param_2;\n  }\n  return iVar2 + param_1;\n}" { (declaration "int iVar1;" primitive_type identifier ;) (declaration "int iVar2;" primitive_type identifier ;) (declaration "int iVar3;" primitive_type identifier ;) (expression_statement "param_1 = param_1 - param_2;" (assignment_expression "param_1 = param_1 - param_2" identifier = (binary_expression "param_1 - param_2" identifier - identifier)) ;) (if_statement "if (param_2 < param_1) {\n    if (param_2 == 0) {\n      trap(7);\n    }\n    iVar2 = (param_1 + -1) / param_2 + 1;\n    if (iVar2 == 0) {\n      trap(7);\n    }\n    param_1 = (param_1 + -1) / iVar2 + 1;\n  }\n  else {\n    param_1 = param_1 - (param_1 >> 1);\n  }" if (parenthesized_expression "(param_2 < param_1)" ( (binary_expression "param_2 < param_1" identifier < identifier) )) (compound_statement "{\n    if (param_2 == 0) {\n      trap(7);\n    }\n    iVar2 = (param_1 + -1) / param_2 + 1;\n    if (iVar2 == 0) {\n      trap(7);\n    }\n    param_1 = (param_1 + -1) / iVar2 + 1;\n  }" { (if_statement "if (param_2 == 0) {\n      trap(7);\n    }" if (parenthesized_expression "(param_2 == 0)" ( (binary_expression "param_2 == 0" identifier == number_literal) )) (compound_statement "{\n      trap(7);\n    }" { (expression_statement "trap(7);" (call_expression "trap(7)" identifier (argument_list "(7)" ( number_literal ))) ;) })) (expression_statement "iVar2 = (param_1 + -1) / param_2 + 1;" (assignment_expression "iVar2 = (param_1 + -1) / param_2 + 1" identifier = (binary_expression "(param_1 + -1) / param_2 + 1" (binary_expression "(param_1 + -1) / param_2" (parenthesized_expression "(param_1 + -1)" ( (binary_expression "param_1 + -1" identifier + number_literal) )) / identifier) + number_literal)) ;) (if_statement "if (iVar2 == 0) {\n      trap(7);\n    }" if (parenthesized_expression "(iVar2 == 0)" ( (binary_expression "iVar2 == 0" identifier == number_literal) )) (compound_statement "{\n      trap(7);\n    }" { (expression_statement "trap(7);" (call_expression "trap(7)" identifier (argument_list "(7)" ( number_literal ))) ;) })) (expression_statement "param_1 = (param_1 + -1) / iVar2 + 1;" (assignment_expression "param_1 = (param_1 + -1) / iVar2 + 1" identifier = (binary_expression "(param_1 + -1) / iVar2 + 1" (binary_expression "(param_1 + -1) / iVar2" (parenthesized_expression "(param_1 + -1)" ( (binary_expression "param_1 + -1" identifier + number_literal) )) / identifier) + number_literal)) ;) }) (else_clause "else {\n    param_1 = param_1 - (param_1 >> 1);\n  }" else (compound_statement "{\n    param_1 = param_1 - (param_1 >> 1);\n  }" { (expression_statement "param_1 = param_1 - (param_1 >> 1);" (assignment_expression "param_1 = param_1 - (param_1 >> 1)" identifier = (binary_expression "param_1 - (param_1 >> 1)" identifier - (parenthesized_expression "(param_1 >> 1)" ( (binary_expression "param_1 >> 1" identifier >> number_literal) )))) ;) }))) (if_statement "if (param_1 < 0x20) {\n    param_2 = param_1 + param_2;\n  }\n  else {\n    iVar2 = (*(code *)PTR___gmpn_mulmod_bnm1_next_size_0009d3b4)(param_2);\n    iVar1 = iVar2 >> 1;\n    iVar3 = iVar2 + 4;\n    if (iVar1 < param_2) {\n      if (param_1 <= iVar1) {\n        param_2 = iVar2 + iVar3 + iVar1;\n        goto LAB_000781a4;\n      }\n      iVar3 = iVar3 + iVar2;\n    }\n    param_2 = iVar2 + iVar3;\n  }" if (parenthesized_expression "(param_1 < 0x20)" ( (binary_expression "param_1 < 0x20" identifier < number_literal) )) (compound_statement "{\n    param_2 = param_1 + param_2;\n  }" { (expression_statement "param_2 = param_1 + param_2;" (assignment_expression "param_2 = param_1 + param_2" identifier = (binary_expression "param_1 + param_2" identifier + identifier)) ;) }) (else_clause "else {\n    iVar2 = (*(code *)PTR___gmpn_mulmod_bnm1_next_size_0009d3b4)(param_2);\n    iVar1 = iVar2 >> 1;\n    iVar3 = iVar2 + 4;\n    if (iVar1 < param_2) {\n      if (param_1 <= iVar1) {\n        param_2 = iVar2 + iVar3 + iVar1;\n        goto LAB_000781a4;\n      }\n      iVar3 = iVar3 + iVar2;\n    }\n    param_2 = iVar2 + iVar3;\n  }" else (compound_statement "{\n    iVar2 = (*(code *)PTR___gmpn_mulmod_bnm1_next_size_0009d3b4)(param_2);\n    iVar1 = iVar2 >> 1;\n    iVar3 = iVar2 + 4;\n    if (iVar1 < param_2) {\n      if (param_1 <= iVar1) {\n        param_2 = iVar2 + iVar3 + iVar1;\n        goto LAB_000781a4;\n      }\n      iVar3 = iVar3 + iVar2;\n    }\n    param_2 = iVar2 + iVar3;\n  }" { (expression_statement "iVar2 = (*(code *)PTR___gmpn_mulmod_bnm1_next_size_0009d3b4)(param_2);" (assignment_expression "iVar2 = (*(code *)PTR___gmpn_mulmod_bnm1_next_size_0009d3b4)(param_2)" identifier = (call_expression "(*(code *)PTR___gmpn_mulmod_bnm1_next_size_0009d3b4)(param_2)" (parenthesized_expression "(*(code *)PTR___gmpn_mulmod_bnm1_next_size_0009d3b4)" ( (pointer_expression "*(code *)PTR___gmpn_mulmod_bnm1_next_size_0009d3b4" * (cast_expression "(code *)PTR___gmpn_mulmod_bnm1_next_size_0009d3b4" ( (type_descriptor "code *" type_identifier (abstract_pointer_declarator "*" *)) ) identifier)) )) (argument_list "(param_2)" ( identifier )))) ;) (expression_statement "iVar1 = iVar2 >> 1;" (assignment_expression "iVar1 = iVar2 >> 1" identifier = (binary_expression "iVar2 >> 1" identifier >> number_literal)) ;) (expression_statement "iVar3 = iVar2 + 4;" (assignment_expression "iVar3 = iVar2 + 4" identifier = (binary_expression "iVar2 + 4" identifier + number_literal)) ;) (if_statement "if (iVar1 < param_2) {\n      if (param_1 <= iVar1) {\n        param_2 = iVar2 + iVar3 + iVar1;\n        goto LAB_000781a4;\n      }\n      iVar3 = iVar3 + iVar2;\n    }" if (parenthesized_expression "(iVar1 < param_2)" ( (binary_expression "iVar1 < param_2" identifier < identifier) )) (compound_statement "{\n      if (param_1 <= iVar1) {\n        param_2 = iVar2 + iVar3 + iVar1;\n        goto LAB_000781a4;\n      }\n      iVar3 = iVar3 + iVar2;\n    }" { (if_statement "if (param_1 <= iVar1) {\n        param_2 = iVar2 + iVar3 + iVar1;\n        goto LAB_000781a4;\n      }" if (parenthesized_expression "(param_1 <= iVar1)" ( (binary_expression "param_1 <= iVar1" identifier <= identifier) )) (compound_statement "{\n        param_2 = iVar2 + iVar3 + iVar1;\n        goto LAB_000781a4;\n      }" { (expression_statement "param_2 = iVar2 + iVar3 + iVar1;" (assignment_expression "param_2 = iVar2 + iVar3 + iVar1" identifier = (binary_expression "iVar2 + iVar3 + iVar1" (binary_expression "iVar2 + iVar3" identifier + identifier) + identifier)) ;) (goto_statement "goto LAB_000781a4;" goto statement_identifier ;) })) (expression_statement "iVar3 = iVar3 + iVar2;" (assignment_expression "iVar3 = iVar3 + iVar2" identifier = (binary_expression "iVar3 + iVar2" identifier + identifier)) ;) })) (expression_statement "param_2 = iVar2 + iVar3;" (assignment_expression "param_2 = iVar2 + iVar3" identifier = (binary_expression "iVar2 + iVar3" identifier + identifier)) ;) }))) (labeled_statement "LAB_000781a4:\n  iVar2 = (*(code *)PTR___gmpn_binvert_itch_0009d14c)(param_1);" statement_identifier : (expression_statement "iVar2 = (*(code *)PTR___gmpn_binvert_itch_0009d14c)(param_1);" (assignment_expression "iVar2 = (*(code *)PTR___gmpn_binvert_itch_0009d14c)(param_1)" identifier = (call_expression "(*(code *)PTR___gmpn_binvert_itch_0009d14c)(param_1)" (parenthesized_expression "(*(code *)PTR___gmpn_binvert_itch_0009d14c)" ( (pointer_expression "*(code *)PTR___gmpn_binvert_itch_0009d14c" * (cast_expression "(code *)PTR___gmpn_binvert_itch_0009d14c" ( (type_descriptor "code *" type_identifier (abstract_pointer_declarator "*" *)) ) identifier)) )) (argument_list "(param_1)" ( identifier )))) ;)) (if_statement "if (iVar2 < param_2) {\n    iVar2 = param_2;\n  }" if (parenthesized_expression "(iVar2 < param_2)" ( (binary_expression "iVar2 < param_2" identifier < identifier) )) (compound_statement "{\n    iVar2 = param_2;\n  }" { (expression_statement "iVar2 = param_2;" (assignment_expression "iVar2 = param_2" identifier = identifier) ;) })) (return_statement "return iVar2 + param_1;" return (binary_expression "iVar2 + param_1" identifier + identifier) ;) })))
(translation_unit "mp_size_t __gmpn_mu_bdiv_qr_itch(mp_size_t nn,mp_size_t dn)\n\n{\n  int iVar1;\n  int iVar2;\n  int iVar3;\n  int iVar4;\n  \n  iVar2 = nn - dn;\n  if (dn < iVar2) {\n    if (dn == 0) {\n      trap(7);\n    }\n    iVar3 = (iVar2 + -1) / dn + 1;\n    if (iVar3 == 0) {\n      trap(7);\n    }\n    iVar2 = (iVar2 + -1) / iVar3 + 1;\n  }\n  else {\n    iVar2 = iVar2 - (iVar2 >> 1);\n  }\n  if (iVar2 < 0x20) {\n    iVar3 = iVar2 + dn;\n  }\n  else {\n    iVar3 = (*(code *)PTR___gmpn_mulmod_bnm1_next_size_0009d3b4)(dn);\n    iVar1 = iVar3 >> 1;\n    iVar4 = iVar3 + 4;\n    if (iVar1 < dn) {\n      if (iVar2 <= iVar1) {\n        iVar3 = iVar3 + iVar4 + iVar1;\n        goto LAB_000781a4;\n      }\n      iVar4 = iVar4 + iVar3;\n    }\n    iVar3 = iVar3 + iVar4;\n  }\nLAB_000781a4:\n  iVar1 = (*(code *)PTR___gmpn_binvert_itch_0009d14c)(iVar2);\n  if (iVar1 < iVar3) {\n    iVar1 = iVar3;\n  }\n  return iVar1 + iVar2;\n}\n\n" (function_definition "mp_size_t __gmpn_mu_bdiv_qr_itch(mp_size_t nn,mp_size_t dn)\n\n{\n  int iVar1;\n  int iVar2;\n  int iVar3;\n  int iVar4;\n  \n  iVar2 = nn - dn;\n  if (dn < iVar2) {\n    if (dn == 0) {\n      trap(7);\n    }\n    iVar3 = (iVar2 + -1) / dn + 1;\n    if (iVar3 == 0) {\n      trap(7);\n    }\n    iVar2 = (iVar2 + -1) / iVar3 + 1;\n  }\n  else {\n    iVar2 = iVar2 - (iVar2 >> 1);\n  }\n  if (iVar2 < 0x20) {\n    iVar3 = iVar2 + dn;\n  }\n  else {\n    iVar3 = (*(code *)PTR___gmpn_mulmod_bnm1_next_size_0009d3b4)(dn);\n    iVar1 = iVar3 >> 1;\n    iVar4 = iVar3 + 4;\n    if (iVar1 < dn) {\n      if (iVar2 <= iVar1) {\n        iVar3 = iVar3 + iVar4 + iVar1;\n        goto LAB_000781a4;\n      }\n      iVar4 = iVar4 + iVar3;\n    }\n    iVar3 = iVar3 + iVar4;\n  }\nLAB_000781a4:\n  iVar1 = (*(code *)PTR___gmpn_binvert_itch_0009d14c)(iVar2);\n  if (iVar1 < iVar3) {\n    iVar1 = iVar3;\n  }\n  return iVar1 + iVar2;\n}" type_identifier (function_declarator "__gmpn_mu_bdiv_qr_itch(mp_size_t nn,mp_size_t dn)" identifier (parameter_list "(mp_size_t nn,mp_size_t dn)" ( (parameter_declaration "mp_size_t nn" type_identifier identifier) , (parameter_declaration "mp_size_t dn" type_identifier identifier) ))) (compound_statement "{\n  int iVar1;\n  int iVar2;\n  int iVar3;\n  int iVar4;\n  \n  iVar2 = nn - dn;\n  if (dn < iVar2) {\n    if (dn == 0) {\n      trap(7);\n    }\n    iVar3 = (iVar2 + -1) / dn + 1;\n    if (iVar3 == 0) {\n      trap(7);\n    }\n    iVar2 = (iVar2 + -1) / iVar3 + 1;\n  }\n  else {\n    iVar2 = iVar2 - (iVar2 >> 1);\n  }\n  if (iVar2 < 0x20) {\n    iVar3 = iVar2 + dn;\n  }\n  else {\n    iVar3 = (*(code *)PTR___gmpn_mulmod_bnm1_next_size_0009d3b4)(dn);\n    iVar1 = iVar3 >> 1;\n    iVar4 = iVar3 + 4;\n    if (iVar1 < dn) {\n      if (iVar2 <= iVar1) {\n        iVar3 = iVar3 + iVar4 + iVar1;\n        goto LAB_000781a4;\n      }\n      iVar4 = iVar4 + iVar3;\n    }\n    iVar3 = iVar3 + iVar4;\n  }\nLAB_000781a4:\n  iVar1 = (*(code *)PTR___gmpn_binvert_itch_0009d14c)(iVar2);\n  if (iVar1 < iVar3) {\n    iVar1 = iVar3;\n  }\n  return iVar1 + iVar2;\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 ;) (expression_statement "iVar2 = nn - dn;" (assignment_expression "iVar2 = nn - dn" identifier = (binary_expression "nn - dn" identifier - identifier)) ;) (if_statement "if (dn < iVar2) {\n    if (dn == 0) {\n      trap(7);\n    }\n    iVar3 = (iVar2 + -1) / dn + 1;\n    if (iVar3 == 0) {\n      trap(7);\n    }\n    iVar2 = (iVar2 + -1) / iVar3 + 1;\n  }\n  else {\n    iVar2 = iVar2 - (iVar2 >> 1);\n  }" if (parenthesized_expression "(dn < iVar2)" ( (binary_expression "dn < iVar2" identifier < identifier) )) (compound_statement "{\n    if (dn == 0) {\n      trap(7);\n    }\n    iVar3 = (iVar2 + -1) / dn + 1;\n    if (iVar3 == 0) {\n      trap(7);\n    }\n    iVar2 = (iVar2 + -1) / iVar3 + 1;\n  }" { (if_statement "if (dn == 0) {\n      trap(7);\n    }" if (parenthesized_expression "(dn == 0)" ( (binary_expression "dn == 0" identifier == number_literal) )) (compound_statement "{\n      trap(7);\n    }" { (expression_statement "trap(7);" (call_expression "trap(7)" identifier (argument_list "(7)" ( number_literal ))) ;) })) (expression_statement "iVar3 = (iVar2 + -1) / dn + 1;" (assignment_expression "iVar3 = (iVar2 + -1) / dn + 1" identifier = (binary_expression "(iVar2 + -1) / dn + 1" (binary_expression "(iVar2 + -1) / dn" (parenthesized_expression "(iVar2 + -1)" ( (binary_expression "iVar2 + -1" identifier + number_literal) )) / identifier) + number_literal)) ;) (if_statement "if (iVar3 == 0) {\n      trap(7);\n    }" if (parenthesized_expression "(iVar3 == 0)" ( (binary_expression "iVar3 == 0" identifier == number_literal) )) (compound_statement "{\n      trap(7);\n    }" { (expression_statement "trap(7);" (call_expression "trap(7)" identifier (argument_list "(7)" ( number_literal ))) ;) })) (expression_statement "iVar2 = (iVar2 + -1) / iVar3 + 1;" (assignment_expression "iVar2 = (iVar2 + -1) / iVar3 + 1" identifier = (binary_expression "(iVar2 + -1) / iVar3 + 1" (binary_expression "(iVar2 + -1) / iVar3" (parenthesized_expression "(iVar2 + -1)" ( (binary_expression "iVar2 + -1" identifier + number_literal) )) / identifier) + number_literal)) ;) }) (else_clause "else {\n    iVar2 = iVar2 - (iVar2 >> 1);\n  }" else (compound_statement "{\n    iVar2 = iVar2 - (iVar2 >> 1);\n  }" { (expression_statement "iVar2 = iVar2 - (iVar2 >> 1);" (assignment_expression "iVar2 = iVar2 - (iVar2 >> 1)" identifier = (binary_expression "iVar2 - (iVar2 >> 1)" identifier - (parenthesized_expression "(iVar2 >> 1)" ( (binary_expression "iVar2 >> 1" identifier >> number_literal) )))) ;) }))) (if_statement "if (iVar2 < 0x20) {\n    iVar3 = iVar2 + dn;\n  }\n  else {\n    iVar3 = (*(code *)PTR___gmpn_mulmod_bnm1_next_size_0009d3b4)(dn);\n    iVar1 = iVar3 >> 1;\n    iVar4 = iVar3 + 4;\n    if (iVar1 < dn) {\n      if (iVar2 <= iVar1) {\n        iVar3 = iVar3 + iVar4 + iVar1;\n        goto LAB_000781a4;\n      }\n      iVar4 = iVar4 + iVar3;\n    }\n    iVar3 = iVar3 + iVar4;\n  }" if (parenthesized_expression "(iVar2 < 0x20)" ( (binary_expression "iVar2 < 0x20" identifier < number_literal) )) (compound_statement "{\n    iVar3 = iVar2 + dn;\n  }" { (expression_statement "iVar3 = iVar2 + dn;" (assignment_expression "iVar3 = iVar2 + dn" identifier = (binary_expression "iVar2 + dn" identifier + identifier)) ;) }) (else_clause "else {\n    iVar3 = (*(code *)PTR___gmpn_mulmod_bnm1_next_size_0009d3b4)(dn);\n    iVar1 = iVar3 >> 1;\n    iVar4 = iVar3 + 4;\n    if (iVar1 < dn) {\n      if (iVar2 <= iVar1) {\n        iVar3 = iVar3 + iVar4 + iVar1;\n        goto LAB_000781a4;\n      }\n      iVar4 = iVar4 + iVar3;\n    }\n    iVar3 = iVar3 + iVar4;\n  }" else (compound_statement "{\n    iVar3 = (*(code *)PTR___gmpn_mulmod_bnm1_next_size_0009d3b4)(dn);\n    iVar1 = iVar3 >> 1;\n    iVar4 = iVar3 + 4;\n    if (iVar1 < dn) {\n      if (iVar2 <= iVar1) {\n        iVar3 = iVar3 + iVar4 + iVar1;\n        goto LAB_000781a4;\n      }\n      iVar4 = iVar4 + iVar3;\n    }\n    iVar3 = iVar3 + iVar4;\n  }" { (expression_statement "iVar3 = (*(code *)PTR___gmpn_mulmod_bnm1_next_size_0009d3b4)(dn);" (assignment_expression "iVar3 = (*(code *)PTR___gmpn_mulmod_bnm1_next_size_0009d3b4)(dn)" identifier = (call_expression "(*(code *)PTR___gmpn_mulmod_bnm1_next_size_0009d3b4)(dn)" (parenthesized_expression "(*(code *)PTR___gmpn_mulmod_bnm1_next_size_0009d3b4)" ( (pointer_expression "*(code *)PTR___gmpn_mulmod_bnm1_next_size_0009d3b4" * (cast_expression "(code *)PTR___gmpn_mulmod_bnm1_next_size_0009d3b4" ( (type_descriptor "code *" type_identifier (abstract_pointer_declarator "*" *)) ) identifier)) )) (argument_list "(dn)" ( identifier )))) ;) (expression_statement "iVar1 = iVar3 >> 1;" (assignment_expression "iVar1 = iVar3 >> 1" identifier = (binary_expression "iVar3 >> 1" identifier >> number_literal)) ;) (expression_statement "iVar4 = iVar3 + 4;" (assignment_expression "iVar4 = iVar3 + 4" identifier = (binary_expression "iVar3 + 4" identifier + number_literal)) ;) (if_statement "if (iVar1 < dn) {\n      if (iVar2 <= iVar1) {\n        iVar3 = iVar3 + iVar4 + iVar1;\n        goto LAB_000781a4;\n      }\n      iVar4 = iVar4 + iVar3;\n    }" if (parenthesized_expression "(iVar1 < dn)" ( (binary_expression "iVar1 < dn" identifier < identifier) )) (compound_statement "{\n      if (iVar2 <= iVar1) {\n        iVar3 = iVar3 + iVar4 + iVar1;\n        goto LAB_000781a4;\n      }\n      iVar4 = iVar4 + iVar3;\n    }" { (if_statement "if (iVar2 <= iVar1) {\n        iVar3 = iVar3 + iVar4 + iVar1;\n        goto LAB_000781a4;\n      }" if (parenthesized_expression "(iVar2 <= iVar1)" ( (binary_expression "iVar2 <= iVar1" identifier <= identifier) )) (compound_statement "{\n        iVar3 = iVar3 + iVar4 + iVar1;\n        goto LAB_000781a4;\n      }" { (expression_statement "iVar3 = iVar3 + iVar4 + iVar1;" (assignment_expression "iVar3 = iVar3 + iVar4 + iVar1" identifier = (binary_expression "iVar3 + iVar4 + iVar1" (binary_expression "iVar3 + iVar4" identifier + identifier) + identifier)) ;) (goto_statement "goto LAB_000781a4;" goto statement_identifier ;) })) (expression_statement "iVar4 = iVar4 + iVar3;" (assignment_expression "iVar4 = iVar4 + iVar3" identifier = (binary_expression "iVar4 + iVar3" identifier + identifier)) ;) })) (expression_statement "iVar3 = iVar3 + iVar4;" (assignment_expression "iVar3 = iVar3 + iVar4" identifier = (binary_expression "iVar3 + iVar4" identifier + identifier)) ;) }))) (labeled_statement "LAB_000781a4:\n  iVar1 = (*(code *)PTR___gmpn_binvert_itch_0009d14c)(iVar2);" statement_identifier : (expression_statement "iVar1 = (*(code *)PTR___gmpn_binvert_itch_0009d14c)(iVar2);" (assignment_expression "iVar1 = (*(code *)PTR___gmpn_binvert_itch_0009d14c)(iVar2)" identifier = (call_expression "(*(code *)PTR___gmpn_binvert_itch_0009d14c)(iVar2)" (parenthesized_expression "(*(code *)PTR___gmpn_binvert_itch_0009d14c)" ( (pointer_expression "*(code *)PTR___gmpn_binvert_itch_0009d14c" * (cast_expression "(code *)PTR___gmpn_binvert_itch_0009d14c" ( (type_descriptor "code *" type_identifier (abstract_pointer_declarator "*" *)) ) identifier)) )) (argument_list "(iVar2)" ( identifier )))) ;)) (if_statement "if (iVar1 < iVar3) {\n    iVar1 = iVar3;\n  }" if (parenthesized_expression "(iVar1 < iVar3)" ( (binary_expression "iVar1 < iVar3" identifier < identifier) )) (compound_statement "{\n    iVar1 = iVar3;\n  }" { (expression_statement "iVar1 = iVar3;" (assignment_expression "iVar1 = iVar3" identifier = identifier) ;) })) (return_statement "return iVar1 + iVar2;" return (binary_expression "iVar1 + iVar2" identifier + identifier) ;) })))
(translation_unit "int __gmpn_mu_bdiv_qr_itch(int param_1,int param_2)\n\n{\n  int iVar1;\n  int iVar2;\n  int iVar3;\n  \n  param_1 = param_1 - param_2;\n  if (param_2 < param_1) {\n    if (param_2 == 0) {\n      trap(7);\n    }\n    iVar2 = (param_1 + -1) / param_2 + 1;\n    if (iVar2 == 0) {\n      trap(7);\n    }\n    param_1 = (param_1 + -1) / iVar2 + 1;\n  }\n  else {\n    param_1 = param_1 - (param_1 >> 1);\n  }\n  if (param_1 < 0x20) {\n    param_2 = param_1 + param_2;\n  }\n  else {\n    iVar2 = (*(code *)PTR___gmpn_mulmod_bnm1_next_size_0009d3b4)(param_2);\n    iVar1 = iVar2 >> 1;\n    iVar3 = iVar2 + 4;\n    if (iVar1 < param_2) {\n      if (param_1 <= iVar1) {\n        param_2 = iVar2 + iVar3 + iVar1;\n        goto LAB_000781a4;\n      }\n      iVar3 = iVar3 + iVar2;\n    }\n    param_2 = iVar2 + iVar3;\n  }\nLAB_000781a4:\n  iVar2 = (*(code *)PTR___gmpn_binvert_itch_0009d14c)(param_1);\n  if (iVar2 < param_2) {\n    iVar2 = param_2;\n  }\n  return iVar2 + param_1;\n}\n\n" (function_definition "int __gmpn_mu_bdiv_qr_itch(int param_1,int param_2)\n\n{\n  int iVar1;\n  int iVar2;\n  int iVar3;\n  \n  param_1 = param_1 - param_2;\n  if (param_2 < param_1) {\n    if (param_2 == 0) {\n      trap(7);\n    }\n    iVar2 = (param_1 + -1) / param_2 + 1;\n    if (iVar2 == 0) {\n      trap(7);\n    }\n    param_1 = (param_1 + -1) / iVar2 + 1;\n  }\n  else {\n    param_1 = param_1 - (param_1 >> 1);\n  }\n  if (param_1 < 0x20) {\n    param_2 = param_1 + param_2;\n  }\n  else {\n    iVar2 = (*(code *)PTR___gmpn_mulmod_bnm1_next_size_0009d3b4)(param_2);\n    iVar1 = iVar2 >> 1;\n    iVar3 = iVar2 + 4;\n    if (iVar1 < param_2) {\n      if (param_1 <= iVar1) {\n        param_2 = iVar2 + iVar3 + iVar1;\n        goto LAB_000781a4;\n      }\n      iVar3 = iVar3 + iVar2;\n    }\n    param_2 = iVar2 + iVar3;\n  }\nLAB_000781a4:\n  iVar2 = (*(code *)PTR___gmpn_binvert_itch_0009d14c)(param_1);\n  if (iVar2 < param_2) {\n    iVar2 = param_2;\n  }\n  return iVar2 + param_1;\n}" primitive_type (function_declarator "__gmpn_mu_bdiv_qr_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  \n  param_1 = param_1 - param_2;\n  if (param_2 < param_1) {\n    if (param_2 == 0) {\n      trap(7);\n    }\n    iVar2 = (param_1 + -1) / param_2 + 1;\n    if (iVar2 == 0) {\n      trap(7);\n    }\n    param_1 = (param_1 + -1) / iVar2 + 1;\n  }\n  else {\n    param_1 = param_1 - (param_1 >> 1);\n  }\n  if (param_1 < 0x20) {\n    param_2 = param_1 + param_2;\n  }\n  else {\n    iVar2 = (*(code *)PTR___gmpn_mulmod_bnm1_next_size_0009d3b4)(param_2);\n    iVar1 = iVar2 >> 1;\n    iVar3 = iVar2 + 4;\n    if (iVar1 < param_2) {\n      if (param_1 <= iVar1) {\n        param_2 = iVar2 + iVar3 + iVar1;\n        goto LAB_000781a4;\n      }\n      iVar3 = iVar3 + iVar2;\n    }\n    param_2 = iVar2 + iVar3;\n  }\nLAB_000781a4:\n  iVar2 = (*(code *)PTR___gmpn_binvert_itch_0009d14c)(param_1);\n  if (iVar2 < param_2) {\n    iVar2 = param_2;\n  }\n  return iVar2 + param_1;\n}" { (declaration "int iVar1;" primitive_type identifier ;) (declaration "int iVar2;" primitive_type identifier ;) (declaration "int iVar3;" primitive_type identifier ;) (expression_statement "param_1 = param_1 - param_2;" (assignment_expression "param_1 = param_1 - param_2" identifier = (binary_expression "param_1 - param_2" identifier - identifier)) ;) (if_statement "if (param_2 < param_1) {\n    if (param_2 == 0) {\n      trap(7);\n    }\n    iVar2 = (param_1 + -1) / param_2 + 1;\n    if (iVar2 == 0) {\n      trap(7);\n    }\n    param_1 = (param_1 + -1) / iVar2 + 1;\n  }\n  else {\n    param_1 = param_1 - (param_1 >> 1);\n  }" if (parenthesized_expression "(param_2 < param_1)" ( (binary_expression "param_2 < param_1" identifier < identifier) )) (compound_statement "{\n    if (param_2 == 0) {\n      trap(7);\n    }\n    iVar2 = (param_1 + -1) / param_2 + 1;\n    if (iVar2 == 0) {\n      trap(7);\n    }\n    param_1 = (param_1 + -1) / iVar2 + 1;\n  }" { (if_statement "if (param_2 == 0) {\n      trap(7);\n    }" if (parenthesized_expression "(param_2 == 0)" ( (binary_expression "param_2 == 0" identifier == number_literal) )) (compound_statement "{\n      trap(7);\n    }" { (expression_statement "trap(7);" (call_expression "trap(7)" identifier (argument_list "(7)" ( number_literal ))) ;) })) (expression_statement "iVar2 = (param_1 + -1) / param_2 + 1;" (assignment_expression "iVar2 = (param_1 + -1) / param_2 + 1" identifier = (binary_expression "(param_1 + -1) / param_2 + 1" (binary_expression "(param_1 + -1) / param_2" (parenthesized_expression "(param_1 + -1)" ( (binary_expression "param_1 + -1" identifier + number_literal) )) / identifier) + number_literal)) ;) (if_statement "if (iVar2 == 0) {\n      trap(7);\n    }" if (parenthesized_expression "(iVar2 == 0)" ( (binary_expression "iVar2 == 0" identifier == number_literal) )) (compound_statement "{\n      trap(7);\n    }" { (expression_statement "trap(7);" (call_expression "trap(7)" identifier (argument_list "(7)" ( number_literal ))) ;) })) (expression_statement "param_1 = (param_1 + -1) / iVar2 + 1;" (assignment_expression "param_1 = (param_1 + -1) / iVar2 + 1" identifier = (binary_expression "(param_1 + -1) / iVar2 + 1" (binary_expression "(param_1 + -1) / iVar2" (parenthesized_expression "(param_1 + -1)" ( (binary_expression "param_1 + -1" identifier + number_literal) )) / identifier) + number_literal)) ;) }) (else_clause "else {\n    param_1 = param_1 - (param_1 >> 1);\n  }" else (compound_statement "{\n    param_1 = param_1 - (param_1 >> 1);\n  }" { (expression_statement "param_1 = param_1 - (param_1 >> 1);" (assignment_expression "param_1 = param_1 - (param_1 >> 1)" identifier = (binary_expression "param_1 - (param_1 >> 1)" identifier - (parenthesized_expression "(param_1 >> 1)" ( (binary_expression "param_1 >> 1" identifier >> number_literal) )))) ;) }))) (if_statement "if (param_1 < 0x20) {\n    param_2 = param_1 + param_2;\n  }\n  else {\n    iVar2 = (*(code *)PTR___gmpn_mulmod_bnm1_next_size_0009d3b4)(param_2);\n    iVar1 = iVar2 >> 1;\n    iVar3 = iVar2 + 4;\n    if (iVar1 < param_2) {\n      if (param_1 <= iVar1) {\n        param_2 = iVar2 + iVar3 + iVar1;\n        goto LAB_000781a4;\n      }\n      iVar3 = iVar3 + iVar2;\n    }\n    param_2 = iVar2 + iVar3;\n  }" if (parenthesized_expression "(param_1 < 0x20)" ( (binary_expression "param_1 < 0x20" identifier < number_literal) )) (compound_statement "{\n    param_2 = param_1 + param_2;\n  }" { (expression_statement "param_2 = param_1 + param_2;" (assignment_expression "param_2 = param_1 + param_2" identifier = (binary_expression "param_1 + param_2" identifier + identifier)) ;) }) (else_clause "else {\n    iVar2 = (*(code *)PTR___gmpn_mulmod_bnm1_next_size_0009d3b4)(param_2);\n    iVar1 = iVar2 >> 1;\n    iVar3 = iVar2 + 4;\n    if (iVar1 < param_2) {\n      if (param_1 <= iVar1) {\n        param_2 = iVar2 + iVar3 + iVar1;\n        goto LAB_000781a4;\n      }\n      iVar3 = iVar3 + iVar2;\n    }\n    param_2 = iVar2 + iVar3;\n  }" else (compound_statement "{\n    iVar2 = (*(code *)PTR___gmpn_mulmod_bnm1_next_size_0009d3b4)(param_2);\n    iVar1 = iVar2 >> 1;\n    iVar3 = iVar2 + 4;\n    if (iVar1 < param_2) {\n      if (param_1 <= iVar1) {\n        param_2 = iVar2 + iVar3 + iVar1;\n        goto LAB_000781a4;\n      }\n      iVar3 = iVar3 + iVar2;\n    }\n    param_2 = iVar2 + iVar3;\n  }" { (expression_statement "iVar2 = (*(code *)PTR___gmpn_mulmod_bnm1_next_size_0009d3b4)(param_2);" (assignment_expression "iVar2 = (*(code *)PTR___gmpn_mulmod_bnm1_next_size_0009d3b4)(param_2)" identifier = (call_expression "(*(code *)PTR___gmpn_mulmod_bnm1_next_size_0009d3b4)(param_2)" (parenthesized_expression "(*(code *)PTR___gmpn_mulmod_bnm1_next_size_0009d3b4)" ( (pointer_expression "*(code *)PTR___gmpn_mulmod_bnm1_next_size_0009d3b4" * (cast_expression "(code *)PTR___gmpn_mulmod_bnm1_next_size_0009d3b4" ( (type_descriptor "code *" type_identifier (abstract_pointer_declarator "*" *)) ) identifier)) )) (argument_list "(param_2)" ( identifier )))) ;) (expression_statement "iVar1 = iVar2 >> 1;" (assignment_expression "iVar1 = iVar2 >> 1" identifier = (binary_expression "iVar2 >> 1" identifier >> number_literal)) ;) (expression_statement "iVar3 = iVar2 + 4;" (assignment_expression "iVar3 = iVar2 + 4" identifier = (binary_expression "iVar2 + 4" identifier + number_literal)) ;) (if_statement "if (iVar1 < param_2) {\n      if (param_1 <= iVar1) {\n        param_2 = iVar2 + iVar3 + iVar1;\n        goto LAB_000781a4;\n      }\n      iVar3 = iVar3 + iVar2;\n    }" if (parenthesized_expression "(iVar1 < param_2)" ( (binary_expression "iVar1 < param_2" identifier < identifier) )) (compound_statement "{\n      if (param_1 <= iVar1) {\n        param_2 = iVar2 + iVar3 + iVar1;\n        goto LAB_000781a4;\n      }\n      iVar3 = iVar3 + iVar2;\n    }" { (if_statement "if (param_1 <= iVar1) {\n        param_2 = iVar2 + iVar3 + iVar1;\n        goto LAB_000781a4;\n      }" if (parenthesized_expression "(param_1 <= iVar1)" ( (binary_expression "param_1 <= iVar1" identifier <= identifier) )) (compound_statement "{\n        param_2 = iVar2 + iVar3 + iVar1;\n        goto LAB_000781a4;\n      }" { (expression_statement "param_2 = iVar2 + iVar3 + iVar1;" (assignment_expression "param_2 = iVar2 + iVar3 + iVar1" identifier = (binary_expression "iVar2 + iVar3 + iVar1" (binary_expression "iVar2 + iVar3" identifier + identifier) + identifier)) ;) (goto_statement "goto LAB_000781a4;" goto statement_identifier ;) })) (expression_statement "iVar3 = iVar3 + iVar2;" (assignment_expression "iVar3 = iVar3 + iVar2" identifier = (binary_expression "iVar3 + iVar2" identifier + identifier)) ;) })) (expression_statement "param_2 = iVar2 + iVar3;" (assignment_expression "param_2 = iVar2 + iVar3" identifier = (binary_expression "iVar2 + iVar3" identifier + identifier)) ;) }))) (labeled_statement "LAB_000781a4:\n  iVar2 = (*(code *)PTR___gmpn_binvert_itch_0009d14c)(param_1);" statement_identifier : (expression_statement "iVar2 = (*(code *)PTR___gmpn_binvert_itch_0009d14c)(param_1);" (assignment_expression "iVar2 = (*(code *)PTR___gmpn_binvert_itch_0009d14c)(param_1)" identifier = (call_expression "(*(code *)PTR___gmpn_binvert_itch_0009d14c)(param_1)" (parenthesized_expression "(*(code *)PTR___gmpn_binvert_itch_0009d14c)" ( (pointer_expression "*(code *)PTR___gmpn_binvert_itch_0009d14c" * (cast_expression "(code *)PTR___gmpn_binvert_itch_0009d14c" ( (type_descriptor "code *" type_identifier (abstract_pointer_declarator "*" *)) ) identifier)) )) (argument_list "(param_1)" ( identifier )))) ;)) (if_statement "if (iVar2 < param_2) {\n    iVar2 = param_2;\n  }" if (parenthesized_expression "(iVar2 < param_2)" ( (binary_expression "iVar2 < param_2" identifier < identifier) )) (compound_statement "{\n    iVar2 = param_2;\n  }" { (expression_statement "iVar2 = param_2;" (assignment_expression "iVar2 = param_2" identifier = identifier) ;) })) (return_statement "return iVar2 + param_1;" return (binary_expression "iVar2 + param_1" 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 ;) (expression_statement (assignment_expression IDENT = (binary_expression IDENT - IDENT)) ;) (if_statement if (parenthesized_expression ( (binary_expression IDENT < IDENT) )) (compound_statement { (if_statement if (parenthesized_expression ( (binary_expression IDENT == LIT) )) (compound_statement { (expression_statement (call_expression IDENT (argument_list ( LIT ))) ;) })) (expression_statement (assignment_expression IDENT = (binary_expression (binary_expression (parenthesized_expression ( (binary_expression IDENT + LIT) )) / IDENT) + LIT)) ;) (if_statement if (parenthesized_expression ( (binary_expression IDENT == LIT) )) (compound_statement { (expression_statement (call_expression IDENT (argument_list ( LIT ))) ;) })) (expression_statement (assignment_expression IDENT = (binary_expression (binary_expression (parenthesized_expression ( (binary_expression IDENT + LIT) )) / IDENT) + LIT)) ;) }) (else_clause else (compound_statement { (expression_statement (assignment_expression IDENT = (binary_expression IDENT - (parenthesized_expression ( (binary_expression IDENT >> LIT) )))) ;) }))) (if_statement if (parenthesized_expression ( (binary_expression IDENT < LIT) )) (compound_statement { (expression_statement (assignment_expression IDENT = (binary_expression IDENT + IDENT)) ;) }) (else_clause else (compound_statement { (expression_statement (assignment_expression IDENT = (call_expression (parenthesized_expression ( (pointer_expression * (cast_expression ( (type_descriptor TYPE (abstract_pointer_declarator *)) ) IDENT)) )) (argument_list ( IDENT )))) ;) (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 IDENT + IDENT) + IDENT)) ;) (goto_statement goto statement_identifier ;) })) (expression_statement (assignment_expression IDENT = (binary_expression IDENT + IDENT)) ;) })) (expression_statement (assignment_expression IDENT = (binary_expression IDENT + IDENT)) ;) }))) (labeled_statement statement_identifier : (expression_statement (assignment_expression IDENT = (call_expression (parenthesized_expression ( (pointer_expression * (cast_expression ( (type_descriptor TYPE (abstract_pointer_declarator *)) ) IDENT)) )) (argument_list ( IDENT )))) ;)) (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_bdiv_qr_itch(int param_1,int param_2)\n\n{\n  int iVar1;\n  int iVar2;\n  int iVar3;\n  \n  param_1 = param_1 - param_2;\n  if (param_2 < param_1) {\n    if (param_2 == 0) {\n      trap(7);\n    }\n    iVar2 = (param_1 + -1) / param_2 + 1;\n    if (iVar2 == 0) {\n      trap(7);\n    }\n    param_1 = (param_1 + -1) / iVar2 + 1;\n  }\n  else {\n    param_1 = param_1 - (param_1 >> 1);\n  }\n  if (param_1 < 0x20) {\n    param_2 = param_1 + param_2;\n  }\n  else {\n    iVar2 = (*(code *)PTR___gmpn_mulmod_bnm1_next_size_0009d3b4)(param_2);\n    iVar1 = iVar2 >> 1;\n    iVar3 = iVar2 + 4;\n    if (iVar1 < param_2) {\n      if (param_1 <= iVar1) {\n        param_2 = iVar2 + iVar3 + iVar1;\n        goto LAB_000781a4;\n      }\n      iVar3 = iVar3 + iVar2;\n    }\n    param_2 = iVar2 + iVar3;\n  }\nLAB_000781a4:\n  iVar2 = (*(code *)PTR___gmpn_binvert_itch_0009d14c)(param_1);\n  if (iVar2 < param_2) {\n    iVar2 = param_2;\n  }\n  return iVar2 + param_1;\n}" (primitive_type "int") (function_declarator "__gmpn_mu_bdiv_qr_itch(int param_1,int param_2)" (identifier "__gmpn_mu_bdiv_qr_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  \n  param_1 = param_1 - param_2;\n  if (param_2 < param_1) {\n    if (param_2 == 0) {\n      trap(7);\n    }\n    iVar2 = (param_1 + -1) / param_2 + 1;\n    if (iVar2 == 0) {\n      trap(7);\n    }\n    param_1 = (param_1 + -1) / iVar2 + 1;\n  }\n  else {\n    param_1 = param_1 - (param_1 >> 1);\n  }\n  if (param_1 < 0x20) {\n    param_2 = param_1 + param_2;\n  }\n  else {\n    iVar2 = (*(code *)PTR___gmpn_mulmod_bnm1_next_size_0009d3b4)(param_2);\n    iVar1 = iVar2 >> 1;\n    iVar3 = iVar2 + 4;\n    if (iVar1 < param_2) {\n      if (param_1 <= iVar1) {\n        param_2 = iVar2 + iVar3 + iVar1;\n        goto LAB_000781a4;\n      }\n      iVar3 = iVar3 + iVar2;\n    }\n    param_2 = iVar2 + iVar3;\n  }\nLAB_000781a4:\n  iVar2 = (*(code *)PTR___gmpn_binvert_itch_0009d14c)(param_1);\n  if (iVar2 < param_2) {\n    iVar2 = param_2;\n  }\n  return iVar2 + param_1;\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") (; ";")) (expression_statement "param_1 = param_1 - param_2;" (assignment_expression "param_1 = param_1 - param_2" (identifier "param_1") (= "=") (binary_expression "param_1 - param_2" (identifier "param_1") (- "-") (identifier "param_2"))) (; ";")) (if_statement "if (param_2 < param_1) {\n    if (param_2 == 0) {\n      trap(7);\n    }\n    iVar2 = (param_1 + -1) / param_2 + 1;\n    if (iVar2 == 0) {\n      trap(7);\n    }\n    param_1 = (param_1 + -1) / iVar2 + 1;\n  }\n  else {\n    param_1 = param_1 - (param_1 >> 1);\n  }" (if "if") (parenthesized_expression "(param_2 < param_1)" (( "(") (binary_expression "param_2 < param_1" (identifier "param_2") (< "<") (identifier "param_1")) () ")")) (compound_statement "{\n    if (param_2 == 0) {\n      trap(7);\n    }\n    iVar2 = (param_1 + -1) / param_2 + 1;\n    if (iVar2 == 0) {\n      trap(7);\n    }\n    param_1 = (param_1 + -1) / iVar2 + 1;\n  }" ({ "{") (if_statement "if (param_2 == 0) {\n      trap(7);\n    }" (if "if") (parenthesized_expression "(param_2 == 0)" (( "(") (binary_expression "param_2 == 0" (identifier "param_2") (== "==") (number_literal "0")) () ")")) (compound_statement "{\n      trap(7);\n    }" ({ "{") (expression_statement "trap(7);" (call_expression "trap(7)" (identifier "trap") (argument_list "(7)" (( "(") (number_literal "7") () ")"))) (; ";")) (} "}"))) (expression_statement "iVar2 = (param_1 + -1) / param_2 + 1;" (assignment_expression "iVar2 = (param_1 + -1) / param_2 + 1" (identifier "iVar2") (= "=") (binary_expression "(param_1 + -1) / param_2 + 1" (binary_expression "(param_1 + -1) / param_2" (parenthesized_expression "(param_1 + -1)" (( "(") (binary_expression "param_1 + -1" (identifier "param_1") (+ "+") (number_literal "-1")) () ")")) (/ "/") (identifier "param_2")) (+ "+") (number_literal "1"))) (; ";")) (if_statement "if (iVar2 == 0) {\n      trap(7);\n    }" (if "if") (parenthesized_expression "(iVar2 == 0)" (( "(") (binary_expression "iVar2 == 0" (identifier "iVar2") (== "==") (number_literal "0")) () ")")) (compound_statement "{\n      trap(7);\n    }" ({ "{") (expression_statement "trap(7);" (call_expression "trap(7)" (identifier "trap") (argument_list "(7)" (( "(") (number_literal "7") () ")"))) (; ";")) (} "}"))) (expression_statement "param_1 = (param_1 + -1) / iVar2 + 1;" (assignment_expression "param_1 = (param_1 + -1) / iVar2 + 1" (identifier "param_1") (= "=") (binary_expression "(param_1 + -1) / iVar2 + 1" (binary_expression "(param_1 + -1) / iVar2" (parenthesized_expression "(param_1 + -1)" (( "(") (binary_expression "param_1 + -1" (identifier "param_1") (+ "+") (number_literal "-1")) () ")")) (/ "/") (identifier "iVar2")) (+ "+") (number_literal "1"))) (; ";")) (} "}")) (else_clause "else {\n    param_1 = param_1 - (param_1 >> 1);\n  }" (else "else") (compound_statement "{\n    param_1 = param_1 - (param_1 >> 1);\n  }" ({ "{") (expression_statement "param_1 = param_1 - (param_1 >> 1);" (assignment_expression "param_1 = param_1 - (param_1 >> 1)" (identifier "param_1") (= "=") (binary_expression "param_1 - (param_1 >> 1)" (identifier "param_1") (- "-") (parenthesized_expression "(param_1 >> 1)" (( "(") (binary_expression "param_1 >> 1" (identifier "param_1") (>> ">>") (number_literal "1")) () ")")))) (; ";")) (} "}")))) (if_statement "if (param_1 < 0x20) {\n    param_2 = param_1 + param_2;\n  }\n  else {\n    iVar2 = (*(code *)PTR___gmpn_mulmod_bnm1_next_size_0009d3b4)(param_2);\n    iVar1 = iVar2 >> 1;\n    iVar3 = iVar2 + 4;\n    if (iVar1 < param_2) {\n      if (param_1 <= iVar1) {\n        param_2 = iVar2 + iVar3 + iVar1;\n        goto LAB_000781a4;\n      }\n      iVar3 = iVar3 + iVar2;\n    }\n    param_2 = iVar2 + iVar3;\n  }" (if "if") (parenthesized_expression "(param_1 < 0x20)" (( "(") (binary_expression "param_1 < 0x20" (identifier "param_1") (< "<") (number_literal "0x20")) () ")")) (compound_statement "{\n    param_2 = param_1 + param_2;\n  }" ({ "{") (expression_statement "param_2 = param_1 + param_2;" (assignment_expression "param_2 = param_1 + param_2" (identifier "param_2") (= "=") (binary_expression "param_1 + param_2" (identifier "param_1") (+ "+") (identifier "param_2"))) (; ";")) (} "}")) (else_clause "else {\n    iVar2 = (*(code *)PTR___gmpn_mulmod_bnm1_next_size_0009d3b4)(param_2);\n    iVar1 = iVar2 >> 1;\n    iVar3 = iVar2 + 4;\n    if (iVar1 < param_2) {\n      if (param_1 <= iVar1) {\n        param_2 = iVar2 + iVar3 + iVar1;\n        goto LAB_000781a4;\n      }\n      iVar3 = iVar3 + iVar2;\n    }\n    param_2 = iVar2 + iVar3;\n  }" (else "else") (compound_statement "{\n    iVar2 = (*(code *)PTR___gmpn_mulmod_bnm1_next_size_0009d3b4)(param_2);\n    iVar1 = iVar2 >> 1;\n    iVar3 = iVar2 + 4;\n    if (iVar1 < param_2) {\n      if (param_1 <= iVar1) {\n        param_2 = iVar2 + iVar3 + iVar1;\n        goto LAB_000781a4;\n      }\n      iVar3 = iVar3 + iVar2;\n    }\n    param_2 = iVar2 + iVar3;\n  }" ({ "{") (expression_statement "iVar2 = (*(code *)PTR___gmpn_mulmod_bnm1_next_size_0009d3b4)(param_2);" (assignment_expression "iVar2 = (*(code *)PTR___gmpn_mulmod_bnm1_next_size_0009d3b4)(param_2)" (identifier "iVar2") (= "=") (call_expression "(*(code *)PTR___gmpn_mulmod_bnm1_next_size_0009d3b4)(param_2)" (parenthesized_expression "(*(code *)PTR___gmpn_mulmod_bnm1_next_size_0009d3b4)" (( "(") (pointer_expression "*(code *)PTR___gmpn_mulmod_bnm1_next_size_0009d3b4" (* "*") (cast_expression "(code *)PTR___gmpn_mulmod_bnm1_next_size_0009d3b4" (( "(") (type_descriptor "code *" (type_identifier "code") (abstract_pointer_declarator "*" (* "*"))) () ")") (identifier "PTR___gmpn_mulmod_bnm1_next_size_0009d3b4"))) () ")")) (argument_list "(param_2)" (( "(") (identifier "param_2") () ")")))) (; ";")) (expression_statement "iVar1 = iVar2 >> 1;" (assignment_expression "iVar1 = iVar2 >> 1" (identifier "iVar1") (= "=") (binary_expression "iVar2 >> 1" (identifier "iVar2") (>> ">>") (number_literal "1"))) (; ";")) (expression_statement "iVar3 = iVar2 + 4;" (assignment_expression "iVar3 = iVar2 + 4" (identifier "iVar3") (= "=") (binary_expression "iVar2 + 4" (identifier "iVar2") (+ "+") (number_literal "4"))) (; ";")) (if_statement "if (iVar1 < param_2) {\n      if (param_1 <= iVar1) {\n        param_2 = iVar2 + iVar3 + iVar1;\n        goto LAB_000781a4;\n      }\n      iVar3 = iVar3 + iVar2;\n    }" (if "if") (parenthesized_expression "(iVar1 < param_2)" (( "(") (binary_expression "iVar1 < param_2" (identifier "iVar1") (< "<") (identifier "param_2")) () ")")) (compound_statement "{\n      if (param_1 <= iVar1) {\n        param_2 = iVar2 + iVar3 + iVar1;\n        goto LAB_000781a4;\n      }\n      iVar3 = iVar3 + iVar2;\n    }" ({ "{") (if_statement "if (param_1 <= iVar1) {\n        param_2 = iVar2 + iVar3 + iVar1;\n        goto LAB_000781a4;\n      }" (if "if") (parenthesized_expression "(param_1 <= iVar1)" (( "(") (binary_expression "param_1 <= iVar1" (identifier "param_1") (<= "<=") (identifier "iVar1")) () ")")) (compound_statement "{\n        param_2 = iVar2 + iVar3 + iVar1;\n        goto LAB_000781a4;\n      }" ({ "{") (expression_statement "param_2 = iVar2 + iVar3 + iVar1;" (assignment_expression "param_2 = iVar2 + iVar3 + iVar1" (identifier "param_2") (= "=") (binary_expression "iVar2 + iVar3 + iVar1" (binary_expression "iVar2 + iVar3" (identifier "iVar2") (+ "+") (identifier "iVar3")) (+ "+") (identifier "iVar1"))) (; ";")) (goto_statement "goto LAB_000781a4;" (goto "goto") (statement_identifier "LAB_000781a4") (; ";")) (} "}"))) (expression_statement "iVar3 = iVar3 + iVar2;" (assignment_expression "iVar3 = iVar3 + iVar2" (identifier "iVar3") (= "=") (binary_expression "iVar3 + iVar2" (identifier "iVar3") (+ "+") (identifier "iVar2"))) (; ";")) (} "}"))) (expression_statement "param_2 = iVar2 + iVar3;" (assignment_expression "param_2 = iVar2 + iVar3" (identifier "param_2") (= "=") (binary_expression "iVar2 + iVar3" (identifier "iVar2") (+ "+") (identifier "iVar3"))) (; ";")) (} "}")))) (labeled_statement "LAB_000781a4:\n  iVar2 = (*(code *)PTR___gmpn_binvert_itch_0009d14c)(param_1);" (statement_identifier "LAB_000781a4") (: ":") (expression_statement "iVar2 = (*(code *)PTR___gmpn_binvert_itch_0009d14c)(param_1);" (assignment_expression "iVar2 = (*(code *)PTR___gmpn_binvert_itch_0009d14c)(param_1)" (identifier "iVar2") (= "=") (call_expression "(*(code *)PTR___gmpn_binvert_itch_0009d14c)(param_1)" (parenthesized_expression "(*(code *)PTR___gmpn_binvert_itch_0009d14c)" (( "(") (pointer_expression "*(code *)PTR___gmpn_binvert_itch_0009d14c" (* "*") (cast_expression "(code *)PTR___gmpn_binvert_itch_0009d14c" (( "(") (type_descriptor "code *" (type_identifier "code") (abstract_pointer_declarator "*" (* "*"))) () ")") (identifier "PTR___gmpn_binvert_itch_0009d14c"))) () ")")) (argument_list "(param_1)" (( "(") (identifier "param_1") () ")")))) (; ";"))) (if_statement "if (iVar2 < param_2) {\n    iVar2 = param_2;\n  }" (if "if") (parenthesized_expression "(iVar2 < param_2)" (( "(") (binary_expression "iVar2 < param_2" (identifier "iVar2") (< "<") (identifier "param_2")) () ")")) (compound_statement "{\n    iVar2 = param_2;\n  }" ({ "{") (expression_statement "iVar2 = param_2;" (assignment_expression "iVar2 = param_2" (identifier "iVar2") (= "=") (identifier "param_2")) (; ";")) (} "}"))) (return_statement "return iVar2 + param_1;" (return "return") (binary_expression "iVar2 + param_1" (identifier "iVar2") (+ "+") (identifier "param_1")) (; ";")) (} "}")))

type_1 function_1(type_1 var_1,type_1 var_2)

{
  int var_6;
  int var_3;
  int var_5;
  int var_7;
  
  var_3 = var_1 - var_2;
  if (var_2 < var_3) {
    if (var_2 == 0) {
      var_4(7);
    }
    var_5 = (var_3 + -1) / var_2 + 1;
    if (var_5 == 0) {
      var_4(7);
    }
    var_3 = (var_3 + -1) / var_5 + 1;
  }
  else {
    var_3 = var_3 - (var_3 >> 1);
  }
  if (var_3 < 0x20) {
    var_5 = var_3 + var_2;
  }
  else {
    var_5 = (*(type_2 *)PTR___gmpn_mulmod_bnm1_next_size_0009d3b4)(var_2);
    var_6 = var_5 >> 1;
    var_7 = var_5 + 4;
    if (var_6 < var_2) {
      if (var_3 <= var_6) {
        var_5 = var_5 + var_7 + var_6;
        goto LAB_000781a4;
      }
      var_7 = var_7 + var_5;
    }
    var_5 = var_5 + var_7;
  }
LAB_000781a4:
  var_6 = (*(type_2 *)PTR___gmpn_binvert_itch_0009d14c)(var_3);
  if (var_6 < var_5) {
    var_6 = var_5;
  }
  return var_6 + var_3;
}


(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)) (expression_statement (assignment_expression left: (identifier) right: (binary_expression left: (identifier) right: (identifier)))) (if_statement condition: (parenthesized_expression (binary_expression left: (identifier) right: (identifier))) consequence: (compound_statement (if_statement condition: (parenthesized_expression (binary_expression left: (identifier) right: (number_literal))) consequence: (compound_statement (expression_statement (call_expression function: (identifier) arguments: (argument_list (number_literal)))))) (expression_statement (assignment_expression left: (identifier) right: (binary_expression left: (binary_expression left: (parenthesized_expression (binary_expression left: (identifier) right: (number_literal))) right: (identifier)) right: (number_literal)))) (if_statement condition: (parenthesized_expression (binary_expression left: (identifier) right: (number_literal))) consequence: (compound_statement (expression_statement (call_expression function: (identifier) arguments: (argument_list (number_literal)))))) (expression_statement (assignment_expression left: (identifier) right: (binary_expression left: (binary_expression left: (parenthesized_expression (binary_expression left: (identifier) right: (number_literal))) right: (identifier)) right: (number_literal))))) alternative: (else_clause (compound_statement (expression_statement (assignment_expression left: (identifier) right: (binary_expression left: (identifier) 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: (binary_expression left: (identifier) right: (identifier))))) alternative: (else_clause (compound_statement (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 (identifier))))) (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: (identifier) right: (identifier)) right: (identifier)))) (goto_statement label: (statement_identifier)))) (expression_statement (assignment_expression left: (identifier) right: (binary_expression left: (identifier) right: (identifier)))))) (expression_statement (assignment_expression left: (identifier) right: (binary_expression left: (identifier) right: (identifier))))))) (labeled_statement label: (statement_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 (identifier)))))) (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;
  
  param_1 = param_1 - param_2;
  if (param_2 < param_1) {
    if (param_2 == 0) {
      trap(7);
    }
    iVar2 = (param_1 + -1) / param_2 + 1;
    if (iVar2 == 0) {
      trap(7);
    }
    param_1 = (param_1 + -1) / iVar2 + 1;
  }
  else {
    param_1 = param_1 - (param_1 >> 1);
  }
  if (param_1 < 0x20) {
    param_2 = param_1 + param_2;
  }
  else {
    iVar2 = (*(code *)PTR___gmpn_mulmod_bnm1_next_size_0009d3b4)(param_2);
    iVar1 = iVar2 >> 1;
    iVar3 = iVar2 + 4;
    if (iVar1 < param_2) {
      if (param_1 <= iVar1) {
        param_2 = iVar2 + iVar3 + iVar1;
        goto LAB_000781a4;
      }
      iVar3 = iVar3 + iVar2;
    }
    param_2 = iVar2 + iVar3;
  }
LAB_000781a4:
  iVar2 = (*(code *)PTR___gmpn_binvert_itch_0009d14c)(param_1);
  if (iVar2 < param_2) {
    iVar2 = param_2;
  }
  return iVar2 + param_1;
}

