
uint __gmpn_addmul_1_x86(uint *param_1,uint *param_2,uint param_3,uint param_4)

{
  uint *puVar1;
  longlong lVar2;
  uint uVar3;
  uint uVar4;
  uint uVar5;
  uint uVar6;
  uint uVar7;
  uint uVar8;
  uint uVar9;
  
  uVar6 = 0;
  for (uVar5 = param_3 & 3; uVar5 != 0; uVar5 = uVar5 - 1) {
    uVar3 = *param_2;
    param_2 = param_2 + 1;
    lVar2 = (ulonglong)uVar3 * (ulonglong)param_4 + (ulonglong)uVar6;
    uVar3 = (uint)lVar2;
    uVar6 = *param_1;
    *param_1 = *param_1 + uVar3;
    uVar6 = (int)((ulonglong)lVar2 >> 0x20) + (uint)CARRY4(uVar6,uVar3);
    param_1 = param_1 + 1;
  }
  for (param_3 = param_3 >> 2; param_3 != 0; param_3 = param_3 - 1) {
    lVar2 = (ulonglong)*param_2 * (ulonglong)param_4 + (ulonglong)uVar6;
    uVar3 = (uint)lVar2;
    uVar7 = (uint)((ulonglong)lVar2 >> 0x20);
    uVar5 = param_2[1];
    uVar4 = (uint)((ulonglong)uVar5 * (ulonglong)param_4);
    uVar6 = *param_1;
    *param_1 = *param_1 + uVar3;
    uVar6 = (uint)CARRY4(uVar6,uVar3);
    uVar3 = uVar7 + uVar4;
    uVar8 = uVar3 + uVar6;
    uVar7 = (int)((ulonglong)uVar5 * (ulonglong)param_4 >> 0x20) +
            (uint)(CARRY4(uVar7,uVar4) || CARRY4(uVar3,uVar6));
    uVar5 = param_2[2];
    uVar4 = (uint)((ulonglong)uVar5 * (ulonglong)param_4);
    puVar1 = param_1 + 1;
    uVar6 = *puVar1;
    *puVar1 = *puVar1 + uVar8;
    uVar6 = (uint)CARRY4(uVar6,uVar8);
    uVar3 = uVar7 + uVar4;
    uVar8 = uVar3 + uVar6;
    uVar9 = (int)((ulonglong)uVar5 * (ulonglong)param_4 >> 0x20) +
            (uint)(CARRY4(uVar7,uVar4) || CARRY4(uVar3,uVar6));
    uVar5 = param_2[3];
    uVar7 = (uint)((ulonglong)uVar5 * (ulonglong)param_4);
    puVar1 = param_1 + 2;
    uVar6 = *puVar1;
    *puVar1 = *puVar1 + uVar8;
    uVar3 = (uint)CARRY4(uVar6,uVar8);
    uVar4 = uVar9 + uVar7;
    uVar8 = uVar4 + uVar3;
    puVar1 = param_1 + 3;
    uVar6 = *puVar1;
    *puVar1 = *puVar1 + uVar8;
    uVar6 = (int)((ulonglong)uVar5 * (ulonglong)param_4 >> 0x20) +
            (uint)(CARRY4(uVar9,uVar7) || CARRY4(uVar4,uVar3)) + (uint)CARRY4(uVar6,uVar8);
    param_2 = param_2 + 4;
    param_1 = param_1 + 4;
  }
  return uVar6;
}



uint __gmpn_addmul_1_x86(uint *param_1,uint *param_2,uint param_3,uint param_4)

{
  uint *puVar1;
  longlong lVar2;
  uint uVar3;
  uint uVar4;
  uint uVar5;
  uint uVar6;
  uint uVar7;
  uint uVar8;
  uint uVar9;
  
  uVar6 = 0;
  for (uVar5 = param_3 & 3; uVar5 != 0; uVar5 = uVar5 - 1) {
    uVar3 = *param_2;
    param_2 = param_2 + 1;
    lVar2 = (ulonglong)uVar3 * (ulonglong)param_4 + (ulonglong)uVar6;
    uVar3 = (uint)lVar2;
    uVar6 = *param_1;
    *param_1 = *param_1 + uVar3;
    uVar6 = (int)((ulonglong)lVar2 >> 0x20) + (uint)CARRY4(uVar6,uVar3);
    param_1 = param_1 + 1;
  }
  for (param_3 = param_3 >> 2; param_3 != 0; param_3 = param_3 - 1) {
    lVar2 = (ulonglong)*param_2 * (ulonglong)param_4 + (ulonglong)uVar6;
    uVar3 = (uint)lVar2;
    uVar7 = (uint)((ulonglong)lVar2 >> 0x20);
    uVar5 = param_2[1];
    uVar4 = (uint)((ulonglong)uVar5 * (ulonglong)param_4);
    uVar6 = *param_1;
    *param_1 = *param_1 + uVar3;
    uVar6 = (uint)CARRY4(uVar6,uVar3);
    uVar3 = uVar7 + uVar4;
    uVar8 = uVar3 + uVar6;
    uVar7 = (int)((ulonglong)uVar5 * (ulonglong)param_4 >> 0x20) +
            (uint)(CARRY4(uVar7,uVar4) || CARRY4(uVar3,uVar6));
    uVar5 = param_2[2];
    uVar4 = (uint)((ulonglong)uVar5 * (ulonglong)param_4);
    puVar1 = param_1 + 1;
    uVar6 = *puVar1;
    *puVar1 = *puVar1 + uVar8;
    uVar6 = (uint)CARRY4(uVar6,uVar8);
    uVar3 = uVar7 + uVar4;
    uVar8 = uVar3 + uVar6;
    uVar9 = (int)((ulonglong)uVar5 * (ulonglong)param_4 >> 0x20) +
            (uint)(CARRY4(uVar7,uVar4) || CARRY4(uVar3,uVar6));
    uVar5 = param_2[3];
    uVar7 = (uint)((ulonglong)uVar5 * (ulonglong)param_4);
    puVar1 = param_1 + 2;
    uVar6 = *puVar1;
    *puVar1 = *puVar1 + uVar8;
    uVar3 = (uint)CARRY4(uVar6,uVar8);
    uVar4 = uVar9 + uVar7;
    uVar8 = uVar4 + uVar3;
    puVar1 = param_1 + 3;
    uVar6 = *puVar1;
    *puVar1 = *puVar1 + uVar8;
    uVar6 = (int)((ulonglong)uVar5 * (ulonglong)param_4 >> 0x20) +
            (uint)(CARRY4(uVar9,uVar7) || CARRY4(uVar4,uVar3)) + (uint)CARRY4(uVar6,uVar8);
    param_2 = param_2 + 4;
    param_1 = param_1 + 4;
  }
  return uVar6;
}


