
uint __gmpn_submul_1_p6(uint *param_1,uint *param_2,uint param_3,uint param_4)

{
  longlong lVar1;
  uint uVar2;
  code *UNRECOVERED_JUMPTABLE;
  uint uVar3;
  
  uVar3 = 0;
  if (4 < param_3) {
    FUN_0003e346();
                    /* WARNING: Could not recover jumptable at 0x0003e344. Too many branches */
                    /* WARNING: Treating indirect jump as call */
    uVar3 = (*UNRECOVERED_JUMPTABLE)();
    return uVar3;
  }
  do {
    lVar1 = (ulonglong)*param_2 * (ulonglong)param_4 + (ulonglong)uVar3;
    uVar2 = (uint)lVar1;
    uVar3 = *param_1;
    *param_1 = *param_1 - uVar2;
    uVar3 = (int)((ulonglong)lVar1 >> 0x20) + (uint)(uVar3 < uVar2);
    param_3 = param_3 - 1;
    param_2 = param_2 + 1;
    param_1 = param_1 + 1;
  } while (param_3 != 0);
  return uVar3;
}



uint __gmpn_submul_1_p6(uint *param_1,uint *param_2,uint param_3,uint param_4)

{
  longlong lVar1;
  uint uVar2;
  code *UNRECOVERED_JUMPTABLE;
  uint uVar3;
  
  uVar3 = 0;
  if (4 < param_3) {
    FUN_0003e346();
                    /* WARNING: Could not recover jumptable at 0x0003e344. Too many branches */
                    /* WARNING: Treating indirect jump as call */
    uVar3 = (*UNRECOVERED_JUMPTABLE)();
    return uVar3;
  }
  do {
    lVar1 = (ulonglong)*param_2 * (ulonglong)param_4 + (ulonglong)uVar3;
    uVar2 = (uint)lVar1;
    uVar3 = *param_1;
    *param_1 = *param_1 - uVar2;
    uVar3 = (int)((ulonglong)lVar1 >> 0x20) + (uint)(uVar3 < uVar2);
    param_3 = param_3 - 1;
    param_2 = param_2 + 1;
    param_1 = param_1 + 1;
  } while (param_3 != 0);
  return uVar3;
}


