
int __gmpn_modexact_1c_odd_k6(uint *param_1,int param_2,uint param_3)

{
  int extraout_ECX;
  int iVar1;
  uint extraout_EDX;
  uint uVar2;
  int iVar3;
  int unaff_EDI;
  uint uVar4;
  bool bVar5;
  
  FUN_00039240();
  uVar4 = (uint)*(byte *)(extraout_ECX + *(int *)(unaff_EDI + 0x64ce1));
  iVar1 = uVar4 * 2 - uVar4 * uVar4 * param_3;
  uVar4 = *param_1;
  iVar3 = -param_2;
  uVar2 = extraout_EDX;
  while( true ) {
    bVar5 = uVar4 < uVar2;
    uVar2 = (uVar4 - uVar2) * (iVar1 * 2 - iVar1 * iVar1 * param_3);
    iVar3 = iVar3 + 1;
    if (iVar3 == 0) break;
    uVar4 = param_1[param_2 + iVar3];
    uVar2 = (int)((ulonglong)uVar2 * (ulonglong)param_3 >> 0x20) + (uint)bVar5;
  }
  return (uint)bVar5 + (int)((ulonglong)uVar2 * (ulonglong)param_3 >> 0x20);
}



int __gmpn_modexact_1c_odd_k6(uint *param_1,int param_2,uint param_3)

{
  int extraout_ECX;
  int iVar1;
  uint extraout_EDX;
  uint uVar2;
  int iVar3;
  int unaff_EDI;
  uint uVar4;
  bool bVar5;
  
  FUN_00039240();
  uVar4 = (uint)*(byte *)(extraout_ECX + *(int *)(unaff_EDI + 0x64ce1));
  iVar1 = uVar4 * 2 - uVar4 * uVar4 * param_3;
  uVar4 = *param_1;
  iVar3 = -param_2;
  uVar2 = extraout_EDX;
  while( true ) {
    bVar5 = uVar4 < uVar2;
    uVar2 = (uVar4 - uVar2) * (iVar1 * 2 - iVar1 * iVar1 * param_3);
    iVar3 = iVar3 + 1;
    if (iVar3 == 0) break;
    uVar4 = param_1[param_2 + iVar3];
    uVar2 = (int)((ulonglong)uVar2 * (ulonglong)param_3 >> 0x20) + (uint)bVar5;
  }
  return (uint)bVar5 + (int)((ulonglong)uVar2 * (ulonglong)param_3 >> 0x20);
}


