
ulong __gmpz_fdiv_q_ui(mpz_ptr quot,mpz_srcptr dividend,ulong divisor)

{
  ulong uVar1;
  uint uVar2;
  mp_limb_t mVar3;
  mp_limb_t *pmVar4;
  mp_limb_t *pmVar5;
  int unaff_s1;
  int iVar6;
  int unaff_s2;
  mpz_ptr unaff_s3;
  ulong unaff_s4;
  mpz_srcptr unaff_s5;
  int in_t9;
  code *pcVar7;
  
  if (divisor == 0) {
    pcVar7 = *(code **)(in_t9 + 0x756f0);
    (*pcVar7)();
LAB_0002803c:
    pmVar5 = (mp_limb_t *)(*pcVar7)(unaff_s3,unaff_s1);
  }
  else {
    unaff_s2 = dividend->_mp_size;
    if (unaff_s2 == 0) {
      quot->_mp_size = 0;
      return 0;
    }
    unaff_s1 = unaff_s2;
    if (unaff_s2 < 0) {
      unaff_s1 = -unaff_s2;
    }
    pcVar7 = *(code **)(in_t9 + 0x756d0);
    unaff_s3 = quot;
    unaff_s4 = divisor;
    unaff_s5 = dividend;
    if (quot->_mp_alloc < unaff_s1) goto LAB_0002803c;
    pmVar5 = quot->_mp_d;
  }
  uVar1 = (**(code **)(in_t9 + 0x753b8))(pmVar5,0,unaff_s5->_mp_d,unaff_s1,unaff_s4);
  pmVar4 = pmVar5 + unaff_s1 + -1;
  if (uVar1 == 0) {
    uVar2 = (uint)(*pmVar4 == 0);
    if (unaff_s2 < 0) {
      iVar6 = uVar2 - unaff_s1;
      goto LAB_00027f94;
    }
  }
  else {
    if (unaff_s2 < 0) {
      do {
        mVar3 = *pmVar5;
        *pmVar5 = mVar3 + 1;
        pmVar5 = pmVar5 + 1;
      } while (mVar3 + 1 == 0);
      uVar1 = unaff_s4 - uVar1;
      iVar6 = (uint)(*pmVar4 == 0) - unaff_s1;
      goto LAB_00027f94;
    }
    uVar2 = (uint)(*pmVar4 == 0);
  }
  iVar6 = unaff_s1 - uVar2;
LAB_00027f94:
  unaff_s3->_mp_size = iVar6;
  return uVar1;
}



int __gmpz_fdiv_q_ui(int *param_1,int param_2,int param_3)

{
  int iVar1;
  uint uVar2;
  int *piVar3;
  int *piVar4;
  int unaff_s1;
  int iVar5;
  int unaff_s2;
  int *unaff_s3;
  int unaff_s4;
  int unaff_s5;
  code *pcVar6;
  
  if (param_3 == 0) {
    pcVar6 = (code *)PTR___gmp_divide_by_zero_0009d5e0;
    (*(code *)PTR___gmp_divide_by_zero_0009d5e0)();
LAB_0002803c:
    piVar4 = (int *)(*pcVar6)(unaff_s3,unaff_s1);
  }
  else {
    unaff_s2 = *(int *)(param_2 + 4);
    if (unaff_s2 == 0) {
      param_1[1] = 0;
      return 0;
    }
    unaff_s1 = unaff_s2;
    if (unaff_s2 < 0) {
      unaff_s1 = -unaff_s2;
    }
    unaff_s3 = param_1;
    unaff_s4 = param_3;
    unaff_s5 = param_2;
    pcVar6 = (code *)PTR___gmpz_realloc_0009d5c0;
    if (*param_1 < unaff_s1) goto LAB_0002803c;
    piVar4 = (int *)param_1[2];
  }
  iVar1 = (*(code *)PTR___gmpn_divrem_1_0009d2a8)
                    (piVar4,0,*(undefined4 *)(unaff_s5 + 8),unaff_s1,unaff_s4);
  piVar3 = piVar4 + unaff_s1 + -1;
  if (iVar1 == 0) {
    uVar2 = (uint)(*piVar3 == 0);
    if (unaff_s2 < 0) {
      iVar5 = uVar2 - unaff_s1;
      goto LAB_00027f94;
    }
  }
  else {
    if (unaff_s2 < 0) {
      do {
        iVar5 = *piVar4;
        *piVar4 = iVar5 + 1;
        piVar4 = piVar4 + 1;
      } while (iVar5 + 1 == 0);
      iVar1 = unaff_s4 - iVar1;
      iVar5 = (uint)(*piVar3 == 0) - unaff_s1;
      goto LAB_00027f94;
    }
    uVar2 = (uint)(*piVar3 == 0);
  }
  iVar5 = unaff_s1 - uVar2;
LAB_00027f94:
  unaff_s3[1] = iVar5;
  return iVar1;
}


