
int32 pstm_mul_2(pstm_int *a,pstm_int *b)

{
  int32 iVar1;
  pstm_digit pVar2;
  uint *puVar3;
  uint *puVar4;
  int iVar5;
  pstm_digit *ppVar6;
  int iVar7;
  uint uVar8;
  uint uVar9;
  
  if ((b->alloc <= a->used) && (iVar1 = pstm_grow(b,a->used + 1), iVar1 != 0)) {
    return iVar1;
  }
  iVar7 = b->used;
  b->used = a->used;
  iVar5 = 0;
  if (0 < a->used) {
    ppVar6 = a->dp;
    puVar3 = b->dp;
    uVar9 = 0;
    do {
      pVar2 = *ppVar6;
      uVar8 = -((int)pVar2 >> 0x1f);
      ppVar6 = ppVar6 + 1;
      puVar4 = puVar3 + 1;
      *puVar3 = pVar2 << 1 | uVar9;
      iVar5 = iVar5 + 1;
      puVar3 = puVar4;
      uVar9 = uVar8;
    } while (iVar5 < a->used);
    if (uVar8 != 0) {
      iVar5 = b->used;
      if (iVar5 == 0xfff) goto LAB_000516bc;
      *puVar4 = 1;
      b->used = b->used + 1;
    }
  }
  iVar5 = b->used;
LAB_000516bc:
  if (iVar5 < iVar7) {
    ppVar6 = b->dp + iVar5;
    do {
      iVar5 = iVar5 + 1;
      *ppVar6 = 0;
      ppVar6 = ppVar6 + 1;
    } while (iVar7 != iVar5);
  }
  b->sign = a->sign;
  return 0;
}



int pstm_mul_2(int *param_1,int *param_2)

{
  int iVar1;
  int iVar2;
  undefined4 *puVar3;
  uint *puVar4;
  uint *puVar5;
  int *piVar6;
  int iVar7;
  uint uVar8;
  uint uVar9;
  
  if ((param_2[1] <= *param_1) && (iVar1 = pstm_grow(param_2,*param_1 + 1), iVar1 != 0)) {
    return iVar1;
  }
  iVar7 = *param_2;
  *param_2 = *param_1;
  iVar1 = 0;
  if (0 < *param_1) {
    piVar6 = (int *)param_1[3];
    puVar4 = (uint *)param_2[3];
    uVar9 = 0;
    do {
      iVar2 = *piVar6;
      uVar8 = -(iVar2 >> 0x1f);
      piVar6 = piVar6 + 1;
      puVar5 = puVar4 + 1;
      *puVar4 = iVar2 << 1 | uVar9;
      iVar1 = iVar1 + 1;
      puVar4 = puVar5;
      uVar9 = uVar8;
    } while (iVar1 < *param_1);
    if (uVar8 != 0) {
      iVar1 = *param_2;
      if (iVar1 == 0xfff) goto LAB_000516bc;
      *puVar5 = 1;
      *param_2 = *param_2 + 1;
    }
  }
  iVar1 = *param_2;
LAB_000516bc:
  if (iVar1 < iVar7) {
    puVar3 = (undefined4 *)(param_2[3] + iVar1 * 4);
    do {
      iVar1 = iVar1 + 1;
      *puVar3 = 0;
      puVar3 = puVar3 + 1;
    } while (iVar7 != iVar1);
  }
  param_2[2] = param_1[2];
  return 0;
}


