
int __gmpn_modexact_1c_odd_pentium(uint *param_1,uint param_2,uint param_3,uint param_4)

{
  uint uVar1;
  uint uVar2;
  int iVar3;
  uint uVar4;
  bool bVar5;
  
  iVar3 = CONCAT31((int3)((uint)PTR___gmp_binvert_limb_table_00098ec8 >> 8),
                   PTR___gmp_binvert_limb_table_00098ec8[param_3 >> 1 & 0x7f]);
  if (param_2 < 2) {
    return (int)(CONCAT44(-(uint)(param_4 < *param_1) & param_3 - 1,param_4 - *param_1) %
                (ulonglong)param_3);
  }
  iVar3 = iVar3 * 2 - iVar3 * iVar3 * param_3;
  iVar3 = iVar3 * 2 - iVar3 * iVar3 * param_3;
  uVar2 = *param_1;
  uVar4 = param_2 - 2 ^ 0xffffffff;
  while( true ) {
    bVar5 = uVar2 < param_4;
    uVar1 = (uVar2 - param_4) * iVar3;
    uVar4 = uVar4 + 1;
    if (uVar4 == 0) break;
    uVar2 = (param_1 + (param_2 - 1))[uVar4];
    param_4 = (int)((ulonglong)uVar1 * (ulonglong)param_3 >> 0x20) + (uint)bVar5;
  }
  uVar2 = param_1[param_2 - 1];
  uVar4 = (int)((ulonglong)uVar1 * (ulonglong)param_3 >> 0x20) + (uint)bVar5;
  if (param_3 < uVar2) {
    return (int)((ulonglong)((uVar2 - uVar4) * iVar3) * (ulonglong)param_3 >> 0x20) +
           (uint)(uVar2 < uVar4);
  }
  return (-(uint)(uVar4 < uVar2) & param_3) + (uVar4 - uVar2);
}



int __gmpn_modexact_1c_odd_pentium(uint *param_1,uint param_2,uint param_3,uint param_4)

{
  uint uVar1;
  uint uVar2;
  int iVar3;
  uint uVar4;
  bool bVar5;
  
  iVar3 = CONCAT31((int3)((uint)PTR___gmp_binvert_limb_table_00098ec8 >> 8),
                   PTR___gmp_binvert_limb_table_00098ec8[param_3 >> 1 & 0x7f]);
  if (param_2 < 2) {
    return (int)(CONCAT44(-(uint)(param_4 < *param_1) & param_3 - 1,param_4 - *param_1) %
                (ulonglong)param_3);
  }
  iVar3 = iVar3 * 2 - iVar3 * iVar3 * param_3;
  iVar3 = iVar3 * 2 - iVar3 * iVar3 * param_3;
  uVar2 = *param_1;
  uVar4 = param_2 - 2 ^ 0xffffffff;
  while( true ) {
    bVar5 = uVar2 < param_4;
    uVar1 = (uVar2 - param_4) * iVar3;
    uVar4 = uVar4 + 1;
    if (uVar4 == 0) break;
    uVar2 = (param_1 + (param_2 - 1))[uVar4];
    param_4 = (int)((ulonglong)uVar1 * (ulonglong)param_3 >> 0x20) + (uint)bVar5;
  }
  uVar2 = param_1[param_2 - 1];
  uVar4 = (int)((ulonglong)uVar1 * (ulonglong)param_3 >> 0x20) + (uint)bVar5;
  if (param_3 < uVar2) {
    return (int)((ulonglong)((uVar2 - uVar4) * iVar3) * (ulonglong)param_3 >> 0x20) +
           (uint)(uVar2 < uVar4);
  }
  return (-(uint)(uVar4 < uVar2) & param_3) + (uVar4 - uVar2);
}


