
undefined4 __gmpn_mul_1_atom_sse2(undefined4 *param_1,uint *param_2,uint param_3,uint param_4)

{
  uint uVar1;
  bool bVar2;
  longlong lVar3;
  ulonglong uVar4;
  
  uVar4 = 0;
  uVar1 = param_3 & 3;
  lVar3 = (ulonglong)*param_2 * (ulonglong)param_4;
  if (uVar1 == 0) goto LAB_000431fd;
  param_2 = param_2 + (uVar1 - 4);
  param_1 = param_1 + (uVar1 - 4);
  if (uVar1 < 2) goto LAB_00043232;
  if (uVar1 == 2) goto LAB_00043220;
  while( true ) {
    uVar4 = uVar4 + lVar3;
    lVar3 = (ulonglong)param_2[2] * (ulonglong)param_4;
    param_1[1] = (int)uVar4;
    uVar4 = uVar4 >> 0x20;
LAB_00043220:
    uVar4 = uVar4 + lVar3;
    lVar3 = (ulonglong)param_2[3] * (ulonglong)param_4;
    param_1[2] = (int)uVar4;
    uVar4 = uVar4 >> 0x20;
LAB_00043232:
    uVar4 = uVar4 + lVar3;
    bVar2 = param_3 < 4;
    param_3 = param_3 - 4;
    param_1[3] = (int)uVar4;
    param_2 = param_2 + 4;
    if (bVar2 || param_3 == 0) break;
    lVar3 = (ulonglong)*param_2 * (ulonglong)param_4;
    uVar4 = uVar4 >> 0x20;
    param_1 = param_1 + 4;
LAB_000431fd:
    uVar4 = uVar4 + lVar3;
    lVar3 = (ulonglong)param_2[1] * (ulonglong)param_4;
    *param_1 = (int)uVar4;
    uVar4 = uVar4 >> 0x20;
  }
  return (int)(uVar4 >> 0x20);
}



undefined4 __gmpn_mul_1_atom_sse2(undefined4 *param_1,uint *param_2,uint param_3,uint param_4)

{
  uint uVar1;
  bool bVar2;
  longlong lVar3;
  ulonglong uVar4;
  
  uVar4 = 0;
  uVar1 = param_3 & 3;
  lVar3 = (ulonglong)*param_2 * (ulonglong)param_4;
  if (uVar1 == 0) goto LAB_000431fd;
  param_2 = param_2 + (uVar1 - 4);
  param_1 = param_1 + (uVar1 - 4);
  if (uVar1 < 2) goto LAB_00043232;
  if (uVar1 == 2) goto LAB_00043220;
  while( true ) {
    uVar4 = uVar4 + lVar3;
    lVar3 = (ulonglong)param_2[2] * (ulonglong)param_4;
    param_1[1] = (int)uVar4;
    uVar4 = uVar4 >> 0x20;
LAB_00043220:
    uVar4 = uVar4 + lVar3;
    lVar3 = (ulonglong)param_2[3] * (ulonglong)param_4;
    param_1[2] = (int)uVar4;
    uVar4 = uVar4 >> 0x20;
LAB_00043232:
    uVar4 = uVar4 + lVar3;
    bVar2 = param_3 < 4;
    param_3 = param_3 - 4;
    param_1[3] = (int)uVar4;
    param_2 = param_2 + 4;
    if (bVar2 || param_3 == 0) break;
    lVar3 = (ulonglong)*param_2 * (ulonglong)param_4;
    uVar4 = uVar4 >> 0x20;
    param_1 = param_1 + 4;
LAB_000431fd:
    uVar4 = uVar4 + lVar3;
    lVar3 = (ulonglong)param_2[1] * (ulonglong)param_4;
    *param_1 = (int)uVar4;
    uVar4 = uVar4 >> 0x20;
  }
  return (int)(uVar4 >> 0x20);
}


