
Bignum_conflict bigsub(Bignum_conflict a,Bignum_conflict b)

{
  int length;
  Bignum_conflict b_00;
  BignumInt BVar1;
  ulong uVar2;
  int iVar3;
  long lVar4;
  ulong uVar5;
  int iVar6;
  BignumInt BVar7;
  
  length = (int)*b;
  if ((int)*b <= (int)*a) {
    length = (int)*a;
  }
  b_00 = newbn(length);
  if (length < 1) {
    *b_00 = 0;
  }
  else {
    lVar4 = 1;
    uVar5 = 1;
    iVar6 = 0;
    do {
      iVar3 = (int)lVar4;
      uVar2 = 0;
      if (iVar3 <= (int)*a) {
        uVar2 = a[lVar4];
      }
      BVar7 = 0;
      if (iVar3 <= (int)*b) {
        BVar7 = b[lVar4];
      }
      BVar1 = uVar5 + uVar2 + ~BVar7;
      uVar5 = (ulong)CARRY8(uVar5,uVar2) + (ulong)CARRY8(uVar5 + uVar2,~BVar7);
      b_00[lVar4] = BVar1;
      if ((iVar6 < iVar3) && (BVar1 != 0)) {
        iVar6 = iVar3;
      }
      lVar4 = lVar4 + 1;
    } while (lVar4 != (ulong)(length - 1) + 2);
    *b_00 = (long)iVar6;
    if (uVar5 == 0) {
      freebn(b_00);
      b_00 = (Bignum_conflict)0x0;
    }
  }
  return b_00;
}



long * FUN_001327c6(ulong *param_1,ulong *param_2)

{
  ulong uVar1;
  long *plVar2;
  long lVar3;
  ulong uVar4;
  int iVar5;
  long lVar6;
  ulong uVar7;
  int iVar8;
  ulong uVar9;
  
  uVar1 = *param_2;
  if ((int)*param_2 <= (int)*param_1) {
    uVar1 = *param_1;
  }
  plVar2 = (long *)FUN_0013177d(uVar1 & 0xffffffff);
  if ((int)uVar1 < 1) {
    *plVar2 = 0;
  }
  else {
    lVar6 = 1;
    uVar7 = 1;
    iVar8 = 0;
    do {
      iVar5 = (int)lVar6;
      uVar4 = 0;
      if (iVar5 <= (int)*param_1) {
        uVar4 = param_1[lVar6];
      }
      uVar9 = 0;
      if (iVar5 <= (int)*param_2) {
        uVar9 = param_2[lVar6];
      }
      lVar3 = uVar7 + uVar4 + ~uVar9;
      uVar7 = (ulong)CARRY8(uVar7,uVar4) + (ulong)CARRY8(uVar7 + uVar4,~uVar9);
      plVar2[lVar6] = lVar3;
      if (iVar8 < iVar5) {
        if (lVar3 != 0) {
          iVar8 = iVar5;
        }
      }
      lVar6 = lVar6 + 1;
    } while (lVar6 != (ulong)((int)uVar1 - 1) + 2);
    *plVar2 = (long)iVar8;
    if (uVar7 == 0) {
      FUN_00131850(plVar2);
      plVar2 = (long *)0x0;
    }
  }
  return plVar2;
}


