
Bignum_conflict bigadd(Bignum_conflict a,Bignum_conflict b)

{
  Bignum_conflict pBVar1;
  uint uVar2;
  BignumInt BVar3;
  BignumInt BVar4;
  uint uVar5;
  uint uVar6;
  Bignum_conflict pBVar7;
  BignumInt BVar8;
  BignumInt BVar9;
  
  BVar9 = *b;
  if ((int)*b <= (int)*a) {
    BVar9 = *a;
  }
  pBVar1 = newbn(BVar9 + 1);
  if ((int)(BVar9 + 1) < 1) {
    BVar8 = 0;
  }
  else {
    uVar5 = 0;
    BVar8 = 0;
    BVar4 = 1;
    pBVar7 = pBVar1;
    do {
      pBVar7 = pBVar7 + 1;
      if ((int)*a < (int)BVar4) {
        BVar3 = 0;
      }
      else {
        BVar3 = a[BVar4];
      }
      if ((int)*b < (int)BVar4) {
        uVar6 = 0;
      }
      else {
        uVar6 = b[BVar4];
      }
      uVar2 = uVar6 + uVar5 + BVar3;
      *pBVar7 = uVar2;
      uVar5 = (uint)(uVar2 < uVar6) + (uint)(uVar5 + BVar3 < uVar5);
      if ((uVar2 != 0) && ((int)BVar8 < (int)BVar4)) {
        BVar8 = BVar4;
      }
      BVar4 = BVar4 + 1;
    } while (BVar4 != BVar9 + 2);
  }
  *pBVar1 = BVar8;
  return pBVar1;
}



void bigadd(int *param_1,int *param_2)

{
  uint *puVar1;
  uint uVar2;
  int iVar3;
  uint uVar4;
  uint uVar5;
  uint uVar6;
  uint *puVar7;
  uint uVar8;
  int iVar9;
  
  iVar9 = *param_2;
  if (*param_2 <= *param_1) {
    iVar9 = *param_1;
  }
  puVar1 = (uint *)FUN_0005d738(iVar9 + 1);
  if (iVar9 + 1 < 1) {
    uVar8 = 0;
  }
  else {
    uVar5 = 0;
    uVar8 = 0;
    uVar4 = 1;
    puVar7 = puVar1;
    do {
      puVar7 = puVar7 + 1;
      if (*param_1 < (int)uVar4) {
        iVar3 = 0;
      }
      else {
        iVar3 = param_1[uVar4];
      }
      if (*param_2 < (int)uVar4) {
        uVar6 = 0;
      }
      else {
        uVar6 = param_2[uVar4];
      }
      uVar2 = uVar6 + uVar5 + iVar3;
      *puVar7 = uVar2;
      uVar5 = (uint)(uVar2 < uVar6) + (uint)(uVar5 + iVar3 < uVar5);
      if ((uVar2 != 0) && ((int)uVar8 < (int)uVar4)) {
        uVar8 = uVar4;
      }
      uVar4 = uVar4 + 1;
    } while (uVar4 != iVar9 + 2U);
  }
  *puVar1 = uVar8;
  return;
}