PXOR MM6,MM6
PUSH ESI
MOV ESI,dword ptr [ESP + 0xc]
MOV EAX,dword ptr [ESP + 0x10]
MOVD MM7,dword ptr [ESP + 0x14]
MOVD MM0,dword ptr [ESI]
MOV ECX,EAX
AND EAX,0x3
PMULUDQ MM0,MM7
MOV EDX,dword ptr [ESP + 0x8]
JZ 0x000431fd
CMP EAX,0x2
LEA ESI,[ESI + EAX*0x4 + -0x10]
LEA EDX,[EDX + EAX*0x4 + -0x10]
JC 0x00043232
JZ 0x00043220
JMP 0x0004320e
MOVD MM0,dword ptr [ESI]
PMULUDQ MM0,MM7
PSRLQ MM6,0x20
LEA EDX,[EDX + 0x10]
PADDQ MM6,MM0
MOVD MM0,dword ptr [ESI + 0x4]
PMULUDQ MM0,MM7
MOVD dword ptr [EDX],MM6
PSRLQ MM6,0x20
PADDQ MM6,MM0
MOVD MM0,dword ptr [ESI + 0x8]
PMULUDQ MM0,MM7
MOVD dword ptr [EDX + 0x4],MM6
PSRLQ MM6,0x20
PADDQ MM6,MM0
MOVD MM0,dword ptr [ESI + 0xc]
PMULUDQ MM0,MM7
MOVD dword ptr [EDX + 0x8],MM6
PSRLQ MM6,0x20
PADDQ MM6,MM0
SUB ECX,0x4
MOVD dword ptr [EDX + 0xc],MM6
LEA ESI,[ESI + 0x10]
JA 0x000431f0
PSRLQ MM6,0x20
MOVD EAX,MM6
EMMS
POP ESI
RET
(translation_unit "undefined4 __gmpn_mul_1_atom_sse2(undefined4 *param_1,uint *param_2,uint param_3,uint param_4)\n\n{\n  uint uVar1;\n  bool bVar2;\n  longlong lVar3;\n  ulonglong uVar4;\n  \n  uVar4 = 0;\n  uVar1 = param_3 & 3;\n  lVar3 = (ulonglong)*param_2 * (ulonglong)param_4;\n  if (uVar1 == 0) goto LAB_000431fd;\n  param_2 = param_2 + (uVar1 - 4);\n  param_1 = param_1 + (uVar1 - 4);\n  if (uVar1 < 2) goto LAB_00043232;\n  if (uVar1 == 2) goto LAB_00043220;\n  while( true ) {\n    uVar4 = uVar4 + lVar3;\n    lVar3 = (ulonglong)param_2[2] * (ulonglong)param_4;\n    param_1[1] = (int)uVar4;\n    uVar4 = uVar4 >> 0x20;\nLAB_00043220:\n    uVar4 = uVar4 + lVar3;\n    lVar3 = (ulonglong)param_2[3] * (ulonglong)param_4;\n    param_1[2] = (int)uVar4;\n    uVar4 = uVar4 >> 0x20;\nLAB_00043232:\n    uVar4 = uVar4 + lVar3;\n    bVar2 = param_3 < 4;\n    param_3 = param_3 - 4;\n    param_1[3] = (int)uVar4;\n    param_2 = param_2 + 4;\n    if (bVar2 || param_3 == 0) break;\n    lVar3 = (ulonglong)*param_2 * (ulonglong)param_4;\n    uVar4 = uVar4 >> 0x20;\n    param_1 = param_1 + 4;\nLAB_000431fd:\n    uVar4 = uVar4 + lVar3;\n    lVar3 = (ulonglong)param_2[1] * (ulonglong)param_4;\n    *param_1 = (int)uVar4;\n    uVar4 = uVar4 >> 0x20;\n  }\n  return (int)(uVar4 >> 0x20);\n}\n\n" (function_definition "undefined4 __gmpn_mul_1_atom_sse2(undefined4 *param_1,uint *param_2,uint param_3,uint param_4)\n\n{\n  uint uVar1;\n  bool bVar2;\n  longlong lVar3;\n  ulonglong uVar4;\n  \n  uVar4 = 0;\n  uVar1 = param_3 & 3;\n  lVar3 = (ulonglong)*param_2 * (ulonglong)param_4;\n  if (uVar1 == 0) goto LAB_000431fd;\n  param_2 = param_2 + (uVar1 - 4);\n  param_1 = param_1 + (uVar1 - 4);\n  if (uVar1 < 2) goto LAB_00043232;\n  if (uVar1 == 2) goto LAB_00043220;\n  while( true ) {\n    uVar4 = uVar4 + lVar3;\n    lVar3 = (ulonglong)param_2[2] * (ulonglong)param_4;\n    param_1[1] = (int)uVar4;\n    uVar4 = uVar4 >> 0x20;\nLAB_00043220:\n    uVar4 = uVar4 + lVar3;\n    lVar3 = (ulonglong)param_2[3] * (ulonglong)param_4;\n    param_1[2] = (int)uVar4;\n    uVar4 = uVar4 >> 0x20;\nLAB_00043232:\n    uVar4 = uVar4 + lVar3;\n    bVar2 = param_3 < 4;\n    param_3 = param_3 - 4;\n    param_1[3] = (int)uVar4;\n    param_2 = param_2 + 4;\n    if (bVar2 || param_3 == 0) break;\n    lVar3 = (ulonglong)*param_2 * (ulonglong)param_4;\n    uVar4 = uVar4 >> 0x20;\n    param_1 = param_1 + 4;\nLAB_000431fd:\n    uVar4 = uVar4 + lVar3;\n    lVar3 = (ulonglong)param_2[1] * (ulonglong)param_4;\n    *param_1 = (int)uVar4;\n    uVar4 = uVar4 >> 0x20;\n  }\n  return (int)(uVar4 >> 0x20);\n}" type_identifier (function_declarator "__gmpn_mul_1_atom_sse2(undefined4 *param_1,uint *param_2,uint param_3,uint param_4)" identifier (parameter_list "(undefined4 *param_1,uint *param_2,uint param_3,uint param_4)" ( (parameter_declaration "undefined4 *param_1" type_identifier (pointer_declarator "*param_1" * identifier)) , (parameter_declaration "uint *param_2" type_identifier (pointer_declarator "*param_2" * identifier)) , (parameter_declaration "uint param_3" type_identifier identifier) , (parameter_declaration "uint param_4" type_identifier identifier) ))) (compound_statement "{\n  uint uVar1;\n  bool bVar2;\n  longlong lVar3;\n  ulonglong uVar4;\n  \n  uVar4 = 0;\n  uVar1 = param_3 & 3;\n  lVar3 = (ulonglong)*param_2 * (ulonglong)param_4;\n  if (uVar1 == 0) goto LAB_000431fd;\n  param_2 = param_2 + (uVar1 - 4);\n  param_1 = param_1 + (uVar1 - 4);\n  if (uVar1 < 2) goto LAB_00043232;\n  if (uVar1 == 2) goto LAB_00043220;\n  while( true ) {\n    uVar4 = uVar4 + lVar3;\n    lVar3 = (ulonglong)param_2[2] * (ulonglong)param_4;\n    param_1[1] = (int)uVar4;\n    uVar4 = uVar4 >> 0x20;\nLAB_00043220:\n    uVar4 = uVar4 + lVar3;\n    lVar3 = (ulonglong)param_2[3] * (ulonglong)param_4;\n    param_1[2] = (int)uVar4;\n    uVar4 = uVar4 >> 0x20;\nLAB_00043232:\n    uVar4 = uVar4 + lVar3;\n    bVar2 = param_3 < 4;\n    param_3 = param_3 - 4;\n    param_1[3] = (int)uVar4;\n    param_2 = param_2 + 4;\n    if (bVar2 || param_3 == 0) break;\n    lVar3 = (ulonglong)*param_2 * (ulonglong)param_4;\n    uVar4 = uVar4 >> 0x20;\n    param_1 = param_1 + 4;\nLAB_000431fd:\n    uVar4 = uVar4 + lVar3;\n    lVar3 = (ulonglong)param_2[1] * (ulonglong)param_4;\n    *param_1 = (int)uVar4;\n    uVar4 = uVar4 >> 0x20;\n  }\n  return (int)(uVar4 >> 0x20);\n}" { (declaration "uint uVar1;" type_identifier identifier ;) (declaration "bool bVar2;" primitive_type identifier ;) (declaration "longlong lVar3;" type_identifier identifier ;) (declaration "ulonglong uVar4;" type_identifier identifier ;) (expression_statement "uVar4 = 0;" (assignment_expression "uVar4 = 0" identifier = number_literal) ;) (expression_statement "uVar1 = param_3 & 3;" (assignment_expression "uVar1 = param_3 & 3" identifier = (binary_expression "param_3 & 3" identifier & number_literal)) ;) (expression_statement "lVar3 = (ulonglong)*param_2 * (ulonglong)param_4;" (assignment_expression "lVar3 = (ulonglong)*param_2 * (ulonglong)param_4" identifier = (binary_expression "(ulonglong)*param_2 * (ulonglong)param_4" (binary_expression "(ulonglong)*param_2" (parenthesized_expression "(ulonglong)" ( identifier )) * identifier) * (cast_expression "(ulonglong)param_4" ( (type_descriptor "ulonglong" type_identifier) ) identifier))) ;) (if_statement "if (uVar1 == 0) goto LAB_000431fd;" if (parenthesized_expression "(uVar1 == 0)" ( (binary_expression "uVar1 == 0" identifier == number_literal) )) (goto_statement "goto LAB_000431fd;" goto statement_identifier ;)) (expression_statement "param_2 = param_2 + (uVar1 - 4);" (assignment_expression "param_2 = param_2 + (uVar1 - 4)" identifier = (binary_expression "param_2 + (uVar1 - 4)" identifier + (parenthesized_expression "(uVar1 - 4)" ( (binary_expression "uVar1 - 4" identifier - number_literal) )))) ;) (expression_statement "param_1 = param_1 + (uVar1 - 4);" (assignment_expression "param_1 = param_1 + (uVar1 - 4)" identifier = (binary_expression "param_1 + (uVar1 - 4)" identifier + (parenthesized_expression "(uVar1 - 4)" ( (binary_expression "uVar1 - 4" identifier - number_literal) )))) ;) (if_statement "if (uVar1 < 2) goto LAB_00043232;" if (parenthesized_expression "(uVar1 < 2)" ( (binary_expression "uVar1 < 2" identifier < number_literal) )) (goto_statement "goto LAB_00043232;" goto statement_identifier ;)) (if_statement "if (uVar1 == 2) goto LAB_00043220;" if (parenthesized_expression "(uVar1 == 2)" ( (binary_expression "uVar1 == 2" identifier == number_literal) )) (goto_statement "goto LAB_00043220;" goto statement_identifier ;)) (while_statement "while( true ) {\n    uVar4 = uVar4 + lVar3;\n    lVar3 = (ulonglong)param_2[2] * (ulonglong)param_4;\n    param_1[1] = (int)uVar4;\n    uVar4 = uVar4 >> 0x20;\nLAB_00043220:\n    uVar4 = uVar4 + lVar3;\n    lVar3 = (ulonglong)param_2[3] * (ulonglong)param_4;\n    param_1[2] = (int)uVar4;\n    uVar4 = uVar4 >> 0x20;\nLAB_00043232:\n    uVar4 = uVar4 + lVar3;\n    bVar2 = param_3 < 4;\n    param_3 = param_3 - 4;\n    param_1[3] = (int)uVar4;\n    param_2 = param_2 + 4;\n    if (bVar2 || param_3 == 0) break;\n    lVar3 = (ulonglong)*param_2 * (ulonglong)param_4;\n    uVar4 = uVar4 >> 0x20;\n    param_1 = param_1 + 4;\nLAB_000431fd:\n    uVar4 = uVar4 + lVar3;\n    lVar3 = (ulonglong)param_2[1] * (ulonglong)param_4;\n    *param_1 = (int)uVar4;\n    uVar4 = uVar4 >> 0x20;\n  }" while (parenthesized_expression "( true )" ( true )) (compound_statement "{\n    uVar4 = uVar4 + lVar3;\n    lVar3 = (ulonglong)param_2[2] * (ulonglong)param_4;\n    param_1[1] = (int)uVar4;\n    uVar4 = uVar4 >> 0x20;\nLAB_00043220:\n    uVar4 = uVar4 + lVar3;\n    lVar3 = (ulonglong)param_2[3] * (ulonglong)param_4;\n    param_1[2] = (int)uVar4;\n    uVar4 = uVar4 >> 0x20;\nLAB_00043232:\n    uVar4 = uVar4 + lVar3;\n    bVar2 = param_3 < 4;\n    param_3 = param_3 - 4;\n    param_1[3] = (int)uVar4;\n    param_2 = param_2 + 4;\n    if (bVar2 || param_3 == 0) break;\n    lVar3 = (ulonglong)*param_2 * (ulonglong)param_4;\n    uVar4 = uVar4 >> 0x20;\n    param_1 = param_1 + 4;\nLAB_000431fd:\n    uVar4 = uVar4 + lVar3;\n    lVar3 = (ulonglong)param_2[1] * (ulonglong)param_4;\n    *param_1 = (int)uVar4;\n    uVar4 = uVar4 >> 0x20;\n  }" { (expression_statement "uVar4 = uVar4 + lVar3;" (assignment_expression "uVar4 = uVar4 + lVar3" identifier = (binary_expression "uVar4 + lVar3" identifier + identifier)) ;) (expression_statement "lVar3 = (ulonglong)param_2[2] * (ulonglong)param_4;" (assignment_expression "lVar3 = (ulonglong)param_2[2] * (ulonglong)param_4" identifier = (binary_expression "(ulonglong)param_2[2] * (ulonglong)param_4" (cast_expression "(ulonglong)param_2[2]" ( (type_descriptor "ulonglong" type_identifier) ) (subscript_expression "param_2[2]" identifier [ number_literal ])) * (cast_expression "(ulonglong)param_4" ( (type_descriptor "ulonglong" type_identifier) ) identifier))) ;) (expression_statement "param_1[1] = (int)uVar4;" (assignment_expression "param_1[1] = (int)uVar4" (subscript_expression "param_1[1]" identifier [ number_literal ]) = (cast_expression "(int)uVar4" ( (type_descriptor "int" primitive_type) ) identifier)) ;) (expression_statement "uVar4 = uVar4 >> 0x20;" (assignment_expression "uVar4 = uVar4 >> 0x20" identifier = (binary_expression "uVar4 >> 0x20" identifier >> number_literal)) ;) (labeled_statement "LAB_00043220:\n    uVar4 = uVar4 + lVar3;" statement_identifier : (expression_statement "uVar4 = uVar4 + lVar3;" (assignment_expression "uVar4 = uVar4 + lVar3" identifier = (binary_expression "uVar4 + lVar3" identifier + identifier)) ;)) (expression_statement "lVar3 = (ulonglong)param_2[3] * (ulonglong)param_4;" (assignment_expression "lVar3 = (ulonglong)param_2[3] * (ulonglong)param_4" identifier = (binary_expression "(ulonglong)param_2[3] * (ulonglong)param_4" (cast_expression "(ulonglong)param_2[3]" ( (type_descriptor "ulonglong" type_identifier) ) (subscript_expression "param_2[3]" identifier [ number_literal ])) * (cast_expression "(ulonglong)param_4" ( (type_descriptor "ulonglong" type_identifier) ) identifier))) ;) (expression_statement "param_1[2] = (int)uVar4;" (assignment_expression "param_1[2] = (int)uVar4" (subscript_expression "param_1[2]" identifier [ number_literal ]) = (cast_expression "(int)uVar4" ( (type_descriptor "int" primitive_type) ) identifier)) ;) (expression_statement "uVar4 = uVar4 >> 0x20;" (assignment_expression "uVar4 = uVar4 >> 0x20" identifier = (binary_expression "uVar4 >> 0x20" identifier >> number_literal)) ;) (labeled_statement "LAB_00043232:\n    uVar4 = uVar4 + lVar3;" statement_identifier : (expression_statement "uVar4 = uVar4 + lVar3;" (assignment_expression "uVar4 = uVar4 + lVar3" identifier = (binary_expression "uVar4 + lVar3" identifier + identifier)) ;)) (expression_statement "bVar2 = param_3 < 4;" (assignment_expression "bVar2 = param_3 < 4" identifier = (binary_expression "param_3 < 4" identifier < number_literal)) ;) (expression_statement "param_3 = param_3 - 4;" (assignment_expression "param_3 = param_3 - 4" identifier = (binary_expression "param_3 - 4" identifier - number_literal)) ;) (expression_statement "param_1[3] = (int)uVar4;" (assignment_expression "param_1[3] = (int)uVar4" (subscript_expression "param_1[3]" identifier [ number_literal ]) = (cast_expression "(int)uVar4" ( (type_descriptor "int" primitive_type) ) identifier)) ;) (expression_statement "param_2 = param_2 + 4;" (assignment_expression "param_2 = param_2 + 4" identifier = (binary_expression "param_2 + 4" identifier + number_literal)) ;) (if_statement "if (bVar2 || param_3 == 0) break;" if (parenthesized_expression "(bVar2 || param_3 == 0)" ( (binary_expression "bVar2 || param_3 == 0" identifier || (binary_expression "param_3 == 0" identifier == number_literal)) )) (break_statement "break;" break ;)) (expression_statement "lVar3 = (ulonglong)*param_2 * (ulonglong)param_4;" (assignment_expression "lVar3 = (ulonglong)*param_2 * (ulonglong)param_4" identifier = (binary_expression "(ulonglong)*param_2 * (ulonglong)param_4" (binary_expression "(ulonglong)*param_2" (parenthesized_expression "(ulonglong)" ( identifier )) * identifier) * (cast_expression "(ulonglong)param_4" ( (type_descriptor "ulonglong" type_identifier) ) identifier))) ;) (expression_statement "uVar4 = uVar4 >> 0x20;" (assignment_expression "uVar4 = uVar4 >> 0x20" identifier = (binary_expression "uVar4 >> 0x20" identifier >> number_literal)) ;) (expression_statement "param_1 = param_1 + 4;" (assignment_expression "param_1 = param_1 + 4" identifier = (binary_expression "param_1 + 4" identifier + number_literal)) ;) (labeled_statement "LAB_000431fd:\n    uVar4 = uVar4 + lVar3;" statement_identifier : (expression_statement "uVar4 = uVar4 + lVar3;" (assignment_expression "uVar4 = uVar4 + lVar3" identifier = (binary_expression "uVar4 + lVar3" identifier + identifier)) ;)) (expression_statement "lVar3 = (ulonglong)param_2[1] * (ulonglong)param_4;" (assignment_expression "lVar3 = (ulonglong)param_2[1] * (ulonglong)param_4" identifier = (binary_expression "(ulonglong)param_2[1] * (ulonglong)param_4" (cast_expression "(ulonglong)param_2[1]" ( (type_descriptor "ulonglong" type_identifier) ) (subscript_expression "param_2[1]" identifier [ number_literal ])) * (cast_expression "(ulonglong)param_4" ( (type_descriptor "ulonglong" type_identifier) ) identifier))) ;) (expression_statement "*param_1 = (int)uVar4;" (assignment_expression "*param_1 = (int)uVar4" (pointer_expression "*param_1" * identifier) = (cast_expression "(int)uVar4" ( (type_descriptor "int" primitive_type) ) identifier)) ;) (expression_statement "uVar4 = uVar4 >> 0x20;" (assignment_expression "uVar4 = uVar4 >> 0x20" identifier = (binary_expression "uVar4 >> 0x20" identifier >> number_literal)) ;) })) (return_statement "return (int)(uVar4 >> 0x20);" return (cast_expression "(int)(uVar4 >> 0x20)" ( (type_descriptor "int" primitive_type) ) (parenthesized_expression "(uVar4 >> 0x20)" ( (binary_expression "uVar4 >> 0x20" identifier >> number_literal) ))) ;) })))
(translation_unit "undefined4 __gmpn_mul_1_atom_sse2(undefined4 *param_1,uint *param_2,uint param_3,uint param_4)\n\n{\n  uint uVar1;\n  bool bVar2;\n  longlong lVar3;\n  ulonglong uVar4;\n  \n  uVar4 = 0;\n  uVar1 = param_3 & 3;\n  lVar3 = (ulonglong)*param_2 * (ulonglong)param_4;\n  if (uVar1 == 0) goto LAB_000431fd;\n  param_2 = param_2 + (uVar1 - 4);\n  param_1 = param_1 + (uVar1 - 4);\n  if (uVar1 < 2) goto LAB_00043232;\n  if (uVar1 == 2) goto LAB_00043220;\n  while( true ) {\n    uVar4 = uVar4 + lVar3;\n    lVar3 = (ulonglong)param_2[2] * (ulonglong)param_4;\n    param_1[1] = (int)uVar4;\n    uVar4 = uVar4 >> 0x20;\nLAB_00043220:\n    uVar4 = uVar4 + lVar3;\n    lVar3 = (ulonglong)param_2[3] * (ulonglong)param_4;\n    param_1[2] = (int)uVar4;\n    uVar4 = uVar4 >> 0x20;\nLAB_00043232:\n    uVar4 = uVar4 + lVar3;\n    bVar2 = param_3 < 4;\n    param_3 = param_3 - 4;\n    param_1[3] = (int)uVar4;\n    param_2 = param_2 + 4;\n    if (bVar2 || param_3 == 0) break;\n    lVar3 = (ulonglong)*param_2 * (ulonglong)param_4;\n    uVar4 = uVar4 >> 0x20;\n    param_1 = param_1 + 4;\nLAB_000431fd:\n    uVar4 = uVar4 + lVar3;\n    lVar3 = (ulonglong)param_2[1] * (ulonglong)param_4;\n    *param_1 = (int)uVar4;\n    uVar4 = uVar4 >> 0x20;\n  }\n  return (int)(uVar4 >> 0x20);\n}\n\n" (function_definition "undefined4 __gmpn_mul_1_atom_sse2(undefined4 *param_1,uint *param_2,uint param_3,uint param_4)\n\n{\n  uint uVar1;\n  bool bVar2;\n  longlong lVar3;\n  ulonglong uVar4;\n  \n  uVar4 = 0;\n  uVar1 = param_3 & 3;\n  lVar3 = (ulonglong)*param_2 * (ulonglong)param_4;\n  if (uVar1 == 0) goto LAB_000431fd;\n  param_2 = param_2 + (uVar1 - 4);\n  param_1 = param_1 + (uVar1 - 4);\n  if (uVar1 < 2) goto LAB_00043232;\n  if (uVar1 == 2) goto LAB_00043220;\n  while( true ) {\n    uVar4 = uVar4 + lVar3;\n    lVar3 = (ulonglong)param_2[2] * (ulonglong)param_4;\n    param_1[1] = (int)uVar4;\n    uVar4 = uVar4 >> 0x20;\nLAB_00043220:\n    uVar4 = uVar4 + lVar3;\n    lVar3 = (ulonglong)param_2[3] * (ulonglong)param_4;\n    param_1[2] = (int)uVar4;\n    uVar4 = uVar4 >> 0x20;\nLAB_00043232:\n    uVar4 = uVar4 + lVar3;\n    bVar2 = param_3 < 4;\n    param_3 = param_3 - 4;\n    param_1[3] = (int)uVar4;\n    param_2 = param_2 + 4;\n    if (bVar2 || param_3 == 0) break;\n    lVar3 = (ulonglong)*param_2 * (ulonglong)param_4;\n    uVar4 = uVar4 >> 0x20;\n    param_1 = param_1 + 4;\nLAB_000431fd:\n    uVar4 = uVar4 + lVar3;\n    lVar3 = (ulonglong)param_2[1] * (ulonglong)param_4;\n    *param_1 = (int)uVar4;\n    uVar4 = uVar4 >> 0x20;\n  }\n  return (int)(uVar4 >> 0x20);\n}" type_identifier (function_declarator "__gmpn_mul_1_atom_sse2(undefined4 *param_1,uint *param_2,uint param_3,uint param_4)" identifier (parameter_list "(undefined4 *param_1,uint *param_2,uint param_3,uint param_4)" ( (parameter_declaration "undefined4 *param_1" type_identifier (pointer_declarator "*param_1" * identifier)) , (parameter_declaration "uint *param_2" type_identifier (pointer_declarator "*param_2" * identifier)) , (parameter_declaration "uint param_3" type_identifier identifier) , (parameter_declaration "uint param_4" type_identifier identifier) ))) (compound_statement "{\n  uint uVar1;\n  bool bVar2;\n  longlong lVar3;\n  ulonglong uVar4;\n  \n  uVar4 = 0;\n  uVar1 = param_3 & 3;\n  lVar3 = (ulonglong)*param_2 * (ulonglong)param_4;\n  if (uVar1 == 0) goto LAB_000431fd;\n  param_2 = param_2 + (uVar1 - 4);\n  param_1 = param_1 + (uVar1 - 4);\n  if (uVar1 < 2) goto LAB_00043232;\n  if (uVar1 == 2) goto LAB_00043220;\n  while( true ) {\n    uVar4 = uVar4 + lVar3;\n    lVar3 = (ulonglong)param_2[2] * (ulonglong)param_4;\n    param_1[1] = (int)uVar4;\n    uVar4 = uVar4 >> 0x20;\nLAB_00043220:\n    uVar4 = uVar4 + lVar3;\n    lVar3 = (ulonglong)param_2[3] * (ulonglong)param_4;\n    param_1[2] = (int)uVar4;\n    uVar4 = uVar4 >> 0x20;\nLAB_00043232:\n    uVar4 = uVar4 + lVar3;\n    bVar2 = param_3 < 4;\n    param_3 = param_3 - 4;\n    param_1[3] = (int)uVar4;\n    param_2 = param_2 + 4;\n    if (bVar2 || param_3 == 0) break;\n    lVar3 = (ulonglong)*param_2 * (ulonglong)param_4;\n    uVar4 = uVar4 >> 0x20;\n    param_1 = param_1 + 4;\nLAB_000431fd:\n    uVar4 = uVar4 + lVar3;\n    lVar3 = (ulonglong)param_2[1] * (ulonglong)param_4;\n    *param_1 = (int)uVar4;\n    uVar4 = uVar4 >> 0x20;\n  }\n  return (int)(uVar4 >> 0x20);\n}" { (declaration "uint uVar1;" type_identifier identifier ;) (declaration "bool bVar2;" primitive_type identifier ;) (declaration "longlong lVar3;" type_identifier identifier ;) (declaration "ulonglong uVar4;" type_identifier identifier ;) (expression_statement "uVar4 = 0;" (assignment_expression "uVar4 = 0" identifier = number_literal) ;) (expression_statement "uVar1 = param_3 & 3;" (assignment_expression "uVar1 = param_3 & 3" identifier = (binary_expression "param_3 & 3" identifier & number_literal)) ;) (expression_statement "lVar3 = (ulonglong)*param_2 * (ulonglong)param_4;" (assignment_expression "lVar3 = (ulonglong)*param_2 * (ulonglong)param_4" identifier = (binary_expression "(ulonglong)*param_2 * (ulonglong)param_4" (binary_expression "(ulonglong)*param_2" (parenthesized_expression "(ulonglong)" ( identifier )) * identifier) * (cast_expression "(ulonglong)param_4" ( (type_descriptor "ulonglong" type_identifier) ) identifier))) ;) (if_statement "if (uVar1 == 0) goto LAB_000431fd;" if (parenthesized_expression "(uVar1 == 0)" ( (binary_expression "uVar1 == 0" identifier == number_literal) )) (goto_statement "goto LAB_000431fd;" goto statement_identifier ;)) (expression_statement "param_2 = param_2 + (uVar1 - 4);" (assignment_expression "param_2 = param_2 + (uVar1 - 4)" identifier = (binary_expression "param_2 + (uVar1 - 4)" identifier + (parenthesized_expression "(uVar1 - 4)" ( (binary_expression "uVar1 - 4" identifier - number_literal) )))) ;) (expression_statement "param_1 = param_1 + (uVar1 - 4);" (assignment_expression "param_1 = param_1 + (uVar1 - 4)" identifier = (binary_expression "param_1 + (uVar1 - 4)" identifier + (parenthesized_expression "(uVar1 - 4)" ( (binary_expression "uVar1 - 4" identifier - number_literal) )))) ;) (if_statement "if (uVar1 < 2) goto LAB_00043232;" if (parenthesized_expression "(uVar1 < 2)" ( (binary_expression "uVar1 < 2" identifier < number_literal) )) (goto_statement "goto LAB_00043232;" goto statement_identifier ;)) (if_statement "if (uVar1 == 2) goto LAB_00043220;" if (parenthesized_expression "(uVar1 == 2)" ( (binary_expression "uVar1 == 2" identifier == number_literal) )) (goto_statement "goto LAB_00043220;" goto statement_identifier ;)) (while_statement "while( true ) {\n    uVar4 = uVar4 + lVar3;\n    lVar3 = (ulonglong)param_2[2] * (ulonglong)param_4;\n    param_1[1] = (int)uVar4;\n    uVar4 = uVar4 >> 0x20;\nLAB_00043220:\n    uVar4 = uVar4 + lVar3;\n    lVar3 = (ulonglong)param_2[3] * (ulonglong)param_4;\n    param_1[2] = (int)uVar4;\n    uVar4 = uVar4 >> 0x20;\nLAB_00043232:\n    uVar4 = uVar4 + lVar3;\n    bVar2 = param_3 < 4;\n    param_3 = param_3 - 4;\n    param_1[3] = (int)uVar4;\n    param_2 = param_2 + 4;\n    if (bVar2 || param_3 == 0) break;\n    lVar3 = (ulonglong)*param_2 * (ulonglong)param_4;\n    uVar4 = uVar4 >> 0x20;\n    param_1 = param_1 + 4;\nLAB_000431fd:\n    uVar4 = uVar4 + lVar3;\n    lVar3 = (ulonglong)param_2[1] * (ulonglong)param_4;\n    *param_1 = (int)uVar4;\n    uVar4 = uVar4 >> 0x20;\n  }" while (parenthesized_expression "( true )" ( true )) (compound_statement "{\n    uVar4 = uVar4 + lVar3;\n    lVar3 = (ulonglong)param_2[2] * (ulonglong)param_4;\n    param_1[1] = (int)uVar4;\n    uVar4 = uVar4 >> 0x20;\nLAB_00043220:\n    uVar4 = uVar4 + lVar3;\n    lVar3 = (ulonglong)param_2[3] * (ulonglong)param_4;\n    param_1[2] = (int)uVar4;\n    uVar4 = uVar4 >> 0x20;\nLAB_00043232:\n    uVar4 = uVar4 + lVar3;\n    bVar2 = param_3 < 4;\n    param_3 = param_3 - 4;\n    param_1[3] = (int)uVar4;\n    param_2 = param_2 + 4;\n    if (bVar2 || param_3 == 0) break;\n    lVar3 = (ulonglong)*param_2 * (ulonglong)param_4;\n    uVar4 = uVar4 >> 0x20;\n    param_1 = param_1 + 4;\nLAB_000431fd:\n    uVar4 = uVar4 + lVar3;\n    lVar3 = (ulonglong)param_2[1] * (ulonglong)param_4;\n    *param_1 = (int)uVar4;\n    uVar4 = uVar4 >> 0x20;\n  }" { (expression_statement "uVar4 = uVar4 + lVar3;" (assignment_expression "uVar4 = uVar4 + lVar3" identifier = (binary_expression "uVar4 + lVar3" identifier + identifier)) ;) (expression_statement "lVar3 = (ulonglong)param_2[2] * (ulonglong)param_4;" (assignment_expression "lVar3 = (ulonglong)param_2[2] * (ulonglong)param_4" identifier = (binary_expression "(ulonglong)param_2[2] * (ulonglong)param_4" (cast_expression "(ulonglong)param_2[2]" ( (type_descriptor "ulonglong" type_identifier) ) (subscript_expression "param_2[2]" identifier [ number_literal ])) * (cast_expression "(ulonglong)param_4" ( (type_descriptor "ulonglong" type_identifier) ) identifier))) ;) (expression_statement "param_1[1] = (int)uVar4;" (assignment_expression "param_1[1] = (int)uVar4" (subscript_expression "param_1[1]" identifier [ number_literal ]) = (cast_expression "(int)uVar4" ( (type_descriptor "int" primitive_type) ) identifier)) ;) (expression_statement "uVar4 = uVar4 >> 0x20;" (assignment_expression "uVar4 = uVar4 >> 0x20" identifier = (binary_expression "uVar4 >> 0x20" identifier >> number_literal)) ;) (labeled_statement "LAB_00043220:\n    uVar4 = uVar4 + lVar3;" statement_identifier : (expression_statement "uVar4 = uVar4 + lVar3;" (assignment_expression "uVar4 = uVar4 + lVar3" identifier = (binary_expression "uVar4 + lVar3" identifier + identifier)) ;)) (expression_statement "lVar3 = (ulonglong)param_2[3] * (ulonglong)param_4;" (assignment_expression "lVar3 = (ulonglong)param_2[3] * (ulonglong)param_4" identifier = (binary_expression "(ulonglong)param_2[3] * (ulonglong)param_4" (cast_expression "(ulonglong)param_2[3]" ( (type_descriptor "ulonglong" type_identifier) ) (subscript_expression "param_2[3]" identifier [ number_literal ])) * (cast_expression "(ulonglong)param_4" ( (type_descriptor "ulonglong" type_identifier) ) identifier))) ;) (expression_statement "param_1[2] = (int)uVar4;" (assignment_expression "param_1[2] = (int)uVar4" (subscript_expression "param_1[2]" identifier [ number_literal ]) = (cast_expression "(int)uVar4" ( (type_descriptor "int" primitive_type) ) identifier)) ;) (expression_statement "uVar4 = uVar4 >> 0x20;" (assignment_expression "uVar4 = uVar4 >> 0x20" identifier = (binary_expression "uVar4 >> 0x20" identifier >> number_literal)) ;) (labeled_statement "LAB_00043232:\n    uVar4 = uVar4 + lVar3;" statement_identifier : (expression_statement "uVar4 = uVar4 + lVar3;" (assignment_expression "uVar4 = uVar4 + lVar3" identifier = (binary_expression "uVar4 + lVar3" identifier + identifier)) ;)) (expression_statement "bVar2 = param_3 < 4;" (assignment_expression "bVar2 = param_3 < 4" identifier = (binary_expression "param_3 < 4" identifier < number_literal)) ;) (expression_statement "param_3 = param_3 - 4;" (assignment_expression "param_3 = param_3 - 4" identifier = (binary_expression "param_3 - 4" identifier - number_literal)) ;) (expression_statement "param_1[3] = (int)uVar4;" (assignment_expression "param_1[3] = (int)uVar4" (subscript_expression "param_1[3]" identifier [ number_literal ]) = (cast_expression "(int)uVar4" ( (type_descriptor "int" primitive_type) ) identifier)) ;) (expression_statement "param_2 = param_2 + 4;" (assignment_expression "param_2 = param_2 + 4" identifier = (binary_expression "param_2 + 4" identifier + number_literal)) ;) (if_statement "if (bVar2 || param_3 == 0) break;" if (parenthesized_expression "(bVar2 || param_3 == 0)" ( (binary_expression "bVar2 || param_3 == 0" identifier || (binary_expression "param_3 == 0" identifier == number_literal)) )) (break_statement "break;" break ;)) (expression_statement "lVar3 = (ulonglong)*param_2 * (ulonglong)param_4;" (assignment_expression "lVar3 = (ulonglong)*param_2 * (ulonglong)param_4" identifier = (binary_expression "(ulonglong)*param_2 * (ulonglong)param_4" (binary_expression "(ulonglong)*param_2" (parenthesized_expression "(ulonglong)" ( identifier )) * identifier) * (cast_expression "(ulonglong)param_4" ( (type_descriptor "ulonglong" type_identifier) ) identifier))) ;) (expression_statement "uVar4 = uVar4 >> 0x20;" (assignment_expression "uVar4 = uVar4 >> 0x20" identifier = (binary_expression "uVar4 >> 0x20" identifier >> number_literal)) ;) (expression_statement "param_1 = param_1 + 4;" (assignment_expression "param_1 = param_1 + 4" identifier = (binary_expression "param_1 + 4" identifier + number_literal)) ;) (labeled_statement "LAB_000431fd:\n    uVar4 = uVar4 + lVar3;" statement_identifier : (expression_statement "uVar4 = uVar4 + lVar3;" (assignment_expression "uVar4 = uVar4 + lVar3" identifier = (binary_expression "uVar4 + lVar3" identifier + identifier)) ;)) (expression_statement "lVar3 = (ulonglong)param_2[1] * (ulonglong)param_4;" (assignment_expression "lVar3 = (ulonglong)param_2[1] * (ulonglong)param_4" identifier = (binary_expression "(ulonglong)param_2[1] * (ulonglong)param_4" (cast_expression "(ulonglong)param_2[1]" ( (type_descriptor "ulonglong" type_identifier) ) (subscript_expression "param_2[1]" identifier [ number_literal ])) * (cast_expression "(ulonglong)param_4" ( (type_descriptor "ulonglong" type_identifier) ) identifier))) ;) (expression_statement "*param_1 = (int)uVar4;" (assignment_expression "*param_1 = (int)uVar4" (pointer_expression "*param_1" * identifier) = (cast_expression "(int)uVar4" ( (type_descriptor "int" primitive_type) ) identifier)) ;) (expression_statement "uVar4 = uVar4 >> 0x20;" (assignment_expression "uVar4 = uVar4 >> 0x20" identifier = (binary_expression "uVar4 >> 0x20" identifier >> number_literal)) ;) })) (return_statement "return (int)(uVar4 >> 0x20);" return (cast_expression "(int)(uVar4 >> 0x20)" ( (type_descriptor "int" primitive_type) ) (parenthesized_expression "(uVar4 >> 0x20)" ( (binary_expression "uVar4 >> 0x20" identifier >> number_literal) ))) ;) })))
(translation_unit "undefined4 __gmpn_mul_1_atom_sse2(undefined4 *param_1,uint *param_2,uint param_3,uint param_4)\n\n{\n  uint uVar1;\n  bool bVar2;\n  longlong lVar3;\n  ulonglong uVar4;\n  \n  uVar4 = 0;\n  uVar1 = param_3 & 3;\n  lVar3 = (ulonglong)*param_2 * (ulonglong)param_4;\n  if (uVar1 == 0) goto LAB_000431fd;\n  param_2 = param_2 + (uVar1 - 4);\n  param_1 = param_1 + (uVar1 - 4);\n  if (uVar1 < 2) goto LAB_00043232;\n  if (uVar1 == 2) goto LAB_00043220;\n  while( true ) {\n    uVar4 = uVar4 + lVar3;\n    lVar3 = (ulonglong)param_2[2] * (ulonglong)param_4;\n    param_1[1] = (int)uVar4;\n    uVar4 = uVar4 >> 0x20;\nLAB_00043220:\n    uVar4 = uVar4 + lVar3;\n    lVar3 = (ulonglong)param_2[3] * (ulonglong)param_4;\n    param_1[2] = (int)uVar4;\n    uVar4 = uVar4 >> 0x20;\nLAB_00043232:\n    uVar4 = uVar4 + lVar3;\n    bVar2 = param_3 < 4;\n    param_3 = param_3 - 4;\n    param_1[3] = (int)uVar4;\n    param_2 = param_2 + 4;\n    if (bVar2 || param_3 == 0) break;\n    lVar3 = (ulonglong)*param_2 * (ulonglong)param_4;\n    uVar4 = uVar4 >> 0x20;\n    param_1 = param_1 + 4;\nLAB_000431fd:\n    uVar4 = uVar4 + lVar3;\n    lVar3 = (ulonglong)param_2[1] * (ulonglong)param_4;\n    *param_1 = (int)uVar4;\n    uVar4 = uVar4 >> 0x20;\n  }\n  return (int)(uVar4 >> 0x20);\n}\n\n" (function_definition "undefined4 __gmpn_mul_1_atom_sse2(undefined4 *param_1,uint *param_2,uint param_3,uint param_4)\n\n{\n  uint uVar1;\n  bool bVar2;\n  longlong lVar3;\n  ulonglong uVar4;\n  \n  uVar4 = 0;\n  uVar1 = param_3 & 3;\n  lVar3 = (ulonglong)*param_2 * (ulonglong)param_4;\n  if (uVar1 == 0) goto LAB_000431fd;\n  param_2 = param_2 + (uVar1 - 4);\n  param_1 = param_1 + (uVar1 - 4);\n  if (uVar1 < 2) goto LAB_00043232;\n  if (uVar1 == 2) goto LAB_00043220;\n  while( true ) {\n    uVar4 = uVar4 + lVar3;\n    lVar3 = (ulonglong)param_2[2] * (ulonglong)param_4;\n    param_1[1] = (int)uVar4;\n    uVar4 = uVar4 >> 0x20;\nLAB_00043220:\n    uVar4 = uVar4 + lVar3;\n    lVar3 = (ulonglong)param_2[3] * (ulonglong)param_4;\n    param_1[2] = (int)uVar4;\n    uVar4 = uVar4 >> 0x20;\nLAB_00043232:\n    uVar4 = uVar4 + lVar3;\n    bVar2 = param_3 < 4;\n    param_3 = param_3 - 4;\n    param_1[3] = (int)uVar4;\n    param_2 = param_2 + 4;\n    if (bVar2 || param_3 == 0) break;\n    lVar3 = (ulonglong)*param_2 * (ulonglong)param_4;\n    uVar4 = uVar4 >> 0x20;\n    param_1 = param_1 + 4;\nLAB_000431fd:\n    uVar4 = uVar4 + lVar3;\n    lVar3 = (ulonglong)param_2[1] * (ulonglong)param_4;\n    *param_1 = (int)uVar4;\n    uVar4 = uVar4 >> 0x20;\n  }\n  return (int)(uVar4 >> 0x20);\n}" type_identifier (function_declarator "__gmpn_mul_1_atom_sse2(undefined4 *param_1,uint *param_2,uint param_3,uint param_4)" identifier (parameter_list "(undefined4 *param_1,uint *param_2,uint param_3,uint param_4)" ( (parameter_declaration "undefined4 *param_1" type_identifier (pointer_declarator "*param_1" * identifier)) , (parameter_declaration "uint *param_2" type_identifier (pointer_declarator "*param_2" * identifier)) , (parameter_declaration "uint param_3" type_identifier identifier) , (parameter_declaration "uint param_4" type_identifier identifier) ))) (compound_statement "{\n  uint uVar1;\n  bool bVar2;\n  longlong lVar3;\n  ulonglong uVar4;\n  \n  uVar4 = 0;\n  uVar1 = param_3 & 3;\n  lVar3 = (ulonglong)*param_2 * (ulonglong)param_4;\n  if (uVar1 == 0) goto LAB_000431fd;\n  param_2 = param_2 + (uVar1 - 4);\n  param_1 = param_1 + (uVar1 - 4);\n  if (uVar1 < 2) goto LAB_00043232;\n  if (uVar1 == 2) goto LAB_00043220;\n  while( true ) {\n    uVar4 = uVar4 + lVar3;\n    lVar3 = (ulonglong)param_2[2] * (ulonglong)param_4;\n    param_1[1] = (int)uVar4;\n    uVar4 = uVar4 >> 0x20;\nLAB_00043220:\n    uVar4 = uVar4 + lVar3;\n    lVar3 = (ulonglong)param_2[3] * (ulonglong)param_4;\n    param_1[2] = (int)uVar4;\n    uVar4 = uVar4 >> 0x20;\nLAB_00043232:\n    uVar4 = uVar4 + lVar3;\n    bVar2 = param_3 < 4;\n    param_3 = param_3 - 4;\n    param_1[3] = (int)uVar4;\n    param_2 = param_2 + 4;\n    if (bVar2 || param_3 == 0) break;\n    lVar3 = (ulonglong)*param_2 * (ulonglong)param_4;\n    uVar4 = uVar4 >> 0x20;\n    param_1 = param_1 + 4;\nLAB_000431fd:\n    uVar4 = uVar4 + lVar3;\n    lVar3 = (ulonglong)param_2[1] * (ulonglong)param_4;\n    *param_1 = (int)uVar4;\n    uVar4 = uVar4 >> 0x20;\n  }\n  return (int)(uVar4 >> 0x20);\n}" { (declaration "uint uVar1;" type_identifier identifier ;) (declaration "bool bVar2;" primitive_type identifier ;) (declaration "longlong lVar3;" type_identifier identifier ;) (declaration "ulonglong uVar4;" type_identifier identifier ;) (expression_statement "uVar4 = 0;" (assignment_expression "uVar4 = 0" identifier = number_literal) ;) (expression_statement "uVar1 = param_3 & 3;" (assignment_expression "uVar1 = param_3 & 3" identifier = (binary_expression "param_3 & 3" identifier & number_literal)) ;) (expression_statement "lVar3 = (ulonglong)*param_2 * (ulonglong)param_4;" (assignment_expression "lVar3 = (ulonglong)*param_2 * (ulonglong)param_4" identifier = (binary_expression "(ulonglong)*param_2 * (ulonglong)param_4" (binary_expression "(ulonglong)*param_2" (parenthesized_expression "(ulonglong)" ( identifier )) * identifier) * (cast_expression "(ulonglong)param_4" ( (type_descriptor "ulonglong" type_identifier) ) identifier))) ;) (if_statement "if (uVar1 == 0) goto LAB_000431fd;" if (parenthesized_expression "(uVar1 == 0)" ( (binary_expression "uVar1 == 0" identifier == number_literal) )) (goto_statement "goto LAB_000431fd;" goto statement_identifier ;)) (expression_statement "param_2 = param_2 + (uVar1 - 4);" (assignment_expression "param_2 = param_2 + (uVar1 - 4)" identifier = (binary_expression "param_2 + (uVar1 - 4)" identifier + (parenthesized_expression "(uVar1 - 4)" ( (binary_expression "uVar1 - 4" identifier - number_literal) )))) ;) (expression_statement "param_1 = param_1 + (uVar1 - 4);" (assignment_expression "param_1 = param_1 + (uVar1 - 4)" identifier = (binary_expression "param_1 + (uVar1 - 4)" identifier + (parenthesized_expression "(uVar1 - 4)" ( (binary_expression "uVar1 - 4" identifier - number_literal) )))) ;) (if_statement "if (uVar1 < 2) goto LAB_00043232;" if (parenthesized_expression "(uVar1 < 2)" ( (binary_expression "uVar1 < 2" identifier < number_literal) )) (goto_statement "goto LAB_00043232;" goto statement_identifier ;)) (if_statement "if (uVar1 == 2) goto LAB_00043220;" if (parenthesized_expression "(uVar1 == 2)" ( (binary_expression "uVar1 == 2" identifier == number_literal) )) (goto_statement "goto LAB_00043220;" goto statement_identifier ;)) (while_statement "while( true ) {\n    uVar4 = uVar4 + lVar3;\n    lVar3 = (ulonglong)param_2[2] * (ulonglong)param_4;\n    param_1[1] = (int)uVar4;\n    uVar4 = uVar4 >> 0x20;\nLAB_00043220:\n    uVar4 = uVar4 + lVar3;\n    lVar3 = (ulonglong)param_2[3] * (ulonglong)param_4;\n    param_1[2] = (int)uVar4;\n    uVar4 = uVar4 >> 0x20;\nLAB_00043232:\n    uVar4 = uVar4 + lVar3;\n    bVar2 = param_3 < 4;\n    param_3 = param_3 - 4;\n    param_1[3] = (int)uVar4;\n    param_2 = param_2 + 4;\n    if (bVar2 || param_3 == 0) break;\n    lVar3 = (ulonglong)*param_2 * (ulonglong)param_4;\n    uVar4 = uVar4 >> 0x20;\n    param_1 = param_1 + 4;\nLAB_000431fd:\n    uVar4 = uVar4 + lVar3;\n    lVar3 = (ulonglong)param_2[1] * (ulonglong)param_4;\n    *param_1 = (int)uVar4;\n    uVar4 = uVar4 >> 0x20;\n  }" while (parenthesized_expression "( true )" ( true )) (compound_statement "{\n    uVar4 = uVar4 + lVar3;\n    lVar3 = (ulonglong)param_2[2] * (ulonglong)param_4;\n    param_1[1] = (int)uVar4;\n    uVar4 = uVar4 >> 0x20;\nLAB_00043220:\n    uVar4 = uVar4 + lVar3;\n    lVar3 = (ulonglong)param_2[3] * (ulonglong)param_4;\n    param_1[2] = (int)uVar4;\n    uVar4 = uVar4 >> 0x20;\nLAB_00043232:\n    uVar4 = uVar4 + lVar3;\n    bVar2 = param_3 < 4;\n    param_3 = param_3 - 4;\n    param_1[3] = (int)uVar4;\n    param_2 = param_2 + 4;\n    if (bVar2 || param_3 == 0) break;\n    lVar3 = (ulonglong)*param_2 * (ulonglong)param_4;\n    uVar4 = uVar4 >> 0x20;\n    param_1 = param_1 + 4;\nLAB_000431fd:\n    uVar4 = uVar4 + lVar3;\n    lVar3 = (ulonglong)param_2[1] * (ulonglong)param_4;\n    *param_1 = (int)uVar4;\n    uVar4 = uVar4 >> 0x20;\n  }" { (expression_statement "uVar4 = uVar4 + lVar3;" (assignment_expression "uVar4 = uVar4 + lVar3" identifier = (binary_expression "uVar4 + lVar3" identifier + identifier)) ;) (expression_statement "lVar3 = (ulonglong)param_2[2] * (ulonglong)param_4;" (assignment_expression "lVar3 = (ulonglong)param_2[2] * (ulonglong)param_4" identifier = (binary_expression "(ulonglong)param_2[2] * (ulonglong)param_4" (cast_expression "(ulonglong)param_2[2]" ( (type_descriptor "ulonglong" type_identifier) ) (subscript_expression "param_2[2]" identifier [ number_literal ])) * (cast_expression "(ulonglong)param_4" ( (type_descriptor "ulonglong" type_identifier) ) identifier))) ;) (expression_statement "param_1[1] = (int)uVar4;" (assignment_expression "param_1[1] = (int)uVar4" (subscript_expression "param_1[1]" identifier [ number_literal ]) = (cast_expression "(int)uVar4" ( (type_descriptor "int" primitive_type) ) identifier)) ;) (expression_statement "uVar4 = uVar4 >> 0x20;" (assignment_expression "uVar4 = uVar4 >> 0x20" identifier = (binary_expression "uVar4 >> 0x20" identifier >> number_literal)) ;) (labeled_statement "LAB_00043220:\n    uVar4 = uVar4 + lVar3;" statement_identifier : (expression_statement "uVar4 = uVar4 + lVar3;" (assignment_expression "uVar4 = uVar4 + lVar3" identifier = (binary_expression "uVar4 + lVar3" identifier + identifier)) ;)) (expression_statement "lVar3 = (ulonglong)param_2[3] * (ulonglong)param_4;" (assignment_expression "lVar3 = (ulonglong)param_2[3] * (ulonglong)param_4" identifier = (binary_expression "(ulonglong)param_2[3] * (ulonglong)param_4" (cast_expression "(ulonglong)param_2[3]" ( (type_descriptor "ulonglong" type_identifier) ) (subscript_expression "param_2[3]" identifier [ number_literal ])) * (cast_expression "(ulonglong)param_4" ( (type_descriptor "ulonglong" type_identifier) ) identifier))) ;) (expression_statement "param_1[2] = (int)uVar4;" (assignment_expression "param_1[2] = (int)uVar4" (subscript_expression "param_1[2]" identifier [ number_literal ]) = (cast_expression "(int)uVar4" ( (type_descriptor "int" primitive_type) ) identifier)) ;) (expression_statement "uVar4 = uVar4 >> 0x20;" (assignment_expression "uVar4 = uVar4 >> 0x20" identifier = (binary_expression "uVar4 >> 0x20" identifier >> number_literal)) ;) (labeled_statement "LAB_00043232:\n    uVar4 = uVar4 + lVar3;" statement_identifier : (expression_statement "uVar4 = uVar4 + lVar3;" (assignment_expression "uVar4 = uVar4 + lVar3" identifier = (binary_expression "uVar4 + lVar3" identifier + identifier)) ;)) (expression_statement "bVar2 = param_3 < 4;" (assignment_expression "bVar2 = param_3 < 4" identifier = (binary_expression "param_3 < 4" identifier < number_literal)) ;) (expression_statement "param_3 = param_3 - 4;" (assignment_expression "param_3 = param_3 - 4" identifier = (binary_expression "param_3 - 4" identifier - number_literal)) ;) (expression_statement "param_1[3] = (int)uVar4;" (assignment_expression "param_1[3] = (int)uVar4" (subscript_expression "param_1[3]" identifier [ number_literal ]) = (cast_expression "(int)uVar4" ( (type_descriptor "int" primitive_type) ) identifier)) ;) (expression_statement "param_2 = param_2 + 4;" (assignment_expression "param_2 = param_2 + 4" identifier = (binary_expression "param_2 + 4" identifier + number_literal)) ;) (if_statement "if (bVar2 || param_3 == 0) break;" if (parenthesized_expression "(bVar2 || param_3 == 0)" ( (binary_expression "bVar2 || param_3 == 0" identifier || (binary_expression "param_3 == 0" identifier == number_literal)) )) (break_statement "break;" break ;)) (expression_statement "lVar3 = (ulonglong)*param_2 * (ulonglong)param_4;" (assignment_expression "lVar3 = (ulonglong)*param_2 * (ulonglong)param_4" identifier = (binary_expression "(ulonglong)*param_2 * (ulonglong)param_4" (binary_expression "(ulonglong)*param_2" (parenthesized_expression "(ulonglong)" ( identifier )) * identifier) * (cast_expression "(ulonglong)param_4" ( (type_descriptor "ulonglong" type_identifier) ) identifier))) ;) (expression_statement "uVar4 = uVar4 >> 0x20;" (assignment_expression "uVar4 = uVar4 >> 0x20" identifier = (binary_expression "uVar4 >> 0x20" identifier >> number_literal)) ;) (expression_statement "param_1 = param_1 + 4;" (assignment_expression "param_1 = param_1 + 4" identifier = (binary_expression "param_1 + 4" identifier + number_literal)) ;) (labeled_statement "LAB_000431fd:\n    uVar4 = uVar4 + lVar3;" statement_identifier : (expression_statement "uVar4 = uVar4 + lVar3;" (assignment_expression "uVar4 = uVar4 + lVar3" identifier = (binary_expression "uVar4 + lVar3" identifier + identifier)) ;)) (expression_statement "lVar3 = (ulonglong)param_2[1] * (ulonglong)param_4;" (assignment_expression "lVar3 = (ulonglong)param_2[1] * (ulonglong)param_4" identifier = (binary_expression "(ulonglong)param_2[1] * (ulonglong)param_4" (cast_expression "(ulonglong)param_2[1]" ( (type_descriptor "ulonglong" type_identifier) ) (subscript_expression "param_2[1]" identifier [ number_literal ])) * (cast_expression "(ulonglong)param_4" ( (type_descriptor "ulonglong" type_identifier) ) identifier))) ;) (expression_statement "*param_1 = (int)uVar4;" (assignment_expression "*param_1 = (int)uVar4" (pointer_expression "*param_1" * identifier) = (cast_expression "(int)uVar4" ( (type_descriptor "int" primitive_type) ) identifier)) ;) (expression_statement "uVar4 = uVar4 >> 0x20;" (assignment_expression "uVar4 = uVar4 >> 0x20" identifier = (binary_expression "uVar4 >> 0x20" identifier >> number_literal)) ;) })) (return_statement "return (int)(uVar4 >> 0x20);" return (cast_expression "(int)(uVar4 >> 0x20)" ( (type_descriptor "int" primitive_type) ) (parenthesized_expression "(uVar4 >> 0x20)" ( (binary_expression "uVar4 >> 0x20" identifier >> number_literal) ))) ;) })))
(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 ;) (expression_statement (assignment_expression IDENT = LIT) ;) (expression_statement (assignment_expression IDENT = (binary_expression IDENT & LIT)) ;) (expression_statement (assignment_expression IDENT = (binary_expression (binary_expression (parenthesized_expression ( IDENT )) * IDENT) * (cast_expression ( (type_descriptor TYPE) ) IDENT))) ;) (if_statement if (parenthesized_expression ( (binary_expression IDENT == LIT) )) (goto_statement goto statement_identifier ;)) (expression_statement (assignment_expression IDENT = (binary_expression IDENT + (parenthesized_expression ( (binary_expression IDENT - LIT) )))) ;) (expression_statement (assignment_expression IDENT = (binary_expression IDENT + (parenthesized_expression ( (binary_expression IDENT - LIT) )))) ;) (if_statement if (parenthesized_expression ( (binary_expression IDENT < LIT) )) (goto_statement goto statement_identifier ;)) (if_statement if (parenthesized_expression ( (binary_expression IDENT == LIT) )) (goto_statement goto statement_identifier ;)) (while_statement while (parenthesized_expression ( BOOL )) (compound_statement { (expression_statement (assignment_expression IDENT = (binary_expression IDENT + IDENT)) ;) (expression_statement (assignment_expression IDENT = (binary_expression (cast_expression ( (type_descriptor TYPE) ) (subscript_expression IDENT [ LIT ])) * (cast_expression ( (type_descriptor TYPE) ) IDENT))) ;) (expression_statement (assignment_expression (subscript_expression IDENT [ LIT ]) = (cast_expression ( (type_descriptor TYPE) ) IDENT)) ;) (expression_statement (assignment_expression IDENT = (binary_expression IDENT >> LIT)) ;) (labeled_statement statement_identifier : (expression_statement (assignment_expression IDENT = (binary_expression IDENT + IDENT)) ;)) (expression_statement (assignment_expression IDENT = (binary_expression (cast_expression ( (type_descriptor TYPE) ) (subscript_expression IDENT [ LIT ])) * (cast_expression ( (type_descriptor TYPE) ) IDENT))) ;) (expression_statement (assignment_expression (subscript_expression IDENT [ LIT ]) = (cast_expression ( (type_descriptor TYPE) ) IDENT)) ;) (expression_statement (assignment_expression IDENT = (binary_expression IDENT >> LIT)) ;) (labeled_statement statement_identifier : (expression_statement (assignment_expression IDENT = (binary_expression IDENT + IDENT)) ;)) (expression_statement (assignment_expression IDENT = (binary_expression IDENT < LIT)) ;) (expression_statement (assignment_expression IDENT = (binary_expression IDENT - LIT)) ;) (expression_statement (assignment_expression (subscript_expression IDENT [ LIT ]) = (cast_expression ( (type_descriptor TYPE) ) IDENT)) ;) (expression_statement (assignment_expression IDENT = (binary_expression IDENT + LIT)) ;) (if_statement if (parenthesized_expression ( (binary_expression IDENT || (binary_expression IDENT == LIT)) )) (break_statement break ;)) (expression_statement (assignment_expression IDENT = (binary_expression (binary_expression (parenthesized_expression ( IDENT )) * 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)) ;) (labeled_statement statement_identifier : (expression_statement (assignment_expression IDENT = (binary_expression IDENT + IDENT)) ;)) (expression_statement (assignment_expression IDENT = (binary_expression (cast_expression ( (type_descriptor TYPE) ) (subscript_expression IDENT [ LIT ])) * (cast_expression ( (type_descriptor TYPE) ) IDENT))) ;) (expression_statement (assignment_expression (pointer_expression * IDENT) = (cast_expression ( (type_descriptor TYPE) ) IDENT)) ;) (expression_statement (assignment_expression IDENT = (binary_expression IDENT >> LIT)) ;) })) (return_statement return (cast_expression ( (type_descriptor TYPE) ) (parenthesized_expression ( (binary_expression IDENT >> LIT) ))) ;) })))
(function_definition "undefined4 __gmpn_mul_1_atom_sse2(undefined4 *param_1,uint *param_2,uint param_3,uint param_4)\n\n{\n  uint uVar1;\n  bool bVar2;\n  longlong lVar3;\n  ulonglong uVar4;\n  \n  uVar4 = 0;\n  uVar1 = param_3 & 3;\n  lVar3 = (ulonglong)*param_2 * (ulonglong)param_4;\n  if (uVar1 == 0) goto LAB_000431fd;\n  param_2 = param_2 + (uVar1 - 4);\n  param_1 = param_1 + (uVar1 - 4);\n  if (uVar1 < 2) goto LAB_00043232;\n  if (uVar1 == 2) goto LAB_00043220;\n  while( true ) {\n    uVar4 = uVar4 + lVar3;\n    lVar3 = (ulonglong)param_2[2] * (ulonglong)param_4;\n    param_1[1] = (int)uVar4;\n    uVar4 = uVar4 >> 0x20;\nLAB_00043220:\n    uVar4 = uVar4 + lVar3;\n    lVar3 = (ulonglong)param_2[3] * (ulonglong)param_4;\n    param_1[2] = (int)uVar4;\n    uVar4 = uVar4 >> 0x20;\nLAB_00043232:\n    uVar4 = uVar4 + lVar3;\n    bVar2 = param_3 < 4;\n    param_3 = param_3 - 4;\n    param_1[3] = (int)uVar4;\n    param_2 = param_2 + 4;\n    if (bVar2 || param_3 == 0) break;\n    lVar3 = (ulonglong)*param_2 * (ulonglong)param_4;\n    uVar4 = uVar4 >> 0x20;\n    param_1 = param_1 + 4;\nLAB_000431fd:\n    uVar4 = uVar4 + lVar3;\n    lVar3 = (ulonglong)param_2[1] * (ulonglong)param_4;\n    *param_1 = (int)uVar4;\n    uVar4 = uVar4 >> 0x20;\n  }\n  return (int)(uVar4 >> 0x20);\n}" (type_identifier "undefined4") (function_declarator "__gmpn_mul_1_atom_sse2(undefined4 *param_1,uint *param_2,uint param_3,uint param_4)" (identifier "__gmpn_mul_1_atom_sse2") (parameter_list "(undefined4 *param_1,uint *param_2,uint param_3,uint param_4)" (( "(") (parameter_declaration "undefined4 *param_1" (type_identifier "undefined4") (pointer_declarator "*param_1" (* "*") (identifier "param_1"))) (, ",") (parameter_declaration "uint *param_2" (type_identifier "uint") (pointer_declarator "*param_2" (* "*") (identifier "param_2"))) (, ",") (parameter_declaration "uint param_3" (type_identifier "uint") (identifier "param_3")) (, ",") (parameter_declaration "uint param_4" (type_identifier "uint") (identifier "param_4")) () ")"))) (compound_statement "{\n  uint uVar1;\n  bool bVar2;\n  longlong lVar3;\n  ulonglong uVar4;\n  \n  uVar4 = 0;\n  uVar1 = param_3 & 3;\n  lVar3 = (ulonglong)*param_2 * (ulonglong)param_4;\n  if (uVar1 == 0) goto LAB_000431fd;\n  param_2 = param_2 + (uVar1 - 4);\n  param_1 = param_1 + (uVar1 - 4);\n  if (uVar1 < 2) goto LAB_00043232;\n  if (uVar1 == 2) goto LAB_00043220;\n  while( true ) {\n    uVar4 = uVar4 + lVar3;\n    lVar3 = (ulonglong)param_2[2] * (ulonglong)param_4;\n    param_1[1] = (int)uVar4;\n    uVar4 = uVar4 >> 0x20;\nLAB_00043220:\n    uVar4 = uVar4 + lVar3;\n    lVar3 = (ulonglong)param_2[3] * (ulonglong)param_4;\n    param_1[2] = (int)uVar4;\n    uVar4 = uVar4 >> 0x20;\nLAB_00043232:\n    uVar4 = uVar4 + lVar3;\n    bVar2 = param_3 < 4;\n    param_3 = param_3 - 4;\n    param_1[3] = (int)uVar4;\n    param_2 = param_2 + 4;\n    if (bVar2 || param_3 == 0) break;\n    lVar3 = (ulonglong)*param_2 * (ulonglong)param_4;\n    uVar4 = uVar4 >> 0x20;\n    param_1 = param_1 + 4;\nLAB_000431fd:\n    uVar4 = uVar4 + lVar3;\n    lVar3 = (ulonglong)param_2[1] * (ulonglong)param_4;\n    *param_1 = (int)uVar4;\n    uVar4 = uVar4 >> 0x20;\n  }\n  return (int)(uVar4 >> 0x20);\n}" ({ "{") (declaration "uint uVar1;" (type_identifier "uint") (identifier "uVar1") (; ";")) (declaration "bool bVar2;" (primitive_type "bool") (identifier "bVar2") (; ";")) (declaration "longlong lVar3;" (type_identifier "longlong") (identifier "lVar3") (; ";")) (declaration "ulonglong uVar4;" (type_identifier "ulonglong") (identifier "uVar4") (; ";")) (expression_statement "uVar4 = 0;" (assignment_expression "uVar4 = 0" (identifier "uVar4") (= "=") (number_literal "0")) (; ";")) (expression_statement "uVar1 = param_3 & 3;" (assignment_expression "uVar1 = param_3 & 3" (identifier "uVar1") (= "=") (binary_expression "param_3 & 3" (identifier "param_3") (& "&") (number_literal "3"))) (; ";")) (expression_statement "lVar3 = (ulonglong)*param_2 * (ulonglong)param_4;" (assignment_expression "lVar3 = (ulonglong)*param_2 * (ulonglong)param_4" (identifier "lVar3") (= "=") (binary_expression "(ulonglong)*param_2 * (ulonglong)param_4" (binary_expression "(ulonglong)*param_2" (parenthesized_expression "(ulonglong)" (( "(") (identifier "ulonglong") () ")")) (* "*") (identifier "param_2")) (* "*") (cast_expression "(ulonglong)param_4" (( "(") (type_descriptor "ulonglong" (type_identifier "ulonglong")) () ")") (identifier "param_4")))) (; ";")) (if_statement "if (uVar1 == 0) goto LAB_000431fd;" (if "if") (parenthesized_expression "(uVar1 == 0)" (( "(") (binary_expression "uVar1 == 0" (identifier "uVar1") (== "==") (number_literal "0")) () ")")) (goto_statement "goto LAB_000431fd;" (goto "goto") (statement_identifier "LAB_000431fd") (; ";"))) (expression_statement "param_2 = param_2 + (uVar1 - 4);" (assignment_expression "param_2 = param_2 + (uVar1 - 4)" (identifier "param_2") (= "=") (binary_expression "param_2 + (uVar1 - 4)" (identifier "param_2") (+ "+") (parenthesized_expression "(uVar1 - 4)" (( "(") (binary_expression "uVar1 - 4" (identifier "uVar1") (- "-") (number_literal "4")) () ")")))) (; ";")) (expression_statement "param_1 = param_1 + (uVar1 - 4);" (assignment_expression "param_1 = param_1 + (uVar1 - 4)" (identifier "param_1") (= "=") (binary_expression "param_1 + (uVar1 - 4)" (identifier "param_1") (+ "+") (parenthesized_expression "(uVar1 - 4)" (( "(") (binary_expression "uVar1 - 4" (identifier "uVar1") (- "-") (number_literal "4")) () ")")))) (; ";")) (if_statement "if (uVar1 < 2) goto LAB_00043232;" (if "if") (parenthesized_expression "(uVar1 < 2)" (( "(") (binary_expression "uVar1 < 2" (identifier "uVar1") (< "<") (number_literal "2")) () ")")) (goto_statement "goto LAB_00043232;" (goto "goto") (statement_identifier "LAB_00043232") (; ";"))) (if_statement "if (uVar1 == 2) goto LAB_00043220;" (if "if") (parenthesized_expression "(uVar1 == 2)" (( "(") (binary_expression "uVar1 == 2" (identifier "uVar1") (== "==") (number_literal "2")) () ")")) (goto_statement "goto LAB_00043220;" (goto "goto") (statement_identifier "LAB_00043220") (; ";"))) (while_statement "while( true ) {\n    uVar4 = uVar4 + lVar3;\n    lVar3 = (ulonglong)param_2[2] * (ulonglong)param_4;\n    param_1[1] = (int)uVar4;\n    uVar4 = uVar4 >> 0x20;\nLAB_00043220:\n    uVar4 = uVar4 + lVar3;\n    lVar3 = (ulonglong)param_2[3] * (ulonglong)param_4;\n    param_1[2] = (int)uVar4;\n    uVar4 = uVar4 >> 0x20;\nLAB_00043232:\n    uVar4 = uVar4 + lVar3;\n    bVar2 = param_3 < 4;\n    param_3 = param_3 - 4;\n    param_1[3] = (int)uVar4;\n    param_2 = param_2 + 4;\n    if (bVar2 || param_3 == 0) break;\n    lVar3 = (ulonglong)*param_2 * (ulonglong)param_4;\n    uVar4 = uVar4 >> 0x20;\n    param_1 = param_1 + 4;\nLAB_000431fd:\n    uVar4 = uVar4 + lVar3;\n    lVar3 = (ulonglong)param_2[1] * (ulonglong)param_4;\n    *param_1 = (int)uVar4;\n    uVar4 = uVar4 >> 0x20;\n  }" (while "while") (parenthesized_expression "( true )" (( "(") (true "true") () ")")) (compound_statement "{\n    uVar4 = uVar4 + lVar3;\n    lVar3 = (ulonglong)param_2[2] * (ulonglong)param_4;\n    param_1[1] = (int)uVar4;\n    uVar4 = uVar4 >> 0x20;\nLAB_00043220:\n    uVar4 = uVar4 + lVar3;\n    lVar3 = (ulonglong)param_2[3] * (ulonglong)param_4;\n    param_1[2] = (int)uVar4;\n    uVar4 = uVar4 >> 0x20;\nLAB_00043232:\n    uVar4 = uVar4 + lVar3;\n    bVar2 = param_3 < 4;\n    param_3 = param_3 - 4;\n    param_1[3] = (int)uVar4;\n    param_2 = param_2 + 4;\n    if (bVar2 || param_3 == 0) break;\n    lVar3 = (ulonglong)*param_2 * (ulonglong)param_4;\n    uVar4 = uVar4 >> 0x20;\n    param_1 = param_1 + 4;\nLAB_000431fd:\n    uVar4 = uVar4 + lVar3;\n    lVar3 = (ulonglong)param_2[1] * (ulonglong)param_4;\n    *param_1 = (int)uVar4;\n    uVar4 = uVar4 >> 0x20;\n  }" ({ "{") (expression_statement "uVar4 = uVar4 + lVar3;" (assignment_expression "uVar4 = uVar4 + lVar3" (identifier "uVar4") (= "=") (binary_expression "uVar4 + lVar3" (identifier "uVar4") (+ "+") (identifier "lVar3"))) (; ";")) (expression_statement "lVar3 = (ulonglong)param_2[2] * (ulonglong)param_4;" (assignment_expression "lVar3 = (ulonglong)param_2[2] * (ulonglong)param_4" (identifier "lVar3") (= "=") (binary_expression "(ulonglong)param_2[2] * (ulonglong)param_4" (cast_expression "(ulonglong)param_2[2]" (( "(") (type_descriptor "ulonglong" (type_identifier "ulonglong")) () ")") (subscript_expression "param_2[2]" (identifier "param_2") ([ "[") (number_literal "2") (] "]"))) (* "*") (cast_expression "(ulonglong)param_4" (( "(") (type_descriptor "ulonglong" (type_identifier "ulonglong")) () ")") (identifier "param_4")))) (; ";")) (expression_statement "param_1[1] = (int)uVar4;" (assignment_expression "param_1[1] = (int)uVar4" (subscript_expression "param_1[1]" (identifier "param_1") ([ "[") (number_literal "1") (] "]")) (= "=") (cast_expression "(int)uVar4" (( "(") (type_descriptor "int" (primitive_type "int")) () ")") (identifier "uVar4"))) (; ";")) (expression_statement "uVar4 = uVar4 >> 0x20;" (assignment_expression "uVar4 = uVar4 >> 0x20" (identifier "uVar4") (= "=") (binary_expression "uVar4 >> 0x20" (identifier "uVar4") (>> ">>") (number_literal "0x20"))) (; ";")) (labeled_statement "LAB_00043220:\n    uVar4 = uVar4 + lVar3;" (statement_identifier "LAB_00043220") (: ":") (expression_statement "uVar4 = uVar4 + lVar3;" (assignment_expression "uVar4 = uVar4 + lVar3" (identifier "uVar4") (= "=") (binary_expression "uVar4 + lVar3" (identifier "uVar4") (+ "+") (identifier "lVar3"))) (; ";"))) (expression_statement "lVar3 = (ulonglong)param_2[3] * (ulonglong)param_4;" (assignment_expression "lVar3 = (ulonglong)param_2[3] * (ulonglong)param_4" (identifier "lVar3") (= "=") (binary_expression "(ulonglong)param_2[3] * (ulonglong)param_4" (cast_expression "(ulonglong)param_2[3]" (( "(") (type_descriptor "ulonglong" (type_identifier "ulonglong")) () ")") (subscript_expression "param_2[3]" (identifier "param_2") ([ "[") (number_literal "3") (] "]"))) (* "*") (cast_expression "(ulonglong)param_4" (( "(") (type_descriptor "ulonglong" (type_identifier "ulonglong")) () ")") (identifier "param_4")))) (; ";")) (expression_statement "param_1[2] = (int)uVar4;" (assignment_expression "param_1[2] = (int)uVar4" (subscript_expression "param_1[2]" (identifier "param_1") ([ "[") (number_literal "2") (] "]")) (= "=") (cast_expression "(int)uVar4" (( "(") (type_descriptor "int" (primitive_type "int")) () ")") (identifier "uVar4"))) (; ";")) (expression_statement "uVar4 = uVar4 >> 0x20;" (assignment_expression "uVar4 = uVar4 >> 0x20" (identifier "uVar4") (= "=") (binary_expression "uVar4 >> 0x20" (identifier "uVar4") (>> ">>") (number_literal "0x20"))) (; ";")) (labeled_statement "LAB_00043232:\n    uVar4 = uVar4 + lVar3;" (statement_identifier "LAB_00043232") (: ":") (expression_statement "uVar4 = uVar4 + lVar3;" (assignment_expression "uVar4 = uVar4 + lVar3" (identifier "uVar4") (= "=") (binary_expression "uVar4 + lVar3" (identifier "uVar4") (+ "+") (identifier "lVar3"))) (; ";"))) (expression_statement "bVar2 = param_3 < 4;" (assignment_expression "bVar2 = param_3 < 4" (identifier "bVar2") (= "=") (binary_expression "param_3 < 4" (identifier "param_3") (< "<") (number_literal "4"))) (; ";")) (expression_statement "param_3 = param_3 - 4;" (assignment_expression "param_3 = param_3 - 4" (identifier "param_3") (= "=") (binary_expression "param_3 - 4" (identifier "param_3") (- "-") (number_literal "4"))) (; ";")) (expression_statement "param_1[3] = (int)uVar4;" (assignment_expression "param_1[3] = (int)uVar4" (subscript_expression "param_1[3]" (identifier "param_1") ([ "[") (number_literal "3") (] "]")) (= "=") (cast_expression "(int)uVar4" (( "(") (type_descriptor "int" (primitive_type "int")) () ")") (identifier "uVar4"))) (; ";")) (expression_statement "param_2 = param_2 + 4;" (assignment_expression "param_2 = param_2 + 4" (identifier "param_2") (= "=") (binary_expression "param_2 + 4" (identifier "param_2") (+ "+") (number_literal "4"))) (; ";")) (if_statement "if (bVar2 || param_3 == 0) break;" (if "if") (parenthesized_expression "(bVar2 || param_3 == 0)" (( "(") (binary_expression "bVar2 || param_3 == 0" (identifier "bVar2") (|| "||") (binary_expression "param_3 == 0" (identifier "param_3") (== "==") (number_literal "0"))) () ")")) (break_statement "break;" (break "break") (; ";"))) (expression_statement "lVar3 = (ulonglong)*param_2 * (ulonglong)param_4;" (assignment_expression "lVar3 = (ulonglong)*param_2 * (ulonglong)param_4" (identifier "lVar3") (= "=") (binary_expression "(ulonglong)*param_2 * (ulonglong)param_4" (binary_expression "(ulonglong)*param_2" (parenthesized_expression "(ulonglong)" (( "(") (identifier "ulonglong") () ")")) (* "*") (identifier "param_2")) (* "*") (cast_expression "(ulonglong)param_4" (( "(") (type_descriptor "ulonglong" (type_identifier "ulonglong")) () ")") (identifier "param_4")))) (; ";")) (expression_statement "uVar4 = uVar4 >> 0x20;" (assignment_expression "uVar4 = uVar4 >> 0x20" (identifier "uVar4") (= "=") (binary_expression "uVar4 >> 0x20" (identifier "uVar4") (>> ">>") (number_literal "0x20"))) (; ";")) (expression_statement "param_1 = param_1 + 4;" (assignment_expression "param_1 = param_1 + 4" (identifier "param_1") (= "=") (binary_expression "param_1 + 4" (identifier "param_1") (+ "+") (number_literal "4"))) (; ";")) (labeled_statement "LAB_000431fd:\n    uVar4 = uVar4 + lVar3;" (statement_identifier "LAB_000431fd") (: ":") (expression_statement "uVar4 = uVar4 + lVar3;" (assignment_expression "uVar4 = uVar4 + lVar3" (identifier "uVar4") (= "=") (binary_expression "uVar4 + lVar3" (identifier "uVar4") (+ "+") (identifier "lVar3"))) (; ";"))) (expression_statement "lVar3 = (ulonglong)param_2[1] * (ulonglong)param_4;" (assignment_expression "lVar3 = (ulonglong)param_2[1] * (ulonglong)param_4" (identifier "lVar3") (= "=") (binary_expression "(ulonglong)param_2[1] * (ulonglong)param_4" (cast_expression "(ulonglong)param_2[1]" (( "(") (type_descriptor "ulonglong" (type_identifier "ulonglong")) () ")") (subscript_expression "param_2[1]" (identifier "param_2") ([ "[") (number_literal "1") (] "]"))) (* "*") (cast_expression "(ulonglong)param_4" (( "(") (type_descriptor "ulonglong" (type_identifier "ulonglong")) () ")") (identifier "param_4")))) (; ";")) (expression_statement "*param_1 = (int)uVar4;" (assignment_expression "*param_1 = (int)uVar4" (pointer_expression "*param_1" (* "*") (identifier "param_1")) (= "=") (cast_expression "(int)uVar4" (( "(") (type_descriptor "int" (primitive_type "int")) () ")") (identifier "uVar4"))) (; ";")) (expression_statement "uVar4 = uVar4 >> 0x20;" (assignment_expression "uVar4 = uVar4 >> 0x20" (identifier "uVar4") (= "=") (binary_expression "uVar4 >> 0x20" (identifier "uVar4") (>> ">>") (number_literal "0x20"))) (; ";")) (} "}"))) (return_statement "return (int)(uVar4 >> 0x20);" (return "return") (cast_expression "(int)(uVar4 >> 0x20)" (( "(") (type_descriptor "int" (primitive_type "int")) () ")") (parenthesized_expression "(uVar4 >> 0x20)" (( "(") (binary_expression "uVar4 >> 0x20" (identifier "uVar4") (>> ">>") (number_literal "0x20")) () ")"))) (; ";")) (} "}")))