lui gp,0xe
addiu gp,gp,0x7b68
addu gp,gp,t9
addiu sp,sp,-0x28
sw ra,0x24(sp)
sw s1,0x20(sp)
sw s0,0x1c(sp)
sw gp,0x10(sp)
or s0,a1,zero
lw a1,0x0(a0)
lw v0,0x4(s0)
slt v0,a1,v0
bne v0,zero,0x00051640
_or s1,a0,zero
addiu a1,a1,0x1
or a0,s0,zero
lw t9,-0x7b18(gp)
bal 0x000508e0
_nop
lw gp,0x10(sp)
bne v0,zero,0x000516f0
_lw ra,0x24(sp)
lw a3,0x0(s0)
lw v0,0x0(s1)
sw v0,0x0(s0)
lw v0,0x0(s1)
blez v0,0x000516b8
_or a0,zero,zero
lw a1,0xc(s1)
lw v1,0xc(s0)
or t1,zero,zero
lw v0,0x0(a1)
srl t0,v0,0x1f
addiu a1,a1,0x4
addiu v1,v1,0x4
sll v0,v0,0x1
or v0,v0,t1
sw v0,-0x4(v1)
addiu a0,a0,0x1
lw a2,0x0(s1)
slt a2,a0,a2
bne a2,zero,0x00051664
_or t1,t0,zero
beq t0,zero,0x000516b8
_li v0,0xfff
lw a0,0x0(s0)
beq a0,v0,0x000516bc
_li v0,0x1
sw v0,0x0(v1)
lw v0,0x0(s0)
addiu v0,v0,0x1
sw v0,0x0(s0)
lw a0,0x0(s0)
slt v0,a0,a3
beq v0,zero,0x000516e0
_sll v0,a0,0x2
lw v1,0xc(s0)
addu v0,v1,v0
addiu v0,v0,0x4
addiu a0,a0,0x1
bne a3,a0,0x000516d0
_sw zero,-0x4(v0)
lw v0,0x8(s1)
sw v0,0x8(s0)
or v0,zero,zero
lw ra,0x24(sp)
lw s1,0x20(sp)
lw s0,0x1c(sp)
jr ra
_addiu sp,sp,0x28
(translation_unit "int pstm_mul_2(int *param_1,int *param_2)\n\n{\n  int iVar1;\n  int iVar2;\n  undefined4 *puVar3;\n  uint *puVar4;\n  uint *puVar5;\n  int *piVar6;\n  int iVar7;\n  uint uVar8;\n  uint uVar9;\n  \n  if ((param_2[1] <= *param_1) && (iVar1 = pstm_grow(param_2,*param_1 + 1), iVar1 != 0)) {\n    return iVar1;\n  }\n  iVar7 = *param_2;\n  *param_2 = *param_1;\n  iVar1 = 0;\n  if (0 < *param_1) {\n    piVar6 = (int *)param_1[3];\n    puVar4 = (uint *)param_2[3];\n    uVar9 = 0;\n    do {\n      iVar2 = *piVar6;\n      uVar8 = -(iVar2 >> 0x1f);\n      piVar6 = piVar6 + 1;\n      puVar5 = puVar4 + 1;\n      *puVar4 = iVar2 << 1 | uVar9;\n      iVar1 = iVar1 + 1;\n      puVar4 = puVar5;\n      uVar9 = uVar8;\n    } while (iVar1 < *param_1);\n    if (uVar8 != 0) {\n      iVar1 = *param_2;\n      if (iVar1 == 0xfff) goto LAB_000516bc;\n      *puVar5 = 1;\n      *param_2 = *param_2 + 1;\n    }\n  }\n  iVar1 = *param_2;\nLAB_000516bc:\n  if (iVar1 < iVar7) {\n    puVar3 = (undefined4 *)(param_2[3] + iVar1 * 4);\n    do {\n      iVar1 = iVar1 + 1;\n      *puVar3 = 0;\n      puVar3 = puVar3 + 1;\n    } while (iVar7 != iVar1);\n  }\n  param_2[2] = param_1[2];\n  return 0;\n}\n\n" (function_definition "int pstm_mul_2(int *param_1,int *param_2)\n\n{\n  int iVar1;\n  int iVar2;\n  undefined4 *puVar3;\n  uint *puVar4;\n  uint *puVar5;\n  int *piVar6;\n  int iVar7;\n  uint uVar8;\n  uint uVar9;\n  \n  if ((param_2[1] <= *param_1) && (iVar1 = pstm_grow(param_2,*param_1 + 1), iVar1 != 0)) {\n    return iVar1;\n  }\n  iVar7 = *param_2;\n  *param_2 = *param_1;\n  iVar1 = 0;\n  if (0 < *param_1) {\n    piVar6 = (int *)param_1[3];\n    puVar4 = (uint *)param_2[3];\n    uVar9 = 0;\n    do {\n      iVar2 = *piVar6;\n      uVar8 = -(iVar2 >> 0x1f);\n      piVar6 = piVar6 + 1;\n      puVar5 = puVar4 + 1;\n      *puVar4 = iVar2 << 1 | uVar9;\n      iVar1 = iVar1 + 1;\n      puVar4 = puVar5;\n      uVar9 = uVar8;\n    } while (iVar1 < *param_1);\n    if (uVar8 != 0) {\n      iVar1 = *param_2;\n      if (iVar1 == 0xfff) goto LAB_000516bc;\n      *puVar5 = 1;\n      *param_2 = *param_2 + 1;\n    }\n  }\n  iVar1 = *param_2;\nLAB_000516bc:\n  if (iVar1 < iVar7) {\n    puVar3 = (undefined4 *)(param_2[3] + iVar1 * 4);\n    do {\n      iVar1 = iVar1 + 1;\n      *puVar3 = 0;\n      puVar3 = puVar3 + 1;\n    } while (iVar7 != iVar1);\n  }\n  param_2[2] = param_1[2];\n  return 0;\n}" primitive_type (function_declarator "pstm_mul_2(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  int iVar1;\n  int iVar2;\n  undefined4 *puVar3;\n  uint *puVar4;\n  uint *puVar5;\n  int *piVar6;\n  int iVar7;\n  uint uVar8;\n  uint uVar9;\n  \n  if ((param_2[1] <= *param_1) && (iVar1 = pstm_grow(param_2,*param_1 + 1), iVar1 != 0)) {\n    return iVar1;\n  }\n  iVar7 = *param_2;\n  *param_2 = *param_1;\n  iVar1 = 0;\n  if (0 < *param_1) {\n    piVar6 = (int *)param_1[3];\n    puVar4 = (uint *)param_2[3];\n    uVar9 = 0;\n    do {\n      iVar2 = *piVar6;\n      uVar8 = -(iVar2 >> 0x1f);\n      piVar6 = piVar6 + 1;\n      puVar5 = puVar4 + 1;\n      *puVar4 = iVar2 << 1 | uVar9;\n      iVar1 = iVar1 + 1;\n      puVar4 = puVar5;\n      uVar9 = uVar8;\n    } while (iVar1 < *param_1);\n    if (uVar8 != 0) {\n      iVar1 = *param_2;\n      if (iVar1 == 0xfff) goto LAB_000516bc;\n      *puVar5 = 1;\n      *param_2 = *param_2 + 1;\n    }\n  }\n  iVar1 = *param_2;\nLAB_000516bc:\n  if (iVar1 < iVar7) {\n    puVar3 = (undefined4 *)(param_2[3] + iVar1 * 4);\n    do {\n      iVar1 = iVar1 + 1;\n      *puVar3 = 0;\n      puVar3 = puVar3 + 1;\n    } while (iVar7 != iVar1);\n  }\n  param_2[2] = param_1[2];\n  return 0;\n}" { (declaration "int iVar1;" primitive_type identifier ;) (declaration "int iVar2;" primitive_type identifier ;) (declaration "undefined4 *puVar3;" type_identifier (pointer_declarator "*puVar3" * identifier) ;) (declaration "uint *puVar4;" type_identifier (pointer_declarator "*puVar4" * identifier) ;) (declaration "uint *puVar5;" type_identifier (pointer_declarator "*puVar5" * identifier) ;) (declaration "int *piVar6;" primitive_type (pointer_declarator "*piVar6" * identifier) ;) (declaration "int iVar7;" primitive_type identifier ;) (declaration "uint uVar8;" type_identifier identifier ;) (declaration "uint uVar9;" type_identifier identifier ;) (if_statement "if ((param_2[1] <= *param_1) && (iVar1 = pstm_grow(param_2,*param_1 + 1), iVar1 != 0)) {\n    return iVar1;\n  }" if (parenthesized_expression "((param_2[1] <= *param_1) && (iVar1 = pstm_grow(param_2,*param_1 + 1), iVar1 != 0))" ( (binary_expression "(param_2[1] <= *param_1) && (iVar1 = pstm_grow(param_2,*param_1 + 1), iVar1 != 0)" (parenthesized_expression "(param_2[1] <= *param_1)" ( (binary_expression "param_2[1] <= *param_1" (subscript_expression "param_2[1]" identifier [ number_literal ]) <= (pointer_expression "*param_1" * identifier)) )) && (parenthesized_expression "(iVar1 = pstm_grow(param_2,*param_1 + 1), iVar1 != 0)" ( (comma_expression "iVar1 = pstm_grow(param_2,*param_1 + 1), iVar1 != 0" (assignment_expression "iVar1 = pstm_grow(param_2,*param_1 + 1)" identifier = (call_expression "pstm_grow(param_2,*param_1 + 1)" identifier (argument_list "(param_2,*param_1 + 1)" ( identifier , (binary_expression "*param_1 + 1" (pointer_expression "*param_1" * identifier) + number_literal) )))) , (binary_expression "iVar1 != 0" identifier != number_literal)) ))) )) (compound_statement "{\n    return iVar1;\n  }" { (return_statement "return iVar1;" return identifier ;) })) (expression_statement "iVar7 = *param_2;" (assignment_expression "iVar7 = *param_2" identifier = (pointer_expression "*param_2" * identifier)) ;) (expression_statement "*param_2 = *param_1;" (assignment_expression "*param_2 = *param_1" (pointer_expression "*param_2" * identifier) = (pointer_expression "*param_1" * identifier)) ;) (expression_statement "iVar1 = 0;" (assignment_expression "iVar1 = 0" identifier = number_literal) ;) (if_statement "if (0 < *param_1) {\n    piVar6 = (int *)param_1[3];\n    puVar4 = (uint *)param_2[3];\n    uVar9 = 0;\n    do {\n      iVar2 = *piVar6;\n      uVar8 = -(iVar2 >> 0x1f);\n      piVar6 = piVar6 + 1;\n      puVar5 = puVar4 + 1;\n      *puVar4 = iVar2 << 1 | uVar9;\n      iVar1 = iVar1 + 1;\n      puVar4 = puVar5;\n      uVar9 = uVar8;\n    } while (iVar1 < *param_1);\n    if (uVar8 != 0) {\n      iVar1 = *param_2;\n      if (iVar1 == 0xfff) goto LAB_000516bc;\n      *puVar5 = 1;\n      *param_2 = *param_2 + 1;\n    }\n  }" if (parenthesized_expression "(0 < *param_1)" ( (binary_expression "0 < *param_1" number_literal < (pointer_expression "*param_1" * identifier)) )) (compound_statement "{\n    piVar6 = (int *)param_1[3];\n    puVar4 = (uint *)param_2[3];\n    uVar9 = 0;\n    do {\n      iVar2 = *piVar6;\n      uVar8 = -(iVar2 >> 0x1f);\n      piVar6 = piVar6 + 1;\n      puVar5 = puVar4 + 1;\n      *puVar4 = iVar2 << 1 | uVar9;\n      iVar1 = iVar1 + 1;\n      puVar4 = puVar5;\n      uVar9 = uVar8;\n    } while (iVar1 < *param_1);\n    if (uVar8 != 0) {\n      iVar1 = *param_2;\n      if (iVar1 == 0xfff) goto LAB_000516bc;\n      *puVar5 = 1;\n      *param_2 = *param_2 + 1;\n    }\n  }" { (expression_statement "piVar6 = (int *)param_1[3];" (assignment_expression "piVar6 = (int *)param_1[3]" identifier = (cast_expression "(int *)param_1[3]" ( (type_descriptor "int *" primitive_type (abstract_pointer_declarator "*" *)) ) (subscript_expression "param_1[3]" identifier [ number_literal ]))) ;) (expression_statement "puVar4 = (uint *)param_2[3];" (assignment_expression "puVar4 = (uint *)param_2[3]" identifier = (cast_expression "(uint *)param_2[3]" ( (type_descriptor "uint *" type_identifier (abstract_pointer_declarator "*" *)) ) (subscript_expression "param_2[3]" identifier [ number_literal ]))) ;) (expression_statement "uVar9 = 0;" (assignment_expression "uVar9 = 0" identifier = number_literal) ;) (do_statement "do {\n      iVar2 = *piVar6;\n      uVar8 = -(iVar2 >> 0x1f);\n      piVar6 = piVar6 + 1;\n      puVar5 = puVar4 + 1;\n      *puVar4 = iVar2 << 1 | uVar9;\n      iVar1 = iVar1 + 1;\n      puVar4 = puVar5;\n      uVar9 = uVar8;\n    } while (iVar1 < *param_1);" do (compound_statement "{\n      iVar2 = *piVar6;\n      uVar8 = -(iVar2 >> 0x1f);\n      piVar6 = piVar6 + 1;\n      puVar5 = puVar4 + 1;\n      *puVar4 = iVar2 << 1 | uVar9;\n      iVar1 = iVar1 + 1;\n      puVar4 = puVar5;\n      uVar9 = uVar8;\n    }" { (expression_statement "iVar2 = *piVar6;" (assignment_expression "iVar2 = *piVar6" identifier = (pointer_expression "*piVar6" * identifier)) ;) (expression_statement "uVar8 = -(iVar2 >> 0x1f);" (assignment_expression "uVar8 = -(iVar2 >> 0x1f)" identifier = (unary_expression "-(iVar2 >> 0x1f)" - (parenthesized_expression "(iVar2 >> 0x1f)" ( (binary_expression "iVar2 >> 0x1f" identifier >> number_literal) )))) ;) (expression_statement "piVar6 = piVar6 + 1;" (assignment_expression "piVar6 = piVar6 + 1" identifier = (binary_expression "piVar6 + 1" identifier + number_literal)) ;) (expression_statement "puVar5 = puVar4 + 1;" (assignment_expression "puVar5 = puVar4 + 1" identifier = (binary_expression "puVar4 + 1" identifier + number_literal)) ;) (expression_statement "*puVar4 = iVar2 << 1 | uVar9;" (assignment_expression "*puVar4 = iVar2 << 1 | uVar9" (pointer_expression "*puVar4" * identifier) = (binary_expression "iVar2 << 1 | uVar9" (binary_expression "iVar2 << 1" identifier << number_literal) | identifier)) ;) (expression_statement "iVar1 = iVar1 + 1;" (assignment_expression "iVar1 = iVar1 + 1" identifier = (binary_expression "iVar1 + 1" identifier + number_literal)) ;) (expression_statement "puVar4 = puVar5;" (assignment_expression "puVar4 = puVar5" identifier = identifier) ;) (expression_statement "uVar9 = uVar8;" (assignment_expression "uVar9 = uVar8" identifier = identifier) ;) }) while (parenthesized_expression "(iVar1 < *param_1)" ( (binary_expression "iVar1 < *param_1" identifier < (pointer_expression "*param_1" * identifier)) )) ;) (if_statement "if (uVar8 != 0) {\n      iVar1 = *param_2;\n      if (iVar1 == 0xfff) goto LAB_000516bc;\n      *puVar5 = 1;\n      *param_2 = *param_2 + 1;\n    }" if (parenthesized_expression "(uVar8 != 0)" ( (binary_expression "uVar8 != 0" identifier != number_literal) )) (compound_statement "{\n      iVar1 = *param_2;\n      if (iVar1 == 0xfff) goto LAB_000516bc;\n      *puVar5 = 1;\n      *param_2 = *param_2 + 1;\n    }" { (expression_statement "iVar1 = *param_2;" (assignment_expression "iVar1 = *param_2" identifier = (pointer_expression "*param_2" * identifier)) ;) (if_statement "if (iVar1 == 0xfff) goto LAB_000516bc;" if (parenthesized_expression "(iVar1 == 0xfff)" ( (binary_expression "iVar1 == 0xfff" identifier == number_literal) )) (goto_statement "goto LAB_000516bc;" goto statement_identifier ;)) (expression_statement "*puVar5 = 1;" (assignment_expression "*puVar5 = 1" (pointer_expression "*puVar5" * identifier) = number_literal) ;) (expression_statement "*param_2 = *param_2 + 1;" (assignment_expression "*param_2 = *param_2 + 1" (pointer_expression "*param_2" * identifier) = (binary_expression "*param_2 + 1" (pointer_expression "*param_2" * identifier) + number_literal)) ;) })) })) (expression_statement "iVar1 = *param_2;" (assignment_expression "iVar1 = *param_2" identifier = (pointer_expression "*param_2" * identifier)) ;) (labeled_statement "LAB_000516bc:\n  if (iVar1 < iVar7) {\n    puVar3 = (undefined4 *)(param_2[3] + iVar1 * 4);\n    do {\n      iVar1 = iVar1 + 1;\n      *puVar3 = 0;\n      puVar3 = puVar3 + 1;\n    } while (iVar7 != iVar1);\n  }" statement_identifier : (if_statement "if (iVar1 < iVar7) {\n    puVar3 = (undefined4 *)(param_2[3] + iVar1 * 4);\n    do {\n      iVar1 = iVar1 + 1;\n      *puVar3 = 0;\n      puVar3 = puVar3 + 1;\n    } while (iVar7 != iVar1);\n  }" if (parenthesized_expression "(iVar1 < iVar7)" ( (binary_expression "iVar1 < iVar7" identifier < identifier) )) (compound_statement "{\n    puVar3 = (undefined4 *)(param_2[3] + iVar1 * 4);\n    do {\n      iVar1 = iVar1 + 1;\n      *puVar3 = 0;\n      puVar3 = puVar3 + 1;\n    } while (iVar7 != iVar1);\n  }" { (expression_statement "puVar3 = (undefined4 *)(param_2[3] + iVar1 * 4);" (assignment_expression "puVar3 = (undefined4 *)(param_2[3] + iVar1 * 4)" identifier = (cast_expression "(undefined4 *)(param_2[3] + iVar1 * 4)" ( (type_descriptor "undefined4 *" type_identifier (abstract_pointer_declarator "*" *)) ) (parenthesized_expression "(param_2[3] + iVar1 * 4)" ( (binary_expression "param_2[3] + iVar1 * 4" (subscript_expression "param_2[3]" identifier [ number_literal ]) + (binary_expression "iVar1 * 4" identifier * number_literal)) )))) ;) (do_statement "do {\n      iVar1 = iVar1 + 1;\n      *puVar3 = 0;\n      puVar3 = puVar3 + 1;\n    } while (iVar7 != iVar1);" do (compound_statement "{\n      iVar1 = iVar1 + 1;\n      *puVar3 = 0;\n      puVar3 = puVar3 + 1;\n    }" { (expression_statement "iVar1 = iVar1 + 1;" (assignment_expression "iVar1 = iVar1 + 1" identifier = (binary_expression "iVar1 + 1" identifier + number_literal)) ;) (expression_statement "*puVar3 = 0;" (assignment_expression "*puVar3 = 0" (pointer_expression "*puVar3" * identifier) = number_literal) ;) (expression_statement "puVar3 = puVar3 + 1;" (assignment_expression "puVar3 = puVar3 + 1" identifier = (binary_expression "puVar3 + 1" identifier + number_literal)) ;) }) while (parenthesized_expression "(iVar7 != iVar1)" ( (binary_expression "iVar7 != iVar1" identifier != identifier) )) ;) }))) (expression_statement "param_2[2] = param_1[2];" (assignment_expression "param_2[2] = param_1[2]" (subscript_expression "param_2[2]" identifier [ number_literal ]) = (subscript_expression "param_1[2]" identifier [ number_literal ])) ;) (return_statement "return 0;" return number_literal ;) })))
(translation_unit "int32 pstm_mul_2(pstm_int *a,pstm_int *b)\n\n{\n  int32 iVar1;\n  pstm_digit pVar2;\n  uint *puVar3;\n  uint *puVar4;\n  int iVar5;\n  pstm_digit *ppVar6;\n  int iVar7;\n  uint uVar8;\n  uint uVar9;\n  \n  if ((b->alloc <= a->used) && (iVar1 = pstm_grow(b,a->used + 1), iVar1 != 0)) {\n    return iVar1;\n  }\n  iVar7 = b->used;\n  b->used = a->used;\n  iVar5 = 0;\n  if (0 < a->used) {\n    ppVar6 = a->dp;\n    puVar3 = b->dp;\n    uVar9 = 0;\n    do {\n      pVar2 = *ppVar6;\n      uVar8 = -((int)pVar2 >> 0x1f);\n      ppVar6 = ppVar6 + 1;\n      puVar4 = puVar3 + 1;\n      *puVar3 = pVar2 << 1 | uVar9;\n      iVar5 = iVar5 + 1;\n      puVar3 = puVar4;\n      uVar9 = uVar8;\n    } while (iVar5 < a->used);\n    if (uVar8 != 0) {\n      iVar5 = b->used;\n      if (iVar5 == 0xfff) goto LAB_000516bc;\n      *puVar4 = 1;\n      b->used = b->used + 1;\n    }\n  }\n  iVar5 = b->used;\nLAB_000516bc:\n  if (iVar5 < iVar7) {\n    ppVar6 = b->dp + iVar5;\n    do {\n      iVar5 = iVar5 + 1;\n      *ppVar6 = 0;\n      ppVar6 = ppVar6 + 1;\n    } while (iVar7 != iVar5);\n  }\n  b->sign = a->sign;\n  return 0;\n}\n\n" (function_definition "int32 pstm_mul_2(pstm_int *a,pstm_int *b)\n\n{\n  int32 iVar1;\n  pstm_digit pVar2;\n  uint *puVar3;\n  uint *puVar4;\n  int iVar5;\n  pstm_digit *ppVar6;\n  int iVar7;\n  uint uVar8;\n  uint uVar9;\n  \n  if ((b->alloc <= a->used) && (iVar1 = pstm_grow(b,a->used + 1), iVar1 != 0)) {\n    return iVar1;\n  }\n  iVar7 = b->used;\n  b->used = a->used;\n  iVar5 = 0;\n  if (0 < a->used) {\n    ppVar6 = a->dp;\n    puVar3 = b->dp;\n    uVar9 = 0;\n    do {\n      pVar2 = *ppVar6;\n      uVar8 = -((int)pVar2 >> 0x1f);\n      ppVar6 = ppVar6 + 1;\n      puVar4 = puVar3 + 1;\n      *puVar3 = pVar2 << 1 | uVar9;\n      iVar5 = iVar5 + 1;\n      puVar3 = puVar4;\n      uVar9 = uVar8;\n    } while (iVar5 < a->used);\n    if (uVar8 != 0) {\n      iVar5 = b->used;\n      if (iVar5 == 0xfff) goto LAB_000516bc;\n      *puVar4 = 1;\n      b->used = b->used + 1;\n    }\n  }\n  iVar5 = b->used;\nLAB_000516bc:\n  if (iVar5 < iVar7) {\n    ppVar6 = b->dp + iVar5;\n    do {\n      iVar5 = iVar5 + 1;\n      *ppVar6 = 0;\n      ppVar6 = ppVar6 + 1;\n    } while (iVar7 != iVar5);\n  }\n  b->sign = a->sign;\n  return 0;\n}" type_identifier (function_declarator "pstm_mul_2(pstm_int *a,pstm_int *b)" identifier (parameter_list "(pstm_int *a,pstm_int *b)" ( (parameter_declaration "pstm_int *a" type_identifier (pointer_declarator "*a" * identifier)) , (parameter_declaration "pstm_int *b" type_identifier (pointer_declarator "*b" * identifier)) ))) (compound_statement "{\n  int32 iVar1;\n  pstm_digit pVar2;\n  uint *puVar3;\n  uint *puVar4;\n  int iVar5;\n  pstm_digit *ppVar6;\n  int iVar7;\n  uint uVar8;\n  uint uVar9;\n  \n  if ((b->alloc <= a->used) && (iVar1 = pstm_grow(b,a->used + 1), iVar1 != 0)) {\n    return iVar1;\n  }\n  iVar7 = b->used;\n  b->used = a->used;\n  iVar5 = 0;\n  if (0 < a->used) {\n    ppVar6 = a->dp;\n    puVar3 = b->dp;\n    uVar9 = 0;\n    do {\n      pVar2 = *ppVar6;\n      uVar8 = -((int)pVar2 >> 0x1f);\n      ppVar6 = ppVar6 + 1;\n      puVar4 = puVar3 + 1;\n      *puVar3 = pVar2 << 1 | uVar9;\n      iVar5 = iVar5 + 1;\n      puVar3 = puVar4;\n      uVar9 = uVar8;\n    } while (iVar5 < a->used);\n    if (uVar8 != 0) {\n      iVar5 = b->used;\n      if (iVar5 == 0xfff) goto LAB_000516bc;\n      *puVar4 = 1;\n      b->used = b->used + 1;\n    }\n  }\n  iVar5 = b->used;\nLAB_000516bc:\n  if (iVar5 < iVar7) {\n    ppVar6 = b->dp + iVar5;\n    do {\n      iVar5 = iVar5 + 1;\n      *ppVar6 = 0;\n      ppVar6 = ppVar6 + 1;\n    } while (iVar7 != iVar5);\n  }\n  b->sign = a->sign;\n  return 0;\n}" { (declaration "int32 iVar1;" type_identifier identifier ;) (declaration "pstm_digit pVar2;" type_identifier identifier ;) (declaration "uint *puVar3;" type_identifier (pointer_declarator "*puVar3" * identifier) ;) (declaration "uint *puVar4;" type_identifier (pointer_declarator "*puVar4" * identifier) ;) (declaration "int iVar5;" primitive_type identifier ;) (declaration "pstm_digit *ppVar6;" type_identifier (pointer_declarator "*ppVar6" * identifier) ;) (declaration "int iVar7;" primitive_type identifier ;) (declaration "uint uVar8;" type_identifier identifier ;) (declaration "uint uVar9;" type_identifier identifier ;) (if_statement "if ((b->alloc <= a->used) && (iVar1 = pstm_grow(b,a->used + 1), iVar1 != 0)) {\n    return iVar1;\n  }" if (parenthesized_expression "((b->alloc <= a->used) && (iVar1 = pstm_grow(b,a->used + 1), iVar1 != 0))" ( (binary_expression "(b->alloc <= a->used) && (iVar1 = pstm_grow(b,a->used + 1), iVar1 != 0)" (parenthesized_expression "(b->alloc <= a->used)" ( (binary_expression "b->alloc <= a->used" (field_expression "b->alloc" identifier -> field_identifier) <= (field_expression "a->used" identifier -> field_identifier)) )) && (parenthesized_expression "(iVar1 = pstm_grow(b,a->used + 1), iVar1 != 0)" ( (comma_expression "iVar1 = pstm_grow(b,a->used + 1), iVar1 != 0" (assignment_expression "iVar1 = pstm_grow(b,a->used + 1)" identifier = (call_expression "pstm_grow(b,a->used + 1)" identifier (argument_list "(b,a->used + 1)" ( identifier , (binary_expression "a->used + 1" (field_expression "a->used" identifier -> field_identifier) + number_literal) )))) , (binary_expression "iVar1 != 0" identifier != number_literal)) ))) )) (compound_statement "{\n    return iVar1;\n  }" { (return_statement "return iVar1;" return identifier ;) })) (expression_statement "iVar7 = b->used;" (assignment_expression "iVar7 = b->used" identifier = (field_expression "b->used" identifier -> field_identifier)) ;) (expression_statement "b->used = a->used;" (assignment_expression "b->used = a->used" (field_expression "b->used" identifier -> field_identifier) = (field_expression "a->used" identifier -> field_identifier)) ;) (expression_statement "iVar5 = 0;" (assignment_expression "iVar5 = 0" identifier = number_literal) ;) (if_statement "if (0 < a->used) {\n    ppVar6 = a->dp;\n    puVar3 = b->dp;\n    uVar9 = 0;\n    do {\n      pVar2 = *ppVar6;\n      uVar8 = -((int)pVar2 >> 0x1f);\n      ppVar6 = ppVar6 + 1;\n      puVar4 = puVar3 + 1;\n      *puVar3 = pVar2 << 1 | uVar9;\n      iVar5 = iVar5 + 1;\n      puVar3 = puVar4;\n      uVar9 = uVar8;\n    } while (iVar5 < a->used);\n    if (uVar8 != 0) {\n      iVar5 = b->used;\n      if (iVar5 == 0xfff) goto LAB_000516bc;\n      *puVar4 = 1;\n      b->used = b->used + 1;\n    }\n  }" if (parenthesized_expression "(0 < a->used)" ( (binary_expression "0 < a->used" number_literal < (field_expression "a->used" identifier -> field_identifier)) )) (compound_statement "{\n    ppVar6 = a->dp;\n    puVar3 = b->dp;\n    uVar9 = 0;\n    do {\n      pVar2 = *ppVar6;\n      uVar8 = -((int)pVar2 >> 0x1f);\n      ppVar6 = ppVar6 + 1;\n      puVar4 = puVar3 + 1;\n      *puVar3 = pVar2 << 1 | uVar9;\n      iVar5 = iVar5 + 1;\n      puVar3 = puVar4;\n      uVar9 = uVar8;\n    } while (iVar5 < a->used);\n    if (uVar8 != 0) {\n      iVar5 = b->used;\n      if (iVar5 == 0xfff) goto LAB_000516bc;\n      *puVar4 = 1;\n      b->used = b->used + 1;\n    }\n  }" { (expression_statement "ppVar6 = a->dp;" (assignment_expression "ppVar6 = a->dp" identifier = (field_expression "a->dp" identifier -> field_identifier)) ;) (expression_statement "puVar3 = b->dp;" (assignment_expression "puVar3 = b->dp" identifier = (field_expression "b->dp" identifier -> field_identifier)) ;) (expression_statement "uVar9 = 0;" (assignment_expression "uVar9 = 0" identifier = number_literal) ;) (do_statement "do {\n      pVar2 = *ppVar6;\n      uVar8 = -((int)pVar2 >> 0x1f);\n      ppVar6 = ppVar6 + 1;\n      puVar4 = puVar3 + 1;\n      *puVar3 = pVar2 << 1 | uVar9;\n      iVar5 = iVar5 + 1;\n      puVar3 = puVar4;\n      uVar9 = uVar8;\n    } while (iVar5 < a->used);" do (compound_statement "{\n      pVar2 = *ppVar6;\n      uVar8 = -((int)pVar2 >> 0x1f);\n      ppVar6 = ppVar6 + 1;\n      puVar4 = puVar3 + 1;\n      *puVar3 = pVar2 << 1 | uVar9;\n      iVar5 = iVar5 + 1;\n      puVar3 = puVar4;\n      uVar9 = uVar8;\n    }" { (expression_statement "pVar2 = *ppVar6;" (assignment_expression "pVar2 = *ppVar6" identifier = (pointer_expression "*ppVar6" * identifier)) ;) (expression_statement "uVar8 = -((int)pVar2 >> 0x1f);" (assignment_expression "uVar8 = -((int)pVar2 >> 0x1f)" identifier = (unary_expression "-((int)pVar2 >> 0x1f)" - (parenthesized_expression "((int)pVar2 >> 0x1f)" ( (binary_expression "(int)pVar2 >> 0x1f" (cast_expression "(int)pVar2" ( (type_descriptor "int" primitive_type) ) identifier) >> number_literal) )))) ;) (expression_statement "ppVar6 = ppVar6 + 1;" (assignment_expression "ppVar6 = ppVar6 + 1" identifier = (binary_expression "ppVar6 + 1" identifier + number_literal)) ;) (expression_statement "puVar4 = puVar3 + 1;" (assignment_expression "puVar4 = puVar3 + 1" identifier = (binary_expression "puVar3 + 1" identifier + number_literal)) ;) (expression_statement "*puVar3 = pVar2 << 1 | uVar9;" (assignment_expression "*puVar3 = pVar2 << 1 | uVar9" (pointer_expression "*puVar3" * identifier) = (binary_expression "pVar2 << 1 | uVar9" (binary_expression "pVar2 << 1" identifier << number_literal) | identifier)) ;) (expression_statement "iVar5 = iVar5 + 1;" (assignment_expression "iVar5 = iVar5 + 1" identifier = (binary_expression "iVar5 + 1" identifier + number_literal)) ;) (expression_statement "puVar3 = puVar4;" (assignment_expression "puVar3 = puVar4" identifier = identifier) ;) (expression_statement "uVar9 = uVar8;" (assignment_expression "uVar9 = uVar8" identifier = identifier) ;) }) while (parenthesized_expression "(iVar5 < a->used)" ( (binary_expression "iVar5 < a->used" identifier < (field_expression "a->used" identifier -> field_identifier)) )) ;) (if_statement "if (uVar8 != 0) {\n      iVar5 = b->used;\n      if (iVar5 == 0xfff) goto LAB_000516bc;\n      *puVar4 = 1;\n      b->used = b->used + 1;\n    }" if (parenthesized_expression "(uVar8 != 0)" ( (binary_expression "uVar8 != 0" identifier != number_literal) )) (compound_statement "{\n      iVar5 = b->used;\n      if (iVar5 == 0xfff) goto LAB_000516bc;\n      *puVar4 = 1;\n      b->used = b->used + 1;\n    }" { (expression_statement "iVar5 = b->used;" (assignment_expression "iVar5 = b->used" identifier = (field_expression "b->used" identifier -> field_identifier)) ;) (if_statement "if (iVar5 == 0xfff) goto LAB_000516bc;" if (parenthesized_expression "(iVar5 == 0xfff)" ( (binary_expression "iVar5 == 0xfff" identifier == number_literal) )) (goto_statement "goto LAB_000516bc;" goto statement_identifier ;)) (expression_statement "*puVar4 = 1;" (assignment_expression "*puVar4 = 1" (pointer_expression "*puVar4" * identifier) = number_literal) ;) (expression_statement "b->used = b->used + 1;" (assignment_expression "b->used = b->used + 1" (field_expression "b->used" identifier -> field_identifier) = (binary_expression "b->used + 1" (field_expression "b->used" identifier -> field_identifier) + number_literal)) ;) })) })) (expression_statement "iVar5 = b->used;" (assignment_expression "iVar5 = b->used" identifier = (field_expression "b->used" identifier -> field_identifier)) ;) (labeled_statement "LAB_000516bc:\n  if (iVar5 < iVar7) {\n    ppVar6 = b->dp + iVar5;\n    do {\n      iVar5 = iVar5 + 1;\n      *ppVar6 = 0;\n      ppVar6 = ppVar6 + 1;\n    } while (iVar7 != iVar5);\n  }" statement_identifier : (if_statement "if (iVar5 < iVar7) {\n    ppVar6 = b->dp + iVar5;\n    do {\n      iVar5 = iVar5 + 1;\n      *ppVar6 = 0;\n      ppVar6 = ppVar6 + 1;\n    } while (iVar7 != iVar5);\n  }" if (parenthesized_expression "(iVar5 < iVar7)" ( (binary_expression "iVar5 < iVar7" identifier < identifier) )) (compound_statement "{\n    ppVar6 = b->dp + iVar5;\n    do {\n      iVar5 = iVar5 + 1;\n      *ppVar6 = 0;\n      ppVar6 = ppVar6 + 1;\n    } while (iVar7 != iVar5);\n  }" { (expression_statement "ppVar6 = b->dp + iVar5;" (assignment_expression "ppVar6 = b->dp + iVar5" identifier = (binary_expression "b->dp + iVar5" (field_expression "b->dp" identifier -> field_identifier) + identifier)) ;) (do_statement "do {\n      iVar5 = iVar5 + 1;\n      *ppVar6 = 0;\n      ppVar6 = ppVar6 + 1;\n    } while (iVar7 != iVar5);" do (compound_statement "{\n      iVar5 = iVar5 + 1;\n      *ppVar6 = 0;\n      ppVar6 = ppVar6 + 1;\n    }" { (expression_statement "iVar5 = iVar5 + 1;" (assignment_expression "iVar5 = iVar5 + 1" identifier = (binary_expression "iVar5 + 1" identifier + number_literal)) ;) (expression_statement "*ppVar6 = 0;" (assignment_expression "*ppVar6 = 0" (pointer_expression "*ppVar6" * identifier) = number_literal) ;) (expression_statement "ppVar6 = ppVar6 + 1;" (assignment_expression "ppVar6 = ppVar6 + 1" identifier = (binary_expression "ppVar6 + 1" identifier + number_literal)) ;) }) while (parenthesized_expression "(iVar7 != iVar5)" ( (binary_expression "iVar7 != iVar5" identifier != identifier) )) ;) }))) (expression_statement "b->sign = a->sign;" (assignment_expression "b->sign = a->sign" (field_expression "b->sign" identifier -> field_identifier) = (field_expression "a->sign" identifier -> field_identifier)) ;) (return_statement "return 0;" return number_literal ;) })))
(translation_unit "int pstm_mul_2(int *param_1,int *param_2)\n\n{\n  int iVar1;\n  int iVar2;\n  undefined4 *puVar3;\n  uint *puVar4;\n  uint *puVar5;\n  int *piVar6;\n  int iVar7;\n  uint uVar8;\n  uint uVar9;\n  \n  if ((param_2[1] <= *param_1) && (iVar1 = pstm_grow(param_2,*param_1 + 1), iVar1 != 0)) {\n    return iVar1;\n  }\n  iVar7 = *param_2;\n  *param_2 = *param_1;\n  iVar1 = 0;\n  if (0 < *param_1) {\n    piVar6 = (int *)param_1[3];\n    puVar4 = (uint *)param_2[3];\n    uVar9 = 0;\n    do {\n      iVar2 = *piVar6;\n      uVar8 = -(iVar2 >> 0x1f);\n      piVar6 = piVar6 + 1;\n      puVar5 = puVar4 + 1;\n      *puVar4 = iVar2 << 1 | uVar9;\n      iVar1 = iVar1 + 1;\n      puVar4 = puVar5;\n      uVar9 = uVar8;\n    } while (iVar1 < *param_1);\n    if (uVar8 != 0) {\n      iVar1 = *param_2;\n      if (iVar1 == 0xfff) goto LAB_000516bc;\n      *puVar5 = 1;\n      *param_2 = *param_2 + 1;\n    }\n  }\n  iVar1 = *param_2;\nLAB_000516bc:\n  if (iVar1 < iVar7) {\n    puVar3 = (undefined4 *)(param_2[3] + iVar1 * 4);\n    do {\n      iVar1 = iVar1 + 1;\n      *puVar3 = 0;\n      puVar3 = puVar3 + 1;\n    } while (iVar7 != iVar1);\n  }\n  param_2[2] = param_1[2];\n  return 0;\n}\n\n" (function_definition "int pstm_mul_2(int *param_1,int *param_2)\n\n{\n  int iVar1;\n  int iVar2;\n  undefined4 *puVar3;\n  uint *puVar4;\n  uint *puVar5;\n  int *piVar6;\n  int iVar7;\n  uint uVar8;\n  uint uVar9;\n  \n  if ((param_2[1] <= *param_1) && (iVar1 = pstm_grow(param_2,*param_1 + 1), iVar1 != 0)) {\n    return iVar1;\n  }\n  iVar7 = *param_2;\n  *param_2 = *param_1;\n  iVar1 = 0;\n  if (0 < *param_1) {\n    piVar6 = (int *)param_1[3];\n    puVar4 = (uint *)param_2[3];\n    uVar9 = 0;\n    do {\n      iVar2 = *piVar6;\n      uVar8 = -(iVar2 >> 0x1f);\n      piVar6 = piVar6 + 1;\n      puVar5 = puVar4 + 1;\n      *puVar4 = iVar2 << 1 | uVar9;\n      iVar1 = iVar1 + 1;\n      puVar4 = puVar5;\n      uVar9 = uVar8;\n    } while (iVar1 < *param_1);\n    if (uVar8 != 0) {\n      iVar1 = *param_2;\n      if (iVar1 == 0xfff) goto LAB_000516bc;\n      *puVar5 = 1;\n      *param_2 = *param_2 + 1;\n    }\n  }\n  iVar1 = *param_2;\nLAB_000516bc:\n  if (iVar1 < iVar7) {\n    puVar3 = (undefined4 *)(param_2[3] + iVar1 * 4);\n    do {\n      iVar1 = iVar1 + 1;\n      *puVar3 = 0;\n      puVar3 = puVar3 + 1;\n    } while (iVar7 != iVar1);\n  }\n  param_2[2] = param_1[2];\n  return 0;\n}" primitive_type (function_declarator "pstm_mul_2(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  int iVar1;\n  int iVar2;\n  undefined4 *puVar3;\n  uint *puVar4;\n  uint *puVar5;\n  int *piVar6;\n  int iVar7;\n  uint uVar8;\n  uint uVar9;\n  \n  if ((param_2[1] <= *param_1) && (iVar1 = pstm_grow(param_2,*param_1 + 1), iVar1 != 0)) {\n    return iVar1;\n  }\n  iVar7 = *param_2;\n  *param_2 = *param_1;\n  iVar1 = 0;\n  if (0 < *param_1) {\n    piVar6 = (int *)param_1[3];\n    puVar4 = (uint *)param_2[3];\n    uVar9 = 0;\n    do {\n      iVar2 = *piVar6;\n      uVar8 = -(iVar2 >> 0x1f);\n      piVar6 = piVar6 + 1;\n      puVar5 = puVar4 + 1;\n      *puVar4 = iVar2 << 1 | uVar9;\n      iVar1 = iVar1 + 1;\n      puVar4 = puVar5;\n      uVar9 = uVar8;\n    } while (iVar1 < *param_1);\n    if (uVar8 != 0) {\n      iVar1 = *param_2;\n      if (iVar1 == 0xfff) goto LAB_000516bc;\n      *puVar5 = 1;\n      *param_2 = *param_2 + 1;\n    }\n  }\n  iVar1 = *param_2;\nLAB_000516bc:\n  if (iVar1 < iVar7) {\n    puVar3 = (undefined4 *)(param_2[3] + iVar1 * 4);\n    do {\n      iVar1 = iVar1 + 1;\n      *puVar3 = 0;\n      puVar3 = puVar3 + 1;\n    } while (iVar7 != iVar1);\n  }\n  param_2[2] = param_1[2];\n  return 0;\n}" { (declaration "int iVar1;" primitive_type identifier ;) (declaration "int iVar2;" primitive_type identifier ;) (declaration "undefined4 *puVar3;" type_identifier (pointer_declarator "*puVar3" * identifier) ;) (declaration "uint *puVar4;" type_identifier (pointer_declarator "*puVar4" * identifier) ;) (declaration "uint *puVar5;" type_identifier (pointer_declarator "*puVar5" * identifier) ;) (declaration "int *piVar6;" primitive_type (pointer_declarator "*piVar6" * identifier) ;) (declaration "int iVar7;" primitive_type identifier ;) (declaration "uint uVar8;" type_identifier identifier ;) (declaration "uint uVar9;" type_identifier identifier ;) (if_statement "if ((param_2[1] <= *param_1) && (iVar1 = pstm_grow(param_2,*param_1 + 1), iVar1 != 0)) {\n    return iVar1;\n  }" if (parenthesized_expression "((param_2[1] <= *param_1) && (iVar1 = pstm_grow(param_2,*param_1 + 1), iVar1 != 0))" ( (binary_expression "(param_2[1] <= *param_1) && (iVar1 = pstm_grow(param_2,*param_1 + 1), iVar1 != 0)" (parenthesized_expression "(param_2[1] <= *param_1)" ( (binary_expression "param_2[1] <= *param_1" (subscript_expression "param_2[1]" identifier [ number_literal ]) <= (pointer_expression "*param_1" * identifier)) )) && (parenthesized_expression "(iVar1 = pstm_grow(param_2,*param_1 + 1), iVar1 != 0)" ( (comma_expression "iVar1 = pstm_grow(param_2,*param_1 + 1), iVar1 != 0" (assignment_expression "iVar1 = pstm_grow(param_2,*param_1 + 1)" identifier = (call_expression "pstm_grow(param_2,*param_1 + 1)" identifier (argument_list "(param_2,*param_1 + 1)" ( identifier , (binary_expression "*param_1 + 1" (pointer_expression "*param_1" * identifier) + number_literal) )))) , (binary_expression "iVar1 != 0" identifier != number_literal)) ))) )) (compound_statement "{\n    return iVar1;\n  }" { (return_statement "return iVar1;" return identifier ;) })) (expression_statement "iVar7 = *param_2;" (assignment_expression "iVar7 = *param_2" identifier = (pointer_expression "*param_2" * identifier)) ;) (expression_statement "*param_2 = *param_1;" (assignment_expression "*param_2 = *param_1" (pointer_expression "*param_2" * identifier) = (pointer_expression "*param_1" * identifier)) ;) (expression_statement "iVar1 = 0;" (assignment_expression "iVar1 = 0" identifier = number_literal) ;) (if_statement "if (0 < *param_1) {\n    piVar6 = (int *)param_1[3];\n    puVar4 = (uint *)param_2[3];\n    uVar9 = 0;\n    do {\n      iVar2 = *piVar6;\n      uVar8 = -(iVar2 >> 0x1f);\n      piVar6 = piVar6 + 1;\n      puVar5 = puVar4 + 1;\n      *puVar4 = iVar2 << 1 | uVar9;\n      iVar1 = iVar1 + 1;\n      puVar4 = puVar5;\n      uVar9 = uVar8;\n    } while (iVar1 < *param_1);\n    if (uVar8 != 0) {\n      iVar1 = *param_2;\n      if (iVar1 == 0xfff) goto LAB_000516bc;\n      *puVar5 = 1;\n      *param_2 = *param_2 + 1;\n    }\n  }" if (parenthesized_expression "(0 < *param_1)" ( (binary_expression "0 < *param_1" number_literal < (pointer_expression "*param_1" * identifier)) )) (compound_statement "{\n    piVar6 = (int *)param_1[3];\n    puVar4 = (uint *)param_2[3];\n    uVar9 = 0;\n    do {\n      iVar2 = *piVar6;\n      uVar8 = -(iVar2 >> 0x1f);\n      piVar6 = piVar6 + 1;\n      puVar5 = puVar4 + 1;\n      *puVar4 = iVar2 << 1 | uVar9;\n      iVar1 = iVar1 + 1;\n      puVar4 = puVar5;\n      uVar9 = uVar8;\n    } while (iVar1 < *param_1);\n    if (uVar8 != 0) {\n      iVar1 = *param_2;\n      if (iVar1 == 0xfff) goto LAB_000516bc;\n      *puVar5 = 1;\n      *param_2 = *param_2 + 1;\n    }\n  }" { (expression_statement "piVar6 = (int *)param_1[3];" (assignment_expression "piVar6 = (int *)param_1[3]" identifier = (cast_expression "(int *)param_1[3]" ( (type_descriptor "int *" primitive_type (abstract_pointer_declarator "*" *)) ) (subscript_expression "param_1[3]" identifier [ number_literal ]))) ;) (expression_statement "puVar4 = (uint *)param_2[3];" (assignment_expression "puVar4 = (uint *)param_2[3]" identifier = (cast_expression "(uint *)param_2[3]" ( (type_descriptor "uint *" type_identifier (abstract_pointer_declarator "*" *)) ) (subscript_expression "param_2[3]" identifier [ number_literal ]))) ;) (expression_statement "uVar9 = 0;" (assignment_expression "uVar9 = 0" identifier = number_literal) ;) (do_statement "do {\n      iVar2 = *piVar6;\n      uVar8 = -(iVar2 >> 0x1f);\n      piVar6 = piVar6 + 1;\n      puVar5 = puVar4 + 1;\n      *puVar4 = iVar2 << 1 | uVar9;\n      iVar1 = iVar1 + 1;\n      puVar4 = puVar5;\n      uVar9 = uVar8;\n    } while (iVar1 < *param_1);" do (compound_statement "{\n      iVar2 = *piVar6;\n      uVar8 = -(iVar2 >> 0x1f);\n      piVar6 = piVar6 + 1;\n      puVar5 = puVar4 + 1;\n      *puVar4 = iVar2 << 1 | uVar9;\n      iVar1 = iVar1 + 1;\n      puVar4 = puVar5;\n      uVar9 = uVar8;\n    }" { (expression_statement "iVar2 = *piVar6;" (assignment_expression "iVar2 = *piVar6" identifier = (pointer_expression "*piVar6" * identifier)) ;) (expression_statement "uVar8 = -(iVar2 >> 0x1f);" (assignment_expression "uVar8 = -(iVar2 >> 0x1f)" identifier = (unary_expression "-(iVar2 >> 0x1f)" - (parenthesized_expression "(iVar2 >> 0x1f)" ( (binary_expression "iVar2 >> 0x1f" identifier >> number_literal) )))) ;) (expression_statement "piVar6 = piVar6 + 1;" (assignment_expression "piVar6 = piVar6 + 1" identifier = (binary_expression "piVar6 + 1" identifier + number_literal)) ;) (expression_statement "puVar5 = puVar4 + 1;" (assignment_expression "puVar5 = puVar4 + 1" identifier = (binary_expression "puVar4 + 1" identifier + number_literal)) ;) (expression_statement "*puVar4 = iVar2 << 1 | uVar9;" (assignment_expression "*puVar4 = iVar2 << 1 | uVar9" (pointer_expression "*puVar4" * identifier) = (binary_expression "iVar2 << 1 | uVar9" (binary_expression "iVar2 << 1" identifier << number_literal) | identifier)) ;) (expression_statement "iVar1 = iVar1 + 1;" (assignment_expression "iVar1 = iVar1 + 1" identifier = (binary_expression "iVar1 + 1" identifier + number_literal)) ;) (expression_statement "puVar4 = puVar5;" (assignment_expression "puVar4 = puVar5" identifier = identifier) ;) (expression_statement "uVar9 = uVar8;" (assignment_expression "uVar9 = uVar8" identifier = identifier) ;) }) while (parenthesized_expression "(iVar1 < *param_1)" ( (binary_expression "iVar1 < *param_1" identifier < (pointer_expression "*param_1" * identifier)) )) ;) (if_statement "if (uVar8 != 0) {\n      iVar1 = *param_2;\n      if (iVar1 == 0xfff) goto LAB_000516bc;\n      *puVar5 = 1;\n      *param_2 = *param_2 + 1;\n    }" if (parenthesized_expression "(uVar8 != 0)" ( (binary_expression "uVar8 != 0" identifier != number_literal) )) (compound_statement "{\n      iVar1 = *param_2;\n      if (iVar1 == 0xfff) goto LAB_000516bc;\n      *puVar5 = 1;\n      *param_2 = *param_2 + 1;\n    }" { (expression_statement "iVar1 = *param_2;" (assignment_expression "iVar1 = *param_2" identifier = (pointer_expression "*param_2" * identifier)) ;) (if_statement "if (iVar1 == 0xfff) goto LAB_000516bc;" if (parenthesized_expression "(iVar1 == 0xfff)" ( (binary_expression "iVar1 == 0xfff" identifier == number_literal) )) (goto_statement "goto LAB_000516bc;" goto statement_identifier ;)) (expression_statement "*puVar5 = 1;" (assignment_expression "*puVar5 = 1" (pointer_expression "*puVar5" * identifier) = number_literal) ;) (expression_statement "*param_2 = *param_2 + 1;" (assignment_expression "*param_2 = *param_2 + 1" (pointer_expression "*param_2" * identifier) = (binary_expression "*param_2 + 1" (pointer_expression "*param_2" * identifier) + number_literal)) ;) })) })) (expression_statement "iVar1 = *param_2;" (assignment_expression "iVar1 = *param_2" identifier = (pointer_expression "*param_2" * identifier)) ;) (labeled_statement "LAB_000516bc:\n  if (iVar1 < iVar7) {\n    puVar3 = (undefined4 *)(param_2[3] + iVar1 * 4);\n    do {\n      iVar1 = iVar1 + 1;\n      *puVar3 = 0;\n      puVar3 = puVar3 + 1;\n    } while (iVar7 != iVar1);\n  }" statement_identifier : (if_statement "if (iVar1 < iVar7) {\n    puVar3 = (undefined4 *)(param_2[3] + iVar1 * 4);\n    do {\n      iVar1 = iVar1 + 1;\n      *puVar3 = 0;\n      puVar3 = puVar3 + 1;\n    } while (iVar7 != iVar1);\n  }" if (parenthesized_expression "(iVar1 < iVar7)" ( (binary_expression "iVar1 < iVar7" identifier < identifier) )) (compound_statement "{\n    puVar3 = (undefined4 *)(param_2[3] + iVar1 * 4);\n    do {\n      iVar1 = iVar1 + 1;\n      *puVar3 = 0;\n      puVar3 = puVar3 + 1;\n    } while (iVar7 != iVar1);\n  }" { (expression_statement "puVar3 = (undefined4 *)(param_2[3] + iVar1 * 4);" (assignment_expression "puVar3 = (undefined4 *)(param_2[3] + iVar1 * 4)" identifier = (cast_expression "(undefined4 *)(param_2[3] + iVar1 * 4)" ( (type_descriptor "undefined4 *" type_identifier (abstract_pointer_declarator "*" *)) ) (parenthesized_expression "(param_2[3] + iVar1 * 4)" ( (binary_expression "param_2[3] + iVar1 * 4" (subscript_expression "param_2[3]" identifier [ number_literal ]) + (binary_expression "iVar1 * 4" identifier * number_literal)) )))) ;) (do_statement "do {\n      iVar1 = iVar1 + 1;\n      *puVar3 = 0;\n      puVar3 = puVar3 + 1;\n    } while (iVar7 != iVar1);" do (compound_statement "{\n      iVar1 = iVar1 + 1;\n      *puVar3 = 0;\n      puVar3 = puVar3 + 1;\n    }" { (expression_statement "iVar1 = iVar1 + 1;" (assignment_expression "iVar1 = iVar1 + 1" identifier = (binary_expression "iVar1 + 1" identifier + number_literal)) ;) (expression_statement "*puVar3 = 0;" (assignment_expression "*puVar3 = 0" (pointer_expression "*puVar3" * identifier) = number_literal) ;) (expression_statement "puVar3 = puVar3 + 1;" (assignment_expression "puVar3 = puVar3 + 1" identifier = (binary_expression "puVar3 + 1" identifier + number_literal)) ;) }) while (parenthesized_expression "(iVar7 != iVar1)" ( (binary_expression "iVar7 != iVar1" identifier != identifier) )) ;) }))) (expression_statement "param_2[2] = param_1[2];" (assignment_expression "param_2[2] = param_1[2]" (subscript_expression "param_2[2]" identifier [ number_literal ]) = (subscript_expression "param_1[2]" identifier [ number_literal ])) ;) (return_statement "return 0;" return number_literal ;) })))
(translation_unit (function_definition TYPE (function_declarator IDENT (parameter_list ( (parameter_declaration TYPE (pointer_declarator * IDENT)) , (parameter_declaration TYPE (pointer_declarator * IDENT)) ))) (compound_statement { (declaration TYPE IDENT ;) (declaration TYPE IDENT ;) (declaration TYPE (pointer_declarator * IDENT) ;) (declaration TYPE (pointer_declarator * IDENT) ;) (declaration TYPE (pointer_declarator * IDENT) ;) (declaration TYPE (pointer_declarator * IDENT) ;) (declaration TYPE IDENT ;) (declaration TYPE IDENT ;) (declaration TYPE IDENT ;) (if_statement if (parenthesized_expression ( (binary_expression (parenthesized_expression ( (binary_expression (subscript_expression IDENT [ LIT ]) <= (pointer_expression * IDENT)) )) && (parenthesized_expression ( (comma_expression (assignment_expression IDENT = (call_expression IDENT (argument_list ( IDENT , (binary_expression (pointer_expression * IDENT) + LIT) )))) , (binary_expression IDENT != LIT)) ))) )) (compound_statement { (return_statement return IDENT ;) })) (expression_statement (assignment_expression IDENT = (pointer_expression * IDENT)) ;) (expression_statement (assignment_expression (pointer_expression * IDENT) = (pointer_expression * IDENT)) ;) (expression_statement (assignment_expression IDENT = LIT) ;) (if_statement if (parenthesized_expression ( (binary_expression LIT < (pointer_expression * IDENT)) )) (compound_statement { (expression_statement (assignment_expression IDENT = (cast_expression ( (type_descriptor TYPE (abstract_pointer_declarator *)) ) (subscript_expression IDENT [ LIT ]))) ;) (expression_statement (assignment_expression IDENT = (cast_expression ( (type_descriptor TYPE (abstract_pointer_declarator *)) ) (subscript_expression IDENT [ LIT ]))) ;) (expression_statement (assignment_expression IDENT = LIT) ;) (do_statement do (compound_statement { (expression_statement (assignment_expression IDENT = (pointer_expression * IDENT)) ;) (expression_statement (assignment_expression IDENT = (unary_expression - (parenthesized_expression ( (binary_expression IDENT >> LIT) )))) ;) (expression_statement (assignment_expression IDENT = (binary_expression IDENT + LIT)) ;) (expression_statement (assignment_expression IDENT = (binary_expression IDENT + LIT)) ;) (expression_statement (assignment_expression (pointer_expression * IDENT) = (binary_expression (binary_expression IDENT << LIT) | IDENT)) ;) (expression_statement (assignment_expression IDENT = (binary_expression IDENT + LIT)) ;) (expression_statement (assignment_expression IDENT = IDENT) ;) (expression_statement (assignment_expression IDENT = IDENT) ;) }) while (parenthesized_expression ( (binary_expression IDENT < (pointer_expression * IDENT)) )) ;) (if_statement if (parenthesized_expression ( (binary_expression IDENT != LIT) )) (compound_statement { (expression_statement (assignment_expression IDENT = (pointer_expression * IDENT)) ;) (if_statement if (parenthesized_expression ( (binary_expression IDENT == LIT) )) (goto_statement goto statement_identifier ;)) (expression_statement (assignment_expression (pointer_expression * IDENT) = LIT) ;) (expression_statement (assignment_expression (pointer_expression * IDENT) = (binary_expression (pointer_expression * IDENT) + LIT)) ;) })) })) (expression_statement (assignment_expression IDENT = (pointer_expression * IDENT)) ;) (labeled_statement statement_identifier : (if_statement if (parenthesized_expression ( (binary_expression IDENT < IDENT) )) (compound_statement { (expression_statement (assignment_expression IDENT = (cast_expression ( (type_descriptor TYPE (abstract_pointer_declarator *)) ) (parenthesized_expression ( (binary_expression (subscript_expression IDENT [ LIT ]) + (binary_expression IDENT * LIT)) )))) ;) (do_statement do (compound_statement { (expression_statement (assignment_expression IDENT = (binary_expression IDENT + LIT)) ;) (expression_statement (assignment_expression (pointer_expression * IDENT) = LIT) ;) (expression_statement (assignment_expression IDENT = (binary_expression IDENT + LIT)) ;) }) while (parenthesized_expression ( (binary_expression IDENT != IDENT) )) ;) }))) (expression_statement (assignment_expression (subscript_expression IDENT [ LIT ]) = (subscript_expression IDENT [ LIT ])) ;) (return_statement return LIT ;) })))
(function_definition "int pstm_mul_2(int *param_1,int *param_2)\n\n{\n  int iVar1;\n  int iVar2;\n  undefined4 *puVar3;\n  uint *puVar4;\n  uint *puVar5;\n  int *piVar6;\n  int iVar7;\n  uint uVar8;\n  uint uVar9;\n  \n  if ((param_2[1] <= *param_1) && (iVar1 = pstm_grow(param_2,*param_1 + 1), iVar1 != 0)) {\n    return iVar1;\n  }\n  iVar7 = *param_2;\n  *param_2 = *param_1;\n  iVar1 = 0;\n  if (0 < *param_1) {\n    piVar6 = (int *)param_1[3];\n    puVar4 = (uint *)param_2[3];\n    uVar9 = 0;\n    do {\n      iVar2 = *piVar6;\n      uVar8 = -(iVar2 >> 0x1f);\n      piVar6 = piVar6 + 1;\n      puVar5 = puVar4 + 1;\n      *puVar4 = iVar2 << 1 | uVar9;\n      iVar1 = iVar1 + 1;\n      puVar4 = puVar5;\n      uVar9 = uVar8;\n    } while (iVar1 < *param_1);\n    if (uVar8 != 0) {\n      iVar1 = *param_2;\n      if (iVar1 == 0xfff) goto LAB_000516bc;\n      *puVar5 = 1;\n      *param_2 = *param_2 + 1;\n    }\n  }\n  iVar1 = *param_2;\nLAB_000516bc:\n  if (iVar1 < iVar7) {\n    puVar3 = (undefined4 *)(param_2[3] + iVar1 * 4);\n    do {\n      iVar1 = iVar1 + 1;\n      *puVar3 = 0;\n      puVar3 = puVar3 + 1;\n    } while (iVar7 != iVar1);\n  }\n  param_2[2] = param_1[2];\n  return 0;\n}" (primitive_type "int") (function_declarator "pstm_mul_2(int *param_1,int *param_2)" (identifier "pstm_mul_2") (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  int iVar1;\n  int iVar2;\n  undefined4 *puVar3;\n  uint *puVar4;\n  uint *puVar5;\n  int *piVar6;\n  int iVar7;\n  uint uVar8;\n  uint uVar9;\n  \n  if ((param_2[1] <= *param_1) && (iVar1 = pstm_grow(param_2,*param_1 + 1), iVar1 != 0)) {\n    return iVar1;\n  }\n  iVar7 = *param_2;\n  *param_2 = *param_1;\n  iVar1 = 0;\n  if (0 < *param_1) {\n    piVar6 = (int *)param_1[3];\n    puVar4 = (uint *)param_2[3];\n    uVar9 = 0;\n    do {\n      iVar2 = *piVar6;\n      uVar8 = -(iVar2 >> 0x1f);\n      piVar6 = piVar6 + 1;\n      puVar5 = puVar4 + 1;\n      *puVar4 = iVar2 << 1 | uVar9;\n      iVar1 = iVar1 + 1;\n      puVar4 = puVar5;\n      uVar9 = uVar8;\n    } while (iVar1 < *param_1);\n    if (uVar8 != 0) {\n      iVar1 = *param_2;\n      if (iVar1 == 0xfff) goto LAB_000516bc;\n      *puVar5 = 1;\n      *param_2 = *param_2 + 1;\n    }\n  }\n  iVar1 = *param_2;\nLAB_000516bc:\n  if (iVar1 < iVar7) {\n    puVar3 = (undefined4 *)(param_2[3] + iVar1 * 4);\n    do {\n      iVar1 = iVar1 + 1;\n      *puVar3 = 0;\n      puVar3 = puVar3 + 1;\n    } while (iVar7 != iVar1);\n  }\n  param_2[2] = param_1[2];\n  return 0;\n}" ({ "{") (declaration "int iVar1;" (primitive_type "int") (identifier "iVar1") (; ";")) (declaration "int iVar2;" (primitive_type "int") (identifier "iVar2") (; ";")) (declaration "undefined4 *puVar3;" (type_identifier "undefined4") (pointer_declarator "*puVar3" (* "*") (identifier "puVar3")) (; ";")) (declaration "uint *puVar4;" (type_identifier "uint") (pointer_declarator "*puVar4" (* "*") (identifier "puVar4")) (; ";")) (declaration "uint *puVar5;" (type_identifier "uint") (pointer_declarator "*puVar5" (* "*") (identifier "puVar5")) (; ";")) (declaration "int *piVar6;" (primitive_type "int") (pointer_declarator "*piVar6" (* "*") (identifier "piVar6")) (; ";")) (declaration "int iVar7;" (primitive_type "int") (identifier "iVar7") (; ";")) (declaration "uint uVar8;" (type_identifier "uint") (identifier "uVar8") (; ";")) (declaration "uint uVar9;" (type_identifier "uint") (identifier "uVar9") (; ";")) (if_statement "if ((param_2[1] <= *param_1) && (iVar1 = pstm_grow(param_2,*param_1 + 1), iVar1 != 0)) {\n    return iVar1;\n  }" (if "if") (parenthesized_expression "((param_2[1] <= *param_1) && (iVar1 = pstm_grow(param_2,*param_1 + 1), iVar1 != 0))" (( "(") (binary_expression "(param_2[1] <= *param_1) && (iVar1 = pstm_grow(param_2,*param_1 + 1), iVar1 != 0)" (parenthesized_expression "(param_2[1] <= *param_1)" (( "(") (binary_expression "param_2[1] <= *param_1" (subscript_expression "param_2[1]" (identifier "param_2") ([ "[") (number_literal "1") (] "]")) (<= "<=") (pointer_expression "*param_1" (* "*") (identifier "param_1"))) () ")")) (&& "&&") (parenthesized_expression "(iVar1 = pstm_grow(param_2,*param_1 + 1), iVar1 != 0)" (( "(") (comma_expression "iVar1 = pstm_grow(param_2,*param_1 + 1), iVar1 != 0" (assignment_expression "iVar1 = pstm_grow(param_2,*param_1 + 1)" (identifier "iVar1") (= "=") (call_expression "pstm_grow(param_2,*param_1 + 1)" (identifier "pstm_grow") (argument_list "(param_2,*param_1 + 1)" (( "(") (identifier "param_2") (, ",") (binary_expression "*param_1 + 1" (pointer_expression "*param_1" (* "*") (identifier "param_1")) (+ "+") (number_literal "1")) () ")")))) (, ",") (binary_expression "iVar1 != 0" (identifier "iVar1") (!= "!=") (number_literal "0"))) () ")"))) () ")")) (compound_statement "{\n    return iVar1;\n  }" ({ "{") (return_statement "return iVar1;" (return "return") (identifier "iVar1") (; ";")) (} "}"))) (expression_statement "iVar7 = *param_2;" (assignment_expression "iVar7 = *param_2" (identifier "iVar7") (= "=") (pointer_expression "*param_2" (* "*") (identifier "param_2"))) (; ";")) (expression_statement "*param_2 = *param_1;" (assignment_expression "*param_2 = *param_1" (pointer_expression "*param_2" (* "*") (identifier "param_2")) (= "=") (pointer_expression "*param_1" (* "*") (identifier "param_1"))) (; ";")) (expression_statement "iVar1 = 0;" (assignment_expression "iVar1 = 0" (identifier "iVar1") (= "=") (number_literal "0")) (; ";")) (if_statement "if (0 < *param_1) {\n    piVar6 = (int *)param_1[3];\n    puVar4 = (uint *)param_2[3];\n    uVar9 = 0;\n    do {\n      iVar2 = *piVar6;\n      uVar8 = -(iVar2 >> 0x1f);\n      piVar6 = piVar6 + 1;\n      puVar5 = puVar4 + 1;\n      *puVar4 = iVar2 << 1 | uVar9;\n      iVar1 = iVar1 + 1;\n      puVar4 = puVar5;\n      uVar9 = uVar8;\n    } while (iVar1 < *param_1);\n    if (uVar8 != 0) {\n      iVar1 = *param_2;\n      if (iVar1 == 0xfff) goto LAB_000516bc;\n      *puVar5 = 1;\n      *param_2 = *param_2 + 1;\n    }\n  }" (if "if") (parenthesized_expression "(0 < *param_1)" (( "(") (binary_expression "0 < *param_1" (number_literal "0") (< "<") (pointer_expression "*param_1" (* "*") (identifier "param_1"))) () ")")) (compound_statement "{\n    piVar6 = (int *)param_1[3];\n    puVar4 = (uint *)param_2[3];\n    uVar9 = 0;\n    do {\n      iVar2 = *piVar6;\n      uVar8 = -(iVar2 >> 0x1f);\n      piVar6 = piVar6 + 1;\n      puVar5 = puVar4 + 1;\n      *puVar4 = iVar2 << 1 | uVar9;\n      iVar1 = iVar1 + 1;\n      puVar4 = puVar5;\n      uVar9 = uVar8;\n    } while (iVar1 < *param_1);\n    if (uVar8 != 0) {\n      iVar1 = *param_2;\n      if (iVar1 == 0xfff) goto LAB_000516bc;\n      *puVar5 = 1;\n      *param_2 = *param_2 + 1;\n    }\n  }" ({ "{") (expression_statement "piVar6 = (int *)param_1[3];" (assignment_expression "piVar6 = (int *)param_1[3]" (identifier "piVar6") (= "=") (cast_expression "(int *)param_1[3]" (( "(") (type_descriptor "int *" (primitive_type "int") (abstract_pointer_declarator "*" (* "*"))) () ")") (subscript_expression "param_1[3]" (identifier "param_1") ([ "[") (number_literal "3") (] "]")))) (; ";")) (expression_statement "puVar4 = (uint *)param_2[3];" (assignment_expression "puVar4 = (uint *)param_2[3]" (identifier "puVar4") (= "=") (cast_expression "(uint *)param_2[3]" (( "(") (type_descriptor "uint *" (type_identifier "uint") (abstract_pointer_declarator "*" (* "*"))) () ")") (subscript_expression "param_2[3]" (identifier "param_2") ([ "[") (number_literal "3") (] "]")))) (; ";")) (expression_statement "uVar9 = 0;" (assignment_expression "uVar9 = 0" (identifier "uVar9") (= "=") (number_literal "0")) (; ";")) (do_statement "do {\n      iVar2 = *piVar6;\n      uVar8 = -(iVar2 >> 0x1f);\n      piVar6 = piVar6 + 1;\n      puVar5 = puVar4 + 1;\n      *puVar4 = iVar2 << 1 | uVar9;\n      iVar1 = iVar1 + 1;\n      puVar4 = puVar5;\n      uVar9 = uVar8;\n    } while (iVar1 < *param_1);" (do "do") (compound_statement "{\n      iVar2 = *piVar6;\n      uVar8 = -(iVar2 >> 0x1f);\n      piVar6 = piVar6 + 1;\n      puVar5 = puVar4 + 1;\n      *puVar4 = iVar2 << 1 | uVar9;\n      iVar1 = iVar1 + 1;\n      puVar4 = puVar5;\n      uVar9 = uVar8;\n    }" ({ "{") (expression_statement "iVar2 = *piVar6;" (assignment_expression "iVar2 = *piVar6" (identifier "iVar2") (= "=") (pointer_expression "*piVar6" (* "*") (identifier "piVar6"))) (; ";")) (expression_statement "uVar8 = -(iVar2 >> 0x1f);" (assignment_expression "uVar8 = -(iVar2 >> 0x1f)" (identifier "uVar8") (= "=") (unary_expression "-(iVar2 >> 0x1f)" (- "-") (parenthesized_expression "(iVar2 >> 0x1f)" (( "(") (binary_expression "iVar2 >> 0x1f" (identifier "iVar2") (>> ">>") (number_literal "0x1f")) () ")")))) (; ";")) (expression_statement "piVar6 = piVar6 + 1;" (assignment_expression "piVar6 = piVar6 + 1" (identifier "piVar6") (= "=") (binary_expression "piVar6 + 1" (identifier "piVar6") (+ "+") (number_literal "1"))) (; ";")) (expression_statement "puVar5 = puVar4 + 1;" (assignment_expression "puVar5 = puVar4 + 1" (identifier "puVar5") (= "=") (binary_expression "puVar4 + 1" (identifier "puVar4") (+ "+") (number_literal "1"))) (; ";")) (expression_statement "*puVar4 = iVar2 << 1 | uVar9;" (assignment_expression "*puVar4 = iVar2 << 1 | uVar9" (pointer_expression "*puVar4" (* "*") (identifier "puVar4")) (= "=") (binary_expression "iVar2 << 1 | uVar9" (binary_expression "iVar2 << 1" (identifier "iVar2") (<< "<<") (number_literal "1")) (| "|") (identifier "uVar9"))) (; ";")) (expression_statement "iVar1 = iVar1 + 1;" (assignment_expression "iVar1 = iVar1 + 1" (identifier "iVar1") (= "=") (binary_expression "iVar1 + 1" (identifier "iVar1") (+ "+") (number_literal "1"))) (; ";")) (expression_statement "puVar4 = puVar5;" (assignment_expression "puVar4 = puVar5" (identifier "puVar4") (= "=") (identifier "puVar5")) (; ";")) (expression_statement "uVar9 = uVar8;" (assignment_expression "uVar9 = uVar8" (identifier "uVar9") (= "=") (identifier "uVar8")) (; ";")) (} "}")) (while "while") (parenthesized_expression "(iVar1 < *param_1)" (( "(") (binary_expression "iVar1 < *param_1" (identifier "iVar1") (< "<") (pointer_expression "*param_1" (* "*") (identifier "param_1"))) () ")")) (; ";")) (if_statement "if (uVar8 != 0) {\n      iVar1 = *param_2;\n      if (iVar1 == 0xfff) goto LAB_000516bc;\n      *puVar5 = 1;\n      *param_2 = *param_2 + 1;\n    }" (if "if") (parenthesized_expression "(uVar8 != 0)" (( "(") (binary_expression "uVar8 != 0" (identifier "uVar8") (!= "!=") (number_literal "0")) () ")")) (compound_statement "{\n      iVar1 = *param_2;\n      if (iVar1 == 0xfff) goto LAB_000516bc;\n      *puVar5 = 1;\n      *param_2 = *param_2 + 1;\n    }" ({ "{") (expression_statement "iVar1 = *param_2;" (assignment_expression "iVar1 = *param_2" (identifier "iVar1") (= "=") (pointer_expression "*param_2" (* "*") (identifier "param_2"))) (; ";")) (if_statement "if (iVar1 == 0xfff) goto LAB_000516bc;" (if "if") (parenthesized_expression "(iVar1 == 0xfff)" (( "(") (binary_expression "iVar1 == 0xfff" (identifier "iVar1") (== "==") (number_literal "0xfff")) () ")")) (goto_statement "goto LAB_000516bc;" (goto "goto") (statement_identifier "LAB_000516bc") (; ";"))) (expression_statement "*puVar5 = 1;" (assignment_expression "*puVar5 = 1" (pointer_expression "*puVar5" (* "*") (identifier "puVar5")) (= "=") (number_literal "1")) (; ";")) (expression_statement "*param_2 = *param_2 + 1;" (assignment_expression "*param_2 = *param_2 + 1" (pointer_expression "*param_2" (* "*") (identifier "param_2")) (= "=") (binary_expression "*param_2 + 1" (pointer_expression "*param_2" (* "*") (identifier "param_2")) (+ "+") (number_literal "1"))) (; ";")) (} "}"))) (} "}"))) (expression_statement "iVar1 = *param_2;" (assignment_expression "iVar1 = *param_2" (identifier "iVar1") (= "=") (pointer_expression "*param_2" (* "*") (identifier "param_2"))) (; ";")) (labeled_statement "LAB_000516bc:\n  if (iVar1 < iVar7) {\n    puVar3 = (undefined4 *)(param_2[3] + iVar1 * 4);\n    do {\n      iVar1 = iVar1 + 1;\n      *puVar3 = 0;\n      puVar3 = puVar3 + 1;\n    } while (iVar7 != iVar1);\n  }" (statement_identifier "LAB_000516bc") (: ":") (if_statement "if (iVar1 < iVar7) {\n    puVar3 = (undefined4 *)(param_2[3] + iVar1 * 4);\n    do {\n      iVar1 = iVar1 + 1;\n      *puVar3 = 0;\n      puVar3 = puVar3 + 1;\n    } while (iVar7 != iVar1);\n  }" (if "if") (parenthesized_expression "(iVar1 < iVar7)" (( "(") (binary_expression "iVar1 < iVar7" (identifier "iVar1") (< "<") (identifier "iVar7")) () ")")) (compound_statement "{\n    puVar3 = (undefined4 *)(param_2[3] + iVar1 * 4);\n    do {\n      iVar1 = iVar1 + 1;\n      *puVar3 = 0;\n      puVar3 = puVar3 + 1;\n    } while (iVar7 != iVar1);\n  }" ({ "{") (expression_statement "puVar3 = (undefined4 *)(param_2[3] + iVar1 * 4);" (assignment_expression "puVar3 = (undefined4 *)(param_2[3] + iVar1 * 4)" (identifier "puVar3") (= "=") (cast_expression "(undefined4 *)(param_2[3] + iVar1 * 4)" (( "(") (type_descriptor "undefined4 *" (type_identifier "undefined4") (abstract_pointer_declarator "*" (* "*"))) () ")") (parenthesized_expression "(param_2[3] + iVar1 * 4)" (( "(") (binary_expression "param_2[3] + iVar1 * 4" (subscript_expression "param_2[3]" (identifier "param_2") ([ "[") (number_literal "3") (] "]")) (+ "+") (binary_expression "iVar1 * 4" (identifier "iVar1") (* "*") (number_literal "4"))) () ")")))) (; ";")) (do_statement "do {\n      iVar1 = iVar1 + 1;\n      *puVar3 = 0;\n      puVar3 = puVar3 + 1;\n    } while (iVar7 != iVar1);" (do "do") (compound_statement "{\n      iVar1 = iVar1 + 1;\n      *puVar3 = 0;\n      puVar3 = puVar3 + 1;\n    }" ({ "{") (expression_statement "iVar1 = iVar1 + 1;" (assignment_expression "iVar1 = iVar1 + 1" (identifier "iVar1") (= "=") (binary_expression "iVar1 + 1" (identifier "iVar1") (+ "+") (number_literal "1"))) (; ";")) (expression_statement "*puVar3 = 0;" (assignment_expression "*puVar3 = 0" (pointer_expression "*puVar3" (* "*") (identifier "puVar3")) (= "=") (number_literal "0")) (; ";")) (expression_statement "puVar3 = puVar3 + 1;" (assignment_expression "puVar3 = puVar3 + 1" (identifier "puVar3") (= "=") (binary_expression "puVar3 + 1" (identifier "puVar3") (+ "+") (number_literal "1"))) (; ";")) (} "}")) (while "while") (parenthesized_expression "(iVar7 != iVar1)" (( "(") (binary_expression "iVar7 != iVar1" (identifier "iVar7") (!= "!=") (identifier "iVar1")) () ")")) (; ";")) (} "}")))) (expression_statement "param_2[2] = param_1[2];" (assignment_expression "param_2[2] = param_1[2]" (subscript_expression "param_2[2]" (identifier "param_2") ([ "[") (number_literal "2") (] "]")) (= "=") (subscript_expression "param_1[2]" (identifier "param_1") ([ "[") (number_literal "2") (] "]"))) (; ";")) (return_statement "return 0;" (return "return") (number_literal "0") (; ";")) (} "}")))
(translation_unit (function_definition type: (primitive_type) declarator: (function_declarator declarator: (identifier) parameters: (parameter_list (parameter_declaration type: (primitive_type) declarator: (pointer_declarator declarator: (identifier))) (parameter_declaration type: (primitive_type) declarator: (pointer_declarator declarator: (identifier))))) body: (compound_statement (declaration type: (primitive_type) declarator: (identifier)) (declaration type: (primitive_type) declarator: (identifier)) (declaration type: (type_identifier) declarator: (pointer_declarator declarator: (identifier))) (declaration type: (type_identifier) declarator: (pointer_declarator declarator: (identifier))) (declaration type: (type_identifier) declarator: (pointer_declarator declarator: (identifier))) (declaration type: (primitive_type) declarator: (pointer_declarator declarator: (identifier))) (declaration type: (primitive_type) declarator: (identifier)) (declaration type: (type_identifier) declarator: (identifier)) (declaration type: (type_identifier) declarator: (identifier)) (if_statement condition: (parenthesized_expression (binary_expression left: (parenthesized_expression (binary_expression left: (subscript_expression argument: (identifier) index: (number_literal)) right: (pointer_expression argument: (identifier)))) right: (parenthesized_expression (comma_expression left: (assignment_expression left: (identifier) right: (call_expression function: (identifier) arguments: (argument_list (identifier) (binary_expression left: (pointer_expression argument: (identifier)) right: (number_literal))))) right: (binary_expression left: (identifier) right: (number_literal)))))) consequence: (compound_statement (return_statement (identifier)))) (expression_statement (assignment_expression left: (identifier) right: (pointer_expression argument: (identifier)))) (expression_statement (assignment_expression left: (pointer_expression argument: (identifier)) right: (pointer_expression argument: (identifier)))) (expression_statement (assignment_expression left: (identifier) right: (number_literal))) (if_statement condition: (parenthesized_expression (binary_expression left: (number_literal) right: (pointer_expression argument: (identifier)))) consequence: (compound_statement (expression_statement (assignment_expression left: (identifier) right: (cast_expression type: (type_descriptor type: (primitive_type) declarator: (abstract_pointer_declarator)) value: (subscript_expression argument: (identifier) index: (number_literal))))) (expression_statement (assignment_expression left: (identifier) right: (cast_expression type: (type_descriptor type: (type_identifier) declarator: (abstract_pointer_declarator)) value: (subscript_expression argument: (identifier) index: (number_literal))))) (expression_statement (assignment_expression left: (identifier) right: (number_literal))) (do_statement body: (compound_statement (expression_statement (assignment_expression left: (identifier) right: (pointer_expression argument: (identifier)))) (expression_statement (assignment_expression left: (identifier) right: (unary_expression argument: (parenthesized_expression (binary_expression left: (identifier) right: (number_literal)))))) (expression_statement (assignment_expression left: (identifier) right: (binary_expression left: (identifier) right: (number_literal)))) (expression_statement (assignment_expression left: (identifier) right: (binary_expression left: (identifier) right: (number_literal)))) (expression_statement (assignment_expression left: (pointer_expression argument: (identifier)) right: (binary_expression left: (binary_expression left: (identifier) right: (number_literal)) right: (identifier)))) (expression_statement (assignment_expression left: (identifier) right: (binary_expression left: (identifier) right: (number_literal)))) (expression_statement (assignment_expression left: (identifier) right: (identifier))) (expression_statement (assignment_expression left: (identifier) right: (identifier)))) condition: (parenthesized_expression (binary_expression left: (identifier) right: (pointer_expression argument: (identifier))))) (if_statement condition: (parenthesized_expression (binary_expression left: (identifier) right: (number_literal))) consequence: (compound_statement (expression_statement (assignment_expression left: (identifier) right: (pointer_expression argument: (identifier)))) (if_statement condition: (parenthesized_expression (binary_expression left: (identifier) right: (number_literal))) consequence: (goto_statement label: (statement_identifier))) (expression_statement (assignment_expression left: (pointer_expression argument: (identifier)) right: (number_literal))) (expression_statement (assignment_expression left: (pointer_expression argument: (identifier)) right: (binary_expression left: (pointer_expression argument: (identifier)) right: (number_literal)))))))) (expression_statement (assignment_expression left: (identifier) right: (pointer_expression argument: (identifier)))) (labeled_statement label: (statement_identifier) (if_statement condition: (parenthesized_expression (binary_expression left: (identifier) right: (identifier))) consequence: (compound_statement (expression_statement (assignment_expression left: (identifier) right: (cast_expression type: (type_descriptor type: (type_identifier) declarator: (abstract_pointer_declarator)) value: (parenthesized_expression (binary_expression left: (subscript_expression argument: (identifier) index: (number_literal)) right: (binary_expression left: (identifier) right: (number_literal))))))) (do_statement body: (compound_statement (expression_statement (assignment_expression left: (identifier) right: (binary_expression left: (identifier) right: (number_literal)))) (expression_statement (assignment_expression left: (pointer_expression argument: (identifier)) right: (number_literal))) (expression_statement (assignment_expression left: (identifier) right: (binary_expression left: (identifier) right: (number_literal))))) condition: (parenthesized_expression (binary_expression left: (identifier) right: (identifier))))))) (expression_statement (assignment_expression left: (subscript_expression argument: (identifier) index: (number_literal)) right: (subscript_expression argument: (identifier) index: (number_literal)))) (return_statement (number_literal)))))

int MASKED(int *param_1,int *param_2)

{
  int iVar1;
  int iVar2;
  undefined4 *puVar3;
  uint *puVar4;
  uint *puVar5;
  int *piVar6;
  int iVar7;
  uint uVar8;
  uint uVar9;
  
  if ((param_2[1] <= *param_1) && (iVar1 = pstm_grow(param_2,*param_1 + 1), iVar1 != 0)) {
    return iVar1;
  }
  iVar7 = *param_2;
  *param_2 = *param_1;
  iVar1 = 0;
  if (0 < *param_1) {
    piVar6 = (int *)param_1[3];
    puVar4 = (uint *)param_2[3];
    uVar9 = 0;
    do {
      iVar2 = *piVar6;
      uVar8 = -(iVar2 >> 0x1f);
      piVar6 = piVar6 + 1;
      puVar5 = puVar4 + 1;
      *puVar4 = iVar2 << 1 | uVar9;
      iVar1 = iVar1 + 1;
      puVar4 = puVar5;
      uVar9 = uVar8;
    } while (iVar1 < *param_1);
    if (uVar8 != 0) {
      iVar1 = *param_2;
      if (iVar1 == 0xfff) goto LAB_000516bc;
      *puVar5 = 1;
      *param_2 = *param_2 + 1;
    }
  }
  iVar1 = *param_2;
LAB_000516bc:
  if (iVar1 < iVar7) {
    puVar3 = (undefined4 *)(param_2[3] + iVar1 * 4);
    do {
      iVar1 = iVar1 + 1;
      *puVar3 = 0;
      puVar3 = puVar3 + 1;
    } while (iVar7 != iVar1);
  }
  param_2[2] = param_1[2];
  return 0;
}

