
void internal_sub(BignumInt *a,BignumInt *b,BignumInt *c,int len)

{
  int iVar1;
  uint uVar2;
  uint uVar3;
  uint uVar4;
  uint uVar5;
  int iVar6;
  
  iVar6 = (len + -1) * 4;
  if (-1 < len + -1) {
    iVar1 = 1;
    do {
      uVar4 = *(uint *)((int)a + iVar6);
      uVar2 = uVar4 + iVar1;
      uVar5 = *(uint *)((int)b + iVar6);
      uVar3 = ~uVar5 + uVar2;
      *(uint *)((int)c + iVar6) = uVar3;
      iVar6 = iVar6 + -4;
      iVar1 = (uint)(uVar3 < ~uVar5) + (uint)(uVar2 < uVar4);
    } while (iVar6 != -4);
  }
  return;
}



void FUN_000273e8(int param_1,int param_2,int param_3,int param_4)

{
  int iVar1;
  uint uVar2;
  uint uVar3;
  uint uVar4;
  uint uVar5;
  int iVar6;
  
  iVar6 = (param_4 + -1) * 4;
  if (-1 < param_4 + -1) {
    iVar1 = 1;
    do {
      uVar4 = *(uint *)(param_1 + iVar6);
      uVar2 = uVar4 + iVar1;
      uVar5 = *(uint *)(param_2 + iVar6);
      uVar3 = ~uVar5 + uVar2;
      *(uint *)(param_3 + iVar6) = uVar3;
      iVar6 = iVar6 + -4;
      iVar1 = (uint)(uVar3 < ~uVar5) + (uint)(uVar2 < uVar4);
    } while (iVar6 != -4);
  }
  return;
}


