
void __gmpz_divexact_ui(mpz_ptr dst,mpz_srcptr src,ulong divisor)

{
  int iVar1;
  int iVar2;
  mp_limb_t *pmVar3;
  
  if (divisor == 0) {
    (*(code *)PTR___gmp_divide_by_zero_0009d5e0)();
    return;
  }
  iVar2 = src->_mp_size;
  if (iVar2 != 0) {
    iVar1 = iVar2;
    if (iVar2 < 0) {
      iVar1 = -iVar2;
    }
    if (dst->_mp_alloc < iVar1) {
      pmVar3 = (mp_limb_t *)(*(code *)PTR___gmpz_realloc_0009d5c0)(dst,iVar1);
    }
    else {
      pmVar3 = dst->_mp_d;
    }
    (*(code *)PTR___gmpn_divexact_1_0009d3f8)(pmVar3,src->_mp_d,iVar1,divisor);
    if (iVar2 < 0) {
      iVar1 = (uint)(pmVar3[iVar1 + -1] == 0) - iVar1;
    }
    else {
      iVar1 = iVar1 - (uint)(pmVar3[iVar1 + -1] == 0);
    }
    dst->_mp_size = iVar1;
    return;
  }
  dst->_mp_size = 0;
  return;
}



void __gmpz_divexact_ui(int *param_1,int param_2,int param_3)

{
  uint uVar1;
  int unaff_s0;
  int unaff_s1;
  int *unaff_s2;
  int iVar2;
  int unaff_s4;
  code *pcVar3;
  
  if (param_3 == 0) {
    pcVar3 = (code *)PTR___gmp_divide_by_zero_0009d5e0;
    (*(code *)PTR___gmp_divide_by_zero_0009d5e0)();
  }
  else {
    unaff_s0 = *(int *)(param_2 + 4);
    if (unaff_s0 == 0) {
      param_1[1] = 0;
      return;
    }
    unaff_s1 = unaff_s0;
    if (unaff_s0 < 0) {
      unaff_s1 = -unaff_s0;
    }
    unaff_s2 = param_1;
    unaff_s4 = param_2;
    pcVar3 = (code *)PTR___gmpz_realloc_0009d5c0;
    if (unaff_s1 <= *param_1) {
      iVar2 = param_1[2];
      goto LAB_000260dc;
    }
  }
  iVar2 = (*pcVar3)(unaff_s2,unaff_s1);
LAB_000260dc:
  (*(code *)PTR___gmpn_divexact_1_0009d3f8)(iVar2,*(undefined4 *)(unaff_s4 + 8),unaff_s1,param_3);
  uVar1 = (uint)(*(int *)(iVar2 + unaff_s1 * 4 + -4) == 0);
  if (unaff_s0 < 0) {
    iVar2 = uVar1 - unaff_s1;
  }
  else {
    iVar2 = unaff_s1 - uVar1;
  }
  unaff_s2[1] = iVar2;
  return;
}


