
void __gmpn_mul_basecase_x86
               (undefined4 *param_1,uint *param_2,uint param_3,uint *param_4,int param_5)

{
  longlong lVar1;
  uint *puVar2;
  uint uVar3;
  uint uVar4;
  int iVar5;
  uint uVar6;
  uint uVar7;
  uint uVar8;
  uint uVar9;
  uint uVar10;
  uint uVar11;
  uint uVar12;
  uint *puVar13;
  
  uVar7 = (uint)((ulonglong)*param_2 * (ulonglong)*param_4 >> 0x20);
  *param_1 = (int)((ulonglong)*param_2 * (ulonglong)*param_4);
  iVar5 = param_3 - 1;
  if (iVar5 == 0) {
    param_1[1] = uVar7;
    return;
  }
  param_2 = param_2 + 1;
  puVar2 = param_1 + 1;
  do {
    puVar13 = puVar2;
    uVar8 = *param_2;
    param_2 = param_2 + 1;
    lVar1 = (ulonglong)uVar8 * (ulonglong)*param_4 + (ulonglong)uVar7;
    uVar7 = (uint)((ulonglong)lVar1 >> 0x20);
    *puVar13 = (uint)lVar1;
    iVar5 = iVar5 + -1;
    puVar2 = puVar13 + 1;
  } while (iVar5 != 0);
  puVar13[1] = uVar7;
  puVar13 = puVar13 + (2 - param_3);
  param_2 = param_2 + -param_3;
  for (param_5 = param_5 + -1; param_5 != 0; param_5 = param_5 + -1) {
    param_4 = param_4 + 1;
    uVar7 = *param_4;
    uVar8 = 0;
    for (uVar6 = param_3 & 3; uVar6 != 0; uVar6 = uVar6 - 1) {
      uVar3 = *param_2;
      param_2 = param_2 + 1;
      lVar1 = (ulonglong)uVar3 * (ulonglong)uVar7 + (ulonglong)uVar8;
      uVar3 = (uint)lVar1;
      uVar8 = *puVar13;
      *puVar13 = *puVar13 + uVar3;
      uVar8 = (int)((ulonglong)lVar1 >> 0x20) + (uint)CARRY4(uVar8,uVar3);
      puVar13 = puVar13 + 1;
    }
    for (uVar6 = param_3 >> 2; uVar6 != 0; uVar6 = uVar6 - 1) {
      lVar1 = (ulonglong)*param_2 * (ulonglong)uVar7 + (ulonglong)uVar8;
      uVar9 = (uint)lVar1;
      uVar10 = (uint)((ulonglong)lVar1 >> 0x20);
      uVar3 = param_2[1];
      uVar4 = (uint)((ulonglong)uVar3 * (ulonglong)uVar7);
      uVar8 = *puVar13;
      *puVar13 = *puVar13 + uVar9;
      uVar8 = (uint)CARRY4(uVar8,uVar9);
      uVar9 = uVar10 + uVar4;
      uVar11 = uVar9 + uVar8;
      uVar10 = (int)((ulonglong)uVar3 * (ulonglong)uVar7 >> 0x20) +
               (uint)(CARRY4(uVar10,uVar4) || CARRY4(uVar9,uVar8));
      uVar3 = param_2[2];
      uVar4 = (uint)((ulonglong)uVar3 * (ulonglong)uVar7);
      puVar2 = puVar13 + 1;
      uVar8 = *puVar2;
      *puVar2 = *puVar2 + uVar11;
      uVar8 = (uint)CARRY4(uVar8,uVar11);
      uVar9 = uVar10 + uVar4;
      uVar11 = uVar9 + uVar8;
      uVar12 = (int)((ulonglong)uVar3 * (ulonglong)uVar7 >> 0x20) +
               (uint)(CARRY4(uVar10,uVar4) || CARRY4(uVar9,uVar8));
      uVar3 = param_2[3];
      uVar10 = (uint)((ulonglong)uVar3 * (ulonglong)uVar7);
      puVar2 = puVar13 + 2;
      uVar8 = *puVar2;
      *puVar2 = *puVar2 + uVar11;
      uVar9 = (uint)CARRY4(uVar8,uVar11);
      uVar4 = uVar12 + uVar10;
      uVar11 = uVar4 + uVar9;
      puVar2 = puVar13 + 3;
      uVar8 = *puVar2;
      *puVar2 = *puVar2 + uVar11;
      uVar8 = (int)((ulonglong)uVar3 * (ulonglong)uVar7 >> 0x20) +
              (uint)(CARRY4(uVar12,uVar10) || CARRY4(uVar4,uVar9)) + (uint)CARRY4(uVar8,uVar11);
      param_2 = param_2 + 4;
      puVar13 = puVar13 + 4;
    }
    *puVar13 = uVar8;
    puVar13 = puVar13 + (1 - param_3);
    param_2 = param_2 + -param_3;
  }
  return;
}



void __gmpn_mul_basecase_x86
               (undefined4 *param_1,uint *param_2,uint param_3,uint *param_4,int param_5)

{
  longlong lVar1;
  uint *puVar2;
  uint uVar3;
  uint uVar4;
  int iVar5;
  uint uVar6;
  uint uVar7;
  uint uVar8;
  uint uVar9;
  uint uVar10;
  uint uVar11;
  uint uVar12;
  uint *puVar13;
  
  uVar7 = (uint)((ulonglong)*param_2 * (ulonglong)*param_4 >> 0x20);
  *param_1 = (int)((ulonglong)*param_2 * (ulonglong)*param_4);
  iVar5 = param_3 - 1;
  if (iVar5 == 0) {
    param_1[1] = uVar7;
    return;
  }
  param_2 = param_2 + 1;
  puVar2 = param_1 + 1;
  do {
    puVar13 = puVar2;
    uVar8 = *param_2;
    param_2 = param_2 + 1;
    lVar1 = (ulonglong)uVar8 * (ulonglong)*param_4 + (ulonglong)uVar7;
    uVar7 = (uint)((ulonglong)lVar1 >> 0x20);
    *puVar13 = (uint)lVar1;
    iVar5 = iVar5 + -1;
    puVar2 = puVar13 + 1;
  } while (iVar5 != 0);
  puVar13[1] = uVar7;
  puVar13 = puVar13 + (2 - param_3);
  param_2 = param_2 + -param_3;
  for (param_5 = param_5 + -1; param_5 != 0; param_5 = param_5 + -1) {
    param_4 = param_4 + 1;
    uVar7 = *param_4;
    uVar8 = 0;
    for (uVar6 = param_3 & 3; uVar6 != 0; uVar6 = uVar6 - 1) {
      uVar3 = *param_2;
      param_2 = param_2 + 1;
      lVar1 = (ulonglong)uVar3 * (ulonglong)uVar7 + (ulonglong)uVar8;
      uVar3 = (uint)lVar1;
      uVar8 = *puVar13;
      *puVar13 = *puVar13 + uVar3;
      uVar8 = (int)((ulonglong)lVar1 >> 0x20) + (uint)CARRY4(uVar8,uVar3);
      puVar13 = puVar13 + 1;
    }
    for (uVar6 = param_3 >> 2; uVar6 != 0; uVar6 = uVar6 - 1) {
      lVar1 = (ulonglong)*param_2 * (ulonglong)uVar7 + (ulonglong)uVar8;
      uVar9 = (uint)lVar1;
      uVar10 = (uint)((ulonglong)lVar1 >> 0x20);
      uVar3 = param_2[1];
      uVar4 = (uint)((ulonglong)uVar3 * (ulonglong)uVar7);
      uVar8 = *puVar13;
      *puVar13 = *puVar13 + uVar9;
      uVar8 = (uint)CARRY4(uVar8,uVar9);
      uVar9 = uVar10 + uVar4;
      uVar11 = uVar9 + uVar8;
      uVar10 = (int)((ulonglong)uVar3 * (ulonglong)uVar7 >> 0x20) +
               (uint)(CARRY4(uVar10,uVar4) || CARRY4(uVar9,uVar8));
      uVar3 = param_2[2];
      uVar4 = (uint)((ulonglong)uVar3 * (ulonglong)uVar7);
      puVar2 = puVar13 + 1;
      uVar8 = *puVar2;
      *puVar2 = *puVar2 + uVar11;
      uVar8 = (uint)CARRY4(uVar8,uVar11);
      uVar9 = uVar10 + uVar4;
      uVar11 = uVar9 + uVar8;
      uVar12 = (int)((ulonglong)uVar3 * (ulonglong)uVar7 >> 0x20) +
               (uint)(CARRY4(uVar10,uVar4) || CARRY4(uVar9,uVar8));
      uVar3 = param_2[3];
      uVar10 = (uint)((ulonglong)uVar3 * (ulonglong)uVar7);
      puVar2 = puVar13 + 2;
      uVar8 = *puVar2;
      *puVar2 = *puVar2 + uVar11;
      uVar9 = (uint)CARRY4(uVar8,uVar11);
      uVar4 = uVar12 + uVar10;
      uVar11 = uVar4 + uVar9;
      puVar2 = puVar13 + 3;
      uVar8 = *puVar2;
      *puVar2 = *puVar2 + uVar11;
      uVar8 = (int)((ulonglong)uVar3 * (ulonglong)uVar7 >> 0x20) +
              (uint)(CARRY4(uVar12,uVar10) || CARRY4(uVar4,uVar9)) + (uint)CARRY4(uVar8,uVar11);
      param_2 = param_2 + 4;
      puVar13 = puVar13 + 4;
    }
    *puVar13 = uVar8;
    puVar13 = puVar13 + (1 - param_3);
    param_2 = param_2 + -param_3;
  }
  return;
}