addiu a3,a3,-0x1
bltz a3,0x00027434
_sll a3,a3,0x2
li v0,0x1
li t2,-0x4
addu v1,a0,a3
lw v1,0x0(v1)
addu v0,v1,v0
sltu t0,v0,v1
addu v1,a1,a3
lw v1,0x0(v1)
nor v1,zero,v1
addu v0,v1,v0
sltu v1,v0,v1
addu t1,a2,a3
sw v0,0x0(t1)
addiu a3,a3,-0x4
bne a3,t2,0x000273fc
_addu v0,v1,t0
jr ra
_nop
(translation_unit "void FUN_000273e8(int param_1,int param_2,int param_3,int param_4)\n\n{\n  int iVar1;\n  uint uVar2;\n  uint uVar3;\n  uint uVar4;\n  uint uVar5;\n  int iVar6;\n  \n  iVar6 = (param_4 + -1) * 4;\n  if (-1 < param_4 + -1) {\n    iVar1 = 1;\n    do {\n      uVar4 = *(uint *)(param_1 + iVar6);\n      uVar2 = uVar4 + iVar1;\n      uVar5 = *(uint *)(param_2 + iVar6);\n      uVar3 = ~uVar5 + uVar2;\n      *(uint *)(param_3 + iVar6) = uVar3;\n      iVar6 = iVar6 + -4;\n      iVar1 = (uint)(uVar3 < ~uVar5) + (uint)(uVar2 < uVar4);\n    } while (iVar6 != -4);\n  }\n  return;\n}\n\n" (function_definition "void FUN_000273e8(int param_1,int param_2,int param_3,int param_4)\n\n{\n  int iVar1;\n  uint uVar2;\n  uint uVar3;\n  uint uVar4;\n  uint uVar5;\n  int iVar6;\n  \n  iVar6 = (param_4 + -1) * 4;\n  if (-1 < param_4 + -1) {\n    iVar1 = 1;\n    do {\n      uVar4 = *(uint *)(param_1 + iVar6);\n      uVar2 = uVar4 + iVar1;\n      uVar5 = *(uint *)(param_2 + iVar6);\n      uVar3 = ~uVar5 + uVar2;\n      *(uint *)(param_3 + iVar6) = uVar3;\n      iVar6 = iVar6 + -4;\n      iVar1 = (uint)(uVar3 < ~uVar5) + (uint)(uVar2 < uVar4);\n    } while (iVar6 != -4);\n  }\n  return;\n}" primitive_type (function_declarator "FUN_000273e8(int param_1,int param_2,int param_3,int param_4)" identifier (parameter_list "(int param_1,int param_2,int param_3,int param_4)" ( (parameter_declaration "int param_1" primitive_type identifier) , (parameter_declaration "int param_2" primitive_type identifier) , (parameter_declaration "int param_3" primitive_type identifier) , (parameter_declaration "int param_4" primitive_type identifier) ))) (compound_statement "{\n  int iVar1;\n  uint uVar2;\n  uint uVar3;\n  uint uVar4;\n  uint uVar5;\n  int iVar6;\n  \n  iVar6 = (param_4 + -1) * 4;\n  if (-1 < param_4 + -1) {\n    iVar1 = 1;\n    do {\n      uVar4 = *(uint *)(param_1 + iVar6);\n      uVar2 = uVar4 + iVar1;\n      uVar5 = *(uint *)(param_2 + iVar6);\n      uVar3 = ~uVar5 + uVar2;\n      *(uint *)(param_3 + iVar6) = uVar3;\n      iVar6 = iVar6 + -4;\n      iVar1 = (uint)(uVar3 < ~uVar5) + (uint)(uVar2 < uVar4);\n    } while (iVar6 != -4);\n  }\n  return;\n}" { (declaration "int iVar1;" primitive_type identifier ;) (declaration "uint uVar2;" type_identifier identifier ;) (declaration "uint uVar3;" type_identifier identifier ;) (declaration "uint uVar4;" type_identifier identifier ;) (declaration "uint uVar5;" type_identifier identifier ;) (declaration "int iVar6;" primitive_type identifier ;) (expression_statement "iVar6 = (param_4 + -1) * 4;" (assignment_expression "iVar6 = (param_4 + -1) * 4" identifier = (binary_expression "(param_4 + -1) * 4" (parenthesized_expression "(param_4 + -1)" ( (binary_expression "param_4 + -1" identifier + number_literal) )) * number_literal)) ;) (if_statement "if (-1 < param_4 + -1) {\n    iVar1 = 1;\n    do {\n      uVar4 = *(uint *)(param_1 + iVar6);\n      uVar2 = uVar4 + iVar1;\n      uVar5 = *(uint *)(param_2 + iVar6);\n      uVar3 = ~uVar5 + uVar2;\n      *(uint *)(param_3 + iVar6) = uVar3;\n      iVar6 = iVar6 + -4;\n      iVar1 = (uint)(uVar3 < ~uVar5) + (uint)(uVar2 < uVar4);\n    } while (iVar6 != -4);\n  }" if (parenthesized_expression "(-1 < param_4 + -1)" ( (binary_expression "-1 < param_4 + -1" number_literal < (binary_expression "param_4 + -1" identifier + number_literal)) )) (compound_statement "{\n    iVar1 = 1;\n    do {\n      uVar4 = *(uint *)(param_1 + iVar6);\n      uVar2 = uVar4 + iVar1;\n      uVar5 = *(uint *)(param_2 + iVar6);\n      uVar3 = ~uVar5 + uVar2;\n      *(uint *)(param_3 + iVar6) = uVar3;\n      iVar6 = iVar6 + -4;\n      iVar1 = (uint)(uVar3 < ~uVar5) + (uint)(uVar2 < uVar4);\n    } while (iVar6 != -4);\n  }" { (expression_statement "iVar1 = 1;" (assignment_expression "iVar1 = 1" identifier = number_literal) ;) (do_statement "do {\n      uVar4 = *(uint *)(param_1 + iVar6);\n      uVar2 = uVar4 + iVar1;\n      uVar5 = *(uint *)(param_2 + iVar6);\n      uVar3 = ~uVar5 + uVar2;\n      *(uint *)(param_3 + iVar6) = uVar3;\n      iVar6 = iVar6 + -4;\n      iVar1 = (uint)(uVar3 < ~uVar5) + (uint)(uVar2 < uVar4);\n    } while (iVar6 != -4);" do (compound_statement "{\n      uVar4 = *(uint *)(param_1 + iVar6);\n      uVar2 = uVar4 + iVar1;\n      uVar5 = *(uint *)(param_2 + iVar6);\n      uVar3 = ~uVar5 + uVar2;\n      *(uint *)(param_3 + iVar6) = uVar3;\n      iVar6 = iVar6 + -4;\n      iVar1 = (uint)(uVar3 < ~uVar5) + (uint)(uVar2 < uVar4);\n    }" { (expression_statement "uVar4 = *(uint *)(param_1 + iVar6);" (assignment_expression "uVar4 = *(uint *)(param_1 + iVar6)" identifier = (pointer_expression "*(uint *)(param_1 + iVar6)" * (cast_expression "(uint *)(param_1 + iVar6)" ( (type_descriptor "uint *" type_identifier (abstract_pointer_declarator "*" *)) ) (parenthesized_expression "(param_1 + iVar6)" ( (binary_expression "param_1 + iVar6" identifier + identifier) ))))) ;) (expression_statement "uVar2 = uVar4 + iVar1;" (assignment_expression "uVar2 = uVar4 + iVar1" identifier = (binary_expression "uVar4 + iVar1" identifier + identifier)) ;) (expression_statement "uVar5 = *(uint *)(param_2 + iVar6);" (assignment_expression "uVar5 = *(uint *)(param_2 + iVar6)" identifier = (pointer_expression "*(uint *)(param_2 + iVar6)" * (cast_expression "(uint *)(param_2 + iVar6)" ( (type_descriptor "uint *" type_identifier (abstract_pointer_declarator "*" *)) ) (parenthesized_expression "(param_2 + iVar6)" ( (binary_expression "param_2 + iVar6" identifier + identifier) ))))) ;) (expression_statement "uVar3 = ~uVar5 + uVar2;" (assignment_expression "uVar3 = ~uVar5 + uVar2" identifier = (binary_expression "~uVar5 + uVar2" (unary_expression "~uVar5" ~ identifier) + identifier)) ;) (expression_statement "*(uint *)(param_3 + iVar6) = uVar3;" (assignment_expression "*(uint *)(param_3 + iVar6) = uVar3" (pointer_expression "*(uint *)(param_3 + iVar6)" * (cast_expression "(uint *)(param_3 + iVar6)" ( (type_descriptor "uint *" type_identifier (abstract_pointer_declarator "*" *)) ) (parenthesized_expression "(param_3 + iVar6)" ( (binary_expression "param_3 + iVar6" identifier + identifier) )))) = identifier) ;) (expression_statement "iVar6 = iVar6 + -4;" (assignment_expression "iVar6 = iVar6 + -4" identifier = (binary_expression "iVar6 + -4" identifier + number_literal)) ;) (expression_statement "iVar1 = (uint)(uVar3 < ~uVar5) + (uint)(uVar2 < uVar4);" (assignment_expression "iVar1 = (uint)(uVar3 < ~uVar5) + (uint)(uVar2 < uVar4)" identifier = (binary_expression "(uint)(uVar3 < ~uVar5) + (uint)(uVar2 < uVar4)" (call_expression "(uint)(uVar3 < ~uVar5)" (parenthesized_expression "(uint)" ( identifier )) (argument_list "(uVar3 < ~uVar5)" ( (binary_expression "uVar3 < ~uVar5" identifier < (unary_expression "~uVar5" ~ identifier)) ))) + (call_expression "(uint)(uVar2 < uVar4)" (parenthesized_expression "(uint)" ( identifier )) (argument_list "(uVar2 < uVar4)" ( (binary_expression "uVar2 < uVar4" identifier < identifier) ))))) ;) }) while (parenthesized_expression "(iVar6 != -4)" ( (binary_expression "iVar6 != -4" identifier != number_literal) )) ;) })) (return_statement "return;" return ;) })))
(translation_unit "void internal_sub(BignumInt *a,BignumInt *b,BignumInt *c,int len)\n\n{\n  int iVar1;\n  uint uVar2;\n  uint uVar3;\n  uint uVar4;\n  uint uVar5;\n  int iVar6;\n  \n  iVar6 = (len + -1) * 4;\n  if (-1 < len + -1) {\n    iVar1 = 1;\n    do {\n      uVar4 = *(uint *)((int)a + iVar6);\n      uVar2 = uVar4 + iVar1;\n      uVar5 = *(uint *)((int)b + iVar6);\n      uVar3 = ~uVar5 + uVar2;\n      *(uint *)((int)c + iVar6) = uVar3;\n      iVar6 = iVar6 + -4;\n      iVar1 = (uint)(uVar3 < ~uVar5) + (uint)(uVar2 < uVar4);\n    } while (iVar6 != -4);\n  }\n  return;\n}\n\n" (function_definition "void internal_sub(BignumInt *a,BignumInt *b,BignumInt *c,int len)\n\n{\n  int iVar1;\n  uint uVar2;\n  uint uVar3;\n  uint uVar4;\n  uint uVar5;\n  int iVar6;\n  \n  iVar6 = (len + -1) * 4;\n  if (-1 < len + -1) {\n    iVar1 = 1;\n    do {\n      uVar4 = *(uint *)((int)a + iVar6);\n      uVar2 = uVar4 + iVar1;\n      uVar5 = *(uint *)((int)b + iVar6);\n      uVar3 = ~uVar5 + uVar2;\n      *(uint *)((int)c + iVar6) = uVar3;\n      iVar6 = iVar6 + -4;\n      iVar1 = (uint)(uVar3 < ~uVar5) + (uint)(uVar2 < uVar4);\n    } while (iVar6 != -4);\n  }\n  return;\n}" primitive_type (function_declarator "internal_sub(BignumInt *a,BignumInt *b,BignumInt *c,int len)" identifier (parameter_list "(BignumInt *a,BignumInt *b,BignumInt *c,int len)" ( (parameter_declaration "BignumInt *a" type_identifier (pointer_declarator "*a" * identifier)) , (parameter_declaration "BignumInt *b" type_identifier (pointer_declarator "*b" * identifier)) , (parameter_declaration "BignumInt *c" type_identifier (pointer_declarator "*c" * identifier)) , (parameter_declaration "int len" primitive_type identifier) ))) (compound_statement "{\n  int iVar1;\n  uint uVar2;\n  uint uVar3;\n  uint uVar4;\n  uint uVar5;\n  int iVar6;\n  \n  iVar6 = (len + -1) * 4;\n  if (-1 < len + -1) {\n    iVar1 = 1;\n    do {\n      uVar4 = *(uint *)((int)a + iVar6);\n      uVar2 = uVar4 + iVar1;\n      uVar5 = *(uint *)((int)b + iVar6);\n      uVar3 = ~uVar5 + uVar2;\n      *(uint *)((int)c + iVar6) = uVar3;\n      iVar6 = iVar6 + -4;\n      iVar1 = (uint)(uVar3 < ~uVar5) + (uint)(uVar2 < uVar4);\n    } while (iVar6 != -4);\n  }\n  return;\n}" { (declaration "int iVar1;" primitive_type identifier ;) (declaration "uint uVar2;" type_identifier identifier ;) (declaration "uint uVar3;" type_identifier identifier ;) (declaration "uint uVar4;" type_identifier identifier ;) (declaration "uint uVar5;" type_identifier identifier ;) (declaration "int iVar6;" primitive_type identifier ;) (expression_statement "iVar6 = (len + -1) * 4;" (assignment_expression "iVar6 = (len + -1) * 4" identifier = (binary_expression "(len + -1) * 4" (parenthesized_expression "(len + -1)" ( (binary_expression "len + -1" identifier + number_literal) )) * number_literal)) ;) (if_statement "if (-1 < len + -1) {\n    iVar1 = 1;\n    do {\n      uVar4 = *(uint *)((int)a + iVar6);\n      uVar2 = uVar4 + iVar1;\n      uVar5 = *(uint *)((int)b + iVar6);\n      uVar3 = ~uVar5 + uVar2;\n      *(uint *)((int)c + iVar6) = uVar3;\n      iVar6 = iVar6 + -4;\n      iVar1 = (uint)(uVar3 < ~uVar5) + (uint)(uVar2 < uVar4);\n    } while (iVar6 != -4);\n  }" if (parenthesized_expression "(-1 < len + -1)" ( (binary_expression "-1 < len + -1" number_literal < (binary_expression "len + -1" identifier + number_literal)) )) (compound_statement "{\n    iVar1 = 1;\n    do {\n      uVar4 = *(uint *)((int)a + iVar6);\n      uVar2 = uVar4 + iVar1;\n      uVar5 = *(uint *)((int)b + iVar6);\n      uVar3 = ~uVar5 + uVar2;\n      *(uint *)((int)c + iVar6) = uVar3;\n      iVar6 = iVar6 + -4;\n      iVar1 = (uint)(uVar3 < ~uVar5) + (uint)(uVar2 < uVar4);\n    } while (iVar6 != -4);\n  }" { (expression_statement "iVar1 = 1;" (assignment_expression "iVar1 = 1" identifier = number_literal) ;) (do_statement "do {\n      uVar4 = *(uint *)((int)a + iVar6);\n      uVar2 = uVar4 + iVar1;\n      uVar5 = *(uint *)((int)b + iVar6);\n      uVar3 = ~uVar5 + uVar2;\n      *(uint *)((int)c + iVar6) = uVar3;\n      iVar6 = iVar6 + -4;\n      iVar1 = (uint)(uVar3 < ~uVar5) + (uint)(uVar2 < uVar4);\n    } while (iVar6 != -4);" do (compound_statement "{\n      uVar4 = *(uint *)((int)a + iVar6);\n      uVar2 = uVar4 + iVar1;\n      uVar5 = *(uint *)((int)b + iVar6);\n      uVar3 = ~uVar5 + uVar2;\n      *(uint *)((int)c + iVar6) = uVar3;\n      iVar6 = iVar6 + -4;\n      iVar1 = (uint)(uVar3 < ~uVar5) + (uint)(uVar2 < uVar4);\n    }" { (expression_statement "uVar4 = *(uint *)((int)a + iVar6);" (assignment_expression "uVar4 = *(uint *)((int)a + iVar6)" identifier = (pointer_expression "*(uint *)((int)a + iVar6)" * (cast_expression "(uint *)((int)a + iVar6)" ( (type_descriptor "uint *" type_identifier (abstract_pointer_declarator "*" *)) ) (parenthesized_expression "((int)a + iVar6)" ( (binary_expression "(int)a + iVar6" (cast_expression "(int)a" ( (type_descriptor "int" primitive_type) ) identifier) + identifier) ))))) ;) (expression_statement "uVar2 = uVar4 + iVar1;" (assignment_expression "uVar2 = uVar4 + iVar1" identifier = (binary_expression "uVar4 + iVar1" identifier + identifier)) ;) (expression_statement "uVar5 = *(uint *)((int)b + iVar6);" (assignment_expression "uVar5 = *(uint *)((int)b + iVar6)" identifier = (pointer_expression "*(uint *)((int)b + iVar6)" * (cast_expression "(uint *)((int)b + iVar6)" ( (type_descriptor "uint *" type_identifier (abstract_pointer_declarator "*" *)) ) (parenthesized_expression "((int)b + iVar6)" ( (binary_expression "(int)b + iVar6" (cast_expression "(int)b" ( (type_descriptor "int" primitive_type) ) identifier) + identifier) ))))) ;) (expression_statement "uVar3 = ~uVar5 + uVar2;" (assignment_expression "uVar3 = ~uVar5 + uVar2" identifier = (binary_expression "~uVar5 + uVar2" (unary_expression "~uVar5" ~ identifier) + identifier)) ;) (expression_statement "*(uint *)((int)c + iVar6) = uVar3;" (assignment_expression "*(uint *)((int)c + iVar6) = uVar3" (pointer_expression "*(uint *)((int)c + iVar6)" * (cast_expression "(uint *)((int)c + iVar6)" ( (type_descriptor "uint *" type_identifier (abstract_pointer_declarator "*" *)) ) (parenthesized_expression "((int)c + iVar6)" ( (binary_expression "(int)c + iVar6" (cast_expression "(int)c" ( (type_descriptor "int" primitive_type) ) identifier) + identifier) )))) = identifier) ;) (expression_statement "iVar6 = iVar6 + -4;" (assignment_expression "iVar6 = iVar6 + -4" identifier = (binary_expression "iVar6 + -4" identifier + number_literal)) ;) (expression_statement "iVar1 = (uint)(uVar3 < ~uVar5) + (uint)(uVar2 < uVar4);" (assignment_expression "iVar1 = (uint)(uVar3 < ~uVar5) + (uint)(uVar2 < uVar4)" identifier = (binary_expression "(uint)(uVar3 < ~uVar5) + (uint)(uVar2 < uVar4)" (call_expression "(uint)(uVar3 < ~uVar5)" (parenthesized_expression "(uint)" ( identifier )) (argument_list "(uVar3 < ~uVar5)" ( (binary_expression "uVar3 < ~uVar5" identifier < (unary_expression "~uVar5" ~ identifier)) ))) + (call_expression "(uint)(uVar2 < uVar4)" (parenthesized_expression "(uint)" ( identifier )) (argument_list "(uVar2 < uVar4)" ( (binary_expression "uVar2 < uVar4" identifier < identifier) ))))) ;) }) while (parenthesized_expression "(iVar6 != -4)" ( (binary_expression "iVar6 != -4" identifier != number_literal) )) ;) })) (return_statement "return;" return ;) })))
(translation_unit "void FUN_000273e8(int param_1,int param_2,int param_3,int param_4)\n\n{\n  int iVar1;\n  uint uVar2;\n  uint uVar3;\n  uint uVar4;\n  uint uVar5;\n  int iVar6;\n  \n  iVar6 = (param_4 + -1) * 4;\n  if (-1 < param_4 + -1) {\n    iVar1 = 1;\n    do {\n      uVar4 = *(uint *)(param_1 + iVar6);\n      uVar2 = uVar4 + iVar1;\n      uVar5 = *(uint *)(param_2 + iVar6);\n      uVar3 = ~uVar5 + uVar2;\n      *(uint *)(param_3 + iVar6) = uVar3;\n      iVar6 = iVar6 + -4;\n      iVar1 = (uint)(uVar3 < ~uVar5) + (uint)(uVar2 < uVar4);\n    } while (iVar6 != -4);\n  }\n  return;\n}\n\n" (function_definition "void FUN_000273e8(int param_1,int param_2,int param_3,int param_4)\n\n{\n  int iVar1;\n  uint uVar2;\n  uint uVar3;\n  uint uVar4;\n  uint uVar5;\n  int iVar6;\n  \n  iVar6 = (param_4 + -1) * 4;\n  if (-1 < param_4 + -1) {\n    iVar1 = 1;\n    do {\n      uVar4 = *(uint *)(param_1 + iVar6);\n      uVar2 = uVar4 + iVar1;\n      uVar5 = *(uint *)(param_2 + iVar6);\n      uVar3 = ~uVar5 + uVar2;\n      *(uint *)(param_3 + iVar6) = uVar3;\n      iVar6 = iVar6 + -4;\n      iVar1 = (uint)(uVar3 < ~uVar5) + (uint)(uVar2 < uVar4);\n    } while (iVar6 != -4);\n  }\n  return;\n}" primitive_type (function_declarator "FUN_000273e8(int param_1,int param_2,int param_3,int param_4)" identifier (parameter_list "(int param_1,int param_2,int param_3,int param_4)" ( (parameter_declaration "int param_1" primitive_type identifier) , (parameter_declaration "int param_2" primitive_type identifier) , (parameter_declaration "int param_3" primitive_type identifier) , (parameter_declaration "int param_4" primitive_type identifier) ))) (compound_statement "{\n  int iVar1;\n  uint uVar2;\n  uint uVar3;\n  uint uVar4;\n  uint uVar5;\n  int iVar6;\n  \n  iVar6 = (param_4 + -1) * 4;\n  if (-1 < param_4 + -1) {\n    iVar1 = 1;\n    do {\n      uVar4 = *(uint *)(param_1 + iVar6);\n      uVar2 = uVar4 + iVar1;\n      uVar5 = *(uint *)(param_2 + iVar6);\n      uVar3 = ~uVar5 + uVar2;\n      *(uint *)(param_3 + iVar6) = uVar3;\n      iVar6 = iVar6 + -4;\n      iVar1 = (uint)(uVar3 < ~uVar5) + (uint)(uVar2 < uVar4);\n    } while (iVar6 != -4);\n  }\n  return;\n}" { (declaration "int iVar1;" primitive_type identifier ;) (declaration "uint uVar2;" type_identifier identifier ;) (declaration "uint uVar3;" type_identifier identifier ;) (declaration "uint uVar4;" type_identifier identifier ;) (declaration "uint uVar5;" type_identifier identifier ;) (declaration "int iVar6;" primitive_type identifier ;) (expression_statement "iVar6 = (param_4 + -1) * 4;" (assignment_expression "iVar6 = (param_4 + -1) * 4" identifier = (binary_expression "(param_4 + -1) * 4" (parenthesized_expression "(param_4 + -1)" ( (binary_expression "param_4 + -1" identifier + number_literal) )) * number_literal)) ;) (if_statement "if (-1 < param_4 + -1) {\n    iVar1 = 1;\n    do {\n      uVar4 = *(uint *)(param_1 + iVar6);\n      uVar2 = uVar4 + iVar1;\n      uVar5 = *(uint *)(param_2 + iVar6);\n      uVar3 = ~uVar5 + uVar2;\n      *(uint *)(param_3 + iVar6) = uVar3;\n      iVar6 = iVar6 + -4;\n      iVar1 = (uint)(uVar3 < ~uVar5) + (uint)(uVar2 < uVar4);\n    } while (iVar6 != -4);\n  }" if (parenthesized_expression "(-1 < param_4 + -1)" ( (binary_expression "-1 < param_4 + -1" number_literal < (binary_expression "param_4 + -1" identifier + number_literal)) )) (compound_statement "{\n    iVar1 = 1;\n    do {\n      uVar4 = *(uint *)(param_1 + iVar6);\n      uVar2 = uVar4 + iVar1;\n      uVar5 = *(uint *)(param_2 + iVar6);\n      uVar3 = ~uVar5 + uVar2;\n      *(uint *)(param_3 + iVar6) = uVar3;\n      iVar6 = iVar6 + -4;\n      iVar1 = (uint)(uVar3 < ~uVar5) + (uint)(uVar2 < uVar4);\n    } while (iVar6 != -4);\n  }" { (expression_statement "iVar1 = 1;" (assignment_expression "iVar1 = 1" identifier = number_literal) ;) (do_statement "do {\n      uVar4 = *(uint *)(param_1 + iVar6);\n      uVar2 = uVar4 + iVar1;\n      uVar5 = *(uint *)(param_2 + iVar6);\n      uVar3 = ~uVar5 + uVar2;\n      *(uint *)(param_3 + iVar6) = uVar3;\n      iVar6 = iVar6 + -4;\n      iVar1 = (uint)(uVar3 < ~uVar5) + (uint)(uVar2 < uVar4);\n    } while (iVar6 != -4);" do (compound_statement "{\n      uVar4 = *(uint *)(param_1 + iVar6);\n      uVar2 = uVar4 + iVar1;\n      uVar5 = *(uint *)(param_2 + iVar6);\n      uVar3 = ~uVar5 + uVar2;\n      *(uint *)(param_3 + iVar6) = uVar3;\n      iVar6 = iVar6 + -4;\n      iVar1 = (uint)(uVar3 < ~uVar5) + (uint)(uVar2 < uVar4);\n    }" { (expression_statement "uVar4 = *(uint *)(param_1 + iVar6);" (assignment_expression "uVar4 = *(uint *)(param_1 + iVar6)" identifier = (pointer_expression "*(uint *)(param_1 + iVar6)" * (cast_expression "(uint *)(param_1 + iVar6)" ( (type_descriptor "uint *" type_identifier (abstract_pointer_declarator "*" *)) ) (parenthesized_expression "(param_1 + iVar6)" ( (binary_expression "param_1 + iVar6" identifier + identifier) ))))) ;) (expression_statement "uVar2 = uVar4 + iVar1;" (assignment_expression "uVar2 = uVar4 + iVar1" identifier = (binary_expression "uVar4 + iVar1" identifier + identifier)) ;) (expression_statement "uVar5 = *(uint *)(param_2 + iVar6);" (assignment_expression "uVar5 = *(uint *)(param_2 + iVar6)" identifier = (pointer_expression "*(uint *)(param_2 + iVar6)" * (cast_expression "(uint *)(param_2 + iVar6)" ( (type_descriptor "uint *" type_identifier (abstract_pointer_declarator "*" *)) ) (parenthesized_expression "(param_2 + iVar6)" ( (binary_expression "param_2 + iVar6" identifier + identifier) ))))) ;) (expression_statement "uVar3 = ~uVar5 + uVar2;" (assignment_expression "uVar3 = ~uVar5 + uVar2" identifier = (binary_expression "~uVar5 + uVar2" (unary_expression "~uVar5" ~ identifier) + identifier)) ;) (expression_statement "*(uint *)(param_3 + iVar6) = uVar3;" (assignment_expression "*(uint *)(param_3 + iVar6) = uVar3" (pointer_expression "*(uint *)(param_3 + iVar6)" * (cast_expression "(uint *)(param_3 + iVar6)" ( (type_descriptor "uint *" type_identifier (abstract_pointer_declarator "*" *)) ) (parenthesized_expression "(param_3 + iVar6)" ( (binary_expression "param_3 + iVar6" identifier + identifier) )))) = identifier) ;) (expression_statement "iVar6 = iVar6 + -4;" (assignment_expression "iVar6 = iVar6 + -4" identifier = (binary_expression "iVar6 + -4" identifier + number_literal)) ;) (expression_statement "iVar1 = (uint)(uVar3 < ~uVar5) + (uint)(uVar2 < uVar4);" (assignment_expression "iVar1 = (uint)(uVar3 < ~uVar5) + (uint)(uVar2 < uVar4)" identifier = (binary_expression "(uint)(uVar3 < ~uVar5) + (uint)(uVar2 < uVar4)" (call_expression "(uint)(uVar3 < ~uVar5)" (parenthesized_expression "(uint)" ( identifier )) (argument_list "(uVar3 < ~uVar5)" ( (binary_expression "uVar3 < ~uVar5" identifier < (unary_expression "~uVar5" ~ identifier)) ))) + (call_expression "(uint)(uVar2 < uVar4)" (parenthesized_expression "(uint)" ( identifier )) (argument_list "(uVar2 < uVar4)" ( (binary_expression "uVar2 < uVar4" identifier < identifier) ))))) ;) }) while (parenthesized_expression "(iVar6 != -4)" ( (binary_expression "iVar6 != -4" identifier != number_literal) )) ;) })) (return_statement "return;" return ;) })))
(translation_unit (function_definition TYPE (function_declarator IDENT (parameter_list ( (parameter_declaration TYPE IDENT) , (parameter_declaration TYPE IDENT) , (parameter_declaration TYPE IDENT) , (parameter_declaration TYPE IDENT) ))) (compound_statement { (declaration TYPE IDENT ;) (declaration TYPE IDENT ;) (declaration TYPE IDENT ;) (declaration TYPE IDENT ;) (declaration TYPE IDENT ;) (declaration TYPE IDENT ;) (expression_statement (assignment_expression IDENT = (binary_expression (parenthesized_expression ( (binary_expression IDENT + LIT) )) * LIT)) ;) (if_statement if (parenthesized_expression ( (binary_expression LIT < (binary_expression IDENT + LIT)) )) (compound_statement { (expression_statement (assignment_expression IDENT = LIT) ;) (do_statement do (compound_statement { (expression_statement (assignment_expression IDENT = (pointer_expression * (cast_expression ( (type_descriptor TYPE (abstract_pointer_declarator *)) ) (parenthesized_expression ( (binary_expression IDENT + IDENT) ))))) ;) (expression_statement (assignment_expression IDENT = (binary_expression IDENT + IDENT)) ;) (expression_statement (assignment_expression IDENT = (pointer_expression * (cast_expression ( (type_descriptor TYPE (abstract_pointer_declarator *)) ) (parenthesized_expression ( (binary_expression IDENT + IDENT) ))))) ;) (expression_statement (assignment_expression IDENT = (binary_expression (unary_expression ~ IDENT) + IDENT)) ;) (expression_statement (assignment_expression (pointer_expression * (cast_expression ( (type_descriptor TYPE (abstract_pointer_declarator *)) ) (parenthesized_expression ( (binary_expression IDENT + IDENT) )))) = IDENT) ;) (expression_statement (assignment_expression IDENT = (binary_expression IDENT + LIT)) ;) (expression_statement (assignment_expression IDENT = (binary_expression (call_expression (parenthesized_expression ( IDENT )) (argument_list ( (binary_expression IDENT < (unary_expression ~ IDENT)) ))) + (call_expression (parenthesized_expression ( IDENT )) (argument_list ( (binary_expression IDENT < IDENT) ))))) ;) }) while (parenthesized_expression ( (binary_expression IDENT != LIT) )) ;) })) (return_statement return ;) })))
(function_definition "void FUN_000273e8(int param_1,int param_2,int param_3,int param_4)\n\n{\n  int iVar1;\n  uint uVar2;\n  uint uVar3;\n  uint uVar4;\n  uint uVar5;\n  int iVar6;\n  \n  iVar6 = (param_4 + -1) * 4;\n  if (-1 < param_4 + -1) {\n    iVar1 = 1;\n    do {\n      uVar4 = *(uint *)(param_1 + iVar6);\n      uVar2 = uVar4 + iVar1;\n      uVar5 = *(uint *)(param_2 + iVar6);\n      uVar3 = ~uVar5 + uVar2;\n      *(uint *)(param_3 + iVar6) = uVar3;\n      iVar6 = iVar6 + -4;\n      iVar1 = (uint)(uVar3 < ~uVar5) + (uint)(uVar2 < uVar4);\n    } while (iVar6 != -4);\n  }\n  return;\n}" (primitive_type "void") (function_declarator "FUN_000273e8(int param_1,int param_2,int param_3,int param_4)" (identifier "FUN_000273e8") (parameter_list "(int param_1,int param_2,int param_3,int param_4)" (( "(") (parameter_declaration "int param_1" (primitive_type "int") (identifier "param_1")) (, ",") (parameter_declaration "int param_2" (primitive_type "int") (identifier "param_2")) (, ",") (parameter_declaration "int param_3" (primitive_type "int") (identifier "param_3")) (, ",") (parameter_declaration "int param_4" (primitive_type "int") (identifier "param_4")) () ")"))) (compound_statement "{\n  int iVar1;\n  uint uVar2;\n  uint uVar3;\n  uint uVar4;\n  uint uVar5;\n  int iVar6;\n  \n  iVar6 = (param_4 + -1) * 4;\n  if (-1 < param_4 + -1) {\n    iVar1 = 1;\n    do {\n      uVar4 = *(uint *)(param_1 + iVar6);\n      uVar2 = uVar4 + iVar1;\n      uVar5 = *(uint *)(param_2 + iVar6);\n      uVar3 = ~uVar5 + uVar2;\n      *(uint *)(param_3 + iVar6) = uVar3;\n      iVar6 = iVar6 + -4;\n      iVar1 = (uint)(uVar3 < ~uVar5) + (uint)(uVar2 < uVar4);\n    } while (iVar6 != -4);\n  }\n  return;\n}" ({ "{") (declaration "int iVar1;" (primitive_type "int") (identifier "iVar1") (; ";")) (declaration "uint uVar2;" (type_identifier "uint") (identifier "uVar2") (; ";")) (declaration "uint uVar3;" (type_identifier "uint") (identifier "uVar3") (; ";")) (declaration "uint uVar4;" (type_identifier "uint") (identifier "uVar4") (; ";")) (declaration "uint uVar5;" (type_identifier "uint") (identifier "uVar5") (; ";")) (declaration "int iVar6;" (primitive_type "int") (identifier "iVar6") (; ";")) (expression_statement "iVar6 = (param_4 + -1) * 4;" (assignment_expression "iVar6 = (param_4 + -1) * 4" (identifier "iVar6") (= "=") (binary_expression "(param_4 + -1) * 4" (parenthesized_expression "(param_4 + -1)" (( "(") (binary_expression "param_4 + -1" (identifier "param_4") (+ "+") (number_literal "-1")) () ")")) (* "*") (number_literal "4"))) (; ";")) (if_statement "if (-1 < param_4 + -1) {\n    iVar1 = 1;\n    do {\n      uVar4 = *(uint *)(param_1 + iVar6);\n      uVar2 = uVar4 + iVar1;\n      uVar5 = *(uint *)(param_2 + iVar6);\n      uVar3 = ~uVar5 + uVar2;\n      *(uint *)(param_3 + iVar6) = uVar3;\n      iVar6 = iVar6 + -4;\n      iVar1 = (uint)(uVar3 < ~uVar5) + (uint)(uVar2 < uVar4);\n    } while (iVar6 != -4);\n  }" (if "if") (parenthesized_expression "(-1 < param_4 + -1)" (( "(") (binary_expression "-1 < param_4 + -1" (number_literal "-1") (< "<") (binary_expression "param_4 + -1" (identifier "param_4") (+ "+") (number_literal "-1"))) () ")")) (compound_statement "{\n    iVar1 = 1;\n    do {\n      uVar4 = *(uint *)(param_1 + iVar6);\n      uVar2 = uVar4 + iVar1;\n      uVar5 = *(uint *)(param_2 + iVar6);\n      uVar3 = ~uVar5 + uVar2;\n      *(uint *)(param_3 + iVar6) = uVar3;\n      iVar6 = iVar6 + -4;\n      iVar1 = (uint)(uVar3 < ~uVar5) + (uint)(uVar2 < uVar4);\n    } while (iVar6 != -4);\n  }" ({ "{") (expression_statement "iVar1 = 1;" (assignment_expression "iVar1 = 1" (identifier "iVar1") (= "=") (number_literal "1")) (; ";")) (do_statement "do {\n      uVar4 = *(uint *)(param_1 + iVar6);\n      uVar2 = uVar4 + iVar1;\n      uVar5 = *(uint *)(param_2 + iVar6);\n      uVar3 = ~uVar5 + uVar2;\n      *(uint *)(param_3 + iVar6) = uVar3;\n      iVar6 = iVar6 + -4;\n      iVar1 = (uint)(uVar3 < ~uVar5) + (uint)(uVar2 < uVar4);\n    } while (iVar6 != -4);" (do "do") (compound_statement "{\n      uVar4 = *(uint *)(param_1 + iVar6);\n      uVar2 = uVar4 + iVar1;\n      uVar5 = *(uint *)(param_2 + iVar6);\n      uVar3 = ~uVar5 + uVar2;\n      *(uint *)(param_3 + iVar6) = uVar3;\n      iVar6 = iVar6 + -4;\n      iVar1 = (uint)(uVar3 < ~uVar5) + (uint)(uVar2 < uVar4);\n    }" ({ "{") (expression_statement "uVar4 = *(uint *)(param_1 + iVar6);" (assignment_expression "uVar4 = *(uint *)(param_1 + iVar6)" (identifier "uVar4") (= "=") (pointer_expression "*(uint *)(param_1 + iVar6)" (* "*") (cast_expression "(uint *)(param_1 + iVar6)" (( "(") (type_descriptor "uint *" (type_identifier "uint") (abstract_pointer_declarator "*" (* "*"))) () ")") (parenthesized_expression "(param_1 + iVar6)" (( "(") (binary_expression "param_1 + iVar6" (identifier "param_1") (+ "+") (identifier "iVar6")) () ")"))))) (; ";")) (expression_statement "uVar2 = uVar4 + iVar1;" (assignment_expression "uVar2 = uVar4 + iVar1" (identifier "uVar2") (= "=") (binary_expression "uVar4 + iVar1" (identifier "uVar4") (+ "+") (identifier "iVar1"))) (; ";")) (expression_statement "uVar5 = *(uint *)(param_2 + iVar6);" (assignment_expression "uVar5 = *(uint *)(param_2 + iVar6)" (identifier "uVar5") (= "=") (pointer_expression "*(uint *)(param_2 + iVar6)" (* "*") (cast_expression "(uint *)(param_2 + iVar6)" (( "(") (type_descriptor "uint *" (type_identifier "uint") (abstract_pointer_declarator "*" (* "*"))) () ")") (parenthesized_expression "(param_2 + iVar6)" (( "(") (binary_expression "param_2 + iVar6" (identifier "param_2") (+ "+") (identifier "iVar6")) () ")"))))) (; ";")) (expression_statement "uVar3 = ~uVar5 + uVar2;" (assignment_expression "uVar3 = ~uVar5 + uVar2" (identifier "uVar3") (= "=") (binary_expression "~uVar5 + uVar2" (unary_expression "~uVar5" (~ "~") (identifier "uVar5")) (+ "+") (identifier "uVar2"))) (; ";")) (expression_statement "*(uint *)(param_3 + iVar6) = uVar3;" (assignment_expression "*(uint *)(param_3 + iVar6) = uVar3" (pointer_expression "*(uint *)(param_3 + iVar6)" (* "*") (cast_expression "(uint *)(param_3 + iVar6)" (( "(") (type_descriptor "uint *" (type_identifier "uint") (abstract_pointer_declarator "*" (* "*"))) () ")") (parenthesized_expression "(param_3 + iVar6)" (( "(") (binary_expression "param_3 + iVar6" (identifier "param_3") (+ "+") (identifier "iVar6")) () ")")))) (= "=") (identifier "uVar3")) (; ";")) (expression_statement "iVar6 = iVar6 + -4;" (assignment_expression "iVar6 = iVar6 + -4" (identifier "iVar6") (= "=") (binary_expression "iVar6 + -4" (identifier "iVar6") (+ "+") (number_literal "-4"))) (; ";")) (expression_statement "iVar1 = (uint)(uVar3 < ~uVar5) + (uint)(uVar2 < uVar4);" (assignment_expression "iVar1 = (uint)(uVar3 < ~uVar5) + (uint)(uVar2 < uVar4)" (identifier "iVar1") (= "=") (binary_expression "(uint)(uVar3 < ~uVar5) + (uint)(uVar2 < uVar4)" (call_expression "(uint)(uVar3 < ~uVar5)" (parenthesized_expression "(uint)" (( "(") (identifier "uint") () ")")) (argument_list "(uVar3 < ~uVar5)" (( "(") (binary_expression "uVar3 < ~uVar5" (identifier "uVar3") (< "<") (unary_expression "~uVar5" (~ "~") (identifier "uVar5"))) () ")"))) (+ "+") (call_expression "(uint)(uVar2 < uVar4)" (parenthesized_expression "(uint)" (( "(") (identifier "uint") () ")")) (argument_list "(uVar2 < uVar4)" (( "(") (binary_expression "uVar2 < uVar4" (identifier "uVar2") (< "<") (identifier "uVar4")) () ")"))))) (; ";")) (} "}")) (while "while") (parenthesized_expression "(iVar6 != -4)" (( "(") (binary_expression "iVar6 != -4" (identifier "iVar6") (!= "!=") (number_literal "-4")) () ")")) (; ";")) (} "}"))) (return_statement "return;" (return "return") (; ";")) (} "}")))