lui gp,0x8
addiu gp,gp,-0x1040
addu gp,gp,t9
addiu sp,sp,-0x30
sw gp,0x10(sp)
sw ra,0x2c(sp)
sw s4,0x28(sp)
sw s3,0x24(sp)
sw s2,0x20(sp)
sw s1,0x1c(sp)
beq a2,zero,0x00026164
_sw s0,0x18(sp)
lw s0,0x4(a1)
or s2,a0,zero
beq s0,zero,0x00026140
_or s4,a1,zero
bltz s0,0x00026138
_or s1,s0,zero
lw v0,0x0(s2)
slt v0,v0,s1
bne v0,zero,0x00026170
_lw t9,-0x7a80(gp)
lw s3,0x8(s2)
lw t9,-0x7c48(gp)
or a3,a2,zero
lw a1,0x8(s4)
or a0,s3,zero
jalr t9
_or a2,s1,zero
sll v0,s1,0x2
addu s3,s3,v0
lw v0,-0x4(s3)
bltz s0,0x00026130
_sltiu v0,v0,0x1
subu v0,s1,v0
lw ra,0x2c(sp)
lw s4,0x28(sp)
lw s3,0x24(sp)
lw s1,0x1c(sp)
lw s0,0x18(sp)
sw v0,0x4(s2)
lw s2,0x20(sp)
jr ra
_addiu sp,sp,0x30
b 0x0002610c
_subu v0,v0,s1
b 0x000260c8
_subu s1,zero,s0
lw ra,0x2c(sp)
lw s4,0x28(sp)
lw s3,0x24(sp)
lw s2,0x20(sp)
lw s1,0x1c(sp)
lw s0,0x18(sp)
sw zero,0x4(a0)
jr ra
_addiu sp,sp,0x30
lw t9,-0x7a60(gp)
jalr t9
_nop
or a1,s1,zero
sw a2,0x38(sp)
jalr t9
_or a0,s2,zero
lw gp,0x10(sp)
or s3,v0,zero
b 0x000260dc
_lw a2,0x38(sp)
(translation_unit "void __gmpz_divexact_ui(int *param_1,int param_2,int param_3)\n\n{\n  uint uVar1;\n  int unaff_s0;\n  int unaff_s1;\n  int *unaff_s2;\n  int iVar2;\n  int unaff_s4;\n  code *pcVar3;\n  \n  if (param_3 == 0) {\n    pcVar3 = (code *)PTR___gmp_divide_by_zero_0009d5e0;\n    (*(code *)PTR___gmp_divide_by_zero_0009d5e0)();\n  }\n  else {\n    unaff_s0 = *(int *)(param_2 + 4);\n    if (unaff_s0 == 0) {\n      param_1[1] = 0;\n      return;\n    }\n    unaff_s1 = unaff_s0;\n    if (unaff_s0 < 0) {\n      unaff_s1 = -unaff_s0;\n    }\n    unaff_s2 = param_1;\n    unaff_s4 = param_2;\n    pcVar3 = (code *)PTR___gmpz_realloc_0009d5c0;\n    if (unaff_s1 <= *param_1) {\n      iVar2 = param_1[2];\n      goto LAB_000260dc;\n    }\n  }\n  iVar2 = (*pcVar3)(unaff_s2,unaff_s1);\nLAB_000260dc:\n  (*(code *)PTR___gmpn_divexact_1_0009d3f8)(iVar2,*(undefined4 *)(unaff_s4 + 8),unaff_s1,param_3);\n  uVar1 = (uint)(*(int *)(iVar2 + unaff_s1 * 4 + -4) == 0);\n  if (unaff_s0 < 0) {\n    iVar2 = uVar1 - unaff_s1;\n  }\n  else {\n    iVar2 = unaff_s1 - uVar1;\n  }\n  unaff_s2[1] = iVar2;\n  return;\n}\n\n" (function_definition "void __gmpz_divexact_ui(int *param_1,int param_2,int param_3)\n\n{\n  uint uVar1;\n  int unaff_s0;\n  int unaff_s1;\n  int *unaff_s2;\n  int iVar2;\n  int unaff_s4;\n  code *pcVar3;\n  \n  if (param_3 == 0) {\n    pcVar3 = (code *)PTR___gmp_divide_by_zero_0009d5e0;\n    (*(code *)PTR___gmp_divide_by_zero_0009d5e0)();\n  }\n  else {\n    unaff_s0 = *(int *)(param_2 + 4);\n    if (unaff_s0 == 0) {\n      param_1[1] = 0;\n      return;\n    }\n    unaff_s1 = unaff_s0;\n    if (unaff_s0 < 0) {\n      unaff_s1 = -unaff_s0;\n    }\n    unaff_s2 = param_1;\n    unaff_s4 = param_2;\n    pcVar3 = (code *)PTR___gmpz_realloc_0009d5c0;\n    if (unaff_s1 <= *param_1) {\n      iVar2 = param_1[2];\n      goto LAB_000260dc;\n    }\n  }\n  iVar2 = (*pcVar3)(unaff_s2,unaff_s1);\nLAB_000260dc:\n  (*(code *)PTR___gmpn_divexact_1_0009d3f8)(iVar2,*(undefined4 *)(unaff_s4 + 8),unaff_s1,param_3);\n  uVar1 = (uint)(*(int *)(iVar2 + unaff_s1 * 4 + -4) == 0);\n  if (unaff_s0 < 0) {\n    iVar2 = uVar1 - unaff_s1;\n  }\n  else {\n    iVar2 = unaff_s1 - uVar1;\n  }\n  unaff_s2[1] = iVar2;\n  return;\n}" primitive_type (function_declarator "__gmpz_divexact_ui(int *param_1,int param_2,int param_3)" identifier (parameter_list "(int *param_1,int param_2,int param_3)" ( (parameter_declaration "int *param_1" primitive_type (pointer_declarator "*param_1" * identifier)) , (parameter_declaration "int param_2" primitive_type identifier) , (parameter_declaration "int param_3" primitive_type identifier) ))) (compound_statement "{\n  uint uVar1;\n  int unaff_s0;\n  int unaff_s1;\n  int *unaff_s2;\n  int iVar2;\n  int unaff_s4;\n  code *pcVar3;\n  \n  if (param_3 == 0) {\n    pcVar3 = (code *)PTR___gmp_divide_by_zero_0009d5e0;\n    (*(code *)PTR___gmp_divide_by_zero_0009d5e0)();\n  }\n  else {\n    unaff_s0 = *(int *)(param_2 + 4);\n    if (unaff_s0 == 0) {\n      param_1[1] = 0;\n      return;\n    }\n    unaff_s1 = unaff_s0;\n    if (unaff_s0 < 0) {\n      unaff_s1 = -unaff_s0;\n    }\n    unaff_s2 = param_1;\n    unaff_s4 = param_2;\n    pcVar3 = (code *)PTR___gmpz_realloc_0009d5c0;\n    if (unaff_s1 <= *param_1) {\n      iVar2 = param_1[2];\n      goto LAB_000260dc;\n    }\n  }\n  iVar2 = (*pcVar3)(unaff_s2,unaff_s1);\nLAB_000260dc:\n  (*(code *)PTR___gmpn_divexact_1_0009d3f8)(iVar2,*(undefined4 *)(unaff_s4 + 8),unaff_s1,param_3);\n  uVar1 = (uint)(*(int *)(iVar2 + unaff_s1 * 4 + -4) == 0);\n  if (unaff_s0 < 0) {\n    iVar2 = uVar1 - unaff_s1;\n  }\n  else {\n    iVar2 = unaff_s1 - uVar1;\n  }\n  unaff_s2[1] = iVar2;\n  return;\n}" { (declaration "uint uVar1;" type_identifier identifier ;) (declaration "int unaff_s0;" primitive_type identifier ;) (declaration "int unaff_s1;" primitive_type identifier ;) (declaration "int *unaff_s2;" primitive_type (pointer_declarator "*unaff_s2" * identifier) ;) (declaration "int iVar2;" primitive_type identifier ;) (declaration "int unaff_s4;" primitive_type identifier ;) (declaration "code *pcVar3;" type_identifier (pointer_declarator "*pcVar3" * identifier) ;) (if_statement "if (param_3 == 0) {\n    pcVar3 = (code *)PTR___gmp_divide_by_zero_0009d5e0;\n    (*(code *)PTR___gmp_divide_by_zero_0009d5e0)();\n  }\n  else {\n    unaff_s0 = *(int *)(param_2 + 4);\n    if (unaff_s0 == 0) {\n      param_1[1] = 0;\n      return;\n    }\n    unaff_s1 = unaff_s0;\n    if (unaff_s0 < 0) {\n      unaff_s1 = -unaff_s0;\n    }\n    unaff_s2 = param_1;\n    unaff_s4 = param_2;\n    pcVar3 = (code *)PTR___gmpz_realloc_0009d5c0;\n    if (unaff_s1 <= *param_1) {\n      iVar2 = param_1[2];\n      goto LAB_000260dc;\n    }\n  }" if (parenthesized_expression "(param_3 == 0)" ( (binary_expression "param_3 == 0" identifier == number_literal) )) (compound_statement "{\n    pcVar3 = (code *)PTR___gmp_divide_by_zero_0009d5e0;\n    (*(code *)PTR___gmp_divide_by_zero_0009d5e0)();\n  }" { (expression_statement "pcVar3 = (code *)PTR___gmp_divide_by_zero_0009d5e0;" (assignment_expression "pcVar3 = (code *)PTR___gmp_divide_by_zero_0009d5e0" identifier = (cast_expression "(code *)PTR___gmp_divide_by_zero_0009d5e0" ( (type_descriptor "code *" type_identifier (abstract_pointer_declarator "*" *)) ) identifier)) ;) (expression_statement "(*(code *)PTR___gmp_divide_by_zero_0009d5e0)();" (call_expression "(*(code *)PTR___gmp_divide_by_zero_0009d5e0)()" (parenthesized_expression "(*(code *)PTR___gmp_divide_by_zero_0009d5e0)" ( (pointer_expression "*(code *)PTR___gmp_divide_by_zero_0009d5e0" * (cast_expression "(code *)PTR___gmp_divide_by_zero_0009d5e0" ( (type_descriptor "code *" type_identifier (abstract_pointer_declarator "*" *)) ) identifier)) )) (argument_list "()" ( ))) ;) }) (else_clause "else {\n    unaff_s0 = *(int *)(param_2 + 4);\n    if (unaff_s0 == 0) {\n      param_1[1] = 0;\n      return;\n    }\n    unaff_s1 = unaff_s0;\n    if (unaff_s0 < 0) {\n      unaff_s1 = -unaff_s0;\n    }\n    unaff_s2 = param_1;\n    unaff_s4 = param_2;\n    pcVar3 = (code *)PTR___gmpz_realloc_0009d5c0;\n    if (unaff_s1 <= *param_1) {\n      iVar2 = param_1[2];\n      goto LAB_000260dc;\n    }\n  }" else (compound_statement "{\n    unaff_s0 = *(int *)(param_2 + 4);\n    if (unaff_s0 == 0) {\n      param_1[1] = 0;\n      return;\n    }\n    unaff_s1 = unaff_s0;\n    if (unaff_s0 < 0) {\n      unaff_s1 = -unaff_s0;\n    }\n    unaff_s2 = param_1;\n    unaff_s4 = param_2;\n    pcVar3 = (code *)PTR___gmpz_realloc_0009d5c0;\n    if (unaff_s1 <= *param_1) {\n      iVar2 = param_1[2];\n      goto LAB_000260dc;\n    }\n  }" { (expression_statement "unaff_s0 = *(int *)(param_2 + 4);" (assignment_expression "unaff_s0 = *(int *)(param_2 + 4)" identifier = (pointer_expression "*(int *)(param_2 + 4)" * (cast_expression "(int *)(param_2 + 4)" ( (type_descriptor "int *" primitive_type (abstract_pointer_declarator "*" *)) ) (parenthesized_expression "(param_2 + 4)" ( (binary_expression "param_2 + 4" identifier + number_literal) ))))) ;) (if_statement "if (unaff_s0 == 0) {\n      param_1[1] = 0;\n      return;\n    }" if (parenthesized_expression "(unaff_s0 == 0)" ( (binary_expression "unaff_s0 == 0" identifier == number_literal) )) (compound_statement "{\n      param_1[1] = 0;\n      return;\n    }" { (expression_statement "param_1[1] = 0;" (assignment_expression "param_1[1] = 0" (subscript_expression "param_1[1]" identifier [ number_literal ]) = number_literal) ;) (return_statement "return;" return ;) })) (expression_statement "unaff_s1 = unaff_s0;" (assignment_expression "unaff_s1 = unaff_s0" identifier = identifier) ;) (if_statement "if (unaff_s0 < 0) {\n      unaff_s1 = -unaff_s0;\n    }" if (parenthesized_expression "(unaff_s0 < 0)" ( (binary_expression "unaff_s0 < 0" identifier < number_literal) )) (compound_statement "{\n      unaff_s1 = -unaff_s0;\n    }" { (expression_statement "unaff_s1 = -unaff_s0;" (assignment_expression "unaff_s1 = -unaff_s0" identifier = (unary_expression "-unaff_s0" - identifier)) ;) })) (expression_statement "unaff_s2 = param_1;" (assignment_expression "unaff_s2 = param_1" identifier = identifier) ;) (expression_statement "unaff_s4 = param_2;" (assignment_expression "unaff_s4 = param_2" identifier = identifier) ;) (expression_statement "pcVar3 = (code *)PTR___gmpz_realloc_0009d5c0;" (assignment_expression "pcVar3 = (code *)PTR___gmpz_realloc_0009d5c0" identifier = (cast_expression "(code *)PTR___gmpz_realloc_0009d5c0" ( (type_descriptor "code *" type_identifier (abstract_pointer_declarator "*" *)) ) identifier)) ;) (if_statement "if (unaff_s1 <= *param_1) {\n      iVar2 = param_1[2];\n      goto LAB_000260dc;\n    }" if (parenthesized_expression "(unaff_s1 <= *param_1)" ( (binary_expression "unaff_s1 <= *param_1" identifier <= (pointer_expression "*param_1" * identifier)) )) (compound_statement "{\n      iVar2 = param_1[2];\n      goto LAB_000260dc;\n    }" { (expression_statement "iVar2 = param_1[2];" (assignment_expression "iVar2 = param_1[2]" identifier = (subscript_expression "param_1[2]" identifier [ number_literal ])) ;) (goto_statement "goto LAB_000260dc;" goto statement_identifier ;) })) }))) (expression_statement "iVar2 = (*pcVar3)(unaff_s2,unaff_s1);" (assignment_expression "iVar2 = (*pcVar3)(unaff_s2,unaff_s1)" identifier = (call_expression "(*pcVar3)(unaff_s2,unaff_s1)" (parenthesized_expression "(*pcVar3)" ( (pointer_expression "*pcVar3" * identifier) )) (argument_list "(unaff_s2,unaff_s1)" ( identifier , identifier )))) ;) (labeled_statement "LAB_000260dc:\n  (*(code *)PTR___gmpn_divexact_1_0009d3f8)(iVar2,*(undefined4 *)(unaff_s4 + 8),unaff_s1,param_3);" statement_identifier : (expression_statement "(*(code *)PTR___gmpn_divexact_1_0009d3f8)(iVar2,*(undefined4 *)(unaff_s4 + 8),unaff_s1,param_3);" (call_expression "(*(code *)PTR___gmpn_divexact_1_0009d3f8)(iVar2,*(undefined4 *)(unaff_s4 + 8),unaff_s1,param_3)" (parenthesized_expression "(*(code *)PTR___gmpn_divexact_1_0009d3f8)" ( (pointer_expression "*(code *)PTR___gmpn_divexact_1_0009d3f8" * (cast_expression "(code *)PTR___gmpn_divexact_1_0009d3f8" ( (type_descriptor "code *" type_identifier (abstract_pointer_declarator "*" *)) ) identifier)) )) (argument_list "(iVar2,*(undefined4 *)(unaff_s4 + 8),unaff_s1,param_3)" ( identifier , (pointer_expression "*(undefined4 *)(unaff_s4 + 8)" * (cast_expression "(undefined4 *)(unaff_s4 + 8)" ( (type_descriptor "undefined4 *" type_identifier (abstract_pointer_declarator "*" *)) ) (parenthesized_expression "(unaff_s4 + 8)" ( (binary_expression "unaff_s4 + 8" identifier + number_literal) )))) , identifier , identifier ))) ;)) (expression_statement "uVar1 = (uint)(*(int *)(iVar2 + unaff_s1 * 4 + -4) == 0);" (assignment_expression "uVar1 = (uint)(*(int *)(iVar2 + unaff_s1 * 4 + -4) == 0)" identifier = (call_expression "(uint)(*(int *)(iVar2 + unaff_s1 * 4 + -4) == 0)" (parenthesized_expression "(uint)" ( identifier )) (argument_list "(*(int *)(iVar2 + unaff_s1 * 4 + -4) == 0)" ( (binary_expression "*(int *)(iVar2 + unaff_s1 * 4 + -4) == 0" (pointer_expression "*(int *)(iVar2 + unaff_s1 * 4 + -4)" * (cast_expression "(int *)(iVar2 + unaff_s1 * 4 + -4)" ( (type_descriptor "int *" primitive_type (abstract_pointer_declarator "*" *)) ) (parenthesized_expression "(iVar2 + unaff_s1 * 4 + -4)" ( (binary_expression "iVar2 + unaff_s1 * 4 + -4" (binary_expression "iVar2 + unaff_s1 * 4" identifier + (binary_expression "unaff_s1 * 4" identifier * number_literal)) + number_literal) )))) == number_literal) )))) ;) (if_statement "if (unaff_s0 < 0) {\n    iVar2 = uVar1 - unaff_s1;\n  }\n  else {\n    iVar2 = unaff_s1 - uVar1;\n  }" if (parenthesized_expression "(unaff_s0 < 0)" ( (binary_expression "unaff_s0 < 0" identifier < number_literal) )) (compound_statement "{\n    iVar2 = uVar1 - unaff_s1;\n  }" { (expression_statement "iVar2 = uVar1 - unaff_s1;" (assignment_expression "iVar2 = uVar1 - unaff_s1" identifier = (binary_expression "uVar1 - unaff_s1" identifier - identifier)) ;) }) (else_clause "else {\n    iVar2 = unaff_s1 - uVar1;\n  }" else (compound_statement "{\n    iVar2 = unaff_s1 - uVar1;\n  }" { (expression_statement "iVar2 = unaff_s1 - uVar1;" (assignment_expression "iVar2 = unaff_s1 - uVar1" identifier = (binary_expression "unaff_s1 - uVar1" identifier - identifier)) ;) }))) (expression_statement "unaff_s2[1] = iVar2;" (assignment_expression "unaff_s2[1] = iVar2" (subscript_expression "unaff_s2[1]" identifier [ number_literal ]) = identifier) ;) (return_statement "return;" return ;) })))
(translation_unit "void __gmpz_divexact_ui(mpz_ptr dst,mpz_srcptr src,ulong divisor)\n\n{\n  int iVar1;\n  int iVar2;\n  mp_limb_t *pmVar3;\n  \n  if (divisor == 0) {\n    (*(code *)PTR___gmp_divide_by_zero_0009d5e0)();\n    return;\n  }\n  iVar2 = src->_mp_size;\n  if (iVar2 != 0) {\n    iVar1 = iVar2;\n    if (iVar2 < 0) {\n      iVar1 = -iVar2;\n    }\n    if (dst->_mp_alloc < iVar1) {\n      pmVar3 = (mp_limb_t *)(*(code *)PTR___gmpz_realloc_0009d5c0)(dst,iVar1);\n    }\n    else {\n      pmVar3 = dst->_mp_d;\n    }\n    (*(code *)PTR___gmpn_divexact_1_0009d3f8)(pmVar3,src->_mp_d,iVar1,divisor);\n    if (iVar2 < 0) {\n      iVar1 = (uint)(pmVar3[iVar1 + -1] == 0) - iVar1;\n    }\n    else {\n      iVar1 = iVar1 - (uint)(pmVar3[iVar1 + -1] == 0);\n    }\n    dst->_mp_size = iVar1;\n    return;\n  }\n  dst->_mp_size = 0;\n  return;\n}\n\n" (function_definition "void __gmpz_divexact_ui(mpz_ptr dst,mpz_srcptr src,ulong divisor)\n\n{\n  int iVar1;\n  int iVar2;\n  mp_limb_t *pmVar3;\n  \n  if (divisor == 0) {\n    (*(code *)PTR___gmp_divide_by_zero_0009d5e0)();\n    return;\n  }\n  iVar2 = src->_mp_size;\n  if (iVar2 != 0) {\n    iVar1 = iVar2;\n    if (iVar2 < 0) {\n      iVar1 = -iVar2;\n    }\n    if (dst->_mp_alloc < iVar1) {\n      pmVar3 = (mp_limb_t *)(*(code *)PTR___gmpz_realloc_0009d5c0)(dst,iVar1);\n    }\n    else {\n      pmVar3 = dst->_mp_d;\n    }\n    (*(code *)PTR___gmpn_divexact_1_0009d3f8)(pmVar3,src->_mp_d,iVar1,divisor);\n    if (iVar2 < 0) {\n      iVar1 = (uint)(pmVar3[iVar1 + -1] == 0) - iVar1;\n    }\n    else {\n      iVar1 = iVar1 - (uint)(pmVar3[iVar1 + -1] == 0);\n    }\n    dst->_mp_size = iVar1;\n    return;\n  }\n  dst->_mp_size = 0;\n  return;\n}" primitive_type (function_declarator "__gmpz_divexact_ui(mpz_ptr dst,mpz_srcptr src,ulong divisor)" identifier (parameter_list "(mpz_ptr dst,mpz_srcptr src,ulong divisor)" ( (parameter_declaration "mpz_ptr dst" type_identifier identifier) , (parameter_declaration "mpz_srcptr src" type_identifier identifier) , (parameter_declaration "ulong divisor" type_identifier identifier) ))) (compound_statement "{\n  int iVar1;\n  int iVar2;\n  mp_limb_t *pmVar3;\n  \n  if (divisor == 0) {\n    (*(code *)PTR___gmp_divide_by_zero_0009d5e0)();\n    return;\n  }\n  iVar2 = src->_mp_size;\n  if (iVar2 != 0) {\n    iVar1 = iVar2;\n    if (iVar2 < 0) {\n      iVar1 = -iVar2;\n    }\n    if (dst->_mp_alloc < iVar1) {\n      pmVar3 = (mp_limb_t *)(*(code *)PTR___gmpz_realloc_0009d5c0)(dst,iVar1);\n    }\n    else {\n      pmVar3 = dst->_mp_d;\n    }\n    (*(code *)PTR___gmpn_divexact_1_0009d3f8)(pmVar3,src->_mp_d,iVar1,divisor);\n    if (iVar2 < 0) {\n      iVar1 = (uint)(pmVar3[iVar1 + -1] == 0) - iVar1;\n    }\n    else {\n      iVar1 = iVar1 - (uint)(pmVar3[iVar1 + -1] == 0);\n    }\n    dst->_mp_size = iVar1;\n    return;\n  }\n  dst->_mp_size = 0;\n  return;\n}" { (declaration "int iVar1;" primitive_type identifier ;) (declaration "int iVar2;" primitive_type identifier ;) (declaration "mp_limb_t *pmVar3;" type_identifier (pointer_declarator "*pmVar3" * identifier) ;) (if_statement "if (divisor == 0) {\n    (*(code *)PTR___gmp_divide_by_zero_0009d5e0)();\n    return;\n  }" if (parenthesized_expression "(divisor == 0)" ( (binary_expression "divisor == 0" identifier == number_literal) )) (compound_statement "{\n    (*(code *)PTR___gmp_divide_by_zero_0009d5e0)();\n    return;\n  }" { (expression_statement "(*(code *)PTR___gmp_divide_by_zero_0009d5e0)();" (call_expression "(*(code *)PTR___gmp_divide_by_zero_0009d5e0)()" (parenthesized_expression "(*(code *)PTR___gmp_divide_by_zero_0009d5e0)" ( (pointer_expression "*(code *)PTR___gmp_divide_by_zero_0009d5e0" * (cast_expression "(code *)PTR___gmp_divide_by_zero_0009d5e0" ( (type_descriptor "code *" type_identifier (abstract_pointer_declarator "*" *)) ) identifier)) )) (argument_list "()" ( ))) ;) (return_statement "return;" return ;) })) (expression_statement "iVar2 = src->_mp_size;" (assignment_expression "iVar2 = src->_mp_size" identifier = (field_expression "src->_mp_size" identifier -> field_identifier)) ;) (if_statement "if (iVar2 != 0) {\n    iVar1 = iVar2;\n    if (iVar2 < 0) {\n      iVar1 = -iVar2;\n    }\n    if (dst->_mp_alloc < iVar1) {\n      pmVar3 = (mp_limb_t *)(*(code *)PTR___gmpz_realloc_0009d5c0)(dst,iVar1);\n    }\n    else {\n      pmVar3 = dst->_mp_d;\n    }\n    (*(code *)PTR___gmpn_divexact_1_0009d3f8)(pmVar3,src->_mp_d,iVar1,divisor);\n    if (iVar2 < 0) {\n      iVar1 = (uint)(pmVar3[iVar1 + -1] == 0) - iVar1;\n    }\n    else {\n      iVar1 = iVar1 - (uint)(pmVar3[iVar1 + -1] == 0);\n    }\n    dst->_mp_size = iVar1;\n    return;\n  }" if (parenthesized_expression "(iVar2 != 0)" ( (binary_expression "iVar2 != 0" identifier != number_literal) )) (compound_statement "{\n    iVar1 = iVar2;\n    if (iVar2 < 0) {\n      iVar1 = -iVar2;\n    }\n    if (dst->_mp_alloc < iVar1) {\n      pmVar3 = (mp_limb_t *)(*(code *)PTR___gmpz_realloc_0009d5c0)(dst,iVar1);\n    }\n    else {\n      pmVar3 = dst->_mp_d;\n    }\n    (*(code *)PTR___gmpn_divexact_1_0009d3f8)(pmVar3,src->_mp_d,iVar1,divisor);\n    if (iVar2 < 0) {\n      iVar1 = (uint)(pmVar3[iVar1 + -1] == 0) - iVar1;\n    }\n    else {\n      iVar1 = iVar1 - (uint)(pmVar3[iVar1 + -1] == 0);\n    }\n    dst->_mp_size = iVar1;\n    return;\n  }" { (expression_statement "iVar1 = iVar2;" (assignment_expression "iVar1 = iVar2" identifier = identifier) ;) (if_statement "if (iVar2 < 0) {\n      iVar1 = -iVar2;\n    }" if (parenthesized_expression "(iVar2 < 0)" ( (binary_expression "iVar2 < 0" identifier < number_literal) )) (compound_statement "{\n      iVar1 = -iVar2;\n    }" { (expression_statement "iVar1 = -iVar2;" (assignment_expression "iVar1 = -iVar2" identifier = (unary_expression "-iVar2" - identifier)) ;) })) (if_statement "if (dst->_mp_alloc < iVar1) {\n      pmVar3 = (mp_limb_t *)(*(code *)PTR___gmpz_realloc_0009d5c0)(dst,iVar1);\n    }\n    else {\n      pmVar3 = dst->_mp_d;\n    }" if (parenthesized_expression "(dst->_mp_alloc < iVar1)" ( (binary_expression "dst->_mp_alloc < iVar1" (field_expression "dst->_mp_alloc" identifier -> field_identifier) < identifier) )) (compound_statement "{\n      pmVar3 = (mp_limb_t *)(*(code *)PTR___gmpz_realloc_0009d5c0)(dst,iVar1);\n    }" { (expression_statement "pmVar3 = (mp_limb_t *)(*(code *)PTR___gmpz_realloc_0009d5c0)(dst,iVar1);" (assignment_expression "pmVar3 = (mp_limb_t *)(*(code *)PTR___gmpz_realloc_0009d5c0)(dst,iVar1)" identifier = (cast_expression "(mp_limb_t *)(*(code *)PTR___gmpz_realloc_0009d5c0)(dst,iVar1)" ( (type_descriptor "mp_limb_t *" type_identifier (abstract_pointer_declarator "*" *)) ) (call_expression "(*(code *)PTR___gmpz_realloc_0009d5c0)(dst,iVar1)" (parenthesized_expression "(*(code *)PTR___gmpz_realloc_0009d5c0)" ( (pointer_expression "*(code *)PTR___gmpz_realloc_0009d5c0" * (cast_expression "(code *)PTR___gmpz_realloc_0009d5c0" ( (type_descriptor "code *" type_identifier (abstract_pointer_declarator "*" *)) ) identifier)) )) (argument_list "(dst,iVar1)" ( identifier , identifier ))))) ;) }) (else_clause "else {\n      pmVar3 = dst->_mp_d;\n    }" else (compound_statement "{\n      pmVar3 = dst->_mp_d;\n    }" { (expression_statement "pmVar3 = dst->_mp_d;" (assignment_expression "pmVar3 = dst->_mp_d" identifier = (field_expression "dst->_mp_d" identifier -> field_identifier)) ;) }))) (expression_statement "(*(code *)PTR___gmpn_divexact_1_0009d3f8)(pmVar3,src->_mp_d,iVar1,divisor);" (call_expression "(*(code *)PTR___gmpn_divexact_1_0009d3f8)(pmVar3,src->_mp_d,iVar1,divisor)" (parenthesized_expression "(*(code *)PTR___gmpn_divexact_1_0009d3f8)" ( (pointer_expression "*(code *)PTR___gmpn_divexact_1_0009d3f8" * (cast_expression "(code *)PTR___gmpn_divexact_1_0009d3f8" ( (type_descriptor "code *" type_identifier (abstract_pointer_declarator "*" *)) ) identifier)) )) (argument_list "(pmVar3,src->_mp_d,iVar1,divisor)" ( identifier , (field_expression "src->_mp_d" identifier -> field_identifier) , identifier , identifier ))) ;) (if_statement "if (iVar2 < 0) {\n      iVar1 = (uint)(pmVar3[iVar1 + -1] == 0) - iVar1;\n    }\n    else {\n      iVar1 = iVar1 - (uint)(pmVar3[iVar1 + -1] == 0);\n    }" if (parenthesized_expression "(iVar2 < 0)" ( (binary_expression "iVar2 < 0" identifier < number_literal) )) (compound_statement "{\n      iVar1 = (uint)(pmVar3[iVar1 + -1] == 0) - iVar1;\n    }" { (expression_statement "iVar1 = (uint)(pmVar3[iVar1 + -1] == 0) - iVar1;" (assignment_expression "iVar1 = (uint)(pmVar3[iVar1 + -1] == 0) - iVar1" identifier = (binary_expression "(uint)(pmVar3[iVar1 + -1] == 0) - iVar1" (call_expression "(uint)(pmVar3[iVar1 + -1] == 0)" (parenthesized_expression "(uint)" ( identifier )) (argument_list "(pmVar3[iVar1 + -1] == 0)" ( (binary_expression "pmVar3[iVar1 + -1] == 0" (subscript_expression "pmVar3[iVar1 + -1]" identifier [ (binary_expression "iVar1 + -1" identifier + number_literal) ]) == number_literal) ))) - identifier)) ;) }) (else_clause "else {\n      iVar1 = iVar1 - (uint)(pmVar3[iVar1 + -1] == 0);\n    }" else (compound_statement "{\n      iVar1 = iVar1 - (uint)(pmVar3[iVar1 + -1] == 0);\n    }" { (expression_statement "iVar1 = iVar1 - (uint)(pmVar3[iVar1 + -1] == 0);" (assignment_expression "iVar1 = iVar1 - (uint)(pmVar3[iVar1 + -1] == 0)" identifier = (binary_expression "iVar1 - (uint)(pmVar3[iVar1 + -1] == 0)" identifier - (call_expression "(uint)(pmVar3[iVar1 + -1] == 0)" (parenthesized_expression "(uint)" ( identifier )) (argument_list "(pmVar3[iVar1 + -1] == 0)" ( (binary_expression "pmVar3[iVar1 + -1] == 0" (subscript_expression "pmVar3[iVar1 + -1]" identifier [ (binary_expression "iVar1 + -1" identifier + number_literal) ]) == number_literal) ))))) ;) }))) (expression_statement "dst->_mp_size = iVar1;" (assignment_expression "dst->_mp_size = iVar1" (field_expression "dst->_mp_size" identifier -> field_identifier) = identifier) ;) (return_statement "return;" return ;) })) (expression_statement "dst->_mp_size = 0;" (assignment_expression "dst->_mp_size = 0" (field_expression "dst->_mp_size" identifier -> field_identifier) = number_literal) ;) (return_statement "return;" return ;) })))
(translation_unit "void __gmpz_divexact_ui(int *param_1,int param_2,int param_3)\n\n{\n  uint uVar1;\n  int unaff_s0;\n  int unaff_s1;\n  int *unaff_s2;\n  int iVar2;\n  int unaff_s4;\n  code *pcVar3;\n  \n  if (param_3 == 0) {\n    pcVar3 = (code *)PTR___gmp_divide_by_zero_0009d5e0;\n    (*(code *)PTR___gmp_divide_by_zero_0009d5e0)();\n  }\n  else {\n    unaff_s0 = *(int *)(param_2 + 4);\n    if (unaff_s0 == 0) {\n      param_1[1] = 0;\n      return;\n    }\n    unaff_s1 = unaff_s0;\n    if (unaff_s0 < 0) {\n      unaff_s1 = -unaff_s0;\n    }\n    unaff_s2 = param_1;\n    unaff_s4 = param_2;\n    pcVar3 = (code *)PTR___gmpz_realloc_0009d5c0;\n    if (unaff_s1 <= *param_1) {\n      iVar2 = param_1[2];\n      goto LAB_000260dc;\n    }\n  }\n  iVar2 = (*pcVar3)(unaff_s2,unaff_s1);\nLAB_000260dc:\n  (*(code *)PTR___gmpn_divexact_1_0009d3f8)(iVar2,*(undefined4 *)(unaff_s4 + 8),unaff_s1,param_3);\n  uVar1 = (uint)(*(int *)(iVar2 + unaff_s1 * 4 + -4) == 0);\n  if (unaff_s0 < 0) {\n    iVar2 = uVar1 - unaff_s1;\n  }\n  else {\n    iVar2 = unaff_s1 - uVar1;\n  }\n  unaff_s2[1] = iVar2;\n  return;\n}\n\n" (function_definition "void __gmpz_divexact_ui(int *param_1,int param_2,int param_3)\n\n{\n  uint uVar1;\n  int unaff_s0;\n  int unaff_s1;\n  int *unaff_s2;\n  int iVar2;\n  int unaff_s4;\n  code *pcVar3;\n  \n  if (param_3 == 0) {\n    pcVar3 = (code *)PTR___gmp_divide_by_zero_0009d5e0;\n    (*(code *)PTR___gmp_divide_by_zero_0009d5e0)();\n  }\n  else {\n    unaff_s0 = *(int *)(param_2 + 4);\n    if (unaff_s0 == 0) {\n      param_1[1] = 0;\n      return;\n    }\n    unaff_s1 = unaff_s0;\n    if (unaff_s0 < 0) {\n      unaff_s1 = -unaff_s0;\n    }\n    unaff_s2 = param_1;\n    unaff_s4 = param_2;\n    pcVar3 = (code *)PTR___gmpz_realloc_0009d5c0;\n    if (unaff_s1 <= *param_1) {\n      iVar2 = param_1[2];\n      goto LAB_000260dc;\n    }\n  }\n  iVar2 = (*pcVar3)(unaff_s2,unaff_s1);\nLAB_000260dc:\n  (*(code *)PTR___gmpn_divexact_1_0009d3f8)(iVar2,*(undefined4 *)(unaff_s4 + 8),unaff_s1,param_3);\n  uVar1 = (uint)(*(int *)(iVar2 + unaff_s1 * 4 + -4) == 0);\n  if (unaff_s0 < 0) {\n    iVar2 = uVar1 - unaff_s1;\n  }\n  else {\n    iVar2 = unaff_s1 - uVar1;\n  }\n  unaff_s2[1] = iVar2;\n  return;\n}" primitive_type (function_declarator "__gmpz_divexact_ui(int *param_1,int param_2,int param_3)" identifier (parameter_list "(int *param_1,int param_2,int param_3)" ( (parameter_declaration "int *param_1" primitive_type (pointer_declarator "*param_1" * identifier)) , (parameter_declaration "int param_2" primitive_type identifier) , (parameter_declaration "int param_3" primitive_type identifier) ))) (compound_statement "{\n  uint uVar1;\n  int unaff_s0;\n  int unaff_s1;\n  int *unaff_s2;\n  int iVar2;\n  int unaff_s4;\n  code *pcVar3;\n  \n  if (param_3 == 0) {\n    pcVar3 = (code *)PTR___gmp_divide_by_zero_0009d5e0;\n    (*(code *)PTR___gmp_divide_by_zero_0009d5e0)();\n  }\n  else {\n    unaff_s0 = *(int *)(param_2 + 4);\n    if (unaff_s0 == 0) {\n      param_1[1] = 0;\n      return;\n    }\n    unaff_s1 = unaff_s0;\n    if (unaff_s0 < 0) {\n      unaff_s1 = -unaff_s0;\n    }\n    unaff_s2 = param_1;\n    unaff_s4 = param_2;\n    pcVar3 = (code *)PTR___gmpz_realloc_0009d5c0;\n    if (unaff_s1 <= *param_1) {\n      iVar2 = param_1[2];\n      goto LAB_000260dc;\n    }\n  }\n  iVar2 = (*pcVar3)(unaff_s2,unaff_s1);\nLAB_000260dc:\n  (*(code *)PTR___gmpn_divexact_1_0009d3f8)(iVar2,*(undefined4 *)(unaff_s4 + 8),unaff_s1,param_3);\n  uVar1 = (uint)(*(int *)(iVar2 + unaff_s1 * 4 + -4) == 0);\n  if (unaff_s0 < 0) {\n    iVar2 = uVar1 - unaff_s1;\n  }\n  else {\n    iVar2 = unaff_s1 - uVar1;\n  }\n  unaff_s2[1] = iVar2;\n  return;\n}" { (declaration "uint uVar1;" type_identifier identifier ;) (declaration "int unaff_s0;" primitive_type identifier ;) (declaration "int unaff_s1;" primitive_type identifier ;) (declaration "int *unaff_s2;" primitive_type (pointer_declarator "*unaff_s2" * identifier) ;) (declaration "int iVar2;" primitive_type identifier ;) (declaration "int unaff_s4;" primitive_type identifier ;) (declaration "code *pcVar3;" type_identifier (pointer_declarator "*pcVar3" * identifier) ;) (if_statement "if (param_3 == 0) {\n    pcVar3 = (code *)PTR___gmp_divide_by_zero_0009d5e0;\n    (*(code *)PTR___gmp_divide_by_zero_0009d5e0)();\n  }\n  else {\n    unaff_s0 = *(int *)(param_2 + 4);\n    if (unaff_s0 == 0) {\n      param_1[1] = 0;\n      return;\n    }\n    unaff_s1 = unaff_s0;\n    if (unaff_s0 < 0) {\n      unaff_s1 = -unaff_s0;\n    }\n    unaff_s2 = param_1;\n    unaff_s4 = param_2;\n    pcVar3 = (code *)PTR___gmpz_realloc_0009d5c0;\n    if (unaff_s1 <= *param_1) {\n      iVar2 = param_1[2];\n      goto LAB_000260dc;\n    }\n  }" if (parenthesized_expression "(param_3 == 0)" ( (binary_expression "param_3 == 0" identifier == number_literal) )) (compound_statement "{\n    pcVar3 = (code *)PTR___gmp_divide_by_zero_0009d5e0;\n    (*(code *)PTR___gmp_divide_by_zero_0009d5e0)();\n  }" { (expression_statement "pcVar3 = (code *)PTR___gmp_divide_by_zero_0009d5e0;" (assignment_expression "pcVar3 = (code *)PTR___gmp_divide_by_zero_0009d5e0" identifier = (cast_expression "(code *)PTR___gmp_divide_by_zero_0009d5e0" ( (type_descriptor "code *" type_identifier (abstract_pointer_declarator "*" *)) ) identifier)) ;) (expression_statement "(*(code *)PTR___gmp_divide_by_zero_0009d5e0)();" (call_expression "(*(code *)PTR___gmp_divide_by_zero_0009d5e0)()" (parenthesized_expression "(*(code *)PTR___gmp_divide_by_zero_0009d5e0)" ( (pointer_expression "*(code *)PTR___gmp_divide_by_zero_0009d5e0" * (cast_expression "(code *)PTR___gmp_divide_by_zero_0009d5e0" ( (type_descriptor "code *" type_identifier (abstract_pointer_declarator "*" *)) ) identifier)) )) (argument_list "()" ( ))) ;) }) (else_clause "else {\n    unaff_s0 = *(int *)(param_2 + 4);\n    if (unaff_s0 == 0) {\n      param_1[1] = 0;\n      return;\n    }\n    unaff_s1 = unaff_s0;\n    if (unaff_s0 < 0) {\n      unaff_s1 = -unaff_s0;\n    }\n    unaff_s2 = param_1;\n    unaff_s4 = param_2;\n    pcVar3 = (code *)PTR___gmpz_realloc_0009d5c0;\n    if (unaff_s1 <= *param_1) {\n      iVar2 = param_1[2];\n      goto LAB_000260dc;\n    }\n  }" else (compound_statement "{\n    unaff_s0 = *(int *)(param_2 + 4);\n    if (unaff_s0 == 0) {\n      param_1[1] = 0;\n      return;\n    }\n    unaff_s1 = unaff_s0;\n    if (unaff_s0 < 0) {\n      unaff_s1 = -unaff_s0;\n    }\n    unaff_s2 = param_1;\n    unaff_s4 = param_2;\n    pcVar3 = (code *)PTR___gmpz_realloc_0009d5c0;\n    if (unaff_s1 <= *param_1) {\n      iVar2 = param_1[2];\n      goto LAB_000260dc;\n    }\n  }" { (expression_statement "unaff_s0 = *(int *)(param_2 + 4);" (assignment_expression "unaff_s0 = *(int *)(param_2 + 4)" identifier = (pointer_expression "*(int *)(param_2 + 4)" * (cast_expression "(int *)(param_2 + 4)" ( (type_descriptor "int *" primitive_type (abstract_pointer_declarator "*" *)) ) (parenthesized_expression "(param_2 + 4)" ( (binary_expression "param_2 + 4" identifier + number_literal) ))))) ;) (if_statement "if (unaff_s0 == 0) {\n      param_1[1] = 0;\n      return;\n    }" if (parenthesized_expression "(unaff_s0 == 0)" ( (binary_expression "unaff_s0 == 0" identifier == number_literal) )) (compound_statement "{\n      param_1[1] = 0;\n      return;\n    }" { (expression_statement "param_1[1] = 0;" (assignment_expression "param_1[1] = 0" (subscript_expression "param_1[1]" identifier [ number_literal ]) = number_literal) ;) (return_statement "return;" return ;) })) (expression_statement "unaff_s1 = unaff_s0;" (assignment_expression "unaff_s1 = unaff_s0" identifier = identifier) ;) (if_statement "if (unaff_s0 < 0) {\n      unaff_s1 = -unaff_s0;\n    }" if (parenthesized_expression "(unaff_s0 < 0)" ( (binary_expression "unaff_s0 < 0" identifier < number_literal) )) (compound_statement "{\n      unaff_s1 = -unaff_s0;\n    }" { (expression_statement "unaff_s1 = -unaff_s0;" (assignment_expression "unaff_s1 = -unaff_s0" identifier = (unary_expression "-unaff_s0" - identifier)) ;) })) (expression_statement "unaff_s2 = param_1;" (assignment_expression "unaff_s2 = param_1" identifier = identifier) ;) (expression_statement "unaff_s4 = param_2;" (assignment_expression "unaff_s4 = param_2" identifier = identifier) ;) (expression_statement "pcVar3 = (code *)PTR___gmpz_realloc_0009d5c0;" (assignment_expression "pcVar3 = (code *)PTR___gmpz_realloc_0009d5c0" identifier = (cast_expression "(code *)PTR___gmpz_realloc_0009d5c0" ( (type_descriptor "code *" type_identifier (abstract_pointer_declarator "*" *)) ) identifier)) ;) (if_statement "if (unaff_s1 <= *param_1) {\n      iVar2 = param_1[2];\n      goto LAB_000260dc;\n    }" if (parenthesized_expression "(unaff_s1 <= *param_1)" ( (binary_expression "unaff_s1 <= *param_1" identifier <= (pointer_expression "*param_1" * identifier)) )) (compound_statement "{\n      iVar2 = param_1[2];\n      goto LAB_000260dc;\n    }" { (expression_statement "iVar2 = param_1[2];" (assignment_expression "iVar2 = param_1[2]" identifier = (subscript_expression "param_1[2]" identifier [ number_literal ])) ;) (goto_statement "goto LAB_000260dc;" goto statement_identifier ;) })) }))) (expression_statement "iVar2 = (*pcVar3)(unaff_s2,unaff_s1);" (assignment_expression "iVar2 = (*pcVar3)(unaff_s2,unaff_s1)" identifier = (call_expression "(*pcVar3)(unaff_s2,unaff_s1)" (parenthesized_expression "(*pcVar3)" ( (pointer_expression "*pcVar3" * identifier) )) (argument_list "(unaff_s2,unaff_s1)" ( identifier , identifier )))) ;) (labeled_statement "LAB_000260dc:\n  (*(code *)PTR___gmpn_divexact_1_0009d3f8)(iVar2,*(undefined4 *)(unaff_s4 + 8),unaff_s1,param_3);" statement_identifier : (expression_statement "(*(code *)PTR___gmpn_divexact_1_0009d3f8)(iVar2,*(undefined4 *)(unaff_s4 + 8),unaff_s1,param_3);" (call_expression "(*(code *)PTR___gmpn_divexact_1_0009d3f8)(iVar2,*(undefined4 *)(unaff_s4 + 8),unaff_s1,param_3)" (parenthesized_expression "(*(code *)PTR___gmpn_divexact_1_0009d3f8)" ( (pointer_expression "*(code *)PTR___gmpn_divexact_1_0009d3f8" * (cast_expression "(code *)PTR___gmpn_divexact_1_0009d3f8" ( (type_descriptor "code *" type_identifier (abstract_pointer_declarator "*" *)) ) identifier)) )) (argument_list "(iVar2,*(undefined4 *)(unaff_s4 + 8),unaff_s1,param_3)" ( identifier , (pointer_expression "*(undefined4 *)(unaff_s4 + 8)" * (cast_expression "(undefined4 *)(unaff_s4 + 8)" ( (type_descriptor "undefined4 *" type_identifier (abstract_pointer_declarator "*" *)) ) (parenthesized_expression "(unaff_s4 + 8)" ( (binary_expression "unaff_s4 + 8" identifier + number_literal) )))) , identifier , identifier ))) ;)) (expression_statement "uVar1 = (uint)(*(int *)(iVar2 + unaff_s1 * 4 + -4) == 0);" (assignment_expression "uVar1 = (uint)(*(int *)(iVar2 + unaff_s1 * 4 + -4) == 0)" identifier = (call_expression "(uint)(*(int *)(iVar2 + unaff_s1 * 4 + -4) == 0)" (parenthesized_expression "(uint)" ( identifier )) (argument_list "(*(int *)(iVar2 + unaff_s1 * 4 + -4) == 0)" ( (binary_expression "*(int *)(iVar2 + unaff_s1 * 4 + -4) == 0" (pointer_expression "*(int *)(iVar2 + unaff_s1 * 4 + -4)" * (cast_expression "(int *)(iVar2 + unaff_s1 * 4 + -4)" ( (type_descriptor "int *" primitive_type (abstract_pointer_declarator "*" *)) ) (parenthesized_expression "(iVar2 + unaff_s1 * 4 + -4)" ( (binary_expression "iVar2 + unaff_s1 * 4 + -4" (binary_expression "iVar2 + unaff_s1 * 4" identifier + (binary_expression "unaff_s1 * 4" identifier * number_literal)) + number_literal) )))) == number_literal) )))) ;) (if_statement "if (unaff_s0 < 0) {\n    iVar2 = uVar1 - unaff_s1;\n  }\n  else {\n    iVar2 = unaff_s1 - uVar1;\n  }" if (parenthesized_expression "(unaff_s0 < 0)" ( (binary_expression "unaff_s0 < 0" identifier < number_literal) )) (compound_statement "{\n    iVar2 = uVar1 - unaff_s1;\n  }" { (expression_statement "iVar2 = uVar1 - unaff_s1;" (assignment_expression "iVar2 = uVar1 - unaff_s1" identifier = (binary_expression "uVar1 - unaff_s1" identifier - identifier)) ;) }) (else_clause "else {\n    iVar2 = unaff_s1 - uVar1;\n  }" else (compound_statement "{\n    iVar2 = unaff_s1 - uVar1;\n  }" { (expression_statement "iVar2 = unaff_s1 - uVar1;" (assignment_expression "iVar2 = unaff_s1 - uVar1" identifier = (binary_expression "unaff_s1 - uVar1" identifier - identifier)) ;) }))) (expression_statement "unaff_s2[1] = iVar2;" (assignment_expression "unaff_s2[1] = iVar2" (subscript_expression "unaff_s2[1]" identifier [ number_literal ]) = identifier) ;) (return_statement "return;" return ;) })))
(translation_unit (function_definition TYPE (function_declarator IDENT (parameter_list ( (parameter_declaration TYPE (pointer_declarator * IDENT)) , (parameter_declaration TYPE IDENT) , (parameter_declaration TYPE IDENT) ))) (compound_statement { (declaration TYPE IDENT ;) (declaration TYPE IDENT ;) (declaration TYPE IDENT ;) (declaration TYPE (pointer_declarator * IDENT) ;) (declaration TYPE IDENT ;) (declaration TYPE IDENT ;) (declaration TYPE (pointer_declarator * IDENT) ;) (if_statement if (parenthesized_expression ( (binary_expression IDENT == LIT) )) (compound_statement { (expression_statement (assignment_expression IDENT = (cast_expression ( (type_descriptor TYPE (abstract_pointer_declarator *)) ) IDENT)) ;) (expression_statement (call_expression (parenthesized_expression ( (pointer_expression * (cast_expression ( (type_descriptor TYPE (abstract_pointer_declarator *)) ) IDENT)) )) (argument_list ( ))) ;) }) (else_clause else (compound_statement { (expression_statement (assignment_expression IDENT = (pointer_expression * (cast_expression ( (type_descriptor TYPE (abstract_pointer_declarator *)) ) (parenthesized_expression ( (binary_expression IDENT + LIT) ))))) ;) (if_statement if (parenthesized_expression ( (binary_expression IDENT == LIT) )) (compound_statement { (expression_statement (assignment_expression (subscript_expression IDENT [ LIT ]) = LIT) ;) (return_statement return ;) })) (expression_statement (assignment_expression IDENT = IDENT) ;) (if_statement if (parenthesized_expression ( (binary_expression IDENT < LIT) )) (compound_statement { (expression_statement (assignment_expression IDENT = (unary_expression - IDENT)) ;) })) (expression_statement (assignment_expression IDENT = IDENT) ;) (expression_statement (assignment_expression IDENT = IDENT) ;) (expression_statement (assignment_expression IDENT = (cast_expression ( (type_descriptor TYPE (abstract_pointer_declarator *)) ) IDENT)) ;) (if_statement if (parenthesized_expression ( (binary_expression IDENT <= (pointer_expression * IDENT)) )) (compound_statement { (expression_statement (assignment_expression IDENT = (subscript_expression IDENT [ LIT ])) ;) (goto_statement goto statement_identifier ;) })) }))) (expression_statement (assignment_expression IDENT = (call_expression (parenthesized_expression ( (pointer_expression * IDENT) )) (argument_list ( IDENT , IDENT )))) ;) (labeled_statement statement_identifier : (expression_statement (call_expression (parenthesized_expression ( (pointer_expression * (cast_expression ( (type_descriptor TYPE (abstract_pointer_declarator *)) ) IDENT)) )) (argument_list ( IDENT , (pointer_expression * (cast_expression ( (type_descriptor TYPE (abstract_pointer_declarator *)) ) (parenthesized_expression ( (binary_expression IDENT + LIT) )))) , IDENT , IDENT ))) ;)) (expression_statement (assignment_expression IDENT = (call_expression (parenthesized_expression ( IDENT )) (argument_list ( (binary_expression (pointer_expression * (cast_expression ( (type_descriptor TYPE (abstract_pointer_declarator *)) ) (parenthesized_expression ( (binary_expression (binary_expression IDENT + (binary_expression IDENT * LIT)) + LIT) )))) == 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 = (binary_expression IDENT - IDENT)) ;) }))) (expression_statement (assignment_expression (subscript_expression IDENT [ LIT ]) = IDENT) ;) (return_statement return ;) })))
(function_definition "void __gmpz_divexact_ui(int *param_1,int param_2,int param_3)\n\n{\n  uint uVar1;\n  int unaff_s0;\n  int unaff_s1;\n  int *unaff_s2;\n  int iVar2;\n  int unaff_s4;\n  code *pcVar3;\n  \n  if (param_3 == 0) {\n    pcVar3 = (code *)PTR___gmp_divide_by_zero_0009d5e0;\n    (*(code *)PTR___gmp_divide_by_zero_0009d5e0)();\n  }\n  else {\n    unaff_s0 = *(int *)(param_2 + 4);\n    if (unaff_s0 == 0) {\n      param_1[1] = 0;\n      return;\n    }\n    unaff_s1 = unaff_s0;\n    if (unaff_s0 < 0) {\n      unaff_s1 = -unaff_s0;\n    }\n    unaff_s2 = param_1;\n    unaff_s4 = param_2;\n    pcVar3 = (code *)PTR___gmpz_realloc_0009d5c0;\n    if (unaff_s1 <= *param_1) {\n      iVar2 = param_1[2];\n      goto LAB_000260dc;\n    }\n  }\n  iVar2 = (*pcVar3)(unaff_s2,unaff_s1);\nLAB_000260dc:\n  (*(code *)PTR___gmpn_divexact_1_0009d3f8)(iVar2,*(undefined4 *)(unaff_s4 + 8),unaff_s1,param_3);\n  uVar1 = (uint)(*(int *)(iVar2 + unaff_s1 * 4 + -4) == 0);\n  if (unaff_s0 < 0) {\n    iVar2 = uVar1 - unaff_s1;\n  }\n  else {\n    iVar2 = unaff_s1 - uVar1;\n  }\n  unaff_s2[1] = iVar2;\n  return;\n}" (primitive_type "void") (function_declarator "__gmpz_divexact_ui(int *param_1,int param_2,int param_3)" (identifier "__gmpz_divexact_ui") (parameter_list "(int *param_1,int param_2,int param_3)" (( "(") (parameter_declaration "int *param_1" (primitive_type "int") (pointer_declarator "*param_1" (* "*") (identifier "param_1"))) (, ",") (parameter_declaration "int param_2" (primitive_type "int") (identifier "param_2")) (, ",") (parameter_declaration "int param_3" (primitive_type "int") (identifier "param_3")) () ")"))) (compound_statement "{\n  uint uVar1;\n  int unaff_s0;\n  int unaff_s1;\n  int *unaff_s2;\n  int iVar2;\n  int unaff_s4;\n  code *pcVar3;\n  \n  if (param_3 == 0) {\n    pcVar3 = (code *)PTR___gmp_divide_by_zero_0009d5e0;\n    (*(code *)PTR___gmp_divide_by_zero_0009d5e0)();\n  }\n  else {\n    unaff_s0 = *(int *)(param_2 + 4);\n    if (unaff_s0 == 0) {\n      param_1[1] = 0;\n      return;\n    }\n    unaff_s1 = unaff_s0;\n    if (unaff_s0 < 0) {\n      unaff_s1 = -unaff_s0;\n    }\n    unaff_s2 = param_1;\n    unaff_s4 = param_2;\n    pcVar3 = (code *)PTR___gmpz_realloc_0009d5c0;\n    if (unaff_s1 <= *param_1) {\n      iVar2 = param_1[2];\n      goto LAB_000260dc;\n    }\n  }\n  iVar2 = (*pcVar3)(unaff_s2,unaff_s1);\nLAB_000260dc:\n  (*(code *)PTR___gmpn_divexact_1_0009d3f8)(iVar2,*(undefined4 *)(unaff_s4 + 8),unaff_s1,param_3);\n  uVar1 = (uint)(*(int *)(iVar2 + unaff_s1 * 4 + -4) == 0);\n  if (unaff_s0 < 0) {\n    iVar2 = uVar1 - unaff_s1;\n  }\n  else {\n    iVar2 = unaff_s1 - uVar1;\n  }\n  unaff_s2[1] = iVar2;\n  return;\n}" ({ "{") (declaration "uint uVar1;" (type_identifier "uint") (identifier "uVar1") (; ";")) (declaration "int unaff_s0;" (primitive_type "int") (identifier "unaff_s0") (; ";")) (declaration "int unaff_s1;" (primitive_type "int") (identifier "unaff_s1") (; ";")) (declaration "int *unaff_s2;" (primitive_type "int") (pointer_declarator "*unaff_s2" (* "*") (identifier "unaff_s2")) (; ";")) (declaration "int iVar2;" (primitive_type "int") (identifier "iVar2") (; ";")) (declaration "int unaff_s4;" (primitive_type "int") (identifier "unaff_s4") (; ";")) (declaration "code *pcVar3;" (type_identifier "code") (pointer_declarator "*pcVar3" (* "*") (identifier "pcVar3")) (; ";")) (if_statement "if (param_3 == 0) {\n    pcVar3 = (code *)PTR___gmp_divide_by_zero_0009d5e0;\n    (*(code *)PTR___gmp_divide_by_zero_0009d5e0)();\n  }\n  else {\n    unaff_s0 = *(int *)(param_2 + 4);\n    if (unaff_s0 == 0) {\n      param_1[1] = 0;\n      return;\n    }\n    unaff_s1 = unaff_s0;\n    if (unaff_s0 < 0) {\n      unaff_s1 = -unaff_s0;\n    }\n    unaff_s2 = param_1;\n    unaff_s4 = param_2;\n    pcVar3 = (code *)PTR___gmpz_realloc_0009d5c0;\n    if (unaff_s1 <= *param_1) {\n      iVar2 = param_1[2];\n      goto LAB_000260dc;\n    }\n  }" (if "if") (parenthesized_expression "(param_3 == 0)" (( "(") (binary_expression "param_3 == 0" (identifier "param_3") (== "==") (number_literal "0")) () ")")) (compound_statement "{\n    pcVar3 = (code *)PTR___gmp_divide_by_zero_0009d5e0;\n    (*(code *)PTR___gmp_divide_by_zero_0009d5e0)();\n  }" ({ "{") (expression_statement "pcVar3 = (code *)PTR___gmp_divide_by_zero_0009d5e0;" (assignment_expression "pcVar3 = (code *)PTR___gmp_divide_by_zero_0009d5e0" (identifier "pcVar3") (= "=") (cast_expression "(code *)PTR___gmp_divide_by_zero_0009d5e0" (( "(") (type_descriptor "code *" (type_identifier "code") (abstract_pointer_declarator "*" (* "*"))) () ")") (identifier "PTR___gmp_divide_by_zero_0009d5e0"))) (; ";")) (expression_statement "(*(code *)PTR___gmp_divide_by_zero_0009d5e0)();" (call_expression "(*(code *)PTR___gmp_divide_by_zero_0009d5e0)()" (parenthesized_expression "(*(code *)PTR___gmp_divide_by_zero_0009d5e0)" (( "(") (pointer_expression "*(code *)PTR___gmp_divide_by_zero_0009d5e0" (* "*") (cast_expression "(code *)PTR___gmp_divide_by_zero_0009d5e0" (( "(") (type_descriptor "code *" (type_identifier "code") (abstract_pointer_declarator "*" (* "*"))) () ")") (identifier "PTR___gmp_divide_by_zero_0009d5e0"))) () ")")) (argument_list "()" (( "(") () ")"))) (; ";")) (} "}")) (else_clause "else {\n    unaff_s0 = *(int *)(param_2 + 4);\n    if (unaff_s0 == 0) {\n      param_1[1] = 0;\n      return;\n    }\n    unaff_s1 = unaff_s0;\n    if (unaff_s0 < 0) {\n      unaff_s1 = -unaff_s0;\n    }\n    unaff_s2 = param_1;\n    unaff_s4 = param_2;\n    pcVar3 = (code *)PTR___gmpz_realloc_0009d5c0;\n    if (unaff_s1 <= *param_1) {\n      iVar2 = param_1[2];\n      goto LAB_000260dc;\n    }\n  }" (else "else") (compound_statement "{\n    unaff_s0 = *(int *)(param_2 + 4);\n    if (unaff_s0 == 0) {\n      param_1[1] = 0;\n      return;\n    }\n    unaff_s1 = unaff_s0;\n    if (unaff_s0 < 0) {\n      unaff_s1 = -unaff_s0;\n    }\n    unaff_s2 = param_1;\n    unaff_s4 = param_2;\n    pcVar3 = (code *)PTR___gmpz_realloc_0009d5c0;\n    if (unaff_s1 <= *param_1) {\n      iVar2 = param_1[2];\n      goto LAB_000260dc;\n    }\n  }" ({ "{") (expression_statement "unaff_s0 = *(int *)(param_2 + 4);" (assignment_expression "unaff_s0 = *(int *)(param_2 + 4)" (identifier "unaff_s0") (= "=") (pointer_expression "*(int *)(param_2 + 4)" (* "*") (cast_expression "(int *)(param_2 + 4)" (( "(") (type_descriptor "int *" (primitive_type "int") (abstract_pointer_declarator "*" (* "*"))) () ")") (parenthesized_expression "(param_2 + 4)" (( "(") (binary_expression "param_2 + 4" (identifier "param_2") (+ "+") (number_literal "4")) () ")"))))) (; ";")) (if_statement "if (unaff_s0 == 0) {\n      param_1[1] = 0;\n      return;\n    }" (if "if") (parenthesized_expression "(unaff_s0 == 0)" (( "(") (binary_expression "unaff_s0 == 0" (identifier "unaff_s0") (== "==") (number_literal "0")) () ")")) (compound_statement "{\n      param_1[1] = 0;\n      return;\n    }" ({ "{") (expression_statement "param_1[1] = 0;" (assignment_expression "param_1[1] = 0" (subscript_expression "param_1[1]" (identifier "param_1") ([ "[") (number_literal "1") (] "]")) (= "=") (number_literal "0")) (; ";")) (return_statement "return;" (return "return") (; ";")) (} "}"))) (expression_statement "unaff_s1 = unaff_s0;" (assignment_expression "unaff_s1 = unaff_s0" (identifier "unaff_s1") (= "=") (identifier "unaff_s0")) (; ";")) (if_statement "if (unaff_s0 < 0) {\n      unaff_s1 = -unaff_s0;\n    }" (if "if") (parenthesized_expression "(unaff_s0 < 0)" (( "(") (binary_expression "unaff_s0 < 0" (identifier "unaff_s0") (< "<") (number_literal "0")) () ")")) (compound_statement "{\n      unaff_s1 = -unaff_s0;\n    }" ({ "{") (expression_statement "unaff_s1 = -unaff_s0;" (assignment_expression "unaff_s1 = -unaff_s0" (identifier "unaff_s1") (= "=") (unary_expression "-unaff_s0" (- "-") (identifier "unaff_s0"))) (; ";")) (} "}"))) (expression_statement "unaff_s2 = param_1;" (assignment_expression "unaff_s2 = param_1" (identifier "unaff_s2") (= "=") (identifier "param_1")) (; ";")) (expression_statement "unaff_s4 = param_2;" (assignment_expression "unaff_s4 = param_2" (identifier "unaff_s4") (= "=") (identifier "param_2")) (; ";")) (expression_statement "pcVar3 = (code *)PTR___gmpz_realloc_0009d5c0;" (assignment_expression "pcVar3 = (code *)PTR___gmpz_realloc_0009d5c0" (identifier "pcVar3") (= "=") (cast_expression "(code *)PTR___gmpz_realloc_0009d5c0" (( "(") (type_descriptor "code *" (type_identifier "code") (abstract_pointer_declarator "*" (* "*"))) () ")") (identifier "PTR___gmpz_realloc_0009d5c0"))) (; ";")) (if_statement "if (unaff_s1 <= *param_1) {\n      iVar2 = param_1[2];\n      goto LAB_000260dc;\n    }" (if "if") (parenthesized_expression "(unaff_s1 <= *param_1)" (( "(") (binary_expression "unaff_s1 <= *param_1" (identifier "unaff_s1") (<= "<=") (pointer_expression "*param_1" (* "*") (identifier "param_1"))) () ")")) (compound_statement "{\n      iVar2 = param_1[2];\n      goto LAB_000260dc;\n    }" ({ "{") (expression_statement "iVar2 = param_1[2];" (assignment_expression "iVar2 = param_1[2]" (identifier "iVar2") (= "=") (subscript_expression "param_1[2]" (identifier "param_1") ([ "[") (number_literal "2") (] "]"))) (; ";")) (goto_statement "goto LAB_000260dc;" (goto "goto") (statement_identifier "LAB_000260dc") (; ";")) (} "}"))) (} "}")))) (expression_statement "iVar2 = (*pcVar3)(unaff_s2,unaff_s1);" (assignment_expression "iVar2 = (*pcVar3)(unaff_s2,unaff_s1)" (identifier "iVar2") (= "=") (call_expression "(*pcVar3)(unaff_s2,unaff_s1)" (parenthesized_expression "(*pcVar3)" (( "(") (pointer_expression "*pcVar3" (* "*") (identifier "pcVar3")) () ")")) (argument_list "(unaff_s2,unaff_s1)" (( "(") (identifier "unaff_s2") (, ",") (identifier "unaff_s1") () ")")))) (; ";")) (labeled_statement "LAB_000260dc:\n  (*(code *)PTR___gmpn_divexact_1_0009d3f8)(iVar2,*(undefined4 *)(unaff_s4 + 8),unaff_s1,param_3);" (statement_identifier "LAB_000260dc") (: ":") (expression_statement "(*(code *)PTR___gmpn_divexact_1_0009d3f8)(iVar2,*(undefined4 *)(unaff_s4 + 8),unaff_s1,param_3);" (call_expression "(*(code *)PTR___gmpn_divexact_1_0009d3f8)(iVar2,*(undefined4 *)(unaff_s4 + 8),unaff_s1,param_3)" (parenthesized_expression "(*(code *)PTR___gmpn_divexact_1_0009d3f8)" (( "(") (pointer_expression "*(code *)PTR___gmpn_divexact_1_0009d3f8" (* "*") (cast_expression "(code *)PTR___gmpn_divexact_1_0009d3f8" (( "(") (type_descriptor "code *" (type_identifier "code") (abstract_pointer_declarator "*" (* "*"))) () ")") (identifier "PTR___gmpn_divexact_1_0009d3f8"))) () ")")) (argument_list "(iVar2,*(undefined4 *)(unaff_s4 + 8),unaff_s1,param_3)" (( "(") (identifier "iVar2") (, ",") (pointer_expression "*(undefined4 *)(unaff_s4 + 8)" (* "*") (cast_expression "(undefined4 *)(unaff_s4 + 8)" (( "(") (type_descriptor "undefined4 *" (type_identifier "undefined4") (abstract_pointer_declarator "*" (* "*"))) () ")") (parenthesized_expression "(unaff_s4 + 8)" (( "(") (binary_expression "unaff_s4 + 8" (identifier "unaff_s4") (+ "+") (number_literal "8")) () ")")))) (, ",") (identifier "unaff_s1") (, ",") (identifier "param_3") () ")"))) (; ";"))) (expression_statement "uVar1 = (uint)(*(int *)(iVar2 + unaff_s1 * 4 + -4) == 0);" (assignment_expression "uVar1 = (uint)(*(int *)(iVar2 + unaff_s1 * 4 + -4) == 0)" (identifier "uVar1") (= "=") (call_expression "(uint)(*(int *)(iVar2 + unaff_s1 * 4 + -4) == 0)" (parenthesized_expression "(uint)" (( "(") (identifier "uint") () ")")) (argument_list "(*(int *)(iVar2 + unaff_s1 * 4 + -4) == 0)" (( "(") (binary_expression "*(int *)(iVar2 + unaff_s1 * 4 + -4) == 0" (pointer_expression "*(int *)(iVar2 + unaff_s1 * 4 + -4)" (* "*") (cast_expression "(int *)(iVar2 + unaff_s1 * 4 + -4)" (( "(") (type_descriptor "int *" (primitive_type "int") (abstract_pointer_declarator "*" (* "*"))) () ")") (parenthesized_expression "(iVar2 + unaff_s1 * 4 + -4)" (( "(") (binary_expression "iVar2 + unaff_s1 * 4 + -4" (binary_expression "iVar2 + unaff_s1 * 4" (identifier "iVar2") (+ "+") (binary_expression "unaff_s1 * 4" (identifier "unaff_s1") (* "*") (number_literal "4"))) (+ "+") (number_literal "-4")) () ")")))) (== "==") (number_literal "0")) () ")")))) (; ";")) (if_statement "if (unaff_s0 < 0) {\n    iVar2 = uVar1 - unaff_s1;\n  }\n  else {\n    iVar2 = unaff_s1 - uVar1;\n  }" (if "if") (parenthesized_expression "(unaff_s0 < 0)" (( "(") (binary_expression "unaff_s0 < 0" (identifier "unaff_s0") (< "<") (number_literal "0")) () ")")) (compound_statement "{\n    iVar2 = uVar1 - unaff_s1;\n  }" ({ "{") (expression_statement "iVar2 = uVar1 - unaff_s1;" (assignment_expression "iVar2 = uVar1 - unaff_s1" (identifier "iVar2") (= "=") (binary_expression "uVar1 - unaff_s1" (identifier "uVar1") (- "-") (identifier "unaff_s1"))) (; ";")) (} "}")) (else_clause "else {\n    iVar2 = unaff_s1 - uVar1;\n  }" (else "else") (compound_statement "{\n    iVar2 = unaff_s1 - uVar1;\n  }" ({ "{") (expression_statement "iVar2 = unaff_s1 - uVar1;" (assignment_expression "iVar2 = unaff_s1 - uVar1" (identifier "iVar2") (= "=") (binary_expression "unaff_s1 - uVar1" (identifier "unaff_s1") (- "-") (identifier "uVar1"))) (; ";")) (} "}")))) (expression_statement "unaff_s2[1] = iVar2;" (assignment_expression "unaff_s2[1] = iVar2" (subscript_expression "unaff_s2[1]" (identifier "unaff_s2") ([ "[") (number_literal "1") (] "]")) (= "=") (identifier "iVar2")) (; ";")) (return_statement "return;" (return "return") (; ";")) (} "}")))
(translation_unit (function_definition type: (primitive_type) declarator: (function_declarator declarator: (identifier) parameters: (parameter_list (parameter_declaration type: (primitive_type) declarator: (pointer_declarator declarator: (identifier))) (parameter_declaration type: (primitive_type) declarator: (identifier)) (parameter_declaration type: (primitive_type) declarator: (identifier)))) body: (compound_statement (declaration type: (type_identifier) declarator: (identifier)) (declaration type: (primitive_type) declarator: (identifier)) (declaration type: (primitive_type) declarator: (identifier)) (declaration type: (primitive_type) declarator: (pointer_declarator declarator: (identifier))) (declaration type: (primitive_type) declarator: (identifier)) (declaration type: (primitive_type) declarator: (identifier)) (declaration type: (type_identifier) declarator: (pointer_declarator declarator: (identifier))) (if_statement condition: (parenthesized_expression (binary_expression left: (identifier) right: (number_literal))) consequence: (compound_statement (expression_statement (assignment_expression left: (identifier) right: (cast_expression type: (type_descriptor type: (type_identifier) declarator: (abstract_pointer_declarator)) value: (identifier)))) (expression_statement (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)))) alternative: (else_clause (compound_statement (expression_statement (assignment_expression left: (identifier) right: (pointer_expression argument: (cast_expression type: (type_descriptor type: (primitive_type) declarator: (abstract_pointer_declarator)) value: (parenthesized_expression (binary_expression left: (identifier) right: (number_literal))))))) (if_statement condition: (parenthesized_expression (binary_expression left: (identifier) right: (number_literal))) consequence: (compound_statement (expression_statement (assignment_expression left: (subscript_expression argument: (identifier) index: (number_literal)) right: (number_literal))) (return_statement))) (expression_statement (assignment_expression left: (identifier) right: (identifier))) (if_statement condition: (parenthesized_expression (binary_expression left: (identifier) right: (number_literal))) consequence: (compound_statement (expression_statement (assignment_expression left: (identifier) right: (unary_expression argument: (identifier)))))) (expression_statement (assignment_expression left: (identifier) right: (identifier))) (expression_statement (assignment_expression left: (identifier) right: (identifier))) (expression_statement (assignment_expression left: (identifier) right: (cast_expression type: (type_descriptor type: (type_identifier) declarator: (abstract_pointer_declarator)) value: (identifier)))) (if_statement condition: (parenthesized_expression (binary_expression left: (identifier) right: (pointer_expression argument: (identifier)))) consequence: (compound_statement (expression_statement (assignment_expression left: (identifier) right: (subscript_expression argument: (identifier) index: (number_literal)))) (goto_statement label: (statement_identifier))))))) (expression_statement (assignment_expression left: (identifier) right: (call_expression function: (parenthesized_expression (pointer_expression argument: (identifier))) arguments: (argument_list (identifier) (identifier))))) (labeled_statement label: (statement_identifier) (expression_statement (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) (pointer_expression argument: (cast_expression type: (type_descriptor type: (type_identifier) declarator: (abstract_pointer_declarator)) value: (parenthesized_expression (binary_expression left: (identifier) right: (number_literal))))) (identifier) (identifier))))) (expression_statement (assignment_expression left: (identifier) right: (call_expression function: (parenthesized_expression (identifier)) arguments: (argument_list (binary_expression left: (pointer_expression argument: (cast_expression type: (type_descriptor type: (primitive_type) declarator: (abstract_pointer_declarator)) value: (parenthesized_expression (binary_expression left: (binary_expression left: (identifier) right: (binary_expression left: (identifier) right: (number_literal))) right: (number_literal))))) 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: (binary_expression left: (identifier) right: (identifier))))))) (expression_statement (assignment_expression left: (subscript_expression argument: (identifier) index: (number_literal)) right: (identifier))) (return_statement))))

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