lui gp,0x6
addiu gp,gp,0x5094
addu gp,gp,t9
addiu sp,sp,-0x30
sw ra,0x2c(sp)
sw s3,0x28(sp)
sw s2,0x24(sp)
sw s1,0x20(sp)
sw s0,0x1c(sp)
sw gp,0x10(sp)
or s0,a0,zero
or s1,a1,zero
lw s2,0x0(a1)
lw v0,0x0(a0)
slt t1,v0,s2
movz s2,v0,t1
addiu s3,s2,0x1
or a0,s3,zero
lw t9,-0x7950(gp)
addiu t9,t9,-0x28c8
bal 0x0005d738
_nop
lw gp,0x10(sp)
blez s3,0x0005f1a8
_addiu a3,v0,0x4
addiu t1,s2,0x2
or a1,zero,zero
or t0,zero,zero
li a0,0x1
b 0x0005f18c
_or t2,zero,zero
or v1,t2,zero
lw a2,0x0(s1)
slt a2,a2,a0
bne a2,zero,0x0005f158
_sll a2,a0,0x2
addu a2,s1,a2
b 0x0005f15c
_lw a2,0x0(a2)
or a2,t2,zero
addu v1,a1,v1
sltu a1,v1,a1
addu v1,a2,v1
sltu a2,v1,a2
sw v1,0x0(a3)
beq v1,zero,0x0005f180
_addu a1,a2,a1
slt v1,t0,a0
movn t0,a0,v1
addiu a0,a0,0x1
beq a0,t1,0x0005f1ac
_addiu a3,a3,0x4
lw v1,0x0(s0)
slt v1,v1,a0
bne v1,zero,0x0005f138
_sll v1,a0,0x2
addu v1,s0,v1
b 0x0005f13c
_lw v1,0x0(v1)
or t0,zero,zero
sw t0,0x0(v0)
lw ra,0x2c(sp)
lw s3,0x28(sp)
lw s2,0x24(sp)
lw s1,0x20(sp)
lw s0,0x1c(sp)
jr ra
_addiu sp,sp,0x30
(translation_unit "void bigadd(int *param_1,int *param_2)\n\n{\n  uint *puVar1;\n  uint uVar2;\n  int iVar3;\n  uint uVar4;\n  uint uVar5;\n  uint uVar6;\n  uint *puVar7;\n  uint uVar8;\n  int iVar9;\n  \n  iVar9 = *param_2;\n  if (*param_2 <= *param_1) {\n    iVar9 = *param_1;\n  }\n  puVar1 = (uint *)FUN_0005d738(iVar9 + 1);\n  if (iVar9 + 1 < 1) {\n    uVar8 = 0;\n  }\n  else {\n    uVar5 = 0;\n    uVar8 = 0;\n    uVar4 = 1;\n    puVar7 = puVar1;\n    do {\n      puVar7 = puVar7 + 1;\n      if (*param_1 < (int)uVar4) {\n        iVar3 = 0;\n      }\n      else {\n        iVar3 = param_1[uVar4];\n      }\n      if (*param_2 < (int)uVar4) {\n        uVar6 = 0;\n      }\n      else {\n        uVar6 = param_2[uVar4];\n      }\n      uVar2 = uVar6 + uVar5 + iVar3;\n      *puVar7 = uVar2;\n      uVar5 = (uint)(uVar2 < uVar6) + (uint)(uVar5 + iVar3 < uVar5);\n      if ((uVar2 != 0) && ((int)uVar8 < (int)uVar4)) {\n        uVar8 = uVar4;\n      }\n      uVar4 = uVar4 + 1;\n    } while (uVar4 != iVar9 + 2U);\n  }\n  *puVar1 = uVar8;\n  return;\n}\n\n" (function_definition "void bigadd(int *param_1,int *param_2)\n\n{\n  uint *puVar1;\n  uint uVar2;\n  int iVar3;\n  uint uVar4;\n  uint uVar5;\n  uint uVar6;\n  uint *puVar7;\n  uint uVar8;\n  int iVar9;\n  \n  iVar9 = *param_2;\n  if (*param_2 <= *param_1) {\n    iVar9 = *param_1;\n  }\n  puVar1 = (uint *)FUN_0005d738(iVar9 + 1);\n  if (iVar9 + 1 < 1) {\n    uVar8 = 0;\n  }\n  else {\n    uVar5 = 0;\n    uVar8 = 0;\n    uVar4 = 1;\n    puVar7 = puVar1;\n    do {\n      puVar7 = puVar7 + 1;\n      if (*param_1 < (int)uVar4) {\n        iVar3 = 0;\n      }\n      else {\n        iVar3 = param_1[uVar4];\n      }\n      if (*param_2 < (int)uVar4) {\n        uVar6 = 0;\n      }\n      else {\n        uVar6 = param_2[uVar4];\n      }\n      uVar2 = uVar6 + uVar5 + iVar3;\n      *puVar7 = uVar2;\n      uVar5 = (uint)(uVar2 < uVar6) + (uint)(uVar5 + iVar3 < uVar5);\n      if ((uVar2 != 0) && ((int)uVar8 < (int)uVar4)) {\n        uVar8 = uVar4;\n      }\n      uVar4 = uVar4 + 1;\n    } while (uVar4 != iVar9 + 2U);\n  }\n  *puVar1 = uVar8;\n  return;\n}" primitive_type (function_declarator "bigadd(int *param_1,int *param_2)" identifier (parameter_list "(int *param_1,int *param_2)" ( (parameter_declaration "int *param_1" primitive_type (pointer_declarator "*param_1" * identifier)) , (parameter_declaration "int *param_2" primitive_type (pointer_declarator "*param_2" * identifier)) ))) (compound_statement "{\n  uint *puVar1;\n  uint uVar2;\n  int iVar3;\n  uint uVar4;\n  uint uVar5;\n  uint uVar6;\n  uint *puVar7;\n  uint uVar8;\n  int iVar9;\n  \n  iVar9 = *param_2;\n  if (*param_2 <= *param_1) {\n    iVar9 = *param_1;\n  }\n  puVar1 = (uint *)FUN_0005d738(iVar9 + 1);\n  if (iVar9 + 1 < 1) {\n    uVar8 = 0;\n  }\n  else {\n    uVar5 = 0;\n    uVar8 = 0;\n    uVar4 = 1;\n    puVar7 = puVar1;\n    do {\n      puVar7 = puVar7 + 1;\n      if (*param_1 < (int)uVar4) {\n        iVar3 = 0;\n      }\n      else {\n        iVar3 = param_1[uVar4];\n      }\n      if (*param_2 < (int)uVar4) {\n        uVar6 = 0;\n      }\n      else {\n        uVar6 = param_2[uVar4];\n      }\n      uVar2 = uVar6 + uVar5 + iVar3;\n      *puVar7 = uVar2;\n      uVar5 = (uint)(uVar2 < uVar6) + (uint)(uVar5 + iVar3 < uVar5);\n      if ((uVar2 != 0) && ((int)uVar8 < (int)uVar4)) {\n        uVar8 = uVar4;\n      }\n      uVar4 = uVar4 + 1;\n    } while (uVar4 != iVar9 + 2U);\n  }\n  *puVar1 = uVar8;\n  return;\n}" { (declaration "uint *puVar1;" type_identifier (pointer_declarator "*puVar1" * identifier) ;) (declaration "uint uVar2;" type_identifier identifier ;) (declaration "int iVar3;" primitive_type identifier ;) (declaration "uint uVar4;" type_identifier identifier ;) (declaration "uint uVar5;" type_identifier identifier ;) (declaration "uint uVar6;" type_identifier identifier ;) (declaration "uint *puVar7;" type_identifier (pointer_declarator "*puVar7" * identifier) ;) (declaration "uint uVar8;" type_identifier identifier ;) (declaration "int iVar9;" primitive_type identifier ;) (expression_statement "iVar9 = *param_2;" (assignment_expression "iVar9 = *param_2" identifier = (pointer_expression "*param_2" * identifier)) ;) (if_statement "if (*param_2 <= *param_1) {\n    iVar9 = *param_1;\n  }" if (parenthesized_expression "(*param_2 <= *param_1)" ( (binary_expression "*param_2 <= *param_1" (pointer_expression "*param_2" * identifier) <= (pointer_expression "*param_1" * identifier)) )) (compound_statement "{\n    iVar9 = *param_1;\n  }" { (expression_statement "iVar9 = *param_1;" (assignment_expression "iVar9 = *param_1" identifier = (pointer_expression "*param_1" * identifier)) ;) })) (expression_statement "puVar1 = (uint *)FUN_0005d738(iVar9 + 1);" (assignment_expression "puVar1 = (uint *)FUN_0005d738(iVar9 + 1)" identifier = (cast_expression "(uint *)FUN_0005d738(iVar9 + 1)" ( (type_descriptor "uint *" type_identifier (abstract_pointer_declarator "*" *)) ) (call_expression "FUN_0005d738(iVar9 + 1)" identifier (argument_list "(iVar9 + 1)" ( (binary_expression "iVar9 + 1" identifier + number_literal) ))))) ;) (if_statement "if (iVar9 + 1 < 1) {\n    uVar8 = 0;\n  }\n  else {\n    uVar5 = 0;\n    uVar8 = 0;\n    uVar4 = 1;\n    puVar7 = puVar1;\n    do {\n      puVar7 = puVar7 + 1;\n      if (*param_1 < (int)uVar4) {\n        iVar3 = 0;\n      }\n      else {\n        iVar3 = param_1[uVar4];\n      }\n      if (*param_2 < (int)uVar4) {\n        uVar6 = 0;\n      }\n      else {\n        uVar6 = param_2[uVar4];\n      }\n      uVar2 = uVar6 + uVar5 + iVar3;\n      *puVar7 = uVar2;\n      uVar5 = (uint)(uVar2 < uVar6) + (uint)(uVar5 + iVar3 < uVar5);\n      if ((uVar2 != 0) && ((int)uVar8 < (int)uVar4)) {\n        uVar8 = uVar4;\n      }\n      uVar4 = uVar4 + 1;\n    } while (uVar4 != iVar9 + 2U);\n  }" if (parenthesized_expression "(iVar9 + 1 < 1)" ( (binary_expression "iVar9 + 1 < 1" (binary_expression "iVar9 + 1" identifier + number_literal) < number_literal) )) (compound_statement "{\n    uVar8 = 0;\n  }" { (expression_statement "uVar8 = 0;" (assignment_expression "uVar8 = 0" identifier = number_literal) ;) }) (else_clause "else {\n    uVar5 = 0;\n    uVar8 = 0;\n    uVar4 = 1;\n    puVar7 = puVar1;\n    do {\n      puVar7 = puVar7 + 1;\n      if (*param_1 < (int)uVar4) {\n        iVar3 = 0;\n      }\n      else {\n        iVar3 = param_1[uVar4];\n      }\n      if (*param_2 < (int)uVar4) {\n        uVar6 = 0;\n      }\n      else {\n        uVar6 = param_2[uVar4];\n      }\n      uVar2 = uVar6 + uVar5 + iVar3;\n      *puVar7 = uVar2;\n      uVar5 = (uint)(uVar2 < uVar6) + (uint)(uVar5 + iVar3 < uVar5);\n      if ((uVar2 != 0) && ((int)uVar8 < (int)uVar4)) {\n        uVar8 = uVar4;\n      }\n      uVar4 = uVar4 + 1;\n    } while (uVar4 != iVar9 + 2U);\n  }" else (compound_statement "{\n    uVar5 = 0;\n    uVar8 = 0;\n    uVar4 = 1;\n    puVar7 = puVar1;\n    do {\n      puVar7 = puVar7 + 1;\n      if (*param_1 < (int)uVar4) {\n        iVar3 = 0;\n      }\n      else {\n        iVar3 = param_1[uVar4];\n      }\n      if (*param_2 < (int)uVar4) {\n        uVar6 = 0;\n      }\n      else {\n        uVar6 = param_2[uVar4];\n      }\n      uVar2 = uVar6 + uVar5 + iVar3;\n      *puVar7 = uVar2;\n      uVar5 = (uint)(uVar2 < uVar6) + (uint)(uVar5 + iVar3 < uVar5);\n      if ((uVar2 != 0) && ((int)uVar8 < (int)uVar4)) {\n        uVar8 = uVar4;\n      }\n      uVar4 = uVar4 + 1;\n    } while (uVar4 != iVar9 + 2U);\n  }" { (expression_statement "uVar5 = 0;" (assignment_expression "uVar5 = 0" identifier = number_literal) ;) (expression_statement "uVar8 = 0;" (assignment_expression "uVar8 = 0" identifier = number_literal) ;) (expression_statement "uVar4 = 1;" (assignment_expression "uVar4 = 1" identifier = number_literal) ;) (expression_statement "puVar7 = puVar1;" (assignment_expression "puVar7 = puVar1" identifier = identifier) ;) (do_statement "do {\n      puVar7 = puVar7 + 1;\n      if (*param_1 < (int)uVar4) {\n        iVar3 = 0;\n      }\n      else {\n        iVar3 = param_1[uVar4];\n      }\n      if (*param_2 < (int)uVar4) {\n        uVar6 = 0;\n      }\n      else {\n        uVar6 = param_2[uVar4];\n      }\n      uVar2 = uVar6 + uVar5 + iVar3;\n      *puVar7 = uVar2;\n      uVar5 = (uint)(uVar2 < uVar6) + (uint)(uVar5 + iVar3 < uVar5);\n      if ((uVar2 != 0) && ((int)uVar8 < (int)uVar4)) {\n        uVar8 = uVar4;\n      }\n      uVar4 = uVar4 + 1;\n    } while (uVar4 != iVar9 + 2U);" do (compound_statement "{\n      puVar7 = puVar7 + 1;\n      if (*param_1 < (int)uVar4) {\n        iVar3 = 0;\n      }\n      else {\n        iVar3 = param_1[uVar4];\n      }\n      if (*param_2 < (int)uVar4) {\n        uVar6 = 0;\n      }\n      else {\n        uVar6 = param_2[uVar4];\n      }\n      uVar2 = uVar6 + uVar5 + iVar3;\n      *puVar7 = uVar2;\n      uVar5 = (uint)(uVar2 < uVar6) + (uint)(uVar5 + iVar3 < uVar5);\n      if ((uVar2 != 0) && ((int)uVar8 < (int)uVar4)) {\n        uVar8 = uVar4;\n      }\n      uVar4 = uVar4 + 1;\n    }" { (expression_statement "puVar7 = puVar7 + 1;" (assignment_expression "puVar7 = puVar7 + 1" identifier = (binary_expression "puVar7 + 1" identifier + number_literal)) ;) (if_statement "if (*param_1 < (int)uVar4) {\n        iVar3 = 0;\n      }\n      else {\n        iVar3 = param_1[uVar4];\n      }" if (parenthesized_expression "(*param_1 < (int)uVar4)" ( (binary_expression "*param_1 < (int)uVar4" (pointer_expression "*param_1" * identifier) < (cast_expression "(int)uVar4" ( (type_descriptor "int" primitive_type) ) identifier)) )) (compound_statement "{\n        iVar3 = 0;\n      }" { (expression_statement "iVar3 = 0;" (assignment_expression "iVar3 = 0" identifier = number_literal) ;) }) (else_clause "else {\n        iVar3 = param_1[uVar4];\n      }" else (compound_statement "{\n        iVar3 = param_1[uVar4];\n      }" { (expression_statement "iVar3 = param_1[uVar4];" (assignment_expression "iVar3 = param_1[uVar4]" identifier = (subscript_expression "param_1[uVar4]" identifier [ identifier ])) ;) }))) (if_statement "if (*param_2 < (int)uVar4) {\n        uVar6 = 0;\n      }\n      else {\n        uVar6 = param_2[uVar4];\n      }" if (parenthesized_expression "(*param_2 < (int)uVar4)" ( (binary_expression "*param_2 < (int)uVar4" (pointer_expression "*param_2" * identifier) < (cast_expression "(int)uVar4" ( (type_descriptor "int" primitive_type) ) identifier)) )) (compound_statement "{\n        uVar6 = 0;\n      }" { (expression_statement "uVar6 = 0;" (assignment_expression "uVar6 = 0" identifier = number_literal) ;) }) (else_clause "else {\n        uVar6 = param_2[uVar4];\n      }" else (compound_statement "{\n        uVar6 = param_2[uVar4];\n      }" { (expression_statement "uVar6 = param_2[uVar4];" (assignment_expression "uVar6 = param_2[uVar4]" identifier = (subscript_expression "param_2[uVar4]" identifier [ identifier ])) ;) }))) (expression_statement "uVar2 = uVar6 + uVar5 + iVar3;" (assignment_expression "uVar2 = uVar6 + uVar5 + iVar3" identifier = (binary_expression "uVar6 + uVar5 + iVar3" (binary_expression "uVar6 + uVar5" identifier + identifier) + identifier)) ;) (expression_statement "*puVar7 = uVar2;" (assignment_expression "*puVar7 = uVar2" (pointer_expression "*puVar7" * identifier) = identifier) ;) (expression_statement "uVar5 = (uint)(uVar2 < uVar6) + (uint)(uVar5 + iVar3 < uVar5);" (assignment_expression "uVar5 = (uint)(uVar2 < uVar6) + (uint)(uVar5 + iVar3 < uVar5)" identifier = (binary_expression "(uint)(uVar2 < uVar6) + (uint)(uVar5 + iVar3 < uVar5)" (call_expression "(uint)(uVar2 < uVar6)" (parenthesized_expression "(uint)" ( identifier )) (argument_list "(uVar2 < uVar6)" ( (binary_expression "uVar2 < uVar6" identifier < identifier) ))) + (call_expression "(uint)(uVar5 + iVar3 < uVar5)" (parenthesized_expression "(uint)" ( identifier )) (argument_list "(uVar5 + iVar3 < uVar5)" ( (binary_expression "uVar5 + iVar3 < uVar5" (binary_expression "uVar5 + iVar3" identifier + identifier) < identifier) ))))) ;) (if_statement "if ((uVar2 != 0) && ((int)uVar8 < (int)uVar4)) {\n        uVar8 = uVar4;\n      }" if (parenthesized_expression "((uVar2 != 0) && ((int)uVar8 < (int)uVar4))" ( (binary_expression "(uVar2 != 0) && ((int)uVar8 < (int)uVar4)" (parenthesized_expression "(uVar2 != 0)" ( (binary_expression "uVar2 != 0" identifier != number_literal) )) && (parenthesized_expression "((int)uVar8 < (int)uVar4)" ( (binary_expression "(int)uVar8 < (int)uVar4" (cast_expression "(int)uVar8" ( (type_descriptor "int" primitive_type) ) identifier) < (cast_expression "(int)uVar4" ( (type_descriptor "int" primitive_type) ) identifier)) ))) )) (compound_statement "{\n        uVar8 = uVar4;\n      }" { (expression_statement "uVar8 = uVar4;" (assignment_expression "uVar8 = uVar4" identifier = identifier) ;) })) (expression_statement "uVar4 = uVar4 + 1;" (assignment_expression "uVar4 = uVar4 + 1" identifier = (binary_expression "uVar4 + 1" identifier + number_literal)) ;) }) while (parenthesized_expression "(uVar4 != iVar9 + 2U)" ( (binary_expression "uVar4 != iVar9 + 2U" identifier != (binary_expression "iVar9 + 2U" identifier + number_literal)) )) ;) }))) (expression_statement "*puVar1 = uVar8;" (assignment_expression "*puVar1 = uVar8" (pointer_expression "*puVar1" * identifier) = identifier) ;) (return_statement "return;" return ;) })))
(translation_unit "Bignum_conflict bigadd(Bignum_conflict a,Bignum_conflict b)\n\n{\n  Bignum_conflict pBVar1;\n  uint uVar2;\n  BignumInt BVar3;\n  BignumInt BVar4;\n  uint uVar5;\n  uint uVar6;\n  Bignum_conflict pBVar7;\n  BignumInt BVar8;\n  BignumInt BVar9;\n  \n  BVar9 = *b;\n  if ((int)*b <= (int)*a) {\n    BVar9 = *a;\n  }\n  pBVar1 = newbn(BVar9 + 1);\n  if ((int)(BVar9 + 1) < 1) {\n    BVar8 = 0;\n  }\n  else {\n    uVar5 = 0;\n    BVar8 = 0;\n    BVar4 = 1;\n    pBVar7 = pBVar1;\n    do {\n      pBVar7 = pBVar7 + 1;\n      if ((int)*a < (int)BVar4) {\n        BVar3 = 0;\n      }\n      else {\n        BVar3 = a[BVar4];\n      }\n      if ((int)*b < (int)BVar4) {\n        uVar6 = 0;\n      }\n      else {\n        uVar6 = b[BVar4];\n      }\n      uVar2 = uVar6 + uVar5 + BVar3;\n      *pBVar7 = uVar2;\n      uVar5 = (uint)(uVar2 < uVar6) + (uint)(uVar5 + BVar3 < uVar5);\n      if ((uVar2 != 0) && ((int)BVar8 < (int)BVar4)) {\n        BVar8 = BVar4;\n      }\n      BVar4 = BVar4 + 1;\n    } while (BVar4 != BVar9 + 2);\n  }\n  *pBVar1 = BVar8;\n  return pBVar1;\n}\n\n" (function_definition "Bignum_conflict bigadd(Bignum_conflict a,Bignum_conflict b)\n\n{\n  Bignum_conflict pBVar1;\n  uint uVar2;\n  BignumInt BVar3;\n  BignumInt BVar4;\n  uint uVar5;\n  uint uVar6;\n  Bignum_conflict pBVar7;\n  BignumInt BVar8;\n  BignumInt BVar9;\n  \n  BVar9 = *b;\n  if ((int)*b <= (int)*a) {\n    BVar9 = *a;\n  }\n  pBVar1 = newbn(BVar9 + 1);\n  if ((int)(BVar9 + 1) < 1) {\n    BVar8 = 0;\n  }\n  else {\n    uVar5 = 0;\n    BVar8 = 0;\n    BVar4 = 1;\n    pBVar7 = pBVar1;\n    do {\n      pBVar7 = pBVar7 + 1;\n      if ((int)*a < (int)BVar4) {\n        BVar3 = 0;\n      }\n      else {\n        BVar3 = a[BVar4];\n      }\n      if ((int)*b < (int)BVar4) {\n        uVar6 = 0;\n      }\n      else {\n        uVar6 = b[BVar4];\n      }\n      uVar2 = uVar6 + uVar5 + BVar3;\n      *pBVar7 = uVar2;\n      uVar5 = (uint)(uVar2 < uVar6) + (uint)(uVar5 + BVar3 < uVar5);\n      if ((uVar2 != 0) && ((int)BVar8 < (int)BVar4)) {\n        BVar8 = BVar4;\n      }\n      BVar4 = BVar4 + 1;\n    } while (BVar4 != BVar9 + 2);\n  }\n  *pBVar1 = BVar8;\n  return pBVar1;\n}" type_identifier (function_declarator "bigadd(Bignum_conflict a,Bignum_conflict b)" identifier (parameter_list "(Bignum_conflict a,Bignum_conflict b)" ( (parameter_declaration "Bignum_conflict a" type_identifier identifier) , (parameter_declaration "Bignum_conflict b" type_identifier identifier) ))) (compound_statement "{\n  Bignum_conflict pBVar1;\n  uint uVar2;\n  BignumInt BVar3;\n  BignumInt BVar4;\n  uint uVar5;\n  uint uVar6;\n  Bignum_conflict pBVar7;\n  BignumInt BVar8;\n  BignumInt BVar9;\n  \n  BVar9 = *b;\n  if ((int)*b <= (int)*a) {\n    BVar9 = *a;\n  }\n  pBVar1 = newbn(BVar9 + 1);\n  if ((int)(BVar9 + 1) < 1) {\n    BVar8 = 0;\n  }\n  else {\n    uVar5 = 0;\n    BVar8 = 0;\n    BVar4 = 1;\n    pBVar7 = pBVar1;\n    do {\n      pBVar7 = pBVar7 + 1;\n      if ((int)*a < (int)BVar4) {\n        BVar3 = 0;\n      }\n      else {\n        BVar3 = a[BVar4];\n      }\n      if ((int)*b < (int)BVar4) {\n        uVar6 = 0;\n      }\n      else {\n        uVar6 = b[BVar4];\n      }\n      uVar2 = uVar6 + uVar5 + BVar3;\n      *pBVar7 = uVar2;\n      uVar5 = (uint)(uVar2 < uVar6) + (uint)(uVar5 + BVar3 < uVar5);\n      if ((uVar2 != 0) && ((int)BVar8 < (int)BVar4)) {\n        BVar8 = BVar4;\n      }\n      BVar4 = BVar4 + 1;\n    } while (BVar4 != BVar9 + 2);\n  }\n  *pBVar1 = BVar8;\n  return pBVar1;\n}" { (declaration "Bignum_conflict pBVar1;" type_identifier identifier ;) (declaration "uint uVar2;" type_identifier identifier ;) (declaration "BignumInt BVar3;" type_identifier identifier ;) (declaration "BignumInt BVar4;" type_identifier identifier ;) (declaration "uint uVar5;" type_identifier identifier ;) (declaration "uint uVar6;" type_identifier identifier ;) (declaration "Bignum_conflict pBVar7;" type_identifier identifier ;) (declaration "BignumInt BVar8;" type_identifier identifier ;) (declaration "BignumInt BVar9;" type_identifier identifier ;) (expression_statement "BVar9 = *b;" (assignment_expression "BVar9 = *b" identifier = (pointer_expression "*b" * identifier)) ;) (if_statement "if ((int)*b <= (int)*a) {\n    BVar9 = *a;\n  }" if (parenthesized_expression "((int)*b <= (int)*a)" ( (binary_expression "(int)*b <= (int)*a" (cast_expression "(int)*b" ( (type_descriptor "int" primitive_type) ) (pointer_expression "*b" * identifier)) <= (cast_expression "(int)*a" ( (type_descriptor "int" primitive_type) ) (pointer_expression "*a" * identifier))) )) (compound_statement "{\n    BVar9 = *a;\n  }" { (expression_statement "BVar9 = *a;" (assignment_expression "BVar9 = *a" identifier = (pointer_expression "*a" * identifier)) ;) })) (expression_statement "pBVar1 = newbn(BVar9 + 1);" (assignment_expression "pBVar1 = newbn(BVar9 + 1)" identifier = (call_expression "newbn(BVar9 + 1)" identifier (argument_list "(BVar9 + 1)" ( (binary_expression "BVar9 + 1" identifier + number_literal) )))) ;) (if_statement "if ((int)(BVar9 + 1) < 1) {\n    BVar8 = 0;\n  }\n  else {\n    uVar5 = 0;\n    BVar8 = 0;\n    BVar4 = 1;\n    pBVar7 = pBVar1;\n    do {\n      pBVar7 = pBVar7 + 1;\n      if ((int)*a < (int)BVar4) {\n        BVar3 = 0;\n      }\n      else {\n        BVar3 = a[BVar4];\n      }\n      if ((int)*b < (int)BVar4) {\n        uVar6 = 0;\n      }\n      else {\n        uVar6 = b[BVar4];\n      }\n      uVar2 = uVar6 + uVar5 + BVar3;\n      *pBVar7 = uVar2;\n      uVar5 = (uint)(uVar2 < uVar6) + (uint)(uVar5 + BVar3 < uVar5);\n      if ((uVar2 != 0) && ((int)BVar8 < (int)BVar4)) {\n        BVar8 = BVar4;\n      }\n      BVar4 = BVar4 + 1;\n    } while (BVar4 != BVar9 + 2);\n  }" if (parenthesized_expression "((int)(BVar9 + 1) < 1)" ( (binary_expression "(int)(BVar9 + 1) < 1" (cast_expression "(int)(BVar9 + 1)" ( (type_descriptor "int" primitive_type) ) (parenthesized_expression "(BVar9 + 1)" ( (binary_expression "BVar9 + 1" identifier + number_literal) ))) < number_literal) )) (compound_statement "{\n    BVar8 = 0;\n  }" { (expression_statement "BVar8 = 0;" (assignment_expression "BVar8 = 0" identifier = number_literal) ;) }) (else_clause "else {\n    uVar5 = 0;\n    BVar8 = 0;\n    BVar4 = 1;\n    pBVar7 = pBVar1;\n    do {\n      pBVar7 = pBVar7 + 1;\n      if ((int)*a < (int)BVar4) {\n        BVar3 = 0;\n      }\n      else {\n        BVar3 = a[BVar4];\n      }\n      if ((int)*b < (int)BVar4) {\n        uVar6 = 0;\n      }\n      else {\n        uVar6 = b[BVar4];\n      }\n      uVar2 = uVar6 + uVar5 + BVar3;\n      *pBVar7 = uVar2;\n      uVar5 = (uint)(uVar2 < uVar6) + (uint)(uVar5 + BVar3 < uVar5);\n      if ((uVar2 != 0) && ((int)BVar8 < (int)BVar4)) {\n        BVar8 = BVar4;\n      }\n      BVar4 = BVar4 + 1;\n    } while (BVar4 != BVar9 + 2);\n  }" else (compound_statement "{\n    uVar5 = 0;\n    BVar8 = 0;\n    BVar4 = 1;\n    pBVar7 = pBVar1;\n    do {\n      pBVar7 = pBVar7 + 1;\n      if ((int)*a < (int)BVar4) {\n        BVar3 = 0;\n      }\n      else {\n        BVar3 = a[BVar4];\n      }\n      if ((int)*b < (int)BVar4) {\n        uVar6 = 0;\n      }\n      else {\n        uVar6 = b[BVar4];\n      }\n      uVar2 = uVar6 + uVar5 + BVar3;\n      *pBVar7 = uVar2;\n      uVar5 = (uint)(uVar2 < uVar6) + (uint)(uVar5 + BVar3 < uVar5);\n      if ((uVar2 != 0) && ((int)BVar8 < (int)BVar4)) {\n        BVar8 = BVar4;\n      }\n      BVar4 = BVar4 + 1;\n    } while (BVar4 != BVar9 + 2);\n  }" { (expression_statement "uVar5 = 0;" (assignment_expression "uVar5 = 0" identifier = number_literal) ;) (expression_statement "BVar8 = 0;" (assignment_expression "BVar8 = 0" identifier = number_literal) ;) (expression_statement "BVar4 = 1;" (assignment_expression "BVar4 = 1" identifier = number_literal) ;) (expression_statement "pBVar7 = pBVar1;" (assignment_expression "pBVar7 = pBVar1" identifier = identifier) ;) (do_statement "do {\n      pBVar7 = pBVar7 + 1;\n      if ((int)*a < (int)BVar4) {\n        BVar3 = 0;\n      }\n      else {\n        BVar3 = a[BVar4];\n      }\n      if ((int)*b < (int)BVar4) {\n        uVar6 = 0;\n      }\n      else {\n        uVar6 = b[BVar4];\n      }\n      uVar2 = uVar6 + uVar5 + BVar3;\n      *pBVar7 = uVar2;\n      uVar5 = (uint)(uVar2 < uVar6) + (uint)(uVar5 + BVar3 < uVar5);\n      if ((uVar2 != 0) && ((int)BVar8 < (int)BVar4)) {\n        BVar8 = BVar4;\n      }\n      BVar4 = BVar4 + 1;\n    } while (BVar4 != BVar9 + 2);" do (compound_statement "{\n      pBVar7 = pBVar7 + 1;\n      if ((int)*a < (int)BVar4) {\n        BVar3 = 0;\n      }\n      else {\n        BVar3 = a[BVar4];\n      }\n      if ((int)*b < (int)BVar4) {\n        uVar6 = 0;\n      }\n      else {\n        uVar6 = b[BVar4];\n      }\n      uVar2 = uVar6 + uVar5 + BVar3;\n      *pBVar7 = uVar2;\n      uVar5 = (uint)(uVar2 < uVar6) + (uint)(uVar5 + BVar3 < uVar5);\n      if ((uVar2 != 0) && ((int)BVar8 < (int)BVar4)) {\n        BVar8 = BVar4;\n      }\n      BVar4 = BVar4 + 1;\n    }" { (expression_statement "pBVar7 = pBVar7 + 1;" (assignment_expression "pBVar7 = pBVar7 + 1" identifier = (binary_expression "pBVar7 + 1" identifier + number_literal)) ;) (if_statement "if ((int)*a < (int)BVar4) {\n        BVar3 = 0;\n      }\n      else {\n        BVar3 = a[BVar4];\n      }" if (parenthesized_expression "((int)*a < (int)BVar4)" ( (binary_expression "(int)*a < (int)BVar4" (cast_expression "(int)*a" ( (type_descriptor "int" primitive_type) ) (pointer_expression "*a" * identifier)) < (cast_expression "(int)BVar4" ( (type_descriptor "int" primitive_type) ) identifier)) )) (compound_statement "{\n        BVar3 = 0;\n      }" { (expression_statement "BVar3 = 0;" (assignment_expression "BVar3 = 0" identifier = number_literal) ;) }) (else_clause "else {\n        BVar3 = a[BVar4];\n      }" else (compound_statement "{\n        BVar3 = a[BVar4];\n      }" { (expression_statement "BVar3 = a[BVar4];" (assignment_expression "BVar3 = a[BVar4]" identifier = (subscript_expression "a[BVar4]" identifier [ identifier ])) ;) }))) (if_statement "if ((int)*b < (int)BVar4) {\n        uVar6 = 0;\n      }\n      else {\n        uVar6 = b[BVar4];\n      }" if (parenthesized_expression "((int)*b < (int)BVar4)" ( (binary_expression "(int)*b < (int)BVar4" (cast_expression "(int)*b" ( (type_descriptor "int" primitive_type) ) (pointer_expression "*b" * identifier)) < (cast_expression "(int)BVar4" ( (type_descriptor "int" primitive_type) ) identifier)) )) (compound_statement "{\n        uVar6 = 0;\n      }" { (expression_statement "uVar6 = 0;" (assignment_expression "uVar6 = 0" identifier = number_literal) ;) }) (else_clause "else {\n        uVar6 = b[BVar4];\n      }" else (compound_statement "{\n        uVar6 = b[BVar4];\n      }" { (expression_statement "uVar6 = b[BVar4];" (assignment_expression "uVar6 = b[BVar4]" identifier = (subscript_expression "b[BVar4]" identifier [ identifier ])) ;) }))) (expression_statement "uVar2 = uVar6 + uVar5 + BVar3;" (assignment_expression "uVar2 = uVar6 + uVar5 + BVar3" identifier = (binary_expression "uVar6 + uVar5 + BVar3" (binary_expression "uVar6 + uVar5" identifier + identifier) + identifier)) ;) (expression_statement "*pBVar7 = uVar2;" (assignment_expression "*pBVar7 = uVar2" (pointer_expression "*pBVar7" * identifier) = identifier) ;) (expression_statement "uVar5 = (uint)(uVar2 < uVar6) + (uint)(uVar5 + BVar3 < uVar5);" (assignment_expression "uVar5 = (uint)(uVar2 < uVar6) + (uint)(uVar5 + BVar3 < uVar5)" identifier = (binary_expression "(uint)(uVar2 < uVar6) + (uint)(uVar5 + BVar3 < uVar5)" (call_expression "(uint)(uVar2 < uVar6)" (parenthesized_expression "(uint)" ( identifier )) (argument_list "(uVar2 < uVar6)" ( (binary_expression "uVar2 < uVar6" identifier < identifier) ))) + (call_expression "(uint)(uVar5 + BVar3 < uVar5)" (parenthesized_expression "(uint)" ( identifier )) (argument_list "(uVar5 + BVar3 < uVar5)" ( (binary_expression "uVar5 + BVar3 < uVar5" (binary_expression "uVar5 + BVar3" identifier + identifier) < identifier) ))))) ;) (if_statement "if ((uVar2 != 0) && ((int)BVar8 < (int)BVar4)) {\n        BVar8 = BVar4;\n      }" if (parenthesized_expression "((uVar2 != 0) && ((int)BVar8 < (int)BVar4))" ( (binary_expression "(uVar2 != 0) && ((int)BVar8 < (int)BVar4)" (parenthesized_expression "(uVar2 != 0)" ( (binary_expression "uVar2 != 0" identifier != number_literal) )) && (parenthesized_expression "((int)BVar8 < (int)BVar4)" ( (binary_expression "(int)BVar8 < (int)BVar4" (cast_expression "(int)BVar8" ( (type_descriptor "int" primitive_type) ) identifier) < (cast_expression "(int)BVar4" ( (type_descriptor "int" primitive_type) ) identifier)) ))) )) (compound_statement "{\n        BVar8 = BVar4;\n      }" { (expression_statement "BVar8 = BVar4;" (assignment_expression "BVar8 = BVar4" identifier = identifier) ;) })) (expression_statement "BVar4 = BVar4 + 1;" (assignment_expression "BVar4 = BVar4 + 1" identifier = (binary_expression "BVar4 + 1" identifier + number_literal)) ;) }) while (parenthesized_expression "(BVar4 != BVar9 + 2)" ( (binary_expression "BVar4 != BVar9 + 2" identifier != (binary_expression "BVar9 + 2" identifier + number_literal)) )) ;) }))) (expression_statement "*pBVar1 = BVar8;" (assignment_expression "*pBVar1 = BVar8" (pointer_expression "*pBVar1" * identifier) = identifier) ;) (return_statement "return pBVar1;" return identifier ;) })))
(translation_unit "void bigadd(int *param_1,int *param_2)\n\n{\n  uint *puVar1;\n  uint uVar2;\n  int iVar3;\n  uint uVar4;\n  uint uVar5;\n  uint uVar6;\n  uint *puVar7;\n  uint uVar8;\n  int iVar9;\n  \n  iVar9 = *param_2;\n  if (*param_2 <= *param_1) {\n    iVar9 = *param_1;\n  }\n  puVar1 = (uint *)FUN_0005d738(iVar9 + 1);\n  if (iVar9 + 1 < 1) {\n    uVar8 = 0;\n  }\n  else {\n    uVar5 = 0;\n    uVar8 = 0;\n    uVar4 = 1;\n    puVar7 = puVar1;\n    do {\n      puVar7 = puVar7 + 1;\n      if (*param_1 < (int)uVar4) {\n        iVar3 = 0;\n      }\n      else {\n        iVar3 = param_1[uVar4];\n      }\n      if (*param_2 < (int)uVar4) {\n        uVar6 = 0;\n      }\n      else {\n        uVar6 = param_2[uVar4];\n      }\n      uVar2 = uVar6 + uVar5 + iVar3;\n      *puVar7 = uVar2;\n      uVar5 = (uint)(uVar2 < uVar6) + (uint)(uVar5 + iVar3 < uVar5);\n      if ((uVar2 != 0) && ((int)uVar8 < (int)uVar4)) {\n        uVar8 = uVar4;\n      }\n      uVar4 = uVar4 + 1;\n    } while (uVar4 != iVar9 + 2U);\n  }\n  *puVar1 = uVar8;\n  return;\n}\n\n" (function_definition "void bigadd(int *param_1,int *param_2)\n\n{\n  uint *puVar1;\n  uint uVar2;\n  int iVar3;\n  uint uVar4;\n  uint uVar5;\n  uint uVar6;\n  uint *puVar7;\n  uint uVar8;\n  int iVar9;\n  \n  iVar9 = *param_2;\n  if (*param_2 <= *param_1) {\n    iVar9 = *param_1;\n  }\n  puVar1 = (uint *)FUN_0005d738(iVar9 + 1);\n  if (iVar9 + 1 < 1) {\n    uVar8 = 0;\n  }\n  else {\n    uVar5 = 0;\n    uVar8 = 0;\n    uVar4 = 1;\n    puVar7 = puVar1;\n    do {\n      puVar7 = puVar7 + 1;\n      if (*param_1 < (int)uVar4) {\n        iVar3 = 0;\n      }\n      else {\n        iVar3 = param_1[uVar4];\n      }\n      if (*param_2 < (int)uVar4) {\n        uVar6 = 0;\n      }\n      else {\n        uVar6 = param_2[uVar4];\n      }\n      uVar2 = uVar6 + uVar5 + iVar3;\n      *puVar7 = uVar2;\n      uVar5 = (uint)(uVar2 < uVar6) + (uint)(uVar5 + iVar3 < uVar5);\n      if ((uVar2 != 0) && ((int)uVar8 < (int)uVar4)) {\n        uVar8 = uVar4;\n      }\n      uVar4 = uVar4 + 1;\n    } while (uVar4 != iVar9 + 2U);\n  }\n  *puVar1 = uVar8;\n  return;\n}" primitive_type (function_declarator "bigadd(int *param_1,int *param_2)" identifier (parameter_list "(int *param_1,int *param_2)" ( (parameter_declaration "int *param_1" primitive_type (pointer_declarator "*param_1" * identifier)) , (parameter_declaration "int *param_2" primitive_type (pointer_declarator "*param_2" * identifier)) ))) (compound_statement "{\n  uint *puVar1;\n  uint uVar2;\n  int iVar3;\n  uint uVar4;\n  uint uVar5;\n  uint uVar6;\n  uint *puVar7;\n  uint uVar8;\n  int iVar9;\n  \n  iVar9 = *param_2;\n  if (*param_2 <= *param_1) {\n    iVar9 = *param_1;\n  }\n  puVar1 = (uint *)FUN_0005d738(iVar9 + 1);\n  if (iVar9 + 1 < 1) {\n    uVar8 = 0;\n  }\n  else {\n    uVar5 = 0;\n    uVar8 = 0;\n    uVar4 = 1;\n    puVar7 = puVar1;\n    do {\n      puVar7 = puVar7 + 1;\n      if (*param_1 < (int)uVar4) {\n        iVar3 = 0;\n      }\n      else {\n        iVar3 = param_1[uVar4];\n      }\n      if (*param_2 < (int)uVar4) {\n        uVar6 = 0;\n      }\n      else {\n        uVar6 = param_2[uVar4];\n      }\n      uVar2 = uVar6 + uVar5 + iVar3;\n      *puVar7 = uVar2;\n      uVar5 = (uint)(uVar2 < uVar6) + (uint)(uVar5 + iVar3 < uVar5);\n      if ((uVar2 != 0) && ((int)uVar8 < (int)uVar4)) {\n        uVar8 = uVar4;\n      }\n      uVar4 = uVar4 + 1;\n    } while (uVar4 != iVar9 + 2U);\n  }\n  *puVar1 = uVar8;\n  return;\n}" { (declaration "uint *puVar1;" type_identifier (pointer_declarator "*puVar1" * identifier) ;) (declaration "uint uVar2;" type_identifier identifier ;) (declaration "int iVar3;" primitive_type identifier ;) (declaration "uint uVar4;" type_identifier identifier ;) (declaration "uint uVar5;" type_identifier identifier ;) (declaration "uint uVar6;" type_identifier identifier ;) (declaration "uint *puVar7;" type_identifier (pointer_declarator "*puVar7" * identifier) ;) (declaration "uint uVar8;" type_identifier identifier ;) (declaration "int iVar9;" primitive_type identifier ;) (expression_statement "iVar9 = *param_2;" (assignment_expression "iVar9 = *param_2" identifier = (pointer_expression "*param_2" * identifier)) ;) (if_statement "if (*param_2 <= *param_1) {\n    iVar9 = *param_1;\n  }" if (parenthesized_expression "(*param_2 <= *param_1)" ( (binary_expression "*param_2 <= *param_1" (pointer_expression "*param_2" * identifier) <= (pointer_expression "*param_1" * identifier)) )) (compound_statement "{\n    iVar9 = *param_1;\n  }" { (expression_statement "iVar9 = *param_1;" (assignment_expression "iVar9 = *param_1" identifier = (pointer_expression "*param_1" * identifier)) ;) })) (expression_statement "puVar1 = (uint *)FUN_0005d738(iVar9 + 1);" (assignment_expression "puVar1 = (uint *)FUN_0005d738(iVar9 + 1)" identifier = (cast_expression "(uint *)FUN_0005d738(iVar9 + 1)" ( (type_descriptor "uint *" type_identifier (abstract_pointer_declarator "*" *)) ) (call_expression "FUN_0005d738(iVar9 + 1)" identifier (argument_list "(iVar9 + 1)" ( (binary_expression "iVar9 + 1" identifier + number_literal) ))))) ;) (if_statement "if (iVar9 + 1 < 1) {\n    uVar8 = 0;\n  }\n  else {\n    uVar5 = 0;\n    uVar8 = 0;\n    uVar4 = 1;\n    puVar7 = puVar1;\n    do {\n      puVar7 = puVar7 + 1;\n      if (*param_1 < (int)uVar4) {\n        iVar3 = 0;\n      }\n      else {\n        iVar3 = param_1[uVar4];\n      }\n      if (*param_2 < (int)uVar4) {\n        uVar6 = 0;\n      }\n      else {\n        uVar6 = param_2[uVar4];\n      }\n      uVar2 = uVar6 + uVar5 + iVar3;\n      *puVar7 = uVar2;\n      uVar5 = (uint)(uVar2 < uVar6) + (uint)(uVar5 + iVar3 < uVar5);\n      if ((uVar2 != 0) && ((int)uVar8 < (int)uVar4)) {\n        uVar8 = uVar4;\n      }\n      uVar4 = uVar4 + 1;\n    } while (uVar4 != iVar9 + 2U);\n  }" if (parenthesized_expression "(iVar9 + 1 < 1)" ( (binary_expression "iVar9 + 1 < 1" (binary_expression "iVar9 + 1" identifier + number_literal) < number_literal) )) (compound_statement "{\n    uVar8 = 0;\n  }" { (expression_statement "uVar8 = 0;" (assignment_expression "uVar8 = 0" identifier = number_literal) ;) }) (else_clause "else {\n    uVar5 = 0;\n    uVar8 = 0;\n    uVar4 = 1;\n    puVar7 = puVar1;\n    do {\n      puVar7 = puVar7 + 1;\n      if (*param_1 < (int)uVar4) {\n        iVar3 = 0;\n      }\n      else {\n        iVar3 = param_1[uVar4];\n      }\n      if (*param_2 < (int)uVar4) {\n        uVar6 = 0;\n      }\n      else {\n        uVar6 = param_2[uVar4];\n      }\n      uVar2 = uVar6 + uVar5 + iVar3;\n      *puVar7 = uVar2;\n      uVar5 = (uint)(uVar2 < uVar6) + (uint)(uVar5 + iVar3 < uVar5);\n      if ((uVar2 != 0) && ((int)uVar8 < (int)uVar4)) {\n        uVar8 = uVar4;\n      }\n      uVar4 = uVar4 + 1;\n    } while (uVar4 != iVar9 + 2U);\n  }" else (compound_statement "{\n    uVar5 = 0;\n    uVar8 = 0;\n    uVar4 = 1;\n    puVar7 = puVar1;\n    do {\n      puVar7 = puVar7 + 1;\n      if (*param_1 < (int)uVar4) {\n        iVar3 = 0;\n      }\n      else {\n        iVar3 = param_1[uVar4];\n      }\n      if (*param_2 < (int)uVar4) {\n        uVar6 = 0;\n      }\n      else {\n        uVar6 = param_2[uVar4];\n      }\n      uVar2 = uVar6 + uVar5 + iVar3;\n      *puVar7 = uVar2;\n      uVar5 = (uint)(uVar2 < uVar6) + (uint)(uVar5 + iVar3 < uVar5);\n      if ((uVar2 != 0) && ((int)uVar8 < (int)uVar4)) {\n        uVar8 = uVar4;\n      }\n      uVar4 = uVar4 + 1;\n    } while (uVar4 != iVar9 + 2U);\n  }" { (expression_statement "uVar5 = 0;" (assignment_expression "uVar5 = 0" identifier = number_literal) ;) (expression_statement "uVar8 = 0;" (assignment_expression "uVar8 = 0" identifier = number_literal) ;) (expression_statement "uVar4 = 1;" (assignment_expression "uVar4 = 1" identifier = number_literal) ;) (expression_statement "puVar7 = puVar1;" (assignment_expression "puVar7 = puVar1" identifier = identifier) ;) (do_statement "do {\n      puVar7 = puVar7 + 1;\n      if (*param_1 < (int)uVar4) {\n        iVar3 = 0;\n      }\n      else {\n        iVar3 = param_1[uVar4];\n      }\n      if (*param_2 < (int)uVar4) {\n        uVar6 = 0;\n      }\n      else {\n        uVar6 = param_2[uVar4];\n      }\n      uVar2 = uVar6 + uVar5 + iVar3;\n      *puVar7 = uVar2;\n      uVar5 = (uint)(uVar2 < uVar6) + (uint)(uVar5 + iVar3 < uVar5);\n      if ((uVar2 != 0) && ((int)uVar8 < (int)uVar4)) {\n        uVar8 = uVar4;\n      }\n      uVar4 = uVar4 + 1;\n    } while (uVar4 != iVar9 + 2U);" do (compound_statement "{\n      puVar7 = puVar7 + 1;\n      if (*param_1 < (int)uVar4) {\n        iVar3 = 0;\n      }\n      else {\n        iVar3 = param_1[uVar4];\n      }\n      if (*param_2 < (int)uVar4) {\n        uVar6 = 0;\n      }\n      else {\n        uVar6 = param_2[uVar4];\n      }\n      uVar2 = uVar6 + uVar5 + iVar3;\n      *puVar7 = uVar2;\n      uVar5 = (uint)(uVar2 < uVar6) + (uint)(uVar5 + iVar3 < uVar5);\n      if ((uVar2 != 0) && ((int)uVar8 < (int)uVar4)) {\n        uVar8 = uVar4;\n      }\n      uVar4 = uVar4 + 1;\n    }" { (expression_statement "puVar7 = puVar7 + 1;" (assignment_expression "puVar7 = puVar7 + 1" identifier = (binary_expression "puVar7 + 1" identifier + number_literal)) ;) (if_statement "if (*param_1 < (int)uVar4) {\n        iVar3 = 0;\n      }\n      else {\n        iVar3 = param_1[uVar4];\n      }" if (parenthesized_expression "(*param_1 < (int)uVar4)" ( (binary_expression "*param_1 < (int)uVar4" (pointer_expression "*param_1" * identifier) < (cast_expression "(int)uVar4" ( (type_descriptor "int" primitive_type) ) identifier)) )) (compound_statement "{\n        iVar3 = 0;\n      }" { (expression_statement "iVar3 = 0;" (assignment_expression "iVar3 = 0" identifier = number_literal) ;) }) (else_clause "else {\n        iVar3 = param_1[uVar4];\n      }" else (compound_statement "{\n        iVar3 = param_1[uVar4];\n      }" { (expression_statement "iVar3 = param_1[uVar4];" (assignment_expression "iVar3 = param_1[uVar4]" identifier = (subscript_expression "param_1[uVar4]" identifier [ identifier ])) ;) }))) (if_statement "if (*param_2 < (int)uVar4) {\n        uVar6 = 0;\n      }\n      else {\n        uVar6 = param_2[uVar4];\n      }" if (parenthesized_expression "(*param_2 < (int)uVar4)" ( (binary_expression "*param_2 < (int)uVar4" (pointer_expression "*param_2" * identifier) < (cast_expression "(int)uVar4" ( (type_descriptor "int" primitive_type) ) identifier)) )) (compound_statement "{\n        uVar6 = 0;\n      }" { (expression_statement "uVar6 = 0;" (assignment_expression "uVar6 = 0" identifier = number_literal) ;) }) (else_clause "else {\n        uVar6 = param_2[uVar4];\n      }" else (compound_statement "{\n        uVar6 = param_2[uVar4];\n      }" { (expression_statement "uVar6 = param_2[uVar4];" (assignment_expression "uVar6 = param_2[uVar4]" identifier = (subscript_expression "param_2[uVar4]" identifier [ identifier ])) ;) }))) (expression_statement "uVar2 = uVar6 + uVar5 + iVar3;" (assignment_expression "uVar2 = uVar6 + uVar5 + iVar3" identifier = (binary_expression "uVar6 + uVar5 + iVar3" (binary_expression "uVar6 + uVar5" identifier + identifier) + identifier)) ;) (expression_statement "*puVar7 = uVar2;" (assignment_expression "*puVar7 = uVar2" (pointer_expression "*puVar7" * identifier) = identifier) ;) (expression_statement "uVar5 = (uint)(uVar2 < uVar6) + (uint)(uVar5 + iVar3 < uVar5);" (assignment_expression "uVar5 = (uint)(uVar2 < uVar6) + (uint)(uVar5 + iVar3 < uVar5)" identifier = (binary_expression "(uint)(uVar2 < uVar6) + (uint)(uVar5 + iVar3 < uVar5)" (call_expression "(uint)(uVar2 < uVar6)" (parenthesized_expression "(uint)" ( identifier )) (argument_list "(uVar2 < uVar6)" ( (binary_expression "uVar2 < uVar6" identifier < identifier) ))) + (call_expression "(uint)(uVar5 + iVar3 < uVar5)" (parenthesized_expression "(uint)" ( identifier )) (argument_list "(uVar5 + iVar3 < uVar5)" ( (binary_expression "uVar5 + iVar3 < uVar5" (binary_expression "uVar5 + iVar3" identifier + identifier) < identifier) ))))) ;) (if_statement "if ((uVar2 != 0) && ((int)uVar8 < (int)uVar4)) {\n        uVar8 = uVar4;\n      }" if (parenthesized_expression "((uVar2 != 0) && ((int)uVar8 < (int)uVar4))" ( (binary_expression "(uVar2 != 0) && ((int)uVar8 < (int)uVar4)" (parenthesized_expression "(uVar2 != 0)" ( (binary_expression "uVar2 != 0" identifier != number_literal) )) && (parenthesized_expression "((int)uVar8 < (int)uVar4)" ( (binary_expression "(int)uVar8 < (int)uVar4" (cast_expression "(int)uVar8" ( (type_descriptor "int" primitive_type) ) identifier) < (cast_expression "(int)uVar4" ( (type_descriptor "int" primitive_type) ) identifier)) ))) )) (compound_statement "{\n        uVar8 = uVar4;\n      }" { (expression_statement "uVar8 = uVar4;" (assignment_expression "uVar8 = uVar4" identifier = identifier) ;) })) (expression_statement "uVar4 = uVar4 + 1;" (assignment_expression "uVar4 = uVar4 + 1" identifier = (binary_expression "uVar4 + 1" identifier + number_literal)) ;) }) while (parenthesized_expression "(uVar4 != iVar9 + 2U)" ( (binary_expression "uVar4 != iVar9 + 2U" identifier != (binary_expression "iVar9 + 2U" identifier + number_literal)) )) ;) }))) (expression_statement "*puVar1 = uVar8;" (assignment_expression "*puVar1 = uVar8" (pointer_expression "*puVar1" * identifier) = identifier) ;) (return_statement "return;" return ;) })))
(translation_unit (function_definition TYPE (function_declarator IDENT (parameter_list ( (parameter_declaration TYPE (pointer_declarator * IDENT)) , (parameter_declaration TYPE (pointer_declarator * IDENT)) ))) (compound_statement { (declaration TYPE (pointer_declarator * IDENT) ;) (declaration TYPE IDENT ;) (declaration TYPE IDENT ;) (declaration TYPE IDENT ;) (declaration TYPE IDENT ;) (declaration TYPE IDENT ;) (declaration TYPE (pointer_declarator * IDENT) ;) (declaration TYPE IDENT ;) (declaration TYPE IDENT ;) (expression_statement (assignment_expression IDENT = (pointer_expression * IDENT)) ;) (if_statement if (parenthesized_expression ( (binary_expression (pointer_expression * IDENT) <= (pointer_expression * IDENT)) )) (compound_statement { (expression_statement (assignment_expression IDENT = (pointer_expression * IDENT)) ;) })) (expression_statement (assignment_expression IDENT = (cast_expression ( (type_descriptor TYPE (abstract_pointer_declarator *)) ) (call_expression IDENT (argument_list ( (binary_expression IDENT + LIT) ))))) ;) (if_statement if (parenthesized_expression ( (binary_expression (binary_expression IDENT + LIT) < LIT) )) (compound_statement { (expression_statement (assignment_expression IDENT = LIT) ;) }) (else_clause else (compound_statement { (expression_statement (assignment_expression IDENT = LIT) ;) (expression_statement (assignment_expression IDENT = LIT) ;) (expression_statement (assignment_expression IDENT = LIT) ;) (expression_statement (assignment_expression IDENT = IDENT) ;) (do_statement do (compound_statement { (expression_statement (assignment_expression IDENT = (binary_expression IDENT + LIT)) ;) (if_statement if (parenthesized_expression ( (binary_expression (pointer_expression * IDENT) < (cast_expression ( (type_descriptor TYPE) ) IDENT)) )) (compound_statement { (expression_statement (assignment_expression IDENT = LIT) ;) }) (else_clause else (compound_statement { (expression_statement (assignment_expression IDENT = (subscript_expression IDENT [ IDENT ])) ;) }))) (if_statement if (parenthesized_expression ( (binary_expression (pointer_expression * IDENT) < (cast_expression ( (type_descriptor TYPE) ) IDENT)) )) (compound_statement { (expression_statement (assignment_expression IDENT = LIT) ;) }) (else_clause else (compound_statement { (expression_statement (assignment_expression IDENT = (subscript_expression IDENT [ IDENT ])) ;) }))) (expression_statement (assignment_expression IDENT = (binary_expression (binary_expression IDENT + IDENT) + IDENT)) ;) (expression_statement (assignment_expression (pointer_expression * IDENT) = IDENT) ;) (expression_statement (assignment_expression IDENT = (binary_expression (call_expression (parenthesized_expression ( IDENT )) (argument_list ( (binary_expression IDENT < IDENT) ))) + (call_expression (parenthesized_expression ( IDENT )) (argument_list ( (binary_expression (binary_expression IDENT + IDENT) < IDENT) ))))) ;) (if_statement if (parenthesized_expression ( (binary_expression (parenthesized_expression ( (binary_expression IDENT != LIT) )) && (parenthesized_expression ( (binary_expression (cast_expression ( (type_descriptor TYPE) ) IDENT) < (cast_expression ( (type_descriptor TYPE) ) IDENT)) ))) )) (compound_statement { (expression_statement (assignment_expression IDENT = IDENT) ;) })) (expression_statement (assignment_expression IDENT = (binary_expression IDENT + LIT)) ;) }) while (parenthesized_expression ( (binary_expression IDENT != (binary_expression IDENT + LIT)) )) ;) }))) (expression_statement (assignment_expression (pointer_expression * IDENT) = IDENT) ;) (return_statement return ;) })))
(function_definition "void bigadd(int *param_1,int *param_2)\n\n{\n  uint *puVar1;\n  uint uVar2;\n  int iVar3;\n  uint uVar4;\n  uint uVar5;\n  uint uVar6;\n  uint *puVar7;\n  uint uVar8;\n  int iVar9;\n  \n  iVar9 = *param_2;\n  if (*param_2 <= *param_1) {\n    iVar9 = *param_1;\n  }\n  puVar1 = (uint *)FUN_0005d738(iVar9 + 1);\n  if (iVar9 + 1 < 1) {\n    uVar8 = 0;\n  }\n  else {\n    uVar5 = 0;\n    uVar8 = 0;\n    uVar4 = 1;\n    puVar7 = puVar1;\n    do {\n      puVar7 = puVar7 + 1;\n      if (*param_1 < (int)uVar4) {\n        iVar3 = 0;\n      }\n      else {\n        iVar3 = param_1[uVar4];\n      }\n      if (*param_2 < (int)uVar4) {\n        uVar6 = 0;\n      }\n      else {\n        uVar6 = param_2[uVar4];\n      }\n      uVar2 = uVar6 + uVar5 + iVar3;\n      *puVar7 = uVar2;\n      uVar5 = (uint)(uVar2 < uVar6) + (uint)(uVar5 + iVar3 < uVar5);\n      if ((uVar2 != 0) && ((int)uVar8 < (int)uVar4)) {\n        uVar8 = uVar4;\n      }\n      uVar4 = uVar4 + 1;\n    } while (uVar4 != iVar9 + 2U);\n  }\n  *puVar1 = uVar8;\n  return;\n}" (primitive_type "void") (function_declarator "bigadd(int *param_1,int *param_2)" (identifier "bigadd") (parameter_list "(int *param_1,int *param_2)" (( "(") (parameter_declaration "int *param_1" (primitive_type "int") (pointer_declarator "*param_1" (* "*") (identifier "param_1"))) (, ",") (parameter_declaration "int *param_2" (primitive_type "int") (pointer_declarator "*param_2" (* "*") (identifier "param_2"))) () ")"))) (compound_statement "{\n  uint *puVar1;\n  uint uVar2;\n  int iVar3;\n  uint uVar4;\n  uint uVar5;\n  uint uVar6;\n  uint *puVar7;\n  uint uVar8;\n  int iVar9;\n  \n  iVar9 = *param_2;\n  if (*param_2 <= *param_1) {\n    iVar9 = *param_1;\n  }\n  puVar1 = (uint *)FUN_0005d738(iVar9 + 1);\n  if (iVar9 + 1 < 1) {\n    uVar8 = 0;\n  }\n  else {\n    uVar5 = 0;\n    uVar8 = 0;\n    uVar4 = 1;\n    puVar7 = puVar1;\n    do {\n      puVar7 = puVar7 + 1;\n      if (*param_1 < (int)uVar4) {\n        iVar3 = 0;\n      }\n      else {\n        iVar3 = param_1[uVar4];\n      }\n      if (*param_2 < (int)uVar4) {\n        uVar6 = 0;\n      }\n      else {\n        uVar6 = param_2[uVar4];\n      }\n      uVar2 = uVar6 + uVar5 + iVar3;\n      *puVar7 = uVar2;\n      uVar5 = (uint)(uVar2 < uVar6) + (uint)(uVar5 + iVar3 < uVar5);\n      if ((uVar2 != 0) && ((int)uVar8 < (int)uVar4)) {\n        uVar8 = uVar4;\n      }\n      uVar4 = uVar4 + 1;\n    } while (uVar4 != iVar9 + 2U);\n  }\n  *puVar1 = uVar8;\n  return;\n}" ({ "{") (declaration "uint *puVar1;" (type_identifier "uint") (pointer_declarator "*puVar1" (* "*") (identifier "puVar1")) (; ";")) (declaration "uint uVar2;" (type_identifier "uint") (identifier "uVar2") (; ";")) (declaration "int iVar3;" (primitive_type "int") (identifier "iVar3") (; ";")) (declaration "uint uVar4;" (type_identifier "uint") (identifier "uVar4") (; ";")) (declaration "uint uVar5;" (type_identifier "uint") (identifier "uVar5") (; ";")) (declaration "uint uVar6;" (type_identifier "uint") (identifier "uVar6") (; ";")) (declaration "uint *puVar7;" (type_identifier "uint") (pointer_declarator "*puVar7" (* "*") (identifier "puVar7")) (; ";")) (declaration "uint uVar8;" (type_identifier "uint") (identifier "uVar8") (; ";")) (declaration "int iVar9;" (primitive_type "int") (identifier "iVar9") (; ";")) (expression_statement "iVar9 = *param_2;" (assignment_expression "iVar9 = *param_2" (identifier "iVar9") (= "=") (pointer_expression "*param_2" (* "*") (identifier "param_2"))) (; ";")) (if_statement "if (*param_2 <= *param_1) {\n    iVar9 = *param_1;\n  }" (if "if") (parenthesized_expression "(*param_2 <= *param_1)" (( "(") (binary_expression "*param_2 <= *param_1" (pointer_expression "*param_2" (* "*") (identifier "param_2")) (<= "<=") (pointer_expression "*param_1" (* "*") (identifier "param_1"))) () ")")) (compound_statement "{\n    iVar9 = *param_1;\n  }" ({ "{") (expression_statement "iVar9 = *param_1;" (assignment_expression "iVar9 = *param_1" (identifier "iVar9") (= "=") (pointer_expression "*param_1" (* "*") (identifier "param_1"))) (; ";")) (} "}"))) (expression_statement "puVar1 = (uint *)FUN_0005d738(iVar9 + 1);" (assignment_expression "puVar1 = (uint *)FUN_0005d738(iVar9 + 1)" (identifier "puVar1") (= "=") (cast_expression "(uint *)FUN_0005d738(iVar9 + 1)" (( "(") (type_descriptor "uint *" (type_identifier "uint") (abstract_pointer_declarator "*" (* "*"))) () ")") (call_expression "FUN_0005d738(iVar9 + 1)" (identifier "FUN_0005d738") (argument_list "(iVar9 + 1)" (( "(") (binary_expression "iVar9 + 1" (identifier "iVar9") (+ "+") (number_literal "1")) () ")"))))) (; ";")) (if_statement "if (iVar9 + 1 < 1) {\n    uVar8 = 0;\n  }\n  else {\n    uVar5 = 0;\n    uVar8 = 0;\n    uVar4 = 1;\n    puVar7 = puVar1;\n    do {\n      puVar7 = puVar7 + 1;\n      if (*param_1 < (int)uVar4) {\n        iVar3 = 0;\n      }\n      else {\n        iVar3 = param_1[uVar4];\n      }\n      if (*param_2 < (int)uVar4) {\n        uVar6 = 0;\n      }\n      else {\n        uVar6 = param_2[uVar4];\n      }\n      uVar2 = uVar6 + uVar5 + iVar3;\n      *puVar7 = uVar2;\n      uVar5 = (uint)(uVar2 < uVar6) + (uint)(uVar5 + iVar3 < uVar5);\n      if ((uVar2 != 0) && ((int)uVar8 < (int)uVar4)) {\n        uVar8 = uVar4;\n      }\n      uVar4 = uVar4 + 1;\n    } while (uVar4 != iVar9 + 2U);\n  }" (if "if") (parenthesized_expression "(iVar9 + 1 < 1)" (( "(") (binary_expression "iVar9 + 1 < 1" (binary_expression "iVar9 + 1" (identifier "iVar9") (+ "+") (number_literal "1")) (< "<") (number_literal "1")) () ")")) (compound_statement "{\n    uVar8 = 0;\n  }" ({ "{") (expression_statement "uVar8 = 0;" (assignment_expression "uVar8 = 0" (identifier "uVar8") (= "=") (number_literal "0")) (; ";")) (} "}")) (else_clause "else {\n    uVar5 = 0;\n    uVar8 = 0;\n    uVar4 = 1;\n    puVar7 = puVar1;\n    do {\n      puVar7 = puVar7 + 1;\n      if (*param_1 < (int)uVar4) {\n        iVar3 = 0;\n      }\n      else {\n        iVar3 = param_1[uVar4];\n      }\n      if (*param_2 < (int)uVar4) {\n        uVar6 = 0;\n      }\n      else {\n        uVar6 = param_2[uVar4];\n      }\n      uVar2 = uVar6 + uVar5 + iVar3;\n      *puVar7 = uVar2;\n      uVar5 = (uint)(uVar2 < uVar6) + (uint)(uVar5 + iVar3 < uVar5);\n      if ((uVar2 != 0) && ((int)uVar8 < (int)uVar4)) {\n        uVar8 = uVar4;\n      }\n      uVar4 = uVar4 + 1;\n    } while (uVar4 != iVar9 + 2U);\n  }" (else "else") (compound_statement "{\n    uVar5 = 0;\n    uVar8 = 0;\n    uVar4 = 1;\n    puVar7 = puVar1;\n    do {\n      puVar7 = puVar7 + 1;\n      if (*param_1 < (int)uVar4) {\n        iVar3 = 0;\n      }\n      else {\n        iVar3 = param_1[uVar4];\n      }\n      if (*param_2 < (int)uVar4) {\n        uVar6 = 0;\n      }\n      else {\n        uVar6 = param_2[uVar4];\n      }\n      uVar2 = uVar6 + uVar5 + iVar3;\n      *puVar7 = uVar2;\n      uVar5 = (uint)(uVar2 < uVar6) + (uint)(uVar5 + iVar3 < uVar5);\n      if ((uVar2 != 0) && ((int)uVar8 < (int)uVar4)) {\n        uVar8 = uVar4;\n      }\n      uVar4 = uVar4 + 1;\n    } while (uVar4 != iVar9 + 2U);\n  }" ({ "{") (expression_statement "uVar5 = 0;" (assignment_expression "uVar5 = 0" (identifier "uVar5") (= "=") (number_literal "0")) (; ";")) (expression_statement "uVar8 = 0;" (assignment_expression "uVar8 = 0" (identifier "uVar8") (= "=") (number_literal "0")) (; ";")) (expression_statement "uVar4 = 1;" (assignment_expression "uVar4 = 1" (identifier "uVar4") (= "=") (number_literal "1")) (; ";")) (expression_statement "puVar7 = puVar1;" (assignment_expression "puVar7 = puVar1" (identifier "puVar7") (= "=") (identifier "puVar1")) (; ";")) (do_statement "do {\n      puVar7 = puVar7 + 1;\n      if (*param_1 < (int)uVar4) {\n        iVar3 = 0;\n      }\n      else {\n        iVar3 = param_1[uVar4];\n      }\n      if (*param_2 < (int)uVar4) {\n        uVar6 = 0;\n      }\n      else {\n        uVar6 = param_2[uVar4];\n      }\n      uVar2 = uVar6 + uVar5 + iVar3;\n      *puVar7 = uVar2;\n      uVar5 = (uint)(uVar2 < uVar6) + (uint)(uVar5 + iVar3 < uVar5);\n      if ((uVar2 != 0) && ((int)uVar8 < (int)uVar4)) {\n        uVar8 = uVar4;\n      }\n      uVar4 = uVar4 + 1;\n    } while (uVar4 != iVar9 + 2U);" (do "do") (compound_statement "{\n      puVar7 = puVar7 + 1;\n      if (*param_1 < (int)uVar4) {\n        iVar3 = 0;\n      }\n      else {\n        iVar3 = param_1[uVar4];\n      }\n      if (*param_2 < (int)uVar4) {\n        uVar6 = 0;\n      }\n      else {\n        uVar6 = param_2[uVar4];\n      }\n      uVar2 = uVar6 + uVar5 + iVar3;\n      *puVar7 = uVar2;\n      uVar5 = (uint)(uVar2 < uVar6) + (uint)(uVar5 + iVar3 < uVar5);\n      if ((uVar2 != 0) && ((int)uVar8 < (int)uVar4)) {\n        uVar8 = uVar4;\n      }\n      uVar4 = uVar4 + 1;\n    }" ({ "{") (expression_statement "puVar7 = puVar7 + 1;" (assignment_expression "puVar7 = puVar7 + 1" (identifier "puVar7") (= "=") (binary_expression "puVar7 + 1" (identifier "puVar7") (+ "+") (number_literal "1"))) (; ";")) (if_statement "if (*param_1 < (int)uVar4) {\n        iVar3 = 0;\n      }\n      else {\n        iVar3 = param_1[uVar4];\n      }" (if "if") (parenthesized_expression "(*param_1 < (int)uVar4)" (( "(") (binary_expression "*param_1 < (int)uVar4" (pointer_expression "*param_1" (* "*") (identifier "param_1")) (< "<") (cast_expression "(int)uVar4" (( "(") (type_descriptor "int" (primitive_type "int")) () ")") (identifier "uVar4"))) () ")")) (compound_statement "{\n        iVar3 = 0;\n      }" ({ "{") (expression_statement "iVar3 = 0;" (assignment_expression "iVar3 = 0" (identifier "iVar3") (= "=") (number_literal "0")) (; ";")) (} "}")) (else_clause "else {\n        iVar3 = param_1[uVar4];\n      }" (else "else") (compound_statement "{\n        iVar3 = param_1[uVar4];\n      }" ({ "{") (expression_statement "iVar3 = param_1[uVar4];" (assignment_expression "iVar3 = param_1[uVar4]" (identifier "iVar3") (= "=") (subscript_expression "param_1[uVar4]" (identifier "param_1") ([ "[") (identifier "uVar4") (] "]"))) (; ";")) (} "}")))) (if_statement "if (*param_2 < (int)uVar4) {\n        uVar6 = 0;\n      }\n      else {\n        uVar6 = param_2[uVar4];\n      }" (if "if") (parenthesized_expression "(*param_2 < (int)uVar4)" (( "(") (binary_expression "*param_2 < (int)uVar4" (pointer_expression "*param_2" (* "*") (identifier "param_2")) (< "<") (cast_expression "(int)uVar4" (( "(") (type_descriptor "int" (primitive_type "int")) () ")") (identifier "uVar4"))) () ")")) (compound_statement "{\n        uVar6 = 0;\n      }" ({ "{") (expression_statement "uVar6 = 0;" (assignment_expression "uVar6 = 0" (identifier "uVar6") (= "=") (number_literal "0")) (; ";")) (} "}")) (else_clause "else {\n        uVar6 = param_2[uVar4];\n      }" (else "else") (compound_statement "{\n        uVar6 = param_2[uVar4];\n      }" ({ "{") (expression_statement "uVar6 = param_2[uVar4];" (assignment_expression "uVar6 = param_2[uVar4]" (identifier "uVar6") (= "=") (subscript_expression "param_2[uVar4]" (identifier "param_2") ([ "[") (identifier "uVar4") (] "]"))) (; ";")) (} "}")))) (expression_statement "uVar2 = uVar6 + uVar5 + iVar3;" (assignment_expression "uVar2 = uVar6 + uVar5 + iVar3" (identifier "uVar2") (= "=") (binary_expression "uVar6 + uVar5 + iVar3" (binary_expression "uVar6 + uVar5" (identifier "uVar6") (+ "+") (identifier "uVar5")) (+ "+") (identifier "iVar3"))) (; ";")) (expression_statement "*puVar7 = uVar2;" (assignment_expression "*puVar7 = uVar2" (pointer_expression "*puVar7" (* "*") (identifier "puVar7")) (= "=") (identifier "uVar2")) (; ";")) (expression_statement "uVar5 = (uint)(uVar2 < uVar6) + (uint)(uVar5 + iVar3 < uVar5);" (assignment_expression "uVar5 = (uint)(uVar2 < uVar6) + (uint)(uVar5 + iVar3 < uVar5)" (identifier "uVar5") (= "=") (binary_expression "(uint)(uVar2 < uVar6) + (uint)(uVar5 + iVar3 < uVar5)" (call_expression "(uint)(uVar2 < uVar6)" (parenthesized_expression "(uint)" (( "(") (identifier "uint") () ")")) (argument_list "(uVar2 < uVar6)" (( "(") (binary_expression "uVar2 < uVar6" (identifier "uVar2") (< "<") (identifier "uVar6")) () ")"))) (+ "+") (call_expression "(uint)(uVar5 + iVar3 < uVar5)" (parenthesized_expression "(uint)" (( "(") (identifier "uint") () ")")) (argument_list "(uVar5 + iVar3 < uVar5)" (( "(") (binary_expression "uVar5 + iVar3 < uVar5" (binary_expression "uVar5 + iVar3" (identifier "uVar5") (+ "+") (identifier "iVar3")) (< "<") (identifier "uVar5")) () ")"))))) (; ";")) (if_statement "if ((uVar2 != 0) && ((int)uVar8 < (int)uVar4)) {\n        uVar8 = uVar4;\n      }" (if "if") (parenthesized_expression "((uVar2 != 0) && ((int)uVar8 < (int)uVar4))" (( "(") (binary_expression "(uVar2 != 0) && ((int)uVar8 < (int)uVar4)" (parenthesized_expression "(uVar2 != 0)" (( "(") (binary_expression "uVar2 != 0" (identifier "uVar2") (!= "!=") (number_literal "0")) () ")")) (&& "&&") (parenthesized_expression "((int)uVar8 < (int)uVar4)" (( "(") (binary_expression "(int)uVar8 < (int)uVar4" (cast_expression "(int)uVar8" (( "(") (type_descriptor "int" (primitive_type "int")) () ")") (identifier "uVar8")) (< "<") (cast_expression "(int)uVar4" (( "(") (type_descriptor "int" (primitive_type "int")) () ")") (identifier "uVar4"))) () ")"))) () ")")) (compound_statement "{\n        uVar8 = uVar4;\n      }" ({ "{") (expression_statement "uVar8 = uVar4;" (assignment_expression "uVar8 = uVar4" (identifier "uVar8") (= "=") (identifier "uVar4")) (; ";")) (} "}"))) (expression_statement "uVar4 = uVar4 + 1;" (assignment_expression "uVar4 = uVar4 + 1" (identifier "uVar4") (= "=") (binary_expression "uVar4 + 1" (identifier "uVar4") (+ "+") (number_literal "1"))) (; ";")) (} "}")) (while "while") (parenthesized_expression "(uVar4 != iVar9 + 2U)" (( "(") (binary_expression "uVar4 != iVar9 + 2U" (identifier "uVar4") (!= "!=") (binary_expression "iVar9 + 2U" (identifier "iVar9") (+ "+") (number_literal "2U"))) () ")")) (; ";")) (} "}")))) (expression_statement "*puVar1 = uVar8;" (assignment_expression "*puVar1 = uVar8" (pointer_expression "*puVar1" (* "*") (identifier "puVar1")) (= "=") (identifier "uVar8")) (; ";")) (return_statement "return;" (return "return") (; ";")) (} "}")))

