
ulong __gmpn_mod_34lsub1(ulong *param_1,ulong param_2)

{
  ulong uVar1;
  bool bVar2;
  
  uVar1 = *param_1;
  if (param_2 < 3) {
    if (1 < param_2) {
      uVar1 = (uVar1 >> 0x30) + (uVar1 & 0xffffffffffff) + (param_1[1] >> 0x20) +
              (param_1[1] & 0xffffffff) * 0x10000;
    }
    return uVar1;
  }
  uVar1 = param_2 - 0xc;
  if (0xb < param_2) {
    do {
      bVar2 = 8 < uVar1;
      uVar1 = uVar1 - 9;
    } while (bVar2);
  }
                    /* WARNING: Could not recover jumptable at 0x00126e58. Too many branches */
                    /* WARNING: Treating indirect jump as call */
  uVar1 = (*(code *)(&DAT_00172970 + *(int *)(&DAT_00172994 + uVar1 * 4)))();
  return uVar1;
}



ulong __gmpn_mod_34lsub1(ulong *param_1,ulong param_2)

{
  ulong uVar1;
  bool bVar2;
  
  uVar1 = *param_1;
  if (param_2 < 3) {
    if (1 < param_2) {
      uVar1 = (uVar1 >> 0x30) + (uVar1 & 0xffffffffffff) + (param_1[1] >> 0x20) +
              (param_1[1] & 0xffffffff) * 0x10000;
    }
    return uVar1;
  }
  uVar1 = param_2 - 0xc;
  if (0xb < param_2) {
    do {
      bVar2 = 8 < uVar1;
      uVar1 = uVar1 - 9;
    } while (bVar2);
  }
                    /* WARNING: Could not recover jumptable at 0x00126e58. Too many branches */
                    /* WARNING: Treating indirect jump as call */
  uVar1 = (*(code *)(&DAT_00172970 + *(int *)(&DAT_00172994 + uVar1 * 4)))();
  return uVar1;
}


