
/* WARNING: Function: __i686.get_pc_thunk.cx replaced with injection: get_pc_thunk_cx */

void __gmpn_divexact_1_pentium4_sse2(uint *param_1,ulonglong *param_2,int param_3,uint param_4)

{
  uint uVar1;
  uint uVar2;
  int iVar3;
  ulonglong uVar4;
  ulonglong uVar5;
  ulonglong uVar6;
  ulonglong uVar7;
  
  param_3 = param_3 + -1;
  if (param_3 == 0) {
    *param_1 = (uint)*param_2 / param_4;
    return;
  }
  uVar1 = 0;
  if (param_4 != 0) {
    for (; (param_4 >> uVar1 & 1) == 0; uVar1 = uVar1 + 1) {
    }
  }
  param_4 = param_4 >> ((byte)uVar1 & 0x1f);
  uVar2 = (uint)(byte)PTR___gmp_binvert_limb_table_0009dec8[param_4 >> 1 & 0x7f];
  iVar3 = uVar2 * 2 - uVar2 * uVar2 * param_4;
  uVar5 = 0;
  iVar3 = iVar3 * 2 - iVar3 * iVar3 * param_4;
  uVar4 = 0;
  do {
    uVar6 = *param_2;
    param_2 = (ulonglong *)((int)param_2 + 4);
    uVar7 = ((uVar6 >> (ulonglong)uVar1 & 0xffffffff) - uVar4) - uVar5;
    uVar4 = uVar7 >> 0x3f;
    uVar2 = (int)uVar7 * iVar3;
    *param_1 = uVar2;
    param_1 = param_1 + 1;
    uVar6 = (ulonglong)param_4 * (ulonglong)uVar2;
    uVar5 = uVar6 >> 0x20;
    param_3 = param_3 + -1;
  } while (param_3 != 0);
  *param_1 = (((*(uint *)param_2 >> (ulonglong)uVar1) + (int)((longlong)uVar7 >> 0x3f)) -
             (int)(uVar6 >> 0x20)) * iVar3;
  return;
}



/* WARNING: Function: __i686.get_pc_thunk.cx replaced with injection: get_pc_thunk_cx */

void __gmpn_divexact_1_pentium4_sse2(uint *param_1,ulonglong *param_2,int param_3,uint param_4)

{
  uint uVar1;
  uint uVar2;
  int iVar3;
  ulonglong uVar4;
  ulonglong uVar5;
  ulonglong uVar6;
  ulonglong uVar7;
  
  param_3 = param_3 + -1;
  if (param_3 == 0) {
    *param_1 = (uint)*param_2 / param_4;
    return;
  }
  uVar1 = 0;
  if (param_4 != 0) {
    for (; (param_4 >> uVar1 & 1) == 0; uVar1 = uVar1 + 1) {
    }
  }
  param_4 = param_4 >> ((byte)uVar1 & 0x1f);
  uVar2 = (uint)(byte)PTR___gmp_binvert_limb_table_0009dec8[param_4 >> 1 & 0x7f];
  iVar3 = uVar2 * 2 - uVar2 * uVar2 * param_4;
  uVar5 = 0;
  iVar3 = iVar3 * 2 - iVar3 * iVar3 * param_4;
  uVar4 = 0;
  do {
    uVar6 = *param_2;
    param_2 = (ulonglong *)((int)param_2 + 4);
    uVar7 = ((uVar6 >> (ulonglong)uVar1 & 0xffffffff) - uVar4) - uVar5;
    uVar4 = uVar7 >> 0x3f;
    uVar2 = (int)uVar7 * iVar3;
    *param_1 = uVar2;
    param_1 = param_1 + 1;
    uVar6 = (ulonglong)param_4 * (ulonglong)uVar2;
    uVar5 = uVar6 >> 0x20;
    param_3 = param_3 + -1;
  } while (param_3 != 0);
  *param_1 = (((*(uint *)param_2 >> (ulonglong)uVar1) + (int)((longlong)uVar7 >> 0x3f)) -
             (int)(uVar6 >> 0x20)) * iVar3;
  return;
}