type_1 function_1(type_1 *var_4,type_2 *var_2,type_2 var_1,type_2 param_4)

{
  type_2 var_3;
  bool var_7;
  type_3 var_6;
  type_4 var_5;
  
  var_5 = 0;
  var_3 = var_1 & 3;
  var_6 = (type_4)*var_2 * (type_4)param_4;
  if (var_3 == 0) goto LAB_000431fd;
  var_2 = var_2 + (var_3 - 4);
  var_4 = var_4 + (var_3 - 4);
  if (var_3 < 2) goto LAB_00043232;
  if (var_3 == 2) goto LAB_00043220;
  while( true ) {
    var_5 = var_5 + var_6;
    var_6 = (type_4)var_2[2] * (type_4)param_4;
    var_4[1] = (int)var_5;
    var_5 = var_5 >> 0x20;
LAB_00043220:
    var_5 = var_5 + var_6;
    var_6 = (type_4)var_2[3] * (type_4)param_4;
    var_4[2] = (int)var_5;
    var_5 = var_5 >> 0x20;
LAB_00043232:
    var_5 = var_5 + var_6;
    var_7 = var_1 < 4;
    var_1 = var_1 - 4;
    var_4[3] = (int)var_5;
    var_2 = var_2 + 4;
    if (var_7 || var_1 == 0) break;
    var_6 = (type_4)*var_2 * (type_4)param_4;
    var_5 = var_5 >> 0x20;
    var_4 = var_4 + 4;
LAB_000431fd:
    var_5 = var_5 + var_6;
    var_6 = (type_4)var_2[1] * (type_4)param_4;
    *var_4 = (int)var_5;
    var_5 = var_5 >> 0x20;
  }
  return (int)(var_5 >> 0x20);
}