MOV R11,0xffffffffffff
MOV RAX,qword ptr [RDI]
CMP RSI,0x2
JA 0x00126df7
JC 0x00126df6
MOV RSI,qword ptr [RDI + 0x8]
MOV RDX,RAX
SHR RAX,0x30
AND RDX,R11
ADD RAX,RDX
MOV EDX,ESI
SHR RSI,0x20
ADD RAX,RSI
SHL RDX,0x10
ADD RAX,RDX
RET
MOV RCX,qword ptr [RDI + 0x8]
MOV RDX,qword ptr [RDI + 0x10]
XOR R9,R9
ADD RDI,0x18
SUB RSI,0xc
JC 0x00126e49
NOP dword ptr [RAX]
ADD RAX,qword ptr [RDI]
ADC RCX,qword ptr [RDI + 0x8]
ADC RDX,qword ptr [RDI + 0x10]
ADC R9,0x0
ADD RAX,qword ptr [RDI + 0x18]
ADC RCX,qword ptr [RDI + 0x20]
ADC RDX,qword ptr [RDI + 0x28]
ADC R9,0x0
ADD RAX,qword ptr [RDI + 0x30]
ADC RCX,qword ptr [RDI + 0x38]
ADC RDX,qword ptr [RDI + 0x40]
ADC R9,0x0
ADD RDI,0x48
SUB RSI,0x9
JNC 0x00126e10
LEA R8,[0x172970]
MOVSXD R10,dword ptr [R8 + RSI*0x4 + 0x24]
ADD R8,R10
JMP R8
(translation_unit "ulong __gmpn_mod_34lsub1(ulong *param_1,ulong param_2)\n\n{\n  ulong uVar1;\n  bool bVar2;\n  \n  uVar1 = *param_1;\n  if (param_2 < 3) {\n    if (1 < param_2) {\n      uVar1 = (uVar1 >> 0x30) + (uVar1 & 0xffffffffffff) + (param_1[1] >> 0x20) +\n              (param_1[1] & 0xffffffff) * 0x10000;\n    }\n    return uVar1;\n  }\n  uVar1 = param_2 - 0xc;\n  if (0xb < param_2) {\n    do {\n      bVar2 = 8 < uVar1;\n      uVar1 = uVar1 - 9;\n    } while (bVar2);\n  }\n                    /* WARNING: Could not recover jumptable at 0x00126e58. Too many branches */\n                    /* WARNING: Treating indirect jump as call */\n  uVar1 = (*(code *)(&DAT_00172970 + *(int *)(&DAT_00172994 + uVar1 * 4)))();\n  return uVar1;\n}\n\n" (function_definition "ulong __gmpn_mod_34lsub1(ulong *param_1,ulong param_2)\n\n{\n  ulong uVar1;\n  bool bVar2;\n  \n  uVar1 = *param_1;\n  if (param_2 < 3) {\n    if (1 < param_2) {\n      uVar1 = (uVar1 >> 0x30) + (uVar1 & 0xffffffffffff) + (param_1[1] >> 0x20) +\n              (param_1[1] & 0xffffffff) * 0x10000;\n    }\n    return uVar1;\n  }\n  uVar1 = param_2 - 0xc;\n  if (0xb < param_2) {\n    do {\n      bVar2 = 8 < uVar1;\n      uVar1 = uVar1 - 9;\n    } while (bVar2);\n  }\n                    /* WARNING: Could not recover jumptable at 0x00126e58. Too many branches */\n                    /* WARNING: Treating indirect jump as call */\n  uVar1 = (*(code *)(&DAT_00172970 + *(int *)(&DAT_00172994 + uVar1 * 4)))();\n  return uVar1;\n}" type_identifier (function_declarator "__gmpn_mod_34lsub1(ulong *param_1,ulong param_2)" identifier (parameter_list "(ulong *param_1,ulong param_2)" ( (parameter_declaration "ulong *param_1" type_identifier (pointer_declarator "*param_1" * identifier)) , (parameter_declaration "ulong param_2" type_identifier identifier) ))) (compound_statement "{\n  ulong uVar1;\n  bool bVar2;\n  \n  uVar1 = *param_1;\n  if (param_2 < 3) {\n    if (1 < param_2) {\n      uVar1 = (uVar1 >> 0x30) + (uVar1 & 0xffffffffffff) + (param_1[1] >> 0x20) +\n              (param_1[1] & 0xffffffff) * 0x10000;\n    }\n    return uVar1;\n  }\n  uVar1 = param_2 - 0xc;\n  if (0xb < param_2) {\n    do {\n      bVar2 = 8 < uVar1;\n      uVar1 = uVar1 - 9;\n    } while (bVar2);\n  }\n                    /* WARNING: Could not recover jumptable at 0x00126e58. Too many branches */\n                    /* WARNING: Treating indirect jump as call */\n  uVar1 = (*(code *)(&DAT_00172970 + *(int *)(&DAT_00172994 + uVar1 * 4)))();\n  return uVar1;\n}" { (declaration "ulong uVar1;" type_identifier identifier ;) (declaration "bool bVar2;" primitive_type identifier ;) (expression_statement "uVar1 = *param_1;" (assignment_expression "uVar1 = *param_1" identifier = (pointer_expression "*param_1" * identifier)) ;) (if_statement "if (param_2 < 3) {\n    if (1 < param_2) {\n      uVar1 = (uVar1 >> 0x30) + (uVar1 & 0xffffffffffff) + (param_1[1] >> 0x20) +\n              (param_1[1] & 0xffffffff) * 0x10000;\n    }\n    return uVar1;\n  }" if (parenthesized_expression "(param_2 < 3)" ( (binary_expression "param_2 < 3" identifier < number_literal) )) (compound_statement "{\n    if (1 < param_2) {\n      uVar1 = (uVar1 >> 0x30) + (uVar1 & 0xffffffffffff) + (param_1[1] >> 0x20) +\n              (param_1[1] & 0xffffffff) * 0x10000;\n    }\n    return uVar1;\n  }" { (if_statement "if (1 < param_2) {\n      uVar1 = (uVar1 >> 0x30) + (uVar1 & 0xffffffffffff) + (param_1[1] >> 0x20) +\n              (param_1[1] & 0xffffffff) * 0x10000;\n    }" if (parenthesized_expression "(1 < param_2)" ( (binary_expression "1 < param_2" number_literal < identifier) )) (compound_statement "{\n      uVar1 = (uVar1 >> 0x30) + (uVar1 & 0xffffffffffff) + (param_1[1] >> 0x20) +\n              (param_1[1] & 0xffffffff) * 0x10000;\n    }" { (expression_statement "uVar1 = (uVar1 >> 0x30) + (uVar1 & 0xffffffffffff) + (param_1[1] >> 0x20) +\n              (param_1[1] & 0xffffffff) * 0x10000;" (assignment_expression "uVar1 = (uVar1 >> 0x30) + (uVar1 & 0xffffffffffff) + (param_1[1] >> 0x20) +\n              (param_1[1] & 0xffffffff) * 0x10000" identifier = (binary_expression "(uVar1 >> 0x30) + (uVar1 & 0xffffffffffff) + (param_1[1] >> 0x20) +\n              (param_1[1] & 0xffffffff) * 0x10000" (binary_expression "(uVar1 >> 0x30) + (uVar1 & 0xffffffffffff) + (param_1[1] >> 0x20)" (binary_expression "(uVar1 >> 0x30) + (uVar1 & 0xffffffffffff)" (parenthesized_expression "(uVar1 >> 0x30)" ( (binary_expression "uVar1 >> 0x30" identifier >> number_literal) )) + (parenthesized_expression "(uVar1 & 0xffffffffffff)" ( (binary_expression "uVar1 & 0xffffffffffff" identifier & number_literal) ))) + (parenthesized_expression "(param_1[1] >> 0x20)" ( (binary_expression "param_1[1] >> 0x20" (subscript_expression "param_1[1]" identifier [ number_literal ]) >> number_literal) ))) + (binary_expression "(param_1[1] & 0xffffffff) * 0x10000" (parenthesized_expression "(param_1[1] & 0xffffffff)" ( (binary_expression "param_1[1] & 0xffffffff" (subscript_expression "param_1[1]" identifier [ number_literal ]) & number_literal) )) * number_literal))) ;) })) (return_statement "return uVar1;" return identifier ;) })) (expression_statement "uVar1 = param_2 - 0xc;" (assignment_expression "uVar1 = param_2 - 0xc" identifier = (binary_expression "param_2 - 0xc" identifier - number_literal)) ;) (if_statement "if (0xb < param_2) {\n    do {\n      bVar2 = 8 < uVar1;\n      uVar1 = uVar1 - 9;\n    } while (bVar2);\n  }" if (parenthesized_expression "(0xb < param_2)" ( (binary_expression "0xb < param_2" number_literal < identifier) )) (compound_statement "{\n    do {\n      bVar2 = 8 < uVar1;\n      uVar1 = uVar1 - 9;\n    } while (bVar2);\n  }" { (do_statement "do {\n      bVar2 = 8 < uVar1;\n      uVar1 = uVar1 - 9;\n    } while (bVar2);" do (compound_statement "{\n      bVar2 = 8 < uVar1;\n      uVar1 = uVar1 - 9;\n    }" { (expression_statement "bVar2 = 8 < uVar1;" (assignment_expression "bVar2 = 8 < uVar1" identifier = (binary_expression "8 < uVar1" number_literal < identifier)) ;) (expression_statement "uVar1 = uVar1 - 9;" (assignment_expression "uVar1 = uVar1 - 9" identifier = (binary_expression "uVar1 - 9" identifier - number_literal)) ;) }) while (parenthesized_expression "(bVar2)" ( identifier )) ;) })) comment comment (expression_statement "uVar1 = (*(code *)(&DAT_00172970 + *(int *)(&DAT_00172994 + uVar1 * 4)))();" (assignment_expression "uVar1 = (*(code *)(&DAT_00172970 + *(int *)(&DAT_00172994 + uVar1 * 4)))()" identifier = (call_expression "(*(code *)(&DAT_00172970 + *(int *)(&DAT_00172994 + uVar1 * 4)))()" (parenthesized_expression "(*(code *)(&DAT_00172970 + *(int *)(&DAT_00172994 + uVar1 * 4)))" ( (pointer_expression "*(code *)(&DAT_00172970 + *(int *)(&DAT_00172994 + uVar1 * 4))" * (cast_expression "(code *)(&DAT_00172970 + *(int *)(&DAT_00172994 + uVar1 * 4))" ( (type_descriptor "code *" type_identifier (abstract_pointer_declarator "*" *)) ) (parenthesized_expression "(&DAT_00172970 + *(int *)(&DAT_00172994 + uVar1 * 4))" ( (binary_expression "&DAT_00172970 + *(int *)(&DAT_00172994 + uVar1 * 4)" (pointer_expression "&DAT_00172970" & identifier) + (pointer_expression "*(int *)(&DAT_00172994 + uVar1 * 4)" * (cast_expression "(int *)(&DAT_00172994 + uVar1 * 4)" ( (type_descriptor "int *" primitive_type (abstract_pointer_declarator "*" *)) ) (parenthesized_expression "(&DAT_00172994 + uVar1 * 4)" ( (binary_expression "&DAT_00172994 + uVar1 * 4" (pointer_expression "&DAT_00172994" & identifier) + (binary_expression "uVar1 * 4" identifier * number_literal)) ))))) )))) )) (argument_list "()" ( )))) ;) (return_statement "return uVar1;" return identifier ;) })))
(translation_unit "ulong __gmpn_mod_34lsub1(ulong *param_1,ulong param_2)\n\n{\n  ulong uVar1;\n  bool bVar2;\n  \n  uVar1 = *param_1;\n  if (param_2 < 3) {\n    if (1 < param_2) {\n      uVar1 = (uVar1 >> 0x30) + (uVar1 & 0xffffffffffff) + (param_1[1] >> 0x20) +\n              (param_1[1] & 0xffffffff) * 0x10000;\n    }\n    return uVar1;\n  }\n  uVar1 = param_2 - 0xc;\n  if (0xb < param_2) {\n    do {\n      bVar2 = 8 < uVar1;\n      uVar1 = uVar1 - 9;\n    } while (bVar2);\n  }\n                    /* WARNING: Could not recover jumptable at 0x00126e58. Too many branches */\n                    /* WARNING: Treating indirect jump as call */\n  uVar1 = (*(code *)(&DAT_00172970 + *(int *)(&DAT_00172994 + uVar1 * 4)))();\n  return uVar1;\n}\n\n" (function_definition "ulong __gmpn_mod_34lsub1(ulong *param_1,ulong param_2)\n\n{\n  ulong uVar1;\n  bool bVar2;\n  \n  uVar1 = *param_1;\n  if (param_2 < 3) {\n    if (1 < param_2) {\n      uVar1 = (uVar1 >> 0x30) + (uVar1 & 0xffffffffffff) + (param_1[1] >> 0x20) +\n              (param_1[1] & 0xffffffff) * 0x10000;\n    }\n    return uVar1;\n  }\n  uVar1 = param_2 - 0xc;\n  if (0xb < param_2) {\n    do {\n      bVar2 = 8 < uVar1;\n      uVar1 = uVar1 - 9;\n    } while (bVar2);\n  }\n                    /* WARNING: Could not recover jumptable at 0x00126e58. Too many branches */\n                    /* WARNING: Treating indirect jump as call */\n  uVar1 = (*(code *)(&DAT_00172970 + *(int *)(&DAT_00172994 + uVar1 * 4)))();\n  return uVar1;\n}" type_identifier (function_declarator "__gmpn_mod_34lsub1(ulong *param_1,ulong param_2)" identifier (parameter_list "(ulong *param_1,ulong param_2)" ( (parameter_declaration "ulong *param_1" type_identifier (pointer_declarator "*param_1" * identifier)) , (parameter_declaration "ulong param_2" type_identifier identifier) ))) (compound_statement "{\n  ulong uVar1;\n  bool bVar2;\n  \n  uVar1 = *param_1;\n  if (param_2 < 3) {\n    if (1 < param_2) {\n      uVar1 = (uVar1 >> 0x30) + (uVar1 & 0xffffffffffff) + (param_1[1] >> 0x20) +\n              (param_1[1] & 0xffffffff) * 0x10000;\n    }\n    return uVar1;\n  }\n  uVar1 = param_2 - 0xc;\n  if (0xb < param_2) {\n    do {\n      bVar2 = 8 < uVar1;\n      uVar1 = uVar1 - 9;\n    } while (bVar2);\n  }\n                    /* WARNING: Could not recover jumptable at 0x00126e58. Too many branches */\n                    /* WARNING: Treating indirect jump as call */\n  uVar1 = (*(code *)(&DAT_00172970 + *(int *)(&DAT_00172994 + uVar1 * 4)))();\n  return uVar1;\n}" { (declaration "ulong uVar1;" type_identifier identifier ;) (declaration "bool bVar2;" primitive_type identifier ;) (expression_statement "uVar1 = *param_1;" (assignment_expression "uVar1 = *param_1" identifier = (pointer_expression "*param_1" * identifier)) ;) (if_statement "if (param_2 < 3) {\n    if (1 < param_2) {\n      uVar1 = (uVar1 >> 0x30) + (uVar1 & 0xffffffffffff) + (param_1[1] >> 0x20) +\n              (param_1[1] & 0xffffffff) * 0x10000;\n    }\n    return uVar1;\n  }" if (parenthesized_expression "(param_2 < 3)" ( (binary_expression "param_2 < 3" identifier < number_literal) )) (compound_statement "{\n    if (1 < param_2) {\n      uVar1 = (uVar1 >> 0x30) + (uVar1 & 0xffffffffffff) + (param_1[1] >> 0x20) +\n              (param_1[1] & 0xffffffff) * 0x10000;\n    }\n    return uVar1;\n  }" { (if_statement "if (1 < param_2) {\n      uVar1 = (uVar1 >> 0x30) + (uVar1 & 0xffffffffffff) + (param_1[1] >> 0x20) +\n              (param_1[1] & 0xffffffff) * 0x10000;\n    }" if (parenthesized_expression "(1 < param_2)" ( (binary_expression "1 < param_2" number_literal < identifier) )) (compound_statement "{\n      uVar1 = (uVar1 >> 0x30) + (uVar1 & 0xffffffffffff) + (param_1[1] >> 0x20) +\n              (param_1[1] & 0xffffffff) * 0x10000;\n    }" { (expression_statement "uVar1 = (uVar1 >> 0x30) + (uVar1 & 0xffffffffffff) + (param_1[1] >> 0x20) +\n              (param_1[1] & 0xffffffff) * 0x10000;" (assignment_expression "uVar1 = (uVar1 >> 0x30) + (uVar1 & 0xffffffffffff) + (param_1[1] >> 0x20) +\n              (param_1[1] & 0xffffffff) * 0x10000" identifier = (binary_expression "(uVar1 >> 0x30) + (uVar1 & 0xffffffffffff) + (param_1[1] >> 0x20) +\n              (param_1[1] & 0xffffffff) * 0x10000" (binary_expression "(uVar1 >> 0x30) + (uVar1 & 0xffffffffffff) + (param_1[1] >> 0x20)" (binary_expression "(uVar1 >> 0x30) + (uVar1 & 0xffffffffffff)" (parenthesized_expression "(uVar1 >> 0x30)" ( (binary_expression "uVar1 >> 0x30" identifier >> number_literal) )) + (parenthesized_expression "(uVar1 & 0xffffffffffff)" ( (binary_expression "uVar1 & 0xffffffffffff" identifier & number_literal) ))) + (parenthesized_expression "(param_1[1] >> 0x20)" ( (binary_expression "param_1[1] >> 0x20" (subscript_expression "param_1[1]" identifier [ number_literal ]) >> number_literal) ))) + (binary_expression "(param_1[1] & 0xffffffff) * 0x10000" (parenthesized_expression "(param_1[1] & 0xffffffff)" ( (binary_expression "param_1[1] & 0xffffffff" (subscript_expression "param_1[1]" identifier [ number_literal ]) & number_literal) )) * number_literal))) ;) })) (return_statement "return uVar1;" return identifier ;) })) (expression_statement "uVar1 = param_2 - 0xc;" (assignment_expression "uVar1 = param_2 - 0xc" identifier = (binary_expression "param_2 - 0xc" identifier - number_literal)) ;) (if_statement "if (0xb < param_2) {\n    do {\n      bVar2 = 8 < uVar1;\n      uVar1 = uVar1 - 9;\n    } while (bVar2);\n  }" if (parenthesized_expression "(0xb < param_2)" ( (binary_expression "0xb < param_2" number_literal < identifier) )) (compound_statement "{\n    do {\n      bVar2 = 8 < uVar1;\n      uVar1 = uVar1 - 9;\n    } while (bVar2);\n  }" { (do_statement "do {\n      bVar2 = 8 < uVar1;\n      uVar1 = uVar1 - 9;\n    } while (bVar2);" do (compound_statement "{\n      bVar2 = 8 < uVar1;\n      uVar1 = uVar1 - 9;\n    }" { (expression_statement "bVar2 = 8 < uVar1;" (assignment_expression "bVar2 = 8 < uVar1" identifier = (binary_expression "8 < uVar1" number_literal < identifier)) ;) (expression_statement "uVar1 = uVar1 - 9;" (assignment_expression "uVar1 = uVar1 - 9" identifier = (binary_expression "uVar1 - 9" identifier - number_literal)) ;) }) while (parenthesized_expression "(bVar2)" ( identifier )) ;) })) comment comment (expression_statement "uVar1 = (*(code *)(&DAT_00172970 + *(int *)(&DAT_00172994 + uVar1 * 4)))();" (assignment_expression "uVar1 = (*(code *)(&DAT_00172970 + *(int *)(&DAT_00172994 + uVar1 * 4)))()" identifier = (call_expression "(*(code *)(&DAT_00172970 + *(int *)(&DAT_00172994 + uVar1 * 4)))()" (parenthesized_expression "(*(code *)(&DAT_00172970 + *(int *)(&DAT_00172994 + uVar1 * 4)))" ( (pointer_expression "*(code *)(&DAT_00172970 + *(int *)(&DAT_00172994 + uVar1 * 4))" * (cast_expression "(code *)(&DAT_00172970 + *(int *)(&DAT_00172994 + uVar1 * 4))" ( (type_descriptor "code *" type_identifier (abstract_pointer_declarator "*" *)) ) (parenthesized_expression "(&DAT_00172970 + *(int *)(&DAT_00172994 + uVar1 * 4))" ( (binary_expression "&DAT_00172970 + *(int *)(&DAT_00172994 + uVar1 * 4)" (pointer_expression "&DAT_00172970" & identifier) + (pointer_expression "*(int *)(&DAT_00172994 + uVar1 * 4)" * (cast_expression "(int *)(&DAT_00172994 + uVar1 * 4)" ( (type_descriptor "int *" primitive_type (abstract_pointer_declarator "*" *)) ) (parenthesized_expression "(&DAT_00172994 + uVar1 * 4)" ( (binary_expression "&DAT_00172994 + uVar1 * 4" (pointer_expression "&DAT_00172994" & identifier) + (binary_expression "uVar1 * 4" identifier * number_literal)) ))))) )))) )) (argument_list "()" ( )))) ;) (return_statement "return uVar1;" return identifier ;) })))
(translation_unit "ulong __gmpn_mod_34lsub1(ulong *param_1,ulong param_2)\n\n{\n  ulong uVar1;\n  bool bVar2;\n  \n  uVar1 = *param_1;\n  if (param_2 < 3) {\n    if (1 < param_2) {\n      uVar1 = (uVar1 >> 0x30) + (uVar1 & 0xffffffffffff) + (param_1[1] >> 0x20) +\n              (param_1[1] & 0xffffffff) * 0x10000;\n    }\n    return uVar1;\n  }\n  uVar1 = param_2 - 0xc;\n  if (0xb < param_2) {\n    do {\n      bVar2 = 8 < uVar1;\n      uVar1 = uVar1 - 9;\n    } while (bVar2);\n  }\n                    \n                    \n  uVar1 = (*(code *)(&DAT_00172970 + *(int *)(&DAT_00172994 + uVar1 * 4)))();\n  return uVar1;\n}\n\n" (function_definition "ulong __gmpn_mod_34lsub1(ulong *param_1,ulong param_2)\n\n{\n  ulong uVar1;\n  bool bVar2;\n  \n  uVar1 = *param_1;\n  if (param_2 < 3) {\n    if (1 < param_2) {\n      uVar1 = (uVar1 >> 0x30) + (uVar1 & 0xffffffffffff) + (param_1[1] >> 0x20) +\n              (param_1[1] & 0xffffffff) * 0x10000;\n    }\n    return uVar1;\n  }\n  uVar1 = param_2 - 0xc;\n  if (0xb < param_2) {\n    do {\n      bVar2 = 8 < uVar1;\n      uVar1 = uVar1 - 9;\n    } while (bVar2);\n  }\n                    \n                    \n  uVar1 = (*(code *)(&DAT_00172970 + *(int *)(&DAT_00172994 + uVar1 * 4)))();\n  return uVar1;\n}" type_identifier (function_declarator "__gmpn_mod_34lsub1(ulong *param_1,ulong param_2)" identifier (parameter_list "(ulong *param_1,ulong param_2)" ( (parameter_declaration "ulong *param_1" type_identifier (pointer_declarator "*param_1" * identifier)) , (parameter_declaration "ulong param_2" type_identifier identifier) ))) (compound_statement "{\n  ulong uVar1;\n  bool bVar2;\n  \n  uVar1 = *param_1;\n  if (param_2 < 3) {\n    if (1 < param_2) {\n      uVar1 = (uVar1 >> 0x30) + (uVar1 & 0xffffffffffff) + (param_1[1] >> 0x20) +\n              (param_1[1] & 0xffffffff) * 0x10000;\n    }\n    return uVar1;\n  }\n  uVar1 = param_2 - 0xc;\n  if (0xb < param_2) {\n    do {\n      bVar2 = 8 < uVar1;\n      uVar1 = uVar1 - 9;\n    } while (bVar2);\n  }\n                    \n                    \n  uVar1 = (*(code *)(&DAT_00172970 + *(int *)(&DAT_00172994 + uVar1 * 4)))();\n  return uVar1;\n}" { (declaration "ulong uVar1;" type_identifier identifier ;) (declaration "bool bVar2;" primitive_type identifier ;) (expression_statement "uVar1 = *param_1;" (assignment_expression "uVar1 = *param_1" identifier = (pointer_expression "*param_1" * identifier)) ;) (if_statement "if (param_2 < 3) {\n    if (1 < param_2) {\n      uVar1 = (uVar1 >> 0x30) + (uVar1 & 0xffffffffffff) + (param_1[1] >> 0x20) +\n              (param_1[1] & 0xffffffff) * 0x10000;\n    }\n    return uVar1;\n  }" if (parenthesized_expression "(param_2 < 3)" ( (binary_expression "param_2 < 3" identifier < number_literal) )) (compound_statement "{\n    if (1 < param_2) {\n      uVar1 = (uVar1 >> 0x30) + (uVar1 & 0xffffffffffff) + (param_1[1] >> 0x20) +\n              (param_1[1] & 0xffffffff) * 0x10000;\n    }\n    return uVar1;\n  }" { (if_statement "if (1 < param_2) {\n      uVar1 = (uVar1 >> 0x30) + (uVar1 & 0xffffffffffff) + (param_1[1] >> 0x20) +\n              (param_1[1] & 0xffffffff) * 0x10000;\n    }" if (parenthesized_expression "(1 < param_2)" ( (binary_expression "1 < param_2" number_literal < identifier) )) (compound_statement "{\n      uVar1 = (uVar1 >> 0x30) + (uVar1 & 0xffffffffffff) + (param_1[1] >> 0x20) +\n              (param_1[1] & 0xffffffff) * 0x10000;\n    }" { (expression_statement "uVar1 = (uVar1 >> 0x30) + (uVar1 & 0xffffffffffff) + (param_1[1] >> 0x20) +\n              (param_1[1] & 0xffffffff) * 0x10000;" (assignment_expression "uVar1 = (uVar1 >> 0x30) + (uVar1 & 0xffffffffffff) + (param_1[1] >> 0x20) +\n              (param_1[1] & 0xffffffff) * 0x10000" identifier = (binary_expression "(uVar1 >> 0x30) + (uVar1 & 0xffffffffffff) + (param_1[1] >> 0x20) +\n              (param_1[1] & 0xffffffff) * 0x10000" (binary_expression "(uVar1 >> 0x30) + (uVar1 & 0xffffffffffff) + (param_1[1] >> 0x20)" (binary_expression "(uVar1 >> 0x30) + (uVar1 & 0xffffffffffff)" (parenthesized_expression "(uVar1 >> 0x30)" ( (binary_expression "uVar1 >> 0x30" identifier >> number_literal) )) + (parenthesized_expression "(uVar1 & 0xffffffffffff)" ( (binary_expression "uVar1 & 0xffffffffffff" identifier & number_literal) ))) + (parenthesized_expression "(param_1[1] >> 0x20)" ( (binary_expression "param_1[1] >> 0x20" (subscript_expression "param_1[1]" identifier [ number_literal ]) >> number_literal) ))) + (binary_expression "(param_1[1] & 0xffffffff) * 0x10000" (parenthesized_expression "(param_1[1] & 0xffffffff)" ( (binary_expression "param_1[1] & 0xffffffff" (subscript_expression "param_1[1]" identifier [ number_literal ]) & number_literal) )) * number_literal))) ;) })) (return_statement "return uVar1;" return identifier ;) })) (expression_statement "uVar1 = param_2 - 0xc;" (assignment_expression "uVar1 = param_2 - 0xc" identifier = (binary_expression "param_2 - 0xc" identifier - number_literal)) ;) (if_statement "if (0xb < param_2) {\n    do {\n      bVar2 = 8 < uVar1;\n      uVar1 = uVar1 - 9;\n    } while (bVar2);\n  }" if (parenthesized_expression "(0xb < param_2)" ( (binary_expression "0xb < param_2" number_literal < identifier) )) (compound_statement "{\n    do {\n      bVar2 = 8 < uVar1;\n      uVar1 = uVar1 - 9;\n    } while (bVar2);\n  }" { (do_statement "do {\n      bVar2 = 8 < uVar1;\n      uVar1 = uVar1 - 9;\n    } while (bVar2);" do (compound_statement "{\n      bVar2 = 8 < uVar1;\n      uVar1 = uVar1 - 9;\n    }" { (expression_statement "bVar2 = 8 < uVar1;" (assignment_expression "bVar2 = 8 < uVar1" identifier = (binary_expression "8 < uVar1" number_literal < identifier)) ;) (expression_statement "uVar1 = uVar1 - 9;" (assignment_expression "uVar1 = uVar1 - 9" identifier = (binary_expression "uVar1 - 9" identifier - number_literal)) ;) }) while (parenthesized_expression "(bVar2)" ( identifier )) ;) })) (expression_statement "uVar1 = (*(code *)(&DAT_00172970 + *(int *)(&DAT_00172994 + uVar1 * 4)))();" (assignment_expression "uVar1 = (*(code *)(&DAT_00172970 + *(int *)(&DAT_00172994 + uVar1 * 4)))()" identifier = (call_expression "(*(code *)(&DAT_00172970 + *(int *)(&DAT_00172994 + uVar1 * 4)))()" (parenthesized_expression "(*(code *)(&DAT_00172970 + *(int *)(&DAT_00172994 + uVar1 * 4)))" ( (pointer_expression "*(code *)(&DAT_00172970 + *(int *)(&DAT_00172994 + uVar1 * 4))" * (cast_expression "(code *)(&DAT_00172970 + *(int *)(&DAT_00172994 + uVar1 * 4))" ( (type_descriptor "code *" type_identifier (abstract_pointer_declarator "*" *)) ) (parenthesized_expression "(&DAT_00172970 + *(int *)(&DAT_00172994 + uVar1 * 4))" ( (binary_expression "&DAT_00172970 + *(int *)(&DAT_00172994 + uVar1 * 4)" (pointer_expression "&DAT_00172970" & identifier) + (pointer_expression "*(int *)(&DAT_00172994 + uVar1 * 4)" * (cast_expression "(int *)(&DAT_00172994 + uVar1 * 4)" ( (type_descriptor "int *" primitive_type (abstract_pointer_declarator "*" *)) ) (parenthesized_expression "(&DAT_00172994 + uVar1 * 4)" ( (binary_expression "&DAT_00172994 + uVar1 * 4" (pointer_expression "&DAT_00172994" & identifier) + (binary_expression "uVar1 * 4" identifier * number_literal)) ))))) )))) )) (argument_list "()" ( )))) ;) (return_statement "return uVar1;" return identifier ;) })))
(translation_unit (function_definition TYPE (function_declarator IDENT (parameter_list ( (parameter_declaration TYPE (pointer_declarator * IDENT)) , (parameter_declaration TYPE IDENT) ))) (compound_statement { (declaration TYPE IDENT ;) (declaration TYPE IDENT ;) (expression_statement (assignment_expression IDENT = (pointer_expression * IDENT)) ;) (if_statement if (parenthesized_expression ( (binary_expression IDENT < LIT) )) (compound_statement { (if_statement if (parenthesized_expression ( (binary_expression LIT < IDENT) )) (compound_statement { (expression_statement (assignment_expression IDENT = (binary_expression (binary_expression (binary_expression (parenthesized_expression ( (binary_expression IDENT >> LIT) )) + (parenthesized_expression ( (binary_expression IDENT & LIT) ))) + (parenthesized_expression ( (binary_expression (subscript_expression IDENT [ LIT ]) >> LIT) ))) + (binary_expression (parenthesized_expression ( (binary_expression (subscript_expression IDENT [ LIT ]) & LIT) )) * LIT))) ;) })) (return_statement return IDENT ;) })) (expression_statement (assignment_expression IDENT = (binary_expression IDENT - LIT)) ;) (if_statement if (parenthesized_expression ( (binary_expression LIT < IDENT) )) (compound_statement { (do_statement do (compound_statement { (expression_statement (assignment_expression IDENT = (binary_expression LIT < IDENT)) ;) (expression_statement (assignment_expression IDENT = (binary_expression IDENT - LIT)) ;) }) while (parenthesized_expression ( IDENT )) ;) })) (expression_statement (assignment_expression IDENT = (call_expression (parenthesized_expression ( (pointer_expression * (cast_expression ( (type_descriptor TYPE (abstract_pointer_declarator *)) ) (parenthesized_expression ( (binary_expression (pointer_expression & IDENT) + (pointer_expression * (cast_expression ( (type_descriptor TYPE (abstract_pointer_declarator *)) ) (parenthesized_expression ( (binary_expression (pointer_expression & IDENT) + (binary_expression IDENT * LIT)) ))))) )))) )) (argument_list ( )))) ;) (return_statement return IDENT ;) })))
(function_definition "ulong __gmpn_mod_34lsub1(ulong *param_1,ulong param_2)\n\n{\n  ulong uVar1;\n  bool bVar2;\n  \n  uVar1 = *param_1;\n  if (param_2 < 3) {\n    if (1 < param_2) {\n      uVar1 = (uVar1 >> 0x30) + (uVar1 & 0xffffffffffff) + (param_1[1] >> 0x20) +\n              (param_1[1] & 0xffffffff) * 0x10000;\n    }\n    return uVar1;\n  }\n  uVar1 = param_2 - 0xc;\n  if (0xb < param_2) {\n    do {\n      bVar2 = 8 < uVar1;\n      uVar1 = uVar1 - 9;\n    } while (bVar2);\n  }\n                    \n                    \n  uVar1 = (*(code *)(&DAT_00172970 + *(int *)(&DAT_00172994 + uVar1 * 4)))();\n  return uVar1;\n}" (type_identifier "ulong") (function_declarator "__gmpn_mod_34lsub1(ulong *param_1,ulong param_2)" (identifier "__gmpn_mod_34lsub1") (parameter_list "(ulong *param_1,ulong param_2)" (( "(") (parameter_declaration "ulong *param_1" (type_identifier "ulong") (pointer_declarator "*param_1" (* "*") (identifier "param_1"))) (, ",") (parameter_declaration "ulong param_2" (type_identifier "ulong") (identifier "param_2")) () ")"))) (compound_statement "{\n  ulong uVar1;\n  bool bVar2;\n  \n  uVar1 = *param_1;\n  if (param_2 < 3) {\n    if (1 < param_2) {\n      uVar1 = (uVar1 >> 0x30) + (uVar1 & 0xffffffffffff) + (param_1[1] >> 0x20) +\n              (param_1[1] & 0xffffffff) * 0x10000;\n    }\n    return uVar1;\n  }\n  uVar1 = param_2 - 0xc;\n  if (0xb < param_2) {\n    do {\n      bVar2 = 8 < uVar1;\n      uVar1 = uVar1 - 9;\n    } while (bVar2);\n  }\n                    \n                    \n  uVar1 = (*(code *)(&DAT_00172970 + *(int *)(&DAT_00172994 + uVar1 * 4)))();\n  return uVar1;\n}" ({ "{") (declaration "ulong uVar1;" (type_identifier "ulong") (identifier "uVar1") (; ";")) (declaration "bool bVar2;" (primitive_type "bool") (identifier "bVar2") (; ";")) (expression_statement "uVar1 = *param_1;" (assignment_expression "uVar1 = *param_1" (identifier "uVar1") (= "=") (pointer_expression "*param_1" (* "*") (identifier "param_1"))) (; ";")) (if_statement "if (param_2 < 3) {\n    if (1 < param_2) {\n      uVar1 = (uVar1 >> 0x30) + (uVar1 & 0xffffffffffff) + (param_1[1] >> 0x20) +\n              (param_1[1] & 0xffffffff) * 0x10000;\n    }\n    return uVar1;\n  }" (if "if") (parenthesized_expression "(param_2 < 3)" (( "(") (binary_expression "param_2 < 3" (identifier "param_2") (< "<") (number_literal "3")) () ")")) (compound_statement "{\n    if (1 < param_2) {\n      uVar1 = (uVar1 >> 0x30) + (uVar1 & 0xffffffffffff) + (param_1[1] >> 0x20) +\n              (param_1[1] & 0xffffffff) * 0x10000;\n    }\n    return uVar1;\n  }" ({ "{") (if_statement "if (1 < param_2) {\n      uVar1 = (uVar1 >> 0x30) + (uVar1 & 0xffffffffffff) + (param_1[1] >> 0x20) +\n              (param_1[1] & 0xffffffff) * 0x10000;\n    }" (if "if") (parenthesized_expression "(1 < param_2)" (( "(") (binary_expression "1 < param_2" (number_literal "1") (< "<") (identifier "param_2")) () ")")) (compound_statement "{\n      uVar1 = (uVar1 >> 0x30) + (uVar1 & 0xffffffffffff) + (param_1[1] >> 0x20) +\n              (param_1[1] & 0xffffffff) * 0x10000;\n    }" ({ "{") (expression_statement "uVar1 = (uVar1 >> 0x30) + (uVar1 & 0xffffffffffff) + (param_1[1] >> 0x20) +\n              (param_1[1] & 0xffffffff) * 0x10000;" (assignment_expression "uVar1 = (uVar1 >> 0x30) + (uVar1 & 0xffffffffffff) + (param_1[1] >> 0x20) +\n              (param_1[1] & 0xffffffff) * 0x10000" (identifier "uVar1") (= "=") (binary_expression "(uVar1 >> 0x30) + (uVar1 & 0xffffffffffff) + (param_1[1] >> 0x20) +\n              (param_1[1] & 0xffffffff) * 0x10000" (binary_expression "(uVar1 >> 0x30) + (uVar1 & 0xffffffffffff) + (param_1[1] >> 0x20)" (binary_expression "(uVar1 >> 0x30) + (uVar1 & 0xffffffffffff)" (parenthesized_expression "(uVar1 >> 0x30)" (( "(") (binary_expression "uVar1 >> 0x30" (identifier "uVar1") (>> ">>") (number_literal "0x30")) () ")")) (+ "+") (parenthesized_expression "(uVar1 & 0xffffffffffff)" (( "(") (binary_expression "uVar1 & 0xffffffffffff" (identifier "uVar1") (& "&") (number_literal "0xffffffffffff")) () ")"))) (+ "+") (parenthesized_expression "(param_1[1] >> 0x20)" (( "(") (binary_expression "param_1[1] >> 0x20" (subscript_expression "param_1[1]" (identifier "param_1") ([ "[") (number_literal "1") (] "]")) (>> ">>") (number_literal "0x20")) () ")"))) (+ "+") (binary_expression "(param_1[1] & 0xffffffff) * 0x10000" (parenthesized_expression "(param_1[1] & 0xffffffff)" (( "(") (binary_expression "param_1[1] & 0xffffffff" (subscript_expression "param_1[1]" (identifier "param_1") ([ "[") (number_literal "1") (] "]")) (& "&") (number_literal "0xffffffff")) () ")")) (* "*") (number_literal "0x10000")))) (; ";")) (} "}"))) (return_statement "return uVar1;" (return "return") (identifier "uVar1") (; ";")) (} "}"))) (expression_statement "uVar1 = param_2 - 0xc;" (assignment_expression "uVar1 = param_2 - 0xc" (identifier "uVar1") (= "=") (binary_expression "param_2 - 0xc" (identifier "param_2") (- "-") (number_literal "0xc"))) (; ";")) (if_statement "if (0xb < param_2) {\n    do {\n      bVar2 = 8 < uVar1;\n      uVar1 = uVar1 - 9;\n    } while (bVar2);\n  }" (if "if") (parenthesized_expression "(0xb < param_2)" (( "(") (binary_expression "0xb < param_2" (number_literal "0xb") (< "<") (identifier "param_2")) () ")")) (compound_statement "{\n    do {\n      bVar2 = 8 < uVar1;\n      uVar1 = uVar1 - 9;\n    } while (bVar2);\n  }" ({ "{") (do_statement "do {\n      bVar2 = 8 < uVar1;\n      uVar1 = uVar1 - 9;\n    } while (bVar2);" (do "do") (compound_statement "{\n      bVar2 = 8 < uVar1;\n      uVar1 = uVar1 - 9;\n    }" ({ "{") (expression_statement "bVar2 = 8 < uVar1;" (assignment_expression "bVar2 = 8 < uVar1" (identifier "bVar2") (= "=") (binary_expression "8 < uVar1" (number_literal "8") (< "<") (identifier "uVar1"))) (; ";")) (expression_statement "uVar1 = uVar1 - 9;" (assignment_expression "uVar1 = uVar1 - 9" (identifier "uVar1") (= "=") (binary_expression "uVar1 - 9" (identifier "uVar1") (- "-") (number_literal "9"))) (; ";")) (} "}")) (while "while") (parenthesized_expression "(bVar2)" (( "(") (identifier "bVar2") () ")")) (; ";")) (} "}"))) (expression_statement "uVar1 = (*(code *)(&DAT_00172970 + *(int *)(&DAT_00172994 + uVar1 * 4)))();" (assignment_expression "uVar1 = (*(code *)(&DAT_00172970 + *(int *)(&DAT_00172994 + uVar1 * 4)))()" (identifier "uVar1") (= "=") (call_expression "(*(code *)(&DAT_00172970 + *(int *)(&DAT_00172994 + uVar1 * 4)))()" (parenthesized_expression "(*(code *)(&DAT_00172970 + *(int *)(&DAT_00172994 + uVar1 * 4)))" (( "(") (pointer_expression "*(code *)(&DAT_00172970 + *(int *)(&DAT_00172994 + uVar1 * 4))" (* "*") (cast_expression "(code *)(&DAT_00172970 + *(int *)(&DAT_00172994 + uVar1 * 4))" (( "(") (type_descriptor "code *" (type_identifier "code") (abstract_pointer_declarator "*" (* "*"))) () ")") (parenthesized_expression "(&DAT_00172970 + *(int *)(&DAT_00172994 + uVar1 * 4))" (( "(") (binary_expression "&DAT_00172970 + *(int *)(&DAT_00172994 + uVar1 * 4)" (pointer_expression "&DAT_00172970" (& "&") (identifier "DAT_00172970")) (+ "+") (pointer_expression "*(int *)(&DAT_00172994 + uVar1 * 4)" (* "*") (cast_expression "(int *)(&DAT_00172994 + uVar1 * 4)" (( "(") (type_descriptor "int *" (primitive_type "int") (abstract_pointer_declarator "*" (* "*"))) () ")") (parenthesized_expression "(&DAT_00172994 + uVar1 * 4)" (( "(") (binary_expression "&DAT_00172994 + uVar1 * 4" (pointer_expression "&DAT_00172994" (& "&") (identifier "DAT_00172994")) (+ "+") (binary_expression "uVar1 * 4" (identifier "uVar1") (* "*") (number_literal "4"))) () ")"))))) () ")")))) () ")")) (argument_list "()" (( "(") () ")")))) (; ";")) (return_statement "return uVar1;" (return "return") (identifier "uVar1") (; ";")) (} "}")))