void function_1(type_1 *a,type_1 *b,type_1 *c,int var_1)

{
  int var_4;
  type_2 var_5;
  type_2 var_6;
  type_2 var_3;
  type_2 uVar5;
  int var_2;
  
  var_2 = (var_1 + -1) * 4;
  if (-1 < var_1 + -1) {
    var_4 = 1;
    do {
      var_3 = *(type_2 *)((int)a + var_2);
      var_5 = var_3 + var_4;
      uVar5 = *(type_2 *)((int)b + var_2);
      var_6 = ~uVar5 + var_5;
      *(type_2 *)((int)c + var_2) = var_6;
      var_2 = var_2 + -4;
      var_4 = (type_2)(var_6 < ~uVar5) + (type_2)(var_5 < var_3);
    } while (var_2 != -4);
  }
  return;
}


(translation_unit (function_definition type: (primitive_type) declarator: (function_declarator declarator: (identifier) parameters: (parameter_list (parameter_declaration type: (primitive_type) declarator: (identifier)) (parameter_declaration type: (primitive_type) declarator: (identifier)) (parameter_declaration type: (primitive_type) declarator: (identifier)) (parameter_declaration type: (primitive_type) declarator: (identifier)))) body: (compound_statement (declaration type: (primitive_type) declarator: (identifier)) (declaration type: (type_identifier) declarator: (identifier)) (declaration type: (type_identifier) declarator: (identifier)) (declaration type: (type_identifier) declarator: (identifier)) (declaration type: (type_identifier) declarator: (identifier)) (declaration type: (primitive_type) declarator: (identifier)) (expression_statement (assignment_expression left: (identifier) right: (binary_expression left: (parenthesized_expression (binary_expression left: (identifier) right: (number_literal))) right: (number_literal)))) (if_statement condition: (parenthesized_expression (binary_expression left: (number_literal) right: (binary_expression left: (identifier) right: (number_literal)))) consequence: (compound_statement (expression_statement (assignment_expression left: (identifier) right: (number_literal))) (do_statement body: (compound_statement (expression_statement (assignment_expression left: (identifier) right: (pointer_expression argument: (cast_expression type: (type_descriptor type: (type_identifier) declarator: (abstract_pointer_declarator)) value: (parenthesized_expression (binary_expression left: (identifier) right: (identifier))))))) (expression_statement (assignment_expression left: (identifier) right: (binary_expression left: (identifier) right: (identifier)))) (expression_statement (assignment_expression left: (identifier) right: (pointer_expression argument: (cast_expression type: (type_descriptor type: (type_identifier) declarator: (abstract_pointer_declarator)) value: (parenthesized_expression (binary_expression left: (identifier) right: (identifier))))))) (expression_statement (assignment_expression left: (identifier) right: (binary_expression left: (unary_expression argument: (identifier)) right: (identifier)))) (expression_statement (assignment_expression left: (pointer_expression argument: (cast_expression type: (type_descriptor type: (type_identifier) declarator: (abstract_pointer_declarator)) value: (parenthesized_expression (binary_expression left: (identifier) right: (identifier))))) right: (identifier))) (expression_statement (assignment_expression left: (identifier) right: (binary_expression left: (identifier) right: (number_literal)))) (expression_statement (assignment_expression left: (identifier) right: (binary_expression left: (call_expression function: (parenthesized_expression (identifier)) arguments: (argument_list (binary_expression left: (identifier) right: (unary_expression argument: (identifier))))) right: (call_expression function: (parenthesized_expression (identifier)) arguments: (argument_list (binary_expression left: (identifier) right: (identifier)))))))) condition: (parenthesized_expression (binary_expression left: (identifier) right: (number_literal)))))) (return_statement))))

void MASKED(int param_1,int param_2,int param_3,int param_4)

{
  int iVar1;
  uint uVar2;
  uint uVar3;
  uint uVar4;
  uint uVar5;
  int iVar6;
  
  iVar6 = (param_4 + -1) * 4;
  if (-1 < param_4 + -1) {
    iVar1 = 1;
    do {
      uVar4 = *(uint *)(param_1 + iVar6);
      uVar2 = uVar4 + iVar1;
      uVar5 = *(uint *)(param_2 + iVar6);
      uVar3 = ~uVar5 + uVar2;
      *(uint *)(param_3 + iVar6) = uVar3;
      iVar6 = iVar6 + -4;
      iVar1 = (uint)(uVar3 < ~uVar5) + (uint)(uVar2 < uVar4);
    } while (iVar6 != -4);
  }
  return;
}