PUSH EBX
XOR EBX,EBX
MOV ECX,dword ptr [ESP + 0x10]
PUSH ESI
MOV ESI,dword ptr [ESP + 0x10]
PUSH EDI
MOV EDI,dword ptr [ESP + 0x10]
PUSH EBP
CMP ECX,0x5
MOV EBP,dword ptr [ESP + 0x20]
JNC 0x0003e303
MOV EAX,dword ptr [ESI]
ADD EDI,0x4
MUL EBP
ADD EAX,EBX
ADC EDX,0x0
SUB dword ptr [EDI + -0x4],EAX
MOV EBX,EDX
ADC EBX,0x0
DEC ECX
LEA ESI,[ESI + 0x4]
JNZ 0x0003e2e2
POP EBP
POP EDI
POP ESI
MOV EAX,EBX
POP EBX
RET
MOV EDX,ECX
DEC ECX
SUB EDX,0x2
NEG ECX
SHR EDX,0x4
AND ECX,0xf
MOV dword ptr [ESP + 0x1c],EDX
MOV EDX,ECX
CALL 0x0003e346
MOV EAX,dword ptr [ESI]
MOV dword ptr [ESP + 0x14],EDX
LEA ESI,[ESI + ECX*0x4 + 0x4]
MUL EBP
ADD EAX,EBX
ADC EDX,0x0
MOV EBX,EDX
LEA EDI,[EDI + ECX*0x4]
MOV EDX,dword ptr [ESP + 0x14]
TEST ECX,0x1
MOV ECX,EAX
CMOVNZ ECX,EBX
CMOVNZ EBX,EAX
JMP EDX
(translation_unit "uint __gmpn_submul_1_p6(uint *param_1,uint *param_2,uint param_3,uint param_4)\n\n{\n  longlong lVar1;\n  uint uVar2;\n  code *UNRECOVERED_JUMPTABLE;\n  uint uVar3;\n  \n  uVar3 = 0;\n  if (4 < param_3) {\n    FUN_0003e346();\n                    /* WARNING: Could not recover jumptable at 0x0003e344. Too many branches */\n                    /* WARNING: Treating indirect jump as call */\n    uVar3 = (*UNRECOVERED_JUMPTABLE)();\n    return uVar3;\n  }\n  do {\n    lVar1 = (ulonglong)*param_2 * (ulonglong)param_4 + (ulonglong)uVar3;\n    uVar2 = (uint)lVar1;\n    uVar3 = *param_1;\n    *param_1 = *param_1 - uVar2;\n    uVar3 = (int)((ulonglong)lVar1 >> 0x20) + (uint)(uVar3 < uVar2);\n    param_3 = param_3 - 1;\n    param_2 = param_2 + 1;\n    param_1 = param_1 + 1;\n  } while (param_3 != 0);\n  return uVar3;\n}\n\n" (function_definition "uint __gmpn_submul_1_p6(uint *param_1,uint *param_2,uint param_3,uint param_4)\n\n{\n  longlong lVar1;\n  uint uVar2;\n  code *UNRECOVERED_JUMPTABLE;\n  uint uVar3;\n  \n  uVar3 = 0;\n  if (4 < param_3) {\n    FUN_0003e346();\n                    /* WARNING: Could not recover jumptable at 0x0003e344. Too many branches */\n                    /* WARNING: Treating indirect jump as call */\n    uVar3 = (*UNRECOVERED_JUMPTABLE)();\n    return uVar3;\n  }\n  do {\n    lVar1 = (ulonglong)*param_2 * (ulonglong)param_4 + (ulonglong)uVar3;\n    uVar2 = (uint)lVar1;\n    uVar3 = *param_1;\n    *param_1 = *param_1 - uVar2;\n    uVar3 = (int)((ulonglong)lVar1 >> 0x20) + (uint)(uVar3 < uVar2);\n    param_3 = param_3 - 1;\n    param_2 = param_2 + 1;\n    param_1 = param_1 + 1;\n  } while (param_3 != 0);\n  return uVar3;\n}" type_identifier (function_declarator "__gmpn_submul_1_p6(uint *param_1,uint *param_2,uint param_3,uint param_4)" identifier (parameter_list "(uint *param_1,uint *param_2,uint param_3,uint param_4)" ( (parameter_declaration "uint *param_1" type_identifier (pointer_declarator "*param_1" * identifier)) , (parameter_declaration "uint *param_2" type_identifier (pointer_declarator "*param_2" * identifier)) , (parameter_declaration "uint param_3" type_identifier identifier) , (parameter_declaration "uint param_4" type_identifier identifier) ))) (compound_statement "{\n  longlong lVar1;\n  uint uVar2;\n  code *UNRECOVERED_JUMPTABLE;\n  uint uVar3;\n  \n  uVar3 = 0;\n  if (4 < param_3) {\n    FUN_0003e346();\n                    /* WARNING: Could not recover jumptable at 0x0003e344. Too many branches */\n                    /* WARNING: Treating indirect jump as call */\n    uVar3 = (*UNRECOVERED_JUMPTABLE)();\n    return uVar3;\n  }\n  do {\n    lVar1 = (ulonglong)*param_2 * (ulonglong)param_4 + (ulonglong)uVar3;\n    uVar2 = (uint)lVar1;\n    uVar3 = *param_1;\n    *param_1 = *param_1 - uVar2;\n    uVar3 = (int)((ulonglong)lVar1 >> 0x20) + (uint)(uVar3 < uVar2);\n    param_3 = param_3 - 1;\n    param_2 = param_2 + 1;\n    param_1 = param_1 + 1;\n  } while (param_3 != 0);\n  return uVar3;\n}" { (declaration "longlong lVar1;" type_identifier identifier ;) (declaration "uint uVar2;" type_identifier identifier ;) (declaration "code *UNRECOVERED_JUMPTABLE;" type_identifier (pointer_declarator "*UNRECOVERED_JUMPTABLE" * identifier) ;) (declaration "uint uVar3;" type_identifier identifier ;) (expression_statement "uVar3 = 0;" (assignment_expression "uVar3 = 0" identifier = number_literal) ;) (if_statement "if (4 < param_3) {\n    FUN_0003e346();\n                    /* WARNING: Could not recover jumptable at 0x0003e344. Too many branches */\n                    /* WARNING: Treating indirect jump as call */\n    uVar3 = (*UNRECOVERED_JUMPTABLE)();\n    return uVar3;\n  }" if (parenthesized_expression "(4 < param_3)" ( (binary_expression "4 < param_3" number_literal < identifier) )) (compound_statement "{\n    FUN_0003e346();\n                    /* WARNING: Could not recover jumptable at 0x0003e344. Too many branches */\n                    /* WARNING: Treating indirect jump as call */\n    uVar3 = (*UNRECOVERED_JUMPTABLE)();\n    return uVar3;\n  }" { (expression_statement "FUN_0003e346();" (call_expression "FUN_0003e346()" identifier (argument_list "()" ( ))) ;) comment comment (expression_statement "uVar3 = (*UNRECOVERED_JUMPTABLE)();" (assignment_expression "uVar3 = (*UNRECOVERED_JUMPTABLE)()" identifier = (call_expression "(*UNRECOVERED_JUMPTABLE)()" (parenthesized_expression "(*UNRECOVERED_JUMPTABLE)" ( (pointer_expression "*UNRECOVERED_JUMPTABLE" * identifier) )) (argument_list "()" ( )))) ;) (return_statement "return uVar3;" return identifier ;) })) (do_statement "do {\n    lVar1 = (ulonglong)*param_2 * (ulonglong)param_4 + (ulonglong)uVar3;\n    uVar2 = (uint)lVar1;\n    uVar3 = *param_1;\n    *param_1 = *param_1 - uVar2;\n    uVar3 = (int)((ulonglong)lVar1 >> 0x20) + (uint)(uVar3 < uVar2);\n    param_3 = param_3 - 1;\n    param_2 = param_2 + 1;\n    param_1 = param_1 + 1;\n  } while (param_3 != 0);" do (compound_statement "{\n    lVar1 = (ulonglong)*param_2 * (ulonglong)param_4 + (ulonglong)uVar3;\n    uVar2 = (uint)lVar1;\n    uVar3 = *param_1;\n    *param_1 = *param_1 - uVar2;\n    uVar3 = (int)((ulonglong)lVar1 >> 0x20) + (uint)(uVar3 < uVar2);\n    param_3 = param_3 - 1;\n    param_2 = param_2 + 1;\n    param_1 = param_1 + 1;\n  }" { (expression_statement "lVar1 = (ulonglong)*param_2 * (ulonglong)param_4 + (ulonglong)uVar3;" (assignment_expression "lVar1 = (ulonglong)*param_2 * (ulonglong)param_4 + (ulonglong)uVar3" identifier = (binary_expression "(ulonglong)*param_2 * (ulonglong)param_4 + (ulonglong)uVar3" (binary_expression "(ulonglong)*param_2 * (ulonglong)param_4" (binary_expression "(ulonglong)*param_2" (parenthesized_expression "(ulonglong)" ( identifier )) * identifier) * (cast_expression "(ulonglong)param_4" ( (type_descriptor "ulonglong" type_identifier) ) identifier)) + (cast_expression "(ulonglong)uVar3" ( (type_descriptor "ulonglong" type_identifier) ) identifier))) ;) (expression_statement "uVar2 = (uint)lVar1;" (assignment_expression "uVar2 = (uint)lVar1" identifier = (cast_expression "(uint)lVar1" ( (type_descriptor "uint" type_identifier) ) identifier)) ;) (expression_statement "uVar3 = *param_1;" (assignment_expression "uVar3 = *param_1" identifier = (pointer_expression "*param_1" * identifier)) ;) (expression_statement "*param_1 = *param_1 - uVar2;" (assignment_expression "*param_1 = *param_1 - uVar2" (pointer_expression "*param_1" * identifier) = (binary_expression "*param_1 - uVar2" (pointer_expression "*param_1" * identifier) - identifier)) ;) (expression_statement "uVar3 = (int)((ulonglong)lVar1 >> 0x20) + (uint)(uVar3 < uVar2);" (assignment_expression "uVar3 = (int)((ulonglong)lVar1 >> 0x20) + (uint)(uVar3 < uVar2)" identifier = (binary_expression "(int)((ulonglong)lVar1 >> 0x20) + (uint)(uVar3 < uVar2)" (cast_expression "(int)((ulonglong)lVar1 >> 0x20)" ( (type_descriptor "int" primitive_type) ) (parenthesized_expression "((ulonglong)lVar1 >> 0x20)" ( (binary_expression "(ulonglong)lVar1 >> 0x20" (cast_expression "(ulonglong)lVar1" ( (type_descriptor "ulonglong" type_identifier) ) identifier) >> number_literal) ))) + (call_expression "(uint)(uVar3 < uVar2)" (parenthesized_expression "(uint)" ( identifier )) (argument_list "(uVar3 < uVar2)" ( (binary_expression "uVar3 < uVar2" identifier < identifier) ))))) ;) (expression_statement "param_3 = param_3 - 1;" (assignment_expression "param_3 = param_3 - 1" identifier = (binary_expression "param_3 - 1" identifier - number_literal)) ;) (expression_statement "param_2 = param_2 + 1;" (assignment_expression "param_2 = param_2 + 1" identifier = (binary_expression "param_2 + 1" identifier + number_literal)) ;) (expression_statement "param_1 = param_1 + 1;" (assignment_expression "param_1 = param_1 + 1" identifier = (binary_expression "param_1 + 1" identifier + number_literal)) ;) }) while (parenthesized_expression "(param_3 != 0)" ( (binary_expression "param_3 != 0" identifier != number_literal) )) ;) (return_statement "return uVar3;" return identifier ;) })))
(translation_unit "uint __gmpn_submul_1_p6(uint *param_1,uint *param_2,uint param_3,uint param_4)\n\n{\n  longlong lVar1;\n  uint uVar2;\n  code *UNRECOVERED_JUMPTABLE;\n  uint uVar3;\n  \n  uVar3 = 0;\n  if (4 < param_3) {\n    FUN_0003e346();\n                    /* WARNING: Could not recover jumptable at 0x0003e344. Too many branches */\n                    /* WARNING: Treating indirect jump as call */\n    uVar3 = (*UNRECOVERED_JUMPTABLE)();\n    return uVar3;\n  }\n  do {\n    lVar1 = (ulonglong)*param_2 * (ulonglong)param_4 + (ulonglong)uVar3;\n    uVar2 = (uint)lVar1;\n    uVar3 = *param_1;\n    *param_1 = *param_1 - uVar2;\n    uVar3 = (int)((ulonglong)lVar1 >> 0x20) + (uint)(uVar3 < uVar2);\n    param_3 = param_3 - 1;\n    param_2 = param_2 + 1;\n    param_1 = param_1 + 1;\n  } while (param_3 != 0);\n  return uVar3;\n}\n\n" (function_definition "uint __gmpn_submul_1_p6(uint *param_1,uint *param_2,uint param_3,uint param_4)\n\n{\n  longlong lVar1;\n  uint uVar2;\n  code *UNRECOVERED_JUMPTABLE;\n  uint uVar3;\n  \n  uVar3 = 0;\n  if (4 < param_3) {\n    FUN_0003e346();\n                    /* WARNING: Could not recover jumptable at 0x0003e344. Too many branches */\n                    /* WARNING: Treating indirect jump as call */\n    uVar3 = (*UNRECOVERED_JUMPTABLE)();\n    return uVar3;\n  }\n  do {\n    lVar1 = (ulonglong)*param_2 * (ulonglong)param_4 + (ulonglong)uVar3;\n    uVar2 = (uint)lVar1;\n    uVar3 = *param_1;\n    *param_1 = *param_1 - uVar2;\n    uVar3 = (int)((ulonglong)lVar1 >> 0x20) + (uint)(uVar3 < uVar2);\n    param_3 = param_3 - 1;\n    param_2 = param_2 + 1;\n    param_1 = param_1 + 1;\n  } while (param_3 != 0);\n  return uVar3;\n}" type_identifier (function_declarator "__gmpn_submul_1_p6(uint *param_1,uint *param_2,uint param_3,uint param_4)" identifier (parameter_list "(uint *param_1,uint *param_2,uint param_3,uint param_4)" ( (parameter_declaration "uint *param_1" type_identifier (pointer_declarator "*param_1" * identifier)) , (parameter_declaration "uint *param_2" type_identifier (pointer_declarator "*param_2" * identifier)) , (parameter_declaration "uint param_3" type_identifier identifier) , (parameter_declaration "uint param_4" type_identifier identifier) ))) (compound_statement "{\n  longlong lVar1;\n  uint uVar2;\n  code *UNRECOVERED_JUMPTABLE;\n  uint uVar3;\n  \n  uVar3 = 0;\n  if (4 < param_3) {\n    FUN_0003e346();\n                    /* WARNING: Could not recover jumptable at 0x0003e344. Too many branches */\n                    /* WARNING: Treating indirect jump as call */\n    uVar3 = (*UNRECOVERED_JUMPTABLE)();\n    return uVar3;\n  }\n  do {\n    lVar1 = (ulonglong)*param_2 * (ulonglong)param_4 + (ulonglong)uVar3;\n    uVar2 = (uint)lVar1;\n    uVar3 = *param_1;\n    *param_1 = *param_1 - uVar2;\n    uVar3 = (int)((ulonglong)lVar1 >> 0x20) + (uint)(uVar3 < uVar2);\n    param_3 = param_3 - 1;\n    param_2 = param_2 + 1;\n    param_1 = param_1 + 1;\n  } while (param_3 != 0);\n  return uVar3;\n}" { (declaration "longlong lVar1;" type_identifier identifier ;) (declaration "uint uVar2;" type_identifier identifier ;) (declaration "code *UNRECOVERED_JUMPTABLE;" type_identifier (pointer_declarator "*UNRECOVERED_JUMPTABLE" * identifier) ;) (declaration "uint uVar3;" type_identifier identifier ;) (expression_statement "uVar3 = 0;" (assignment_expression "uVar3 = 0" identifier = number_literal) ;) (if_statement "if (4 < param_3) {\n    FUN_0003e346();\n                    /* WARNING: Could not recover jumptable at 0x0003e344. Too many branches */\n                    /* WARNING: Treating indirect jump as call */\n    uVar3 = (*UNRECOVERED_JUMPTABLE)();\n    return uVar3;\n  }" if (parenthesized_expression "(4 < param_3)" ( (binary_expression "4 < param_3" number_literal < identifier) )) (compound_statement "{\n    FUN_0003e346();\n                    /* WARNING: Could not recover jumptable at 0x0003e344. Too many branches */\n                    /* WARNING: Treating indirect jump as call */\n    uVar3 = (*UNRECOVERED_JUMPTABLE)();\n    return uVar3;\n  }" { (expression_statement "FUN_0003e346();" (call_expression "FUN_0003e346()" identifier (argument_list "()" ( ))) ;) comment comment (expression_statement "uVar3 = (*UNRECOVERED_JUMPTABLE)();" (assignment_expression "uVar3 = (*UNRECOVERED_JUMPTABLE)()" identifier = (call_expression "(*UNRECOVERED_JUMPTABLE)()" (parenthesized_expression "(*UNRECOVERED_JUMPTABLE)" ( (pointer_expression "*UNRECOVERED_JUMPTABLE" * identifier) )) (argument_list "()" ( )))) ;) (return_statement "return uVar3;" return identifier ;) })) (do_statement "do {\n    lVar1 = (ulonglong)*param_2 * (ulonglong)param_4 + (ulonglong)uVar3;\n    uVar2 = (uint)lVar1;\n    uVar3 = *param_1;\n    *param_1 = *param_1 - uVar2;\n    uVar3 = (int)((ulonglong)lVar1 >> 0x20) + (uint)(uVar3 < uVar2);\n    param_3 = param_3 - 1;\n    param_2 = param_2 + 1;\n    param_1 = param_1 + 1;\n  } while (param_3 != 0);" do (compound_statement "{\n    lVar1 = (ulonglong)*param_2 * (ulonglong)param_4 + (ulonglong)uVar3;\n    uVar2 = (uint)lVar1;\n    uVar3 = *param_1;\n    *param_1 = *param_1 - uVar2;\n    uVar3 = (int)((ulonglong)lVar1 >> 0x20) + (uint)(uVar3 < uVar2);\n    param_3 = param_3 - 1;\n    param_2 = param_2 + 1;\n    param_1 = param_1 + 1;\n  }" { (expression_statement "lVar1 = (ulonglong)*param_2 * (ulonglong)param_4 + (ulonglong)uVar3;" (assignment_expression "lVar1 = (ulonglong)*param_2 * (ulonglong)param_4 + (ulonglong)uVar3" identifier = (binary_expression "(ulonglong)*param_2 * (ulonglong)param_4 + (ulonglong)uVar3" (binary_expression "(ulonglong)*param_2 * (ulonglong)param_4" (binary_expression "(ulonglong)*param_2" (parenthesized_expression "(ulonglong)" ( identifier )) * identifier) * (cast_expression "(ulonglong)param_4" ( (type_descriptor "ulonglong" type_identifier) ) identifier)) + (cast_expression "(ulonglong)uVar3" ( (type_descriptor "ulonglong" type_identifier) ) identifier))) ;) (expression_statement "uVar2 = (uint)lVar1;" (assignment_expression "uVar2 = (uint)lVar1" identifier = (cast_expression "(uint)lVar1" ( (type_descriptor "uint" type_identifier) ) identifier)) ;) (expression_statement "uVar3 = *param_1;" (assignment_expression "uVar3 = *param_1" identifier = (pointer_expression "*param_1" * identifier)) ;) (expression_statement "*param_1 = *param_1 - uVar2;" (assignment_expression "*param_1 = *param_1 - uVar2" (pointer_expression "*param_1" * identifier) = (binary_expression "*param_1 - uVar2" (pointer_expression "*param_1" * identifier) - identifier)) ;) (expression_statement "uVar3 = (int)((ulonglong)lVar1 >> 0x20) + (uint)(uVar3 < uVar2);" (assignment_expression "uVar3 = (int)((ulonglong)lVar1 >> 0x20) + (uint)(uVar3 < uVar2)" identifier = (binary_expression "(int)((ulonglong)lVar1 >> 0x20) + (uint)(uVar3 < uVar2)" (cast_expression "(int)((ulonglong)lVar1 >> 0x20)" ( (type_descriptor "int" primitive_type) ) (parenthesized_expression "((ulonglong)lVar1 >> 0x20)" ( (binary_expression "(ulonglong)lVar1 >> 0x20" (cast_expression "(ulonglong)lVar1" ( (type_descriptor "ulonglong" type_identifier) ) identifier) >> number_literal) ))) + (call_expression "(uint)(uVar3 < uVar2)" (parenthesized_expression "(uint)" ( identifier )) (argument_list "(uVar3 < uVar2)" ( (binary_expression "uVar3 < uVar2" identifier < identifier) ))))) ;) (expression_statement "param_3 = param_3 - 1;" (assignment_expression "param_3 = param_3 - 1" identifier = (binary_expression "param_3 - 1" identifier - number_literal)) ;) (expression_statement "param_2 = param_2 + 1;" (assignment_expression "param_2 = param_2 + 1" identifier = (binary_expression "param_2 + 1" identifier + number_literal)) ;) (expression_statement "param_1 = param_1 + 1;" (assignment_expression "param_1 = param_1 + 1" identifier = (binary_expression "param_1 + 1" identifier + number_literal)) ;) }) while (parenthesized_expression "(param_3 != 0)" ( (binary_expression "param_3 != 0" identifier != number_literal) )) ;) (return_statement "return uVar3;" return identifier ;) })))
(translation_unit "uint __gmpn_submul_1_p6(uint *param_1,uint *param_2,uint param_3,uint param_4)\n\n{\n  longlong lVar1;\n  uint uVar2;\n  code *UNRECOVERED_JUMPTABLE;\n  uint uVar3;\n  \n  uVar3 = 0;\n  if (4 < param_3) {\n    FUN_0003e346();\n                    \n                    \n    uVar3 = (*UNRECOVERED_JUMPTABLE)();\n    return uVar3;\n  }\n  do {\n    lVar1 = (ulonglong)*param_2 * (ulonglong)param_4 + (ulonglong)uVar3;\n    uVar2 = (uint)lVar1;\n    uVar3 = *param_1;\n    *param_1 = *param_1 - uVar2;\n    uVar3 = (int)((ulonglong)lVar1 >> 0x20) + (uint)(uVar3 < uVar2);\n    param_3 = param_3 - 1;\n    param_2 = param_2 + 1;\n    param_1 = param_1 + 1;\n  } while (param_3 != 0);\n  return uVar3;\n}\n\n" (function_definition "uint __gmpn_submul_1_p6(uint *param_1,uint *param_2,uint param_3,uint param_4)\n\n{\n  longlong lVar1;\n  uint uVar2;\n  code *UNRECOVERED_JUMPTABLE;\n  uint uVar3;\n  \n  uVar3 = 0;\n  if (4 < param_3) {\n    FUN_0003e346();\n                    \n                    \n    uVar3 = (*UNRECOVERED_JUMPTABLE)();\n    return uVar3;\n  }\n  do {\n    lVar1 = (ulonglong)*param_2 * (ulonglong)param_4 + (ulonglong)uVar3;\n    uVar2 = (uint)lVar1;\n    uVar3 = *param_1;\n    *param_1 = *param_1 - uVar2;\n    uVar3 = (int)((ulonglong)lVar1 >> 0x20) + (uint)(uVar3 < uVar2);\n    param_3 = param_3 - 1;\n    param_2 = param_2 + 1;\n    param_1 = param_1 + 1;\n  } while (param_3 != 0);\n  return uVar3;\n}" type_identifier (function_declarator "__gmpn_submul_1_p6(uint *param_1,uint *param_2,uint param_3,uint param_4)" identifier (parameter_list "(uint *param_1,uint *param_2,uint param_3,uint param_4)" ( (parameter_declaration "uint *param_1" type_identifier (pointer_declarator "*param_1" * identifier)) , (parameter_declaration "uint *param_2" type_identifier (pointer_declarator "*param_2" * identifier)) , (parameter_declaration "uint param_3" type_identifier identifier) , (parameter_declaration "uint param_4" type_identifier identifier) ))) (compound_statement "{\n  longlong lVar1;\n  uint uVar2;\n  code *UNRECOVERED_JUMPTABLE;\n  uint uVar3;\n  \n  uVar3 = 0;\n  if (4 < param_3) {\n    FUN_0003e346();\n                    \n                    \n    uVar3 = (*UNRECOVERED_JUMPTABLE)();\n    return uVar3;\n  }\n  do {\n    lVar1 = (ulonglong)*param_2 * (ulonglong)param_4 + (ulonglong)uVar3;\n    uVar2 = (uint)lVar1;\n    uVar3 = *param_1;\n    *param_1 = *param_1 - uVar2;\n    uVar3 = (int)((ulonglong)lVar1 >> 0x20) + (uint)(uVar3 < uVar2);\n    param_3 = param_3 - 1;\n    param_2 = param_2 + 1;\n    param_1 = param_1 + 1;\n  } while (param_3 != 0);\n  return uVar3;\n}" { (declaration "longlong lVar1;" type_identifier identifier ;) (declaration "uint uVar2;" type_identifier identifier ;) (declaration "code *UNRECOVERED_JUMPTABLE;" type_identifier (pointer_declarator "*UNRECOVERED_JUMPTABLE" * identifier) ;) (declaration "uint uVar3;" type_identifier identifier ;) (expression_statement "uVar3 = 0;" (assignment_expression "uVar3 = 0" identifier = number_literal) ;) (if_statement "if (4 < param_3) {\n    FUN_0003e346();\n                    \n                    \n    uVar3 = (*UNRECOVERED_JUMPTABLE)();\n    return uVar3;\n  }" if (parenthesized_expression "(4 < param_3)" ( (binary_expression "4 < param_3" number_literal < identifier) )) (compound_statement "{\n    FUN_0003e346();\n                    \n                    \n    uVar3 = (*UNRECOVERED_JUMPTABLE)();\n    return uVar3;\n  }" { (expression_statement "FUN_0003e346();" (call_expression "FUN_0003e346()" identifier (argument_list "()" ( ))) ;) (expression_statement "uVar3 = (*UNRECOVERED_JUMPTABLE)();" (assignment_expression "uVar3 = (*UNRECOVERED_JUMPTABLE)()" identifier = (call_expression "(*UNRECOVERED_JUMPTABLE)()" (parenthesized_expression "(*UNRECOVERED_JUMPTABLE)" ( (pointer_expression "*UNRECOVERED_JUMPTABLE" * identifier) )) (argument_list "()" ( )))) ;) (return_statement "return uVar3;" return identifier ;) })) (do_statement "do {\n    lVar1 = (ulonglong)*param_2 * (ulonglong)param_4 + (ulonglong)uVar3;\n    uVar2 = (uint)lVar1;\n    uVar3 = *param_1;\n    *param_1 = *param_1 - uVar2;\n    uVar3 = (int)((ulonglong)lVar1 >> 0x20) + (uint)(uVar3 < uVar2);\n    param_3 = param_3 - 1;\n    param_2 = param_2 + 1;\n    param_1 = param_1 + 1;\n  } while (param_3 != 0);" do (compound_statement "{\n    lVar1 = (ulonglong)*param_2 * (ulonglong)param_4 + (ulonglong)uVar3;\n    uVar2 = (uint)lVar1;\n    uVar3 = *param_1;\n    *param_1 = *param_1 - uVar2;\n    uVar3 = (int)((ulonglong)lVar1 >> 0x20) + (uint)(uVar3 < uVar2);\n    param_3 = param_3 - 1;\n    param_2 = param_2 + 1;\n    param_1 = param_1 + 1;\n  }" { (expression_statement "lVar1 = (ulonglong)*param_2 * (ulonglong)param_4 + (ulonglong)uVar3;" (assignment_expression "lVar1 = (ulonglong)*param_2 * (ulonglong)param_4 + (ulonglong)uVar3" identifier = (binary_expression "(ulonglong)*param_2 * (ulonglong)param_4 + (ulonglong)uVar3" (binary_expression "(ulonglong)*param_2 * (ulonglong)param_4" (binary_expression "(ulonglong)*param_2" (parenthesized_expression "(ulonglong)" ( identifier )) * identifier) * (cast_expression "(ulonglong)param_4" ( (type_descriptor "ulonglong" type_identifier) ) identifier)) + (cast_expression "(ulonglong)uVar3" ( (type_descriptor "ulonglong" type_identifier) ) identifier))) ;) (expression_statement "uVar2 = (uint)lVar1;" (assignment_expression "uVar2 = (uint)lVar1" identifier = (cast_expression "(uint)lVar1" ( (type_descriptor "uint" type_identifier) ) identifier)) ;) (expression_statement "uVar3 = *param_1;" (assignment_expression "uVar3 = *param_1" identifier = (pointer_expression "*param_1" * identifier)) ;) (expression_statement "*param_1 = *param_1 - uVar2;" (assignment_expression "*param_1 = *param_1 - uVar2" (pointer_expression "*param_1" * identifier) = (binary_expression "*param_1 - uVar2" (pointer_expression "*param_1" * identifier) - identifier)) ;) (expression_statement "uVar3 = (int)((ulonglong)lVar1 >> 0x20) + (uint)(uVar3 < uVar2);" (assignment_expression "uVar3 = (int)((ulonglong)lVar1 >> 0x20) + (uint)(uVar3 < uVar2)" identifier = (binary_expression "(int)((ulonglong)lVar1 >> 0x20) + (uint)(uVar3 < uVar2)" (cast_expression "(int)((ulonglong)lVar1 >> 0x20)" ( (type_descriptor "int" primitive_type) ) (parenthesized_expression "((ulonglong)lVar1 >> 0x20)" ( (binary_expression "(ulonglong)lVar1 >> 0x20" (cast_expression "(ulonglong)lVar1" ( (type_descriptor "ulonglong" type_identifier) ) identifier) >> number_literal) ))) + (call_expression "(uint)(uVar3 < uVar2)" (parenthesized_expression "(uint)" ( identifier )) (argument_list "(uVar3 < uVar2)" ( (binary_expression "uVar3 < uVar2" identifier < identifier) ))))) ;) (expression_statement "param_3 = param_3 - 1;" (assignment_expression "param_3 = param_3 - 1" identifier = (binary_expression "param_3 - 1" identifier - number_literal)) ;) (expression_statement "param_2 = param_2 + 1;" (assignment_expression "param_2 = param_2 + 1" identifier = (binary_expression "param_2 + 1" identifier + number_literal)) ;) (expression_statement "param_1 = param_1 + 1;" (assignment_expression "param_1 = param_1 + 1" identifier = (binary_expression "param_1 + 1" identifier + number_literal)) ;) }) while (parenthesized_expression "(param_3 != 0)" ( (binary_expression "param_3 != 0" identifier != number_literal) )) ;) (return_statement "return uVar3;" return identifier ;) })))
(translation_unit (function_definition TYPE (function_declarator IDENT (parameter_list ( (parameter_declaration TYPE (pointer_declarator * IDENT)) , (parameter_declaration TYPE (pointer_declarator * IDENT)) , (parameter_declaration TYPE IDENT) , (parameter_declaration TYPE IDENT) ))) (compound_statement { (declaration TYPE IDENT ;) (declaration TYPE IDENT ;) (declaration TYPE (pointer_declarator * IDENT) ;) (declaration TYPE IDENT ;) (expression_statement (assignment_expression IDENT = LIT) ;) (if_statement if (parenthesized_expression ( (binary_expression LIT < IDENT) )) (compound_statement { (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 ;) })) (do_statement do (compound_statement { (expression_statement (assignment_expression IDENT = (binary_expression (binary_expression (binary_expression (parenthesized_expression ( IDENT )) * IDENT) * (cast_expression ( (type_descriptor TYPE) ) IDENT)) + (cast_expression ( (type_descriptor TYPE) ) IDENT))) ;) (expression_statement (assignment_expression IDENT = (cast_expression ( (type_descriptor TYPE) ) IDENT)) ;) (expression_statement (assignment_expression IDENT = (pointer_expression * IDENT)) ;) (expression_statement (assignment_expression (pointer_expression * IDENT) = (binary_expression (pointer_expression * IDENT) - IDENT)) ;) (expression_statement (assignment_expression IDENT = (binary_expression (cast_expression ( (type_descriptor TYPE) ) (parenthesized_expression ( (binary_expression (cast_expression ( (type_descriptor TYPE) ) IDENT) >> LIT) ))) + (call_expression (parenthesized_expression ( IDENT )) (argument_list ( (binary_expression IDENT < IDENT) ))))) ;) (expression_statement (assignment_expression IDENT = (binary_expression IDENT - LIT)) ;) (expression_statement (assignment_expression IDENT = (binary_expression IDENT + LIT)) ;) (expression_statement (assignment_expression IDENT = (binary_expression IDENT + LIT)) ;) }) while (parenthesized_expression ( (binary_expression IDENT != LIT) )) ;) (return_statement return IDENT ;) })))
(function_definition "uint __gmpn_submul_1_p6(uint *param_1,uint *param_2,uint param_3,uint param_4)\n\n{\n  longlong lVar1;\n  uint uVar2;\n  code *UNRECOVERED_JUMPTABLE;\n  uint uVar3;\n  \n  uVar3 = 0;\n  if (4 < param_3) {\n    FUN_0003e346();\n                    \n                    \n    uVar3 = (*UNRECOVERED_JUMPTABLE)();\n    return uVar3;\n  }\n  do {\n    lVar1 = (ulonglong)*param_2 * (ulonglong)param_4 + (ulonglong)uVar3;\n    uVar2 = (uint)lVar1;\n    uVar3 = *param_1;\n    *param_1 = *param_1 - uVar2;\n    uVar3 = (int)((ulonglong)lVar1 >> 0x20) + (uint)(uVar3 < uVar2);\n    param_3 = param_3 - 1;\n    param_2 = param_2 + 1;\n    param_1 = param_1 + 1;\n  } while (param_3 != 0);\n  return uVar3;\n}" (type_identifier "uint") (function_declarator "__gmpn_submul_1_p6(uint *param_1,uint *param_2,uint param_3,uint param_4)" (identifier "__gmpn_submul_1_p6") (parameter_list "(uint *param_1,uint *param_2,uint param_3,uint param_4)" (( "(") (parameter_declaration "uint *param_1" (type_identifier "uint") (pointer_declarator "*param_1" (* "*") (identifier "param_1"))) (, ",") (parameter_declaration "uint *param_2" (type_identifier "uint") (pointer_declarator "*param_2" (* "*") (identifier "param_2"))) (, ",") (parameter_declaration "uint param_3" (type_identifier "uint") (identifier "param_3")) (, ",") (parameter_declaration "uint param_4" (type_identifier "uint") (identifier "param_4")) () ")"))) (compound_statement "{\n  longlong lVar1;\n  uint uVar2;\n  code *UNRECOVERED_JUMPTABLE;\n  uint uVar3;\n  \n  uVar3 = 0;\n  if (4 < param_3) {\n    FUN_0003e346();\n                    \n                    \n    uVar3 = (*UNRECOVERED_JUMPTABLE)();\n    return uVar3;\n  }\n  do {\n    lVar1 = (ulonglong)*param_2 * (ulonglong)param_4 + (ulonglong)uVar3;\n    uVar2 = (uint)lVar1;\n    uVar3 = *param_1;\n    *param_1 = *param_1 - uVar2;\n    uVar3 = (int)((ulonglong)lVar1 >> 0x20) + (uint)(uVar3 < uVar2);\n    param_3 = param_3 - 1;\n    param_2 = param_2 + 1;\n    param_1 = param_1 + 1;\n  } while (param_3 != 0);\n  return uVar3;\n}" ({ "{") (declaration "longlong lVar1;" (type_identifier "longlong") (identifier "lVar1") (; ";")) (declaration "uint uVar2;" (type_identifier "uint") (identifier "uVar2") (; ";")) (declaration "code *UNRECOVERED_JUMPTABLE;" (type_identifier "code") (pointer_declarator "*UNRECOVERED_JUMPTABLE" (* "*") (identifier "UNRECOVERED_JUMPTABLE")) (; ";")) (declaration "uint uVar3;" (type_identifier "uint") (identifier "uVar3") (; ";")) (expression_statement "uVar3 = 0;" (assignment_expression "uVar3 = 0" (identifier "uVar3") (= "=") (number_literal "0")) (; ";")) (if_statement "if (4 < param_3) {\n    FUN_0003e346();\n                    \n                    \n    uVar3 = (*UNRECOVERED_JUMPTABLE)();\n    return uVar3;\n  }" (if "if") (parenthesized_expression "(4 < param_3)" (( "(") (binary_expression "4 < param_3" (number_literal "4") (< "<") (identifier "param_3")) () ")")) (compound_statement "{\n    FUN_0003e346();\n                    \n                    \n    uVar3 = (*UNRECOVERED_JUMPTABLE)();\n    return uVar3;\n  }" ({ "{") (expression_statement "FUN_0003e346();" (call_expression "FUN_0003e346()" (identifier "FUN_0003e346") (argument_list "()" (( "(") () ")"))) (; ";")) (expression_statement "uVar3 = (*UNRECOVERED_JUMPTABLE)();" (assignment_expression "uVar3 = (*UNRECOVERED_JUMPTABLE)()" (identifier "uVar3") (= "=") (call_expression "(*UNRECOVERED_JUMPTABLE)()" (parenthesized_expression "(*UNRECOVERED_JUMPTABLE)" (( "(") (pointer_expression "*UNRECOVERED_JUMPTABLE" (* "*") (identifier "UNRECOVERED_JUMPTABLE")) () ")")) (argument_list "()" (( "(") () ")")))) (; ";")) (return_statement "return uVar3;" (return "return") (identifier "uVar3") (; ";")) (} "}"))) (do_statement "do {\n    lVar1 = (ulonglong)*param_2 * (ulonglong)param_4 + (ulonglong)uVar3;\n    uVar2 = (uint)lVar1;\n    uVar3 = *param_1;\n    *param_1 = *param_1 - uVar2;\n    uVar3 = (int)((ulonglong)lVar1 >> 0x20) + (uint)(uVar3 < uVar2);\n    param_3 = param_3 - 1;\n    param_2 = param_2 + 1;\n    param_1 = param_1 + 1;\n  } while (param_3 != 0);" (do "do") (compound_statement "{\n    lVar1 = (ulonglong)*param_2 * (ulonglong)param_4 + (ulonglong)uVar3;\n    uVar2 = (uint)lVar1;\n    uVar3 = *param_1;\n    *param_1 = *param_1 - uVar2;\n    uVar3 = (int)((ulonglong)lVar1 >> 0x20) + (uint)(uVar3 < uVar2);\n    param_3 = param_3 - 1;\n    param_2 = param_2 + 1;\n    param_1 = param_1 + 1;\n  }" ({ "{") (expression_statement "lVar1 = (ulonglong)*param_2 * (ulonglong)param_4 + (ulonglong)uVar3;" (assignment_expression "lVar1 = (ulonglong)*param_2 * (ulonglong)param_4 + (ulonglong)uVar3" (identifier "lVar1") (= "=") (binary_expression "(ulonglong)*param_2 * (ulonglong)param_4 + (ulonglong)uVar3" (binary_expression "(ulonglong)*param_2 * (ulonglong)param_4" (binary_expression "(ulonglong)*param_2" (parenthesized_expression "(ulonglong)" (( "(") (identifier "ulonglong") () ")")) (* "*") (identifier "param_2")) (* "*") (cast_expression "(ulonglong)param_4" (( "(") (type_descriptor "ulonglong" (type_identifier "ulonglong")) () ")") (identifier "param_4"))) (+ "+") (cast_expression "(ulonglong)uVar3" (( "(") (type_descriptor "ulonglong" (type_identifier "ulonglong")) () ")") (identifier "uVar3")))) (; ";")) (expression_statement "uVar2 = (uint)lVar1;" (assignment_expression "uVar2 = (uint)lVar1" (identifier "uVar2") (= "=") (cast_expression "(uint)lVar1" (( "(") (type_descriptor "uint" (type_identifier "uint")) () ")") (identifier "lVar1"))) (; ";")) (expression_statement "uVar3 = *param_1;" (assignment_expression "uVar3 = *param_1" (identifier "uVar3") (= "=") (pointer_expression "*param_1" (* "*") (identifier "param_1"))) (; ";")) (expression_statement "*param_1 = *param_1 - uVar2;" (assignment_expression "*param_1 = *param_1 - uVar2" (pointer_expression "*param_1" (* "*") (identifier "param_1")) (= "=") (binary_expression "*param_1 - uVar2" (pointer_expression "*param_1" (* "*") (identifier "param_1")) (- "-") (identifier "uVar2"))) (; ";")) (expression_statement "uVar3 = (int)((ulonglong)lVar1 >> 0x20) + (uint)(uVar3 < uVar2);" (assignment_expression "uVar3 = (int)((ulonglong)lVar1 >> 0x20) + (uint)(uVar3 < uVar2)" (identifier "uVar3") (= "=") (binary_expression "(int)((ulonglong)lVar1 >> 0x20) + (uint)(uVar3 < uVar2)" (cast_expression "(int)((ulonglong)lVar1 >> 0x20)" (( "(") (type_descriptor "int" (primitive_type "int")) () ")") (parenthesized_expression "((ulonglong)lVar1 >> 0x20)" (( "(") (binary_expression "(ulonglong)lVar1 >> 0x20" (cast_expression "(ulonglong)lVar1" (( "(") (type_descriptor "ulonglong" (type_identifier "ulonglong")) () ")") (identifier "lVar1")) (>> ">>") (number_literal "0x20")) () ")"))) (+ "+") (call_expression "(uint)(uVar3 < uVar2)" (parenthesized_expression "(uint)" (( "(") (identifier "uint") () ")")) (argument_list "(uVar3 < uVar2)" (( "(") (binary_expression "uVar3 < uVar2" (identifier "uVar3") (< "<") (identifier "uVar2")) () ")"))))) (; ";")) (expression_statement "param_3 = param_3 - 1;" (assignment_expression "param_3 = param_3 - 1" (identifier "param_3") (= "=") (binary_expression "param_3 - 1" (identifier "param_3") (- "-") (number_literal "1"))) (; ";")) (expression_statement "param_2 = param_2 + 1;" (assignment_expression "param_2 = param_2 + 1" (identifier "param_2") (= "=") (binary_expression "param_2 + 1" (identifier "param_2") (+ "+") (number_literal "1"))) (; ";")) (expression_statement "param_1 = param_1 + 1;" (assignment_expression "param_1 = param_1 + 1" (identifier "param_1") (= "=") (binary_expression "param_1 + 1" (identifier "param_1") (+ "+") (number_literal "1"))) (; ";")) (} "}")) (while "while") (parenthesized_expression "(param_3 != 0)" (( "(") (binary_expression "param_3 != 0" (identifier "param_3") (!= "!=") (number_literal "0")) () ")")) (; ";")) (return_statement "return uVar3;" (return "return") (identifier "uVar3") (; ";")) (} "}")))