MOV EDX,dword ptr [ESP + 0xc]
MOV EAX,dword ptr [ESP + 0x8]
MOV ECX,dword ptr [ESP + 0x10]
SUB EDX,0x1
JNZ 0x0004080e
MOV EAX,dword ptr [EAX]
XOR EDX,EDX
DIV ECX
MOV ECX,dword ptr [ESP + 0x4]
MOV dword ptr [ECX],EAX
RET
MOV EAX,ECX
BSF ECX,ECX
SHR EAX,CL
MOVD MM6,EAX
MOVD MM7,ECX
SHR EAX,0x1
AND EAX,0x7f
CALL 0x000408c0
ADD ECX,0x5d7db
MOV ECX,dword ptr [ECX + 0xfffffec8]
MOVZX EAX,byte ptr [EAX + ECX*0x1]
MOVD MM5,EAX
MOVD MM0,EAX
PMULUDQ MM5,MM5
PMULUDQ MM5,MM6
PADDD MM0,MM0
PSUBD MM0,MM5
PXOR MM5,MM5
PADDD MM5,MM0
PMULUDQ MM0,MM0
PCMPEQD MM4,MM4
PSRLQ MM4,0x20
PMULUDQ MM0,MM6
PADDD MM5,MM5
MOV EAX,dword ptr [ESP + 0x8]
MOV ECX,dword ptr [ESP + 0x4]
PXOR MM1,MM1
PSUBD MM5,MM0
PXOR MM0,MM0
MOVD MM2,dword ptr [EAX]
MOVD MM3,dword ptr [EAX + 0x4]
ADD EAX,0x4
PUNPCKLDQ MM2,MM3
PSRLQ MM2,MM7
PAND MM2,MM4
PSUBQ MM2,MM0
PSUBQ MM2,MM1
MOVQ MM0,MM2
PSRLQ MM0,0x3f
PMULUDQ MM2,MM5
MOVD dword ptr [ECX],MM2
ADD ECX,0x4
MOVQ MM1,MM6
PMULUDQ MM1,MM2
PSRLQ MM1,0x20
SUB EDX,0x1
JNZ 0x0004086e
MOVD MM2,dword ptr [EAX]
PSRLQ MM2,MM7
PSUBQ MM2,MM0
PSUBQ MM2,MM1
PMULUDQ MM2,MM5
MOVD dword ptr [ECX],MM2
EMMS
RET
(translation_unit "/* WARNING: Function: __i686.get_pc_thunk.cx replaced with injection: get_pc_thunk_cx */\n\nvoid __gmpn_divexact_1_pentium4_sse2(uint *param_1,ulonglong *param_2,int param_3,uint param_4)\n\n{\n  uint uVar1;\n  uint uVar2;\n  int iVar3;\n  ulonglong uVar4;\n  ulonglong uVar5;\n  ulonglong uVar6;\n  ulonglong uVar7;\n  \n  param_3 = param_3 + -1;\n  if (param_3 == 0) {\n    *param_1 = (uint)*param_2 / param_4;\n    return;\n  }\n  uVar1 = 0;\n  if (param_4 != 0) {\n    for (; (param_4 >> uVar1 & 1) == 0; uVar1 = uVar1 + 1) {\n    }\n  }\n  param_4 = param_4 >> ((byte)uVar1 & 0x1f);\n  uVar2 = (uint)(byte)PTR___gmp_binvert_limb_table_0009dec8[param_4 >> 1 & 0x7f];\n  iVar3 = uVar2 * 2 - uVar2 * uVar2 * param_4;\n  uVar5 = 0;\n  iVar3 = iVar3 * 2 - iVar3 * iVar3 * param_4;\n  uVar4 = 0;\n  do {\n    uVar6 = *param_2;\n    param_2 = (ulonglong *)((int)param_2 + 4);\n    uVar7 = ((uVar6 >> (ulonglong)uVar1 & 0xffffffff) - uVar4) - uVar5;\n    uVar4 = uVar7 >> 0x3f;\n    uVar2 = (int)uVar7 * iVar3;\n    *param_1 = uVar2;\n    param_1 = param_1 + 1;\n    uVar6 = (ulonglong)param_4 * (ulonglong)uVar2;\n    uVar5 = uVar6 >> 0x20;\n    param_3 = param_3 + -1;\n  } while (param_3 != 0);\n  *param_1 = (((*(uint *)param_2 >> (ulonglong)uVar1) + (int)((longlong)uVar7 >> 0x3f)) -\n             (int)(uVar6 >> 0x20)) * iVar3;\n  return;\n}\n\n" comment (function_definition "void __gmpn_divexact_1_pentium4_sse2(uint *param_1,ulonglong *param_2,int param_3,uint param_4)\n\n{\n  uint uVar1;\n  uint uVar2;\n  int iVar3;\n  ulonglong uVar4;\n  ulonglong uVar5;\n  ulonglong uVar6;\n  ulonglong uVar7;\n  \n  param_3 = param_3 + -1;\n  if (param_3 == 0) {\n    *param_1 = (uint)*param_2 / param_4;\n    return;\n  }\n  uVar1 = 0;\n  if (param_4 != 0) {\n    for (; (param_4 >> uVar1 & 1) == 0; uVar1 = uVar1 + 1) {\n    }\n  }\n  param_4 = param_4 >> ((byte)uVar1 & 0x1f);\n  uVar2 = (uint)(byte)PTR___gmp_binvert_limb_table_0009dec8[param_4 >> 1 & 0x7f];\n  iVar3 = uVar2 * 2 - uVar2 * uVar2 * param_4;\n  uVar5 = 0;\n  iVar3 = iVar3 * 2 - iVar3 * iVar3 * param_4;\n  uVar4 = 0;\n  do {\n    uVar6 = *param_2;\n    param_2 = (ulonglong *)((int)param_2 + 4);\n    uVar7 = ((uVar6 >> (ulonglong)uVar1 & 0xffffffff) - uVar4) - uVar5;\n    uVar4 = uVar7 >> 0x3f;\n    uVar2 = (int)uVar7 * iVar3;\n    *param_1 = uVar2;\n    param_1 = param_1 + 1;\n    uVar6 = (ulonglong)param_4 * (ulonglong)uVar2;\n    uVar5 = uVar6 >> 0x20;\n    param_3 = param_3 + -1;\n  } while (param_3 != 0);\n  *param_1 = (((*(uint *)param_2 >> (ulonglong)uVar1) + (int)((longlong)uVar7 >> 0x3f)) -\n             (int)(uVar6 >> 0x20)) * iVar3;\n  return;\n}" primitive_type (function_declarator "__gmpn_divexact_1_pentium4_sse2(uint *param_1,ulonglong *param_2,int param_3,uint param_4)" identifier (parameter_list "(uint *param_1,ulonglong *param_2,int param_3,uint param_4)" ( (parameter_declaration "uint *param_1" type_identifier (pointer_declarator "*param_1" * identifier)) , (parameter_declaration "ulonglong *param_2" type_identifier (pointer_declarator "*param_2" * identifier)) , (parameter_declaration "int param_3" primitive_type identifier) , (parameter_declaration "uint param_4" type_identifier identifier) ))) (compound_statement "{\n  uint uVar1;\n  uint uVar2;\n  int iVar3;\n  ulonglong uVar4;\n  ulonglong uVar5;\n  ulonglong uVar6;\n  ulonglong uVar7;\n  \n  param_3 = param_3 + -1;\n  if (param_3 == 0) {\n    *param_1 = (uint)*param_2 / param_4;\n    return;\n  }\n  uVar1 = 0;\n  if (param_4 != 0) {\n    for (; (param_4 >> uVar1 & 1) == 0; uVar1 = uVar1 + 1) {\n    }\n  }\n  param_4 = param_4 >> ((byte)uVar1 & 0x1f);\n  uVar2 = (uint)(byte)PTR___gmp_binvert_limb_table_0009dec8[param_4 >> 1 & 0x7f];\n  iVar3 = uVar2 * 2 - uVar2 * uVar2 * param_4;\n  uVar5 = 0;\n  iVar3 = iVar3 * 2 - iVar3 * iVar3 * param_4;\n  uVar4 = 0;\n  do {\n    uVar6 = *param_2;\n    param_2 = (ulonglong *)((int)param_2 + 4);\n    uVar7 = ((uVar6 >> (ulonglong)uVar1 & 0xffffffff) - uVar4) - uVar5;\n    uVar4 = uVar7 >> 0x3f;\n    uVar2 = (int)uVar7 * iVar3;\n    *param_1 = uVar2;\n    param_1 = param_1 + 1;\n    uVar6 = (ulonglong)param_4 * (ulonglong)uVar2;\n    uVar5 = uVar6 >> 0x20;\n    param_3 = param_3 + -1;\n  } while (param_3 != 0);\n  *param_1 = (((*(uint *)param_2 >> (ulonglong)uVar1) + (int)((longlong)uVar7 >> 0x3f)) -\n             (int)(uVar6 >> 0x20)) * iVar3;\n  return;\n}" { (declaration "uint uVar1;" type_identifier identifier ;) (declaration "uint uVar2;" type_identifier identifier ;) (declaration "int iVar3;" primitive_type identifier ;) (declaration "ulonglong uVar4;" type_identifier identifier ;) (declaration "ulonglong uVar5;" type_identifier identifier ;) (declaration "ulonglong uVar6;" type_identifier identifier ;) (declaration "ulonglong uVar7;" type_identifier identifier ;) (expression_statement "param_3 = param_3 + -1;" (assignment_expression "param_3 = param_3 + -1" identifier = (binary_expression "param_3 + -1" identifier + number_literal)) ;) (if_statement "if (param_3 == 0) {\n    *param_1 = (uint)*param_2 / param_4;\n    return;\n  }" if (parenthesized_expression "(param_3 == 0)" ( (binary_expression "param_3 == 0" identifier == number_literal) )) (compound_statement "{\n    *param_1 = (uint)*param_2 / param_4;\n    return;\n  }" { (expression_statement "*param_1 = (uint)*param_2 / param_4;" (assignment_expression "*param_1 = (uint)*param_2 / param_4" (pointer_expression "*param_1" * identifier) = (binary_expression "(uint)*param_2 / param_4" (binary_expression "(uint)*param_2" (parenthesized_expression "(uint)" ( identifier )) * identifier) / identifier)) ;) (return_statement "return;" return ;) })) (expression_statement "uVar1 = 0;" (assignment_expression "uVar1 = 0" identifier = number_literal) ;) (if_statement "if (param_4 != 0) {\n    for (; (param_4 >> uVar1 & 1) == 0; uVar1 = uVar1 + 1) {\n    }\n  }" if (parenthesized_expression "(param_4 != 0)" ( (binary_expression "param_4 != 0" identifier != number_literal) )) (compound_statement "{\n    for (; (param_4 >> uVar1 & 1) == 0; uVar1 = uVar1 + 1) {\n    }\n  }" { (for_statement "for (; (param_4 >> uVar1 & 1) == 0; uVar1 = uVar1 + 1) {\n    }" for ( ; (binary_expression "(param_4 >> uVar1 & 1) == 0" (parenthesized_expression "(param_4 >> uVar1 & 1)" ( (binary_expression "param_4 >> uVar1 & 1" (binary_expression "param_4 >> uVar1" identifier >> identifier) & number_literal) )) == number_literal) ; (assignment_expression "uVar1 = uVar1 + 1" identifier = (binary_expression "uVar1 + 1" identifier + number_literal)) ) (compound_statement "{\n    }" { })) })) (expression_statement "param_4 = param_4 >> ((byte)uVar1 & 0x1f);" (assignment_expression "param_4 = param_4 >> ((byte)uVar1 & 0x1f)" identifier = (binary_expression "param_4 >> ((byte)uVar1 & 0x1f)" identifier >> (parenthesized_expression "((byte)uVar1 & 0x1f)" ( (binary_expression "(byte)uVar1 & 0x1f" (cast_expression "(byte)uVar1" ( (type_descriptor "byte" type_identifier) ) identifier) & number_literal) )))) ;) (expression_statement "uVar2 = (uint)(byte)PTR___gmp_binvert_limb_table_0009dec8[param_4 >> 1 & 0x7f];" (assignment_expression "uVar2 = (uint)(byte)PTR___gmp_binvert_limb_table_0009dec8[param_4 >> 1 & 0x7f]" identifier = (cast_expression "(uint)(byte)PTR___gmp_binvert_limb_table_0009dec8[param_4 >> 1 & 0x7f]" ( (type_descriptor "uint" type_identifier) ) (cast_expression "(byte)PTR___gmp_binvert_limb_table_0009dec8[param_4 >> 1 & 0x7f]" ( (type_descriptor "byte" type_identifier) ) (subscript_expression "PTR___gmp_binvert_limb_table_0009dec8[param_4 >> 1 & 0x7f]" identifier [ (binary_expression "param_4 >> 1 & 0x7f" (binary_expression "param_4 >> 1" identifier >> number_literal) & number_literal) ])))) ;) (expression_statement "iVar3 = uVar2 * 2 - uVar2 * uVar2 * param_4;" (assignment_expression "iVar3 = uVar2 * 2 - uVar2 * uVar2 * param_4" identifier = (binary_expression "uVar2 * 2 - uVar2 * uVar2 * param_4" (binary_expression "uVar2 * 2" identifier * number_literal) - (binary_expression "uVar2 * uVar2 * param_4" (binary_expression "uVar2 * uVar2" identifier * identifier) * identifier))) ;) (expression_statement "uVar5 = 0;" (assignment_expression "uVar5 = 0" identifier = number_literal) ;) (expression_statement "iVar3 = iVar3 * 2 - iVar3 * iVar3 * param_4;" (assignment_expression "iVar3 = iVar3 * 2 - iVar3 * iVar3 * param_4" identifier = (binary_expression "iVar3 * 2 - iVar3 * iVar3 * param_4" (binary_expression "iVar3 * 2" identifier * number_literal) - (binary_expression "iVar3 * iVar3 * param_4" (binary_expression "iVar3 * iVar3" identifier * identifier) * identifier))) ;) (expression_statement "uVar4 = 0;" (assignment_expression "uVar4 = 0" identifier = number_literal) ;) (do_statement "do {\n    uVar6 = *param_2;\n    param_2 = (ulonglong *)((int)param_2 + 4);\n    uVar7 = ((uVar6 >> (ulonglong)uVar1 & 0xffffffff) - uVar4) - uVar5;\n    uVar4 = uVar7 >> 0x3f;\n    uVar2 = (int)uVar7 * iVar3;\n    *param_1 = uVar2;\n    param_1 = param_1 + 1;\n    uVar6 = (ulonglong)param_4 * (ulonglong)uVar2;\n    uVar5 = uVar6 >> 0x20;\n    param_3 = param_3 + -1;\n  } while (param_3 != 0);" do (compound_statement "{\n    uVar6 = *param_2;\n    param_2 = (ulonglong *)((int)param_2 + 4);\n    uVar7 = ((uVar6 >> (ulonglong)uVar1 & 0xffffffff) - uVar4) - uVar5;\n    uVar4 = uVar7 >> 0x3f;\n    uVar2 = (int)uVar7 * iVar3;\n    *param_1 = uVar2;\n    param_1 = param_1 + 1;\n    uVar6 = (ulonglong)param_4 * (ulonglong)uVar2;\n    uVar5 = uVar6 >> 0x20;\n    param_3 = param_3 + -1;\n  }" { (expression_statement "uVar6 = *param_2;" (assignment_expression "uVar6 = *param_2" identifier = (pointer_expression "*param_2" * identifier)) ;) (expression_statement "param_2 = (ulonglong *)((int)param_2 + 4);" (assignment_expression "param_2 = (ulonglong *)((int)param_2 + 4)" identifier = (cast_expression "(ulonglong *)((int)param_2 + 4)" ( (type_descriptor "ulonglong *" type_identifier (abstract_pointer_declarator "*" *)) ) (parenthesized_expression "((int)param_2 + 4)" ( (binary_expression "(int)param_2 + 4" (cast_expression "(int)param_2" ( (type_descriptor "int" primitive_type) ) identifier) + number_literal) )))) ;) (expression_statement "uVar7 = ((uVar6 >> (ulonglong)uVar1 & 0xffffffff) - uVar4) - uVar5;" (assignment_expression "uVar7 = ((uVar6 >> (ulonglong)uVar1 & 0xffffffff) - uVar4) - uVar5" identifier = (binary_expression "((uVar6 >> (ulonglong)uVar1 & 0xffffffff) - uVar4) - uVar5" (parenthesized_expression "((uVar6 >> (ulonglong)uVar1 & 0xffffffff) - uVar4)" ( (binary_expression "(uVar6 >> (ulonglong)uVar1 & 0xffffffff) - uVar4" (parenthesized_expression "(uVar6 >> (ulonglong)uVar1 & 0xffffffff)" ( (binary_expression "uVar6 >> (ulonglong)uVar1 & 0xffffffff" (binary_expression "uVar6 >> (ulonglong)uVar1" identifier >> (cast_expression "(ulonglong)uVar1" ( (type_descriptor "ulonglong" type_identifier) ) identifier)) & number_literal) )) - identifier) )) - identifier)) ;) (expression_statement "uVar4 = uVar7 >> 0x3f;" (assignment_expression "uVar4 = uVar7 >> 0x3f" identifier = (binary_expression "uVar7 >> 0x3f" identifier >> number_literal)) ;) (expression_statement "uVar2 = (int)uVar7 * iVar3;" (assignment_expression "uVar2 = (int)uVar7 * iVar3" identifier = (binary_expression "(int)uVar7 * iVar3" (cast_expression "(int)uVar7" ( (type_descriptor "int" primitive_type) ) identifier) * identifier)) ;) (expression_statement "*param_1 = uVar2;" (assignment_expression "*param_1 = uVar2" (pointer_expression "*param_1" * identifier) = identifier) ;) (expression_statement "param_1 = param_1 + 1;" (assignment_expression "param_1 = param_1 + 1" identifier = (binary_expression "param_1 + 1" identifier + number_literal)) ;) (expression_statement "uVar6 = (ulonglong)param_4 * (ulonglong)uVar2;" (assignment_expression "uVar6 = (ulonglong)param_4 * (ulonglong)uVar2" identifier = (binary_expression "(ulonglong)param_4 * (ulonglong)uVar2" (cast_expression "(ulonglong)param_4" ( (type_descriptor "ulonglong" type_identifier) ) identifier) * (cast_expression "(ulonglong)uVar2" ( (type_descriptor "ulonglong" type_identifier) ) identifier))) ;) (expression_statement "uVar5 = uVar6 >> 0x20;" (assignment_expression "uVar5 = uVar6 >> 0x20" identifier = (binary_expression "uVar6 >> 0x20" identifier >> number_literal)) ;) (expression_statement "param_3 = param_3 + -1;" (assignment_expression "param_3 = param_3 + -1" identifier = (binary_expression "param_3 + -1" identifier + number_literal)) ;) }) while (parenthesized_expression "(param_3 != 0)" ( (binary_expression "param_3 != 0" identifier != number_literal) )) ;) (expression_statement "*param_1 = (((*(uint *)param_2 >> (ulonglong)uVar1) + (int)((longlong)uVar7 >> 0x3f)) -\n             (int)(uVar6 >> 0x20)) * iVar3;" (assignment_expression "*param_1 = (((*(uint *)param_2 >> (ulonglong)uVar1) + (int)((longlong)uVar7 >> 0x3f)) -\n             (int)(uVar6 >> 0x20)) * iVar3" (pointer_expression "*param_1" * identifier) = (binary_expression "(((*(uint *)param_2 >> (ulonglong)uVar1) + (int)((longlong)uVar7 >> 0x3f)) -\n             (int)(uVar6 >> 0x20)) * iVar3" (parenthesized_expression "(((*(uint *)param_2 >> (ulonglong)uVar1) + (int)((longlong)uVar7 >> 0x3f)) -\n             (int)(uVar6 >> 0x20))" ( (binary_expression "((*(uint *)param_2 >> (ulonglong)uVar1) + (int)((longlong)uVar7 >> 0x3f)) -\n             (int)(uVar6 >> 0x20)" (parenthesized_expression "((*(uint *)param_2 >> (ulonglong)uVar1) + (int)((longlong)uVar7 >> 0x3f))" ( (binary_expression "(*(uint *)param_2 >> (ulonglong)uVar1) + (int)((longlong)uVar7 >> 0x3f)" (parenthesized_expression "(*(uint *)param_2 >> (ulonglong)uVar1)" ( (binary_expression "*(uint *)param_2 >> (ulonglong)uVar1" (pointer_expression "*(uint *)param_2" * (cast_expression "(uint *)param_2" ( (type_descriptor "uint *" type_identifier (abstract_pointer_declarator "*" *)) ) identifier)) >> (cast_expression "(ulonglong)uVar1" ( (type_descriptor "ulonglong" type_identifier) ) identifier)) )) + (cast_expression "(int)((longlong)uVar7 >> 0x3f)" ( (type_descriptor "int" primitive_type) ) (parenthesized_expression "((longlong)uVar7 >> 0x3f)" ( (binary_expression "(longlong)uVar7 >> 0x3f" (cast_expression "(longlong)uVar7" ( (type_descriptor "longlong" type_identifier) ) identifier) >> number_literal) )))) )) - (cast_expression "(int)(uVar6 >> 0x20)" ( (type_descriptor "int" primitive_type) ) (parenthesized_expression "(uVar6 >> 0x20)" ( (binary_expression "uVar6 >> 0x20" identifier >> number_literal) )))) )) * identifier)) ;) (return_statement "return;" return ;) })))
(translation_unit "/* WARNING: Function: __i686.get_pc_thunk.cx replaced with injection: get_pc_thunk_cx */\n\nvoid __gmpn_divexact_1_pentium4_sse2(uint *param_1,ulonglong *param_2,int param_3,uint param_4)\n\n{\n  uint uVar1;\n  uint uVar2;\n  int iVar3;\n  ulonglong uVar4;\n  ulonglong uVar5;\n  ulonglong uVar6;\n  ulonglong uVar7;\n  \n  param_3 = param_3 + -1;\n  if (param_3 == 0) {\n    *param_1 = (uint)*param_2 / param_4;\n    return;\n  }\n  uVar1 = 0;\n  if (param_4 != 0) {\n    for (; (param_4 >> uVar1 & 1) == 0; uVar1 = uVar1 + 1) {\n    }\n  }\n  param_4 = param_4 >> ((byte)uVar1 & 0x1f);\n  uVar2 = (uint)(byte)PTR___gmp_binvert_limb_table_0009dec8[param_4 >> 1 & 0x7f];\n  iVar3 = uVar2 * 2 - uVar2 * uVar2 * param_4;\n  uVar5 = 0;\n  iVar3 = iVar3 * 2 - iVar3 * iVar3 * param_4;\n  uVar4 = 0;\n  do {\n    uVar6 = *param_2;\n    param_2 = (ulonglong *)((int)param_2 + 4);\n    uVar7 = ((uVar6 >> (ulonglong)uVar1 & 0xffffffff) - uVar4) - uVar5;\n    uVar4 = uVar7 >> 0x3f;\n    uVar2 = (int)uVar7 * iVar3;\n    *param_1 = uVar2;\n    param_1 = param_1 + 1;\n    uVar6 = (ulonglong)param_4 * (ulonglong)uVar2;\n    uVar5 = uVar6 >> 0x20;\n    param_3 = param_3 + -1;\n  } while (param_3 != 0);\n  *param_1 = (((*(uint *)param_2 >> (ulonglong)uVar1) + (int)((longlong)uVar7 >> 0x3f)) -\n             (int)(uVar6 >> 0x20)) * iVar3;\n  return;\n}\n\n" comment (function_definition "void __gmpn_divexact_1_pentium4_sse2(uint *param_1,ulonglong *param_2,int param_3,uint param_4)\n\n{\n  uint uVar1;\n  uint uVar2;\n  int iVar3;\n  ulonglong uVar4;\n  ulonglong uVar5;\n  ulonglong uVar6;\n  ulonglong uVar7;\n  \n  param_3 = param_3 + -1;\n  if (param_3 == 0) {\n    *param_1 = (uint)*param_2 / param_4;\n    return;\n  }\n  uVar1 = 0;\n  if (param_4 != 0) {\n    for (; (param_4 >> uVar1 & 1) == 0; uVar1 = uVar1 + 1) {\n    }\n  }\n  param_4 = param_4 >> ((byte)uVar1 & 0x1f);\n  uVar2 = (uint)(byte)PTR___gmp_binvert_limb_table_0009dec8[param_4 >> 1 & 0x7f];\n  iVar3 = uVar2 * 2 - uVar2 * uVar2 * param_4;\n  uVar5 = 0;\n  iVar3 = iVar3 * 2 - iVar3 * iVar3 * param_4;\n  uVar4 = 0;\n  do {\n    uVar6 = *param_2;\n    param_2 = (ulonglong *)((int)param_2 + 4);\n    uVar7 = ((uVar6 >> (ulonglong)uVar1 & 0xffffffff) - uVar4) - uVar5;\n    uVar4 = uVar7 >> 0x3f;\n    uVar2 = (int)uVar7 * iVar3;\n    *param_1 = uVar2;\n    param_1 = param_1 + 1;\n    uVar6 = (ulonglong)param_4 * (ulonglong)uVar2;\n    uVar5 = uVar6 >> 0x20;\n    param_3 = param_3 + -1;\n  } while (param_3 != 0);\n  *param_1 = (((*(uint *)param_2 >> (ulonglong)uVar1) + (int)((longlong)uVar7 >> 0x3f)) -\n             (int)(uVar6 >> 0x20)) * iVar3;\n  return;\n}" primitive_type (function_declarator "__gmpn_divexact_1_pentium4_sse2(uint *param_1,ulonglong *param_2,int param_3,uint param_4)" identifier (parameter_list "(uint *param_1,ulonglong *param_2,int param_3,uint param_4)" ( (parameter_declaration "uint *param_1" type_identifier (pointer_declarator "*param_1" * identifier)) , (parameter_declaration "ulonglong *param_2" type_identifier (pointer_declarator "*param_2" * identifier)) , (parameter_declaration "int param_3" primitive_type identifier) , (parameter_declaration "uint param_4" type_identifier identifier) ))) (compound_statement "{\n  uint uVar1;\n  uint uVar2;\n  int iVar3;\n  ulonglong uVar4;\n  ulonglong uVar5;\n  ulonglong uVar6;\n  ulonglong uVar7;\n  \n  param_3 = param_3 + -1;\n  if (param_3 == 0) {\n    *param_1 = (uint)*param_2 / param_4;\n    return;\n  }\n  uVar1 = 0;\n  if (param_4 != 0) {\n    for (; (param_4 >> uVar1 & 1) == 0; uVar1 = uVar1 + 1) {\n    }\n  }\n  param_4 = param_4 >> ((byte)uVar1 & 0x1f);\n  uVar2 = (uint)(byte)PTR___gmp_binvert_limb_table_0009dec8[param_4 >> 1 & 0x7f];\n  iVar3 = uVar2 * 2 - uVar2 * uVar2 * param_4;\n  uVar5 = 0;\n  iVar3 = iVar3 * 2 - iVar3 * iVar3 * param_4;\n  uVar4 = 0;\n  do {\n    uVar6 = *param_2;\n    param_2 = (ulonglong *)((int)param_2 + 4);\n    uVar7 = ((uVar6 >> (ulonglong)uVar1 & 0xffffffff) - uVar4) - uVar5;\n    uVar4 = uVar7 >> 0x3f;\n    uVar2 = (int)uVar7 * iVar3;\n    *param_1 = uVar2;\n    param_1 = param_1 + 1;\n    uVar6 = (ulonglong)param_4 * (ulonglong)uVar2;\n    uVar5 = uVar6 >> 0x20;\n    param_3 = param_3 + -1;\n  } while (param_3 != 0);\n  *param_1 = (((*(uint *)param_2 >> (ulonglong)uVar1) + (int)((longlong)uVar7 >> 0x3f)) -\n             (int)(uVar6 >> 0x20)) * iVar3;\n  return;\n}" { (declaration "uint uVar1;" type_identifier identifier ;) (declaration "uint uVar2;" type_identifier identifier ;) (declaration "int iVar3;" primitive_type identifier ;) (declaration "ulonglong uVar4;" type_identifier identifier ;) (declaration "ulonglong uVar5;" type_identifier identifier ;) (declaration "ulonglong uVar6;" type_identifier identifier ;) (declaration "ulonglong uVar7;" type_identifier identifier ;) (expression_statement "param_3 = param_3 + -1;" (assignment_expression "param_3 = param_3 + -1" identifier = (binary_expression "param_3 + -1" identifier + number_literal)) ;) (if_statement "if (param_3 == 0) {\n    *param_1 = (uint)*param_2 / param_4;\n    return;\n  }" if (parenthesized_expression "(param_3 == 0)" ( (binary_expression "param_3 == 0" identifier == number_literal) )) (compound_statement "{\n    *param_1 = (uint)*param_2 / param_4;\n    return;\n  }" { (expression_statement "*param_1 = (uint)*param_2 / param_4;" (assignment_expression "*param_1 = (uint)*param_2 / param_4" (pointer_expression "*param_1" * identifier) = (binary_expression "(uint)*param_2 / param_4" (binary_expression "(uint)*param_2" (parenthesized_expression "(uint)" ( identifier )) * identifier) / identifier)) ;) (return_statement "return;" return ;) })) (expression_statement "uVar1 = 0;" (assignment_expression "uVar1 = 0" identifier = number_literal) ;) (if_statement "if (param_4 != 0) {\n    for (; (param_4 >> uVar1 & 1) == 0; uVar1 = uVar1 + 1) {\n    }\n  }" if (parenthesized_expression "(param_4 != 0)" ( (binary_expression "param_4 != 0" identifier != number_literal) )) (compound_statement "{\n    for (; (param_4 >> uVar1 & 1) == 0; uVar1 = uVar1 + 1) {\n    }\n  }" { (for_statement "for (; (param_4 >> uVar1 & 1) == 0; uVar1 = uVar1 + 1) {\n    }" for ( ; (binary_expression "(param_4 >> uVar1 & 1) == 0" (parenthesized_expression "(param_4 >> uVar1 & 1)" ( (binary_expression "param_4 >> uVar1 & 1" (binary_expression "param_4 >> uVar1" identifier >> identifier) & number_literal) )) == number_literal) ; (assignment_expression "uVar1 = uVar1 + 1" identifier = (binary_expression "uVar1 + 1" identifier + number_literal)) ) (compound_statement "{\n    }" { })) })) (expression_statement "param_4 = param_4 >> ((byte)uVar1 & 0x1f);" (assignment_expression "param_4 = param_4 >> ((byte)uVar1 & 0x1f)" identifier = (binary_expression "param_4 >> ((byte)uVar1 & 0x1f)" identifier >> (parenthesized_expression "((byte)uVar1 & 0x1f)" ( (binary_expression "(byte)uVar1 & 0x1f" (cast_expression "(byte)uVar1" ( (type_descriptor "byte" type_identifier) ) identifier) & number_literal) )))) ;) (expression_statement "uVar2 = (uint)(byte)PTR___gmp_binvert_limb_table_0009dec8[param_4 >> 1 & 0x7f];" (assignment_expression "uVar2 = (uint)(byte)PTR___gmp_binvert_limb_table_0009dec8[param_4 >> 1 & 0x7f]" identifier = (cast_expression "(uint)(byte)PTR___gmp_binvert_limb_table_0009dec8[param_4 >> 1 & 0x7f]" ( (type_descriptor "uint" type_identifier) ) (cast_expression "(byte)PTR___gmp_binvert_limb_table_0009dec8[param_4 >> 1 & 0x7f]" ( (type_descriptor "byte" type_identifier) ) (subscript_expression "PTR___gmp_binvert_limb_table_0009dec8[param_4 >> 1 & 0x7f]" identifier [ (binary_expression "param_4 >> 1 & 0x7f" (binary_expression "param_4 >> 1" identifier >> number_literal) & number_literal) ])))) ;) (expression_statement "iVar3 = uVar2 * 2 - uVar2 * uVar2 * param_4;" (assignment_expression "iVar3 = uVar2 * 2 - uVar2 * uVar2 * param_4" identifier = (binary_expression "uVar2 * 2 - uVar2 * uVar2 * param_4" (binary_expression "uVar2 * 2" identifier * number_literal) - (binary_expression "uVar2 * uVar2 * param_4" (binary_expression "uVar2 * uVar2" identifier * identifier) * identifier))) ;) (expression_statement "uVar5 = 0;" (assignment_expression "uVar5 = 0" identifier = number_literal) ;) (expression_statement "iVar3 = iVar3 * 2 - iVar3 * iVar3 * param_4;" (assignment_expression "iVar3 = iVar3 * 2 - iVar3 * iVar3 * param_4" identifier = (binary_expression "iVar3 * 2 - iVar3 * iVar3 * param_4" (binary_expression "iVar3 * 2" identifier * number_literal) - (binary_expression "iVar3 * iVar3 * param_4" (binary_expression "iVar3 * iVar3" identifier * identifier) * identifier))) ;) (expression_statement "uVar4 = 0;" (assignment_expression "uVar4 = 0" identifier = number_literal) ;) (do_statement "do {\n    uVar6 = *param_2;\n    param_2 = (ulonglong *)((int)param_2 + 4);\n    uVar7 = ((uVar6 >> (ulonglong)uVar1 & 0xffffffff) - uVar4) - uVar5;\n    uVar4 = uVar7 >> 0x3f;\n    uVar2 = (int)uVar7 * iVar3;\n    *param_1 = uVar2;\n    param_1 = param_1 + 1;\n    uVar6 = (ulonglong)param_4 * (ulonglong)uVar2;\n    uVar5 = uVar6 >> 0x20;\n    param_3 = param_3 + -1;\n  } while (param_3 != 0);" do (compound_statement "{\n    uVar6 = *param_2;\n    param_2 = (ulonglong *)((int)param_2 + 4);\n    uVar7 = ((uVar6 >> (ulonglong)uVar1 & 0xffffffff) - uVar4) - uVar5;\n    uVar4 = uVar7 >> 0x3f;\n    uVar2 = (int)uVar7 * iVar3;\n    *param_1 = uVar2;\n    param_1 = param_1 + 1;\n    uVar6 = (ulonglong)param_4 * (ulonglong)uVar2;\n    uVar5 = uVar6 >> 0x20;\n    param_3 = param_3 + -1;\n  }" { (expression_statement "uVar6 = *param_2;" (assignment_expression "uVar6 = *param_2" identifier = (pointer_expression "*param_2" * identifier)) ;) (expression_statement "param_2 = (ulonglong *)((int)param_2 + 4);" (assignment_expression "param_2 = (ulonglong *)((int)param_2 + 4)" identifier = (cast_expression "(ulonglong *)((int)param_2 + 4)" ( (type_descriptor "ulonglong *" type_identifier (abstract_pointer_declarator "*" *)) ) (parenthesized_expression "((int)param_2 + 4)" ( (binary_expression "(int)param_2 + 4" (cast_expression "(int)param_2" ( (type_descriptor "int" primitive_type) ) identifier) + number_literal) )))) ;) (expression_statement "uVar7 = ((uVar6 >> (ulonglong)uVar1 & 0xffffffff) - uVar4) - uVar5;" (assignment_expression "uVar7 = ((uVar6 >> (ulonglong)uVar1 & 0xffffffff) - uVar4) - uVar5" identifier = (binary_expression "((uVar6 >> (ulonglong)uVar1 & 0xffffffff) - uVar4) - uVar5" (parenthesized_expression "((uVar6 >> (ulonglong)uVar1 & 0xffffffff) - uVar4)" ( (binary_expression "(uVar6 >> (ulonglong)uVar1 & 0xffffffff) - uVar4" (parenthesized_expression "(uVar6 >> (ulonglong)uVar1 & 0xffffffff)" ( (binary_expression "uVar6 >> (ulonglong)uVar1 & 0xffffffff" (binary_expression "uVar6 >> (ulonglong)uVar1" identifier >> (cast_expression "(ulonglong)uVar1" ( (type_descriptor "ulonglong" type_identifier) ) identifier)) & number_literal) )) - identifier) )) - identifier)) ;) (expression_statement "uVar4 = uVar7 >> 0x3f;" (assignment_expression "uVar4 = uVar7 >> 0x3f" identifier = (binary_expression "uVar7 >> 0x3f" identifier >> number_literal)) ;) (expression_statement "uVar2 = (int)uVar7 * iVar3;" (assignment_expression "uVar2 = (int)uVar7 * iVar3" identifier = (binary_expression "(int)uVar7 * iVar3" (cast_expression "(int)uVar7" ( (type_descriptor "int" primitive_type) ) identifier) * identifier)) ;) (expression_statement "*param_1 = uVar2;" (assignment_expression "*param_1 = uVar2" (pointer_expression "*param_1" * identifier) = identifier) ;) (expression_statement "param_1 = param_1 + 1;" (assignment_expression "param_1 = param_1 + 1" identifier = (binary_expression "param_1 + 1" identifier + number_literal)) ;) (expression_statement "uVar6 = (ulonglong)param_4 * (ulonglong)uVar2;" (assignment_expression "uVar6 = (ulonglong)param_4 * (ulonglong)uVar2" identifier = (binary_expression "(ulonglong)param_4 * (ulonglong)uVar2" (cast_expression "(ulonglong)param_4" ( (type_descriptor "ulonglong" type_identifier) ) identifier) * (cast_expression "(ulonglong)uVar2" ( (type_descriptor "ulonglong" type_identifier) ) identifier))) ;) (expression_statement "uVar5 = uVar6 >> 0x20;" (assignment_expression "uVar5 = uVar6 >> 0x20" identifier = (binary_expression "uVar6 >> 0x20" identifier >> number_literal)) ;) (expression_statement "param_3 = param_3 + -1;" (assignment_expression "param_3 = param_3 + -1" identifier = (binary_expression "param_3 + -1" identifier + number_literal)) ;) }) while (parenthesized_expression "(param_3 != 0)" ( (binary_expression "param_3 != 0" identifier != number_literal) )) ;) (expression_statement "*param_1 = (((*(uint *)param_2 >> (ulonglong)uVar1) + (int)((longlong)uVar7 >> 0x3f)) -\n             (int)(uVar6 >> 0x20)) * iVar3;" (assignment_expression "*param_1 = (((*(uint *)param_2 >> (ulonglong)uVar1) + (int)((longlong)uVar7 >> 0x3f)) -\n             (int)(uVar6 >> 0x20)) * iVar3" (pointer_expression "*param_1" * identifier) = (binary_expression "(((*(uint *)param_2 >> (ulonglong)uVar1) + (int)((longlong)uVar7 >> 0x3f)) -\n             (int)(uVar6 >> 0x20)) * iVar3" (parenthesized_expression "(((*(uint *)param_2 >> (ulonglong)uVar1) + (int)((longlong)uVar7 >> 0x3f)) -\n             (int)(uVar6 >> 0x20))" ( (binary_expression "((*(uint *)param_2 >> (ulonglong)uVar1) + (int)((longlong)uVar7 >> 0x3f)) -\n             (int)(uVar6 >> 0x20)" (parenthesized_expression "((*(uint *)param_2 >> (ulonglong)uVar1) + (int)((longlong)uVar7 >> 0x3f))" ( (binary_expression "(*(uint *)param_2 >> (ulonglong)uVar1) + (int)((longlong)uVar7 >> 0x3f)" (parenthesized_expression "(*(uint *)param_2 >> (ulonglong)uVar1)" ( (binary_expression "*(uint *)param_2 >> (ulonglong)uVar1" (pointer_expression "*(uint *)param_2" * (cast_expression "(uint *)param_2" ( (type_descriptor "uint *" type_identifier (abstract_pointer_declarator "*" *)) ) identifier)) >> (cast_expression "(ulonglong)uVar1" ( (type_descriptor "ulonglong" type_identifier) ) identifier)) )) + (cast_expression "(int)((longlong)uVar7 >> 0x3f)" ( (type_descriptor "int" primitive_type) ) (parenthesized_expression "((longlong)uVar7 >> 0x3f)" ( (binary_expression "(longlong)uVar7 >> 0x3f" (cast_expression "(longlong)uVar7" ( (type_descriptor "longlong" type_identifier) ) identifier) >> number_literal) )))) )) - (cast_expression "(int)(uVar6 >> 0x20)" ( (type_descriptor "int" primitive_type) ) (parenthesized_expression "(uVar6 >> 0x20)" ( (binary_expression "uVar6 >> 0x20" identifier >> number_literal) )))) )) * identifier)) ;) (return_statement "return;" return ;) })))
(translation_unit "void __gmpn_divexact_1_pentium4_sse2(uint *param_1,ulonglong *param_2,int param_3,uint param_4)\n\n{\n  uint uVar1;\n  uint uVar2;\n  int iVar3;\n  ulonglong uVar4;\n  ulonglong uVar5;\n  ulonglong uVar6;\n  ulonglong uVar7;\n  \n  param_3 = param_3 + -1;\n  if (param_3 == 0) {\n    *param_1 = (uint)*param_2 / param_4;\n    return;\n  }\n  uVar1 = 0;\n  if (param_4 != 0) {\n    for (; (param_4 >> uVar1 & 1) == 0; uVar1 = uVar1 + 1) {\n    }\n  }\n  param_4 = param_4 >> ((byte)uVar1 & 0x1f);\n  uVar2 = (uint)(byte)PTR___gmp_binvert_limb_table_0009dec8[param_4 >> 1 & 0x7f];\n  iVar3 = uVar2 * 2 - uVar2 * uVar2 * param_4;\n  uVar5 = 0;\n  iVar3 = iVar3 * 2 - iVar3 * iVar3 * param_4;\n  uVar4 = 0;\n  do {\n    uVar6 = *param_2;\n    param_2 = (ulonglong *)((int)param_2 + 4);\n    uVar7 = ((uVar6 >> (ulonglong)uVar1 & 0xffffffff) - uVar4) - uVar5;\n    uVar4 = uVar7 >> 0x3f;\n    uVar2 = (int)uVar7 * iVar3;\n    *param_1 = uVar2;\n    param_1 = param_1 + 1;\n    uVar6 = (ulonglong)param_4 * (ulonglong)uVar2;\n    uVar5 = uVar6 >> 0x20;\n    param_3 = param_3 + -1;\n  } while (param_3 != 0);\n  *param_1 = (((*(uint *)param_2 >> (ulonglong)uVar1) + (int)((longlong)uVar7 >> 0x3f)) -\n             (int)(uVar6 >> 0x20)) * iVar3;\n  return;\n}\n\n" (function_definition "void __gmpn_divexact_1_pentium4_sse2(uint *param_1,ulonglong *param_2,int param_3,uint param_4)\n\n{\n  uint uVar1;\n  uint uVar2;\n  int iVar3;\n  ulonglong uVar4;\n  ulonglong uVar5;\n  ulonglong uVar6;\n  ulonglong uVar7;\n  \n  param_3 = param_3 + -1;\n  if (param_3 == 0) {\n    *param_1 = (uint)*param_2 / param_4;\n    return;\n  }\n  uVar1 = 0;\n  if (param_4 != 0) {\n    for (; (param_4 >> uVar1 & 1) == 0; uVar1 = uVar1 + 1) {\n    }\n  }\n  param_4 = param_4 >> ((byte)uVar1 & 0x1f);\n  uVar2 = (uint)(byte)PTR___gmp_binvert_limb_table_0009dec8[param_4 >> 1 & 0x7f];\n  iVar3 = uVar2 * 2 - uVar2 * uVar2 * param_4;\n  uVar5 = 0;\n  iVar3 = iVar3 * 2 - iVar3 * iVar3 * param_4;\n  uVar4 = 0;\n  do {\n    uVar6 = *param_2;\n    param_2 = (ulonglong *)((int)param_2 + 4);\n    uVar7 = ((uVar6 >> (ulonglong)uVar1 & 0xffffffff) - uVar4) - uVar5;\n    uVar4 = uVar7 >> 0x3f;\n    uVar2 = (int)uVar7 * iVar3;\n    *param_1 = uVar2;\n    param_1 = param_1 + 1;\n    uVar6 = (ulonglong)param_4 * (ulonglong)uVar2;\n    uVar5 = uVar6 >> 0x20;\n    param_3 = param_3 + -1;\n  } while (param_3 != 0);\n  *param_1 = (((*(uint *)param_2 >> (ulonglong)uVar1) + (int)((longlong)uVar7 >> 0x3f)) -\n             (int)(uVar6 >> 0x20)) * iVar3;\n  return;\n}" primitive_type (function_declarator "__gmpn_divexact_1_pentium4_sse2(uint *param_1,ulonglong *param_2,int param_3,uint param_4)" identifier (parameter_list "(uint *param_1,ulonglong *param_2,int param_3,uint param_4)" ( (parameter_declaration "uint *param_1" type_identifier (pointer_declarator "*param_1" * identifier)) , (parameter_declaration "ulonglong *param_2" type_identifier (pointer_declarator "*param_2" * identifier)) , (parameter_declaration "int param_3" primitive_type identifier) , (parameter_declaration "uint param_4" type_identifier identifier) ))) (compound_statement "{\n  uint uVar1;\n  uint uVar2;\n  int iVar3;\n  ulonglong uVar4;\n  ulonglong uVar5;\n  ulonglong uVar6;\n  ulonglong uVar7;\n  \n  param_3 = param_3 + -1;\n  if (param_3 == 0) {\n    *param_1 = (uint)*param_2 / param_4;\n    return;\n  }\n  uVar1 = 0;\n  if (param_4 != 0) {\n    for (; (param_4 >> uVar1 & 1) == 0; uVar1 = uVar1 + 1) {\n    }\n  }\n  param_4 = param_4 >> ((byte)uVar1 & 0x1f);\n  uVar2 = (uint)(byte)PTR___gmp_binvert_limb_table_0009dec8[param_4 >> 1 & 0x7f];\n  iVar3 = uVar2 * 2 - uVar2 * uVar2 * param_4;\n  uVar5 = 0;\n  iVar3 = iVar3 * 2 - iVar3 * iVar3 * param_4;\n  uVar4 = 0;\n  do {\n    uVar6 = *param_2;\n    param_2 = (ulonglong *)((int)param_2 + 4);\n    uVar7 = ((uVar6 >> (ulonglong)uVar1 & 0xffffffff) - uVar4) - uVar5;\n    uVar4 = uVar7 >> 0x3f;\n    uVar2 = (int)uVar7 * iVar3;\n    *param_1 = uVar2;\n    param_1 = param_1 + 1;\n    uVar6 = (ulonglong)param_4 * (ulonglong)uVar2;\n    uVar5 = uVar6 >> 0x20;\n    param_3 = param_3 + -1;\n  } while (param_3 != 0);\n  *param_1 = (((*(uint *)param_2 >> (ulonglong)uVar1) + (int)((longlong)uVar7 >> 0x3f)) -\n             (int)(uVar6 >> 0x20)) * iVar3;\n  return;\n}" { (declaration "uint uVar1;" type_identifier identifier ;) (declaration "uint uVar2;" type_identifier identifier ;) (declaration "int iVar3;" primitive_type identifier ;) (declaration "ulonglong uVar4;" type_identifier identifier ;) (declaration "ulonglong uVar5;" type_identifier identifier ;) (declaration "ulonglong uVar6;" type_identifier identifier ;) (declaration "ulonglong uVar7;" type_identifier identifier ;) (expression_statement "param_3 = param_3 + -1;" (assignment_expression "param_3 = param_3 + -1" identifier = (binary_expression "param_3 + -1" identifier + number_literal)) ;) (if_statement "if (param_3 == 0) {\n    *param_1 = (uint)*param_2 / param_4;\n    return;\n  }" if (parenthesized_expression "(param_3 == 0)" ( (binary_expression "param_3 == 0" identifier == number_literal) )) (compound_statement "{\n    *param_1 = (uint)*param_2 / param_4;\n    return;\n  }" { (expression_statement "*param_1 = (uint)*param_2 / param_4;" (assignment_expression "*param_1 = (uint)*param_2 / param_4" (pointer_expression "*param_1" * identifier) = (binary_expression "(uint)*param_2 / param_4" (binary_expression "(uint)*param_2" (parenthesized_expression "(uint)" ( identifier )) * identifier) / identifier)) ;) (return_statement "return;" return ;) })) (expression_statement "uVar1 = 0;" (assignment_expression "uVar1 = 0" identifier = number_literal) ;) (if_statement "if (param_4 != 0) {\n    for (; (param_4 >> uVar1 & 1) == 0; uVar1 = uVar1 + 1) {\n    }\n  }" if (parenthesized_expression "(param_4 != 0)" ( (binary_expression "param_4 != 0" identifier != number_literal) )) (compound_statement "{\n    for (; (param_4 >> uVar1 & 1) == 0; uVar1 = uVar1 + 1) {\n    }\n  }" { (for_statement "for (; (param_4 >> uVar1 & 1) == 0; uVar1 = uVar1 + 1) {\n    }" for ( ; (binary_expression "(param_4 >> uVar1 & 1) == 0" (parenthesized_expression "(param_4 >> uVar1 & 1)" ( (binary_expression "param_4 >> uVar1 & 1" (binary_expression "param_4 >> uVar1" identifier >> identifier) & number_literal) )) == number_literal) ; (assignment_expression "uVar1 = uVar1 + 1" identifier = (binary_expression "uVar1 + 1" identifier + number_literal)) ) (compound_statement "{\n    }" { })) })) (expression_statement "param_4 = param_4 >> ((byte)uVar1 & 0x1f);" (assignment_expression "param_4 = param_4 >> ((byte)uVar1 & 0x1f)" identifier = (binary_expression "param_4 >> ((byte)uVar1 & 0x1f)" identifier >> (parenthesized_expression "((byte)uVar1 & 0x1f)" ( (binary_expression "(byte)uVar1 & 0x1f" (cast_expression "(byte)uVar1" ( (type_descriptor "byte" type_identifier) ) identifier) & number_literal) )))) ;) (expression_statement "uVar2 = (uint)(byte)PTR___gmp_binvert_limb_table_0009dec8[param_4 >> 1 & 0x7f];" (assignment_expression "uVar2 = (uint)(byte)PTR___gmp_binvert_limb_table_0009dec8[param_4 >> 1 & 0x7f]" identifier = (cast_expression "(uint)(byte)PTR___gmp_binvert_limb_table_0009dec8[param_4 >> 1 & 0x7f]" ( (type_descriptor "uint" type_identifier) ) (cast_expression "(byte)PTR___gmp_binvert_limb_table_0009dec8[param_4 >> 1 & 0x7f]" ( (type_descriptor "byte" type_identifier) ) (subscript_expression "PTR___gmp_binvert_limb_table_0009dec8[param_4 >> 1 & 0x7f]" identifier [ (binary_expression "param_4 >> 1 & 0x7f" (binary_expression "param_4 >> 1" identifier >> number_literal) & number_literal) ])))) ;) (expression_statement "iVar3 = uVar2 * 2 - uVar2 * uVar2 * param_4;" (assignment_expression "iVar3 = uVar2 * 2 - uVar2 * uVar2 * param_4" identifier = (binary_expression "uVar2 * 2 - uVar2 * uVar2 * param_4" (binary_expression "uVar2 * 2" identifier * number_literal) - (binary_expression "uVar2 * uVar2 * param_4" (binary_expression "uVar2 * uVar2" identifier * identifier) * identifier))) ;) (expression_statement "uVar5 = 0;" (assignment_expression "uVar5 = 0" identifier = number_literal) ;) (expression_statement "iVar3 = iVar3 * 2 - iVar3 * iVar3 * param_4;" (assignment_expression "iVar3 = iVar3 * 2 - iVar3 * iVar3 * param_4" identifier = (binary_expression "iVar3 * 2 - iVar3 * iVar3 * param_4" (binary_expression "iVar3 * 2" identifier * number_literal) - (binary_expression "iVar3 * iVar3 * param_4" (binary_expression "iVar3 * iVar3" identifier * identifier) * identifier))) ;) (expression_statement "uVar4 = 0;" (assignment_expression "uVar4 = 0" identifier = number_literal) ;) (do_statement "do {\n    uVar6 = *param_2;\n    param_2 = (ulonglong *)((int)param_2 + 4);\n    uVar7 = ((uVar6 >> (ulonglong)uVar1 & 0xffffffff) - uVar4) - uVar5;\n    uVar4 = uVar7 >> 0x3f;\n    uVar2 = (int)uVar7 * iVar3;\n    *param_1 = uVar2;\n    param_1 = param_1 + 1;\n    uVar6 = (ulonglong)param_4 * (ulonglong)uVar2;\n    uVar5 = uVar6 >> 0x20;\n    param_3 = param_3 + -1;\n  } while (param_3 != 0);" do (compound_statement "{\n    uVar6 = *param_2;\n    param_2 = (ulonglong *)((int)param_2 + 4);\n    uVar7 = ((uVar6 >> (ulonglong)uVar1 & 0xffffffff) - uVar4) - uVar5;\n    uVar4 = uVar7 >> 0x3f;\n    uVar2 = (int)uVar7 * iVar3;\n    *param_1 = uVar2;\n    param_1 = param_1 + 1;\n    uVar6 = (ulonglong)param_4 * (ulonglong)uVar2;\n    uVar5 = uVar6 >> 0x20;\n    param_3 = param_3 + -1;\n  }" { (expression_statement "uVar6 = *param_2;" (assignment_expression "uVar6 = *param_2" identifier = (pointer_expression "*param_2" * identifier)) ;) (expression_statement "param_2 = (ulonglong *)((int)param_2 + 4);" (assignment_expression "param_2 = (ulonglong *)((int)param_2 + 4)" identifier = (cast_expression "(ulonglong *)((int)param_2 + 4)" ( (type_descriptor "ulonglong *" type_identifier (abstract_pointer_declarator "*" *)) ) (parenthesized_expression "((int)param_2 + 4)" ( (binary_expression "(int)param_2 + 4" (cast_expression "(int)param_2" ( (type_descriptor "int" primitive_type) ) identifier) + number_literal) )))) ;) (expression_statement "uVar7 = ((uVar6 >> (ulonglong)uVar1 & 0xffffffff) - uVar4) - uVar5;" (assignment_expression "uVar7 = ((uVar6 >> (ulonglong)uVar1 & 0xffffffff) - uVar4) - uVar5" identifier = (binary_expression "((uVar6 >> (ulonglong)uVar1 & 0xffffffff) - uVar4) - uVar5" (parenthesized_expression "((uVar6 >> (ulonglong)uVar1 & 0xffffffff) - uVar4)" ( (binary_expression "(uVar6 >> (ulonglong)uVar1 & 0xffffffff) - uVar4" (parenthesized_expression "(uVar6 >> (ulonglong)uVar1 & 0xffffffff)" ( (binary_expression "uVar6 >> (ulonglong)uVar1 & 0xffffffff" (binary_expression "uVar6 >> (ulonglong)uVar1" identifier >> (cast_expression "(ulonglong)uVar1" ( (type_descriptor "ulonglong" type_identifier) ) identifier)) & number_literal) )) - identifier) )) - identifier)) ;) (expression_statement "uVar4 = uVar7 >> 0x3f;" (assignment_expression "uVar4 = uVar7 >> 0x3f" identifier = (binary_expression "uVar7 >> 0x3f" identifier >> number_literal)) ;) (expression_statement "uVar2 = (int)uVar7 * iVar3;" (assignment_expression "uVar2 = (int)uVar7 * iVar3" identifier = (binary_expression "(int)uVar7 * iVar3" (cast_expression "(int)uVar7" ( (type_descriptor "int" primitive_type) ) identifier) * identifier)) ;) (expression_statement "*param_1 = uVar2;" (assignment_expression "*param_1 = uVar2" (pointer_expression "*param_1" * identifier) = identifier) ;) (expression_statement "param_1 = param_1 + 1;" (assignment_expression "param_1 = param_1 + 1" identifier = (binary_expression "param_1 + 1" identifier + number_literal)) ;) (expression_statement "uVar6 = (ulonglong)param_4 * (ulonglong)uVar2;" (assignment_expression "uVar6 = (ulonglong)param_4 * (ulonglong)uVar2" identifier = (binary_expression "(ulonglong)param_4 * (ulonglong)uVar2" (cast_expression "(ulonglong)param_4" ( (type_descriptor "ulonglong" type_identifier) ) identifier) * (cast_expression "(ulonglong)uVar2" ( (type_descriptor "ulonglong" type_identifier) ) identifier))) ;) (expression_statement "uVar5 = uVar6 >> 0x20;" (assignment_expression "uVar5 = uVar6 >> 0x20" identifier = (binary_expression "uVar6 >> 0x20" identifier >> number_literal)) ;) (expression_statement "param_3 = param_3 + -1;" (assignment_expression "param_3 = param_3 + -1" identifier = (binary_expression "param_3 + -1" identifier + number_literal)) ;) }) while (parenthesized_expression "(param_3 != 0)" ( (binary_expression "param_3 != 0" identifier != number_literal) )) ;) (expression_statement "*param_1 = (((*(uint *)param_2 >> (ulonglong)uVar1) + (int)((longlong)uVar7 >> 0x3f)) -\n             (int)(uVar6 >> 0x20)) * iVar3;" (assignment_expression "*param_1 = (((*(uint *)param_2 >> (ulonglong)uVar1) + (int)((longlong)uVar7 >> 0x3f)) -\n             (int)(uVar6 >> 0x20)) * iVar3" (pointer_expression "*param_1" * identifier) = (binary_expression "(((*(uint *)param_2 >> (ulonglong)uVar1) + (int)((longlong)uVar7 >> 0x3f)) -\n             (int)(uVar6 >> 0x20)) * iVar3" (parenthesized_expression "(((*(uint *)param_2 >> (ulonglong)uVar1) + (int)((longlong)uVar7 >> 0x3f)) -\n             (int)(uVar6 >> 0x20))" ( (binary_expression "((*(uint *)param_2 >> (ulonglong)uVar1) + (int)((longlong)uVar7 >> 0x3f)) -\n             (int)(uVar6 >> 0x20)" (parenthesized_expression "((*(uint *)param_2 >> (ulonglong)uVar1) + (int)((longlong)uVar7 >> 0x3f))" ( (binary_expression "(*(uint *)param_2 >> (ulonglong)uVar1) + (int)((longlong)uVar7 >> 0x3f)" (parenthesized_expression "(*(uint *)param_2 >> (ulonglong)uVar1)" ( (binary_expression "*(uint *)param_2 >> (ulonglong)uVar1" (pointer_expression "*(uint *)param_2" * (cast_expression "(uint *)param_2" ( (type_descriptor "uint *" type_identifier (abstract_pointer_declarator "*" *)) ) identifier)) >> (cast_expression "(ulonglong)uVar1" ( (type_descriptor "ulonglong" type_identifier) ) identifier)) )) + (cast_expression "(int)((longlong)uVar7 >> 0x3f)" ( (type_descriptor "int" primitive_type) ) (parenthesized_expression "((longlong)uVar7 >> 0x3f)" ( (binary_expression "(longlong)uVar7 >> 0x3f" (cast_expression "(longlong)uVar7" ( (type_descriptor "longlong" type_identifier) ) identifier) >> number_literal) )))) )) - (cast_expression "(int)(uVar6 >> 0x20)" ( (type_descriptor "int" primitive_type) ) (parenthesized_expression "(uVar6 >> 0x20)" ( (binary_expression "uVar6 >> 0x20" identifier >> number_literal) )))) )) * identifier)) ;) (return_statement "return;" return ;) })))
(translation_unit (function_definition TYPE (function_declarator IDENT (parameter_list ( (parameter_declaration TYPE (pointer_declarator * IDENT)) , (parameter_declaration TYPE (pointer_declarator * IDENT)) , (parameter_declaration TYPE IDENT) , (parameter_declaration TYPE IDENT) ))) (compound_statement { (declaration TYPE IDENT ;) (declaration TYPE IDENT ;) (declaration TYPE IDENT ;) (declaration TYPE IDENT ;) (declaration TYPE IDENT ;) (declaration TYPE IDENT ;) (declaration TYPE IDENT ;) (expression_statement (assignment_expression IDENT = (binary_expression IDENT + LIT)) ;) (if_statement if (parenthesized_expression ( (binary_expression IDENT == LIT) )) (compound_statement { (expression_statement (assignment_expression (pointer_expression * IDENT) = (binary_expression (binary_expression (parenthesized_expression ( IDENT )) * IDENT) / IDENT)) ;) (return_statement return ;) })) (expression_statement (assignment_expression IDENT = LIT) ;) (if_statement if (parenthesized_expression ( (binary_expression IDENT != LIT) )) (compound_statement { (for_statement for ( ; (binary_expression (parenthesized_expression ( (binary_expression (binary_expression IDENT >> IDENT) & LIT) )) == LIT) ; (assignment_expression IDENT = (binary_expression IDENT + LIT)) ) (compound_statement { })) })) (expression_statement (assignment_expression IDENT = (binary_expression IDENT >> (parenthesized_expression ( (binary_expression (cast_expression ( (type_descriptor TYPE) ) IDENT) & LIT) )))) ;) (expression_statement (assignment_expression IDENT = (cast_expression ( (type_descriptor TYPE) ) (cast_expression ( (type_descriptor TYPE) ) (subscript_expression IDENT [ (binary_expression (binary_expression IDENT >> LIT) & LIT) ])))) ;) (expression_statement (assignment_expression IDENT = (binary_expression (binary_expression IDENT * LIT) - (binary_expression (binary_expression IDENT * IDENT) * IDENT))) ;) (expression_statement (assignment_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 = LIT) ;) (do_statement do (compound_statement { (expression_statement (assignment_expression IDENT = (pointer_expression * IDENT)) ;) (expression_statement (assignment_expression IDENT = (cast_expression ( (type_descriptor TYPE (abstract_pointer_declarator *)) ) (parenthesized_expression ( (binary_expression (cast_expression ( (type_descriptor TYPE) ) IDENT) + LIT) )))) ;) (expression_statement (assignment_expression IDENT = (binary_expression (parenthesized_expression ( (binary_expression (parenthesized_expression ( (binary_expression (binary_expression IDENT >> (cast_expression ( (type_descriptor TYPE) ) IDENT)) & LIT) )) - IDENT) )) - IDENT)) ;) (expression_statement (assignment_expression IDENT = (binary_expression IDENT >> LIT)) ;) (expression_statement (assignment_expression IDENT = (binary_expression (cast_expression ( (type_descriptor TYPE) ) IDENT) * IDENT)) ;) (expression_statement (assignment_expression (pointer_expression * IDENT) = IDENT) ;) (expression_statement (assignment_expression IDENT = (binary_expression IDENT + LIT)) ;) (expression_statement (assignment_expression IDENT = (binary_expression (cast_expression ( (type_descriptor TYPE) ) IDENT) * (cast_expression ( (type_descriptor TYPE) ) IDENT))) ;) (expression_statement (assignment_expression IDENT = (binary_expression IDENT >> LIT)) ;) (expression_statement (assignment_expression IDENT = (binary_expression IDENT + LIT)) ;) }) while (parenthesized_expression ( (binary_expression IDENT != LIT) )) ;) (expression_statement (assignment_expression (pointer_expression * IDENT) = (binary_expression (parenthesized_expression ( (binary_expression (parenthesized_expression ( (binary_expression (parenthesized_expression ( (binary_expression (pointer_expression * (cast_expression ( (type_descriptor TYPE (abstract_pointer_declarator *)) ) IDENT)) >> (cast_expression ( (type_descriptor TYPE) ) IDENT)) )) + (cast_expression ( (type_descriptor TYPE) ) (parenthesized_expression ( (binary_expression (cast_expression ( (type_descriptor TYPE) ) IDENT) >> LIT) )))) )) - (cast_expression ( (type_descriptor TYPE) ) (parenthesized_expression ( (binary_expression IDENT >> LIT) )))) )) * IDENT)) ;) (return_statement return ;) })))
(function_definition "void __gmpn_divexact_1_pentium4_sse2(uint *param_1,ulonglong *param_2,int param_3,uint param_4)\n\n{\n  uint uVar1;\n  uint uVar2;\n  int iVar3;\n  ulonglong uVar4;\n  ulonglong uVar5;\n  ulonglong uVar6;\n  ulonglong uVar7;\n  \n  param_3 = param_3 + -1;\n  if (param_3 == 0) {\n    *param_1 = (uint)*param_2 / param_4;\n    return;\n  }\n  uVar1 = 0;\n  if (param_4 != 0) {\n    for (; (param_4 >> uVar1 & 1) == 0; uVar1 = uVar1 + 1) {\n    }\n  }\n  param_4 = param_4 >> ((byte)uVar1 & 0x1f);\n  uVar2 = (uint)(byte)PTR___gmp_binvert_limb_table_0009dec8[param_4 >> 1 & 0x7f];\n  iVar3 = uVar2 * 2 - uVar2 * uVar2 * param_4;\n  uVar5 = 0;\n  iVar3 = iVar3 * 2 - iVar3 * iVar3 * param_4;\n  uVar4 = 0;\n  do {\n    uVar6 = *param_2;\n    param_2 = (ulonglong *)((int)param_2 + 4);\n    uVar7 = ((uVar6 >> (ulonglong)uVar1 & 0xffffffff) - uVar4) - uVar5;\n    uVar4 = uVar7 >> 0x3f;\n    uVar2 = (int)uVar7 * iVar3;\n    *param_1 = uVar2;\n    param_1 = param_1 + 1;\n    uVar6 = (ulonglong)param_4 * (ulonglong)uVar2;\n    uVar5 = uVar6 >> 0x20;\n    param_3 = param_3 + -1;\n  } while (param_3 != 0);\n  *param_1 = (((*(uint *)param_2 >> (ulonglong)uVar1) + (int)((longlong)uVar7 >> 0x3f)) -\n             (int)(uVar6 >> 0x20)) * iVar3;\n  return;\n}" (primitive_type "void") (function_declarator "__gmpn_divexact_1_pentium4_sse2(uint *param_1,ulonglong *param_2,int param_3,uint param_4)" (identifier "__gmpn_divexact_1_pentium4_sse2") (parameter_list "(uint *param_1,ulonglong *param_2,int param_3,uint param_4)" (( "(") (parameter_declaration "uint *param_1" (type_identifier "uint") (pointer_declarator "*param_1" (* "*") (identifier "param_1"))) (, ",") (parameter_declaration "ulonglong *param_2" (type_identifier "ulonglong") (pointer_declarator "*param_2" (* "*") (identifier "param_2"))) (, ",") (parameter_declaration "int param_3" (primitive_type "int") (identifier "param_3")) (, ",") (parameter_declaration "uint param_4" (type_identifier "uint") (identifier "param_4")) () ")"))) (compound_statement "{\n  uint uVar1;\n  uint uVar2;\n  int iVar3;\n  ulonglong uVar4;\n  ulonglong uVar5;\n  ulonglong uVar6;\n  ulonglong uVar7;\n  \n  param_3 = param_3 + -1;\n  if (param_3 == 0) {\n    *param_1 = (uint)*param_2 / param_4;\n    return;\n  }\n  uVar1 = 0;\n  if (param_4 != 0) {\n    for (; (param_4 >> uVar1 & 1) == 0; uVar1 = uVar1 + 1) {\n    }\n  }\n  param_4 = param_4 >> ((byte)uVar1 & 0x1f);\n  uVar2 = (uint)(byte)PTR___gmp_binvert_limb_table_0009dec8[param_4 >> 1 & 0x7f];\n  iVar3 = uVar2 * 2 - uVar2 * uVar2 * param_4;\n  uVar5 = 0;\n  iVar3 = iVar3 * 2 - iVar3 * iVar3 * param_4;\n  uVar4 = 0;\n  do {\n    uVar6 = *param_2;\n    param_2 = (ulonglong *)((int)param_2 + 4);\n    uVar7 = ((uVar6 >> (ulonglong)uVar1 & 0xffffffff) - uVar4) - uVar5;\n    uVar4 = uVar7 >> 0x3f;\n    uVar2 = (int)uVar7 * iVar3;\n    *param_1 = uVar2;\n    param_1 = param_1 + 1;\n    uVar6 = (ulonglong)param_4 * (ulonglong)uVar2;\n    uVar5 = uVar6 >> 0x20;\n    param_3 = param_3 + -1;\n  } while (param_3 != 0);\n  *param_1 = (((*(uint *)param_2 >> (ulonglong)uVar1) + (int)((longlong)uVar7 >> 0x3f)) -\n             (int)(uVar6 >> 0x20)) * iVar3;\n  return;\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 "ulonglong uVar4;" (type_identifier "ulonglong") (identifier "uVar4") (; ";")) (declaration "ulonglong uVar5;" (type_identifier "ulonglong") (identifier "uVar5") (; ";")) (declaration "ulonglong uVar6;" (type_identifier "ulonglong") (identifier "uVar6") (; ";")) (declaration "ulonglong uVar7;" (type_identifier "ulonglong") (identifier "uVar7") (; ";")) (expression_statement "param_3 = param_3 + -1;" (assignment_expression "param_3 = param_3 + -1" (identifier "param_3") (= "=") (binary_expression "param_3 + -1" (identifier "param_3") (+ "+") (number_literal "-1"))) (; ";")) (if_statement "if (param_3 == 0) {\n    *param_1 = (uint)*param_2 / param_4;\n    return;\n  }" (if "if") (parenthesized_expression "(param_3 == 0)" (( "(") (binary_expression "param_3 == 0" (identifier "param_3") (== "==") (number_literal "0")) () ")")) (compound_statement "{\n    *param_1 = (uint)*param_2 / param_4;\n    return;\n  }" ({ "{") (expression_statement "*param_1 = (uint)*param_2 / param_4;" (assignment_expression "*param_1 = (uint)*param_2 / param_4" (pointer_expression "*param_1" (* "*") (identifier "param_1")) (= "=") (binary_expression "(uint)*param_2 / param_4" (binary_expression "(uint)*param_2" (parenthesized_expression "(uint)" (( "(") (identifier "uint") () ")")) (* "*") (identifier "param_2")) (/ "/") (identifier "param_4"))) (; ";")) (return_statement "return;" (return "return") (; ";")) (} "}"))) (expression_statement "uVar1 = 0;" (assignment_expression "uVar1 = 0" (identifier "uVar1") (= "=") (number_literal "0")) (; ";")) (if_statement "if (param_4 != 0) {\n    for (; (param_4 >> uVar1 & 1) == 0; uVar1 = uVar1 + 1) {\n    }\n  }" (if "if") (parenthesized_expression "(param_4 != 0)" (( "(") (binary_expression "param_4 != 0" (identifier "param_4") (!= "!=") (number_literal "0")) () ")")) (compound_statement "{\n    for (; (param_4 >> uVar1 & 1) == 0; uVar1 = uVar1 + 1) {\n    }\n  }" ({ "{") (for_statement "for (; (param_4 >> uVar1 & 1) == 0; uVar1 = uVar1 + 1) {\n    }" (for "for") (( "(") (; ";") (binary_expression "(param_4 >> uVar1 & 1) == 0" (parenthesized_expression "(param_4 >> uVar1 & 1)" (( "(") (binary_expression "param_4 >> uVar1 & 1" (binary_expression "param_4 >> uVar1" (identifier "param_4") (>> ">>") (identifier "uVar1")) (& "&") (number_literal "1")) () ")")) (== "==") (number_literal "0")) (; ";") (assignment_expression "uVar1 = uVar1 + 1" (identifier "uVar1") (= "=") (binary_expression "uVar1 + 1" (identifier "uVar1") (+ "+") (number_literal "1"))) () ")") (compound_statement "{\n    }" ({ "{") (} "}"))) (} "}"))) (expression_statement "param_4 = param_4 >> ((byte)uVar1 & 0x1f);" (assignment_expression "param_4 = param_4 >> ((byte)uVar1 & 0x1f)" (identifier "param_4") (= "=") (binary_expression "param_4 >> ((byte)uVar1 & 0x1f)" (identifier "param_4") (>> ">>") (parenthesized_expression "((byte)uVar1 & 0x1f)" (( "(") (binary_expression "(byte)uVar1 & 0x1f" (cast_expression "(byte)uVar1" (( "(") (type_descriptor "byte" (type_identifier "byte")) () ")") (identifier "uVar1")) (& "&") (number_literal "0x1f")) () ")")))) (; ";")) (expression_statement "uVar2 = (uint)(byte)PTR___gmp_binvert_limb_table_0009dec8[param_4 >> 1 & 0x7f];" (assignment_expression "uVar2 = (uint)(byte)PTR___gmp_binvert_limb_table_0009dec8[param_4 >> 1 & 0x7f]" (identifier "uVar2") (= "=") (cast_expression "(uint)(byte)PTR___gmp_binvert_limb_table_0009dec8[param_4 >> 1 & 0x7f]" (( "(") (type_descriptor "uint" (type_identifier "uint")) () ")") (cast_expression "(byte)PTR___gmp_binvert_limb_table_0009dec8[param_4 >> 1 & 0x7f]" (( "(") (type_descriptor "byte" (type_identifier "byte")) () ")") (subscript_expression "PTR___gmp_binvert_limb_table_0009dec8[param_4 >> 1 & 0x7f]" (identifier "PTR___gmp_binvert_limb_table_0009dec8") ([ "[") (binary_expression "param_4 >> 1 & 0x7f" (binary_expression "param_4 >> 1" (identifier "param_4") (>> ">>") (number_literal "1")) (& "&") (number_literal "0x7f")) (] "]"))))) (; ";")) (expression_statement "iVar3 = uVar2 * 2 - uVar2 * uVar2 * param_4;" (assignment_expression "iVar3 = uVar2 * 2 - uVar2 * uVar2 * param_4" (identifier "iVar3") (= "=") (binary_expression "uVar2 * 2 - uVar2 * uVar2 * param_4" (binary_expression "uVar2 * 2" (identifier "uVar2") (* "*") (number_literal "2")) (- "-") (binary_expression "uVar2 * uVar2 * param_4" (binary_expression "uVar2 * uVar2" (identifier "uVar2") (* "*") (identifier "uVar2")) (* "*") (identifier "param_4")))) (; ";")) (expression_statement "uVar5 = 0;" (assignment_expression "uVar5 = 0" (identifier "uVar5") (= "=") (number_literal "0")) (; ";")) (expression_statement "iVar3 = iVar3 * 2 - iVar3 * iVar3 * param_4;" (assignment_expression "iVar3 = iVar3 * 2 - iVar3 * iVar3 * param_4" (identifier "iVar3") (= "=") (binary_expression "iVar3 * 2 - iVar3 * iVar3 * param_4" (binary_expression "iVar3 * 2" (identifier "iVar3") (* "*") (number_literal "2")) (- "-") (binary_expression "iVar3 * iVar3 * param_4" (binary_expression "iVar3 * iVar3" (identifier "iVar3") (* "*") (identifier "iVar3")) (* "*") (identifier "param_4")))) (; ";")) (expression_statement "uVar4 = 0;" (assignment_expression "uVar4 = 0" (identifier "uVar4") (= "=") (number_literal "0")) (; ";")) (do_statement "do {\n    uVar6 = *param_2;\n    param_2 = (ulonglong *)((int)param_2 + 4);\n    uVar7 = ((uVar6 >> (ulonglong)uVar1 & 0xffffffff) - uVar4) - uVar5;\n    uVar4 = uVar7 >> 0x3f;\n    uVar2 = (int)uVar7 * iVar3;\n    *param_1 = uVar2;\n    param_1 = param_1 + 1;\n    uVar6 = (ulonglong)param_4 * (ulonglong)uVar2;\n    uVar5 = uVar6 >> 0x20;\n    param_3 = param_3 + -1;\n  } while (param_3 != 0);" (do "do") (compound_statement "{\n    uVar6 = *param_2;\n    param_2 = (ulonglong *)((int)param_2 + 4);\n    uVar7 = ((uVar6 >> (ulonglong)uVar1 & 0xffffffff) - uVar4) - uVar5;\n    uVar4 = uVar7 >> 0x3f;\n    uVar2 = (int)uVar7 * iVar3;\n    *param_1 = uVar2;\n    param_1 = param_1 + 1;\n    uVar6 = (ulonglong)param_4 * (ulonglong)uVar2;\n    uVar5 = uVar6 >> 0x20;\n    param_3 = param_3 + -1;\n  }" ({ "{") (expression_statement "uVar6 = *param_2;" (assignment_expression "uVar6 = *param_2" (identifier "uVar6") (= "=") (pointer_expression "*param_2" (* "*") (identifier "param_2"))) (; ";")) (expression_statement "param_2 = (ulonglong *)((int)param_2 + 4);" (assignment_expression "param_2 = (ulonglong *)((int)param_2 + 4)" (identifier "param_2") (= "=") (cast_expression "(ulonglong *)((int)param_2 + 4)" (( "(") (type_descriptor "ulonglong *" (type_identifier "ulonglong") (abstract_pointer_declarator "*" (* "*"))) () ")") (parenthesized_expression "((int)param_2 + 4)" (( "(") (binary_expression "(int)param_2 + 4" (cast_expression "(int)param_2" (( "(") (type_descriptor "int" (primitive_type "int")) () ")") (identifier "param_2")) (+ "+") (number_literal "4")) () ")")))) (; ";")) (expression_statement "uVar7 = ((uVar6 >> (ulonglong)uVar1 & 0xffffffff) - uVar4) - uVar5;" (assignment_expression "uVar7 = ((uVar6 >> (ulonglong)uVar1 & 0xffffffff) - uVar4) - uVar5" (identifier "uVar7") (= "=") (binary_expression "((uVar6 >> (ulonglong)uVar1 & 0xffffffff) - uVar4) - uVar5" (parenthesized_expression "((uVar6 >> (ulonglong)uVar1 & 0xffffffff) - uVar4)" (( "(") (binary_expression "(uVar6 >> (ulonglong)uVar1 & 0xffffffff) - uVar4" (parenthesized_expression "(uVar6 >> (ulonglong)uVar1 & 0xffffffff)" (( "(") (binary_expression "uVar6 >> (ulonglong)uVar1 & 0xffffffff" (binary_expression "uVar6 >> (ulonglong)uVar1" (identifier "uVar6") (>> ">>") (cast_expression "(ulonglong)uVar1" (( "(") (type_descriptor "ulonglong" (type_identifier "ulonglong")) () ")") (identifier "uVar1"))) (& "&") (number_literal "0xffffffff")) () ")")) (- "-") (identifier "uVar4")) () ")")) (- "-") (identifier "uVar5"))) (; ";")) (expression_statement "uVar4 = uVar7 >> 0x3f;" (assignment_expression "uVar4 = uVar7 >> 0x3f" (identifier "uVar4") (= "=") (binary_expression "uVar7 >> 0x3f" (identifier "uVar7") (>> ">>") (number_literal "0x3f"))) (; ";")) (expression_statement "uVar2 = (int)uVar7 * iVar3;" (assignment_expression "uVar2 = (int)uVar7 * iVar3" (identifier "uVar2") (= "=") (binary_expression "(int)uVar7 * iVar3" (cast_expression "(int)uVar7" (( "(") (type_descriptor "int" (primitive_type "int")) () ")") (identifier "uVar7")) (* "*") (identifier "iVar3"))) (; ";")) (expression_statement "*param_1 = uVar2;" (assignment_expression "*param_1 = uVar2" (pointer_expression "*param_1" (* "*") (identifier "param_1")) (= "=") (identifier "uVar2")) (; ";")) (expression_statement "param_1 = param_1 + 1;" (assignment_expression "param_1 = param_1 + 1" (identifier "param_1") (= "=") (binary_expression "param_1 + 1" (identifier "param_1") (+ "+") (number_literal "1"))) (; ";")) (expression_statement "uVar6 = (ulonglong)param_4 * (ulonglong)uVar2;" (assignment_expression "uVar6 = (ulonglong)param_4 * (ulonglong)uVar2" (identifier "uVar6") (= "=") (binary_expression "(ulonglong)param_4 * (ulonglong)uVar2" (cast_expression "(ulonglong)param_4" (( "(") (type_descriptor "ulonglong" (type_identifier "ulonglong")) () ")") (identifier "param_4")) (* "*") (cast_expression "(ulonglong)uVar2" (( "(") (type_descriptor "ulonglong" (type_identifier "ulonglong")) () ")") (identifier "uVar2")))) (; ";")) (expression_statement "uVar5 = uVar6 >> 0x20;" (assignment_expression "uVar5 = uVar6 >> 0x20" (identifier "uVar5") (= "=") (binary_expression "uVar6 >> 0x20" (identifier "uVar6") (>> ">>") (number_literal "0x20"))) (; ";")) (expression_statement "param_3 = param_3 + -1;" (assignment_expression "param_3 = param_3 + -1" (identifier "param_3") (= "=") (binary_expression "param_3 + -1" (identifier "param_3") (+ "+") (number_literal "-1"))) (; ";")) (} "}")) (while "while") (parenthesized_expression "(param_3 != 0)" (( "(") (binary_expression "param_3 != 0" (identifier "param_3") (!= "!=") (number_literal "0")) () ")")) (; ";")) (expression_statement "*param_1 = (((*(uint *)param_2 >> (ulonglong)uVar1) + (int)((longlong)uVar7 >> 0x3f)) -\n             (int)(uVar6 >> 0x20)) * iVar3;" (assignment_expression "*param_1 = (((*(uint *)param_2 >> (ulonglong)uVar1) + (int)((longlong)uVar7 >> 0x3f)) -\n             (int)(uVar6 >> 0x20)) * iVar3" (pointer_expression "*param_1" (* "*") (identifier "param_1")) (= "=") (binary_expression "(((*(uint *)param_2 >> (ulonglong)uVar1) + (int)((longlong)uVar7 >> 0x3f)) -\n             (int)(uVar6 >> 0x20)) * iVar3" (parenthesized_expression "(((*(uint *)param_2 >> (ulonglong)uVar1) + (int)((longlong)uVar7 >> 0x3f)) -\n             (int)(uVar6 >> 0x20))" (( "(") (binary_expression "((*(uint *)param_2 >> (ulonglong)uVar1) + (int)((longlong)uVar7 >> 0x3f)) -\n             (int)(uVar6 >> 0x20)" (parenthesized_expression "((*(uint *)param_2 >> (ulonglong)uVar1) + (int)((longlong)uVar7 >> 0x3f))" (( "(") (binary_expression "(*(uint *)param_2 >> (ulonglong)uVar1) + (int)((longlong)uVar7 >> 0x3f)" (parenthesized_expression "(*(uint *)param_2 >> (ulonglong)uVar1)" (( "(") (binary_expression "*(uint *)param_2 >> (ulonglong)uVar1" (pointer_expression "*(uint *)param_2" (* "*") (cast_expression "(uint *)param_2" (( "(") (type_descriptor "uint *" (type_identifier "uint") (abstract_pointer_declarator "*" (* "*"))) () ")") (identifier "param_2"))) (>> ">>") (cast_expression "(ulonglong)uVar1" (( "(") (type_descriptor "ulonglong" (type_identifier "ulonglong")) () ")") (identifier "uVar1"))) () ")")) (+ "+") (cast_expression "(int)((longlong)uVar7 >> 0x3f)" (( "(") (type_descriptor "int" (primitive_type "int")) () ")") (parenthesized_expression "((longlong)uVar7 >> 0x3f)" (( "(") (binary_expression "(longlong)uVar7 >> 0x3f" (cast_expression "(longlong)uVar7" (( "(") (type_descriptor "longlong" (type_identifier "longlong")) () ")") (identifier "uVar7")) (>> ">>") (number_literal "0x3f")) () ")")))) () ")")) (- "-") (cast_expression "(int)(uVar6 >> 0x20)" (( "(") (type_descriptor "int" (primitive_type "int")) () ")") (parenthesized_expression "(uVar6 >> 0x20)" (( "(") (binary_expression "uVar6 >> 0x20" (identifier "uVar6") (>> ">>") (number_literal "0x20")) () ")")))) () ")")) (* "*") (identifier "iVar3"))) (; ";")) (return_statement "return;" (return "return") (; ";")) (} "}")))

/* WARNING: Function: __i686.get_pc_thunk.cx replaced with injection: get_pc_thunk_cx */

void function_1(type_1 *var_11,type_2 *var_2,int var_1,type_1 var_3)

{
  type_1 var_4;
  type_1 var_5;
  int var_6;
  type_2 var_8;
  type_2 var_9;
  type_2 var_7;
  type_2 var_10;
  
  var_1 = var_1 + -1;
  if (var_1 == 0) {
    *var_11 = (type_1)*var_2 / var_3;
    return;
  }
  var_4 = 0;
  if (var_3 != 0) {
    for (; (var_3 >> var_4 & 1) == 0; var_4 = var_4 + 1) {
    }
  }
  var_3 = var_3 >> ((type_3)var_4 & 0x1f);
  var_5 = (type_1)(type_3)PTR___gmp_binvert_limb_table_0009dec8[var_3 >> 1 & 0x7f];
  var_6 = var_5 * 2 - var_5 * var_5 * var_3;
  var_9 = 0;
  var_6 = var_6 * 2 - var_6 * var_6 * var_3;
  var_8 = 0;
  do {
    var_7 = *var_2;
    var_2 = (type_2 *)((int)var_2 + 4);
    var_10 = ((var_7 >> (type_2)var_4 & 0xffffffff) - var_8) - var_9;
    var_8 = var_10 >> 0x3f;
    var_5 = (int)var_10 * var_6;
    *var_11 = var_5;
    var_11 = var_11 + 1;
    var_7 = (type_2)var_3 * (type_2)var_5;
    var_9 = var_7 >> 0x20;
    var_1 = var_1 + -1;
  } while (var_1 != 0);
  *var_11 = (((*(type_1 *)var_2 >> (type_2)var_4) + (int)((type_4)var_10 >> 0x3f)) -
             (int)(var_7 >> 0x20)) * var_6;
  return;
}


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

/* WARNING: Function: __i686.get_pc_thunk.cx replaced with injection: get_pc_thunk_cx */

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

{
  uint uVar1;
  uint uVar2;
  int iVar3;
  ulonglong uVar4;
  ulonglong uVar5;
  ulonglong uVar6;
  ulonglong uVar7;
  
  param_3 = param_3 + -1;
  if (param_3 == 0) {
    *param_1 = (uint)*param_2 / param_4;
    return;
  }
  uVar1 = 0;
  if (param_4 != 0) {
    for (; (param_4 >> uVar1 & 1) == 0; uVar1 = uVar1 + 1) {
    }
  }
  param_4 = param_4 >> ((byte)uVar1 & 0x1f);
  uVar2 = (uint)(byte)PTR___gmp_binvert_limb_table_0009dec8[param_4 >> 1 & 0x7f];
  iVar3 = uVar2 * 2 - uVar2 * uVar2 * param_4;
  uVar5 = 0;
  iVar3 = iVar3 * 2 - iVar3 * iVar3 * param_4;
  uVar4 = 0;
  do {
    uVar6 = *param_2;
    param_2 = (ulonglong *)((int)param_2 + 4);
    uVar7 = ((uVar6 >> (ulonglong)uVar1 & 0xffffffff) - uVar4) - uVar5;
    uVar4 = uVar7 >> 0x3f;
    uVar2 = (int)uVar7 * iVar3;
    *param_1 = uVar2;
    param_1 = param_1 + 1;
    uVar6 = (ulonglong)param_4 * (ulonglong)uVar2;
    uVar5 = uVar6 >> 0x20;
    param_3 = param_3 + -1;
  } while (param_3 != 0);
  *param_1 = (((*(uint *)param_2 >> (ulonglong)uVar1) + (int)((longlong)uVar7 >> 0x3f)) -
             (int)(uVar6 >> 0x20)) * iVar3;
  return;
}

