
Bignum_conflict bigsub(Bignum_conflict a,Bignum_conflict b)

{
  Bignum_conflict b_00;
  BignumInt BVar1;
  uint uVar2;
  BignumInt BVar3;
  BignumInt BVar4;
  uint uVar5;
  uint uVar6;
  Bignum_conflict pBVar7;
  BignumInt length;
  
  length = *b;
  if ((int)*b <= (int)*a) {
    length = *a;
  }
  b_00 = newbn(length);
  if ((int)length < 1) {
    *b_00 = 0;
    return b_00;
  }
  uVar6 = 1;
  BVar3 = 0;
  BVar4 = 1;
  pBVar7 = b_00;
  do {
    pBVar7 = pBVar7 + 1;
    BVar1 = 0;
    if ((int)BVar4 <= (int)*a) {
      BVar1 = a[BVar4];
    }
    uVar5 = 0xffffffff;
    if ((int)BVar4 <= (int)*b) {
      uVar5 = ~b[BVar4];
    }
    uVar2 = uVar6 + BVar1;
    uVar5 = uVar2 + uVar5;
    *pBVar7 = uVar5;
    uVar6 = (uint)(uVar5 < uVar2) + (uint)(uVar2 < uVar6);
    if ((uVar5 != 0) && ((int)BVar3 < (int)BVar4)) {
      BVar3 = BVar4;
    }
    BVar4 = BVar4 + 1;
  } while (BVar4 != length + 1);
  *b_00 = BVar3;
  if (uVar6 != 0) {
    return b_00;
  }
                    /* WARNING: Subroutine does not return */
  freebn(b_00);
}



uint * bigsub(int *param_1,int *param_2)

{
  uint *puVar1;
  int iVar2;
  uint uVar3;
  uint uVar4;
  uint uVar5;
  uint uVar6;
  uint uVar7;
  uint *puVar8;
  int iVar9;
  
  iVar9 = *param_2;
  if (*param_2 <= *param_1) {
    iVar9 = *param_1;
  }
  puVar1 = (uint *)FUN_00056014(iVar9);
  if (0 < iVar9) {
    uVar7 = 1;
    uVar4 = 0;
    uVar5 = 1;
    puVar8 = puVar1;
    do {
      puVar8 = puVar8 + 1;
      iVar2 = 0;
      if ((int)uVar5 <= *param_1) {
        iVar2 = param_1[uVar5];
      }
      uVar6 = 0xffffffff;
      if ((int)uVar5 <= *param_2) {
        uVar6 = ~param_2[uVar5];
      }
      uVar3 = uVar7 + iVar2;
      uVar6 = uVar3 + uVar6;
      *puVar8 = uVar6;
      uVar7 = (uint)(uVar6 < uVar3) + (uint)(uVar3 < uVar7);
      if ((uVar6 != 0) && ((int)uVar4 < (int)uVar5)) {
        uVar4 = uVar5;
      }
      uVar5 = uVar5 + 1;
    } while (uVar5 != iVar9 + 1U);
    *puVar1 = uVar4;
    if (uVar7 == 0) {
      freebn(puVar1);
      puVar1 = (uint *)0x0;
    }
    return puVar1;
  }
  *puVar1 = 0;
  return puVar1;
}