type_1 function_1(type_1 a,type_1 b)

{
  type_1 pBVar1;
  type_2 var_7;
  type_3 var_6;
  type_3 var_8;
  type_2 var_5;
  type_2 var_4;
  type_1 var_3;
  type_3 BVar8;
  type_3 var_2;
  
  var_2 = *b;
  if ((int)*b <= (int)*a) {
    var_2 = *a;
  }
  pBVar1 = var_1(var_2 + 1);
  if ((int)(var_2 + 1) < 1) {
    BVar8 = 0;
  }
  else {
    var_5 = 0;
    BVar8 = 0;
    var_8 = 1;
    var_3 = pBVar1;
    do {
      var_3 = var_3 + 1;
      if ((int)*a < (int)var_8) {
        var_6 = 0;
      }
      else {
        var_6 = a[var_8];
      }
      if ((int)*b < (int)var_8) {
        var_4 = 0;
      }
      else {
        var_4 = b[var_8];
      }
      var_7 = var_4 + var_5 + var_6;
      *var_3 = var_7;
      var_5 = (type_2)(var_7 < var_4) + (type_2)(var_5 + var_6 < var_5);
      if ((var_7 != 0) && ((int)BVar8 < (int)var_8)) {
        BVar8 = var_8;
      }
      var_8 = var_8 + 1;
    } while (var_8 != var_2 + 2);
  }
  *pBVar1 = BVar8;
  return pBVar1;
}


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