type_1 function_1(type_1 *var_6,type_1 *var_3,type_1 var_1,type_1 param_4)

{
  type_2 lVar1;
  type_1 var_4;
  type_3 *UNRECOVERED_JUMPTABLE;
  type_1 var_5;
  
  var_5 = 0;
  if (4 < var_1) {
    var_2();
                    /* WARNING: Could not recover jumptable at 0x0003e344. Too many branches */
                    /* WARNING: Treating indirect jump as call */
    var_5 = (*UNRECOVERED_JUMPTABLE)();
    return var_5;
  }
  do {
    lVar1 = (type_4)*var_3 * (type_4)param_4 + (type_4)var_5;
    var_4 = (type_1)lVar1;
    var_5 = *var_6;
    *var_6 = *var_6 - var_4;
    var_5 = (int)((type_4)lVar1 >> 0x20) + (type_1)(var_5 < var_4);
    var_1 = var_1 - 1;
    var_3 = var_3 + 1;
    var_6 = var_6 + 1;
  } while (var_1 != 0);
  return var_5;
}


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

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

{
  longlong lVar1;
  uint uVar2;
  code *UNRECOVERED_JUMPTABLE;
  uint uVar3;
  
  uVar3 = 0;
  if (4 < param_3) {
    FUN_0003e346();
                    /* WARNING: Could not recover jumptable at 0x0003e344. Too many branches */
                    /* WARNING: Treating indirect jump as call */
    uVar3 = (*UNRECOVERED_JUMPTABLE)();
    return uVar3;
  }
  do {
    lVar1 = (ulonglong)*param_2 * (ulonglong)param_4 + (ulonglong)uVar3;
    uVar2 = (uint)lVar1;
    uVar3 = *param_1;
    *param_1 = *param_1 - uVar2;
    uVar3 = (int)((ulonglong)lVar1 >> 0x20) + (uint)(uVar3 < uVar2);
    param_3 = param_3 - 1;
    param_2 = param_2 + 1;
    param_1 = param_1 + 1;
  } while (param_3 != 0);
  return uVar3;
}