MOV EAX,dword ptr [ESP + 0xc]
MOV EDX,dword ptr [ESP + 0x10]
JMP 0x0003be06
(translation_unit "int __gmpn_modexact_1c_odd_pentium(uint *param_1,uint param_2,uint param_3,uint param_4)\n\n{\n  uint uVar1;\n  uint uVar2;\n  int iVar3;\n  uint uVar4;\n  bool bVar5;\n  \n  iVar3 = CONCAT31((int3)((uint)PTR___gmp_binvert_limb_table_00098ec8 >> 8),\n                   PTR___gmp_binvert_limb_table_00098ec8[param_3 >> 1 & 0x7f]);\n  if (param_2 < 2) {\n    return (int)(CONCAT44(-(uint)(param_4 < *param_1) & param_3 - 1,param_4 - *param_1) %\n                (ulonglong)param_3);\n  }\n  iVar3 = iVar3 * 2 - iVar3 * iVar3 * param_3;\n  iVar3 = iVar3 * 2 - iVar3 * iVar3 * param_3;\n  uVar2 = *param_1;\n  uVar4 = param_2 - 2 ^ 0xffffffff;\n  while( true ) {\n    bVar5 = uVar2 < param_4;\n    uVar1 = (uVar2 - param_4) * iVar3;\n    uVar4 = uVar4 + 1;\n    if (uVar4 == 0) break;\n    uVar2 = (param_1 + (param_2 - 1))[uVar4];\n    param_4 = (int)((ulonglong)uVar1 * (ulonglong)param_3 >> 0x20) + (uint)bVar5;\n  }\n  uVar2 = param_1[param_2 - 1];\n  uVar4 = (int)((ulonglong)uVar1 * (ulonglong)param_3 >> 0x20) + (uint)bVar5;\n  if (param_3 < uVar2) {\n    return (int)((ulonglong)((uVar2 - uVar4) * iVar3) * (ulonglong)param_3 >> 0x20) +\n           (uint)(uVar2 < uVar4);\n  }\n  return (-(uint)(uVar4 < uVar2) & param_3) + (uVar4 - uVar2);\n}\n\n" (function_definition "int __gmpn_modexact_1c_odd_pentium(uint *param_1,uint param_2,uint param_3,uint param_4)\n\n{\n  uint uVar1;\n  uint uVar2;\n  int iVar3;\n  uint uVar4;\n  bool bVar5;\n  \n  iVar3 = CONCAT31((int3)((uint)PTR___gmp_binvert_limb_table_00098ec8 >> 8),\n                   PTR___gmp_binvert_limb_table_00098ec8[param_3 >> 1 & 0x7f]);\n  if (param_2 < 2) {\n    return (int)(CONCAT44(-(uint)(param_4 < *param_1) & param_3 - 1,param_4 - *param_1) %\n                (ulonglong)param_3);\n  }\n  iVar3 = iVar3 * 2 - iVar3 * iVar3 * param_3;\n  iVar3 = iVar3 * 2 - iVar3 * iVar3 * param_3;\n  uVar2 = *param_1;\n  uVar4 = param_2 - 2 ^ 0xffffffff;\n  while( true ) {\n    bVar5 = uVar2 < param_4;\n    uVar1 = (uVar2 - param_4) * iVar3;\n    uVar4 = uVar4 + 1;\n    if (uVar4 == 0) break;\n    uVar2 = (param_1 + (param_2 - 1))[uVar4];\n    param_4 = (int)((ulonglong)uVar1 * (ulonglong)param_3 >> 0x20) + (uint)bVar5;\n  }\n  uVar2 = param_1[param_2 - 1];\n  uVar4 = (int)((ulonglong)uVar1 * (ulonglong)param_3 >> 0x20) + (uint)bVar5;\n  if (param_3 < uVar2) {\n    return (int)((ulonglong)((uVar2 - uVar4) * iVar3) * (ulonglong)param_3 >> 0x20) +\n           (uint)(uVar2 < uVar4);\n  }\n  return (-(uint)(uVar4 < uVar2) & param_3) + (uVar4 - uVar2);\n}" primitive_type (function_declarator "__gmpn_modexact_1c_odd_pentium(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 identifier) , (parameter_declaration "uint param_3" type_identifier identifier) , (parameter_declaration "uint param_4" type_identifier identifier) ))) (compound_statement "{\n  uint uVar1;\n  uint uVar2;\n  int iVar3;\n  uint uVar4;\n  bool bVar5;\n  \n  iVar3 = CONCAT31((int3)((uint)PTR___gmp_binvert_limb_table_00098ec8 >> 8),\n                   PTR___gmp_binvert_limb_table_00098ec8[param_3 >> 1 & 0x7f]);\n  if (param_2 < 2) {\n    return (int)(CONCAT44(-(uint)(param_4 < *param_1) & param_3 - 1,param_4 - *param_1) %\n                (ulonglong)param_3);\n  }\n  iVar3 = iVar3 * 2 - iVar3 * iVar3 * param_3;\n  iVar3 = iVar3 * 2 - iVar3 * iVar3 * param_3;\n  uVar2 = *param_1;\n  uVar4 = param_2 - 2 ^ 0xffffffff;\n  while( true ) {\n    bVar5 = uVar2 < param_4;\n    uVar1 = (uVar2 - param_4) * iVar3;\n    uVar4 = uVar4 + 1;\n    if (uVar4 == 0) break;\n    uVar2 = (param_1 + (param_2 - 1))[uVar4];\n    param_4 = (int)((ulonglong)uVar1 * (ulonglong)param_3 >> 0x20) + (uint)bVar5;\n  }\n  uVar2 = param_1[param_2 - 1];\n  uVar4 = (int)((ulonglong)uVar1 * (ulonglong)param_3 >> 0x20) + (uint)bVar5;\n  if (param_3 < uVar2) {\n    return (int)((ulonglong)((uVar2 - uVar4) * iVar3) * (ulonglong)param_3 >> 0x20) +\n           (uint)(uVar2 < uVar4);\n  }\n  return (-(uint)(uVar4 < uVar2) & param_3) + (uVar4 - uVar2);\n}" { (declaration "uint uVar1;" type_identifier identifier ;) (declaration "uint uVar2;" type_identifier identifier ;) (declaration "int iVar3;" primitive_type identifier ;) (declaration "uint uVar4;" type_identifier identifier ;) (declaration "bool bVar5;" primitive_type identifier ;) (expression_statement "iVar3 = CONCAT31((int3)((uint)PTR___gmp_binvert_limb_table_00098ec8 >> 8),\n                   PTR___gmp_binvert_limb_table_00098ec8[param_3 >> 1 & 0x7f]);" (assignment_expression "iVar3 = CONCAT31((int3)((uint)PTR___gmp_binvert_limb_table_00098ec8 >> 8),\n                   PTR___gmp_binvert_limb_table_00098ec8[param_3 >> 1 & 0x7f])" identifier = (call_expression "CONCAT31((int3)((uint)PTR___gmp_binvert_limb_table_00098ec8 >> 8),\n                   PTR___gmp_binvert_limb_table_00098ec8[param_3 >> 1 & 0x7f])" identifier (argument_list "((int3)((uint)PTR___gmp_binvert_limb_table_00098ec8 >> 8),\n                   PTR___gmp_binvert_limb_table_00098ec8[param_3 >> 1 & 0x7f])" ( (call_expression "(int3)((uint)PTR___gmp_binvert_limb_table_00098ec8 >> 8)" (parenthesized_expression "(int3)" ( identifier )) (argument_list "((uint)PTR___gmp_binvert_limb_table_00098ec8 >> 8)" ( (binary_expression "(uint)PTR___gmp_binvert_limb_table_00098ec8 >> 8" (cast_expression "(uint)PTR___gmp_binvert_limb_table_00098ec8" ( (type_descriptor "uint" type_identifier) ) identifier) >> number_literal) ))) , (subscript_expression "PTR___gmp_binvert_limb_table_00098ec8[param_3 >> 1 & 0x7f]" identifier [ (binary_expression "param_3 >> 1 & 0x7f" (binary_expression "param_3 >> 1" identifier >> number_literal) & number_literal) ]) )))) ;) (if_statement "if (param_2 < 2) {\n    return (int)(CONCAT44(-(uint)(param_4 < *param_1) & param_3 - 1,param_4 - *param_1) %\n                (ulonglong)param_3);\n  }" if (parenthesized_expression "(param_2 < 2)" ( (binary_expression "param_2 < 2" identifier < number_literal) )) (compound_statement "{\n    return (int)(CONCAT44(-(uint)(param_4 < *param_1) & param_3 - 1,param_4 - *param_1) %\n                (ulonglong)param_3);\n  }" { (return_statement "return (int)(CONCAT44(-(uint)(param_4 < *param_1) & param_3 - 1,param_4 - *param_1) %\n                (ulonglong)param_3);" return (cast_expression "(int)(CONCAT44(-(uint)(param_4 < *param_1) & param_3 - 1,param_4 - *param_1) %\n                (ulonglong)param_3)" ( (type_descriptor "int" primitive_type) ) (parenthesized_expression "(CONCAT44(-(uint)(param_4 < *param_1) & param_3 - 1,param_4 - *param_1) %\n                (ulonglong)param_3)" ( (binary_expression "CONCAT44(-(uint)(param_4 < *param_1) & param_3 - 1,param_4 - *param_1) %\n                (ulonglong)param_3" (call_expression "CONCAT44(-(uint)(param_4 < *param_1) & param_3 - 1,param_4 - *param_1)" identifier (argument_list "(-(uint)(param_4 < *param_1) & param_3 - 1,param_4 - *param_1)" ( (binary_expression "-(uint)(param_4 < *param_1) & param_3 - 1" (unary_expression "-(uint)(param_4 < *param_1)" - (call_expression "(uint)(param_4 < *param_1)" (parenthesized_expression "(uint)" ( identifier )) (argument_list "(param_4 < *param_1)" ( (binary_expression "param_4 < *param_1" identifier < (pointer_expression "*param_1" * identifier)) )))) & (binary_expression "param_3 - 1" identifier - number_literal)) , (binary_expression "param_4 - *param_1" identifier - (pointer_expression "*param_1" * identifier)) ))) % (cast_expression "(ulonglong)param_3" ( (type_descriptor "ulonglong" type_identifier) ) identifier)) ))) ;) })) (expression_statement "iVar3 = iVar3 * 2 - iVar3 * iVar3 * param_3;" (assignment_expression "iVar3 = iVar3 * 2 - iVar3 * iVar3 * param_3" identifier = (binary_expression "iVar3 * 2 - iVar3 * iVar3 * param_3" (binary_expression "iVar3 * 2" identifier * number_literal) - (binary_expression "iVar3 * iVar3 * param_3" (binary_expression "iVar3 * iVar3" identifier * identifier) * identifier))) ;) (expression_statement "iVar3 = iVar3 * 2 - iVar3 * iVar3 * param_3;" (assignment_expression "iVar3 = iVar3 * 2 - iVar3 * iVar3 * param_3" identifier = (binary_expression "iVar3 * 2 - iVar3 * iVar3 * param_3" (binary_expression "iVar3 * 2" identifier * number_literal) - (binary_expression "iVar3 * iVar3 * param_3" (binary_expression "iVar3 * iVar3" identifier * identifier) * identifier))) ;) (expression_statement "uVar2 = *param_1;" (assignment_expression "uVar2 = *param_1" identifier = (pointer_expression "*param_1" * identifier)) ;) (expression_statement "uVar4 = param_2 - 2 ^ 0xffffffff;" (assignment_expression "uVar4 = param_2 - 2 ^ 0xffffffff" identifier = (binary_expression "param_2 - 2 ^ 0xffffffff" (binary_expression "param_2 - 2" identifier - number_literal) ^ number_literal)) ;) (while_statement "while( true ) {\n    bVar5 = uVar2 < param_4;\n    uVar1 = (uVar2 - param_4) * iVar3;\n    uVar4 = uVar4 + 1;\n    if (uVar4 == 0) break;\n    uVar2 = (param_1 + (param_2 - 1))[uVar4];\n    param_4 = (int)((ulonglong)uVar1 * (ulonglong)param_3 >> 0x20) + (uint)bVar5;\n  }" while (parenthesized_expression "( true )" ( true )) (compound_statement "{\n    bVar5 = uVar2 < param_4;\n    uVar1 = (uVar2 - param_4) * iVar3;\n    uVar4 = uVar4 + 1;\n    if (uVar4 == 0) break;\n    uVar2 = (param_1 + (param_2 - 1))[uVar4];\n    param_4 = (int)((ulonglong)uVar1 * (ulonglong)param_3 >> 0x20) + (uint)bVar5;\n  }" { (expression_statement "bVar5 = uVar2 < param_4;" (assignment_expression "bVar5 = uVar2 < param_4" identifier = (binary_expression "uVar2 < param_4" identifier < identifier)) ;) (expression_statement "uVar1 = (uVar2 - param_4) * iVar3;" (assignment_expression "uVar1 = (uVar2 - param_4) * iVar3" identifier = (binary_expression "(uVar2 - param_4) * iVar3" (parenthesized_expression "(uVar2 - param_4)" ( (binary_expression "uVar2 - param_4" identifier - identifier) )) * identifier)) ;) (expression_statement "uVar4 = uVar4 + 1;" (assignment_expression "uVar4 = uVar4 + 1" identifier = (binary_expression "uVar4 + 1" identifier + number_literal)) ;) (if_statement "if (uVar4 == 0) break;" if (parenthesized_expression "(uVar4 == 0)" ( (binary_expression "uVar4 == 0" identifier == number_literal) )) (break_statement "break;" break ;)) (expression_statement "uVar2 = (param_1 + (param_2 - 1))[uVar4];" (assignment_expression "uVar2 = (param_1 + (param_2 - 1))[uVar4]" identifier = (subscript_expression "(param_1 + (param_2 - 1))[uVar4]" (parenthesized_expression "(param_1 + (param_2 - 1))" ( (binary_expression "param_1 + (param_2 - 1)" identifier + (parenthesized_expression "(param_2 - 1)" ( (binary_expression "param_2 - 1" identifier - number_literal) ))) )) [ identifier ])) ;) (expression_statement "param_4 = (int)((ulonglong)uVar1 * (ulonglong)param_3 >> 0x20) + (uint)bVar5;" (assignment_expression "param_4 = (int)((ulonglong)uVar1 * (ulonglong)param_3 >> 0x20) + (uint)bVar5" identifier = (binary_expression "(int)((ulonglong)uVar1 * (ulonglong)param_3 >> 0x20) + (uint)bVar5" (cast_expression "(int)((ulonglong)uVar1 * (ulonglong)param_3 >> 0x20)" ( (type_descriptor "int" primitive_type) ) (parenthesized_expression "((ulonglong)uVar1 * (ulonglong)param_3 >> 0x20)" ( (binary_expression "(ulonglong)uVar1 * (ulonglong)param_3 >> 0x20" (binary_expression "(ulonglong)uVar1 * (ulonglong)param_3" (cast_expression "(ulonglong)uVar1" ( (type_descriptor "ulonglong" type_identifier) ) identifier) * (cast_expression "(ulonglong)param_3" ( (type_descriptor "ulonglong" type_identifier) ) identifier)) >> number_literal) ))) + (cast_expression "(uint)bVar5" ( (type_descriptor "uint" type_identifier) ) identifier))) ;) })) (expression_statement "uVar2 = param_1[param_2 - 1];" (assignment_expression "uVar2 = param_1[param_2 - 1]" identifier = (subscript_expression "param_1[param_2 - 1]" identifier [ (binary_expression "param_2 - 1" identifier - number_literal) ])) ;) (expression_statement "uVar4 = (int)((ulonglong)uVar1 * (ulonglong)param_3 >> 0x20) + (uint)bVar5;" (assignment_expression "uVar4 = (int)((ulonglong)uVar1 * (ulonglong)param_3 >> 0x20) + (uint)bVar5" identifier = (binary_expression "(int)((ulonglong)uVar1 * (ulonglong)param_3 >> 0x20) + (uint)bVar5" (cast_expression "(int)((ulonglong)uVar1 * (ulonglong)param_3 >> 0x20)" ( (type_descriptor "int" primitive_type) ) (parenthesized_expression "((ulonglong)uVar1 * (ulonglong)param_3 >> 0x20)" ( (binary_expression "(ulonglong)uVar1 * (ulonglong)param_3 >> 0x20" (binary_expression "(ulonglong)uVar1 * (ulonglong)param_3" (cast_expression "(ulonglong)uVar1" ( (type_descriptor "ulonglong" type_identifier) ) identifier) * (cast_expression "(ulonglong)param_3" ( (type_descriptor "ulonglong" type_identifier) ) identifier)) >> number_literal) ))) + (cast_expression "(uint)bVar5" ( (type_descriptor "uint" type_identifier) ) identifier))) ;) (if_statement "if (param_3 < uVar2) {\n    return (int)((ulonglong)((uVar2 - uVar4) * iVar3) * (ulonglong)param_3 >> 0x20) +\n           (uint)(uVar2 < uVar4);\n  }" if (parenthesized_expression "(param_3 < uVar2)" ( (binary_expression "param_3 < uVar2" identifier < identifier) )) (compound_statement "{\n    return (int)((ulonglong)((uVar2 - uVar4) * iVar3) * (ulonglong)param_3 >> 0x20) +\n           (uint)(uVar2 < uVar4);\n  }" { (return_statement "return (int)((ulonglong)((uVar2 - uVar4) * iVar3) * (ulonglong)param_3 >> 0x20) +\n           (uint)(uVar2 < uVar4);" return (binary_expression "(int)((ulonglong)((uVar2 - uVar4) * iVar3) * (ulonglong)param_3 >> 0x20) +\n           (uint)(uVar2 < uVar4)" (cast_expression "(int)((ulonglong)((uVar2 - uVar4) * iVar3) * (ulonglong)param_3 >> 0x20)" ( (type_descriptor "int" primitive_type) ) (parenthesized_expression "((ulonglong)((uVar2 - uVar4) * iVar3) * (ulonglong)param_3 >> 0x20)" ( (binary_expression "(ulonglong)((uVar2 - uVar4) * iVar3) * (ulonglong)param_3 >> 0x20" (binary_expression "(ulonglong)((uVar2 - uVar4) * iVar3) * (ulonglong)param_3" (call_expression "(ulonglong)((uVar2 - uVar4) * iVar3)" (parenthesized_expression "(ulonglong)" ( identifier )) (argument_list "((uVar2 - uVar4) * iVar3)" ( (binary_expression "(uVar2 - uVar4) * iVar3" (parenthesized_expression "(uVar2 - uVar4)" ( (binary_expression "uVar2 - uVar4" identifier - identifier) )) * identifier) ))) * (cast_expression "(ulonglong)param_3" ( (type_descriptor "ulonglong" type_identifier) ) identifier)) >> number_literal) ))) + (call_expression "(uint)(uVar2 < uVar4)" (parenthesized_expression "(uint)" ( identifier )) (argument_list "(uVar2 < uVar4)" ( (binary_expression "uVar2 < uVar4" identifier < identifier) )))) ;) })) (return_statement "return (-(uint)(uVar4 < uVar2) & param_3) + (uVar4 - uVar2);" return (binary_expression "(-(uint)(uVar4 < uVar2) & param_3) + (uVar4 - uVar2)" (parenthesized_expression "(-(uint)(uVar4 < uVar2) & param_3)" ( (binary_expression "-(uint)(uVar4 < uVar2) & param_3" (unary_expression "-(uint)(uVar4 < uVar2)" - (call_expression "(uint)(uVar4 < uVar2)" (parenthesized_expression "(uint)" ( identifier )) (argument_list "(uVar4 < uVar2)" ( (binary_expression "uVar4 < uVar2" identifier < identifier) )))) & identifier) )) + (parenthesized_expression "(uVar4 - uVar2)" ( (binary_expression "uVar4 - uVar2" identifier - identifier) ))) ;) })))
(translation_unit "int __gmpn_modexact_1c_odd_pentium(uint *param_1,uint param_2,uint param_3,uint param_4)\n\n{\n  uint uVar1;\n  uint uVar2;\n  int iVar3;\n  uint uVar4;\n  bool bVar5;\n  \n  iVar3 = CONCAT31((int3)((uint)PTR___gmp_binvert_limb_table_00098ec8 >> 8),\n                   PTR___gmp_binvert_limb_table_00098ec8[param_3 >> 1 & 0x7f]);\n  if (param_2 < 2) {\n    return (int)(CONCAT44(-(uint)(param_4 < *param_1) & param_3 - 1,param_4 - *param_1) %\n                (ulonglong)param_3);\n  }\n  iVar3 = iVar3 * 2 - iVar3 * iVar3 * param_3;\n  iVar3 = iVar3 * 2 - iVar3 * iVar3 * param_3;\n  uVar2 = *param_1;\n  uVar4 = param_2 - 2 ^ 0xffffffff;\n  while( true ) {\n    bVar5 = uVar2 < param_4;\n    uVar1 = (uVar2 - param_4) * iVar3;\n    uVar4 = uVar4 + 1;\n    if (uVar4 == 0) break;\n    uVar2 = (param_1 + (param_2 - 1))[uVar4];\n    param_4 = (int)((ulonglong)uVar1 * (ulonglong)param_3 >> 0x20) + (uint)bVar5;\n  }\n  uVar2 = param_1[param_2 - 1];\n  uVar4 = (int)((ulonglong)uVar1 * (ulonglong)param_3 >> 0x20) + (uint)bVar5;\n  if (param_3 < uVar2) {\n    return (int)((ulonglong)((uVar2 - uVar4) * iVar3) * (ulonglong)param_3 >> 0x20) +\n           (uint)(uVar2 < uVar4);\n  }\n  return (-(uint)(uVar4 < uVar2) & param_3) + (uVar4 - uVar2);\n}\n\n" (function_definition "int __gmpn_modexact_1c_odd_pentium(uint *param_1,uint param_2,uint param_3,uint param_4)\n\n{\n  uint uVar1;\n  uint uVar2;\n  int iVar3;\n  uint uVar4;\n  bool bVar5;\n  \n  iVar3 = CONCAT31((int3)((uint)PTR___gmp_binvert_limb_table_00098ec8 >> 8),\n                   PTR___gmp_binvert_limb_table_00098ec8[param_3 >> 1 & 0x7f]);\n  if (param_2 < 2) {\n    return (int)(CONCAT44(-(uint)(param_4 < *param_1) & param_3 - 1,param_4 - *param_1) %\n                (ulonglong)param_3);\n  }\n  iVar3 = iVar3 * 2 - iVar3 * iVar3 * param_3;\n  iVar3 = iVar3 * 2 - iVar3 * iVar3 * param_3;\n  uVar2 = *param_1;\n  uVar4 = param_2 - 2 ^ 0xffffffff;\n  while( true ) {\n    bVar5 = uVar2 < param_4;\n    uVar1 = (uVar2 - param_4) * iVar3;\n    uVar4 = uVar4 + 1;\n    if (uVar4 == 0) break;\n    uVar2 = (param_1 + (param_2 - 1))[uVar4];\n    param_4 = (int)((ulonglong)uVar1 * (ulonglong)param_3 >> 0x20) + (uint)bVar5;\n  }\n  uVar2 = param_1[param_2 - 1];\n  uVar4 = (int)((ulonglong)uVar1 * (ulonglong)param_3 >> 0x20) + (uint)bVar5;\n  if (param_3 < uVar2) {\n    return (int)((ulonglong)((uVar2 - uVar4) * iVar3) * (ulonglong)param_3 >> 0x20) +\n           (uint)(uVar2 < uVar4);\n  }\n  return (-(uint)(uVar4 < uVar2) & param_3) + (uVar4 - uVar2);\n}" primitive_type (function_declarator "__gmpn_modexact_1c_odd_pentium(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 identifier) , (parameter_declaration "uint param_3" type_identifier identifier) , (parameter_declaration "uint param_4" type_identifier identifier) ))) (compound_statement "{\n  uint uVar1;\n  uint uVar2;\n  int iVar3;\n  uint uVar4;\n  bool bVar5;\n  \n  iVar3 = CONCAT31((int3)((uint)PTR___gmp_binvert_limb_table_00098ec8 >> 8),\n                   PTR___gmp_binvert_limb_table_00098ec8[param_3 >> 1 & 0x7f]);\n  if (param_2 < 2) {\n    return (int)(CONCAT44(-(uint)(param_4 < *param_1) & param_3 - 1,param_4 - *param_1) %\n                (ulonglong)param_3);\n  }\n  iVar3 = iVar3 * 2 - iVar3 * iVar3 * param_3;\n  iVar3 = iVar3 * 2 - iVar3 * iVar3 * param_3;\n  uVar2 = *param_1;\n  uVar4 = param_2 - 2 ^ 0xffffffff;\n  while( true ) {\n    bVar5 = uVar2 < param_4;\n    uVar1 = (uVar2 - param_4) * iVar3;\n    uVar4 = uVar4 + 1;\n    if (uVar4 == 0) break;\n    uVar2 = (param_1 + (param_2 - 1))[uVar4];\n    param_4 = (int)((ulonglong)uVar1 * (ulonglong)param_3 >> 0x20) + (uint)bVar5;\n  }\n  uVar2 = param_1[param_2 - 1];\n  uVar4 = (int)((ulonglong)uVar1 * (ulonglong)param_3 >> 0x20) + (uint)bVar5;\n  if (param_3 < uVar2) {\n    return (int)((ulonglong)((uVar2 - uVar4) * iVar3) * (ulonglong)param_3 >> 0x20) +\n           (uint)(uVar2 < uVar4);\n  }\n  return (-(uint)(uVar4 < uVar2) & param_3) + (uVar4 - uVar2);\n}" { (declaration "uint uVar1;" type_identifier identifier ;) (declaration "uint uVar2;" type_identifier identifier ;) (declaration "int iVar3;" primitive_type identifier ;) (declaration "uint uVar4;" type_identifier identifier ;) (declaration "bool bVar5;" primitive_type identifier ;) (expression_statement "iVar3 = CONCAT31((int3)((uint)PTR___gmp_binvert_limb_table_00098ec8 >> 8),\n                   PTR___gmp_binvert_limb_table_00098ec8[param_3 >> 1 & 0x7f]);" (assignment_expression "iVar3 = CONCAT31((int3)((uint)PTR___gmp_binvert_limb_table_00098ec8 >> 8),\n                   PTR___gmp_binvert_limb_table_00098ec8[param_3 >> 1 & 0x7f])" identifier = (call_expression "CONCAT31((int3)((uint)PTR___gmp_binvert_limb_table_00098ec8 >> 8),\n                   PTR___gmp_binvert_limb_table_00098ec8[param_3 >> 1 & 0x7f])" identifier (argument_list "((int3)((uint)PTR___gmp_binvert_limb_table_00098ec8 >> 8),\n                   PTR___gmp_binvert_limb_table_00098ec8[param_3 >> 1 & 0x7f])" ( (call_expression "(int3)((uint)PTR___gmp_binvert_limb_table_00098ec8 >> 8)" (parenthesized_expression "(int3)" ( identifier )) (argument_list "((uint)PTR___gmp_binvert_limb_table_00098ec8 >> 8)" ( (binary_expression "(uint)PTR___gmp_binvert_limb_table_00098ec8 >> 8" (cast_expression "(uint)PTR___gmp_binvert_limb_table_00098ec8" ( (type_descriptor "uint" type_identifier) ) identifier) >> number_literal) ))) , (subscript_expression "PTR___gmp_binvert_limb_table_00098ec8[param_3 >> 1 & 0x7f]" identifier [ (binary_expression "param_3 >> 1 & 0x7f" (binary_expression "param_3 >> 1" identifier >> number_literal) & number_literal) ]) )))) ;) (if_statement "if (param_2 < 2) {\n    return (int)(CONCAT44(-(uint)(param_4 < *param_1) & param_3 - 1,param_4 - *param_1) %\n                (ulonglong)param_3);\n  }" if (parenthesized_expression "(param_2 < 2)" ( (binary_expression "param_2 < 2" identifier < number_literal) )) (compound_statement "{\n    return (int)(CONCAT44(-(uint)(param_4 < *param_1) & param_3 - 1,param_4 - *param_1) %\n                (ulonglong)param_3);\n  }" { (return_statement "return (int)(CONCAT44(-(uint)(param_4 < *param_1) & param_3 - 1,param_4 - *param_1) %\n                (ulonglong)param_3);" return (cast_expression "(int)(CONCAT44(-(uint)(param_4 < *param_1) & param_3 - 1,param_4 - *param_1) %\n                (ulonglong)param_3)" ( (type_descriptor "int" primitive_type) ) (parenthesized_expression "(CONCAT44(-(uint)(param_4 < *param_1) & param_3 - 1,param_4 - *param_1) %\n                (ulonglong)param_3)" ( (binary_expression "CONCAT44(-(uint)(param_4 < *param_1) & param_3 - 1,param_4 - *param_1) %\n                (ulonglong)param_3" (call_expression "CONCAT44(-(uint)(param_4 < *param_1) & param_3 - 1,param_4 - *param_1)" identifier (argument_list "(-(uint)(param_4 < *param_1) & param_3 - 1,param_4 - *param_1)" ( (binary_expression "-(uint)(param_4 < *param_1) & param_3 - 1" (unary_expression "-(uint)(param_4 < *param_1)" - (call_expression "(uint)(param_4 < *param_1)" (parenthesized_expression "(uint)" ( identifier )) (argument_list "(param_4 < *param_1)" ( (binary_expression "param_4 < *param_1" identifier < (pointer_expression "*param_1" * identifier)) )))) & (binary_expression "param_3 - 1" identifier - number_literal)) , (binary_expression "param_4 - *param_1" identifier - (pointer_expression "*param_1" * identifier)) ))) % (cast_expression "(ulonglong)param_3" ( (type_descriptor "ulonglong" type_identifier) ) identifier)) ))) ;) })) (expression_statement "iVar3 = iVar3 * 2 - iVar3 * iVar3 * param_3;" (assignment_expression "iVar3 = iVar3 * 2 - iVar3 * iVar3 * param_3" identifier = (binary_expression "iVar3 * 2 - iVar3 * iVar3 * param_3" (binary_expression "iVar3 * 2" identifier * number_literal) - (binary_expression "iVar3 * iVar3 * param_3" (binary_expression "iVar3 * iVar3" identifier * identifier) * identifier))) ;) (expression_statement "iVar3 = iVar3 * 2 - iVar3 * iVar3 * param_3;" (assignment_expression "iVar3 = iVar3 * 2 - iVar3 * iVar3 * param_3" identifier = (binary_expression "iVar3 * 2 - iVar3 * iVar3 * param_3" (binary_expression "iVar3 * 2" identifier * number_literal) - (binary_expression "iVar3 * iVar3 * param_3" (binary_expression "iVar3 * iVar3" identifier * identifier) * identifier))) ;) (expression_statement "uVar2 = *param_1;" (assignment_expression "uVar2 = *param_1" identifier = (pointer_expression "*param_1" * identifier)) ;) (expression_statement "uVar4 = param_2 - 2 ^ 0xffffffff;" (assignment_expression "uVar4 = param_2 - 2 ^ 0xffffffff" identifier = (binary_expression "param_2 - 2 ^ 0xffffffff" (binary_expression "param_2 - 2" identifier - number_literal) ^ number_literal)) ;) (while_statement "while( true ) {\n    bVar5 = uVar2 < param_4;\n    uVar1 = (uVar2 - param_4) * iVar3;\n    uVar4 = uVar4 + 1;\n    if (uVar4 == 0) break;\n    uVar2 = (param_1 + (param_2 - 1))[uVar4];\n    param_4 = (int)((ulonglong)uVar1 * (ulonglong)param_3 >> 0x20) + (uint)bVar5;\n  }" while (parenthesized_expression "( true )" ( true )) (compound_statement "{\n    bVar5 = uVar2 < param_4;\n    uVar1 = (uVar2 - param_4) * iVar3;\n    uVar4 = uVar4 + 1;\n    if (uVar4 == 0) break;\n    uVar2 = (param_1 + (param_2 - 1))[uVar4];\n    param_4 = (int)((ulonglong)uVar1 * (ulonglong)param_3 >> 0x20) + (uint)bVar5;\n  }" { (expression_statement "bVar5 = uVar2 < param_4;" (assignment_expression "bVar5 = uVar2 < param_4" identifier = (binary_expression "uVar2 < param_4" identifier < identifier)) ;) (expression_statement "uVar1 = (uVar2 - param_4) * iVar3;" (assignment_expression "uVar1 = (uVar2 - param_4) * iVar3" identifier = (binary_expression "(uVar2 - param_4) * iVar3" (parenthesized_expression "(uVar2 - param_4)" ( (binary_expression "uVar2 - param_4" identifier - identifier) )) * identifier)) ;) (expression_statement "uVar4 = uVar4 + 1;" (assignment_expression "uVar4 = uVar4 + 1" identifier = (binary_expression "uVar4 + 1" identifier + number_literal)) ;) (if_statement "if (uVar4 == 0) break;" if (parenthesized_expression "(uVar4 == 0)" ( (binary_expression "uVar4 == 0" identifier == number_literal) )) (break_statement "break;" break ;)) (expression_statement "uVar2 = (param_1 + (param_2 - 1))[uVar4];" (assignment_expression "uVar2 = (param_1 + (param_2 - 1))[uVar4]" identifier = (subscript_expression "(param_1 + (param_2 - 1))[uVar4]" (parenthesized_expression "(param_1 + (param_2 - 1))" ( (binary_expression "param_1 + (param_2 - 1)" identifier + (parenthesized_expression "(param_2 - 1)" ( (binary_expression "param_2 - 1" identifier - number_literal) ))) )) [ identifier ])) ;) (expression_statement "param_4 = (int)((ulonglong)uVar1 * (ulonglong)param_3 >> 0x20) + (uint)bVar5;" (assignment_expression "param_4 = (int)((ulonglong)uVar1 * (ulonglong)param_3 >> 0x20) + (uint)bVar5" identifier = (binary_expression "(int)((ulonglong)uVar1 * (ulonglong)param_3 >> 0x20) + (uint)bVar5" (cast_expression "(int)((ulonglong)uVar1 * (ulonglong)param_3 >> 0x20)" ( (type_descriptor "int" primitive_type) ) (parenthesized_expression "((ulonglong)uVar1 * (ulonglong)param_3 >> 0x20)" ( (binary_expression "(ulonglong)uVar1 * (ulonglong)param_3 >> 0x20" (binary_expression "(ulonglong)uVar1 * (ulonglong)param_3" (cast_expression "(ulonglong)uVar1" ( (type_descriptor "ulonglong" type_identifier) ) identifier) * (cast_expression "(ulonglong)param_3" ( (type_descriptor "ulonglong" type_identifier) ) identifier)) >> number_literal) ))) + (cast_expression "(uint)bVar5" ( (type_descriptor "uint" type_identifier) ) identifier))) ;) })) (expression_statement "uVar2 = param_1[param_2 - 1];" (assignment_expression "uVar2 = param_1[param_2 - 1]" identifier = (subscript_expression "param_1[param_2 - 1]" identifier [ (binary_expression "param_2 - 1" identifier - number_literal) ])) ;) (expression_statement "uVar4 = (int)((ulonglong)uVar1 * (ulonglong)param_3 >> 0x20) + (uint)bVar5;" (assignment_expression "uVar4 = (int)((ulonglong)uVar1 * (ulonglong)param_3 >> 0x20) + (uint)bVar5" identifier = (binary_expression "(int)((ulonglong)uVar1 * (ulonglong)param_3 >> 0x20) + (uint)bVar5" (cast_expression "(int)((ulonglong)uVar1 * (ulonglong)param_3 >> 0x20)" ( (type_descriptor "int" primitive_type) ) (parenthesized_expression "((ulonglong)uVar1 * (ulonglong)param_3 >> 0x20)" ( (binary_expression "(ulonglong)uVar1 * (ulonglong)param_3 >> 0x20" (binary_expression "(ulonglong)uVar1 * (ulonglong)param_3" (cast_expression "(ulonglong)uVar1" ( (type_descriptor "ulonglong" type_identifier) ) identifier) * (cast_expression "(ulonglong)param_3" ( (type_descriptor "ulonglong" type_identifier) ) identifier)) >> number_literal) ))) + (cast_expression "(uint)bVar5" ( (type_descriptor "uint" type_identifier) ) identifier))) ;) (if_statement "if (param_3 < uVar2) {\n    return (int)((ulonglong)((uVar2 - uVar4) * iVar3) * (ulonglong)param_3 >> 0x20) +\n           (uint)(uVar2 < uVar4);\n  }" if (parenthesized_expression "(param_3 < uVar2)" ( (binary_expression "param_3 < uVar2" identifier < identifier) )) (compound_statement "{\n    return (int)((ulonglong)((uVar2 - uVar4) * iVar3) * (ulonglong)param_3 >> 0x20) +\n           (uint)(uVar2 < uVar4);\n  }" { (return_statement "return (int)((ulonglong)((uVar2 - uVar4) * iVar3) * (ulonglong)param_3 >> 0x20) +\n           (uint)(uVar2 < uVar4);" return (binary_expression "(int)((ulonglong)((uVar2 - uVar4) * iVar3) * (ulonglong)param_3 >> 0x20) +\n           (uint)(uVar2 < uVar4)" (cast_expression "(int)((ulonglong)((uVar2 - uVar4) * iVar3) * (ulonglong)param_3 >> 0x20)" ( (type_descriptor "int" primitive_type) ) (parenthesized_expression "((ulonglong)((uVar2 - uVar4) * iVar3) * (ulonglong)param_3 >> 0x20)" ( (binary_expression "(ulonglong)((uVar2 - uVar4) * iVar3) * (ulonglong)param_3 >> 0x20" (binary_expression "(ulonglong)((uVar2 - uVar4) * iVar3) * (ulonglong)param_3" (call_expression "(ulonglong)((uVar2 - uVar4) * iVar3)" (parenthesized_expression "(ulonglong)" ( identifier )) (argument_list "((uVar2 - uVar4) * iVar3)" ( (binary_expression "(uVar2 - uVar4) * iVar3" (parenthesized_expression "(uVar2 - uVar4)" ( (binary_expression "uVar2 - uVar4" identifier - identifier) )) * identifier) ))) * (cast_expression "(ulonglong)param_3" ( (type_descriptor "ulonglong" type_identifier) ) identifier)) >> number_literal) ))) + (call_expression "(uint)(uVar2 < uVar4)" (parenthesized_expression "(uint)" ( identifier )) (argument_list "(uVar2 < uVar4)" ( (binary_expression "uVar2 < uVar4" identifier < identifier) )))) ;) })) (return_statement "return (-(uint)(uVar4 < uVar2) & param_3) + (uVar4 - uVar2);" return (binary_expression "(-(uint)(uVar4 < uVar2) & param_3) + (uVar4 - uVar2)" (parenthesized_expression "(-(uint)(uVar4 < uVar2) & param_3)" ( (binary_expression "-(uint)(uVar4 < uVar2) & param_3" (unary_expression "-(uint)(uVar4 < uVar2)" - (call_expression "(uint)(uVar4 < uVar2)" (parenthesized_expression "(uint)" ( identifier )) (argument_list "(uVar4 < uVar2)" ( (binary_expression "uVar4 < uVar2" identifier < identifier) )))) & identifier) )) + (parenthesized_expression "(uVar4 - uVar2)" ( (binary_expression "uVar4 - uVar2" identifier - identifier) ))) ;) })))
(translation_unit "int __gmpn_modexact_1c_odd_pentium(uint *param_1,uint param_2,uint param_3,uint param_4)\n\n{\n  uint uVar1;\n  uint uVar2;\n  int iVar3;\n  uint uVar4;\n  bool bVar5;\n  \n  iVar3 = CONCAT31((int3)((uint)PTR___gmp_binvert_limb_table_00098ec8 >> 8),\n                   PTR___gmp_binvert_limb_table_00098ec8[param_3 >> 1 & 0x7f]);\n  if (param_2 < 2) {\n    return (int)(CONCAT44(-(uint)(param_4 < *param_1) & param_3 - 1,param_4 - *param_1) %\n                (ulonglong)param_3);\n  }\n  iVar3 = iVar3 * 2 - iVar3 * iVar3 * param_3;\n  iVar3 = iVar3 * 2 - iVar3 * iVar3 * param_3;\n  uVar2 = *param_1;\n  uVar4 = param_2 - 2 ^ 0xffffffff;\n  while( true ) {\n    bVar5 = uVar2 < param_4;\n    uVar1 = (uVar2 - param_4) * iVar3;\n    uVar4 = uVar4 + 1;\n    if (uVar4 == 0) break;\n    uVar2 = (param_1 + (param_2 - 1))[uVar4];\n    param_4 = (int)((ulonglong)uVar1 * (ulonglong)param_3 >> 0x20) + (uint)bVar5;\n  }\n  uVar2 = param_1[param_2 - 1];\n  uVar4 = (int)((ulonglong)uVar1 * (ulonglong)param_3 >> 0x20) + (uint)bVar5;\n  if (param_3 < uVar2) {\n    return (int)((ulonglong)((uVar2 - uVar4) * iVar3) * (ulonglong)param_3 >> 0x20) +\n           (uint)(uVar2 < uVar4);\n  }\n  return (-(uint)(uVar4 < uVar2) & param_3) + (uVar4 - uVar2);\n}\n\n" (function_definition "int __gmpn_modexact_1c_odd_pentium(uint *param_1,uint param_2,uint param_3,uint param_4)\n\n{\n  uint uVar1;\n  uint uVar2;\n  int iVar3;\n  uint uVar4;\n  bool bVar5;\n  \n  iVar3 = CONCAT31((int3)((uint)PTR___gmp_binvert_limb_table_00098ec8 >> 8),\n                   PTR___gmp_binvert_limb_table_00098ec8[param_3 >> 1 & 0x7f]);\n  if (param_2 < 2) {\n    return (int)(CONCAT44(-(uint)(param_4 < *param_1) & param_3 - 1,param_4 - *param_1) %\n                (ulonglong)param_3);\n  }\n  iVar3 = iVar3 * 2 - iVar3 * iVar3 * param_3;\n  iVar3 = iVar3 * 2 - iVar3 * iVar3 * param_3;\n  uVar2 = *param_1;\n  uVar4 = param_2 - 2 ^ 0xffffffff;\n  while( true ) {\n    bVar5 = uVar2 < param_4;\n    uVar1 = (uVar2 - param_4) * iVar3;\n    uVar4 = uVar4 + 1;\n    if (uVar4 == 0) break;\n    uVar2 = (param_1 + (param_2 - 1))[uVar4];\n    param_4 = (int)((ulonglong)uVar1 * (ulonglong)param_3 >> 0x20) + (uint)bVar5;\n  }\n  uVar2 = param_1[param_2 - 1];\n  uVar4 = (int)((ulonglong)uVar1 * (ulonglong)param_3 >> 0x20) + (uint)bVar5;\n  if (param_3 < uVar2) {\n    return (int)((ulonglong)((uVar2 - uVar4) * iVar3) * (ulonglong)param_3 >> 0x20) +\n           (uint)(uVar2 < uVar4);\n  }\n  return (-(uint)(uVar4 < uVar2) & param_3) + (uVar4 - uVar2);\n}" primitive_type (function_declarator "__gmpn_modexact_1c_odd_pentium(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 identifier) , (parameter_declaration "uint param_3" type_identifier identifier) , (parameter_declaration "uint param_4" type_identifier identifier) ))) (compound_statement "{\n  uint uVar1;\n  uint uVar2;\n  int iVar3;\n  uint uVar4;\n  bool bVar5;\n  \n  iVar3 = CONCAT31((int3)((uint)PTR___gmp_binvert_limb_table_00098ec8 >> 8),\n                   PTR___gmp_binvert_limb_table_00098ec8[param_3 >> 1 & 0x7f]);\n  if (param_2 < 2) {\n    return (int)(CONCAT44(-(uint)(param_4 < *param_1) & param_3 - 1,param_4 - *param_1) %\n                (ulonglong)param_3);\n  }\n  iVar3 = iVar3 * 2 - iVar3 * iVar3 * param_3;\n  iVar3 = iVar3 * 2 - iVar3 * iVar3 * param_3;\n  uVar2 = *param_1;\n  uVar4 = param_2 - 2 ^ 0xffffffff;\n  while( true ) {\n    bVar5 = uVar2 < param_4;\n    uVar1 = (uVar2 - param_4) * iVar3;\n    uVar4 = uVar4 + 1;\n    if (uVar4 == 0) break;\n    uVar2 = (param_1 + (param_2 - 1))[uVar4];\n    param_4 = (int)((ulonglong)uVar1 * (ulonglong)param_3 >> 0x20) + (uint)bVar5;\n  }\n  uVar2 = param_1[param_2 - 1];\n  uVar4 = (int)((ulonglong)uVar1 * (ulonglong)param_3 >> 0x20) + (uint)bVar5;\n  if (param_3 < uVar2) {\n    return (int)((ulonglong)((uVar2 - uVar4) * iVar3) * (ulonglong)param_3 >> 0x20) +\n           (uint)(uVar2 < uVar4);\n  }\n  return (-(uint)(uVar4 < uVar2) & param_3) + (uVar4 - uVar2);\n}" { (declaration "uint uVar1;" type_identifier identifier ;) (declaration "uint uVar2;" type_identifier identifier ;) (declaration "int iVar3;" primitive_type identifier ;) (declaration "uint uVar4;" type_identifier identifier ;) (declaration "bool bVar5;" primitive_type identifier ;) (expression_statement "iVar3 = CONCAT31((int3)((uint)PTR___gmp_binvert_limb_table_00098ec8 >> 8),\n                   PTR___gmp_binvert_limb_table_00098ec8[param_3 >> 1 & 0x7f]);" (assignment_expression "iVar3 = CONCAT31((int3)((uint)PTR___gmp_binvert_limb_table_00098ec8 >> 8),\n                   PTR___gmp_binvert_limb_table_00098ec8[param_3 >> 1 & 0x7f])" identifier = (call_expression "CONCAT31((int3)((uint)PTR___gmp_binvert_limb_table_00098ec8 >> 8),\n                   PTR___gmp_binvert_limb_table_00098ec8[param_3 >> 1 & 0x7f])" identifier (argument_list "((int3)((uint)PTR___gmp_binvert_limb_table_00098ec8 >> 8),\n                   PTR___gmp_binvert_limb_table_00098ec8[param_3 >> 1 & 0x7f])" ( (call_expression "(int3)((uint)PTR___gmp_binvert_limb_table_00098ec8 >> 8)" (parenthesized_expression "(int3)" ( identifier )) (argument_list "((uint)PTR___gmp_binvert_limb_table_00098ec8 >> 8)" ( (binary_expression "(uint)PTR___gmp_binvert_limb_table_00098ec8 >> 8" (cast_expression "(uint)PTR___gmp_binvert_limb_table_00098ec8" ( (type_descriptor "uint" type_identifier) ) identifier) >> number_literal) ))) , (subscript_expression "PTR___gmp_binvert_limb_table_00098ec8[param_3 >> 1 & 0x7f]" identifier [ (binary_expression "param_3 >> 1 & 0x7f" (binary_expression "param_3 >> 1" identifier >> number_literal) & number_literal) ]) )))) ;) (if_statement "if (param_2 < 2) {\n    return (int)(CONCAT44(-(uint)(param_4 < *param_1) & param_3 - 1,param_4 - *param_1) %\n                (ulonglong)param_3);\n  }" if (parenthesized_expression "(param_2 < 2)" ( (binary_expression "param_2 < 2" identifier < number_literal) )) (compound_statement "{\n    return (int)(CONCAT44(-(uint)(param_4 < *param_1) & param_3 - 1,param_4 - *param_1) %\n                (ulonglong)param_3);\n  }" { (return_statement "return (int)(CONCAT44(-(uint)(param_4 < *param_1) & param_3 - 1,param_4 - *param_1) %\n                (ulonglong)param_3);" return (cast_expression "(int)(CONCAT44(-(uint)(param_4 < *param_1) & param_3 - 1,param_4 - *param_1) %\n                (ulonglong)param_3)" ( (type_descriptor "int" primitive_type) ) (parenthesized_expression "(CONCAT44(-(uint)(param_4 < *param_1) & param_3 - 1,param_4 - *param_1) %\n                (ulonglong)param_3)" ( (binary_expression "CONCAT44(-(uint)(param_4 < *param_1) & param_3 - 1,param_4 - *param_1) %\n                (ulonglong)param_3" (call_expression "CONCAT44(-(uint)(param_4 < *param_1) & param_3 - 1,param_4 - *param_1)" identifier (argument_list "(-(uint)(param_4 < *param_1) & param_3 - 1,param_4 - *param_1)" ( (binary_expression "-(uint)(param_4 < *param_1) & param_3 - 1" (unary_expression "-(uint)(param_4 < *param_1)" - (call_expression "(uint)(param_4 < *param_1)" (parenthesized_expression "(uint)" ( identifier )) (argument_list "(param_4 < *param_1)" ( (binary_expression "param_4 < *param_1" identifier < (pointer_expression "*param_1" * identifier)) )))) & (binary_expression "param_3 - 1" identifier - number_literal)) , (binary_expression "param_4 - *param_1" identifier - (pointer_expression "*param_1" * identifier)) ))) % (cast_expression "(ulonglong)param_3" ( (type_descriptor "ulonglong" type_identifier) ) identifier)) ))) ;) })) (expression_statement "iVar3 = iVar3 * 2 - iVar3 * iVar3 * param_3;" (assignment_expression "iVar3 = iVar3 * 2 - iVar3 * iVar3 * param_3" identifier = (binary_expression "iVar3 * 2 - iVar3 * iVar3 * param_3" (binary_expression "iVar3 * 2" identifier * number_literal) - (binary_expression "iVar3 * iVar3 * param_3" (binary_expression "iVar3 * iVar3" identifier * identifier) * identifier))) ;) (expression_statement "iVar3 = iVar3 * 2 - iVar3 * iVar3 * param_3;" (assignment_expression "iVar3 = iVar3 * 2 - iVar3 * iVar3 * param_3" identifier = (binary_expression "iVar3 * 2 - iVar3 * iVar3 * param_3" (binary_expression "iVar3 * 2" identifier * number_literal) - (binary_expression "iVar3 * iVar3 * param_3" (binary_expression "iVar3 * iVar3" identifier * identifier) * identifier))) ;) (expression_statement "uVar2 = *param_1;" (assignment_expression "uVar2 = *param_1" identifier = (pointer_expression "*param_1" * identifier)) ;) (expression_statement "uVar4 = param_2 - 2 ^ 0xffffffff;" (assignment_expression "uVar4 = param_2 - 2 ^ 0xffffffff" identifier = (binary_expression "param_2 - 2 ^ 0xffffffff" (binary_expression "param_2 - 2" identifier - number_literal) ^ number_literal)) ;) (while_statement "while( true ) {\n    bVar5 = uVar2 < param_4;\n    uVar1 = (uVar2 - param_4) * iVar3;\n    uVar4 = uVar4 + 1;\n    if (uVar4 == 0) break;\n    uVar2 = (param_1 + (param_2 - 1))[uVar4];\n    param_4 = (int)((ulonglong)uVar1 * (ulonglong)param_3 >> 0x20) + (uint)bVar5;\n  }" while (parenthesized_expression "( true )" ( true )) (compound_statement "{\n    bVar5 = uVar2 < param_4;\n    uVar1 = (uVar2 - param_4) * iVar3;\n    uVar4 = uVar4 + 1;\n    if (uVar4 == 0) break;\n    uVar2 = (param_1 + (param_2 - 1))[uVar4];\n    param_4 = (int)((ulonglong)uVar1 * (ulonglong)param_3 >> 0x20) + (uint)bVar5;\n  }" { (expression_statement "bVar5 = uVar2 < param_4;" (assignment_expression "bVar5 = uVar2 < param_4" identifier = (binary_expression "uVar2 < param_4" identifier < identifier)) ;) (expression_statement "uVar1 = (uVar2 - param_4) * iVar3;" (assignment_expression "uVar1 = (uVar2 - param_4) * iVar3" identifier = (binary_expression "(uVar2 - param_4) * iVar3" (parenthesized_expression "(uVar2 - param_4)" ( (binary_expression "uVar2 - param_4" identifier - identifier) )) * identifier)) ;) (expression_statement "uVar4 = uVar4 + 1;" (assignment_expression "uVar4 = uVar4 + 1" identifier = (binary_expression "uVar4 + 1" identifier + number_literal)) ;) (if_statement "if (uVar4 == 0) break;" if (parenthesized_expression "(uVar4 == 0)" ( (binary_expression "uVar4 == 0" identifier == number_literal) )) (break_statement "break;" break ;)) (expression_statement "uVar2 = (param_1 + (param_2 - 1))[uVar4];" (assignment_expression "uVar2 = (param_1 + (param_2 - 1))[uVar4]" identifier = (subscript_expression "(param_1 + (param_2 - 1))[uVar4]" (parenthesized_expression "(param_1 + (param_2 - 1))" ( (binary_expression "param_1 + (param_2 - 1)" identifier + (parenthesized_expression "(param_2 - 1)" ( (binary_expression "param_2 - 1" identifier - number_literal) ))) )) [ identifier ])) ;) (expression_statement "param_4 = (int)((ulonglong)uVar1 * (ulonglong)param_3 >> 0x20) + (uint)bVar5;" (assignment_expression "param_4 = (int)((ulonglong)uVar1 * (ulonglong)param_3 >> 0x20) + (uint)bVar5" identifier = (binary_expression "(int)((ulonglong)uVar1 * (ulonglong)param_3 >> 0x20) + (uint)bVar5" (cast_expression "(int)((ulonglong)uVar1 * (ulonglong)param_3 >> 0x20)" ( (type_descriptor "int" primitive_type) ) (parenthesized_expression "((ulonglong)uVar1 * (ulonglong)param_3 >> 0x20)" ( (binary_expression "(ulonglong)uVar1 * (ulonglong)param_3 >> 0x20" (binary_expression "(ulonglong)uVar1 * (ulonglong)param_3" (cast_expression "(ulonglong)uVar1" ( (type_descriptor "ulonglong" type_identifier) ) identifier) * (cast_expression "(ulonglong)param_3" ( (type_descriptor "ulonglong" type_identifier) ) identifier)) >> number_literal) ))) + (cast_expression "(uint)bVar5" ( (type_descriptor "uint" type_identifier) ) identifier))) ;) })) (expression_statement "uVar2 = param_1[param_2 - 1];" (assignment_expression "uVar2 = param_1[param_2 - 1]" identifier = (subscript_expression "param_1[param_2 - 1]" identifier [ (binary_expression "param_2 - 1" identifier - number_literal) ])) ;) (expression_statement "uVar4 = (int)((ulonglong)uVar1 * (ulonglong)param_3 >> 0x20) + (uint)bVar5;" (assignment_expression "uVar4 = (int)((ulonglong)uVar1 * (ulonglong)param_3 >> 0x20) + (uint)bVar5" identifier = (binary_expression "(int)((ulonglong)uVar1 * (ulonglong)param_3 >> 0x20) + (uint)bVar5" (cast_expression "(int)((ulonglong)uVar1 * (ulonglong)param_3 >> 0x20)" ( (type_descriptor "int" primitive_type) ) (parenthesized_expression "((ulonglong)uVar1 * (ulonglong)param_3 >> 0x20)" ( (binary_expression "(ulonglong)uVar1 * (ulonglong)param_3 >> 0x20" (binary_expression "(ulonglong)uVar1 * (ulonglong)param_3" (cast_expression "(ulonglong)uVar1" ( (type_descriptor "ulonglong" type_identifier) ) identifier) * (cast_expression "(ulonglong)param_3" ( (type_descriptor "ulonglong" type_identifier) ) identifier)) >> number_literal) ))) + (cast_expression "(uint)bVar5" ( (type_descriptor "uint" type_identifier) ) identifier))) ;) (if_statement "if (param_3 < uVar2) {\n    return (int)((ulonglong)((uVar2 - uVar4) * iVar3) * (ulonglong)param_3 >> 0x20) +\n           (uint)(uVar2 < uVar4);\n  }" if (parenthesized_expression "(param_3 < uVar2)" ( (binary_expression "param_3 < uVar2" identifier < identifier) )) (compound_statement "{\n    return (int)((ulonglong)((uVar2 - uVar4) * iVar3) * (ulonglong)param_3 >> 0x20) +\n           (uint)(uVar2 < uVar4);\n  }" { (return_statement "return (int)((ulonglong)((uVar2 - uVar4) * iVar3) * (ulonglong)param_3 >> 0x20) +\n           (uint)(uVar2 < uVar4);" return (binary_expression "(int)((ulonglong)((uVar2 - uVar4) * iVar3) * (ulonglong)param_3 >> 0x20) +\n           (uint)(uVar2 < uVar4)" (cast_expression "(int)((ulonglong)((uVar2 - uVar4) * iVar3) * (ulonglong)param_3 >> 0x20)" ( (type_descriptor "int" primitive_type) ) (parenthesized_expression "((ulonglong)((uVar2 - uVar4) * iVar3) * (ulonglong)param_3 >> 0x20)" ( (binary_expression "(ulonglong)((uVar2 - uVar4) * iVar3) * (ulonglong)param_3 >> 0x20" (binary_expression "(ulonglong)((uVar2 - uVar4) * iVar3) * (ulonglong)param_3" (call_expression "(ulonglong)((uVar2 - uVar4) * iVar3)" (parenthesized_expression "(ulonglong)" ( identifier )) (argument_list "((uVar2 - uVar4) * iVar3)" ( (binary_expression "(uVar2 - uVar4) * iVar3" (parenthesized_expression "(uVar2 - uVar4)" ( (binary_expression "uVar2 - uVar4" identifier - identifier) )) * identifier) ))) * (cast_expression "(ulonglong)param_3" ( (type_descriptor "ulonglong" type_identifier) ) identifier)) >> number_literal) ))) + (call_expression "(uint)(uVar2 < uVar4)" (parenthesized_expression "(uint)" ( identifier )) (argument_list "(uVar2 < uVar4)" ( (binary_expression "uVar2 < uVar4" identifier < identifier) )))) ;) })) (return_statement "return (-(uint)(uVar4 < uVar2) & param_3) + (uVar4 - uVar2);" return (binary_expression "(-(uint)(uVar4 < uVar2) & param_3) + (uVar4 - uVar2)" (parenthesized_expression "(-(uint)(uVar4 < uVar2) & param_3)" ( (binary_expression "-(uint)(uVar4 < uVar2) & param_3" (unary_expression "-(uint)(uVar4 < uVar2)" - (call_expression "(uint)(uVar4 < uVar2)" (parenthesized_expression "(uint)" ( identifier )) (argument_list "(uVar4 < uVar2)" ( (binary_expression "uVar4 < uVar2" identifier < identifier) )))) & identifier) )) + (parenthesized_expression "(uVar4 - uVar2)" ( (binary_expression "uVar4 - uVar2" identifier - identifier) ))) ;) })))
(translation_unit (function_definition TYPE (function_declarator IDENT (parameter_list ( (parameter_declaration TYPE (pointer_declarator * IDENT)) , (parameter_declaration TYPE IDENT) , (parameter_declaration TYPE IDENT) , (parameter_declaration TYPE IDENT) ))) (compound_statement { (declaration TYPE IDENT ;) (declaration TYPE IDENT ;) (declaration TYPE IDENT ;) (declaration TYPE IDENT ;) (declaration TYPE IDENT ;) (expression_statement (assignment_expression IDENT = (call_expression IDENT (argument_list ( (call_expression (parenthesized_expression ( IDENT )) (argument_list ( (binary_expression (cast_expression ( (type_descriptor TYPE) ) IDENT) >> LIT) ))) , (subscript_expression IDENT [ (binary_expression (binary_expression IDENT >> LIT) & LIT) ]) )))) ;) (if_statement if (parenthesized_expression ( (binary_expression IDENT < LIT) )) (compound_statement { (return_statement return (cast_expression ( (type_descriptor TYPE) ) (parenthesized_expression ( (binary_expression (call_expression IDENT (argument_list ( (binary_expression (unary_expression - (call_expression (parenthesized_expression ( IDENT )) (argument_list ( (binary_expression IDENT < (pointer_expression * IDENT)) )))) & (binary_expression IDENT - LIT)) , (binary_expression IDENT - (pointer_expression * IDENT)) ))) % (cast_expression ( (type_descriptor TYPE) ) IDENT)) ))) ;) })) (expression_statement (assignment_expression IDENT = (binary_expression (binary_expression IDENT * LIT) - (binary_expression (binary_expression IDENT * IDENT) * IDENT))) ;) (expression_statement (assignment_expression IDENT = (binary_expression (binary_expression IDENT * LIT) - (binary_expression (binary_expression IDENT * IDENT) * IDENT))) ;) (expression_statement (assignment_expression IDENT = (pointer_expression * IDENT)) ;) (expression_statement (assignment_expression IDENT = (binary_expression (binary_expression IDENT - LIT) ^ LIT)) ;) (while_statement while (parenthesized_expression ( BOOL )) (compound_statement { (expression_statement (assignment_expression IDENT = (binary_expression IDENT < IDENT)) ;) (expression_statement (assignment_expression IDENT = (binary_expression (parenthesized_expression ( (binary_expression IDENT - IDENT) )) * IDENT)) ;) (expression_statement (assignment_expression IDENT = (binary_expression IDENT + LIT)) ;) (if_statement if (parenthesized_expression ( (binary_expression IDENT == LIT) )) (break_statement break ;)) (expression_statement (assignment_expression IDENT = (subscript_expression (parenthesized_expression ( (binary_expression IDENT + (parenthesized_expression ( (binary_expression IDENT - LIT) ))) )) [ IDENT ])) ;) (expression_statement (assignment_expression IDENT = (binary_expression (cast_expression ( (type_descriptor TYPE) ) (parenthesized_expression ( (binary_expression (binary_expression (cast_expression ( (type_descriptor TYPE) ) IDENT) * (cast_expression ( (type_descriptor TYPE) ) IDENT)) >> LIT) ))) + (cast_expression ( (type_descriptor TYPE) ) IDENT))) ;) })) (expression_statement (assignment_expression IDENT = (subscript_expression IDENT [ (binary_expression IDENT - LIT) ])) ;) (expression_statement (assignment_expression IDENT = (binary_expression (cast_expression ( (type_descriptor TYPE) ) (parenthesized_expression ( (binary_expression (binary_expression (cast_expression ( (type_descriptor TYPE) ) IDENT) * (cast_expression ( (type_descriptor TYPE) ) IDENT)) >> LIT) ))) + (cast_expression ( (type_descriptor TYPE) ) IDENT))) ;) (if_statement if (parenthesized_expression ( (binary_expression IDENT < IDENT) )) (compound_statement { (return_statement return (binary_expression (cast_expression ( (type_descriptor TYPE) ) (parenthesized_expression ( (binary_expression (binary_expression (call_expression (parenthesized_expression ( IDENT )) (argument_list ( (binary_expression (parenthesized_expression ( (binary_expression IDENT - IDENT) )) * IDENT) ))) * (cast_expression ( (type_descriptor TYPE) ) IDENT)) >> LIT) ))) + (call_expression (parenthesized_expression ( IDENT )) (argument_list ( (binary_expression IDENT < IDENT) )))) ;) })) (return_statement return (binary_expression (parenthesized_expression ( (binary_expression (unary_expression - (call_expression (parenthesized_expression ( IDENT )) (argument_list ( (binary_expression IDENT < IDENT) )))) & IDENT) )) + (parenthesized_expression ( (binary_expression IDENT - IDENT) ))) ;) })))
(function_definition "int __gmpn_modexact_1c_odd_pentium(uint *param_1,uint param_2,uint param_3,uint param_4)\n\n{\n  uint uVar1;\n  uint uVar2;\n  int iVar3;\n  uint uVar4;\n  bool bVar5;\n  \n  iVar3 = CONCAT31((int3)((uint)PTR___gmp_binvert_limb_table_00098ec8 >> 8),\n                   PTR___gmp_binvert_limb_table_00098ec8[param_3 >> 1 & 0x7f]);\n  if (param_2 < 2) {\n    return (int)(CONCAT44(-(uint)(param_4 < *param_1) & param_3 - 1,param_4 - *param_1) %\n                (ulonglong)param_3);\n  }\n  iVar3 = iVar3 * 2 - iVar3 * iVar3 * param_3;\n  iVar3 = iVar3 * 2 - iVar3 * iVar3 * param_3;\n  uVar2 = *param_1;\n  uVar4 = param_2 - 2 ^ 0xffffffff;\n  while( true ) {\n    bVar5 = uVar2 < param_4;\n    uVar1 = (uVar2 - param_4) * iVar3;\n    uVar4 = uVar4 + 1;\n    if (uVar4 == 0) break;\n    uVar2 = (param_1 + (param_2 - 1))[uVar4];\n    param_4 = (int)((ulonglong)uVar1 * (ulonglong)param_3 >> 0x20) + (uint)bVar5;\n  }\n  uVar2 = param_1[param_2 - 1];\n  uVar4 = (int)((ulonglong)uVar1 * (ulonglong)param_3 >> 0x20) + (uint)bVar5;\n  if (param_3 < uVar2) {\n    return (int)((ulonglong)((uVar2 - uVar4) * iVar3) * (ulonglong)param_3 >> 0x20) +\n           (uint)(uVar2 < uVar4);\n  }\n  return (-(uint)(uVar4 < uVar2) & param_3) + (uVar4 - uVar2);\n}" (primitive_type "int") (function_declarator "__gmpn_modexact_1c_odd_pentium(uint *param_1,uint param_2,uint param_3,uint param_4)" (identifier "__gmpn_modexact_1c_odd_pentium") (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") (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  uint uVar1;\n  uint uVar2;\n  int iVar3;\n  uint uVar4;\n  bool bVar5;\n  \n  iVar3 = CONCAT31((int3)((uint)PTR___gmp_binvert_limb_table_00098ec8 >> 8),\n                   PTR___gmp_binvert_limb_table_00098ec8[param_3 >> 1 & 0x7f]);\n  if (param_2 < 2) {\n    return (int)(CONCAT44(-(uint)(param_4 < *param_1) & param_3 - 1,param_4 - *param_1) %\n                (ulonglong)param_3);\n  }\n  iVar3 = iVar3 * 2 - iVar3 * iVar3 * param_3;\n  iVar3 = iVar3 * 2 - iVar3 * iVar3 * param_3;\n  uVar2 = *param_1;\n  uVar4 = param_2 - 2 ^ 0xffffffff;\n  while( true ) {\n    bVar5 = uVar2 < param_4;\n    uVar1 = (uVar2 - param_4) * iVar3;\n    uVar4 = uVar4 + 1;\n    if (uVar4 == 0) break;\n    uVar2 = (param_1 + (param_2 - 1))[uVar4];\n    param_4 = (int)((ulonglong)uVar1 * (ulonglong)param_3 >> 0x20) + (uint)bVar5;\n  }\n  uVar2 = param_1[param_2 - 1];\n  uVar4 = (int)((ulonglong)uVar1 * (ulonglong)param_3 >> 0x20) + (uint)bVar5;\n  if (param_3 < uVar2) {\n    return (int)((ulonglong)((uVar2 - uVar4) * iVar3) * (ulonglong)param_3 >> 0x20) +\n           (uint)(uVar2 < uVar4);\n  }\n  return (-(uint)(uVar4 < uVar2) & param_3) + (uVar4 - uVar2);\n}" ({ "{") (declaration "uint uVar1;" (type_identifier "uint") (identifier "uVar1") (; ";")) (declaration "uint uVar2;" (type_identifier "uint") (identifier "uVar2") (; ";")) (declaration "int iVar3;" (primitive_type "int") (identifier "iVar3") (; ";")) (declaration "uint uVar4;" (type_identifier "uint") (identifier "uVar4") (; ";")) (declaration "bool bVar5;" (primitive_type "bool") (identifier "bVar5") (; ";")) (expression_statement "iVar3 = CONCAT31((int3)((uint)PTR___gmp_binvert_limb_table_00098ec8 >> 8),\n                   PTR___gmp_binvert_limb_table_00098ec8[param_3 >> 1 & 0x7f]);" (assignment_expression "iVar3 = CONCAT31((int3)((uint)PTR___gmp_binvert_limb_table_00098ec8 >> 8),\n                   PTR___gmp_binvert_limb_table_00098ec8[param_3 >> 1 & 0x7f])" (identifier "iVar3") (= "=") (call_expression "CONCAT31((int3)((uint)PTR___gmp_binvert_limb_table_00098ec8 >> 8),\n                   PTR___gmp_binvert_limb_table_00098ec8[param_3 >> 1 & 0x7f])" (identifier "CONCAT31") (argument_list "((int3)((uint)PTR___gmp_binvert_limb_table_00098ec8 >> 8),\n                   PTR___gmp_binvert_limb_table_00098ec8[param_3 >> 1 & 0x7f])" (( "(") (call_expression "(int3)((uint)PTR___gmp_binvert_limb_table_00098ec8 >> 8)" (parenthesized_expression "(int3)" (( "(") (identifier "int3") () ")")) (argument_list "((uint)PTR___gmp_binvert_limb_table_00098ec8 >> 8)" (( "(") (binary_expression "(uint)PTR___gmp_binvert_limb_table_00098ec8 >> 8" (cast_expression "(uint)PTR___gmp_binvert_limb_table_00098ec8" (( "(") (type_descriptor "uint" (type_identifier "uint")) () ")") (identifier "PTR___gmp_binvert_limb_table_00098ec8")) (>> ">>") (number_literal "8")) () ")"))) (, ",") (subscript_expression "PTR___gmp_binvert_limb_table_00098ec8[param_3 >> 1 & 0x7f]" (identifier "PTR___gmp_binvert_limb_table_00098ec8") ([ "[") (binary_expression "param_3 >> 1 & 0x7f" (binary_expression "param_3 >> 1" (identifier "param_3") (>> ">>") (number_literal "1")) (& "&") (number_literal "0x7f")) (] "]")) () ")")))) (; ";")) (if_statement "if (param_2 < 2) {\n    return (int)(CONCAT44(-(uint)(param_4 < *param_1) & param_3 - 1,param_4 - *param_1) %\n                (ulonglong)param_3);\n  }" (if "if") (parenthesized_expression "(param_2 < 2)" (( "(") (binary_expression "param_2 < 2" (identifier "param_2") (< "<") (number_literal "2")) () ")")) (compound_statement "{\n    return (int)(CONCAT44(-(uint)(param_4 < *param_1) & param_3 - 1,param_4 - *param_1) %\n                (ulonglong)param_3);\n  }" ({ "{") (return_statement "return (int)(CONCAT44(-(uint)(param_4 < *param_1) & param_3 - 1,param_4 - *param_1) %\n                (ulonglong)param_3);" (return "return") (cast_expression "(int)(CONCAT44(-(uint)(param_4 < *param_1) & param_3 - 1,param_4 - *param_1) %\n                (ulonglong)param_3)" (( "(") (type_descriptor "int" (primitive_type "int")) () ")") (parenthesized_expression "(CONCAT44(-(uint)(param_4 < *param_1) & param_3 - 1,param_4 - *param_1) %\n                (ulonglong)param_3)" (( "(") (binary_expression "CONCAT44(-(uint)(param_4 < *param_1) & param_3 - 1,param_4 - *param_1) %\n                (ulonglong)param_3" (call_expression "CONCAT44(-(uint)(param_4 < *param_1) & param_3 - 1,param_4 - *param_1)" (identifier "CONCAT44") (argument_list "(-(uint)(param_4 < *param_1) & param_3 - 1,param_4 - *param_1)" (( "(") (binary_expression "-(uint)(param_4 < *param_1) & param_3 - 1" (unary_expression "-(uint)(param_4 < *param_1)" (- "-") (call_expression "(uint)(param_4 < *param_1)" (parenthesized_expression "(uint)" (( "(") (identifier "uint") () ")")) (argument_list "(param_4 < *param_1)" (( "(") (binary_expression "param_4 < *param_1" (identifier "param_4") (< "<") (pointer_expression "*param_1" (* "*") (identifier "param_1"))) () ")")))) (& "&") (binary_expression "param_3 - 1" (identifier "param_3") (- "-") (number_literal "1"))) (, ",") (binary_expression "param_4 - *param_1" (identifier "param_4") (- "-") (pointer_expression "*param_1" (* "*") (identifier "param_1"))) () ")"))) (% "%") (cast_expression "(ulonglong)param_3" (( "(") (type_descriptor "ulonglong" (type_identifier "ulonglong")) () ")") (identifier "param_3"))) () ")"))) (; ";")) (} "}"))) (expression_statement "iVar3 = iVar3 * 2 - iVar3 * iVar3 * param_3;" (assignment_expression "iVar3 = iVar3 * 2 - iVar3 * iVar3 * param_3" (identifier "iVar3") (= "=") (binary_expression "iVar3 * 2 - iVar3 * iVar3 * param_3" (binary_expression "iVar3 * 2" (identifier "iVar3") (* "*") (number_literal "2")) (- "-") (binary_expression "iVar3 * iVar3 * param_3" (binary_expression "iVar3 * iVar3" (identifier "iVar3") (* "*") (identifier "iVar3")) (* "*") (identifier "param_3")))) (; ";")) (expression_statement "iVar3 = iVar3 * 2 - iVar3 * iVar3 * param_3;" (assignment_expression "iVar3 = iVar3 * 2 - iVar3 * iVar3 * param_3" (identifier "iVar3") (= "=") (binary_expression "iVar3 * 2 - iVar3 * iVar3 * param_3" (binary_expression "iVar3 * 2" (identifier "iVar3") (* "*") (number_literal "2")) (- "-") (binary_expression "iVar3 * iVar3 * param_3" (binary_expression "iVar3 * iVar3" (identifier "iVar3") (* "*") (identifier "iVar3")) (* "*") (identifier "param_3")))) (; ";")) (expression_statement "uVar2 = *param_1;" (assignment_expression "uVar2 = *param_1" (identifier "uVar2") (= "=") (pointer_expression "*param_1" (* "*") (identifier "param_1"))) (; ";")) (expression_statement "uVar4 = param_2 - 2 ^ 0xffffffff;" (assignment_expression "uVar4 = param_2 - 2 ^ 0xffffffff" (identifier "uVar4") (= "=") (binary_expression "param_2 - 2 ^ 0xffffffff" (binary_expression "param_2 - 2" (identifier "param_2") (- "-") (number_literal "2")) (^ "^") (number_literal "0xffffffff"))) (; ";")) (while_statement "while( true ) {\n    bVar5 = uVar2 < param_4;\n    uVar1 = (uVar2 - param_4) * iVar3;\n    uVar4 = uVar4 + 1;\n    if (uVar4 == 0) break;\n    uVar2 = (param_1 + (param_2 - 1))[uVar4];\n    param_4 = (int)((ulonglong)uVar1 * (ulonglong)param_3 >> 0x20) + (uint)bVar5;\n  }" (while "while") (parenthesized_expression "( true )" (( "(") (true "true") () ")")) (compound_statement "{\n    bVar5 = uVar2 < param_4;\n    uVar1 = (uVar2 - param_4) * iVar3;\n    uVar4 = uVar4 + 1;\n    if (uVar4 == 0) break;\n    uVar2 = (param_1 + (param_2 - 1))[uVar4];\n    param_4 = (int)((ulonglong)uVar1 * (ulonglong)param_3 >> 0x20) + (uint)bVar5;\n  }" ({ "{") (expression_statement "bVar5 = uVar2 < param_4;" (assignment_expression "bVar5 = uVar2 < param_4" (identifier "bVar5") (= "=") (binary_expression "uVar2 < param_4" (identifier "uVar2") (< "<") (identifier "param_4"))) (; ";")) (expression_statement "uVar1 = (uVar2 - param_4) * iVar3;" (assignment_expression "uVar1 = (uVar2 - param_4) * iVar3" (identifier "uVar1") (= "=") (binary_expression "(uVar2 - param_4) * iVar3" (parenthesized_expression "(uVar2 - param_4)" (( "(") (binary_expression "uVar2 - param_4" (identifier "uVar2") (- "-") (identifier "param_4")) () ")")) (* "*") (identifier "iVar3"))) (; ";")) (expression_statement "uVar4 = uVar4 + 1;" (assignment_expression "uVar4 = uVar4 + 1" (identifier "uVar4") (= "=") (binary_expression "uVar4 + 1" (identifier "uVar4") (+ "+") (number_literal "1"))) (; ";")) (if_statement "if (uVar4 == 0) break;" (if "if") (parenthesized_expression "(uVar4 == 0)" (( "(") (binary_expression "uVar4 == 0" (identifier "uVar4") (== "==") (number_literal "0")) () ")")) (break_statement "break;" (break "break") (; ";"))) (expression_statement "uVar2 = (param_1 + (param_2 - 1))[uVar4];" (assignment_expression "uVar2 = (param_1 + (param_2 - 1))[uVar4]" (identifier "uVar2") (= "=") (subscript_expression "(param_1 + (param_2 - 1))[uVar4]" (parenthesized_expression "(param_1 + (param_2 - 1))" (( "(") (binary_expression "param_1 + (param_2 - 1)" (identifier "param_1") (+ "+") (parenthesized_expression "(param_2 - 1)" (( "(") (binary_expression "param_2 - 1" (identifier "param_2") (- "-") (number_literal "1")) () ")"))) () ")")) ([ "[") (identifier "uVar4") (] "]"))) (; ";")) (expression_statement "param_4 = (int)((ulonglong)uVar1 * (ulonglong)param_3 >> 0x20) + (uint)bVar5;" (assignment_expression "param_4 = (int)((ulonglong)uVar1 * (ulonglong)param_3 >> 0x20) + (uint)bVar5" (identifier "param_4") (= "=") (binary_expression "(int)((ulonglong)uVar1 * (ulonglong)param_3 >> 0x20) + (uint)bVar5" (cast_expression "(int)((ulonglong)uVar1 * (ulonglong)param_3 >> 0x20)" (( "(") (type_descriptor "int" (primitive_type "int")) () ")") (parenthesized_expression "((ulonglong)uVar1 * (ulonglong)param_3 >> 0x20)" (( "(") (binary_expression "(ulonglong)uVar1 * (ulonglong)param_3 >> 0x20" (binary_expression "(ulonglong)uVar1 * (ulonglong)param_3" (cast_expression "(ulonglong)uVar1" (( "(") (type_descriptor "ulonglong" (type_identifier "ulonglong")) () ")") (identifier "uVar1")) (* "*") (cast_expression "(ulonglong)param_3" (( "(") (type_descriptor "ulonglong" (type_identifier "ulonglong")) () ")") (identifier "param_3"))) (>> ">>") (number_literal "0x20")) () ")"))) (+ "+") (cast_expression "(uint)bVar5" (( "(") (type_descriptor "uint" (type_identifier "uint")) () ")") (identifier "bVar5")))) (; ";")) (} "}"))) (expression_statement "uVar2 = param_1[param_2 - 1];" (assignment_expression "uVar2 = param_1[param_2 - 1]" (identifier "uVar2") (= "=") (subscript_expression "param_1[param_2 - 1]" (identifier "param_1") ([ "[") (binary_expression "param_2 - 1" (identifier "param_2") (- "-") (number_literal "1")) (] "]"))) (; ";")) (expression_statement "uVar4 = (int)((ulonglong)uVar1 * (ulonglong)param_3 >> 0x20) + (uint)bVar5;" (assignment_expression "uVar4 = (int)((ulonglong)uVar1 * (ulonglong)param_3 >> 0x20) + (uint)bVar5" (identifier "uVar4") (= "=") (binary_expression "(int)((ulonglong)uVar1 * (ulonglong)param_3 >> 0x20) + (uint)bVar5" (cast_expression "(int)((ulonglong)uVar1 * (ulonglong)param_3 >> 0x20)" (( "(") (type_descriptor "int" (primitive_type "int")) () ")") (parenthesized_expression "((ulonglong)uVar1 * (ulonglong)param_3 >> 0x20)" (( "(") (binary_expression "(ulonglong)uVar1 * (ulonglong)param_3 >> 0x20" (binary_expression "(ulonglong)uVar1 * (ulonglong)param_3" (cast_expression "(ulonglong)uVar1" (( "(") (type_descriptor "ulonglong" (type_identifier "ulonglong")) () ")") (identifier "uVar1")) (* "*") (cast_expression "(ulonglong)param_3" (( "(") (type_descriptor "ulonglong" (type_identifier "ulonglong")) () ")") (identifier "param_3"))) (>> ">>") (number_literal "0x20")) () ")"))) (+ "+") (cast_expression "(uint)bVar5" (( "(") (type_descriptor "uint" (type_identifier "uint")) () ")") (identifier "bVar5")))) (; ";")) (if_statement "if (param_3 < uVar2) {\n    return (int)((ulonglong)((uVar2 - uVar4) * iVar3) * (ulonglong)param_3 >> 0x20) +\n           (uint)(uVar2 < uVar4);\n  }" (if "if") (parenthesized_expression "(param_3 < uVar2)" (( "(") (binary_expression "param_3 < uVar2" (identifier "param_3") (< "<") (identifier "uVar2")) () ")")) (compound_statement "{\n    return (int)((ulonglong)((uVar2 - uVar4) * iVar3) * (ulonglong)param_3 >> 0x20) +\n           (uint)(uVar2 < uVar4);\n  }" ({ "{") (return_statement "return (int)((ulonglong)((uVar2 - uVar4) * iVar3) * (ulonglong)param_3 >> 0x20) +\n           (uint)(uVar2 < uVar4);" (return "return") (binary_expression "(int)((ulonglong)((uVar2 - uVar4) * iVar3) * (ulonglong)param_3 >> 0x20) +\n           (uint)(uVar2 < uVar4)" (cast_expression "(int)((ulonglong)((uVar2 - uVar4) * iVar3) * (ulonglong)param_3 >> 0x20)" (( "(") (type_descriptor "int" (primitive_type "int")) () ")") (parenthesized_expression "((ulonglong)((uVar2 - uVar4) * iVar3) * (ulonglong)param_3 >> 0x20)" (( "(") (binary_expression "(ulonglong)((uVar2 - uVar4) * iVar3) * (ulonglong)param_3 >> 0x20" (binary_expression "(ulonglong)((uVar2 - uVar4) * iVar3) * (ulonglong)param_3" (call_expression "(ulonglong)((uVar2 - uVar4) * iVar3)" (parenthesized_expression "(ulonglong)" (( "(") (identifier "ulonglong") () ")")) (argument_list "((uVar2 - uVar4) * iVar3)" (( "(") (binary_expression "(uVar2 - uVar4) * iVar3" (parenthesized_expression "(uVar2 - uVar4)" (( "(") (binary_expression "uVar2 - uVar4" (identifier "uVar2") (- "-") (identifier "uVar4")) () ")")) (* "*") (identifier "iVar3")) () ")"))) (* "*") (cast_expression "(ulonglong)param_3" (( "(") (type_descriptor "ulonglong" (type_identifier "ulonglong")) () ")") (identifier "param_3"))) (>> ">>") (number_literal "0x20")) () ")"))) (+ "+") (call_expression "(uint)(uVar2 < uVar4)" (parenthesized_expression "(uint)" (( "(") (identifier "uint") () ")")) (argument_list "(uVar2 < uVar4)" (( "(") (binary_expression "uVar2 < uVar4" (identifier "uVar2") (< "<") (identifier "uVar4")) () ")")))) (; ";")) (} "}"))) (return_statement "return (-(uint)(uVar4 < uVar2) & param_3) + (uVar4 - uVar2);" (return "return") (binary_expression "(-(uint)(uVar4 < uVar2) & param_3) + (uVar4 - uVar2)" (parenthesized_expression "(-(uint)(uVar4 < uVar2) & param_3)" (( "(") (binary_expression "-(uint)(uVar4 < uVar2) & param_3" (unary_expression "-(uint)(uVar4 < uVar2)" (- "-") (call_expression "(uint)(uVar4 < uVar2)" (parenthesized_expression "(uint)" (( "(") (identifier "uint") () ")")) (argument_list "(uVar4 < uVar2)" (( "(") (binary_expression "uVar4 < uVar2" (identifier "uVar4") (< "<") (identifier "uVar2")) () ")")))) (& "&") (identifier "param_3")) () ")")) (+ "+") (parenthesized_expression "(uVar4 - uVar2)" (( "(") (binary_expression "uVar4 - uVar2" (identifier "uVar4") (- "-") (identifier "uVar2")) () ")"))) (; ";")) (} "}")))

int function_1(type_1 *var_9,type_1 var_3,type_1 var_2,type_1 var_5)

{
  type_1 uVar1;
  type_1 var_7;
  int var_6;
  type_1 var_8;
  bool bVar5;
  
  var_6 = var_1((int3)((type_1)PTR___gmp_binvert_limb_table_00098ec8 >> 8),
                   PTR___gmp_binvert_limb_table_00098ec8[var_2 >> 1 & 0x7f]);
  if (var_3 < 2) {
    return (int)(var_4(-(type_1)(var_5 < *var_9) & var_2 - 1,var_5 - *var_9) %
                (type_2)var_2);
  }
  var_6 = var_6 * 2 - var_6 * var_6 * var_2;
  var_6 = var_6 * 2 - var_6 * var_6 * var_2;
  var_7 = *var_9;
  var_8 = var_3 - 2 ^ 0xffffffff;
  while( true ) {
    bVar5 = var_7 < var_5;
    uVar1 = (var_7 - var_5) * var_6;
    var_8 = var_8 + 1;
    if (var_8 == 0) break;
    var_7 = (var_9 + (var_3 - 1))[var_8];
    var_5 = (int)((type_2)uVar1 * (type_2)var_2 >> 0x20) + (type_1)bVar5;
  }
  var_7 = var_9[var_3 - 1];
  var_8 = (int)((type_2)uVar1 * (type_2)var_2 >> 0x20) + (type_1)bVar5;
  if (var_2 < var_7) {
    return (int)((type_2)((var_7 - var_8) * var_6) * (type_2)var_2 >> 0x20) +
           (type_1)(var_7 < var_8);
  }
  return (-(type_1)(var_8 < var_7) & var_2) + (var_8 - var_7);
}


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

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

{
  uint uVar1;
  uint uVar2;
  int iVar3;
  uint uVar4;
  bool bVar5;
  
  iVar3 = CONCAT31((int3)((uint)PTR___gmp_binvert_limb_table_00098ec8 >> 8),
                   PTR___gmp_binvert_limb_table_00098ec8[param_3 >> 1 & 0x7f]);
  if (param_2 < 2) {
    return (int)(CONCAT44(-(uint)(param_4 < *param_1) & param_3 - 1,param_4 - *param_1) %
                (ulonglong)param_3);
  }
  iVar3 = iVar3 * 2 - iVar3 * iVar3 * param_3;
  iVar3 = iVar3 * 2 - iVar3 * iVar3 * param_3;
  uVar2 = *param_1;
  uVar4 = param_2 - 2 ^ 0xffffffff;
  while( true ) {
    bVar5 = uVar2 < param_4;
    uVar1 = (uVar2 - param_4) * iVar3;
    uVar4 = uVar4 + 1;
    if (uVar4 == 0) break;
    uVar2 = (param_1 + (param_2 - 1))[uVar4];
    param_4 = (int)((ulonglong)uVar1 * (ulonglong)param_3 >> 0x20) + (uint)bVar5;
  }
  uVar2 = param_1[param_2 - 1];
  uVar4 = (int)((ulonglong)uVar1 * (ulonglong)param_3 >> 0x20) + (uint)bVar5;
  if (param_3 < uVar2) {
    return (int)((ulonglong)((uVar2 - uVar4) * iVar3) * (ulonglong)param_3 >> 0x20) +
           (uint)(uVar2 < uVar4);
  }
  return (-(uint)(uVar4 < uVar2) & param_3) + (uVar4 - uVar2);
}