MOV ECX,dword ptr [ESP + 0xc]
PUSH ESI
MOV EDX,dword ptr [ESP + 0x14]
JMP 0x000391d7
(translation_unit "int __gmpn_modexact_1c_odd_k6(uint *param_1,int param_2,uint param_3)\n\n{\n  int extraout_ECX;\n  int iVar1;\n  uint extraout_EDX;\n  uint uVar2;\n  int iVar3;\n  int unaff_EDI;\n  uint uVar4;\n  bool bVar5;\n  \n  FUN_00039240();\n  uVar4 = (uint)*(byte *)(extraout_ECX + *(int *)(unaff_EDI + 0x64ce1));\n  iVar1 = uVar4 * 2 - uVar4 * uVar4 * param_3;\n  uVar4 = *param_1;\n  iVar3 = -param_2;\n  uVar2 = extraout_EDX;\n  while( true ) {\n    bVar5 = uVar4 < uVar2;\n    uVar2 = (uVar4 - uVar2) * (iVar1 * 2 - iVar1 * iVar1 * param_3);\n    iVar3 = iVar3 + 1;\n    if (iVar3 == 0) break;\n    uVar4 = param_1[param_2 + iVar3];\n    uVar2 = (int)((ulonglong)uVar2 * (ulonglong)param_3 >> 0x20) + (uint)bVar5;\n  }\n  return (uint)bVar5 + (int)((ulonglong)uVar2 * (ulonglong)param_3 >> 0x20);\n}\n\n" (function_definition "int __gmpn_modexact_1c_odd_k6(uint *param_1,int param_2,uint param_3)\n\n{\n  int extraout_ECX;\n  int iVar1;\n  uint extraout_EDX;\n  uint uVar2;\n  int iVar3;\n  int unaff_EDI;\n  uint uVar4;\n  bool bVar5;\n  \n  FUN_00039240();\n  uVar4 = (uint)*(byte *)(extraout_ECX + *(int *)(unaff_EDI + 0x64ce1));\n  iVar1 = uVar4 * 2 - uVar4 * uVar4 * param_3;\n  uVar4 = *param_1;\n  iVar3 = -param_2;\n  uVar2 = extraout_EDX;\n  while( true ) {\n    bVar5 = uVar4 < uVar2;\n    uVar2 = (uVar4 - uVar2) * (iVar1 * 2 - iVar1 * iVar1 * param_3);\n    iVar3 = iVar3 + 1;\n    if (iVar3 == 0) break;\n    uVar4 = param_1[param_2 + iVar3];\n    uVar2 = (int)((ulonglong)uVar2 * (ulonglong)param_3 >> 0x20) + (uint)bVar5;\n  }\n  return (uint)bVar5 + (int)((ulonglong)uVar2 * (ulonglong)param_3 >> 0x20);\n}" primitive_type (function_declarator "__gmpn_modexact_1c_odd_k6(uint *param_1,int param_2,uint param_3)" identifier (parameter_list "(uint *param_1,int param_2,uint param_3)" ( (parameter_declaration "uint *param_1" type_identifier (pointer_declarator "*param_1" * identifier)) , (parameter_declaration "int param_2" primitive_type identifier) , (parameter_declaration "uint param_3" type_identifier identifier) ))) (compound_statement "{\n  int extraout_ECX;\n  int iVar1;\n  uint extraout_EDX;\n  uint uVar2;\n  int iVar3;\n  int unaff_EDI;\n  uint uVar4;\n  bool bVar5;\n  \n  FUN_00039240();\n  uVar4 = (uint)*(byte *)(extraout_ECX + *(int *)(unaff_EDI + 0x64ce1));\n  iVar1 = uVar4 * 2 - uVar4 * uVar4 * param_3;\n  uVar4 = *param_1;\n  iVar3 = -param_2;\n  uVar2 = extraout_EDX;\n  while( true ) {\n    bVar5 = uVar4 < uVar2;\n    uVar2 = (uVar4 - uVar2) * (iVar1 * 2 - iVar1 * iVar1 * param_3);\n    iVar3 = iVar3 + 1;\n    if (iVar3 == 0) break;\n    uVar4 = param_1[param_2 + iVar3];\n    uVar2 = (int)((ulonglong)uVar2 * (ulonglong)param_3 >> 0x20) + (uint)bVar5;\n  }\n  return (uint)bVar5 + (int)((ulonglong)uVar2 * (ulonglong)param_3 >> 0x20);\n}" { (declaration "int extraout_ECX;" primitive_type identifier ;) (declaration "int iVar1;" primitive_type identifier ;) (declaration "uint extraout_EDX;" type_identifier identifier ;) (declaration "uint uVar2;" type_identifier identifier ;) (declaration "int iVar3;" primitive_type identifier ;) (declaration "int unaff_EDI;" primitive_type identifier ;) (declaration "uint uVar4;" type_identifier identifier ;) (declaration "bool bVar5;" primitive_type identifier ;) (expression_statement "FUN_00039240();" (call_expression "FUN_00039240()" identifier (argument_list "()" ( ))) ;) (expression_statement "uVar4 = (uint)*(byte *)(extraout_ECX + *(int *)(unaff_EDI + 0x64ce1));" (assignment_expression "uVar4 = (uint)*(byte *)(extraout_ECX + *(int *)(unaff_EDI + 0x64ce1))" identifier = (binary_expression "(uint)*(byte *)(extraout_ECX + *(int *)(unaff_EDI + 0x64ce1))" (parenthesized_expression "(uint)" ( identifier )) * (cast_expression "(byte *)(extraout_ECX + *(int *)(unaff_EDI + 0x64ce1))" ( (type_descriptor "byte *" type_identifier (abstract_pointer_declarator "*" *)) ) (parenthesized_expression "(extraout_ECX + *(int *)(unaff_EDI + 0x64ce1))" ( (binary_expression "extraout_ECX + *(int *)(unaff_EDI + 0x64ce1)" identifier + (pointer_expression "*(int *)(unaff_EDI + 0x64ce1)" * (cast_expression "(int *)(unaff_EDI + 0x64ce1)" ( (type_descriptor "int *" primitive_type (abstract_pointer_declarator "*" *)) ) (parenthesized_expression "(unaff_EDI + 0x64ce1)" ( (binary_expression "unaff_EDI + 0x64ce1" identifier + number_literal) ))))) ))))) ;) (expression_statement "iVar1 = uVar4 * 2 - uVar4 * uVar4 * param_3;" (assignment_expression "iVar1 = uVar4 * 2 - uVar4 * uVar4 * param_3" identifier = (binary_expression "uVar4 * 2 - uVar4 * uVar4 * param_3" (binary_expression "uVar4 * 2" identifier * number_literal) - (binary_expression "uVar4 * uVar4 * param_3" (binary_expression "uVar4 * uVar4" identifier * identifier) * identifier))) ;) (expression_statement "uVar4 = *param_1;" (assignment_expression "uVar4 = *param_1" identifier = (pointer_expression "*param_1" * identifier)) ;) (expression_statement "iVar3 = -param_2;" (assignment_expression "iVar3 = -param_2" identifier = (unary_expression "-param_2" - identifier)) ;) (expression_statement "uVar2 = extraout_EDX;" (assignment_expression "uVar2 = extraout_EDX" identifier = identifier) ;) (while_statement "while( true ) {\n    bVar5 = uVar4 < uVar2;\n    uVar2 = (uVar4 - uVar2) * (iVar1 * 2 - iVar1 * iVar1 * param_3);\n    iVar3 = iVar3 + 1;\n    if (iVar3 == 0) break;\n    uVar4 = param_1[param_2 + iVar3];\n    uVar2 = (int)((ulonglong)uVar2 * (ulonglong)param_3 >> 0x20) + (uint)bVar5;\n  }" while (parenthesized_expression "( true )" ( true )) (compound_statement "{\n    bVar5 = uVar4 < uVar2;\n    uVar2 = (uVar4 - uVar2) * (iVar1 * 2 - iVar1 * iVar1 * param_3);\n    iVar3 = iVar3 + 1;\n    if (iVar3 == 0) break;\n    uVar4 = param_1[param_2 + iVar3];\n    uVar2 = (int)((ulonglong)uVar2 * (ulonglong)param_3 >> 0x20) + (uint)bVar5;\n  }" { (expression_statement "bVar5 = uVar4 < uVar2;" (assignment_expression "bVar5 = uVar4 < uVar2" identifier = (binary_expression "uVar4 < uVar2" identifier < identifier)) ;) (expression_statement "uVar2 = (uVar4 - uVar2) * (iVar1 * 2 - iVar1 * iVar1 * param_3);" (assignment_expression "uVar2 = (uVar4 - uVar2) * (iVar1 * 2 - iVar1 * iVar1 * param_3)" identifier = (binary_expression "(uVar4 - uVar2) * (iVar1 * 2 - iVar1 * iVar1 * param_3)" (parenthesized_expression "(uVar4 - uVar2)" ( (binary_expression "uVar4 - uVar2" identifier - identifier) )) * (parenthesized_expression "(iVar1 * 2 - iVar1 * iVar1 * param_3)" ( (binary_expression "iVar1 * 2 - iVar1 * iVar1 * param_3" (binary_expression "iVar1 * 2" identifier * number_literal) - (binary_expression "iVar1 * iVar1 * param_3" (binary_expression "iVar1 * iVar1" identifier * identifier) * identifier)) )))) ;) (expression_statement "iVar3 = iVar3 + 1;" (assignment_expression "iVar3 = iVar3 + 1" identifier = (binary_expression "iVar3 + 1" identifier + number_literal)) ;) (if_statement "if (iVar3 == 0) break;" if (parenthesized_expression "(iVar3 == 0)" ( (binary_expression "iVar3 == 0" identifier == number_literal) )) (break_statement "break;" break ;)) (expression_statement "uVar4 = param_1[param_2 + iVar3];" (assignment_expression "uVar4 = param_1[param_2 + iVar3]" identifier = (subscript_expression "param_1[param_2 + iVar3]" identifier [ (binary_expression "param_2 + iVar3" identifier + identifier) ])) ;) (expression_statement "uVar2 = (int)((ulonglong)uVar2 * (ulonglong)param_3 >> 0x20) + (uint)bVar5;" (assignment_expression "uVar2 = (int)((ulonglong)uVar2 * (ulonglong)param_3 >> 0x20) + (uint)bVar5" identifier = (binary_expression "(int)((ulonglong)uVar2 * (ulonglong)param_3 >> 0x20) + (uint)bVar5" (cast_expression "(int)((ulonglong)uVar2 * (ulonglong)param_3 >> 0x20)" ( (type_descriptor "int" primitive_type) ) (parenthesized_expression "((ulonglong)uVar2 * (ulonglong)param_3 >> 0x20)" ( (binary_expression "(ulonglong)uVar2 * (ulonglong)param_3 >> 0x20" (binary_expression "(ulonglong)uVar2 * (ulonglong)param_3" (cast_expression "(ulonglong)uVar2" ( (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))) ;) })) (return_statement "return (uint)bVar5 + (int)((ulonglong)uVar2 * (ulonglong)param_3 >> 0x20);" return (binary_expression "(uint)bVar5 + (int)((ulonglong)uVar2 * (ulonglong)param_3 >> 0x20)" (cast_expression "(uint)bVar5" ( (type_descriptor "uint" type_identifier) ) identifier) + (cast_expression "(int)((ulonglong)uVar2 * (ulonglong)param_3 >> 0x20)" ( (type_descriptor "int" primitive_type) ) (parenthesized_expression "((ulonglong)uVar2 * (ulonglong)param_3 >> 0x20)" ( (binary_expression "(ulonglong)uVar2 * (ulonglong)param_3 >> 0x20" (binary_expression "(ulonglong)uVar2 * (ulonglong)param_3" (cast_expression "(ulonglong)uVar2" ( (type_descriptor "ulonglong" type_identifier) ) identifier) * (cast_expression "(ulonglong)param_3" ( (type_descriptor "ulonglong" type_identifier) ) identifier)) >> number_literal) )))) ;) })))
(translation_unit "int __gmpn_modexact_1c_odd_k6(uint *param_1,int param_2,uint param_3)\n\n{\n  int extraout_ECX;\n  int iVar1;\n  uint extraout_EDX;\n  uint uVar2;\n  int iVar3;\n  int unaff_EDI;\n  uint uVar4;\n  bool bVar5;\n  \n  FUN_00039240();\n  uVar4 = (uint)*(byte *)(extraout_ECX + *(int *)(unaff_EDI + 0x64ce1));\n  iVar1 = uVar4 * 2 - uVar4 * uVar4 * param_3;\n  uVar4 = *param_1;\n  iVar3 = -param_2;\n  uVar2 = extraout_EDX;\n  while( true ) {\n    bVar5 = uVar4 < uVar2;\n    uVar2 = (uVar4 - uVar2) * (iVar1 * 2 - iVar1 * iVar1 * param_3);\n    iVar3 = iVar3 + 1;\n    if (iVar3 == 0) break;\n    uVar4 = param_1[param_2 + iVar3];\n    uVar2 = (int)((ulonglong)uVar2 * (ulonglong)param_3 >> 0x20) + (uint)bVar5;\n  }\n  return (uint)bVar5 + (int)((ulonglong)uVar2 * (ulonglong)param_3 >> 0x20);\n}\n\n" (function_definition "int __gmpn_modexact_1c_odd_k6(uint *param_1,int param_2,uint param_3)\n\n{\n  int extraout_ECX;\n  int iVar1;\n  uint extraout_EDX;\n  uint uVar2;\n  int iVar3;\n  int unaff_EDI;\n  uint uVar4;\n  bool bVar5;\n  \n  FUN_00039240();\n  uVar4 = (uint)*(byte *)(extraout_ECX + *(int *)(unaff_EDI + 0x64ce1));\n  iVar1 = uVar4 * 2 - uVar4 * uVar4 * param_3;\n  uVar4 = *param_1;\n  iVar3 = -param_2;\n  uVar2 = extraout_EDX;\n  while( true ) {\n    bVar5 = uVar4 < uVar2;\n    uVar2 = (uVar4 - uVar2) * (iVar1 * 2 - iVar1 * iVar1 * param_3);\n    iVar3 = iVar3 + 1;\n    if (iVar3 == 0) break;\n    uVar4 = param_1[param_2 + iVar3];\n    uVar2 = (int)((ulonglong)uVar2 * (ulonglong)param_3 >> 0x20) + (uint)bVar5;\n  }\n  return (uint)bVar5 + (int)((ulonglong)uVar2 * (ulonglong)param_3 >> 0x20);\n}" primitive_type (function_declarator "__gmpn_modexact_1c_odd_k6(uint *param_1,int param_2,uint param_3)" identifier (parameter_list "(uint *param_1,int param_2,uint param_3)" ( (parameter_declaration "uint *param_1" type_identifier (pointer_declarator "*param_1" * identifier)) , (parameter_declaration "int param_2" primitive_type identifier) , (parameter_declaration "uint param_3" type_identifier identifier) ))) (compound_statement "{\n  int extraout_ECX;\n  int iVar1;\n  uint extraout_EDX;\n  uint uVar2;\n  int iVar3;\n  int unaff_EDI;\n  uint uVar4;\n  bool bVar5;\n  \n  FUN_00039240();\n  uVar4 = (uint)*(byte *)(extraout_ECX + *(int *)(unaff_EDI + 0x64ce1));\n  iVar1 = uVar4 * 2 - uVar4 * uVar4 * param_3;\n  uVar4 = *param_1;\n  iVar3 = -param_2;\n  uVar2 = extraout_EDX;\n  while( true ) {\n    bVar5 = uVar4 < uVar2;\n    uVar2 = (uVar4 - uVar2) * (iVar1 * 2 - iVar1 * iVar1 * param_3);\n    iVar3 = iVar3 + 1;\n    if (iVar3 == 0) break;\n    uVar4 = param_1[param_2 + iVar3];\n    uVar2 = (int)((ulonglong)uVar2 * (ulonglong)param_3 >> 0x20) + (uint)bVar5;\n  }\n  return (uint)bVar5 + (int)((ulonglong)uVar2 * (ulonglong)param_3 >> 0x20);\n}" { (declaration "int extraout_ECX;" primitive_type identifier ;) (declaration "int iVar1;" primitive_type identifier ;) (declaration "uint extraout_EDX;" type_identifier identifier ;) (declaration "uint uVar2;" type_identifier identifier ;) (declaration "int iVar3;" primitive_type identifier ;) (declaration "int unaff_EDI;" primitive_type identifier ;) (declaration "uint uVar4;" type_identifier identifier ;) (declaration "bool bVar5;" primitive_type identifier ;) (expression_statement "FUN_00039240();" (call_expression "FUN_00039240()" identifier (argument_list "()" ( ))) ;) (expression_statement "uVar4 = (uint)*(byte *)(extraout_ECX + *(int *)(unaff_EDI + 0x64ce1));" (assignment_expression "uVar4 = (uint)*(byte *)(extraout_ECX + *(int *)(unaff_EDI + 0x64ce1))" identifier = (binary_expression "(uint)*(byte *)(extraout_ECX + *(int *)(unaff_EDI + 0x64ce1))" (parenthesized_expression "(uint)" ( identifier )) * (cast_expression "(byte *)(extraout_ECX + *(int *)(unaff_EDI + 0x64ce1))" ( (type_descriptor "byte *" type_identifier (abstract_pointer_declarator "*" *)) ) (parenthesized_expression "(extraout_ECX + *(int *)(unaff_EDI + 0x64ce1))" ( (binary_expression "extraout_ECX + *(int *)(unaff_EDI + 0x64ce1)" identifier + (pointer_expression "*(int *)(unaff_EDI + 0x64ce1)" * (cast_expression "(int *)(unaff_EDI + 0x64ce1)" ( (type_descriptor "int *" primitive_type (abstract_pointer_declarator "*" *)) ) (parenthesized_expression "(unaff_EDI + 0x64ce1)" ( (binary_expression "unaff_EDI + 0x64ce1" identifier + number_literal) ))))) ))))) ;) (expression_statement "iVar1 = uVar4 * 2 - uVar4 * uVar4 * param_3;" (assignment_expression "iVar1 = uVar4 * 2 - uVar4 * uVar4 * param_3" identifier = (binary_expression "uVar4 * 2 - uVar4 * uVar4 * param_3" (binary_expression "uVar4 * 2" identifier * number_literal) - (binary_expression "uVar4 * uVar4 * param_3" (binary_expression "uVar4 * uVar4" identifier * identifier) * identifier))) ;) (expression_statement "uVar4 = *param_1;" (assignment_expression "uVar4 = *param_1" identifier = (pointer_expression "*param_1" * identifier)) ;) (expression_statement "iVar3 = -param_2;" (assignment_expression "iVar3 = -param_2" identifier = (unary_expression "-param_2" - identifier)) ;) (expression_statement "uVar2 = extraout_EDX;" (assignment_expression "uVar2 = extraout_EDX" identifier = identifier) ;) (while_statement "while( true ) {\n    bVar5 = uVar4 < uVar2;\n    uVar2 = (uVar4 - uVar2) * (iVar1 * 2 - iVar1 * iVar1 * param_3);\n    iVar3 = iVar3 + 1;\n    if (iVar3 == 0) break;\n    uVar4 = param_1[param_2 + iVar3];\n    uVar2 = (int)((ulonglong)uVar2 * (ulonglong)param_3 >> 0x20) + (uint)bVar5;\n  }" while (parenthesized_expression "( true )" ( true )) (compound_statement "{\n    bVar5 = uVar4 < uVar2;\n    uVar2 = (uVar4 - uVar2) * (iVar1 * 2 - iVar1 * iVar1 * param_3);\n    iVar3 = iVar3 + 1;\n    if (iVar3 == 0) break;\n    uVar4 = param_1[param_2 + iVar3];\n    uVar2 = (int)((ulonglong)uVar2 * (ulonglong)param_3 >> 0x20) + (uint)bVar5;\n  }" { (expression_statement "bVar5 = uVar4 < uVar2;" (assignment_expression "bVar5 = uVar4 < uVar2" identifier = (binary_expression "uVar4 < uVar2" identifier < identifier)) ;) (expression_statement "uVar2 = (uVar4 - uVar2) * (iVar1 * 2 - iVar1 * iVar1 * param_3);" (assignment_expression "uVar2 = (uVar4 - uVar2) * (iVar1 * 2 - iVar1 * iVar1 * param_3)" identifier = (binary_expression "(uVar4 - uVar2) * (iVar1 * 2 - iVar1 * iVar1 * param_3)" (parenthesized_expression "(uVar4 - uVar2)" ( (binary_expression "uVar4 - uVar2" identifier - identifier) )) * (parenthesized_expression "(iVar1 * 2 - iVar1 * iVar1 * param_3)" ( (binary_expression "iVar1 * 2 - iVar1 * iVar1 * param_3" (binary_expression "iVar1 * 2" identifier * number_literal) - (binary_expression "iVar1 * iVar1 * param_3" (binary_expression "iVar1 * iVar1" identifier * identifier) * identifier)) )))) ;) (expression_statement "iVar3 = iVar3 + 1;" (assignment_expression "iVar3 = iVar3 + 1" identifier = (binary_expression "iVar3 + 1" identifier + number_literal)) ;) (if_statement "if (iVar3 == 0) break;" if (parenthesized_expression "(iVar3 == 0)" ( (binary_expression "iVar3 == 0" identifier == number_literal) )) (break_statement "break;" break ;)) (expression_statement "uVar4 = param_1[param_2 + iVar3];" (assignment_expression "uVar4 = param_1[param_2 + iVar3]" identifier = (subscript_expression "param_1[param_2 + iVar3]" identifier [ (binary_expression "param_2 + iVar3" identifier + identifier) ])) ;) (expression_statement "uVar2 = (int)((ulonglong)uVar2 * (ulonglong)param_3 >> 0x20) + (uint)bVar5;" (assignment_expression "uVar2 = (int)((ulonglong)uVar2 * (ulonglong)param_3 >> 0x20) + (uint)bVar5" identifier = (binary_expression "(int)((ulonglong)uVar2 * (ulonglong)param_3 >> 0x20) + (uint)bVar5" (cast_expression "(int)((ulonglong)uVar2 * (ulonglong)param_3 >> 0x20)" ( (type_descriptor "int" primitive_type) ) (parenthesized_expression "((ulonglong)uVar2 * (ulonglong)param_3 >> 0x20)" ( (binary_expression "(ulonglong)uVar2 * (ulonglong)param_3 >> 0x20" (binary_expression "(ulonglong)uVar2 * (ulonglong)param_3" (cast_expression "(ulonglong)uVar2" ( (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))) ;) })) (return_statement "return (uint)bVar5 + (int)((ulonglong)uVar2 * (ulonglong)param_3 >> 0x20);" return (binary_expression "(uint)bVar5 + (int)((ulonglong)uVar2 * (ulonglong)param_3 >> 0x20)" (cast_expression "(uint)bVar5" ( (type_descriptor "uint" type_identifier) ) identifier) + (cast_expression "(int)((ulonglong)uVar2 * (ulonglong)param_3 >> 0x20)" ( (type_descriptor "int" primitive_type) ) (parenthesized_expression "((ulonglong)uVar2 * (ulonglong)param_3 >> 0x20)" ( (binary_expression "(ulonglong)uVar2 * (ulonglong)param_3 >> 0x20" (binary_expression "(ulonglong)uVar2 * (ulonglong)param_3" (cast_expression "(ulonglong)uVar2" ( (type_descriptor "ulonglong" type_identifier) ) identifier) * (cast_expression "(ulonglong)param_3" ( (type_descriptor "ulonglong" type_identifier) ) identifier)) >> number_literal) )))) ;) })))
(translation_unit "int __gmpn_modexact_1c_odd_k6(uint *param_1,int param_2,uint param_3)\n\n{\n  int extraout_ECX;\n  int iVar1;\n  uint extraout_EDX;\n  uint uVar2;\n  int iVar3;\n  int unaff_EDI;\n  uint uVar4;\n  bool bVar5;\n  \n  FUN_00039240();\n  uVar4 = (uint)*(byte *)(extraout_ECX + *(int *)(unaff_EDI + 0x64ce1));\n  iVar1 = uVar4 * 2 - uVar4 * uVar4 * param_3;\n  uVar4 = *param_1;\n  iVar3 = -param_2;\n  uVar2 = extraout_EDX;\n  while( true ) {\n    bVar5 = uVar4 < uVar2;\n    uVar2 = (uVar4 - uVar2) * (iVar1 * 2 - iVar1 * iVar1 * param_3);\n    iVar3 = iVar3 + 1;\n    if (iVar3 == 0) break;\n    uVar4 = param_1[param_2 + iVar3];\n    uVar2 = (int)((ulonglong)uVar2 * (ulonglong)param_3 >> 0x20) + (uint)bVar5;\n  }\n  return (uint)bVar5 + (int)((ulonglong)uVar2 * (ulonglong)param_3 >> 0x20);\n}\n\n" (function_definition "int __gmpn_modexact_1c_odd_k6(uint *param_1,int param_2,uint param_3)\n\n{\n  int extraout_ECX;\n  int iVar1;\n  uint extraout_EDX;\n  uint uVar2;\n  int iVar3;\n  int unaff_EDI;\n  uint uVar4;\n  bool bVar5;\n  \n  FUN_00039240();\n  uVar4 = (uint)*(byte *)(extraout_ECX + *(int *)(unaff_EDI + 0x64ce1));\n  iVar1 = uVar4 * 2 - uVar4 * uVar4 * param_3;\n  uVar4 = *param_1;\n  iVar3 = -param_2;\n  uVar2 = extraout_EDX;\n  while( true ) {\n    bVar5 = uVar4 < uVar2;\n    uVar2 = (uVar4 - uVar2) * (iVar1 * 2 - iVar1 * iVar1 * param_3);\n    iVar3 = iVar3 + 1;\n    if (iVar3 == 0) break;\n    uVar4 = param_1[param_2 + iVar3];\n    uVar2 = (int)((ulonglong)uVar2 * (ulonglong)param_3 >> 0x20) + (uint)bVar5;\n  }\n  return (uint)bVar5 + (int)((ulonglong)uVar2 * (ulonglong)param_3 >> 0x20);\n}" primitive_type (function_declarator "__gmpn_modexact_1c_odd_k6(uint *param_1,int param_2,uint param_3)" identifier (parameter_list "(uint *param_1,int param_2,uint param_3)" ( (parameter_declaration "uint *param_1" type_identifier (pointer_declarator "*param_1" * identifier)) , (parameter_declaration "int param_2" primitive_type identifier) , (parameter_declaration "uint param_3" type_identifier identifier) ))) (compound_statement "{\n  int extraout_ECX;\n  int iVar1;\n  uint extraout_EDX;\n  uint uVar2;\n  int iVar3;\n  int unaff_EDI;\n  uint uVar4;\n  bool bVar5;\n  \n  FUN_00039240();\n  uVar4 = (uint)*(byte *)(extraout_ECX + *(int *)(unaff_EDI + 0x64ce1));\n  iVar1 = uVar4 * 2 - uVar4 * uVar4 * param_3;\n  uVar4 = *param_1;\n  iVar3 = -param_2;\n  uVar2 = extraout_EDX;\n  while( true ) {\n    bVar5 = uVar4 < uVar2;\n    uVar2 = (uVar4 - uVar2) * (iVar1 * 2 - iVar1 * iVar1 * param_3);\n    iVar3 = iVar3 + 1;\n    if (iVar3 == 0) break;\n    uVar4 = param_1[param_2 + iVar3];\n    uVar2 = (int)((ulonglong)uVar2 * (ulonglong)param_3 >> 0x20) + (uint)bVar5;\n  }\n  return (uint)bVar5 + (int)((ulonglong)uVar2 * (ulonglong)param_3 >> 0x20);\n}" { (declaration "int extraout_ECX;" primitive_type identifier ;) (declaration "int iVar1;" primitive_type identifier ;) (declaration "uint extraout_EDX;" type_identifier identifier ;) (declaration "uint uVar2;" type_identifier identifier ;) (declaration "int iVar3;" primitive_type identifier ;) (declaration "int unaff_EDI;" primitive_type identifier ;) (declaration "uint uVar4;" type_identifier identifier ;) (declaration "bool bVar5;" primitive_type identifier ;) (expression_statement "FUN_00039240();" (call_expression "FUN_00039240()" identifier (argument_list "()" ( ))) ;) (expression_statement "uVar4 = (uint)*(byte *)(extraout_ECX + *(int *)(unaff_EDI + 0x64ce1));" (assignment_expression "uVar4 = (uint)*(byte *)(extraout_ECX + *(int *)(unaff_EDI + 0x64ce1))" identifier = (binary_expression "(uint)*(byte *)(extraout_ECX + *(int *)(unaff_EDI + 0x64ce1))" (parenthesized_expression "(uint)" ( identifier )) * (cast_expression "(byte *)(extraout_ECX + *(int *)(unaff_EDI + 0x64ce1))" ( (type_descriptor "byte *" type_identifier (abstract_pointer_declarator "*" *)) ) (parenthesized_expression "(extraout_ECX + *(int *)(unaff_EDI + 0x64ce1))" ( (binary_expression "extraout_ECX + *(int *)(unaff_EDI + 0x64ce1)" identifier + (pointer_expression "*(int *)(unaff_EDI + 0x64ce1)" * (cast_expression "(int *)(unaff_EDI + 0x64ce1)" ( (type_descriptor "int *" primitive_type (abstract_pointer_declarator "*" *)) ) (parenthesized_expression "(unaff_EDI + 0x64ce1)" ( (binary_expression "unaff_EDI + 0x64ce1" identifier + number_literal) ))))) ))))) ;) (expression_statement "iVar1 = uVar4 * 2 - uVar4 * uVar4 * param_3;" (assignment_expression "iVar1 = uVar4 * 2 - uVar4 * uVar4 * param_3" identifier = (binary_expression "uVar4 * 2 - uVar4 * uVar4 * param_3" (binary_expression "uVar4 * 2" identifier * number_literal) - (binary_expression "uVar4 * uVar4 * param_3" (binary_expression "uVar4 * uVar4" identifier * identifier) * identifier))) ;) (expression_statement "uVar4 = *param_1;" (assignment_expression "uVar4 = *param_1" identifier = (pointer_expression "*param_1" * identifier)) ;) (expression_statement "iVar3 = -param_2;" (assignment_expression "iVar3 = -param_2" identifier = (unary_expression "-param_2" - identifier)) ;) (expression_statement "uVar2 = extraout_EDX;" (assignment_expression "uVar2 = extraout_EDX" identifier = identifier) ;) (while_statement "while( true ) {\n    bVar5 = uVar4 < uVar2;\n    uVar2 = (uVar4 - uVar2) * (iVar1 * 2 - iVar1 * iVar1 * param_3);\n    iVar3 = iVar3 + 1;\n    if (iVar3 == 0) break;\n    uVar4 = param_1[param_2 + iVar3];\n    uVar2 = (int)((ulonglong)uVar2 * (ulonglong)param_3 >> 0x20) + (uint)bVar5;\n  }" while (parenthesized_expression "( true )" ( true )) (compound_statement "{\n    bVar5 = uVar4 < uVar2;\n    uVar2 = (uVar4 - uVar2) * (iVar1 * 2 - iVar1 * iVar1 * param_3);\n    iVar3 = iVar3 + 1;\n    if (iVar3 == 0) break;\n    uVar4 = param_1[param_2 + iVar3];\n    uVar2 = (int)((ulonglong)uVar2 * (ulonglong)param_3 >> 0x20) + (uint)bVar5;\n  }" { (expression_statement "bVar5 = uVar4 < uVar2;" (assignment_expression "bVar5 = uVar4 < uVar2" identifier = (binary_expression "uVar4 < uVar2" identifier < identifier)) ;) (expression_statement "uVar2 = (uVar4 - uVar2) * (iVar1 * 2 - iVar1 * iVar1 * param_3);" (assignment_expression "uVar2 = (uVar4 - uVar2) * (iVar1 * 2 - iVar1 * iVar1 * param_3)" identifier = (binary_expression "(uVar4 - uVar2) * (iVar1 * 2 - iVar1 * iVar1 * param_3)" (parenthesized_expression "(uVar4 - uVar2)" ( (binary_expression "uVar4 - uVar2" identifier - identifier) )) * (parenthesized_expression "(iVar1 * 2 - iVar1 * iVar1 * param_3)" ( (binary_expression "iVar1 * 2 - iVar1 * iVar1 * param_3" (binary_expression "iVar1 * 2" identifier * number_literal) - (binary_expression "iVar1 * iVar1 * param_3" (binary_expression "iVar1 * iVar1" identifier * identifier) * identifier)) )))) ;) (expression_statement "iVar3 = iVar3 + 1;" (assignment_expression "iVar3 = iVar3 + 1" identifier = (binary_expression "iVar3 + 1" identifier + number_literal)) ;) (if_statement "if (iVar3 == 0) break;" if (parenthesized_expression "(iVar3 == 0)" ( (binary_expression "iVar3 == 0" identifier == number_literal) )) (break_statement "break;" break ;)) (expression_statement "uVar4 = param_1[param_2 + iVar3];" (assignment_expression "uVar4 = param_1[param_2 + iVar3]" identifier = (subscript_expression "param_1[param_2 + iVar3]" identifier [ (binary_expression "param_2 + iVar3" identifier + identifier) ])) ;) (expression_statement "uVar2 = (int)((ulonglong)uVar2 * (ulonglong)param_3 >> 0x20) + (uint)bVar5;" (assignment_expression "uVar2 = (int)((ulonglong)uVar2 * (ulonglong)param_3 >> 0x20) + (uint)bVar5" identifier = (binary_expression "(int)((ulonglong)uVar2 * (ulonglong)param_3 >> 0x20) + (uint)bVar5" (cast_expression "(int)((ulonglong)uVar2 * (ulonglong)param_3 >> 0x20)" ( (type_descriptor "int" primitive_type) ) (parenthesized_expression "((ulonglong)uVar2 * (ulonglong)param_3 >> 0x20)" ( (binary_expression "(ulonglong)uVar2 * (ulonglong)param_3 >> 0x20" (binary_expression "(ulonglong)uVar2 * (ulonglong)param_3" (cast_expression "(ulonglong)uVar2" ( (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))) ;) })) (return_statement "return (uint)bVar5 + (int)((ulonglong)uVar2 * (ulonglong)param_3 >> 0x20);" return (binary_expression "(uint)bVar5 + (int)((ulonglong)uVar2 * (ulonglong)param_3 >> 0x20)" (cast_expression "(uint)bVar5" ( (type_descriptor "uint" type_identifier) ) identifier) + (cast_expression "(int)((ulonglong)uVar2 * (ulonglong)param_3 >> 0x20)" ( (type_descriptor "int" primitive_type) ) (parenthesized_expression "((ulonglong)uVar2 * (ulonglong)param_3 >> 0x20)" ( (binary_expression "(ulonglong)uVar2 * (ulonglong)param_3 >> 0x20" (binary_expression "(ulonglong)uVar2 * (ulonglong)param_3" (cast_expression "(ulonglong)uVar2" ( (type_descriptor "ulonglong" type_identifier) ) identifier) * (cast_expression "(ulonglong)param_3" ( (type_descriptor "ulonglong" type_identifier) ) identifier)) >> number_literal) )))) ;) })))
(translation_unit (function_definition TYPE (function_declarator IDENT (parameter_list ( (parameter_declaration TYPE (pointer_declarator * IDENT)) , (parameter_declaration TYPE IDENT) , (parameter_declaration TYPE IDENT) ))) (compound_statement { (declaration TYPE IDENT ;) (declaration TYPE IDENT ;) (declaration TYPE IDENT ;) (declaration TYPE IDENT ;) (declaration TYPE IDENT ;) (declaration TYPE IDENT ;) (declaration TYPE IDENT ;) (declaration TYPE IDENT ;) (expression_statement (call_expression IDENT (argument_list ( ))) ;) (expression_statement (assignment_expression IDENT = (binary_expression (parenthesized_expression ( IDENT )) * (cast_expression ( (type_descriptor TYPE (abstract_pointer_declarator *)) ) (parenthesized_expression ( (binary_expression IDENT + (pointer_expression * (cast_expression ( (type_descriptor TYPE (abstract_pointer_declarator *)) ) (parenthesized_expression ( (binary_expression IDENT + LIT) ))))) ))))) ;) (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 = (unary_expression - IDENT)) ;) (expression_statement (assignment_expression IDENT = IDENT) ;) (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) )) * (parenthesized_expression ( (binary_expression (binary_expression IDENT * LIT) - (binary_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 IDENT [ (binary_expression IDENT + 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))) ;) })) (return_statement return (binary_expression (cast_expression ( (type_descriptor TYPE) ) IDENT) + (cast_expression ( (type_descriptor TYPE) ) (parenthesized_expression ( (binary_expression (binary_expression (cast_expression ( (type_descriptor TYPE) ) IDENT) * (cast_expression ( (type_descriptor TYPE) ) IDENT)) >> LIT) )))) ;) })))
(function_definition "int __gmpn_modexact_1c_odd_k6(uint *param_1,int param_2,uint param_3)\n\n{\n  int extraout_ECX;\n  int iVar1;\n  uint extraout_EDX;\n  uint uVar2;\n  int iVar3;\n  int unaff_EDI;\n  uint uVar4;\n  bool bVar5;\n  \n  FUN_00039240();\n  uVar4 = (uint)*(byte *)(extraout_ECX + *(int *)(unaff_EDI + 0x64ce1));\n  iVar1 = uVar4 * 2 - uVar4 * uVar4 * param_3;\n  uVar4 = *param_1;\n  iVar3 = -param_2;\n  uVar2 = extraout_EDX;\n  while( true ) {\n    bVar5 = uVar4 < uVar2;\n    uVar2 = (uVar4 - uVar2) * (iVar1 * 2 - iVar1 * iVar1 * param_3);\n    iVar3 = iVar3 + 1;\n    if (iVar3 == 0) break;\n    uVar4 = param_1[param_2 + iVar3];\n    uVar2 = (int)((ulonglong)uVar2 * (ulonglong)param_3 >> 0x20) + (uint)bVar5;\n  }\n  return (uint)bVar5 + (int)((ulonglong)uVar2 * (ulonglong)param_3 >> 0x20);\n}" (primitive_type "int") (function_declarator "__gmpn_modexact_1c_odd_k6(uint *param_1,int param_2,uint param_3)" (identifier "__gmpn_modexact_1c_odd_k6") (parameter_list "(uint *param_1,int param_2,uint param_3)" (( "(") (parameter_declaration "uint *param_1" (type_identifier "uint") (pointer_declarator "*param_1" (* "*") (identifier "param_1"))) (, ",") (parameter_declaration "int param_2" (primitive_type "int") (identifier "param_2")) (, ",") (parameter_declaration "uint param_3" (type_identifier "uint") (identifier "param_3")) () ")"))) (compound_statement "{\n  int extraout_ECX;\n  int iVar1;\n  uint extraout_EDX;\n  uint uVar2;\n  int iVar3;\n  int unaff_EDI;\n  uint uVar4;\n  bool bVar5;\n  \n  FUN_00039240();\n  uVar4 = (uint)*(byte *)(extraout_ECX + *(int *)(unaff_EDI + 0x64ce1));\n  iVar1 = uVar4 * 2 - uVar4 * uVar4 * param_3;\n  uVar4 = *param_1;\n  iVar3 = -param_2;\n  uVar2 = extraout_EDX;\n  while( true ) {\n    bVar5 = uVar4 < uVar2;\n    uVar2 = (uVar4 - uVar2) * (iVar1 * 2 - iVar1 * iVar1 * param_3);\n    iVar3 = iVar3 + 1;\n    if (iVar3 == 0) break;\n    uVar4 = param_1[param_2 + iVar3];\n    uVar2 = (int)((ulonglong)uVar2 * (ulonglong)param_3 >> 0x20) + (uint)bVar5;\n  }\n  return (uint)bVar5 + (int)((ulonglong)uVar2 * (ulonglong)param_3 >> 0x20);\n}" ({ "{") (declaration "int extraout_ECX;" (primitive_type "int") (identifier "extraout_ECX") (; ";")) (declaration "int iVar1;" (primitive_type "int") (identifier "iVar1") (; ";")) (declaration "uint extraout_EDX;" (type_identifier "uint") (identifier "extraout_EDX") (; ";")) (declaration "uint uVar2;" (type_identifier "uint") (identifier "uVar2") (; ";")) (declaration "int iVar3;" (primitive_type "int") (identifier "iVar3") (; ";")) (declaration "int unaff_EDI;" (primitive_type "int") (identifier "unaff_EDI") (; ";")) (declaration "uint uVar4;" (type_identifier "uint") (identifier "uVar4") (; ";")) (declaration "bool bVar5;" (primitive_type "bool") (identifier "bVar5") (; ";")) (expression_statement "FUN_00039240();" (call_expression "FUN_00039240()" (identifier "FUN_00039240") (argument_list "()" (( "(") () ")"))) (; ";")) (expression_statement "uVar4 = (uint)*(byte *)(extraout_ECX + *(int *)(unaff_EDI + 0x64ce1));" (assignment_expression "uVar4 = (uint)*(byte *)(extraout_ECX + *(int *)(unaff_EDI + 0x64ce1))" (identifier "uVar4") (= "=") (binary_expression "(uint)*(byte *)(extraout_ECX + *(int *)(unaff_EDI + 0x64ce1))" (parenthesized_expression "(uint)" (( "(") (identifier "uint") () ")")) (* "*") (cast_expression "(byte *)(extraout_ECX + *(int *)(unaff_EDI + 0x64ce1))" (( "(") (type_descriptor "byte *" (type_identifier "byte") (abstract_pointer_declarator "*" (* "*"))) () ")") (parenthesized_expression "(extraout_ECX + *(int *)(unaff_EDI + 0x64ce1))" (( "(") (binary_expression "extraout_ECX + *(int *)(unaff_EDI + 0x64ce1)" (identifier "extraout_ECX") (+ "+") (pointer_expression "*(int *)(unaff_EDI + 0x64ce1)" (* "*") (cast_expression "(int *)(unaff_EDI + 0x64ce1)" (( "(") (type_descriptor "int *" (primitive_type "int") (abstract_pointer_declarator "*" (* "*"))) () ")") (parenthesized_expression "(unaff_EDI + 0x64ce1)" (( "(") (binary_expression "unaff_EDI + 0x64ce1" (identifier "unaff_EDI") (+ "+") (number_literal "0x64ce1")) () ")"))))) () ")"))))) (; ";")) (expression_statement "iVar1 = uVar4 * 2 - uVar4 * uVar4 * param_3;" (assignment_expression "iVar1 = uVar4 * 2 - uVar4 * uVar4 * param_3" (identifier "iVar1") (= "=") (binary_expression "uVar4 * 2 - uVar4 * uVar4 * param_3" (binary_expression "uVar4 * 2" (identifier "uVar4") (* "*") (number_literal "2")) (- "-") (binary_expression "uVar4 * uVar4 * param_3" (binary_expression "uVar4 * uVar4" (identifier "uVar4") (* "*") (identifier "uVar4")) (* "*") (identifier "param_3")))) (; ";")) (expression_statement "uVar4 = *param_1;" (assignment_expression "uVar4 = *param_1" (identifier "uVar4") (= "=") (pointer_expression "*param_1" (* "*") (identifier "param_1"))) (; ";")) (expression_statement "iVar3 = -param_2;" (assignment_expression "iVar3 = -param_2" (identifier "iVar3") (= "=") (unary_expression "-param_2" (- "-") (identifier "param_2"))) (; ";")) (expression_statement "uVar2 = extraout_EDX;" (assignment_expression "uVar2 = extraout_EDX" (identifier "uVar2") (= "=") (identifier "extraout_EDX")) (; ";")) (while_statement "while( true ) {\n    bVar5 = uVar4 < uVar2;\n    uVar2 = (uVar4 - uVar2) * (iVar1 * 2 - iVar1 * iVar1 * param_3);\n    iVar3 = iVar3 + 1;\n    if (iVar3 == 0) break;\n    uVar4 = param_1[param_2 + iVar3];\n    uVar2 = (int)((ulonglong)uVar2 * (ulonglong)param_3 >> 0x20) + (uint)bVar5;\n  }" (while "while") (parenthesized_expression "( true )" (( "(") (true "true") () ")")) (compound_statement "{\n    bVar5 = uVar4 < uVar2;\n    uVar2 = (uVar4 - uVar2) * (iVar1 * 2 - iVar1 * iVar1 * param_3);\n    iVar3 = iVar3 + 1;\n    if (iVar3 == 0) break;\n    uVar4 = param_1[param_2 + iVar3];\n    uVar2 = (int)((ulonglong)uVar2 * (ulonglong)param_3 >> 0x20) + (uint)bVar5;\n  }" ({ "{") (expression_statement "bVar5 = uVar4 < uVar2;" (assignment_expression "bVar5 = uVar4 < uVar2" (identifier "bVar5") (= "=") (binary_expression "uVar4 < uVar2" (identifier "uVar4") (< "<") (identifier "uVar2"))) (; ";")) (expression_statement "uVar2 = (uVar4 - uVar2) * (iVar1 * 2 - iVar1 * iVar1 * param_3);" (assignment_expression "uVar2 = (uVar4 - uVar2) * (iVar1 * 2 - iVar1 * iVar1 * param_3)" (identifier "uVar2") (= "=") (binary_expression "(uVar4 - uVar2) * (iVar1 * 2 - iVar1 * iVar1 * param_3)" (parenthesized_expression "(uVar4 - uVar2)" (( "(") (binary_expression "uVar4 - uVar2" (identifier "uVar4") (- "-") (identifier "uVar2")) () ")")) (* "*") (parenthesized_expression "(iVar1 * 2 - iVar1 * iVar1 * param_3)" (( "(") (binary_expression "iVar1 * 2 - iVar1 * iVar1 * param_3" (binary_expression "iVar1 * 2" (identifier "iVar1") (* "*") (number_literal "2")) (- "-") (binary_expression "iVar1 * iVar1 * param_3" (binary_expression "iVar1 * iVar1" (identifier "iVar1") (* "*") (identifier "iVar1")) (* "*") (identifier "param_3"))) () ")")))) (; ";")) (expression_statement "iVar3 = iVar3 + 1;" (assignment_expression "iVar3 = iVar3 + 1" (identifier "iVar3") (= "=") (binary_expression "iVar3 + 1" (identifier "iVar3") (+ "+") (number_literal "1"))) (; ";")) (if_statement "if (iVar3 == 0) break;" (if "if") (parenthesized_expression "(iVar3 == 0)" (( "(") (binary_expression "iVar3 == 0" (identifier "iVar3") (== "==") (number_literal "0")) () ")")) (break_statement "break;" (break "break") (; ";"))) (expression_statement "uVar4 = param_1[param_2 + iVar3];" (assignment_expression "uVar4 = param_1[param_2 + iVar3]" (identifier "uVar4") (= "=") (subscript_expression "param_1[param_2 + iVar3]" (identifier "param_1") ([ "[") (binary_expression "param_2 + iVar3" (identifier "param_2") (+ "+") (identifier "iVar3")) (] "]"))) (; ";")) (expression_statement "uVar2 = (int)((ulonglong)uVar2 * (ulonglong)param_3 >> 0x20) + (uint)bVar5;" (assignment_expression "uVar2 = (int)((ulonglong)uVar2 * (ulonglong)param_3 >> 0x20) + (uint)bVar5" (identifier "uVar2") (= "=") (binary_expression "(int)((ulonglong)uVar2 * (ulonglong)param_3 >> 0x20) + (uint)bVar5" (cast_expression "(int)((ulonglong)uVar2 * (ulonglong)param_3 >> 0x20)" (( "(") (type_descriptor "int" (primitive_type "int")) () ")") (parenthesized_expression "((ulonglong)uVar2 * (ulonglong)param_3 >> 0x20)" (( "(") (binary_expression "(ulonglong)uVar2 * (ulonglong)param_3 >> 0x20" (binary_expression "(ulonglong)uVar2 * (ulonglong)param_3" (cast_expression "(ulonglong)uVar2" (( "(") (type_descriptor "ulonglong" (type_identifier "ulonglong")) () ")") (identifier "uVar2")) (* "*") (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")))) (; ";")) (} "}"))) (return_statement "return (uint)bVar5 + (int)((ulonglong)uVar2 * (ulonglong)param_3 >> 0x20);" (return "return") (binary_expression "(uint)bVar5 + (int)((ulonglong)uVar2 * (ulonglong)param_3 >> 0x20)" (cast_expression "(uint)bVar5" (( "(") (type_descriptor "uint" (type_identifier "uint")) () ")") (identifier "bVar5")) (+ "+") (cast_expression "(int)((ulonglong)uVar2 * (ulonglong)param_3 >> 0x20)" (( "(") (type_descriptor "int" (primitive_type "int")) () ")") (parenthesized_expression "((ulonglong)uVar2 * (ulonglong)param_3 >> 0x20)" (( "(") (binary_expression "(ulonglong)uVar2 * (ulonglong)param_3 >> 0x20" (binary_expression "(ulonglong)uVar2 * (ulonglong)param_3" (cast_expression "(ulonglong)uVar2" (( "(") (type_descriptor "ulonglong" (type_identifier "ulonglong")) () ")") (identifier "uVar2")) (* "*") (cast_expression "(ulonglong)param_3" (( "(") (type_descriptor "ulonglong" (type_identifier "ulonglong")) () ")") (identifier "param_3"))) (>> ">>") (number_literal "0x20")) () ")")))) (; ";")) (} "}")))

int function_1(type_1 *param_1,int var_9,type_1 var_5)

{
  int var_2;
  int var_7;
  type_1 extraout_EDX;
  type_1 var_6;
  int var_8;
  int var_3;
  type_1 var_4;
  bool bVar5;
  
  var_1();
  var_4 = (type_1)*(type_2 *)(var_2 + *(int *)(var_3 + 0x64ce1));
  var_7 = var_4 * 2 - var_4 * var_4 * var_5;
  var_4 = *param_1;
  var_8 = -var_9;
  var_6 = extraout_EDX;
  while( true ) {
    bVar5 = var_4 < var_6;
    var_6 = (var_4 - var_6) * (var_7 * 2 - var_7 * var_7 * var_5);
    var_8 = var_8 + 1;
    if (var_8 == 0) break;
    var_4 = param_1[var_9 + var_8];
    var_6 = (int)((type_3)var_6 * (type_3)var_5 >> 0x20) + (type_1)bVar5;
  }
  return (type_1)bVar5 + (int)((type_3)var_6 * (type_3)var_5 >> 0x20);
}


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

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

{
  int extraout_ECX;
  int iVar1;
  uint extraout_EDX;
  uint uVar2;
  int iVar3;
  int unaff_EDI;
  uint uVar4;
  bool bVar5;
  
  FUN_00039240();
  uVar4 = (uint)*(byte *)(extraout_ECX + *(int *)(unaff_EDI + 0x64ce1));
  iVar1 = uVar4 * 2 - uVar4 * uVar4 * param_3;
  uVar4 = *param_1;
  iVar3 = -param_2;
  uVar2 = extraout_EDX;
  while( true ) {
    bVar5 = uVar4 < uVar2;
    uVar2 = (uVar4 - uVar2) * (iVar1 * 2 - iVar1 * iVar1 * param_3);
    iVar3 = iVar3 + 1;
    if (iVar3 == 0) break;
    uVar4 = param_1[param_2 + iVar3];
    uVar2 = (int)((ulonglong)uVar2 * (ulonglong)param_3 >> 0x20) + (uint)bVar5;
  }
  return (uint)bVar5 + (int)((ulonglong)uVar2 * (ulonglong)param_3 >> 0x20);
}