type_1 function_1(type_1 *param_1,type_1 var_1)

{
  type_1 var_2;
  bool bVar2;
  
  var_2 = *param_1;
  if (var_1 < 3) {
    if (1 < var_1) {
      var_2 = (var_2 >> 0x30) + (var_2 & 0xffffffffffff) + (param_1[1] >> 0x20) +
              (param_1[1] & 0xffffffff) * 0x10000;
    }
    return var_2;
  }
  var_2 = var_1 - 0xc;
  if (0xb < var_1) {
    do {
      bVar2 = 8 < var_2;
      var_2 = var_2 - 9;
    } while (bVar2);
  }
                    /* WARNING: Could not recover jumptable at 0x00126e58. Too many branches */
                    /* WARNING: Treating indirect jump as call */
  var_2 = (*(type_2 *)(&DAT_00172970 + *(int *)(&DAT_00172994 + var_2 * 4)))();
  return var_2;
}


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

ulong MASKED(ulong *param_1,ulong param_2)

{
  ulong uVar1;
  bool bVar2;
  
  uVar1 = *param_1;
  if (param_2 < 3) {
    if (1 < param_2) {
      uVar1 = (uVar1 >> 0x30) + (uVar1 & 0xffffffffffff) + (param_1[1] >> 0x20) +
              (param_1[1] & 0xffffffff) * 0x10000;
    }
    return uVar1;
  }
  uVar1 = param_2 - 0xc;
  if (0xb < param_2) {
    do {
      bVar2 = 8 < uVar1;
      uVar1 = uVar1 - 9;
    } while (bVar2);
  }
                    /* WARNING: Could not recover jumptable at 0x00126e58. Too many branches */
                    /* WARNING: Treating indirect jump as call */
  uVar1 = (*(code *)(&DAT_00172970 + *(int *)(&DAT_00172994 + uVar1 * 4)))();
  return uVar1;
}