lui gp,0x8
addiu gp,gp,-0x2eb0
addu gp,gp,t9
addiu sp,sp,-0x40
sw gp,0x18(sp)
sw ra,0x3c(sp)
sw s5,0x38(sp)
sw s4,0x34(sp)
sw s3,0x30(sp)
sw s2,0x2c(sp)
sw s1,0x28(sp)
beq a2,zero,0x00028030
_sw s0,0x24(sp)
lw s2,0x4(a1)
or s3,a0,zero
beq s2,zero,0x00028004
_or s5,a1,zero
or s4,a2,zero
bltz s2,0x00027ffc
_or s1,s2,zero
lw v0,0x0(s3)
slt v0,v0,s1
bne v0,zero,0x0002803c
_lw t9,-0x7a80(gp)
lw s0,0x8(s3)
lw t9,-0x7d98(gp)
or a1,zero,zero
lw a2,0x8(s5)
or a0,s0,zero
or a3,s1,zero
jalr t9
_sw s4,0x10(sp)
sll v1,s1,0x2
addiu a0,v1,-0x4
beq v0,zero,0x00027fbc
_addu a0,s0,a0
bltz s2,0x00027fd8
_addiu s0,s0,0x4
lw v1,0x0(a0)
sltiu v1,v1,0x1
subu s1,s1,v1
lw ra,0x3c(sp)
lw s5,0x38(sp)
lw s4,0x34(sp)
lw s2,0x2c(sp)
lw s0,0x24(sp)
sw s1,0x4(s3)
lw s3,0x30(sp)
lw s1,0x28(sp)
jr ra
_addiu sp,sp,0x40
lw v1,0x0(a0)
sltiu v1,v1,0x1
bgez s2,0x00027f90
_or a0,v1,zero
b 0x00027f94
_subu s1,a0,s1
addiu s0,s0,0x4
lw v1,-0x4(s0)
addiu v1,v1,0x1
beq v1,zero,0x00027fd4
_sw v1,-0x4(s0)
lw a0,0x0(a0)
subu v0,s4,v0
sltiu a0,a0,0x1
b 0x00027f94
_subu s1,a0,s1
b 0x00027f40
_subu s1,zero,s2
lw ra,0x3c(sp)
or v0,zero,zero
lw s5,0x38(sp)
lw s4,0x34(sp)
lw s3,0x30(sp)
lw s2,0x2c(sp)
lw s1,0x28(sp)
lw s0,0x24(sp)
sw zero,0x4(a0)
jr ra
_addiu sp,sp,0x40
lw t9,-0x7a60(gp)
jalr t9
_nop
or a1,s1,zero
jalr t9
_or a0,s3,zero
lw gp,0x18(sp)
b 0x00027f54
_or s0,v0,zero
(translation_unit "int __gmpz_fdiv_q_ui(int *param_1,int param_2,int param_3)\n\n{\n  int iVar1;\n  uint uVar2;\n  int *piVar3;\n  int *piVar4;\n  int unaff_s1;\n  int iVar5;\n  int unaff_s2;\n  int *unaff_s3;\n  int unaff_s4;\n  int unaff_s5;\n  code *pcVar6;\n  \n  if (param_3 == 0) {\n    pcVar6 = (code *)PTR___gmp_divide_by_zero_0009d5e0;\n    (*(code *)PTR___gmp_divide_by_zero_0009d5e0)();\nLAB_0002803c:\n    piVar4 = (int *)(*pcVar6)(unaff_s3,unaff_s1);\n  }\n  else {\n    unaff_s2 = *(int *)(param_2 + 4);\n    if (unaff_s2 == 0) {\n      param_1[1] = 0;\n      return 0;\n    }\n    unaff_s1 = unaff_s2;\n    if (unaff_s2 < 0) {\n      unaff_s1 = -unaff_s2;\n    }\n    unaff_s3 = param_1;\n    unaff_s4 = param_3;\n    unaff_s5 = param_2;\n    pcVar6 = (code *)PTR___gmpz_realloc_0009d5c0;\n    if (*param_1 < unaff_s1) goto LAB_0002803c;\n    piVar4 = (int *)param_1[2];\n  }\n  iVar1 = (*(code *)PTR___gmpn_divrem_1_0009d2a8)\n                    (piVar4,0,*(undefined4 *)(unaff_s5 + 8),unaff_s1,unaff_s4);\n  piVar3 = piVar4 + unaff_s1 + -1;\n  if (iVar1 == 0) {\n    uVar2 = (uint)(*piVar3 == 0);\n    if (unaff_s2 < 0) {\n      iVar5 = uVar2 - unaff_s1;\n      goto LAB_00027f94;\n    }\n  }\n  else {\n    if (unaff_s2 < 0) {\n      do {\n        iVar5 = *piVar4;\n        *piVar4 = iVar5 + 1;\n        piVar4 = piVar4 + 1;\n      } while (iVar5 + 1 == 0);\n      iVar1 = unaff_s4 - iVar1;\n      iVar5 = (uint)(*piVar3 == 0) - unaff_s1;\n      goto LAB_00027f94;\n    }\n    uVar2 = (uint)(*piVar3 == 0);\n  }\n  iVar5 = unaff_s1 - uVar2;\nLAB_00027f94:\n  unaff_s3[1] = iVar5;\n  return iVar1;\n}\n\n" (function_definition "int __gmpz_fdiv_q_ui(int *param_1,int param_2,int param_3)\n\n{\n  int iVar1;\n  uint uVar2;\n  int *piVar3;\n  int *piVar4;\n  int unaff_s1;\n  int iVar5;\n  int unaff_s2;\n  int *unaff_s3;\n  int unaff_s4;\n  int unaff_s5;\n  code *pcVar6;\n  \n  if (param_3 == 0) {\n    pcVar6 = (code *)PTR___gmp_divide_by_zero_0009d5e0;\n    (*(code *)PTR___gmp_divide_by_zero_0009d5e0)();\nLAB_0002803c:\n    piVar4 = (int *)(*pcVar6)(unaff_s3,unaff_s1);\n  }\n  else {\n    unaff_s2 = *(int *)(param_2 + 4);\n    if (unaff_s2 == 0) {\n      param_1[1] = 0;\n      return 0;\n    }\n    unaff_s1 = unaff_s2;\n    if (unaff_s2 < 0) {\n      unaff_s1 = -unaff_s2;\n    }\n    unaff_s3 = param_1;\n    unaff_s4 = param_3;\n    unaff_s5 = param_2;\n    pcVar6 = (code *)PTR___gmpz_realloc_0009d5c0;\n    if (*param_1 < unaff_s1) goto LAB_0002803c;\n    piVar4 = (int *)param_1[2];\n  }\n  iVar1 = (*(code *)PTR___gmpn_divrem_1_0009d2a8)\n                    (piVar4,0,*(undefined4 *)(unaff_s5 + 8),unaff_s1,unaff_s4);\n  piVar3 = piVar4 + unaff_s1 + -1;\n  if (iVar1 == 0) {\n    uVar2 = (uint)(*piVar3 == 0);\n    if (unaff_s2 < 0) {\n      iVar5 = uVar2 - unaff_s1;\n      goto LAB_00027f94;\n    }\n  }\n  else {\n    if (unaff_s2 < 0) {\n      do {\n        iVar5 = *piVar4;\n        *piVar4 = iVar5 + 1;\n        piVar4 = piVar4 + 1;\n      } while (iVar5 + 1 == 0);\n      iVar1 = unaff_s4 - iVar1;\n      iVar5 = (uint)(*piVar3 == 0) - unaff_s1;\n      goto LAB_00027f94;\n    }\n    uVar2 = (uint)(*piVar3 == 0);\n  }\n  iVar5 = unaff_s1 - uVar2;\nLAB_00027f94:\n  unaff_s3[1] = iVar5;\n  return iVar1;\n}" primitive_type (function_declarator "__gmpz_fdiv_q_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  int iVar1;\n  uint uVar2;\n  int *piVar3;\n  int *piVar4;\n  int unaff_s1;\n  int iVar5;\n  int unaff_s2;\n  int *unaff_s3;\n  int unaff_s4;\n  int unaff_s5;\n  code *pcVar6;\n  \n  if (param_3 == 0) {\n    pcVar6 = (code *)PTR___gmp_divide_by_zero_0009d5e0;\n    (*(code *)PTR___gmp_divide_by_zero_0009d5e0)();\nLAB_0002803c:\n    piVar4 = (int *)(*pcVar6)(unaff_s3,unaff_s1);\n  }\n  else {\n    unaff_s2 = *(int *)(param_2 + 4);\n    if (unaff_s2 == 0) {\n      param_1[1] = 0;\n      return 0;\n    }\n    unaff_s1 = unaff_s2;\n    if (unaff_s2 < 0) {\n      unaff_s1 = -unaff_s2;\n    }\n    unaff_s3 = param_1;\n    unaff_s4 = param_3;\n    unaff_s5 = param_2;\n    pcVar6 = (code *)PTR___gmpz_realloc_0009d5c0;\n    if (*param_1 < unaff_s1) goto LAB_0002803c;\n    piVar4 = (int *)param_1[2];\n  }\n  iVar1 = (*(code *)PTR___gmpn_divrem_1_0009d2a8)\n                    (piVar4,0,*(undefined4 *)(unaff_s5 + 8),unaff_s1,unaff_s4);\n  piVar3 = piVar4 + unaff_s1 + -1;\n  if (iVar1 == 0) {\n    uVar2 = (uint)(*piVar3 == 0);\n    if (unaff_s2 < 0) {\n      iVar5 = uVar2 - unaff_s1;\n      goto LAB_00027f94;\n    }\n  }\n  else {\n    if (unaff_s2 < 0) {\n      do {\n        iVar5 = *piVar4;\n        *piVar4 = iVar5 + 1;\n        piVar4 = piVar4 + 1;\n      } while (iVar5 + 1 == 0);\n      iVar1 = unaff_s4 - iVar1;\n      iVar5 = (uint)(*piVar3 == 0) - unaff_s1;\n      goto LAB_00027f94;\n    }\n    uVar2 = (uint)(*piVar3 == 0);\n  }\n  iVar5 = unaff_s1 - uVar2;\nLAB_00027f94:\n  unaff_s3[1] = iVar5;\n  return iVar1;\n}" { (declaration "int iVar1;" primitive_type identifier ;) (declaration "uint uVar2;" type_identifier identifier ;) (declaration "int *piVar3;" primitive_type (pointer_declarator "*piVar3" * identifier) ;) (declaration "int *piVar4;" primitive_type (pointer_declarator "*piVar4" * identifier) ;) (declaration "int unaff_s1;" primitive_type identifier ;) (declaration "int iVar5;" primitive_type identifier ;) (declaration "int unaff_s2;" primitive_type identifier ;) (declaration "int *unaff_s3;" primitive_type (pointer_declarator "*unaff_s3" * identifier) ;) (declaration "int unaff_s4;" primitive_type identifier ;) (declaration "int unaff_s5;" primitive_type identifier ;) (declaration "code *pcVar6;" type_identifier (pointer_declarator "*pcVar6" * identifier) ;) (if_statement "if (param_3 == 0) {\n    pcVar6 = (code *)PTR___gmp_divide_by_zero_0009d5e0;\n    (*(code *)PTR___gmp_divide_by_zero_0009d5e0)();\nLAB_0002803c:\n    piVar4 = (int *)(*pcVar6)(unaff_s3,unaff_s1);\n  }\n  else {\n    unaff_s2 = *(int *)(param_2 + 4);\n    if (unaff_s2 == 0) {\n      param_1[1] = 0;\n      return 0;\n    }\n    unaff_s1 = unaff_s2;\n    if (unaff_s2 < 0) {\n      unaff_s1 = -unaff_s2;\n    }\n    unaff_s3 = param_1;\n    unaff_s4 = param_3;\n    unaff_s5 = param_2;\n    pcVar6 = (code *)PTR___gmpz_realloc_0009d5c0;\n    if (*param_1 < unaff_s1) goto LAB_0002803c;\n    piVar4 = (int *)param_1[2];\n  }" if (parenthesized_expression "(param_3 == 0)" ( (binary_expression "param_3 == 0" identifier == number_literal) )) (compound_statement "{\n    pcVar6 = (code *)PTR___gmp_divide_by_zero_0009d5e0;\n    (*(code *)PTR___gmp_divide_by_zero_0009d5e0)();\nLAB_0002803c:\n    piVar4 = (int *)(*pcVar6)(unaff_s3,unaff_s1);\n  }" { (expression_statement "pcVar6 = (code *)PTR___gmp_divide_by_zero_0009d5e0;" (assignment_expression "pcVar6 = (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 "()" ( ))) ;) (labeled_statement "LAB_0002803c:\n    piVar4 = (int *)(*pcVar6)(unaff_s3,unaff_s1);" statement_identifier : (expression_statement "piVar4 = (int *)(*pcVar6)(unaff_s3,unaff_s1);" (assignment_expression "piVar4 = (int *)(*pcVar6)(unaff_s3,unaff_s1)" identifier = (cast_expression "(int *)(*pcVar6)(unaff_s3,unaff_s1)" ( (type_descriptor "int *" primitive_type (abstract_pointer_declarator "*" *)) ) (call_expression "(*pcVar6)(unaff_s3,unaff_s1)" (parenthesized_expression "(*pcVar6)" ( (pointer_expression "*pcVar6" * identifier) )) (argument_list "(unaff_s3,unaff_s1)" ( identifier , identifier ))))) ;)) }) (else_clause "else {\n    unaff_s2 = *(int *)(param_2 + 4);\n    if (unaff_s2 == 0) {\n      param_1[1] = 0;\n      return 0;\n    }\n    unaff_s1 = unaff_s2;\n    if (unaff_s2 < 0) {\n      unaff_s1 = -unaff_s2;\n    }\n    unaff_s3 = param_1;\n    unaff_s4 = param_3;\n    unaff_s5 = param_2;\n    pcVar6 = (code *)PTR___gmpz_realloc_0009d5c0;\n    if (*param_1 < unaff_s1) goto LAB_0002803c;\n    piVar4 = (int *)param_1[2];\n  }" else (compound_statement "{\n    unaff_s2 = *(int *)(param_2 + 4);\n    if (unaff_s2 == 0) {\n      param_1[1] = 0;\n      return 0;\n    }\n    unaff_s1 = unaff_s2;\n    if (unaff_s2 < 0) {\n      unaff_s1 = -unaff_s2;\n    }\n    unaff_s3 = param_1;\n    unaff_s4 = param_3;\n    unaff_s5 = param_2;\n    pcVar6 = (code *)PTR___gmpz_realloc_0009d5c0;\n    if (*param_1 < unaff_s1) goto LAB_0002803c;\n    piVar4 = (int *)param_1[2];\n  }" { (expression_statement "unaff_s2 = *(int *)(param_2 + 4);" (assignment_expression "unaff_s2 = *(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_s2 == 0) {\n      param_1[1] = 0;\n      return 0;\n    }" if (parenthesized_expression "(unaff_s2 == 0)" ( (binary_expression "unaff_s2 == 0" identifier == number_literal) )) (compound_statement "{\n      param_1[1] = 0;\n      return 0;\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 0;" return number_literal ;) })) (expression_statement "unaff_s1 = unaff_s2;" (assignment_expression "unaff_s1 = unaff_s2" identifier = identifier) ;) (if_statement "if (unaff_s2 < 0) {\n      unaff_s1 = -unaff_s2;\n    }" if (parenthesized_expression "(unaff_s2 < 0)" ( (binary_expression "unaff_s2 < 0" identifier < number_literal) )) (compound_statement "{\n      unaff_s1 = -unaff_s2;\n    }" { (expression_statement "unaff_s1 = -unaff_s2;" (assignment_expression "unaff_s1 = -unaff_s2" identifier = (unary_expression "-unaff_s2" - identifier)) ;) })) (expression_statement "unaff_s3 = param_1;" (assignment_expression "unaff_s3 = param_1" identifier = identifier) ;) (expression_statement "unaff_s4 = param_3;" (assignment_expression "unaff_s4 = param_3" identifier = identifier) ;) (expression_statement "unaff_s5 = param_2;" (assignment_expression "unaff_s5 = param_2" identifier = identifier) ;) (expression_statement "pcVar6 = (code *)PTR___gmpz_realloc_0009d5c0;" (assignment_expression "pcVar6 = (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 (*param_1 < unaff_s1) goto LAB_0002803c;" if (parenthesized_expression "(*param_1 < unaff_s1)" ( (binary_expression "*param_1 < unaff_s1" (pointer_expression "*param_1" * identifier) < identifier) )) (goto_statement "goto LAB_0002803c;" goto statement_identifier ;)) (expression_statement "piVar4 = (int *)param_1[2];" (assignment_expression "piVar4 = (int *)param_1[2]" identifier = (cast_expression "(int *)param_1[2]" ( (type_descriptor "int *" primitive_type (abstract_pointer_declarator "*" *)) ) (subscript_expression "param_1[2]" identifier [ number_literal ]))) ;) }))) (expression_statement "iVar1 = (*(code *)PTR___gmpn_divrem_1_0009d2a8)\n                    (piVar4,0,*(undefined4 *)(unaff_s5 + 8),unaff_s1,unaff_s4);" (assignment_expression "iVar1 = (*(code *)PTR___gmpn_divrem_1_0009d2a8)\n                    (piVar4,0,*(undefined4 *)(unaff_s5 + 8),unaff_s1,unaff_s4)" identifier = (call_expression "(*(code *)PTR___gmpn_divrem_1_0009d2a8)\n                    (piVar4,0,*(undefined4 *)(unaff_s5 + 8),unaff_s1,unaff_s4)" (parenthesized_expression "(*(code *)PTR___gmpn_divrem_1_0009d2a8)" ( (pointer_expression "*(code *)PTR___gmpn_divrem_1_0009d2a8" * (cast_expression "(code *)PTR___gmpn_divrem_1_0009d2a8" ( (type_descriptor "code *" type_identifier (abstract_pointer_declarator "*" *)) ) identifier)) )) (argument_list "(piVar4,0,*(undefined4 *)(unaff_s5 + 8),unaff_s1,unaff_s4)" ( identifier , number_literal , (pointer_expression "*(undefined4 *)(unaff_s5 + 8)" * (cast_expression "(undefined4 *)(unaff_s5 + 8)" ( (type_descriptor "undefined4 *" type_identifier (abstract_pointer_declarator "*" *)) ) (parenthesized_expression "(unaff_s5 + 8)" ( (binary_expression "unaff_s5 + 8" identifier + number_literal) )))) , identifier , identifier )))) ;) (expression_statement "piVar3 = piVar4 + unaff_s1 + -1;" (assignment_expression "piVar3 = piVar4 + unaff_s1 + -1" identifier = (binary_expression "piVar4 + unaff_s1 + -1" (binary_expression "piVar4 + unaff_s1" identifier + identifier) + number_literal)) ;) (if_statement "if (iVar1 == 0) {\n    uVar2 = (uint)(*piVar3 == 0);\n    if (unaff_s2 < 0) {\n      iVar5 = uVar2 - unaff_s1;\n      goto LAB_00027f94;\n    }\n  }\n  else {\n    if (unaff_s2 < 0) {\n      do {\n        iVar5 = *piVar4;\n        *piVar4 = iVar5 + 1;\n        piVar4 = piVar4 + 1;\n      } while (iVar5 + 1 == 0);\n      iVar1 = unaff_s4 - iVar1;\n      iVar5 = (uint)(*piVar3 == 0) - unaff_s1;\n      goto LAB_00027f94;\n    }\n    uVar2 = (uint)(*piVar3 == 0);\n  }" if (parenthesized_expression "(iVar1 == 0)" ( (binary_expression "iVar1 == 0" identifier == number_literal) )) (compound_statement "{\n    uVar2 = (uint)(*piVar3 == 0);\n    if (unaff_s2 < 0) {\n      iVar5 = uVar2 - unaff_s1;\n      goto LAB_00027f94;\n    }\n  }" { (expression_statement "uVar2 = (uint)(*piVar3 == 0);" (assignment_expression "uVar2 = (uint)(*piVar3 == 0)" identifier = (call_expression "(uint)(*piVar3 == 0)" (parenthesized_expression "(uint)" ( identifier )) (argument_list "(*piVar3 == 0)" ( (binary_expression "*piVar3 == 0" (pointer_expression "*piVar3" * identifier) == number_literal) )))) ;) (if_statement "if (unaff_s2 < 0) {\n      iVar5 = uVar2 - unaff_s1;\n      goto LAB_00027f94;\n    }" if (parenthesized_expression "(unaff_s2 < 0)" ( (binary_expression "unaff_s2 < 0" identifier < number_literal) )) (compound_statement "{\n      iVar5 = uVar2 - unaff_s1;\n      goto LAB_00027f94;\n    }" { (expression_statement "iVar5 = uVar2 - unaff_s1;" (assignment_expression "iVar5 = uVar2 - unaff_s1" identifier = (binary_expression "uVar2 - unaff_s1" identifier - identifier)) ;) (goto_statement "goto LAB_00027f94;" goto statement_identifier ;) })) }) (else_clause "else {\n    if (unaff_s2 < 0) {\n      do {\n        iVar5 = *piVar4;\n        *piVar4 = iVar5 + 1;\n        piVar4 = piVar4 + 1;\n      } while (iVar5 + 1 == 0);\n      iVar1 = unaff_s4 - iVar1;\n      iVar5 = (uint)(*piVar3 == 0) - unaff_s1;\n      goto LAB_00027f94;\n    }\n    uVar2 = (uint)(*piVar3 == 0);\n  }" else (compound_statement "{\n    if (unaff_s2 < 0) {\n      do {\n        iVar5 = *piVar4;\n        *piVar4 = iVar5 + 1;\n        piVar4 = piVar4 + 1;\n      } while (iVar5 + 1 == 0);\n      iVar1 = unaff_s4 - iVar1;\n      iVar5 = (uint)(*piVar3 == 0) - unaff_s1;\n      goto LAB_00027f94;\n    }\n    uVar2 = (uint)(*piVar3 == 0);\n  }" { (if_statement "if (unaff_s2 < 0) {\n      do {\n        iVar5 = *piVar4;\n        *piVar4 = iVar5 + 1;\n        piVar4 = piVar4 + 1;\n      } while (iVar5 + 1 == 0);\n      iVar1 = unaff_s4 - iVar1;\n      iVar5 = (uint)(*piVar3 == 0) - unaff_s1;\n      goto LAB_00027f94;\n    }" if (parenthesized_expression "(unaff_s2 < 0)" ( (binary_expression "unaff_s2 < 0" identifier < number_literal) )) (compound_statement "{\n      do {\n        iVar5 = *piVar4;\n        *piVar4 = iVar5 + 1;\n        piVar4 = piVar4 + 1;\n      } while (iVar5 + 1 == 0);\n      iVar1 = unaff_s4 - iVar1;\n      iVar5 = (uint)(*piVar3 == 0) - unaff_s1;\n      goto LAB_00027f94;\n    }" { (do_statement "do {\n        iVar5 = *piVar4;\n        *piVar4 = iVar5 + 1;\n        piVar4 = piVar4 + 1;\n      } while (iVar5 + 1 == 0);" do (compound_statement "{\n        iVar5 = *piVar4;\n        *piVar4 = iVar5 + 1;\n        piVar4 = piVar4 + 1;\n      }" { (expression_statement "iVar5 = *piVar4;" (assignment_expression "iVar5 = *piVar4" identifier = (pointer_expression "*piVar4" * identifier)) ;) (expression_statement "*piVar4 = iVar5 + 1;" (assignment_expression "*piVar4 = iVar5 + 1" (pointer_expression "*piVar4" * identifier) = (binary_expression "iVar5 + 1" identifier + number_literal)) ;) (expression_statement "piVar4 = piVar4 + 1;" (assignment_expression "piVar4 = piVar4 + 1" identifier = (binary_expression "piVar4 + 1" identifier + number_literal)) ;) }) while (parenthesized_expression "(iVar5 + 1 == 0)" ( (binary_expression "iVar5 + 1 == 0" (binary_expression "iVar5 + 1" identifier + number_literal) == number_literal) )) ;) (expression_statement "iVar1 = unaff_s4 - iVar1;" (assignment_expression "iVar1 = unaff_s4 - iVar1" identifier = (binary_expression "unaff_s4 - iVar1" identifier - identifier)) ;) (expression_statement "iVar5 = (uint)(*piVar3 == 0) - unaff_s1;" (assignment_expression "iVar5 = (uint)(*piVar3 == 0) - unaff_s1" identifier = (binary_expression "(uint)(*piVar3 == 0) - unaff_s1" (call_expression "(uint)(*piVar3 == 0)" (parenthesized_expression "(uint)" ( identifier )) (argument_list "(*piVar3 == 0)" ( (binary_expression "*piVar3 == 0" (pointer_expression "*piVar3" * identifier) == number_literal) ))) - identifier)) ;) (goto_statement "goto LAB_00027f94;" goto statement_identifier ;) })) (expression_statement "uVar2 = (uint)(*piVar3 == 0);" (assignment_expression "uVar2 = (uint)(*piVar3 == 0)" identifier = (call_expression "(uint)(*piVar3 == 0)" (parenthesized_expression "(uint)" ( identifier )) (argument_list "(*piVar3 == 0)" ( (binary_expression "*piVar3 == 0" (pointer_expression "*piVar3" * identifier) == number_literal) )))) ;) }))) (expression_statement "iVar5 = unaff_s1 - uVar2;" (assignment_expression "iVar5 = unaff_s1 - uVar2" identifier = (binary_expression "unaff_s1 - uVar2" identifier - identifier)) ;) (labeled_statement "LAB_00027f94:\n  unaff_s3[1] = iVar5;" statement_identifier : (expression_statement "unaff_s3[1] = iVar5;" (assignment_expression "unaff_s3[1] = iVar5" (subscript_expression "unaff_s3[1]" identifier [ number_literal ]) = identifier) ;)) (return_statement "return iVar1;" return identifier ;) })))
(translation_unit "ulong __gmpz_fdiv_q_ui(mpz_ptr quot,mpz_srcptr dividend,ulong divisor)\n\n{\n  ulong uVar1;\n  uint uVar2;\n  mp_limb_t mVar3;\n  mp_limb_t *pmVar4;\n  mp_limb_t *pmVar5;\n  int unaff_s1;\n  int iVar6;\n  int unaff_s2;\n  mpz_ptr unaff_s3;\n  ulong unaff_s4;\n  mpz_srcptr unaff_s5;\n  int in_t9;\n  code *pcVar7;\n  \n  if (divisor == 0) {\n    pcVar7 = *(code **)(in_t9 + 0x756f0);\n    (*pcVar7)();\nLAB_0002803c:\n    pmVar5 = (mp_limb_t *)(*pcVar7)(unaff_s3,unaff_s1);\n  }\n  else {\n    unaff_s2 = dividend->_mp_size;\n    if (unaff_s2 == 0) {\n      quot->_mp_size = 0;\n      return 0;\n    }\n    unaff_s1 = unaff_s2;\n    if (unaff_s2 < 0) {\n      unaff_s1 = -unaff_s2;\n    }\n    pcVar7 = *(code **)(in_t9 + 0x756d0);\n    unaff_s3 = quot;\n    unaff_s4 = divisor;\n    unaff_s5 = dividend;\n    if (quot->_mp_alloc < unaff_s1) goto LAB_0002803c;\n    pmVar5 = quot->_mp_d;\n  }\n  uVar1 = (**(code **)(in_t9 + 0x753b8))(pmVar5,0,unaff_s5->_mp_d,unaff_s1,unaff_s4);\n  pmVar4 = pmVar5 + unaff_s1 + -1;\n  if (uVar1 == 0) {\n    uVar2 = (uint)(*pmVar4 == 0);\n    if (unaff_s2 < 0) {\n      iVar6 = uVar2 - unaff_s1;\n      goto LAB_00027f94;\n    }\n  }\n  else {\n    if (unaff_s2 < 0) {\n      do {\n        mVar3 = *pmVar5;\n        *pmVar5 = mVar3 + 1;\n        pmVar5 = pmVar5 + 1;\n      } while (mVar3 + 1 == 0);\n      uVar1 = unaff_s4 - uVar1;\n      iVar6 = (uint)(*pmVar4 == 0) - unaff_s1;\n      goto LAB_00027f94;\n    }\n    uVar2 = (uint)(*pmVar4 == 0);\n  }\n  iVar6 = unaff_s1 - uVar2;\nLAB_00027f94:\n  unaff_s3->_mp_size = iVar6;\n  return uVar1;\n}\n\n" (function_definition "ulong __gmpz_fdiv_q_ui(mpz_ptr quot,mpz_srcptr dividend,ulong divisor)\n\n{\n  ulong uVar1;\n  uint uVar2;\n  mp_limb_t mVar3;\n  mp_limb_t *pmVar4;\n  mp_limb_t *pmVar5;\n  int unaff_s1;\n  int iVar6;\n  int unaff_s2;\n  mpz_ptr unaff_s3;\n  ulong unaff_s4;\n  mpz_srcptr unaff_s5;\n  int in_t9;\n  code *pcVar7;\n  \n  if (divisor == 0) {\n    pcVar7 = *(code **)(in_t9 + 0x756f0);\n    (*pcVar7)();\nLAB_0002803c:\n    pmVar5 = (mp_limb_t *)(*pcVar7)(unaff_s3,unaff_s1);\n  }\n  else {\n    unaff_s2 = dividend->_mp_size;\n    if (unaff_s2 == 0) {\n      quot->_mp_size = 0;\n      return 0;\n    }\n    unaff_s1 = unaff_s2;\n    if (unaff_s2 < 0) {\n      unaff_s1 = -unaff_s2;\n    }\n    pcVar7 = *(code **)(in_t9 + 0x756d0);\n    unaff_s3 = quot;\n    unaff_s4 = divisor;\n    unaff_s5 = dividend;\n    if (quot->_mp_alloc < unaff_s1) goto LAB_0002803c;\n    pmVar5 = quot->_mp_d;\n  }\n  uVar1 = (**(code **)(in_t9 + 0x753b8))(pmVar5,0,unaff_s5->_mp_d,unaff_s1,unaff_s4);\n  pmVar4 = pmVar5 + unaff_s1 + -1;\n  if (uVar1 == 0) {\n    uVar2 = (uint)(*pmVar4 == 0);\n    if (unaff_s2 < 0) {\n      iVar6 = uVar2 - unaff_s1;\n      goto LAB_00027f94;\n    }\n  }\n  else {\n    if (unaff_s2 < 0) {\n      do {\n        mVar3 = *pmVar5;\n        *pmVar5 = mVar3 + 1;\n        pmVar5 = pmVar5 + 1;\n      } while (mVar3 + 1 == 0);\n      uVar1 = unaff_s4 - uVar1;\n      iVar6 = (uint)(*pmVar4 == 0) - unaff_s1;\n      goto LAB_00027f94;\n    }\n    uVar2 = (uint)(*pmVar4 == 0);\n  }\n  iVar6 = unaff_s1 - uVar2;\nLAB_00027f94:\n  unaff_s3->_mp_size = iVar6;\n  return uVar1;\n}" type_identifier (function_declarator "__gmpz_fdiv_q_ui(mpz_ptr quot,mpz_srcptr dividend,ulong divisor)" identifier (parameter_list "(mpz_ptr quot,mpz_srcptr dividend,ulong divisor)" ( (parameter_declaration "mpz_ptr quot" type_identifier identifier) , (parameter_declaration "mpz_srcptr dividend" type_identifier identifier) , (parameter_declaration "ulong divisor" type_identifier identifier) ))) (compound_statement "{\n  ulong uVar1;\n  uint uVar2;\n  mp_limb_t mVar3;\n  mp_limb_t *pmVar4;\n  mp_limb_t *pmVar5;\n  int unaff_s1;\n  int iVar6;\n  int unaff_s2;\n  mpz_ptr unaff_s3;\n  ulong unaff_s4;\n  mpz_srcptr unaff_s5;\n  int in_t9;\n  code *pcVar7;\n  \n  if (divisor == 0) {\n    pcVar7 = *(code **)(in_t9 + 0x756f0);\n    (*pcVar7)();\nLAB_0002803c:\n    pmVar5 = (mp_limb_t *)(*pcVar7)(unaff_s3,unaff_s1);\n  }\n  else {\n    unaff_s2 = dividend->_mp_size;\n    if (unaff_s2 == 0) {\n      quot->_mp_size = 0;\n      return 0;\n    }\n    unaff_s1 = unaff_s2;\n    if (unaff_s2 < 0) {\n      unaff_s1 = -unaff_s2;\n    }\n    pcVar7 = *(code **)(in_t9 + 0x756d0);\n    unaff_s3 = quot;\n    unaff_s4 = divisor;\n    unaff_s5 = dividend;\n    if (quot->_mp_alloc < unaff_s1) goto LAB_0002803c;\n    pmVar5 = quot->_mp_d;\n  }\n  uVar1 = (**(code **)(in_t9 + 0x753b8))(pmVar5,0,unaff_s5->_mp_d,unaff_s1,unaff_s4);\n  pmVar4 = pmVar5 + unaff_s1 + -1;\n  if (uVar1 == 0) {\n    uVar2 = (uint)(*pmVar4 == 0);\n    if (unaff_s2 < 0) {\n      iVar6 = uVar2 - unaff_s1;\n      goto LAB_00027f94;\n    }\n  }\n  else {\n    if (unaff_s2 < 0) {\n      do {\n        mVar3 = *pmVar5;\n        *pmVar5 = mVar3 + 1;\n        pmVar5 = pmVar5 + 1;\n      } while (mVar3 + 1 == 0);\n      uVar1 = unaff_s4 - uVar1;\n      iVar6 = (uint)(*pmVar4 == 0) - unaff_s1;\n      goto LAB_00027f94;\n    }\n    uVar2 = (uint)(*pmVar4 == 0);\n  }\n  iVar6 = unaff_s1 - uVar2;\nLAB_00027f94:\n  unaff_s3->_mp_size = iVar6;\n  return uVar1;\n}" { (declaration "ulong uVar1;" type_identifier identifier ;) (declaration "uint uVar2;" type_identifier identifier ;) (declaration "mp_limb_t mVar3;" type_identifier identifier ;) (declaration "mp_limb_t *pmVar4;" type_identifier (pointer_declarator "*pmVar4" * identifier) ;) (declaration "mp_limb_t *pmVar5;" type_identifier (pointer_declarator "*pmVar5" * identifier) ;) (declaration "int unaff_s1;" primitive_type identifier ;) (declaration "int iVar6;" primitive_type identifier ;) (declaration "int unaff_s2;" primitive_type identifier ;) (declaration "mpz_ptr unaff_s3;" type_identifier identifier ;) (declaration "ulong unaff_s4;" type_identifier identifier ;) (declaration "mpz_srcptr unaff_s5;" type_identifier identifier ;) (declaration "int in_t9;" primitive_type identifier ;) (declaration "code *pcVar7;" type_identifier (pointer_declarator "*pcVar7" * identifier) ;) (if_statement "if (divisor == 0) {\n    pcVar7 = *(code **)(in_t9 + 0x756f0);\n    (*pcVar7)();\nLAB_0002803c:\n    pmVar5 = (mp_limb_t *)(*pcVar7)(unaff_s3,unaff_s1);\n  }\n  else {\n    unaff_s2 = dividend->_mp_size;\n    if (unaff_s2 == 0) {\n      quot->_mp_size = 0;\n      return 0;\n    }\n    unaff_s1 = unaff_s2;\n    if (unaff_s2 < 0) {\n      unaff_s1 = -unaff_s2;\n    }\n    pcVar7 = *(code **)(in_t9 + 0x756d0);\n    unaff_s3 = quot;\n    unaff_s4 = divisor;\n    unaff_s5 = dividend;\n    if (quot->_mp_alloc < unaff_s1) goto LAB_0002803c;\n    pmVar5 = quot->_mp_d;\n  }" if (parenthesized_expression "(divisor == 0)" ( (binary_expression "divisor == 0" identifier == number_literal) )) (compound_statement "{\n    pcVar7 = *(code **)(in_t9 + 0x756f0);\n    (*pcVar7)();\nLAB_0002803c:\n    pmVar5 = (mp_limb_t *)(*pcVar7)(unaff_s3,unaff_s1);\n  }" { (expression_statement "pcVar7 = *(code **)(in_t9 + 0x756f0);" (assignment_expression "pcVar7 = *(code **)(in_t9 + 0x756f0)" identifier = (pointer_expression "*(code **)(in_t9 + 0x756f0)" * (cast_expression "(code **)(in_t9 + 0x756f0)" ( (type_descriptor "code **" type_identifier (abstract_pointer_declarator "**" * (abstract_pointer_declarator "*" *))) ) (parenthesized_expression "(in_t9 + 0x756f0)" ( (binary_expression "in_t9 + 0x756f0" identifier + number_literal) ))))) ;) (expression_statement "(*pcVar7)();" (call_expression "(*pcVar7)()" (parenthesized_expression "(*pcVar7)" ( (pointer_expression "*pcVar7" * identifier) )) (argument_list "()" ( ))) ;) (labeled_statement "LAB_0002803c:\n    pmVar5 = (mp_limb_t *)(*pcVar7)(unaff_s3,unaff_s1);" statement_identifier : (expression_statement "pmVar5 = (mp_limb_t *)(*pcVar7)(unaff_s3,unaff_s1);" (assignment_expression "pmVar5 = (mp_limb_t *)(*pcVar7)(unaff_s3,unaff_s1)" identifier = (cast_expression "(mp_limb_t *)(*pcVar7)(unaff_s3,unaff_s1)" ( (type_descriptor "mp_limb_t *" type_identifier (abstract_pointer_declarator "*" *)) ) (call_expression "(*pcVar7)(unaff_s3,unaff_s1)" (parenthesized_expression "(*pcVar7)" ( (pointer_expression "*pcVar7" * identifier) )) (argument_list "(unaff_s3,unaff_s1)" ( identifier , identifier ))))) ;)) }) (else_clause "else {\n    unaff_s2 = dividend->_mp_size;\n    if (unaff_s2 == 0) {\n      quot->_mp_size = 0;\n      return 0;\n    }\n    unaff_s1 = unaff_s2;\n    if (unaff_s2 < 0) {\n      unaff_s1 = -unaff_s2;\n    }\n    pcVar7 = *(code **)(in_t9 + 0x756d0);\n    unaff_s3 = quot;\n    unaff_s4 = divisor;\n    unaff_s5 = dividend;\n    if (quot->_mp_alloc < unaff_s1) goto LAB_0002803c;\n    pmVar5 = quot->_mp_d;\n  }" else (compound_statement "{\n    unaff_s2 = dividend->_mp_size;\n    if (unaff_s2 == 0) {\n      quot->_mp_size = 0;\n      return 0;\n    }\n    unaff_s1 = unaff_s2;\n    if (unaff_s2 < 0) {\n      unaff_s1 = -unaff_s2;\n    }\n    pcVar7 = *(code **)(in_t9 + 0x756d0);\n    unaff_s3 = quot;\n    unaff_s4 = divisor;\n    unaff_s5 = dividend;\n    if (quot->_mp_alloc < unaff_s1) goto LAB_0002803c;\n    pmVar5 = quot->_mp_d;\n  }" { (expression_statement "unaff_s2 = dividend->_mp_size;" (assignment_expression "unaff_s2 = dividend->_mp_size" identifier = (field_expression "dividend->_mp_size" identifier -> field_identifier)) ;) (if_statement "if (unaff_s2 == 0) {\n      quot->_mp_size = 0;\n      return 0;\n    }" if (parenthesized_expression "(unaff_s2 == 0)" ( (binary_expression "unaff_s2 == 0" identifier == number_literal) )) (compound_statement "{\n      quot->_mp_size = 0;\n      return 0;\n    }" { (expression_statement "quot->_mp_size = 0;" (assignment_expression "quot->_mp_size = 0" (field_expression "quot->_mp_size" identifier -> field_identifier) = number_literal) ;) (return_statement "return 0;" return number_literal ;) })) (expression_statement "unaff_s1 = unaff_s2;" (assignment_expression "unaff_s1 = unaff_s2" identifier = identifier) ;) (if_statement "if (unaff_s2 < 0) {\n      unaff_s1 = -unaff_s2;\n    }" if (parenthesized_expression "(unaff_s2 < 0)" ( (binary_expression "unaff_s2 < 0" identifier < number_literal) )) (compound_statement "{\n      unaff_s1 = -unaff_s2;\n    }" { (expression_statement "unaff_s1 = -unaff_s2;" (assignment_expression "unaff_s1 = -unaff_s2" identifier = (unary_expression "-unaff_s2" - identifier)) ;) })) (expression_statement "pcVar7 = *(code **)(in_t9 + 0x756d0);" (assignment_expression "pcVar7 = *(code **)(in_t9 + 0x756d0)" identifier = (pointer_expression "*(code **)(in_t9 + 0x756d0)" * (cast_expression "(code **)(in_t9 + 0x756d0)" ( (type_descriptor "code **" type_identifier (abstract_pointer_declarator "**" * (abstract_pointer_declarator "*" *))) ) (parenthesized_expression "(in_t9 + 0x756d0)" ( (binary_expression "in_t9 + 0x756d0" identifier + number_literal) ))))) ;) (expression_statement "unaff_s3 = quot;" (assignment_expression "unaff_s3 = quot" identifier = identifier) ;) (expression_statement "unaff_s4 = divisor;" (assignment_expression "unaff_s4 = divisor" identifier = identifier) ;) (expression_statement "unaff_s5 = dividend;" (assignment_expression "unaff_s5 = dividend" identifier = identifier) ;) (if_statement "if (quot->_mp_alloc < unaff_s1) goto LAB_0002803c;" if (parenthesized_expression "(quot->_mp_alloc < unaff_s1)" ( (binary_expression "quot->_mp_alloc < unaff_s1" (field_expression "quot->_mp_alloc" identifier -> field_identifier) < identifier) )) (goto_statement "goto LAB_0002803c;" goto statement_identifier ;)) (expression_statement "pmVar5 = quot->_mp_d;" (assignment_expression "pmVar5 = quot->_mp_d" identifier = (field_expression "quot->_mp_d" identifier -> field_identifier)) ;) }))) (expression_statement "uVar1 = (**(code **)(in_t9 + 0x753b8))(pmVar5,0,unaff_s5->_mp_d,unaff_s1,unaff_s4);" (assignment_expression "uVar1 = (**(code **)(in_t9 + 0x753b8))(pmVar5,0,unaff_s5->_mp_d,unaff_s1,unaff_s4)" identifier = (call_expression "(**(code **)(in_t9 + 0x753b8))(pmVar5,0,unaff_s5->_mp_d,unaff_s1,unaff_s4)" (parenthesized_expression "(**(code **)(in_t9 + 0x753b8))" ( (pointer_expression "**(code **)(in_t9 + 0x753b8)" * (pointer_expression "*(code **)(in_t9 + 0x753b8)" * (cast_expression "(code **)(in_t9 + 0x753b8)" ( (type_descriptor "code **" type_identifier (abstract_pointer_declarator "**" * (abstract_pointer_declarator "*" *))) ) (parenthesized_expression "(in_t9 + 0x753b8)" ( (binary_expression "in_t9 + 0x753b8" identifier + number_literal) ))))) )) (argument_list "(pmVar5,0,unaff_s5->_mp_d,unaff_s1,unaff_s4)" ( identifier , number_literal , (field_expression "unaff_s5->_mp_d" identifier -> field_identifier) , identifier , identifier )))) ;) (expression_statement "pmVar4 = pmVar5 + unaff_s1 + -1;" (assignment_expression "pmVar4 = pmVar5 + unaff_s1 + -1" identifier = (binary_expression "pmVar5 + unaff_s1 + -1" (binary_expression "pmVar5 + unaff_s1" identifier + identifier) + number_literal)) ;) (if_statement "if (uVar1 == 0) {\n    uVar2 = (uint)(*pmVar4 == 0);\n    if (unaff_s2 < 0) {\n      iVar6 = uVar2 - unaff_s1;\n      goto LAB_00027f94;\n    }\n  }\n  else {\n    if (unaff_s2 < 0) {\n      do {\n        mVar3 = *pmVar5;\n        *pmVar5 = mVar3 + 1;\n        pmVar5 = pmVar5 + 1;\n      } while (mVar3 + 1 == 0);\n      uVar1 = unaff_s4 - uVar1;\n      iVar6 = (uint)(*pmVar4 == 0) - unaff_s1;\n      goto LAB_00027f94;\n    }\n    uVar2 = (uint)(*pmVar4 == 0);\n  }" if (parenthesized_expression "(uVar1 == 0)" ( (binary_expression "uVar1 == 0" identifier == number_literal) )) (compound_statement "{\n    uVar2 = (uint)(*pmVar4 == 0);\n    if (unaff_s2 < 0) {\n      iVar6 = uVar2 - unaff_s1;\n      goto LAB_00027f94;\n    }\n  }" { (expression_statement "uVar2 = (uint)(*pmVar4 == 0);" (assignment_expression "uVar2 = (uint)(*pmVar4 == 0)" identifier = (call_expression "(uint)(*pmVar4 == 0)" (parenthesized_expression "(uint)" ( identifier )) (argument_list "(*pmVar4 == 0)" ( (binary_expression "*pmVar4 == 0" (pointer_expression "*pmVar4" * identifier) == number_literal) )))) ;) (if_statement "if (unaff_s2 < 0) {\n      iVar6 = uVar2 - unaff_s1;\n      goto LAB_00027f94;\n    }" if (parenthesized_expression "(unaff_s2 < 0)" ( (binary_expression "unaff_s2 < 0" identifier < number_literal) )) (compound_statement "{\n      iVar6 = uVar2 - unaff_s1;\n      goto LAB_00027f94;\n    }" { (expression_statement "iVar6 = uVar2 - unaff_s1;" (assignment_expression "iVar6 = uVar2 - unaff_s1" identifier = (binary_expression "uVar2 - unaff_s1" identifier - identifier)) ;) (goto_statement "goto LAB_00027f94;" goto statement_identifier ;) })) }) (else_clause "else {\n    if (unaff_s2 < 0) {\n      do {\n        mVar3 = *pmVar5;\n        *pmVar5 = mVar3 + 1;\n        pmVar5 = pmVar5 + 1;\n      } while (mVar3 + 1 == 0);\n      uVar1 = unaff_s4 - uVar1;\n      iVar6 = (uint)(*pmVar4 == 0) - unaff_s1;\n      goto LAB_00027f94;\n    }\n    uVar2 = (uint)(*pmVar4 == 0);\n  }" else (compound_statement "{\n    if (unaff_s2 < 0) {\n      do {\n        mVar3 = *pmVar5;\n        *pmVar5 = mVar3 + 1;\n        pmVar5 = pmVar5 + 1;\n      } while (mVar3 + 1 == 0);\n      uVar1 = unaff_s4 - uVar1;\n      iVar6 = (uint)(*pmVar4 == 0) - unaff_s1;\n      goto LAB_00027f94;\n    }\n    uVar2 = (uint)(*pmVar4 == 0);\n  }" { (if_statement "if (unaff_s2 < 0) {\n      do {\n        mVar3 = *pmVar5;\n        *pmVar5 = mVar3 + 1;\n        pmVar5 = pmVar5 + 1;\n      } while (mVar3 + 1 == 0);\n      uVar1 = unaff_s4 - uVar1;\n      iVar6 = (uint)(*pmVar4 == 0) - unaff_s1;\n      goto LAB_00027f94;\n    }" if (parenthesized_expression "(unaff_s2 < 0)" ( (binary_expression "unaff_s2 < 0" identifier < number_literal) )) (compound_statement "{\n      do {\n        mVar3 = *pmVar5;\n        *pmVar5 = mVar3 + 1;\n        pmVar5 = pmVar5 + 1;\n      } while (mVar3 + 1 == 0);\n      uVar1 = unaff_s4 - uVar1;\n      iVar6 = (uint)(*pmVar4 == 0) - unaff_s1;\n      goto LAB_00027f94;\n    }" { (do_statement "do {\n        mVar3 = *pmVar5;\n        *pmVar5 = mVar3 + 1;\n        pmVar5 = pmVar5 + 1;\n      } while (mVar3 + 1 == 0);" do (compound_statement "{\n        mVar3 = *pmVar5;\n        *pmVar5 = mVar3 + 1;\n        pmVar5 = pmVar5 + 1;\n      }" { (expression_statement "mVar3 = *pmVar5;" (assignment_expression "mVar3 = *pmVar5" identifier = (pointer_expression "*pmVar5" * identifier)) ;) (expression_statement "*pmVar5 = mVar3 + 1;" (assignment_expression "*pmVar5 = mVar3 + 1" (pointer_expression "*pmVar5" * identifier) = (binary_expression "mVar3 + 1" identifier + number_literal)) ;) (expression_statement "pmVar5 = pmVar5 + 1;" (assignment_expression "pmVar5 = pmVar5 + 1" identifier = (binary_expression "pmVar5 + 1" identifier + number_literal)) ;) }) while (parenthesized_expression "(mVar3 + 1 == 0)" ( (binary_expression "mVar3 + 1 == 0" (binary_expression "mVar3 + 1" identifier + number_literal) == number_literal) )) ;) (expression_statement "uVar1 = unaff_s4 - uVar1;" (assignment_expression "uVar1 = unaff_s4 - uVar1" identifier = (binary_expression "unaff_s4 - uVar1" identifier - identifier)) ;) (expression_statement "iVar6 = (uint)(*pmVar4 == 0) - unaff_s1;" (assignment_expression "iVar6 = (uint)(*pmVar4 == 0) - unaff_s1" identifier = (binary_expression "(uint)(*pmVar4 == 0) - unaff_s1" (call_expression "(uint)(*pmVar4 == 0)" (parenthesized_expression "(uint)" ( identifier )) (argument_list "(*pmVar4 == 0)" ( (binary_expression "*pmVar4 == 0" (pointer_expression "*pmVar4" * identifier) == number_literal) ))) - identifier)) ;) (goto_statement "goto LAB_00027f94;" goto statement_identifier ;) })) (expression_statement "uVar2 = (uint)(*pmVar4 == 0);" (assignment_expression "uVar2 = (uint)(*pmVar4 == 0)" identifier = (call_expression "(uint)(*pmVar4 == 0)" (parenthesized_expression "(uint)" ( identifier )) (argument_list "(*pmVar4 == 0)" ( (binary_expression "*pmVar4 == 0" (pointer_expression "*pmVar4" * identifier) == number_literal) )))) ;) }))) (expression_statement "iVar6 = unaff_s1 - uVar2;" (assignment_expression "iVar6 = unaff_s1 - uVar2" identifier = (binary_expression "unaff_s1 - uVar2" identifier - identifier)) ;) (labeled_statement "LAB_00027f94:\n  unaff_s3->_mp_size = iVar6;" statement_identifier : (expression_statement "unaff_s3->_mp_size = iVar6;" (assignment_expression "unaff_s3->_mp_size = iVar6" (field_expression "unaff_s3->_mp_size" identifier -> field_identifier) = identifier) ;)) (return_statement "return uVar1;" return identifier ;) })))
(translation_unit "int __gmpz_fdiv_q_ui(int *param_1,int param_2,int param_3)\n\n{\n  int iVar1;\n  uint uVar2;\n  int *piVar3;\n  int *piVar4;\n  int unaff_s1;\n  int iVar5;\n  int unaff_s2;\n  int *unaff_s3;\n  int unaff_s4;\n  int unaff_s5;\n  code *pcVar6;\n  \n  if (param_3 == 0) {\n    pcVar6 = (code *)PTR___gmp_divide_by_zero_0009d5e0;\n    (*(code *)PTR___gmp_divide_by_zero_0009d5e0)();\nLAB_0002803c:\n    piVar4 = (int *)(*pcVar6)(unaff_s3,unaff_s1);\n  }\n  else {\n    unaff_s2 = *(int *)(param_2 + 4);\n    if (unaff_s2 == 0) {\n      param_1[1] = 0;\n      return 0;\n    }\n    unaff_s1 = unaff_s2;\n    if (unaff_s2 < 0) {\n      unaff_s1 = -unaff_s2;\n    }\n    unaff_s3 = param_1;\n    unaff_s4 = param_3;\n    unaff_s5 = param_2;\n    pcVar6 = (code *)PTR___gmpz_realloc_0009d5c0;\n    if (*param_1 < unaff_s1) goto LAB_0002803c;\n    piVar4 = (int *)param_1[2];\n  }\n  iVar1 = (*(code *)PTR___gmpn_divrem_1_0009d2a8)\n                    (piVar4,0,*(undefined4 *)(unaff_s5 + 8),unaff_s1,unaff_s4);\n  piVar3 = piVar4 + unaff_s1 + -1;\n  if (iVar1 == 0) {\n    uVar2 = (uint)(*piVar3 == 0);\n    if (unaff_s2 < 0) {\n      iVar5 = uVar2 - unaff_s1;\n      goto LAB_00027f94;\n    }\n  }\n  else {\n    if (unaff_s2 < 0) {\n      do {\n        iVar5 = *piVar4;\n        *piVar4 = iVar5 + 1;\n        piVar4 = piVar4 + 1;\n      } while (iVar5 + 1 == 0);\n      iVar1 = unaff_s4 - iVar1;\n      iVar5 = (uint)(*piVar3 == 0) - unaff_s1;\n      goto LAB_00027f94;\n    }\n    uVar2 = (uint)(*piVar3 == 0);\n  }\n  iVar5 = unaff_s1 - uVar2;\nLAB_00027f94:\n  unaff_s3[1] = iVar5;\n  return iVar1;\n}\n\n" (function_definition "int __gmpz_fdiv_q_ui(int *param_1,int param_2,int param_3)\n\n{\n  int iVar1;\n  uint uVar2;\n  int *piVar3;\n  int *piVar4;\n  int unaff_s1;\n  int iVar5;\n  int unaff_s2;\n  int *unaff_s3;\n  int unaff_s4;\n  int unaff_s5;\n  code *pcVar6;\n  \n  if (param_3 == 0) {\n    pcVar6 = (code *)PTR___gmp_divide_by_zero_0009d5e0;\n    (*(code *)PTR___gmp_divide_by_zero_0009d5e0)();\nLAB_0002803c:\n    piVar4 = (int *)(*pcVar6)(unaff_s3,unaff_s1);\n  }\n  else {\n    unaff_s2 = *(int *)(param_2 + 4);\n    if (unaff_s2 == 0) {\n      param_1[1] = 0;\n      return 0;\n    }\n    unaff_s1 = unaff_s2;\n    if (unaff_s2 < 0) {\n      unaff_s1 = -unaff_s2;\n    }\n    unaff_s3 = param_1;\n    unaff_s4 = param_3;\n    unaff_s5 = param_2;\n    pcVar6 = (code *)PTR___gmpz_realloc_0009d5c0;\n    if (*param_1 < unaff_s1) goto LAB_0002803c;\n    piVar4 = (int *)param_1[2];\n  }\n  iVar1 = (*(code *)PTR___gmpn_divrem_1_0009d2a8)\n                    (piVar4,0,*(undefined4 *)(unaff_s5 + 8),unaff_s1,unaff_s4);\n  piVar3 = piVar4 + unaff_s1 + -1;\n  if (iVar1 == 0) {\n    uVar2 = (uint)(*piVar3 == 0);\n    if (unaff_s2 < 0) {\n      iVar5 = uVar2 - unaff_s1;\n      goto LAB_00027f94;\n    }\n  }\n  else {\n    if (unaff_s2 < 0) {\n      do {\n        iVar5 = *piVar4;\n        *piVar4 = iVar5 + 1;\n        piVar4 = piVar4 + 1;\n      } while (iVar5 + 1 == 0);\n      iVar1 = unaff_s4 - iVar1;\n      iVar5 = (uint)(*piVar3 == 0) - unaff_s1;\n      goto LAB_00027f94;\n    }\n    uVar2 = (uint)(*piVar3 == 0);\n  }\n  iVar5 = unaff_s1 - uVar2;\nLAB_00027f94:\n  unaff_s3[1] = iVar5;\n  return iVar1;\n}" primitive_type (function_declarator "__gmpz_fdiv_q_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  int iVar1;\n  uint uVar2;\n  int *piVar3;\n  int *piVar4;\n  int unaff_s1;\n  int iVar5;\n  int unaff_s2;\n  int *unaff_s3;\n  int unaff_s4;\n  int unaff_s5;\n  code *pcVar6;\n  \n  if (param_3 == 0) {\n    pcVar6 = (code *)PTR___gmp_divide_by_zero_0009d5e0;\n    (*(code *)PTR___gmp_divide_by_zero_0009d5e0)();\nLAB_0002803c:\n    piVar4 = (int *)(*pcVar6)(unaff_s3,unaff_s1);\n  }\n  else {\n    unaff_s2 = *(int *)(param_2 + 4);\n    if (unaff_s2 == 0) {\n      param_1[1] = 0;\n      return 0;\n    }\n    unaff_s1 = unaff_s2;\n    if (unaff_s2 < 0) {\n      unaff_s1 = -unaff_s2;\n    }\n    unaff_s3 = param_1;\n    unaff_s4 = param_3;\n    unaff_s5 = param_2;\n    pcVar6 = (code *)PTR___gmpz_realloc_0009d5c0;\n    if (*param_1 < unaff_s1) goto LAB_0002803c;\n    piVar4 = (int *)param_1[2];\n  }\n  iVar1 = (*(code *)PTR___gmpn_divrem_1_0009d2a8)\n                    (piVar4,0,*(undefined4 *)(unaff_s5 + 8),unaff_s1,unaff_s4);\n  piVar3 = piVar4 + unaff_s1 + -1;\n  if (iVar1 == 0) {\n    uVar2 = (uint)(*piVar3 == 0);\n    if (unaff_s2 < 0) {\n      iVar5 = uVar2 - unaff_s1;\n      goto LAB_00027f94;\n    }\n  }\n  else {\n    if (unaff_s2 < 0) {\n      do {\n        iVar5 = *piVar4;\n        *piVar4 = iVar5 + 1;\n        piVar4 = piVar4 + 1;\n      } while (iVar5 + 1 == 0);\n      iVar1 = unaff_s4 - iVar1;\n      iVar5 = (uint)(*piVar3 == 0) - unaff_s1;\n      goto LAB_00027f94;\n    }\n    uVar2 = (uint)(*piVar3 == 0);\n  }\n  iVar5 = unaff_s1 - uVar2;\nLAB_00027f94:\n  unaff_s3[1] = iVar5;\n  return iVar1;\n}" { (declaration "int iVar1;" primitive_type identifier ;) (declaration "uint uVar2;" type_identifier identifier ;) (declaration "int *piVar3;" primitive_type (pointer_declarator "*piVar3" * identifier) ;) (declaration "int *piVar4;" primitive_type (pointer_declarator "*piVar4" * identifier) ;) (declaration "int unaff_s1;" primitive_type identifier ;) (declaration "int iVar5;" primitive_type identifier ;) (declaration "int unaff_s2;" primitive_type identifier ;) (declaration "int *unaff_s3;" primitive_type (pointer_declarator "*unaff_s3" * identifier) ;) (declaration "int unaff_s4;" primitive_type identifier ;) (declaration "int unaff_s5;" primitive_type identifier ;) (declaration "code *pcVar6;" type_identifier (pointer_declarator "*pcVar6" * identifier) ;) (if_statement "if (param_3 == 0) {\n    pcVar6 = (code *)PTR___gmp_divide_by_zero_0009d5e0;\n    (*(code *)PTR___gmp_divide_by_zero_0009d5e0)();\nLAB_0002803c:\n    piVar4 = (int *)(*pcVar6)(unaff_s3,unaff_s1);\n  }\n  else {\n    unaff_s2 = *(int *)(param_2 + 4);\n    if (unaff_s2 == 0) {\n      param_1[1] = 0;\n      return 0;\n    }\n    unaff_s1 = unaff_s2;\n    if (unaff_s2 < 0) {\n      unaff_s1 = -unaff_s2;\n    }\n    unaff_s3 = param_1;\n    unaff_s4 = param_3;\n    unaff_s5 = param_2;\n    pcVar6 = (code *)PTR___gmpz_realloc_0009d5c0;\n    if (*param_1 < unaff_s1) goto LAB_0002803c;\n    piVar4 = (int *)param_1[2];\n  }" if (parenthesized_expression "(param_3 == 0)" ( (binary_expression "param_3 == 0" identifier == number_literal) )) (compound_statement "{\n    pcVar6 = (code *)PTR___gmp_divide_by_zero_0009d5e0;\n    (*(code *)PTR___gmp_divide_by_zero_0009d5e0)();\nLAB_0002803c:\n    piVar4 = (int *)(*pcVar6)(unaff_s3,unaff_s1);\n  }" { (expression_statement "pcVar6 = (code *)PTR___gmp_divide_by_zero_0009d5e0;" (assignment_expression "pcVar6 = (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 "()" ( ))) ;) (labeled_statement "LAB_0002803c:\n    piVar4 = (int *)(*pcVar6)(unaff_s3,unaff_s1);" statement_identifier : (expression_statement "piVar4 = (int *)(*pcVar6)(unaff_s3,unaff_s1);" (assignment_expression "piVar4 = (int *)(*pcVar6)(unaff_s3,unaff_s1)" identifier = (cast_expression "(int *)(*pcVar6)(unaff_s3,unaff_s1)" ( (type_descriptor "int *" primitive_type (abstract_pointer_declarator "*" *)) ) (call_expression "(*pcVar6)(unaff_s3,unaff_s1)" (parenthesized_expression "(*pcVar6)" ( (pointer_expression "*pcVar6" * identifier) )) (argument_list "(unaff_s3,unaff_s1)" ( identifier , identifier ))))) ;)) }) (else_clause "else {\n    unaff_s2 = *(int *)(param_2 + 4);\n    if (unaff_s2 == 0) {\n      param_1[1] = 0;\n      return 0;\n    }\n    unaff_s1 = unaff_s2;\n    if (unaff_s2 < 0) {\n      unaff_s1 = -unaff_s2;\n    }\n    unaff_s3 = param_1;\n    unaff_s4 = param_3;\n    unaff_s5 = param_2;\n    pcVar6 = (code *)PTR___gmpz_realloc_0009d5c0;\n    if (*param_1 < unaff_s1) goto LAB_0002803c;\n    piVar4 = (int *)param_1[2];\n  }" else (compound_statement "{\n    unaff_s2 = *(int *)(param_2 + 4);\n    if (unaff_s2 == 0) {\n      param_1[1] = 0;\n      return 0;\n    }\n    unaff_s1 = unaff_s2;\n    if (unaff_s2 < 0) {\n      unaff_s1 = -unaff_s2;\n    }\n    unaff_s3 = param_1;\n    unaff_s4 = param_3;\n    unaff_s5 = param_2;\n    pcVar6 = (code *)PTR___gmpz_realloc_0009d5c0;\n    if (*param_1 < unaff_s1) goto LAB_0002803c;\n    piVar4 = (int *)param_1[2];\n  }" { (expression_statement "unaff_s2 = *(int *)(param_2 + 4);" (assignment_expression "unaff_s2 = *(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_s2 == 0) {\n      param_1[1] = 0;\n      return 0;\n    }" if (parenthesized_expression "(unaff_s2 == 0)" ( (binary_expression "unaff_s2 == 0" identifier == number_literal) )) (compound_statement "{\n      param_1[1] = 0;\n      return 0;\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 0;" return number_literal ;) })) (expression_statement "unaff_s1 = unaff_s2;" (assignment_expression "unaff_s1 = unaff_s2" identifier = identifier) ;) (if_statement "if (unaff_s2 < 0) {\n      unaff_s1 = -unaff_s2;\n    }" if (parenthesized_expression "(unaff_s2 < 0)" ( (binary_expression "unaff_s2 < 0" identifier < number_literal) )) (compound_statement "{\n      unaff_s1 = -unaff_s2;\n    }" { (expression_statement "unaff_s1 = -unaff_s2;" (assignment_expression "unaff_s1 = -unaff_s2" identifier = (unary_expression "-unaff_s2" - identifier)) ;) })) (expression_statement "unaff_s3 = param_1;" (assignment_expression "unaff_s3 = param_1" identifier = identifier) ;) (expression_statement "unaff_s4 = param_3;" (assignment_expression "unaff_s4 = param_3" identifier = identifier) ;) (expression_statement "unaff_s5 = param_2;" (assignment_expression "unaff_s5 = param_2" identifier = identifier) ;) (expression_statement "pcVar6 = (code *)PTR___gmpz_realloc_0009d5c0;" (assignment_expression "pcVar6 = (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 (*param_1 < unaff_s1) goto LAB_0002803c;" if (parenthesized_expression "(*param_1 < unaff_s1)" ( (binary_expression "*param_1 < unaff_s1" (pointer_expression "*param_1" * identifier) < identifier) )) (goto_statement "goto LAB_0002803c;" goto statement_identifier ;)) (expression_statement "piVar4 = (int *)param_1[2];" (assignment_expression "piVar4 = (int *)param_1[2]" identifier = (cast_expression "(int *)param_1[2]" ( (type_descriptor "int *" primitive_type (abstract_pointer_declarator "*" *)) ) (subscript_expression "param_1[2]" identifier [ number_literal ]))) ;) }))) (expression_statement "iVar1 = (*(code *)PTR___gmpn_divrem_1_0009d2a8)\n                    (piVar4,0,*(undefined4 *)(unaff_s5 + 8),unaff_s1,unaff_s4);" (assignment_expression "iVar1 = (*(code *)PTR___gmpn_divrem_1_0009d2a8)\n                    (piVar4,0,*(undefined4 *)(unaff_s5 + 8),unaff_s1,unaff_s4)" identifier = (call_expression "(*(code *)PTR___gmpn_divrem_1_0009d2a8)\n                    (piVar4,0,*(undefined4 *)(unaff_s5 + 8),unaff_s1,unaff_s4)" (parenthesized_expression "(*(code *)PTR___gmpn_divrem_1_0009d2a8)" ( (pointer_expression "*(code *)PTR___gmpn_divrem_1_0009d2a8" * (cast_expression "(code *)PTR___gmpn_divrem_1_0009d2a8" ( (type_descriptor "code *" type_identifier (abstract_pointer_declarator "*" *)) ) identifier)) )) (argument_list "(piVar4,0,*(undefined4 *)(unaff_s5 + 8),unaff_s1,unaff_s4)" ( identifier , number_literal , (pointer_expression "*(undefined4 *)(unaff_s5 + 8)" * (cast_expression "(undefined4 *)(unaff_s5 + 8)" ( (type_descriptor "undefined4 *" type_identifier (abstract_pointer_declarator "*" *)) ) (parenthesized_expression "(unaff_s5 + 8)" ( (binary_expression "unaff_s5 + 8" identifier + number_literal) )))) , identifier , identifier )))) ;) (expression_statement "piVar3 = piVar4 + unaff_s1 + -1;" (assignment_expression "piVar3 = piVar4 + unaff_s1 + -1" identifier = (binary_expression "piVar4 + unaff_s1 + -1" (binary_expression "piVar4 + unaff_s1" identifier + identifier) + number_literal)) ;) (if_statement "if (iVar1 == 0) {\n    uVar2 = (uint)(*piVar3 == 0);\n    if (unaff_s2 < 0) {\n      iVar5 = uVar2 - unaff_s1;\n      goto LAB_00027f94;\n    }\n  }\n  else {\n    if (unaff_s2 < 0) {\n      do {\n        iVar5 = *piVar4;\n        *piVar4 = iVar5 + 1;\n        piVar4 = piVar4 + 1;\n      } while (iVar5 + 1 == 0);\n      iVar1 = unaff_s4 - iVar1;\n      iVar5 = (uint)(*piVar3 == 0) - unaff_s1;\n      goto LAB_00027f94;\n    }\n    uVar2 = (uint)(*piVar3 == 0);\n  }" if (parenthesized_expression "(iVar1 == 0)" ( (binary_expression "iVar1 == 0" identifier == number_literal) )) (compound_statement "{\n    uVar2 = (uint)(*piVar3 == 0);\n    if (unaff_s2 < 0) {\n      iVar5 = uVar2 - unaff_s1;\n      goto LAB_00027f94;\n    }\n  }" { (expression_statement "uVar2 = (uint)(*piVar3 == 0);" (assignment_expression "uVar2 = (uint)(*piVar3 == 0)" identifier = (call_expression "(uint)(*piVar3 == 0)" (parenthesized_expression "(uint)" ( identifier )) (argument_list "(*piVar3 == 0)" ( (binary_expression "*piVar3 == 0" (pointer_expression "*piVar3" * identifier) == number_literal) )))) ;) (if_statement "if (unaff_s2 < 0) {\n      iVar5 = uVar2 - unaff_s1;\n      goto LAB_00027f94;\n    }" if (parenthesized_expression "(unaff_s2 < 0)" ( (binary_expression "unaff_s2 < 0" identifier < number_literal) )) (compound_statement "{\n      iVar5 = uVar2 - unaff_s1;\n      goto LAB_00027f94;\n    }" { (expression_statement "iVar5 = uVar2 - unaff_s1;" (assignment_expression "iVar5 = uVar2 - unaff_s1" identifier = (binary_expression "uVar2 - unaff_s1" identifier - identifier)) ;) (goto_statement "goto LAB_00027f94;" goto statement_identifier ;) })) }) (else_clause "else {\n    if (unaff_s2 < 0) {\n      do {\n        iVar5 = *piVar4;\n        *piVar4 = iVar5 + 1;\n        piVar4 = piVar4 + 1;\n      } while (iVar5 + 1 == 0);\n      iVar1 = unaff_s4 - iVar1;\n      iVar5 = (uint)(*piVar3 == 0) - unaff_s1;\n      goto LAB_00027f94;\n    }\n    uVar2 = (uint)(*piVar3 == 0);\n  }" else (compound_statement "{\n    if (unaff_s2 < 0) {\n      do {\n        iVar5 = *piVar4;\n        *piVar4 = iVar5 + 1;\n        piVar4 = piVar4 + 1;\n      } while (iVar5 + 1 == 0);\n      iVar1 = unaff_s4 - iVar1;\n      iVar5 = (uint)(*piVar3 == 0) - unaff_s1;\n      goto LAB_00027f94;\n    }\n    uVar2 = (uint)(*piVar3 == 0);\n  }" { (if_statement "if (unaff_s2 < 0) {\n      do {\n        iVar5 = *piVar4;\n        *piVar4 = iVar5 + 1;\n        piVar4 = piVar4 + 1;\n      } while (iVar5 + 1 == 0);\n      iVar1 = unaff_s4 - iVar1;\n      iVar5 = (uint)(*piVar3 == 0) - unaff_s1;\n      goto LAB_00027f94;\n    }" if (parenthesized_expression "(unaff_s2 < 0)" ( (binary_expression "unaff_s2 < 0" identifier < number_literal) )) (compound_statement "{\n      do {\n        iVar5 = *piVar4;\n        *piVar4 = iVar5 + 1;\n        piVar4 = piVar4 + 1;\n      } while (iVar5 + 1 == 0);\n      iVar1 = unaff_s4 - iVar1;\n      iVar5 = (uint)(*piVar3 == 0) - unaff_s1;\n      goto LAB_00027f94;\n    }" { (do_statement "do {\n        iVar5 = *piVar4;\n        *piVar4 = iVar5 + 1;\n        piVar4 = piVar4 + 1;\n      } while (iVar5 + 1 == 0);" do (compound_statement "{\n        iVar5 = *piVar4;\n        *piVar4 = iVar5 + 1;\n        piVar4 = piVar4 + 1;\n      }" { (expression_statement "iVar5 = *piVar4;" (assignment_expression "iVar5 = *piVar4" identifier = (pointer_expression "*piVar4" * identifier)) ;) (expression_statement "*piVar4 = iVar5 + 1;" (assignment_expression "*piVar4 = iVar5 + 1" (pointer_expression "*piVar4" * identifier) = (binary_expression "iVar5 + 1" identifier + number_literal)) ;) (expression_statement "piVar4 = piVar4 + 1;" (assignment_expression "piVar4 = piVar4 + 1" identifier = (binary_expression "piVar4 + 1" identifier + number_literal)) ;) }) while (parenthesized_expression "(iVar5 + 1 == 0)" ( (binary_expression "iVar5 + 1 == 0" (binary_expression "iVar5 + 1" identifier + number_literal) == number_literal) )) ;) (expression_statement "iVar1 = unaff_s4 - iVar1;" (assignment_expression "iVar1 = unaff_s4 - iVar1" identifier = (binary_expression "unaff_s4 - iVar1" identifier - identifier)) ;) (expression_statement "iVar5 = (uint)(*piVar3 == 0) - unaff_s1;" (assignment_expression "iVar5 = (uint)(*piVar3 == 0) - unaff_s1" identifier = (binary_expression "(uint)(*piVar3 == 0) - unaff_s1" (call_expression "(uint)(*piVar3 == 0)" (parenthesized_expression "(uint)" ( identifier )) (argument_list "(*piVar3 == 0)" ( (binary_expression "*piVar3 == 0" (pointer_expression "*piVar3" * identifier) == number_literal) ))) - identifier)) ;) (goto_statement "goto LAB_00027f94;" goto statement_identifier ;) })) (expression_statement "uVar2 = (uint)(*piVar3 == 0);" (assignment_expression "uVar2 = (uint)(*piVar3 == 0)" identifier = (call_expression "(uint)(*piVar3 == 0)" (parenthesized_expression "(uint)" ( identifier )) (argument_list "(*piVar3 == 0)" ( (binary_expression "*piVar3 == 0" (pointer_expression "*piVar3" * identifier) == number_literal) )))) ;) }))) (expression_statement "iVar5 = unaff_s1 - uVar2;" (assignment_expression "iVar5 = unaff_s1 - uVar2" identifier = (binary_expression "unaff_s1 - uVar2" identifier - identifier)) ;) (labeled_statement "LAB_00027f94:\n  unaff_s3[1] = iVar5;" statement_identifier : (expression_statement "unaff_s3[1] = iVar5;" (assignment_expression "unaff_s3[1] = iVar5" (subscript_expression "unaff_s3[1]" identifier [ number_literal ]) = identifier) ;)) (return_statement "return iVar1;" return identifier ;) })))
(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 (pointer_declarator * IDENT) ;) (declaration TYPE (pointer_declarator * IDENT) ;) (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 ( ))) ;) (labeled_statement statement_identifier : (expression_statement (assignment_expression IDENT = (cast_expression ( (type_descriptor TYPE (abstract_pointer_declarator *)) ) (call_expression (parenthesized_expression ( (pointer_expression * IDENT) )) (argument_list ( IDENT , IDENT ))))) ;)) }) (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 LIT ;) })) (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 = IDENT) ;) (expression_statement (assignment_expression IDENT = (cast_expression ( (type_descriptor TYPE (abstract_pointer_declarator *)) ) IDENT)) ;) (if_statement if (parenthesized_expression ( (binary_expression (pointer_expression * IDENT) < IDENT) )) (goto_statement goto statement_identifier ;)) (expression_statement (assignment_expression IDENT = (cast_expression ( (type_descriptor TYPE (abstract_pointer_declarator *)) ) (subscript_expression IDENT [ LIT ]))) ;) }))) (expression_statement (assignment_expression IDENT = (call_expression (parenthesized_expression ( (pointer_expression * (cast_expression ( (type_descriptor TYPE (abstract_pointer_declarator *)) ) IDENT)) )) (argument_list ( IDENT , LIT , (pointer_expression * (cast_expression ( (type_descriptor TYPE (abstract_pointer_declarator *)) ) (parenthesized_expression ( (binary_expression IDENT + LIT) )))) , IDENT , IDENT )))) ;) (expression_statement (assignment_expression IDENT = (binary_expression (binary_expression IDENT + IDENT) + LIT)) ;) (if_statement if (parenthesized_expression ( (binary_expression IDENT == LIT) )) (compound_statement { (expression_statement (assignment_expression IDENT = (call_expression (parenthesized_expression ( IDENT )) (argument_list ( (binary_expression (pointer_expression * IDENT) == LIT) )))) ;) (if_statement if (parenthesized_expression ( (binary_expression IDENT < LIT) )) (compound_statement { (expression_statement (assignment_expression IDENT = (binary_expression IDENT - IDENT)) ;) (goto_statement goto statement_identifier ;) })) }) (else_clause else (compound_statement { (if_statement if (parenthesized_expression ( (binary_expression IDENT < LIT) )) (compound_statement { (do_statement do (compound_statement { (expression_statement (assignment_expression IDENT = (pointer_expression * IDENT)) ;) (expression_statement (assignment_expression (pointer_expression * IDENT) = (binary_expression IDENT + LIT)) ;) (expression_statement (assignment_expression IDENT = (binary_expression IDENT + LIT)) ;) }) while (parenthesized_expression ( (binary_expression (binary_expression IDENT + LIT) == LIT) )) ;) (expression_statement (assignment_expression IDENT = (binary_expression IDENT - IDENT)) ;) (expression_statement (assignment_expression IDENT = (binary_expression (call_expression (parenthesized_expression ( IDENT )) (argument_list ( (binary_expression (pointer_expression * IDENT) == LIT) ))) - IDENT)) ;) (goto_statement goto statement_identifier ;) })) (expression_statement (assignment_expression IDENT = (call_expression (parenthesized_expression ( IDENT )) (argument_list ( (binary_expression (pointer_expression * IDENT) == LIT) )))) ;) }))) (expression_statement (assignment_expression IDENT = (binary_expression IDENT - IDENT)) ;) (labeled_statement statement_identifier : (expression_statement (assignment_expression (subscript_expression IDENT [ LIT ]) = IDENT) ;)) (return_statement return IDENT ;) })))
(function_definition "int __gmpz_fdiv_q_ui(int *param_1,int param_2,int param_3)\n\n{\n  int iVar1;\n  uint uVar2;\n  int *piVar3;\n  int *piVar4;\n  int unaff_s1;\n  int iVar5;\n  int unaff_s2;\n  int *unaff_s3;\n  int unaff_s4;\n  int unaff_s5;\n  code *pcVar6;\n  \n  if (param_3 == 0) {\n    pcVar6 = (code *)PTR___gmp_divide_by_zero_0009d5e0;\n    (*(code *)PTR___gmp_divide_by_zero_0009d5e0)();\nLAB_0002803c:\n    piVar4 = (int *)(*pcVar6)(unaff_s3,unaff_s1);\n  }\n  else {\n    unaff_s2 = *(int *)(param_2 + 4);\n    if (unaff_s2 == 0) {\n      param_1[1] = 0;\n      return 0;\n    }\n    unaff_s1 = unaff_s2;\n    if (unaff_s2 < 0) {\n      unaff_s1 = -unaff_s2;\n    }\n    unaff_s3 = param_1;\n    unaff_s4 = param_3;\n    unaff_s5 = param_2;\n    pcVar6 = (code *)PTR___gmpz_realloc_0009d5c0;\n    if (*param_1 < unaff_s1) goto LAB_0002803c;\n    piVar4 = (int *)param_1[2];\n  }\n  iVar1 = (*(code *)PTR___gmpn_divrem_1_0009d2a8)\n                    (piVar4,0,*(undefined4 *)(unaff_s5 + 8),unaff_s1,unaff_s4);\n  piVar3 = piVar4 + unaff_s1 + -1;\n  if (iVar1 == 0) {\n    uVar2 = (uint)(*piVar3 == 0);\n    if (unaff_s2 < 0) {\n      iVar5 = uVar2 - unaff_s1;\n      goto LAB_00027f94;\n    }\n  }\n  else {\n    if (unaff_s2 < 0) {\n      do {\n        iVar5 = *piVar4;\n        *piVar4 = iVar5 + 1;\n        piVar4 = piVar4 + 1;\n      } while (iVar5 + 1 == 0);\n      iVar1 = unaff_s4 - iVar1;\n      iVar5 = (uint)(*piVar3 == 0) - unaff_s1;\n      goto LAB_00027f94;\n    }\n    uVar2 = (uint)(*piVar3 == 0);\n  }\n  iVar5 = unaff_s1 - uVar2;\nLAB_00027f94:\n  unaff_s3[1] = iVar5;\n  return iVar1;\n}" (primitive_type "int") (function_declarator "__gmpz_fdiv_q_ui(int *param_1,int param_2,int param_3)" (identifier "__gmpz_fdiv_q_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  int iVar1;\n  uint uVar2;\n  int *piVar3;\n  int *piVar4;\n  int unaff_s1;\n  int iVar5;\n  int unaff_s2;\n  int *unaff_s3;\n  int unaff_s4;\n  int unaff_s5;\n  code *pcVar6;\n  \n  if (param_3 == 0) {\n    pcVar6 = (code *)PTR___gmp_divide_by_zero_0009d5e0;\n    (*(code *)PTR___gmp_divide_by_zero_0009d5e0)();\nLAB_0002803c:\n    piVar4 = (int *)(*pcVar6)(unaff_s3,unaff_s1);\n  }\n  else {\n    unaff_s2 = *(int *)(param_2 + 4);\n    if (unaff_s2 == 0) {\n      param_1[1] = 0;\n      return 0;\n    }\n    unaff_s1 = unaff_s2;\n    if (unaff_s2 < 0) {\n      unaff_s1 = -unaff_s2;\n    }\n    unaff_s3 = param_1;\n    unaff_s4 = param_3;\n    unaff_s5 = param_2;\n    pcVar6 = (code *)PTR___gmpz_realloc_0009d5c0;\n    if (*param_1 < unaff_s1) goto LAB_0002803c;\n    piVar4 = (int *)param_1[2];\n  }\n  iVar1 = (*(code *)PTR___gmpn_divrem_1_0009d2a8)\n                    (piVar4,0,*(undefined4 *)(unaff_s5 + 8),unaff_s1,unaff_s4);\n  piVar3 = piVar4 + unaff_s1 + -1;\n  if (iVar1 == 0) {\n    uVar2 = (uint)(*piVar3 == 0);\n    if (unaff_s2 < 0) {\n      iVar5 = uVar2 - unaff_s1;\n      goto LAB_00027f94;\n    }\n  }\n  else {\n    if (unaff_s2 < 0) {\n      do {\n        iVar5 = *piVar4;\n        *piVar4 = iVar5 + 1;\n        piVar4 = piVar4 + 1;\n      } while (iVar5 + 1 == 0);\n      iVar1 = unaff_s4 - iVar1;\n      iVar5 = (uint)(*piVar3 == 0) - unaff_s1;\n      goto LAB_00027f94;\n    }\n    uVar2 = (uint)(*piVar3 == 0);\n  }\n  iVar5 = unaff_s1 - uVar2;\nLAB_00027f94:\n  unaff_s3[1] = iVar5;\n  return iVar1;\n}" ({ "{") (declaration "int iVar1;" (primitive_type "int") (identifier "iVar1") (; ";")) (declaration "uint uVar2;" (type_identifier "uint") (identifier "uVar2") (; ";")) (declaration "int *piVar3;" (primitive_type "int") (pointer_declarator "*piVar3" (* "*") (identifier "piVar3")) (; ";")) (declaration "int *piVar4;" (primitive_type "int") (pointer_declarator "*piVar4" (* "*") (identifier "piVar4")) (; ";")) (declaration "int unaff_s1;" (primitive_type "int") (identifier "unaff_s1") (; ";")) (declaration "int iVar5;" (primitive_type "int") (identifier "iVar5") (; ";")) (declaration "int unaff_s2;" (primitive_type "int") (identifier "unaff_s2") (; ";")) (declaration "int *unaff_s3;" (primitive_type "int") (pointer_declarator "*unaff_s3" (* "*") (identifier "unaff_s3")) (; ";")) (declaration "int unaff_s4;" (primitive_type "int") (identifier "unaff_s4") (; ";")) (declaration "int unaff_s5;" (primitive_type "int") (identifier "unaff_s5") (; ";")) (declaration "code *pcVar6;" (type_identifier "code") (pointer_declarator "*pcVar6" (* "*") (identifier "pcVar6")) (; ";")) (if_statement "if (param_3 == 0) {\n    pcVar6 = (code *)PTR___gmp_divide_by_zero_0009d5e0;\n    (*(code *)PTR___gmp_divide_by_zero_0009d5e0)();\nLAB_0002803c:\n    piVar4 = (int *)(*pcVar6)(unaff_s3,unaff_s1);\n  }\n  else {\n    unaff_s2 = *(int *)(param_2 + 4);\n    if (unaff_s2 == 0) {\n      param_1[1] = 0;\n      return 0;\n    }\n    unaff_s1 = unaff_s2;\n    if (unaff_s2 < 0) {\n      unaff_s1 = -unaff_s2;\n    }\n    unaff_s3 = param_1;\n    unaff_s4 = param_3;\n    unaff_s5 = param_2;\n    pcVar6 = (code *)PTR___gmpz_realloc_0009d5c0;\n    if (*param_1 < unaff_s1) goto LAB_0002803c;\n    piVar4 = (int *)param_1[2];\n  }" (if "if") (parenthesized_expression "(param_3 == 0)" (( "(") (binary_expression "param_3 == 0" (identifier "param_3") (== "==") (number_literal "0")) () ")")) (compound_statement "{\n    pcVar6 = (code *)PTR___gmp_divide_by_zero_0009d5e0;\n    (*(code *)PTR___gmp_divide_by_zero_0009d5e0)();\nLAB_0002803c:\n    piVar4 = (int *)(*pcVar6)(unaff_s3,unaff_s1);\n  }" ({ "{") (expression_statement "pcVar6 = (code *)PTR___gmp_divide_by_zero_0009d5e0;" (assignment_expression "pcVar6 = (code *)PTR___gmp_divide_by_zero_0009d5e0" (identifier "pcVar6") (= "=") (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 "()" (( "(") () ")"))) (; ";")) (labeled_statement "LAB_0002803c:\n    piVar4 = (int *)(*pcVar6)(unaff_s3,unaff_s1);" (statement_identifier "LAB_0002803c") (: ":") (expression_statement "piVar4 = (int *)(*pcVar6)(unaff_s3,unaff_s1);" (assignment_expression "piVar4 = (int *)(*pcVar6)(unaff_s3,unaff_s1)" (identifier "piVar4") (= "=") (cast_expression "(int *)(*pcVar6)(unaff_s3,unaff_s1)" (( "(") (type_descriptor "int *" (primitive_type "int") (abstract_pointer_declarator "*" (* "*"))) () ")") (call_expression "(*pcVar6)(unaff_s3,unaff_s1)" (parenthesized_expression "(*pcVar6)" (( "(") (pointer_expression "*pcVar6" (* "*") (identifier "pcVar6")) () ")")) (argument_list "(unaff_s3,unaff_s1)" (( "(") (identifier "unaff_s3") (, ",") (identifier "unaff_s1") () ")"))))) (; ";"))) (} "}")) (else_clause "else {\n    unaff_s2 = *(int *)(param_2 + 4);\n    if (unaff_s2 == 0) {\n      param_1[1] = 0;\n      return 0;\n    }\n    unaff_s1 = unaff_s2;\n    if (unaff_s2 < 0) {\n      unaff_s1 = -unaff_s2;\n    }\n    unaff_s3 = param_1;\n    unaff_s4 = param_3;\n    unaff_s5 = param_2;\n    pcVar6 = (code *)PTR___gmpz_realloc_0009d5c0;\n    if (*param_1 < unaff_s1) goto LAB_0002803c;\n    piVar4 = (int *)param_1[2];\n  }" (else "else") (compound_statement "{\n    unaff_s2 = *(int *)(param_2 + 4);\n    if (unaff_s2 == 0) {\n      param_1[1] = 0;\n      return 0;\n    }\n    unaff_s1 = unaff_s2;\n    if (unaff_s2 < 0) {\n      unaff_s1 = -unaff_s2;\n    }\n    unaff_s3 = param_1;\n    unaff_s4 = param_3;\n    unaff_s5 = param_2;\n    pcVar6 = (code *)PTR___gmpz_realloc_0009d5c0;\n    if (*param_1 < unaff_s1) goto LAB_0002803c;\n    piVar4 = (int *)param_1[2];\n  }" ({ "{") (expression_statement "unaff_s2 = *(int *)(param_2 + 4);" (assignment_expression "unaff_s2 = *(int *)(param_2 + 4)" (identifier "unaff_s2") (= "=") (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_s2 == 0) {\n      param_1[1] = 0;\n      return 0;\n    }" (if "if") (parenthesized_expression "(unaff_s2 == 0)" (( "(") (binary_expression "unaff_s2 == 0" (identifier "unaff_s2") (== "==") (number_literal "0")) () ")")) (compound_statement "{\n      param_1[1] = 0;\n      return 0;\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 0;" (return "return") (number_literal "0") (; ";")) (} "}"))) (expression_statement "unaff_s1 = unaff_s2;" (assignment_expression "unaff_s1 = unaff_s2" (identifier "unaff_s1") (= "=") (identifier "unaff_s2")) (; ";")) (if_statement "if (unaff_s2 < 0) {\n      unaff_s1 = -unaff_s2;\n    }" (if "if") (parenthesized_expression "(unaff_s2 < 0)" (( "(") (binary_expression "unaff_s2 < 0" (identifier "unaff_s2") (< "<") (number_literal "0")) () ")")) (compound_statement "{\n      unaff_s1 = -unaff_s2;\n    }" ({ "{") (expression_statement "unaff_s1 = -unaff_s2;" (assignment_expression "unaff_s1 = -unaff_s2" (identifier "unaff_s1") (= "=") (unary_expression "-unaff_s2" (- "-") (identifier "unaff_s2"))) (; ";")) (} "}"))) (expression_statement "unaff_s3 = param_1;" (assignment_expression "unaff_s3 = param_1" (identifier "unaff_s3") (= "=") (identifier "param_1")) (; ";")) (expression_statement "unaff_s4 = param_3;" (assignment_expression "unaff_s4 = param_3" (identifier "unaff_s4") (= "=") (identifier "param_3")) (; ";")) (expression_statement "unaff_s5 = param_2;" (assignment_expression "unaff_s5 = param_2" (identifier "unaff_s5") (= "=") (identifier "param_2")) (; ";")) (expression_statement "pcVar6 = (code *)PTR___gmpz_realloc_0009d5c0;" (assignment_expression "pcVar6 = (code *)PTR___gmpz_realloc_0009d5c0" (identifier "pcVar6") (= "=") (cast_expression "(code *)PTR___gmpz_realloc_0009d5c0" (( "(") (type_descriptor "code *" (type_identifier "code") (abstract_pointer_declarator "*" (* "*"))) () ")") (identifier "PTR___gmpz_realloc_0009d5c0"))) (; ";")) (if_statement "if (*param_1 < unaff_s1) goto LAB_0002803c;" (if "if") (parenthesized_expression "(*param_1 < unaff_s1)" (( "(") (binary_expression "*param_1 < unaff_s1" (pointer_expression "*param_1" (* "*") (identifier "param_1")) (< "<") (identifier "unaff_s1")) () ")")) (goto_statement "goto LAB_0002803c;" (goto "goto") (statement_identifier "LAB_0002803c") (; ";"))) (expression_statement "piVar4 = (int *)param_1[2];" (assignment_expression "piVar4 = (int *)param_1[2]" (identifier "piVar4") (= "=") (cast_expression "(int *)param_1[2]" (( "(") (type_descriptor "int *" (primitive_type "int") (abstract_pointer_declarator "*" (* "*"))) () ")") (subscript_expression "param_1[2]" (identifier "param_1") ([ "[") (number_literal "2") (] "]")))) (; ";")) (} "}")))) (expression_statement "iVar1 = (*(code *)PTR___gmpn_divrem_1_0009d2a8)\n                    (piVar4,0,*(undefined4 *)(unaff_s5 + 8),unaff_s1,unaff_s4);" (assignment_expression "iVar1 = (*(code *)PTR___gmpn_divrem_1_0009d2a8)\n                    (piVar4,0,*(undefined4 *)(unaff_s5 + 8),unaff_s1,unaff_s4)" (identifier "iVar1") (= "=") (call_expression "(*(code *)PTR___gmpn_divrem_1_0009d2a8)\n                    (piVar4,0,*(undefined4 *)(unaff_s5 + 8),unaff_s1,unaff_s4)" (parenthesized_expression "(*(code *)PTR___gmpn_divrem_1_0009d2a8)" (( "(") (pointer_expression "*(code *)PTR___gmpn_divrem_1_0009d2a8" (* "*") (cast_expression "(code *)PTR___gmpn_divrem_1_0009d2a8" (( "(") (type_descriptor "code *" (type_identifier "code") (abstract_pointer_declarator "*" (* "*"))) () ")") (identifier "PTR___gmpn_divrem_1_0009d2a8"))) () ")")) (argument_list "(piVar4,0,*(undefined4 *)(unaff_s5 + 8),unaff_s1,unaff_s4)" (( "(") (identifier "piVar4") (, ",") (number_literal "0") (, ",") (pointer_expression "*(undefined4 *)(unaff_s5 + 8)" (* "*") (cast_expression "(undefined4 *)(unaff_s5 + 8)" (( "(") (type_descriptor "undefined4 *" (type_identifier "undefined4") (abstract_pointer_declarator "*" (* "*"))) () ")") (parenthesized_expression "(unaff_s5 + 8)" (( "(") (binary_expression "unaff_s5 + 8" (identifier "unaff_s5") (+ "+") (number_literal "8")) () ")")))) (, ",") (identifier "unaff_s1") (, ",") (identifier "unaff_s4") () ")")))) (; ";")) (expression_statement "piVar3 = piVar4 + unaff_s1 + -1;" (assignment_expression "piVar3 = piVar4 + unaff_s1 + -1" (identifier "piVar3") (= "=") (binary_expression "piVar4 + unaff_s1 + -1" (binary_expression "piVar4 + unaff_s1" (identifier "piVar4") (+ "+") (identifier "unaff_s1")) (+ "+") (number_literal "-1"))) (; ";")) (if_statement "if (iVar1 == 0) {\n    uVar2 = (uint)(*piVar3 == 0);\n    if (unaff_s2 < 0) {\n      iVar5 = uVar2 - unaff_s1;\n      goto LAB_00027f94;\n    }\n  }\n  else {\n    if (unaff_s2 < 0) {\n      do {\n        iVar5 = *piVar4;\n        *piVar4 = iVar5 + 1;\n        piVar4 = piVar4 + 1;\n      } while (iVar5 + 1 == 0);\n      iVar1 = unaff_s4 - iVar1;\n      iVar5 = (uint)(*piVar3 == 0) - unaff_s1;\n      goto LAB_00027f94;\n    }\n    uVar2 = (uint)(*piVar3 == 0);\n  }" (if "if") (parenthesized_expression "(iVar1 == 0)" (( "(") (binary_expression "iVar1 == 0" (identifier "iVar1") (== "==") (number_literal "0")) () ")")) (compound_statement "{\n    uVar2 = (uint)(*piVar3 == 0);\n    if (unaff_s2 < 0) {\n      iVar5 = uVar2 - unaff_s1;\n      goto LAB_00027f94;\n    }\n  }" ({ "{") (expression_statement "uVar2 = (uint)(*piVar3 == 0);" (assignment_expression "uVar2 = (uint)(*piVar3 == 0)" (identifier "uVar2") (= "=") (call_expression "(uint)(*piVar3 == 0)" (parenthesized_expression "(uint)" (( "(") (identifier "uint") () ")")) (argument_list "(*piVar3 == 0)" (( "(") (binary_expression "*piVar3 == 0" (pointer_expression "*piVar3" (* "*") (identifier "piVar3")) (== "==") (number_literal "0")) () ")")))) (; ";")) (if_statement "if (unaff_s2 < 0) {\n      iVar5 = uVar2 - unaff_s1;\n      goto LAB_00027f94;\n    }" (if "if") (parenthesized_expression "(unaff_s2 < 0)" (( "(") (binary_expression "unaff_s2 < 0" (identifier "unaff_s2") (< "<") (number_literal "0")) () ")")) (compound_statement "{\n      iVar5 = uVar2 - unaff_s1;\n      goto LAB_00027f94;\n    }" ({ "{") (expression_statement "iVar5 = uVar2 - unaff_s1;" (assignment_expression "iVar5 = uVar2 - unaff_s1" (identifier "iVar5") (= "=") (binary_expression "uVar2 - unaff_s1" (identifier "uVar2") (- "-") (identifier "unaff_s1"))) (; ";")) (goto_statement "goto LAB_00027f94;" (goto "goto") (statement_identifier "LAB_00027f94") (; ";")) (} "}"))) (} "}")) (else_clause "else {\n    if (unaff_s2 < 0) {\n      do {\n        iVar5 = *piVar4;\n        *piVar4 = iVar5 + 1;\n        piVar4 = piVar4 + 1;\n      } while (iVar5 + 1 == 0);\n      iVar1 = unaff_s4 - iVar1;\n      iVar5 = (uint)(*piVar3 == 0) - unaff_s1;\n      goto LAB_00027f94;\n    }\n    uVar2 = (uint)(*piVar3 == 0);\n  }" (else "else") (compound_statement "{\n    if (unaff_s2 < 0) {\n      do {\n        iVar5 = *piVar4;\n        *piVar4 = iVar5 + 1;\n        piVar4 = piVar4 + 1;\n      } while (iVar5 + 1 == 0);\n      iVar1 = unaff_s4 - iVar1;\n      iVar5 = (uint)(*piVar3 == 0) - unaff_s1;\n      goto LAB_00027f94;\n    }\n    uVar2 = (uint)(*piVar3 == 0);\n  }" ({ "{") (if_statement "if (unaff_s2 < 0) {\n      do {\n        iVar5 = *piVar4;\n        *piVar4 = iVar5 + 1;\n        piVar4 = piVar4 + 1;\n      } while (iVar5 + 1 == 0);\n      iVar1 = unaff_s4 - iVar1;\n      iVar5 = (uint)(*piVar3 == 0) - unaff_s1;\n      goto LAB_00027f94;\n    }" (if "if") (parenthesized_expression "(unaff_s2 < 0)" (( "(") (binary_expression "unaff_s2 < 0" (identifier "unaff_s2") (< "<") (number_literal "0")) () ")")) (compound_statement "{\n      do {\n        iVar5 = *piVar4;\n        *piVar4 = iVar5 + 1;\n        piVar4 = piVar4 + 1;\n      } while (iVar5 + 1 == 0);\n      iVar1 = unaff_s4 - iVar1;\n      iVar5 = (uint)(*piVar3 == 0) - unaff_s1;\n      goto LAB_00027f94;\n    }" ({ "{") (do_statement "do {\n        iVar5 = *piVar4;\n        *piVar4 = iVar5 + 1;\n        piVar4 = piVar4 + 1;\n      } while (iVar5 + 1 == 0);" (do "do") (compound_statement "{\n        iVar5 = *piVar4;\n        *piVar4 = iVar5 + 1;\n        piVar4 = piVar4 + 1;\n      }" ({ "{") (expression_statement "iVar5 = *piVar4;" (assignment_expression "iVar5 = *piVar4" (identifier "iVar5") (= "=") (pointer_expression "*piVar4" (* "*") (identifier "piVar4"))) (; ";")) (expression_statement "*piVar4 = iVar5 + 1;" (assignment_expression "*piVar4 = iVar5 + 1" (pointer_expression "*piVar4" (* "*") (identifier "piVar4")) (= "=") (binary_expression "iVar5 + 1" (identifier "iVar5") (+ "+") (number_literal "1"))) (; ";")) (expression_statement "piVar4 = piVar4 + 1;" (assignment_expression "piVar4 = piVar4 + 1" (identifier "piVar4") (= "=") (binary_expression "piVar4 + 1" (identifier "piVar4") (+ "+") (number_literal "1"))) (; ";")) (} "}")) (while "while") (parenthesized_expression "(iVar5 + 1 == 0)" (( "(") (binary_expression "iVar5 + 1 == 0" (binary_expression "iVar5 + 1" (identifier "iVar5") (+ "+") (number_literal "1")) (== "==") (number_literal "0")) () ")")) (; ";")) (expression_statement "iVar1 = unaff_s4 - iVar1;" (assignment_expression "iVar1 = unaff_s4 - iVar1" (identifier "iVar1") (= "=") (binary_expression "unaff_s4 - iVar1" (identifier "unaff_s4") (- "-") (identifier "iVar1"))) (; ";")) (expression_statement "iVar5 = (uint)(*piVar3 == 0) - unaff_s1;" (assignment_expression "iVar5 = (uint)(*piVar3 == 0) - unaff_s1" (identifier "iVar5") (= "=") (binary_expression "(uint)(*piVar3 == 0) - unaff_s1" (call_expression "(uint)(*piVar3 == 0)" (parenthesized_expression "(uint)" (( "(") (identifier "uint") () ")")) (argument_list "(*piVar3 == 0)" (( "(") (binary_expression "*piVar3 == 0" (pointer_expression "*piVar3" (* "*") (identifier "piVar3")) (== "==") (number_literal "0")) () ")"))) (- "-") (identifier "unaff_s1"))) (; ";")) (goto_statement "goto LAB_00027f94;" (goto "goto") (statement_identifier "LAB_00027f94") (; ";")) (} "}"))) (expression_statement "uVar2 = (uint)(*piVar3 == 0);" (assignment_expression "uVar2 = (uint)(*piVar3 == 0)" (identifier "uVar2") (= "=") (call_expression "(uint)(*piVar3 == 0)" (parenthesized_expression "(uint)" (( "(") (identifier "uint") () ")")) (argument_list "(*piVar3 == 0)" (( "(") (binary_expression "*piVar3 == 0" (pointer_expression "*piVar3" (* "*") (identifier "piVar3")) (== "==") (number_literal "0")) () ")")))) (; ";")) (} "}")))) (expression_statement "iVar5 = unaff_s1 - uVar2;" (assignment_expression "iVar5 = unaff_s1 - uVar2" (identifier "iVar5") (= "=") (binary_expression "unaff_s1 - uVar2" (identifier "unaff_s1") (- "-") (identifier "uVar2"))) (; ";")) (labeled_statement "LAB_00027f94:\n  unaff_s3[1] = iVar5;" (statement_identifier "LAB_00027f94") (: ":") (expression_statement "unaff_s3[1] = iVar5;" (assignment_expression "unaff_s3[1] = iVar5" (subscript_expression "unaff_s3[1]" (identifier "unaff_s3") ([ "[") (number_literal "1") (] "]")) (= "=") (identifier "iVar5")) (; ";"))) (return_statement "return iVar1;" (return "return") (identifier "iVar1") (; ";")) (} "}")))

type_1 function_1(type_2 quot,type_3 dividend,type_1 var_1)

{
  type_1 var_6;
  type_4 var_7;
  type_5 var_8;
  type_5 *pmVar4;
  type_5 *var_5;
  int var_4;
  int iVar6;
  int var_3;
  type_2 unaff_s3;
  type_1 var_9;
  type_3 unaff_s5;
  int var_2;
  type_6 *pcVar7;
  
  if (var_1 == 0) {
    pcVar7 = *(type_6 **)(var_2 + 0x756f0);
    (*pcVar7)();
LAB_0002803c:
    var_5 = (type_5 *)(*pcVar7)(unaff_s3,var_4);
  }
  else {
    var_3 = dividend->_mp_size;
    if (var_3 == 0) {
      quot->_mp_size = 0;
      return 0;
    }
    var_4 = var_3;
    if (var_3 < 0) {
      var_4 = -var_3;
    }
    pcVar7 = *(type_6 **)(var_2 + 0x756d0);
    unaff_s3 = quot;
    var_9 = var_1;
    unaff_s5 = dividend;
    if (quot->_mp_alloc < var_4) goto LAB_0002803c;
    var_5 = quot->_mp_d;
  }
  var_6 = (**(type_6 **)(var_2 + 0x753b8))(var_5,0,unaff_s5->_mp_d,var_4,var_9);
  pmVar4 = var_5 + var_4 + -1;
  if (var_6 == 0) {
    var_7 = (type_4)(*pmVar4 == 0);
    if (var_3 < 0) {
      iVar6 = var_7 - var_4;
      goto LAB_00027f94;
    }
  }
  else {
    if (var_3 < 0) {
      do {
        var_8 = *var_5;
        *var_5 = var_8 + 1;
        var_5 = var_5 + 1;
      } while (var_8 + 1 == 0);
      var_6 = var_9 - var_6;
      iVar6 = (type_4)(*pmVar4 == 0) - var_4;
      goto LAB_00027f94;
    }
    var_7 = (type_4)(*pmVar4 == 0);
  }
  iVar6 = var_4 - var_7;
LAB_00027f94:
  unaff_s3->_mp_size = iVar6;
  return var_6;
}


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

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

{
  int iVar1;
  uint uVar2;
  int *piVar3;
  int *piVar4;
  int unaff_s1;
  int iVar5;
  int unaff_s2;
  int *unaff_s3;
  int unaff_s4;
  int unaff_s5;
  code *pcVar6;
  
  if (param_3 == 0) {
    pcVar6 = (code *)PTR___gmp_divide_by_zero_0009d5e0;
    (*(code *)PTR___gmp_divide_by_zero_0009d5e0)();
LAB_0002803c:
    piVar4 = (int *)(*pcVar6)(unaff_s3,unaff_s1);
  }
  else {
    unaff_s2 = *(int *)(param_2 + 4);
    if (unaff_s2 == 0) {
      param_1[1] = 0;
      return 0;
    }
    unaff_s1 = unaff_s2;
    if (unaff_s2 < 0) {
      unaff_s1 = -unaff_s2;
    }
    unaff_s3 = param_1;
    unaff_s4 = param_3;
    unaff_s5 = param_2;
    pcVar6 = (code *)PTR___gmpz_realloc_0009d5c0;
    if (*param_1 < unaff_s1) goto LAB_0002803c;
    piVar4 = (int *)param_1[2];
  }
  iVar1 = (*(code *)PTR___gmpn_divrem_1_0009d2a8)
                    (piVar4,0,*(undefined4 *)(unaff_s5 + 8),unaff_s1,unaff_s4);
  piVar3 = piVar4 + unaff_s1 + -1;
  if (iVar1 == 0) {
    uVar2 = (uint)(*piVar3 == 0);
    if (unaff_s2 < 0) {
      iVar5 = uVar2 - unaff_s1;
      goto LAB_00027f94;
    }
  }
  else {
    if (unaff_s2 < 0) {
      do {
        iVar5 = *piVar4;
        *piVar4 = iVar5 + 1;
        piVar4 = piVar4 + 1;
      } while (iVar5 + 1 == 0);
      iVar1 = unaff_s4 - iVar1;
      iVar5 = (uint)(*piVar3 == 0) - unaff_s1;
      goto LAB_00027f94;
    }
    uVar2 = (uint)(*piVar3 == 0);
  }
  iVar5 = unaff_s1 - uVar2;
LAB_00027f94:
  unaff_s3[1] = iVar5;
  return iVar1;
}