lui gp,0x6
addiu gp,gp,-0x1d8
addu gp,gp,t9
addiu sp,sp,-0x28
lw v0,0x0(a0)
lw t9,-0x7ac4(gp)
sw s2,0x20(sp)
lw s2,0x0(a1)
addiu t9,t9,0x6014
sw gp,0x10(sp)
sw s1,0x1c(sp)
or s1,a1,zero
slt t4,v0,s2
sw s0,0x18(sp)
movz s2,v0,t4
or s0,a0,zero
sw ra,0x24(sp)
bal 0x00056014
_or a0,s2,zero
blez s2,0x00058424
_lw gp,0x10(sp)
addiu t3,v0,0x4
addiu t4,s2,0x1
li t1,0x1
or a1,zero,zero
li a2,0x1
lw t0,0x0(s0)
sll a3,a2,0x2
or v1,zero,zero
slt t0,t0,a2
bne t0,zero,0x000583ac
_addu a3,s0,a3
lw v1,0x0(a3)
lw t2,0x0(s1)
sll t0,a2,0x2
li a3,-0x1
slt t2,t2,a2
bne t2,zero,0x000583cc
_addu t0,s1,t0
lw a3,0x0(t0)
nor a3,zero,a3
addu v1,t1,v1
slt a0,a1,a2
addu a3,v1,a3
sltu t1,v1,t1
sltu v1,a3,v1
sw a3,0x0(t3)
addu v1,v1,t1
addiu t3,t3,0x4
beq a3,zero,0x000583f8
_or t1,v1,zero
movn a1,a2,a0
addiu a2,a2,0x1
bne a2,t4,0x00058390
_nop
beq v1,zero,0x00058440
_sw a1,0x0(v0)
lw ra,0x24(sp)
lw s2,0x20(sp)
lw s1,0x1c(sp)
lw s0,0x18(sp)
jr ra
_addiu sp,sp,0x28
lw ra,0x24(sp)
lw s2,0x20(sp)
lw s1,0x1c(sp)
lw s0,0x18(sp)
sw zero,0x0(v0)
jr ra
_addiu sp,sp,0x28
lw t9,-0x7a0c(gp)
bal 0x00056af4
_or a0,v0,zero
b 0x0005840c
_or v0,zero,zero
(translation_unit "uint * bigsub(int *param_1,int *param_2)\n\n{\n  uint *puVar1;\n  int iVar2;\n  uint uVar3;\n  uint uVar4;\n  uint uVar5;\n  uint uVar6;\n  uint uVar7;\n  uint *puVar8;\n  int iVar9;\n  \n  iVar9 = *param_2;\n  if (*param_2 <= *param_1) {\n    iVar9 = *param_1;\n  }\n  puVar1 = (uint *)FUN_00056014(iVar9);\n  if (0 < iVar9) {\n    uVar7 = 1;\n    uVar4 = 0;\n    uVar5 = 1;\n    puVar8 = puVar1;\n    do {\n      puVar8 = puVar8 + 1;\n      iVar2 = 0;\n      if ((int)uVar5 <= *param_1) {\n        iVar2 = param_1[uVar5];\n      }\n      uVar6 = 0xffffffff;\n      if ((int)uVar5 <= *param_2) {\n        uVar6 = ~param_2[uVar5];\n      }\n      uVar3 = uVar7 + iVar2;\n      uVar6 = uVar3 + uVar6;\n      *puVar8 = uVar6;\n      uVar7 = (uint)(uVar6 < uVar3) + (uint)(uVar3 < uVar7);\n      if ((uVar6 != 0) && ((int)uVar4 < (int)uVar5)) {\n        uVar4 = uVar5;\n      }\n      uVar5 = uVar5 + 1;\n    } while (uVar5 != iVar9 + 1U);\n    *puVar1 = uVar4;\n    if (uVar7 == 0) {\n      freebn(puVar1);\n      puVar1 = (uint *)0x0;\n    }\n    return puVar1;\n  }\n  *puVar1 = 0;\n  return puVar1;\n}\n\n" (function_definition "uint * bigsub(int *param_1,int *param_2)\n\n{\n  uint *puVar1;\n  int iVar2;\n  uint uVar3;\n  uint uVar4;\n  uint uVar5;\n  uint uVar6;\n  uint uVar7;\n  uint *puVar8;\n  int iVar9;\n  \n  iVar9 = *param_2;\n  if (*param_2 <= *param_1) {\n    iVar9 = *param_1;\n  }\n  puVar1 = (uint *)FUN_00056014(iVar9);\n  if (0 < iVar9) {\n    uVar7 = 1;\n    uVar4 = 0;\n    uVar5 = 1;\n    puVar8 = puVar1;\n    do {\n      puVar8 = puVar8 + 1;\n      iVar2 = 0;\n      if ((int)uVar5 <= *param_1) {\n        iVar2 = param_1[uVar5];\n      }\n      uVar6 = 0xffffffff;\n      if ((int)uVar5 <= *param_2) {\n        uVar6 = ~param_2[uVar5];\n      }\n      uVar3 = uVar7 + iVar2;\n      uVar6 = uVar3 + uVar6;\n      *puVar8 = uVar6;\n      uVar7 = (uint)(uVar6 < uVar3) + (uint)(uVar3 < uVar7);\n      if ((uVar6 != 0) && ((int)uVar4 < (int)uVar5)) {\n        uVar4 = uVar5;\n      }\n      uVar5 = uVar5 + 1;\n    } while (uVar5 != iVar9 + 1U);\n    *puVar1 = uVar4;\n    if (uVar7 == 0) {\n      freebn(puVar1);\n      puVar1 = (uint *)0x0;\n    }\n    return puVar1;\n  }\n  *puVar1 = 0;\n  return puVar1;\n}" type_identifier (pointer_declarator "* bigsub(int *param_1,int *param_2)" * (function_declarator "bigsub(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  int iVar2;\n  uint uVar3;\n  uint uVar4;\n  uint uVar5;\n  uint uVar6;\n  uint uVar7;\n  uint *puVar8;\n  int iVar9;\n  \n  iVar9 = *param_2;\n  if (*param_2 <= *param_1) {\n    iVar9 = *param_1;\n  }\n  puVar1 = (uint *)FUN_00056014(iVar9);\n  if (0 < iVar9) {\n    uVar7 = 1;\n    uVar4 = 0;\n    uVar5 = 1;\n    puVar8 = puVar1;\n    do {\n      puVar8 = puVar8 + 1;\n      iVar2 = 0;\n      if ((int)uVar5 <= *param_1) {\n        iVar2 = param_1[uVar5];\n      }\n      uVar6 = 0xffffffff;\n      if ((int)uVar5 <= *param_2) {\n        uVar6 = ~param_2[uVar5];\n      }\n      uVar3 = uVar7 + iVar2;\n      uVar6 = uVar3 + uVar6;\n      *puVar8 = uVar6;\n      uVar7 = (uint)(uVar6 < uVar3) + (uint)(uVar3 < uVar7);\n      if ((uVar6 != 0) && ((int)uVar4 < (int)uVar5)) {\n        uVar4 = uVar5;\n      }\n      uVar5 = uVar5 + 1;\n    } while (uVar5 != iVar9 + 1U);\n    *puVar1 = uVar4;\n    if (uVar7 == 0) {\n      freebn(puVar1);\n      puVar1 = (uint *)0x0;\n    }\n    return puVar1;\n  }\n  *puVar1 = 0;\n  return puVar1;\n}" { (declaration "uint *puVar1;" type_identifier (pointer_declarator "*puVar1" * identifier) ;) (declaration "int iVar2;" primitive_type identifier ;) (declaration "uint uVar3;" type_identifier identifier ;) (declaration "uint uVar4;" type_identifier identifier ;) (declaration "uint uVar5;" type_identifier identifier ;) (declaration "uint uVar6;" type_identifier identifier ;) (declaration "uint uVar7;" type_identifier identifier ;) (declaration "uint *puVar8;" type_identifier (pointer_declarator "*puVar8" * 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_00056014(iVar9);" (assignment_expression "puVar1 = (uint *)FUN_00056014(iVar9)" identifier = (cast_expression "(uint *)FUN_00056014(iVar9)" ( (type_descriptor "uint *" type_identifier (abstract_pointer_declarator "*" *)) ) (call_expression "FUN_00056014(iVar9)" identifier (argument_list "(iVar9)" ( identifier ))))) ;) (if_statement "if (0 < iVar9) {\n    uVar7 = 1;\n    uVar4 = 0;\n    uVar5 = 1;\n    puVar8 = puVar1;\n    do {\n      puVar8 = puVar8 + 1;\n      iVar2 = 0;\n      if ((int)uVar5 <= *param_1) {\n        iVar2 = param_1[uVar5];\n      }\n      uVar6 = 0xffffffff;\n      if ((int)uVar5 <= *param_2) {\n        uVar6 = ~param_2[uVar5];\n      }\n      uVar3 = uVar7 + iVar2;\n      uVar6 = uVar3 + uVar6;\n      *puVar8 = uVar6;\n      uVar7 = (uint)(uVar6 < uVar3) + (uint)(uVar3 < uVar7);\n      if ((uVar6 != 0) && ((int)uVar4 < (int)uVar5)) {\n        uVar4 = uVar5;\n      }\n      uVar5 = uVar5 + 1;\n    } while (uVar5 != iVar9 + 1U);\n    *puVar1 = uVar4;\n    if (uVar7 == 0) {\n      freebn(puVar1);\n      puVar1 = (uint *)0x0;\n    }\n    return puVar1;\n  }" if (parenthesized_expression "(0 < iVar9)" ( (binary_expression "0 < iVar9" number_literal < identifier) )) (compound_statement "{\n    uVar7 = 1;\n    uVar4 = 0;\n    uVar5 = 1;\n    puVar8 = puVar1;\n    do {\n      puVar8 = puVar8 + 1;\n      iVar2 = 0;\n      if ((int)uVar5 <= *param_1) {\n        iVar2 = param_1[uVar5];\n      }\n      uVar6 = 0xffffffff;\n      if ((int)uVar5 <= *param_2) {\n        uVar6 = ~param_2[uVar5];\n      }\n      uVar3 = uVar7 + iVar2;\n      uVar6 = uVar3 + uVar6;\n      *puVar8 = uVar6;\n      uVar7 = (uint)(uVar6 < uVar3) + (uint)(uVar3 < uVar7);\n      if ((uVar6 != 0) && ((int)uVar4 < (int)uVar5)) {\n        uVar4 = uVar5;\n      }\n      uVar5 = uVar5 + 1;\n    } while (uVar5 != iVar9 + 1U);\n    *puVar1 = uVar4;\n    if (uVar7 == 0) {\n      freebn(puVar1);\n      puVar1 = (uint *)0x0;\n    }\n    return puVar1;\n  }" { (expression_statement "uVar7 = 1;" (assignment_expression "uVar7 = 1" identifier = number_literal) ;) (expression_statement "uVar4 = 0;" (assignment_expression "uVar4 = 0" identifier = number_literal) ;) (expression_statement "uVar5 = 1;" (assignment_expression "uVar5 = 1" identifier = number_literal) ;) (expression_statement "puVar8 = puVar1;" (assignment_expression "puVar8 = puVar1" identifier = identifier) ;) (do_statement "do {\n      puVar8 = puVar8 + 1;\n      iVar2 = 0;\n      if ((int)uVar5 <= *param_1) {\n        iVar2 = param_1[uVar5];\n      }\n      uVar6 = 0xffffffff;\n      if ((int)uVar5 <= *param_2) {\n        uVar6 = ~param_2[uVar5];\n      }\n      uVar3 = uVar7 + iVar2;\n      uVar6 = uVar3 + uVar6;\n      *puVar8 = uVar6;\n      uVar7 = (uint)(uVar6 < uVar3) + (uint)(uVar3 < uVar7);\n      if ((uVar6 != 0) && ((int)uVar4 < (int)uVar5)) {\n        uVar4 = uVar5;\n      }\n      uVar5 = uVar5 + 1;\n    } while (uVar5 != iVar9 + 1U);" do (compound_statement "{\n      puVar8 = puVar8 + 1;\n      iVar2 = 0;\n      if ((int)uVar5 <= *param_1) {\n        iVar2 = param_1[uVar5];\n      }\n      uVar6 = 0xffffffff;\n      if ((int)uVar5 <= *param_2) {\n        uVar6 = ~param_2[uVar5];\n      }\n      uVar3 = uVar7 + iVar2;\n      uVar6 = uVar3 + uVar6;\n      *puVar8 = uVar6;\n      uVar7 = (uint)(uVar6 < uVar3) + (uint)(uVar3 < uVar7);\n      if ((uVar6 != 0) && ((int)uVar4 < (int)uVar5)) {\n        uVar4 = uVar5;\n      }\n      uVar5 = uVar5 + 1;\n    }" { (expression_statement "puVar8 = puVar8 + 1;" (assignment_expression "puVar8 = puVar8 + 1" identifier = (binary_expression "puVar8 + 1" identifier + number_literal)) ;) (expression_statement "iVar2 = 0;" (assignment_expression "iVar2 = 0" identifier = number_literal) ;) (if_statement "if ((int)uVar5 <= *param_1) {\n        iVar2 = param_1[uVar5];\n      }" if (parenthesized_expression "((int)uVar5 <= *param_1)" ( (binary_expression "(int)uVar5 <= *param_1" (cast_expression "(int)uVar5" ( (type_descriptor "int" primitive_type) ) identifier) <= (pointer_expression "*param_1" * identifier)) )) (compound_statement "{\n        iVar2 = param_1[uVar5];\n      }" { (expression_statement "iVar2 = param_1[uVar5];" (assignment_expression "iVar2 = param_1[uVar5]" identifier = (subscript_expression "param_1[uVar5]" identifier [ identifier ])) ;) })) (expression_statement "uVar6 = 0xffffffff;" (assignment_expression "uVar6 = 0xffffffff" identifier = number_literal) ;) (if_statement "if ((int)uVar5 <= *param_2) {\n        uVar6 = ~param_2[uVar5];\n      }" if (parenthesized_expression "((int)uVar5 <= *param_2)" ( (binary_expression "(int)uVar5 <= *param_2" (cast_expression "(int)uVar5" ( (type_descriptor "int" primitive_type) ) identifier) <= (pointer_expression "*param_2" * identifier)) )) (compound_statement "{\n        uVar6 = ~param_2[uVar5];\n      }" { (expression_statement "uVar6 = ~param_2[uVar5];" (assignment_expression "uVar6 = ~param_2[uVar5]" identifier = (unary_expression "~param_2[uVar5]" ~ (subscript_expression "param_2[uVar5]" identifier [ identifier ]))) ;) })) (expression_statement "uVar3 = uVar7 + iVar2;" (assignment_expression "uVar3 = uVar7 + iVar2" identifier = (binary_expression "uVar7 + iVar2" identifier + identifier)) ;) (expression_statement "uVar6 = uVar3 + uVar6;" (assignment_expression "uVar6 = uVar3 + uVar6" identifier = (binary_expression "uVar3 + uVar6" identifier + identifier)) ;) (expression_statement "*puVar8 = uVar6;" (assignment_expression "*puVar8 = uVar6" (pointer_expression "*puVar8" * identifier) = identifier) ;) (expression_statement "uVar7 = (uint)(uVar6 < uVar3) + (uint)(uVar3 < uVar7);" (assignment_expression "uVar7 = (uint)(uVar6 < uVar3) + (uint)(uVar3 < uVar7)" identifier = (binary_expression "(uint)(uVar6 < uVar3) + (uint)(uVar3 < uVar7)" (call_expression "(uint)(uVar6 < uVar3)" (parenthesized_expression "(uint)" ( identifier )) (argument_list "(uVar6 < uVar3)" ( (binary_expression "uVar6 < uVar3" identifier < identifier) ))) + (call_expression "(uint)(uVar3 < uVar7)" (parenthesized_expression "(uint)" ( identifier )) (argument_list "(uVar3 < uVar7)" ( (binary_expression "uVar3 < uVar7" identifier < identifier) ))))) ;) (if_statement "if ((uVar6 != 0) && ((int)uVar4 < (int)uVar5)) {\n        uVar4 = uVar5;\n      }" if (parenthesized_expression "((uVar6 != 0) && ((int)uVar4 < (int)uVar5))" ( (binary_expression "(uVar6 != 0) && ((int)uVar4 < (int)uVar5)" (parenthesized_expression "(uVar6 != 0)" ( (binary_expression "uVar6 != 0" identifier != number_literal) )) && (parenthesized_expression "((int)uVar4 < (int)uVar5)" ( (binary_expression "(int)uVar4 < (int)uVar5" (cast_expression "(int)uVar4" ( (type_descriptor "int" primitive_type) ) identifier) < (cast_expression "(int)uVar5" ( (type_descriptor "int" primitive_type) ) identifier)) ))) )) (compound_statement "{\n        uVar4 = uVar5;\n      }" { (expression_statement "uVar4 = uVar5;" (assignment_expression "uVar4 = uVar5" identifier = identifier) ;) })) (expression_statement "uVar5 = uVar5 + 1;" (assignment_expression "uVar5 = uVar5 + 1" identifier = (binary_expression "uVar5 + 1" identifier + number_literal)) ;) }) while (parenthesized_expression "(uVar5 != iVar9 + 1U)" ( (binary_expression "uVar5 != iVar9 + 1U" identifier != (binary_expression "iVar9 + 1U" identifier + number_literal)) )) ;) (expression_statement "*puVar1 = uVar4;" (assignment_expression "*puVar1 = uVar4" (pointer_expression "*puVar1" * identifier) = identifier) ;) (if_statement "if (uVar7 == 0) {\n      freebn(puVar1);\n      puVar1 = (uint *)0x0;\n    }" if (parenthesized_expression "(uVar7 == 0)" ( (binary_expression "uVar7 == 0" identifier == number_literal) )) (compound_statement "{\n      freebn(puVar1);\n      puVar1 = (uint *)0x0;\n    }" { (expression_statement "freebn(puVar1);" (call_expression "freebn(puVar1)" identifier (argument_list "(puVar1)" ( identifier ))) ;) (expression_statement "puVar1 = (uint *)0x0;" (assignment_expression "puVar1 = (uint *)0x0" identifier = (cast_expression "(uint *)0x0" ( (type_descriptor "uint *" type_identifier (abstract_pointer_declarator "*" *)) ) number_literal)) ;) })) (return_statement "return puVar1;" return identifier ;) })) (expression_statement "*puVar1 = 0;" (assignment_expression "*puVar1 = 0" (pointer_expression "*puVar1" * identifier) = number_literal) ;) (return_statement "return puVar1;" return identifier ;) })))
(translation_unit "Bignum_conflict bigsub(Bignum_conflict a,Bignum_conflict b)\n\n{\n  Bignum_conflict b_00;\n  BignumInt BVar1;\n  uint uVar2;\n  BignumInt BVar3;\n  BignumInt BVar4;\n  uint uVar5;\n  uint uVar6;\n  Bignum_conflict pBVar7;\n  BignumInt length;\n  \n  length = *b;\n  if ((int)*b <= (int)*a) {\n    length = *a;\n  }\n  b_00 = newbn(length);\n  if ((int)length < 1) {\n    *b_00 = 0;\n    return b_00;\n  }\n  uVar6 = 1;\n  BVar3 = 0;\n  BVar4 = 1;\n  pBVar7 = b_00;\n  do {\n    pBVar7 = pBVar7 + 1;\n    BVar1 = 0;\n    if ((int)BVar4 <= (int)*a) {\n      BVar1 = a[BVar4];\n    }\n    uVar5 = 0xffffffff;\n    if ((int)BVar4 <= (int)*b) {\n      uVar5 = ~b[BVar4];\n    }\n    uVar2 = uVar6 + BVar1;\n    uVar5 = uVar2 + uVar5;\n    *pBVar7 = uVar5;\n    uVar6 = (uint)(uVar5 < uVar2) + (uint)(uVar2 < uVar6);\n    if ((uVar5 != 0) && ((int)BVar3 < (int)BVar4)) {\n      BVar3 = BVar4;\n    }\n    BVar4 = BVar4 + 1;\n  } while (BVar4 != length + 1);\n  *b_00 = BVar3;\n  if (uVar6 != 0) {\n    return b_00;\n  }\n                    /* WARNING: Subroutine does not return */\n  freebn(b_00);\n}\n\n" (function_definition "Bignum_conflict bigsub(Bignum_conflict a,Bignum_conflict b)\n\n{\n  Bignum_conflict b_00;\n  BignumInt BVar1;\n  uint uVar2;\n  BignumInt BVar3;\n  BignumInt BVar4;\n  uint uVar5;\n  uint uVar6;\n  Bignum_conflict pBVar7;\n  BignumInt length;\n  \n  length = *b;\n  if ((int)*b <= (int)*a) {\n    length = *a;\n  }\n  b_00 = newbn(length);\n  if ((int)length < 1) {\n    *b_00 = 0;\n    return b_00;\n  }\n  uVar6 = 1;\n  BVar3 = 0;\n  BVar4 = 1;\n  pBVar7 = b_00;\n  do {\n    pBVar7 = pBVar7 + 1;\n    BVar1 = 0;\n    if ((int)BVar4 <= (int)*a) {\n      BVar1 = a[BVar4];\n    }\n    uVar5 = 0xffffffff;\n    if ((int)BVar4 <= (int)*b) {\n      uVar5 = ~b[BVar4];\n    }\n    uVar2 = uVar6 + BVar1;\n    uVar5 = uVar2 + uVar5;\n    *pBVar7 = uVar5;\n    uVar6 = (uint)(uVar5 < uVar2) + (uint)(uVar2 < uVar6);\n    if ((uVar5 != 0) && ((int)BVar3 < (int)BVar4)) {\n      BVar3 = BVar4;\n    }\n    BVar4 = BVar4 + 1;\n  } while (BVar4 != length + 1);\n  *b_00 = BVar3;\n  if (uVar6 != 0) {\n    return b_00;\n  }\n                    /* WARNING: Subroutine does not return */\n  freebn(b_00);\n}" type_identifier (function_declarator "bigsub(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 b_00;\n  BignumInt BVar1;\n  uint uVar2;\n  BignumInt BVar3;\n  BignumInt BVar4;\n  uint uVar5;\n  uint uVar6;\n  Bignum_conflict pBVar7;\n  BignumInt length;\n  \n  length = *b;\n  if ((int)*b <= (int)*a) {\n    length = *a;\n  }\n  b_00 = newbn(length);\n  if ((int)length < 1) {\n    *b_00 = 0;\n    return b_00;\n  }\n  uVar6 = 1;\n  BVar3 = 0;\n  BVar4 = 1;\n  pBVar7 = b_00;\n  do {\n    pBVar7 = pBVar7 + 1;\n    BVar1 = 0;\n    if ((int)BVar4 <= (int)*a) {\n      BVar1 = a[BVar4];\n    }\n    uVar5 = 0xffffffff;\n    if ((int)BVar4 <= (int)*b) {\n      uVar5 = ~b[BVar4];\n    }\n    uVar2 = uVar6 + BVar1;\n    uVar5 = uVar2 + uVar5;\n    *pBVar7 = uVar5;\n    uVar6 = (uint)(uVar5 < uVar2) + (uint)(uVar2 < uVar6);\n    if ((uVar5 != 0) && ((int)BVar3 < (int)BVar4)) {\n      BVar3 = BVar4;\n    }\n    BVar4 = BVar4 + 1;\n  } while (BVar4 != length + 1);\n  *b_00 = BVar3;\n  if (uVar6 != 0) {\n    return b_00;\n  }\n                    /* WARNING: Subroutine does not return */\n  freebn(b_00);\n}" { (declaration "Bignum_conflict b_00;" type_identifier identifier ;) (declaration "BignumInt BVar1;" 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 length;" type_identifier identifier ;) (expression_statement "length = *b;" (assignment_expression "length = *b" identifier = (pointer_expression "*b" * identifier)) ;) (if_statement "if ((int)*b <= (int)*a) {\n    length = *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    length = *a;\n  }" { (expression_statement "length = *a;" (assignment_expression "length = *a" identifier = (pointer_expression "*a" * identifier)) ;) })) (expression_statement "b_00 = newbn(length);" (assignment_expression "b_00 = newbn(length)" identifier = (call_expression "newbn(length)" identifier (argument_list "(length)" ( identifier )))) ;) (if_statement "if ((int)length < 1) {\n    *b_00 = 0;\n    return b_00;\n  }" if (parenthesized_expression "((int)length < 1)" ( (binary_expression "(int)length < 1" (cast_expression "(int)length" ( (type_descriptor "int" primitive_type) ) identifier) < number_literal) )) (compound_statement "{\n    *b_00 = 0;\n    return b_00;\n  }" { (expression_statement "*b_00 = 0;" (assignment_expression "*b_00 = 0" (pointer_expression "*b_00" * identifier) = number_literal) ;) (return_statement "return b_00;" return identifier ;) })) (expression_statement "uVar6 = 1;" (assignment_expression "uVar6 = 1" identifier = number_literal) ;) (expression_statement "BVar3 = 0;" (assignment_expression "BVar3 = 0" identifier = number_literal) ;) (expression_statement "BVar4 = 1;" (assignment_expression "BVar4 = 1" identifier = number_literal) ;) (expression_statement "pBVar7 = b_00;" (assignment_expression "pBVar7 = b_00" identifier = identifier) ;) (do_statement "do {\n    pBVar7 = pBVar7 + 1;\n    BVar1 = 0;\n    if ((int)BVar4 <= (int)*a) {\n      BVar1 = a[BVar4];\n    }\n    uVar5 = 0xffffffff;\n    if ((int)BVar4 <= (int)*b) {\n      uVar5 = ~b[BVar4];\n    }\n    uVar2 = uVar6 + BVar1;\n    uVar5 = uVar2 + uVar5;\n    *pBVar7 = uVar5;\n    uVar6 = (uint)(uVar5 < uVar2) + (uint)(uVar2 < uVar6);\n    if ((uVar5 != 0) && ((int)BVar3 < (int)BVar4)) {\n      BVar3 = BVar4;\n    }\n    BVar4 = BVar4 + 1;\n  } while (BVar4 != length + 1);" do (compound_statement "{\n    pBVar7 = pBVar7 + 1;\n    BVar1 = 0;\n    if ((int)BVar4 <= (int)*a) {\n      BVar1 = a[BVar4];\n    }\n    uVar5 = 0xffffffff;\n    if ((int)BVar4 <= (int)*b) {\n      uVar5 = ~b[BVar4];\n    }\n    uVar2 = uVar6 + BVar1;\n    uVar5 = uVar2 + uVar5;\n    *pBVar7 = uVar5;\n    uVar6 = (uint)(uVar5 < uVar2) + (uint)(uVar2 < uVar6);\n    if ((uVar5 != 0) && ((int)BVar3 < (int)BVar4)) {\n      BVar3 = 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)) ;) (expression_statement "BVar1 = 0;" (assignment_expression "BVar1 = 0" identifier = number_literal) ;) (if_statement "if ((int)BVar4 <= (int)*a) {\n      BVar1 = a[BVar4];\n    }" if (parenthesized_expression "((int)BVar4 <= (int)*a)" ( (binary_expression "(int)BVar4 <= (int)*a" (cast_expression "(int)BVar4" ( (type_descriptor "int" primitive_type) ) identifier) <= (cast_expression "(int)*a" ( (type_descriptor "int" primitive_type) ) (pointer_expression "*a" * identifier))) )) (compound_statement "{\n      BVar1 = a[BVar4];\n    }" { (expression_statement "BVar1 = a[BVar4];" (assignment_expression "BVar1 = a[BVar4]" identifier = (subscript_expression "a[BVar4]" identifier [ identifier ])) ;) })) (expression_statement "uVar5 = 0xffffffff;" (assignment_expression "uVar5 = 0xffffffff" identifier = number_literal) ;) (if_statement "if ((int)BVar4 <= (int)*b) {\n      uVar5 = ~b[BVar4];\n    }" if (parenthesized_expression "((int)BVar4 <= (int)*b)" ( (binary_expression "(int)BVar4 <= (int)*b" (cast_expression "(int)BVar4" ( (type_descriptor "int" primitive_type) ) identifier) <= (cast_expression "(int)*b" ( (type_descriptor "int" primitive_type) ) (pointer_expression "*b" * identifier))) )) (compound_statement "{\n      uVar5 = ~b[BVar4];\n    }" { (expression_statement "uVar5 = ~b[BVar4];" (assignment_expression "uVar5 = ~b[BVar4]" identifier = (unary_expression "~b[BVar4]" ~ (subscript_expression "b[BVar4]" identifier [ identifier ]))) ;) })) (expression_statement "uVar2 = uVar6 + BVar1;" (assignment_expression "uVar2 = uVar6 + BVar1" identifier = (binary_expression "uVar6 + BVar1" identifier + identifier)) ;) (expression_statement "uVar5 = uVar2 + uVar5;" (assignment_expression "uVar5 = uVar2 + uVar5" identifier = (binary_expression "uVar2 + uVar5" identifier + identifier)) ;) (expression_statement "*pBVar7 = uVar5;" (assignment_expression "*pBVar7 = uVar5" (pointer_expression "*pBVar7" * identifier) = identifier) ;) (expression_statement "uVar6 = (uint)(uVar5 < uVar2) + (uint)(uVar2 < uVar6);" (assignment_expression "uVar6 = (uint)(uVar5 < uVar2) + (uint)(uVar2 < uVar6)" identifier = (binary_expression "(uint)(uVar5 < uVar2) + (uint)(uVar2 < uVar6)" (call_expression "(uint)(uVar5 < uVar2)" (parenthesized_expression "(uint)" ( identifier )) (argument_list "(uVar5 < uVar2)" ( (binary_expression "uVar5 < uVar2" identifier < identifier) ))) + (call_expression "(uint)(uVar2 < uVar6)" (parenthesized_expression "(uint)" ( identifier )) (argument_list "(uVar2 < uVar6)" ( (binary_expression "uVar2 < uVar6" identifier < identifier) ))))) ;) (if_statement "if ((uVar5 != 0) && ((int)BVar3 < (int)BVar4)) {\n      BVar3 = BVar4;\n    }" if (parenthesized_expression "((uVar5 != 0) && ((int)BVar3 < (int)BVar4))" ( (binary_expression "(uVar5 != 0) && ((int)BVar3 < (int)BVar4)" (parenthesized_expression "(uVar5 != 0)" ( (binary_expression "uVar5 != 0" identifier != number_literal) )) && (parenthesized_expression "((int)BVar3 < (int)BVar4)" ( (binary_expression "(int)BVar3 < (int)BVar4" (cast_expression "(int)BVar3" ( (type_descriptor "int" primitive_type) ) identifier) < (cast_expression "(int)BVar4" ( (type_descriptor "int" primitive_type) ) identifier)) ))) )) (compound_statement "{\n      BVar3 = BVar4;\n    }" { (expression_statement "BVar3 = BVar4;" (assignment_expression "BVar3 = 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 != length + 1)" ( (binary_expression "BVar4 != length + 1" identifier != (binary_expression "length + 1" identifier + number_literal)) )) ;) (expression_statement "*b_00 = BVar3;" (assignment_expression "*b_00 = BVar3" (pointer_expression "*b_00" * identifier) = identifier) ;) (if_statement "if (uVar6 != 0) {\n    return b_00;\n  }" if (parenthesized_expression "(uVar6 != 0)" ( (binary_expression "uVar6 != 0" identifier != number_literal) )) (compound_statement "{\n    return b_00;\n  }" { (return_statement "return b_00;" return identifier ;) })) comment (expression_statement "freebn(b_00);" (call_expression "freebn(b_00)" identifier (argument_list "(b_00)" ( identifier ))) ;) })))
(translation_unit "uint * bigsub(int *param_1,int *param_2)\n\n{\n  uint *puVar1;\n  int iVar2;\n  uint uVar3;\n  uint uVar4;\n  uint uVar5;\n  uint uVar6;\n  uint uVar7;\n  uint *puVar8;\n  int iVar9;\n  \n  iVar9 = *param_2;\n  if (*param_2 <= *param_1) {\n    iVar9 = *param_1;\n  }\n  puVar1 = (uint *)FUN_00056014(iVar9);\n  if (0 < iVar9) {\n    uVar7 = 1;\n    uVar4 = 0;\n    uVar5 = 1;\n    puVar8 = puVar1;\n    do {\n      puVar8 = puVar8 + 1;\n      iVar2 = 0;\n      if ((int)uVar5 <= *param_1) {\n        iVar2 = param_1[uVar5];\n      }\n      uVar6 = 0xffffffff;\n      if ((int)uVar5 <= *param_2) {\n        uVar6 = ~param_2[uVar5];\n      }\n      uVar3 = uVar7 + iVar2;\n      uVar6 = uVar3 + uVar6;\n      *puVar8 = uVar6;\n      uVar7 = (uint)(uVar6 < uVar3) + (uint)(uVar3 < uVar7);\n      if ((uVar6 != 0) && ((int)uVar4 < (int)uVar5)) {\n        uVar4 = uVar5;\n      }\n      uVar5 = uVar5 + 1;\n    } while (uVar5 != iVar9 + 1U);\n    *puVar1 = uVar4;\n    if (uVar7 == 0) {\n      freebn(puVar1);\n      puVar1 = (uint *)0x0;\n    }\n    return puVar1;\n  }\n  *puVar1 = 0;\n  return puVar1;\n}\n\n" (function_definition "uint * bigsub(int *param_1,int *param_2)\n\n{\n  uint *puVar1;\n  int iVar2;\n  uint uVar3;\n  uint uVar4;\n  uint uVar5;\n  uint uVar6;\n  uint uVar7;\n  uint *puVar8;\n  int iVar9;\n  \n  iVar9 = *param_2;\n  if (*param_2 <= *param_1) {\n    iVar9 = *param_1;\n  }\n  puVar1 = (uint *)FUN_00056014(iVar9);\n  if (0 < iVar9) {\n    uVar7 = 1;\n    uVar4 = 0;\n    uVar5 = 1;\n    puVar8 = puVar1;\n    do {\n      puVar8 = puVar8 + 1;\n      iVar2 = 0;\n      if ((int)uVar5 <= *param_1) {\n        iVar2 = param_1[uVar5];\n      }\n      uVar6 = 0xffffffff;\n      if ((int)uVar5 <= *param_2) {\n        uVar6 = ~param_2[uVar5];\n      }\n      uVar3 = uVar7 + iVar2;\n      uVar6 = uVar3 + uVar6;\n      *puVar8 = uVar6;\n      uVar7 = (uint)(uVar6 < uVar3) + (uint)(uVar3 < uVar7);\n      if ((uVar6 != 0) && ((int)uVar4 < (int)uVar5)) {\n        uVar4 = uVar5;\n      }\n      uVar5 = uVar5 + 1;\n    } while (uVar5 != iVar9 + 1U);\n    *puVar1 = uVar4;\n    if (uVar7 == 0) {\n      freebn(puVar1);\n      puVar1 = (uint *)0x0;\n    }\n    return puVar1;\n  }\n  *puVar1 = 0;\n  return puVar1;\n}" type_identifier (pointer_declarator "* bigsub(int *param_1,int *param_2)" * (function_declarator "bigsub(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  int iVar2;\n  uint uVar3;\n  uint uVar4;\n  uint uVar5;\n  uint uVar6;\n  uint uVar7;\n  uint *puVar8;\n  int iVar9;\n  \n  iVar9 = *param_2;\n  if (*param_2 <= *param_1) {\n    iVar9 = *param_1;\n  }\n  puVar1 = (uint *)FUN_00056014(iVar9);\n  if (0 < iVar9) {\n    uVar7 = 1;\n    uVar4 = 0;\n    uVar5 = 1;\n    puVar8 = puVar1;\n    do {\n      puVar8 = puVar8 + 1;\n      iVar2 = 0;\n      if ((int)uVar5 <= *param_1) {\n        iVar2 = param_1[uVar5];\n      }\n      uVar6 = 0xffffffff;\n      if ((int)uVar5 <= *param_2) {\n        uVar6 = ~param_2[uVar5];\n      }\n      uVar3 = uVar7 + iVar2;\n      uVar6 = uVar3 + uVar6;\n      *puVar8 = uVar6;\n      uVar7 = (uint)(uVar6 < uVar3) + (uint)(uVar3 < uVar7);\n      if ((uVar6 != 0) && ((int)uVar4 < (int)uVar5)) {\n        uVar4 = uVar5;\n      }\n      uVar5 = uVar5 + 1;\n    } while (uVar5 != iVar9 + 1U);\n    *puVar1 = uVar4;\n    if (uVar7 == 0) {\n      freebn(puVar1);\n      puVar1 = (uint *)0x0;\n    }\n    return puVar1;\n  }\n  *puVar1 = 0;\n  return puVar1;\n}" { (declaration "uint *puVar1;" type_identifier (pointer_declarator "*puVar1" * identifier) ;) (declaration "int iVar2;" primitive_type identifier ;) (declaration "uint uVar3;" type_identifier identifier ;) (declaration "uint uVar4;" type_identifier identifier ;) (declaration "uint uVar5;" type_identifier identifier ;) (declaration "uint uVar6;" type_identifier identifier ;) (declaration "uint uVar7;" type_identifier identifier ;) (declaration "uint *puVar8;" type_identifier (pointer_declarator "*puVar8" * 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_00056014(iVar9);" (assignment_expression "puVar1 = (uint *)FUN_00056014(iVar9)" identifier = (cast_expression "(uint *)FUN_00056014(iVar9)" ( (type_descriptor "uint *" type_identifier (abstract_pointer_declarator "*" *)) ) (call_expression "FUN_00056014(iVar9)" identifier (argument_list "(iVar9)" ( identifier ))))) ;) (if_statement "if (0 < iVar9) {\n    uVar7 = 1;\n    uVar4 = 0;\n    uVar5 = 1;\n    puVar8 = puVar1;\n    do {\n      puVar8 = puVar8 + 1;\n      iVar2 = 0;\n      if ((int)uVar5 <= *param_1) {\n        iVar2 = param_1[uVar5];\n      }\n      uVar6 = 0xffffffff;\n      if ((int)uVar5 <= *param_2) {\n        uVar6 = ~param_2[uVar5];\n      }\n      uVar3 = uVar7 + iVar2;\n      uVar6 = uVar3 + uVar6;\n      *puVar8 = uVar6;\n      uVar7 = (uint)(uVar6 < uVar3) + (uint)(uVar3 < uVar7);\n      if ((uVar6 != 0) && ((int)uVar4 < (int)uVar5)) {\n        uVar4 = uVar5;\n      }\n      uVar5 = uVar5 + 1;\n    } while (uVar5 != iVar9 + 1U);\n    *puVar1 = uVar4;\n    if (uVar7 == 0) {\n      freebn(puVar1);\n      puVar1 = (uint *)0x0;\n    }\n    return puVar1;\n  }" if (parenthesized_expression "(0 < iVar9)" ( (binary_expression "0 < iVar9" number_literal < identifier) )) (compound_statement "{\n    uVar7 = 1;\n    uVar4 = 0;\n    uVar5 = 1;\n    puVar8 = puVar1;\n    do {\n      puVar8 = puVar8 + 1;\n      iVar2 = 0;\n      if ((int)uVar5 <= *param_1) {\n        iVar2 = param_1[uVar5];\n      }\n      uVar6 = 0xffffffff;\n      if ((int)uVar5 <= *param_2) {\n        uVar6 = ~param_2[uVar5];\n      }\n      uVar3 = uVar7 + iVar2;\n      uVar6 = uVar3 + uVar6;\n      *puVar8 = uVar6;\n      uVar7 = (uint)(uVar6 < uVar3) + (uint)(uVar3 < uVar7);\n      if ((uVar6 != 0) && ((int)uVar4 < (int)uVar5)) {\n        uVar4 = uVar5;\n      }\n      uVar5 = uVar5 + 1;\n    } while (uVar5 != iVar9 + 1U);\n    *puVar1 = uVar4;\n    if (uVar7 == 0) {\n      freebn(puVar1);\n      puVar1 = (uint *)0x0;\n    }\n    return puVar1;\n  }" { (expression_statement "uVar7 = 1;" (assignment_expression "uVar7 = 1" identifier = number_literal) ;) (expression_statement "uVar4 = 0;" (assignment_expression "uVar4 = 0" identifier = number_literal) ;) (expression_statement "uVar5 = 1;" (assignment_expression "uVar5 = 1" identifier = number_literal) ;) (expression_statement "puVar8 = puVar1;" (assignment_expression "puVar8 = puVar1" identifier = identifier) ;) (do_statement "do {\n      puVar8 = puVar8 + 1;\n      iVar2 = 0;\n      if ((int)uVar5 <= *param_1) {\n        iVar2 = param_1[uVar5];\n      }\n      uVar6 = 0xffffffff;\n      if ((int)uVar5 <= *param_2) {\n        uVar6 = ~param_2[uVar5];\n      }\n      uVar3 = uVar7 + iVar2;\n      uVar6 = uVar3 + uVar6;\n      *puVar8 = uVar6;\n      uVar7 = (uint)(uVar6 < uVar3) + (uint)(uVar3 < uVar7);\n      if ((uVar6 != 0) && ((int)uVar4 < (int)uVar5)) {\n        uVar4 = uVar5;\n      }\n      uVar5 = uVar5 + 1;\n    } while (uVar5 != iVar9 + 1U);" do (compound_statement "{\n      puVar8 = puVar8 + 1;\n      iVar2 = 0;\n      if ((int)uVar5 <= *param_1) {\n        iVar2 = param_1[uVar5];\n      }\n      uVar6 = 0xffffffff;\n      if ((int)uVar5 <= *param_2) {\n        uVar6 = ~param_2[uVar5];\n      }\n      uVar3 = uVar7 + iVar2;\n      uVar6 = uVar3 + uVar6;\n      *puVar8 = uVar6;\n      uVar7 = (uint)(uVar6 < uVar3) + (uint)(uVar3 < uVar7);\n      if ((uVar6 != 0) && ((int)uVar4 < (int)uVar5)) {\n        uVar4 = uVar5;\n      }\n      uVar5 = uVar5 + 1;\n    }" { (expression_statement "puVar8 = puVar8 + 1;" (assignment_expression "puVar8 = puVar8 + 1" identifier = (binary_expression "puVar8 + 1" identifier + number_literal)) ;) (expression_statement "iVar2 = 0;" (assignment_expression "iVar2 = 0" identifier = number_literal) ;) (if_statement "if ((int)uVar5 <= *param_1) {\n        iVar2 = param_1[uVar5];\n      }" if (parenthesized_expression "((int)uVar5 <= *param_1)" ( (binary_expression "(int)uVar5 <= *param_1" (cast_expression "(int)uVar5" ( (type_descriptor "int" primitive_type) ) identifier) <= (pointer_expression "*param_1" * identifier)) )) (compound_statement "{\n        iVar2 = param_1[uVar5];\n      }" { (expression_statement "iVar2 = param_1[uVar5];" (assignment_expression "iVar2 = param_1[uVar5]" identifier = (subscript_expression "param_1[uVar5]" identifier [ identifier ])) ;) })) (expression_statement "uVar6 = 0xffffffff;" (assignment_expression "uVar6 = 0xffffffff" identifier = number_literal) ;) (if_statement "if ((int)uVar5 <= *param_2) {\n        uVar6 = ~param_2[uVar5];\n      }" if (parenthesized_expression "((int)uVar5 <= *param_2)" ( (binary_expression "(int)uVar5 <= *param_2" (cast_expression "(int)uVar5" ( (type_descriptor "int" primitive_type) ) identifier) <= (pointer_expression "*param_2" * identifier)) )) (compound_statement "{\n        uVar6 = ~param_2[uVar5];\n      }" { (expression_statement "uVar6 = ~param_2[uVar5];" (assignment_expression "uVar6 = ~param_2[uVar5]" identifier = (unary_expression "~param_2[uVar5]" ~ (subscript_expression "param_2[uVar5]" identifier [ identifier ]))) ;) })) (expression_statement "uVar3 = uVar7 + iVar2;" (assignment_expression "uVar3 = uVar7 + iVar2" identifier = (binary_expression "uVar7 + iVar2" identifier + identifier)) ;) (expression_statement "uVar6 = uVar3 + uVar6;" (assignment_expression "uVar6 = uVar3 + uVar6" identifier = (binary_expression "uVar3 + uVar6" identifier + identifier)) ;) (expression_statement "*puVar8 = uVar6;" (assignment_expression "*puVar8 = uVar6" (pointer_expression "*puVar8" * identifier) = identifier) ;) (expression_statement "uVar7 = (uint)(uVar6 < uVar3) + (uint)(uVar3 < uVar7);" (assignment_expression "uVar7 = (uint)(uVar6 < uVar3) + (uint)(uVar3 < uVar7)" identifier = (binary_expression "(uint)(uVar6 < uVar3) + (uint)(uVar3 < uVar7)" (call_expression "(uint)(uVar6 < uVar3)" (parenthesized_expression "(uint)" ( identifier )) (argument_list "(uVar6 < uVar3)" ( (binary_expression "uVar6 < uVar3" identifier < identifier) ))) + (call_expression "(uint)(uVar3 < uVar7)" (parenthesized_expression "(uint)" ( identifier )) (argument_list "(uVar3 < uVar7)" ( (binary_expression "uVar3 < uVar7" identifier < identifier) ))))) ;) (if_statement "if ((uVar6 != 0) && ((int)uVar4 < (int)uVar5)) {\n        uVar4 = uVar5;\n      }" if (parenthesized_expression "((uVar6 != 0) && ((int)uVar4 < (int)uVar5))" ( (binary_expression "(uVar6 != 0) && ((int)uVar4 < (int)uVar5)" (parenthesized_expression "(uVar6 != 0)" ( (binary_expression "uVar6 != 0" identifier != number_literal) )) && (parenthesized_expression "((int)uVar4 < (int)uVar5)" ( (binary_expression "(int)uVar4 < (int)uVar5" (cast_expression "(int)uVar4" ( (type_descriptor "int" primitive_type) ) identifier) < (cast_expression "(int)uVar5" ( (type_descriptor "int" primitive_type) ) identifier)) ))) )) (compound_statement "{\n        uVar4 = uVar5;\n      }" { (expression_statement "uVar4 = uVar5;" (assignment_expression "uVar4 = uVar5" identifier = identifier) ;) })) (expression_statement "uVar5 = uVar5 + 1;" (assignment_expression "uVar5 = uVar5 + 1" identifier = (binary_expression "uVar5 + 1" identifier + number_literal)) ;) }) while (parenthesized_expression "(uVar5 != iVar9 + 1U)" ( (binary_expression "uVar5 != iVar9 + 1U" identifier != (binary_expression "iVar9 + 1U" identifier + number_literal)) )) ;) (expression_statement "*puVar1 = uVar4;" (assignment_expression "*puVar1 = uVar4" (pointer_expression "*puVar1" * identifier) = identifier) ;) (if_statement "if (uVar7 == 0) {\n      freebn(puVar1);\n      puVar1 = (uint *)0x0;\n    }" if (parenthesized_expression "(uVar7 == 0)" ( (binary_expression "uVar7 == 0" identifier == number_literal) )) (compound_statement "{\n      freebn(puVar1);\n      puVar1 = (uint *)0x0;\n    }" { (expression_statement "freebn(puVar1);" (call_expression "freebn(puVar1)" identifier (argument_list "(puVar1)" ( identifier ))) ;) (expression_statement "puVar1 = (uint *)0x0;" (assignment_expression "puVar1 = (uint *)0x0" identifier = (cast_expression "(uint *)0x0" ( (type_descriptor "uint *" type_identifier (abstract_pointer_declarator "*" *)) ) number_literal)) ;) })) (return_statement "return puVar1;" return identifier ;) })) (expression_statement "*puVar1 = 0;" (assignment_expression "*puVar1 = 0" (pointer_expression "*puVar1" * identifier) = number_literal) ;) (return_statement "return puVar1;" return identifier ;) })))
(translation_unit (function_definition TYPE (pointer_declarator * (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 IDENT ;) (declaration TYPE (pointer_declarator * 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 ( IDENT ))))) ;) (if_statement if (parenthesized_expression ( (binary_expression LIT < IDENT) )) (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)) ;) (expression_statement (assignment_expression IDENT = LIT) ;) (if_statement if (parenthesized_expression ( (binary_expression (cast_expression ( (type_descriptor TYPE) ) IDENT) <= (pointer_expression * IDENT)) )) (compound_statement { (expression_statement (assignment_expression IDENT = (subscript_expression IDENT [ IDENT ])) ;) })) (expression_statement (assignment_expression IDENT = LIT) ;) (if_statement if (parenthesized_expression ( (binary_expression (cast_expression ( (type_descriptor TYPE) ) IDENT) <= (pointer_expression * IDENT)) )) (compound_statement { (expression_statement (assignment_expression IDENT = (unary_expression ~ (subscript_expression IDENT [ IDENT ]))) ;) })) (expression_statement (assignment_expression IDENT = (binary_expression IDENT + IDENT)) ;) (expression_statement (assignment_expression IDENT = (binary_expression 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 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) ;) (if_statement if (parenthesized_expression ( (binary_expression IDENT == LIT) )) (compound_statement { (expression_statement (call_expression IDENT (argument_list ( IDENT ))) ;) (expression_statement (assignment_expression IDENT = (cast_expression ( (type_descriptor TYPE (abstract_pointer_declarator *)) ) LIT)) ;) })) (return_statement return IDENT ;) })) (expression_statement (assignment_expression (pointer_expression * IDENT) = LIT) ;) (return_statement return IDENT ;) })))
(function_definition "uint * bigsub(int *param_1,int *param_2)\n\n{\n  uint *puVar1;\n  int iVar2;\n  uint uVar3;\n  uint uVar4;\n  uint uVar5;\n  uint uVar6;\n  uint uVar7;\n  uint *puVar8;\n  int iVar9;\n  \n  iVar9 = *param_2;\n  if (*param_2 <= *param_1) {\n    iVar9 = *param_1;\n  }\n  puVar1 = (uint *)FUN_00056014(iVar9);\n  if (0 < iVar9) {\n    uVar7 = 1;\n    uVar4 = 0;\n    uVar5 = 1;\n    puVar8 = puVar1;\n    do {\n      puVar8 = puVar8 + 1;\n      iVar2 = 0;\n      if ((int)uVar5 <= *param_1) {\n        iVar2 = param_1[uVar5];\n      }\n      uVar6 = 0xffffffff;\n      if ((int)uVar5 <= *param_2) {\n        uVar6 = ~param_2[uVar5];\n      }\n      uVar3 = uVar7 + iVar2;\n      uVar6 = uVar3 + uVar6;\n      *puVar8 = uVar6;\n      uVar7 = (uint)(uVar6 < uVar3) + (uint)(uVar3 < uVar7);\n      if ((uVar6 != 0) && ((int)uVar4 < (int)uVar5)) {\n        uVar4 = uVar5;\n      }\n      uVar5 = uVar5 + 1;\n    } while (uVar5 != iVar9 + 1U);\n    *puVar1 = uVar4;\n    if (uVar7 == 0) {\n      freebn(puVar1);\n      puVar1 = (uint *)0x0;\n    }\n    return puVar1;\n  }\n  *puVar1 = 0;\n  return puVar1;\n}" (type_identifier "uint") (pointer_declarator "* bigsub(int *param_1,int *param_2)" (* "*") (function_declarator "bigsub(int *param_1,int *param_2)" (identifier "bigsub") (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  int iVar2;\n  uint uVar3;\n  uint uVar4;\n  uint uVar5;\n  uint uVar6;\n  uint uVar7;\n  uint *puVar8;\n  int iVar9;\n  \n  iVar9 = *param_2;\n  if (*param_2 <= *param_1) {\n    iVar9 = *param_1;\n  }\n  puVar1 = (uint *)FUN_00056014(iVar9);\n  if (0 < iVar9) {\n    uVar7 = 1;\n    uVar4 = 0;\n    uVar5 = 1;\n    puVar8 = puVar1;\n    do {\n      puVar8 = puVar8 + 1;\n      iVar2 = 0;\n      if ((int)uVar5 <= *param_1) {\n        iVar2 = param_1[uVar5];\n      }\n      uVar6 = 0xffffffff;\n      if ((int)uVar5 <= *param_2) {\n        uVar6 = ~param_2[uVar5];\n      }\n      uVar3 = uVar7 + iVar2;\n      uVar6 = uVar3 + uVar6;\n      *puVar8 = uVar6;\n      uVar7 = (uint)(uVar6 < uVar3) + (uint)(uVar3 < uVar7);\n      if ((uVar6 != 0) && ((int)uVar4 < (int)uVar5)) {\n        uVar4 = uVar5;\n      }\n      uVar5 = uVar5 + 1;\n    } while (uVar5 != iVar9 + 1U);\n    *puVar1 = uVar4;\n    if (uVar7 == 0) {\n      freebn(puVar1);\n      puVar1 = (uint *)0x0;\n    }\n    return puVar1;\n  }\n  *puVar1 = 0;\n  return puVar1;\n}" ({ "{") (declaration "uint *puVar1;" (type_identifier "uint") (pointer_declarator "*puVar1" (* "*") (identifier "puVar1")) (; ";")) (declaration "int iVar2;" (primitive_type "int") (identifier "iVar2") (; ";")) (declaration "uint uVar3;" (type_identifier "uint") (identifier "uVar3") (; ";")) (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 uVar7;" (type_identifier "uint") (identifier "uVar7") (; ";")) (declaration "uint *puVar8;" (type_identifier "uint") (pointer_declarator "*puVar8" (* "*") (identifier "puVar8")) (; ";")) (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_00056014(iVar9);" (assignment_expression "puVar1 = (uint *)FUN_00056014(iVar9)" (identifier "puVar1") (= "=") (cast_expression "(uint *)FUN_00056014(iVar9)" (( "(") (type_descriptor "uint *" (type_identifier "uint") (abstract_pointer_declarator "*" (* "*"))) () ")") (call_expression "FUN_00056014(iVar9)" (identifier "FUN_00056014") (argument_list "(iVar9)" (( "(") (identifier "iVar9") () ")"))))) (; ";")) (if_statement "if (0 < iVar9) {\n    uVar7 = 1;\n    uVar4 = 0;\n    uVar5 = 1;\n    puVar8 = puVar1;\n    do {\n      puVar8 = puVar8 + 1;\n      iVar2 = 0;\n      if ((int)uVar5 <= *param_1) {\n        iVar2 = param_1[uVar5];\n      }\n      uVar6 = 0xffffffff;\n      if ((int)uVar5 <= *param_2) {\n        uVar6 = ~param_2[uVar5];\n      }\n      uVar3 = uVar7 + iVar2;\n      uVar6 = uVar3 + uVar6;\n      *puVar8 = uVar6;\n      uVar7 = (uint)(uVar6 < uVar3) + (uint)(uVar3 < uVar7);\n      if ((uVar6 != 0) && ((int)uVar4 < (int)uVar5)) {\n        uVar4 = uVar5;\n      }\n      uVar5 = uVar5 + 1;\n    } while (uVar5 != iVar9 + 1U);\n    *puVar1 = uVar4;\n    if (uVar7 == 0) {\n      freebn(puVar1);\n      puVar1 = (uint *)0x0;\n    }\n    return puVar1;\n  }" (if "if") (parenthesized_expression "(0 < iVar9)" (( "(") (binary_expression "0 < iVar9" (number_literal "0") (< "<") (identifier "iVar9")) () ")")) (compound_statement "{\n    uVar7 = 1;\n    uVar4 = 0;\n    uVar5 = 1;\n    puVar8 = puVar1;\n    do {\n      puVar8 = puVar8 + 1;\n      iVar2 = 0;\n      if ((int)uVar5 <= *param_1) {\n        iVar2 = param_1[uVar5];\n      }\n      uVar6 = 0xffffffff;\n      if ((int)uVar5 <= *param_2) {\n        uVar6 = ~param_2[uVar5];\n      }\n      uVar3 = uVar7 + iVar2;\n      uVar6 = uVar3 + uVar6;\n      *puVar8 = uVar6;\n      uVar7 = (uint)(uVar6 < uVar3) + (uint)(uVar3 < uVar7);\n      if ((uVar6 != 0) && ((int)uVar4 < (int)uVar5)) {\n        uVar4 = uVar5;\n      }\n      uVar5 = uVar5 + 1;\n    } while (uVar5 != iVar9 + 1U);\n    *puVar1 = uVar4;\n    if (uVar7 == 0) {\n      freebn(puVar1);\n      puVar1 = (uint *)0x0;\n    }\n    return puVar1;\n  }" ({ "{") (expression_statement "uVar7 = 1;" (assignment_expression "uVar7 = 1" (identifier "uVar7") (= "=") (number_literal "1")) (; ";")) (expression_statement "uVar4 = 0;" (assignment_expression "uVar4 = 0" (identifier "uVar4") (= "=") (number_literal "0")) (; ";")) (expression_statement "uVar5 = 1;" (assignment_expression "uVar5 = 1" (identifier "uVar5") (= "=") (number_literal "1")) (; ";")) (expression_statement "puVar8 = puVar1;" (assignment_expression "puVar8 = puVar1" (identifier "puVar8") (= "=") (identifier "puVar1")) (; ";")) (do_statement "do {\n      puVar8 = puVar8 + 1;\n      iVar2 = 0;\n      if ((int)uVar5 <= *param_1) {\n        iVar2 = param_1[uVar5];\n      }\n      uVar6 = 0xffffffff;\n      if ((int)uVar5 <= *param_2) {\n        uVar6 = ~param_2[uVar5];\n      }\n      uVar3 = uVar7 + iVar2;\n      uVar6 = uVar3 + uVar6;\n      *puVar8 = uVar6;\n      uVar7 = (uint)(uVar6 < uVar3) + (uint)(uVar3 < uVar7);\n      if ((uVar6 != 0) && ((int)uVar4 < (int)uVar5)) {\n        uVar4 = uVar5;\n      }\n      uVar5 = uVar5 + 1;\n    } while (uVar5 != iVar9 + 1U);" (do "do") (compound_statement "{\n      puVar8 = puVar8 + 1;\n      iVar2 = 0;\n      if ((int)uVar5 <= *param_1) {\n        iVar2 = param_1[uVar5];\n      }\n      uVar6 = 0xffffffff;\n      if ((int)uVar5 <= *param_2) {\n        uVar6 = ~param_2[uVar5];\n      }\n      uVar3 = uVar7 + iVar2;\n      uVar6 = uVar3 + uVar6;\n      *puVar8 = uVar6;\n      uVar7 = (uint)(uVar6 < uVar3) + (uint)(uVar3 < uVar7);\n      if ((uVar6 != 0) && ((int)uVar4 < (int)uVar5)) {\n        uVar4 = uVar5;\n      }\n      uVar5 = uVar5 + 1;\n    }" ({ "{") (expression_statement "puVar8 = puVar8 + 1;" (assignment_expression "puVar8 = puVar8 + 1" (identifier "puVar8") (= "=") (binary_expression "puVar8 + 1" (identifier "puVar8") (+ "+") (number_literal "1"))) (; ";")) (expression_statement "iVar2 = 0;" (assignment_expression "iVar2 = 0" (identifier "iVar2") (= "=") (number_literal "0")) (; ";")) (if_statement "if ((int)uVar5 <= *param_1) {\n        iVar2 = param_1[uVar5];\n      }" (if "if") (parenthesized_expression "((int)uVar5 <= *param_1)" (( "(") (binary_expression "(int)uVar5 <= *param_1" (cast_expression "(int)uVar5" (( "(") (type_descriptor "int" (primitive_type "int")) () ")") (identifier "uVar5")) (<= "<=") (pointer_expression "*param_1" (* "*") (identifier "param_1"))) () ")")) (compound_statement "{\n        iVar2 = param_1[uVar5];\n      }" ({ "{") (expression_statement "iVar2 = param_1[uVar5];" (assignment_expression "iVar2 = param_1[uVar5]" (identifier "iVar2") (= "=") (subscript_expression "param_1[uVar5]" (identifier "param_1") ([ "[") (identifier "uVar5") (] "]"))) (; ";")) (} "}"))) (expression_statement "uVar6 = 0xffffffff;" (assignment_expression "uVar6 = 0xffffffff" (identifier "uVar6") (= "=") (number_literal "0xffffffff")) (; ";")) (if_statement "if ((int)uVar5 <= *param_2) {\n        uVar6 = ~param_2[uVar5];\n      }" (if "if") (parenthesized_expression "((int)uVar5 <= *param_2)" (( "(") (binary_expression "(int)uVar5 <= *param_2" (cast_expression "(int)uVar5" (( "(") (type_descriptor "int" (primitive_type "int")) () ")") (identifier "uVar5")) (<= "<=") (pointer_expression "*param_2" (* "*") (identifier "param_2"))) () ")")) (compound_statement "{\n        uVar6 = ~param_2[uVar5];\n      }" ({ "{") (expression_statement "uVar6 = ~param_2[uVar5];" (assignment_expression "uVar6 = ~param_2[uVar5]" (identifier "uVar6") (= "=") (unary_expression "~param_2[uVar5]" (~ "~") (subscript_expression "param_2[uVar5]" (identifier "param_2") ([ "[") (identifier "uVar5") (] "]")))) (; ";")) (} "}"))) (expression_statement "uVar3 = uVar7 + iVar2;" (assignment_expression "uVar3 = uVar7 + iVar2" (identifier "uVar3") (= "=") (binary_expression "uVar7 + iVar2" (identifier "uVar7") (+ "+") (identifier "iVar2"))) (; ";")) (expression_statement "uVar6 = uVar3 + uVar6;" (assignment_expression "uVar6 = uVar3 + uVar6" (identifier "uVar6") (= "=") (binary_expression "uVar3 + uVar6" (identifier "uVar3") (+ "+") (identifier "uVar6"))) (; ";")) (expression_statement "*puVar8 = uVar6;" (assignment_expression "*puVar8 = uVar6" (pointer_expression "*puVar8" (* "*") (identifier "puVar8")) (= "=") (identifier "uVar6")) (; ";")) (expression_statement "uVar7 = (uint)(uVar6 < uVar3) + (uint)(uVar3 < uVar7);" (assignment_expression "uVar7 = (uint)(uVar6 < uVar3) + (uint)(uVar3 < uVar7)" (identifier "uVar7") (= "=") (binary_expression "(uint)(uVar6 < uVar3) + (uint)(uVar3 < uVar7)" (call_expression "(uint)(uVar6 < uVar3)" (parenthesized_expression "(uint)" (( "(") (identifier "uint") () ")")) (argument_list "(uVar6 < uVar3)" (( "(") (binary_expression "uVar6 < uVar3" (identifier "uVar6") (< "<") (identifier "uVar3")) () ")"))) (+ "+") (call_expression "(uint)(uVar3 < uVar7)" (parenthesized_expression "(uint)" (( "(") (identifier "uint") () ")")) (argument_list "(uVar3 < uVar7)" (( "(") (binary_expression "uVar3 < uVar7" (identifier "uVar3") (< "<") (identifier "uVar7")) () ")"))))) (; ";")) (if_statement "if ((uVar6 != 0) && ((int)uVar4 < (int)uVar5)) {\n        uVar4 = uVar5;\n      }" (if "if") (parenthesized_expression "((uVar6 != 0) && ((int)uVar4 < (int)uVar5))" (( "(") (binary_expression "(uVar6 != 0) && ((int)uVar4 < (int)uVar5)" (parenthesized_expression "(uVar6 != 0)" (( "(") (binary_expression "uVar6 != 0" (identifier "uVar6") (!= "!=") (number_literal "0")) () ")")) (&& "&&") (parenthesized_expression "((int)uVar4 < (int)uVar5)" (( "(") (binary_expression "(int)uVar4 < (int)uVar5" (cast_expression "(int)uVar4" (( "(") (type_descriptor "int" (primitive_type "int")) () ")") (identifier "uVar4")) (< "<") (cast_expression "(int)uVar5" (( "(") (type_descriptor "int" (primitive_type "int")) () ")") (identifier "uVar5"))) () ")"))) () ")")) (compound_statement "{\n        uVar4 = uVar5;\n      }" ({ "{") (expression_statement "uVar4 = uVar5;" (assignment_expression "uVar4 = uVar5" (identifier "uVar4") (= "=") (identifier "uVar5")) (; ";")) (} "}"))) (expression_statement "uVar5 = uVar5 + 1;" (assignment_expression "uVar5 = uVar5 + 1" (identifier "uVar5") (= "=") (binary_expression "uVar5 + 1" (identifier "uVar5") (+ "+") (number_literal "1"))) (; ";")) (} "}")) (while "while") (parenthesized_expression "(uVar5 != iVar9 + 1U)" (( "(") (binary_expression "uVar5 != iVar9 + 1U" (identifier "uVar5") (!= "!=") (binary_expression "iVar9 + 1U" (identifier "iVar9") (+ "+") (number_literal "1U"))) () ")")) (; ";")) (expression_statement "*puVar1 = uVar4;" (assignment_expression "*puVar1 = uVar4" (pointer_expression "*puVar1" (* "*") (identifier "puVar1")) (= "=") (identifier "uVar4")) (; ";")) (if_statement "if (uVar7 == 0) {\n      freebn(puVar1);\n      puVar1 = (uint *)0x0;\n    }" (if "if") (parenthesized_expression "(uVar7 == 0)" (( "(") (binary_expression "uVar7 == 0" (identifier "uVar7") (== "==") (number_literal "0")) () ")")) (compound_statement "{\n      freebn(puVar1);\n      puVar1 = (uint *)0x0;\n    }" ({ "{") (expression_statement "freebn(puVar1);" (call_expression "freebn(puVar1)" (identifier "freebn") (argument_list "(puVar1)" (( "(") (identifier "puVar1") () ")"))) (; ";")) (expression_statement "puVar1 = (uint *)0x0;" (assignment_expression "puVar1 = (uint *)0x0" (identifier "puVar1") (= "=") (cast_expression "(uint *)0x0" (( "(") (type_descriptor "uint *" (type_identifier "uint") (abstract_pointer_declarator "*" (* "*"))) () ")") (number_literal "0x0"))) (; ";")) (} "}"))) (return_statement "return puVar1;" (return "return") (identifier "puVar1") (; ";")) (} "}"))) (expression_statement "*puVar1 = 0;" (assignment_expression "*puVar1 = 0" (pointer_expression "*puVar1" (* "*") (identifier "puVar1")) (= "=") (number_literal "0")) (; ";")) (return_statement "return puVar1;" (return "return") (identifier "puVar1") (; ";")) (} "}")))

type_1 function_1(type_1 a,type_1 b)

{
  type_1 b_00;
  type_2 var_4;
  type_3 var_5;
  type_2 BVar3;
  type_2 var_7;
  type_3 var_6;
  type_3 var_3;
  type_1 var_2;
  type_2 var_8;
  
  var_8 = *b;
  if ((int)*b <= (int)*a) {
    var_8 = *a;
  }
  b_00 = var_1(var_8);
  if ((int)var_8 < 1) {
    *b_00 = 0;
    return b_00;
  }
  var_3 = 1;
  BVar3 = 0;
  var_7 = 1;
  var_2 = b_00;
  do {
    var_2 = var_2 + 1;
    var_4 = 0;
    if ((int)var_7 <= (int)*a) {
      var_4 = a[var_7];
    }
    var_6 = 0xffffffff;
    if ((int)var_7 <= (int)*b) {
      var_6 = ~b[var_7];
    }
    var_5 = var_3 + var_4;
    var_6 = var_5 + var_6;
    *var_2 = var_6;
    var_3 = (type_3)(var_6 < var_5) + (type_3)(var_5 < var_3);
    if ((var_6 != 0) && ((int)BVar3 < (int)var_7)) {
      BVar3 = var_7;
    }
    var_7 = var_7 + 1;
  } while (var_7 != var_8 + 1);
  *b_00 = BVar3;
  if (var_3 != 0) {
    return b_00;
  }
                    /* WARNING: Subroutine does not return */
  var_9(b_00);
}


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

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

{
  uint *puVar1;
  int iVar2;
  uint uVar3;
  uint uVar4;
  uint uVar5;
  uint uVar6;
  uint uVar7;
  uint *puVar8;
  int iVar9;
  
  iVar9 = *param_2;
  if (*param_2 <= *param_1) {
    iVar9 = *param_1;
  }
  puVar1 = (uint *)FUN_00056014(iVar9);
  if (0 < iVar9) {
    uVar7 = 1;
    uVar4 = 0;
    uVar5 = 1;
    puVar8 = puVar1;
    do {
      puVar8 = puVar8 + 1;
      iVar2 = 0;
      if ((int)uVar5 <= *param_1) {
        iVar2 = param_1[uVar5];
      }
      uVar6 = 0xffffffff;
      if ((int)uVar5 <= *param_2) {
        uVar6 = ~param_2[uVar5];
      }
      uVar3 = uVar7 + iVar2;
      uVar6 = uVar3 + uVar6;
      *puVar8 = uVar6;
      uVar7 = (uint)(uVar6 < uVar3) + (uint)(uVar3 < uVar7);
      if ((uVar6 != 0) && ((int)uVar4 < (int)uVar5)) {
        uVar4 = uVar5;
      }
      uVar5 = uVar5 + 1;
    } while (uVar5 != iVar9 + 1U);
    *puVar1 = uVar4;
    if (uVar7 == 0) {
      freebn(puVar1);
      puVar1 = (uint *)0x0;
    }
    return puVar1;
  }
  *puVar1 = 0;
  return puVar1;
}