(translation_unit (function_definition type: (type_identifier) declarator: (function_declarator declarator: (identifier) parameters: (parameter_list (parameter_declaration type: (type_identifier) declarator: (pointer_declarator declarator: (identifier))) (parameter_declaration type: (type_identifier) declarator: (pointer_declarator declarator: (identifier))) (parameter_declaration type: (type_identifier) declarator: (identifier)) (parameter_declaration type: (type_identifier) declarator: (identifier)))) body: (compound_statement (declaration type: (type_identifier) declarator: (identifier)) (declaration type: (primitive_type) declarator: (identifier)) (declaration type: (type_identifier) declarator: (identifier)) (declaration type: (type_identifier) declarator: (identifier)) (expression_statement (assignment_expression left: (identifier) right: (number_literal))) (expression_statement (assignment_expression left: (identifier) right: (binary_expression left: (identifier) right: (number_literal)))) (expression_statement (assignment_expression left: (identifier) right: (binary_expression left: (binary_expression left: (parenthesized_expression (identifier)) right: (identifier)) right: (cast_expression type: (type_descriptor type: (type_identifier)) value: (identifier))))) (if_statement condition: (parenthesized_expression (binary_expression left: (identifier) right: (number_literal))) consequence: (goto_statement label: (statement_identifier))) (expression_statement (assignment_expression left: (identifier) right: (binary_expression left: (identifier) right: (parenthesized_expression (binary_expression left: (identifier) right: (number_literal)))))) (expression_statement (assignment_expression left: (identifier) right: (binary_expression left: (identifier) right: (parenthesized_expression (binary_expression left: (identifier) right: (number_literal)))))) (if_statement condition: (parenthesized_expression (binary_expression left: (identifier) right: (number_literal))) consequence: (goto_statement label: (statement_identifier))) (if_statement condition: (parenthesized_expression (binary_expression left: (identifier) right: (number_literal))) consequence: (goto_statement label: (statement_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: (cast_expression type: (type_descriptor type: (type_identifier)) value: (subscript_expression argument: (identifier) index: (number_literal))) right: (cast_expression type: (type_descriptor type: (type_identifier)) value: (identifier))))) (expression_statement (assignment_expression left: (subscript_expression argument: (identifier) index: (number_literal)) right: (cast_expression type: (type_descriptor type: (primitive_type)) value: (identifier)))) (expression_statement (assignment_expression left: (identifier) right: (binary_expression left: (identifier) right: (number_literal)))) (labeled_statement label: (statement_identifier) (expression_statement (assignment_expression left: (identifier) right: (binary_expression left: (identifier) right: (identifier))))) (expression_statement (assignment_expression left: (identifier) right: (binary_expression left: (cast_expression type: (type_descriptor type: (type_identifier)) value: (subscript_expression argument: (identifier) index: (number_literal))) right: (cast_expression type: (type_descriptor type: (type_identifier)) value: (identifier))))) (expression_statement (assignment_expression left: (subscript_expression argument: (identifier) index: (number_literal)) right: (cast_expression type: (type_descriptor type: (primitive_type)) value: (identifier)))) (expression_statement (assignment_expression left: (identifier) right: (binary_expression left: (identifier) right: (number_literal)))) (labeled_statement label: (statement_identifier) (expression_statement (assignment_expression left: (identifier) right: (binary_expression left: (identifier) right: (identifier))))) (expression_statement (assignment_expression left: (identifier) right: (binary_expression left: (identifier) right: (number_literal)))) (expression_statement (assignment_expression left: (identifier) right: (binary_expression left: (identifier) right: (number_literal)))) (expression_statement (assignment_expression left: (subscript_expression argument: (identifier) index: (number_literal)) right: (cast_expression type: (type_descriptor type: (primitive_type)) value: (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: (binary_expression left: (identifier) right: (number_literal)))) consequence: (break_statement)) (expression_statement (assignment_expression left: (identifier) right: (binary_expression left: (binary_expression left: (parenthesized_expression (identifier)) right: (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)))) (labeled_statement label: (statement_identifier) (expression_statement (assignment_expression left: (identifier) right: (binary_expression left: (identifier) right: (identifier))))) (expression_statement (assignment_expression left: (identifier) right: (binary_expression left: (cast_expression type: (type_descriptor type: (type_identifier)) value: (subscript_expression argument: (identifier) index: (number_literal))) right: (cast_expression type: (type_descriptor type: (type_identifier)) value: (identifier))))) (expression_statement (assignment_expression left: (pointer_expression argument: (identifier)) right: (cast_expression type: (type_descriptor type: (primitive_type)) value: (identifier)))) (expression_statement (assignment_expression left: (identifier) right: (binary_expression left: (identifier) right: (number_literal)))))) (return_statement (cast_expression type: (type_descriptor type: (primitive_type)) value: (parenthesized_expression (binary_expression left: (identifier) right: (number_literal))))))))

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