SUB ESP,0x8
PUSH ESI
PUSH EBP
PUSH EDI
MOV ESI,dword ptr [ESP + 0x1c]
MOV EDI,dword ptr [ESP + 0x18]
MOV EBP,dword ptr [ESP + 0x24]
MOV EAX,dword ptr [ESI]
MUL dword ptr [EBP]
MOV dword ptr [EDI],EAX
MOV ECX,dword ptr [ESP + 0x20]
DEC ECX
JZ 0x00037b95
PUSH EBX
MOV EBX,EDX
LEA ESI,[ESI + 0x4]
LEA EDI,[EDI + 0x4]
MOV EAX,dword ptr [ESI]
LEA ESI,[ESI + 0x4]
MUL dword ptr [EBP]
ADD EAX,EBX
MOV EBX,EDX
ADC EBX,0x0
MOV dword ptr [EDI],EAX
LEA EDI,[EDI + 0x4]
DEC ECX
JNZ 0x00037a9d
MOV dword ptr [EDI],EBX
ADD EDI,0x4
MOV EAX,dword ptr [ESP + 0x24]
SHL EAX,0x2
SUB EDI,EAX
SUB ESI,EAX
MOV EAX,dword ptr [ESP + 0x2c]
DEC EAX
JZ 0x00037b8d
MOV dword ptr [ESP + 0x10],EAX
MOV EBP,dword ptr [ESP + 0x28]
ADD EBP,0x4
MOV dword ptr [ESP + 0x28],EBP
MOV EAX,dword ptr [EBP]
MOV dword ptr [ESP + 0x14],EAX
MOV ECX,dword ptr [ESP + 0x24]
XOR EBX,EBX
AND ECX,0x3
JZ 0x00037b0c
MOV EAX,dword ptr [ESI]
MUL dword ptr [ESP + 0x14]
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 0x00037af0
MOV ECX,dword ptr [ESP + 0x24]
SHR ECX,0x2
JZ 0x00037b6e
LEA ESI,[ESI]
MOV EAX,dword ptr [ESI]
MUL dword ptr [ESP + 0x14]
ADD EBX,EAX
MOV EBP,0x0
ADC EBP,EDX
MOV EAX,dword ptr [ESI + 0x4]
MUL dword ptr [ESP + 0x14]
ADD dword ptr [EDI],EBX
ADC EBP,EAX
MOV EBX,0x0
ADC EBX,EDX
MOV EAX,dword ptr [ESI + 0x8]
MUL dword ptr [ESP + 0x14]
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 + 0x14]
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 0x00037b18
MOV dword ptr [EDI],EBX
ADD EDI,0x4
MOV EAX,dword ptr [ESP + 0x24]
SHL EAX,0x2
SUB EDI,EAX
SUB ESI,EAX
MOV EAX,dword ptr [ESP + 0x10]
DEC EAX
MOV dword ptr [ESP + 0x10],EAX
JNZ 0x00037ad3
POP EBX
POP EDI
POP EBP
POP ESI
ADD ESP,0x8
RET
MOV dword ptr [EDI + 0x4],EDX
POP EDI
POP EBP
POP ESI
ADD ESP,0x8
RET
(translation_unit "void __gmpn_mul_basecase_x86\n               (undefined4 *param_1,uint *param_2,uint param_3,uint *param_4,int param_5)\n\n{\n  longlong lVar1;\n  uint *puVar2;\n  uint uVar3;\n  uint uVar4;\n  int iVar5;\n  uint uVar6;\n  uint uVar7;\n  uint uVar8;\n  uint uVar9;\n  uint uVar10;\n  uint uVar11;\n  uint uVar12;\n  uint *puVar13;\n  \n  uVar7 = (uint)((ulonglong)*param_2 * (ulonglong)*param_4 >> 0x20);\n  *param_1 = (int)((ulonglong)*param_2 * (ulonglong)*param_4);\n  iVar5 = param_3 - 1;\n  if (iVar5 == 0) {\n    param_1[1] = uVar7;\n    return;\n  }\n  param_2 = param_2 + 1;\n  puVar2 = param_1 + 1;\n  do {\n    puVar13 = puVar2;\n    uVar8 = *param_2;\n    param_2 = param_2 + 1;\n    lVar1 = (ulonglong)uVar8 * (ulonglong)*param_4 + (ulonglong)uVar7;\n    uVar7 = (uint)((ulonglong)lVar1 >> 0x20);\n    *puVar13 = (uint)lVar1;\n    iVar5 = iVar5 + -1;\n    puVar2 = puVar13 + 1;\n  } while (iVar5 != 0);\n  puVar13[1] = uVar7;\n  puVar13 = puVar13 + (2 - param_3);\n  param_2 = param_2 + -param_3;\n  for (param_5 = param_5 + -1; param_5 != 0; param_5 = param_5 + -1) {\n    param_4 = param_4 + 1;\n    uVar7 = *param_4;\n    uVar8 = 0;\n    for (uVar6 = param_3 & 3; uVar6 != 0; uVar6 = uVar6 - 1) {\n      uVar3 = *param_2;\n      param_2 = param_2 + 1;\n      lVar1 = (ulonglong)uVar3 * (ulonglong)uVar7 + (ulonglong)uVar8;\n      uVar3 = (uint)lVar1;\n      uVar8 = *puVar13;\n      *puVar13 = *puVar13 + uVar3;\n      uVar8 = (int)((ulonglong)lVar1 >> 0x20) + (uint)CARRY4(uVar8,uVar3);\n      puVar13 = puVar13 + 1;\n    }\n    for (uVar6 = param_3 >> 2; uVar6 != 0; uVar6 = uVar6 - 1) {\n      lVar1 = (ulonglong)*param_2 * (ulonglong)uVar7 + (ulonglong)uVar8;\n      uVar9 = (uint)lVar1;\n      uVar10 = (uint)((ulonglong)lVar1 >> 0x20);\n      uVar3 = param_2[1];\n      uVar4 = (uint)((ulonglong)uVar3 * (ulonglong)uVar7);\n      uVar8 = *puVar13;\n      *puVar13 = *puVar13 + uVar9;\n      uVar8 = (uint)CARRY4(uVar8,uVar9);\n      uVar9 = uVar10 + uVar4;\n      uVar11 = uVar9 + uVar8;\n      uVar10 = (int)((ulonglong)uVar3 * (ulonglong)uVar7 >> 0x20) +\n               (uint)(CARRY4(uVar10,uVar4) || CARRY4(uVar9,uVar8));\n      uVar3 = param_2[2];\n      uVar4 = (uint)((ulonglong)uVar3 * (ulonglong)uVar7);\n      puVar2 = puVar13 + 1;\n      uVar8 = *puVar2;\n      *puVar2 = *puVar2 + uVar11;\n      uVar8 = (uint)CARRY4(uVar8,uVar11);\n      uVar9 = uVar10 + uVar4;\n      uVar11 = uVar9 + uVar8;\n      uVar12 = (int)((ulonglong)uVar3 * (ulonglong)uVar7 >> 0x20) +\n               (uint)(CARRY4(uVar10,uVar4) || CARRY4(uVar9,uVar8));\n      uVar3 = param_2[3];\n      uVar10 = (uint)((ulonglong)uVar3 * (ulonglong)uVar7);\n      puVar2 = puVar13 + 2;\n      uVar8 = *puVar2;\n      *puVar2 = *puVar2 + uVar11;\n      uVar9 = (uint)CARRY4(uVar8,uVar11);\n      uVar4 = uVar12 + uVar10;\n      uVar11 = uVar4 + uVar9;\n      puVar2 = puVar13 + 3;\n      uVar8 = *puVar2;\n      *puVar2 = *puVar2 + uVar11;\n      uVar8 = (int)((ulonglong)uVar3 * (ulonglong)uVar7 >> 0x20) +\n              (uint)(CARRY4(uVar12,uVar10) || CARRY4(uVar4,uVar9)) + (uint)CARRY4(uVar8,uVar11);\n      param_2 = param_2 + 4;\n      puVar13 = puVar13 + 4;\n    }\n    *puVar13 = uVar8;\n    puVar13 = puVar13 + (1 - param_3);\n    param_2 = param_2 + -param_3;\n  }\n  return;\n}\n\n" (function_definition "void __gmpn_mul_basecase_x86\n               (undefined4 *param_1,uint *param_2,uint param_3,uint *param_4,int param_5)\n\n{\n  longlong lVar1;\n  uint *puVar2;\n  uint uVar3;\n  uint uVar4;\n  int iVar5;\n  uint uVar6;\n  uint uVar7;\n  uint uVar8;\n  uint uVar9;\n  uint uVar10;\n  uint uVar11;\n  uint uVar12;\n  uint *puVar13;\n  \n  uVar7 = (uint)((ulonglong)*param_2 * (ulonglong)*param_4 >> 0x20);\n  *param_1 = (int)((ulonglong)*param_2 * (ulonglong)*param_4);\n  iVar5 = param_3 - 1;\n  if (iVar5 == 0) {\n    param_1[1] = uVar7;\n    return;\n  }\n  param_2 = param_2 + 1;\n  puVar2 = param_1 + 1;\n  do {\n    puVar13 = puVar2;\n    uVar8 = *param_2;\n    param_2 = param_2 + 1;\n    lVar1 = (ulonglong)uVar8 * (ulonglong)*param_4 + (ulonglong)uVar7;\n    uVar7 = (uint)((ulonglong)lVar1 >> 0x20);\n    *puVar13 = (uint)lVar1;\n    iVar5 = iVar5 + -1;\n    puVar2 = puVar13 + 1;\n  } while (iVar5 != 0);\n  puVar13[1] = uVar7;\n  puVar13 = puVar13 + (2 - param_3);\n  param_2 = param_2 + -param_3;\n  for (param_5 = param_5 + -1; param_5 != 0; param_5 = param_5 + -1) {\n    param_4 = param_4 + 1;\n    uVar7 = *param_4;\n    uVar8 = 0;\n    for (uVar6 = param_3 & 3; uVar6 != 0; uVar6 = uVar6 - 1) {\n      uVar3 = *param_2;\n      param_2 = param_2 + 1;\n      lVar1 = (ulonglong)uVar3 * (ulonglong)uVar7 + (ulonglong)uVar8;\n      uVar3 = (uint)lVar1;\n      uVar8 = *puVar13;\n      *puVar13 = *puVar13 + uVar3;\n      uVar8 = (int)((ulonglong)lVar1 >> 0x20) + (uint)CARRY4(uVar8,uVar3);\n      puVar13 = puVar13 + 1;\n    }\n    for (uVar6 = param_3 >> 2; uVar6 != 0; uVar6 = uVar6 - 1) {\n      lVar1 = (ulonglong)*param_2 * (ulonglong)uVar7 + (ulonglong)uVar8;\n      uVar9 = (uint)lVar1;\n      uVar10 = (uint)((ulonglong)lVar1 >> 0x20);\n      uVar3 = param_2[1];\n      uVar4 = (uint)((ulonglong)uVar3 * (ulonglong)uVar7);\n      uVar8 = *puVar13;\n      *puVar13 = *puVar13 + uVar9;\n      uVar8 = (uint)CARRY4(uVar8,uVar9);\n      uVar9 = uVar10 + uVar4;\n      uVar11 = uVar9 + uVar8;\n      uVar10 = (int)((ulonglong)uVar3 * (ulonglong)uVar7 >> 0x20) +\n               (uint)(CARRY4(uVar10,uVar4) || CARRY4(uVar9,uVar8));\n      uVar3 = param_2[2];\n      uVar4 = (uint)((ulonglong)uVar3 * (ulonglong)uVar7);\n      puVar2 = puVar13 + 1;\n      uVar8 = *puVar2;\n      *puVar2 = *puVar2 + uVar11;\n      uVar8 = (uint)CARRY4(uVar8,uVar11);\n      uVar9 = uVar10 + uVar4;\n      uVar11 = uVar9 + uVar8;\n      uVar12 = (int)((ulonglong)uVar3 * (ulonglong)uVar7 >> 0x20) +\n               (uint)(CARRY4(uVar10,uVar4) || CARRY4(uVar9,uVar8));\n      uVar3 = param_2[3];\n      uVar10 = (uint)((ulonglong)uVar3 * (ulonglong)uVar7);\n      puVar2 = puVar13 + 2;\n      uVar8 = *puVar2;\n      *puVar2 = *puVar2 + uVar11;\n      uVar9 = (uint)CARRY4(uVar8,uVar11);\n      uVar4 = uVar12 + uVar10;\n      uVar11 = uVar4 + uVar9;\n      puVar2 = puVar13 + 3;\n      uVar8 = *puVar2;\n      *puVar2 = *puVar2 + uVar11;\n      uVar8 = (int)((ulonglong)uVar3 * (ulonglong)uVar7 >> 0x20) +\n              (uint)(CARRY4(uVar12,uVar10) || CARRY4(uVar4,uVar9)) + (uint)CARRY4(uVar8,uVar11);\n      param_2 = param_2 + 4;\n      puVar13 = puVar13 + 4;\n    }\n    *puVar13 = uVar8;\n    puVar13 = puVar13 + (1 - param_3);\n    param_2 = param_2 + -param_3;\n  }\n  return;\n}" primitive_type (function_declarator "__gmpn_mul_basecase_x86\n               (undefined4 *param_1,uint *param_2,uint param_3,uint *param_4,int param_5)" identifier (parameter_list "(undefined4 *param_1,uint *param_2,uint param_3,uint *param_4,int param_5)" ( (parameter_declaration "undefined4 *param_1" type_identifier (pointer_declarator "*param_1" * identifier)) , (parameter_declaration "uint *param_2" type_identifier (pointer_declarator "*param_2" * identifier)) , (parameter_declaration "uint param_3" type_identifier identifier) , (parameter_declaration "uint *param_4" type_identifier (pointer_declarator "*param_4" * identifier)) , (parameter_declaration "int param_5" primitive_type identifier) ))) (compound_statement "{\n  longlong lVar1;\n  uint *puVar2;\n  uint uVar3;\n  uint uVar4;\n  int iVar5;\n  uint uVar6;\n  uint uVar7;\n  uint uVar8;\n  uint uVar9;\n  uint uVar10;\n  uint uVar11;\n  uint uVar12;\n  uint *puVar13;\n  \n  uVar7 = (uint)((ulonglong)*param_2 * (ulonglong)*param_4 >> 0x20);\n  *param_1 = (int)((ulonglong)*param_2 * (ulonglong)*param_4);\n  iVar5 = param_3 - 1;\n  if (iVar5 == 0) {\n    param_1[1] = uVar7;\n    return;\n  }\n  param_2 = param_2 + 1;\n  puVar2 = param_1 + 1;\n  do {\n    puVar13 = puVar2;\n    uVar8 = *param_2;\n    param_2 = param_2 + 1;\n    lVar1 = (ulonglong)uVar8 * (ulonglong)*param_4 + (ulonglong)uVar7;\n    uVar7 = (uint)((ulonglong)lVar1 >> 0x20);\n    *puVar13 = (uint)lVar1;\n    iVar5 = iVar5 + -1;\n    puVar2 = puVar13 + 1;\n  } while (iVar5 != 0);\n  puVar13[1] = uVar7;\n  puVar13 = puVar13 + (2 - param_3);\n  param_2 = param_2 + -param_3;\n  for (param_5 = param_5 + -1; param_5 != 0; param_5 = param_5 + -1) {\n    param_4 = param_4 + 1;\n    uVar7 = *param_4;\n    uVar8 = 0;\n    for (uVar6 = param_3 & 3; uVar6 != 0; uVar6 = uVar6 - 1) {\n      uVar3 = *param_2;\n      param_2 = param_2 + 1;\n      lVar1 = (ulonglong)uVar3 * (ulonglong)uVar7 + (ulonglong)uVar8;\n      uVar3 = (uint)lVar1;\n      uVar8 = *puVar13;\n      *puVar13 = *puVar13 + uVar3;\n      uVar8 = (int)((ulonglong)lVar1 >> 0x20) + (uint)CARRY4(uVar8,uVar3);\n      puVar13 = puVar13 + 1;\n    }\n    for (uVar6 = param_3 >> 2; uVar6 != 0; uVar6 = uVar6 - 1) {\n      lVar1 = (ulonglong)*param_2 * (ulonglong)uVar7 + (ulonglong)uVar8;\n      uVar9 = (uint)lVar1;\n      uVar10 = (uint)((ulonglong)lVar1 >> 0x20);\n      uVar3 = param_2[1];\n      uVar4 = (uint)((ulonglong)uVar3 * (ulonglong)uVar7);\n      uVar8 = *puVar13;\n      *puVar13 = *puVar13 + uVar9;\n      uVar8 = (uint)CARRY4(uVar8,uVar9);\n      uVar9 = uVar10 + uVar4;\n      uVar11 = uVar9 + uVar8;\n      uVar10 = (int)((ulonglong)uVar3 * (ulonglong)uVar7 >> 0x20) +\n               (uint)(CARRY4(uVar10,uVar4) || CARRY4(uVar9,uVar8));\n      uVar3 = param_2[2];\n      uVar4 = (uint)((ulonglong)uVar3 * (ulonglong)uVar7);\n      puVar2 = puVar13 + 1;\n      uVar8 = *puVar2;\n      *puVar2 = *puVar2 + uVar11;\n      uVar8 = (uint)CARRY4(uVar8,uVar11);\n      uVar9 = uVar10 + uVar4;\n      uVar11 = uVar9 + uVar8;\n      uVar12 = (int)((ulonglong)uVar3 * (ulonglong)uVar7 >> 0x20) +\n               (uint)(CARRY4(uVar10,uVar4) || CARRY4(uVar9,uVar8));\n      uVar3 = param_2[3];\n      uVar10 = (uint)((ulonglong)uVar3 * (ulonglong)uVar7);\n      puVar2 = puVar13 + 2;\n      uVar8 = *puVar2;\n      *puVar2 = *puVar2 + uVar11;\n      uVar9 = (uint)CARRY4(uVar8,uVar11);\n      uVar4 = uVar12 + uVar10;\n      uVar11 = uVar4 + uVar9;\n      puVar2 = puVar13 + 3;\n      uVar8 = *puVar2;\n      *puVar2 = *puVar2 + uVar11;\n      uVar8 = (int)((ulonglong)uVar3 * (ulonglong)uVar7 >> 0x20) +\n              (uint)(CARRY4(uVar12,uVar10) || CARRY4(uVar4,uVar9)) + (uint)CARRY4(uVar8,uVar11);\n      param_2 = param_2 + 4;\n      puVar13 = puVar13 + 4;\n    }\n    *puVar13 = uVar8;\n    puVar13 = puVar13 + (1 - param_3);\n    param_2 = param_2 + -param_3;\n  }\n  return;\n}" { (declaration "longlong lVar1;" type_identifier identifier ;) (declaration "uint *puVar2;" type_identifier (pointer_declarator "*puVar2" * identifier) ;) (declaration "uint uVar3;" type_identifier identifier ;) (declaration "uint uVar4;" type_identifier identifier ;) (declaration "int iVar5;" primitive_type 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 ;) (declaration "uint uVar10;" type_identifier identifier ;) (declaration "uint uVar11;" type_identifier identifier ;) (declaration "uint uVar12;" type_identifier identifier ;) (declaration "uint *puVar13;" type_identifier (pointer_declarator "*puVar13" * identifier) ;) (expression_statement "uVar7 = (uint)((ulonglong)*param_2 * (ulonglong)*param_4 >> 0x20);" (assignment_expression "uVar7 = (uint)((ulonglong)*param_2 * (ulonglong)*param_4 >> 0x20)" identifier = (call_expression "(uint)((ulonglong)*param_2 * (ulonglong)*param_4 >> 0x20)" (parenthesized_expression "(uint)" ( identifier )) (argument_list "((ulonglong)*param_2 * (ulonglong)*param_4 >> 0x20)" ( (binary_expression "(ulonglong)*param_2 * (ulonglong)*param_4 >> 0x20" (binary_expression "(ulonglong)*param_2 * (ulonglong)*param_4" (binary_expression "(ulonglong)*param_2 * (ulonglong)" (binary_expression "(ulonglong)*param_2" (parenthesized_expression "(ulonglong)" ( identifier )) * identifier) * (parenthesized_expression "(ulonglong)" ( identifier ))) * identifier) >> number_literal) )))) ;) (expression_statement "*param_1 = (int)((ulonglong)*param_2 * (ulonglong)*param_4);" (assignment_expression "*param_1 = (int)((ulonglong)*param_2 * (ulonglong)*param_4)" (pointer_expression "*param_1" * identifier) = (cast_expression "(int)((ulonglong)*param_2 * (ulonglong)*param_4)" ( (type_descriptor "int" primitive_type) ) (parenthesized_expression "((ulonglong)*param_2 * (ulonglong)*param_4)" ( (binary_expression "(ulonglong)*param_2 * (ulonglong)*param_4" (binary_expression "(ulonglong)*param_2 * (ulonglong)" (binary_expression "(ulonglong)*param_2" (parenthesized_expression "(ulonglong)" ( identifier )) * identifier) * (parenthesized_expression "(ulonglong)" ( identifier ))) * identifier) )))) ;) (expression_statement "iVar5 = param_3 - 1;" (assignment_expression "iVar5 = param_3 - 1" identifier = (binary_expression "param_3 - 1" identifier - number_literal)) ;) (if_statement "if (iVar5 == 0) {\n    param_1[1] = uVar7;\n    return;\n  }" if (parenthesized_expression "(iVar5 == 0)" ( (binary_expression "iVar5 == 0" identifier == number_literal) )) (compound_statement "{\n    param_1[1] = uVar7;\n    return;\n  }" { (expression_statement "param_1[1] = uVar7;" (assignment_expression "param_1[1] = uVar7" (subscript_expression "param_1[1]" identifier [ number_literal ]) = identifier) ;) (return_statement "return;" return ;) })) (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 "puVar2 = param_1 + 1;" (assignment_expression "puVar2 = param_1 + 1" identifier = (binary_expression "param_1 + 1" identifier + number_literal)) ;) (do_statement "do {\n    puVar13 = puVar2;\n    uVar8 = *param_2;\n    param_2 = param_2 + 1;\n    lVar1 = (ulonglong)uVar8 * (ulonglong)*param_4 + (ulonglong)uVar7;\n    uVar7 = (uint)((ulonglong)lVar1 >> 0x20);\n    *puVar13 = (uint)lVar1;\n    iVar5 = iVar5 + -1;\n    puVar2 = puVar13 + 1;\n  } while (iVar5 != 0);" do (compound_statement "{\n    puVar13 = puVar2;\n    uVar8 = *param_2;\n    param_2 = param_2 + 1;\n    lVar1 = (ulonglong)uVar8 * (ulonglong)*param_4 + (ulonglong)uVar7;\n    uVar7 = (uint)((ulonglong)lVar1 >> 0x20);\n    *puVar13 = (uint)lVar1;\n    iVar5 = iVar5 + -1;\n    puVar2 = puVar13 + 1;\n  }" { (expression_statement "puVar13 = puVar2;" (assignment_expression "puVar13 = puVar2" identifier = identifier) ;) (expression_statement "uVar8 = *param_2;" (assignment_expression "uVar8 = *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 "lVar1 = (ulonglong)uVar8 * (ulonglong)*param_4 + (ulonglong)uVar7;" (assignment_expression "lVar1 = (ulonglong)uVar8 * (ulonglong)*param_4 + (ulonglong)uVar7" identifier = (binary_expression "(ulonglong)uVar8 * (ulonglong)*param_4 + (ulonglong)uVar7" (binary_expression "(ulonglong)uVar8 * (ulonglong)*param_4" (binary_expression "(ulonglong)uVar8 * (ulonglong)" (cast_expression "(ulonglong)uVar8" ( (type_descriptor "ulonglong" type_identifier) ) identifier) * (parenthesized_expression "(ulonglong)" ( identifier ))) * identifier) + (cast_expression "(ulonglong)uVar7" ( (type_descriptor "ulonglong" type_identifier) ) identifier))) ;) (expression_statement "uVar7 = (uint)((ulonglong)lVar1 >> 0x20);" (assignment_expression "uVar7 = (uint)((ulonglong)lVar1 >> 0x20)" identifier = (call_expression "(uint)((ulonglong)lVar1 >> 0x20)" (parenthesized_expression "(uint)" ( identifier )) (argument_list "((ulonglong)lVar1 >> 0x20)" ( (binary_expression "(ulonglong)lVar1 >> 0x20" (cast_expression "(ulonglong)lVar1" ( (type_descriptor "ulonglong" type_identifier) ) identifier) >> number_literal) )))) ;) (expression_statement "*puVar13 = (uint)lVar1;" (assignment_expression "*puVar13 = (uint)lVar1" (pointer_expression "*puVar13" * identifier) = (cast_expression "(uint)lVar1" ( (type_descriptor "uint" type_identifier) ) identifier)) ;) (expression_statement "iVar5 = iVar5 + -1;" (assignment_expression "iVar5 = iVar5 + -1" identifier = (binary_expression "iVar5 + -1" identifier + number_literal)) ;) (expression_statement "puVar2 = puVar13 + 1;" (assignment_expression "puVar2 = puVar13 + 1" identifier = (binary_expression "puVar13 + 1" identifier + number_literal)) ;) }) while (parenthesized_expression "(iVar5 != 0)" ( (binary_expression "iVar5 != 0" identifier != number_literal) )) ;) (expression_statement "puVar13[1] = uVar7;" (assignment_expression "puVar13[1] = uVar7" (subscript_expression "puVar13[1]" identifier [ number_literal ]) = identifier) ;) (expression_statement "puVar13 = puVar13 + (2 - param_3);" (assignment_expression "puVar13 = puVar13 + (2 - param_3)" identifier = (binary_expression "puVar13 + (2 - param_3)" identifier + (parenthesized_expression "(2 - param_3)" ( (binary_expression "2 - param_3" number_literal - identifier) )))) ;) (expression_statement "param_2 = param_2 + -param_3;" (assignment_expression "param_2 = param_2 + -param_3" identifier = (binary_expression "param_2 + -param_3" identifier + (unary_expression "-param_3" - identifier))) ;) (for_statement "for (param_5 = param_5 + -1; param_5 != 0; param_5 = param_5 + -1) {\n    param_4 = param_4 + 1;\n    uVar7 = *param_4;\n    uVar8 = 0;\n    for (uVar6 = param_3 & 3; uVar6 != 0; uVar6 = uVar6 - 1) {\n      uVar3 = *param_2;\n      param_2 = param_2 + 1;\n      lVar1 = (ulonglong)uVar3 * (ulonglong)uVar7 + (ulonglong)uVar8;\n      uVar3 = (uint)lVar1;\n      uVar8 = *puVar13;\n      *puVar13 = *puVar13 + uVar3;\n      uVar8 = (int)((ulonglong)lVar1 >> 0x20) + (uint)CARRY4(uVar8,uVar3);\n      puVar13 = puVar13 + 1;\n    }\n    for (uVar6 = param_3 >> 2; uVar6 != 0; uVar6 = uVar6 - 1) {\n      lVar1 = (ulonglong)*param_2 * (ulonglong)uVar7 + (ulonglong)uVar8;\n      uVar9 = (uint)lVar1;\n      uVar10 = (uint)((ulonglong)lVar1 >> 0x20);\n      uVar3 = param_2[1];\n      uVar4 = (uint)((ulonglong)uVar3 * (ulonglong)uVar7);\n      uVar8 = *puVar13;\n      *puVar13 = *puVar13 + uVar9;\n      uVar8 = (uint)CARRY4(uVar8,uVar9);\n      uVar9 = uVar10 + uVar4;\n      uVar11 = uVar9 + uVar8;\n      uVar10 = (int)((ulonglong)uVar3 * (ulonglong)uVar7 >> 0x20) +\n               (uint)(CARRY4(uVar10,uVar4) || CARRY4(uVar9,uVar8));\n      uVar3 = param_2[2];\n      uVar4 = (uint)((ulonglong)uVar3 * (ulonglong)uVar7);\n      puVar2 = puVar13 + 1;\n      uVar8 = *puVar2;\n      *puVar2 = *puVar2 + uVar11;\n      uVar8 = (uint)CARRY4(uVar8,uVar11);\n      uVar9 = uVar10 + uVar4;\n      uVar11 = uVar9 + uVar8;\n      uVar12 = (int)((ulonglong)uVar3 * (ulonglong)uVar7 >> 0x20) +\n               (uint)(CARRY4(uVar10,uVar4) || CARRY4(uVar9,uVar8));\n      uVar3 = param_2[3];\n      uVar10 = (uint)((ulonglong)uVar3 * (ulonglong)uVar7);\n      puVar2 = puVar13 + 2;\n      uVar8 = *puVar2;\n      *puVar2 = *puVar2 + uVar11;\n      uVar9 = (uint)CARRY4(uVar8,uVar11);\n      uVar4 = uVar12 + uVar10;\n      uVar11 = uVar4 + uVar9;\n      puVar2 = puVar13 + 3;\n      uVar8 = *puVar2;\n      *puVar2 = *puVar2 + uVar11;\n      uVar8 = (int)((ulonglong)uVar3 * (ulonglong)uVar7 >> 0x20) +\n              (uint)(CARRY4(uVar12,uVar10) || CARRY4(uVar4,uVar9)) + (uint)CARRY4(uVar8,uVar11);\n      param_2 = param_2 + 4;\n      puVar13 = puVar13 + 4;\n    }\n    *puVar13 = uVar8;\n    puVar13 = puVar13 + (1 - param_3);\n    param_2 = param_2 + -param_3;\n  }" for ( (assignment_expression "param_5 = param_5 + -1" identifier = (binary_expression "param_5 + -1" identifier + number_literal)) ; (binary_expression "param_5 != 0" identifier != number_literal) ; (assignment_expression "param_5 = param_5 + -1" identifier = (binary_expression "param_5 + -1" identifier + number_literal)) ) (compound_statement "{\n    param_4 = param_4 + 1;\n    uVar7 = *param_4;\n    uVar8 = 0;\n    for (uVar6 = param_3 & 3; uVar6 != 0; uVar6 = uVar6 - 1) {\n      uVar3 = *param_2;\n      param_2 = param_2 + 1;\n      lVar1 = (ulonglong)uVar3 * (ulonglong)uVar7 + (ulonglong)uVar8;\n      uVar3 = (uint)lVar1;\n      uVar8 = *puVar13;\n      *puVar13 = *puVar13 + uVar3;\n      uVar8 = (int)((ulonglong)lVar1 >> 0x20) + (uint)CARRY4(uVar8,uVar3);\n      puVar13 = puVar13 + 1;\n    }\n    for (uVar6 = param_3 >> 2; uVar6 != 0; uVar6 = uVar6 - 1) {\n      lVar1 = (ulonglong)*param_2 * (ulonglong)uVar7 + (ulonglong)uVar8;\n      uVar9 = (uint)lVar1;\n      uVar10 = (uint)((ulonglong)lVar1 >> 0x20);\n      uVar3 = param_2[1];\n      uVar4 = (uint)((ulonglong)uVar3 * (ulonglong)uVar7);\n      uVar8 = *puVar13;\n      *puVar13 = *puVar13 + uVar9;\n      uVar8 = (uint)CARRY4(uVar8,uVar9);\n      uVar9 = uVar10 + uVar4;\n      uVar11 = uVar9 + uVar8;\n      uVar10 = (int)((ulonglong)uVar3 * (ulonglong)uVar7 >> 0x20) +\n               (uint)(CARRY4(uVar10,uVar4) || CARRY4(uVar9,uVar8));\n      uVar3 = param_2[2];\n      uVar4 = (uint)((ulonglong)uVar3 * (ulonglong)uVar7);\n      puVar2 = puVar13 + 1;\n      uVar8 = *puVar2;\n      *puVar2 = *puVar2 + uVar11;\n      uVar8 = (uint)CARRY4(uVar8,uVar11);\n      uVar9 = uVar10 + uVar4;\n      uVar11 = uVar9 + uVar8;\n      uVar12 = (int)((ulonglong)uVar3 * (ulonglong)uVar7 >> 0x20) +\n               (uint)(CARRY4(uVar10,uVar4) || CARRY4(uVar9,uVar8));\n      uVar3 = param_2[3];\n      uVar10 = (uint)((ulonglong)uVar3 * (ulonglong)uVar7);\n      puVar2 = puVar13 + 2;\n      uVar8 = *puVar2;\n      *puVar2 = *puVar2 + uVar11;\n      uVar9 = (uint)CARRY4(uVar8,uVar11);\n      uVar4 = uVar12 + uVar10;\n      uVar11 = uVar4 + uVar9;\n      puVar2 = puVar13 + 3;\n      uVar8 = *puVar2;\n      *puVar2 = *puVar2 + uVar11;\n      uVar8 = (int)((ulonglong)uVar3 * (ulonglong)uVar7 >> 0x20) +\n              (uint)(CARRY4(uVar12,uVar10) || CARRY4(uVar4,uVar9)) + (uint)CARRY4(uVar8,uVar11);\n      param_2 = param_2 + 4;\n      puVar13 = puVar13 + 4;\n    }\n    *puVar13 = uVar8;\n    puVar13 = puVar13 + (1 - param_3);\n    param_2 = param_2 + -param_3;\n  }" { (expression_statement "param_4 = param_4 + 1;" (assignment_expression "param_4 = param_4 + 1" identifier = (binary_expression "param_4 + 1" identifier + number_literal)) ;) (expression_statement "uVar7 = *param_4;" (assignment_expression "uVar7 = *param_4" identifier = (pointer_expression "*param_4" * identifier)) ;) (expression_statement "uVar8 = 0;" (assignment_expression "uVar8 = 0" identifier = number_literal) ;) (for_statement "for (uVar6 = param_3 & 3; uVar6 != 0; uVar6 = uVar6 - 1) {\n      uVar3 = *param_2;\n      param_2 = param_2 + 1;\n      lVar1 = (ulonglong)uVar3 * (ulonglong)uVar7 + (ulonglong)uVar8;\n      uVar3 = (uint)lVar1;\n      uVar8 = *puVar13;\n      *puVar13 = *puVar13 + uVar3;\n      uVar8 = (int)((ulonglong)lVar1 >> 0x20) + (uint)CARRY4(uVar8,uVar3);\n      puVar13 = puVar13 + 1;\n    }" for ( (assignment_expression "uVar6 = param_3 & 3" identifier = (binary_expression "param_3 & 3" identifier & number_literal)) ; (binary_expression "uVar6 != 0" identifier != number_literal) ; (assignment_expression "uVar6 = uVar6 - 1" identifier = (binary_expression "uVar6 - 1" identifier - number_literal)) ) (compound_statement "{\n      uVar3 = *param_2;\n      param_2 = param_2 + 1;\n      lVar1 = (ulonglong)uVar3 * (ulonglong)uVar7 + (ulonglong)uVar8;\n      uVar3 = (uint)lVar1;\n      uVar8 = *puVar13;\n      *puVar13 = *puVar13 + uVar3;\n      uVar8 = (int)((ulonglong)lVar1 >> 0x20) + (uint)CARRY4(uVar8,uVar3);\n      puVar13 = puVar13 + 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 "lVar1 = (ulonglong)uVar3 * (ulonglong)uVar7 + (ulonglong)uVar8;" (assignment_expression "lVar1 = (ulonglong)uVar3 * (ulonglong)uVar7 + (ulonglong)uVar8" identifier = (binary_expression "(ulonglong)uVar3 * (ulonglong)uVar7 + (ulonglong)uVar8" (binary_expression "(ulonglong)uVar3 * (ulonglong)uVar7" (cast_expression "(ulonglong)uVar3" ( (type_descriptor "ulonglong" type_identifier) ) identifier) * (cast_expression "(ulonglong)uVar7" ( (type_descriptor "ulonglong" type_identifier) ) identifier)) + (cast_expression "(ulonglong)uVar8" ( (type_descriptor "ulonglong" type_identifier) ) identifier))) ;) (expression_statement "uVar3 = (uint)lVar1;" (assignment_expression "uVar3 = (uint)lVar1" identifier = (cast_expression "(uint)lVar1" ( (type_descriptor "uint" type_identifier) ) identifier)) ;) (expression_statement "uVar8 = *puVar13;" (assignment_expression "uVar8 = *puVar13" identifier = (pointer_expression "*puVar13" * identifier)) ;) (expression_statement "*puVar13 = *puVar13 + uVar3;" (assignment_expression "*puVar13 = *puVar13 + uVar3" (pointer_expression "*puVar13" * identifier) = (binary_expression "*puVar13 + uVar3" (pointer_expression "*puVar13" * identifier) + identifier)) ;) (expression_statement "uVar8 = (int)((ulonglong)lVar1 >> 0x20) + (uint)CARRY4(uVar8,uVar3);" (assignment_expression "uVar8 = (int)((ulonglong)lVar1 >> 0x20) + (uint)CARRY4(uVar8,uVar3)" identifier = (binary_expression "(int)((ulonglong)lVar1 >> 0x20) + (uint)CARRY4(uVar8,uVar3)" (cast_expression "(int)((ulonglong)lVar1 >> 0x20)" ( (type_descriptor "int" primitive_type) ) (parenthesized_expression "((ulonglong)lVar1 >> 0x20)" ( (binary_expression "(ulonglong)lVar1 >> 0x20" (cast_expression "(ulonglong)lVar1" ( (type_descriptor "ulonglong" type_identifier) ) identifier) >> number_literal) ))) + (cast_expression "(uint)CARRY4(uVar8,uVar3)" ( (type_descriptor "uint" type_identifier) ) (call_expression "CARRY4(uVar8,uVar3)" identifier (argument_list "(uVar8,uVar3)" ( identifier , identifier )))))) ;) (expression_statement "puVar13 = puVar13 + 1;" (assignment_expression "puVar13 = puVar13 + 1" identifier = (binary_expression "puVar13 + 1" identifier + number_literal)) ;) })) (for_statement "for (uVar6 = param_3 >> 2; uVar6 != 0; uVar6 = uVar6 - 1) {\n      lVar1 = (ulonglong)*param_2 * (ulonglong)uVar7 + (ulonglong)uVar8;\n      uVar9 = (uint)lVar1;\n      uVar10 = (uint)((ulonglong)lVar1 >> 0x20);\n      uVar3 = param_2[1];\n      uVar4 = (uint)((ulonglong)uVar3 * (ulonglong)uVar7);\n      uVar8 = *puVar13;\n      *puVar13 = *puVar13 + uVar9;\n      uVar8 = (uint)CARRY4(uVar8,uVar9);\n      uVar9 = uVar10 + uVar4;\n      uVar11 = uVar9 + uVar8;\n      uVar10 = (int)((ulonglong)uVar3 * (ulonglong)uVar7 >> 0x20) +\n               (uint)(CARRY4(uVar10,uVar4) || CARRY4(uVar9,uVar8));\n      uVar3 = param_2[2];\n      uVar4 = (uint)((ulonglong)uVar3 * (ulonglong)uVar7);\n      puVar2 = puVar13 + 1;\n      uVar8 = *puVar2;\n      *puVar2 = *puVar2 + uVar11;\n      uVar8 = (uint)CARRY4(uVar8,uVar11);\n      uVar9 = uVar10 + uVar4;\n      uVar11 = uVar9 + uVar8;\n      uVar12 = (int)((ulonglong)uVar3 * (ulonglong)uVar7 >> 0x20) +\n               (uint)(CARRY4(uVar10,uVar4) || CARRY4(uVar9,uVar8));\n      uVar3 = param_2[3];\n      uVar10 = (uint)((ulonglong)uVar3 * (ulonglong)uVar7);\n      puVar2 = puVar13 + 2;\n      uVar8 = *puVar2;\n      *puVar2 = *puVar2 + uVar11;\n      uVar9 = (uint)CARRY4(uVar8,uVar11);\n      uVar4 = uVar12 + uVar10;\n      uVar11 = uVar4 + uVar9;\n      puVar2 = puVar13 + 3;\n      uVar8 = *puVar2;\n      *puVar2 = *puVar2 + uVar11;\n      uVar8 = (int)((ulonglong)uVar3 * (ulonglong)uVar7 >> 0x20) +\n              (uint)(CARRY4(uVar12,uVar10) || CARRY4(uVar4,uVar9)) + (uint)CARRY4(uVar8,uVar11);\n      param_2 = param_2 + 4;\n      puVar13 = puVar13 + 4;\n    }" for ( (assignment_expression "uVar6 = param_3 >> 2" identifier = (binary_expression "param_3 >> 2" identifier >> number_literal)) ; (binary_expression "uVar6 != 0" identifier != number_literal) ; (assignment_expression "uVar6 = uVar6 - 1" identifier = (binary_expression "uVar6 - 1" identifier - number_literal)) ) (compound_statement "{\n      lVar1 = (ulonglong)*param_2 * (ulonglong)uVar7 + (ulonglong)uVar8;\n      uVar9 = (uint)lVar1;\n      uVar10 = (uint)((ulonglong)lVar1 >> 0x20);\n      uVar3 = param_2[1];\n      uVar4 = (uint)((ulonglong)uVar3 * (ulonglong)uVar7);\n      uVar8 = *puVar13;\n      *puVar13 = *puVar13 + uVar9;\n      uVar8 = (uint)CARRY4(uVar8,uVar9);\n      uVar9 = uVar10 + uVar4;\n      uVar11 = uVar9 + uVar8;\n      uVar10 = (int)((ulonglong)uVar3 * (ulonglong)uVar7 >> 0x20) +\n               (uint)(CARRY4(uVar10,uVar4) || CARRY4(uVar9,uVar8));\n      uVar3 = param_2[2];\n      uVar4 = (uint)((ulonglong)uVar3 * (ulonglong)uVar7);\n      puVar2 = puVar13 + 1;\n      uVar8 = *puVar2;\n      *puVar2 = *puVar2 + uVar11;\n      uVar8 = (uint)CARRY4(uVar8,uVar11);\n      uVar9 = uVar10 + uVar4;\n      uVar11 = uVar9 + uVar8;\n      uVar12 = (int)((ulonglong)uVar3 * (ulonglong)uVar7 >> 0x20) +\n               (uint)(CARRY4(uVar10,uVar4) || CARRY4(uVar9,uVar8));\n      uVar3 = param_2[3];\n      uVar10 = (uint)((ulonglong)uVar3 * (ulonglong)uVar7);\n      puVar2 = puVar13 + 2;\n      uVar8 = *puVar2;\n      *puVar2 = *puVar2 + uVar11;\n      uVar9 = (uint)CARRY4(uVar8,uVar11);\n      uVar4 = uVar12 + uVar10;\n      uVar11 = uVar4 + uVar9;\n      puVar2 = puVar13 + 3;\n      uVar8 = *puVar2;\n      *puVar2 = *puVar2 + uVar11;\n      uVar8 = (int)((ulonglong)uVar3 * (ulonglong)uVar7 >> 0x20) +\n              (uint)(CARRY4(uVar12,uVar10) || CARRY4(uVar4,uVar9)) + (uint)CARRY4(uVar8,uVar11);\n      param_2 = param_2 + 4;\n      puVar13 = puVar13 + 4;\n    }" { (expression_statement "lVar1 = (ulonglong)*param_2 * (ulonglong)uVar7 + (ulonglong)uVar8;" (assignment_expression "lVar1 = (ulonglong)*param_2 * (ulonglong)uVar7 + (ulonglong)uVar8" identifier = (binary_expression "(ulonglong)*param_2 * (ulonglong)uVar7 + (ulonglong)uVar8" (binary_expression "(ulonglong)*param_2 * (ulonglong)uVar7" (binary_expression "(ulonglong)*param_2" (parenthesized_expression "(ulonglong)" ( identifier )) * identifier) * (cast_expression "(ulonglong)uVar7" ( (type_descriptor "ulonglong" type_identifier) ) identifier)) + (cast_expression "(ulonglong)uVar8" ( (type_descriptor "ulonglong" type_identifier) ) identifier))) ;) (expression_statement "uVar9 = (uint)lVar1;" (assignment_expression "uVar9 = (uint)lVar1" identifier = (cast_expression "(uint)lVar1" ( (type_descriptor "uint" type_identifier) ) identifier)) ;) (expression_statement "uVar10 = (uint)((ulonglong)lVar1 >> 0x20);" (assignment_expression "uVar10 = (uint)((ulonglong)lVar1 >> 0x20)" identifier = (call_expression "(uint)((ulonglong)lVar1 >> 0x20)" (parenthesized_expression "(uint)" ( identifier )) (argument_list "((ulonglong)lVar1 >> 0x20)" ( (binary_expression "(ulonglong)lVar1 >> 0x20" (cast_expression "(ulonglong)lVar1" ( (type_descriptor "ulonglong" type_identifier) ) identifier) >> number_literal) )))) ;) (expression_statement "uVar3 = param_2[1];" (assignment_expression "uVar3 = param_2[1]" identifier = (subscript_expression "param_2[1]" identifier [ number_literal ])) ;) (expression_statement "uVar4 = (uint)((ulonglong)uVar3 * (ulonglong)uVar7);" (assignment_expression "uVar4 = (uint)((ulonglong)uVar3 * (ulonglong)uVar7)" identifier = (call_expression "(uint)((ulonglong)uVar3 * (ulonglong)uVar7)" (parenthesized_expression "(uint)" ( identifier )) (argument_list "((ulonglong)uVar3 * (ulonglong)uVar7)" ( (binary_expression "(ulonglong)uVar3 * (ulonglong)uVar7" (cast_expression "(ulonglong)uVar3" ( (type_descriptor "ulonglong" type_identifier) ) identifier) * (cast_expression "(ulonglong)uVar7" ( (type_descriptor "ulonglong" type_identifier) ) identifier)) )))) ;) (expression_statement "uVar8 = *puVar13;" (assignment_expression "uVar8 = *puVar13" identifier = (pointer_expression "*puVar13" * identifier)) ;) (expression_statement "*puVar13 = *puVar13 + uVar9;" (assignment_expression "*puVar13 = *puVar13 + uVar9" (pointer_expression "*puVar13" * identifier) = (binary_expression "*puVar13 + uVar9" (pointer_expression "*puVar13" * identifier) + identifier)) ;) (expression_statement "uVar8 = (uint)CARRY4(uVar8,uVar9);" (assignment_expression "uVar8 = (uint)CARRY4(uVar8,uVar9)" identifier = (cast_expression "(uint)CARRY4(uVar8,uVar9)" ( (type_descriptor "uint" type_identifier) ) (call_expression "CARRY4(uVar8,uVar9)" identifier (argument_list "(uVar8,uVar9)" ( identifier , identifier ))))) ;) (expression_statement "uVar9 = uVar10 + uVar4;" (assignment_expression "uVar9 = uVar10 + uVar4" identifier = (binary_expression "uVar10 + uVar4" identifier + identifier)) ;) (expression_statement "uVar11 = uVar9 + uVar8;" (assignment_expression "uVar11 = uVar9 + uVar8" identifier = (binary_expression "uVar9 + uVar8" identifier + identifier)) ;) (expression_statement "uVar10 = (int)((ulonglong)uVar3 * (ulonglong)uVar7 >> 0x20) +\n               (uint)(CARRY4(uVar10,uVar4) || CARRY4(uVar9,uVar8));" (assignment_expression "uVar10 = (int)((ulonglong)uVar3 * (ulonglong)uVar7 >> 0x20) +\n               (uint)(CARRY4(uVar10,uVar4) || CARRY4(uVar9,uVar8))" identifier = (binary_expression "(int)((ulonglong)uVar3 * (ulonglong)uVar7 >> 0x20) +\n               (uint)(CARRY4(uVar10,uVar4) || CARRY4(uVar9,uVar8))" (cast_expression "(int)((ulonglong)uVar3 * (ulonglong)uVar7 >> 0x20)" ( (type_descriptor "int" primitive_type) ) (parenthesized_expression "((ulonglong)uVar3 * (ulonglong)uVar7 >> 0x20)" ( (binary_expression "(ulonglong)uVar3 * (ulonglong)uVar7 >> 0x20" (binary_expression "(ulonglong)uVar3 * (ulonglong)uVar7" (cast_expression "(ulonglong)uVar3" ( (type_descriptor "ulonglong" type_identifier) ) identifier) * (cast_expression "(ulonglong)uVar7" ( (type_descriptor "ulonglong" type_identifier) ) identifier)) >> number_literal) ))) + (call_expression "(uint)(CARRY4(uVar10,uVar4) || CARRY4(uVar9,uVar8))" (parenthesized_expression "(uint)" ( identifier )) (argument_list "(CARRY4(uVar10,uVar4) || CARRY4(uVar9,uVar8))" ( (binary_expression "CARRY4(uVar10,uVar4) || CARRY4(uVar9,uVar8)" (call_expression "CARRY4(uVar10,uVar4)" identifier (argument_list "(uVar10,uVar4)" ( identifier , identifier ))) || (call_expression "CARRY4(uVar9,uVar8)" identifier (argument_list "(uVar9,uVar8)" ( identifier , identifier )))) ))))) ;) (expression_statement "uVar3 = param_2[2];" (assignment_expression "uVar3 = param_2[2]" identifier = (subscript_expression "param_2[2]" identifier [ number_literal ])) ;) (expression_statement "uVar4 = (uint)((ulonglong)uVar3 * (ulonglong)uVar7);" (assignment_expression "uVar4 = (uint)((ulonglong)uVar3 * (ulonglong)uVar7)" identifier = (call_expression "(uint)((ulonglong)uVar3 * (ulonglong)uVar7)" (parenthesized_expression "(uint)" ( identifier )) (argument_list "((ulonglong)uVar3 * (ulonglong)uVar7)" ( (binary_expression "(ulonglong)uVar3 * (ulonglong)uVar7" (cast_expression "(ulonglong)uVar3" ( (type_descriptor "ulonglong" type_identifier) ) identifier) * (cast_expression "(ulonglong)uVar7" ( (type_descriptor "ulonglong" type_identifier) ) identifier)) )))) ;) (expression_statement "puVar2 = puVar13 + 1;" (assignment_expression "puVar2 = puVar13 + 1" identifier = (binary_expression "puVar13 + 1" identifier + number_literal)) ;) (expression_statement "uVar8 = *puVar2;" (assignment_expression "uVar8 = *puVar2" identifier = (pointer_expression "*puVar2" * identifier)) ;) (expression_statement "*puVar2 = *puVar2 + uVar11;" (assignment_expression "*puVar2 = *puVar2 + uVar11" (pointer_expression "*puVar2" * identifier) = (binary_expression "*puVar2 + uVar11" (pointer_expression "*puVar2" * identifier) + identifier)) ;) (expression_statement "uVar8 = (uint)CARRY4(uVar8,uVar11);" (assignment_expression "uVar8 = (uint)CARRY4(uVar8,uVar11)" identifier = (cast_expression "(uint)CARRY4(uVar8,uVar11)" ( (type_descriptor "uint" type_identifier) ) (call_expression "CARRY4(uVar8,uVar11)" identifier (argument_list "(uVar8,uVar11)" ( identifier , identifier ))))) ;) (expression_statement "uVar9 = uVar10 + uVar4;" (assignment_expression "uVar9 = uVar10 + uVar4" identifier = (binary_expression "uVar10 + uVar4" identifier + identifier)) ;) (expression_statement "uVar11 = uVar9 + uVar8;" (assignment_expression "uVar11 = uVar9 + uVar8" identifier = (binary_expression "uVar9 + uVar8" identifier + identifier)) ;) (expression_statement "uVar12 = (int)((ulonglong)uVar3 * (ulonglong)uVar7 >> 0x20) +\n               (uint)(CARRY4(uVar10,uVar4) || CARRY4(uVar9,uVar8));" (assignment_expression "uVar12 = (int)((ulonglong)uVar3 * (ulonglong)uVar7 >> 0x20) +\n               (uint)(CARRY4(uVar10,uVar4) || CARRY4(uVar9,uVar8))" identifier = (binary_expression "(int)((ulonglong)uVar3 * (ulonglong)uVar7 >> 0x20) +\n               (uint)(CARRY4(uVar10,uVar4) || CARRY4(uVar9,uVar8))" (cast_expression "(int)((ulonglong)uVar3 * (ulonglong)uVar7 >> 0x20)" ( (type_descriptor "int" primitive_type) ) (parenthesized_expression "((ulonglong)uVar3 * (ulonglong)uVar7 >> 0x20)" ( (binary_expression "(ulonglong)uVar3 * (ulonglong)uVar7 >> 0x20" (binary_expression "(ulonglong)uVar3 * (ulonglong)uVar7" (cast_expression "(ulonglong)uVar3" ( (type_descriptor "ulonglong" type_identifier) ) identifier) * (cast_expression "(ulonglong)uVar7" ( (type_descriptor "ulonglong" type_identifier) ) identifier)) >> number_literal) ))) + (call_expression "(uint)(CARRY4(uVar10,uVar4) || CARRY4(uVar9,uVar8))" (parenthesized_expression "(uint)" ( identifier )) (argument_list "(CARRY4(uVar10,uVar4) || CARRY4(uVar9,uVar8))" ( (binary_expression "CARRY4(uVar10,uVar4) || CARRY4(uVar9,uVar8)" (call_expression "CARRY4(uVar10,uVar4)" identifier (argument_list "(uVar10,uVar4)" ( identifier , identifier ))) || (call_expression "CARRY4(uVar9,uVar8)" identifier (argument_list "(uVar9,uVar8)" ( identifier , identifier )))) ))))) ;) (expression_statement "uVar3 = param_2[3];" (assignment_expression "uVar3 = param_2[3]" identifier = (subscript_expression "param_2[3]" identifier [ number_literal ])) ;) (expression_statement "uVar10 = (uint)((ulonglong)uVar3 * (ulonglong)uVar7);" (assignment_expression "uVar10 = (uint)((ulonglong)uVar3 * (ulonglong)uVar7)" identifier = (call_expression "(uint)((ulonglong)uVar3 * (ulonglong)uVar7)" (parenthesized_expression "(uint)" ( identifier )) (argument_list "((ulonglong)uVar3 * (ulonglong)uVar7)" ( (binary_expression "(ulonglong)uVar3 * (ulonglong)uVar7" (cast_expression "(ulonglong)uVar3" ( (type_descriptor "ulonglong" type_identifier) ) identifier) * (cast_expression "(ulonglong)uVar7" ( (type_descriptor "ulonglong" type_identifier) ) identifier)) )))) ;) (expression_statement "puVar2 = puVar13 + 2;" (assignment_expression "puVar2 = puVar13 + 2" identifier = (binary_expression "puVar13 + 2" identifier + number_literal)) ;) (expression_statement "uVar8 = *puVar2;" (assignment_expression "uVar8 = *puVar2" identifier = (pointer_expression "*puVar2" * identifier)) ;) (expression_statement "*puVar2 = *puVar2 + uVar11;" (assignment_expression "*puVar2 = *puVar2 + uVar11" (pointer_expression "*puVar2" * identifier) = (binary_expression "*puVar2 + uVar11" (pointer_expression "*puVar2" * identifier) + identifier)) ;) (expression_statement "uVar9 = (uint)CARRY4(uVar8,uVar11);" (assignment_expression "uVar9 = (uint)CARRY4(uVar8,uVar11)" identifier = (cast_expression "(uint)CARRY4(uVar8,uVar11)" ( (type_descriptor "uint" type_identifier) ) (call_expression "CARRY4(uVar8,uVar11)" identifier (argument_list "(uVar8,uVar11)" ( identifier , identifier ))))) ;) (expression_statement "uVar4 = uVar12 + uVar10;" (assignment_expression "uVar4 = uVar12 + uVar10" identifier = (binary_expression "uVar12 + uVar10" identifier + identifier)) ;) (expression_statement "uVar11 = uVar4 + uVar9;" (assignment_expression "uVar11 = uVar4 + uVar9" identifier = (binary_expression "uVar4 + uVar9" identifier + identifier)) ;) (expression_statement "puVar2 = puVar13 + 3;" (assignment_expression "puVar2 = puVar13 + 3" identifier = (binary_expression "puVar13 + 3" identifier + number_literal)) ;) (expression_statement "uVar8 = *puVar2;" (assignment_expression "uVar8 = *puVar2" identifier = (pointer_expression "*puVar2" * identifier)) ;) (expression_statement "*puVar2 = *puVar2 + uVar11;" (assignment_expression "*puVar2 = *puVar2 + uVar11" (pointer_expression "*puVar2" * identifier) = (binary_expression "*puVar2 + uVar11" (pointer_expression "*puVar2" * identifier) + identifier)) ;) (expression_statement "uVar8 = (int)((ulonglong)uVar3 * (ulonglong)uVar7 >> 0x20) +\n              (uint)(CARRY4(uVar12,uVar10) || CARRY4(uVar4,uVar9)) + (uint)CARRY4(uVar8,uVar11);" (assignment_expression "uVar8 = (int)((ulonglong)uVar3 * (ulonglong)uVar7 >> 0x20) +\n              (uint)(CARRY4(uVar12,uVar10) || CARRY4(uVar4,uVar9)) + (uint)CARRY4(uVar8,uVar11)" identifier = (binary_expression "(int)((ulonglong)uVar3 * (ulonglong)uVar7 >> 0x20) +\n              (uint)(CARRY4(uVar12,uVar10) || CARRY4(uVar4,uVar9)) + (uint)CARRY4(uVar8,uVar11)" (binary_expression "(int)((ulonglong)uVar3 * (ulonglong)uVar7 >> 0x20) +\n              (uint)(CARRY4(uVar12,uVar10) || CARRY4(uVar4,uVar9))" (cast_expression "(int)((ulonglong)uVar3 * (ulonglong)uVar7 >> 0x20)" ( (type_descriptor "int" primitive_type) ) (parenthesized_expression "((ulonglong)uVar3 * (ulonglong)uVar7 >> 0x20)" ( (binary_expression "(ulonglong)uVar3 * (ulonglong)uVar7 >> 0x20" (binary_expression "(ulonglong)uVar3 * (ulonglong)uVar7" (cast_expression "(ulonglong)uVar3" ( (type_descriptor "ulonglong" type_identifier) ) identifier) * (cast_expression "(ulonglong)uVar7" ( (type_descriptor "ulonglong" type_identifier) ) identifier)) >> number_literal) ))) + (call_expression "(uint)(CARRY4(uVar12,uVar10) || CARRY4(uVar4,uVar9))" (parenthesized_expression "(uint)" ( identifier )) (argument_list "(CARRY4(uVar12,uVar10) || CARRY4(uVar4,uVar9))" ( (binary_expression "CARRY4(uVar12,uVar10) || CARRY4(uVar4,uVar9)" (call_expression "CARRY4(uVar12,uVar10)" identifier (argument_list "(uVar12,uVar10)" ( identifier , identifier ))) || (call_expression "CARRY4(uVar4,uVar9)" identifier (argument_list "(uVar4,uVar9)" ( identifier , identifier )))) )))) + (cast_expression "(uint)CARRY4(uVar8,uVar11)" ( (type_descriptor "uint" type_identifier) ) (call_expression "CARRY4(uVar8,uVar11)" identifier (argument_list "(uVar8,uVar11)" ( 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 "puVar13 = puVar13 + 4;" (assignment_expression "puVar13 = puVar13 + 4" identifier = (binary_expression "puVar13 + 4" identifier + number_literal)) ;) })) (expression_statement "*puVar13 = uVar8;" (assignment_expression "*puVar13 = uVar8" (pointer_expression "*puVar13" * identifier) = identifier) ;) (expression_statement "puVar13 = puVar13 + (1 - param_3);" (assignment_expression "puVar13 = puVar13 + (1 - param_3)" identifier = (binary_expression "puVar13 + (1 - param_3)" identifier + (parenthesized_expression "(1 - param_3)" ( (binary_expression "1 - param_3" number_literal - identifier) )))) ;) (expression_statement "param_2 = param_2 + -param_3;" (assignment_expression "param_2 = param_2 + -param_3" identifier = (binary_expression "param_2 + -param_3" identifier + (unary_expression "-param_3" - identifier))) ;) })) (return_statement "return;" return ;) })))
(translation_unit "void __gmpn_mul_basecase_x86\n               (undefined4 *param_1,uint *param_2,uint param_3,uint *param_4,int param_5)\n\n{\n  longlong lVar1;\n  uint *puVar2;\n  uint uVar3;\n  uint uVar4;\n  int iVar5;\n  uint uVar6;\n  uint uVar7;\n  uint uVar8;\n  uint uVar9;\n  uint uVar10;\n  uint uVar11;\n  uint uVar12;\n  uint *puVar13;\n  \n  uVar7 = (uint)((ulonglong)*param_2 * (ulonglong)*param_4 >> 0x20);\n  *param_1 = (int)((ulonglong)*param_2 * (ulonglong)*param_4);\n  iVar5 = param_3 - 1;\n  if (iVar5 == 0) {\n    param_1[1] = uVar7;\n    return;\n  }\n  param_2 = param_2 + 1;\n  puVar2 = param_1 + 1;\n  do {\n    puVar13 = puVar2;\n    uVar8 = *param_2;\n    param_2 = param_2 + 1;\n    lVar1 = (ulonglong)uVar8 * (ulonglong)*param_4 + (ulonglong)uVar7;\n    uVar7 = (uint)((ulonglong)lVar1 >> 0x20);\n    *puVar13 = (uint)lVar1;\n    iVar5 = iVar5 + -1;\n    puVar2 = puVar13 + 1;\n  } while (iVar5 != 0);\n  puVar13[1] = uVar7;\n  puVar13 = puVar13 + (2 - param_3);\n  param_2 = param_2 + -param_3;\n  for (param_5 = param_5 + -1; param_5 != 0; param_5 = param_5 + -1) {\n    param_4 = param_4 + 1;\n    uVar7 = *param_4;\n    uVar8 = 0;\n    for (uVar6 = param_3 & 3; uVar6 != 0; uVar6 = uVar6 - 1) {\n      uVar3 = *param_2;\n      param_2 = param_2 + 1;\n      lVar1 = (ulonglong)uVar3 * (ulonglong)uVar7 + (ulonglong)uVar8;\n      uVar3 = (uint)lVar1;\n      uVar8 = *puVar13;\n      *puVar13 = *puVar13 + uVar3;\n      uVar8 = (int)((ulonglong)lVar1 >> 0x20) + (uint)CARRY4(uVar8,uVar3);\n      puVar13 = puVar13 + 1;\n    }\n    for (uVar6 = param_3 >> 2; uVar6 != 0; uVar6 = uVar6 - 1) {\n      lVar1 = (ulonglong)*param_2 * (ulonglong)uVar7 + (ulonglong)uVar8;\n      uVar9 = (uint)lVar1;\n      uVar10 = (uint)((ulonglong)lVar1 >> 0x20);\n      uVar3 = param_2[1];\n      uVar4 = (uint)((ulonglong)uVar3 * (ulonglong)uVar7);\n      uVar8 = *puVar13;\n      *puVar13 = *puVar13 + uVar9;\n      uVar8 = (uint)CARRY4(uVar8,uVar9);\n      uVar9 = uVar10 + uVar4;\n      uVar11 = uVar9 + uVar8;\n      uVar10 = (int)((ulonglong)uVar3 * (ulonglong)uVar7 >> 0x20) +\n               (uint)(CARRY4(uVar10,uVar4) || CARRY4(uVar9,uVar8));\n      uVar3 = param_2[2];\n      uVar4 = (uint)((ulonglong)uVar3 * (ulonglong)uVar7);\n      puVar2 = puVar13 + 1;\n      uVar8 = *puVar2;\n      *puVar2 = *puVar2 + uVar11;\n      uVar8 = (uint)CARRY4(uVar8,uVar11);\n      uVar9 = uVar10 + uVar4;\n      uVar11 = uVar9 + uVar8;\n      uVar12 = (int)((ulonglong)uVar3 * (ulonglong)uVar7 >> 0x20) +\n               (uint)(CARRY4(uVar10,uVar4) || CARRY4(uVar9,uVar8));\n      uVar3 = param_2[3];\n      uVar10 = (uint)((ulonglong)uVar3 * (ulonglong)uVar7);\n      puVar2 = puVar13 + 2;\n      uVar8 = *puVar2;\n      *puVar2 = *puVar2 + uVar11;\n      uVar9 = (uint)CARRY4(uVar8,uVar11);\n      uVar4 = uVar12 + uVar10;\n      uVar11 = uVar4 + uVar9;\n      puVar2 = puVar13 + 3;\n      uVar8 = *puVar2;\n      *puVar2 = *puVar2 + uVar11;\n      uVar8 = (int)((ulonglong)uVar3 * (ulonglong)uVar7 >> 0x20) +\n              (uint)(CARRY4(uVar12,uVar10) || CARRY4(uVar4,uVar9)) + (uint)CARRY4(uVar8,uVar11);\n      param_2 = param_2 + 4;\n      puVar13 = puVar13 + 4;\n    }\n    *puVar13 = uVar8;\n    puVar13 = puVar13 + (1 - param_3);\n    param_2 = param_2 + -param_3;\n  }\n  return;\n}\n\n" (function_definition "void __gmpn_mul_basecase_x86\n               (undefined4 *param_1,uint *param_2,uint param_3,uint *param_4,int param_5)\n\n{\n  longlong lVar1;\n  uint *puVar2;\n  uint uVar3;\n  uint uVar4;\n  int iVar5;\n  uint uVar6;\n  uint uVar7;\n  uint uVar8;\n  uint uVar9;\n  uint uVar10;\n  uint uVar11;\n  uint uVar12;\n  uint *puVar13;\n  \n  uVar7 = (uint)((ulonglong)*param_2 * (ulonglong)*param_4 >> 0x20);\n  *param_1 = (int)((ulonglong)*param_2 * (ulonglong)*param_4);\n  iVar5 = param_3 - 1;\n  if (iVar5 == 0) {\n    param_1[1] = uVar7;\n    return;\n  }\n  param_2 = param_2 + 1;\n  puVar2 = param_1 + 1;\n  do {\n    puVar13 = puVar2;\n    uVar8 = *param_2;\n    param_2 = param_2 + 1;\n    lVar1 = (ulonglong)uVar8 * (ulonglong)*param_4 + (ulonglong)uVar7;\n    uVar7 = (uint)((ulonglong)lVar1 >> 0x20);\n    *puVar13 = (uint)lVar1;\n    iVar5 = iVar5 + -1;\n    puVar2 = puVar13 + 1;\n  } while (iVar5 != 0);\n  puVar13[1] = uVar7;\n  puVar13 = puVar13 + (2 - param_3);\n  param_2 = param_2 + -param_3;\n  for (param_5 = param_5 + -1; param_5 != 0; param_5 = param_5 + -1) {\n    param_4 = param_4 + 1;\n    uVar7 = *param_4;\n    uVar8 = 0;\n    for (uVar6 = param_3 & 3; uVar6 != 0; uVar6 = uVar6 - 1) {\n      uVar3 = *param_2;\n      param_2 = param_2 + 1;\n      lVar1 = (ulonglong)uVar3 * (ulonglong)uVar7 + (ulonglong)uVar8;\n      uVar3 = (uint)lVar1;\n      uVar8 = *puVar13;\n      *puVar13 = *puVar13 + uVar3;\n      uVar8 = (int)((ulonglong)lVar1 >> 0x20) + (uint)CARRY4(uVar8,uVar3);\n      puVar13 = puVar13 + 1;\n    }\n    for (uVar6 = param_3 >> 2; uVar6 != 0; uVar6 = uVar6 - 1) {\n      lVar1 = (ulonglong)*param_2 * (ulonglong)uVar7 + (ulonglong)uVar8;\n      uVar9 = (uint)lVar1;\n      uVar10 = (uint)((ulonglong)lVar1 >> 0x20);\n      uVar3 = param_2[1];\n      uVar4 = (uint)((ulonglong)uVar3 * (ulonglong)uVar7);\n      uVar8 = *puVar13;\n      *puVar13 = *puVar13 + uVar9;\n      uVar8 = (uint)CARRY4(uVar8,uVar9);\n      uVar9 = uVar10 + uVar4;\n      uVar11 = uVar9 + uVar8;\n      uVar10 = (int)((ulonglong)uVar3 * (ulonglong)uVar7 >> 0x20) +\n               (uint)(CARRY4(uVar10,uVar4) || CARRY4(uVar9,uVar8));\n      uVar3 = param_2[2];\n      uVar4 = (uint)((ulonglong)uVar3 * (ulonglong)uVar7);\n      puVar2 = puVar13 + 1;\n      uVar8 = *puVar2;\n      *puVar2 = *puVar2 + uVar11;\n      uVar8 = (uint)CARRY4(uVar8,uVar11);\n      uVar9 = uVar10 + uVar4;\n      uVar11 = uVar9 + uVar8;\n      uVar12 = (int)((ulonglong)uVar3 * (ulonglong)uVar7 >> 0x20) +\n               (uint)(CARRY4(uVar10,uVar4) || CARRY4(uVar9,uVar8));\n      uVar3 = param_2[3];\n      uVar10 = (uint)((ulonglong)uVar3 * (ulonglong)uVar7);\n      puVar2 = puVar13 + 2;\n      uVar8 = *puVar2;\n      *puVar2 = *puVar2 + uVar11;\n      uVar9 = (uint)CARRY4(uVar8,uVar11);\n      uVar4 = uVar12 + uVar10;\n      uVar11 = uVar4 + uVar9;\n      puVar2 = puVar13 + 3;\n      uVar8 = *puVar2;\n      *puVar2 = *puVar2 + uVar11;\n      uVar8 = (int)((ulonglong)uVar3 * (ulonglong)uVar7 >> 0x20) +\n              (uint)(CARRY4(uVar12,uVar10) || CARRY4(uVar4,uVar9)) + (uint)CARRY4(uVar8,uVar11);\n      param_2 = param_2 + 4;\n      puVar13 = puVar13 + 4;\n    }\n    *puVar13 = uVar8;\n    puVar13 = puVar13 + (1 - param_3);\n    param_2 = param_2 + -param_3;\n  }\n  return;\n}" primitive_type (function_declarator "__gmpn_mul_basecase_x86\n               (undefined4 *param_1,uint *param_2,uint param_3,uint *param_4,int param_5)" identifier (parameter_list "(undefined4 *param_1,uint *param_2,uint param_3,uint *param_4,int param_5)" ( (parameter_declaration "undefined4 *param_1" type_identifier (pointer_declarator "*param_1" * identifier)) , (parameter_declaration "uint *param_2" type_identifier (pointer_declarator "*param_2" * identifier)) , (parameter_declaration "uint param_3" type_identifier identifier) , (parameter_declaration "uint *param_4" type_identifier (pointer_declarator "*param_4" * identifier)) , (parameter_declaration "int param_5" primitive_type identifier) ))) (compound_statement "{\n  longlong lVar1;\n  uint *puVar2;\n  uint uVar3;\n  uint uVar4;\n  int iVar5;\n  uint uVar6;\n  uint uVar7;\n  uint uVar8;\n  uint uVar9;\n  uint uVar10;\n  uint uVar11;\n  uint uVar12;\n  uint *puVar13;\n  \n  uVar7 = (uint)((ulonglong)*param_2 * (ulonglong)*param_4 >> 0x20);\n  *param_1 = (int)((ulonglong)*param_2 * (ulonglong)*param_4);\n  iVar5 = param_3 - 1;\n  if (iVar5 == 0) {\n    param_1[1] = uVar7;\n    return;\n  }\n  param_2 = param_2 + 1;\n  puVar2 = param_1 + 1;\n  do {\n    puVar13 = puVar2;\n    uVar8 = *param_2;\n    param_2 = param_2 + 1;\n    lVar1 = (ulonglong)uVar8 * (ulonglong)*param_4 + (ulonglong)uVar7;\n    uVar7 = (uint)((ulonglong)lVar1 >> 0x20);\n    *puVar13 = (uint)lVar1;\n    iVar5 = iVar5 + -1;\n    puVar2 = puVar13 + 1;\n  } while (iVar5 != 0);\n  puVar13[1] = uVar7;\n  puVar13 = puVar13 + (2 - param_3);\n  param_2 = param_2 + -param_3;\n  for (param_5 = param_5 + -1; param_5 != 0; param_5 = param_5 + -1) {\n    param_4 = param_4 + 1;\n    uVar7 = *param_4;\n    uVar8 = 0;\n    for (uVar6 = param_3 & 3; uVar6 != 0; uVar6 = uVar6 - 1) {\n      uVar3 = *param_2;\n      param_2 = param_2 + 1;\n      lVar1 = (ulonglong)uVar3 * (ulonglong)uVar7 + (ulonglong)uVar8;\n      uVar3 = (uint)lVar1;\n      uVar8 = *puVar13;\n      *puVar13 = *puVar13 + uVar3;\n      uVar8 = (int)((ulonglong)lVar1 >> 0x20) + (uint)CARRY4(uVar8,uVar3);\n      puVar13 = puVar13 + 1;\n    }\n    for (uVar6 = param_3 >> 2; uVar6 != 0; uVar6 = uVar6 - 1) {\n      lVar1 = (ulonglong)*param_2 * (ulonglong)uVar7 + (ulonglong)uVar8;\n      uVar9 = (uint)lVar1;\n      uVar10 = (uint)((ulonglong)lVar1 >> 0x20);\n      uVar3 = param_2[1];\n      uVar4 = (uint)((ulonglong)uVar3 * (ulonglong)uVar7);\n      uVar8 = *puVar13;\n      *puVar13 = *puVar13 + uVar9;\n      uVar8 = (uint)CARRY4(uVar8,uVar9);\n      uVar9 = uVar10 + uVar4;\n      uVar11 = uVar9 + uVar8;\n      uVar10 = (int)((ulonglong)uVar3 * (ulonglong)uVar7 >> 0x20) +\n               (uint)(CARRY4(uVar10,uVar4) || CARRY4(uVar9,uVar8));\n      uVar3 = param_2[2];\n      uVar4 = (uint)((ulonglong)uVar3 * (ulonglong)uVar7);\n      puVar2 = puVar13 + 1;\n      uVar8 = *puVar2;\n      *puVar2 = *puVar2 + uVar11;\n      uVar8 = (uint)CARRY4(uVar8,uVar11);\n      uVar9 = uVar10 + uVar4;\n      uVar11 = uVar9 + uVar8;\n      uVar12 = (int)((ulonglong)uVar3 * (ulonglong)uVar7 >> 0x20) +\n               (uint)(CARRY4(uVar10,uVar4) || CARRY4(uVar9,uVar8));\n      uVar3 = param_2[3];\n      uVar10 = (uint)((ulonglong)uVar3 * (ulonglong)uVar7);\n      puVar2 = puVar13 + 2;\n      uVar8 = *puVar2;\n      *puVar2 = *puVar2 + uVar11;\n      uVar9 = (uint)CARRY4(uVar8,uVar11);\n      uVar4 = uVar12 + uVar10;\n      uVar11 = uVar4 + uVar9;\n      puVar2 = puVar13 + 3;\n      uVar8 = *puVar2;\n      *puVar2 = *puVar2 + uVar11;\n      uVar8 = (int)((ulonglong)uVar3 * (ulonglong)uVar7 >> 0x20) +\n              (uint)(CARRY4(uVar12,uVar10) || CARRY4(uVar4,uVar9)) + (uint)CARRY4(uVar8,uVar11);\n      param_2 = param_2 + 4;\n      puVar13 = puVar13 + 4;\n    }\n    *puVar13 = uVar8;\n    puVar13 = puVar13 + (1 - param_3);\n    param_2 = param_2 + -param_3;\n  }\n  return;\n}" { (declaration "longlong lVar1;" type_identifier identifier ;) (declaration "uint *puVar2;" type_identifier (pointer_declarator "*puVar2" * identifier) ;) (declaration "uint uVar3;" type_identifier identifier ;) (declaration "uint uVar4;" type_identifier identifier ;) (declaration "int iVar5;" primitive_type 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 ;) (declaration "uint uVar10;" type_identifier identifier ;) (declaration "uint uVar11;" type_identifier identifier ;) (declaration "uint uVar12;" type_identifier identifier ;) (declaration "uint *puVar13;" type_identifier (pointer_declarator "*puVar13" * identifier) ;) (expression_statement "uVar7 = (uint)((ulonglong)*param_2 * (ulonglong)*param_4 >> 0x20);" (assignment_expression "uVar7 = (uint)((ulonglong)*param_2 * (ulonglong)*param_4 >> 0x20)" identifier = (call_expression "(uint)((ulonglong)*param_2 * (ulonglong)*param_4 >> 0x20)" (parenthesized_expression "(uint)" ( identifier )) (argument_list "((ulonglong)*param_2 * (ulonglong)*param_4 >> 0x20)" ( (binary_expression "(ulonglong)*param_2 * (ulonglong)*param_4 >> 0x20" (binary_expression "(ulonglong)*param_2 * (ulonglong)*param_4" (binary_expression "(ulonglong)*param_2 * (ulonglong)" (binary_expression "(ulonglong)*param_2" (parenthesized_expression "(ulonglong)" ( identifier )) * identifier) * (parenthesized_expression "(ulonglong)" ( identifier ))) * identifier) >> number_literal) )))) ;) (expression_statement "*param_1 = (int)((ulonglong)*param_2 * (ulonglong)*param_4);" (assignment_expression "*param_1 = (int)((ulonglong)*param_2 * (ulonglong)*param_4)" (pointer_expression "*param_1" * identifier) = (cast_expression "(int)((ulonglong)*param_2 * (ulonglong)*param_4)" ( (type_descriptor "int" primitive_type) ) (parenthesized_expression "((ulonglong)*param_2 * (ulonglong)*param_4)" ( (binary_expression "(ulonglong)*param_2 * (ulonglong)*param_4" (binary_expression "(ulonglong)*param_2 * (ulonglong)" (binary_expression "(ulonglong)*param_2" (parenthesized_expression "(ulonglong)" ( identifier )) * identifier) * (parenthesized_expression "(ulonglong)" ( identifier ))) * identifier) )))) ;) (expression_statement "iVar5 = param_3 - 1;" (assignment_expression "iVar5 = param_3 - 1" identifier = (binary_expression "param_3 - 1" identifier - number_literal)) ;) (if_statement "if (iVar5 == 0) {\n    param_1[1] = uVar7;\n    return;\n  }" if (parenthesized_expression "(iVar5 == 0)" ( (binary_expression "iVar5 == 0" identifier == number_literal) )) (compound_statement "{\n    param_1[1] = uVar7;\n    return;\n  }" { (expression_statement "param_1[1] = uVar7;" (assignment_expression "param_1[1] = uVar7" (subscript_expression "param_1[1]" identifier [ number_literal ]) = identifier) ;) (return_statement "return;" return ;) })) (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 "puVar2 = param_1 + 1;" (assignment_expression "puVar2 = param_1 + 1" identifier = (binary_expression "param_1 + 1" identifier + number_literal)) ;) (do_statement "do {\n    puVar13 = puVar2;\n    uVar8 = *param_2;\n    param_2 = param_2 + 1;\n    lVar1 = (ulonglong)uVar8 * (ulonglong)*param_4 + (ulonglong)uVar7;\n    uVar7 = (uint)((ulonglong)lVar1 >> 0x20);\n    *puVar13 = (uint)lVar1;\n    iVar5 = iVar5 + -1;\n    puVar2 = puVar13 + 1;\n  } while (iVar5 != 0);" do (compound_statement "{\n    puVar13 = puVar2;\n    uVar8 = *param_2;\n    param_2 = param_2 + 1;\n    lVar1 = (ulonglong)uVar8 * (ulonglong)*param_4 + (ulonglong)uVar7;\n    uVar7 = (uint)((ulonglong)lVar1 >> 0x20);\n    *puVar13 = (uint)lVar1;\n    iVar5 = iVar5 + -1;\n    puVar2 = puVar13 + 1;\n  }" { (expression_statement "puVar13 = puVar2;" (assignment_expression "puVar13 = puVar2" identifier = identifier) ;) (expression_statement "uVar8 = *param_2;" (assignment_expression "uVar8 = *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 "lVar1 = (ulonglong)uVar8 * (ulonglong)*param_4 + (ulonglong)uVar7;" (assignment_expression "lVar1 = (ulonglong)uVar8 * (ulonglong)*param_4 + (ulonglong)uVar7" identifier = (binary_expression "(ulonglong)uVar8 * (ulonglong)*param_4 + (ulonglong)uVar7" (binary_expression "(ulonglong)uVar8 * (ulonglong)*param_4" (binary_expression "(ulonglong)uVar8 * (ulonglong)" (cast_expression "(ulonglong)uVar8" ( (type_descriptor "ulonglong" type_identifier) ) identifier) * (parenthesized_expression "(ulonglong)" ( identifier ))) * identifier) + (cast_expression "(ulonglong)uVar7" ( (type_descriptor "ulonglong" type_identifier) ) identifier))) ;) (expression_statement "uVar7 = (uint)((ulonglong)lVar1 >> 0x20);" (assignment_expression "uVar7 = (uint)((ulonglong)lVar1 >> 0x20)" identifier = (call_expression "(uint)((ulonglong)lVar1 >> 0x20)" (parenthesized_expression "(uint)" ( identifier )) (argument_list "((ulonglong)lVar1 >> 0x20)" ( (binary_expression "(ulonglong)lVar1 >> 0x20" (cast_expression "(ulonglong)lVar1" ( (type_descriptor "ulonglong" type_identifier) ) identifier) >> number_literal) )))) ;) (expression_statement "*puVar13 = (uint)lVar1;" (assignment_expression "*puVar13 = (uint)lVar1" (pointer_expression "*puVar13" * identifier) = (cast_expression "(uint)lVar1" ( (type_descriptor "uint" type_identifier) ) identifier)) ;) (expression_statement "iVar5 = iVar5 + -1;" (assignment_expression "iVar5 = iVar5 + -1" identifier = (binary_expression "iVar5 + -1" identifier + number_literal)) ;) (expression_statement "puVar2 = puVar13 + 1;" (assignment_expression "puVar2 = puVar13 + 1" identifier = (binary_expression "puVar13 + 1" identifier + number_literal)) ;) }) while (parenthesized_expression "(iVar5 != 0)" ( (binary_expression "iVar5 != 0" identifier != number_literal) )) ;) (expression_statement "puVar13[1] = uVar7;" (assignment_expression "puVar13[1] = uVar7" (subscript_expression "puVar13[1]" identifier [ number_literal ]) = identifier) ;) (expression_statement "puVar13 = puVar13 + (2 - param_3);" (assignment_expression "puVar13 = puVar13 + (2 - param_3)" identifier = (binary_expression "puVar13 + (2 - param_3)" identifier + (parenthesized_expression "(2 - param_3)" ( (binary_expression "2 - param_3" number_literal - identifier) )))) ;) (expression_statement "param_2 = param_2 + -param_3;" (assignment_expression "param_2 = param_2 + -param_3" identifier = (binary_expression "param_2 + -param_3" identifier + (unary_expression "-param_3" - identifier))) ;) (for_statement "for (param_5 = param_5 + -1; param_5 != 0; param_5 = param_5 + -1) {\n    param_4 = param_4 + 1;\n    uVar7 = *param_4;\n    uVar8 = 0;\n    for (uVar6 = param_3 & 3; uVar6 != 0; uVar6 = uVar6 - 1) {\n      uVar3 = *param_2;\n      param_2 = param_2 + 1;\n      lVar1 = (ulonglong)uVar3 * (ulonglong)uVar7 + (ulonglong)uVar8;\n      uVar3 = (uint)lVar1;\n      uVar8 = *puVar13;\n      *puVar13 = *puVar13 + uVar3;\n      uVar8 = (int)((ulonglong)lVar1 >> 0x20) + (uint)CARRY4(uVar8,uVar3);\n      puVar13 = puVar13 + 1;\n    }\n    for (uVar6 = param_3 >> 2; uVar6 != 0; uVar6 = uVar6 - 1) {\n      lVar1 = (ulonglong)*param_2 * (ulonglong)uVar7 + (ulonglong)uVar8;\n      uVar9 = (uint)lVar1;\n      uVar10 = (uint)((ulonglong)lVar1 >> 0x20);\n      uVar3 = param_2[1];\n      uVar4 = (uint)((ulonglong)uVar3 * (ulonglong)uVar7);\n      uVar8 = *puVar13;\n      *puVar13 = *puVar13 + uVar9;\n      uVar8 = (uint)CARRY4(uVar8,uVar9);\n      uVar9 = uVar10 + uVar4;\n      uVar11 = uVar9 + uVar8;\n      uVar10 = (int)((ulonglong)uVar3 * (ulonglong)uVar7 >> 0x20) +\n               (uint)(CARRY4(uVar10,uVar4) || CARRY4(uVar9,uVar8));\n      uVar3 = param_2[2];\n      uVar4 = (uint)((ulonglong)uVar3 * (ulonglong)uVar7);\n      puVar2 = puVar13 + 1;\n      uVar8 = *puVar2;\n      *puVar2 = *puVar2 + uVar11;\n      uVar8 = (uint)CARRY4(uVar8,uVar11);\n      uVar9 = uVar10 + uVar4;\n      uVar11 = uVar9 + uVar8;\n      uVar12 = (int)((ulonglong)uVar3 * (ulonglong)uVar7 >> 0x20) +\n               (uint)(CARRY4(uVar10,uVar4) || CARRY4(uVar9,uVar8));\n      uVar3 = param_2[3];\n      uVar10 = (uint)((ulonglong)uVar3 * (ulonglong)uVar7);\n      puVar2 = puVar13 + 2;\n      uVar8 = *puVar2;\n      *puVar2 = *puVar2 + uVar11;\n      uVar9 = (uint)CARRY4(uVar8,uVar11);\n      uVar4 = uVar12 + uVar10;\n      uVar11 = uVar4 + uVar9;\n      puVar2 = puVar13 + 3;\n      uVar8 = *puVar2;\n      *puVar2 = *puVar2 + uVar11;\n      uVar8 = (int)((ulonglong)uVar3 * (ulonglong)uVar7 >> 0x20) +\n              (uint)(CARRY4(uVar12,uVar10) || CARRY4(uVar4,uVar9)) + (uint)CARRY4(uVar8,uVar11);\n      param_2 = param_2 + 4;\n      puVar13 = puVar13 + 4;\n    }\n    *puVar13 = uVar8;\n    puVar13 = puVar13 + (1 - param_3);\n    param_2 = param_2 + -param_3;\n  }" for ( (assignment_expression "param_5 = param_5 + -1" identifier = (binary_expression "param_5 + -1" identifier + number_literal)) ; (binary_expression "param_5 != 0" identifier != number_literal) ; (assignment_expression "param_5 = param_5 + -1" identifier = (binary_expression "param_5 + -1" identifier + number_literal)) ) (compound_statement "{\n    param_4 = param_4 + 1;\n    uVar7 = *param_4;\n    uVar8 = 0;\n    for (uVar6 = param_3 & 3; uVar6 != 0; uVar6 = uVar6 - 1) {\n      uVar3 = *param_2;\n      param_2 = param_2 + 1;\n      lVar1 = (ulonglong)uVar3 * (ulonglong)uVar7 + (ulonglong)uVar8;\n      uVar3 = (uint)lVar1;\n      uVar8 = *puVar13;\n      *puVar13 = *puVar13 + uVar3;\n      uVar8 = (int)((ulonglong)lVar1 >> 0x20) + (uint)CARRY4(uVar8,uVar3);\n      puVar13 = puVar13 + 1;\n    }\n    for (uVar6 = param_3 >> 2; uVar6 != 0; uVar6 = uVar6 - 1) {\n      lVar1 = (ulonglong)*param_2 * (ulonglong)uVar7 + (ulonglong)uVar8;\n      uVar9 = (uint)lVar1;\n      uVar10 = (uint)((ulonglong)lVar1 >> 0x20);\n      uVar3 = param_2[1];\n      uVar4 = (uint)((ulonglong)uVar3 * (ulonglong)uVar7);\n      uVar8 = *puVar13;\n      *puVar13 = *puVar13 + uVar9;\n      uVar8 = (uint)CARRY4(uVar8,uVar9);\n      uVar9 = uVar10 + uVar4;\n      uVar11 = uVar9 + uVar8;\n      uVar10 = (int)((ulonglong)uVar3 * (ulonglong)uVar7 >> 0x20) +\n               (uint)(CARRY4(uVar10,uVar4) || CARRY4(uVar9,uVar8));\n      uVar3 = param_2[2];\n      uVar4 = (uint)((ulonglong)uVar3 * (ulonglong)uVar7);\n      puVar2 = puVar13 + 1;\n      uVar8 = *puVar2;\n      *puVar2 = *puVar2 + uVar11;\n      uVar8 = (uint)CARRY4(uVar8,uVar11);\n      uVar9 = uVar10 + uVar4;\n      uVar11 = uVar9 + uVar8;\n      uVar12 = (int)((ulonglong)uVar3 * (ulonglong)uVar7 >> 0x20) +\n               (uint)(CARRY4(uVar10,uVar4) || CARRY4(uVar9,uVar8));\n      uVar3 = param_2[3];\n      uVar10 = (uint)((ulonglong)uVar3 * (ulonglong)uVar7);\n      puVar2 = puVar13 + 2;\n      uVar8 = *puVar2;\n      *puVar2 = *puVar2 + uVar11;\n      uVar9 = (uint)CARRY4(uVar8,uVar11);\n      uVar4 = uVar12 + uVar10;\n      uVar11 = uVar4 + uVar9;\n      puVar2 = puVar13 + 3;\n      uVar8 = *puVar2;\n      *puVar2 = *puVar2 + uVar11;\n      uVar8 = (int)((ulonglong)uVar3 * (ulonglong)uVar7 >> 0x20) +\n              (uint)(CARRY4(uVar12,uVar10) || CARRY4(uVar4,uVar9)) + (uint)CARRY4(uVar8,uVar11);\n      param_2 = param_2 + 4;\n      puVar13 = puVar13 + 4;\n    }\n    *puVar13 = uVar8;\n    puVar13 = puVar13 + (1 - param_3);\n    param_2 = param_2 + -param_3;\n  }" { (expression_statement "param_4 = param_4 + 1;" (assignment_expression "param_4 = param_4 + 1" identifier = (binary_expression "param_4 + 1" identifier + number_literal)) ;) (expression_statement "uVar7 = *param_4;" (assignment_expression "uVar7 = *param_4" identifier = (pointer_expression "*param_4" * identifier)) ;) (expression_statement "uVar8 = 0;" (assignment_expression "uVar8 = 0" identifier = number_literal) ;) (for_statement "for (uVar6 = param_3 & 3; uVar6 != 0; uVar6 = uVar6 - 1) {\n      uVar3 = *param_2;\n      param_2 = param_2 + 1;\n      lVar1 = (ulonglong)uVar3 * (ulonglong)uVar7 + (ulonglong)uVar8;\n      uVar3 = (uint)lVar1;\n      uVar8 = *puVar13;\n      *puVar13 = *puVar13 + uVar3;\n      uVar8 = (int)((ulonglong)lVar1 >> 0x20) + (uint)CARRY4(uVar8,uVar3);\n      puVar13 = puVar13 + 1;\n    }" for ( (assignment_expression "uVar6 = param_3 & 3" identifier = (binary_expression "param_3 & 3" identifier & number_literal)) ; (binary_expression "uVar6 != 0" identifier != number_literal) ; (assignment_expression "uVar6 = uVar6 - 1" identifier = (binary_expression "uVar6 - 1" identifier - number_literal)) ) (compound_statement "{\n      uVar3 = *param_2;\n      param_2 = param_2 + 1;\n      lVar1 = (ulonglong)uVar3 * (ulonglong)uVar7 + (ulonglong)uVar8;\n      uVar3 = (uint)lVar1;\n      uVar8 = *puVar13;\n      *puVar13 = *puVar13 + uVar3;\n      uVar8 = (int)((ulonglong)lVar1 >> 0x20) + (uint)CARRY4(uVar8,uVar3);\n      puVar13 = puVar13 + 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 "lVar1 = (ulonglong)uVar3 * (ulonglong)uVar7 + (ulonglong)uVar8;" (assignment_expression "lVar1 = (ulonglong)uVar3 * (ulonglong)uVar7 + (ulonglong)uVar8" identifier = (binary_expression "(ulonglong)uVar3 * (ulonglong)uVar7 + (ulonglong)uVar8" (binary_expression "(ulonglong)uVar3 * (ulonglong)uVar7" (cast_expression "(ulonglong)uVar3" ( (type_descriptor "ulonglong" type_identifier) ) identifier) * (cast_expression "(ulonglong)uVar7" ( (type_descriptor "ulonglong" type_identifier) ) identifier)) + (cast_expression "(ulonglong)uVar8" ( (type_descriptor "ulonglong" type_identifier) ) identifier))) ;) (expression_statement "uVar3 = (uint)lVar1;" (assignment_expression "uVar3 = (uint)lVar1" identifier = (cast_expression "(uint)lVar1" ( (type_descriptor "uint" type_identifier) ) identifier)) ;) (expression_statement "uVar8 = *puVar13;" (assignment_expression "uVar8 = *puVar13" identifier = (pointer_expression "*puVar13" * identifier)) ;) (expression_statement "*puVar13 = *puVar13 + uVar3;" (assignment_expression "*puVar13 = *puVar13 + uVar3" (pointer_expression "*puVar13" * identifier) = (binary_expression "*puVar13 + uVar3" (pointer_expression "*puVar13" * identifier) + identifier)) ;) (expression_statement "uVar8 = (int)((ulonglong)lVar1 >> 0x20) + (uint)CARRY4(uVar8,uVar3);" (assignment_expression "uVar8 = (int)((ulonglong)lVar1 >> 0x20) + (uint)CARRY4(uVar8,uVar3)" identifier = (binary_expression "(int)((ulonglong)lVar1 >> 0x20) + (uint)CARRY4(uVar8,uVar3)" (cast_expression "(int)((ulonglong)lVar1 >> 0x20)" ( (type_descriptor "int" primitive_type) ) (parenthesized_expression "((ulonglong)lVar1 >> 0x20)" ( (binary_expression "(ulonglong)lVar1 >> 0x20" (cast_expression "(ulonglong)lVar1" ( (type_descriptor "ulonglong" type_identifier) ) identifier) >> number_literal) ))) + (cast_expression "(uint)CARRY4(uVar8,uVar3)" ( (type_descriptor "uint" type_identifier) ) (call_expression "CARRY4(uVar8,uVar3)" identifier (argument_list "(uVar8,uVar3)" ( identifier , identifier )))))) ;) (expression_statement "puVar13 = puVar13 + 1;" (assignment_expression "puVar13 = puVar13 + 1" identifier = (binary_expression "puVar13 + 1" identifier + number_literal)) ;) })) (for_statement "for (uVar6 = param_3 >> 2; uVar6 != 0; uVar6 = uVar6 - 1) {\n      lVar1 = (ulonglong)*param_2 * (ulonglong)uVar7 + (ulonglong)uVar8;\n      uVar9 = (uint)lVar1;\n      uVar10 = (uint)((ulonglong)lVar1 >> 0x20);\n      uVar3 = param_2[1];\n      uVar4 = (uint)((ulonglong)uVar3 * (ulonglong)uVar7);\n      uVar8 = *puVar13;\n      *puVar13 = *puVar13 + uVar9;\n      uVar8 = (uint)CARRY4(uVar8,uVar9);\n      uVar9 = uVar10 + uVar4;\n      uVar11 = uVar9 + uVar8;\n      uVar10 = (int)((ulonglong)uVar3 * (ulonglong)uVar7 >> 0x20) +\n               (uint)(CARRY4(uVar10,uVar4) || CARRY4(uVar9,uVar8));\n      uVar3 = param_2[2];\n      uVar4 = (uint)((ulonglong)uVar3 * (ulonglong)uVar7);\n      puVar2 = puVar13 + 1;\n      uVar8 = *puVar2;\n      *puVar2 = *puVar2 + uVar11;\n      uVar8 = (uint)CARRY4(uVar8,uVar11);\n      uVar9 = uVar10 + uVar4;\n      uVar11 = uVar9 + uVar8;\n      uVar12 = (int)((ulonglong)uVar3 * (ulonglong)uVar7 >> 0x20) +\n               (uint)(CARRY4(uVar10,uVar4) || CARRY4(uVar9,uVar8));\n      uVar3 = param_2[3];\n      uVar10 = (uint)((ulonglong)uVar3 * (ulonglong)uVar7);\n      puVar2 = puVar13 + 2;\n      uVar8 = *puVar2;\n      *puVar2 = *puVar2 + uVar11;\n      uVar9 = (uint)CARRY4(uVar8,uVar11);\n      uVar4 = uVar12 + uVar10;\n      uVar11 = uVar4 + uVar9;\n      puVar2 = puVar13 + 3;\n      uVar8 = *puVar2;\n      *puVar2 = *puVar2 + uVar11;\n      uVar8 = (int)((ulonglong)uVar3 * (ulonglong)uVar7 >> 0x20) +\n              (uint)(CARRY4(uVar12,uVar10) || CARRY4(uVar4,uVar9)) + (uint)CARRY4(uVar8,uVar11);\n      param_2 = param_2 + 4;\n      puVar13 = puVar13 + 4;\n    }" for ( (assignment_expression "uVar6 = param_3 >> 2" identifier = (binary_expression "param_3 >> 2" identifier >> number_literal)) ; (binary_expression "uVar6 != 0" identifier != number_literal) ; (assignment_expression "uVar6 = uVar6 - 1" identifier = (binary_expression "uVar6 - 1" identifier - number_literal)) ) (compound_statement "{\n      lVar1 = (ulonglong)*param_2 * (ulonglong)uVar7 + (ulonglong)uVar8;\n      uVar9 = (uint)lVar1;\n      uVar10 = (uint)((ulonglong)lVar1 >> 0x20);\n      uVar3 = param_2[1];\n      uVar4 = (uint)((ulonglong)uVar3 * (ulonglong)uVar7);\n      uVar8 = *puVar13;\n      *puVar13 = *puVar13 + uVar9;\n      uVar8 = (uint)CARRY4(uVar8,uVar9);\n      uVar9 = uVar10 + uVar4;\n      uVar11 = uVar9 + uVar8;\n      uVar10 = (int)((ulonglong)uVar3 * (ulonglong)uVar7 >> 0x20) +\n               (uint)(CARRY4(uVar10,uVar4) || CARRY4(uVar9,uVar8));\n      uVar3 = param_2[2];\n      uVar4 = (uint)((ulonglong)uVar3 * (ulonglong)uVar7);\n      puVar2 = puVar13 + 1;\n      uVar8 = *puVar2;\n      *puVar2 = *puVar2 + uVar11;\n      uVar8 = (uint)CARRY4(uVar8,uVar11);\n      uVar9 = uVar10 + uVar4;\n      uVar11 = uVar9 + uVar8;\n      uVar12 = (int)((ulonglong)uVar3 * (ulonglong)uVar7 >> 0x20) +\n               (uint)(CARRY4(uVar10,uVar4) || CARRY4(uVar9,uVar8));\n      uVar3 = param_2[3];\n      uVar10 = (uint)((ulonglong)uVar3 * (ulonglong)uVar7);\n      puVar2 = puVar13 + 2;\n      uVar8 = *puVar2;\n      *puVar2 = *puVar2 + uVar11;\n      uVar9 = (uint)CARRY4(uVar8,uVar11);\n      uVar4 = uVar12 + uVar10;\n      uVar11 = uVar4 + uVar9;\n      puVar2 = puVar13 + 3;\n      uVar8 = *puVar2;\n      *puVar2 = *puVar2 + uVar11;\n      uVar8 = (int)((ulonglong)uVar3 * (ulonglong)uVar7 >> 0x20) +\n              (uint)(CARRY4(uVar12,uVar10) || CARRY4(uVar4,uVar9)) + (uint)CARRY4(uVar8,uVar11);\n      param_2 = param_2 + 4;\n      puVar13 = puVar13 + 4;\n    }" { (expression_statement "lVar1 = (ulonglong)*param_2 * (ulonglong)uVar7 + (ulonglong)uVar8;" (assignment_expression "lVar1 = (ulonglong)*param_2 * (ulonglong)uVar7 + (ulonglong)uVar8" identifier = (binary_expression "(ulonglong)*param_2 * (ulonglong)uVar7 + (ulonglong)uVar8" (binary_expression "(ulonglong)*param_2 * (ulonglong)uVar7" (binary_expression "(ulonglong)*param_2" (parenthesized_expression "(ulonglong)" ( identifier )) * identifier) * (cast_expression "(ulonglong)uVar7" ( (type_descriptor "ulonglong" type_identifier) ) identifier)) + (cast_expression "(ulonglong)uVar8" ( (type_descriptor "ulonglong" type_identifier) ) identifier))) ;) (expression_statement "uVar9 = (uint)lVar1;" (assignment_expression "uVar9 = (uint)lVar1" identifier = (cast_expression "(uint)lVar1" ( (type_descriptor "uint" type_identifier) ) identifier)) ;) (expression_statement "uVar10 = (uint)((ulonglong)lVar1 >> 0x20);" (assignment_expression "uVar10 = (uint)((ulonglong)lVar1 >> 0x20)" identifier = (call_expression "(uint)((ulonglong)lVar1 >> 0x20)" (parenthesized_expression "(uint)" ( identifier )) (argument_list "((ulonglong)lVar1 >> 0x20)" ( (binary_expression "(ulonglong)lVar1 >> 0x20" (cast_expression "(ulonglong)lVar1" ( (type_descriptor "ulonglong" type_identifier) ) identifier) >> number_literal) )))) ;) (expression_statement "uVar3 = param_2[1];" (assignment_expression "uVar3 = param_2[1]" identifier = (subscript_expression "param_2[1]" identifier [ number_literal ])) ;) (expression_statement "uVar4 = (uint)((ulonglong)uVar3 * (ulonglong)uVar7);" (assignment_expression "uVar4 = (uint)((ulonglong)uVar3 * (ulonglong)uVar7)" identifier = (call_expression "(uint)((ulonglong)uVar3 * (ulonglong)uVar7)" (parenthesized_expression "(uint)" ( identifier )) (argument_list "((ulonglong)uVar3 * (ulonglong)uVar7)" ( (binary_expression "(ulonglong)uVar3 * (ulonglong)uVar7" (cast_expression "(ulonglong)uVar3" ( (type_descriptor "ulonglong" type_identifier) ) identifier) * (cast_expression "(ulonglong)uVar7" ( (type_descriptor "ulonglong" type_identifier) ) identifier)) )))) ;) (expression_statement "uVar8 = *puVar13;" (assignment_expression "uVar8 = *puVar13" identifier = (pointer_expression "*puVar13" * identifier)) ;) (expression_statement "*puVar13 = *puVar13 + uVar9;" (assignment_expression "*puVar13 = *puVar13 + uVar9" (pointer_expression "*puVar13" * identifier) = (binary_expression "*puVar13 + uVar9" (pointer_expression "*puVar13" * identifier) + identifier)) ;) (expression_statement "uVar8 = (uint)CARRY4(uVar8,uVar9);" (assignment_expression "uVar8 = (uint)CARRY4(uVar8,uVar9)" identifier = (cast_expression "(uint)CARRY4(uVar8,uVar9)" ( (type_descriptor "uint" type_identifier) ) (call_expression "CARRY4(uVar8,uVar9)" identifier (argument_list "(uVar8,uVar9)" ( identifier , identifier ))))) ;) (expression_statement "uVar9 = uVar10 + uVar4;" (assignment_expression "uVar9 = uVar10 + uVar4" identifier = (binary_expression "uVar10 + uVar4" identifier + identifier)) ;) (expression_statement "uVar11 = uVar9 + uVar8;" (assignment_expression "uVar11 = uVar9 + uVar8" identifier = (binary_expression "uVar9 + uVar8" identifier + identifier)) ;) (expression_statement "uVar10 = (int)((ulonglong)uVar3 * (ulonglong)uVar7 >> 0x20) +\n               (uint)(CARRY4(uVar10,uVar4) || CARRY4(uVar9,uVar8));" (assignment_expression "uVar10 = (int)((ulonglong)uVar3 * (ulonglong)uVar7 >> 0x20) +\n               (uint)(CARRY4(uVar10,uVar4) || CARRY4(uVar9,uVar8))" identifier = (binary_expression "(int)((ulonglong)uVar3 * (ulonglong)uVar7 >> 0x20) +\n               (uint)(CARRY4(uVar10,uVar4) || CARRY4(uVar9,uVar8))" (cast_expression "(int)((ulonglong)uVar3 * (ulonglong)uVar7 >> 0x20)" ( (type_descriptor "int" primitive_type) ) (parenthesized_expression "((ulonglong)uVar3 * (ulonglong)uVar7 >> 0x20)" ( (binary_expression "(ulonglong)uVar3 * (ulonglong)uVar7 >> 0x20" (binary_expression "(ulonglong)uVar3 * (ulonglong)uVar7" (cast_expression "(ulonglong)uVar3" ( (type_descriptor "ulonglong" type_identifier) ) identifier) * (cast_expression "(ulonglong)uVar7" ( (type_descriptor "ulonglong" type_identifier) ) identifier)) >> number_literal) ))) + (call_expression "(uint)(CARRY4(uVar10,uVar4) || CARRY4(uVar9,uVar8))" (parenthesized_expression "(uint)" ( identifier )) (argument_list "(CARRY4(uVar10,uVar4) || CARRY4(uVar9,uVar8))" ( (binary_expression "CARRY4(uVar10,uVar4) || CARRY4(uVar9,uVar8)" (call_expression "CARRY4(uVar10,uVar4)" identifier (argument_list "(uVar10,uVar4)" ( identifier , identifier ))) || (call_expression "CARRY4(uVar9,uVar8)" identifier (argument_list "(uVar9,uVar8)" ( identifier , identifier )))) ))))) ;) (expression_statement "uVar3 = param_2[2];" (assignment_expression "uVar3 = param_2[2]" identifier = (subscript_expression "param_2[2]" identifier [ number_literal ])) ;) (expression_statement "uVar4 = (uint)((ulonglong)uVar3 * (ulonglong)uVar7);" (assignment_expression "uVar4 = (uint)((ulonglong)uVar3 * (ulonglong)uVar7)" identifier = (call_expression "(uint)((ulonglong)uVar3 * (ulonglong)uVar7)" (parenthesized_expression "(uint)" ( identifier )) (argument_list "((ulonglong)uVar3 * (ulonglong)uVar7)" ( (binary_expression "(ulonglong)uVar3 * (ulonglong)uVar7" (cast_expression "(ulonglong)uVar3" ( (type_descriptor "ulonglong" type_identifier) ) identifier) * (cast_expression "(ulonglong)uVar7" ( (type_descriptor "ulonglong" type_identifier) ) identifier)) )))) ;) (expression_statement "puVar2 = puVar13 + 1;" (assignment_expression "puVar2 = puVar13 + 1" identifier = (binary_expression "puVar13 + 1" identifier + number_literal)) ;) (expression_statement "uVar8 = *puVar2;" (assignment_expression "uVar8 = *puVar2" identifier = (pointer_expression "*puVar2" * identifier)) ;) (expression_statement "*puVar2 = *puVar2 + uVar11;" (assignment_expression "*puVar2 = *puVar2 + uVar11" (pointer_expression "*puVar2" * identifier) = (binary_expression "*puVar2 + uVar11" (pointer_expression "*puVar2" * identifier) + identifier)) ;) (expression_statement "uVar8 = (uint)CARRY4(uVar8,uVar11);" (assignment_expression "uVar8 = (uint)CARRY4(uVar8,uVar11)" identifier = (cast_expression "(uint)CARRY4(uVar8,uVar11)" ( (type_descriptor "uint" type_identifier) ) (call_expression "CARRY4(uVar8,uVar11)" identifier (argument_list "(uVar8,uVar11)" ( identifier , identifier ))))) ;) (expression_statement "uVar9 = uVar10 + uVar4;" (assignment_expression "uVar9 = uVar10 + uVar4" identifier = (binary_expression "uVar10 + uVar4" identifier + identifier)) ;) (expression_statement "uVar11 = uVar9 + uVar8;" (assignment_expression "uVar11 = uVar9 + uVar8" identifier = (binary_expression "uVar9 + uVar8" identifier + identifier)) ;) (expression_statement "uVar12 = (int)((ulonglong)uVar3 * (ulonglong)uVar7 >> 0x20) +\n               (uint)(CARRY4(uVar10,uVar4) || CARRY4(uVar9,uVar8));" (assignment_expression "uVar12 = (int)((ulonglong)uVar3 * (ulonglong)uVar7 >> 0x20) +\n               (uint)(CARRY4(uVar10,uVar4) || CARRY4(uVar9,uVar8))" identifier = (binary_expression "(int)((ulonglong)uVar3 * (ulonglong)uVar7 >> 0x20) +\n               (uint)(CARRY4(uVar10,uVar4) || CARRY4(uVar9,uVar8))" (cast_expression "(int)((ulonglong)uVar3 * (ulonglong)uVar7 >> 0x20)" ( (type_descriptor "int" primitive_type) ) (parenthesized_expression "((ulonglong)uVar3 * (ulonglong)uVar7 >> 0x20)" ( (binary_expression "(ulonglong)uVar3 * (ulonglong)uVar7 >> 0x20" (binary_expression "(ulonglong)uVar3 * (ulonglong)uVar7" (cast_expression "(ulonglong)uVar3" ( (type_descriptor "ulonglong" type_identifier) ) identifier) * (cast_expression "(ulonglong)uVar7" ( (type_descriptor "ulonglong" type_identifier) ) identifier)) >> number_literal) ))) + (call_expression "(uint)(CARRY4(uVar10,uVar4) || CARRY4(uVar9,uVar8))" (parenthesized_expression "(uint)" ( identifier )) (argument_list "(CARRY4(uVar10,uVar4) || CARRY4(uVar9,uVar8))" ( (binary_expression "CARRY4(uVar10,uVar4) || CARRY4(uVar9,uVar8)" (call_expression "CARRY4(uVar10,uVar4)" identifier (argument_list "(uVar10,uVar4)" ( identifier , identifier ))) || (call_expression "CARRY4(uVar9,uVar8)" identifier (argument_list "(uVar9,uVar8)" ( identifier , identifier )))) ))))) ;) (expression_statement "uVar3 = param_2[3];" (assignment_expression "uVar3 = param_2[3]" identifier = (subscript_expression "param_2[3]" identifier [ number_literal ])) ;) (expression_statement "uVar10 = (uint)((ulonglong)uVar3 * (ulonglong)uVar7);" (assignment_expression "uVar10 = (uint)((ulonglong)uVar3 * (ulonglong)uVar7)" identifier = (call_expression "(uint)((ulonglong)uVar3 * (ulonglong)uVar7)" (parenthesized_expression "(uint)" ( identifier )) (argument_list "((ulonglong)uVar3 * (ulonglong)uVar7)" ( (binary_expression "(ulonglong)uVar3 * (ulonglong)uVar7" (cast_expression "(ulonglong)uVar3" ( (type_descriptor "ulonglong" type_identifier) ) identifier) * (cast_expression "(ulonglong)uVar7" ( (type_descriptor "ulonglong" type_identifier) ) identifier)) )))) ;) (expression_statement "puVar2 = puVar13 + 2;" (assignment_expression "puVar2 = puVar13 + 2" identifier = (binary_expression "puVar13 + 2" identifier + number_literal)) ;) (expression_statement "uVar8 = *puVar2;" (assignment_expression "uVar8 = *puVar2" identifier = (pointer_expression "*puVar2" * identifier)) ;) (expression_statement "*puVar2 = *puVar2 + uVar11;" (assignment_expression "*puVar2 = *puVar2 + uVar11" (pointer_expression "*puVar2" * identifier) = (binary_expression "*puVar2 + uVar11" (pointer_expression "*puVar2" * identifier) + identifier)) ;) (expression_statement "uVar9 = (uint)CARRY4(uVar8,uVar11);" (assignment_expression "uVar9 = (uint)CARRY4(uVar8,uVar11)" identifier = (cast_expression "(uint)CARRY4(uVar8,uVar11)" ( (type_descriptor "uint" type_identifier) ) (call_expression "CARRY4(uVar8,uVar11)" identifier (argument_list "(uVar8,uVar11)" ( identifier , identifier ))))) ;) (expression_statement "uVar4 = uVar12 + uVar10;" (assignment_expression "uVar4 = uVar12 + uVar10" identifier = (binary_expression "uVar12 + uVar10" identifier + identifier)) ;) (expression_statement "uVar11 = uVar4 + uVar9;" (assignment_expression "uVar11 = uVar4 + uVar9" identifier = (binary_expression "uVar4 + uVar9" identifier + identifier)) ;) (expression_statement "puVar2 = puVar13 + 3;" (assignment_expression "puVar2 = puVar13 + 3" identifier = (binary_expression "puVar13 + 3" identifier + number_literal)) ;) (expression_statement "uVar8 = *puVar2;" (assignment_expression "uVar8 = *puVar2" identifier = (pointer_expression "*puVar2" * identifier)) ;) (expression_statement "*puVar2 = *puVar2 + uVar11;" (assignment_expression "*puVar2 = *puVar2 + uVar11" (pointer_expression "*puVar2" * identifier) = (binary_expression "*puVar2 + uVar11" (pointer_expression "*puVar2" * identifier) + identifier)) ;) (expression_statement "uVar8 = (int)((ulonglong)uVar3 * (ulonglong)uVar7 >> 0x20) +\n              (uint)(CARRY4(uVar12,uVar10) || CARRY4(uVar4,uVar9)) + (uint)CARRY4(uVar8,uVar11);" (assignment_expression "uVar8 = (int)((ulonglong)uVar3 * (ulonglong)uVar7 >> 0x20) +\n              (uint)(CARRY4(uVar12,uVar10) || CARRY4(uVar4,uVar9)) + (uint)CARRY4(uVar8,uVar11)" identifier = (binary_expression "(int)((ulonglong)uVar3 * (ulonglong)uVar7 >> 0x20) +\n              (uint)(CARRY4(uVar12,uVar10) || CARRY4(uVar4,uVar9)) + (uint)CARRY4(uVar8,uVar11)" (binary_expression "(int)((ulonglong)uVar3 * (ulonglong)uVar7 >> 0x20) +\n              (uint)(CARRY4(uVar12,uVar10) || CARRY4(uVar4,uVar9))" (cast_expression "(int)((ulonglong)uVar3 * (ulonglong)uVar7 >> 0x20)" ( (type_descriptor "int" primitive_type) ) (parenthesized_expression "((ulonglong)uVar3 * (ulonglong)uVar7 >> 0x20)" ( (binary_expression "(ulonglong)uVar3 * (ulonglong)uVar7 >> 0x20" (binary_expression "(ulonglong)uVar3 * (ulonglong)uVar7" (cast_expression "(ulonglong)uVar3" ( (type_descriptor "ulonglong" type_identifier) ) identifier) * (cast_expression "(ulonglong)uVar7" ( (type_descriptor "ulonglong" type_identifier) ) identifier)) >> number_literal) ))) + (call_expression "(uint)(CARRY4(uVar12,uVar10) || CARRY4(uVar4,uVar9))" (parenthesized_expression "(uint)" ( identifier )) (argument_list "(CARRY4(uVar12,uVar10) || CARRY4(uVar4,uVar9))" ( (binary_expression "CARRY4(uVar12,uVar10) || CARRY4(uVar4,uVar9)" (call_expression "CARRY4(uVar12,uVar10)" identifier (argument_list "(uVar12,uVar10)" ( identifier , identifier ))) || (call_expression "CARRY4(uVar4,uVar9)" identifier (argument_list "(uVar4,uVar9)" ( identifier , identifier )))) )))) + (cast_expression "(uint)CARRY4(uVar8,uVar11)" ( (type_descriptor "uint" type_identifier) ) (call_expression "CARRY4(uVar8,uVar11)" identifier (argument_list "(uVar8,uVar11)" ( 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 "puVar13 = puVar13 + 4;" (assignment_expression "puVar13 = puVar13 + 4" identifier = (binary_expression "puVar13 + 4" identifier + number_literal)) ;) })) (expression_statement "*puVar13 = uVar8;" (assignment_expression "*puVar13 = uVar8" (pointer_expression "*puVar13" * identifier) = identifier) ;) (expression_statement "puVar13 = puVar13 + (1 - param_3);" (assignment_expression "puVar13 = puVar13 + (1 - param_3)" identifier = (binary_expression "puVar13 + (1 - param_3)" identifier + (parenthesized_expression "(1 - param_3)" ( (binary_expression "1 - param_3" number_literal - identifier) )))) ;) (expression_statement "param_2 = param_2 + -param_3;" (assignment_expression "param_2 = param_2 + -param_3" identifier = (binary_expression "param_2 + -param_3" identifier + (unary_expression "-param_3" - identifier))) ;) })) (return_statement "return;" return ;) })))
(translation_unit "void __gmpn_mul_basecase_x86\n               (undefined4 *param_1,uint *param_2,uint param_3,uint *param_4,int param_5)\n\n{\n  longlong lVar1;\n  uint *puVar2;\n  uint uVar3;\n  uint uVar4;\n  int iVar5;\n  uint uVar6;\n  uint uVar7;\n  uint uVar8;\n  uint uVar9;\n  uint uVar10;\n  uint uVar11;\n  uint uVar12;\n  uint *puVar13;\n  \n  uVar7 = (uint)((ulonglong)*param_2 * (ulonglong)*param_4 >> 0x20);\n  *param_1 = (int)((ulonglong)*param_2 * (ulonglong)*param_4);\n  iVar5 = param_3 - 1;\n  if (iVar5 == 0) {\n    param_1[1] = uVar7;\n    return;\n  }\n  param_2 = param_2 + 1;\n  puVar2 = param_1 + 1;\n  do {\n    puVar13 = puVar2;\n    uVar8 = *param_2;\n    param_2 = param_2 + 1;\n    lVar1 = (ulonglong)uVar8 * (ulonglong)*param_4 + (ulonglong)uVar7;\n    uVar7 = (uint)((ulonglong)lVar1 >> 0x20);\n    *puVar13 = (uint)lVar1;\n    iVar5 = iVar5 + -1;\n    puVar2 = puVar13 + 1;\n  } while (iVar5 != 0);\n  puVar13[1] = uVar7;\n  puVar13 = puVar13 + (2 - param_3);\n  param_2 = param_2 + -param_3;\n  for (param_5 = param_5 + -1; param_5 != 0; param_5 = param_5 + -1) {\n    param_4 = param_4 + 1;\n    uVar7 = *param_4;\n    uVar8 = 0;\n    for (uVar6 = param_3 & 3; uVar6 != 0; uVar6 = uVar6 - 1) {\n      uVar3 = *param_2;\n      param_2 = param_2 + 1;\n      lVar1 = (ulonglong)uVar3 * (ulonglong)uVar7 + (ulonglong)uVar8;\n      uVar3 = (uint)lVar1;\n      uVar8 = *puVar13;\n      *puVar13 = *puVar13 + uVar3;\n      uVar8 = (int)((ulonglong)lVar1 >> 0x20) + (uint)CARRY4(uVar8,uVar3);\n      puVar13 = puVar13 + 1;\n    }\n    for (uVar6 = param_3 >> 2; uVar6 != 0; uVar6 = uVar6 - 1) {\n      lVar1 = (ulonglong)*param_2 * (ulonglong)uVar7 + (ulonglong)uVar8;\n      uVar9 = (uint)lVar1;\n      uVar10 = (uint)((ulonglong)lVar1 >> 0x20);\n      uVar3 = param_2[1];\n      uVar4 = (uint)((ulonglong)uVar3 * (ulonglong)uVar7);\n      uVar8 = *puVar13;\n      *puVar13 = *puVar13 + uVar9;\n      uVar8 = (uint)CARRY4(uVar8,uVar9);\n      uVar9 = uVar10 + uVar4;\n      uVar11 = uVar9 + uVar8;\n      uVar10 = (int)((ulonglong)uVar3 * (ulonglong)uVar7 >> 0x20) +\n               (uint)(CARRY4(uVar10,uVar4) || CARRY4(uVar9,uVar8));\n      uVar3 = param_2[2];\n      uVar4 = (uint)((ulonglong)uVar3 * (ulonglong)uVar7);\n      puVar2 = puVar13 + 1;\n      uVar8 = *puVar2;\n      *puVar2 = *puVar2 + uVar11;\n      uVar8 = (uint)CARRY4(uVar8,uVar11);\n      uVar9 = uVar10 + uVar4;\n      uVar11 = uVar9 + uVar8;\n      uVar12 = (int)((ulonglong)uVar3 * (ulonglong)uVar7 >> 0x20) +\n               (uint)(CARRY4(uVar10,uVar4) || CARRY4(uVar9,uVar8));\n      uVar3 = param_2[3];\n      uVar10 = (uint)((ulonglong)uVar3 * (ulonglong)uVar7);\n      puVar2 = puVar13 + 2;\n      uVar8 = *puVar2;\n      *puVar2 = *puVar2 + uVar11;\n      uVar9 = (uint)CARRY4(uVar8,uVar11);\n      uVar4 = uVar12 + uVar10;\n      uVar11 = uVar4 + uVar9;\n      puVar2 = puVar13 + 3;\n      uVar8 = *puVar2;\n      *puVar2 = *puVar2 + uVar11;\n      uVar8 = (int)((ulonglong)uVar3 * (ulonglong)uVar7 >> 0x20) +\n              (uint)(CARRY4(uVar12,uVar10) || CARRY4(uVar4,uVar9)) + (uint)CARRY4(uVar8,uVar11);\n      param_2 = param_2 + 4;\n      puVar13 = puVar13 + 4;\n    }\n    *puVar13 = uVar8;\n    puVar13 = puVar13 + (1 - param_3);\n    param_2 = param_2 + -param_3;\n  }\n  return;\n}\n\n" (function_definition "void __gmpn_mul_basecase_x86\n               (undefined4 *param_1,uint *param_2,uint param_3,uint *param_4,int param_5)\n\n{\n  longlong lVar1;\n  uint *puVar2;\n  uint uVar3;\n  uint uVar4;\n  int iVar5;\n  uint uVar6;\n  uint uVar7;\n  uint uVar8;\n  uint uVar9;\n  uint uVar10;\n  uint uVar11;\n  uint uVar12;\n  uint *puVar13;\n  \n  uVar7 = (uint)((ulonglong)*param_2 * (ulonglong)*param_4 >> 0x20);\n  *param_1 = (int)((ulonglong)*param_2 * (ulonglong)*param_4);\n  iVar5 = param_3 - 1;\n  if (iVar5 == 0) {\n    param_1[1] = uVar7;\n    return;\n  }\n  param_2 = param_2 + 1;\n  puVar2 = param_1 + 1;\n  do {\n    puVar13 = puVar2;\n    uVar8 = *param_2;\n    param_2 = param_2 + 1;\n    lVar1 = (ulonglong)uVar8 * (ulonglong)*param_4 + (ulonglong)uVar7;\n    uVar7 = (uint)((ulonglong)lVar1 >> 0x20);\n    *puVar13 = (uint)lVar1;\n    iVar5 = iVar5 + -1;\n    puVar2 = puVar13 + 1;\n  } while (iVar5 != 0);\n  puVar13[1] = uVar7;\n  puVar13 = puVar13 + (2 - param_3);\n  param_2 = param_2 + -param_3;\n  for (param_5 = param_5 + -1; param_5 != 0; param_5 = param_5 + -1) {\n    param_4 = param_4 + 1;\n    uVar7 = *param_4;\n    uVar8 = 0;\n    for (uVar6 = param_3 & 3; uVar6 != 0; uVar6 = uVar6 - 1) {\n      uVar3 = *param_2;\n      param_2 = param_2 + 1;\n      lVar1 = (ulonglong)uVar3 * (ulonglong)uVar7 + (ulonglong)uVar8;\n      uVar3 = (uint)lVar1;\n      uVar8 = *puVar13;\n      *puVar13 = *puVar13 + uVar3;\n      uVar8 = (int)((ulonglong)lVar1 >> 0x20) + (uint)CARRY4(uVar8,uVar3);\n      puVar13 = puVar13 + 1;\n    }\n    for (uVar6 = param_3 >> 2; uVar6 != 0; uVar6 = uVar6 - 1) {\n      lVar1 = (ulonglong)*param_2 * (ulonglong)uVar7 + (ulonglong)uVar8;\n      uVar9 = (uint)lVar1;\n      uVar10 = (uint)((ulonglong)lVar1 >> 0x20);\n      uVar3 = param_2[1];\n      uVar4 = (uint)((ulonglong)uVar3 * (ulonglong)uVar7);\n      uVar8 = *puVar13;\n      *puVar13 = *puVar13 + uVar9;\n      uVar8 = (uint)CARRY4(uVar8,uVar9);\n      uVar9 = uVar10 + uVar4;\n      uVar11 = uVar9 + uVar8;\n      uVar10 = (int)((ulonglong)uVar3 * (ulonglong)uVar7 >> 0x20) +\n               (uint)(CARRY4(uVar10,uVar4) || CARRY4(uVar9,uVar8));\n      uVar3 = param_2[2];\n      uVar4 = (uint)((ulonglong)uVar3 * (ulonglong)uVar7);\n      puVar2 = puVar13 + 1;\n      uVar8 = *puVar2;\n      *puVar2 = *puVar2 + uVar11;\n      uVar8 = (uint)CARRY4(uVar8,uVar11);\n      uVar9 = uVar10 + uVar4;\n      uVar11 = uVar9 + uVar8;\n      uVar12 = (int)((ulonglong)uVar3 * (ulonglong)uVar7 >> 0x20) +\n               (uint)(CARRY4(uVar10,uVar4) || CARRY4(uVar9,uVar8));\n      uVar3 = param_2[3];\n      uVar10 = (uint)((ulonglong)uVar3 * (ulonglong)uVar7);\n      puVar2 = puVar13 + 2;\n      uVar8 = *puVar2;\n      *puVar2 = *puVar2 + uVar11;\n      uVar9 = (uint)CARRY4(uVar8,uVar11);\n      uVar4 = uVar12 + uVar10;\n      uVar11 = uVar4 + uVar9;\n      puVar2 = puVar13 + 3;\n      uVar8 = *puVar2;\n      *puVar2 = *puVar2 + uVar11;\n      uVar8 = (int)((ulonglong)uVar3 * (ulonglong)uVar7 >> 0x20) +\n              (uint)(CARRY4(uVar12,uVar10) || CARRY4(uVar4,uVar9)) + (uint)CARRY4(uVar8,uVar11);\n      param_2 = param_2 + 4;\n      puVar13 = puVar13 + 4;\n    }\n    *puVar13 = uVar8;\n    puVar13 = puVar13 + (1 - param_3);\n    param_2 = param_2 + -param_3;\n  }\n  return;\n}" primitive_type (function_declarator "__gmpn_mul_basecase_x86\n               (undefined4 *param_1,uint *param_2,uint param_3,uint *param_4,int param_5)" identifier (parameter_list "(undefined4 *param_1,uint *param_2,uint param_3,uint *param_4,int param_5)" ( (parameter_declaration "undefined4 *param_1" type_identifier (pointer_declarator "*param_1" * identifier)) , (parameter_declaration "uint *param_2" type_identifier (pointer_declarator "*param_2" * identifier)) , (parameter_declaration "uint param_3" type_identifier identifier) , (parameter_declaration "uint *param_4" type_identifier (pointer_declarator "*param_4" * identifier)) , (parameter_declaration "int param_5" primitive_type identifier) ))) (compound_statement "{\n  longlong lVar1;\n  uint *puVar2;\n  uint uVar3;\n  uint uVar4;\n  int iVar5;\n  uint uVar6;\n  uint uVar7;\n  uint uVar8;\n  uint uVar9;\n  uint uVar10;\n  uint uVar11;\n  uint uVar12;\n  uint *puVar13;\n  \n  uVar7 = (uint)((ulonglong)*param_2 * (ulonglong)*param_4 >> 0x20);\n  *param_1 = (int)((ulonglong)*param_2 * (ulonglong)*param_4);\n  iVar5 = param_3 - 1;\n  if (iVar5 == 0) {\n    param_1[1] = uVar7;\n    return;\n  }\n  param_2 = param_2 + 1;\n  puVar2 = param_1 + 1;\n  do {\n    puVar13 = puVar2;\n    uVar8 = *param_2;\n    param_2 = param_2 + 1;\n    lVar1 = (ulonglong)uVar8 * (ulonglong)*param_4 + (ulonglong)uVar7;\n    uVar7 = (uint)((ulonglong)lVar1 >> 0x20);\n    *puVar13 = (uint)lVar1;\n    iVar5 = iVar5 + -1;\n    puVar2 = puVar13 + 1;\n  } while (iVar5 != 0);\n  puVar13[1] = uVar7;\n  puVar13 = puVar13 + (2 - param_3);\n  param_2 = param_2 + -param_3;\n  for (param_5 = param_5 + -1; param_5 != 0; param_5 = param_5 + -1) {\n    param_4 = param_4 + 1;\n    uVar7 = *param_4;\n    uVar8 = 0;\n    for (uVar6 = param_3 & 3; uVar6 != 0; uVar6 = uVar6 - 1) {\n      uVar3 = *param_2;\n      param_2 = param_2 + 1;\n      lVar1 = (ulonglong)uVar3 * (ulonglong)uVar7 + (ulonglong)uVar8;\n      uVar3 = (uint)lVar1;\n      uVar8 = *puVar13;\n      *puVar13 = *puVar13 + uVar3;\n      uVar8 = (int)((ulonglong)lVar1 >> 0x20) + (uint)CARRY4(uVar8,uVar3);\n      puVar13 = puVar13 + 1;\n    }\n    for (uVar6 = param_3 >> 2; uVar6 != 0; uVar6 = uVar6 - 1) {\n      lVar1 = (ulonglong)*param_2 * (ulonglong)uVar7 + (ulonglong)uVar8;\n      uVar9 = (uint)lVar1;\n      uVar10 = (uint)((ulonglong)lVar1 >> 0x20);\n      uVar3 = param_2[1];\n      uVar4 = (uint)((ulonglong)uVar3 * (ulonglong)uVar7);\n      uVar8 = *puVar13;\n      *puVar13 = *puVar13 + uVar9;\n      uVar8 = (uint)CARRY4(uVar8,uVar9);\n      uVar9 = uVar10 + uVar4;\n      uVar11 = uVar9 + uVar8;\n      uVar10 = (int)((ulonglong)uVar3 * (ulonglong)uVar7 >> 0x20) +\n               (uint)(CARRY4(uVar10,uVar4) || CARRY4(uVar9,uVar8));\n      uVar3 = param_2[2];\n      uVar4 = (uint)((ulonglong)uVar3 * (ulonglong)uVar7);\n      puVar2 = puVar13 + 1;\n      uVar8 = *puVar2;\n      *puVar2 = *puVar2 + uVar11;\n      uVar8 = (uint)CARRY4(uVar8,uVar11);\n      uVar9 = uVar10 + uVar4;\n      uVar11 = uVar9 + uVar8;\n      uVar12 = (int)((ulonglong)uVar3 * (ulonglong)uVar7 >> 0x20) +\n               (uint)(CARRY4(uVar10,uVar4) || CARRY4(uVar9,uVar8));\n      uVar3 = param_2[3];\n      uVar10 = (uint)((ulonglong)uVar3 * (ulonglong)uVar7);\n      puVar2 = puVar13 + 2;\n      uVar8 = *puVar2;\n      *puVar2 = *puVar2 + uVar11;\n      uVar9 = (uint)CARRY4(uVar8,uVar11);\n      uVar4 = uVar12 + uVar10;\n      uVar11 = uVar4 + uVar9;\n      puVar2 = puVar13 + 3;\n      uVar8 = *puVar2;\n      *puVar2 = *puVar2 + uVar11;\n      uVar8 = (int)((ulonglong)uVar3 * (ulonglong)uVar7 >> 0x20) +\n              (uint)(CARRY4(uVar12,uVar10) || CARRY4(uVar4,uVar9)) + (uint)CARRY4(uVar8,uVar11);\n      param_2 = param_2 + 4;\n      puVar13 = puVar13 + 4;\n    }\n    *puVar13 = uVar8;\n    puVar13 = puVar13 + (1 - param_3);\n    param_2 = param_2 + -param_3;\n  }\n  return;\n}" { (declaration "longlong lVar1;" type_identifier identifier ;) (declaration "uint *puVar2;" type_identifier (pointer_declarator "*puVar2" * identifier) ;) (declaration "uint uVar3;" type_identifier identifier ;) (declaration "uint uVar4;" type_identifier identifier ;) (declaration "int iVar5;" primitive_type 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 ;) (declaration "uint uVar10;" type_identifier identifier ;) (declaration "uint uVar11;" type_identifier identifier ;) (declaration "uint uVar12;" type_identifier identifier ;) (declaration "uint *puVar13;" type_identifier (pointer_declarator "*puVar13" * identifier) ;) (expression_statement "uVar7 = (uint)((ulonglong)*param_2 * (ulonglong)*param_4 >> 0x20);" (assignment_expression "uVar7 = (uint)((ulonglong)*param_2 * (ulonglong)*param_4 >> 0x20)" identifier = (call_expression "(uint)((ulonglong)*param_2 * (ulonglong)*param_4 >> 0x20)" (parenthesized_expression "(uint)" ( identifier )) (argument_list "((ulonglong)*param_2 * (ulonglong)*param_4 >> 0x20)" ( (binary_expression "(ulonglong)*param_2 * (ulonglong)*param_4 >> 0x20" (binary_expression "(ulonglong)*param_2 * (ulonglong)*param_4" (binary_expression "(ulonglong)*param_2 * (ulonglong)" (binary_expression "(ulonglong)*param_2" (parenthesized_expression "(ulonglong)" ( identifier )) * identifier) * (parenthesized_expression "(ulonglong)" ( identifier ))) * identifier) >> number_literal) )))) ;) (expression_statement "*param_1 = (int)((ulonglong)*param_2 * (ulonglong)*param_4);" (assignment_expression "*param_1 = (int)((ulonglong)*param_2 * (ulonglong)*param_4)" (pointer_expression "*param_1" * identifier) = (cast_expression "(int)((ulonglong)*param_2 * (ulonglong)*param_4)" ( (type_descriptor "int" primitive_type) ) (parenthesized_expression "((ulonglong)*param_2 * (ulonglong)*param_4)" ( (binary_expression "(ulonglong)*param_2 * (ulonglong)*param_4" (binary_expression "(ulonglong)*param_2 * (ulonglong)" (binary_expression "(ulonglong)*param_2" (parenthesized_expression "(ulonglong)" ( identifier )) * identifier) * (parenthesized_expression "(ulonglong)" ( identifier ))) * identifier) )))) ;) (expression_statement "iVar5 = param_3 - 1;" (assignment_expression "iVar5 = param_3 - 1" identifier = (binary_expression "param_3 - 1" identifier - number_literal)) ;) (if_statement "if (iVar5 == 0) {\n    param_1[1] = uVar7;\n    return;\n  }" if (parenthesized_expression "(iVar5 == 0)" ( (binary_expression "iVar5 == 0" identifier == number_literal) )) (compound_statement "{\n    param_1[1] = uVar7;\n    return;\n  }" { (expression_statement "param_1[1] = uVar7;" (assignment_expression "param_1[1] = uVar7" (subscript_expression "param_1[1]" identifier [ number_literal ]) = identifier) ;) (return_statement "return;" return ;) })) (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 "puVar2 = param_1 + 1;" (assignment_expression "puVar2 = param_1 + 1" identifier = (binary_expression "param_1 + 1" identifier + number_literal)) ;) (do_statement "do {\n    puVar13 = puVar2;\n    uVar8 = *param_2;\n    param_2 = param_2 + 1;\n    lVar1 = (ulonglong)uVar8 * (ulonglong)*param_4 + (ulonglong)uVar7;\n    uVar7 = (uint)((ulonglong)lVar1 >> 0x20);\n    *puVar13 = (uint)lVar1;\n    iVar5 = iVar5 + -1;\n    puVar2 = puVar13 + 1;\n  } while (iVar5 != 0);" do (compound_statement "{\n    puVar13 = puVar2;\n    uVar8 = *param_2;\n    param_2 = param_2 + 1;\n    lVar1 = (ulonglong)uVar8 * (ulonglong)*param_4 + (ulonglong)uVar7;\n    uVar7 = (uint)((ulonglong)lVar1 >> 0x20);\n    *puVar13 = (uint)lVar1;\n    iVar5 = iVar5 + -1;\n    puVar2 = puVar13 + 1;\n  }" { (expression_statement "puVar13 = puVar2;" (assignment_expression "puVar13 = puVar2" identifier = identifier) ;) (expression_statement "uVar8 = *param_2;" (assignment_expression "uVar8 = *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 "lVar1 = (ulonglong)uVar8 * (ulonglong)*param_4 + (ulonglong)uVar7;" (assignment_expression "lVar1 = (ulonglong)uVar8 * (ulonglong)*param_4 + (ulonglong)uVar7" identifier = (binary_expression "(ulonglong)uVar8 * (ulonglong)*param_4 + (ulonglong)uVar7" (binary_expression "(ulonglong)uVar8 * (ulonglong)*param_4" (binary_expression "(ulonglong)uVar8 * (ulonglong)" (cast_expression "(ulonglong)uVar8" ( (type_descriptor "ulonglong" type_identifier) ) identifier) * (parenthesized_expression "(ulonglong)" ( identifier ))) * identifier) + (cast_expression "(ulonglong)uVar7" ( (type_descriptor "ulonglong" type_identifier) ) identifier))) ;) (expression_statement "uVar7 = (uint)((ulonglong)lVar1 >> 0x20);" (assignment_expression "uVar7 = (uint)((ulonglong)lVar1 >> 0x20)" identifier = (call_expression "(uint)((ulonglong)lVar1 >> 0x20)" (parenthesized_expression "(uint)" ( identifier )) (argument_list "((ulonglong)lVar1 >> 0x20)" ( (binary_expression "(ulonglong)lVar1 >> 0x20" (cast_expression "(ulonglong)lVar1" ( (type_descriptor "ulonglong" type_identifier) ) identifier) >> number_literal) )))) ;) (expression_statement "*puVar13 = (uint)lVar1;" (assignment_expression "*puVar13 = (uint)lVar1" (pointer_expression "*puVar13" * identifier) = (cast_expression "(uint)lVar1" ( (type_descriptor "uint" type_identifier) ) identifier)) ;) (expression_statement "iVar5 = iVar5 + -1;" (assignment_expression "iVar5 = iVar5 + -1" identifier = (binary_expression "iVar5 + -1" identifier + number_literal)) ;) (expression_statement "puVar2 = puVar13 + 1;" (assignment_expression "puVar2 = puVar13 + 1" identifier = (binary_expression "puVar13 + 1" identifier + number_literal)) ;) }) while (parenthesized_expression "(iVar5 != 0)" ( (binary_expression "iVar5 != 0" identifier != number_literal) )) ;) (expression_statement "puVar13[1] = uVar7;" (assignment_expression "puVar13[1] = uVar7" (subscript_expression "puVar13[1]" identifier [ number_literal ]) = identifier) ;) (expression_statement "puVar13 = puVar13 + (2 - param_3);" (assignment_expression "puVar13 = puVar13 + (2 - param_3)" identifier = (binary_expression "puVar13 + (2 - param_3)" identifier + (parenthesized_expression "(2 - param_3)" ( (binary_expression "2 - param_3" number_literal - identifier) )))) ;) (expression_statement "param_2 = param_2 + -param_3;" (assignment_expression "param_2 = param_2 + -param_3" identifier = (binary_expression "param_2 + -param_3" identifier + (unary_expression "-param_3" - identifier))) ;) (for_statement "for (param_5 = param_5 + -1; param_5 != 0; param_5 = param_5 + -1) {\n    param_4 = param_4 + 1;\n    uVar7 = *param_4;\n    uVar8 = 0;\n    for (uVar6 = param_3 & 3; uVar6 != 0; uVar6 = uVar6 - 1) {\n      uVar3 = *param_2;\n      param_2 = param_2 + 1;\n      lVar1 = (ulonglong)uVar3 * (ulonglong)uVar7 + (ulonglong)uVar8;\n      uVar3 = (uint)lVar1;\n      uVar8 = *puVar13;\n      *puVar13 = *puVar13 + uVar3;\n      uVar8 = (int)((ulonglong)lVar1 >> 0x20) + (uint)CARRY4(uVar8,uVar3);\n      puVar13 = puVar13 + 1;\n    }\n    for (uVar6 = param_3 >> 2; uVar6 != 0; uVar6 = uVar6 - 1) {\n      lVar1 = (ulonglong)*param_2 * (ulonglong)uVar7 + (ulonglong)uVar8;\n      uVar9 = (uint)lVar1;\n      uVar10 = (uint)((ulonglong)lVar1 >> 0x20);\n      uVar3 = param_2[1];\n      uVar4 = (uint)((ulonglong)uVar3 * (ulonglong)uVar7);\n      uVar8 = *puVar13;\n      *puVar13 = *puVar13 + uVar9;\n      uVar8 = (uint)CARRY4(uVar8,uVar9);\n      uVar9 = uVar10 + uVar4;\n      uVar11 = uVar9 + uVar8;\n      uVar10 = (int)((ulonglong)uVar3 * (ulonglong)uVar7 >> 0x20) +\n               (uint)(CARRY4(uVar10,uVar4) || CARRY4(uVar9,uVar8));\n      uVar3 = param_2[2];\n      uVar4 = (uint)((ulonglong)uVar3 * (ulonglong)uVar7);\n      puVar2 = puVar13 + 1;\n      uVar8 = *puVar2;\n      *puVar2 = *puVar2 + uVar11;\n      uVar8 = (uint)CARRY4(uVar8,uVar11);\n      uVar9 = uVar10 + uVar4;\n      uVar11 = uVar9 + uVar8;\n      uVar12 = (int)((ulonglong)uVar3 * (ulonglong)uVar7 >> 0x20) +\n               (uint)(CARRY4(uVar10,uVar4) || CARRY4(uVar9,uVar8));\n      uVar3 = param_2[3];\n      uVar10 = (uint)((ulonglong)uVar3 * (ulonglong)uVar7);\n      puVar2 = puVar13 + 2;\n      uVar8 = *puVar2;\n      *puVar2 = *puVar2 + uVar11;\n      uVar9 = (uint)CARRY4(uVar8,uVar11);\n      uVar4 = uVar12 + uVar10;\n      uVar11 = uVar4 + uVar9;\n      puVar2 = puVar13 + 3;\n      uVar8 = *puVar2;\n      *puVar2 = *puVar2 + uVar11;\n      uVar8 = (int)((ulonglong)uVar3 * (ulonglong)uVar7 >> 0x20) +\n              (uint)(CARRY4(uVar12,uVar10) || CARRY4(uVar4,uVar9)) + (uint)CARRY4(uVar8,uVar11);\n      param_2 = param_2 + 4;\n      puVar13 = puVar13 + 4;\n    }\n    *puVar13 = uVar8;\n    puVar13 = puVar13 + (1 - param_3);\n    param_2 = param_2 + -param_3;\n  }" for ( (assignment_expression "param_5 = param_5 + -1" identifier = (binary_expression "param_5 + -1" identifier + number_literal)) ; (binary_expression "param_5 != 0" identifier != number_literal) ; (assignment_expression "param_5 = param_5 + -1" identifier = (binary_expression "param_5 + -1" identifier + number_literal)) ) (compound_statement "{\n    param_4 = param_4 + 1;\n    uVar7 = *param_4;\n    uVar8 = 0;\n    for (uVar6 = param_3 & 3; uVar6 != 0; uVar6 = uVar6 - 1) {\n      uVar3 = *param_2;\n      param_2 = param_2 + 1;\n      lVar1 = (ulonglong)uVar3 * (ulonglong)uVar7 + (ulonglong)uVar8;\n      uVar3 = (uint)lVar1;\n      uVar8 = *puVar13;\n      *puVar13 = *puVar13 + uVar3;\n      uVar8 = (int)((ulonglong)lVar1 >> 0x20) + (uint)CARRY4(uVar8,uVar3);\n      puVar13 = puVar13 + 1;\n    }\n    for (uVar6 = param_3 >> 2; uVar6 != 0; uVar6 = uVar6 - 1) {\n      lVar1 = (ulonglong)*param_2 * (ulonglong)uVar7 + (ulonglong)uVar8;\n      uVar9 = (uint)lVar1;\n      uVar10 = (uint)((ulonglong)lVar1 >> 0x20);\n      uVar3 = param_2[1];\n      uVar4 = (uint)((ulonglong)uVar3 * (ulonglong)uVar7);\n      uVar8 = *puVar13;\n      *puVar13 = *puVar13 + uVar9;\n      uVar8 = (uint)CARRY4(uVar8,uVar9);\n      uVar9 = uVar10 + uVar4;\n      uVar11 = uVar9 + uVar8;\n      uVar10 = (int)((ulonglong)uVar3 * (ulonglong)uVar7 >> 0x20) +\n               (uint)(CARRY4(uVar10,uVar4) || CARRY4(uVar9,uVar8));\n      uVar3 = param_2[2];\n      uVar4 = (uint)((ulonglong)uVar3 * (ulonglong)uVar7);\n      puVar2 = puVar13 + 1;\n      uVar8 = *puVar2;\n      *puVar2 = *puVar2 + uVar11;\n      uVar8 = (uint)CARRY4(uVar8,uVar11);\n      uVar9 = uVar10 + uVar4;\n      uVar11 = uVar9 + uVar8;\n      uVar12 = (int)((ulonglong)uVar3 * (ulonglong)uVar7 >> 0x20) +\n               (uint)(CARRY4(uVar10,uVar4) || CARRY4(uVar9,uVar8));\n      uVar3 = param_2[3];\n      uVar10 = (uint)((ulonglong)uVar3 * (ulonglong)uVar7);\n      puVar2 = puVar13 + 2;\n      uVar8 = *puVar2;\n      *puVar2 = *puVar2 + uVar11;\n      uVar9 = (uint)CARRY4(uVar8,uVar11);\n      uVar4 = uVar12 + uVar10;\n      uVar11 = uVar4 + uVar9;\n      puVar2 = puVar13 + 3;\n      uVar8 = *puVar2;\n      *puVar2 = *puVar2 + uVar11;\n      uVar8 = (int)((ulonglong)uVar3 * (ulonglong)uVar7 >> 0x20) +\n              (uint)(CARRY4(uVar12,uVar10) || CARRY4(uVar4,uVar9)) + (uint)CARRY4(uVar8,uVar11);\n      param_2 = param_2 + 4;\n      puVar13 = puVar13 + 4;\n    }\n    *puVar13 = uVar8;\n    puVar13 = puVar13 + (1 - param_3);\n    param_2 = param_2 + -param_3;\n  }" { (expression_statement "param_4 = param_4 + 1;" (assignment_expression "param_4 = param_4 + 1" identifier = (binary_expression "param_4 + 1" identifier + number_literal)) ;) (expression_statement "uVar7 = *param_4;" (assignment_expression "uVar7 = *param_4" identifier = (pointer_expression "*param_4" * identifier)) ;) (expression_statement "uVar8 = 0;" (assignment_expression "uVar8 = 0" identifier = number_literal) ;) (for_statement "for (uVar6 = param_3 & 3; uVar6 != 0; uVar6 = uVar6 - 1) {\n      uVar3 = *param_2;\n      param_2 = param_2 + 1;\n      lVar1 = (ulonglong)uVar3 * (ulonglong)uVar7 + (ulonglong)uVar8;\n      uVar3 = (uint)lVar1;\n      uVar8 = *puVar13;\n      *puVar13 = *puVar13 + uVar3;\n      uVar8 = (int)((ulonglong)lVar1 >> 0x20) + (uint)CARRY4(uVar8,uVar3);\n      puVar13 = puVar13 + 1;\n    }" for ( (assignment_expression "uVar6 = param_3 & 3" identifier = (binary_expression "param_3 & 3" identifier & number_literal)) ; (binary_expression "uVar6 != 0" identifier != number_literal) ; (assignment_expression "uVar6 = uVar6 - 1" identifier = (binary_expression "uVar6 - 1" identifier - number_literal)) ) (compound_statement "{\n      uVar3 = *param_2;\n      param_2 = param_2 + 1;\n      lVar1 = (ulonglong)uVar3 * (ulonglong)uVar7 + (ulonglong)uVar8;\n      uVar3 = (uint)lVar1;\n      uVar8 = *puVar13;\n      *puVar13 = *puVar13 + uVar3;\n      uVar8 = (int)((ulonglong)lVar1 >> 0x20) + (uint)CARRY4(uVar8,uVar3);\n      puVar13 = puVar13 + 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 "lVar1 = (ulonglong)uVar3 * (ulonglong)uVar7 + (ulonglong)uVar8;" (assignment_expression "lVar1 = (ulonglong)uVar3 * (ulonglong)uVar7 + (ulonglong)uVar8" identifier = (binary_expression "(ulonglong)uVar3 * (ulonglong)uVar7 + (ulonglong)uVar8" (binary_expression "(ulonglong)uVar3 * (ulonglong)uVar7" (cast_expression "(ulonglong)uVar3" ( (type_descriptor "ulonglong" type_identifier) ) identifier) * (cast_expression "(ulonglong)uVar7" ( (type_descriptor "ulonglong" type_identifier) ) identifier)) + (cast_expression "(ulonglong)uVar8" ( (type_descriptor "ulonglong" type_identifier) ) identifier))) ;) (expression_statement "uVar3 = (uint)lVar1;" (assignment_expression "uVar3 = (uint)lVar1" identifier = (cast_expression "(uint)lVar1" ( (type_descriptor "uint" type_identifier) ) identifier)) ;) (expression_statement "uVar8 = *puVar13;" (assignment_expression "uVar8 = *puVar13" identifier = (pointer_expression "*puVar13" * identifier)) ;) (expression_statement "*puVar13 = *puVar13 + uVar3;" (assignment_expression "*puVar13 = *puVar13 + uVar3" (pointer_expression "*puVar13" * identifier) = (binary_expression "*puVar13 + uVar3" (pointer_expression "*puVar13" * identifier) + identifier)) ;) (expression_statement "uVar8 = (int)((ulonglong)lVar1 >> 0x20) + (uint)CARRY4(uVar8,uVar3);" (assignment_expression "uVar8 = (int)((ulonglong)lVar1 >> 0x20) + (uint)CARRY4(uVar8,uVar3)" identifier = (binary_expression "(int)((ulonglong)lVar1 >> 0x20) + (uint)CARRY4(uVar8,uVar3)" (cast_expression "(int)((ulonglong)lVar1 >> 0x20)" ( (type_descriptor "int" primitive_type) ) (parenthesized_expression "((ulonglong)lVar1 >> 0x20)" ( (binary_expression "(ulonglong)lVar1 >> 0x20" (cast_expression "(ulonglong)lVar1" ( (type_descriptor "ulonglong" type_identifier) ) identifier) >> number_literal) ))) + (cast_expression "(uint)CARRY4(uVar8,uVar3)" ( (type_descriptor "uint" type_identifier) ) (call_expression "CARRY4(uVar8,uVar3)" identifier (argument_list "(uVar8,uVar3)" ( identifier , identifier )))))) ;) (expression_statement "puVar13 = puVar13 + 1;" (assignment_expression "puVar13 = puVar13 + 1" identifier = (binary_expression "puVar13 + 1" identifier + number_literal)) ;) })) (for_statement "for (uVar6 = param_3 >> 2; uVar6 != 0; uVar6 = uVar6 - 1) {\n      lVar1 = (ulonglong)*param_2 * (ulonglong)uVar7 + (ulonglong)uVar8;\n      uVar9 = (uint)lVar1;\n      uVar10 = (uint)((ulonglong)lVar1 >> 0x20);\n      uVar3 = param_2[1];\n      uVar4 = (uint)((ulonglong)uVar3 * (ulonglong)uVar7);\n      uVar8 = *puVar13;\n      *puVar13 = *puVar13 + uVar9;\n      uVar8 = (uint)CARRY4(uVar8,uVar9);\n      uVar9 = uVar10 + uVar4;\n      uVar11 = uVar9 + uVar8;\n      uVar10 = (int)((ulonglong)uVar3 * (ulonglong)uVar7 >> 0x20) +\n               (uint)(CARRY4(uVar10,uVar4) || CARRY4(uVar9,uVar8));\n      uVar3 = param_2[2];\n      uVar4 = (uint)((ulonglong)uVar3 * (ulonglong)uVar7);\n      puVar2 = puVar13 + 1;\n      uVar8 = *puVar2;\n      *puVar2 = *puVar2 + uVar11;\n      uVar8 = (uint)CARRY4(uVar8,uVar11);\n      uVar9 = uVar10 + uVar4;\n      uVar11 = uVar9 + uVar8;\n      uVar12 = (int)((ulonglong)uVar3 * (ulonglong)uVar7 >> 0x20) +\n               (uint)(CARRY4(uVar10,uVar4) || CARRY4(uVar9,uVar8));\n      uVar3 = param_2[3];\n      uVar10 = (uint)((ulonglong)uVar3 * (ulonglong)uVar7);\n      puVar2 = puVar13 + 2;\n      uVar8 = *puVar2;\n      *puVar2 = *puVar2 + uVar11;\n      uVar9 = (uint)CARRY4(uVar8,uVar11);\n      uVar4 = uVar12 + uVar10;\n      uVar11 = uVar4 + uVar9;\n      puVar2 = puVar13 + 3;\n      uVar8 = *puVar2;\n      *puVar2 = *puVar2 + uVar11;\n      uVar8 = (int)((ulonglong)uVar3 * (ulonglong)uVar7 >> 0x20) +\n              (uint)(CARRY4(uVar12,uVar10) || CARRY4(uVar4,uVar9)) + (uint)CARRY4(uVar8,uVar11);\n      param_2 = param_2 + 4;\n      puVar13 = puVar13 + 4;\n    }" for ( (assignment_expression "uVar6 = param_3 >> 2" identifier = (binary_expression "param_3 >> 2" identifier >> number_literal)) ; (binary_expression "uVar6 != 0" identifier != number_literal) ; (assignment_expression "uVar6 = uVar6 - 1" identifier = (binary_expression "uVar6 - 1" identifier - number_literal)) ) (compound_statement "{\n      lVar1 = (ulonglong)*param_2 * (ulonglong)uVar7 + (ulonglong)uVar8;\n      uVar9 = (uint)lVar1;\n      uVar10 = (uint)((ulonglong)lVar1 >> 0x20);\n      uVar3 = param_2[1];\n      uVar4 = (uint)((ulonglong)uVar3 * (ulonglong)uVar7);\n      uVar8 = *puVar13;\n      *puVar13 = *puVar13 + uVar9;\n      uVar8 = (uint)CARRY4(uVar8,uVar9);\n      uVar9 = uVar10 + uVar4;\n      uVar11 = uVar9 + uVar8;\n      uVar10 = (int)((ulonglong)uVar3 * (ulonglong)uVar7 >> 0x20) +\n               (uint)(CARRY4(uVar10,uVar4) || CARRY4(uVar9,uVar8));\n      uVar3 = param_2[2];\n      uVar4 = (uint)((ulonglong)uVar3 * (ulonglong)uVar7);\n      puVar2 = puVar13 + 1;\n      uVar8 = *puVar2;\n      *puVar2 = *puVar2 + uVar11;\n      uVar8 = (uint)CARRY4(uVar8,uVar11);\n      uVar9 = uVar10 + uVar4;\n      uVar11 = uVar9 + uVar8;\n      uVar12 = (int)((ulonglong)uVar3 * (ulonglong)uVar7 >> 0x20) +\n               (uint)(CARRY4(uVar10,uVar4) || CARRY4(uVar9,uVar8));\n      uVar3 = param_2[3];\n      uVar10 = (uint)((ulonglong)uVar3 * (ulonglong)uVar7);\n      puVar2 = puVar13 + 2;\n      uVar8 = *puVar2;\n      *puVar2 = *puVar2 + uVar11;\n      uVar9 = (uint)CARRY4(uVar8,uVar11);\n      uVar4 = uVar12 + uVar10;\n      uVar11 = uVar4 + uVar9;\n      puVar2 = puVar13 + 3;\n      uVar8 = *puVar2;\n      *puVar2 = *puVar2 + uVar11;\n      uVar8 = (int)((ulonglong)uVar3 * (ulonglong)uVar7 >> 0x20) +\n              (uint)(CARRY4(uVar12,uVar10) || CARRY4(uVar4,uVar9)) + (uint)CARRY4(uVar8,uVar11);\n      param_2 = param_2 + 4;\n      puVar13 = puVar13 + 4;\n    }" { (expression_statement "lVar1 = (ulonglong)*param_2 * (ulonglong)uVar7 + (ulonglong)uVar8;" (assignment_expression "lVar1 = (ulonglong)*param_2 * (ulonglong)uVar7 + (ulonglong)uVar8" identifier = (binary_expression "(ulonglong)*param_2 * (ulonglong)uVar7 + (ulonglong)uVar8" (binary_expression "(ulonglong)*param_2 * (ulonglong)uVar7" (binary_expression "(ulonglong)*param_2" (parenthesized_expression "(ulonglong)" ( identifier )) * identifier) * (cast_expression "(ulonglong)uVar7" ( (type_descriptor "ulonglong" type_identifier) ) identifier)) + (cast_expression "(ulonglong)uVar8" ( (type_descriptor "ulonglong" type_identifier) ) identifier))) ;) (expression_statement "uVar9 = (uint)lVar1;" (assignment_expression "uVar9 = (uint)lVar1" identifier = (cast_expression "(uint)lVar1" ( (type_descriptor "uint" type_identifier) ) identifier)) ;) (expression_statement "uVar10 = (uint)((ulonglong)lVar1 >> 0x20);" (assignment_expression "uVar10 = (uint)((ulonglong)lVar1 >> 0x20)" identifier = (call_expression "(uint)((ulonglong)lVar1 >> 0x20)" (parenthesized_expression "(uint)" ( identifier )) (argument_list "((ulonglong)lVar1 >> 0x20)" ( (binary_expression "(ulonglong)lVar1 >> 0x20" (cast_expression "(ulonglong)lVar1" ( (type_descriptor "ulonglong" type_identifier) ) identifier) >> number_literal) )))) ;) (expression_statement "uVar3 = param_2[1];" (assignment_expression "uVar3 = param_2[1]" identifier = (subscript_expression "param_2[1]" identifier [ number_literal ])) ;) (expression_statement "uVar4 = (uint)((ulonglong)uVar3 * (ulonglong)uVar7);" (assignment_expression "uVar4 = (uint)((ulonglong)uVar3 * (ulonglong)uVar7)" identifier = (call_expression "(uint)((ulonglong)uVar3 * (ulonglong)uVar7)" (parenthesized_expression "(uint)" ( identifier )) (argument_list "((ulonglong)uVar3 * (ulonglong)uVar7)" ( (binary_expression "(ulonglong)uVar3 * (ulonglong)uVar7" (cast_expression "(ulonglong)uVar3" ( (type_descriptor "ulonglong" type_identifier) ) identifier) * (cast_expression "(ulonglong)uVar7" ( (type_descriptor "ulonglong" type_identifier) ) identifier)) )))) ;) (expression_statement "uVar8 = *puVar13;" (assignment_expression "uVar8 = *puVar13" identifier = (pointer_expression "*puVar13" * identifier)) ;) (expression_statement "*puVar13 = *puVar13 + uVar9;" (assignment_expression "*puVar13 = *puVar13 + uVar9" (pointer_expression "*puVar13" * identifier) = (binary_expression "*puVar13 + uVar9" (pointer_expression "*puVar13" * identifier) + identifier)) ;) (expression_statement "uVar8 = (uint)CARRY4(uVar8,uVar9);" (assignment_expression "uVar8 = (uint)CARRY4(uVar8,uVar9)" identifier = (cast_expression "(uint)CARRY4(uVar8,uVar9)" ( (type_descriptor "uint" type_identifier) ) (call_expression "CARRY4(uVar8,uVar9)" identifier (argument_list "(uVar8,uVar9)" ( identifier , identifier ))))) ;) (expression_statement "uVar9 = uVar10 + uVar4;" (assignment_expression "uVar9 = uVar10 + uVar4" identifier = (binary_expression "uVar10 + uVar4" identifier + identifier)) ;) (expression_statement "uVar11 = uVar9 + uVar8;" (assignment_expression "uVar11 = uVar9 + uVar8" identifier = (binary_expression "uVar9 + uVar8" identifier + identifier)) ;) (expression_statement "uVar10 = (int)((ulonglong)uVar3 * (ulonglong)uVar7 >> 0x20) +\n               (uint)(CARRY4(uVar10,uVar4) || CARRY4(uVar9,uVar8));" (assignment_expression "uVar10 = (int)((ulonglong)uVar3 * (ulonglong)uVar7 >> 0x20) +\n               (uint)(CARRY4(uVar10,uVar4) || CARRY4(uVar9,uVar8))" identifier = (binary_expression "(int)((ulonglong)uVar3 * (ulonglong)uVar7 >> 0x20) +\n               (uint)(CARRY4(uVar10,uVar4) || CARRY4(uVar9,uVar8))" (cast_expression "(int)((ulonglong)uVar3 * (ulonglong)uVar7 >> 0x20)" ( (type_descriptor "int" primitive_type) ) (parenthesized_expression "((ulonglong)uVar3 * (ulonglong)uVar7 >> 0x20)" ( (binary_expression "(ulonglong)uVar3 * (ulonglong)uVar7 >> 0x20" (binary_expression "(ulonglong)uVar3 * (ulonglong)uVar7" (cast_expression "(ulonglong)uVar3" ( (type_descriptor "ulonglong" type_identifier) ) identifier) * (cast_expression "(ulonglong)uVar7" ( (type_descriptor "ulonglong" type_identifier) ) identifier)) >> number_literal) ))) + (call_expression "(uint)(CARRY4(uVar10,uVar4) || CARRY4(uVar9,uVar8))" (parenthesized_expression "(uint)" ( identifier )) (argument_list "(CARRY4(uVar10,uVar4) || CARRY4(uVar9,uVar8))" ( (binary_expression "CARRY4(uVar10,uVar4) || CARRY4(uVar9,uVar8)" (call_expression "CARRY4(uVar10,uVar4)" identifier (argument_list "(uVar10,uVar4)" ( identifier , identifier ))) || (call_expression "CARRY4(uVar9,uVar8)" identifier (argument_list "(uVar9,uVar8)" ( identifier , identifier )))) ))))) ;) (expression_statement "uVar3 = param_2[2];" (assignment_expression "uVar3 = param_2[2]" identifier = (subscript_expression "param_2[2]" identifier [ number_literal ])) ;) (expression_statement "uVar4 = (uint)((ulonglong)uVar3 * (ulonglong)uVar7);" (assignment_expression "uVar4 = (uint)((ulonglong)uVar3 * (ulonglong)uVar7)" identifier = (call_expression "(uint)((ulonglong)uVar3 * (ulonglong)uVar7)" (parenthesized_expression "(uint)" ( identifier )) (argument_list "((ulonglong)uVar3 * (ulonglong)uVar7)" ( (binary_expression "(ulonglong)uVar3 * (ulonglong)uVar7" (cast_expression "(ulonglong)uVar3" ( (type_descriptor "ulonglong" type_identifier) ) identifier) * (cast_expression "(ulonglong)uVar7" ( (type_descriptor "ulonglong" type_identifier) ) identifier)) )))) ;) (expression_statement "puVar2 = puVar13 + 1;" (assignment_expression "puVar2 = puVar13 + 1" identifier = (binary_expression "puVar13 + 1" identifier + number_literal)) ;) (expression_statement "uVar8 = *puVar2;" (assignment_expression "uVar8 = *puVar2" identifier = (pointer_expression "*puVar2" * identifier)) ;) (expression_statement "*puVar2 = *puVar2 + uVar11;" (assignment_expression "*puVar2 = *puVar2 + uVar11" (pointer_expression "*puVar2" * identifier) = (binary_expression "*puVar2 + uVar11" (pointer_expression "*puVar2" * identifier) + identifier)) ;) (expression_statement "uVar8 = (uint)CARRY4(uVar8,uVar11);" (assignment_expression "uVar8 = (uint)CARRY4(uVar8,uVar11)" identifier = (cast_expression "(uint)CARRY4(uVar8,uVar11)" ( (type_descriptor "uint" type_identifier) ) (call_expression "CARRY4(uVar8,uVar11)" identifier (argument_list "(uVar8,uVar11)" ( identifier , identifier ))))) ;) (expression_statement "uVar9 = uVar10 + uVar4;" (assignment_expression "uVar9 = uVar10 + uVar4" identifier = (binary_expression "uVar10 + uVar4" identifier + identifier)) ;) (expression_statement "uVar11 = uVar9 + uVar8;" (assignment_expression "uVar11 = uVar9 + uVar8" identifier = (binary_expression "uVar9 + uVar8" identifier + identifier)) ;) (expression_statement "uVar12 = (int)((ulonglong)uVar3 * (ulonglong)uVar7 >> 0x20) +\n               (uint)(CARRY4(uVar10,uVar4) || CARRY4(uVar9,uVar8));" (assignment_expression "uVar12 = (int)((ulonglong)uVar3 * (ulonglong)uVar7 >> 0x20) +\n               (uint)(CARRY4(uVar10,uVar4) || CARRY4(uVar9,uVar8))" identifier = (binary_expression "(int)((ulonglong)uVar3 * (ulonglong)uVar7 >> 0x20) +\n               (uint)(CARRY4(uVar10,uVar4) || CARRY4(uVar9,uVar8))" (cast_expression "(int)((ulonglong)uVar3 * (ulonglong)uVar7 >> 0x20)" ( (type_descriptor "int" primitive_type) ) (parenthesized_expression "((ulonglong)uVar3 * (ulonglong)uVar7 >> 0x20)" ( (binary_expression "(ulonglong)uVar3 * (ulonglong)uVar7 >> 0x20" (binary_expression "(ulonglong)uVar3 * (ulonglong)uVar7" (cast_expression "(ulonglong)uVar3" ( (type_descriptor "ulonglong" type_identifier) ) identifier) * (cast_expression "(ulonglong)uVar7" ( (type_descriptor "ulonglong" type_identifier) ) identifier)) >> number_literal) ))) + (call_expression "(uint)(CARRY4(uVar10,uVar4) || CARRY4(uVar9,uVar8))" (parenthesized_expression "(uint)" ( identifier )) (argument_list "(CARRY4(uVar10,uVar4) || CARRY4(uVar9,uVar8))" ( (binary_expression "CARRY4(uVar10,uVar4) || CARRY4(uVar9,uVar8)" (call_expression "CARRY4(uVar10,uVar4)" identifier (argument_list "(uVar10,uVar4)" ( identifier , identifier ))) || (call_expression "CARRY4(uVar9,uVar8)" identifier (argument_list "(uVar9,uVar8)" ( identifier , identifier )))) ))))) ;) (expression_statement "uVar3 = param_2[3];" (assignment_expression "uVar3 = param_2[3]" identifier = (subscript_expression "param_2[3]" identifier [ number_literal ])) ;) (expression_statement "uVar10 = (uint)((ulonglong)uVar3 * (ulonglong)uVar7);" (assignment_expression "uVar10 = (uint)((ulonglong)uVar3 * (ulonglong)uVar7)" identifier = (call_expression "(uint)((ulonglong)uVar3 * (ulonglong)uVar7)" (parenthesized_expression "(uint)" ( identifier )) (argument_list "((ulonglong)uVar3 * (ulonglong)uVar7)" ( (binary_expression "(ulonglong)uVar3 * (ulonglong)uVar7" (cast_expression "(ulonglong)uVar3" ( (type_descriptor "ulonglong" type_identifier) ) identifier) * (cast_expression "(ulonglong)uVar7" ( (type_descriptor "ulonglong" type_identifier) ) identifier)) )))) ;) (expression_statement "puVar2 = puVar13 + 2;" (assignment_expression "puVar2 = puVar13 + 2" identifier = (binary_expression "puVar13 + 2" identifier + number_literal)) ;) (expression_statement "uVar8 = *puVar2;" (assignment_expression "uVar8 = *puVar2" identifier = (pointer_expression "*puVar2" * identifier)) ;) (expression_statement "*puVar2 = *puVar2 + uVar11;" (assignment_expression "*puVar2 = *puVar2 + uVar11" (pointer_expression "*puVar2" * identifier) = (binary_expression "*puVar2 + uVar11" (pointer_expression "*puVar2" * identifier) + identifier)) ;) (expression_statement "uVar9 = (uint)CARRY4(uVar8,uVar11);" (assignment_expression "uVar9 = (uint)CARRY4(uVar8,uVar11)" identifier = (cast_expression "(uint)CARRY4(uVar8,uVar11)" ( (type_descriptor "uint" type_identifier) ) (call_expression "CARRY4(uVar8,uVar11)" identifier (argument_list "(uVar8,uVar11)" ( identifier , identifier ))))) ;) (expression_statement "uVar4 = uVar12 + uVar10;" (assignment_expression "uVar4 = uVar12 + uVar10" identifier = (binary_expression "uVar12 + uVar10" identifier + identifier)) ;) (expression_statement "uVar11 = uVar4 + uVar9;" (assignment_expression "uVar11 = uVar4 + uVar9" identifier = (binary_expression "uVar4 + uVar9" identifier + identifier)) ;) (expression_statement "puVar2 = puVar13 + 3;" (assignment_expression "puVar2 = puVar13 + 3" identifier = (binary_expression "puVar13 + 3" identifier + number_literal)) ;) (expression_statement "uVar8 = *puVar2;" (assignment_expression "uVar8 = *puVar2" identifier = (pointer_expression "*puVar2" * identifier)) ;) (expression_statement "*puVar2 = *puVar2 + uVar11;" (assignment_expression "*puVar2 = *puVar2 + uVar11" (pointer_expression "*puVar2" * identifier) = (binary_expression "*puVar2 + uVar11" (pointer_expression "*puVar2" * identifier) + identifier)) ;) (expression_statement "uVar8 = (int)((ulonglong)uVar3 * (ulonglong)uVar7 >> 0x20) +\n              (uint)(CARRY4(uVar12,uVar10) || CARRY4(uVar4,uVar9)) + (uint)CARRY4(uVar8,uVar11);" (assignment_expression "uVar8 = (int)((ulonglong)uVar3 * (ulonglong)uVar7 >> 0x20) +\n              (uint)(CARRY4(uVar12,uVar10) || CARRY4(uVar4,uVar9)) + (uint)CARRY4(uVar8,uVar11)" identifier = (binary_expression "(int)((ulonglong)uVar3 * (ulonglong)uVar7 >> 0x20) +\n              (uint)(CARRY4(uVar12,uVar10) || CARRY4(uVar4,uVar9)) + (uint)CARRY4(uVar8,uVar11)" (binary_expression "(int)((ulonglong)uVar3 * (ulonglong)uVar7 >> 0x20) +\n              (uint)(CARRY4(uVar12,uVar10) || CARRY4(uVar4,uVar9))" (cast_expression "(int)((ulonglong)uVar3 * (ulonglong)uVar7 >> 0x20)" ( (type_descriptor "int" primitive_type) ) (parenthesized_expression "((ulonglong)uVar3 * (ulonglong)uVar7 >> 0x20)" ( (binary_expression "(ulonglong)uVar3 * (ulonglong)uVar7 >> 0x20" (binary_expression "(ulonglong)uVar3 * (ulonglong)uVar7" (cast_expression "(ulonglong)uVar3" ( (type_descriptor "ulonglong" type_identifier) ) identifier) * (cast_expression "(ulonglong)uVar7" ( (type_descriptor "ulonglong" type_identifier) ) identifier)) >> number_literal) ))) + (call_expression "(uint)(CARRY4(uVar12,uVar10) || CARRY4(uVar4,uVar9))" (parenthesized_expression "(uint)" ( identifier )) (argument_list "(CARRY4(uVar12,uVar10) || CARRY4(uVar4,uVar9))" ( (binary_expression "CARRY4(uVar12,uVar10) || CARRY4(uVar4,uVar9)" (call_expression "CARRY4(uVar12,uVar10)" identifier (argument_list "(uVar12,uVar10)" ( identifier , identifier ))) || (call_expression "CARRY4(uVar4,uVar9)" identifier (argument_list "(uVar4,uVar9)" ( identifier , identifier )))) )))) + (cast_expression "(uint)CARRY4(uVar8,uVar11)" ( (type_descriptor "uint" type_identifier) ) (call_expression "CARRY4(uVar8,uVar11)" identifier (argument_list "(uVar8,uVar11)" ( 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 "puVar13 = puVar13 + 4;" (assignment_expression "puVar13 = puVar13 + 4" identifier = (binary_expression "puVar13 + 4" identifier + number_literal)) ;) })) (expression_statement "*puVar13 = uVar8;" (assignment_expression "*puVar13 = uVar8" (pointer_expression "*puVar13" * identifier) = identifier) ;) (expression_statement "puVar13 = puVar13 + (1 - param_3);" (assignment_expression "puVar13 = puVar13 + (1 - param_3)" identifier = (binary_expression "puVar13 + (1 - param_3)" identifier + (parenthesized_expression "(1 - param_3)" ( (binary_expression "1 - param_3" number_literal - identifier) )))) ;) (expression_statement "param_2 = param_2 + -param_3;" (assignment_expression "param_2 = param_2 + -param_3" identifier = (binary_expression "param_2 + -param_3" identifier + (unary_expression "-param_3" - identifier))) ;) })) (return_statement "return;" return ;) })))
(translation_unit (function_definition TYPE (function_declarator IDENT (parameter_list ( (parameter_declaration TYPE (pointer_declarator * IDENT)) , (parameter_declaration TYPE (pointer_declarator * IDENT)) , (parameter_declaration TYPE IDENT) , (parameter_declaration TYPE (pointer_declarator * IDENT)) , (parameter_declaration TYPE IDENT) ))) (compound_statement { (declaration TYPE IDENT ;) (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 ;) (declaration TYPE IDENT ;) (declaration TYPE IDENT ;) (declaration TYPE (pointer_declarator * IDENT) ;) (expression_statement (assignment_expression IDENT = (call_expression (parenthesized_expression ( IDENT )) (argument_list ( (binary_expression (binary_expression (binary_expression (binary_expression (parenthesized_expression ( IDENT )) * IDENT) * (parenthesized_expression ( IDENT ))) * IDENT) >> LIT) )))) ;) (expression_statement (assignment_expression (pointer_expression * IDENT) = (cast_expression ( (type_descriptor TYPE) ) (parenthesized_expression ( (binary_expression (binary_expression (binary_expression (parenthesized_expression ( IDENT )) * IDENT) * (parenthesized_expression ( IDENT ))) * IDENT) )))) ;) (expression_statement (assignment_expression IDENT = (binary_expression IDENT - LIT)) ;) (if_statement if (parenthesized_expression ( (binary_expression IDENT == LIT) )) (compound_statement { (expression_statement (assignment_expression (subscript_expression IDENT [ LIT ]) = IDENT) ;) (return_statement return ;) })) (expression_statement (assignment_expression IDENT = (binary_expression IDENT + LIT)) ;) (expression_statement (assignment_expression IDENT = (binary_expression IDENT + LIT)) ;) (do_statement do (compound_statement { (expression_statement (assignment_expression IDENT = IDENT) ;) (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 (binary_expression (cast_expression ( (type_descriptor TYPE) ) IDENT) * (parenthesized_expression ( IDENT ))) * 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 (pointer_expression * IDENT) = (cast_expression ( (type_descriptor TYPE) ) IDENT)) ;) (expression_statement (assignment_expression IDENT = (binary_expression IDENT + LIT)) ;) (expression_statement (assignment_expression IDENT = (binary_expression IDENT + LIT)) ;) }) while (parenthesized_expression ( (binary_expression IDENT != LIT) )) ;) (expression_statement (assignment_expression (subscript_expression IDENT [ LIT ]) = IDENT) ;) (expression_statement (assignment_expression IDENT = (binary_expression IDENT + (parenthesized_expression ( (binary_expression LIT - IDENT) )))) ;) (expression_statement (assignment_expression IDENT = (binary_expression IDENT + (unary_expression - IDENT))) ;) (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 IDENT + LIT)) ;) (expression_statement (assignment_expression IDENT = (pointer_expression * 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)) ;) })) (expression_statement (assignment_expression (pointer_expression * IDENT) = IDENT) ;) (expression_statement (assignment_expression IDENT = (binary_expression IDENT + (parenthesized_expression ( (binary_expression LIT - IDENT) )))) ;) (expression_statement (assignment_expression IDENT = (binary_expression IDENT + (unary_expression - IDENT))) ;) })) (return_statement return ;) })))
(function_definition "void __gmpn_mul_basecase_x86\n               (undefined4 *param_1,uint *param_2,uint param_3,uint *param_4,int param_5)\n\n{\n  longlong lVar1;\n  uint *puVar2;\n  uint uVar3;\n  uint uVar4;\n  int iVar5;\n  uint uVar6;\n  uint uVar7;\n  uint uVar8;\n  uint uVar9;\n  uint uVar10;\n  uint uVar11;\n  uint uVar12;\n  uint *puVar13;\n  \n  uVar7 = (uint)((ulonglong)*param_2 * (ulonglong)*param_4 >> 0x20);\n  *param_1 = (int)((ulonglong)*param_2 * (ulonglong)*param_4);\n  iVar5 = param_3 - 1;\n  if (iVar5 == 0) {\n    param_1[1] = uVar7;\n    return;\n  }\n  param_2 = param_2 + 1;\n  puVar2 = param_1 + 1;\n  do {\n    puVar13 = puVar2;\n    uVar8 = *param_2;\n    param_2 = param_2 + 1;\n    lVar1 = (ulonglong)uVar8 * (ulonglong)*param_4 + (ulonglong)uVar7;\n    uVar7 = (uint)((ulonglong)lVar1 >> 0x20);\n    *puVar13 = (uint)lVar1;\n    iVar5 = iVar5 + -1;\n    puVar2 = puVar13 + 1;\n  } while (iVar5 != 0);\n  puVar13[1] = uVar7;\n  puVar13 = puVar13 + (2 - param_3);\n  param_2 = param_2 + -param_3;\n  for (param_5 = param_5 + -1; param_5 != 0; param_5 = param_5 + -1) {\n    param_4 = param_4 + 1;\n    uVar7 = *param_4;\n    uVar8 = 0;\n    for (uVar6 = param_3 & 3; uVar6 != 0; uVar6 = uVar6 - 1) {\n      uVar3 = *param_2;\n      param_2 = param_2 + 1;\n      lVar1 = (ulonglong)uVar3 * (ulonglong)uVar7 + (ulonglong)uVar8;\n      uVar3 = (uint)lVar1;\n      uVar8 = *puVar13;\n      *puVar13 = *puVar13 + uVar3;\n      uVar8 = (int)((ulonglong)lVar1 >> 0x20) + (uint)CARRY4(uVar8,uVar3);\n      puVar13 = puVar13 + 1;\n    }\n    for (uVar6 = param_3 >> 2; uVar6 != 0; uVar6 = uVar6 - 1) {\n      lVar1 = (ulonglong)*param_2 * (ulonglong)uVar7 + (ulonglong)uVar8;\n      uVar9 = (uint)lVar1;\n      uVar10 = (uint)((ulonglong)lVar1 >> 0x20);\n      uVar3 = param_2[1];\n      uVar4 = (uint)((ulonglong)uVar3 * (ulonglong)uVar7);\n      uVar8 = *puVar13;\n      *puVar13 = *puVar13 + uVar9;\n      uVar8 = (uint)CARRY4(uVar8,uVar9);\n      uVar9 = uVar10 + uVar4;\n      uVar11 = uVar9 + uVar8;\n      uVar10 = (int)((ulonglong)uVar3 * (ulonglong)uVar7 >> 0x20) +\n               (uint)(CARRY4(uVar10,uVar4) || CARRY4(uVar9,uVar8));\n      uVar3 = param_2[2];\n      uVar4 = (uint)((ulonglong)uVar3 * (ulonglong)uVar7);\n      puVar2 = puVar13 + 1;\n      uVar8 = *puVar2;\n      *puVar2 = *puVar2 + uVar11;\n      uVar8 = (uint)CARRY4(uVar8,uVar11);\n      uVar9 = uVar10 + uVar4;\n      uVar11 = uVar9 + uVar8;\n      uVar12 = (int)((ulonglong)uVar3 * (ulonglong)uVar7 >> 0x20) +\n               (uint)(CARRY4(uVar10,uVar4) || CARRY4(uVar9,uVar8));\n      uVar3 = param_2[3];\n      uVar10 = (uint)((ulonglong)uVar3 * (ulonglong)uVar7);\n      puVar2 = puVar13 + 2;\n      uVar8 = *puVar2;\n      *puVar2 = *puVar2 + uVar11;\n      uVar9 = (uint)CARRY4(uVar8,uVar11);\n      uVar4 = uVar12 + uVar10;\n      uVar11 = uVar4 + uVar9;\n      puVar2 = puVar13 + 3;\n      uVar8 = *puVar2;\n      *puVar2 = *puVar2 + uVar11;\n      uVar8 = (int)((ulonglong)uVar3 * (ulonglong)uVar7 >> 0x20) +\n              (uint)(CARRY4(uVar12,uVar10) || CARRY4(uVar4,uVar9)) + (uint)CARRY4(uVar8,uVar11);\n      param_2 = param_2 + 4;\n      puVar13 = puVar13 + 4;\n    }\n    *puVar13 = uVar8;\n    puVar13 = puVar13 + (1 - param_3);\n    param_2 = param_2 + -param_3;\n  }\n  return;\n}" (primitive_type "void") (function_declarator "__gmpn_mul_basecase_x86\n               (undefined4 *param_1,uint *param_2,uint param_3,uint *param_4,int param_5)" (identifier "__gmpn_mul_basecase_x86") (parameter_list "(undefined4 *param_1,uint *param_2,uint param_3,uint *param_4,int param_5)" (( "(") (parameter_declaration "undefined4 *param_1" (type_identifier "undefined4") (pointer_declarator "*param_1" (* "*") (identifier "param_1"))) (, ",") (parameter_declaration "uint *param_2" (type_identifier "uint") (pointer_declarator "*param_2" (* "*") (identifier "param_2"))) (, ",") (parameter_declaration "uint param_3" (type_identifier "uint") (identifier "param_3")) (, ",") (parameter_declaration "uint *param_4" (type_identifier "uint") (pointer_declarator "*param_4" (* "*") (identifier "param_4"))) (, ",") (parameter_declaration "int param_5" (primitive_type "int") (identifier "param_5")) () ")"))) (compound_statement "{\n  longlong lVar1;\n  uint *puVar2;\n  uint uVar3;\n  uint uVar4;\n  int iVar5;\n  uint uVar6;\n  uint uVar7;\n  uint uVar8;\n  uint uVar9;\n  uint uVar10;\n  uint uVar11;\n  uint uVar12;\n  uint *puVar13;\n  \n  uVar7 = (uint)((ulonglong)*param_2 * (ulonglong)*param_4 >> 0x20);\n  *param_1 = (int)((ulonglong)*param_2 * (ulonglong)*param_4);\n  iVar5 = param_3 - 1;\n  if (iVar5 == 0) {\n    param_1[1] = uVar7;\n    return;\n  }\n  param_2 = param_2 + 1;\n  puVar2 = param_1 + 1;\n  do {\n    puVar13 = puVar2;\n    uVar8 = *param_2;\n    param_2 = param_2 + 1;\n    lVar1 = (ulonglong)uVar8 * (ulonglong)*param_4 + (ulonglong)uVar7;\n    uVar7 = (uint)((ulonglong)lVar1 >> 0x20);\n    *puVar13 = (uint)lVar1;\n    iVar5 = iVar5 + -1;\n    puVar2 = puVar13 + 1;\n  } while (iVar5 != 0);\n  puVar13[1] = uVar7;\n  puVar13 = puVar13 + (2 - param_3);\n  param_2 = param_2 + -param_3;\n  for (param_5 = param_5 + -1; param_5 != 0; param_5 = param_5 + -1) {\n    param_4 = param_4 + 1;\n    uVar7 = *param_4;\n    uVar8 = 0;\n    for (uVar6 = param_3 & 3; uVar6 != 0; uVar6 = uVar6 - 1) {\n      uVar3 = *param_2;\n      param_2 = param_2 + 1;\n      lVar1 = (ulonglong)uVar3 * (ulonglong)uVar7 + (ulonglong)uVar8;\n      uVar3 = (uint)lVar1;\n      uVar8 = *puVar13;\n      *puVar13 = *puVar13 + uVar3;\n      uVar8 = (int)((ulonglong)lVar1 >> 0x20) + (uint)CARRY4(uVar8,uVar3);\n      puVar13 = puVar13 + 1;\n    }\n    for (uVar6 = param_3 >> 2; uVar6 != 0; uVar6 = uVar6 - 1) {\n      lVar1 = (ulonglong)*param_2 * (ulonglong)uVar7 + (ulonglong)uVar8;\n      uVar9 = (uint)lVar1;\n      uVar10 = (uint)((ulonglong)lVar1 >> 0x20);\n      uVar3 = param_2[1];\n      uVar4 = (uint)((ulonglong)uVar3 * (ulonglong)uVar7);\n      uVar8 = *puVar13;\n      *puVar13 = *puVar13 + uVar9;\n      uVar8 = (uint)CARRY4(uVar8,uVar9);\n      uVar9 = uVar10 + uVar4;\n      uVar11 = uVar9 + uVar8;\n      uVar10 = (int)((ulonglong)uVar3 * (ulonglong)uVar7 >> 0x20) +\n               (uint)(CARRY4(uVar10,uVar4) || CARRY4(uVar9,uVar8));\n      uVar3 = param_2[2];\n      uVar4 = (uint)((ulonglong)uVar3 * (ulonglong)uVar7);\n      puVar2 = puVar13 + 1;\n      uVar8 = *puVar2;\n      *puVar2 = *puVar2 + uVar11;\n      uVar8 = (uint)CARRY4(uVar8,uVar11);\n      uVar9 = uVar10 + uVar4;\n      uVar11 = uVar9 + uVar8;\n      uVar12 = (int)((ulonglong)uVar3 * (ulonglong)uVar7 >> 0x20) +\n               (uint)(CARRY4(uVar10,uVar4) || CARRY4(uVar9,uVar8));\n      uVar3 = param_2[3];\n      uVar10 = (uint)((ulonglong)uVar3 * (ulonglong)uVar7);\n      puVar2 = puVar13 + 2;\n      uVar8 = *puVar2;\n      *puVar2 = *puVar2 + uVar11;\n      uVar9 = (uint)CARRY4(uVar8,uVar11);\n      uVar4 = uVar12 + uVar10;\n      uVar11 = uVar4 + uVar9;\n      puVar2 = puVar13 + 3;\n      uVar8 = *puVar2;\n      *puVar2 = *puVar2 + uVar11;\n      uVar8 = (int)((ulonglong)uVar3 * (ulonglong)uVar7 >> 0x20) +\n              (uint)(CARRY4(uVar12,uVar10) || CARRY4(uVar4,uVar9)) + (uint)CARRY4(uVar8,uVar11);\n      param_2 = param_2 + 4;\n      puVar13 = puVar13 + 4;\n    }\n    *puVar13 = uVar8;\n    puVar13 = puVar13 + (1 - param_3);\n    param_2 = param_2 + -param_3;\n  }\n  return;\n}" ({ "{") (declaration "longlong lVar1;" (type_identifier "longlong") (identifier "lVar1") (; ";")) (declaration "uint *puVar2;" (type_identifier "uint") (pointer_declarator "*puVar2" (* "*") (identifier "puVar2")) (; ";")) (declaration "uint uVar3;" (type_identifier "uint") (identifier "uVar3") (; ";")) (declaration "uint uVar4;" (type_identifier "uint") (identifier "uVar4") (; ";")) (declaration "int iVar5;" (primitive_type "int") (identifier "iVar5") (; ";")) (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") (; ";")) (declaration "uint uVar10;" (type_identifier "uint") (identifier "uVar10") (; ";")) (declaration "uint uVar11;" (type_identifier "uint") (identifier "uVar11") (; ";")) (declaration "uint uVar12;" (type_identifier "uint") (identifier "uVar12") (; ";")) (declaration "uint *puVar13;" (type_identifier "uint") (pointer_declarator "*puVar13" (* "*") (identifier "puVar13")) (; ";")) (expression_statement "uVar7 = (uint)((ulonglong)*param_2 * (ulonglong)*param_4 >> 0x20);" (assignment_expression "uVar7 = (uint)((ulonglong)*param_2 * (ulonglong)*param_4 >> 0x20)" (identifier "uVar7") (= "=") (call_expression "(uint)((ulonglong)*param_2 * (ulonglong)*param_4 >> 0x20)" (parenthesized_expression "(uint)" (( "(") (identifier "uint") () ")")) (argument_list "((ulonglong)*param_2 * (ulonglong)*param_4 >> 0x20)" (( "(") (binary_expression "(ulonglong)*param_2 * (ulonglong)*param_4 >> 0x20" (binary_expression "(ulonglong)*param_2 * (ulonglong)*param_4" (binary_expression "(ulonglong)*param_2 * (ulonglong)" (binary_expression "(ulonglong)*param_2" (parenthesized_expression "(ulonglong)" (( "(") (identifier "ulonglong") () ")")) (* "*") (identifier "param_2")) (* "*") (parenthesized_expression "(ulonglong)" (( "(") (identifier "ulonglong") () ")"))) (* "*") (identifier "param_4")) (>> ">>") (number_literal "0x20")) () ")")))) (; ";")) (expression_statement "*param_1 = (int)((ulonglong)*param_2 * (ulonglong)*param_4);" (assignment_expression "*param_1 = (int)((ulonglong)*param_2 * (ulonglong)*param_4)" (pointer_expression "*param_1" (* "*") (identifier "param_1")) (= "=") (cast_expression "(int)((ulonglong)*param_2 * (ulonglong)*param_4)" (( "(") (type_descriptor "int" (primitive_type "int")) () ")") (parenthesized_expression "((ulonglong)*param_2 * (ulonglong)*param_4)" (( "(") (binary_expression "(ulonglong)*param_2 * (ulonglong)*param_4" (binary_expression "(ulonglong)*param_2 * (ulonglong)" (binary_expression "(ulonglong)*param_2" (parenthesized_expression "(ulonglong)" (( "(") (identifier "ulonglong") () ")")) (* "*") (identifier "param_2")) (* "*") (parenthesized_expression "(ulonglong)" (( "(") (identifier "ulonglong") () ")"))) (* "*") (identifier "param_4")) () ")")))) (; ";")) (expression_statement "iVar5 = param_3 - 1;" (assignment_expression "iVar5 = param_3 - 1" (identifier "iVar5") (= "=") (binary_expression "param_3 - 1" (identifier "param_3") (- "-") (number_literal "1"))) (; ";")) (if_statement "if (iVar5 == 0) {\n    param_1[1] = uVar7;\n    return;\n  }" (if "if") (parenthesized_expression "(iVar5 == 0)" (( "(") (binary_expression "iVar5 == 0" (identifier "iVar5") (== "==") (number_literal "0")) () ")")) (compound_statement "{\n    param_1[1] = uVar7;\n    return;\n  }" ({ "{") (expression_statement "param_1[1] = uVar7;" (assignment_expression "param_1[1] = uVar7" (subscript_expression "param_1[1]" (identifier "param_1") ([ "[") (number_literal "1") (] "]")) (= "=") (identifier "uVar7")) (; ";")) (return_statement "return;" (return "return") (; ";")) (} "}"))) (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 "puVar2 = param_1 + 1;" (assignment_expression "puVar2 = param_1 + 1" (identifier "puVar2") (= "=") (binary_expression "param_1 + 1" (identifier "param_1") (+ "+") (number_literal "1"))) (; ";")) (do_statement "do {\n    puVar13 = puVar2;\n    uVar8 = *param_2;\n    param_2 = param_2 + 1;\n    lVar1 = (ulonglong)uVar8 * (ulonglong)*param_4 + (ulonglong)uVar7;\n    uVar7 = (uint)((ulonglong)lVar1 >> 0x20);\n    *puVar13 = (uint)lVar1;\n    iVar5 = iVar5 + -1;\n    puVar2 = puVar13 + 1;\n  } while (iVar5 != 0);" (do "do") (compound_statement "{\n    puVar13 = puVar2;\n    uVar8 = *param_2;\n    param_2 = param_2 + 1;\n    lVar1 = (ulonglong)uVar8 * (ulonglong)*param_4 + (ulonglong)uVar7;\n    uVar7 = (uint)((ulonglong)lVar1 >> 0x20);\n    *puVar13 = (uint)lVar1;\n    iVar5 = iVar5 + -1;\n    puVar2 = puVar13 + 1;\n  }" ({ "{") (expression_statement "puVar13 = puVar2;" (assignment_expression "puVar13 = puVar2" (identifier "puVar13") (= "=") (identifier "puVar2")) (; ";")) (expression_statement "uVar8 = *param_2;" (assignment_expression "uVar8 = *param_2" (identifier "uVar8") (= "=") (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 "lVar1 = (ulonglong)uVar8 * (ulonglong)*param_4 + (ulonglong)uVar7;" (assignment_expression "lVar1 = (ulonglong)uVar8 * (ulonglong)*param_4 + (ulonglong)uVar7" (identifier "lVar1") (= "=") (binary_expression "(ulonglong)uVar8 * (ulonglong)*param_4 + (ulonglong)uVar7" (binary_expression "(ulonglong)uVar8 * (ulonglong)*param_4" (binary_expression "(ulonglong)uVar8 * (ulonglong)" (cast_expression "(ulonglong)uVar8" (( "(") (type_descriptor "ulonglong" (type_identifier "ulonglong")) () ")") (identifier "uVar8")) (* "*") (parenthesized_expression "(ulonglong)" (( "(") (identifier "ulonglong") () ")"))) (* "*") (identifier "param_4")) (+ "+") (cast_expression "(ulonglong)uVar7" (( "(") (type_descriptor "ulonglong" (type_identifier "ulonglong")) () ")") (identifier "uVar7")))) (; ";")) (expression_statement "uVar7 = (uint)((ulonglong)lVar1 >> 0x20);" (assignment_expression "uVar7 = (uint)((ulonglong)lVar1 >> 0x20)" (identifier "uVar7") (= "=") (call_expression "(uint)((ulonglong)lVar1 >> 0x20)" (parenthesized_expression "(uint)" (( "(") (identifier "uint") () ")")) (argument_list "((ulonglong)lVar1 >> 0x20)" (( "(") (binary_expression "(ulonglong)lVar1 >> 0x20" (cast_expression "(ulonglong)lVar1" (( "(") (type_descriptor "ulonglong" (type_identifier "ulonglong")) () ")") (identifier "lVar1")) (>> ">>") (number_literal "0x20")) () ")")))) (; ";")) (expression_statement "*puVar13 = (uint)lVar1;" (assignment_expression "*puVar13 = (uint)lVar1" (pointer_expression "*puVar13" (* "*") (identifier "puVar13")) (= "=") (cast_expression "(uint)lVar1" (( "(") (type_descriptor "uint" (type_identifier "uint")) () ")") (identifier "lVar1"))) (; ";")) (expression_statement "iVar5 = iVar5 + -1;" (assignment_expression "iVar5 = iVar5 + -1" (identifier "iVar5") (= "=") (binary_expression "iVar5 + -1" (identifier "iVar5") (+ "+") (number_literal "-1"))) (; ";")) (expression_statement "puVar2 = puVar13 + 1;" (assignment_expression "puVar2 = puVar13 + 1" (identifier "puVar2") (= "=") (binary_expression "puVar13 + 1" (identifier "puVar13") (+ "+") (number_literal "1"))) (; ";")) (} "}")) (while "while") (parenthesized_expression "(iVar5 != 0)" (( "(") (binary_expression "iVar5 != 0" (identifier "iVar5") (!= "!=") (number_literal "0")) () ")")) (; ";")) (expression_statement "puVar13[1] = uVar7;" (assignment_expression "puVar13[1] = uVar7" (subscript_expression "puVar13[1]" (identifier "puVar13") ([ "[") (number_literal "1") (] "]")) (= "=") (identifier "uVar7")) (; ";")) (expression_statement "puVar13 = puVar13 + (2 - param_3);" (assignment_expression "puVar13 = puVar13 + (2 - param_3)" (identifier "puVar13") (= "=") (binary_expression "puVar13 + (2 - param_3)" (identifier "puVar13") (+ "+") (parenthesized_expression "(2 - param_3)" (( "(") (binary_expression "2 - param_3" (number_literal "2") (- "-") (identifier "param_3")) () ")")))) (; ";")) (expression_statement "param_2 = param_2 + -param_3;" (assignment_expression "param_2 = param_2 + -param_3" (identifier "param_2") (= "=") (binary_expression "param_2 + -param_3" (identifier "param_2") (+ "+") (unary_expression "-param_3" (- "-") (identifier "param_3")))) (; ";")) (for_statement "for (param_5 = param_5 + -1; param_5 != 0; param_5 = param_5 + -1) {\n    param_4 = param_4 + 1;\n    uVar7 = *param_4;\n    uVar8 = 0;\n    for (uVar6 = param_3 & 3; uVar6 != 0; uVar6 = uVar6 - 1) {\n      uVar3 = *param_2;\n      param_2 = param_2 + 1;\n      lVar1 = (ulonglong)uVar3 * (ulonglong)uVar7 + (ulonglong)uVar8;\n      uVar3 = (uint)lVar1;\n      uVar8 = *puVar13;\n      *puVar13 = *puVar13 + uVar3;\n      uVar8 = (int)((ulonglong)lVar1 >> 0x20) + (uint)CARRY4(uVar8,uVar3);\n      puVar13 = puVar13 + 1;\n    }\n    for (uVar6 = param_3 >> 2; uVar6 != 0; uVar6 = uVar6 - 1) {\n      lVar1 = (ulonglong)*param_2 * (ulonglong)uVar7 + (ulonglong)uVar8;\n      uVar9 = (uint)lVar1;\n      uVar10 = (uint)((ulonglong)lVar1 >> 0x20);\n      uVar3 = param_2[1];\n      uVar4 = (uint)((ulonglong)uVar3 * (ulonglong)uVar7);\n      uVar8 = *puVar13;\n      *puVar13 = *puVar13 + uVar9;\n      uVar8 = (uint)CARRY4(uVar8,uVar9);\n      uVar9 = uVar10 + uVar4;\n      uVar11 = uVar9 + uVar8;\n      uVar10 = (int)((ulonglong)uVar3 * (ulonglong)uVar7 >> 0x20) +\n               (uint)(CARRY4(uVar10,uVar4) || CARRY4(uVar9,uVar8));\n      uVar3 = param_2[2];\n      uVar4 = (uint)((ulonglong)uVar3 * (ulonglong)uVar7);\n      puVar2 = puVar13 + 1;\n      uVar8 = *puVar2;\n      *puVar2 = *puVar2 + uVar11;\n      uVar8 = (uint)CARRY4(uVar8,uVar11);\n      uVar9 = uVar10 + uVar4;\n      uVar11 = uVar9 + uVar8;\n      uVar12 = (int)((ulonglong)uVar3 * (ulonglong)uVar7 >> 0x20) +\n               (uint)(CARRY4(uVar10,uVar4) || CARRY4(uVar9,uVar8));\n      uVar3 = param_2[3];\n      uVar10 = (uint)((ulonglong)uVar3 * (ulonglong)uVar7);\n      puVar2 = puVar13 + 2;\n      uVar8 = *puVar2;\n      *puVar2 = *puVar2 + uVar11;\n      uVar9 = (uint)CARRY4(uVar8,uVar11);\n      uVar4 = uVar12 + uVar10;\n      uVar11 = uVar4 + uVar9;\n      puVar2 = puVar13 + 3;\n      uVar8 = *puVar2;\n      *puVar2 = *puVar2 + uVar11;\n      uVar8 = (int)((ulonglong)uVar3 * (ulonglong)uVar7 >> 0x20) +\n              (uint)(CARRY4(uVar12,uVar10) || CARRY4(uVar4,uVar9)) + (uint)CARRY4(uVar8,uVar11);\n      param_2 = param_2 + 4;\n      puVar13 = puVar13 + 4;\n    }\n    *puVar13 = uVar8;\n    puVar13 = puVar13 + (1 - param_3);\n    param_2 = param_2 + -param_3;\n  }" (for "for") (( "(") (assignment_expression "param_5 = param_5 + -1" (identifier "param_5") (= "=") (binary_expression "param_5 + -1" (identifier "param_5") (+ "+") (number_literal "-1"))) (; ";") (binary_expression "param_5 != 0" (identifier "param_5") (!= "!=") (number_literal "0")) (; ";") (assignment_expression "param_5 = param_5 + -1" (identifier "param_5") (= "=") (binary_expression "param_5 + -1" (identifier "param_5") (+ "+") (number_literal "-1"))) () ")") (compound_statement "{\n    param_4 = param_4 + 1;\n    uVar7 = *param_4;\n    uVar8 = 0;\n    for (uVar6 = param_3 & 3; uVar6 != 0; uVar6 = uVar6 - 1) {\n      uVar3 = *param_2;\n      param_2 = param_2 + 1;\n      lVar1 = (ulonglong)uVar3 * (ulonglong)uVar7 + (ulonglong)uVar8;\n      uVar3 = (uint)lVar1;\n      uVar8 = *puVar13;\n      *puVar13 = *puVar13 + uVar3;\n      uVar8 = (int)((ulonglong)lVar1 >> 0x20) + (uint)CARRY4(uVar8,uVar3);\n      puVar13 = puVar13 + 1;\n    }\n    for (uVar6 = param_3 >> 2; uVar6 != 0; uVar6 = uVar6 - 1) {\n      lVar1 = (ulonglong)*param_2 * (ulonglong)uVar7 + (ulonglong)uVar8;\n      uVar9 = (uint)lVar1;\n      uVar10 = (uint)((ulonglong)lVar1 >> 0x20);\n      uVar3 = param_2[1];\n      uVar4 = (uint)((ulonglong)uVar3 * (ulonglong)uVar7);\n      uVar8 = *puVar13;\n      *puVar13 = *puVar13 + uVar9;\n      uVar8 = (uint)CARRY4(uVar8,uVar9);\n      uVar9 = uVar10 + uVar4;\n      uVar11 = uVar9 + uVar8;\n      uVar10 = (int)((ulonglong)uVar3 * (ulonglong)uVar7 >> 0x20) +\n               (uint)(CARRY4(uVar10,uVar4) || CARRY4(uVar9,uVar8));\n      uVar3 = param_2[2];\n      uVar4 = (uint)((ulonglong)uVar3 * (ulonglong)uVar7);\n      puVar2 = puVar13 + 1;\n      uVar8 = *puVar2;\n      *puVar2 = *puVar2 + uVar11;\n      uVar8 = (uint)CARRY4(uVar8,uVar11);\n      uVar9 = uVar10 + uVar4;\n      uVar11 = uVar9 + uVar8;\n      uVar12 = (int)((ulonglong)uVar3 * (ulonglong)uVar7 >> 0x20) +\n               (uint)(CARRY4(uVar10,uVar4) || CARRY4(uVar9,uVar8));\n      uVar3 = param_2[3];\n      uVar10 = (uint)((ulonglong)uVar3 * (ulonglong)uVar7);\n      puVar2 = puVar13 + 2;\n      uVar8 = *puVar2;\n      *puVar2 = *puVar2 + uVar11;\n      uVar9 = (uint)CARRY4(uVar8,uVar11);\n      uVar4 = uVar12 + uVar10;\n      uVar11 = uVar4 + uVar9;\n      puVar2 = puVar13 + 3;\n      uVar8 = *puVar2;\n      *puVar2 = *puVar2 + uVar11;\n      uVar8 = (int)((ulonglong)uVar3 * (ulonglong)uVar7 >> 0x20) +\n              (uint)(CARRY4(uVar12,uVar10) || CARRY4(uVar4,uVar9)) + (uint)CARRY4(uVar8,uVar11);\n      param_2 = param_2 + 4;\n      puVar13 = puVar13 + 4;\n    }\n    *puVar13 = uVar8;\n    puVar13 = puVar13 + (1 - param_3);\n    param_2 = param_2 + -param_3;\n  }" ({ "{") (expression_statement "param_4 = param_4 + 1;" (assignment_expression "param_4 = param_4 + 1" (identifier "param_4") (= "=") (binary_expression "param_4 + 1" (identifier "param_4") (+ "+") (number_literal "1"))) (; ";")) (expression_statement "uVar7 = *param_4;" (assignment_expression "uVar7 = *param_4" (identifier "uVar7") (= "=") (pointer_expression "*param_4" (* "*") (identifier "param_4"))) (; ";")) (expression_statement "uVar8 = 0;" (assignment_expression "uVar8 = 0" (identifier "uVar8") (= "=") (number_literal "0")) (; ";")) (for_statement "for (uVar6 = param_3 & 3; uVar6 != 0; uVar6 = uVar6 - 1) {\n      uVar3 = *param_2;\n      param_2 = param_2 + 1;\n      lVar1 = (ulonglong)uVar3 * (ulonglong)uVar7 + (ulonglong)uVar8;\n      uVar3 = (uint)lVar1;\n      uVar8 = *puVar13;\n      *puVar13 = *puVar13 + uVar3;\n      uVar8 = (int)((ulonglong)lVar1 >> 0x20) + (uint)CARRY4(uVar8,uVar3);\n      puVar13 = puVar13 + 1;\n    }" (for "for") (( "(") (assignment_expression "uVar6 = param_3 & 3" (identifier "uVar6") (= "=") (binary_expression "param_3 & 3" (identifier "param_3") (& "&") (number_literal "3"))) (; ";") (binary_expression "uVar6 != 0" (identifier "uVar6") (!= "!=") (number_literal "0")) (; ";") (assignment_expression "uVar6 = uVar6 - 1" (identifier "uVar6") (= "=") (binary_expression "uVar6 - 1" (identifier "uVar6") (- "-") (number_literal "1"))) () ")") (compound_statement "{\n      uVar3 = *param_2;\n      param_2 = param_2 + 1;\n      lVar1 = (ulonglong)uVar3 * (ulonglong)uVar7 + (ulonglong)uVar8;\n      uVar3 = (uint)lVar1;\n      uVar8 = *puVar13;\n      *puVar13 = *puVar13 + uVar3;\n      uVar8 = (int)((ulonglong)lVar1 >> 0x20) + (uint)CARRY4(uVar8,uVar3);\n      puVar13 = puVar13 + 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 "lVar1 = (ulonglong)uVar3 * (ulonglong)uVar7 + (ulonglong)uVar8;" (assignment_expression "lVar1 = (ulonglong)uVar3 * (ulonglong)uVar7 + (ulonglong)uVar8" (identifier "lVar1") (= "=") (binary_expression "(ulonglong)uVar3 * (ulonglong)uVar7 + (ulonglong)uVar8" (binary_expression "(ulonglong)uVar3 * (ulonglong)uVar7" (cast_expression "(ulonglong)uVar3" (( "(") (type_descriptor "ulonglong" (type_identifier "ulonglong")) () ")") (identifier "uVar3")) (* "*") (cast_expression "(ulonglong)uVar7" (( "(") (type_descriptor "ulonglong" (type_identifier "ulonglong")) () ")") (identifier "uVar7"))) (+ "+") (cast_expression "(ulonglong)uVar8" (( "(") (type_descriptor "ulonglong" (type_identifier "ulonglong")) () ")") (identifier "uVar8")))) (; ";")) (expression_statement "uVar3 = (uint)lVar1;" (assignment_expression "uVar3 = (uint)lVar1" (identifier "uVar3") (= "=") (cast_expression "(uint)lVar1" (( "(") (type_descriptor "uint" (type_identifier "uint")) () ")") (identifier "lVar1"))) (; ";")) (expression_statement "uVar8 = *puVar13;" (assignment_expression "uVar8 = *puVar13" (identifier "uVar8") (= "=") (pointer_expression "*puVar13" (* "*") (identifier "puVar13"))) (; ";")) (expression_statement "*puVar13 = *puVar13 + uVar3;" (assignment_expression "*puVar13 = *puVar13 + uVar3" (pointer_expression "*puVar13" (* "*") (identifier "puVar13")) (= "=") (binary_expression "*puVar13 + uVar3" (pointer_expression "*puVar13" (* "*") (identifier "puVar13")) (+ "+") (identifier "uVar3"))) (; ";")) (expression_statement "uVar8 = (int)((ulonglong)lVar1 >> 0x20) + (uint)CARRY4(uVar8,uVar3);" (assignment_expression "uVar8 = (int)((ulonglong)lVar1 >> 0x20) + (uint)CARRY4(uVar8,uVar3)" (identifier "uVar8") (= "=") (binary_expression "(int)((ulonglong)lVar1 >> 0x20) + (uint)CARRY4(uVar8,uVar3)" (cast_expression "(int)((ulonglong)lVar1 >> 0x20)" (( "(") (type_descriptor "int" (primitive_type "int")) () ")") (parenthesized_expression "((ulonglong)lVar1 >> 0x20)" (( "(") (binary_expression "(ulonglong)lVar1 >> 0x20" (cast_expression "(ulonglong)lVar1" (( "(") (type_descriptor "ulonglong" (type_identifier "ulonglong")) () ")") (identifier "lVar1")) (>> ">>") (number_literal "0x20")) () ")"))) (+ "+") (cast_expression "(uint)CARRY4(uVar8,uVar3)" (( "(") (type_descriptor "uint" (type_identifier "uint")) () ")") (call_expression "CARRY4(uVar8,uVar3)" (identifier "CARRY4") (argument_list "(uVar8,uVar3)" (( "(") (identifier "uVar8") (, ",") (identifier "uVar3") () ")")))))) (; ";")) (expression_statement "puVar13 = puVar13 + 1;" (assignment_expression "puVar13 = puVar13 + 1" (identifier "puVar13") (= "=") (binary_expression "puVar13 + 1" (identifier "puVar13") (+ "+") (number_literal "1"))) (; ";")) (} "}"))) (for_statement "for (uVar6 = param_3 >> 2; uVar6 != 0; uVar6 = uVar6 - 1) {\n      lVar1 = (ulonglong)*param_2 * (ulonglong)uVar7 + (ulonglong)uVar8;\n      uVar9 = (uint)lVar1;\n      uVar10 = (uint)((ulonglong)lVar1 >> 0x20);\n      uVar3 = param_2[1];\n      uVar4 = (uint)((ulonglong)uVar3 * (ulonglong)uVar7);\n      uVar8 = *puVar13;\n      *puVar13 = *puVar13 + uVar9;\n      uVar8 = (uint)CARRY4(uVar8,uVar9);\n      uVar9 = uVar10 + uVar4;\n      uVar11 = uVar9 + uVar8;\n      uVar10 = (int)((ulonglong)uVar3 * (ulonglong)uVar7 >> 0x20) +\n               (uint)(CARRY4(uVar10,uVar4) || CARRY4(uVar9,uVar8));\n      uVar3 = param_2[2];\n      uVar4 = (uint)((ulonglong)uVar3 * (ulonglong)uVar7);\n      puVar2 = puVar13 + 1;\n      uVar8 = *puVar2;\n      *puVar2 = *puVar2 + uVar11;\n      uVar8 = (uint)CARRY4(uVar8,uVar11);\n      uVar9 = uVar10 + uVar4;\n      uVar11 = uVar9 + uVar8;\n      uVar12 = (int)((ulonglong)uVar3 * (ulonglong)uVar7 >> 0x20) +\n               (uint)(CARRY4(uVar10,uVar4) || CARRY4(uVar9,uVar8));\n      uVar3 = param_2[3];\n      uVar10 = (uint)((ulonglong)uVar3 * (ulonglong)uVar7);\n      puVar2 = puVar13 + 2;\n      uVar8 = *puVar2;\n      *puVar2 = *puVar2 + uVar11;\n      uVar9 = (uint)CARRY4(uVar8,uVar11);\n      uVar4 = uVar12 + uVar10;\n      uVar11 = uVar4 + uVar9;\n      puVar2 = puVar13 + 3;\n      uVar8 = *puVar2;\n      *puVar2 = *puVar2 + uVar11;\n      uVar8 = (int)((ulonglong)uVar3 * (ulonglong)uVar7 >> 0x20) +\n              (uint)(CARRY4(uVar12,uVar10) || CARRY4(uVar4,uVar9)) + (uint)CARRY4(uVar8,uVar11);\n      param_2 = param_2 + 4;\n      puVar13 = puVar13 + 4;\n    }" (for "for") (( "(") (assignment_expression "uVar6 = param_3 >> 2" (identifier "uVar6") (= "=") (binary_expression "param_3 >> 2" (identifier "param_3") (>> ">>") (number_literal "2"))) (; ";") (binary_expression "uVar6 != 0" (identifier "uVar6") (!= "!=") (number_literal "0")) (; ";") (assignment_expression "uVar6 = uVar6 - 1" (identifier "uVar6") (= "=") (binary_expression "uVar6 - 1" (identifier "uVar6") (- "-") (number_literal "1"))) () ")") (compound_statement "{\n      lVar1 = (ulonglong)*param_2 * (ulonglong)uVar7 + (ulonglong)uVar8;\n      uVar9 = (uint)lVar1;\n      uVar10 = (uint)((ulonglong)lVar1 >> 0x20);\n      uVar3 = param_2[1];\n      uVar4 = (uint)((ulonglong)uVar3 * (ulonglong)uVar7);\n      uVar8 = *puVar13;\n      *puVar13 = *puVar13 + uVar9;\n      uVar8 = (uint)CARRY4(uVar8,uVar9);\n      uVar9 = uVar10 + uVar4;\n      uVar11 = uVar9 + uVar8;\n      uVar10 = (int)((ulonglong)uVar3 * (ulonglong)uVar7 >> 0x20) +\n               (uint)(CARRY4(uVar10,uVar4) || CARRY4(uVar9,uVar8));\n      uVar3 = param_2[2];\n      uVar4 = (uint)((ulonglong)uVar3 * (ulonglong)uVar7);\n      puVar2 = puVar13 + 1;\n      uVar8 = *puVar2;\n      *puVar2 = *puVar2 + uVar11;\n      uVar8 = (uint)CARRY4(uVar8,uVar11);\n      uVar9 = uVar10 + uVar4;\n      uVar11 = uVar9 + uVar8;\n      uVar12 = (int)((ulonglong)uVar3 * (ulonglong)uVar7 >> 0x20) +\n               (uint)(CARRY4(uVar10,uVar4) || CARRY4(uVar9,uVar8));\n      uVar3 = param_2[3];\n      uVar10 = (uint)((ulonglong)uVar3 * (ulonglong)uVar7);\n      puVar2 = puVar13 + 2;\n      uVar8 = *puVar2;\n      *puVar2 = *puVar2 + uVar11;\n      uVar9 = (uint)CARRY4(uVar8,uVar11);\n      uVar4 = uVar12 + uVar10;\n      uVar11 = uVar4 + uVar9;\n      puVar2 = puVar13 + 3;\n      uVar8 = *puVar2;\n      *puVar2 = *puVar2 + uVar11;\n      uVar8 = (int)((ulonglong)uVar3 * (ulonglong)uVar7 >> 0x20) +\n              (uint)(CARRY4(uVar12,uVar10) || CARRY4(uVar4,uVar9)) + (uint)CARRY4(uVar8,uVar11);\n      param_2 = param_2 + 4;\n      puVar13 = puVar13 + 4;\n    }" ({ "{") (expression_statement "lVar1 = (ulonglong)*param_2 * (ulonglong)uVar7 + (ulonglong)uVar8;" (assignment_expression "lVar1 = (ulonglong)*param_2 * (ulonglong)uVar7 + (ulonglong)uVar8" (identifier "lVar1") (= "=") (binary_expression "(ulonglong)*param_2 * (ulonglong)uVar7 + (ulonglong)uVar8" (binary_expression "(ulonglong)*param_2 * (ulonglong)uVar7" (binary_expression "(ulonglong)*param_2" (parenthesized_expression "(ulonglong)" (( "(") (identifier "ulonglong") () ")")) (* "*") (identifier "param_2")) (* "*") (cast_expression "(ulonglong)uVar7" (( "(") (type_descriptor "ulonglong" (type_identifier "ulonglong")) () ")") (identifier "uVar7"))) (+ "+") (cast_expression "(ulonglong)uVar8" (( "(") (type_descriptor "ulonglong" (type_identifier "ulonglong")) () ")") (identifier "uVar8")))) (; ";")) (expression_statement "uVar9 = (uint)lVar1;" (assignment_expression "uVar9 = (uint)lVar1" (identifier "uVar9") (= "=") (cast_expression "(uint)lVar1" (( "(") (type_descriptor "uint" (type_identifier "uint")) () ")") (identifier "lVar1"))) (; ";")) (expression_statement "uVar10 = (uint)((ulonglong)lVar1 >> 0x20);" (assignment_expression "uVar10 = (uint)((ulonglong)lVar1 >> 0x20)" (identifier "uVar10") (= "=") (call_expression "(uint)((ulonglong)lVar1 >> 0x20)" (parenthesized_expression "(uint)" (( "(") (identifier "uint") () ")")) (argument_list "((ulonglong)lVar1 >> 0x20)" (( "(") (binary_expression "(ulonglong)lVar1 >> 0x20" (cast_expression "(ulonglong)lVar1" (( "(") (type_descriptor "ulonglong" (type_identifier "ulonglong")) () ")") (identifier "lVar1")) (>> ">>") (number_literal "0x20")) () ")")))) (; ";")) (expression_statement "uVar3 = param_2[1];" (assignment_expression "uVar3 = param_2[1]" (identifier "uVar3") (= "=") (subscript_expression "param_2[1]" (identifier "param_2") ([ "[") (number_literal "1") (] "]"))) (; ";")) (expression_statement "uVar4 = (uint)((ulonglong)uVar3 * (ulonglong)uVar7);" (assignment_expression "uVar4 = (uint)((ulonglong)uVar3 * (ulonglong)uVar7)" (identifier "uVar4") (= "=") (call_expression "(uint)((ulonglong)uVar3 * (ulonglong)uVar7)" (parenthesized_expression "(uint)" (( "(") (identifier "uint") () ")")) (argument_list "((ulonglong)uVar3 * (ulonglong)uVar7)" (( "(") (binary_expression "(ulonglong)uVar3 * (ulonglong)uVar7" (cast_expression "(ulonglong)uVar3" (( "(") (type_descriptor "ulonglong" (type_identifier "ulonglong")) () ")") (identifier "uVar3")) (* "*") (cast_expression "(ulonglong)uVar7" (( "(") (type_descriptor "ulonglong" (type_identifier "ulonglong")) () ")") (identifier "uVar7"))) () ")")))) (; ";")) (expression_statement "uVar8 = *puVar13;" (assignment_expression "uVar8 = *puVar13" (identifier "uVar8") (= "=") (pointer_expression "*puVar13" (* "*") (identifier "puVar13"))) (; ";")) (expression_statement "*puVar13 = *puVar13 + uVar9;" (assignment_expression "*puVar13 = *puVar13 + uVar9" (pointer_expression "*puVar13" (* "*") (identifier "puVar13")) (= "=") (binary_expression "*puVar13 + uVar9" (pointer_expression "*puVar13" (* "*") (identifier "puVar13")) (+ "+") (identifier "uVar9"))) (; ";")) (expression_statement "uVar8 = (uint)CARRY4(uVar8,uVar9);" (assignment_expression "uVar8 = (uint)CARRY4(uVar8,uVar9)" (identifier "uVar8") (= "=") (cast_expression "(uint)CARRY4(uVar8,uVar9)" (( "(") (type_descriptor "uint" (type_identifier "uint")) () ")") (call_expression "CARRY4(uVar8,uVar9)" (identifier "CARRY4") (argument_list "(uVar8,uVar9)" (( "(") (identifier "uVar8") (, ",") (identifier "uVar9") () ")"))))) (; ";")) (expression_statement "uVar9 = uVar10 + uVar4;" (assignment_expression "uVar9 = uVar10 + uVar4" (identifier "uVar9") (= "=") (binary_expression "uVar10 + uVar4" (identifier "uVar10") (+ "+") (identifier "uVar4"))) (; ";")) (expression_statement "uVar11 = uVar9 + uVar8;" (assignment_expression "uVar11 = uVar9 + uVar8" (identifier "uVar11") (= "=") (binary_expression "uVar9 + uVar8" (identifier "uVar9") (+ "+") (identifier "uVar8"))) (; ";")) (expression_statement "uVar10 = (int)((ulonglong)uVar3 * (ulonglong)uVar7 >> 0x20) +\n               (uint)(CARRY4(uVar10,uVar4) || CARRY4(uVar9,uVar8));" (assignment_expression "uVar10 = (int)((ulonglong)uVar3 * (ulonglong)uVar7 >> 0x20) +\n               (uint)(CARRY4(uVar10,uVar4) || CARRY4(uVar9,uVar8))" (identifier "uVar10") (= "=") (binary_expression "(int)((ulonglong)uVar3 * (ulonglong)uVar7 >> 0x20) +\n               (uint)(CARRY4(uVar10,uVar4) || CARRY4(uVar9,uVar8))" (cast_expression "(int)((ulonglong)uVar3 * (ulonglong)uVar7 >> 0x20)" (( "(") (type_descriptor "int" (primitive_type "int")) () ")") (parenthesized_expression "((ulonglong)uVar3 * (ulonglong)uVar7 >> 0x20)" (( "(") (binary_expression "(ulonglong)uVar3 * (ulonglong)uVar7 >> 0x20" (binary_expression "(ulonglong)uVar3 * (ulonglong)uVar7" (cast_expression "(ulonglong)uVar3" (( "(") (type_descriptor "ulonglong" (type_identifier "ulonglong")) () ")") (identifier "uVar3")) (* "*") (cast_expression "(ulonglong)uVar7" (( "(") (type_descriptor "ulonglong" (type_identifier "ulonglong")) () ")") (identifier "uVar7"))) (>> ">>") (number_literal "0x20")) () ")"))) (+ "+") (call_expression "(uint)(CARRY4(uVar10,uVar4) || CARRY4(uVar9,uVar8))" (parenthesized_expression "(uint)" (( "(") (identifier "uint") () ")")) (argument_list "(CARRY4(uVar10,uVar4) || CARRY4(uVar9,uVar8))" (( "(") (binary_expression "CARRY4(uVar10,uVar4) || CARRY4(uVar9,uVar8)" (call_expression "CARRY4(uVar10,uVar4)" (identifier "CARRY4") (argument_list "(uVar10,uVar4)" (( "(") (identifier "uVar10") (, ",") (identifier "uVar4") () ")"))) (|| "||") (call_expression "CARRY4(uVar9,uVar8)" (identifier "CARRY4") (argument_list "(uVar9,uVar8)" (( "(") (identifier "uVar9") (, ",") (identifier "uVar8") () ")")))) () ")"))))) (; ";")) (expression_statement "uVar3 = param_2[2];" (assignment_expression "uVar3 = param_2[2]" (identifier "uVar3") (= "=") (subscript_expression "param_2[2]" (identifier "param_2") ([ "[") (number_literal "2") (] "]"))) (; ";")) (expression_statement "uVar4 = (uint)((ulonglong)uVar3 * (ulonglong)uVar7);" (assignment_expression "uVar4 = (uint)((ulonglong)uVar3 * (ulonglong)uVar7)" (identifier "uVar4") (= "=") (call_expression "(uint)((ulonglong)uVar3 * (ulonglong)uVar7)" (parenthesized_expression "(uint)" (( "(") (identifier "uint") () ")")) (argument_list "((ulonglong)uVar3 * (ulonglong)uVar7)" (( "(") (binary_expression "(ulonglong)uVar3 * (ulonglong)uVar7" (cast_expression "(ulonglong)uVar3" (( "(") (type_descriptor "ulonglong" (type_identifier "ulonglong")) () ")") (identifier "uVar3")) (* "*") (cast_expression "(ulonglong)uVar7" (( "(") (type_descriptor "ulonglong" (type_identifier "ulonglong")) () ")") (identifier "uVar7"))) () ")")))) (; ";")) (expression_statement "puVar2 = puVar13 + 1;" (assignment_expression "puVar2 = puVar13 + 1" (identifier "puVar2") (= "=") (binary_expression "puVar13 + 1" (identifier "puVar13") (+ "+") (number_literal "1"))) (; ";")) (expression_statement "uVar8 = *puVar2;" (assignment_expression "uVar8 = *puVar2" (identifier "uVar8") (= "=") (pointer_expression "*puVar2" (* "*") (identifier "puVar2"))) (; ";")) (expression_statement "*puVar2 = *puVar2 + uVar11;" (assignment_expression "*puVar2 = *puVar2 + uVar11" (pointer_expression "*puVar2" (* "*") (identifier "puVar2")) (= "=") (binary_expression "*puVar2 + uVar11" (pointer_expression "*puVar2" (* "*") (identifier "puVar2")) (+ "+") (identifier "uVar11"))) (; ";")) (expression_statement "uVar8 = (uint)CARRY4(uVar8,uVar11);" (assignment_expression "uVar8 = (uint)CARRY4(uVar8,uVar11)" (identifier "uVar8") (= "=") (cast_expression "(uint)CARRY4(uVar8,uVar11)" (( "(") (type_descriptor "uint" (type_identifier "uint")) () ")") (call_expression "CARRY4(uVar8,uVar11)" (identifier "CARRY4") (argument_list "(uVar8,uVar11)" (( "(") (identifier "uVar8") (, ",") (identifier "uVar11") () ")"))))) (; ";")) (expression_statement "uVar9 = uVar10 + uVar4;" (assignment_expression "uVar9 = uVar10 + uVar4" (identifier "uVar9") (= "=") (binary_expression "uVar10 + uVar4" (identifier "uVar10") (+ "+") (identifier "uVar4"))) (; ";")) (expression_statement "uVar11 = uVar9 + uVar8;" (assignment_expression "uVar11 = uVar9 + uVar8" (identifier "uVar11") (= "=") (binary_expression "uVar9 + uVar8" (identifier "uVar9") (+ "+") (identifier "uVar8"))) (; ";")) (expression_statement "uVar12 = (int)((ulonglong)uVar3 * (ulonglong)uVar7 >> 0x20) +\n               (uint)(CARRY4(uVar10,uVar4) || CARRY4(uVar9,uVar8));" (assignment_expression "uVar12 = (int)((ulonglong)uVar3 * (ulonglong)uVar7 >> 0x20) +\n               (uint)(CARRY4(uVar10,uVar4) || CARRY4(uVar9,uVar8))" (identifier "uVar12") (= "=") (binary_expression "(int)((ulonglong)uVar3 * (ulonglong)uVar7 >> 0x20) +\n               (uint)(CARRY4(uVar10,uVar4) || CARRY4(uVar9,uVar8))" (cast_expression "(int)((ulonglong)uVar3 * (ulonglong)uVar7 >> 0x20)" (( "(") (type_descriptor "int" (primitive_type "int")) () ")") (parenthesized_expression "((ulonglong)uVar3 * (ulonglong)uVar7 >> 0x20)" (( "(") (binary_expression "(ulonglong)uVar3 * (ulonglong)uVar7 >> 0x20" (binary_expression "(ulonglong)uVar3 * (ulonglong)uVar7" (cast_expression "(ulonglong)uVar3" (( "(") (type_descriptor "ulonglong" (type_identifier "ulonglong")) () ")") (identifier "uVar3")) (* "*") (cast_expression "(ulonglong)uVar7" (( "(") (type_descriptor "ulonglong" (type_identifier "ulonglong")) () ")") (identifier "uVar7"))) (>> ">>") (number_literal "0x20")) () ")"))) (+ "+") (call_expression "(uint)(CARRY4(uVar10,uVar4) || CARRY4(uVar9,uVar8))" (parenthesized_expression "(uint)" (( "(") (identifier "uint") () ")")) (argument_list "(CARRY4(uVar10,uVar4) || CARRY4(uVar9,uVar8))" (( "(") (binary_expression "CARRY4(uVar10,uVar4) || CARRY4(uVar9,uVar8)" (call_expression "CARRY4(uVar10,uVar4)" (identifier "CARRY4") (argument_list "(uVar10,uVar4)" (( "(") (identifier "uVar10") (, ",") (identifier "uVar4") () ")"))) (|| "||") (call_expression "CARRY4(uVar9,uVar8)" (identifier "CARRY4") (argument_list "(uVar9,uVar8)" (( "(") (identifier "uVar9") (, ",") (identifier "uVar8") () ")")))) () ")"))))) (; ";")) (expression_statement "uVar3 = param_2[3];" (assignment_expression "uVar3 = param_2[3]" (identifier "uVar3") (= "=") (subscript_expression "param_2[3]" (identifier "param_2") ([ "[") (number_literal "3") (] "]"))) (; ";")) (expression_statement "uVar10 = (uint)((ulonglong)uVar3 * (ulonglong)uVar7);" (assignment_expression "uVar10 = (uint)((ulonglong)uVar3 * (ulonglong)uVar7)" (identifier "uVar10") (= "=") (call_expression "(uint)((ulonglong)uVar3 * (ulonglong)uVar7)" (parenthesized_expression "(uint)" (( "(") (identifier "uint") () ")")) (argument_list "((ulonglong)uVar3 * (ulonglong)uVar7)" (( "(") (binary_expression "(ulonglong)uVar3 * (ulonglong)uVar7" (cast_expression "(ulonglong)uVar3" (( "(") (type_descriptor "ulonglong" (type_identifier "ulonglong")) () ")") (identifier "uVar3")) (* "*") (cast_expression "(ulonglong)uVar7" (( "(") (type_descriptor "ulonglong" (type_identifier "ulonglong")) () ")") (identifier "uVar7"))) () ")")))) (; ";")) (expression_statement "puVar2 = puVar13 + 2;" (assignment_expression "puVar2 = puVar13 + 2" (identifier "puVar2") (= "=") (binary_expression "puVar13 + 2" (identifier "puVar13") (+ "+") (number_literal "2"))) (; ";")) (expression_statement "uVar8 = *puVar2;" (assignment_expression "uVar8 = *puVar2" (identifier "uVar8") (= "=") (pointer_expression "*puVar2" (* "*") (identifier "puVar2"))) (; ";")) (expression_statement "*puVar2 = *puVar2 + uVar11;" (assignment_expression "*puVar2 = *puVar2 + uVar11" (pointer_expression "*puVar2" (* "*") (identifier "puVar2")) (= "=") (binary_expression "*puVar2 + uVar11" (pointer_expression "*puVar2" (* "*") (identifier "puVar2")) (+ "+") (identifier "uVar11"))) (; ";")) (expression_statement "uVar9 = (uint)CARRY4(uVar8,uVar11);" (assignment_expression "uVar9 = (uint)CARRY4(uVar8,uVar11)" (identifier "uVar9") (= "=") (cast_expression "(uint)CARRY4(uVar8,uVar11)" (( "(") (type_descriptor "uint" (type_identifier "uint")) () ")") (call_expression "CARRY4(uVar8,uVar11)" (identifier "CARRY4") (argument_list "(uVar8,uVar11)" (( "(") (identifier "uVar8") (, ",") (identifier "uVar11") () ")"))))) (; ";")) (expression_statement "uVar4 = uVar12 + uVar10;" (assignment_expression "uVar4 = uVar12 + uVar10" (identifier "uVar4") (= "=") (binary_expression "uVar12 + uVar10" (identifier "uVar12") (+ "+") (identifier "uVar10"))) (; ";")) (expression_statement "uVar11 = uVar4 + uVar9;" (assignment_expression "uVar11 = uVar4 + uVar9" (identifier "uVar11") (= "=") (binary_expression "uVar4 + uVar9" (identifier "uVar4") (+ "+") (identifier "uVar9"))) (; ";")) (expression_statement "puVar2 = puVar13 + 3;" (assignment_expression "puVar2 = puVar13 + 3" (identifier "puVar2") (= "=") (binary_expression "puVar13 + 3" (identifier "puVar13") (+ "+") (number_literal "3"))) (; ";")) (expression_statement "uVar8 = *puVar2;" (assignment_expression "uVar8 = *puVar2" (identifier "uVar8") (= "=") (pointer_expression "*puVar2" (* "*") (identifier "puVar2"))) (; ";")) (expression_statement "*puVar2 = *puVar2 + uVar11;" (assignment_expression "*puVar2 = *puVar2 + uVar11" (pointer_expression "*puVar2" (* "*") (identifier "puVar2")) (= "=") (binary_expression "*puVar2 + uVar11" (pointer_expression "*puVar2" (* "*") (identifier "puVar2")) (+ "+") (identifier "uVar11"))) (; ";")) (expression_statement "uVar8 = (int)((ulonglong)uVar3 * (ulonglong)uVar7 >> 0x20) +\n              (uint)(CARRY4(uVar12,uVar10) || CARRY4(uVar4,uVar9)) + (uint)CARRY4(uVar8,uVar11);" (assignment_expression "uVar8 = (int)((ulonglong)uVar3 * (ulonglong)uVar7 >> 0x20) +\n              (uint)(CARRY4(uVar12,uVar10) || CARRY4(uVar4,uVar9)) + (uint)CARRY4(uVar8,uVar11)" (identifier "uVar8") (= "=") (binary_expression "(int)((ulonglong)uVar3 * (ulonglong)uVar7 >> 0x20) +\n              (uint)(CARRY4(uVar12,uVar10) || CARRY4(uVar4,uVar9)) + (uint)CARRY4(uVar8,uVar11)" (binary_expression "(int)((ulonglong)uVar3 * (ulonglong)uVar7 >> 0x20) +\n              (uint)(CARRY4(uVar12,uVar10) || CARRY4(uVar4,uVar9))" (cast_expression "(int)((ulonglong)uVar3 * (ulonglong)uVar7 >> 0x20)" (( "(") (type_descriptor "int" (primitive_type "int")) () ")") (parenthesized_expression "((ulonglong)uVar3 * (ulonglong)uVar7 >> 0x20)" (( "(") (binary_expression "(ulonglong)uVar3 * (ulonglong)uVar7 >> 0x20" (binary_expression "(ulonglong)uVar3 * (ulonglong)uVar7" (cast_expression "(ulonglong)uVar3" (( "(") (type_descriptor "ulonglong" (type_identifier "ulonglong")) () ")") (identifier "uVar3")) (* "*") (cast_expression "(ulonglong)uVar7" (( "(") (type_descriptor "ulonglong" (type_identifier "ulonglong")) () ")") (identifier "uVar7"))) (>> ">>") (number_literal "0x20")) () ")"))) (+ "+") (call_expression "(uint)(CARRY4(uVar12,uVar10) || CARRY4(uVar4,uVar9))" (parenthesized_expression "(uint)" (( "(") (identifier "uint") () ")")) (argument_list "(CARRY4(uVar12,uVar10) || CARRY4(uVar4,uVar9))" (( "(") (binary_expression "CARRY4(uVar12,uVar10) || CARRY4(uVar4,uVar9)" (call_expression "CARRY4(uVar12,uVar10)" (identifier "CARRY4") (argument_list "(uVar12,uVar10)" (( "(") (identifier "uVar12") (, ",") (identifier "uVar10") () ")"))) (|| "||") (call_expression "CARRY4(uVar4,uVar9)" (identifier "CARRY4") (argument_list "(uVar4,uVar9)" (( "(") (identifier "uVar4") (, ",") (identifier "uVar9") () ")")))) () ")")))) (+ "+") (cast_expression "(uint)CARRY4(uVar8,uVar11)" (( "(") (type_descriptor "uint" (type_identifier "uint")) () ")") (call_expression "CARRY4(uVar8,uVar11)" (identifier "CARRY4") (argument_list "(uVar8,uVar11)" (( "(") (identifier "uVar8") (, ",") (identifier "uVar11") () ")")))))) (; ";")) (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 "puVar13 = puVar13 + 4;" (assignment_expression "puVar13 = puVar13 + 4" (identifier "puVar13") (= "=") (binary_expression "puVar13 + 4" (identifier "puVar13") (+ "+") (number_literal "4"))) (; ";")) (} "}"))) (expression_statement "*puVar13 = uVar8;" (assignment_expression "*puVar13 = uVar8" (pointer_expression "*puVar13" (* "*") (identifier "puVar13")) (= "=") (identifier "uVar8")) (; ";")) (expression_statement "puVar13 = puVar13 + (1 - param_3);" (assignment_expression "puVar13 = puVar13 + (1 - param_3)" (identifier "puVar13") (= "=") (binary_expression "puVar13 + (1 - param_3)" (identifier "puVar13") (+ "+") (parenthesized_expression "(1 - param_3)" (( "(") (binary_expression "1 - param_3" (number_literal "1") (- "-") (identifier "param_3")) () ")")))) (; ";")) (expression_statement "param_2 = param_2 + -param_3;" (assignment_expression "param_2 = param_2 + -param_3" (identifier "param_2") (= "=") (binary_expression "param_2 + -param_3" (identifier "param_2") (+ "+") (unary_expression "-param_3" (- "-") (identifier "param_3")))) (; ";")) (} "}"))) (return_statement "return;" (return "return") (; ";")) (} "}")))

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

{
  type_3 lVar1;
  type_2 *puVar2;
  type_2 var_9;
  type_2 var_13;
  int var_4;
  type_2 var_8;
  type_2 uVar7;
  type_2 var_14;
  type_2 var_11;
  type_2 var_12;
  type_2 var_15;
  type_2 var_16;
  type_2 *var_6;
  
  uVar7 = (type_2)((type_4)*var_1 * (type_4)*var_2 >> 0x20);
  *var_5 = (int)((type_4)*var_1 * (type_4)*var_2);
  var_4 = var_3 - 1;
  if (var_4 == 0) {
    var_5[1] = uVar7;
    return;
  }
  var_1 = var_1 + 1;
  puVar2 = var_5 + 1;
  do {
    var_6 = puVar2;
    var_14 = *var_1;
    var_1 = var_1 + 1;
    lVar1 = (type_4)var_14 * (type_4)*var_2 + (type_4)uVar7;
    uVar7 = (type_2)((type_4)lVar1 >> 0x20);
    *var_6 = (type_2)lVar1;
    var_4 = var_4 + -1;
    puVar2 = var_6 + 1;
  } while (var_4 != 0);
  var_6[1] = uVar7;
  var_6 = var_6 + (2 - var_3);
  var_1 = var_1 + -var_3;
  for (var_7 = var_7 + -1; var_7 != 0; var_7 = var_7 + -1) {
    var_2 = var_2 + 1;
    uVar7 = *var_2;
    var_14 = 0;
    for (var_8 = var_3 & 3; var_8 != 0; var_8 = var_8 - 1) {
      var_9 = *var_1;
      var_1 = var_1 + 1;
      lVar1 = (type_4)var_9 * (type_4)uVar7 + (type_4)var_14;
      var_9 = (type_2)lVar1;
      var_14 = *var_6;
      *var_6 = *var_6 + var_9;
      var_14 = (int)((type_4)lVar1 >> 0x20) + (type_2)var_10(var_14,var_9);
      var_6 = var_6 + 1;
    }
    for (var_8 = var_3 >> 2; var_8 != 0; var_8 = var_8 - 1) {
      lVar1 = (type_4)*var_1 * (type_4)uVar7 + (type_4)var_14;
      var_11 = (type_2)lVar1;
      var_12 = (type_2)((type_4)lVar1 >> 0x20);
      var_9 = var_1[1];
      var_13 = (type_2)((type_4)var_9 * (type_4)uVar7);
      var_14 = *var_6;
      *var_6 = *var_6 + var_11;
      var_14 = (type_2)var_10(var_14,var_11);
      var_11 = var_12 + var_13;
      var_15 = var_11 + var_14;
      var_12 = (int)((type_4)var_9 * (type_4)uVar7 >> 0x20) +
               (type_2)(var_10(var_12,var_13) || var_10(var_11,var_14));
      var_9 = var_1[2];
      var_13 = (type_2)((type_4)var_9 * (type_4)uVar7);
      puVar2 = var_6 + 1;
      var_14 = *puVar2;
      *puVar2 = *puVar2 + var_15;
      var_14 = (type_2)var_10(var_14,var_15);
      var_11 = var_12 + var_13;
      var_15 = var_11 + var_14;
      var_16 = (int)((type_4)var_9 * (type_4)uVar7 >> 0x20) +
               (type_2)(var_10(var_12,var_13) || var_10(var_11,var_14));
      var_9 = var_1[3];
      var_12 = (type_2)((type_4)var_9 * (type_4)uVar7);
      puVar2 = var_6 + 2;
      var_14 = *puVar2;
      *puVar2 = *puVar2 + var_15;
      var_11 = (type_2)var_10(var_14,var_15);
      var_13 = var_16 + var_12;
      var_15 = var_13 + var_11;
      puVar2 = var_6 + 3;
      var_14 = *puVar2;
      *puVar2 = *puVar2 + var_15;
      var_14 = (int)((type_4)var_9 * (type_4)uVar7 >> 0x20) +
              (type_2)(var_10(var_16,var_12) || var_10(var_13,var_11)) + (type_2)var_10(var_14,var_15);
      var_1 = var_1 + 4;
      var_6 = var_6 + 4;
    }
    *var_6 = var_14;
    var_6 = var_6 + (1 - var_3);
    var_1 = var_1 + -var_3;
  }
  return;
}


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

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

{
  longlong lVar1;
  uint *puVar2;
  uint uVar3;
  uint uVar4;
  int iVar5;
  uint uVar6;
  uint uVar7;
  uint uVar8;
  uint uVar9;
  uint uVar10;
  uint uVar11;
  uint uVar12;
  uint *puVar13;
  
  uVar7 = (uint)((ulonglong)*param_2 * (ulonglong)*param_4 >> 0x20);
  *param_1 = (int)((ulonglong)*param_2 * (ulonglong)*param_4);
  iVar5 = param_3 - 1;
  if (iVar5 == 0) {
    param_1[1] = uVar7;
    return;
  }
  param_2 = param_2 + 1;
  puVar2 = param_1 + 1;
  do {
    puVar13 = puVar2;
    uVar8 = *param_2;
    param_2 = param_2 + 1;
    lVar1 = (ulonglong)uVar8 * (ulonglong)*param_4 + (ulonglong)uVar7;
    uVar7 = (uint)((ulonglong)lVar1 >> 0x20);
    *puVar13 = (uint)lVar1;
    iVar5 = iVar5 + -1;
    puVar2 = puVar13 + 1;
  } while (iVar5 != 0);
  puVar13[1] = uVar7;
  puVar13 = puVar13 + (2 - param_3);
  param_2 = param_2 + -param_3;
  for (param_5 = param_5 + -1; param_5 != 0; param_5 = param_5 + -1) {
    param_4 = param_4 + 1;
    uVar7 = *param_4;
    uVar8 = 0;
    for (uVar6 = param_3 & 3; uVar6 != 0; uVar6 = uVar6 - 1) {
      uVar3 = *param_2;
      param_2 = param_2 + 1;
      lVar1 = (ulonglong)uVar3 * (ulonglong)uVar7 + (ulonglong)uVar8;
      uVar3 = (uint)lVar1;
      uVar8 = *puVar13;
      *puVar13 = *puVar13 + uVar3;
      uVar8 = (int)((ulonglong)lVar1 >> 0x20) + (uint)CARRY4(uVar8,uVar3);
      puVar13 = puVar13 + 1;
    }
    for (uVar6 = param_3 >> 2; uVar6 != 0; uVar6 = uVar6 - 1) {
      lVar1 = (ulonglong)*param_2 * (ulonglong)uVar7 + (ulonglong)uVar8;
      uVar9 = (uint)lVar1;
      uVar10 = (uint)((ulonglong)lVar1 >> 0x20);
      uVar3 = param_2[1];
      uVar4 = (uint)((ulonglong)uVar3 * (ulonglong)uVar7);
      uVar8 = *puVar13;
      *puVar13 = *puVar13 + uVar9;
      uVar8 = (uint)CARRY4(uVar8,uVar9);
      uVar9 = uVar10 + uVar4;
      uVar11 = uVar9 + uVar8;
      uVar10 = (int)((ulonglong)uVar3 * (ulonglong)uVar7 >> 0x20) +
               (uint)(CARRY4(uVar10,uVar4) || CARRY4(uVar9,uVar8));
      uVar3 = param_2[2];
      uVar4 = (uint)((ulonglong)uVar3 * (ulonglong)uVar7);
      puVar2 = puVar13 + 1;
      uVar8 = *puVar2;
      *puVar2 = *puVar2 + uVar11;
      uVar8 = (uint)CARRY4(uVar8,uVar11);
      uVar9 = uVar10 + uVar4;
      uVar11 = uVar9 + uVar8;
      uVar12 = (int)((ulonglong)uVar3 * (ulonglong)uVar7 >> 0x20) +
               (uint)(CARRY4(uVar10,uVar4) || CARRY4(uVar9,uVar8));
      uVar3 = param_2[3];
      uVar10 = (uint)((ulonglong)uVar3 * (ulonglong)uVar7);
      puVar2 = puVar13 + 2;
      uVar8 = *puVar2;
      *puVar2 = *puVar2 + uVar11;
      uVar9 = (uint)CARRY4(uVar8,uVar11);
      uVar4 = uVar12 + uVar10;
      uVar11 = uVar4 + uVar9;
      puVar2 = puVar13 + 3;
      uVar8 = *puVar2;
      *puVar2 = *puVar2 + uVar11;
      uVar8 = (int)((ulonglong)uVar3 * (ulonglong)uVar7 >> 0x20) +
              (uint)(CARRY4(uVar12,uVar10) || CARRY4(uVar4,uVar9)) + (uint)CARRY4(uVar8,uVar11);
      param_2 = param_2 + 4;
      puVar13 = puVar13 + 4;
    }
    *puVar13 = uVar8;
    puVar13 = puVar13 + (1 - param_3);
    param_2 = param_2 + -param_3;
  }
  return;
}