PUSH R15
PUSH R14
PUSH R13
PUSH R12
PUSH RBP
PUSH RBX
SUB RSP,0x28
MOV RBX,RDI
MOV RBP,RSI
MOV RAX,qword ptr [RDI]
MOV R12,qword ptr [RSI]
CMP R12D,EAX
CMOVLE R12D,EAX
MOV EDI,R12D
CALL 0x0013177d
TEST R12D,R12D
JLE 0x001328c4
LEA R11D,[R12 + -0x1]
ADD R11,0x2
MOV EDX,0x1
MOV EDI,0x1
MOV R8D,0x0
MOV R9D,0x0
MOV R12,RBX
JMP 0x0013287a
MOV qword ptr [RSP],RDI
MOV qword ptr [RSP + 0x8],0x0
MOV qword ptr [RSP + 0x10],RCX
MOV qword ptr [RSP + 0x18],0x0
MOV RCX,qword ptr [RSP]
MOV RBX,qword ptr [RSP + 0x8]
ADD RCX,qword ptr [RSP + 0x10]
ADC RBX,qword ptr [RSP + 0x18]
NOT R15
MOV R14D,0x0
ADD RCX,R15
ADC RBX,R14
MOV qword ptr [RAX + RDX*0x8],RCX
MOV RDI,RBX
CMP R8D,ESI
JGE 0x00132871
TEST RCX,RCX
SETNZ CL
TEST CL,CL
CMOVNZ R8D,R10D
ADD RDX,0x1
CMP RDX,R11
JZ 0x0013289b
MOV R10D,EDX
MOV ESI,EDX
MOV RCX,R9
CMP dword ptr [R12],EDX
JL 0x0013288c
MOV RCX,qword ptr [R12 + RDX*0x8]
MOV R15,R9
CMP ESI,dword ptr [RBP]
JG 0x0013281c
MOV R15,qword ptr [RBP + RDX*0x8]
JMP 0x0013281c
MOVSXD R8,R8D
MOV qword ptr [RAX],R8
TEST RDI,RDI
JZ 0x001328b5
ADD RSP,0x28
POP RBX
POP RBP
POP R12
POP R13
POP R14
POP R15
RET
MOV RDI,RAX
CALL 0x00131850
MOV EAX,0x0
JMP 0x001328a6
MOV qword ptr [RAX],0x0
JMP 0x001328a6
(translation_unit "long * FUN_001327c6(ulong *param_1,ulong *param_2)\n\n{\n  ulong uVar1;\n  long *plVar2;\n  long lVar3;\n  ulong uVar4;\n  int iVar5;\n  long lVar6;\n  ulong uVar7;\n  int iVar8;\n  ulong uVar9;\n  \n  uVar1 = *param_2;\n  if ((int)*param_2 <= (int)*param_1) {\n    uVar1 = *param_1;\n  }\n  plVar2 = (long *)FUN_0013177d(uVar1 & 0xffffffff);\n  if ((int)uVar1 < 1) {\n    *plVar2 = 0;\n  }\n  else {\n    lVar6 = 1;\n    uVar7 = 1;\n    iVar8 = 0;\n    do {\n      iVar5 = (int)lVar6;\n      uVar4 = 0;\n      if (iVar5 <= (int)*param_1) {\n        uVar4 = param_1[lVar6];\n      }\n      uVar9 = 0;\n      if (iVar5 <= (int)*param_2) {\n        uVar9 = param_2[lVar6];\n      }\n      lVar3 = uVar7 + uVar4 + ~uVar9;\n      uVar7 = (ulong)CARRY8(uVar7,uVar4) + (ulong)CARRY8(uVar7 + uVar4,~uVar9);\n      plVar2[lVar6] = lVar3;\n      if (iVar8 < iVar5) {\n        if (lVar3 != 0) {\n          iVar8 = iVar5;\n        }\n      }\n      lVar6 = lVar6 + 1;\n    } while (lVar6 != (ulong)((int)uVar1 - 1) + 2);\n    *plVar2 = (long)iVar8;\n    if (uVar7 == 0) {\n      FUN_00131850(plVar2);\n      plVar2 = (long *)0x0;\n    }\n  }\n  return plVar2;\n}\n\n" (function_definition "long * FUN_001327c6(ulong *param_1,ulong *param_2)\n\n{\n  ulong uVar1;\n  long *plVar2;\n  long lVar3;\n  ulong uVar4;\n  int iVar5;\n  long lVar6;\n  ulong uVar7;\n  int iVar8;\n  ulong uVar9;\n  \n  uVar1 = *param_2;\n  if ((int)*param_2 <= (int)*param_1) {\n    uVar1 = *param_1;\n  }\n  plVar2 = (long *)FUN_0013177d(uVar1 & 0xffffffff);\n  if ((int)uVar1 < 1) {\n    *plVar2 = 0;\n  }\n  else {\n    lVar6 = 1;\n    uVar7 = 1;\n    iVar8 = 0;\n    do {\n      iVar5 = (int)lVar6;\n      uVar4 = 0;\n      if (iVar5 <= (int)*param_1) {\n        uVar4 = param_1[lVar6];\n      }\n      uVar9 = 0;\n      if (iVar5 <= (int)*param_2) {\n        uVar9 = param_2[lVar6];\n      }\n      lVar3 = uVar7 + uVar4 + ~uVar9;\n      uVar7 = (ulong)CARRY8(uVar7,uVar4) + (ulong)CARRY8(uVar7 + uVar4,~uVar9);\n      plVar2[lVar6] = lVar3;\n      if (iVar8 < iVar5) {\n        if (lVar3 != 0) {\n          iVar8 = iVar5;\n        }\n      }\n      lVar6 = lVar6 + 1;\n    } while (lVar6 != (ulong)((int)uVar1 - 1) + 2);\n    *plVar2 = (long)iVar8;\n    if (uVar7 == 0) {\n      FUN_00131850(plVar2);\n      plVar2 = (long *)0x0;\n    }\n  }\n  return plVar2;\n}" (sized_type_specifier "long" long) (pointer_declarator "* FUN_001327c6(ulong *param_1,ulong *param_2)" * (function_declarator "FUN_001327c6(ulong *param_1,ulong *param_2)" identifier (parameter_list "(ulong *param_1,ulong *param_2)" ( (parameter_declaration "ulong *param_1" type_identifier (pointer_declarator "*param_1" * identifier)) , (parameter_declaration "ulong *param_2" type_identifier (pointer_declarator "*param_2" * identifier)) )))) (compound_statement "{\n  ulong uVar1;\n  long *plVar2;\n  long lVar3;\n  ulong uVar4;\n  int iVar5;\n  long lVar6;\n  ulong uVar7;\n  int iVar8;\n  ulong uVar9;\n  \n  uVar1 = *param_2;\n  if ((int)*param_2 <= (int)*param_1) {\n    uVar1 = *param_1;\n  }\n  plVar2 = (long *)FUN_0013177d(uVar1 & 0xffffffff);\n  if ((int)uVar1 < 1) {\n    *plVar2 = 0;\n  }\n  else {\n    lVar6 = 1;\n    uVar7 = 1;\n    iVar8 = 0;\n    do {\n      iVar5 = (int)lVar6;\n      uVar4 = 0;\n      if (iVar5 <= (int)*param_1) {\n        uVar4 = param_1[lVar6];\n      }\n      uVar9 = 0;\n      if (iVar5 <= (int)*param_2) {\n        uVar9 = param_2[lVar6];\n      }\n      lVar3 = uVar7 + uVar4 + ~uVar9;\n      uVar7 = (ulong)CARRY8(uVar7,uVar4) + (ulong)CARRY8(uVar7 + uVar4,~uVar9);\n      plVar2[lVar6] = lVar3;\n      if (iVar8 < iVar5) {\n        if (lVar3 != 0) {\n          iVar8 = iVar5;\n        }\n      }\n      lVar6 = lVar6 + 1;\n    } while (lVar6 != (ulong)((int)uVar1 - 1) + 2);\n    *plVar2 = (long)iVar8;\n    if (uVar7 == 0) {\n      FUN_00131850(plVar2);\n      plVar2 = (long *)0x0;\n    }\n  }\n  return plVar2;\n}" { (declaration "ulong uVar1;" type_identifier identifier ;) (declaration "long *plVar2;" (sized_type_specifier "long" long) (pointer_declarator "*plVar2" * identifier) ;) (declaration "long lVar3;" (sized_type_specifier "long" long) identifier ;) (declaration "ulong uVar4;" type_identifier identifier ;) (declaration "int iVar5;" primitive_type identifier ;) (declaration "long lVar6;" (sized_type_specifier "long" long) identifier ;) (declaration "ulong uVar7;" type_identifier identifier ;) (declaration "int iVar8;" primitive_type identifier ;) (declaration "ulong uVar9;" type_identifier identifier ;) (expression_statement "uVar1 = *param_2;" (assignment_expression "uVar1 = *param_2" identifier = (pointer_expression "*param_2" * identifier)) ;) (if_statement "if ((int)*param_2 <= (int)*param_1) {\n    uVar1 = *param_1;\n  }" if (parenthesized_expression "((int)*param_2 <= (int)*param_1)" ( (binary_expression "(int)*param_2 <= (int)*param_1" (cast_expression "(int)*param_2" ( (type_descriptor "int" primitive_type) ) (pointer_expression "*param_2" * identifier)) <= (cast_expression "(int)*param_1" ( (type_descriptor "int" primitive_type) ) (pointer_expression "*param_1" * identifier))) )) (compound_statement "{\n    uVar1 = *param_1;\n  }" { (expression_statement "uVar1 = *param_1;" (assignment_expression "uVar1 = *param_1" identifier = (pointer_expression "*param_1" * identifier)) ;) })) (expression_statement "plVar2 = (long *)FUN_0013177d(uVar1 & 0xffffffff);" (assignment_expression "plVar2 = (long *)FUN_0013177d(uVar1 & 0xffffffff)" identifier = (cast_expression "(long *)FUN_0013177d(uVar1 & 0xffffffff)" ( (type_descriptor "long *" (sized_type_specifier "long" long) (abstract_pointer_declarator "*" *)) ) (call_expression "FUN_0013177d(uVar1 & 0xffffffff)" identifier (argument_list "(uVar1 & 0xffffffff)" ( (binary_expression "uVar1 & 0xffffffff" identifier & number_literal) ))))) ;) (if_statement "if ((int)uVar1 < 1) {\n    *plVar2 = 0;\n  }\n  else {\n    lVar6 = 1;\n    uVar7 = 1;\n    iVar8 = 0;\n    do {\n      iVar5 = (int)lVar6;\n      uVar4 = 0;\n      if (iVar5 <= (int)*param_1) {\n        uVar4 = param_1[lVar6];\n      }\n      uVar9 = 0;\n      if (iVar5 <= (int)*param_2) {\n        uVar9 = param_2[lVar6];\n      }\n      lVar3 = uVar7 + uVar4 + ~uVar9;\n      uVar7 = (ulong)CARRY8(uVar7,uVar4) + (ulong)CARRY8(uVar7 + uVar4,~uVar9);\n      plVar2[lVar6] = lVar3;\n      if (iVar8 < iVar5) {\n        if (lVar3 != 0) {\n          iVar8 = iVar5;\n        }\n      }\n      lVar6 = lVar6 + 1;\n    } while (lVar6 != (ulong)((int)uVar1 - 1) + 2);\n    *plVar2 = (long)iVar8;\n    if (uVar7 == 0) {\n      FUN_00131850(plVar2);\n      plVar2 = (long *)0x0;\n    }\n  }" if (parenthesized_expression "((int)uVar1 < 1)" ( (binary_expression "(int)uVar1 < 1" (cast_expression "(int)uVar1" ( (type_descriptor "int" primitive_type) ) identifier) < number_literal) )) (compound_statement "{\n    *plVar2 = 0;\n  }" { (expression_statement "*plVar2 = 0;" (assignment_expression "*plVar2 = 0" (pointer_expression "*plVar2" * identifier) = number_literal) ;) }) (else_clause "else {\n    lVar6 = 1;\n    uVar7 = 1;\n    iVar8 = 0;\n    do {\n      iVar5 = (int)lVar6;\n      uVar4 = 0;\n      if (iVar5 <= (int)*param_1) {\n        uVar4 = param_1[lVar6];\n      }\n      uVar9 = 0;\n      if (iVar5 <= (int)*param_2) {\n        uVar9 = param_2[lVar6];\n      }\n      lVar3 = uVar7 + uVar4 + ~uVar9;\n      uVar7 = (ulong)CARRY8(uVar7,uVar4) + (ulong)CARRY8(uVar7 + uVar4,~uVar9);\n      plVar2[lVar6] = lVar3;\n      if (iVar8 < iVar5) {\n        if (lVar3 != 0) {\n          iVar8 = iVar5;\n        }\n      }\n      lVar6 = lVar6 + 1;\n    } while (lVar6 != (ulong)((int)uVar1 - 1) + 2);\n    *plVar2 = (long)iVar8;\n    if (uVar7 == 0) {\n      FUN_00131850(plVar2);\n      plVar2 = (long *)0x0;\n    }\n  }" else (compound_statement "{\n    lVar6 = 1;\n    uVar7 = 1;\n    iVar8 = 0;\n    do {\n      iVar5 = (int)lVar6;\n      uVar4 = 0;\n      if (iVar5 <= (int)*param_1) {\n        uVar4 = param_1[lVar6];\n      }\n      uVar9 = 0;\n      if (iVar5 <= (int)*param_2) {\n        uVar9 = param_2[lVar6];\n      }\n      lVar3 = uVar7 + uVar4 + ~uVar9;\n      uVar7 = (ulong)CARRY8(uVar7,uVar4) + (ulong)CARRY8(uVar7 + uVar4,~uVar9);\n      plVar2[lVar6] = lVar3;\n      if (iVar8 < iVar5) {\n        if (lVar3 != 0) {\n          iVar8 = iVar5;\n        }\n      }\n      lVar6 = lVar6 + 1;\n    } while (lVar6 != (ulong)((int)uVar1 - 1) + 2);\n    *plVar2 = (long)iVar8;\n    if (uVar7 == 0) {\n      FUN_00131850(plVar2);\n      plVar2 = (long *)0x0;\n    }\n  }" { (expression_statement "lVar6 = 1;" (assignment_expression "lVar6 = 1" identifier = number_literal) ;) (expression_statement "uVar7 = 1;" (assignment_expression "uVar7 = 1" identifier = number_literal) ;) (expression_statement "iVar8 = 0;" (assignment_expression "iVar8 = 0" identifier = number_literal) ;) (do_statement "do {\n      iVar5 = (int)lVar6;\n      uVar4 = 0;\n      if (iVar5 <= (int)*param_1) {\n        uVar4 = param_1[lVar6];\n      }\n      uVar9 = 0;\n      if (iVar5 <= (int)*param_2) {\n        uVar9 = param_2[lVar6];\n      }\n      lVar3 = uVar7 + uVar4 + ~uVar9;\n      uVar7 = (ulong)CARRY8(uVar7,uVar4) + (ulong)CARRY8(uVar7 + uVar4,~uVar9);\n      plVar2[lVar6] = lVar3;\n      if (iVar8 < iVar5) {\n        if (lVar3 != 0) {\n          iVar8 = iVar5;\n        }\n      }\n      lVar6 = lVar6 + 1;\n    } while (lVar6 != (ulong)((int)uVar1 - 1) + 2);" do (compound_statement "{\n      iVar5 = (int)lVar6;\n      uVar4 = 0;\n      if (iVar5 <= (int)*param_1) {\n        uVar4 = param_1[lVar6];\n      }\n      uVar9 = 0;\n      if (iVar5 <= (int)*param_2) {\n        uVar9 = param_2[lVar6];\n      }\n      lVar3 = uVar7 + uVar4 + ~uVar9;\n      uVar7 = (ulong)CARRY8(uVar7,uVar4) + (ulong)CARRY8(uVar7 + uVar4,~uVar9);\n      plVar2[lVar6] = lVar3;\n      if (iVar8 < iVar5) {\n        if (lVar3 != 0) {\n          iVar8 = iVar5;\n        }\n      }\n      lVar6 = lVar6 + 1;\n    }" { (expression_statement "iVar5 = (int)lVar6;" (assignment_expression "iVar5 = (int)lVar6" identifier = (cast_expression "(int)lVar6" ( (type_descriptor "int" primitive_type) ) identifier)) ;) (expression_statement "uVar4 = 0;" (assignment_expression "uVar4 = 0" identifier = number_literal) ;) (if_statement "if (iVar5 <= (int)*param_1) {\n        uVar4 = param_1[lVar6];\n      }" if (parenthesized_expression "(iVar5 <= (int)*param_1)" ( (binary_expression "iVar5 <= (int)*param_1" identifier <= (cast_expression "(int)*param_1" ( (type_descriptor "int" primitive_type) ) (pointer_expression "*param_1" * identifier))) )) (compound_statement "{\n        uVar4 = param_1[lVar6];\n      }" { (expression_statement "uVar4 = param_1[lVar6];" (assignment_expression "uVar4 = param_1[lVar6]" identifier = (subscript_expression "param_1[lVar6]" identifier [ identifier ])) ;) })) (expression_statement "uVar9 = 0;" (assignment_expression "uVar9 = 0" identifier = number_literal) ;) (if_statement "if (iVar5 <= (int)*param_2) {\n        uVar9 = param_2[lVar6];\n      }" if (parenthesized_expression "(iVar5 <= (int)*param_2)" ( (binary_expression "iVar5 <= (int)*param_2" identifier <= (cast_expression "(int)*param_2" ( (type_descriptor "int" primitive_type) ) (pointer_expression "*param_2" * identifier))) )) (compound_statement "{\n        uVar9 = param_2[lVar6];\n      }" { (expression_statement "uVar9 = param_2[lVar6];" (assignment_expression "uVar9 = param_2[lVar6]" identifier = (subscript_expression "param_2[lVar6]" identifier [ identifier ])) ;) })) (expression_statement "lVar3 = uVar7 + uVar4 + ~uVar9;" (assignment_expression "lVar3 = uVar7 + uVar4 + ~uVar9" identifier = (binary_expression "uVar7 + uVar4 + ~uVar9" (binary_expression "uVar7 + uVar4" identifier + identifier) + (unary_expression "~uVar9" ~ identifier))) ;) (expression_statement "uVar7 = (ulong)CARRY8(uVar7,uVar4) + (ulong)CARRY8(uVar7 + uVar4,~uVar9);" (assignment_expression "uVar7 = (ulong)CARRY8(uVar7,uVar4) + (ulong)CARRY8(uVar7 + uVar4,~uVar9)" identifier = (binary_expression "(ulong)CARRY8(uVar7,uVar4) + (ulong)CARRY8(uVar7 + uVar4,~uVar9)" (cast_expression "(ulong)CARRY8(uVar7,uVar4)" ( (type_descriptor "ulong" type_identifier) ) (call_expression "CARRY8(uVar7,uVar4)" identifier (argument_list "(uVar7,uVar4)" ( identifier , identifier )))) + (cast_expression "(ulong)CARRY8(uVar7 + uVar4,~uVar9)" ( (type_descriptor "ulong" type_identifier) ) (call_expression "CARRY8(uVar7 + uVar4,~uVar9)" identifier (argument_list "(uVar7 + uVar4,~uVar9)" ( (binary_expression "uVar7 + uVar4" identifier + identifier) , (unary_expression "~uVar9" ~ identifier) )))))) ;) (expression_statement "plVar2[lVar6] = lVar3;" (assignment_expression "plVar2[lVar6] = lVar3" (subscript_expression "plVar2[lVar6]" identifier [ identifier ]) = identifier) ;) (if_statement "if (iVar8 < iVar5) {\n        if (lVar3 != 0) {\n          iVar8 = iVar5;\n        }\n      }" if (parenthesized_expression "(iVar8 < iVar5)" ( (binary_expression "iVar8 < iVar5" identifier < identifier) )) (compound_statement "{\n        if (lVar3 != 0) {\n          iVar8 = iVar5;\n        }\n      }" { (if_statement "if (lVar3 != 0) {\n          iVar8 = iVar5;\n        }" if (parenthesized_expression "(lVar3 != 0)" ( (binary_expression "lVar3 != 0" identifier != number_literal) )) (compound_statement "{\n          iVar8 = iVar5;\n        }" { (expression_statement "iVar8 = iVar5;" (assignment_expression "iVar8 = iVar5" identifier = identifier) ;) })) })) (expression_statement "lVar6 = lVar6 + 1;" (assignment_expression "lVar6 = lVar6 + 1" identifier = (binary_expression "lVar6 + 1" identifier + number_literal)) ;) }) while (parenthesized_expression "(lVar6 != (ulong)((int)uVar1 - 1) + 2)" ( (binary_expression "lVar6 != (ulong)((int)uVar1 - 1) + 2" identifier != (binary_expression "(ulong)((int)uVar1 - 1) + 2" (call_expression "(ulong)((int)uVar1 - 1)" (parenthesized_expression "(ulong)" ( identifier )) (argument_list "((int)uVar1 - 1)" ( (binary_expression "(int)uVar1 - 1" (cast_expression "(int)uVar1" ( (type_descriptor "int" primitive_type) ) identifier) - number_literal) ))) + number_literal)) )) ;) (expression_statement "*plVar2 = (long)iVar8;" (assignment_expression "*plVar2 = (long)iVar8" (pointer_expression "*plVar2" * identifier) = (cast_expression "(long)iVar8" ( (type_descriptor "long" (sized_type_specifier "long" long)) ) identifier)) ;) (if_statement "if (uVar7 == 0) {\n      FUN_00131850(plVar2);\n      plVar2 = (long *)0x0;\n    }" if (parenthesized_expression "(uVar7 == 0)" ( (binary_expression "uVar7 == 0" identifier == number_literal) )) (compound_statement "{\n      FUN_00131850(plVar2);\n      plVar2 = (long *)0x0;\n    }" { (expression_statement "FUN_00131850(plVar2);" (call_expression "FUN_00131850(plVar2)" identifier (argument_list "(plVar2)" ( identifier ))) ;) (expression_statement "plVar2 = (long *)0x0;" (assignment_expression "plVar2 = (long *)0x0" identifier = (cast_expression "(long *)0x0" ( (type_descriptor "long *" (sized_type_specifier "long" long) (abstract_pointer_declarator "*" *)) ) number_literal)) ;) })) }))) (return_statement "return plVar2;" return identifier ;) })))
(translation_unit "Bignum_conflict bigsub(Bignum_conflict a,Bignum_conflict b)\n\n{\n  int length;\n  Bignum_conflict b_00;\n  BignumInt BVar1;\n  ulong uVar2;\n  int iVar3;\n  long lVar4;\n  ulong uVar5;\n  int iVar6;\n  BignumInt BVar7;\n  \n  length = (int)*b;\n  if ((int)*b <= (int)*a) {\n    length = (int)*a;\n  }\n  b_00 = newbn(length);\n  if (length < 1) {\n    *b_00 = 0;\n  }\n  else {\n    lVar4 = 1;\n    uVar5 = 1;\n    iVar6 = 0;\n    do {\n      iVar3 = (int)lVar4;\n      uVar2 = 0;\n      if (iVar3 <= (int)*a) {\n        uVar2 = a[lVar4];\n      }\n      BVar7 = 0;\n      if (iVar3 <= (int)*b) {\n        BVar7 = b[lVar4];\n      }\n      BVar1 = uVar5 + uVar2 + ~BVar7;\n      uVar5 = (ulong)CARRY8(uVar5,uVar2) + (ulong)CARRY8(uVar5 + uVar2,~BVar7);\n      b_00[lVar4] = BVar1;\n      if ((iVar6 < iVar3) && (BVar1 != 0)) {\n        iVar6 = iVar3;\n      }\n      lVar4 = lVar4 + 1;\n    } while (lVar4 != (ulong)(length - 1) + 2);\n    *b_00 = (long)iVar6;\n    if (uVar5 == 0) {\n      freebn(b_00);\n      b_00 = (Bignum_conflict)0x0;\n    }\n  }\n  return b_00;\n}\n\n" (function_definition "Bignum_conflict bigsub(Bignum_conflict a,Bignum_conflict b)\n\n{\n  int length;\n  Bignum_conflict b_00;\n  BignumInt BVar1;\n  ulong uVar2;\n  int iVar3;\n  long lVar4;\n  ulong uVar5;\n  int iVar6;\n  BignumInt BVar7;\n  \n  length = (int)*b;\n  if ((int)*b <= (int)*a) {\n    length = (int)*a;\n  }\n  b_00 = newbn(length);\n  if (length < 1) {\n    *b_00 = 0;\n  }\n  else {\n    lVar4 = 1;\n    uVar5 = 1;\n    iVar6 = 0;\n    do {\n      iVar3 = (int)lVar4;\n      uVar2 = 0;\n      if (iVar3 <= (int)*a) {\n        uVar2 = a[lVar4];\n      }\n      BVar7 = 0;\n      if (iVar3 <= (int)*b) {\n        BVar7 = b[lVar4];\n      }\n      BVar1 = uVar5 + uVar2 + ~BVar7;\n      uVar5 = (ulong)CARRY8(uVar5,uVar2) + (ulong)CARRY8(uVar5 + uVar2,~BVar7);\n      b_00[lVar4] = BVar1;\n      if ((iVar6 < iVar3) && (BVar1 != 0)) {\n        iVar6 = iVar3;\n      }\n      lVar4 = lVar4 + 1;\n    } while (lVar4 != (ulong)(length - 1) + 2);\n    *b_00 = (long)iVar6;\n    if (uVar5 == 0) {\n      freebn(b_00);\n      b_00 = (Bignum_conflict)0x0;\n    }\n  }\n  return 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  int length;\n  Bignum_conflict b_00;\n  BignumInt BVar1;\n  ulong uVar2;\n  int iVar3;\n  long lVar4;\n  ulong uVar5;\n  int iVar6;\n  BignumInt BVar7;\n  \n  length = (int)*b;\n  if ((int)*b <= (int)*a) {\n    length = (int)*a;\n  }\n  b_00 = newbn(length);\n  if (length < 1) {\n    *b_00 = 0;\n  }\n  else {\n    lVar4 = 1;\n    uVar5 = 1;\n    iVar6 = 0;\n    do {\n      iVar3 = (int)lVar4;\n      uVar2 = 0;\n      if (iVar3 <= (int)*a) {\n        uVar2 = a[lVar4];\n      }\n      BVar7 = 0;\n      if (iVar3 <= (int)*b) {\n        BVar7 = b[lVar4];\n      }\n      BVar1 = uVar5 + uVar2 + ~BVar7;\n      uVar5 = (ulong)CARRY8(uVar5,uVar2) + (ulong)CARRY8(uVar5 + uVar2,~BVar7);\n      b_00[lVar4] = BVar1;\n      if ((iVar6 < iVar3) && (BVar1 != 0)) {\n        iVar6 = iVar3;\n      }\n      lVar4 = lVar4 + 1;\n    } while (lVar4 != (ulong)(length - 1) + 2);\n    *b_00 = (long)iVar6;\n    if (uVar5 == 0) {\n      freebn(b_00);\n      b_00 = (Bignum_conflict)0x0;\n    }\n  }\n  return b_00;\n}" { (declaration "int length;" primitive_type identifier ;) (declaration "Bignum_conflict b_00;" type_identifier identifier ;) (declaration "BignumInt BVar1;" type_identifier identifier ;) (declaration "ulong uVar2;" type_identifier identifier ;) (declaration "int iVar3;" primitive_type identifier ;) (declaration "long lVar4;" (sized_type_specifier "long" long) identifier ;) (declaration "ulong uVar5;" type_identifier identifier ;) (declaration "int iVar6;" primitive_type identifier ;) (declaration "BignumInt BVar7;" type_identifier identifier ;) (expression_statement "length = (int)*b;" (assignment_expression "length = (int)*b" identifier = (cast_expression "(int)*b" ( (type_descriptor "int" primitive_type) ) (pointer_expression "*b" * identifier))) ;) (if_statement "if ((int)*b <= (int)*a) {\n    length = (int)*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 = (int)*a;\n  }" { (expression_statement "length = (int)*a;" (assignment_expression "length = (int)*a" identifier = (cast_expression "(int)*a" ( (type_descriptor "int" primitive_type) ) (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 (length < 1) {\n    *b_00 = 0;\n  }\n  else {\n    lVar4 = 1;\n    uVar5 = 1;\n    iVar6 = 0;\n    do {\n      iVar3 = (int)lVar4;\n      uVar2 = 0;\n      if (iVar3 <= (int)*a) {\n        uVar2 = a[lVar4];\n      }\n      BVar7 = 0;\n      if (iVar3 <= (int)*b) {\n        BVar7 = b[lVar4];\n      }\n      BVar1 = uVar5 + uVar2 + ~BVar7;\n      uVar5 = (ulong)CARRY8(uVar5,uVar2) + (ulong)CARRY8(uVar5 + uVar2,~BVar7);\n      b_00[lVar4] = BVar1;\n      if ((iVar6 < iVar3) && (BVar1 != 0)) {\n        iVar6 = iVar3;\n      }\n      lVar4 = lVar4 + 1;\n    } while (lVar4 != (ulong)(length - 1) + 2);\n    *b_00 = (long)iVar6;\n    if (uVar5 == 0) {\n      freebn(b_00);\n      b_00 = (Bignum_conflict)0x0;\n    }\n  }" if (parenthesized_expression "(length < 1)" ( (binary_expression "length < 1" identifier < number_literal) )) (compound_statement "{\n    *b_00 = 0;\n  }" { (expression_statement "*b_00 = 0;" (assignment_expression "*b_00 = 0" (pointer_expression "*b_00" * identifier) = number_literal) ;) }) (else_clause "else {\n    lVar4 = 1;\n    uVar5 = 1;\n    iVar6 = 0;\n    do {\n      iVar3 = (int)lVar4;\n      uVar2 = 0;\n      if (iVar3 <= (int)*a) {\n        uVar2 = a[lVar4];\n      }\n      BVar7 = 0;\n      if (iVar3 <= (int)*b) {\n        BVar7 = b[lVar4];\n      }\n      BVar1 = uVar5 + uVar2 + ~BVar7;\n      uVar5 = (ulong)CARRY8(uVar5,uVar2) + (ulong)CARRY8(uVar5 + uVar2,~BVar7);\n      b_00[lVar4] = BVar1;\n      if ((iVar6 < iVar3) && (BVar1 != 0)) {\n        iVar6 = iVar3;\n      }\n      lVar4 = lVar4 + 1;\n    } while (lVar4 != (ulong)(length - 1) + 2);\n    *b_00 = (long)iVar6;\n    if (uVar5 == 0) {\n      freebn(b_00);\n      b_00 = (Bignum_conflict)0x0;\n    }\n  }" else (compound_statement "{\n    lVar4 = 1;\n    uVar5 = 1;\n    iVar6 = 0;\n    do {\n      iVar3 = (int)lVar4;\n      uVar2 = 0;\n      if (iVar3 <= (int)*a) {\n        uVar2 = a[lVar4];\n      }\n      BVar7 = 0;\n      if (iVar3 <= (int)*b) {\n        BVar7 = b[lVar4];\n      }\n      BVar1 = uVar5 + uVar2 + ~BVar7;\n      uVar5 = (ulong)CARRY8(uVar5,uVar2) + (ulong)CARRY8(uVar5 + uVar2,~BVar7);\n      b_00[lVar4] = BVar1;\n      if ((iVar6 < iVar3) && (BVar1 != 0)) {\n        iVar6 = iVar3;\n      }\n      lVar4 = lVar4 + 1;\n    } while (lVar4 != (ulong)(length - 1) + 2);\n    *b_00 = (long)iVar6;\n    if (uVar5 == 0) {\n      freebn(b_00);\n      b_00 = (Bignum_conflict)0x0;\n    }\n  }" { (expression_statement "lVar4 = 1;" (assignment_expression "lVar4 = 1" identifier = number_literal) ;) (expression_statement "uVar5 = 1;" (assignment_expression "uVar5 = 1" identifier = number_literal) ;) (expression_statement "iVar6 = 0;" (assignment_expression "iVar6 = 0" identifier = number_literal) ;) (do_statement "do {\n      iVar3 = (int)lVar4;\n      uVar2 = 0;\n      if (iVar3 <= (int)*a) {\n        uVar2 = a[lVar4];\n      }\n      BVar7 = 0;\n      if (iVar3 <= (int)*b) {\n        BVar7 = b[lVar4];\n      }\n      BVar1 = uVar5 + uVar2 + ~BVar7;\n      uVar5 = (ulong)CARRY8(uVar5,uVar2) + (ulong)CARRY8(uVar5 + uVar2,~BVar7);\n      b_00[lVar4] = BVar1;\n      if ((iVar6 < iVar3) && (BVar1 != 0)) {\n        iVar6 = iVar3;\n      }\n      lVar4 = lVar4 + 1;\n    } while (lVar4 != (ulong)(length - 1) + 2);" do (compound_statement "{\n      iVar3 = (int)lVar4;\n      uVar2 = 0;\n      if (iVar3 <= (int)*a) {\n        uVar2 = a[lVar4];\n      }\n      BVar7 = 0;\n      if (iVar3 <= (int)*b) {\n        BVar7 = b[lVar4];\n      }\n      BVar1 = uVar5 + uVar2 + ~BVar7;\n      uVar5 = (ulong)CARRY8(uVar5,uVar2) + (ulong)CARRY8(uVar5 + uVar2,~BVar7);\n      b_00[lVar4] = BVar1;\n      if ((iVar6 < iVar3) && (BVar1 != 0)) {\n        iVar6 = iVar3;\n      }\n      lVar4 = lVar4 + 1;\n    }" { (expression_statement "iVar3 = (int)lVar4;" (assignment_expression "iVar3 = (int)lVar4" identifier = (cast_expression "(int)lVar4" ( (type_descriptor "int" primitive_type) ) identifier)) ;) (expression_statement "uVar2 = 0;" (assignment_expression "uVar2 = 0" identifier = number_literal) ;) (if_statement "if (iVar3 <= (int)*a) {\n        uVar2 = a[lVar4];\n      }" if (parenthesized_expression "(iVar3 <= (int)*a)" ( (binary_expression "iVar3 <= (int)*a" identifier <= (cast_expression "(int)*a" ( (type_descriptor "int" primitive_type) ) (pointer_expression "*a" * identifier))) )) (compound_statement "{\n        uVar2 = a[lVar4];\n      }" { (expression_statement "uVar2 = a[lVar4];" (assignment_expression "uVar2 = a[lVar4]" identifier = (subscript_expression "a[lVar4]" identifier [ identifier ])) ;) })) (expression_statement "BVar7 = 0;" (assignment_expression "BVar7 = 0" identifier = number_literal) ;) (if_statement "if (iVar3 <= (int)*b) {\n        BVar7 = b[lVar4];\n      }" if (parenthesized_expression "(iVar3 <= (int)*b)" ( (binary_expression "iVar3 <= (int)*b" identifier <= (cast_expression "(int)*b" ( (type_descriptor "int" primitive_type) ) (pointer_expression "*b" * identifier))) )) (compound_statement "{\n        BVar7 = b[lVar4];\n      }" { (expression_statement "BVar7 = b[lVar4];" (assignment_expression "BVar7 = b[lVar4]" identifier = (subscript_expression "b[lVar4]" identifier [ identifier ])) ;) })) (expression_statement "BVar1 = uVar5 + uVar2 + ~BVar7;" (assignment_expression "BVar1 = uVar5 + uVar2 + ~BVar7" identifier = (binary_expression "uVar5 + uVar2 + ~BVar7" (binary_expression "uVar5 + uVar2" identifier + identifier) + (unary_expression "~BVar7" ~ identifier))) ;) (expression_statement "uVar5 = (ulong)CARRY8(uVar5,uVar2) + (ulong)CARRY8(uVar5 + uVar2,~BVar7);" (assignment_expression "uVar5 = (ulong)CARRY8(uVar5,uVar2) + (ulong)CARRY8(uVar5 + uVar2,~BVar7)" identifier = (binary_expression "(ulong)CARRY8(uVar5,uVar2) + (ulong)CARRY8(uVar5 + uVar2,~BVar7)" (cast_expression "(ulong)CARRY8(uVar5,uVar2)" ( (type_descriptor "ulong" type_identifier) ) (call_expression "CARRY8(uVar5,uVar2)" identifier (argument_list "(uVar5,uVar2)" ( identifier , identifier )))) + (cast_expression "(ulong)CARRY8(uVar5 + uVar2,~BVar7)" ( (type_descriptor "ulong" type_identifier) ) (call_expression "CARRY8(uVar5 + uVar2,~BVar7)" identifier (argument_list "(uVar5 + uVar2,~BVar7)" ( (binary_expression "uVar5 + uVar2" identifier + identifier) , (unary_expression "~BVar7" ~ identifier) )))))) ;) (expression_statement "b_00[lVar4] = BVar1;" (assignment_expression "b_00[lVar4] = BVar1" (subscript_expression "b_00[lVar4]" identifier [ identifier ]) = identifier) ;) (if_statement "if ((iVar6 < iVar3) && (BVar1 != 0)) {\n        iVar6 = iVar3;\n      }" if (parenthesized_expression "((iVar6 < iVar3) && (BVar1 != 0))" ( (binary_expression "(iVar6 < iVar3) && (BVar1 != 0)" (parenthesized_expression "(iVar6 < iVar3)" ( (binary_expression "iVar6 < iVar3" identifier < identifier) )) && (parenthesized_expression "(BVar1 != 0)" ( (binary_expression "BVar1 != 0" identifier != number_literal) ))) )) (compound_statement "{\n        iVar6 = iVar3;\n      }" { (expression_statement "iVar6 = iVar3;" (assignment_expression "iVar6 = iVar3" identifier = identifier) ;) })) (expression_statement "lVar4 = lVar4 + 1;" (assignment_expression "lVar4 = lVar4 + 1" identifier = (binary_expression "lVar4 + 1" identifier + number_literal)) ;) }) while (parenthesized_expression "(lVar4 != (ulong)(length - 1) + 2)" ( (binary_expression "lVar4 != (ulong)(length - 1) + 2" identifier != (binary_expression "(ulong)(length - 1) + 2" (call_expression "(ulong)(length - 1)" (parenthesized_expression "(ulong)" ( identifier )) (argument_list "(length - 1)" ( (binary_expression "length - 1" identifier - number_literal) ))) + number_literal)) )) ;) (expression_statement "*b_00 = (long)iVar6;" (assignment_expression "*b_00 = (long)iVar6" (pointer_expression "*b_00" * identifier) = (cast_expression "(long)iVar6" ( (type_descriptor "long" (sized_type_specifier "long" long)) ) identifier)) ;) (if_statement "if (uVar5 == 0) {\n      freebn(b_00);\n      b_00 = (Bignum_conflict)0x0;\n    }" if (parenthesized_expression "(uVar5 == 0)" ( (binary_expression "uVar5 == 0" identifier == number_literal) )) (compound_statement "{\n      freebn(b_00);\n      b_00 = (Bignum_conflict)0x0;\n    }" { (expression_statement "freebn(b_00);" (call_expression "freebn(b_00)" identifier (argument_list "(b_00)" ( identifier ))) ;) (expression_statement "b_00 = (Bignum_conflict)0x0;" (assignment_expression "b_00 = (Bignum_conflict)0x0" identifier = (cast_expression "(Bignum_conflict)0x0" ( (type_descriptor "Bignum_conflict" type_identifier) ) number_literal)) ;) })) }))) (return_statement "return b_00;" return identifier ;) })))
(translation_unit "long * FUN_001327c6(ulong *param_1,ulong *param_2)\n\n{\n  ulong uVar1;\n  long *plVar2;\n  long lVar3;\n  ulong uVar4;\n  int iVar5;\n  long lVar6;\n  ulong uVar7;\n  int iVar8;\n  ulong uVar9;\n  \n  uVar1 = *param_2;\n  if ((int)*param_2 <= (int)*param_1) {\n    uVar1 = *param_1;\n  }\n  plVar2 = (long *)FUN_0013177d(uVar1 & 0xffffffff);\n  if ((int)uVar1 < 1) {\n    *plVar2 = 0;\n  }\n  else {\n    lVar6 = 1;\n    uVar7 = 1;\n    iVar8 = 0;\n    do {\n      iVar5 = (int)lVar6;\n      uVar4 = 0;\n      if (iVar5 <= (int)*param_1) {\n        uVar4 = param_1[lVar6];\n      }\n      uVar9 = 0;\n      if (iVar5 <= (int)*param_2) {\n        uVar9 = param_2[lVar6];\n      }\n      lVar3 = uVar7 + uVar4 + ~uVar9;\n      uVar7 = (ulong)CARRY8(uVar7,uVar4) + (ulong)CARRY8(uVar7 + uVar4,~uVar9);\n      plVar2[lVar6] = lVar3;\n      if (iVar8 < iVar5) {\n        if (lVar3 != 0) {\n          iVar8 = iVar5;\n        }\n      }\n      lVar6 = lVar6 + 1;\n    } while (lVar6 != (ulong)((int)uVar1 - 1) + 2);\n    *plVar2 = (long)iVar8;\n    if (uVar7 == 0) {\n      FUN_00131850(plVar2);\n      plVar2 = (long *)0x0;\n    }\n  }\n  return plVar2;\n}\n\n" (function_definition "long * FUN_001327c6(ulong *param_1,ulong *param_2)\n\n{\n  ulong uVar1;\n  long *plVar2;\n  long lVar3;\n  ulong uVar4;\n  int iVar5;\n  long lVar6;\n  ulong uVar7;\n  int iVar8;\n  ulong uVar9;\n  \n  uVar1 = *param_2;\n  if ((int)*param_2 <= (int)*param_1) {\n    uVar1 = *param_1;\n  }\n  plVar2 = (long *)FUN_0013177d(uVar1 & 0xffffffff);\n  if ((int)uVar1 < 1) {\n    *plVar2 = 0;\n  }\n  else {\n    lVar6 = 1;\n    uVar7 = 1;\n    iVar8 = 0;\n    do {\n      iVar5 = (int)lVar6;\n      uVar4 = 0;\n      if (iVar5 <= (int)*param_1) {\n        uVar4 = param_1[lVar6];\n      }\n      uVar9 = 0;\n      if (iVar5 <= (int)*param_2) {\n        uVar9 = param_2[lVar6];\n      }\n      lVar3 = uVar7 + uVar4 + ~uVar9;\n      uVar7 = (ulong)CARRY8(uVar7,uVar4) + (ulong)CARRY8(uVar7 + uVar4,~uVar9);\n      plVar2[lVar6] = lVar3;\n      if (iVar8 < iVar5) {\n        if (lVar3 != 0) {\n          iVar8 = iVar5;\n        }\n      }\n      lVar6 = lVar6 + 1;\n    } while (lVar6 != (ulong)((int)uVar1 - 1) + 2);\n    *plVar2 = (long)iVar8;\n    if (uVar7 == 0) {\n      FUN_00131850(plVar2);\n      plVar2 = (long *)0x0;\n    }\n  }\n  return plVar2;\n}" (sized_type_specifier "long" long) (pointer_declarator "* FUN_001327c6(ulong *param_1,ulong *param_2)" * (function_declarator "FUN_001327c6(ulong *param_1,ulong *param_2)" identifier (parameter_list "(ulong *param_1,ulong *param_2)" ( (parameter_declaration "ulong *param_1" type_identifier (pointer_declarator "*param_1" * identifier)) , (parameter_declaration "ulong *param_2" type_identifier (pointer_declarator "*param_2" * identifier)) )))) (compound_statement "{\n  ulong uVar1;\n  long *plVar2;\n  long lVar3;\n  ulong uVar4;\n  int iVar5;\n  long lVar6;\n  ulong uVar7;\n  int iVar8;\n  ulong uVar9;\n  \n  uVar1 = *param_2;\n  if ((int)*param_2 <= (int)*param_1) {\n    uVar1 = *param_1;\n  }\n  plVar2 = (long *)FUN_0013177d(uVar1 & 0xffffffff);\n  if ((int)uVar1 < 1) {\n    *plVar2 = 0;\n  }\n  else {\n    lVar6 = 1;\n    uVar7 = 1;\n    iVar8 = 0;\n    do {\n      iVar5 = (int)lVar6;\n      uVar4 = 0;\n      if (iVar5 <= (int)*param_1) {\n        uVar4 = param_1[lVar6];\n      }\n      uVar9 = 0;\n      if (iVar5 <= (int)*param_2) {\n        uVar9 = param_2[lVar6];\n      }\n      lVar3 = uVar7 + uVar4 + ~uVar9;\n      uVar7 = (ulong)CARRY8(uVar7,uVar4) + (ulong)CARRY8(uVar7 + uVar4,~uVar9);\n      plVar2[lVar6] = lVar3;\n      if (iVar8 < iVar5) {\n        if (lVar3 != 0) {\n          iVar8 = iVar5;\n        }\n      }\n      lVar6 = lVar6 + 1;\n    } while (lVar6 != (ulong)((int)uVar1 - 1) + 2);\n    *plVar2 = (long)iVar8;\n    if (uVar7 == 0) {\n      FUN_00131850(plVar2);\n      plVar2 = (long *)0x0;\n    }\n  }\n  return plVar2;\n}" { (declaration "ulong uVar1;" type_identifier identifier ;) (declaration "long *plVar2;" (sized_type_specifier "long" long) (pointer_declarator "*plVar2" * identifier) ;) (declaration "long lVar3;" (sized_type_specifier "long" long) identifier ;) (declaration "ulong uVar4;" type_identifier identifier ;) (declaration "int iVar5;" primitive_type identifier ;) (declaration "long lVar6;" (sized_type_specifier "long" long) identifier ;) (declaration "ulong uVar7;" type_identifier identifier ;) (declaration "int iVar8;" primitive_type identifier ;) (declaration "ulong uVar9;" type_identifier identifier ;) (expression_statement "uVar1 = *param_2;" (assignment_expression "uVar1 = *param_2" identifier = (pointer_expression "*param_2" * identifier)) ;) (if_statement "if ((int)*param_2 <= (int)*param_1) {\n    uVar1 = *param_1;\n  }" if (parenthesized_expression "((int)*param_2 <= (int)*param_1)" ( (binary_expression "(int)*param_2 <= (int)*param_1" (cast_expression "(int)*param_2" ( (type_descriptor "int" primitive_type) ) (pointer_expression "*param_2" * identifier)) <= (cast_expression "(int)*param_1" ( (type_descriptor "int" primitive_type) ) (pointer_expression "*param_1" * identifier))) )) (compound_statement "{\n    uVar1 = *param_1;\n  }" { (expression_statement "uVar1 = *param_1;" (assignment_expression "uVar1 = *param_1" identifier = (pointer_expression "*param_1" * identifier)) ;) })) (expression_statement "plVar2 = (long *)FUN_0013177d(uVar1 & 0xffffffff);" (assignment_expression "plVar2 = (long *)FUN_0013177d(uVar1 & 0xffffffff)" identifier = (cast_expression "(long *)FUN_0013177d(uVar1 & 0xffffffff)" ( (type_descriptor "long *" (sized_type_specifier "long" long) (abstract_pointer_declarator "*" *)) ) (call_expression "FUN_0013177d(uVar1 & 0xffffffff)" identifier (argument_list "(uVar1 & 0xffffffff)" ( (binary_expression "uVar1 & 0xffffffff" identifier & number_literal) ))))) ;) (if_statement "if ((int)uVar1 < 1) {\n    *plVar2 = 0;\n  }\n  else {\n    lVar6 = 1;\n    uVar7 = 1;\n    iVar8 = 0;\n    do {\n      iVar5 = (int)lVar6;\n      uVar4 = 0;\n      if (iVar5 <= (int)*param_1) {\n        uVar4 = param_1[lVar6];\n      }\n      uVar9 = 0;\n      if (iVar5 <= (int)*param_2) {\n        uVar9 = param_2[lVar6];\n      }\n      lVar3 = uVar7 + uVar4 + ~uVar9;\n      uVar7 = (ulong)CARRY8(uVar7,uVar4) + (ulong)CARRY8(uVar7 + uVar4,~uVar9);\n      plVar2[lVar6] = lVar3;\n      if (iVar8 < iVar5) {\n        if (lVar3 != 0) {\n          iVar8 = iVar5;\n        }\n      }\n      lVar6 = lVar6 + 1;\n    } while (lVar6 != (ulong)((int)uVar1 - 1) + 2);\n    *plVar2 = (long)iVar8;\n    if (uVar7 == 0) {\n      FUN_00131850(plVar2);\n      plVar2 = (long *)0x0;\n    }\n  }" if (parenthesized_expression "((int)uVar1 < 1)" ( (binary_expression "(int)uVar1 < 1" (cast_expression "(int)uVar1" ( (type_descriptor "int" primitive_type) ) identifier) < number_literal) )) (compound_statement "{\n    *plVar2 = 0;\n  }" { (expression_statement "*plVar2 = 0;" (assignment_expression "*plVar2 = 0" (pointer_expression "*plVar2" * identifier) = number_literal) ;) }) (else_clause "else {\n    lVar6 = 1;\n    uVar7 = 1;\n    iVar8 = 0;\n    do {\n      iVar5 = (int)lVar6;\n      uVar4 = 0;\n      if (iVar5 <= (int)*param_1) {\n        uVar4 = param_1[lVar6];\n      }\n      uVar9 = 0;\n      if (iVar5 <= (int)*param_2) {\n        uVar9 = param_2[lVar6];\n      }\n      lVar3 = uVar7 + uVar4 + ~uVar9;\n      uVar7 = (ulong)CARRY8(uVar7,uVar4) + (ulong)CARRY8(uVar7 + uVar4,~uVar9);\n      plVar2[lVar6] = lVar3;\n      if (iVar8 < iVar5) {\n        if (lVar3 != 0) {\n          iVar8 = iVar5;\n        }\n      }\n      lVar6 = lVar6 + 1;\n    } while (lVar6 != (ulong)((int)uVar1 - 1) + 2);\n    *plVar2 = (long)iVar8;\n    if (uVar7 == 0) {\n      FUN_00131850(plVar2);\n      plVar2 = (long *)0x0;\n    }\n  }" else (compound_statement "{\n    lVar6 = 1;\n    uVar7 = 1;\n    iVar8 = 0;\n    do {\n      iVar5 = (int)lVar6;\n      uVar4 = 0;\n      if (iVar5 <= (int)*param_1) {\n        uVar4 = param_1[lVar6];\n      }\n      uVar9 = 0;\n      if (iVar5 <= (int)*param_2) {\n        uVar9 = param_2[lVar6];\n      }\n      lVar3 = uVar7 + uVar4 + ~uVar9;\n      uVar7 = (ulong)CARRY8(uVar7,uVar4) + (ulong)CARRY8(uVar7 + uVar4,~uVar9);\n      plVar2[lVar6] = lVar3;\n      if (iVar8 < iVar5) {\n        if (lVar3 != 0) {\n          iVar8 = iVar5;\n        }\n      }\n      lVar6 = lVar6 + 1;\n    } while (lVar6 != (ulong)((int)uVar1 - 1) + 2);\n    *plVar2 = (long)iVar8;\n    if (uVar7 == 0) {\n      FUN_00131850(plVar2);\n      plVar2 = (long *)0x0;\n    }\n  }" { (expression_statement "lVar6 = 1;" (assignment_expression "lVar6 = 1" identifier = number_literal) ;) (expression_statement "uVar7 = 1;" (assignment_expression "uVar7 = 1" identifier = number_literal) ;) (expression_statement "iVar8 = 0;" (assignment_expression "iVar8 = 0" identifier = number_literal) ;) (do_statement "do {\n      iVar5 = (int)lVar6;\n      uVar4 = 0;\n      if (iVar5 <= (int)*param_1) {\n        uVar4 = param_1[lVar6];\n      }\n      uVar9 = 0;\n      if (iVar5 <= (int)*param_2) {\n        uVar9 = param_2[lVar6];\n      }\n      lVar3 = uVar7 + uVar4 + ~uVar9;\n      uVar7 = (ulong)CARRY8(uVar7,uVar4) + (ulong)CARRY8(uVar7 + uVar4,~uVar9);\n      plVar2[lVar6] = lVar3;\n      if (iVar8 < iVar5) {\n        if (lVar3 != 0) {\n          iVar8 = iVar5;\n        }\n      }\n      lVar6 = lVar6 + 1;\n    } while (lVar6 != (ulong)((int)uVar1 - 1) + 2);" do (compound_statement "{\n      iVar5 = (int)lVar6;\n      uVar4 = 0;\n      if (iVar5 <= (int)*param_1) {\n        uVar4 = param_1[lVar6];\n      }\n      uVar9 = 0;\n      if (iVar5 <= (int)*param_2) {\n        uVar9 = param_2[lVar6];\n      }\n      lVar3 = uVar7 + uVar4 + ~uVar9;\n      uVar7 = (ulong)CARRY8(uVar7,uVar4) + (ulong)CARRY8(uVar7 + uVar4,~uVar9);\n      plVar2[lVar6] = lVar3;\n      if (iVar8 < iVar5) {\n        if (lVar3 != 0) {\n          iVar8 = iVar5;\n        }\n      }\n      lVar6 = lVar6 + 1;\n    }" { (expression_statement "iVar5 = (int)lVar6;" (assignment_expression "iVar5 = (int)lVar6" identifier = (cast_expression "(int)lVar6" ( (type_descriptor "int" primitive_type) ) identifier)) ;) (expression_statement "uVar4 = 0;" (assignment_expression "uVar4 = 0" identifier = number_literal) ;) (if_statement "if (iVar5 <= (int)*param_1) {\n        uVar4 = param_1[lVar6];\n      }" if (parenthesized_expression "(iVar5 <= (int)*param_1)" ( (binary_expression "iVar5 <= (int)*param_1" identifier <= (cast_expression "(int)*param_1" ( (type_descriptor "int" primitive_type) ) (pointer_expression "*param_1" * identifier))) )) (compound_statement "{\n        uVar4 = param_1[lVar6];\n      }" { (expression_statement "uVar4 = param_1[lVar6];" (assignment_expression "uVar4 = param_1[lVar6]" identifier = (subscript_expression "param_1[lVar6]" identifier [ identifier ])) ;) })) (expression_statement "uVar9 = 0;" (assignment_expression "uVar9 = 0" identifier = number_literal) ;) (if_statement "if (iVar5 <= (int)*param_2) {\n        uVar9 = param_2[lVar6];\n      }" if (parenthesized_expression "(iVar5 <= (int)*param_2)" ( (binary_expression "iVar5 <= (int)*param_2" identifier <= (cast_expression "(int)*param_2" ( (type_descriptor "int" primitive_type) ) (pointer_expression "*param_2" * identifier))) )) (compound_statement "{\n        uVar9 = param_2[lVar6];\n      }" { (expression_statement "uVar9 = param_2[lVar6];" (assignment_expression "uVar9 = param_2[lVar6]" identifier = (subscript_expression "param_2[lVar6]" identifier [ identifier ])) ;) })) (expression_statement "lVar3 = uVar7 + uVar4 + ~uVar9;" (assignment_expression "lVar3 = uVar7 + uVar4 + ~uVar9" identifier = (binary_expression "uVar7 + uVar4 + ~uVar9" (binary_expression "uVar7 + uVar4" identifier + identifier) + (unary_expression "~uVar9" ~ identifier))) ;) (expression_statement "uVar7 = (ulong)CARRY8(uVar7,uVar4) + (ulong)CARRY8(uVar7 + uVar4,~uVar9);" (assignment_expression "uVar7 = (ulong)CARRY8(uVar7,uVar4) + (ulong)CARRY8(uVar7 + uVar4,~uVar9)" identifier = (binary_expression "(ulong)CARRY8(uVar7,uVar4) + (ulong)CARRY8(uVar7 + uVar4,~uVar9)" (cast_expression "(ulong)CARRY8(uVar7,uVar4)" ( (type_descriptor "ulong" type_identifier) ) (call_expression "CARRY8(uVar7,uVar4)" identifier (argument_list "(uVar7,uVar4)" ( identifier , identifier )))) + (cast_expression "(ulong)CARRY8(uVar7 + uVar4,~uVar9)" ( (type_descriptor "ulong" type_identifier) ) (call_expression "CARRY8(uVar7 + uVar4,~uVar9)" identifier (argument_list "(uVar7 + uVar4,~uVar9)" ( (binary_expression "uVar7 + uVar4" identifier + identifier) , (unary_expression "~uVar9" ~ identifier) )))))) ;) (expression_statement "plVar2[lVar6] = lVar3;" (assignment_expression "plVar2[lVar6] = lVar3" (subscript_expression "plVar2[lVar6]" identifier [ identifier ]) = identifier) ;) (if_statement "if (iVar8 < iVar5) {\n        if (lVar3 != 0) {\n          iVar8 = iVar5;\n        }\n      }" if (parenthesized_expression "(iVar8 < iVar5)" ( (binary_expression "iVar8 < iVar5" identifier < identifier) )) (compound_statement "{\n        if (lVar3 != 0) {\n          iVar8 = iVar5;\n        }\n      }" { (if_statement "if (lVar3 != 0) {\n          iVar8 = iVar5;\n        }" if (parenthesized_expression "(lVar3 != 0)" ( (binary_expression "lVar3 != 0" identifier != number_literal) )) (compound_statement "{\n          iVar8 = iVar5;\n        }" { (expression_statement "iVar8 = iVar5;" (assignment_expression "iVar8 = iVar5" identifier = identifier) ;) })) })) (expression_statement "lVar6 = lVar6 + 1;" (assignment_expression "lVar6 = lVar6 + 1" identifier = (binary_expression "lVar6 + 1" identifier + number_literal)) ;) }) while (parenthesized_expression "(lVar6 != (ulong)((int)uVar1 - 1) + 2)" ( (binary_expression "lVar6 != (ulong)((int)uVar1 - 1) + 2" identifier != (binary_expression "(ulong)((int)uVar1 - 1) + 2" (call_expression "(ulong)((int)uVar1 - 1)" (parenthesized_expression "(ulong)" ( identifier )) (argument_list "((int)uVar1 - 1)" ( (binary_expression "(int)uVar1 - 1" (cast_expression "(int)uVar1" ( (type_descriptor "int" primitive_type) ) identifier) - number_literal) ))) + number_literal)) )) ;) (expression_statement "*plVar2 = (long)iVar8;" (assignment_expression "*plVar2 = (long)iVar8" (pointer_expression "*plVar2" * identifier) = (cast_expression "(long)iVar8" ( (type_descriptor "long" (sized_type_specifier "long" long)) ) identifier)) ;) (if_statement "if (uVar7 == 0) {\n      FUN_00131850(plVar2);\n      plVar2 = (long *)0x0;\n    }" if (parenthesized_expression "(uVar7 == 0)" ( (binary_expression "uVar7 == 0" identifier == number_literal) )) (compound_statement "{\n      FUN_00131850(plVar2);\n      plVar2 = (long *)0x0;\n    }" { (expression_statement "FUN_00131850(plVar2);" (call_expression "FUN_00131850(plVar2)" identifier (argument_list "(plVar2)" ( identifier ))) ;) (expression_statement "plVar2 = (long *)0x0;" (assignment_expression "plVar2 = (long *)0x0" identifier = (cast_expression "(long *)0x0" ( (type_descriptor "long *" (sized_type_specifier "long" long) (abstract_pointer_declarator "*" *)) ) number_literal)) ;) })) }))) (return_statement "return plVar2;" return identifier ;) })))
(translation_unit (function_definition (sized_type_specifier long) (pointer_declarator * (function_declarator IDENT (parameter_list ( (parameter_declaration TYPE (pointer_declarator * IDENT)) , (parameter_declaration TYPE (pointer_declarator * IDENT)) )))) (compound_statement { (declaration TYPE IDENT ;) (declaration (sized_type_specifier long) (pointer_declarator * IDENT) ;) (declaration (sized_type_specifier long) IDENT ;) (declaration TYPE IDENT ;) (declaration TYPE IDENT ;) (declaration (sized_type_specifier long) IDENT ;) (declaration TYPE IDENT ;) (declaration TYPE IDENT ;) (declaration TYPE IDENT ;) (expression_statement (assignment_expression IDENT = (pointer_expression * IDENT)) ;) (if_statement if (parenthesized_expression ( (binary_expression (cast_expression ( (type_descriptor TYPE) ) (pointer_expression * IDENT)) <= (cast_expression ( (type_descriptor TYPE) ) (pointer_expression * IDENT))) )) (compound_statement { (expression_statement (assignment_expression IDENT = (pointer_expression * IDENT)) ;) })) (expression_statement (assignment_expression IDENT = (cast_expression ( (type_descriptor (sized_type_specifier long) (abstract_pointer_declarator *)) ) (call_expression IDENT (argument_list ( (binary_expression IDENT & LIT) ))))) ;) (if_statement if (parenthesized_expression ( (binary_expression (cast_expression ( (type_descriptor TYPE) ) IDENT) < LIT) )) (compound_statement { (expression_statement (assignment_expression (pointer_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) ;) (do_statement do (compound_statement { (expression_statement (assignment_expression IDENT = (cast_expression ( (type_descriptor TYPE) ) IDENT)) ;) (expression_statement (assignment_expression IDENT = LIT) ;) (if_statement if (parenthesized_expression ( (binary_expression IDENT <= (cast_expression ( (type_descriptor TYPE) ) (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 IDENT <= (cast_expression ( (type_descriptor TYPE) ) (pointer_expression * IDENT))) )) (compound_statement { (expression_statement (assignment_expression IDENT = (subscript_expression IDENT [ IDENT ])) ;) })) (expression_statement (assignment_expression IDENT = (binary_expression (binary_expression IDENT + IDENT) + (unary_expression ~ IDENT))) ;) (expression_statement (assignment_expression IDENT = (binary_expression (cast_expression ( (type_descriptor TYPE) ) (call_expression IDENT (argument_list ( IDENT , IDENT )))) + (cast_expression ( (type_descriptor TYPE) ) (call_expression IDENT (argument_list ( (binary_expression IDENT + IDENT) , (unary_expression ~ IDENT) )))))) ;) (expression_statement (assignment_expression (subscript_expression IDENT [ IDENT ]) = IDENT) ;) (if_statement if (parenthesized_expression ( (binary_expression IDENT < IDENT) )) (compound_statement { (if_statement if (parenthesized_expression ( (binary_expression IDENT != LIT) )) (compound_statement { (expression_statement (assignment_expression IDENT = IDENT) ;) })) })) (expression_statement (assignment_expression IDENT = (binary_expression IDENT + LIT)) ;) }) while (parenthesized_expression ( (binary_expression IDENT != (binary_expression (call_expression (parenthesized_expression ( IDENT )) (argument_list ( (binary_expression (cast_expression ( (type_descriptor TYPE) ) IDENT) - LIT) ))) + LIT)) )) ;) (expression_statement (assignment_expression (pointer_expression * IDENT) = (cast_expression ( (type_descriptor (sized_type_specifier long)) ) 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 (sized_type_specifier long) (abstract_pointer_declarator *)) ) LIT)) ;) })) }))) (return_statement return IDENT ;) })))
(function_definition "long * FUN_001327c6(ulong *param_1,ulong *param_2)\n\n{\n  ulong uVar1;\n  long *plVar2;\n  long lVar3;\n  ulong uVar4;\n  int iVar5;\n  long lVar6;\n  ulong uVar7;\n  int iVar8;\n  ulong uVar9;\n  \n  uVar1 = *param_2;\n  if ((int)*param_2 <= (int)*param_1) {\n    uVar1 = *param_1;\n  }\n  plVar2 = (long *)FUN_0013177d(uVar1 & 0xffffffff);\n  if ((int)uVar1 < 1) {\n    *plVar2 = 0;\n  }\n  else {\n    lVar6 = 1;\n    uVar7 = 1;\n    iVar8 = 0;\n    do {\n      iVar5 = (int)lVar6;\n      uVar4 = 0;\n      if (iVar5 <= (int)*param_1) {\n        uVar4 = param_1[lVar6];\n      }\n      uVar9 = 0;\n      if (iVar5 <= (int)*param_2) {\n        uVar9 = param_2[lVar6];\n      }\n      lVar3 = uVar7 + uVar4 + ~uVar9;\n      uVar7 = (ulong)CARRY8(uVar7,uVar4) + (ulong)CARRY8(uVar7 + uVar4,~uVar9);\n      plVar2[lVar6] = lVar3;\n      if (iVar8 < iVar5) {\n        if (lVar3 != 0) {\n          iVar8 = iVar5;\n        }\n      }\n      lVar6 = lVar6 + 1;\n    } while (lVar6 != (ulong)((int)uVar1 - 1) + 2);\n    *plVar2 = (long)iVar8;\n    if (uVar7 == 0) {\n      FUN_00131850(plVar2);\n      plVar2 = (long *)0x0;\n    }\n  }\n  return plVar2;\n}" (sized_type_specifier "long" (long "long")) (pointer_declarator "* FUN_001327c6(ulong *param_1,ulong *param_2)" (* "*") (function_declarator "FUN_001327c6(ulong *param_1,ulong *param_2)" (identifier "FUN_001327c6") (parameter_list "(ulong *param_1,ulong *param_2)" (( "(") (parameter_declaration "ulong *param_1" (type_identifier "ulong") (pointer_declarator "*param_1" (* "*") (identifier "param_1"))) (, ",") (parameter_declaration "ulong *param_2" (type_identifier "ulong") (pointer_declarator "*param_2" (* "*") (identifier "param_2"))) () ")")))) (compound_statement "{\n  ulong uVar1;\n  long *plVar2;\n  long lVar3;\n  ulong uVar4;\n  int iVar5;\n  long lVar6;\n  ulong uVar7;\n  int iVar8;\n  ulong uVar9;\n  \n  uVar1 = *param_2;\n  if ((int)*param_2 <= (int)*param_1) {\n    uVar1 = *param_1;\n  }\n  plVar2 = (long *)FUN_0013177d(uVar1 & 0xffffffff);\n  if ((int)uVar1 < 1) {\n    *plVar2 = 0;\n  }\n  else {\n    lVar6 = 1;\n    uVar7 = 1;\n    iVar8 = 0;\n    do {\n      iVar5 = (int)lVar6;\n      uVar4 = 0;\n      if (iVar5 <= (int)*param_1) {\n        uVar4 = param_1[lVar6];\n      }\n      uVar9 = 0;\n      if (iVar5 <= (int)*param_2) {\n        uVar9 = param_2[lVar6];\n      }\n      lVar3 = uVar7 + uVar4 + ~uVar9;\n      uVar7 = (ulong)CARRY8(uVar7,uVar4) + (ulong)CARRY8(uVar7 + uVar4,~uVar9);\n      plVar2[lVar6] = lVar3;\n      if (iVar8 < iVar5) {\n        if (lVar3 != 0) {\n          iVar8 = iVar5;\n        }\n      }\n      lVar6 = lVar6 + 1;\n    } while (lVar6 != (ulong)((int)uVar1 - 1) + 2);\n    *plVar2 = (long)iVar8;\n    if (uVar7 == 0) {\n      FUN_00131850(plVar2);\n      plVar2 = (long *)0x0;\n    }\n  }\n  return plVar2;\n}" ({ "{") (declaration "ulong uVar1;" (type_identifier "ulong") (identifier "uVar1") (; ";")) (declaration "long *plVar2;" (sized_type_specifier "long" (long "long")) (pointer_declarator "*plVar2" (* "*") (identifier "plVar2")) (; ";")) (declaration "long lVar3;" (sized_type_specifier "long" (long "long")) (identifier "lVar3") (; ";")) (declaration "ulong uVar4;" (type_identifier "ulong") (identifier "uVar4") (; ";")) (declaration "int iVar5;" (primitive_type "int") (identifier "iVar5") (; ";")) (declaration "long lVar6;" (sized_type_specifier "long" (long "long")) (identifier "lVar6") (; ";")) (declaration "ulong uVar7;" (type_identifier "ulong") (identifier "uVar7") (; ";")) (declaration "int iVar8;" (primitive_type "int") (identifier "iVar8") (; ";")) (declaration "ulong uVar9;" (type_identifier "ulong") (identifier "uVar9") (; ";")) (expression_statement "uVar1 = *param_2;" (assignment_expression "uVar1 = *param_2" (identifier "uVar1") (= "=") (pointer_expression "*param_2" (* "*") (identifier "param_2"))) (; ";")) (if_statement "if ((int)*param_2 <= (int)*param_1) {\n    uVar1 = *param_1;\n  }" (if "if") (parenthesized_expression "((int)*param_2 <= (int)*param_1)" (( "(") (binary_expression "(int)*param_2 <= (int)*param_1" (cast_expression "(int)*param_2" (( "(") (type_descriptor "int" (primitive_type "int")) () ")") (pointer_expression "*param_2" (* "*") (identifier "param_2"))) (<= "<=") (cast_expression "(int)*param_1" (( "(") (type_descriptor "int" (primitive_type "int")) () ")") (pointer_expression "*param_1" (* "*") (identifier "param_1")))) () ")")) (compound_statement "{\n    uVar1 = *param_1;\n  }" ({ "{") (expression_statement "uVar1 = *param_1;" (assignment_expression "uVar1 = *param_1" (identifier "uVar1") (= "=") (pointer_expression "*param_1" (* "*") (identifier "param_1"))) (; ";")) (} "}"))) (expression_statement "plVar2 = (long *)FUN_0013177d(uVar1 & 0xffffffff);" (assignment_expression "plVar2 = (long *)FUN_0013177d(uVar1 & 0xffffffff)" (identifier "plVar2") (= "=") (cast_expression "(long *)FUN_0013177d(uVar1 & 0xffffffff)" (( "(") (type_descriptor "long *" (sized_type_specifier "long" (long "long")) (abstract_pointer_declarator "*" (* "*"))) () ")") (call_expression "FUN_0013177d(uVar1 & 0xffffffff)" (identifier "FUN_0013177d") (argument_list "(uVar1 & 0xffffffff)" (( "(") (binary_expression "uVar1 & 0xffffffff" (identifier "uVar1") (& "&") (number_literal "0xffffffff")) () ")"))))) (; ";")) (if_statement "if ((int)uVar1 < 1) {\n    *plVar2 = 0;\n  }\n  else {\n    lVar6 = 1;\n    uVar7 = 1;\n    iVar8 = 0;\n    do {\n      iVar5 = (int)lVar6;\n      uVar4 = 0;\n      if (iVar5 <= (int)*param_1) {\n        uVar4 = param_1[lVar6];\n      }\n      uVar9 = 0;\n      if (iVar5 <= (int)*param_2) {\n        uVar9 = param_2[lVar6];\n      }\n      lVar3 = uVar7 + uVar4 + ~uVar9;\n      uVar7 = (ulong)CARRY8(uVar7,uVar4) + (ulong)CARRY8(uVar7 + uVar4,~uVar9);\n      plVar2[lVar6] = lVar3;\n      if (iVar8 < iVar5) {\n        if (lVar3 != 0) {\n          iVar8 = iVar5;\n        }\n      }\n      lVar6 = lVar6 + 1;\n    } while (lVar6 != (ulong)((int)uVar1 - 1) + 2);\n    *plVar2 = (long)iVar8;\n    if (uVar7 == 0) {\n      FUN_00131850(plVar2);\n      plVar2 = (long *)0x0;\n    }\n  }" (if "if") (parenthesized_expression "((int)uVar1 < 1)" (( "(") (binary_expression "(int)uVar1 < 1" (cast_expression "(int)uVar1" (( "(") (type_descriptor "int" (primitive_type "int")) () ")") (identifier "uVar1")) (< "<") (number_literal "1")) () ")")) (compound_statement "{\n    *plVar2 = 0;\n  }" ({ "{") (expression_statement "*plVar2 = 0;" (assignment_expression "*plVar2 = 0" (pointer_expression "*plVar2" (* "*") (identifier "plVar2")) (= "=") (number_literal "0")) (; ";")) (} "}")) (else_clause "else {\n    lVar6 = 1;\n    uVar7 = 1;\n    iVar8 = 0;\n    do {\n      iVar5 = (int)lVar6;\n      uVar4 = 0;\n      if (iVar5 <= (int)*param_1) {\n        uVar4 = param_1[lVar6];\n      }\n      uVar9 = 0;\n      if (iVar5 <= (int)*param_2) {\n        uVar9 = param_2[lVar6];\n      }\n      lVar3 = uVar7 + uVar4 + ~uVar9;\n      uVar7 = (ulong)CARRY8(uVar7,uVar4) + (ulong)CARRY8(uVar7 + uVar4,~uVar9);\n      plVar2[lVar6] = lVar3;\n      if (iVar8 < iVar5) {\n        if (lVar3 != 0) {\n          iVar8 = iVar5;\n        }\n      }\n      lVar6 = lVar6 + 1;\n    } while (lVar6 != (ulong)((int)uVar1 - 1) + 2);\n    *plVar2 = (long)iVar8;\n    if (uVar7 == 0) {\n      FUN_00131850(plVar2);\n      plVar2 = (long *)0x0;\n    }\n  }" (else "else") (compound_statement "{\n    lVar6 = 1;\n    uVar7 = 1;\n    iVar8 = 0;\n    do {\n      iVar5 = (int)lVar6;\n      uVar4 = 0;\n      if (iVar5 <= (int)*param_1) {\n        uVar4 = param_1[lVar6];\n      }\n      uVar9 = 0;\n      if (iVar5 <= (int)*param_2) {\n        uVar9 = param_2[lVar6];\n      }\n      lVar3 = uVar7 + uVar4 + ~uVar9;\n      uVar7 = (ulong)CARRY8(uVar7,uVar4) + (ulong)CARRY8(uVar7 + uVar4,~uVar9);\n      plVar2[lVar6] = lVar3;\n      if (iVar8 < iVar5) {\n        if (lVar3 != 0) {\n          iVar8 = iVar5;\n        }\n      }\n      lVar6 = lVar6 + 1;\n    } while (lVar6 != (ulong)((int)uVar1 - 1) + 2);\n    *plVar2 = (long)iVar8;\n    if (uVar7 == 0) {\n      FUN_00131850(plVar2);\n      plVar2 = (long *)0x0;\n    }\n  }" ({ "{") (expression_statement "lVar6 = 1;" (assignment_expression "lVar6 = 1" (identifier "lVar6") (= "=") (number_literal "1")) (; ";")) (expression_statement "uVar7 = 1;" (assignment_expression "uVar7 = 1" (identifier "uVar7") (= "=") (number_literal "1")) (; ";")) (expression_statement "iVar8 = 0;" (assignment_expression "iVar8 = 0" (identifier "iVar8") (= "=") (number_literal "0")) (; ";")) (do_statement "do {\n      iVar5 = (int)lVar6;\n      uVar4 = 0;\n      if (iVar5 <= (int)*param_1) {\n        uVar4 = param_1[lVar6];\n      }\n      uVar9 = 0;\n      if (iVar5 <= (int)*param_2) {\n        uVar9 = param_2[lVar6];\n      }\n      lVar3 = uVar7 + uVar4 + ~uVar9;\n      uVar7 = (ulong)CARRY8(uVar7,uVar4) + (ulong)CARRY8(uVar7 + uVar4,~uVar9);\n      plVar2[lVar6] = lVar3;\n      if (iVar8 < iVar5) {\n        if (lVar3 != 0) {\n          iVar8 = iVar5;\n        }\n      }\n      lVar6 = lVar6 + 1;\n    } while (lVar6 != (ulong)((int)uVar1 - 1) + 2);" (do "do") (compound_statement "{\n      iVar5 = (int)lVar6;\n      uVar4 = 0;\n      if (iVar5 <= (int)*param_1) {\n        uVar4 = param_1[lVar6];\n      }\n      uVar9 = 0;\n      if (iVar5 <= (int)*param_2) {\n        uVar9 = param_2[lVar6];\n      }\n      lVar3 = uVar7 + uVar4 + ~uVar9;\n      uVar7 = (ulong)CARRY8(uVar7,uVar4) + (ulong)CARRY8(uVar7 + uVar4,~uVar9);\n      plVar2[lVar6] = lVar3;\n      if (iVar8 < iVar5) {\n        if (lVar3 != 0) {\n          iVar8 = iVar5;\n        }\n      }\n      lVar6 = lVar6 + 1;\n    }" ({ "{") (expression_statement "iVar5 = (int)lVar6;" (assignment_expression "iVar5 = (int)lVar6" (identifier "iVar5") (= "=") (cast_expression "(int)lVar6" (( "(") (type_descriptor "int" (primitive_type "int")) () ")") (identifier "lVar6"))) (; ";")) (expression_statement "uVar4 = 0;" (assignment_expression "uVar4 = 0" (identifier "uVar4") (= "=") (number_literal "0")) (; ";")) (if_statement "if (iVar5 <= (int)*param_1) {\n        uVar4 = param_1[lVar6];\n      }" (if "if") (parenthesized_expression "(iVar5 <= (int)*param_1)" (( "(") (binary_expression "iVar5 <= (int)*param_1" (identifier "iVar5") (<= "<=") (cast_expression "(int)*param_1" (( "(") (type_descriptor "int" (primitive_type "int")) () ")") (pointer_expression "*param_1" (* "*") (identifier "param_1")))) () ")")) (compound_statement "{\n        uVar4 = param_1[lVar6];\n      }" ({ "{") (expression_statement "uVar4 = param_1[lVar6];" (assignment_expression "uVar4 = param_1[lVar6]" (identifier "uVar4") (= "=") (subscript_expression "param_1[lVar6]" (identifier "param_1") ([ "[") (identifier "lVar6") (] "]"))) (; ";")) (} "}"))) (expression_statement "uVar9 = 0;" (assignment_expression "uVar9 = 0" (identifier "uVar9") (= "=") (number_literal "0")) (; ";")) (if_statement "if (iVar5 <= (int)*param_2) {\n        uVar9 = param_2[lVar6];\n      }" (if "if") (parenthesized_expression "(iVar5 <= (int)*param_2)" (( "(") (binary_expression "iVar5 <= (int)*param_2" (identifier "iVar5") (<= "<=") (cast_expression "(int)*param_2" (( "(") (type_descriptor "int" (primitive_type "int")) () ")") (pointer_expression "*param_2" (* "*") (identifier "param_2")))) () ")")) (compound_statement "{\n        uVar9 = param_2[lVar6];\n      }" ({ "{") (expression_statement "uVar9 = param_2[lVar6];" (assignment_expression "uVar9 = param_2[lVar6]" (identifier "uVar9") (= "=") (subscript_expression "param_2[lVar6]" (identifier "param_2") ([ "[") (identifier "lVar6") (] "]"))) (; ";")) (} "}"))) (expression_statement "lVar3 = uVar7 + uVar4 + ~uVar9;" (assignment_expression "lVar3 = uVar7 + uVar4 + ~uVar9" (identifier "lVar3") (= "=") (binary_expression "uVar7 + uVar4 + ~uVar9" (binary_expression "uVar7 + uVar4" (identifier "uVar7") (+ "+") (identifier "uVar4")) (+ "+") (unary_expression "~uVar9" (~ "~") (identifier "uVar9")))) (; ";")) (expression_statement "uVar7 = (ulong)CARRY8(uVar7,uVar4) + (ulong)CARRY8(uVar7 + uVar4,~uVar9);" (assignment_expression "uVar7 = (ulong)CARRY8(uVar7,uVar4) + (ulong)CARRY8(uVar7 + uVar4,~uVar9)" (identifier "uVar7") (= "=") (binary_expression "(ulong)CARRY8(uVar7,uVar4) + (ulong)CARRY8(uVar7 + uVar4,~uVar9)" (cast_expression "(ulong)CARRY8(uVar7,uVar4)" (( "(") (type_descriptor "ulong" (type_identifier "ulong")) () ")") (call_expression "CARRY8(uVar7,uVar4)" (identifier "CARRY8") (argument_list "(uVar7,uVar4)" (( "(") (identifier "uVar7") (, ",") (identifier "uVar4") () ")")))) (+ "+") (cast_expression "(ulong)CARRY8(uVar7 + uVar4,~uVar9)" (( "(") (type_descriptor "ulong" (type_identifier "ulong")) () ")") (call_expression "CARRY8(uVar7 + uVar4,~uVar9)" (identifier "CARRY8") (argument_list "(uVar7 + uVar4,~uVar9)" (( "(") (binary_expression "uVar7 + uVar4" (identifier "uVar7") (+ "+") (identifier "uVar4")) (, ",") (unary_expression "~uVar9" (~ "~") (identifier "uVar9")) () ")")))))) (; ";")) (expression_statement "plVar2[lVar6] = lVar3;" (assignment_expression "plVar2[lVar6] = lVar3" (subscript_expression "plVar2[lVar6]" (identifier "plVar2") ([ "[") (identifier "lVar6") (] "]")) (= "=") (identifier "lVar3")) (; ";")) (if_statement "if (iVar8 < iVar5) {\n        if (lVar3 != 0) {\n          iVar8 = iVar5;\n        }\n      }" (if "if") (parenthesized_expression "(iVar8 < iVar5)" (( "(") (binary_expression "iVar8 < iVar5" (identifier "iVar8") (< "<") (identifier "iVar5")) () ")")) (compound_statement "{\n        if (lVar3 != 0) {\n          iVar8 = iVar5;\n        }\n      }" ({ "{") (if_statement "if (lVar3 != 0) {\n          iVar8 = iVar5;\n        }" (if "if") (parenthesized_expression "(lVar3 != 0)" (( "(") (binary_expression "lVar3 != 0" (identifier "lVar3") (!= "!=") (number_literal "0")) () ")")) (compound_statement "{\n          iVar8 = iVar5;\n        }" ({ "{") (expression_statement "iVar8 = iVar5;" (assignment_expression "iVar8 = iVar5" (identifier "iVar8") (= "=") (identifier "iVar5")) (; ";")) (} "}"))) (} "}"))) (expression_statement "lVar6 = lVar6 + 1;" (assignment_expression "lVar6 = lVar6 + 1" (identifier "lVar6") (= "=") (binary_expression "lVar6 + 1" (identifier "lVar6") (+ "+") (number_literal "1"))) (; ";")) (} "}")) (while "while") (parenthesized_expression "(lVar6 != (ulong)((int)uVar1 - 1) + 2)" (( "(") (binary_expression "lVar6 != (ulong)((int)uVar1 - 1) + 2" (identifier "lVar6") (!= "!=") (binary_expression "(ulong)((int)uVar1 - 1) + 2" (call_expression "(ulong)((int)uVar1 - 1)" (parenthesized_expression "(ulong)" (( "(") (identifier "ulong") () ")")) (argument_list "((int)uVar1 - 1)" (( "(") (binary_expression "(int)uVar1 - 1" (cast_expression "(int)uVar1" (( "(") (type_descriptor "int" (primitive_type "int")) () ")") (identifier "uVar1")) (- "-") (number_literal "1")) () ")"))) (+ "+") (number_literal "2"))) () ")")) (; ";")) (expression_statement "*plVar2 = (long)iVar8;" (assignment_expression "*plVar2 = (long)iVar8" (pointer_expression "*plVar2" (* "*") (identifier "plVar2")) (= "=") (cast_expression "(long)iVar8" (( "(") (type_descriptor "long" (sized_type_specifier "long" (long "long"))) () ")") (identifier "iVar8"))) (; ";")) (if_statement "if (uVar7 == 0) {\n      FUN_00131850(plVar2);\n      plVar2 = (long *)0x0;\n    }" (if "if") (parenthesized_expression "(uVar7 == 0)" (( "(") (binary_expression "uVar7 == 0" (identifier "uVar7") (== "==") (number_literal "0")) () ")")) (compound_statement "{\n      FUN_00131850(plVar2);\n      plVar2 = (long *)0x0;\n    }" ({ "{") (expression_statement "FUN_00131850(plVar2);" (call_expression "FUN_00131850(plVar2)" (identifier "FUN_00131850") (argument_list "(plVar2)" (( "(") (identifier "plVar2") () ")"))) (; ";")) (expression_statement "plVar2 = (long *)0x0;" (assignment_expression "plVar2 = (long *)0x0" (identifier "plVar2") (= "=") (cast_expression "(long *)0x0" (( "(") (type_descriptor "long *" (sized_type_specifier "long" (long "long")) (abstract_pointer_declarator "*" (* "*"))) () ")") (number_literal "0x0"))) (; ";")) (} "}"))) (} "}")))) (return_statement "return plVar2;" (return "return") (identifier "plVar2") (; ";")) (} "}")))

type_1 function_1(type_1 a,type_1 b)

{
  int var_2;
  type_1 b_00;
  type_2 var_8;
  type_3 var_5;
  int var_3;
  long var_9;
  type_3 var_4;
  int var_7;
  type_2 BVar7;
  
  var_2 = (int)*b;
  if ((int)*b <= (int)*a) {
    var_2 = (int)*a;
  }
  b_00 = var_1(var_2);
  if (var_2 < 1) {
    *b_00 = 0;
  }
  else {
    var_9 = 1;
    var_4 = 1;
    var_7 = 0;
    do {
      var_3 = (int)var_9;
      var_5 = 0;
      if (var_3 <= (int)*a) {
        var_5 = a[var_9];
      }
      BVar7 = 0;
      if (var_3 <= (int)*b) {
        BVar7 = b[var_9];
      }
      var_8 = var_4 + var_5 + ~BVar7;
      var_4 = (type_3)var_6(var_4,var_5) + (type_3)var_6(var_4 + var_5,~BVar7);
      b_00[var_9] = var_8;
      if ((var_7 < var_3) && (var_8 != 0)) {
        var_7 = var_3;
      }
      var_9 = var_9 + 1;
    } while (var_9 != (type_3)(var_2 - 1) + 2);
    *b_00 = (long)var_7;
    if (var_4 == 0) {
      var_10(b_00);
      b_00 = (type_1)0x0;
    }
  }
  return b_00;
}


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

long * MASKED(ulong *param_1,ulong *param_2)

{
  ulong uVar1;
  long *plVar2;
  long lVar3;
  ulong uVar4;
  int iVar5;
  long lVar6;
  ulong uVar7;
  int iVar8;
  ulong uVar9;
  
  uVar1 = *param_2;
  if ((int)*param_2 <= (int)*param_1) {
    uVar1 = *param_1;
  }
  plVar2 = (long *)FUN_0013177d(uVar1 & 0xffffffff);
  if ((int)uVar1 < 1) {
    *plVar2 = 0;
  }
  else {
    lVar6 = 1;
    uVar7 = 1;
    iVar8 = 0;
    do {
      iVar5 = (int)lVar6;
      uVar4 = 0;
      if (iVar5 <= (int)*param_1) {
        uVar4 = param_1[lVar6];
      }
      uVar9 = 0;
      if (iVar5 <= (int)*param_2) {
        uVar9 = param_2[lVar6];
      }
      lVar3 = uVar7 + uVar4 + ~uVar9;
      uVar7 = (ulong)CARRY8(uVar7,uVar4) + (ulong)CARRY8(uVar7 + uVar4,~uVar9);
      plVar2[lVar6] = lVar3;
      if (iVar8 < iVar5) {
        if (lVar3 != 0) {
          iVar8 = iVar5;
        }
      }
      lVar6 = lVar6 + 1;
    } while (lVar6 != (ulong)((int)uVar1 - 1) + 2);
    *plVar2 = (long)iVar8;
    if (uVar7 == 0) {
      FUN_00131850(plVar2);
      plVar2 = (long *)0x0;
    }
  }
  return plVar2;
}