void MASKED(int *param_1,int *param_2)

{
  uint *puVar1;
  uint uVar2;
  int iVar3;
  uint uVar4;
  uint uVar5;
  uint uVar6;
  uint *puVar7;
  uint uVar8;
  int iVar9;
  
  iVar9 = *param_2;
  if (*param_2 <= *param_1) {
    iVar9 = *param_1;
  }
  puVar1 = (uint *)FUN_0005d738(iVar9 + 1);
  if (iVar9 + 1 < 1) {
    uVar8 = 0;
  }
  else {
    uVar5 = 0;
    uVar8 = 0;
    uVar4 = 1;
    puVar7 = puVar1;
    do {
      puVar7 = puVar7 + 1;
      if (*param_1 < (int)uVar4) {
        iVar3 = 0;
      }
      else {
        iVar3 = param_1[uVar4];
      }
      if (*param_2 < (int)uVar4) {
        uVar6 = 0;
      }
      else {
        uVar6 = param_2[uVar4];
      }
      uVar2 = uVar6 + uVar5 + iVar3;
      *puVar7 = uVar2;
      uVar5 = (uint)(uVar2 < uVar6) + (uint)(uVar5 + iVar3 < uVar5);
      if ((uVar2 != 0) && ((int)uVar8 < (int)uVar4)) {
        uVar8 = uVar4;
      }
      uVar4 = uVar4 + 1;
    } while (uVar4 != iVar9 + 2U);
  }
  *puVar1 = uVar8;
  return;
}