{
  uint uVar1;
  bool bVar2;
  longlong lVar3;
  ulonglong uVar4;
  
  uVar4 = 0;
  uVar1 = param_3 & 3;
  lVar3 = (ulonglong)*param_2 * (ulonglong)param_4;
  if (uVar1 == 0) goto LAB_000431fd;
  param_2 = param_2 + (uVar1 - 4);
  param_1 = param_1 + (uVar1 - 4);
  if (uVar1 < 2) goto LAB_00043232;
  if (uVar1 == 2) goto LAB_00043220;
  while( true ) {
    uVar4 = uVar4 + lVar3;
    lVar3 = (ulonglong)param_2[2] * (ulonglong)param_4;
    param_1[1] = (int)uVar4;
    uVar4 = uVar4 >> 0x20;
LAB_00043220:
    uVar4 = uVar4 + lVar3;
    lVar3 = (ulonglong)param_2[3] * (ulonglong)param_4;
    param_1[2] = (int)uVar4;
    uVar4 = uVar4 >> 0x20;
LAB_00043232:
    uVar4 = uVar4 + lVar3;
    bVar2 = param_3 < 4;
    param_3 = param_3 - 4;
    param_1[3] = (int)uVar4;
    param_2 = param_2 + 4;
    if (bVar2 || param_3 == 0) break;
    lVar3 = (ulonglong)*param_2 * (ulonglong)param_4;
    uVar4 = uVar4 >> 0x20;
    param_1 = param_1 + 4;
LAB_000431fd:
    uVar4 = uVar4 + lVar3;
    lVar3 = (ulonglong)param_2[1] * (ulonglong)param_4;
    *param_1 = (int)uVar4;
    uVar4 = uVar4 >> 0x20;
  }
  return (int)(uVar4 >> 0x20);
}