PUSH EDI
PUSH ESI
PUSH EBX
PUSH EBP
MOV EDI,dword ptr [ESP + 0x14]
MOV ESI,dword ptr [ESP + 0x18]
MOV ECX,dword ptr [ESP + 0x1c]
XOR EBX,EBX
AND ECX,0x3
JZ 0x000374eb
MOV EAX,dword ptr [ESI]
MUL dword ptr [ESP + 0x20]
LEA ESI,[ESI + 0x4]
ADD EAX,EBX
MOV EBX,0x0
ADC EDX,EBX
ADD dword ptr [EDI],EAX
ADC EBX,EDX
LEA EDI,[EDI + 0x4]
DEC ECX
JNZ 0x000374cf
MOV ECX,dword ptr [ESP + 0x1c]
SHR ECX,0x2
JZ 0x0003754e
LEA ESI,[ESI]
MOV EAX,dword ptr [ESI]
MUL dword ptr [ESP + 0x20]
ADD EBX,EAX
MOV EBP,0x0
ADC EBP,EDX
MOV EAX,dword ptr [ESI + 0x4]
MUL dword ptr [ESP + 0x20]
ADD dword ptr [EDI],EBX
ADC EBP,EAX
MOV EBX,0x0
ADC EBX,EDX
MOV EAX,dword ptr [ESI + 0x8]
MUL dword ptr [ESP + 0x20]
ADD dword ptr [EDI + 0x4],EBP
ADC EBX,EAX
MOV EBP,0x0
ADC EBP,EDX
MOV EAX,dword ptr [ESI + 0xc]
MUL dword ptr [ESP + 0x20]
ADD dword ptr [EDI + 0x8],EBX
ADC EBP,EAX
MOV EBX,0x0
ADC EBX,EDX
ADD dword ptr [EDI + 0xc],EBP
ADC EBX,0x0
LEA ESI,[ESI + 0x10]
LEA EDI,[EDI + 0x10]
DEC ECX
JNZ 0x000374f8
MOV EAX,EBX
POP EBP
POP EBX
POP ESI
POP EDI
RET
(translation_unit "uint __gmpn_addmul_1_x86(uint *param_1,uint *param_2,uint param_3,uint param_4)\n\n{\n  uint *puVar1;\n  longlong lVar2;\n  uint uVar3;\n  uint uVar4;\n  uint uVar5;\n  uint uVar6;\n  uint uVar7;\n  uint uVar8;\n  uint uVar9;\n  \n  uVar6 = 0;\n  for (uVar5 = param_3 & 3; uVar5 != 0; uVar5 = uVar5 - 1) {\n    uVar3 = *param_2;\n    param_2 = param_2 + 1;\n    lVar2 = (ulonglong)uVar3 * (ulonglong)param_4 + (ulonglong)uVar6;\n    uVar3 = (uint)lVar2;\n    uVar6 = *param_1;\n    *param_1 = *param_1 + uVar3;\n    uVar6 = (int)((ulonglong)lVar2 >> 0x20) + (uint)CARRY4(uVar6,uVar3);\n    param_1 = param_1 + 1;\n  }\n  for (param_3 = param_3 >> 2; param_3 != 0; param_3 = param_3 - 1) {\n    lVar2 = (ulonglong)*param_2 * (ulonglong)param_4 + (ulonglong)uVar6;\n    uVar3 = (uint)lVar2;\n    uVar7 = (uint)((ulonglong)lVar2 >> 0x20);\n    uVar5 = param_2[1];\n    uVar4 = (uint)((ulonglong)uVar5 * (ulonglong)param_4);\n    uVar6 = *param_1;\n    *param_1 = *param_1 + uVar3;\n    uVar6 = (uint)CARRY4(uVar6,uVar3);\n    uVar3 = uVar7 + uVar4;\n    uVar8 = uVar3 + uVar6;\n    uVar7 = (int)((ulonglong)uVar5 * (ulonglong)param_4 >> 0x20) +\n            (uint)(CARRY4(uVar7,uVar4) || CARRY4(uVar3,uVar6));\n    uVar5 = param_2[2];\n    uVar4 = (uint)((ulonglong)uVar5 * (ulonglong)param_4);\n    puVar1 = param_1 + 1;\n    uVar6 = *puVar1;\n    *puVar1 = *puVar1 + uVar8;\n    uVar6 = (uint)CARRY4(uVar6,uVar8);\n    uVar3 = uVar7 + uVar4;\n    uVar8 = uVar3 + uVar6;\n    uVar9 = (int)((ulonglong)uVar5 * (ulonglong)param_4 >> 0x20) +\n            (uint)(CARRY4(uVar7,uVar4) || CARRY4(uVar3,uVar6));\n    uVar5 = param_2[3];\n    uVar7 = (uint)((ulonglong)uVar5 * (ulonglong)param_4);\n    puVar1 = param_1 + 2;\n    uVar6 = *puVar1;\n    *puVar1 = *puVar1 + uVar8;\n    uVar3 = (uint)CARRY4(uVar6,uVar8);\n    uVar4 = uVar9 + uVar7;\n    uVar8 = uVar4 + uVar3;\n    puVar1 = param_1 + 3;\n    uVar6 = *puVar1;\n    *puVar1 = *puVar1 + uVar8;\n    uVar6 = (int)((ulonglong)uVar5 * (ulonglong)param_4 >> 0x20) +\n            (uint)(CARRY4(uVar9,uVar7) || CARRY4(uVar4,uVar3)) + (uint)CARRY4(uVar6,uVar8);\n    param_2 = param_2 + 4;\n    param_1 = param_1 + 4;\n  }\n  return uVar6;\n}\n\n" (function_definition "uint __gmpn_addmul_1_x86(uint *param_1,uint *param_2,uint param_3,uint param_4)\n\n{\n  uint *puVar1;\n  longlong lVar2;\n  uint uVar3;\n  uint uVar4;\n  uint uVar5;\n  uint uVar6;\n  uint uVar7;\n  uint uVar8;\n  uint uVar9;\n  \n  uVar6 = 0;\n  for (uVar5 = param_3 & 3; uVar5 != 0; uVar5 = uVar5 - 1) {\n    uVar3 = *param_2;\n    param_2 = param_2 + 1;\n    lVar2 = (ulonglong)uVar3 * (ulonglong)param_4 + (ulonglong)uVar6;\n    uVar3 = (uint)lVar2;\n    uVar6 = *param_1;\n    *param_1 = *param_1 + uVar3;\n    uVar6 = (int)((ulonglong)lVar2 >> 0x20) + (uint)CARRY4(uVar6,uVar3);\n    param_1 = param_1 + 1;\n  }\n  for (param_3 = param_3 >> 2; param_3 != 0; param_3 = param_3 - 1) {\n    lVar2 = (ulonglong)*param_2 * (ulonglong)param_4 + (ulonglong)uVar6;\n    uVar3 = (uint)lVar2;\n    uVar7 = (uint)((ulonglong)lVar2 >> 0x20);\n    uVar5 = param_2[1];\n    uVar4 = (uint)((ulonglong)uVar5 * (ulonglong)param_4);\n    uVar6 = *param_1;\n    *param_1 = *param_1 + uVar3;\n    uVar6 = (uint)CARRY4(uVar6,uVar3);\n    uVar3 = uVar7 + uVar4;\n    uVar8 = uVar3 + uVar6;\n    uVar7 = (int)((ulonglong)uVar5 * (ulonglong)param_4 >> 0x20) +\n            (uint)(CARRY4(uVar7,uVar4) || CARRY4(uVar3,uVar6));\n    uVar5 = param_2[2];\n    uVar4 = (uint)((ulonglong)uVar5 * (ulonglong)param_4);\n    puVar1 = param_1 + 1;\n    uVar6 = *puVar1;\n    *puVar1 = *puVar1 + uVar8;\n    uVar6 = (uint)CARRY4(uVar6,uVar8);\n    uVar3 = uVar7 + uVar4;\n    uVar8 = uVar3 + uVar6;\n    uVar9 = (int)((ulonglong)uVar5 * (ulonglong)param_4 >> 0x20) +\n            (uint)(CARRY4(uVar7,uVar4) || CARRY4(uVar3,uVar6));\n    uVar5 = param_2[3];\n    uVar7 = (uint)((ulonglong)uVar5 * (ulonglong)param_4);\n    puVar1 = param_1 + 2;\n    uVar6 = *puVar1;\n    *puVar1 = *puVar1 + uVar8;\n    uVar3 = (uint)CARRY4(uVar6,uVar8);\n    uVar4 = uVar9 + uVar7;\n    uVar8 = uVar4 + uVar3;\n    puVar1 = param_1 + 3;\n    uVar6 = *puVar1;\n    *puVar1 = *puVar1 + uVar8;\n    uVar6 = (int)((ulonglong)uVar5 * (ulonglong)param_4 >> 0x20) +\n            (uint)(CARRY4(uVar9,uVar7) || CARRY4(uVar4,uVar3)) + (uint)CARRY4(uVar6,uVar8);\n    param_2 = param_2 + 4;\n    param_1 = param_1 + 4;\n  }\n  return uVar6;\n}" type_identifier (function_declarator "__gmpn_addmul_1_x86(uint *param_1,uint *param_2,uint param_3,uint param_4)" identifier (parameter_list "(uint *param_1,uint *param_2,uint param_3,uint param_4)" ( (parameter_declaration "uint *param_1" type_identifier (pointer_declarator "*param_1" * identifier)) , (parameter_declaration "uint *param_2" type_identifier (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 *puVar1;\n  longlong lVar2;\n  uint uVar3;\n  uint uVar4;\n  uint uVar5;\n  uint uVar6;\n  uint uVar7;\n  uint uVar8;\n  uint uVar9;\n  \n  uVar6 = 0;\n  for (uVar5 = param_3 & 3; uVar5 != 0; uVar5 = uVar5 - 1) {\n    uVar3 = *param_2;\n    param_2 = param_2 + 1;\n    lVar2 = (ulonglong)uVar3 * (ulonglong)param_4 + (ulonglong)uVar6;\n    uVar3 = (uint)lVar2;\n    uVar6 = *param_1;\n    *param_1 = *param_1 + uVar3;\n    uVar6 = (int)((ulonglong)lVar2 >> 0x20) + (uint)CARRY4(uVar6,uVar3);\n    param_1 = param_1 + 1;\n  }\n  for (param_3 = param_3 >> 2; param_3 != 0; param_3 = param_3 - 1) {\n    lVar2 = (ulonglong)*param_2 * (ulonglong)param_4 + (ulonglong)uVar6;\n    uVar3 = (uint)lVar2;\n    uVar7 = (uint)((ulonglong)lVar2 >> 0x20);\n    uVar5 = param_2[1];\n    uVar4 = (uint)((ulonglong)uVar5 * (ulonglong)param_4);\n    uVar6 = *param_1;\n    *param_1 = *param_1 + uVar3;\n    uVar6 = (uint)CARRY4(uVar6,uVar3);\n    uVar3 = uVar7 + uVar4;\n    uVar8 = uVar3 + uVar6;\n    uVar7 = (int)((ulonglong)uVar5 * (ulonglong)param_4 >> 0x20) +\n            (uint)(CARRY4(uVar7,uVar4) || CARRY4(uVar3,uVar6));\n    uVar5 = param_2[2];\n    uVar4 = (uint)((ulonglong)uVar5 * (ulonglong)param_4);\n    puVar1 = param_1 + 1;\n    uVar6 = *puVar1;\n    *puVar1 = *puVar1 + uVar8;\n    uVar6 = (uint)CARRY4(uVar6,uVar8);\n    uVar3 = uVar7 + uVar4;\n    uVar8 = uVar3 + uVar6;\n    uVar9 = (int)((ulonglong)uVar5 * (ulonglong)param_4 >> 0x20) +\n            (uint)(CARRY4(uVar7,uVar4) || CARRY4(uVar3,uVar6));\n    uVar5 = param_2[3];\n    uVar7 = (uint)((ulonglong)uVar5 * (ulonglong)param_4);\n    puVar1 = param_1 + 2;\n    uVar6 = *puVar1;\n    *puVar1 = *puVar1 + uVar8;\n    uVar3 = (uint)CARRY4(uVar6,uVar8);\n    uVar4 = uVar9 + uVar7;\n    uVar8 = uVar4 + uVar3;\n    puVar1 = param_1 + 3;\n    uVar6 = *puVar1;\n    *puVar1 = *puVar1 + uVar8;\n    uVar6 = (int)((ulonglong)uVar5 * (ulonglong)param_4 >> 0x20) +\n            (uint)(CARRY4(uVar9,uVar7) || CARRY4(uVar4,uVar3)) + (uint)CARRY4(uVar6,uVar8);\n    param_2 = param_2 + 4;\n    param_1 = param_1 + 4;\n  }\n  return uVar6;\n}" { (declaration "uint *puVar1;" type_identifier (pointer_declarator "*puVar1" * identifier) ;) (declaration "longlong lVar2;" type_identifier identifier ;) (declaration "uint uVar3;" type_identifier identifier ;) (declaration "uint uVar4;" type_identifier identifier ;) (declaration "uint uVar5;" type_identifier identifier ;) (declaration "uint uVar6;" type_identifier identifier ;) (declaration "uint uVar7;" type_identifier identifier ;) (declaration "uint uVar8;" type_identifier identifier ;) (declaration "uint uVar9;" type_identifier identifier ;) (expression_statement "uVar6 = 0;" (assignment_expression "uVar6 = 0" identifier = number_literal) ;) (for_statement "for (uVar5 = param_3 & 3; uVar5 != 0; uVar5 = uVar5 - 1) {\n    uVar3 = *param_2;\n    param_2 = param_2 + 1;\n    lVar2 = (ulonglong)uVar3 * (ulonglong)param_4 + (ulonglong)uVar6;\n    uVar3 = (uint)lVar2;\n    uVar6 = *param_1;\n    *param_1 = *param_1 + uVar3;\n    uVar6 = (int)((ulonglong)lVar2 >> 0x20) + (uint)CARRY4(uVar6,uVar3);\n    param_1 = param_1 + 1;\n  }" for ( (assignment_expression "uVar5 = param_3 & 3" identifier = (binary_expression "param_3 & 3" identifier & number_literal)) ; (binary_expression "uVar5 != 0" identifier != number_literal) ; (assignment_expression "uVar5 = uVar5 - 1" identifier = (binary_expression "uVar5 - 1" identifier - number_literal)) ) (compound_statement "{\n    uVar3 = *param_2;\n    param_2 = param_2 + 1;\n    lVar2 = (ulonglong)uVar3 * (ulonglong)param_4 + (ulonglong)uVar6;\n    uVar3 = (uint)lVar2;\n    uVar6 = *param_1;\n    *param_1 = *param_1 + uVar3;\n    uVar6 = (int)((ulonglong)lVar2 >> 0x20) + (uint)CARRY4(uVar6,uVar3);\n    param_1 = param_1 + 1;\n  }" { (expression_statement "uVar3 = *param_2;" (assignment_expression "uVar3 = *param_2" identifier = (pointer_expression "*param_2" * identifier)) ;) (expression_statement "param_2 = param_2 + 1;" (assignment_expression "param_2 = param_2 + 1" identifier = (binary_expression "param_2 + 1" identifier + number_literal)) ;) (expression_statement "lVar2 = (ulonglong)uVar3 * (ulonglong)param_4 + (ulonglong)uVar6;" (assignment_expression "lVar2 = (ulonglong)uVar3 * (ulonglong)param_4 + (ulonglong)uVar6" identifier = (binary_expression "(ulonglong)uVar3 * (ulonglong)param_4 + (ulonglong)uVar6" (binary_expression "(ulonglong)uVar3 * (ulonglong)param_4" (cast_expression "(ulonglong)uVar3" ( (type_descriptor "ulonglong" type_identifier) ) identifier) * (cast_expression "(ulonglong)param_4" ( (type_descriptor "ulonglong" type_identifier) ) identifier)) + (cast_expression "(ulonglong)uVar6" ( (type_descriptor "ulonglong" type_identifier) ) identifier))) ;) (expression_statement "uVar3 = (uint)lVar2;" (assignment_expression "uVar3 = (uint)lVar2" identifier = (cast_expression "(uint)lVar2" ( (type_descriptor "uint" type_identifier) ) identifier)) ;) (expression_statement "uVar6 = *param_1;" (assignment_expression "uVar6 = *param_1" identifier = (pointer_expression "*param_1" * identifier)) ;) (expression_statement "*param_1 = *param_1 + uVar3;" (assignment_expression "*param_1 = *param_1 + uVar3" (pointer_expression "*param_1" * identifier) = (binary_expression "*param_1 + uVar3" (pointer_expression "*param_1" * identifier) + identifier)) ;) (expression_statement "uVar6 = (int)((ulonglong)lVar2 >> 0x20) + (uint)CARRY4(uVar6,uVar3);" (assignment_expression "uVar6 = (int)((ulonglong)lVar2 >> 0x20) + (uint)CARRY4(uVar6,uVar3)" identifier = (binary_expression "(int)((ulonglong)lVar2 >> 0x20) + (uint)CARRY4(uVar6,uVar3)" (cast_expression "(int)((ulonglong)lVar2 >> 0x20)" ( (type_descriptor "int" primitive_type) ) (parenthesized_expression "((ulonglong)lVar2 >> 0x20)" ( (binary_expression "(ulonglong)lVar2 >> 0x20" (cast_expression "(ulonglong)lVar2" ( (type_descriptor "ulonglong" type_identifier) ) identifier) >> number_literal) ))) + (cast_expression "(uint)CARRY4(uVar6,uVar3)" ( (type_descriptor "uint" type_identifier) ) (call_expression "CARRY4(uVar6,uVar3)" identifier (argument_list "(uVar6,uVar3)" ( 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)) ;) })) (for_statement "for (param_3 = param_3 >> 2; param_3 != 0; param_3 = param_3 - 1) {\n    lVar2 = (ulonglong)*param_2 * (ulonglong)param_4 + (ulonglong)uVar6;\n    uVar3 = (uint)lVar2;\n    uVar7 = (uint)((ulonglong)lVar2 >> 0x20);\n    uVar5 = param_2[1];\n    uVar4 = (uint)((ulonglong)uVar5 * (ulonglong)param_4);\n    uVar6 = *param_1;\n    *param_1 = *param_1 + uVar3;\n    uVar6 = (uint)CARRY4(uVar6,uVar3);\n    uVar3 = uVar7 + uVar4;\n    uVar8 = uVar3 + uVar6;\n    uVar7 = (int)((ulonglong)uVar5 * (ulonglong)param_4 >> 0x20) +\n            (uint)(CARRY4(uVar7,uVar4) || CARRY4(uVar3,uVar6));\n    uVar5 = param_2[2];\n    uVar4 = (uint)((ulonglong)uVar5 * (ulonglong)param_4);\n    puVar1 = param_1 + 1;\n    uVar6 = *puVar1;\n    *puVar1 = *puVar1 + uVar8;\n    uVar6 = (uint)CARRY4(uVar6,uVar8);\n    uVar3 = uVar7 + uVar4;\n    uVar8 = uVar3 + uVar6;\n    uVar9 = (int)((ulonglong)uVar5 * (ulonglong)param_4 >> 0x20) +\n            (uint)(CARRY4(uVar7,uVar4) || CARRY4(uVar3,uVar6));\n    uVar5 = param_2[3];\n    uVar7 = (uint)((ulonglong)uVar5 * (ulonglong)param_4);\n    puVar1 = param_1 + 2;\n    uVar6 = *puVar1;\n    *puVar1 = *puVar1 + uVar8;\n    uVar3 = (uint)CARRY4(uVar6,uVar8);\n    uVar4 = uVar9 + uVar7;\n    uVar8 = uVar4 + uVar3;\n    puVar1 = param_1 + 3;\n    uVar6 = *puVar1;\n    *puVar1 = *puVar1 + uVar8;\n    uVar6 = (int)((ulonglong)uVar5 * (ulonglong)param_4 >> 0x20) +\n            (uint)(CARRY4(uVar9,uVar7) || CARRY4(uVar4,uVar3)) + (uint)CARRY4(uVar6,uVar8);\n    param_2 = param_2 + 4;\n    param_1 = param_1 + 4;\n  }" for ( (assignment_expression "param_3 = param_3 >> 2" identifier = (binary_expression "param_3 >> 2" identifier >> number_literal)) ; (binary_expression "param_3 != 0" identifier != number_literal) ; (assignment_expression "param_3 = param_3 - 1" identifier = (binary_expression "param_3 - 1" identifier - number_literal)) ) (compound_statement "{\n    lVar2 = (ulonglong)*param_2 * (ulonglong)param_4 + (ulonglong)uVar6;\n    uVar3 = (uint)lVar2;\n    uVar7 = (uint)((ulonglong)lVar2 >> 0x20);\n    uVar5 = param_2[1];\n    uVar4 = (uint)((ulonglong)uVar5 * (ulonglong)param_4);\n    uVar6 = *param_1;\n    *param_1 = *param_1 + uVar3;\n    uVar6 = (uint)CARRY4(uVar6,uVar3);\n    uVar3 = uVar7 + uVar4;\n    uVar8 = uVar3 + uVar6;\n    uVar7 = (int)((ulonglong)uVar5 * (ulonglong)param_4 >> 0x20) +\n            (uint)(CARRY4(uVar7,uVar4) || CARRY4(uVar3,uVar6));\n    uVar5 = param_2[2];\n    uVar4 = (uint)((ulonglong)uVar5 * (ulonglong)param_4);\n    puVar1 = param_1 + 1;\n    uVar6 = *puVar1;\n    *puVar1 = *puVar1 + uVar8;\n    uVar6 = (uint)CARRY4(uVar6,uVar8);\n    uVar3 = uVar7 + uVar4;\n    uVar8 = uVar3 + uVar6;\n    uVar9 = (int)((ulonglong)uVar5 * (ulonglong)param_4 >> 0x20) +\n            (uint)(CARRY4(uVar7,uVar4) || CARRY4(uVar3,uVar6));\n    uVar5 = param_2[3];\n    uVar7 = (uint)((ulonglong)uVar5 * (ulonglong)param_4);\n    puVar1 = param_1 + 2;\n    uVar6 = *puVar1;\n    *puVar1 = *puVar1 + uVar8;\n    uVar3 = (uint)CARRY4(uVar6,uVar8);\n    uVar4 = uVar9 + uVar7;\n    uVar8 = uVar4 + uVar3;\n    puVar1 = param_1 + 3;\n    uVar6 = *puVar1;\n    *puVar1 = *puVar1 + uVar8;\n    uVar6 = (int)((ulonglong)uVar5 * (ulonglong)param_4 >> 0x20) +\n            (uint)(CARRY4(uVar9,uVar7) || CARRY4(uVar4,uVar3)) + (uint)CARRY4(uVar6,uVar8);\n    param_2 = param_2 + 4;\n    param_1 = param_1 + 4;\n  }" { (expression_statement "lVar2 = (ulonglong)*param_2 * (ulonglong)param_4 + (ulonglong)uVar6;" (assignment_expression "lVar2 = (ulonglong)*param_2 * (ulonglong)param_4 + (ulonglong)uVar6" identifier = (binary_expression "(ulonglong)*param_2 * (ulonglong)param_4 + (ulonglong)uVar6" (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)) + (cast_expression "(ulonglong)uVar6" ( (type_descriptor "ulonglong" type_identifier) ) identifier))) ;) (expression_statement "uVar3 = (uint)lVar2;" (assignment_expression "uVar3 = (uint)lVar2" identifier = (cast_expression "(uint)lVar2" ( (type_descriptor "uint" type_identifier) ) identifier)) ;) (expression_statement "uVar7 = (uint)((ulonglong)lVar2 >> 0x20);" (assignment_expression "uVar7 = (uint)((ulonglong)lVar2 >> 0x20)" identifier = (call_expression "(uint)((ulonglong)lVar2 >> 0x20)" (parenthesized_expression "(uint)" ( identifier )) (argument_list "((ulonglong)lVar2 >> 0x20)" ( (binary_expression "(ulonglong)lVar2 >> 0x20" (cast_expression "(ulonglong)lVar2" ( (type_descriptor "ulonglong" type_identifier) ) identifier) >> number_literal) )))) ;) (expression_statement "uVar5 = param_2[1];" (assignment_expression "uVar5 = param_2[1]" identifier = (subscript_expression "param_2[1]" identifier [ number_literal ])) ;) (expression_statement "uVar4 = (uint)((ulonglong)uVar5 * (ulonglong)param_4);" (assignment_expression "uVar4 = (uint)((ulonglong)uVar5 * (ulonglong)param_4)" identifier = (call_expression "(uint)((ulonglong)uVar5 * (ulonglong)param_4)" (parenthesized_expression "(uint)" ( identifier )) (argument_list "((ulonglong)uVar5 * (ulonglong)param_4)" ( (binary_expression "(ulonglong)uVar5 * (ulonglong)param_4" (cast_expression "(ulonglong)uVar5" ( (type_descriptor "ulonglong" type_identifier) ) identifier) * (cast_expression "(ulonglong)param_4" ( (type_descriptor "ulonglong" type_identifier) ) identifier)) )))) ;) (expression_statement "uVar6 = *param_1;" (assignment_expression "uVar6 = *param_1" identifier = (pointer_expression "*param_1" * identifier)) ;) (expression_statement "*param_1 = *param_1 + uVar3;" (assignment_expression "*param_1 = *param_1 + uVar3" (pointer_expression "*param_1" * identifier) = (binary_expression "*param_1 + uVar3" (pointer_expression "*param_1" * identifier) + identifier)) ;) (expression_statement "uVar6 = (uint)CARRY4(uVar6,uVar3);" (assignment_expression "uVar6 = (uint)CARRY4(uVar6,uVar3)" identifier = (cast_expression "(uint)CARRY4(uVar6,uVar3)" ( (type_descriptor "uint" type_identifier) ) (call_expression "CARRY4(uVar6,uVar3)" identifier (argument_list "(uVar6,uVar3)" ( identifier , identifier ))))) ;) (expression_statement "uVar3 = uVar7 + uVar4;" (assignment_expression "uVar3 = uVar7 + uVar4" identifier = (binary_expression "uVar7 + uVar4" identifier + identifier)) ;) (expression_statement "uVar8 = uVar3 + uVar6;" (assignment_expression "uVar8 = uVar3 + uVar6" identifier = (binary_expression "uVar3 + uVar6" identifier + identifier)) ;) (expression_statement "uVar7 = (int)((ulonglong)uVar5 * (ulonglong)param_4 >> 0x20) +\n            (uint)(CARRY4(uVar7,uVar4) || CARRY4(uVar3,uVar6));" (assignment_expression "uVar7 = (int)((ulonglong)uVar5 * (ulonglong)param_4 >> 0x20) +\n            (uint)(CARRY4(uVar7,uVar4) || CARRY4(uVar3,uVar6))" identifier = (binary_expression "(int)((ulonglong)uVar5 * (ulonglong)param_4 >> 0x20) +\n            (uint)(CARRY4(uVar7,uVar4) || CARRY4(uVar3,uVar6))" (cast_expression "(int)((ulonglong)uVar5 * (ulonglong)param_4 >> 0x20)" ( (type_descriptor "int" primitive_type) ) (parenthesized_expression "((ulonglong)uVar5 * (ulonglong)param_4 >> 0x20)" ( (binary_expression "(ulonglong)uVar5 * (ulonglong)param_4 >> 0x20" (binary_expression "(ulonglong)uVar5 * (ulonglong)param_4" (cast_expression "(ulonglong)uVar5" ( (type_descriptor "ulonglong" type_identifier) ) identifier) * (cast_expression "(ulonglong)param_4" ( (type_descriptor "ulonglong" type_identifier) ) identifier)) >> number_literal) ))) + (call_expression "(uint)(CARRY4(uVar7,uVar4) || CARRY4(uVar3,uVar6))" (parenthesized_expression "(uint)" ( identifier )) (argument_list "(CARRY4(uVar7,uVar4) || CARRY4(uVar3,uVar6))" ( (binary_expression "CARRY4(uVar7,uVar4) || CARRY4(uVar3,uVar6)" (call_expression "CARRY4(uVar7,uVar4)" identifier (argument_list "(uVar7,uVar4)" ( identifier , identifier ))) || (call_expression "CARRY4(uVar3,uVar6)" identifier (argument_list "(uVar3,uVar6)" ( identifier , identifier )))) ))))) ;) (expression_statement "uVar5 = param_2[2];" (assignment_expression "uVar5 = param_2[2]" identifier = (subscript_expression "param_2[2]" identifier [ number_literal ])) ;) (expression_statement "uVar4 = (uint)((ulonglong)uVar5 * (ulonglong)param_4);" (assignment_expression "uVar4 = (uint)((ulonglong)uVar5 * (ulonglong)param_4)" identifier = (call_expression "(uint)((ulonglong)uVar5 * (ulonglong)param_4)" (parenthesized_expression "(uint)" ( identifier )) (argument_list "((ulonglong)uVar5 * (ulonglong)param_4)" ( (binary_expression "(ulonglong)uVar5 * (ulonglong)param_4" (cast_expression "(ulonglong)uVar5" ( (type_descriptor "ulonglong" type_identifier) ) identifier) * (cast_expression "(ulonglong)param_4" ( (type_descriptor "ulonglong" type_identifier) ) identifier)) )))) ;) (expression_statement "puVar1 = param_1 + 1;" (assignment_expression "puVar1 = param_1 + 1" identifier = (binary_expression "param_1 + 1" identifier + number_literal)) ;) (expression_statement "uVar6 = *puVar1;" (assignment_expression "uVar6 = *puVar1" identifier = (pointer_expression "*puVar1" * identifier)) ;) (expression_statement "*puVar1 = *puVar1 + uVar8;" (assignment_expression "*puVar1 = *puVar1 + uVar8" (pointer_expression "*puVar1" * identifier) = (binary_expression "*puVar1 + uVar8" (pointer_expression "*puVar1" * identifier) + identifier)) ;) (expression_statement "uVar6 = (uint)CARRY4(uVar6,uVar8);" (assignment_expression "uVar6 = (uint)CARRY4(uVar6,uVar8)" identifier = (cast_expression "(uint)CARRY4(uVar6,uVar8)" ( (type_descriptor "uint" type_identifier) ) (call_expression "CARRY4(uVar6,uVar8)" identifier (argument_list "(uVar6,uVar8)" ( identifier , identifier ))))) ;) (expression_statement "uVar3 = uVar7 + uVar4;" (assignment_expression "uVar3 = uVar7 + uVar4" identifier = (binary_expression "uVar7 + uVar4" identifier + identifier)) ;) (expression_statement "uVar8 = uVar3 + uVar6;" (assignment_expression "uVar8 = uVar3 + uVar6" identifier = (binary_expression "uVar3 + uVar6" identifier + identifier)) ;) (expression_statement "uVar9 = (int)((ulonglong)uVar5 * (ulonglong)param_4 >> 0x20) +\n            (uint)(CARRY4(uVar7,uVar4) || CARRY4(uVar3,uVar6));" (assignment_expression "uVar9 = (int)((ulonglong)uVar5 * (ulonglong)param_4 >> 0x20) +\n            (uint)(CARRY4(uVar7,uVar4) || CARRY4(uVar3,uVar6))" identifier = (binary_expression "(int)((ulonglong)uVar5 * (ulonglong)param_4 >> 0x20) +\n            (uint)(CARRY4(uVar7,uVar4) || CARRY4(uVar3,uVar6))" (cast_expression "(int)((ulonglong)uVar5 * (ulonglong)param_4 >> 0x20)" ( (type_descriptor "int" primitive_type) ) (parenthesized_expression "((ulonglong)uVar5 * (ulonglong)param_4 >> 0x20)" ( (binary_expression "(ulonglong)uVar5 * (ulonglong)param_4 >> 0x20" (binary_expression "(ulonglong)uVar5 * (ulonglong)param_4" (cast_expression "(ulonglong)uVar5" ( (type_descriptor "ulonglong" type_identifier) ) identifier) * (cast_expression "(ulonglong)param_4" ( (type_descriptor "ulonglong" type_identifier) ) identifier)) >> number_literal) ))) + (call_expression "(uint)(CARRY4(uVar7,uVar4) || CARRY4(uVar3,uVar6))" (parenthesized_expression "(uint)" ( identifier )) (argument_list "(CARRY4(uVar7,uVar4) || CARRY4(uVar3,uVar6))" ( (binary_expression "CARRY4(uVar7,uVar4) || CARRY4(uVar3,uVar6)" (call_expression "CARRY4(uVar7,uVar4)" identifier (argument_list "(uVar7,uVar4)" ( identifier , identifier ))) || (call_expression "CARRY4(uVar3,uVar6)" identifier (argument_list "(uVar3,uVar6)" ( identifier , identifier )))) ))))) ;) (expression_statement "uVar5 = param_2[3];" (assignment_expression "uVar5 = param_2[3]" identifier = (subscript_expression "param_2[3]" identifier [ number_literal ])) ;) (expression_statement "uVar7 = (uint)((ulonglong)uVar5 * (ulonglong)param_4);" (assignment_expression "uVar7 = (uint)((ulonglong)uVar5 * (ulonglong)param_4)" identifier = (call_expression "(uint)((ulonglong)uVar5 * (ulonglong)param_4)" (parenthesized_expression "(uint)" ( identifier )) (argument_list "((ulonglong)uVar5 * (ulonglong)param_4)" ( (binary_expression "(ulonglong)uVar5 * (ulonglong)param_4" (cast_expression "(ulonglong)uVar5" ( (type_descriptor "ulonglong" type_identifier) ) identifier) * (cast_expression "(ulonglong)param_4" ( (type_descriptor "ulonglong" type_identifier) ) identifier)) )))) ;) (expression_statement "puVar1 = param_1 + 2;" (assignment_expression "puVar1 = param_1 + 2" identifier = (binary_expression "param_1 + 2" identifier + number_literal)) ;) (expression_statement "uVar6 = *puVar1;" (assignment_expression "uVar6 = *puVar1" identifier = (pointer_expression "*puVar1" * identifier)) ;) (expression_statement "*puVar1 = *puVar1 + uVar8;" (assignment_expression "*puVar1 = *puVar1 + uVar8" (pointer_expression "*puVar1" * identifier) = (binary_expression "*puVar1 + uVar8" (pointer_expression "*puVar1" * identifier) + identifier)) ;) (expression_statement "uVar3 = (uint)CARRY4(uVar6,uVar8);" (assignment_expression "uVar3 = (uint)CARRY4(uVar6,uVar8)" identifier = (cast_expression "(uint)CARRY4(uVar6,uVar8)" ( (type_descriptor "uint" type_identifier) ) (call_expression "CARRY4(uVar6,uVar8)" identifier (argument_list "(uVar6,uVar8)" ( identifier , identifier ))))) ;) (expression_statement "uVar4 = uVar9 + uVar7;" (assignment_expression "uVar4 = uVar9 + uVar7" identifier = (binary_expression "uVar9 + uVar7" identifier + identifier)) ;) (expression_statement "uVar8 = uVar4 + uVar3;" (assignment_expression "uVar8 = uVar4 + uVar3" identifier = (binary_expression "uVar4 + uVar3" identifier + identifier)) ;) (expression_statement "puVar1 = param_1 + 3;" (assignment_expression "puVar1 = param_1 + 3" identifier = (binary_expression "param_1 + 3" identifier + number_literal)) ;) (expression_statement "uVar6 = *puVar1;" (assignment_expression "uVar6 = *puVar1" identifier = (pointer_expression "*puVar1" * identifier)) ;) (expression_statement "*puVar1 = *puVar1 + uVar8;" (assignment_expression "*puVar1 = *puVar1 + uVar8" (pointer_expression "*puVar1" * identifier) = (binary_expression "*puVar1 + uVar8" (pointer_expression "*puVar1" * identifier) + identifier)) ;) (expression_statement "uVar6 = (int)((ulonglong)uVar5 * (ulonglong)param_4 >> 0x20) +\n            (uint)(CARRY4(uVar9,uVar7) || CARRY4(uVar4,uVar3)) + (uint)CARRY4(uVar6,uVar8);" (assignment_expression "uVar6 = (int)((ulonglong)uVar5 * (ulonglong)param_4 >> 0x20) +\n            (uint)(CARRY4(uVar9,uVar7) || CARRY4(uVar4,uVar3)) + (uint)CARRY4(uVar6,uVar8)" identifier = (binary_expression "(int)((ulonglong)uVar5 * (ulonglong)param_4 >> 0x20) +\n            (uint)(CARRY4(uVar9,uVar7) || CARRY4(uVar4,uVar3)) + (uint)CARRY4(uVar6,uVar8)" (binary_expression "(int)((ulonglong)uVar5 * (ulonglong)param_4 >> 0x20) +\n            (uint)(CARRY4(uVar9,uVar7) || CARRY4(uVar4,uVar3))" (cast_expression "(int)((ulonglong)uVar5 * (ulonglong)param_4 >> 0x20)" ( (type_descriptor "int" primitive_type) ) (parenthesized_expression "((ulonglong)uVar5 * (ulonglong)param_4 >> 0x20)" ( (binary_expression "(ulonglong)uVar5 * (ulonglong)param_4 >> 0x20" (binary_expression "(ulonglong)uVar5 * (ulonglong)param_4" (cast_expression "(ulonglong)uVar5" ( (type_descriptor "ulonglong" type_identifier) ) identifier) * (cast_expression "(ulonglong)param_4" ( (type_descriptor "ulonglong" type_identifier) ) identifier)) >> number_literal) ))) + (call_expression "(uint)(CARRY4(uVar9,uVar7) || CARRY4(uVar4,uVar3))" (parenthesized_expression "(uint)" ( identifier )) (argument_list "(CARRY4(uVar9,uVar7) || CARRY4(uVar4,uVar3))" ( (binary_expression "CARRY4(uVar9,uVar7) || CARRY4(uVar4,uVar3)" (call_expression "CARRY4(uVar9,uVar7)" identifier (argument_list "(uVar9,uVar7)" ( identifier , identifier ))) || (call_expression "CARRY4(uVar4,uVar3)" identifier (argument_list "(uVar4,uVar3)" ( identifier , identifier )))) )))) + (cast_expression "(uint)CARRY4(uVar6,uVar8)" ( (type_descriptor "uint" type_identifier) ) (call_expression "CARRY4(uVar6,uVar8)" identifier (argument_list "(uVar6,uVar8)" ( identifier , identifier )))))) ;) (expression_statement "param_2 = param_2 + 4;" (assignment_expression "param_2 = param_2 + 4" identifier = (binary_expression "param_2 + 4" 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)) ;) })) (return_statement "return uVar6;" return identifier ;) })))
(translation_unit "uint __gmpn_addmul_1_x86(uint *param_1,uint *param_2,uint param_3,uint param_4)\n\n{\n  uint *puVar1;\n  longlong lVar2;\n  uint uVar3;\n  uint uVar4;\n  uint uVar5;\n  uint uVar6;\n  uint uVar7;\n  uint uVar8;\n  uint uVar9;\n  \n  uVar6 = 0;\n  for (uVar5 = param_3 & 3; uVar5 != 0; uVar5 = uVar5 - 1) {\n    uVar3 = *param_2;\n    param_2 = param_2 + 1;\n    lVar2 = (ulonglong)uVar3 * (ulonglong)param_4 + (ulonglong)uVar6;\n    uVar3 = (uint)lVar2;\n    uVar6 = *param_1;\n    *param_1 = *param_1 + uVar3;\n    uVar6 = (int)((ulonglong)lVar2 >> 0x20) + (uint)CARRY4(uVar6,uVar3);\n    param_1 = param_1 + 1;\n  }\n  for (param_3 = param_3 >> 2; param_3 != 0; param_3 = param_3 - 1) {\n    lVar2 = (ulonglong)*param_2 * (ulonglong)param_4 + (ulonglong)uVar6;\n    uVar3 = (uint)lVar2;\n    uVar7 = (uint)((ulonglong)lVar2 >> 0x20);\n    uVar5 = param_2[1];\n    uVar4 = (uint)((ulonglong)uVar5 * (ulonglong)param_4);\n    uVar6 = *param_1;\n    *param_1 = *param_1 + uVar3;\n    uVar6 = (uint)CARRY4(uVar6,uVar3);\n    uVar3 = uVar7 + uVar4;\n    uVar8 = uVar3 + uVar6;\n    uVar7 = (int)((ulonglong)uVar5 * (ulonglong)param_4 >> 0x20) +\n            (uint)(CARRY4(uVar7,uVar4) || CARRY4(uVar3,uVar6));\n    uVar5 = param_2[2];\n    uVar4 = (uint)((ulonglong)uVar5 * (ulonglong)param_4);\n    puVar1 = param_1 + 1;\n    uVar6 = *puVar1;\n    *puVar1 = *puVar1 + uVar8;\n    uVar6 = (uint)CARRY4(uVar6,uVar8);\n    uVar3 = uVar7 + uVar4;\n    uVar8 = uVar3 + uVar6;\n    uVar9 = (int)((ulonglong)uVar5 * (ulonglong)param_4 >> 0x20) +\n            (uint)(CARRY4(uVar7,uVar4) || CARRY4(uVar3,uVar6));\n    uVar5 = param_2[3];\n    uVar7 = (uint)((ulonglong)uVar5 * (ulonglong)param_4);\n    puVar1 = param_1 + 2;\n    uVar6 = *puVar1;\n    *puVar1 = *puVar1 + uVar8;\n    uVar3 = (uint)CARRY4(uVar6,uVar8);\n    uVar4 = uVar9 + uVar7;\n    uVar8 = uVar4 + uVar3;\n    puVar1 = param_1 + 3;\n    uVar6 = *puVar1;\n    *puVar1 = *puVar1 + uVar8;\n    uVar6 = (int)((ulonglong)uVar5 * (ulonglong)param_4 >> 0x20) +\n            (uint)(CARRY4(uVar9,uVar7) || CARRY4(uVar4,uVar3)) + (uint)CARRY4(uVar6,uVar8);\n    param_2 = param_2 + 4;\n    param_1 = param_1 + 4;\n  }\n  return uVar6;\n}\n\n" (function_definition "uint __gmpn_addmul_1_x86(uint *param_1,uint *param_2,uint param_3,uint param_4)\n\n{\n  uint *puVar1;\n  longlong lVar2;\n  uint uVar3;\n  uint uVar4;\n  uint uVar5;\n  uint uVar6;\n  uint uVar7;\n  uint uVar8;\n  uint uVar9;\n  \n  uVar6 = 0;\n  for (uVar5 = param_3 & 3; uVar5 != 0; uVar5 = uVar5 - 1) {\n    uVar3 = *param_2;\n    param_2 = param_2 + 1;\n    lVar2 = (ulonglong)uVar3 * (ulonglong)param_4 + (ulonglong)uVar6;\n    uVar3 = (uint)lVar2;\n    uVar6 = *param_1;\n    *param_1 = *param_1 + uVar3;\n    uVar6 = (int)((ulonglong)lVar2 >> 0x20) + (uint)CARRY4(uVar6,uVar3);\n    param_1 = param_1 + 1;\n  }\n  for (param_3 = param_3 >> 2; param_3 != 0; param_3 = param_3 - 1) {\n    lVar2 = (ulonglong)*param_2 * (ulonglong)param_4 + (ulonglong)uVar6;\n    uVar3 = (uint)lVar2;\n    uVar7 = (uint)((ulonglong)lVar2 >> 0x20);\n    uVar5 = param_2[1];\n    uVar4 = (uint)((ulonglong)uVar5 * (ulonglong)param_4);\n    uVar6 = *param_1;\n    *param_1 = *param_1 + uVar3;\n    uVar6 = (uint)CARRY4(uVar6,uVar3);\n    uVar3 = uVar7 + uVar4;\n    uVar8 = uVar3 + uVar6;\n    uVar7 = (int)((ulonglong)uVar5 * (ulonglong)param_4 >> 0x20) +\n            (uint)(CARRY4(uVar7,uVar4) || CARRY4(uVar3,uVar6));\n    uVar5 = param_2[2];\n    uVar4 = (uint)((ulonglong)uVar5 * (ulonglong)param_4);\n    puVar1 = param_1 + 1;\n    uVar6 = *puVar1;\n    *puVar1 = *puVar1 + uVar8;\n    uVar6 = (uint)CARRY4(uVar6,uVar8);\n    uVar3 = uVar7 + uVar4;\n    uVar8 = uVar3 + uVar6;\n    uVar9 = (int)((ulonglong)uVar5 * (ulonglong)param_4 >> 0x20) +\n            (uint)(CARRY4(uVar7,uVar4) || CARRY4(uVar3,uVar6));\n    uVar5 = param_2[3];\n    uVar7 = (uint)((ulonglong)uVar5 * (ulonglong)param_4);\n    puVar1 = param_1 + 2;\n    uVar6 = *puVar1;\n    *puVar1 = *puVar1 + uVar8;\n    uVar3 = (uint)CARRY4(uVar6,uVar8);\n    uVar4 = uVar9 + uVar7;\n    uVar8 = uVar4 + uVar3;\n    puVar1 = param_1 + 3;\n    uVar6 = *puVar1;\n    *puVar1 = *puVar1 + uVar8;\n    uVar6 = (int)((ulonglong)uVar5 * (ulonglong)param_4 >> 0x20) +\n            (uint)(CARRY4(uVar9,uVar7) || CARRY4(uVar4,uVar3)) + (uint)CARRY4(uVar6,uVar8);\n    param_2 = param_2 + 4;\n    param_1 = param_1 + 4;\n  }\n  return uVar6;\n}" type_identifier (function_declarator "__gmpn_addmul_1_x86(uint *param_1,uint *param_2,uint param_3,uint param_4)" identifier (parameter_list "(uint *param_1,uint *param_2,uint param_3,uint param_4)" ( (parameter_declaration "uint *param_1" type_identifier (pointer_declarator "*param_1" * identifier)) , (parameter_declaration "uint *param_2" type_identifier (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 *puVar1;\n  longlong lVar2;\n  uint uVar3;\n  uint uVar4;\n  uint uVar5;\n  uint uVar6;\n  uint uVar7;\n  uint uVar8;\n  uint uVar9;\n  \n  uVar6 = 0;\n  for (uVar5 = param_3 & 3; uVar5 != 0; uVar5 = uVar5 - 1) {\n    uVar3 = *param_2;\n    param_2 = param_2 + 1;\n    lVar2 = (ulonglong)uVar3 * (ulonglong)param_4 + (ulonglong)uVar6;\n    uVar3 = (uint)lVar2;\n    uVar6 = *param_1;\n    *param_1 = *param_1 + uVar3;\n    uVar6 = (int)((ulonglong)lVar2 >> 0x20) + (uint)CARRY4(uVar6,uVar3);\n    param_1 = param_1 + 1;\n  }\n  for (param_3 = param_3 >> 2; param_3 != 0; param_3 = param_3 - 1) {\n    lVar2 = (ulonglong)*param_2 * (ulonglong)param_4 + (ulonglong)uVar6;\n    uVar3 = (uint)lVar2;\n    uVar7 = (uint)((ulonglong)lVar2 >> 0x20);\n    uVar5 = param_2[1];\n    uVar4 = (uint)((ulonglong)uVar5 * (ulonglong)param_4);\n    uVar6 = *param_1;\n    *param_1 = *param_1 + uVar3;\n    uVar6 = (uint)CARRY4(uVar6,uVar3);\n    uVar3 = uVar7 + uVar4;\n    uVar8 = uVar3 + uVar6;\n    uVar7 = (int)((ulonglong)uVar5 * (ulonglong)param_4 >> 0x20) +\n            (uint)(CARRY4(uVar7,uVar4) || CARRY4(uVar3,uVar6));\n    uVar5 = param_2[2];\n    uVar4 = (uint)((ulonglong)uVar5 * (ulonglong)param_4);\n    puVar1 = param_1 + 1;\n    uVar6 = *puVar1;\n    *puVar1 = *puVar1 + uVar8;\n    uVar6 = (uint)CARRY4(uVar6,uVar8);\n    uVar3 = uVar7 + uVar4;\n    uVar8 = uVar3 + uVar6;\n    uVar9 = (int)((ulonglong)uVar5 * (ulonglong)param_4 >> 0x20) +\n            (uint)(CARRY4(uVar7,uVar4) || CARRY4(uVar3,uVar6));\n    uVar5 = param_2[3];\n    uVar7 = (uint)((ulonglong)uVar5 * (ulonglong)param_4);\n    puVar1 = param_1 + 2;\n    uVar6 = *puVar1;\n    *puVar1 = *puVar1 + uVar8;\n    uVar3 = (uint)CARRY4(uVar6,uVar8);\n    uVar4 = uVar9 + uVar7;\n    uVar8 = uVar4 + uVar3;\n    puVar1 = param_1 + 3;\n    uVar6 = *puVar1;\n    *puVar1 = *puVar1 + uVar8;\n    uVar6 = (int)((ulonglong)uVar5 * (ulonglong)param_4 >> 0x20) +\n            (uint)(CARRY4(uVar9,uVar7) || CARRY4(uVar4,uVar3)) + (uint)CARRY4(uVar6,uVar8);\n    param_2 = param_2 + 4;\n    param_1 = param_1 + 4;\n  }\n  return uVar6;\n}" { (declaration "uint *puVar1;" type_identifier (pointer_declarator "*puVar1" * identifier) ;) (declaration "longlong lVar2;" type_identifier identifier ;) (declaration "uint uVar3;" type_identifier identifier ;) (declaration "uint uVar4;" type_identifier identifier ;) (declaration "uint uVar5;" type_identifier identifier ;) (declaration "uint uVar6;" type_identifier identifier ;) (declaration "uint uVar7;" type_identifier identifier ;) (declaration "uint uVar8;" type_identifier identifier ;) (declaration "uint uVar9;" type_identifier identifier ;) (expression_statement "uVar6 = 0;" (assignment_expression "uVar6 = 0" identifier = number_literal) ;) (for_statement "for (uVar5 = param_3 & 3; uVar5 != 0; uVar5 = uVar5 - 1) {\n    uVar3 = *param_2;\n    param_2 = param_2 + 1;\n    lVar2 = (ulonglong)uVar3 * (ulonglong)param_4 + (ulonglong)uVar6;\n    uVar3 = (uint)lVar2;\n    uVar6 = *param_1;\n    *param_1 = *param_1 + uVar3;\n    uVar6 = (int)((ulonglong)lVar2 >> 0x20) + (uint)CARRY4(uVar6,uVar3);\n    param_1 = param_1 + 1;\n  }" for ( (assignment_expression "uVar5 = param_3 & 3" identifier = (binary_expression "param_3 & 3" identifier & number_literal)) ; (binary_expression "uVar5 != 0" identifier != number_literal) ; (assignment_expression "uVar5 = uVar5 - 1" identifier = (binary_expression "uVar5 - 1" identifier - number_literal)) ) (compound_statement "{\n    uVar3 = *param_2;\n    param_2 = param_2 + 1;\n    lVar2 = (ulonglong)uVar3 * (ulonglong)param_4 + (ulonglong)uVar6;\n    uVar3 = (uint)lVar2;\n    uVar6 = *param_1;\n    *param_1 = *param_1 + uVar3;\n    uVar6 = (int)((ulonglong)lVar2 >> 0x20) + (uint)CARRY4(uVar6,uVar3);\n    param_1 = param_1 + 1;\n  }" { (expression_statement "uVar3 = *param_2;" (assignment_expression "uVar3 = *param_2" identifier = (pointer_expression "*param_2" * identifier)) ;) (expression_statement "param_2 = param_2 + 1;" (assignment_expression "param_2 = param_2 + 1" identifier = (binary_expression "param_2 + 1" identifier + number_literal)) ;) (expression_statement "lVar2 = (ulonglong)uVar3 * (ulonglong)param_4 + (ulonglong)uVar6;" (assignment_expression "lVar2 = (ulonglong)uVar3 * (ulonglong)param_4 + (ulonglong)uVar6" identifier = (binary_expression "(ulonglong)uVar3 * (ulonglong)param_4 + (ulonglong)uVar6" (binary_expression "(ulonglong)uVar3 * (ulonglong)param_4" (cast_expression "(ulonglong)uVar3" ( (type_descriptor "ulonglong" type_identifier) ) identifier) * (cast_expression "(ulonglong)param_4" ( (type_descriptor "ulonglong" type_identifier) ) identifier)) + (cast_expression "(ulonglong)uVar6" ( (type_descriptor "ulonglong" type_identifier) ) identifier))) ;) (expression_statement "uVar3 = (uint)lVar2;" (assignment_expression "uVar3 = (uint)lVar2" identifier = (cast_expression "(uint)lVar2" ( (type_descriptor "uint" type_identifier) ) identifier)) ;) (expression_statement "uVar6 = *param_1;" (assignment_expression "uVar6 = *param_1" identifier = (pointer_expression "*param_1" * identifier)) ;) (expression_statement "*param_1 = *param_1 + uVar3;" (assignment_expression "*param_1 = *param_1 + uVar3" (pointer_expression "*param_1" * identifier) = (binary_expression "*param_1 + uVar3" (pointer_expression "*param_1" * identifier) + identifier)) ;) (expression_statement "uVar6 = (int)((ulonglong)lVar2 >> 0x20) + (uint)CARRY4(uVar6,uVar3);" (assignment_expression "uVar6 = (int)((ulonglong)lVar2 >> 0x20) + (uint)CARRY4(uVar6,uVar3)" identifier = (binary_expression "(int)((ulonglong)lVar2 >> 0x20) + (uint)CARRY4(uVar6,uVar3)" (cast_expression "(int)((ulonglong)lVar2 >> 0x20)" ( (type_descriptor "int" primitive_type) ) (parenthesized_expression "((ulonglong)lVar2 >> 0x20)" ( (binary_expression "(ulonglong)lVar2 >> 0x20" (cast_expression "(ulonglong)lVar2" ( (type_descriptor "ulonglong" type_identifier) ) identifier) >> number_literal) ))) + (cast_expression "(uint)CARRY4(uVar6,uVar3)" ( (type_descriptor "uint" type_identifier) ) (call_expression "CARRY4(uVar6,uVar3)" identifier (argument_list "(uVar6,uVar3)" ( 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)) ;) })) (for_statement "for (param_3 = param_3 >> 2; param_3 != 0; param_3 = param_3 - 1) {\n    lVar2 = (ulonglong)*param_2 * (ulonglong)param_4 + (ulonglong)uVar6;\n    uVar3 = (uint)lVar2;\n    uVar7 = (uint)((ulonglong)lVar2 >> 0x20);\n    uVar5 = param_2[1];\n    uVar4 = (uint)((ulonglong)uVar5 * (ulonglong)param_4);\n    uVar6 = *param_1;\n    *param_1 = *param_1 + uVar3;\n    uVar6 = (uint)CARRY4(uVar6,uVar3);\n    uVar3 = uVar7 + uVar4;\n    uVar8 = uVar3 + uVar6;\n    uVar7 = (int)((ulonglong)uVar5 * (ulonglong)param_4 >> 0x20) +\n            (uint)(CARRY4(uVar7,uVar4) || CARRY4(uVar3,uVar6));\n    uVar5 = param_2[2];\n    uVar4 = (uint)((ulonglong)uVar5 * (ulonglong)param_4);\n    puVar1 = param_1 + 1;\n    uVar6 = *puVar1;\n    *puVar1 = *puVar1 + uVar8;\n    uVar6 = (uint)CARRY4(uVar6,uVar8);\n    uVar3 = uVar7 + uVar4;\n    uVar8 = uVar3 + uVar6;\n    uVar9 = (int)((ulonglong)uVar5 * (ulonglong)param_4 >> 0x20) +\n            (uint)(CARRY4(uVar7,uVar4) || CARRY4(uVar3,uVar6));\n    uVar5 = param_2[3];\n    uVar7 = (uint)((ulonglong)uVar5 * (ulonglong)param_4);\n    puVar1 = param_1 + 2;\n    uVar6 = *puVar1;\n    *puVar1 = *puVar1 + uVar8;\n    uVar3 = (uint)CARRY4(uVar6,uVar8);\n    uVar4 = uVar9 + uVar7;\n    uVar8 = uVar4 + uVar3;\n    puVar1 = param_1 + 3;\n    uVar6 = *puVar1;\n    *puVar1 = *puVar1 + uVar8;\n    uVar6 = (int)((ulonglong)uVar5 * (ulonglong)param_4 >> 0x20) +\n            (uint)(CARRY4(uVar9,uVar7) || CARRY4(uVar4,uVar3)) + (uint)CARRY4(uVar6,uVar8);\n    param_2 = param_2 + 4;\n    param_1 = param_1 + 4;\n  }" for ( (assignment_expression "param_3 = param_3 >> 2" identifier = (binary_expression "param_3 >> 2" identifier >> number_literal)) ; (binary_expression "param_3 != 0" identifier != number_literal) ; (assignment_expression "param_3 = param_3 - 1" identifier = (binary_expression "param_3 - 1" identifier - number_literal)) ) (compound_statement "{\n    lVar2 = (ulonglong)*param_2 * (ulonglong)param_4 + (ulonglong)uVar6;\n    uVar3 = (uint)lVar2;\n    uVar7 = (uint)((ulonglong)lVar2 >> 0x20);\n    uVar5 = param_2[1];\n    uVar4 = (uint)((ulonglong)uVar5 * (ulonglong)param_4);\n    uVar6 = *param_1;\n    *param_1 = *param_1 + uVar3;\n    uVar6 = (uint)CARRY4(uVar6,uVar3);\n    uVar3 = uVar7 + uVar4;\n    uVar8 = uVar3 + uVar6;\n    uVar7 = (int)((ulonglong)uVar5 * (ulonglong)param_4 >> 0x20) +\n            (uint)(CARRY4(uVar7,uVar4) || CARRY4(uVar3,uVar6));\n    uVar5 = param_2[2];\n    uVar4 = (uint)((ulonglong)uVar5 * (ulonglong)param_4);\n    puVar1 = param_1 + 1;\n    uVar6 = *puVar1;\n    *puVar1 = *puVar1 + uVar8;\n    uVar6 = (uint)CARRY4(uVar6,uVar8);\n    uVar3 = uVar7 + uVar4;\n    uVar8 = uVar3 + uVar6;\n    uVar9 = (int)((ulonglong)uVar5 * (ulonglong)param_4 >> 0x20) +\n            (uint)(CARRY4(uVar7,uVar4) || CARRY4(uVar3,uVar6));\n    uVar5 = param_2[3];\n    uVar7 = (uint)((ulonglong)uVar5 * (ulonglong)param_4);\n    puVar1 = param_1 + 2;\n    uVar6 = *puVar1;\n    *puVar1 = *puVar1 + uVar8;\n    uVar3 = (uint)CARRY4(uVar6,uVar8);\n    uVar4 = uVar9 + uVar7;\n    uVar8 = uVar4 + uVar3;\n    puVar1 = param_1 + 3;\n    uVar6 = *puVar1;\n    *puVar1 = *puVar1 + uVar8;\n    uVar6 = (int)((ulonglong)uVar5 * (ulonglong)param_4 >> 0x20) +\n            (uint)(CARRY4(uVar9,uVar7) || CARRY4(uVar4,uVar3)) + (uint)CARRY4(uVar6,uVar8);\n    param_2 = param_2 + 4;\n    param_1 = param_1 + 4;\n  }" { (expression_statement "lVar2 = (ulonglong)*param_2 * (ulonglong)param_4 + (ulonglong)uVar6;" (assignment_expression "lVar2 = (ulonglong)*param_2 * (ulonglong)param_4 + (ulonglong)uVar6" identifier = (binary_expression "(ulonglong)*param_2 * (ulonglong)param_4 + (ulonglong)uVar6" (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)) + (cast_expression "(ulonglong)uVar6" ( (type_descriptor "ulonglong" type_identifier) ) identifier))) ;) (expression_statement "uVar3 = (uint)lVar2;" (assignment_expression "uVar3 = (uint)lVar2" identifier = (cast_expression "(uint)lVar2" ( (type_descriptor "uint" type_identifier) ) identifier)) ;) (expression_statement "uVar7 = (uint)((ulonglong)lVar2 >> 0x20);" (assignment_expression "uVar7 = (uint)((ulonglong)lVar2 >> 0x20)" identifier = (call_expression "(uint)((ulonglong)lVar2 >> 0x20)" (parenthesized_expression "(uint)" ( identifier )) (argument_list "((ulonglong)lVar2 >> 0x20)" ( (binary_expression "(ulonglong)lVar2 >> 0x20" (cast_expression "(ulonglong)lVar2" ( (type_descriptor "ulonglong" type_identifier) ) identifier) >> number_literal) )))) ;) (expression_statement "uVar5 = param_2[1];" (assignment_expression "uVar5 = param_2[1]" identifier = (subscript_expression "param_2[1]" identifier [ number_literal ])) ;) (expression_statement "uVar4 = (uint)((ulonglong)uVar5 * (ulonglong)param_4);" (assignment_expression "uVar4 = (uint)((ulonglong)uVar5 * (ulonglong)param_4)" identifier = (call_expression "(uint)((ulonglong)uVar5 * (ulonglong)param_4)" (parenthesized_expression "(uint)" ( identifier )) (argument_list "((ulonglong)uVar5 * (ulonglong)param_4)" ( (binary_expression "(ulonglong)uVar5 * (ulonglong)param_4" (cast_expression "(ulonglong)uVar5" ( (type_descriptor "ulonglong" type_identifier) ) identifier) * (cast_expression "(ulonglong)param_4" ( (type_descriptor "ulonglong" type_identifier) ) identifier)) )))) ;) (expression_statement "uVar6 = *param_1;" (assignment_expression "uVar6 = *param_1" identifier = (pointer_expression "*param_1" * identifier)) ;) (expression_statement "*param_1 = *param_1 + uVar3;" (assignment_expression "*param_1 = *param_1 + uVar3" (pointer_expression "*param_1" * identifier) = (binary_expression "*param_1 + uVar3" (pointer_expression "*param_1" * identifier) + identifier)) ;) (expression_statement "uVar6 = (uint)CARRY4(uVar6,uVar3);" (assignment_expression "uVar6 = (uint)CARRY4(uVar6,uVar3)" identifier = (cast_expression "(uint)CARRY4(uVar6,uVar3)" ( (type_descriptor "uint" type_identifier) ) (call_expression "CARRY4(uVar6,uVar3)" identifier (argument_list "(uVar6,uVar3)" ( identifier , identifier ))))) ;) (expression_statement "uVar3 = uVar7 + uVar4;" (assignment_expression "uVar3 = uVar7 + uVar4" identifier = (binary_expression "uVar7 + uVar4" identifier + identifier)) ;) (expression_statement "uVar8 = uVar3 + uVar6;" (assignment_expression "uVar8 = uVar3 + uVar6" identifier = (binary_expression "uVar3 + uVar6" identifier + identifier)) ;) (expression_statement "uVar7 = (int)((ulonglong)uVar5 * (ulonglong)param_4 >> 0x20) +\n            (uint)(CARRY4(uVar7,uVar4) || CARRY4(uVar3,uVar6));" (assignment_expression "uVar7 = (int)((ulonglong)uVar5 * (ulonglong)param_4 >> 0x20) +\n            (uint)(CARRY4(uVar7,uVar4) || CARRY4(uVar3,uVar6))" identifier = (binary_expression "(int)((ulonglong)uVar5 * (ulonglong)param_4 >> 0x20) +\n            (uint)(CARRY4(uVar7,uVar4) || CARRY4(uVar3,uVar6))" (cast_expression "(int)((ulonglong)uVar5 * (ulonglong)param_4 >> 0x20)" ( (type_descriptor "int" primitive_type) ) (parenthesized_expression "((ulonglong)uVar5 * (ulonglong)param_4 >> 0x20)" ( (binary_expression "(ulonglong)uVar5 * (ulonglong)param_4 >> 0x20" (binary_expression "(ulonglong)uVar5 * (ulonglong)param_4" (cast_expression "(ulonglong)uVar5" ( (type_descriptor "ulonglong" type_identifier) ) identifier) * (cast_expression "(ulonglong)param_4" ( (type_descriptor "ulonglong" type_identifier) ) identifier)) >> number_literal) ))) + (call_expression "(uint)(CARRY4(uVar7,uVar4) || CARRY4(uVar3,uVar6))" (parenthesized_expression "(uint)" ( identifier )) (argument_list "(CARRY4(uVar7,uVar4) || CARRY4(uVar3,uVar6))" ( (binary_expression "CARRY4(uVar7,uVar4) || CARRY4(uVar3,uVar6)" (call_expression "CARRY4(uVar7,uVar4)" identifier (argument_list "(uVar7,uVar4)" ( identifier , identifier ))) || (call_expression "CARRY4(uVar3,uVar6)" identifier (argument_list "(uVar3,uVar6)" ( identifier , identifier )))) ))))) ;) (expression_statement "uVar5 = param_2[2];" (assignment_expression "uVar5 = param_2[2]" identifier = (subscript_expression "param_2[2]" identifier [ number_literal ])) ;) (expression_statement "uVar4 = (uint)((ulonglong)uVar5 * (ulonglong)param_4);" (assignment_expression "uVar4 = (uint)((ulonglong)uVar5 * (ulonglong)param_4)" identifier = (call_expression "(uint)((ulonglong)uVar5 * (ulonglong)param_4)" (parenthesized_expression "(uint)" ( identifier )) (argument_list "((ulonglong)uVar5 * (ulonglong)param_4)" ( (binary_expression "(ulonglong)uVar5 * (ulonglong)param_4" (cast_expression "(ulonglong)uVar5" ( (type_descriptor "ulonglong" type_identifier) ) identifier) * (cast_expression "(ulonglong)param_4" ( (type_descriptor "ulonglong" type_identifier) ) identifier)) )))) ;) (expression_statement "puVar1 = param_1 + 1;" (assignment_expression "puVar1 = param_1 + 1" identifier = (binary_expression "param_1 + 1" identifier + number_literal)) ;) (expression_statement "uVar6 = *puVar1;" (assignment_expression "uVar6 = *puVar1" identifier = (pointer_expression "*puVar1" * identifier)) ;) (expression_statement "*puVar1 = *puVar1 + uVar8;" (assignment_expression "*puVar1 = *puVar1 + uVar8" (pointer_expression "*puVar1" * identifier) = (binary_expression "*puVar1 + uVar8" (pointer_expression "*puVar1" * identifier) + identifier)) ;) (expression_statement "uVar6 = (uint)CARRY4(uVar6,uVar8);" (assignment_expression "uVar6 = (uint)CARRY4(uVar6,uVar8)" identifier = (cast_expression "(uint)CARRY4(uVar6,uVar8)" ( (type_descriptor "uint" type_identifier) ) (call_expression "CARRY4(uVar6,uVar8)" identifier (argument_list "(uVar6,uVar8)" ( identifier , identifier ))))) ;) (expression_statement "uVar3 = uVar7 + uVar4;" (assignment_expression "uVar3 = uVar7 + uVar4" identifier = (binary_expression "uVar7 + uVar4" identifier + identifier)) ;) (expression_statement "uVar8 = uVar3 + uVar6;" (assignment_expression "uVar8 = uVar3 + uVar6" identifier = (binary_expression "uVar3 + uVar6" identifier + identifier)) ;) (expression_statement "uVar9 = (int)((ulonglong)uVar5 * (ulonglong)param_4 >> 0x20) +\n            (uint)(CARRY4(uVar7,uVar4) || CARRY4(uVar3,uVar6));" (assignment_expression "uVar9 = (int)((ulonglong)uVar5 * (ulonglong)param_4 >> 0x20) +\n            (uint)(CARRY4(uVar7,uVar4) || CARRY4(uVar3,uVar6))" identifier = (binary_expression "(int)((ulonglong)uVar5 * (ulonglong)param_4 >> 0x20) +\n            (uint)(CARRY4(uVar7,uVar4) || CARRY4(uVar3,uVar6))" (cast_expression "(int)((ulonglong)uVar5 * (ulonglong)param_4 >> 0x20)" ( (type_descriptor "int" primitive_type) ) (parenthesized_expression "((ulonglong)uVar5 * (ulonglong)param_4 >> 0x20)" ( (binary_expression "(ulonglong)uVar5 * (ulonglong)param_4 >> 0x20" (binary_expression "(ulonglong)uVar5 * (ulonglong)param_4" (cast_expression "(ulonglong)uVar5" ( (type_descriptor "ulonglong" type_identifier) ) identifier) * (cast_expression "(ulonglong)param_4" ( (type_descriptor "ulonglong" type_identifier) ) identifier)) >> number_literal) ))) + (call_expression "(uint)(CARRY4(uVar7,uVar4) || CARRY4(uVar3,uVar6))" (parenthesized_expression "(uint)" ( identifier )) (argument_list "(CARRY4(uVar7,uVar4) || CARRY4(uVar3,uVar6))" ( (binary_expression "CARRY4(uVar7,uVar4) || CARRY4(uVar3,uVar6)" (call_expression "CARRY4(uVar7,uVar4)" identifier (argument_list "(uVar7,uVar4)" ( identifier , identifier ))) || (call_expression "CARRY4(uVar3,uVar6)" identifier (argument_list "(uVar3,uVar6)" ( identifier , identifier )))) ))))) ;) (expression_statement "uVar5 = param_2[3];" (assignment_expression "uVar5 = param_2[3]" identifier = (subscript_expression "param_2[3]" identifier [ number_literal ])) ;) (expression_statement "uVar7 = (uint)((ulonglong)uVar5 * (ulonglong)param_4);" (assignment_expression "uVar7 = (uint)((ulonglong)uVar5 * (ulonglong)param_4)" identifier = (call_expression "(uint)((ulonglong)uVar5 * (ulonglong)param_4)" (parenthesized_expression "(uint)" ( identifier )) (argument_list "((ulonglong)uVar5 * (ulonglong)param_4)" ( (binary_expression "(ulonglong)uVar5 * (ulonglong)param_4" (cast_expression "(ulonglong)uVar5" ( (type_descriptor "ulonglong" type_identifier) ) identifier) * (cast_expression "(ulonglong)param_4" ( (type_descriptor "ulonglong" type_identifier) ) identifier)) )))) ;) (expression_statement "puVar1 = param_1 + 2;" (assignment_expression "puVar1 = param_1 + 2" identifier = (binary_expression "param_1 + 2" identifier + number_literal)) ;) (expression_statement "uVar6 = *puVar1;" (assignment_expression "uVar6 = *puVar1" identifier = (pointer_expression "*puVar1" * identifier)) ;) (expression_statement "*puVar1 = *puVar1 + uVar8;" (assignment_expression "*puVar1 = *puVar1 + uVar8" (pointer_expression "*puVar1" * identifier) = (binary_expression "*puVar1 + uVar8" (pointer_expression "*puVar1" * identifier) + identifier)) ;) (expression_statement "uVar3 = (uint)CARRY4(uVar6,uVar8);" (assignment_expression "uVar3 = (uint)CARRY4(uVar6,uVar8)" identifier = (cast_expression "(uint)CARRY4(uVar6,uVar8)" ( (type_descriptor "uint" type_identifier) ) (call_expression "CARRY4(uVar6,uVar8)" identifier (argument_list "(uVar6,uVar8)" ( identifier , identifier ))))) ;) (expression_statement "uVar4 = uVar9 + uVar7;" (assignment_expression "uVar4 = uVar9 + uVar7" identifier = (binary_expression "uVar9 + uVar7" identifier + identifier)) ;) (expression_statement "uVar8 = uVar4 + uVar3;" (assignment_expression "uVar8 = uVar4 + uVar3" identifier = (binary_expression "uVar4 + uVar3" identifier + identifier)) ;) (expression_statement "puVar1 = param_1 + 3;" (assignment_expression "puVar1 = param_1 + 3" identifier = (binary_expression "param_1 + 3" identifier + number_literal)) ;) (expression_statement "uVar6 = *puVar1;" (assignment_expression "uVar6 = *puVar1" identifier = (pointer_expression "*puVar1" * identifier)) ;) (expression_statement "*puVar1 = *puVar1 + uVar8;" (assignment_expression "*puVar1 = *puVar1 + uVar8" (pointer_expression "*puVar1" * identifier) = (binary_expression "*puVar1 + uVar8" (pointer_expression "*puVar1" * identifier) + identifier)) ;) (expression_statement "uVar6 = (int)((ulonglong)uVar5 * (ulonglong)param_4 >> 0x20) +\n            (uint)(CARRY4(uVar9,uVar7) || CARRY4(uVar4,uVar3)) + (uint)CARRY4(uVar6,uVar8);" (assignment_expression "uVar6 = (int)((ulonglong)uVar5 * (ulonglong)param_4 >> 0x20) +\n            (uint)(CARRY4(uVar9,uVar7) || CARRY4(uVar4,uVar3)) + (uint)CARRY4(uVar6,uVar8)" identifier = (binary_expression "(int)((ulonglong)uVar5 * (ulonglong)param_4 >> 0x20) +\n            (uint)(CARRY4(uVar9,uVar7) || CARRY4(uVar4,uVar3)) + (uint)CARRY4(uVar6,uVar8)" (binary_expression "(int)((ulonglong)uVar5 * (ulonglong)param_4 >> 0x20) +\n            (uint)(CARRY4(uVar9,uVar7) || CARRY4(uVar4,uVar3))" (cast_expression "(int)((ulonglong)uVar5 * (ulonglong)param_4 >> 0x20)" ( (type_descriptor "int" primitive_type) ) (parenthesized_expression "((ulonglong)uVar5 * (ulonglong)param_4 >> 0x20)" ( (binary_expression "(ulonglong)uVar5 * (ulonglong)param_4 >> 0x20" (binary_expression "(ulonglong)uVar5 * (ulonglong)param_4" (cast_expression "(ulonglong)uVar5" ( (type_descriptor "ulonglong" type_identifier) ) identifier) * (cast_expression "(ulonglong)param_4" ( (type_descriptor "ulonglong" type_identifier) ) identifier)) >> number_literal) ))) + (call_expression "(uint)(CARRY4(uVar9,uVar7) || CARRY4(uVar4,uVar3))" (parenthesized_expression "(uint)" ( identifier )) (argument_list "(CARRY4(uVar9,uVar7) || CARRY4(uVar4,uVar3))" ( (binary_expression "CARRY4(uVar9,uVar7) || CARRY4(uVar4,uVar3)" (call_expression "CARRY4(uVar9,uVar7)" identifier (argument_list "(uVar9,uVar7)" ( identifier , identifier ))) || (call_expression "CARRY4(uVar4,uVar3)" identifier (argument_list "(uVar4,uVar3)" ( identifier , identifier )))) )))) + (cast_expression "(uint)CARRY4(uVar6,uVar8)" ( (type_descriptor "uint" type_identifier) ) (call_expression "CARRY4(uVar6,uVar8)" identifier (argument_list "(uVar6,uVar8)" ( identifier , identifier )))))) ;) (expression_statement "param_2 = param_2 + 4;" (assignment_expression "param_2 = param_2 + 4" identifier = (binary_expression "param_2 + 4" 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)) ;) })) (return_statement "return uVar6;" return identifier ;) })))
(translation_unit "uint __gmpn_addmul_1_x86(uint *param_1,uint *param_2,uint param_3,uint param_4)\n\n{\n  uint *puVar1;\n  longlong lVar2;\n  uint uVar3;\n  uint uVar4;\n  uint uVar5;\n  uint uVar6;\n  uint uVar7;\n  uint uVar8;\n  uint uVar9;\n  \n  uVar6 = 0;\n  for (uVar5 = param_3 & 3; uVar5 != 0; uVar5 = uVar5 - 1) {\n    uVar3 = *param_2;\n    param_2 = param_2 + 1;\n    lVar2 = (ulonglong)uVar3 * (ulonglong)param_4 + (ulonglong)uVar6;\n    uVar3 = (uint)lVar2;\n    uVar6 = *param_1;\n    *param_1 = *param_1 + uVar3;\n    uVar6 = (int)((ulonglong)lVar2 >> 0x20) + (uint)CARRY4(uVar6,uVar3);\n    param_1 = param_1 + 1;\n  }\n  for (param_3 = param_3 >> 2; param_3 != 0; param_3 = param_3 - 1) {\n    lVar2 = (ulonglong)*param_2 * (ulonglong)param_4 + (ulonglong)uVar6;\n    uVar3 = (uint)lVar2;\n    uVar7 = (uint)((ulonglong)lVar2 >> 0x20);\n    uVar5 = param_2[1];\n    uVar4 = (uint)((ulonglong)uVar5 * (ulonglong)param_4);\n    uVar6 = *param_1;\n    *param_1 = *param_1 + uVar3;\n    uVar6 = (uint)CARRY4(uVar6,uVar3);\n    uVar3 = uVar7 + uVar4;\n    uVar8 = uVar3 + uVar6;\n    uVar7 = (int)((ulonglong)uVar5 * (ulonglong)param_4 >> 0x20) +\n            (uint)(CARRY4(uVar7,uVar4) || CARRY4(uVar3,uVar6));\n    uVar5 = param_2[2];\n    uVar4 = (uint)((ulonglong)uVar5 * (ulonglong)param_4);\n    puVar1 = param_1 + 1;\n    uVar6 = *puVar1;\n    *puVar1 = *puVar1 + uVar8;\n    uVar6 = (uint)CARRY4(uVar6,uVar8);\n    uVar3 = uVar7 + uVar4;\n    uVar8 = uVar3 + uVar6;\n    uVar9 = (int)((ulonglong)uVar5 * (ulonglong)param_4 >> 0x20) +\n            (uint)(CARRY4(uVar7,uVar4) || CARRY4(uVar3,uVar6));\n    uVar5 = param_2[3];\n    uVar7 = (uint)((ulonglong)uVar5 * (ulonglong)param_4);\n    puVar1 = param_1 + 2;\n    uVar6 = *puVar1;\n    *puVar1 = *puVar1 + uVar8;\n    uVar3 = (uint)CARRY4(uVar6,uVar8);\n    uVar4 = uVar9 + uVar7;\n    uVar8 = uVar4 + uVar3;\n    puVar1 = param_1 + 3;\n    uVar6 = *puVar1;\n    *puVar1 = *puVar1 + uVar8;\n    uVar6 = (int)((ulonglong)uVar5 * (ulonglong)param_4 >> 0x20) +\n            (uint)(CARRY4(uVar9,uVar7) || CARRY4(uVar4,uVar3)) + (uint)CARRY4(uVar6,uVar8);\n    param_2 = param_2 + 4;\n    param_1 = param_1 + 4;\n  }\n  return uVar6;\n}\n\n" (function_definition "uint __gmpn_addmul_1_x86(uint *param_1,uint *param_2,uint param_3,uint param_4)\n\n{\n  uint *puVar1;\n  longlong lVar2;\n  uint uVar3;\n  uint uVar4;\n  uint uVar5;\n  uint uVar6;\n  uint uVar7;\n  uint uVar8;\n  uint uVar9;\n  \n  uVar6 = 0;\n  for (uVar5 = param_3 & 3; uVar5 != 0; uVar5 = uVar5 - 1) {\n    uVar3 = *param_2;\n    param_2 = param_2 + 1;\n    lVar2 = (ulonglong)uVar3 * (ulonglong)param_4 + (ulonglong)uVar6;\n    uVar3 = (uint)lVar2;\n    uVar6 = *param_1;\n    *param_1 = *param_1 + uVar3;\n    uVar6 = (int)((ulonglong)lVar2 >> 0x20) + (uint)CARRY4(uVar6,uVar3);\n    param_1 = param_1 + 1;\n  }\n  for (param_3 = param_3 >> 2; param_3 != 0; param_3 = param_3 - 1) {\n    lVar2 = (ulonglong)*param_2 * (ulonglong)param_4 + (ulonglong)uVar6;\n    uVar3 = (uint)lVar2;\n    uVar7 = (uint)((ulonglong)lVar2 >> 0x20);\n    uVar5 = param_2[1];\n    uVar4 = (uint)((ulonglong)uVar5 * (ulonglong)param_4);\n    uVar6 = *param_1;\n    *param_1 = *param_1 + uVar3;\n    uVar6 = (uint)CARRY4(uVar6,uVar3);\n    uVar3 = uVar7 + uVar4;\n    uVar8 = uVar3 + uVar6;\n    uVar7 = (int)((ulonglong)uVar5 * (ulonglong)param_4 >> 0x20) +\n            (uint)(CARRY4(uVar7,uVar4) || CARRY4(uVar3,uVar6));\n    uVar5 = param_2[2];\n    uVar4 = (uint)((ulonglong)uVar5 * (ulonglong)param_4);\n    puVar1 = param_1 + 1;\n    uVar6 = *puVar1;\n    *puVar1 = *puVar1 + uVar8;\n    uVar6 = (uint)CARRY4(uVar6,uVar8);\n    uVar3 = uVar7 + uVar4;\n    uVar8 = uVar3 + uVar6;\n    uVar9 = (int)((ulonglong)uVar5 * (ulonglong)param_4 >> 0x20) +\n            (uint)(CARRY4(uVar7,uVar4) || CARRY4(uVar3,uVar6));\n    uVar5 = param_2[3];\n    uVar7 = (uint)((ulonglong)uVar5 * (ulonglong)param_4);\n    puVar1 = param_1 + 2;\n    uVar6 = *puVar1;\n    *puVar1 = *puVar1 + uVar8;\n    uVar3 = (uint)CARRY4(uVar6,uVar8);\n    uVar4 = uVar9 + uVar7;\n    uVar8 = uVar4 + uVar3;\n    puVar1 = param_1 + 3;\n    uVar6 = *puVar1;\n    *puVar1 = *puVar1 + uVar8;\n    uVar6 = (int)((ulonglong)uVar5 * (ulonglong)param_4 >> 0x20) +\n            (uint)(CARRY4(uVar9,uVar7) || CARRY4(uVar4,uVar3)) + (uint)CARRY4(uVar6,uVar8);\n    param_2 = param_2 + 4;\n    param_1 = param_1 + 4;\n  }\n  return uVar6;\n}" type_identifier (function_declarator "__gmpn_addmul_1_x86(uint *param_1,uint *param_2,uint param_3,uint param_4)" identifier (parameter_list "(uint *param_1,uint *param_2,uint param_3,uint param_4)" ( (parameter_declaration "uint *param_1" type_identifier (pointer_declarator "*param_1" * identifier)) , (parameter_declaration "uint *param_2" type_identifier (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 *puVar1;\n  longlong lVar2;\n  uint uVar3;\n  uint uVar4;\n  uint uVar5;\n  uint uVar6;\n  uint uVar7;\n  uint uVar8;\n  uint uVar9;\n  \n  uVar6 = 0;\n  for (uVar5 = param_3 & 3; uVar5 != 0; uVar5 = uVar5 - 1) {\n    uVar3 = *param_2;\n    param_2 = param_2 + 1;\n    lVar2 = (ulonglong)uVar3 * (ulonglong)param_4 + (ulonglong)uVar6;\n    uVar3 = (uint)lVar2;\n    uVar6 = *param_1;\n    *param_1 = *param_1 + uVar3;\n    uVar6 = (int)((ulonglong)lVar2 >> 0x20) + (uint)CARRY4(uVar6,uVar3);\n    param_1 = param_1 + 1;\n  }\n  for (param_3 = param_3 >> 2; param_3 != 0; param_3 = param_3 - 1) {\n    lVar2 = (ulonglong)*param_2 * (ulonglong)param_4 + (ulonglong)uVar6;\n    uVar3 = (uint)lVar2;\n    uVar7 = (uint)((ulonglong)lVar2 >> 0x20);\n    uVar5 = param_2[1];\n    uVar4 = (uint)((ulonglong)uVar5 * (ulonglong)param_4);\n    uVar6 = *param_1;\n    *param_1 = *param_1 + uVar3;\n    uVar6 = (uint)CARRY4(uVar6,uVar3);\n    uVar3 = uVar7 + uVar4;\n    uVar8 = uVar3 + uVar6;\n    uVar7 = (int)((ulonglong)uVar5 * (ulonglong)param_4 >> 0x20) +\n            (uint)(CARRY4(uVar7,uVar4) || CARRY4(uVar3,uVar6));\n    uVar5 = param_2[2];\n    uVar4 = (uint)((ulonglong)uVar5 * (ulonglong)param_4);\n    puVar1 = param_1 + 1;\n    uVar6 = *puVar1;\n    *puVar1 = *puVar1 + uVar8;\n    uVar6 = (uint)CARRY4(uVar6,uVar8);\n    uVar3 = uVar7 + uVar4;\n    uVar8 = uVar3 + uVar6;\n    uVar9 = (int)((ulonglong)uVar5 * (ulonglong)param_4 >> 0x20) +\n            (uint)(CARRY4(uVar7,uVar4) || CARRY4(uVar3,uVar6));\n    uVar5 = param_2[3];\n    uVar7 = (uint)((ulonglong)uVar5 * (ulonglong)param_4);\n    puVar1 = param_1 + 2;\n    uVar6 = *puVar1;\n    *puVar1 = *puVar1 + uVar8;\n    uVar3 = (uint)CARRY4(uVar6,uVar8);\n    uVar4 = uVar9 + uVar7;\n    uVar8 = uVar4 + uVar3;\n    puVar1 = param_1 + 3;\n    uVar6 = *puVar1;\n    *puVar1 = *puVar1 + uVar8;\n    uVar6 = (int)((ulonglong)uVar5 * (ulonglong)param_4 >> 0x20) +\n            (uint)(CARRY4(uVar9,uVar7) || CARRY4(uVar4,uVar3)) + (uint)CARRY4(uVar6,uVar8);\n    param_2 = param_2 + 4;\n    param_1 = param_1 + 4;\n  }\n  return uVar6;\n}" { (declaration "uint *puVar1;" type_identifier (pointer_declarator "*puVar1" * identifier) ;) (declaration "longlong lVar2;" type_identifier identifier ;) (declaration "uint uVar3;" type_identifier identifier ;) (declaration "uint uVar4;" type_identifier identifier ;) (declaration "uint uVar5;" type_identifier identifier ;) (declaration "uint uVar6;" type_identifier identifier ;) (declaration "uint uVar7;" type_identifier identifier ;) (declaration "uint uVar8;" type_identifier identifier ;) (declaration "uint uVar9;" type_identifier identifier ;) (expression_statement "uVar6 = 0;" (assignment_expression "uVar6 = 0" identifier = number_literal) ;) (for_statement "for (uVar5 = param_3 & 3; uVar5 != 0; uVar5 = uVar5 - 1) {\n    uVar3 = *param_2;\n    param_2 = param_2 + 1;\n    lVar2 = (ulonglong)uVar3 * (ulonglong)param_4 + (ulonglong)uVar6;\n    uVar3 = (uint)lVar2;\n    uVar6 = *param_1;\n    *param_1 = *param_1 + uVar3;\n    uVar6 = (int)((ulonglong)lVar2 >> 0x20) + (uint)CARRY4(uVar6,uVar3);\n    param_1 = param_1 + 1;\n  }" for ( (assignment_expression "uVar5 = param_3 & 3" identifier = (binary_expression "param_3 & 3" identifier & number_literal)) ; (binary_expression "uVar5 != 0" identifier != number_literal) ; (assignment_expression "uVar5 = uVar5 - 1" identifier = (binary_expression "uVar5 - 1" identifier - number_literal)) ) (compound_statement "{\n    uVar3 = *param_2;\n    param_2 = param_2 + 1;\n    lVar2 = (ulonglong)uVar3 * (ulonglong)param_4 + (ulonglong)uVar6;\n    uVar3 = (uint)lVar2;\n    uVar6 = *param_1;\n    *param_1 = *param_1 + uVar3;\n    uVar6 = (int)((ulonglong)lVar2 >> 0x20) + (uint)CARRY4(uVar6,uVar3);\n    param_1 = param_1 + 1;\n  }" { (expression_statement "uVar3 = *param_2;" (assignment_expression "uVar3 = *param_2" identifier = (pointer_expression "*param_2" * identifier)) ;) (expression_statement "param_2 = param_2 + 1;" (assignment_expression "param_2 = param_2 + 1" identifier = (binary_expression "param_2 + 1" identifier + number_literal)) ;) (expression_statement "lVar2 = (ulonglong)uVar3 * (ulonglong)param_4 + (ulonglong)uVar6;" (assignment_expression "lVar2 = (ulonglong)uVar3 * (ulonglong)param_4 + (ulonglong)uVar6" identifier = (binary_expression "(ulonglong)uVar3 * (ulonglong)param_4 + (ulonglong)uVar6" (binary_expression "(ulonglong)uVar3 * (ulonglong)param_4" (cast_expression "(ulonglong)uVar3" ( (type_descriptor "ulonglong" type_identifier) ) identifier) * (cast_expression "(ulonglong)param_4" ( (type_descriptor "ulonglong" type_identifier) ) identifier)) + (cast_expression "(ulonglong)uVar6" ( (type_descriptor "ulonglong" type_identifier) ) identifier))) ;) (expression_statement "uVar3 = (uint)lVar2;" (assignment_expression "uVar3 = (uint)lVar2" identifier = (cast_expression "(uint)lVar2" ( (type_descriptor "uint" type_identifier) ) identifier)) ;) (expression_statement "uVar6 = *param_1;" (assignment_expression "uVar6 = *param_1" identifier = (pointer_expression "*param_1" * identifier)) ;) (expression_statement "*param_1 = *param_1 + uVar3;" (assignment_expression "*param_1 = *param_1 + uVar3" (pointer_expression "*param_1" * identifier) = (binary_expression "*param_1 + uVar3" (pointer_expression "*param_1" * identifier) + identifier)) ;) (expression_statement "uVar6 = (int)((ulonglong)lVar2 >> 0x20) + (uint)CARRY4(uVar6,uVar3);" (assignment_expression "uVar6 = (int)((ulonglong)lVar2 >> 0x20) + (uint)CARRY4(uVar6,uVar3)" identifier = (binary_expression "(int)((ulonglong)lVar2 >> 0x20) + (uint)CARRY4(uVar6,uVar3)" (cast_expression "(int)((ulonglong)lVar2 >> 0x20)" ( (type_descriptor "int" primitive_type) ) (parenthesized_expression "((ulonglong)lVar2 >> 0x20)" ( (binary_expression "(ulonglong)lVar2 >> 0x20" (cast_expression "(ulonglong)lVar2" ( (type_descriptor "ulonglong" type_identifier) ) identifier) >> number_literal) ))) + (cast_expression "(uint)CARRY4(uVar6,uVar3)" ( (type_descriptor "uint" type_identifier) ) (call_expression "CARRY4(uVar6,uVar3)" identifier (argument_list "(uVar6,uVar3)" ( 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)) ;) })) (for_statement "for (param_3 = param_3 >> 2; param_3 != 0; param_3 = param_3 - 1) {\n    lVar2 = (ulonglong)*param_2 * (ulonglong)param_4 + (ulonglong)uVar6;\n    uVar3 = (uint)lVar2;\n    uVar7 = (uint)((ulonglong)lVar2 >> 0x20);\n    uVar5 = param_2[1];\n    uVar4 = (uint)((ulonglong)uVar5 * (ulonglong)param_4);\n    uVar6 = *param_1;\n    *param_1 = *param_1 + uVar3;\n    uVar6 = (uint)CARRY4(uVar6,uVar3);\n    uVar3 = uVar7 + uVar4;\n    uVar8 = uVar3 + uVar6;\n    uVar7 = (int)((ulonglong)uVar5 * (ulonglong)param_4 >> 0x20) +\n            (uint)(CARRY4(uVar7,uVar4) || CARRY4(uVar3,uVar6));\n    uVar5 = param_2[2];\n    uVar4 = (uint)((ulonglong)uVar5 * (ulonglong)param_4);\n    puVar1 = param_1 + 1;\n    uVar6 = *puVar1;\n    *puVar1 = *puVar1 + uVar8;\n    uVar6 = (uint)CARRY4(uVar6,uVar8);\n    uVar3 = uVar7 + uVar4;\n    uVar8 = uVar3 + uVar6;\n    uVar9 = (int)((ulonglong)uVar5 * (ulonglong)param_4 >> 0x20) +\n            (uint)(CARRY4(uVar7,uVar4) || CARRY4(uVar3,uVar6));\n    uVar5 = param_2[3];\n    uVar7 = (uint)((ulonglong)uVar5 * (ulonglong)param_4);\n    puVar1 = param_1 + 2;\n    uVar6 = *puVar1;\n    *puVar1 = *puVar1 + uVar8;\n    uVar3 = (uint)CARRY4(uVar6,uVar8);\n    uVar4 = uVar9 + uVar7;\n    uVar8 = uVar4 + uVar3;\n    puVar1 = param_1 + 3;\n    uVar6 = *puVar1;\n    *puVar1 = *puVar1 + uVar8;\n    uVar6 = (int)((ulonglong)uVar5 * (ulonglong)param_4 >> 0x20) +\n            (uint)(CARRY4(uVar9,uVar7) || CARRY4(uVar4,uVar3)) + (uint)CARRY4(uVar6,uVar8);\n    param_2 = param_2 + 4;\n    param_1 = param_1 + 4;\n  }" for ( (assignment_expression "param_3 = param_3 >> 2" identifier = (binary_expression "param_3 >> 2" identifier >> number_literal)) ; (binary_expression "param_3 != 0" identifier != number_literal) ; (assignment_expression "param_3 = param_3 - 1" identifier = (binary_expression "param_3 - 1" identifier - number_literal)) ) (compound_statement "{\n    lVar2 = (ulonglong)*param_2 * (ulonglong)param_4 + (ulonglong)uVar6;\n    uVar3 = (uint)lVar2;\n    uVar7 = (uint)((ulonglong)lVar2 >> 0x20);\n    uVar5 = param_2[1];\n    uVar4 = (uint)((ulonglong)uVar5 * (ulonglong)param_4);\n    uVar6 = *param_1;\n    *param_1 = *param_1 + uVar3;\n    uVar6 = (uint)CARRY4(uVar6,uVar3);\n    uVar3 = uVar7 + uVar4;\n    uVar8 = uVar3 + uVar6;\n    uVar7 = (int)((ulonglong)uVar5 * (ulonglong)param_4 >> 0x20) +\n            (uint)(CARRY4(uVar7,uVar4) || CARRY4(uVar3,uVar6));\n    uVar5 = param_2[2];\n    uVar4 = (uint)((ulonglong)uVar5 * (ulonglong)param_4);\n    puVar1 = param_1 + 1;\n    uVar6 = *puVar1;\n    *puVar1 = *puVar1 + uVar8;\n    uVar6 = (uint)CARRY4(uVar6,uVar8);\n    uVar3 = uVar7 + uVar4;\n    uVar8 = uVar3 + uVar6;\n    uVar9 = (int)((ulonglong)uVar5 * (ulonglong)param_4 >> 0x20) +\n            (uint)(CARRY4(uVar7,uVar4) || CARRY4(uVar3,uVar6));\n    uVar5 = param_2[3];\n    uVar7 = (uint)((ulonglong)uVar5 * (ulonglong)param_4);\n    puVar1 = param_1 + 2;\n    uVar6 = *puVar1;\n    *puVar1 = *puVar1 + uVar8;\n    uVar3 = (uint)CARRY4(uVar6,uVar8);\n    uVar4 = uVar9 + uVar7;\n    uVar8 = uVar4 + uVar3;\n    puVar1 = param_1 + 3;\n    uVar6 = *puVar1;\n    *puVar1 = *puVar1 + uVar8;\n    uVar6 = (int)((ulonglong)uVar5 * (ulonglong)param_4 >> 0x20) +\n            (uint)(CARRY4(uVar9,uVar7) || CARRY4(uVar4,uVar3)) + (uint)CARRY4(uVar6,uVar8);\n    param_2 = param_2 + 4;\n    param_1 = param_1 + 4;\n  }" { (expression_statement "lVar2 = (ulonglong)*param_2 * (ulonglong)param_4 + (ulonglong)uVar6;" (assignment_expression "lVar2 = (ulonglong)*param_2 * (ulonglong)param_4 + (ulonglong)uVar6" identifier = (binary_expression "(ulonglong)*param_2 * (ulonglong)param_4 + (ulonglong)uVar6" (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)) + (cast_expression "(ulonglong)uVar6" ( (type_descriptor "ulonglong" type_identifier) ) identifier))) ;) (expression_statement "uVar3 = (uint)lVar2;" (assignment_expression "uVar3 = (uint)lVar2" identifier = (cast_expression "(uint)lVar2" ( (type_descriptor "uint" type_identifier) ) identifier)) ;) (expression_statement "uVar7 = (uint)((ulonglong)lVar2 >> 0x20);" (assignment_expression "uVar7 = (uint)((ulonglong)lVar2 >> 0x20)" identifier = (call_expression "(uint)((ulonglong)lVar2 >> 0x20)" (parenthesized_expression "(uint)" ( identifier )) (argument_list "((ulonglong)lVar2 >> 0x20)" ( (binary_expression "(ulonglong)lVar2 >> 0x20" (cast_expression "(ulonglong)lVar2" ( (type_descriptor "ulonglong" type_identifier) ) identifier) >> number_literal) )))) ;) (expression_statement "uVar5 = param_2[1];" (assignment_expression "uVar5 = param_2[1]" identifier = (subscript_expression "param_2[1]" identifier [ number_literal ])) ;) (expression_statement "uVar4 = (uint)((ulonglong)uVar5 * (ulonglong)param_4);" (assignment_expression "uVar4 = (uint)((ulonglong)uVar5 * (ulonglong)param_4)" identifier = (call_expression "(uint)((ulonglong)uVar5 * (ulonglong)param_4)" (parenthesized_expression "(uint)" ( identifier )) (argument_list "((ulonglong)uVar5 * (ulonglong)param_4)" ( (binary_expression "(ulonglong)uVar5 * (ulonglong)param_4" (cast_expression "(ulonglong)uVar5" ( (type_descriptor "ulonglong" type_identifier) ) identifier) * (cast_expression "(ulonglong)param_4" ( (type_descriptor "ulonglong" type_identifier) ) identifier)) )))) ;) (expression_statement "uVar6 = *param_1;" (assignment_expression "uVar6 = *param_1" identifier = (pointer_expression "*param_1" * identifier)) ;) (expression_statement "*param_1 = *param_1 + uVar3;" (assignment_expression "*param_1 = *param_1 + uVar3" (pointer_expression "*param_1" * identifier) = (binary_expression "*param_1 + uVar3" (pointer_expression "*param_1" * identifier) + identifier)) ;) (expression_statement "uVar6 = (uint)CARRY4(uVar6,uVar3);" (assignment_expression "uVar6 = (uint)CARRY4(uVar6,uVar3)" identifier = (cast_expression "(uint)CARRY4(uVar6,uVar3)" ( (type_descriptor "uint" type_identifier) ) (call_expression "CARRY4(uVar6,uVar3)" identifier (argument_list "(uVar6,uVar3)" ( identifier , identifier ))))) ;) (expression_statement "uVar3 = uVar7 + uVar4;" (assignment_expression "uVar3 = uVar7 + uVar4" identifier = (binary_expression "uVar7 + uVar4" identifier + identifier)) ;) (expression_statement "uVar8 = uVar3 + uVar6;" (assignment_expression "uVar8 = uVar3 + uVar6" identifier = (binary_expression "uVar3 + uVar6" identifier + identifier)) ;) (expression_statement "uVar7 = (int)((ulonglong)uVar5 * (ulonglong)param_4 >> 0x20) +\n            (uint)(CARRY4(uVar7,uVar4) || CARRY4(uVar3,uVar6));" (assignment_expression "uVar7 = (int)((ulonglong)uVar5 * (ulonglong)param_4 >> 0x20) +\n            (uint)(CARRY4(uVar7,uVar4) || CARRY4(uVar3,uVar6))" identifier = (binary_expression "(int)((ulonglong)uVar5 * (ulonglong)param_4 >> 0x20) +\n            (uint)(CARRY4(uVar7,uVar4) || CARRY4(uVar3,uVar6))" (cast_expression "(int)((ulonglong)uVar5 * (ulonglong)param_4 >> 0x20)" ( (type_descriptor "int" primitive_type) ) (parenthesized_expression "((ulonglong)uVar5 * (ulonglong)param_4 >> 0x20)" ( (binary_expression "(ulonglong)uVar5 * (ulonglong)param_4 >> 0x20" (binary_expression "(ulonglong)uVar5 * (ulonglong)param_4" (cast_expression "(ulonglong)uVar5" ( (type_descriptor "ulonglong" type_identifier) ) identifier) * (cast_expression "(ulonglong)param_4" ( (type_descriptor "ulonglong" type_identifier) ) identifier)) >> number_literal) ))) + (call_expression "(uint)(CARRY4(uVar7,uVar4) || CARRY4(uVar3,uVar6))" (parenthesized_expression "(uint)" ( identifier )) (argument_list "(CARRY4(uVar7,uVar4) || CARRY4(uVar3,uVar6))" ( (binary_expression "CARRY4(uVar7,uVar4) || CARRY4(uVar3,uVar6)" (call_expression "CARRY4(uVar7,uVar4)" identifier (argument_list "(uVar7,uVar4)" ( identifier , identifier ))) || (call_expression "CARRY4(uVar3,uVar6)" identifier (argument_list "(uVar3,uVar6)" ( identifier , identifier )))) ))))) ;) (expression_statement "uVar5 = param_2[2];" (assignment_expression "uVar5 = param_2[2]" identifier = (subscript_expression "param_2[2]" identifier [ number_literal ])) ;) (expression_statement "uVar4 = (uint)((ulonglong)uVar5 * (ulonglong)param_4);" (assignment_expression "uVar4 = (uint)((ulonglong)uVar5 * (ulonglong)param_4)" identifier = (call_expression "(uint)((ulonglong)uVar5 * (ulonglong)param_4)" (parenthesized_expression "(uint)" ( identifier )) (argument_list "((ulonglong)uVar5 * (ulonglong)param_4)" ( (binary_expression "(ulonglong)uVar5 * (ulonglong)param_4" (cast_expression "(ulonglong)uVar5" ( (type_descriptor "ulonglong" type_identifier) ) identifier) * (cast_expression "(ulonglong)param_4" ( (type_descriptor "ulonglong" type_identifier) ) identifier)) )))) ;) (expression_statement "puVar1 = param_1 + 1;" (assignment_expression "puVar1 = param_1 + 1" identifier = (binary_expression "param_1 + 1" identifier + number_literal)) ;) (expression_statement "uVar6 = *puVar1;" (assignment_expression "uVar6 = *puVar1" identifier = (pointer_expression "*puVar1" * identifier)) ;) (expression_statement "*puVar1 = *puVar1 + uVar8;" (assignment_expression "*puVar1 = *puVar1 + uVar8" (pointer_expression "*puVar1" * identifier) = (binary_expression "*puVar1 + uVar8" (pointer_expression "*puVar1" * identifier) + identifier)) ;) (expression_statement "uVar6 = (uint)CARRY4(uVar6,uVar8);" (assignment_expression "uVar6 = (uint)CARRY4(uVar6,uVar8)" identifier = (cast_expression "(uint)CARRY4(uVar6,uVar8)" ( (type_descriptor "uint" type_identifier) ) (call_expression "CARRY4(uVar6,uVar8)" identifier (argument_list "(uVar6,uVar8)" ( identifier , identifier ))))) ;) (expression_statement "uVar3 = uVar7 + uVar4;" (assignment_expression "uVar3 = uVar7 + uVar4" identifier = (binary_expression "uVar7 + uVar4" identifier + identifier)) ;) (expression_statement "uVar8 = uVar3 + uVar6;" (assignment_expression "uVar8 = uVar3 + uVar6" identifier = (binary_expression "uVar3 + uVar6" identifier + identifier)) ;) (expression_statement "uVar9 = (int)((ulonglong)uVar5 * (ulonglong)param_4 >> 0x20) +\n            (uint)(CARRY4(uVar7,uVar4) || CARRY4(uVar3,uVar6));" (assignment_expression "uVar9 = (int)((ulonglong)uVar5 * (ulonglong)param_4 >> 0x20) +\n            (uint)(CARRY4(uVar7,uVar4) || CARRY4(uVar3,uVar6))" identifier = (binary_expression "(int)((ulonglong)uVar5 * (ulonglong)param_4 >> 0x20) +\n            (uint)(CARRY4(uVar7,uVar4) || CARRY4(uVar3,uVar6))" (cast_expression "(int)((ulonglong)uVar5 * (ulonglong)param_4 >> 0x20)" ( (type_descriptor "int" primitive_type) ) (parenthesized_expression "((ulonglong)uVar5 * (ulonglong)param_4 >> 0x20)" ( (binary_expression "(ulonglong)uVar5 * (ulonglong)param_4 >> 0x20" (binary_expression "(ulonglong)uVar5 * (ulonglong)param_4" (cast_expression "(ulonglong)uVar5" ( (type_descriptor "ulonglong" type_identifier) ) identifier) * (cast_expression "(ulonglong)param_4" ( (type_descriptor "ulonglong" type_identifier) ) identifier)) >> number_literal) ))) + (call_expression "(uint)(CARRY4(uVar7,uVar4) || CARRY4(uVar3,uVar6))" (parenthesized_expression "(uint)" ( identifier )) (argument_list "(CARRY4(uVar7,uVar4) || CARRY4(uVar3,uVar6))" ( (binary_expression "CARRY4(uVar7,uVar4) || CARRY4(uVar3,uVar6)" (call_expression "CARRY4(uVar7,uVar4)" identifier (argument_list "(uVar7,uVar4)" ( identifier , identifier ))) || (call_expression "CARRY4(uVar3,uVar6)" identifier (argument_list "(uVar3,uVar6)" ( identifier , identifier )))) ))))) ;) (expression_statement "uVar5 = param_2[3];" (assignment_expression "uVar5 = param_2[3]" identifier = (subscript_expression "param_2[3]" identifier [ number_literal ])) ;) (expression_statement "uVar7 = (uint)((ulonglong)uVar5 * (ulonglong)param_4);" (assignment_expression "uVar7 = (uint)((ulonglong)uVar5 * (ulonglong)param_4)" identifier = (call_expression "(uint)((ulonglong)uVar5 * (ulonglong)param_4)" (parenthesized_expression "(uint)" ( identifier )) (argument_list "((ulonglong)uVar5 * (ulonglong)param_4)" ( (binary_expression "(ulonglong)uVar5 * (ulonglong)param_4" (cast_expression "(ulonglong)uVar5" ( (type_descriptor "ulonglong" type_identifier) ) identifier) * (cast_expression "(ulonglong)param_4" ( (type_descriptor "ulonglong" type_identifier) ) identifier)) )))) ;) (expression_statement "puVar1 = param_1 + 2;" (assignment_expression "puVar1 = param_1 + 2" identifier = (binary_expression "param_1 + 2" identifier + number_literal)) ;) (expression_statement "uVar6 = *puVar1;" (assignment_expression "uVar6 = *puVar1" identifier = (pointer_expression "*puVar1" * identifier)) ;) (expression_statement "*puVar1 = *puVar1 + uVar8;" (assignment_expression "*puVar1 = *puVar1 + uVar8" (pointer_expression "*puVar1" * identifier) = (binary_expression "*puVar1 + uVar8" (pointer_expression "*puVar1" * identifier) + identifier)) ;) (expression_statement "uVar3 = (uint)CARRY4(uVar6,uVar8);" (assignment_expression "uVar3 = (uint)CARRY4(uVar6,uVar8)" identifier = (cast_expression "(uint)CARRY4(uVar6,uVar8)" ( (type_descriptor "uint" type_identifier) ) (call_expression "CARRY4(uVar6,uVar8)" identifier (argument_list "(uVar6,uVar8)" ( identifier , identifier ))))) ;) (expression_statement "uVar4 = uVar9 + uVar7;" (assignment_expression "uVar4 = uVar9 + uVar7" identifier = (binary_expression "uVar9 + uVar7" identifier + identifier)) ;) (expression_statement "uVar8 = uVar4 + uVar3;" (assignment_expression "uVar8 = uVar4 + uVar3" identifier = (binary_expression "uVar4 + uVar3" identifier + identifier)) ;) (expression_statement "puVar1 = param_1 + 3;" (assignment_expression "puVar1 = param_1 + 3" identifier = (binary_expression "param_1 + 3" identifier + number_literal)) ;) (expression_statement "uVar6 = *puVar1;" (assignment_expression "uVar6 = *puVar1" identifier = (pointer_expression "*puVar1" * identifier)) ;) (expression_statement "*puVar1 = *puVar1 + uVar8;" (assignment_expression "*puVar1 = *puVar1 + uVar8" (pointer_expression "*puVar1" * identifier) = (binary_expression "*puVar1 + uVar8" (pointer_expression "*puVar1" * identifier) + identifier)) ;) (expression_statement "uVar6 = (int)((ulonglong)uVar5 * (ulonglong)param_4 >> 0x20) +\n            (uint)(CARRY4(uVar9,uVar7) || CARRY4(uVar4,uVar3)) + (uint)CARRY4(uVar6,uVar8);" (assignment_expression "uVar6 = (int)((ulonglong)uVar5 * (ulonglong)param_4 >> 0x20) +\n            (uint)(CARRY4(uVar9,uVar7) || CARRY4(uVar4,uVar3)) + (uint)CARRY4(uVar6,uVar8)" identifier = (binary_expression "(int)((ulonglong)uVar5 * (ulonglong)param_4 >> 0x20) +\n            (uint)(CARRY4(uVar9,uVar7) || CARRY4(uVar4,uVar3)) + (uint)CARRY4(uVar6,uVar8)" (binary_expression "(int)((ulonglong)uVar5 * (ulonglong)param_4 >> 0x20) +\n            (uint)(CARRY4(uVar9,uVar7) || CARRY4(uVar4,uVar3))" (cast_expression "(int)((ulonglong)uVar5 * (ulonglong)param_4 >> 0x20)" ( (type_descriptor "int" primitive_type) ) (parenthesized_expression "((ulonglong)uVar5 * (ulonglong)param_4 >> 0x20)" ( (binary_expression "(ulonglong)uVar5 * (ulonglong)param_4 >> 0x20" (binary_expression "(ulonglong)uVar5 * (ulonglong)param_4" (cast_expression "(ulonglong)uVar5" ( (type_descriptor "ulonglong" type_identifier) ) identifier) * (cast_expression "(ulonglong)param_4" ( (type_descriptor "ulonglong" type_identifier) ) identifier)) >> number_literal) ))) + (call_expression "(uint)(CARRY4(uVar9,uVar7) || CARRY4(uVar4,uVar3))" (parenthesized_expression "(uint)" ( identifier )) (argument_list "(CARRY4(uVar9,uVar7) || CARRY4(uVar4,uVar3))" ( (binary_expression "CARRY4(uVar9,uVar7) || CARRY4(uVar4,uVar3)" (call_expression "CARRY4(uVar9,uVar7)" identifier (argument_list "(uVar9,uVar7)" ( identifier , identifier ))) || (call_expression "CARRY4(uVar4,uVar3)" identifier (argument_list "(uVar4,uVar3)" ( identifier , identifier )))) )))) + (cast_expression "(uint)CARRY4(uVar6,uVar8)" ( (type_descriptor "uint" type_identifier) ) (call_expression "CARRY4(uVar6,uVar8)" identifier (argument_list "(uVar6,uVar8)" ( identifier , identifier )))))) ;) (expression_statement "param_2 = param_2 + 4;" (assignment_expression "param_2 = param_2 + 4" identifier = (binary_expression "param_2 + 4" 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)) ;) })) (return_statement "return uVar6;" return identifier ;) })))
(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 (pointer_declarator * IDENT) ;) (declaration TYPE IDENT ;) (declaration TYPE IDENT ;) (declaration TYPE IDENT ;) (declaration TYPE IDENT ;) (declaration TYPE IDENT ;) (declaration TYPE IDENT ;) (declaration TYPE IDENT ;) (declaration TYPE IDENT ;) (expression_statement (assignment_expression IDENT = LIT) ;) (for_statement for ( (assignment_expression IDENT = (binary_expression IDENT & LIT)) ; (binary_expression IDENT != LIT) ; (assignment_expression IDENT = (binary_expression IDENT - LIT)) ) (compound_statement { (expression_statement (assignment_expression IDENT = (pointer_expression * IDENT)) ;) (expression_statement (assignment_expression IDENT = (binary_expression IDENT + LIT)) ;) (expression_statement (assignment_expression IDENT = (binary_expression (binary_expression (cast_expression ( (type_descriptor TYPE) ) IDENT) * (cast_expression ( (type_descriptor TYPE) ) IDENT)) + (cast_expression ( (type_descriptor TYPE) ) IDENT))) ;) (expression_statement (assignment_expression IDENT = (cast_expression ( (type_descriptor TYPE) ) IDENT)) ;) (expression_statement (assignment_expression IDENT = (pointer_expression * IDENT)) ;) (expression_statement (assignment_expression (pointer_expression * IDENT) = (binary_expression (pointer_expression * IDENT) + IDENT)) ;) (expression_statement (assignment_expression IDENT = (binary_expression (cast_expression ( (type_descriptor TYPE) ) (parenthesized_expression ( (binary_expression (cast_expression ( (type_descriptor TYPE) ) IDENT) >> LIT) ))) + (cast_expression ( (type_descriptor TYPE) ) (call_expression IDENT (argument_list ( IDENT , IDENT )))))) ;) (expression_statement (assignment_expression IDENT = (binary_expression IDENT + LIT)) ;) })) (for_statement for ( (assignment_expression IDENT = (binary_expression IDENT >> LIT)) ; (binary_expression IDENT != LIT) ; (assignment_expression IDENT = (binary_expression IDENT - LIT)) ) (compound_statement { (expression_statement (assignment_expression IDENT = (binary_expression (binary_expression (binary_expression (parenthesized_expression ( IDENT )) * IDENT) * (cast_expression ( (type_descriptor TYPE) ) IDENT)) + (cast_expression ( (type_descriptor TYPE) ) IDENT))) ;) (expression_statement (assignment_expression IDENT = (cast_expression ( (type_descriptor TYPE) ) IDENT)) ;) (expression_statement (assignment_expression IDENT = (call_expression (parenthesized_expression ( IDENT )) (argument_list ( (binary_expression (cast_expression ( (type_descriptor TYPE) ) IDENT) >> LIT) )))) ;) (expression_statement (assignment_expression IDENT = (subscript_expression IDENT [ LIT ])) ;) (expression_statement (assignment_expression IDENT = (call_expression (parenthesized_expression ( IDENT )) (argument_list ( (binary_expression (cast_expression ( (type_descriptor TYPE) ) IDENT) * (cast_expression ( (type_descriptor TYPE) ) IDENT)) )))) ;) (expression_statement (assignment_expression IDENT = (pointer_expression * IDENT)) ;) (expression_statement (assignment_expression (pointer_expression * IDENT) = (binary_expression (pointer_expression * IDENT) + IDENT)) ;) (expression_statement (assignment_expression IDENT = (cast_expression ( (type_descriptor TYPE) ) (call_expression IDENT (argument_list ( IDENT , IDENT ))))) ;) (expression_statement (assignment_expression IDENT = (binary_expression IDENT + IDENT)) ;) (expression_statement (assignment_expression IDENT = (binary_expression IDENT + IDENT)) ;) (expression_statement (assignment_expression IDENT = (binary_expression (cast_expression ( (type_descriptor TYPE) ) (parenthesized_expression ( (binary_expression (binary_expression (cast_expression ( (type_descriptor TYPE) ) IDENT) * (cast_expression ( (type_descriptor TYPE) ) IDENT)) >> LIT) ))) + (call_expression (parenthesized_expression ( IDENT )) (argument_list ( (binary_expression (call_expression IDENT (argument_list ( IDENT , IDENT ))) || (call_expression IDENT (argument_list ( IDENT , IDENT )))) ))))) ;) (expression_statement (assignment_expression IDENT = (subscript_expression IDENT [ LIT ])) ;) (expression_statement (assignment_expression IDENT = (call_expression (parenthesized_expression ( IDENT )) (argument_list ( (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 = (pointer_expression * IDENT)) ;) (expression_statement (assignment_expression (pointer_expression * IDENT) = (binary_expression (pointer_expression * IDENT) + IDENT)) ;) (expression_statement (assignment_expression IDENT = (cast_expression ( (type_descriptor TYPE) ) (call_expression IDENT (argument_list ( IDENT , IDENT ))))) ;) (expression_statement (assignment_expression IDENT = (binary_expression IDENT + IDENT)) ;) (expression_statement (assignment_expression IDENT = (binary_expression IDENT + IDENT)) ;) (expression_statement (assignment_expression IDENT = (binary_expression (cast_expression ( (type_descriptor TYPE) ) (parenthesized_expression ( (binary_expression (binary_expression (cast_expression ( (type_descriptor TYPE) ) IDENT) * (cast_expression ( (type_descriptor TYPE) ) IDENT)) >> LIT) ))) + (call_expression (parenthesized_expression ( IDENT )) (argument_list ( (binary_expression (call_expression IDENT (argument_list ( IDENT , IDENT ))) || (call_expression IDENT (argument_list ( IDENT , IDENT )))) ))))) ;) (expression_statement (assignment_expression IDENT = (subscript_expression IDENT [ LIT ])) ;) (expression_statement (assignment_expression IDENT = (call_expression (parenthesized_expression ( IDENT )) (argument_list ( (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 = (pointer_expression * IDENT)) ;) (expression_statement (assignment_expression (pointer_expression * IDENT) = (binary_expression (pointer_expression * IDENT) + IDENT)) ;) (expression_statement (assignment_expression IDENT = (cast_expression ( (type_descriptor TYPE) ) (call_expression IDENT (argument_list ( IDENT , IDENT ))))) ;) (expression_statement (assignment_expression IDENT = (binary_expression IDENT + IDENT)) ;) (expression_statement (assignment_expression IDENT = (binary_expression IDENT + IDENT)) ;) (expression_statement (assignment_expression IDENT = (binary_expression IDENT + LIT)) ;) (expression_statement (assignment_expression IDENT = (pointer_expression * IDENT)) ;) (expression_statement (assignment_expression (pointer_expression * IDENT) = (binary_expression (pointer_expression * IDENT) + IDENT)) ;) (expression_statement (assignment_expression IDENT = (binary_expression (binary_expression (cast_expression ( (type_descriptor TYPE) ) (parenthesized_expression ( (binary_expression (binary_expression (cast_expression ( (type_descriptor TYPE) ) IDENT) * (cast_expression ( (type_descriptor TYPE) ) IDENT)) >> LIT) ))) + (call_expression (parenthesized_expression ( IDENT )) (argument_list ( (binary_expression (call_expression IDENT (argument_list ( IDENT , IDENT ))) || (call_expression IDENT (argument_list ( IDENT , IDENT )))) )))) + (cast_expression ( (type_descriptor TYPE) ) (call_expression IDENT (argument_list ( IDENT , IDENT )))))) ;) (expression_statement (assignment_expression IDENT = (binary_expression IDENT + LIT)) ;) (expression_statement (assignment_expression IDENT = (binary_expression IDENT + LIT)) ;) })) (return_statement return IDENT ;) })))
(function_definition "uint __gmpn_addmul_1_x86(uint *param_1,uint *param_2,uint param_3,uint param_4)\n\n{\n  uint *puVar1;\n  longlong lVar2;\n  uint uVar3;\n  uint uVar4;\n  uint uVar5;\n  uint uVar6;\n  uint uVar7;\n  uint uVar8;\n  uint uVar9;\n  \n  uVar6 = 0;\n  for (uVar5 = param_3 & 3; uVar5 != 0; uVar5 = uVar5 - 1) {\n    uVar3 = *param_2;\n    param_2 = param_2 + 1;\n    lVar2 = (ulonglong)uVar3 * (ulonglong)param_4 + (ulonglong)uVar6;\n    uVar3 = (uint)lVar2;\n    uVar6 = *param_1;\n    *param_1 = *param_1 + uVar3;\n    uVar6 = (int)((ulonglong)lVar2 >> 0x20) + (uint)CARRY4(uVar6,uVar3);\n    param_1 = param_1 + 1;\n  }\n  for (param_3 = param_3 >> 2; param_3 != 0; param_3 = param_3 - 1) {\n    lVar2 = (ulonglong)*param_2 * (ulonglong)param_4 + (ulonglong)uVar6;\n    uVar3 = (uint)lVar2;\n    uVar7 = (uint)((ulonglong)lVar2 >> 0x20);\n    uVar5 = param_2[1];\n    uVar4 = (uint)((ulonglong)uVar5 * (ulonglong)param_4);\n    uVar6 = *param_1;\n    *param_1 = *param_1 + uVar3;\n    uVar6 = (uint)CARRY4(uVar6,uVar3);\n    uVar3 = uVar7 + uVar4;\n    uVar8 = uVar3 + uVar6;\n    uVar7 = (int)((ulonglong)uVar5 * (ulonglong)param_4 >> 0x20) +\n            (uint)(CARRY4(uVar7,uVar4) || CARRY4(uVar3,uVar6));\n    uVar5 = param_2[2];\n    uVar4 = (uint)((ulonglong)uVar5 * (ulonglong)param_4);\n    puVar1 = param_1 + 1;\n    uVar6 = *puVar1;\n    *puVar1 = *puVar1 + uVar8;\n    uVar6 = (uint)CARRY4(uVar6,uVar8);\n    uVar3 = uVar7 + uVar4;\n    uVar8 = uVar3 + uVar6;\n    uVar9 = (int)((ulonglong)uVar5 * (ulonglong)param_4 >> 0x20) +\n            (uint)(CARRY4(uVar7,uVar4) || CARRY4(uVar3,uVar6));\n    uVar5 = param_2[3];\n    uVar7 = (uint)((ulonglong)uVar5 * (ulonglong)param_4);\n    puVar1 = param_1 + 2;\n    uVar6 = *puVar1;\n    *puVar1 = *puVar1 + uVar8;\n    uVar3 = (uint)CARRY4(uVar6,uVar8);\n    uVar4 = uVar9 + uVar7;\n    uVar8 = uVar4 + uVar3;\n    puVar1 = param_1 + 3;\n    uVar6 = *puVar1;\n    *puVar1 = *puVar1 + uVar8;\n    uVar6 = (int)((ulonglong)uVar5 * (ulonglong)param_4 >> 0x20) +\n            (uint)(CARRY4(uVar9,uVar7) || CARRY4(uVar4,uVar3)) + (uint)CARRY4(uVar6,uVar8);\n    param_2 = param_2 + 4;\n    param_1 = param_1 + 4;\n  }\n  return uVar6;\n}" (type_identifier "uint") (function_declarator "__gmpn_addmul_1_x86(uint *param_1,uint *param_2,uint param_3,uint param_4)" (identifier "__gmpn_addmul_1_x86") (parameter_list "(uint *param_1,uint *param_2,uint param_3,uint param_4)" (( "(") (parameter_declaration "uint *param_1" (type_identifier "uint") (pointer_declarator "*param_1" (* "*") (identifier "param_1"))) (, ",") (parameter_declaration "uint *param_2" (type_identifier "uint") (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 *puVar1;\n  longlong lVar2;\n  uint uVar3;\n  uint uVar4;\n  uint uVar5;\n  uint uVar6;\n  uint uVar7;\n  uint uVar8;\n  uint uVar9;\n  \n  uVar6 = 0;\n  for (uVar5 = param_3 & 3; uVar5 != 0; uVar5 = uVar5 - 1) {\n    uVar3 = *param_2;\n    param_2 = param_2 + 1;\n    lVar2 = (ulonglong)uVar3 * (ulonglong)param_4 + (ulonglong)uVar6;\n    uVar3 = (uint)lVar2;\n    uVar6 = *param_1;\n    *param_1 = *param_1 + uVar3;\n    uVar6 = (int)((ulonglong)lVar2 >> 0x20) + (uint)CARRY4(uVar6,uVar3);\n    param_1 = param_1 + 1;\n  }\n  for (param_3 = param_3 >> 2; param_3 != 0; param_3 = param_3 - 1) {\n    lVar2 = (ulonglong)*param_2 * (ulonglong)param_4 + (ulonglong)uVar6;\n    uVar3 = (uint)lVar2;\n    uVar7 = (uint)((ulonglong)lVar2 >> 0x20);\n    uVar5 = param_2[1];\n    uVar4 = (uint)((ulonglong)uVar5 * (ulonglong)param_4);\n    uVar6 = *param_1;\n    *param_1 = *param_1 + uVar3;\n    uVar6 = (uint)CARRY4(uVar6,uVar3);\n    uVar3 = uVar7 + uVar4;\n    uVar8 = uVar3 + uVar6;\n    uVar7 = (int)((ulonglong)uVar5 * (ulonglong)param_4 >> 0x20) +\n            (uint)(CARRY4(uVar7,uVar4) || CARRY4(uVar3,uVar6));\n    uVar5 = param_2[2];\n    uVar4 = (uint)((ulonglong)uVar5 * (ulonglong)param_4);\n    puVar1 = param_1 + 1;\n    uVar6 = *puVar1;\n    *puVar1 = *puVar1 + uVar8;\n    uVar6 = (uint)CARRY4(uVar6,uVar8);\n    uVar3 = uVar7 + uVar4;\n    uVar8 = uVar3 + uVar6;\n    uVar9 = (int)((ulonglong)uVar5 * (ulonglong)param_4 >> 0x20) +\n            (uint)(CARRY4(uVar7,uVar4) || CARRY4(uVar3,uVar6));\n    uVar5 = param_2[3];\n    uVar7 = (uint)((ulonglong)uVar5 * (ulonglong)param_4);\n    puVar1 = param_1 + 2;\n    uVar6 = *puVar1;\n    *puVar1 = *puVar1 + uVar8;\n    uVar3 = (uint)CARRY4(uVar6,uVar8);\n    uVar4 = uVar9 + uVar7;\n    uVar8 = uVar4 + uVar3;\n    puVar1 = param_1 + 3;\n    uVar6 = *puVar1;\n    *puVar1 = *puVar1 + uVar8;\n    uVar6 = (int)((ulonglong)uVar5 * (ulonglong)param_4 >> 0x20) +\n            (uint)(CARRY4(uVar9,uVar7) || CARRY4(uVar4,uVar3)) + (uint)CARRY4(uVar6,uVar8);\n    param_2 = param_2 + 4;\n    param_1 = param_1 + 4;\n  }\n  return uVar6;\n}" ({ "{") (declaration "uint *puVar1;" (type_identifier "uint") (pointer_declarator "*puVar1" (* "*") (identifier "puVar1")) (; ";")) (declaration "longlong lVar2;" (type_identifier "longlong") (identifier "lVar2") (; ";")) (declaration "uint uVar3;" (type_identifier "uint") (identifier "uVar3") (; ";")) (declaration "uint uVar4;" (type_identifier "uint") (identifier "uVar4") (; ";")) (declaration "uint uVar5;" (type_identifier "uint") (identifier "uVar5") (; ";")) (declaration "uint uVar6;" (type_identifier "uint") (identifier "uVar6") (; ";")) (declaration "uint uVar7;" (type_identifier "uint") (identifier "uVar7") (; ";")) (declaration "uint uVar8;" (type_identifier "uint") (identifier "uVar8") (; ";")) (declaration "uint uVar9;" (type_identifier "uint") (identifier "uVar9") (; ";")) (expression_statement "uVar6 = 0;" (assignment_expression "uVar6 = 0" (identifier "uVar6") (= "=") (number_literal "0")) (; ";")) (for_statement "for (uVar5 = param_3 & 3; uVar5 != 0; uVar5 = uVar5 - 1) {\n    uVar3 = *param_2;\n    param_2 = param_2 + 1;\n    lVar2 = (ulonglong)uVar3 * (ulonglong)param_4 + (ulonglong)uVar6;\n    uVar3 = (uint)lVar2;\n    uVar6 = *param_1;\n    *param_1 = *param_1 + uVar3;\n    uVar6 = (int)((ulonglong)lVar2 >> 0x20) + (uint)CARRY4(uVar6,uVar3);\n    param_1 = param_1 + 1;\n  }" (for "for") (( "(") (assignment_expression "uVar5 = param_3 & 3" (identifier "uVar5") (= "=") (binary_expression "param_3 & 3" (identifier "param_3") (& "&") (number_literal "3"))) (; ";") (binary_expression "uVar5 != 0" (identifier "uVar5") (!= "!=") (number_literal "0")) (; ";") (assignment_expression "uVar5 = uVar5 - 1" (identifier "uVar5") (= "=") (binary_expression "uVar5 - 1" (identifier "uVar5") (- "-") (number_literal "1"))) () ")") (compound_statement "{\n    uVar3 = *param_2;\n    param_2 = param_2 + 1;\n    lVar2 = (ulonglong)uVar3 * (ulonglong)param_4 + (ulonglong)uVar6;\n    uVar3 = (uint)lVar2;\n    uVar6 = *param_1;\n    *param_1 = *param_1 + uVar3;\n    uVar6 = (int)((ulonglong)lVar2 >> 0x20) + (uint)CARRY4(uVar6,uVar3);\n    param_1 = param_1 + 1;\n  }" ({ "{") (expression_statement "uVar3 = *param_2;" (assignment_expression "uVar3 = *param_2" (identifier "uVar3") (= "=") (pointer_expression "*param_2" (* "*") (identifier "param_2"))) (; ";")) (expression_statement "param_2 = param_2 + 1;" (assignment_expression "param_2 = param_2 + 1" (identifier "param_2") (= "=") (binary_expression "param_2 + 1" (identifier "param_2") (+ "+") (number_literal "1"))) (; ";")) (expression_statement "lVar2 = (ulonglong)uVar3 * (ulonglong)param_4 + (ulonglong)uVar6;" (assignment_expression "lVar2 = (ulonglong)uVar3 * (ulonglong)param_4 + (ulonglong)uVar6" (identifier "lVar2") (= "=") (binary_expression "(ulonglong)uVar3 * (ulonglong)param_4 + (ulonglong)uVar6" (binary_expression "(ulonglong)uVar3 * (ulonglong)param_4" (cast_expression "(ulonglong)uVar3" (( "(") (type_descriptor "ulonglong" (type_identifier "ulonglong")) () ")") (identifier "uVar3")) (* "*") (cast_expression "(ulonglong)param_4" (( "(") (type_descriptor "ulonglong" (type_identifier "ulonglong")) () ")") (identifier "param_4"))) (+ "+") (cast_expression "(ulonglong)uVar6" (( "(") (type_descriptor "ulonglong" (type_identifier "ulonglong")) () ")") (identifier "uVar6")))) (; ";")) (expression_statement "uVar3 = (uint)lVar2;" (assignment_expression "uVar3 = (uint)lVar2" (identifier "uVar3") (= "=") (cast_expression "(uint)lVar2" (( "(") (type_descriptor "uint" (type_identifier "uint")) () ")") (identifier "lVar2"))) (; ";")) (expression_statement "uVar6 = *param_1;" (assignment_expression "uVar6 = *param_1" (identifier "uVar6") (= "=") (pointer_expression "*param_1" (* "*") (identifier "param_1"))) (; ";")) (expression_statement "*param_1 = *param_1 + uVar3;" (assignment_expression "*param_1 = *param_1 + uVar3" (pointer_expression "*param_1" (* "*") (identifier "param_1")) (= "=") (binary_expression "*param_1 + uVar3" (pointer_expression "*param_1" (* "*") (identifier "param_1")) (+ "+") (identifier "uVar3"))) (; ";")) (expression_statement "uVar6 = (int)((ulonglong)lVar2 >> 0x20) + (uint)CARRY4(uVar6,uVar3);" (assignment_expression "uVar6 = (int)((ulonglong)lVar2 >> 0x20) + (uint)CARRY4(uVar6,uVar3)" (identifier "uVar6") (= "=") (binary_expression "(int)((ulonglong)lVar2 >> 0x20) + (uint)CARRY4(uVar6,uVar3)" (cast_expression "(int)((ulonglong)lVar2 >> 0x20)" (( "(") (type_descriptor "int" (primitive_type "int")) () ")") (parenthesized_expression "((ulonglong)lVar2 >> 0x20)" (( "(") (binary_expression "(ulonglong)lVar2 >> 0x20" (cast_expression "(ulonglong)lVar2" (( "(") (type_descriptor "ulonglong" (type_identifier "ulonglong")) () ")") (identifier "lVar2")) (>> ">>") (number_literal "0x20")) () ")"))) (+ "+") (cast_expression "(uint)CARRY4(uVar6,uVar3)" (( "(") (type_descriptor "uint" (type_identifier "uint")) () ")") (call_expression "CARRY4(uVar6,uVar3)" (identifier "CARRY4") (argument_list "(uVar6,uVar3)" (( "(") (identifier "uVar6") (, ",") (identifier "uVar3") () ")")))))) (; ";")) (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"))) (; ";")) (} "}"))) (for_statement "for (param_3 = param_3 >> 2; param_3 != 0; param_3 = param_3 - 1) {\n    lVar2 = (ulonglong)*param_2 * (ulonglong)param_4 + (ulonglong)uVar6;\n    uVar3 = (uint)lVar2;\n    uVar7 = (uint)((ulonglong)lVar2 >> 0x20);\n    uVar5 = param_2[1];\n    uVar4 = (uint)((ulonglong)uVar5 * (ulonglong)param_4);\n    uVar6 = *param_1;\n    *param_1 = *param_1 + uVar3;\n    uVar6 = (uint)CARRY4(uVar6,uVar3);\n    uVar3 = uVar7 + uVar4;\n    uVar8 = uVar3 + uVar6;\n    uVar7 = (int)((ulonglong)uVar5 * (ulonglong)param_4 >> 0x20) +\n            (uint)(CARRY4(uVar7,uVar4) || CARRY4(uVar3,uVar6));\n    uVar5 = param_2[2];\n    uVar4 = (uint)((ulonglong)uVar5 * (ulonglong)param_4);\n    puVar1 = param_1 + 1;\n    uVar6 = *puVar1;\n    *puVar1 = *puVar1 + uVar8;\n    uVar6 = (uint)CARRY4(uVar6,uVar8);\n    uVar3 = uVar7 + uVar4;\n    uVar8 = uVar3 + uVar6;\n    uVar9 = (int)((ulonglong)uVar5 * (ulonglong)param_4 >> 0x20) +\n            (uint)(CARRY4(uVar7,uVar4) || CARRY4(uVar3,uVar6));\n    uVar5 = param_2[3];\n    uVar7 = (uint)((ulonglong)uVar5 * (ulonglong)param_4);\n    puVar1 = param_1 + 2;\n    uVar6 = *puVar1;\n    *puVar1 = *puVar1 + uVar8;\n    uVar3 = (uint)CARRY4(uVar6,uVar8);\n    uVar4 = uVar9 + uVar7;\n    uVar8 = uVar4 + uVar3;\n    puVar1 = param_1 + 3;\n    uVar6 = *puVar1;\n    *puVar1 = *puVar1 + uVar8;\n    uVar6 = (int)((ulonglong)uVar5 * (ulonglong)param_4 >> 0x20) +\n            (uint)(CARRY4(uVar9,uVar7) || CARRY4(uVar4,uVar3)) + (uint)CARRY4(uVar6,uVar8);\n    param_2 = param_2 + 4;\n    param_1 = param_1 + 4;\n  }" (for "for") (( "(") (assignment_expression "param_3 = param_3 >> 2" (identifier "param_3") (= "=") (binary_expression "param_3 >> 2" (identifier "param_3") (>> ">>") (number_literal "2"))) (; ";") (binary_expression "param_3 != 0" (identifier "param_3") (!= "!=") (number_literal "0")) (; ";") (assignment_expression "param_3 = param_3 - 1" (identifier "param_3") (= "=") (binary_expression "param_3 - 1" (identifier "param_3") (- "-") (number_literal "1"))) () ")") (compound_statement "{\n    lVar2 = (ulonglong)*param_2 * (ulonglong)param_4 + (ulonglong)uVar6;\n    uVar3 = (uint)lVar2;\n    uVar7 = (uint)((ulonglong)lVar2 >> 0x20);\n    uVar5 = param_2[1];\n    uVar4 = (uint)((ulonglong)uVar5 * (ulonglong)param_4);\n    uVar6 = *param_1;\n    *param_1 = *param_1 + uVar3;\n    uVar6 = (uint)CARRY4(uVar6,uVar3);\n    uVar3 = uVar7 + uVar4;\n    uVar8 = uVar3 + uVar6;\n    uVar7 = (int)((ulonglong)uVar5 * (ulonglong)param_4 >> 0x20) +\n            (uint)(CARRY4(uVar7,uVar4) || CARRY4(uVar3,uVar6));\n    uVar5 = param_2[2];\n    uVar4 = (uint)((ulonglong)uVar5 * (ulonglong)param_4);\n    puVar1 = param_1 + 1;\n    uVar6 = *puVar1;\n    *puVar1 = *puVar1 + uVar8;\n    uVar6 = (uint)CARRY4(uVar6,uVar8);\n    uVar3 = uVar7 + uVar4;\n    uVar8 = uVar3 + uVar6;\n    uVar9 = (int)((ulonglong)uVar5 * (ulonglong)param_4 >> 0x20) +\n            (uint)(CARRY4(uVar7,uVar4) || CARRY4(uVar3,uVar6));\n    uVar5 = param_2[3];\n    uVar7 = (uint)((ulonglong)uVar5 * (ulonglong)param_4);\n    puVar1 = param_1 + 2;\n    uVar6 = *puVar1;\n    *puVar1 = *puVar1 + uVar8;\n    uVar3 = (uint)CARRY4(uVar6,uVar8);\n    uVar4 = uVar9 + uVar7;\n    uVar8 = uVar4 + uVar3;\n    puVar1 = param_1 + 3;\n    uVar6 = *puVar1;\n    *puVar1 = *puVar1 + uVar8;\n    uVar6 = (int)((ulonglong)uVar5 * (ulonglong)param_4 >> 0x20) +\n            (uint)(CARRY4(uVar9,uVar7) || CARRY4(uVar4,uVar3)) + (uint)CARRY4(uVar6,uVar8);\n    param_2 = param_2 + 4;\n    param_1 = param_1 + 4;\n  }" ({ "{") (expression_statement "lVar2 = (ulonglong)*param_2 * (ulonglong)param_4 + (ulonglong)uVar6;" (assignment_expression "lVar2 = (ulonglong)*param_2 * (ulonglong)param_4 + (ulonglong)uVar6" (identifier "lVar2") (= "=") (binary_expression "(ulonglong)*param_2 * (ulonglong)param_4 + (ulonglong)uVar6" (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"))) (+ "+") (cast_expression "(ulonglong)uVar6" (( "(") (type_descriptor "ulonglong" (type_identifier "ulonglong")) () ")") (identifier "uVar6")))) (; ";")) (expression_statement "uVar3 = (uint)lVar2;" (assignment_expression "uVar3 = (uint)lVar2" (identifier "uVar3") (= "=") (cast_expression "(uint)lVar2" (( "(") (type_descriptor "uint" (type_identifier "uint")) () ")") (identifier "lVar2"))) (; ";")) (expression_statement "uVar7 = (uint)((ulonglong)lVar2 >> 0x20);" (assignment_expression "uVar7 = (uint)((ulonglong)lVar2 >> 0x20)" (identifier "uVar7") (= "=") (call_expression "(uint)((ulonglong)lVar2 >> 0x20)" (parenthesized_expression "(uint)" (( "(") (identifier "uint") () ")")) (argument_list "((ulonglong)lVar2 >> 0x20)" (( "(") (binary_expression "(ulonglong)lVar2 >> 0x20" (cast_expression "(ulonglong)lVar2" (( "(") (type_descriptor "ulonglong" (type_identifier "ulonglong")) () ")") (identifier "lVar2")) (>> ">>") (number_literal "0x20")) () ")")))) (; ";")) (expression_statement "uVar5 = param_2[1];" (assignment_expression "uVar5 = param_2[1]" (identifier "uVar5") (= "=") (subscript_expression "param_2[1]" (identifier "param_2") ([ "[") (number_literal "1") (] "]"))) (; ";")) (expression_statement "uVar4 = (uint)((ulonglong)uVar5 * (ulonglong)param_4);" (assignment_expression "uVar4 = (uint)((ulonglong)uVar5 * (ulonglong)param_4)" (identifier "uVar4") (= "=") (call_expression "(uint)((ulonglong)uVar5 * (ulonglong)param_4)" (parenthesized_expression "(uint)" (( "(") (identifier "uint") () ")")) (argument_list "((ulonglong)uVar5 * (ulonglong)param_4)" (( "(") (binary_expression "(ulonglong)uVar5 * (ulonglong)param_4" (cast_expression "(ulonglong)uVar5" (( "(") (type_descriptor "ulonglong" (type_identifier "ulonglong")) () ")") (identifier "uVar5")) (* "*") (cast_expression "(ulonglong)param_4" (( "(") (type_descriptor "ulonglong" (type_identifier "ulonglong")) () ")") (identifier "param_4"))) () ")")))) (; ";")) (expression_statement "uVar6 = *param_1;" (assignment_expression "uVar6 = *param_1" (identifier "uVar6") (= "=") (pointer_expression "*param_1" (* "*") (identifier "param_1"))) (; ";")) (expression_statement "*param_1 = *param_1 + uVar3;" (assignment_expression "*param_1 = *param_1 + uVar3" (pointer_expression "*param_1" (* "*") (identifier "param_1")) (= "=") (binary_expression "*param_1 + uVar3" (pointer_expression "*param_1" (* "*") (identifier "param_1")) (+ "+") (identifier "uVar3"))) (; ";")) (expression_statement "uVar6 = (uint)CARRY4(uVar6,uVar3);" (assignment_expression "uVar6 = (uint)CARRY4(uVar6,uVar3)" (identifier "uVar6") (= "=") (cast_expression "(uint)CARRY4(uVar6,uVar3)" (( "(") (type_descriptor "uint" (type_identifier "uint")) () ")") (call_expression "CARRY4(uVar6,uVar3)" (identifier "CARRY4") (argument_list "(uVar6,uVar3)" (( "(") (identifier "uVar6") (, ",") (identifier "uVar3") () ")"))))) (; ";")) (expression_statement "uVar3 = uVar7 + uVar4;" (assignment_expression "uVar3 = uVar7 + uVar4" (identifier "uVar3") (= "=") (binary_expression "uVar7 + uVar4" (identifier "uVar7") (+ "+") (identifier "uVar4"))) (; ";")) (expression_statement "uVar8 = uVar3 + uVar6;" (assignment_expression "uVar8 = uVar3 + uVar6" (identifier "uVar8") (= "=") (binary_expression "uVar3 + uVar6" (identifier "uVar3") (+ "+") (identifier "uVar6"))) (; ";")) (expression_statement "uVar7 = (int)((ulonglong)uVar5 * (ulonglong)param_4 >> 0x20) +\n            (uint)(CARRY4(uVar7,uVar4) || CARRY4(uVar3,uVar6));" (assignment_expression "uVar7 = (int)((ulonglong)uVar5 * (ulonglong)param_4 >> 0x20) +\n            (uint)(CARRY4(uVar7,uVar4) || CARRY4(uVar3,uVar6))" (identifier "uVar7") (= "=") (binary_expression "(int)((ulonglong)uVar5 * (ulonglong)param_4 >> 0x20) +\n            (uint)(CARRY4(uVar7,uVar4) || CARRY4(uVar3,uVar6))" (cast_expression "(int)((ulonglong)uVar5 * (ulonglong)param_4 >> 0x20)" (( "(") (type_descriptor "int" (primitive_type "int")) () ")") (parenthesized_expression "((ulonglong)uVar5 * (ulonglong)param_4 >> 0x20)" (( "(") (binary_expression "(ulonglong)uVar5 * (ulonglong)param_4 >> 0x20" (binary_expression "(ulonglong)uVar5 * (ulonglong)param_4" (cast_expression "(ulonglong)uVar5" (( "(") (type_descriptor "ulonglong" (type_identifier "ulonglong")) () ")") (identifier "uVar5")) (* "*") (cast_expression "(ulonglong)param_4" (( "(") (type_descriptor "ulonglong" (type_identifier "ulonglong")) () ")") (identifier "param_4"))) (>> ">>") (number_literal "0x20")) () ")"))) (+ "+") (call_expression "(uint)(CARRY4(uVar7,uVar4) || CARRY4(uVar3,uVar6))" (parenthesized_expression "(uint)" (( "(") (identifier "uint") () ")")) (argument_list "(CARRY4(uVar7,uVar4) || CARRY4(uVar3,uVar6))" (( "(") (binary_expression "CARRY4(uVar7,uVar4) || CARRY4(uVar3,uVar6)" (call_expression "CARRY4(uVar7,uVar4)" (identifier "CARRY4") (argument_list "(uVar7,uVar4)" (( "(") (identifier "uVar7") (, ",") (identifier "uVar4") () ")"))) (|| "||") (call_expression "CARRY4(uVar3,uVar6)" (identifier "CARRY4") (argument_list "(uVar3,uVar6)" (( "(") (identifier "uVar3") (, ",") (identifier "uVar6") () ")")))) () ")"))))) (; ";")) (expression_statement "uVar5 = param_2[2];" (assignment_expression "uVar5 = param_2[2]" (identifier "uVar5") (= "=") (subscript_expression "param_2[2]" (identifier "param_2") ([ "[") (number_literal "2") (] "]"))) (; ";")) (expression_statement "uVar4 = (uint)((ulonglong)uVar5 * (ulonglong)param_4);" (assignment_expression "uVar4 = (uint)((ulonglong)uVar5 * (ulonglong)param_4)" (identifier "uVar4") (= "=") (call_expression "(uint)((ulonglong)uVar5 * (ulonglong)param_4)" (parenthesized_expression "(uint)" (( "(") (identifier "uint") () ")")) (argument_list "((ulonglong)uVar5 * (ulonglong)param_4)" (( "(") (binary_expression "(ulonglong)uVar5 * (ulonglong)param_4" (cast_expression "(ulonglong)uVar5" (( "(") (type_descriptor "ulonglong" (type_identifier "ulonglong")) () ")") (identifier "uVar5")) (* "*") (cast_expression "(ulonglong)param_4" (( "(") (type_descriptor "ulonglong" (type_identifier "ulonglong")) () ")") (identifier "param_4"))) () ")")))) (; ";")) (expression_statement "puVar1 = param_1 + 1;" (assignment_expression "puVar1 = param_1 + 1" (identifier "puVar1") (= "=") (binary_expression "param_1 + 1" (identifier "param_1") (+ "+") (number_literal "1"))) (; ";")) (expression_statement "uVar6 = *puVar1;" (assignment_expression "uVar6 = *puVar1" (identifier "uVar6") (= "=") (pointer_expression "*puVar1" (* "*") (identifier "puVar1"))) (; ";")) (expression_statement "*puVar1 = *puVar1 + uVar8;" (assignment_expression "*puVar1 = *puVar1 + uVar8" (pointer_expression "*puVar1" (* "*") (identifier "puVar1")) (= "=") (binary_expression "*puVar1 + uVar8" (pointer_expression "*puVar1" (* "*") (identifier "puVar1")) (+ "+") (identifier "uVar8"))) (; ";")) (expression_statement "uVar6 = (uint)CARRY4(uVar6,uVar8);" (assignment_expression "uVar6 = (uint)CARRY4(uVar6,uVar8)" (identifier "uVar6") (= "=") (cast_expression "(uint)CARRY4(uVar6,uVar8)" (( "(") (type_descriptor "uint" (type_identifier "uint")) () ")") (call_expression "CARRY4(uVar6,uVar8)" (identifier "CARRY4") (argument_list "(uVar6,uVar8)" (( "(") (identifier "uVar6") (, ",") (identifier "uVar8") () ")"))))) (; ";")) (expression_statement "uVar3 = uVar7 + uVar4;" (assignment_expression "uVar3 = uVar7 + uVar4" (identifier "uVar3") (= "=") (binary_expression "uVar7 + uVar4" (identifier "uVar7") (+ "+") (identifier "uVar4"))) (; ";")) (expression_statement "uVar8 = uVar3 + uVar6;" (assignment_expression "uVar8 = uVar3 + uVar6" (identifier "uVar8") (= "=") (binary_expression "uVar3 + uVar6" (identifier "uVar3") (+ "+") (identifier "uVar6"))) (; ";")) (expression_statement "uVar9 = (int)((ulonglong)uVar5 * (ulonglong)param_4 >> 0x20) +\n            (uint)(CARRY4(uVar7,uVar4) || CARRY4(uVar3,uVar6));" (assignment_expression "uVar9 = (int)((ulonglong)uVar5 * (ulonglong)param_4 >> 0x20) +\n            (uint)(CARRY4(uVar7,uVar4) || CARRY4(uVar3,uVar6))" (identifier "uVar9") (= "=") (binary_expression "(int)((ulonglong)uVar5 * (ulonglong)param_4 >> 0x20) +\n            (uint)(CARRY4(uVar7,uVar4) || CARRY4(uVar3,uVar6))" (cast_expression "(int)((ulonglong)uVar5 * (ulonglong)param_4 >> 0x20)" (( "(") (type_descriptor "int" (primitive_type "int")) () ")") (parenthesized_expression "((ulonglong)uVar5 * (ulonglong)param_4 >> 0x20)" (( "(") (binary_expression "(ulonglong)uVar5 * (ulonglong)param_4 >> 0x20" (binary_expression "(ulonglong)uVar5 * (ulonglong)param_4" (cast_expression "(ulonglong)uVar5" (( "(") (type_descriptor "ulonglong" (type_identifier "ulonglong")) () ")") (identifier "uVar5")) (* "*") (cast_expression "(ulonglong)param_4" (( "(") (type_descriptor "ulonglong" (type_identifier "ulonglong")) () ")") (identifier "param_4"))) (>> ">>") (number_literal "0x20")) () ")"))) (+ "+") (call_expression "(uint)(CARRY4(uVar7,uVar4) || CARRY4(uVar3,uVar6))" (parenthesized_expression "(uint)" (( "(") (identifier "uint") () ")")) (argument_list "(CARRY4(uVar7,uVar4) || CARRY4(uVar3,uVar6))" (( "(") (binary_expression "CARRY4(uVar7,uVar4) || CARRY4(uVar3,uVar6)" (call_expression "CARRY4(uVar7,uVar4)" (identifier "CARRY4") (argument_list "(uVar7,uVar4)" (( "(") (identifier "uVar7") (, ",") (identifier "uVar4") () ")"))) (|| "||") (call_expression "CARRY4(uVar3,uVar6)" (identifier "CARRY4") (argument_list "(uVar3,uVar6)" (( "(") (identifier "uVar3") (, ",") (identifier "uVar6") () ")")))) () ")"))))) (; ";")) (expression_statement "uVar5 = param_2[3];" (assignment_expression "uVar5 = param_2[3]" (identifier "uVar5") (= "=") (subscript_expression "param_2[3]" (identifier "param_2") ([ "[") (number_literal "3") (] "]"))) (; ";")) (expression_statement "uVar7 = (uint)((ulonglong)uVar5 * (ulonglong)param_4);" (assignment_expression "uVar7 = (uint)((ulonglong)uVar5 * (ulonglong)param_4)" (identifier "uVar7") (= "=") (call_expression "(uint)((ulonglong)uVar5 * (ulonglong)param_4)" (parenthesized_expression "(uint)" (( "(") (identifier "uint") () ")")) (argument_list "((ulonglong)uVar5 * (ulonglong)param_4)" (( "(") (binary_expression "(ulonglong)uVar5 * (ulonglong)param_4" (cast_expression "(ulonglong)uVar5" (( "(") (type_descriptor "ulonglong" (type_identifier "ulonglong")) () ")") (identifier "uVar5")) (* "*") (cast_expression "(ulonglong)param_4" (( "(") (type_descriptor "ulonglong" (type_identifier "ulonglong")) () ")") (identifier "param_4"))) () ")")))) (; ";")) (expression_statement "puVar1 = param_1 + 2;" (assignment_expression "puVar1 = param_1 + 2" (identifier "puVar1") (= "=") (binary_expression "param_1 + 2" (identifier "param_1") (+ "+") (number_literal "2"))) (; ";")) (expression_statement "uVar6 = *puVar1;" (assignment_expression "uVar6 = *puVar1" (identifier "uVar6") (= "=") (pointer_expression "*puVar1" (* "*") (identifier "puVar1"))) (; ";")) (expression_statement "*puVar1 = *puVar1 + uVar8;" (assignment_expression "*puVar1 = *puVar1 + uVar8" (pointer_expression "*puVar1" (* "*") (identifier "puVar1")) (= "=") (binary_expression "*puVar1 + uVar8" (pointer_expression "*puVar1" (* "*") (identifier "puVar1")) (+ "+") (identifier "uVar8"))) (; ";")) (expression_statement "uVar3 = (uint)CARRY4(uVar6,uVar8);" (assignment_expression "uVar3 = (uint)CARRY4(uVar6,uVar8)" (identifier "uVar3") (= "=") (cast_expression "(uint)CARRY4(uVar6,uVar8)" (( "(") (type_descriptor "uint" (type_identifier "uint")) () ")") (call_expression "CARRY4(uVar6,uVar8)" (identifier "CARRY4") (argument_list "(uVar6,uVar8)" (( "(") (identifier "uVar6") (, ",") (identifier "uVar8") () ")"))))) (; ";")) (expression_statement "uVar4 = uVar9 + uVar7;" (assignment_expression "uVar4 = uVar9 + uVar7" (identifier "uVar4") (= "=") (binary_expression "uVar9 + uVar7" (identifier "uVar9") (+ "+") (identifier "uVar7"))) (; ";")) (expression_statement "uVar8 = uVar4 + uVar3;" (assignment_expression "uVar8 = uVar4 + uVar3" (identifier "uVar8") (= "=") (binary_expression "uVar4 + uVar3" (identifier "uVar4") (+ "+") (identifier "uVar3"))) (; ";")) (expression_statement "puVar1 = param_1 + 3;" (assignment_expression "puVar1 = param_1 + 3" (identifier "puVar1") (= "=") (binary_expression "param_1 + 3" (identifier "param_1") (+ "+") (number_literal "3"))) (; ";")) (expression_statement "uVar6 = *puVar1;" (assignment_expression "uVar6 = *puVar1" (identifier "uVar6") (= "=") (pointer_expression "*puVar1" (* "*") (identifier "puVar1"))) (; ";")) (expression_statement "*puVar1 = *puVar1 + uVar8;" (assignment_expression "*puVar1 = *puVar1 + uVar8" (pointer_expression "*puVar1" (* "*") (identifier "puVar1")) (= "=") (binary_expression "*puVar1 + uVar8" (pointer_expression "*puVar1" (* "*") (identifier "puVar1")) (+ "+") (identifier "uVar8"))) (; ";")) (expression_statement "uVar6 = (int)((ulonglong)uVar5 * (ulonglong)param_4 >> 0x20) +\n            (uint)(CARRY4(uVar9,uVar7) || CARRY4(uVar4,uVar3)) + (uint)CARRY4(uVar6,uVar8);" (assignment_expression "uVar6 = (int)((ulonglong)uVar5 * (ulonglong)param_4 >> 0x20) +\n            (uint)(CARRY4(uVar9,uVar7) || CARRY4(uVar4,uVar3)) + (uint)CARRY4(uVar6,uVar8)" (identifier "uVar6") (= "=") (binary_expression "(int)((ulonglong)uVar5 * (ulonglong)param_4 >> 0x20) +\n            (uint)(CARRY4(uVar9,uVar7) || CARRY4(uVar4,uVar3)) + (uint)CARRY4(uVar6,uVar8)" (binary_expression "(int)((ulonglong)uVar5 * (ulonglong)param_4 >> 0x20) +\n            (uint)(CARRY4(uVar9,uVar7) || CARRY4(uVar4,uVar3))" (cast_expression "(int)((ulonglong)uVar5 * (ulonglong)param_4 >> 0x20)" (( "(") (type_descriptor "int" (primitive_type "int")) () ")") (parenthesized_expression "((ulonglong)uVar5 * (ulonglong)param_4 >> 0x20)" (( "(") (binary_expression "(ulonglong)uVar5 * (ulonglong)param_4 >> 0x20" (binary_expression "(ulonglong)uVar5 * (ulonglong)param_4" (cast_expression "(ulonglong)uVar5" (( "(") (type_descriptor "ulonglong" (type_identifier "ulonglong")) () ")") (identifier "uVar5")) (* "*") (cast_expression "(ulonglong)param_4" (( "(") (type_descriptor "ulonglong" (type_identifier "ulonglong")) () ")") (identifier "param_4"))) (>> ">>") (number_literal "0x20")) () ")"))) (+ "+") (call_expression "(uint)(CARRY4(uVar9,uVar7) || CARRY4(uVar4,uVar3))" (parenthesized_expression "(uint)" (( "(") (identifier "uint") () ")")) (argument_list "(CARRY4(uVar9,uVar7) || CARRY4(uVar4,uVar3))" (( "(") (binary_expression "CARRY4(uVar9,uVar7) || CARRY4(uVar4,uVar3)" (call_expression "CARRY4(uVar9,uVar7)" (identifier "CARRY4") (argument_list "(uVar9,uVar7)" (( "(") (identifier "uVar9") (, ",") (identifier "uVar7") () ")"))) (|| "||") (call_expression "CARRY4(uVar4,uVar3)" (identifier "CARRY4") (argument_list "(uVar4,uVar3)" (( "(") (identifier "uVar4") (, ",") (identifier "uVar3") () ")")))) () ")")))) (+ "+") (cast_expression "(uint)CARRY4(uVar6,uVar8)" (( "(") (type_descriptor "uint" (type_identifier "uint")) () ")") (call_expression "CARRY4(uVar6,uVar8)" (identifier "CARRY4") (argument_list "(uVar6,uVar8)" (( "(") (identifier "uVar6") (, ",") (identifier "uVar8") () ")")))))) (; ";")) (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"))) (; ";")) (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"))) (; ";")) (} "}"))) (return_statement "return uVar6;" (return "return") (identifier "uVar6") (; ";")) (} "}")))

type_1 function_1(type_1 *var_6,type_1 *var_3,type_1 var_1,type_1 param_4)

{
  type_1 *puVar1;
  type_2 lVar2;
  type_1 var_4;
  type_1 var_8;
  type_1 var_2;
  type_1 var_9;
  type_1 var_7;
  type_1 var_10;
  type_1 var_11;
  
  var_9 = 0;
  for (var_2 = var_1 & 3; var_2 != 0; var_2 = var_2 - 1) {
    var_4 = *var_3;
    var_3 = var_3 + 1;
    lVar2 = (type_3)var_4 * (type_3)param_4 + (type_3)var_9;
    var_4 = (type_1)lVar2;
    var_9 = *var_6;
    *var_6 = *var_6 + var_4;
    var_9 = (int)((type_3)lVar2 >> 0x20) + (type_1)var_5(var_9,var_4);
    var_6 = var_6 + 1;
  }
  for (var_1 = var_1 >> 2; var_1 != 0; var_1 = var_1 - 1) {
    lVar2 = (type_3)*var_3 * (type_3)param_4 + (type_3)var_9;
    var_4 = (type_1)lVar2;
    var_7 = (type_1)((type_3)lVar2 >> 0x20);
    var_2 = var_3[1];
    var_8 = (type_1)((type_3)var_2 * (type_3)param_4);
    var_9 = *var_6;
    *var_6 = *var_6 + var_4;
    var_9 = (type_1)var_5(var_9,var_4);
    var_4 = var_7 + var_8;
    var_10 = var_4 + var_9;
    var_7 = (int)((type_3)var_2 * (type_3)param_4 >> 0x20) +
            (type_1)(var_5(var_7,var_8) || var_5(var_4,var_9));
    var_2 = var_3[2];
    var_8 = (type_1)((type_3)var_2 * (type_3)param_4);
    puVar1 = var_6 + 1;
    var_9 = *puVar1;
    *puVar1 = *puVar1 + var_10;
    var_9 = (type_1)var_5(var_9,var_10);
    var_4 = var_7 + var_8;
    var_10 = var_4 + var_9;
    var_11 = (int)((type_3)var_2 * (type_3)param_4 >> 0x20) +
            (type_1)(var_5(var_7,var_8) || var_5(var_4,var_9));
    var_2 = var_3[3];
    var_7 = (type_1)((type_3)var_2 * (type_3)param_4);
    puVar1 = var_6 + 2;
    var_9 = *puVar1;
    *puVar1 = *puVar1 + var_10;
    var_4 = (type_1)var_5(var_9,var_10);
    var_8 = var_11 + var_7;
    var_10 = var_8 + var_4;
    puVar1 = var_6 + 3;
    var_9 = *puVar1;
    *puVar1 = *puVar1 + var_10;
    var_9 = (int)((type_3)var_2 * (type_3)param_4 >> 0x20) +
            (type_1)(var_5(var_11,var_7) || var_5(var_8,var_4)) + (type_1)var_5(var_9,var_10);
    var_3 = var_3 + 4;
    var_6 = var_6 + 4;
  }
  return var_9;
}


(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: (pointer_declarator 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)) (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: (number_literal))) (for_statement initializer: (assignment_expression left: (identifier) right: (binary_expression left: (identifier) right: (number_literal))) condition: (binary_expression left: (identifier) 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: (pointer_expression argument: (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: (binary_expression left: (cast_expression type: (type_descriptor type: (type_identifier)) value: (identifier)) right: (cast_expression type: (type_descriptor type: (type_identifier)) value: (identifier))) right: (cast_expression type: (type_descriptor type: (type_identifier)) value: (identifier))))) (expression_statement (assignment_expression left: (identifier) right: (cast_expression type: (type_descriptor type: (type_identifier)) value: (identifier)))) (expression_statement (assignment_expression left: (identifier) right: (pointer_expression argument: (identifier)))) (expression_statement (assignment_expression left: (pointer_expression argument: (identifier)) right: (binary_expression left: (pointer_expression argument: (identifier)) right: (identifier)))) (expression_statement (assignment_expression left: (identifier) right: (binary_expression left: (cast_expression type: (type_descriptor type: (primitive_type)) value: (parenthesized_expression (binary_expression left: (cast_expression type: (type_descriptor type: (type_identifier)) value: (identifier)) right: (number_literal)))) right: (cast_expression type: (type_descriptor type: (type_identifier)) value: (call_expression function: (identifier) arguments: (argument_list (identifier) (identifier))))))) (expression_statement (assignment_expression left: (identifier) right: (binary_expression left: (identifier) right: (number_literal)))))) (for_statement initializer: (assignment_expression left: (identifier) right: (binary_expression left: (identifier) right: (number_literal))) condition: (binary_expression left: (identifier) 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: (binary_expression left: (binary_expression left: (parenthesized_expression (identifier)) right: (identifier)) right: (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: (cast_expression type: (type_descriptor type: (type_identifier)) value: (identifier)))) (expression_statement (assignment_expression left: (identifier) right: (call_expression function: (parenthesized_expression (identifier)) arguments: (argument_list (binary_expression left: (cast_expression type: (type_descriptor type: (type_identifier)) value: (identifier)) right: (number_literal)))))) (expression_statement (assignment_expression left: (identifier) right: (subscript_expression argument: (identifier) index: (number_literal)))) (expression_statement (assignment_expression left: (identifier) right: (call_expression function: (parenthesized_expression (identifier)) arguments: (argument_list (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: (pointer_expression argument: (identifier)))) (expression_statement (assignment_expression left: (pointer_expression argument: (identifier)) right: (binary_expression left: (pointer_expression argument: (identifier)) right: (identifier)))) (expression_statement (assignment_expression left: (identifier) right: (cast_expression type: (type_descriptor type: (type_identifier)) value: (call_expression function: (identifier) arguments: (argument_list (identifier) (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: (identifier)))) (expression_statement (assignment_expression left: (identifier) right: (binary_expression left: (cast_expression type: (type_descriptor type: (primitive_type)) value: (parenthesized_expression (binary_expression left: (binary_expression left: (cast_expression type: (type_descriptor type: (type_identifier)) value: (identifier)) right: (cast_expression type: (type_descriptor type: (type_identifier)) value: (identifier))) right: (number_literal)))) right: (call_expression function: (parenthesized_expression (identifier)) arguments: (argument_list (binary_expression left: (call_expression function: (identifier) arguments: (argument_list (identifier) (identifier))) right: (call_expression function: (identifier) arguments: (argument_list (identifier) (identifier))))))))) (expression_statement (assignment_expression left: (identifier) right: (subscript_expression argument: (identifier) index: (number_literal)))) (expression_statement (assignment_expression left: (identifier) right: (call_expression function: (parenthesized_expression (identifier)) arguments: (argument_list (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: (pointer_expression argument: (identifier)))) (expression_statement (assignment_expression left: (pointer_expression argument: (identifier)) right: (binary_expression left: (pointer_expression argument: (identifier)) right: (identifier)))) (expression_statement (assignment_expression left: (identifier) right: (cast_expression type: (type_descriptor type: (type_identifier)) value: (call_expression function: (identifier) arguments: (argument_list (identifier) (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: (identifier)))) (expression_statement (assignment_expression left: (identifier) right: (binary_expression left: (cast_expression type: (type_descriptor type: (primitive_type)) value: (parenthesized_expression (binary_expression left: (binary_expression left: (cast_expression type: (type_descriptor type: (type_identifier)) value: (identifier)) right: (cast_expression type: (type_descriptor type: (type_identifier)) value: (identifier))) right: (number_literal)))) right: (call_expression function: (parenthesized_expression (identifier)) arguments: (argument_list (binary_expression left: (call_expression function: (identifier) arguments: (argument_list (identifier) (identifier))) right: (call_expression function: (identifier) arguments: (argument_list (identifier) (identifier))))))))) (expression_statement (assignment_expression left: (identifier) right: (subscript_expression argument: (identifier) index: (number_literal)))) (expression_statement (assignment_expression left: (identifier) right: (call_expression function: (parenthesized_expression (identifier)) arguments: (argument_list (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: (pointer_expression argument: (identifier)))) (expression_statement (assignment_expression left: (pointer_expression argument: (identifier)) right: (binary_expression left: (pointer_expression argument: (identifier)) right: (identifier)))) (expression_statement (assignment_expression left: (identifier) right: (cast_expression type: (type_descriptor type: (type_identifier)) value: (call_expression function: (identifier) arguments: (argument_list (identifier) (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: (identifier)))) (expression_statement (assignment_expression left: (identifier) right: (binary_expression left: (identifier) right: (number_literal)))) (expression_statement (assignment_expression left: (identifier) right: (pointer_expression argument: (identifier)))) (expression_statement (assignment_expression left: (pointer_expression argument: (identifier)) right: (binary_expression left: (pointer_expression argument: (identifier)) right: (identifier)))) (expression_statement (assignment_expression left: (identifier) right: (binary_expression left: (binary_expression left: (cast_expression type: (type_descriptor type: (primitive_type)) value: (parenthesized_expression (binary_expression left: (binary_expression left: (cast_expression type: (type_descriptor type: (type_identifier)) value: (identifier)) right: (cast_expression type: (type_descriptor type: (type_identifier)) value: (identifier))) right: (number_literal)))) right: (call_expression function: (parenthesized_expression (identifier)) arguments: (argument_list (binary_expression left: (call_expression function: (identifier) arguments: (argument_list (identifier) (identifier))) right: (call_expression function: (identifier) arguments: (argument_list (identifier) (identifier))))))) right: (cast_expression type: (type_descriptor type: (type_identifier)) value: (call_expression function: (identifier) arguments: (argument_list (identifier) (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)))))) (return_statement (identifier)))))

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

{
  uint *puVar1;
  longlong lVar2;
  uint uVar3;
  uint uVar4;
  uint uVar5;
  uint uVar6;
  uint uVar7;
  uint uVar8;
  uint uVar9;
  
  uVar6 = 0;
  for (uVar5 = param_3 & 3; uVar5 != 0; uVar5 = uVar5 - 1) {
    uVar3 = *param_2;
    param_2 = param_2 + 1;
    lVar2 = (ulonglong)uVar3 * (ulonglong)param_4 + (ulonglong)uVar6;
    uVar3 = (uint)lVar2;
    uVar6 = *param_1;
    *param_1 = *param_1 + uVar3;
    uVar6 = (int)((ulonglong)lVar2 >> 0x20) + (uint)CARRY4(uVar6,uVar3);
    param_1 = param_1 + 1;
  }
  for (param_3 = param_3 >> 2; param_3 != 0; param_3 = param_3 - 1) {
    lVar2 = (ulonglong)*param_2 * (ulonglong)param_4 + (ulonglong)uVar6;
    uVar3 = (uint)lVar2;
    uVar7 = (uint)((ulonglong)lVar2 >> 0x20);
    uVar5 = param_2[1];
    uVar4 = (uint)((ulonglong)uVar5 * (ulonglong)param_4);
    uVar6 = *param_1;
    *param_1 = *param_1 + uVar3;
    uVar6 = (uint)CARRY4(uVar6,uVar3);
    uVar3 = uVar7 + uVar4;
    uVar8 = uVar3 + uVar6;
    uVar7 = (int)((ulonglong)uVar5 * (ulonglong)param_4 >> 0x20) +
            (uint)(CARRY4(uVar7,uVar4) || CARRY4(uVar3,uVar6));
    uVar5 = param_2[2];
    uVar4 = (uint)((ulonglong)uVar5 * (ulonglong)param_4);
    puVar1 = param_1 + 1;
    uVar6 = *puVar1;
    *puVar1 = *puVar1 + uVar8;
    uVar6 = (uint)CARRY4(uVar6,uVar8);
    uVar3 = uVar7 + uVar4;
    uVar8 = uVar3 + uVar6;
    uVar9 = (int)((ulonglong)uVar5 * (ulonglong)param_4 >> 0x20) +
            (uint)(CARRY4(uVar7,uVar4) || CARRY4(uVar3,uVar6));
    uVar5 = param_2[3];
    uVar7 = (uint)((ulonglong)uVar5 * (ulonglong)param_4);
    puVar1 = param_1 + 2;
    uVar6 = *puVar1;
    *puVar1 = *puVar1 + uVar8;
    uVar3 = (uint)CARRY4(uVar6,uVar8);
    uVar4 = uVar9 + uVar7;
    uVar8 = uVar4 + uVar3;
    puVar1 = param_1 + 3;
    uVar6 = *puVar1;
    *puVar1 = *puVar1 + uVar8;
    uVar6 = (int)((ulonglong)uVar5 * (ulonglong)param_4 >> 0x20) +
            (uint)(CARRY4(uVar9,uVar7) || CARRY4(uVar4,uVar3)) + (uint)CARRY4(uVar6,uVar8);
    param_2 = param_2 + 4;
    param_1 = param_1 + 4;
  }
  return uVar6;
}

