
uint __gmpn_sub_n_k7(int param_1,int param_2,int param_3,uint param_4)

{
  uint *puVar1;
  uint uVar2;
  uint uVar3;
  uint uVar4;
  int iVar5;
  code *UNRECOVERED_JUMPTABLE;
  bool bVar6;
  
  if (param_4 < 8) {
    iVar5 = -param_4;
    bVar6 = false;
    do {
      uVar4 = *(uint *)(param_2 + param_4 * 4 + iVar5 * 4);
      puVar1 = (uint *)(param_3 + param_4 * 4 + iVar5 * 4);
      uVar2 = (uint)bVar6;
      uVar3 = uVar4 - *puVar1;
      bVar6 = uVar4 < *puVar1 || uVar3 < uVar2;
      *(uint *)(param_1 + param_4 * 4 + iVar5 * 4) = uVar3 - uVar2;
      iVar5 = iVar5 + 1;
    } while (iVar5 != 0);
    return (uint)bVar6;
  }
  FUN_0003b867();
                    /* WARNING: Could not recover jumptable at 0x0003b865. Too many branches */
                    /* WARNING: Treating indirect jump as call */
  uVar4 = (*UNRECOVERED_JUMPTABLE)();
  return uVar4;
}



uint __gmpn_sub_n_k7(int param_1,int param_2,int param_3,uint param_4)

{
  uint *puVar1;
  uint uVar2;
  uint uVar3;
  uint uVar4;
  int iVar5;
  code *UNRECOVERED_JUMPTABLE;
  bool bVar6;
  
  if (param_4 < 8) {
    iVar5 = -param_4;
    bVar6 = false;
    do {
      uVar4 = *(uint *)(param_2 + param_4 * 4 + iVar5 * 4);
      puVar1 = (uint *)(param_3 + param_4 * 4 + iVar5 * 4);
      uVar2 = (uint)bVar6;
      uVar3 = uVar4 - *puVar1;
      bVar6 = uVar4 < *puVar1 || uVar3 < uVar2;
      *(uint *)(param_1 + param_4 * 4 + iVar5 * 4) = uVar3 - uVar2;
      iVar5 = iVar5 + 1;
    } while (iVar5 != 0);
    return (uint)bVar6;
  }
  FUN_0003b867();
                    /* WARNING: Could not recover jumptable at 0x0003b865. Too many branches */
                    /* WARNING: Treating indirect jump as call */
  uVar4 = (*UNRECOVERED_JUMPTABLE)();
  return uVar4;
}