{
  uint uVar1;
  int unaff_s0;
  int unaff_s1;
  int *unaff_s2;
  int iVar2;
  int unaff_s4;
  code *pcVar3;
  
  if (param_3 == 0) {
    pcVar3 = (code *)PTR___gmp_divide_by_zero_0009d5e0;
    (*(code *)PTR___gmp_divide_by_zero_0009d5e0)();
  }
  else {
    unaff_s0 = *(int *)(param_2 + 4);
    if (unaff_s0 == 0) {
      param_1[1] = 0;
      return;
    }
    unaff_s1 = unaff_s0;
    if (unaff_s0 < 0) {
      unaff_s1 = -unaff_s0;
    }
    unaff_s2 = param_1;
    unaff_s4 = param_2;
    pcVar3 = (code *)PTR___gmpz_realloc_0009d5c0;
    if (unaff_s1 <= *param_1) {
      iVar2 = param_1[2];
      goto LAB_000260dc;
    }
  }
  iVar2 = (*pcVar3)(unaff_s2,unaff_s1);
LAB_000260dc:
  (*(code *)PTR___gmpn_divexact_1_0009d3f8)(iVar2,*(undefined4 *)(unaff_s4 + 8),unaff_s1,param_3);
  uVar1 = (uint)(*(int *)(iVar2 + unaff_s1 * 4 + -4) == 0);
  if (unaff_s0 < 0) {
    iVar2 = uVar1 - unaff_s1;
  }
  else {
    iVar2 = unaff_s1 - uVar1;
  }
  unaff_s2[1] = iVar2;
  return;
}