XOR EAX,EAX
MOV ECX,dword ptr [ESP + 0x10]
SUB ESP,0x10
MOV dword ptr [ESP],EDI
MOV dword ptr [ESP + 0x4],EBX
CMP ECX,0x8
MOV EDX,dword ptr [ESP + 0x1c]
MOV EBX,dword ptr [ESP + 0x18]
JNC 0x0003b833
MOV EDI,dword ptr [ESP + 0x14]
LEA EBX,[EBX + ECX*0x4]
LEA EDX,[EDX + ECX*0x4]
LEA EDI,[EDI + ECX*0x4]
NEG ECX
SHR EAX,0x1
MOV EAX,dword ptr [EBX + ECX*0x4]
SBB EAX,dword ptr [EDX + ECX*0x4]
MOV dword ptr [EDI + ECX*0x4],EAX
INC ECX
JNZ 0x0003b814
MOV EAX,0x0
MOV EDI,dword ptr [ESP]
MOV EBX,dword ptr [ESP + 0x4]
SETC AL
ADD ESP,0x10
RET
MOV dword ptr [ESP + 0xc],EBP
AND ECX,0xfffffffe
AND dword ptr [ESP + 0x20],0x1
MOV EDI,ECX
DEC ECX
MOV EBP,dword ptr [ESP + 0x14]
SHR ECX,0x4
NEG EDI
MOV dword ptr [ESP + 0x8],ESI
AND EDI,0xf
CALL 0x0003b867
NEG EDI
SHR EAX,0x1
LEA EBX,[EBX + EDI*0x4]
LEA EDX,[EDX + EDI*0x4]
LEA EDI,[EBP + EDI*0x4]
JMP ESI
(translation_unit "uint __gmpn_sub_n_k7(int param_1,int param_2,int param_3,uint param_4)\n\n{\n  uint *puVar1;\n  uint uVar2;\n  uint uVar3;\n  uint uVar4;\n  int iVar5;\n  code *UNRECOVERED_JUMPTABLE;\n  bool bVar6;\n  \n  if (param_4 < 8) {\n    iVar5 = -param_4;\n    bVar6 = false;\n    do {\n      uVar4 = *(uint *)(param_2 + param_4 * 4 + iVar5 * 4);\n      puVar1 = (uint *)(param_3 + param_4 * 4 + iVar5 * 4);\n      uVar2 = (uint)bVar6;\n      uVar3 = uVar4 - *puVar1;\n      bVar6 = uVar4 < *puVar1 || uVar3 < uVar2;\n      *(uint *)(param_1 + param_4 * 4 + iVar5 * 4) = uVar3 - uVar2;\n      iVar5 = iVar5 + 1;\n    } while (iVar5 != 0);\n    return (uint)bVar6;\n  }\n  FUN_0003b867();\n                    /* WARNING: Could not recover jumptable at 0x0003b865. Too many branches */\n                    /* WARNING: Treating indirect jump as call */\n  uVar4 = (*UNRECOVERED_JUMPTABLE)();\n  return uVar4;\n}\n\n" (function_definition "uint __gmpn_sub_n_k7(int param_1,int param_2,int param_3,uint param_4)\n\n{\n  uint *puVar1;\n  uint uVar2;\n  uint uVar3;\n  uint uVar4;\n  int iVar5;\n  code *UNRECOVERED_JUMPTABLE;\n  bool bVar6;\n  \n  if (param_4 < 8) {\n    iVar5 = -param_4;\n    bVar6 = false;\n    do {\n      uVar4 = *(uint *)(param_2 + param_4 * 4 + iVar5 * 4);\n      puVar1 = (uint *)(param_3 + param_4 * 4 + iVar5 * 4);\n      uVar2 = (uint)bVar6;\n      uVar3 = uVar4 - *puVar1;\n      bVar6 = uVar4 < *puVar1 || uVar3 < uVar2;\n      *(uint *)(param_1 + param_4 * 4 + iVar5 * 4) = uVar3 - uVar2;\n      iVar5 = iVar5 + 1;\n    } while (iVar5 != 0);\n    return (uint)bVar6;\n  }\n  FUN_0003b867();\n                    /* WARNING: Could not recover jumptable at 0x0003b865. Too many branches */\n                    /* WARNING: Treating indirect jump as call */\n  uVar4 = (*UNRECOVERED_JUMPTABLE)();\n  return uVar4;\n}" type_identifier (function_declarator "__gmpn_sub_n_k7(int param_1,int param_2,int param_3,uint param_4)" identifier (parameter_list "(int param_1,int param_2,int param_3,uint 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 "uint param_4" type_identifier identifier) ))) (compound_statement "{\n  uint *puVar1;\n  uint uVar2;\n  uint uVar3;\n  uint uVar4;\n  int iVar5;\n  code *UNRECOVERED_JUMPTABLE;\n  bool bVar6;\n  \n  if (param_4 < 8) {\n    iVar5 = -param_4;\n    bVar6 = false;\n    do {\n      uVar4 = *(uint *)(param_2 + param_4 * 4 + iVar5 * 4);\n      puVar1 = (uint *)(param_3 + param_4 * 4 + iVar5 * 4);\n      uVar2 = (uint)bVar6;\n      uVar3 = uVar4 - *puVar1;\n      bVar6 = uVar4 < *puVar1 || uVar3 < uVar2;\n      *(uint *)(param_1 + param_4 * 4 + iVar5 * 4) = uVar3 - uVar2;\n      iVar5 = iVar5 + 1;\n    } while (iVar5 != 0);\n    return (uint)bVar6;\n  }\n  FUN_0003b867();\n                    /* WARNING: Could not recover jumptable at 0x0003b865. Too many branches */\n                    /* WARNING: Treating indirect jump as call */\n  uVar4 = (*UNRECOVERED_JUMPTABLE)();\n  return uVar4;\n}" { (declaration "uint *puVar1;" type_identifier (pointer_declarator "*puVar1" * identifier) ;) (declaration "uint uVar2;" type_identifier identifier ;) (declaration "uint uVar3;" type_identifier identifier ;) (declaration "uint uVar4;" type_identifier identifier ;) (declaration "int iVar5;" primitive_type identifier ;) (declaration "code *UNRECOVERED_JUMPTABLE;" type_identifier (pointer_declarator "*UNRECOVERED_JUMPTABLE" * identifier) ;) (declaration "bool bVar6;" primitive_type identifier ;) (if_statement "if (param_4 < 8) {\n    iVar5 = -param_4;\n    bVar6 = false;\n    do {\n      uVar4 = *(uint *)(param_2 + param_4 * 4 + iVar5 * 4);\n      puVar1 = (uint *)(param_3 + param_4 * 4 + iVar5 * 4);\n      uVar2 = (uint)bVar6;\n      uVar3 = uVar4 - *puVar1;\n      bVar6 = uVar4 < *puVar1 || uVar3 < uVar2;\n      *(uint *)(param_1 + param_4 * 4 + iVar5 * 4) = uVar3 - uVar2;\n      iVar5 = iVar5 + 1;\n    } while (iVar5 != 0);\n    return (uint)bVar6;\n  }" if (parenthesized_expression "(param_4 < 8)" ( (binary_expression "param_4 < 8" identifier < number_literal) )) (compound_statement "{\n    iVar5 = -param_4;\n    bVar6 = false;\n    do {\n      uVar4 = *(uint *)(param_2 + param_4 * 4 + iVar5 * 4);\n      puVar1 = (uint *)(param_3 + param_4 * 4 + iVar5 * 4);\n      uVar2 = (uint)bVar6;\n      uVar3 = uVar4 - *puVar1;\n      bVar6 = uVar4 < *puVar1 || uVar3 < uVar2;\n      *(uint *)(param_1 + param_4 * 4 + iVar5 * 4) = uVar3 - uVar2;\n      iVar5 = iVar5 + 1;\n    } while (iVar5 != 0);\n    return (uint)bVar6;\n  }" { (expression_statement "iVar5 = -param_4;" (assignment_expression "iVar5 = -param_4" identifier = (unary_expression "-param_4" - identifier)) ;) (expression_statement "bVar6 = false;" (assignment_expression "bVar6 = false" identifier = false) ;) (do_statement "do {\n      uVar4 = *(uint *)(param_2 + param_4 * 4 + iVar5 * 4);\n      puVar1 = (uint *)(param_3 + param_4 * 4 + iVar5 * 4);\n      uVar2 = (uint)bVar6;\n      uVar3 = uVar4 - *puVar1;\n      bVar6 = uVar4 < *puVar1 || uVar3 < uVar2;\n      *(uint *)(param_1 + param_4 * 4 + iVar5 * 4) = uVar3 - uVar2;\n      iVar5 = iVar5 + 1;\n    } while (iVar5 != 0);" do (compound_statement "{\n      uVar4 = *(uint *)(param_2 + param_4 * 4 + iVar5 * 4);\n      puVar1 = (uint *)(param_3 + param_4 * 4 + iVar5 * 4);\n      uVar2 = (uint)bVar6;\n      uVar3 = uVar4 - *puVar1;\n      bVar6 = uVar4 < *puVar1 || uVar3 < uVar2;\n      *(uint *)(param_1 + param_4 * 4 + iVar5 * 4) = uVar3 - uVar2;\n      iVar5 = iVar5 + 1;\n    }" { (expression_statement "uVar4 = *(uint *)(param_2 + param_4 * 4 + iVar5 * 4);" (assignment_expression "uVar4 = *(uint *)(param_2 + param_4 * 4 + iVar5 * 4)" identifier = (pointer_expression "*(uint *)(param_2 + param_4 * 4 + iVar5 * 4)" * (cast_expression "(uint *)(param_2 + param_4 * 4 + iVar5 * 4)" ( (type_descriptor "uint *" type_identifier (abstract_pointer_declarator "*" *)) ) (parenthesized_expression "(param_2 + param_4 * 4 + iVar5 * 4)" ( (binary_expression "param_2 + param_4 * 4 + iVar5 * 4" (binary_expression "param_2 + param_4 * 4" identifier + (binary_expression "param_4 * 4" identifier * number_literal)) + (binary_expression "iVar5 * 4" identifier * number_literal)) ))))) ;) (expression_statement "puVar1 = (uint *)(param_3 + param_4 * 4 + iVar5 * 4);" (assignment_expression "puVar1 = (uint *)(param_3 + param_4 * 4 + iVar5 * 4)" identifier = (cast_expression "(uint *)(param_3 + param_4 * 4 + iVar5 * 4)" ( (type_descriptor "uint *" type_identifier (abstract_pointer_declarator "*" *)) ) (parenthesized_expression "(param_3 + param_4 * 4 + iVar5 * 4)" ( (binary_expression "param_3 + param_4 * 4 + iVar5 * 4" (binary_expression "param_3 + param_4 * 4" identifier + (binary_expression "param_4 * 4" identifier * number_literal)) + (binary_expression "iVar5 * 4" identifier * number_literal)) )))) ;) (expression_statement "uVar2 = (uint)bVar6;" (assignment_expression "uVar2 = (uint)bVar6" identifier = (cast_expression "(uint)bVar6" ( (type_descriptor "uint" type_identifier) ) identifier)) ;) (expression_statement "uVar3 = uVar4 - *puVar1;" (assignment_expression "uVar3 = uVar4 - *puVar1" identifier = (binary_expression "uVar4 - *puVar1" identifier - (pointer_expression "*puVar1" * identifier))) ;) (expression_statement "bVar6 = uVar4 < *puVar1 || uVar3 < uVar2;" (assignment_expression "bVar6 = uVar4 < *puVar1 || uVar3 < uVar2" identifier = (binary_expression "uVar4 < *puVar1 || uVar3 < uVar2" (binary_expression "uVar4 < *puVar1" identifier < (pointer_expression "*puVar1" * identifier)) || (binary_expression "uVar3 < uVar2" identifier < identifier))) ;) (expression_statement "*(uint *)(param_1 + param_4 * 4 + iVar5 * 4) = uVar3 - uVar2;" (assignment_expression "*(uint *)(param_1 + param_4 * 4 + iVar5 * 4) = uVar3 - uVar2" (pointer_expression "*(uint *)(param_1 + param_4 * 4 + iVar5 * 4)" * (cast_expression "(uint *)(param_1 + param_4 * 4 + iVar5 * 4)" ( (type_descriptor "uint *" type_identifier (abstract_pointer_declarator "*" *)) ) (parenthesized_expression "(param_1 + param_4 * 4 + iVar5 * 4)" ( (binary_expression "param_1 + param_4 * 4 + iVar5 * 4" (binary_expression "param_1 + param_4 * 4" identifier + (binary_expression "param_4 * 4" identifier * number_literal)) + (binary_expression "iVar5 * 4" identifier * number_literal)) )))) = (binary_expression "uVar3 - uVar2" identifier - identifier)) ;) (expression_statement "iVar5 = iVar5 + 1;" (assignment_expression "iVar5 = iVar5 + 1" identifier = (binary_expression "iVar5 + 1" identifier + number_literal)) ;) }) while (parenthesized_expression "(iVar5 != 0)" ( (binary_expression "iVar5 != 0" identifier != number_literal) )) ;) (return_statement "return (uint)bVar6;" return (cast_expression "(uint)bVar6" ( (type_descriptor "uint" type_identifier) ) identifier) ;) })) (expression_statement "FUN_0003b867();" (call_expression "FUN_0003b867()" identifier (argument_list "()" ( ))) ;) comment comment (expression_statement "uVar4 = (*UNRECOVERED_JUMPTABLE)();" (assignment_expression "uVar4 = (*UNRECOVERED_JUMPTABLE)()" identifier = (call_expression "(*UNRECOVERED_JUMPTABLE)()" (parenthesized_expression "(*UNRECOVERED_JUMPTABLE)" ( (pointer_expression "*UNRECOVERED_JUMPTABLE" * identifier) )) (argument_list "()" ( )))) ;) (return_statement "return uVar4;" return identifier ;) })))
(translation_unit "uint __gmpn_sub_n_k7(int param_1,int param_2,int param_3,uint param_4)\n\n{\n  uint *puVar1;\n  uint uVar2;\n  uint uVar3;\n  uint uVar4;\n  int iVar5;\n  code *UNRECOVERED_JUMPTABLE;\n  bool bVar6;\n  \n  if (param_4 < 8) {\n    iVar5 = -param_4;\n    bVar6 = false;\n    do {\n      uVar4 = *(uint *)(param_2 + param_4 * 4 + iVar5 * 4);\n      puVar1 = (uint *)(param_3 + param_4 * 4 + iVar5 * 4);\n      uVar2 = (uint)bVar6;\n      uVar3 = uVar4 - *puVar1;\n      bVar6 = uVar4 < *puVar1 || uVar3 < uVar2;\n      *(uint *)(param_1 + param_4 * 4 + iVar5 * 4) = uVar3 - uVar2;\n      iVar5 = iVar5 + 1;\n    } while (iVar5 != 0);\n    return (uint)bVar6;\n  }\n  FUN_0003b867();\n                    /* WARNING: Could not recover jumptable at 0x0003b865. Too many branches */\n                    /* WARNING: Treating indirect jump as call */\n  uVar4 = (*UNRECOVERED_JUMPTABLE)();\n  return uVar4;\n}\n\n" (function_definition "uint __gmpn_sub_n_k7(int param_1,int param_2,int param_3,uint param_4)\n\n{\n  uint *puVar1;\n  uint uVar2;\n  uint uVar3;\n  uint uVar4;\n  int iVar5;\n  code *UNRECOVERED_JUMPTABLE;\n  bool bVar6;\n  \n  if (param_4 < 8) {\n    iVar5 = -param_4;\n    bVar6 = false;\n    do {\n      uVar4 = *(uint *)(param_2 + param_4 * 4 + iVar5 * 4);\n      puVar1 = (uint *)(param_3 + param_4 * 4 + iVar5 * 4);\n      uVar2 = (uint)bVar6;\n      uVar3 = uVar4 - *puVar1;\n      bVar6 = uVar4 < *puVar1 || uVar3 < uVar2;\n      *(uint *)(param_1 + param_4 * 4 + iVar5 * 4) = uVar3 - uVar2;\n      iVar5 = iVar5 + 1;\n    } while (iVar5 != 0);\n    return (uint)bVar6;\n  }\n  FUN_0003b867();\n                    /* WARNING: Could not recover jumptable at 0x0003b865. Too many branches */\n                    /* WARNING: Treating indirect jump as call */\n  uVar4 = (*UNRECOVERED_JUMPTABLE)();\n  return uVar4;\n}" type_identifier (function_declarator "__gmpn_sub_n_k7(int param_1,int param_2,int param_3,uint param_4)" identifier (parameter_list "(int param_1,int param_2,int param_3,uint 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 "uint param_4" type_identifier identifier) ))) (compound_statement "{\n  uint *puVar1;\n  uint uVar2;\n  uint uVar3;\n  uint uVar4;\n  int iVar5;\n  code *UNRECOVERED_JUMPTABLE;\n  bool bVar6;\n  \n  if (param_4 < 8) {\n    iVar5 = -param_4;\n    bVar6 = false;\n    do {\n      uVar4 = *(uint *)(param_2 + param_4 * 4 + iVar5 * 4);\n      puVar1 = (uint *)(param_3 + param_4 * 4 + iVar5 * 4);\n      uVar2 = (uint)bVar6;\n      uVar3 = uVar4 - *puVar1;\n      bVar6 = uVar4 < *puVar1 || uVar3 < uVar2;\n      *(uint *)(param_1 + param_4 * 4 + iVar5 * 4) = uVar3 - uVar2;\n      iVar5 = iVar5 + 1;\n    } while (iVar5 != 0);\n    return (uint)bVar6;\n  }\n  FUN_0003b867();\n                    /* WARNING: Could not recover jumptable at 0x0003b865. Too many branches */\n                    /* WARNING: Treating indirect jump as call */\n  uVar4 = (*UNRECOVERED_JUMPTABLE)();\n  return uVar4;\n}" { (declaration "uint *puVar1;" type_identifier (pointer_declarator "*puVar1" * identifier) ;) (declaration "uint uVar2;" type_identifier identifier ;) (declaration "uint uVar3;" type_identifier identifier ;) (declaration "uint uVar4;" type_identifier identifier ;) (declaration "int iVar5;" primitive_type identifier ;) (declaration "code *UNRECOVERED_JUMPTABLE;" type_identifier (pointer_declarator "*UNRECOVERED_JUMPTABLE" * identifier) ;) (declaration "bool bVar6;" primitive_type identifier ;) (if_statement "if (param_4 < 8) {\n    iVar5 = -param_4;\n    bVar6 = false;\n    do {\n      uVar4 = *(uint *)(param_2 + param_4 * 4 + iVar5 * 4);\n      puVar1 = (uint *)(param_3 + param_4 * 4 + iVar5 * 4);\n      uVar2 = (uint)bVar6;\n      uVar3 = uVar4 - *puVar1;\n      bVar6 = uVar4 < *puVar1 || uVar3 < uVar2;\n      *(uint *)(param_1 + param_4 * 4 + iVar5 * 4) = uVar3 - uVar2;\n      iVar5 = iVar5 + 1;\n    } while (iVar5 != 0);\n    return (uint)bVar6;\n  }" if (parenthesized_expression "(param_4 < 8)" ( (binary_expression "param_4 < 8" identifier < number_literal) )) (compound_statement "{\n    iVar5 = -param_4;\n    bVar6 = false;\n    do {\n      uVar4 = *(uint *)(param_2 + param_4 * 4 + iVar5 * 4);\n      puVar1 = (uint *)(param_3 + param_4 * 4 + iVar5 * 4);\n      uVar2 = (uint)bVar6;\n      uVar3 = uVar4 - *puVar1;\n      bVar6 = uVar4 < *puVar1 || uVar3 < uVar2;\n      *(uint *)(param_1 + param_4 * 4 + iVar5 * 4) = uVar3 - uVar2;\n      iVar5 = iVar5 + 1;\n    } while (iVar5 != 0);\n    return (uint)bVar6;\n  }" { (expression_statement "iVar5 = -param_4;" (assignment_expression "iVar5 = -param_4" identifier = (unary_expression "-param_4" - identifier)) ;) (expression_statement "bVar6 = false;" (assignment_expression "bVar6 = false" identifier = false) ;) (do_statement "do {\n      uVar4 = *(uint *)(param_2 + param_4 * 4 + iVar5 * 4);\n      puVar1 = (uint *)(param_3 + param_4 * 4 + iVar5 * 4);\n      uVar2 = (uint)bVar6;\n      uVar3 = uVar4 - *puVar1;\n      bVar6 = uVar4 < *puVar1 || uVar3 < uVar2;\n      *(uint *)(param_1 + param_4 * 4 + iVar5 * 4) = uVar3 - uVar2;\n      iVar5 = iVar5 + 1;\n    } while (iVar5 != 0);" do (compound_statement "{\n      uVar4 = *(uint *)(param_2 + param_4 * 4 + iVar5 * 4);\n      puVar1 = (uint *)(param_3 + param_4 * 4 + iVar5 * 4);\n      uVar2 = (uint)bVar6;\n      uVar3 = uVar4 - *puVar1;\n      bVar6 = uVar4 < *puVar1 || uVar3 < uVar2;\n      *(uint *)(param_1 + param_4 * 4 + iVar5 * 4) = uVar3 - uVar2;\n      iVar5 = iVar5 + 1;\n    }" { (expression_statement "uVar4 = *(uint *)(param_2 + param_4 * 4 + iVar5 * 4);" (assignment_expression "uVar4 = *(uint *)(param_2 + param_4 * 4 + iVar5 * 4)" identifier = (pointer_expression "*(uint *)(param_2 + param_4 * 4 + iVar5 * 4)" * (cast_expression "(uint *)(param_2 + param_4 * 4 + iVar5 * 4)" ( (type_descriptor "uint *" type_identifier (abstract_pointer_declarator "*" *)) ) (parenthesized_expression "(param_2 + param_4 * 4 + iVar5 * 4)" ( (binary_expression "param_2 + param_4 * 4 + iVar5 * 4" (binary_expression "param_2 + param_4 * 4" identifier + (binary_expression "param_4 * 4" identifier * number_literal)) + (binary_expression "iVar5 * 4" identifier * number_literal)) ))))) ;) (expression_statement "puVar1 = (uint *)(param_3 + param_4 * 4 + iVar5 * 4);" (assignment_expression "puVar1 = (uint *)(param_3 + param_4 * 4 + iVar5 * 4)" identifier = (cast_expression "(uint *)(param_3 + param_4 * 4 + iVar5 * 4)" ( (type_descriptor "uint *" type_identifier (abstract_pointer_declarator "*" *)) ) (parenthesized_expression "(param_3 + param_4 * 4 + iVar5 * 4)" ( (binary_expression "param_3 + param_4 * 4 + iVar5 * 4" (binary_expression "param_3 + param_4 * 4" identifier + (binary_expression "param_4 * 4" identifier * number_literal)) + (binary_expression "iVar5 * 4" identifier * number_literal)) )))) ;) (expression_statement "uVar2 = (uint)bVar6;" (assignment_expression "uVar2 = (uint)bVar6" identifier = (cast_expression "(uint)bVar6" ( (type_descriptor "uint" type_identifier) ) identifier)) ;) (expression_statement "uVar3 = uVar4 - *puVar1;" (assignment_expression "uVar3 = uVar4 - *puVar1" identifier = (binary_expression "uVar4 - *puVar1" identifier - (pointer_expression "*puVar1" * identifier))) ;) (expression_statement "bVar6 = uVar4 < *puVar1 || uVar3 < uVar2;" (assignment_expression "bVar6 = uVar4 < *puVar1 || uVar3 < uVar2" identifier = (binary_expression "uVar4 < *puVar1 || uVar3 < uVar2" (binary_expression "uVar4 < *puVar1" identifier < (pointer_expression "*puVar1" * identifier)) || (binary_expression "uVar3 < uVar2" identifier < identifier))) ;) (expression_statement "*(uint *)(param_1 + param_4 * 4 + iVar5 * 4) = uVar3 - uVar2;" (assignment_expression "*(uint *)(param_1 + param_4 * 4 + iVar5 * 4) = uVar3 - uVar2" (pointer_expression "*(uint *)(param_1 + param_4 * 4 + iVar5 * 4)" * (cast_expression "(uint *)(param_1 + param_4 * 4 + iVar5 * 4)" ( (type_descriptor "uint *" type_identifier (abstract_pointer_declarator "*" *)) ) (parenthesized_expression "(param_1 + param_4 * 4 + iVar5 * 4)" ( (binary_expression "param_1 + param_4 * 4 + iVar5 * 4" (binary_expression "param_1 + param_4 * 4" identifier + (binary_expression "param_4 * 4" identifier * number_literal)) + (binary_expression "iVar5 * 4" identifier * number_literal)) )))) = (binary_expression "uVar3 - uVar2" identifier - identifier)) ;) (expression_statement "iVar5 = iVar5 + 1;" (assignment_expression "iVar5 = iVar5 + 1" identifier = (binary_expression "iVar5 + 1" identifier + number_literal)) ;) }) while (parenthesized_expression "(iVar5 != 0)" ( (binary_expression "iVar5 != 0" identifier != number_literal) )) ;) (return_statement "return (uint)bVar6;" return (cast_expression "(uint)bVar6" ( (type_descriptor "uint" type_identifier) ) identifier) ;) })) (expression_statement "FUN_0003b867();" (call_expression "FUN_0003b867()" identifier (argument_list "()" ( ))) ;) comment comment (expression_statement "uVar4 = (*UNRECOVERED_JUMPTABLE)();" (assignment_expression "uVar4 = (*UNRECOVERED_JUMPTABLE)()" identifier = (call_expression "(*UNRECOVERED_JUMPTABLE)()" (parenthesized_expression "(*UNRECOVERED_JUMPTABLE)" ( (pointer_expression "*UNRECOVERED_JUMPTABLE" * identifier) )) (argument_list "()" ( )))) ;) (return_statement "return uVar4;" return identifier ;) })))
(translation_unit "uint __gmpn_sub_n_k7(int param_1,int param_2,int param_3,uint param_4)\n\n{\n  uint *puVar1;\n  uint uVar2;\n  uint uVar3;\n  uint uVar4;\n  int iVar5;\n  code *UNRECOVERED_JUMPTABLE;\n  bool bVar6;\n  \n  if (param_4 < 8) {\n    iVar5 = -param_4;\n    bVar6 = false;\n    do {\n      uVar4 = *(uint *)(param_2 + param_4 * 4 + iVar5 * 4);\n      puVar1 = (uint *)(param_3 + param_4 * 4 + iVar5 * 4);\n      uVar2 = (uint)bVar6;\n      uVar3 = uVar4 - *puVar1;\n      bVar6 = uVar4 < *puVar1 || uVar3 < uVar2;\n      *(uint *)(param_1 + param_4 * 4 + iVar5 * 4) = uVar3 - uVar2;\n      iVar5 = iVar5 + 1;\n    } while (iVar5 != 0);\n    return (uint)bVar6;\n  }\n  FUN_0003b867();\n                    \n                    \n  uVar4 = (*UNRECOVERED_JUMPTABLE)();\n  return uVar4;\n}\n\n" (function_definition "uint __gmpn_sub_n_k7(int param_1,int param_2,int param_3,uint param_4)\n\n{\n  uint *puVar1;\n  uint uVar2;\n  uint uVar3;\n  uint uVar4;\n  int iVar5;\n  code *UNRECOVERED_JUMPTABLE;\n  bool bVar6;\n  \n  if (param_4 < 8) {\n    iVar5 = -param_4;\n    bVar6 = false;\n    do {\n      uVar4 = *(uint *)(param_2 + param_4 * 4 + iVar5 * 4);\n      puVar1 = (uint *)(param_3 + param_4 * 4 + iVar5 * 4);\n      uVar2 = (uint)bVar6;\n      uVar3 = uVar4 - *puVar1;\n      bVar6 = uVar4 < *puVar1 || uVar3 < uVar2;\n      *(uint *)(param_1 + param_4 * 4 + iVar5 * 4) = uVar3 - uVar2;\n      iVar5 = iVar5 + 1;\n    } while (iVar5 != 0);\n    return (uint)bVar6;\n  }\n  FUN_0003b867();\n                    \n                    \n  uVar4 = (*UNRECOVERED_JUMPTABLE)();\n  return uVar4;\n}" type_identifier (function_declarator "__gmpn_sub_n_k7(int param_1,int param_2,int param_3,uint param_4)" identifier (parameter_list "(int param_1,int param_2,int param_3,uint 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 "uint param_4" type_identifier identifier) ))) (compound_statement "{\n  uint *puVar1;\n  uint uVar2;\n  uint uVar3;\n  uint uVar4;\n  int iVar5;\n  code *UNRECOVERED_JUMPTABLE;\n  bool bVar6;\n  \n  if (param_4 < 8) {\n    iVar5 = -param_4;\n    bVar6 = false;\n    do {\n      uVar4 = *(uint *)(param_2 + param_4 * 4 + iVar5 * 4);\n      puVar1 = (uint *)(param_3 + param_4 * 4 + iVar5 * 4);\n      uVar2 = (uint)bVar6;\n      uVar3 = uVar4 - *puVar1;\n      bVar6 = uVar4 < *puVar1 || uVar3 < uVar2;\n      *(uint *)(param_1 + param_4 * 4 + iVar5 * 4) = uVar3 - uVar2;\n      iVar5 = iVar5 + 1;\n    } while (iVar5 != 0);\n    return (uint)bVar6;\n  }\n  FUN_0003b867();\n                    \n                    \n  uVar4 = (*UNRECOVERED_JUMPTABLE)();\n  return uVar4;\n}" { (declaration "uint *puVar1;" type_identifier (pointer_declarator "*puVar1" * identifier) ;) (declaration "uint uVar2;" type_identifier identifier ;) (declaration "uint uVar3;" type_identifier identifier ;) (declaration "uint uVar4;" type_identifier identifier ;) (declaration "int iVar5;" primitive_type identifier ;) (declaration "code *UNRECOVERED_JUMPTABLE;" type_identifier (pointer_declarator "*UNRECOVERED_JUMPTABLE" * identifier) ;) (declaration "bool bVar6;" primitive_type identifier ;) (if_statement "if (param_4 < 8) {\n    iVar5 = -param_4;\n    bVar6 = false;\n    do {\n      uVar4 = *(uint *)(param_2 + param_4 * 4 + iVar5 * 4);\n      puVar1 = (uint *)(param_3 + param_4 * 4 + iVar5 * 4);\n      uVar2 = (uint)bVar6;\n      uVar3 = uVar4 - *puVar1;\n      bVar6 = uVar4 < *puVar1 || uVar3 < uVar2;\n      *(uint *)(param_1 + param_4 * 4 + iVar5 * 4) = uVar3 - uVar2;\n      iVar5 = iVar5 + 1;\n    } while (iVar5 != 0);\n    return (uint)bVar6;\n  }" if (parenthesized_expression "(param_4 < 8)" ( (binary_expression "param_4 < 8" identifier < number_literal) )) (compound_statement "{\n    iVar5 = -param_4;\n    bVar6 = false;\n    do {\n      uVar4 = *(uint *)(param_2 + param_4 * 4 + iVar5 * 4);\n      puVar1 = (uint *)(param_3 + param_4 * 4 + iVar5 * 4);\n      uVar2 = (uint)bVar6;\n      uVar3 = uVar4 - *puVar1;\n      bVar6 = uVar4 < *puVar1 || uVar3 < uVar2;\n      *(uint *)(param_1 + param_4 * 4 + iVar5 * 4) = uVar3 - uVar2;\n      iVar5 = iVar5 + 1;\n    } while (iVar5 != 0);\n    return (uint)bVar6;\n  }" { (expression_statement "iVar5 = -param_4;" (assignment_expression "iVar5 = -param_4" identifier = (unary_expression "-param_4" - identifier)) ;) (expression_statement "bVar6 = false;" (assignment_expression "bVar6 = false" identifier = false) ;) (do_statement "do {\n      uVar4 = *(uint *)(param_2 + param_4 * 4 + iVar5 * 4);\n      puVar1 = (uint *)(param_3 + param_4 * 4 + iVar5 * 4);\n      uVar2 = (uint)bVar6;\n      uVar3 = uVar4 - *puVar1;\n      bVar6 = uVar4 < *puVar1 || uVar3 < uVar2;\n      *(uint *)(param_1 + param_4 * 4 + iVar5 * 4) = uVar3 - uVar2;\n      iVar5 = iVar5 + 1;\n    } while (iVar5 != 0);" do (compound_statement "{\n      uVar4 = *(uint *)(param_2 + param_4 * 4 + iVar5 * 4);\n      puVar1 = (uint *)(param_3 + param_4 * 4 + iVar5 * 4);\n      uVar2 = (uint)bVar6;\n      uVar3 = uVar4 - *puVar1;\n      bVar6 = uVar4 < *puVar1 || uVar3 < uVar2;\n      *(uint *)(param_1 + param_4 * 4 + iVar5 * 4) = uVar3 - uVar2;\n      iVar5 = iVar5 + 1;\n    }" { (expression_statement "uVar4 = *(uint *)(param_2 + param_4 * 4 + iVar5 * 4);" (assignment_expression "uVar4 = *(uint *)(param_2 + param_4 * 4 + iVar5 * 4)" identifier = (pointer_expression "*(uint *)(param_2 + param_4 * 4 + iVar5 * 4)" * (cast_expression "(uint *)(param_2 + param_4 * 4 + iVar5 * 4)" ( (type_descriptor "uint *" type_identifier (abstract_pointer_declarator "*" *)) ) (parenthesized_expression "(param_2 + param_4 * 4 + iVar5 * 4)" ( (binary_expression "param_2 + param_4 * 4 + iVar5 * 4" (binary_expression "param_2 + param_4 * 4" identifier + (binary_expression "param_4 * 4" identifier * number_literal)) + (binary_expression "iVar5 * 4" identifier * number_literal)) ))))) ;) (expression_statement "puVar1 = (uint *)(param_3 + param_4 * 4 + iVar5 * 4);" (assignment_expression "puVar1 = (uint *)(param_3 + param_4 * 4 + iVar5 * 4)" identifier = (cast_expression "(uint *)(param_3 + param_4 * 4 + iVar5 * 4)" ( (type_descriptor "uint *" type_identifier (abstract_pointer_declarator "*" *)) ) (parenthesized_expression "(param_3 + param_4 * 4 + iVar5 * 4)" ( (binary_expression "param_3 + param_4 * 4 + iVar5 * 4" (binary_expression "param_3 + param_4 * 4" identifier + (binary_expression "param_4 * 4" identifier * number_literal)) + (binary_expression "iVar5 * 4" identifier * number_literal)) )))) ;) (expression_statement "uVar2 = (uint)bVar6;" (assignment_expression "uVar2 = (uint)bVar6" identifier = (cast_expression "(uint)bVar6" ( (type_descriptor "uint" type_identifier) ) identifier)) ;) (expression_statement "uVar3 = uVar4 - *puVar1;" (assignment_expression "uVar3 = uVar4 - *puVar1" identifier = (binary_expression "uVar4 - *puVar1" identifier - (pointer_expression "*puVar1" * identifier))) ;) (expression_statement "bVar6 = uVar4 < *puVar1 || uVar3 < uVar2;" (assignment_expression "bVar6 = uVar4 < *puVar1 || uVar3 < uVar2" identifier = (binary_expression "uVar4 < *puVar1 || uVar3 < uVar2" (binary_expression "uVar4 < *puVar1" identifier < (pointer_expression "*puVar1" * identifier)) || (binary_expression "uVar3 < uVar2" identifier < identifier))) ;) (expression_statement "*(uint *)(param_1 + param_4 * 4 + iVar5 * 4) = uVar3 - uVar2;" (assignment_expression "*(uint *)(param_1 + param_4 * 4 + iVar5 * 4) = uVar3 - uVar2" (pointer_expression "*(uint *)(param_1 + param_4 * 4 + iVar5 * 4)" * (cast_expression "(uint *)(param_1 + param_4 * 4 + iVar5 * 4)" ( (type_descriptor "uint *" type_identifier (abstract_pointer_declarator "*" *)) ) (parenthesized_expression "(param_1 + param_4 * 4 + iVar5 * 4)" ( (binary_expression "param_1 + param_4 * 4 + iVar5 * 4" (binary_expression "param_1 + param_4 * 4" identifier + (binary_expression "param_4 * 4" identifier * number_literal)) + (binary_expression "iVar5 * 4" identifier * number_literal)) )))) = (binary_expression "uVar3 - uVar2" identifier - identifier)) ;) (expression_statement "iVar5 = iVar5 + 1;" (assignment_expression "iVar5 = iVar5 + 1" identifier = (binary_expression "iVar5 + 1" identifier + number_literal)) ;) }) while (parenthesized_expression "(iVar5 != 0)" ( (binary_expression "iVar5 != 0" identifier != number_literal) )) ;) (return_statement "return (uint)bVar6;" return (cast_expression "(uint)bVar6" ( (type_descriptor "uint" type_identifier) ) identifier) ;) })) (expression_statement "FUN_0003b867();" (call_expression "FUN_0003b867()" identifier (argument_list "()" ( ))) ;) (expression_statement "uVar4 = (*UNRECOVERED_JUMPTABLE)();" (assignment_expression "uVar4 = (*UNRECOVERED_JUMPTABLE)()" identifier = (call_expression "(*UNRECOVERED_JUMPTABLE)()" (parenthesized_expression "(*UNRECOVERED_JUMPTABLE)" ( (pointer_expression "*UNRECOVERED_JUMPTABLE" * identifier) )) (argument_list "()" ( )))) ;) (return_statement "return uVar4;" return identifier ;) })))
(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 (pointer_declarator * IDENT) ;) (declaration TYPE IDENT ;) (declaration TYPE IDENT ;) (declaration TYPE IDENT ;) (declaration TYPE IDENT ;) (declaration TYPE (pointer_declarator * IDENT) ;) (declaration TYPE IDENT ;) (if_statement if (parenthesized_expression ( (binary_expression IDENT < LIT) )) (compound_statement { (expression_statement (assignment_expression IDENT = (unary_expression - IDENT)) ;) (expression_statement (assignment_expression IDENT = BOOL) ;) (do_statement do (compound_statement { (expression_statement (assignment_expression IDENT = (pointer_expression * (cast_expression ( (type_descriptor TYPE (abstract_pointer_declarator *)) ) (parenthesized_expression ( (binary_expression (binary_expression IDENT + (binary_expression IDENT * LIT)) + (binary_expression IDENT * LIT)) ))))) ;) (expression_statement (assignment_expression IDENT = (cast_expression ( (type_descriptor TYPE (abstract_pointer_declarator *)) ) (parenthesized_expression ( (binary_expression (binary_expression IDENT + (binary_expression IDENT * LIT)) + (binary_expression IDENT * LIT)) )))) ;) (expression_statement (assignment_expression IDENT = (cast_expression ( (type_descriptor TYPE) ) IDENT)) ;) (expression_statement (assignment_expression IDENT = (binary_expression IDENT - (pointer_expression * IDENT))) ;) (expression_statement (assignment_expression IDENT = (binary_expression (binary_expression IDENT < (pointer_expression * IDENT)) || (binary_expression IDENT < IDENT))) ;) (expression_statement (assignment_expression (pointer_expression * (cast_expression ( (type_descriptor TYPE (abstract_pointer_declarator *)) ) (parenthesized_expression ( (binary_expression (binary_expression IDENT + (binary_expression IDENT * LIT)) + (binary_expression IDENT * LIT)) )))) = (binary_expression IDENT - IDENT)) ;) (expression_statement (assignment_expression IDENT = (binary_expression IDENT + LIT)) ;) }) while (parenthesized_expression ( (binary_expression IDENT != LIT) )) ;) (return_statement return (cast_expression ( (type_descriptor TYPE) ) IDENT) ;) })) (expression_statement (call_expression IDENT (argument_list ( ))) ;) (expression_statement (assignment_expression IDENT = (call_expression (parenthesized_expression ( (pointer_expression * IDENT) )) (argument_list ( )))) ;) (return_statement return IDENT ;) })))
(function_definition "uint __gmpn_sub_n_k7(int param_1,int param_2,int param_3,uint param_4)\n\n{\n  uint *puVar1;\n  uint uVar2;\n  uint uVar3;\n  uint uVar4;\n  int iVar5;\n  code *UNRECOVERED_JUMPTABLE;\n  bool bVar6;\n  \n  if (param_4 < 8) {\n    iVar5 = -param_4;\n    bVar6 = false;\n    do {\n      uVar4 = *(uint *)(param_2 + param_4 * 4 + iVar5 * 4);\n      puVar1 = (uint *)(param_3 + param_4 * 4 + iVar5 * 4);\n      uVar2 = (uint)bVar6;\n      uVar3 = uVar4 - *puVar1;\n      bVar6 = uVar4 < *puVar1 || uVar3 < uVar2;\n      *(uint *)(param_1 + param_4 * 4 + iVar5 * 4) = uVar3 - uVar2;\n      iVar5 = iVar5 + 1;\n    } while (iVar5 != 0);\n    return (uint)bVar6;\n  }\n  FUN_0003b867();\n                    \n                    \n  uVar4 = (*UNRECOVERED_JUMPTABLE)();\n  return uVar4;\n}" (type_identifier "uint") (function_declarator "__gmpn_sub_n_k7(int param_1,int param_2,int param_3,uint param_4)" (identifier "__gmpn_sub_n_k7") (parameter_list "(int param_1,int param_2,int param_3,uint 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 "uint param_4" (type_identifier "uint") (identifier "param_4")) () ")"))) (compound_statement "{\n  uint *puVar1;\n  uint uVar2;\n  uint uVar3;\n  uint uVar4;\n  int iVar5;\n  code *UNRECOVERED_JUMPTABLE;\n  bool bVar6;\n  \n  if (param_4 < 8) {\n    iVar5 = -param_4;\n    bVar6 = false;\n    do {\n      uVar4 = *(uint *)(param_2 + param_4 * 4 + iVar5 * 4);\n      puVar1 = (uint *)(param_3 + param_4 * 4 + iVar5 * 4);\n      uVar2 = (uint)bVar6;\n      uVar3 = uVar4 - *puVar1;\n      bVar6 = uVar4 < *puVar1 || uVar3 < uVar2;\n      *(uint *)(param_1 + param_4 * 4 + iVar5 * 4) = uVar3 - uVar2;\n      iVar5 = iVar5 + 1;\n    } while (iVar5 != 0);\n    return (uint)bVar6;\n  }\n  FUN_0003b867();\n                    \n                    \n  uVar4 = (*UNRECOVERED_JUMPTABLE)();\n  return uVar4;\n}" ({ "{") (declaration "uint *puVar1;" (type_identifier "uint") (pointer_declarator "*puVar1" (* "*") (identifier "puVar1")) (; ";")) (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 "int iVar5;" (primitive_type "int") (identifier "iVar5") (; ";")) (declaration "code *UNRECOVERED_JUMPTABLE;" (type_identifier "code") (pointer_declarator "*UNRECOVERED_JUMPTABLE" (* "*") (identifier "UNRECOVERED_JUMPTABLE")) (; ";")) (declaration "bool bVar6;" (primitive_type "bool") (identifier "bVar6") (; ";")) (if_statement "if (param_4 < 8) {\n    iVar5 = -param_4;\n    bVar6 = false;\n    do {\n      uVar4 = *(uint *)(param_2 + param_4 * 4 + iVar5 * 4);\n      puVar1 = (uint *)(param_3 + param_4 * 4 + iVar5 * 4);\n      uVar2 = (uint)bVar6;\n      uVar3 = uVar4 - *puVar1;\n      bVar6 = uVar4 < *puVar1 || uVar3 < uVar2;\n      *(uint *)(param_1 + param_4 * 4 + iVar5 * 4) = uVar3 - uVar2;\n      iVar5 = iVar5 + 1;\n    } while (iVar5 != 0);\n    return (uint)bVar6;\n  }" (if "if") (parenthesized_expression "(param_4 < 8)" (( "(") (binary_expression "param_4 < 8" (identifier "param_4") (< "<") (number_literal "8")) () ")")) (compound_statement "{\n    iVar5 = -param_4;\n    bVar6 = false;\n    do {\n      uVar4 = *(uint *)(param_2 + param_4 * 4 + iVar5 * 4);\n      puVar1 = (uint *)(param_3 + param_4 * 4 + iVar5 * 4);\n      uVar2 = (uint)bVar6;\n      uVar3 = uVar4 - *puVar1;\n      bVar6 = uVar4 < *puVar1 || uVar3 < uVar2;\n      *(uint *)(param_1 + param_4 * 4 + iVar5 * 4) = uVar3 - uVar2;\n      iVar5 = iVar5 + 1;\n    } while (iVar5 != 0);\n    return (uint)bVar6;\n  }" ({ "{") (expression_statement "iVar5 = -param_4;" (assignment_expression "iVar5 = -param_4" (identifier "iVar5") (= "=") (unary_expression "-param_4" (- "-") (identifier "param_4"))) (; ";")) (expression_statement "bVar6 = false;" (assignment_expression "bVar6 = false" (identifier "bVar6") (= "=") (false "false")) (; ";")) (do_statement "do {\n      uVar4 = *(uint *)(param_2 + param_4 * 4 + iVar5 * 4);\n      puVar1 = (uint *)(param_3 + param_4 * 4 + iVar5 * 4);\n      uVar2 = (uint)bVar6;\n      uVar3 = uVar4 - *puVar1;\n      bVar6 = uVar4 < *puVar1 || uVar3 < uVar2;\n      *(uint *)(param_1 + param_4 * 4 + iVar5 * 4) = uVar3 - uVar2;\n      iVar5 = iVar5 + 1;\n    } while (iVar5 != 0);" (do "do") (compound_statement "{\n      uVar4 = *(uint *)(param_2 + param_4 * 4 + iVar5 * 4);\n      puVar1 = (uint *)(param_3 + param_4 * 4 + iVar5 * 4);\n      uVar2 = (uint)bVar6;\n      uVar3 = uVar4 - *puVar1;\n      bVar6 = uVar4 < *puVar1 || uVar3 < uVar2;\n      *(uint *)(param_1 + param_4 * 4 + iVar5 * 4) = uVar3 - uVar2;\n      iVar5 = iVar5 + 1;\n    }" ({ "{") (expression_statement "uVar4 = *(uint *)(param_2 + param_4 * 4 + iVar5 * 4);" (assignment_expression "uVar4 = *(uint *)(param_2 + param_4 * 4 + iVar5 * 4)" (identifier "uVar4") (= "=") (pointer_expression "*(uint *)(param_2 + param_4 * 4 + iVar5 * 4)" (* "*") (cast_expression "(uint *)(param_2 + param_4 * 4 + iVar5 * 4)" (( "(") (type_descriptor "uint *" (type_identifier "uint") (abstract_pointer_declarator "*" (* "*"))) () ")") (parenthesized_expression "(param_2 + param_4 * 4 + iVar5 * 4)" (( "(") (binary_expression "param_2 + param_4 * 4 + iVar5 * 4" (binary_expression "param_2 + param_4 * 4" (identifier "param_2") (+ "+") (binary_expression "param_4 * 4" (identifier "param_4") (* "*") (number_literal "4"))) (+ "+") (binary_expression "iVar5 * 4" (identifier "iVar5") (* "*") (number_literal "4"))) () ")"))))) (; ";")) (expression_statement "puVar1 = (uint *)(param_3 + param_4 * 4 + iVar5 * 4);" (assignment_expression "puVar1 = (uint *)(param_3 + param_4 * 4 + iVar5 * 4)" (identifier "puVar1") (= "=") (cast_expression "(uint *)(param_3 + param_4 * 4 + iVar5 * 4)" (( "(") (type_descriptor "uint *" (type_identifier "uint") (abstract_pointer_declarator "*" (* "*"))) () ")") (parenthesized_expression "(param_3 + param_4 * 4 + iVar5 * 4)" (( "(") (binary_expression "param_3 + param_4 * 4 + iVar5 * 4" (binary_expression "param_3 + param_4 * 4" (identifier "param_3") (+ "+") (binary_expression "param_4 * 4" (identifier "param_4") (* "*") (number_literal "4"))) (+ "+") (binary_expression "iVar5 * 4" (identifier "iVar5") (* "*") (number_literal "4"))) () ")")))) (; ";")) (expression_statement "uVar2 = (uint)bVar6;" (assignment_expression "uVar2 = (uint)bVar6" (identifier "uVar2") (= "=") (cast_expression "(uint)bVar6" (( "(") (type_descriptor "uint" (type_identifier "uint")) () ")") (identifier "bVar6"))) (; ";")) (expression_statement "uVar3 = uVar4 - *puVar1;" (assignment_expression "uVar3 = uVar4 - *puVar1" (identifier "uVar3") (= "=") (binary_expression "uVar4 - *puVar1" (identifier "uVar4") (- "-") (pointer_expression "*puVar1" (* "*") (identifier "puVar1")))) (; ";")) (expression_statement "bVar6 = uVar4 < *puVar1 || uVar3 < uVar2;" (assignment_expression "bVar6 = uVar4 < *puVar1 || uVar3 < uVar2" (identifier "bVar6") (= "=") (binary_expression "uVar4 < *puVar1 || uVar3 < uVar2" (binary_expression "uVar4 < *puVar1" (identifier "uVar4") (< "<") (pointer_expression "*puVar1" (* "*") (identifier "puVar1"))) (|| "||") (binary_expression "uVar3 < uVar2" (identifier "uVar3") (< "<") (identifier "uVar2")))) (; ";")) (expression_statement "*(uint *)(param_1 + param_4 * 4 + iVar5 * 4) = uVar3 - uVar2;" (assignment_expression "*(uint *)(param_1 + param_4 * 4 + iVar5 * 4) = uVar3 - uVar2" (pointer_expression "*(uint *)(param_1 + param_4 * 4 + iVar5 * 4)" (* "*") (cast_expression "(uint *)(param_1 + param_4 * 4 + iVar5 * 4)" (( "(") (type_descriptor "uint *" (type_identifier "uint") (abstract_pointer_declarator "*" (* "*"))) () ")") (parenthesized_expression "(param_1 + param_4 * 4 + iVar5 * 4)" (( "(") (binary_expression "param_1 + param_4 * 4 + iVar5 * 4" (binary_expression "param_1 + param_4 * 4" (identifier "param_1") (+ "+") (binary_expression "param_4 * 4" (identifier "param_4") (* "*") (number_literal "4"))) (+ "+") (binary_expression "iVar5 * 4" (identifier "iVar5") (* "*") (number_literal "4"))) () ")")))) (= "=") (binary_expression "uVar3 - uVar2" (identifier "uVar3") (- "-") (identifier "uVar2"))) (; ";")) (expression_statement "iVar5 = iVar5 + 1;" (assignment_expression "iVar5 = iVar5 + 1" (identifier "iVar5") (= "=") (binary_expression "iVar5 + 1" (identifier "iVar5") (+ "+") (number_literal "1"))) (; ";")) (} "}")) (while "while") (parenthesized_expression "(iVar5 != 0)" (( "(") (binary_expression "iVar5 != 0" (identifier "iVar5") (!= "!=") (number_literal "0")) () ")")) (; ";")) (return_statement "return (uint)bVar6;" (return "return") (cast_expression "(uint)bVar6" (( "(") (type_descriptor "uint" (type_identifier "uint")) () ")") (identifier "bVar6")) (; ";")) (} "}"))) (expression_statement "FUN_0003b867();" (call_expression "FUN_0003b867()" (identifier "FUN_0003b867") (argument_list "()" (( "(") () ")"))) (; ";")) (expression_statement "uVar4 = (*UNRECOVERED_JUMPTABLE)();" (assignment_expression "uVar4 = (*UNRECOVERED_JUMPTABLE)()" (identifier "uVar4") (= "=") (call_expression "(*UNRECOVERED_JUMPTABLE)()" (parenthesized_expression "(*UNRECOVERED_JUMPTABLE)" (( "(") (pointer_expression "*UNRECOVERED_JUMPTABLE" (* "*") (identifier "UNRECOVERED_JUMPTABLE")) () ")")) (argument_list "()" (( "(") () ")")))) (; ";")) (return_statement "return uVar4;" (return "return") (identifier "uVar4") (; ";")) (} "}")))

type_1 function_1(int var_8,int var_2,int var_4,type_1 var_1)

{
  type_1 *puVar1;
  type_1 var_7;
  type_1 var_6;
  type_1 var_5;
  int var_3;
  type_2 *UNRECOVERED_JUMPTABLE;
  bool bVar6;
  
  if (var_1 < 8) {
    var_3 = -var_1;
    bVar6 = false;
    do {
      var_5 = *(type_1 *)(var_2 + var_1 * 4 + var_3 * 4);
      puVar1 = (type_1 *)(var_4 + var_1 * 4 + var_3 * 4);
      var_7 = (type_1)bVar6;
      var_6 = var_5 - *puVar1;
      bVar6 = var_5 < *puVar1 || var_6 < var_7;
      *(type_1 *)(var_8 + var_1 * 4 + var_3 * 4) = var_6 - var_7;
      var_3 = var_3 + 1;
    } while (var_3 != 0);
    return (type_1)bVar6;
  }
  var_9();
                    /* WARNING: Could not recover jumptable at 0x0003b865. Too many branches */
                    /* WARNING: Treating indirect jump as call */
  var_5 = (*UNRECOVERED_JUMPTABLE)();
  return var_5;
}


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

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

{
  uint *puVar1;
  uint uVar2;
  uint uVar3;
  uint uVar4;
  int iVar5;
  code *UNRECOVERED_JUMPTABLE;
  bool bVar6;
  
  if (param_4 < 8) {
    iVar5 = -param_4;
    bVar6 = false;
    do {
      uVar4 = *(uint *)(param_2 + param_4 * 4 + iVar5 * 4);
      puVar1 = (uint *)(param_3 + param_4 * 4 + iVar5 * 4);
      uVar2 = (uint)bVar6;
      uVar3 = uVar4 - *puVar1;
      bVar6 = uVar4 < *puVar1 || uVar3 < uVar2;
      *(uint *)(param_1 + param_4 * 4 + iVar5 * 4) = uVar3 - uVar2;
      iVar5 = iVar5 + 1;
    } while (iVar5 != 0);
    return (uint)bVar6;
  }
  FUN_0003b867();
                    /* WARNING: Could not recover jumptable at 0x0003b865. Too many branches */
                    /* WARNING: Treating indirect jump as call */
  uVar4 = (*UNRECOVERED_JUMPTABLE)();
  return uVar4;
}

