
void __gmpn_mul_basecase_k6(longlong *param_1,uint *param_2,uint param_3,uint *param_4,int param_5)

{
  uint *puVar1;
  ulonglong uVar2;
  longlong lVar3;
  longlong lVar4;
  uint uVar5;
  int iVar6;
  int iVar7;
  undefined4 extraout_ECX;
  uint uVar8;
  uint uVar9;
  uint uVar10;
  uint *puVar11;
  
  uVar9 = *param_4;
  if (2 < param_3) {
    uVar5 = 0;
    puVar11 = (uint *)((int)param_1 + param_3 * 4);
    iVar6 = -param_3;
    do {
      lVar3 = (ulonglong)param_2[param_3 + iVar6] * (ulonglong)uVar9 + (ulonglong)uVar5;
      uVar5 = (uint)((ulonglong)lVar3 >> 0x20);
      puVar11[iVar6] = (uint)lVar3;
      iVar6 = iVar6 + 1;
    } while (iVar6 != 0);
    *puVar11 = uVar5;
    iVar6 = param_5 + -1;
    if (iVar6 == 0) {
      return;
    }
    if (param_3 < 8) {
      uVar9 = param_4[1];
      param_5 = -iVar6;
      while( true ) {
        uVar5 = 0;
        puVar11 = puVar11 + 1;
        iVar7 = -param_3;
        do {
          lVar3 = (ulonglong)param_2[param_3 + iVar7] * (ulonglong)uVar9 + (ulonglong)uVar5;
          uVar8 = (uint)lVar3;
          puVar1 = puVar11 + iVar7;
          uVar5 = *puVar1;
          *puVar1 = *puVar1 + uVar8;
          uVar5 = (int)((ulonglong)lVar3 >> 0x20) + (uint)CARRY4(uVar5,uVar8);
          iVar7 = iVar7 + 1;
        } while (iVar7 != 0);
        *puVar11 = uVar5;
        if (param_5 + 1 == 0) break;
        uVar9 = param_4[iVar6 + param_5 + 2];
        param_5 = param_5 + 1;
      }
      return;
    }
    uVar5 = param_3 - 2 >> 4;
    uVar9 = uVar5;
    FUN_000394e9();
    FUN_00039521(extraout_ECX,uVar9,uVar5);
    return;
  }
  if (param_3 != 2) {
    *param_1 = (ulonglong)uVar9 * (ulonglong)*param_2;
    return;
  }
  if (param_5 == 1) {
    uVar2 = (ulonglong)*param_2 * (ulonglong)uVar9;
    *(int *)param_1 = (int)uVar2;
    *(ulonglong *)((int)param_1 + 4) = (ulonglong)param_2[1] * (ulonglong)uVar9 + (uVar2 >> 0x20);
    return;
  }
  uVar2 = (ulonglong)*param_2 * (ulonglong)uVar9;
  *(int *)param_1 = (int)uVar2;
  uVar2 = (ulonglong)param_2[1] * (ulonglong)uVar9 + (uVar2 >> 0x20);
  *(int *)((int)param_1 + 4) = (int)uVar2;
  lVar4 = (ulonglong)param_2[1] * (ulonglong)param_4[1] + (uVar2 >> 0x20);
  uVar10 = (uint)lVar4;
  lVar3 = (ulonglong)*param_2 * (ulonglong)param_4[1];
  uVar8 = (uint)((ulonglong)lVar3 >> 0x20);
  uVar5 = (uint)lVar3;
  puVar11 = (uint *)((int)param_1 + 4);
  uVar9 = *puVar11;
  *puVar11 = *puVar11 + uVar5;
  uVar9 = (uint)CARRY4(uVar9,uVar5);
  uVar5 = uVar10 + uVar8;
  *(uint *)(param_1 + 1) = uVar5 + uVar9;
  *(uint *)((int)param_1 + 0xc) =
       (int)((ulonglong)lVar4 >> 0x20) + (uint)(CARRY4(uVar10,uVar8) || CARRY4(uVar5,uVar9));
  return;
}



void __gmpn_mul_basecase_k6(longlong *param_1,uint *param_2,uint param_3,uint *param_4,int param_5)

{
  uint *puVar1;
  ulonglong uVar2;
  longlong lVar3;
  longlong lVar4;
  uint uVar5;
  int iVar6;
  int iVar7;
  undefined4 extraout_ECX;
  uint uVar8;
  uint uVar9;
  uint uVar10;
  uint *puVar11;
  
  uVar9 = *param_4;
  if (2 < param_3) {
    uVar5 = 0;
    puVar11 = (uint *)((int)param_1 + param_3 * 4);
    iVar6 = -param_3;
    do {
      lVar3 = (ulonglong)param_2[param_3 + iVar6] * (ulonglong)uVar9 + (ulonglong)uVar5;
      uVar5 = (uint)((ulonglong)lVar3 >> 0x20);
      puVar11[iVar6] = (uint)lVar3;
      iVar6 = iVar6 + 1;
    } while (iVar6 != 0);
    *puVar11 = uVar5;
    iVar6 = param_5 + -1;
    if (iVar6 == 0) {
      return;
    }
    if (param_3 < 8) {
      uVar9 = param_4[1];
      param_5 = -iVar6;
      while( true ) {
        uVar5 = 0;
        puVar11 = puVar11 + 1;
        iVar7 = -param_3;
        do {
          lVar3 = (ulonglong)param_2[param_3 + iVar7] * (ulonglong)uVar9 + (ulonglong)uVar5;
          uVar8 = (uint)lVar3;
          puVar1 = puVar11 + iVar7;
          uVar5 = *puVar1;
          *puVar1 = *puVar1 + uVar8;
          uVar5 = (int)((ulonglong)lVar3 >> 0x20) + (uint)CARRY4(uVar5,uVar8);
          iVar7 = iVar7 + 1;
        } while (iVar7 != 0);
        *puVar11 = uVar5;
        if (param_5 + 1 == 0) break;
        uVar9 = param_4[iVar6 + param_5 + 2];
        param_5 = param_5 + 1;
      }
      return;
    }
    uVar5 = param_3 - 2 >> 4;
    uVar9 = uVar5;
    FUN_000394e9();
    FUN_00039521(extraout_ECX,uVar9,uVar5);
    return;
  }
  if (param_3 != 2) {
    *param_1 = (ulonglong)uVar9 * (ulonglong)*param_2;
    return;
  }
  if (param_5 == 1) {
    uVar2 = (ulonglong)*param_2 * (ulonglong)uVar9;
    *(int *)param_1 = (int)uVar2;
    *(ulonglong *)((int)param_1 + 4) = (ulonglong)param_2[1] * (ulonglong)uVar9 + (uVar2 >> 0x20);
    return;
  }
  uVar2 = (ulonglong)*param_2 * (ulonglong)uVar9;
  *(int *)param_1 = (int)uVar2;
  uVar2 = (ulonglong)param_2[1] * (ulonglong)uVar9 + (uVar2 >> 0x20);
  *(int *)((int)param_1 + 4) = (int)uVar2;
  lVar4 = (ulonglong)param_2[1] * (ulonglong)param_4[1] + (uVar2 >> 0x20);
  uVar10 = (uint)lVar4;
  lVar3 = (ulonglong)*param_2 * (ulonglong)param_4[1];
  uVar8 = (uint)((ulonglong)lVar3 >> 0x20);
  uVar5 = (uint)lVar3;
  puVar11 = (uint *)((int)param_1 + 4);
  uVar9 = *puVar11;
  *puVar11 = *puVar11 + uVar5;
  uVar9 = (uint)CARRY4(uVar9,uVar5);
  uVar5 = uVar10 + uVar8;
  *(uint *)(param_1 + 1) = uVar5 + uVar9;
  *(uint *)((int)param_1 + 0xc) =
       (int)((ulonglong)lVar4 >> 0x20) + (uint)(CARRY4(uVar10,uVar8) || CARRY4(uVar5,uVar9));
  return;
}


MOV ECX,dword ptr [ESP + 0xc]
MOV EAX,dword ptr [ESP + 0x10]
MOV EDX,dword ptr [ESP + 0x8]
MOV EAX,dword ptr [EAX]
CMP ECX,0x2
JA 0x000393f0
JZ 0x00039383
MOV EDX,dword ptr [EDX]
MOV ECX,dword ptr [ESP + 0x4]
MUL EDX
MOV dword ptr [ECX],EAX
MOV dword ptr [ECX + 0x4],EDX
RET
DEC dword ptr [ESP + 0x14]
PUSH EBX
MOV EBX,dword ptr [ESP + 0x8]
PUSH ESI
MOV ECX,EAX
MOV EAX,dword ptr [EDX]
MOV ESI,EDX
JNZ 0x000393b0
MUL ECX
MOV dword ptr [EBX],EAX
MOV EAX,dword ptr [ESI + 0x4]
MOV ESI,EDX
MUL ECX
ADD ESI,EAX
MOV dword ptr [EBX + 0x4],ESI
ADC EDX,0x0
MOV dword ptr [EBX + 0x8],EDX
POP ESI
POP EBX
RET
MUL ECX
PUSH EDI
MOV dword ptr [EBX],EAX
MOV EAX,dword ptr [ESI + 0x4]
MOV EDI,EDX
MUL ECX
ADD EDI,EAX
MOV ECX,dword ptr [ESP + 0x1c]
ADC EDX,0x0
MOV dword ptr [EBX + 0x4],EDI
MOV ECX,dword ptr [ECX + 0x4]
MOV EAX,dword ptr [ESI + 0x4]
MOV EDI,EDX
MUL ECX
ADD EDI,EAX
ADC EDX,0x0
MOV EAX,dword ptr [ESI]
MOV ESI,EDX
MUL ECX
ADD dword ptr [EBX + 0x4],EAX
ADC EDI,EDX
ADC ESI,0x0
MOV dword ptr [EBX + 0x8],EDI
POP EDI
MOV dword ptr [EBX + 0xc],ESI
POP ESI
POP EBX
RET
PUSH EDI
PUSH EBP
MOV EDI,dword ptr [ESP + 0xc]
PUSH ESI
MOV EBP,EAX
PUSH EBX
LEA EBX,[EDX + ECX*0x4]
XOR ESI,ESI
LEA EDI,[EDI + ECX*0x4]
NEG ECX
MOV EAX,dword ptr [EBX + ECX*0x4]
MUL EBP
ADD EAX,ESI
MOV ESI,0x0
ADC ESI,EDX
MOV dword ptr [EDI + ECX*0x4],EAX
INC ECX
JNZ 0x00039404
MOV EDX,dword ptr [ESP + 0x24]
MOV dword ptr [EDI],ESI
MOV ECX,dword ptr [ESP + 0x1c]
DEC EDX
JNZ 0x0003942a
POP EBX
POP ESI
POP EBP
POP EDI
RET
CMP ECX,0x8
MOV EAX,dword ptr [ESP + 0x20]
JNC 0x00039489
MOV EBP,dword ptr [EAX + 0x4]
NEG ECX
MOV dword ptr [ESP + 0x1c],ECX
XOR ESI,ESI
LEA EAX,[EAX + EDX*0x4 + 0x4]
NEG EDX
MOV dword ptr [ESP + 0x20],EAX
MOV dword ptr [ESP + 0x24],EDX
JMP 0x00039461
MOV EAX,dword ptr [ESP + 0x20]
XOR ESI,ESI
MOV ECX,dword ptr [ESP + 0x1c]
MOV dword ptr [ESP + 0x24],EDX
MOV EBP,dword ptr [EAX + EDX*0x4]
ADD EDI,0x4
MOV EAX,dword ptr [EBX + ECX*0x4]
MUL EBP
ADD EAX,ESI
MOV ESI,0x0
ADC EDX,0x0
ADD dword ptr [EDI + ECX*0x4],EAX
ADC ESI,EDX
INC ECX
JNZ 0x00039464
MOV EDX,dword ptr [ESP + 0x24]
MOV dword ptr [EDI],ESI
INC EDX
JNZ 0x00039450
POP EBX
POP ESI
POP EBP
POP EDI
RET
LEA EBP,[ECX + -0x2]
DEC ECX
SHR EBP,0x4
NEG ECX
SUB ESP,0x10
AND ECX,0xf
MOV ESI,ECX
SHL ECX,0x4
MOV dword ptr [ESP + 0x8],EBP
NEG ESI
CALL 0x000394e9
MOV EBX,dword ptr [ESP + 0x28]
MOV dword ptr [ESP + 0xc],EBP
MOV EDI,dword ptr [ESP + 0x24]
MOV dword ptr [ESP + 0x4],ECX
MOV EAX,dword ptr [EBX]
LEA EDI,[EDI + ESI*0x4 + 0x4]
LEA EBX,[EBX + ESI*0x4]
MOV dword ptr [ESP],EAX
MOV dword ptr [ESP + 0x28],EBX
MOV EBX,dword ptr [ESP + 0x30]
LEA ECX,[EDI + EDX*0x4]
MOV EBP,dword ptr [EBX + 0x4]
LEA EBX,[EBX + EDX*0x4 + 0x4]
MOV dword ptr [ESP + 0x24],ECX
LEA ECX,[ESI + 0x1]
MOV dword ptr [ESP + 0x30],EBX
NEG EDX
MOV dword ptr [ESP + 0x34],EDX
JMP 0x00039521
(translation_unit "void __gmpn_mul_basecase_k6(longlong *param_1,uint *param_2,uint param_3,uint *param_4,int param_5)\n\n{\n  uint *puVar1;\n  ulonglong uVar2;\n  longlong lVar3;\n  longlong lVar4;\n  uint uVar5;\n  int iVar6;\n  int iVar7;\n  undefined4 extraout_ECX;\n  uint uVar8;\n  uint uVar9;\n  uint uVar10;\n  uint *puVar11;\n  \n  uVar9 = *param_4;\n  if (2 < param_3) {\n    uVar5 = 0;\n    puVar11 = (uint *)((int)param_1 + param_3 * 4);\n    iVar6 = -param_3;\n    do {\n      lVar3 = (ulonglong)param_2[param_3 + iVar6] * (ulonglong)uVar9 + (ulonglong)uVar5;\n      uVar5 = (uint)((ulonglong)lVar3 >> 0x20);\n      puVar11[iVar6] = (uint)lVar3;\n      iVar6 = iVar6 + 1;\n    } while (iVar6 != 0);\n    *puVar11 = uVar5;\n    iVar6 = param_5 + -1;\n    if (iVar6 == 0) {\n      return;\n    }\n    if (param_3 < 8) {\n      uVar9 = param_4[1];\n      param_5 = -iVar6;\n      while( true ) {\n        uVar5 = 0;\n        puVar11 = puVar11 + 1;\n        iVar7 = -param_3;\n        do {\n          lVar3 = (ulonglong)param_2[param_3 + iVar7] * (ulonglong)uVar9 + (ulonglong)uVar5;\n          uVar8 = (uint)lVar3;\n          puVar1 = puVar11 + iVar7;\n          uVar5 = *puVar1;\n          *puVar1 = *puVar1 + uVar8;\n          uVar5 = (int)((ulonglong)lVar3 >> 0x20) + (uint)CARRY4(uVar5,uVar8);\n          iVar7 = iVar7 + 1;\n        } while (iVar7 != 0);\n        *puVar11 = uVar5;\n        if (param_5 + 1 == 0) break;\n        uVar9 = param_4[iVar6 + param_5 + 2];\n        param_5 = param_5 + 1;\n      }\n      return;\n    }\n    uVar5 = param_3 - 2 >> 4;\n    uVar9 = uVar5;\n    FUN_000394e9();\n    FUN_00039521(extraout_ECX,uVar9,uVar5);\n    return;\n  }\n  if (param_3 != 2) {\n    *param_1 = (ulonglong)uVar9 * (ulonglong)*param_2;\n    return;\n  }\n  if (param_5 == 1) {\n    uVar2 = (ulonglong)*param_2 * (ulonglong)uVar9;\n    *(int *)param_1 = (int)uVar2;\n    *(ulonglong *)((int)param_1 + 4) = (ulonglong)param_2[1] * (ulonglong)uVar9 + (uVar2 >> 0x20);\n    return;\n  }\n  uVar2 = (ulonglong)*param_2 * (ulonglong)uVar9;\n  *(int *)param_1 = (int)uVar2;\n  uVar2 = (ulonglong)param_2[1] * (ulonglong)uVar9 + (uVar2 >> 0x20);\n  *(int *)((int)param_1 + 4) = (int)uVar2;\n  lVar4 = (ulonglong)param_2[1] * (ulonglong)param_4[1] + (uVar2 >> 0x20);\n  uVar10 = (uint)lVar4;\n  lVar3 = (ulonglong)*param_2 * (ulonglong)param_4[1];\n  uVar8 = (uint)((ulonglong)lVar3 >> 0x20);\n  uVar5 = (uint)lVar3;\n  puVar11 = (uint *)((int)param_1 + 4);\n  uVar9 = *puVar11;\n  *puVar11 = *puVar11 + uVar5;\n  uVar9 = (uint)CARRY4(uVar9,uVar5);\n  uVar5 = uVar10 + uVar8;\n  *(uint *)(param_1 + 1) = uVar5 + uVar9;\n  *(uint *)((int)param_1 + 0xc) =\n       (int)((ulonglong)lVar4 >> 0x20) + (uint)(CARRY4(uVar10,uVar8) || CARRY4(uVar5,uVar9));\n  return;\n}\n\n" (function_definition "void __gmpn_mul_basecase_k6(longlong *param_1,uint *param_2,uint param_3,uint *param_4,int param_5)\n\n{\n  uint *puVar1;\n  ulonglong uVar2;\n  longlong lVar3;\n  longlong lVar4;\n  uint uVar5;\n  int iVar6;\n  int iVar7;\n  undefined4 extraout_ECX;\n  uint uVar8;\n  uint uVar9;\n  uint uVar10;\n  uint *puVar11;\n  \n  uVar9 = *param_4;\n  if (2 < param_3) {\n    uVar5 = 0;\n    puVar11 = (uint *)((int)param_1 + param_3 * 4);\n    iVar6 = -param_3;\n    do {\n      lVar3 = (ulonglong)param_2[param_3 + iVar6] * (ulonglong)uVar9 + (ulonglong)uVar5;\n      uVar5 = (uint)((ulonglong)lVar3 >> 0x20);\n      puVar11[iVar6] = (uint)lVar3;\n      iVar6 = iVar6 + 1;\n    } while (iVar6 != 0);\n    *puVar11 = uVar5;\n    iVar6 = param_5 + -1;\n    if (iVar6 == 0) {\n      return;\n    }\n    if (param_3 < 8) {\n      uVar9 = param_4[1];\n      param_5 = -iVar6;\n      while( true ) {\n        uVar5 = 0;\n        puVar11 = puVar11 + 1;\n        iVar7 = -param_3;\n        do {\n          lVar3 = (ulonglong)param_2[param_3 + iVar7] * (ulonglong)uVar9 + (ulonglong)uVar5;\n          uVar8 = (uint)lVar3;\n          puVar1 = puVar11 + iVar7;\n          uVar5 = *puVar1;\n          *puVar1 = *puVar1 + uVar8;\n          uVar5 = (int)((ulonglong)lVar3 >> 0x20) + (uint)CARRY4(uVar5,uVar8);\n          iVar7 = iVar7 + 1;\n        } while (iVar7 != 0);\n        *puVar11 = uVar5;\n        if (param_5 + 1 == 0) break;\n        uVar9 = param_4[iVar6 + param_5 + 2];\n        param_5 = param_5 + 1;\n      }\n      return;\n    }\n    uVar5 = param_3 - 2 >> 4;\n    uVar9 = uVar5;\n    FUN_000394e9();\n    FUN_00039521(extraout_ECX,uVar9,uVar5);\n    return;\n  }\n  if (param_3 != 2) {\n    *param_1 = (ulonglong)uVar9 * (ulonglong)*param_2;\n    return;\n  }\n  if (param_5 == 1) {\n    uVar2 = (ulonglong)*param_2 * (ulonglong)uVar9;\n    *(int *)param_1 = (int)uVar2;\n    *(ulonglong *)((int)param_1 + 4) = (ulonglong)param_2[1] * (ulonglong)uVar9 + (uVar2 >> 0x20);\n    return;\n  }\n  uVar2 = (ulonglong)*param_2 * (ulonglong)uVar9;\n  *(int *)param_1 = (int)uVar2;\n  uVar2 = (ulonglong)param_2[1] * (ulonglong)uVar9 + (uVar2 >> 0x20);\n  *(int *)((int)param_1 + 4) = (int)uVar2;\n  lVar4 = (ulonglong)param_2[1] * (ulonglong)param_4[1] + (uVar2 >> 0x20);\n  uVar10 = (uint)lVar4;\n  lVar3 = (ulonglong)*param_2 * (ulonglong)param_4[1];\n  uVar8 = (uint)((ulonglong)lVar3 >> 0x20);\n  uVar5 = (uint)lVar3;\n  puVar11 = (uint *)((int)param_1 + 4);\n  uVar9 = *puVar11;\n  *puVar11 = *puVar11 + uVar5;\n  uVar9 = (uint)CARRY4(uVar9,uVar5);\n  uVar5 = uVar10 + uVar8;\n  *(uint *)(param_1 + 1) = uVar5 + uVar9;\n  *(uint *)((int)param_1 + 0xc) =\n       (int)((ulonglong)lVar4 >> 0x20) + (uint)(CARRY4(uVar10,uVar8) || CARRY4(uVar5,uVar9));\n  return;\n}" primitive_type (function_declarator "__gmpn_mul_basecase_k6(longlong *param_1,uint *param_2,uint param_3,uint *param_4,int param_5)" identifier (parameter_list "(longlong *param_1,uint *param_2,uint param_3,uint *param_4,int param_5)" ( (parameter_declaration "longlong *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  uint *puVar1;\n  ulonglong uVar2;\n  longlong lVar3;\n  longlong lVar4;\n  uint uVar5;\n  int iVar6;\n  int iVar7;\n  undefined4 extraout_ECX;\n  uint uVar8;\n  uint uVar9;\n  uint uVar10;\n  uint *puVar11;\n  \n  uVar9 = *param_4;\n  if (2 < param_3) {\n    uVar5 = 0;\n    puVar11 = (uint *)((int)param_1 + param_3 * 4);\n    iVar6 = -param_3;\n    do {\n      lVar3 = (ulonglong)param_2[param_3 + iVar6] * (ulonglong)uVar9 + (ulonglong)uVar5;\n      uVar5 = (uint)((ulonglong)lVar3 >> 0x20);\n      puVar11[iVar6] = (uint)lVar3;\n      iVar6 = iVar6 + 1;\n    } while (iVar6 != 0);\n    *puVar11 = uVar5;\n    iVar6 = param_5 + -1;\n    if (iVar6 == 0) {\n      return;\n    }\n    if (param_3 < 8) {\n      uVar9 = param_4[1];\n      param_5 = -iVar6;\n      while( true ) {\n        uVar5 = 0;\n        puVar11 = puVar11 + 1;\n        iVar7 = -param_3;\n        do {\n          lVar3 = (ulonglong)param_2[param_3 + iVar7] * (ulonglong)uVar9 + (ulonglong)uVar5;\n          uVar8 = (uint)lVar3;\n          puVar1 = puVar11 + iVar7;\n          uVar5 = *puVar1;\n          *puVar1 = *puVar1 + uVar8;\n          uVar5 = (int)((ulonglong)lVar3 >> 0x20) + (uint)CARRY4(uVar5,uVar8);\n          iVar7 = iVar7 + 1;\n        } while (iVar7 != 0);\n        *puVar11 = uVar5;\n        if (param_5 + 1 == 0) break;\n        uVar9 = param_4[iVar6 + param_5 + 2];\n        param_5 = param_5 + 1;\n      }\n      return;\n    }\n    uVar5 = param_3 - 2 >> 4;\n    uVar9 = uVar5;\n    FUN_000394e9();\n    FUN_00039521(extraout_ECX,uVar9,uVar5);\n    return;\n  }\n  if (param_3 != 2) {\n    *param_1 = (ulonglong)uVar9 * (ulonglong)*param_2;\n    return;\n  }\n  if (param_5 == 1) {\n    uVar2 = (ulonglong)*param_2 * (ulonglong)uVar9;\n    *(int *)param_1 = (int)uVar2;\n    *(ulonglong *)((int)param_1 + 4) = (ulonglong)param_2[1] * (ulonglong)uVar9 + (uVar2 >> 0x20);\n    return;\n  }\n  uVar2 = (ulonglong)*param_2 * (ulonglong)uVar9;\n  *(int *)param_1 = (int)uVar2;\n  uVar2 = (ulonglong)param_2[1] * (ulonglong)uVar9 + (uVar2 >> 0x20);\n  *(int *)((int)param_1 + 4) = (int)uVar2;\n  lVar4 = (ulonglong)param_2[1] * (ulonglong)param_4[1] + (uVar2 >> 0x20);\n  uVar10 = (uint)lVar4;\n  lVar3 = (ulonglong)*param_2 * (ulonglong)param_4[1];\n  uVar8 = (uint)((ulonglong)lVar3 >> 0x20);\n  uVar5 = (uint)lVar3;\n  puVar11 = (uint *)((int)param_1 + 4);\n  uVar9 = *puVar11;\n  *puVar11 = *puVar11 + uVar5;\n  uVar9 = (uint)CARRY4(uVar9,uVar5);\n  uVar5 = uVar10 + uVar8;\n  *(uint *)(param_1 + 1) = uVar5 + uVar9;\n  *(uint *)((int)param_1 + 0xc) =\n       (int)((ulonglong)lVar4 >> 0x20) + (uint)(CARRY4(uVar10,uVar8) || CARRY4(uVar5,uVar9));\n  return;\n}" { (declaration "uint *puVar1;" type_identifier (pointer_declarator "*puVar1" * identifier) ;) (declaration "ulonglong uVar2;" type_identifier identifier ;) (declaration "longlong lVar3;" type_identifier identifier ;) (declaration "longlong lVar4;" type_identifier identifier ;) (declaration "uint uVar5;" type_identifier identifier ;) (declaration "int iVar6;" primitive_type identifier ;) (declaration "int iVar7;" primitive_type identifier ;) (declaration "undefined4 extraout_ECX;" type_identifier identifier ;) (declaration "uint uVar8;" type_identifier identifier ;) (declaration "uint uVar9;" type_identifier identifier ;) (declaration "uint uVar10;" type_identifier identifier ;) (declaration "uint *puVar11;" type_identifier (pointer_declarator "*puVar11" * identifier) ;) (expression_statement "uVar9 = *param_4;" (assignment_expression "uVar9 = *param_4" identifier = (pointer_expression "*param_4" * identifier)) ;) (if_statement "if (2 < param_3) {\n    uVar5 = 0;\n    puVar11 = (uint *)((int)param_1 + param_3 * 4);\n    iVar6 = -param_3;\n    do {\n      lVar3 = (ulonglong)param_2[param_3 + iVar6] * (ulonglong)uVar9 + (ulonglong)uVar5;\n      uVar5 = (uint)((ulonglong)lVar3 >> 0x20);\n      puVar11[iVar6] = (uint)lVar3;\n      iVar6 = iVar6 + 1;\n    } while (iVar6 != 0);\n    *puVar11 = uVar5;\n    iVar6 = param_5 + -1;\n    if (iVar6 == 0) {\n      return;\n    }\n    if (param_3 < 8) {\n      uVar9 = param_4[1];\n      param_5 = -iVar6;\n      while( true ) {\n        uVar5 = 0;\n        puVar11 = puVar11 + 1;\n        iVar7 = -param_3;\n        do {\n          lVar3 = (ulonglong)param_2[param_3 + iVar7] * (ulonglong)uVar9 + (ulonglong)uVar5;\n          uVar8 = (uint)lVar3;\n          puVar1 = puVar11 + iVar7;\n          uVar5 = *puVar1;\n          *puVar1 = *puVar1 + uVar8;\n          uVar5 = (int)((ulonglong)lVar3 >> 0x20) + (uint)CARRY4(uVar5,uVar8);\n          iVar7 = iVar7 + 1;\n        } while (iVar7 != 0);\n        *puVar11 = uVar5;\n        if (param_5 + 1 == 0) break;\n        uVar9 = param_4[iVar6 + param_5 + 2];\n        param_5 = param_5 + 1;\n      }\n      return;\n    }\n    uVar5 = param_3 - 2 >> 4;\n    uVar9 = uVar5;\n    FUN_000394e9();\n    FUN_00039521(extraout_ECX,uVar9,uVar5);\n    return;\n  }" if (parenthesized_expression "(2 < param_3)" ( (binary_expression "2 < param_3" number_literal < identifier) )) (compound_statement "{\n    uVar5 = 0;\n    puVar11 = (uint *)((int)param_1 + param_3 * 4);\n    iVar6 = -param_3;\n    do {\n      lVar3 = (ulonglong)param_2[param_3 + iVar6] * (ulonglong)uVar9 + (ulonglong)uVar5;\n      uVar5 = (uint)((ulonglong)lVar3 >> 0x20);\n      puVar11[iVar6] = (uint)lVar3;\n      iVar6 = iVar6 + 1;\n    } while (iVar6 != 0);\n    *puVar11 = uVar5;\n    iVar6 = param_5 + -1;\n    if (iVar6 == 0) {\n      return;\n    }\n    if (param_3 < 8) {\n      uVar9 = param_4[1];\n      param_5 = -iVar6;\n      while( true ) {\n        uVar5 = 0;\n        puVar11 = puVar11 + 1;\n        iVar7 = -param_3;\n        do {\n          lVar3 = (ulonglong)param_2[param_3 + iVar7] * (ulonglong)uVar9 + (ulonglong)uVar5;\n          uVar8 = (uint)lVar3;\n          puVar1 = puVar11 + iVar7;\n          uVar5 = *puVar1;\n          *puVar1 = *puVar1 + uVar8;\n          uVar5 = (int)((ulonglong)lVar3 >> 0x20) + (uint)CARRY4(uVar5,uVar8);\n          iVar7 = iVar7 + 1;\n        } while (iVar7 != 0);\n        *puVar11 = uVar5;\n        if (param_5 + 1 == 0) break;\n        uVar9 = param_4[iVar6 + param_5 + 2];\n        param_5 = param_5 + 1;\n      }\n      return;\n    }\n    uVar5 = param_3 - 2 >> 4;\n    uVar9 = uVar5;\n    FUN_000394e9();\n    FUN_00039521(extraout_ECX,uVar9,uVar5);\n    return;\n  }" { (expression_statement "uVar5 = 0;" (assignment_expression "uVar5 = 0" identifier = number_literal) ;) (expression_statement "puVar11 = (uint *)((int)param_1 + param_3 * 4);" (assignment_expression "puVar11 = (uint *)((int)param_1 + param_3 * 4)" identifier = (cast_expression "(uint *)((int)param_1 + param_3 * 4)" ( (type_descriptor "uint *" type_identifier (abstract_pointer_declarator "*" *)) ) (parenthesized_expression "((int)param_1 + param_3 * 4)" ( (binary_expression "(int)param_1 + param_3 * 4" (cast_expression "(int)param_1" ( (type_descriptor "int" primitive_type) ) identifier) + (binary_expression "param_3 * 4" identifier * number_literal)) )))) ;) (expression_statement "iVar6 = -param_3;" (assignment_expression "iVar6 = -param_3" identifier = (unary_expression "-param_3" - identifier)) ;) (do_statement "do {\n      lVar3 = (ulonglong)param_2[param_3 + iVar6] * (ulonglong)uVar9 + (ulonglong)uVar5;\n      uVar5 = (uint)((ulonglong)lVar3 >> 0x20);\n      puVar11[iVar6] = (uint)lVar3;\n      iVar6 = iVar6 + 1;\n    } while (iVar6 != 0);" do (compound_statement "{\n      lVar3 = (ulonglong)param_2[param_3 + iVar6] * (ulonglong)uVar9 + (ulonglong)uVar5;\n      uVar5 = (uint)((ulonglong)lVar3 >> 0x20);\n      puVar11[iVar6] = (uint)lVar3;\n      iVar6 = iVar6 + 1;\n    }" { (expression_statement "lVar3 = (ulonglong)param_2[param_3 + iVar6] * (ulonglong)uVar9 + (ulonglong)uVar5;" (assignment_expression "lVar3 = (ulonglong)param_2[param_3 + iVar6] * (ulonglong)uVar9 + (ulonglong)uVar5" identifier = (binary_expression "(ulonglong)param_2[param_3 + iVar6] * (ulonglong)uVar9 + (ulonglong)uVar5" (binary_expression "(ulonglong)param_2[param_3 + iVar6] * (ulonglong)uVar9" (cast_expression "(ulonglong)param_2[param_3 + iVar6]" ( (type_descriptor "ulonglong" type_identifier) ) (subscript_expression "param_2[param_3 + iVar6]" identifier [ (binary_expression "param_3 + iVar6" identifier + identifier) ])) * (cast_expression "(ulonglong)uVar9" ( (type_descriptor "ulonglong" type_identifier) ) identifier)) + (cast_expression "(ulonglong)uVar5" ( (type_descriptor "ulonglong" type_identifier) ) identifier))) ;) (expression_statement "uVar5 = (uint)((ulonglong)lVar3 >> 0x20);" (assignment_expression "uVar5 = (uint)((ulonglong)lVar3 >> 0x20)" identifier = (call_expression "(uint)((ulonglong)lVar3 >> 0x20)" (parenthesized_expression "(uint)" ( identifier )) (argument_list "((ulonglong)lVar3 >> 0x20)" ( (binary_expression "(ulonglong)lVar3 >> 0x20" (cast_expression "(ulonglong)lVar3" ( (type_descriptor "ulonglong" type_identifier) ) identifier) >> number_literal) )))) ;) (expression_statement "puVar11[iVar6] = (uint)lVar3;" (assignment_expression "puVar11[iVar6] = (uint)lVar3" (subscript_expression "puVar11[iVar6]" identifier [ identifier ]) = (cast_expression "(uint)lVar3" ( (type_descriptor "uint" type_identifier) ) identifier)) ;) (expression_statement "iVar6 = iVar6 + 1;" (assignment_expression "iVar6 = iVar6 + 1" identifier = (binary_expression "iVar6 + 1" identifier + number_literal)) ;) }) while (parenthesized_expression "(iVar6 != 0)" ( (binary_expression "iVar6 != 0" identifier != number_literal) )) ;) (expression_statement "*puVar11 = uVar5;" (assignment_expression "*puVar11 = uVar5" (pointer_expression "*puVar11" * identifier) = identifier) ;) (expression_statement "iVar6 = param_5 + -1;" (assignment_expression "iVar6 = param_5 + -1" identifier = (binary_expression "param_5 + -1" identifier + number_literal)) ;) (if_statement "if (iVar6 == 0) {\n      return;\n    }" if (parenthesized_expression "(iVar6 == 0)" ( (binary_expression "iVar6 == 0" identifier == number_literal) )) (compound_statement "{\n      return;\n    }" { (return_statement "return;" return ;) })) (if_statement "if (param_3 < 8) {\n      uVar9 = param_4[1];\n      param_5 = -iVar6;\n      while( true ) {\n        uVar5 = 0;\n        puVar11 = puVar11 + 1;\n        iVar7 = -param_3;\n        do {\n          lVar3 = (ulonglong)param_2[param_3 + iVar7] * (ulonglong)uVar9 + (ulonglong)uVar5;\n          uVar8 = (uint)lVar3;\n          puVar1 = puVar11 + iVar7;\n          uVar5 = *puVar1;\n          *puVar1 = *puVar1 + uVar8;\n          uVar5 = (int)((ulonglong)lVar3 >> 0x20) + (uint)CARRY4(uVar5,uVar8);\n          iVar7 = iVar7 + 1;\n        } while (iVar7 != 0);\n        *puVar11 = uVar5;\n        if (param_5 + 1 == 0) break;\n        uVar9 = param_4[iVar6 + param_5 + 2];\n        param_5 = param_5 + 1;\n      }\n      return;\n    }" if (parenthesized_expression "(param_3 < 8)" ( (binary_expression "param_3 < 8" identifier < number_literal) )) (compound_statement "{\n      uVar9 = param_4[1];\n      param_5 = -iVar6;\n      while( true ) {\n        uVar5 = 0;\n        puVar11 = puVar11 + 1;\n        iVar7 = -param_3;\n        do {\n          lVar3 = (ulonglong)param_2[param_3 + iVar7] * (ulonglong)uVar9 + (ulonglong)uVar5;\n          uVar8 = (uint)lVar3;\n          puVar1 = puVar11 + iVar7;\n          uVar5 = *puVar1;\n          *puVar1 = *puVar1 + uVar8;\n          uVar5 = (int)((ulonglong)lVar3 >> 0x20) + (uint)CARRY4(uVar5,uVar8);\n          iVar7 = iVar7 + 1;\n        } while (iVar7 != 0);\n        *puVar11 = uVar5;\n        if (param_5 + 1 == 0) break;\n        uVar9 = param_4[iVar6 + param_5 + 2];\n        param_5 = param_5 + 1;\n      }\n      return;\n    }" { (expression_statement "uVar9 = param_4[1];" (assignment_expression "uVar9 = param_4[1]" identifier = (subscript_expression "param_4[1]" identifier [ number_literal ])) ;) (expression_statement "param_5 = -iVar6;" (assignment_expression "param_5 = -iVar6" identifier = (unary_expression "-iVar6" - identifier)) ;) (while_statement "while( true ) {\n        uVar5 = 0;\n        puVar11 = puVar11 + 1;\n        iVar7 = -param_3;\n        do {\n          lVar3 = (ulonglong)param_2[param_3 + iVar7] * (ulonglong)uVar9 + (ulonglong)uVar5;\n          uVar8 = (uint)lVar3;\n          puVar1 = puVar11 + iVar7;\n          uVar5 = *puVar1;\n          *puVar1 = *puVar1 + uVar8;\n          uVar5 = (int)((ulonglong)lVar3 >> 0x20) + (uint)CARRY4(uVar5,uVar8);\n          iVar7 = iVar7 + 1;\n        } while (iVar7 != 0);\n        *puVar11 = uVar5;\n        if (param_5 + 1 == 0) break;\n        uVar9 = param_4[iVar6 + param_5 + 2];\n        param_5 = param_5 + 1;\n      }" while (parenthesized_expression "( true )" ( true )) (compound_statement "{\n        uVar5 = 0;\n        puVar11 = puVar11 + 1;\n        iVar7 = -param_3;\n        do {\n          lVar3 = (ulonglong)param_2[param_3 + iVar7] * (ulonglong)uVar9 + (ulonglong)uVar5;\n          uVar8 = (uint)lVar3;\n          puVar1 = puVar11 + iVar7;\n          uVar5 = *puVar1;\n          *puVar1 = *puVar1 + uVar8;\n          uVar5 = (int)((ulonglong)lVar3 >> 0x20) + (uint)CARRY4(uVar5,uVar8);\n          iVar7 = iVar7 + 1;\n        } while (iVar7 != 0);\n        *puVar11 = uVar5;\n        if (param_5 + 1 == 0) break;\n        uVar9 = param_4[iVar6 + param_5 + 2];\n        param_5 = param_5 + 1;\n      }" { (expression_statement "uVar5 = 0;" (assignment_expression "uVar5 = 0" identifier = number_literal) ;) (expression_statement "puVar11 = puVar11 + 1;" (assignment_expression "puVar11 = puVar11 + 1" identifier = (binary_expression "puVar11 + 1" identifier + number_literal)) ;) (expression_statement "iVar7 = -param_3;" (assignment_expression "iVar7 = -param_3" identifier = (unary_expression "-param_3" - identifier)) ;) (do_statement "do {\n          lVar3 = (ulonglong)param_2[param_3 + iVar7] * (ulonglong)uVar9 + (ulonglong)uVar5;\n          uVar8 = (uint)lVar3;\n          puVar1 = puVar11 + iVar7;\n          uVar5 = *puVar1;\n          *puVar1 = *puVar1 + uVar8;\n          uVar5 = (int)((ulonglong)lVar3 >> 0x20) + (uint)CARRY4(uVar5,uVar8);\n          iVar7 = iVar7 + 1;\n        } while (iVar7 != 0);" do (compound_statement "{\n          lVar3 = (ulonglong)param_2[param_3 + iVar7] * (ulonglong)uVar9 + (ulonglong)uVar5;\n          uVar8 = (uint)lVar3;\n          puVar1 = puVar11 + iVar7;\n          uVar5 = *puVar1;\n          *puVar1 = *puVar1 + uVar8;\n          uVar5 = (int)((ulonglong)lVar3 >> 0x20) + (uint)CARRY4(uVar5,uVar8);\n          iVar7 = iVar7 + 1;\n        }" { (expression_statement "lVar3 = (ulonglong)param_2[param_3 + iVar7] * (ulonglong)uVar9 + (ulonglong)uVar5;" (assignment_expression "lVar3 = (ulonglong)param_2[param_3 + iVar7] * (ulonglong)uVar9 + (ulonglong)uVar5" identifier = (binary_expression "(ulonglong)param_2[param_3 + iVar7] * (ulonglong)uVar9 + (ulonglong)uVar5" (binary_expression "(ulonglong)param_2[param_3 + iVar7] * (ulonglong)uVar9" (cast_expression "(ulonglong)param_2[param_3 + iVar7]" ( (type_descriptor "ulonglong" type_identifier) ) (subscript_expression "param_2[param_3 + iVar7]" identifier [ (binary_expression "param_3 + iVar7" identifier + identifier) ])) * (cast_expression "(ulonglong)uVar9" ( (type_descriptor "ulonglong" type_identifier) ) identifier)) + (cast_expression "(ulonglong)uVar5" ( (type_descriptor "ulonglong" type_identifier) ) identifier))) ;) (expression_statement "uVar8 = (uint)lVar3;" (assignment_expression "uVar8 = (uint)lVar3" identifier = (cast_expression "(uint)lVar3" ( (type_descriptor "uint" type_identifier) ) identifier)) ;) (expression_statement "puVar1 = puVar11 + iVar7;" (assignment_expression "puVar1 = puVar11 + iVar7" identifier = (binary_expression "puVar11 + iVar7" identifier + identifier)) ;) (expression_statement "uVar5 = *puVar1;" (assignment_expression "uVar5 = *puVar1" identifier = (pointer_expression "*puVar1" * identifier)) ;) (expression_statement "*puVar1 = *puVar1 + uVar8;" (assignment_expression "*puVar1 = *puVar1 + uVar8" (pointer_expression "*puVar1" * identifier) = (binary_expression "*puVar1 + uVar8" (pointer_expression "*puVar1" * identifier) + identifier)) ;) (expression_statement "uVar5 = (int)((ulonglong)lVar3 >> 0x20) + (uint)CARRY4(uVar5,uVar8);" (assignment_expression "uVar5 = (int)((ulonglong)lVar3 >> 0x20) + (uint)CARRY4(uVar5,uVar8)" identifier = (binary_expression "(int)((ulonglong)lVar3 >> 0x20) + (uint)CARRY4(uVar5,uVar8)" (cast_expression "(int)((ulonglong)lVar3 >> 0x20)" ( (type_descriptor "int" primitive_type) ) (parenthesized_expression "((ulonglong)lVar3 >> 0x20)" ( (binary_expression "(ulonglong)lVar3 >> 0x20" (cast_expression "(ulonglong)lVar3" ( (type_descriptor "ulonglong" type_identifier) ) identifier) >> number_literal) ))) + (cast_expression "(uint)CARRY4(uVar5,uVar8)" ( (type_descriptor "uint" type_identifier) ) (call_expression "CARRY4(uVar5,uVar8)" identifier (argument_list "(uVar5,uVar8)" ( identifier , identifier )))))) ;) (expression_statement "iVar7 = iVar7 + 1;" (assignment_expression "iVar7 = iVar7 + 1" identifier = (binary_expression "iVar7 + 1" identifier + number_literal)) ;) }) while (parenthesized_expression "(iVar7 != 0)" ( (binary_expression "iVar7 != 0" identifier != number_literal) )) ;) (expression_statement "*puVar11 = uVar5;" (assignment_expression "*puVar11 = uVar5" (pointer_expression "*puVar11" * identifier) = identifier) ;) (if_statement "if (param_5 + 1 == 0) break;" if (parenthesized_expression "(param_5 + 1 == 0)" ( (binary_expression "param_5 + 1 == 0" (binary_expression "param_5 + 1" identifier + number_literal) == number_literal) )) (break_statement "break;" break ;)) (expression_statement "uVar9 = param_4[iVar6 + param_5 + 2];" (assignment_expression "uVar9 = param_4[iVar6 + param_5 + 2]" identifier = (subscript_expression "param_4[iVar6 + param_5 + 2]" identifier [ (binary_expression "iVar6 + param_5 + 2" (binary_expression "iVar6 + param_5" identifier + identifier) + number_literal) ])) ;) (expression_statement "param_5 = param_5 + 1;" (assignment_expression "param_5 = param_5 + 1" identifier = (binary_expression "param_5 + 1" identifier + number_literal)) ;) })) (return_statement "return;" return ;) })) (expression_statement "uVar5 = param_3 - 2 >> 4;" (assignment_expression "uVar5 = param_3 - 2 >> 4" identifier = (binary_expression "param_3 - 2 >> 4" (binary_expression "param_3 - 2" identifier - number_literal) >> number_literal)) ;) (expression_statement "uVar9 = uVar5;" (assignment_expression "uVar9 = uVar5" identifier = identifier) ;) (expression_statement "FUN_000394e9();" (call_expression "FUN_000394e9()" identifier (argument_list "()" ( ))) ;) (expression_statement "FUN_00039521(extraout_ECX,uVar9,uVar5);" (call_expression "FUN_00039521(extraout_ECX,uVar9,uVar5)" identifier (argument_list "(extraout_ECX,uVar9,uVar5)" ( identifier , identifier , identifier ))) ;) (return_statement "return;" return ;) })) (if_statement "if (param_3 != 2) {\n    *param_1 = (ulonglong)uVar9 * (ulonglong)*param_2;\n    return;\n  }" if (parenthesized_expression "(param_3 != 2)" ( (binary_expression "param_3 != 2" identifier != number_literal) )) (compound_statement "{\n    *param_1 = (ulonglong)uVar9 * (ulonglong)*param_2;\n    return;\n  }" { (expression_statement "*param_1 = (ulonglong)uVar9 * (ulonglong)*param_2;" (assignment_expression "*param_1 = (ulonglong)uVar9 * (ulonglong)*param_2" (pointer_expression "*param_1" * identifier) = (binary_expression "(ulonglong)uVar9 * (ulonglong)*param_2" (binary_expression "(ulonglong)uVar9 * (ulonglong)" (cast_expression "(ulonglong)uVar9" ( (type_descriptor "ulonglong" type_identifier) ) identifier) * (parenthesized_expression "(ulonglong)" ( identifier ))) * identifier)) ;) (return_statement "return;" return ;) })) (if_statement "if (param_5 == 1) {\n    uVar2 = (ulonglong)*param_2 * (ulonglong)uVar9;\n    *(int *)param_1 = (int)uVar2;\n    *(ulonglong *)((int)param_1 + 4) = (ulonglong)param_2[1] * (ulonglong)uVar9 + (uVar2 >> 0x20);\n    return;\n  }" if (parenthesized_expression "(param_5 == 1)" ( (binary_expression "param_5 == 1" identifier == number_literal) )) (compound_statement "{\n    uVar2 = (ulonglong)*param_2 * (ulonglong)uVar9;\n    *(int *)param_1 = (int)uVar2;\n    *(ulonglong *)((int)param_1 + 4) = (ulonglong)param_2[1] * (ulonglong)uVar9 + (uVar2 >> 0x20);\n    return;\n  }" { (expression_statement "uVar2 = (ulonglong)*param_2 * (ulonglong)uVar9;" (assignment_expression "uVar2 = (ulonglong)*param_2 * (ulonglong)uVar9" identifier = (binary_expression "(ulonglong)*param_2 * (ulonglong)uVar9" (binary_expression "(ulonglong)*param_2" (parenthesized_expression "(ulonglong)" ( identifier )) * identifier) * (cast_expression "(ulonglong)uVar9" ( (type_descriptor "ulonglong" type_identifier) ) identifier))) ;) (expression_statement "*(int *)param_1 = (int)uVar2;" (assignment_expression "*(int *)param_1 = (int)uVar2" (pointer_expression "*(int *)param_1" * (cast_expression "(int *)param_1" ( (type_descriptor "int *" primitive_type (abstract_pointer_declarator "*" *)) ) identifier)) = (cast_expression "(int)uVar2" ( (type_descriptor "int" primitive_type) ) identifier)) ;) (expression_statement "*(ulonglong *)((int)param_1 + 4) = (ulonglong)param_2[1] * (ulonglong)uVar9 + (uVar2 >> 0x20);" (assignment_expression "*(ulonglong *)((int)param_1 + 4) = (ulonglong)param_2[1] * (ulonglong)uVar9 + (uVar2 >> 0x20)" (pointer_expression "*(ulonglong *)((int)param_1 + 4)" * (cast_expression "(ulonglong *)((int)param_1 + 4)" ( (type_descriptor "ulonglong *" type_identifier (abstract_pointer_declarator "*" *)) ) (parenthesized_expression "((int)param_1 + 4)" ( (binary_expression "(int)param_1 + 4" (cast_expression "(int)param_1" ( (type_descriptor "int" primitive_type) ) identifier) + number_literal) )))) = (binary_expression "(ulonglong)param_2[1] * (ulonglong)uVar9 + (uVar2 >> 0x20)" (binary_expression "(ulonglong)param_2[1] * (ulonglong)uVar9" (cast_expression "(ulonglong)param_2[1]" ( (type_descriptor "ulonglong" type_identifier) ) (subscript_expression "param_2[1]" identifier [ number_literal ])) * (cast_expression "(ulonglong)uVar9" ( (type_descriptor "ulonglong" type_identifier) ) identifier)) + (parenthesized_expression "(uVar2 >> 0x20)" ( (binary_expression "uVar2 >> 0x20" identifier >> number_literal) )))) ;) (return_statement "return;" return ;) })) (expression_statement "uVar2 = (ulonglong)*param_2 * (ulonglong)uVar9;" (assignment_expression "uVar2 = (ulonglong)*param_2 * (ulonglong)uVar9" identifier = (binary_expression "(ulonglong)*param_2 * (ulonglong)uVar9" (binary_expression "(ulonglong)*param_2" (parenthesized_expression "(ulonglong)" ( identifier )) * identifier) * (cast_expression "(ulonglong)uVar9" ( (type_descriptor "ulonglong" type_identifier) ) identifier))) ;) (expression_statement "*(int *)param_1 = (int)uVar2;" (assignment_expression "*(int *)param_1 = (int)uVar2" (pointer_expression "*(int *)param_1" * (cast_expression "(int *)param_1" ( (type_descriptor "int *" primitive_type (abstract_pointer_declarator "*" *)) ) identifier)) = (cast_expression "(int)uVar2" ( (type_descriptor "int" primitive_type) ) identifier)) ;) (expression_statement "uVar2 = (ulonglong)param_2[1] * (ulonglong)uVar9 + (uVar2 >> 0x20);" (assignment_expression "uVar2 = (ulonglong)param_2[1] * (ulonglong)uVar9 + (uVar2 >> 0x20)" identifier = (binary_expression "(ulonglong)param_2[1] * (ulonglong)uVar9 + (uVar2 >> 0x20)" (binary_expression "(ulonglong)param_2[1] * (ulonglong)uVar9" (cast_expression "(ulonglong)param_2[1]" ( (type_descriptor "ulonglong" type_identifier) ) (subscript_expression "param_2[1]" identifier [ number_literal ])) * (cast_expression "(ulonglong)uVar9" ( (type_descriptor "ulonglong" type_identifier) ) identifier)) + (parenthesized_expression "(uVar2 >> 0x20)" ( (binary_expression "uVar2 >> 0x20" identifier >> number_literal) )))) ;) (expression_statement "*(int *)((int)param_1 + 4) = (int)uVar2;" (assignment_expression "*(int *)((int)param_1 + 4) = (int)uVar2" (pointer_expression "*(int *)((int)param_1 + 4)" * (cast_expression "(int *)((int)param_1 + 4)" ( (type_descriptor "int *" primitive_type (abstract_pointer_declarator "*" *)) ) (parenthesized_expression "((int)param_1 + 4)" ( (binary_expression "(int)param_1 + 4" (cast_expression "(int)param_1" ( (type_descriptor "int" primitive_type) ) identifier) + number_literal) )))) = (cast_expression "(int)uVar2" ( (type_descriptor "int" primitive_type) ) identifier)) ;) (expression_statement "lVar4 = (ulonglong)param_2[1] * (ulonglong)param_4[1] + (uVar2 >> 0x20);" (assignment_expression "lVar4 = (ulonglong)param_2[1] * (ulonglong)param_4[1] + (uVar2 >> 0x20)" identifier = (binary_expression "(ulonglong)param_2[1] * (ulonglong)param_4[1] + (uVar2 >> 0x20)" (binary_expression "(ulonglong)param_2[1] * (ulonglong)param_4[1]" (cast_expression "(ulonglong)param_2[1]" ( (type_descriptor "ulonglong" type_identifier) ) (subscript_expression "param_2[1]" identifier [ number_literal ])) * (cast_expression "(ulonglong)param_4[1]" ( (type_descriptor "ulonglong" type_identifier) ) (subscript_expression "param_4[1]" identifier [ number_literal ]))) + (parenthesized_expression "(uVar2 >> 0x20)" ( (binary_expression "uVar2 >> 0x20" identifier >> number_literal) )))) ;) (expression_statement "uVar10 = (uint)lVar4;" (assignment_expression "uVar10 = (uint)lVar4" identifier = (cast_expression "(uint)lVar4" ( (type_descriptor "uint" type_identifier) ) identifier)) ;) (expression_statement "lVar3 = (ulonglong)*param_2 * (ulonglong)param_4[1];" (assignment_expression "lVar3 = (ulonglong)*param_2 * (ulonglong)param_4[1]" identifier = (binary_expression "(ulonglong)*param_2 * (ulonglong)param_4[1]" (binary_expression "(ulonglong)*param_2" (parenthesized_expression "(ulonglong)" ( identifier )) * identifier) * (cast_expression "(ulonglong)param_4[1]" ( (type_descriptor "ulonglong" type_identifier) ) (subscript_expression "param_4[1]" identifier [ number_literal ])))) ;) (expression_statement "uVar8 = (uint)((ulonglong)lVar3 >> 0x20);" (assignment_expression "uVar8 = (uint)((ulonglong)lVar3 >> 0x20)" identifier = (call_expression "(uint)((ulonglong)lVar3 >> 0x20)" (parenthesized_expression "(uint)" ( identifier )) (argument_list "((ulonglong)lVar3 >> 0x20)" ( (binary_expression "(ulonglong)lVar3 >> 0x20" (cast_expression "(ulonglong)lVar3" ( (type_descriptor "ulonglong" type_identifier) ) identifier) >> number_literal) )))) ;) (expression_statement "uVar5 = (uint)lVar3;" (assignment_expression "uVar5 = (uint)lVar3" identifier = (cast_expression "(uint)lVar3" ( (type_descriptor "uint" type_identifier) ) identifier)) ;) (expression_statement "puVar11 = (uint *)((int)param_1 + 4);" (assignment_expression "puVar11 = (uint *)((int)param_1 + 4)" identifier = (cast_expression "(uint *)((int)param_1 + 4)" ( (type_descriptor "uint *" type_identifier (abstract_pointer_declarator "*" *)) ) (parenthesized_expression "((int)param_1 + 4)" ( (binary_expression "(int)param_1 + 4" (cast_expression "(int)param_1" ( (type_descriptor "int" primitive_type) ) identifier) + number_literal) )))) ;) (expression_statement "uVar9 = *puVar11;" (assignment_expression "uVar9 = *puVar11" identifier = (pointer_expression "*puVar11" * identifier)) ;) (expression_statement "*puVar11 = *puVar11 + uVar5;" (assignment_expression "*puVar11 = *puVar11 + uVar5" (pointer_expression "*puVar11" * identifier) = (binary_expression "*puVar11 + uVar5" (pointer_expression "*puVar11" * identifier) + identifier)) ;) (expression_statement "uVar9 = (uint)CARRY4(uVar9,uVar5);" (assignment_expression "uVar9 = (uint)CARRY4(uVar9,uVar5)" identifier = (cast_expression "(uint)CARRY4(uVar9,uVar5)" ( (type_descriptor "uint" type_identifier) ) (call_expression "CARRY4(uVar9,uVar5)" identifier (argument_list "(uVar9,uVar5)" ( identifier , identifier ))))) ;) (expression_statement "uVar5 = uVar10 + uVar8;" (assignment_expression "uVar5 = uVar10 + uVar8" identifier = (binary_expression "uVar10 + uVar8" identifier + identifier)) ;) (expression_statement "*(uint *)(param_1 + 1) = uVar5 + uVar9;" (assignment_expression "*(uint *)(param_1 + 1) = uVar5 + uVar9" (pointer_expression "*(uint *)(param_1 + 1)" * (cast_expression "(uint *)(param_1 + 1)" ( (type_descriptor "uint *" type_identifier (abstract_pointer_declarator "*" *)) ) (parenthesized_expression "(param_1 + 1)" ( (binary_expression "param_1 + 1" identifier + number_literal) )))) = (binary_expression "uVar5 + uVar9" identifier + identifier)) ;) (expression_statement "*(uint *)((int)param_1 + 0xc) =\n       (int)((ulonglong)lVar4 >> 0x20) + (uint)(CARRY4(uVar10,uVar8) || CARRY4(uVar5,uVar9));" (assignment_expression "*(uint *)((int)param_1 + 0xc) =\n       (int)((ulonglong)lVar4 >> 0x20) + (uint)(CARRY4(uVar10,uVar8) || CARRY4(uVar5,uVar9))" (pointer_expression "*(uint *)((int)param_1 + 0xc)" * (cast_expression "(uint *)((int)param_1 + 0xc)" ( (type_descriptor "uint *" type_identifier (abstract_pointer_declarator "*" *)) ) (parenthesized_expression "((int)param_1 + 0xc)" ( (binary_expression "(int)param_1 + 0xc" (cast_expression "(int)param_1" ( (type_descriptor "int" primitive_type) ) identifier) + number_literal) )))) = (binary_expression "(int)((ulonglong)lVar4 >> 0x20) + (uint)(CARRY4(uVar10,uVar8) || CARRY4(uVar5,uVar9))" (cast_expression "(int)((ulonglong)lVar4 >> 0x20)" ( (type_descriptor "int" primitive_type) ) (parenthesized_expression "((ulonglong)lVar4 >> 0x20)" ( (binary_expression "(ulonglong)lVar4 >> 0x20" (cast_expression "(ulonglong)lVar4" ( (type_descriptor "ulonglong" type_identifier) ) identifier) >> number_literal) ))) + (call_expression "(uint)(CARRY4(uVar10,uVar8) || CARRY4(uVar5,uVar9))" (parenthesized_expression "(uint)" ( identifier )) (argument_list "(CARRY4(uVar10,uVar8) || CARRY4(uVar5,uVar9))" ( (binary_expression "CARRY4(uVar10,uVar8) || CARRY4(uVar5,uVar9)" (call_expression "CARRY4(uVar10,uVar8)" identifier (argument_list "(uVar10,uVar8)" ( identifier , identifier ))) || (call_expression "CARRY4(uVar5,uVar9)" identifier (argument_list "(uVar5,uVar9)" ( identifier , identifier )))) ))))) ;) (return_statement "return;" return ;) })))
(translation_unit "void __gmpn_mul_basecase_k6(longlong *param_1,uint *param_2,uint param_3,uint *param_4,int param_5)\n\n{\n  uint *puVar1;\n  ulonglong uVar2;\n  longlong lVar3;\n  longlong lVar4;\n  uint uVar5;\n  int iVar6;\n  int iVar7;\n  undefined4 extraout_ECX;\n  uint uVar8;\n  uint uVar9;\n  uint uVar10;\n  uint *puVar11;\n  \n  uVar9 = *param_4;\n  if (2 < param_3) {\n    uVar5 = 0;\n    puVar11 = (uint *)((int)param_1 + param_3 * 4);\n    iVar6 = -param_3;\n    do {\n      lVar3 = (ulonglong)param_2[param_3 + iVar6] * (ulonglong)uVar9 + (ulonglong)uVar5;\n      uVar5 = (uint)((ulonglong)lVar3 >> 0x20);\n      puVar11[iVar6] = (uint)lVar3;\n      iVar6 = iVar6 + 1;\n    } while (iVar6 != 0);\n    *puVar11 = uVar5;\n    iVar6 = param_5 + -1;\n    if (iVar6 == 0) {\n      return;\n    }\n    if (param_3 < 8) {\n      uVar9 = param_4[1];\n      param_5 = -iVar6;\n      while( true ) {\n        uVar5 = 0;\n        puVar11 = puVar11 + 1;\n        iVar7 = -param_3;\n        do {\n          lVar3 = (ulonglong)param_2[param_3 + iVar7] * (ulonglong)uVar9 + (ulonglong)uVar5;\n          uVar8 = (uint)lVar3;\n          puVar1 = puVar11 + iVar7;\n          uVar5 = *puVar1;\n          *puVar1 = *puVar1 + uVar8;\n          uVar5 = (int)((ulonglong)lVar3 >> 0x20) + (uint)CARRY4(uVar5,uVar8);\n          iVar7 = iVar7 + 1;\n        } while (iVar7 != 0);\n        *puVar11 = uVar5;\n        if (param_5 + 1 == 0) break;\n        uVar9 = param_4[iVar6 + param_5 + 2];\n        param_5 = param_5 + 1;\n      }\n      return;\n    }\n    uVar5 = param_3 - 2 >> 4;\n    uVar9 = uVar5;\n    FUN_000394e9();\n    FUN_00039521(extraout_ECX,uVar9,uVar5);\n    return;\n  }\n  if (param_3 != 2) {\n    *param_1 = (ulonglong)uVar9 * (ulonglong)*param_2;\n    return;\n  }\n  if (param_5 == 1) {\n    uVar2 = (ulonglong)*param_2 * (ulonglong)uVar9;\n    *(int *)param_1 = (int)uVar2;\n    *(ulonglong *)((int)param_1 + 4) = (ulonglong)param_2[1] * (ulonglong)uVar9 + (uVar2 >> 0x20);\n    return;\n  }\n  uVar2 = (ulonglong)*param_2 * (ulonglong)uVar9;\n  *(int *)param_1 = (int)uVar2;\n  uVar2 = (ulonglong)param_2[1] * (ulonglong)uVar9 + (uVar2 >> 0x20);\n  *(int *)((int)param_1 + 4) = (int)uVar2;\n  lVar4 = (ulonglong)param_2[1] * (ulonglong)param_4[1] + (uVar2 >> 0x20);\n  uVar10 = (uint)lVar4;\n  lVar3 = (ulonglong)*param_2 * (ulonglong)param_4[1];\n  uVar8 = (uint)((ulonglong)lVar3 >> 0x20);\n  uVar5 = (uint)lVar3;\n  puVar11 = (uint *)((int)param_1 + 4);\n  uVar9 = *puVar11;\n  *puVar11 = *puVar11 + uVar5;\n  uVar9 = (uint)CARRY4(uVar9,uVar5);\n  uVar5 = uVar10 + uVar8;\n  *(uint *)(param_1 + 1) = uVar5 + uVar9;\n  *(uint *)((int)param_1 + 0xc) =\n       (int)((ulonglong)lVar4 >> 0x20) + (uint)(CARRY4(uVar10,uVar8) || CARRY4(uVar5,uVar9));\n  return;\n}\n\n" (function_definition "void __gmpn_mul_basecase_k6(longlong *param_1,uint *param_2,uint param_3,uint *param_4,int param_5)\n\n{\n  uint *puVar1;\n  ulonglong uVar2;\n  longlong lVar3;\n  longlong lVar4;\n  uint uVar5;\n  int iVar6;\n  int iVar7;\n  undefined4 extraout_ECX;\n  uint uVar8;\n  uint uVar9;\n  uint uVar10;\n  uint *puVar11;\n  \n  uVar9 = *param_4;\n  if (2 < param_3) {\n    uVar5 = 0;\n    puVar11 = (uint *)((int)param_1 + param_3 * 4);\n    iVar6 = -param_3;\n    do {\n      lVar3 = (ulonglong)param_2[param_3 + iVar6] * (ulonglong)uVar9 + (ulonglong)uVar5;\n      uVar5 = (uint)((ulonglong)lVar3 >> 0x20);\n      puVar11[iVar6] = (uint)lVar3;\n      iVar6 = iVar6 + 1;\n    } while (iVar6 != 0);\n    *puVar11 = uVar5;\n    iVar6 = param_5 + -1;\n    if (iVar6 == 0) {\n      return;\n    }\n    if (param_3 < 8) {\n      uVar9 = param_4[1];\n      param_5 = -iVar6;\n      while( true ) {\n        uVar5 = 0;\n        puVar11 = puVar11 + 1;\n        iVar7 = -param_3;\n        do {\n          lVar3 = (ulonglong)param_2[param_3 + iVar7] * (ulonglong)uVar9 + (ulonglong)uVar5;\n          uVar8 = (uint)lVar3;\n          puVar1 = puVar11 + iVar7;\n          uVar5 = *puVar1;\n          *puVar1 = *puVar1 + uVar8;\n          uVar5 = (int)((ulonglong)lVar3 >> 0x20) + (uint)CARRY4(uVar5,uVar8);\n          iVar7 = iVar7 + 1;\n        } while (iVar7 != 0);\n        *puVar11 = uVar5;\n        if (param_5 + 1 == 0) break;\n        uVar9 = param_4[iVar6 + param_5 + 2];\n        param_5 = param_5 + 1;\n      }\n      return;\n    }\n    uVar5 = param_3 - 2 >> 4;\n    uVar9 = uVar5;\n    FUN_000394e9();\n    FUN_00039521(extraout_ECX,uVar9,uVar5);\n    return;\n  }\n  if (param_3 != 2) {\n    *param_1 = (ulonglong)uVar9 * (ulonglong)*param_2;\n    return;\n  }\n  if (param_5 == 1) {\n    uVar2 = (ulonglong)*param_2 * (ulonglong)uVar9;\n    *(int *)param_1 = (int)uVar2;\n    *(ulonglong *)((int)param_1 + 4) = (ulonglong)param_2[1] * (ulonglong)uVar9 + (uVar2 >> 0x20);\n    return;\n  }\n  uVar2 = (ulonglong)*param_2 * (ulonglong)uVar9;\n  *(int *)param_1 = (int)uVar2;\n  uVar2 = (ulonglong)param_2[1] * (ulonglong)uVar9 + (uVar2 >> 0x20);\n  *(int *)((int)param_1 + 4) = (int)uVar2;\n  lVar4 = (ulonglong)param_2[1] * (ulonglong)param_4[1] + (uVar2 >> 0x20);\n  uVar10 = (uint)lVar4;\n  lVar3 = (ulonglong)*param_2 * (ulonglong)param_4[1];\n  uVar8 = (uint)((ulonglong)lVar3 >> 0x20);\n  uVar5 = (uint)lVar3;\n  puVar11 = (uint *)((int)param_1 + 4);\n  uVar9 = *puVar11;\n  *puVar11 = *puVar11 + uVar5;\n  uVar9 = (uint)CARRY4(uVar9,uVar5);\n  uVar5 = uVar10 + uVar8;\n  *(uint *)(param_1 + 1) = uVar5 + uVar9;\n  *(uint *)((int)param_1 + 0xc) =\n       (int)((ulonglong)lVar4 >> 0x20) + (uint)(CARRY4(uVar10,uVar8) || CARRY4(uVar5,uVar9));\n  return;\n}" primitive_type (function_declarator "__gmpn_mul_basecase_k6(longlong *param_1,uint *param_2,uint param_3,uint *param_4,int param_5)" identifier (parameter_list "(longlong *param_1,uint *param_2,uint param_3,uint *param_4,int param_5)" ( (parameter_declaration "longlong *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  uint *puVar1;\n  ulonglong uVar2;\n  longlong lVar3;\n  longlong lVar4;\n  uint uVar5;\n  int iVar6;\n  int iVar7;\n  undefined4 extraout_ECX;\n  uint uVar8;\n  uint uVar9;\n  uint uVar10;\n  uint *puVar11;\n  \n  uVar9 = *param_4;\n  if (2 < param_3) {\n    uVar5 = 0;\n    puVar11 = (uint *)((int)param_1 + param_3 * 4);\n    iVar6 = -param_3;\n    do {\n      lVar3 = (ulonglong)param_2[param_3 + iVar6] * (ulonglong)uVar9 + (ulonglong)uVar5;\n      uVar5 = (uint)((ulonglong)lVar3 >> 0x20);\n      puVar11[iVar6] = (uint)lVar3;\n      iVar6 = iVar6 + 1;\n    } while (iVar6 != 0);\n    *puVar11 = uVar5;\n    iVar6 = param_5 + -1;\n    if (iVar6 == 0) {\n      return;\n    }\n    if (param_3 < 8) {\n      uVar9 = param_4[1];\n      param_5 = -iVar6;\n      while( true ) {\n        uVar5 = 0;\n        puVar11 = puVar11 + 1;\n        iVar7 = -param_3;\n        do {\n          lVar3 = (ulonglong)param_2[param_3 + iVar7] * (ulonglong)uVar9 + (ulonglong)uVar5;\n          uVar8 = (uint)lVar3;\n          puVar1 = puVar11 + iVar7;\n          uVar5 = *puVar1;\n          *puVar1 = *puVar1 + uVar8;\n          uVar5 = (int)((ulonglong)lVar3 >> 0x20) + (uint)CARRY4(uVar5,uVar8);\n          iVar7 = iVar7 + 1;\n        } while (iVar7 != 0);\n        *puVar11 = uVar5;\n        if (param_5 + 1 == 0) break;\n        uVar9 = param_4[iVar6 + param_5 + 2];\n        param_5 = param_5 + 1;\n      }\n      return;\n    }\n    uVar5 = param_3 - 2 >> 4;\n    uVar9 = uVar5;\n    FUN_000394e9();\n    FUN_00039521(extraout_ECX,uVar9,uVar5);\n    return;\n  }\n  if (param_3 != 2) {\n    *param_1 = (ulonglong)uVar9 * (ulonglong)*param_2;\n    return;\n  }\n  if (param_5 == 1) {\n    uVar2 = (ulonglong)*param_2 * (ulonglong)uVar9;\n    *(int *)param_1 = (int)uVar2;\n    *(ulonglong *)((int)param_1 + 4) = (ulonglong)param_2[1] * (ulonglong)uVar9 + (uVar2 >> 0x20);\n    return;\n  }\n  uVar2 = (ulonglong)*param_2 * (ulonglong)uVar9;\n  *(int *)param_1 = (int)uVar2;\n  uVar2 = (ulonglong)param_2[1] * (ulonglong)uVar9 + (uVar2 >> 0x20);\n  *(int *)((int)param_1 + 4) = (int)uVar2;\n  lVar4 = (ulonglong)param_2[1] * (ulonglong)param_4[1] + (uVar2 >> 0x20);\n  uVar10 = (uint)lVar4;\n  lVar3 = (ulonglong)*param_2 * (ulonglong)param_4[1];\n  uVar8 = (uint)((ulonglong)lVar3 >> 0x20);\n  uVar5 = (uint)lVar3;\n  puVar11 = (uint *)((int)param_1 + 4);\n  uVar9 = *puVar11;\n  *puVar11 = *puVar11 + uVar5;\n  uVar9 = (uint)CARRY4(uVar9,uVar5);\n  uVar5 = uVar10 + uVar8;\n  *(uint *)(param_1 + 1) = uVar5 + uVar9;\n  *(uint *)((int)param_1 + 0xc) =\n       (int)((ulonglong)lVar4 >> 0x20) + (uint)(CARRY4(uVar10,uVar8) || CARRY4(uVar5,uVar9));\n  return;\n}" { (declaration "uint *puVar1;" type_identifier (pointer_declarator "*puVar1" * identifier) ;) (declaration "ulonglong uVar2;" type_identifier identifier ;) (declaration "longlong lVar3;" type_identifier identifier ;) (declaration "longlong lVar4;" type_identifier identifier ;) (declaration "uint uVar5;" type_identifier identifier ;) (declaration "int iVar6;" primitive_type identifier ;) (declaration "int iVar7;" primitive_type identifier ;) (declaration "undefined4 extraout_ECX;" type_identifier identifier ;) (declaration "uint uVar8;" type_identifier identifier ;) (declaration "uint uVar9;" type_identifier identifier ;) (declaration "uint uVar10;" type_identifier identifier ;) (declaration "uint *puVar11;" type_identifier (pointer_declarator "*puVar11" * identifier) ;) (expression_statement "uVar9 = *param_4;" (assignment_expression "uVar9 = *param_4" identifier = (pointer_expression "*param_4" * identifier)) ;) (if_statement "if (2 < param_3) {\n    uVar5 = 0;\n    puVar11 = (uint *)((int)param_1 + param_3 * 4);\n    iVar6 = -param_3;\n    do {\n      lVar3 = (ulonglong)param_2[param_3 + iVar6] * (ulonglong)uVar9 + (ulonglong)uVar5;\n      uVar5 = (uint)((ulonglong)lVar3 >> 0x20);\n      puVar11[iVar6] = (uint)lVar3;\n      iVar6 = iVar6 + 1;\n    } while (iVar6 != 0);\n    *puVar11 = uVar5;\n    iVar6 = param_5 + -1;\n    if (iVar6 == 0) {\n      return;\n    }\n    if (param_3 < 8) {\n      uVar9 = param_4[1];\n      param_5 = -iVar6;\n      while( true ) {\n        uVar5 = 0;\n        puVar11 = puVar11 + 1;\n        iVar7 = -param_3;\n        do {\n          lVar3 = (ulonglong)param_2[param_3 + iVar7] * (ulonglong)uVar9 + (ulonglong)uVar5;\n          uVar8 = (uint)lVar3;\n          puVar1 = puVar11 + iVar7;\n          uVar5 = *puVar1;\n          *puVar1 = *puVar1 + uVar8;\n          uVar5 = (int)((ulonglong)lVar3 >> 0x20) + (uint)CARRY4(uVar5,uVar8);\n          iVar7 = iVar7 + 1;\n        } while (iVar7 != 0);\n        *puVar11 = uVar5;\n        if (param_5 + 1 == 0) break;\n        uVar9 = param_4[iVar6 + param_5 + 2];\n        param_5 = param_5 + 1;\n      }\n      return;\n    }\n    uVar5 = param_3 - 2 >> 4;\n    uVar9 = uVar5;\n    FUN_000394e9();\n    FUN_00039521(extraout_ECX,uVar9,uVar5);\n    return;\n  }" if (parenthesized_expression "(2 < param_3)" ( (binary_expression "2 < param_3" number_literal < identifier) )) (compound_statement "{\n    uVar5 = 0;\n    puVar11 = (uint *)((int)param_1 + param_3 * 4);\n    iVar6 = -param_3;\n    do {\n      lVar3 = (ulonglong)param_2[param_3 + iVar6] * (ulonglong)uVar9 + (ulonglong)uVar5;\n      uVar5 = (uint)((ulonglong)lVar3 >> 0x20);\n      puVar11[iVar6] = (uint)lVar3;\n      iVar6 = iVar6 + 1;\n    } while (iVar6 != 0);\n    *puVar11 = uVar5;\n    iVar6 = param_5 + -1;\n    if (iVar6 == 0) {\n      return;\n    }\n    if (param_3 < 8) {\n      uVar9 = param_4[1];\n      param_5 = -iVar6;\n      while( true ) {\n        uVar5 = 0;\n        puVar11 = puVar11 + 1;\n        iVar7 = -param_3;\n        do {\n          lVar3 = (ulonglong)param_2[param_3 + iVar7] * (ulonglong)uVar9 + (ulonglong)uVar5;\n          uVar8 = (uint)lVar3;\n          puVar1 = puVar11 + iVar7;\n          uVar5 = *puVar1;\n          *puVar1 = *puVar1 + uVar8;\n          uVar5 = (int)((ulonglong)lVar3 >> 0x20) + (uint)CARRY4(uVar5,uVar8);\n          iVar7 = iVar7 + 1;\n        } while (iVar7 != 0);\n        *puVar11 = uVar5;\n        if (param_5 + 1 == 0) break;\n        uVar9 = param_4[iVar6 + param_5 + 2];\n        param_5 = param_5 + 1;\n      }\n      return;\n    }\n    uVar5 = param_3 - 2 >> 4;\n    uVar9 = uVar5;\n    FUN_000394e9();\n    FUN_00039521(extraout_ECX,uVar9,uVar5);\n    return;\n  }" { (expression_statement "uVar5 = 0;" (assignment_expression "uVar5 = 0" identifier = number_literal) ;) (expression_statement "puVar11 = (uint *)((int)param_1 + param_3 * 4);" (assignment_expression "puVar11 = (uint *)((int)param_1 + param_3 * 4)" identifier = (cast_expression "(uint *)((int)param_1 + param_3 * 4)" ( (type_descriptor "uint *" type_identifier (abstract_pointer_declarator "*" *)) ) (parenthesized_expression "((int)param_1 + param_3 * 4)" ( (binary_expression "(int)param_1 + param_3 * 4" (cast_expression "(int)param_1" ( (type_descriptor "int" primitive_type) ) identifier) + (binary_expression "param_3 * 4" identifier * number_literal)) )))) ;) (expression_statement "iVar6 = -param_3;" (assignment_expression "iVar6 = -param_3" identifier = (unary_expression "-param_3" - identifier)) ;) (do_statement "do {\n      lVar3 = (ulonglong)param_2[param_3 + iVar6] * (ulonglong)uVar9 + (ulonglong)uVar5;\n      uVar5 = (uint)((ulonglong)lVar3 >> 0x20);\n      puVar11[iVar6] = (uint)lVar3;\n      iVar6 = iVar6 + 1;\n    } while (iVar6 != 0);" do (compound_statement "{\n      lVar3 = (ulonglong)param_2[param_3 + iVar6] * (ulonglong)uVar9 + (ulonglong)uVar5;\n      uVar5 = (uint)((ulonglong)lVar3 >> 0x20);\n      puVar11[iVar6] = (uint)lVar3;\n      iVar6 = iVar6 + 1;\n    }" { (expression_statement "lVar3 = (ulonglong)param_2[param_3 + iVar6] * (ulonglong)uVar9 + (ulonglong)uVar5;" (assignment_expression "lVar3 = (ulonglong)param_2[param_3 + iVar6] * (ulonglong)uVar9 + (ulonglong)uVar5" identifier = (binary_expression "(ulonglong)param_2[param_3 + iVar6] * (ulonglong)uVar9 + (ulonglong)uVar5" (binary_expression "(ulonglong)param_2[param_3 + iVar6] * (ulonglong)uVar9" (cast_expression "(ulonglong)param_2[param_3 + iVar6]" ( (type_descriptor "ulonglong" type_identifier) ) (subscript_expression "param_2[param_3 + iVar6]" identifier [ (binary_expression "param_3 + iVar6" identifier + identifier) ])) * (cast_expression "(ulonglong)uVar9" ( (type_descriptor "ulonglong" type_identifier) ) identifier)) + (cast_expression "(ulonglong)uVar5" ( (type_descriptor "ulonglong" type_identifier) ) identifier))) ;) (expression_statement "uVar5 = (uint)((ulonglong)lVar3 >> 0x20);" (assignment_expression "uVar5 = (uint)((ulonglong)lVar3 >> 0x20)" identifier = (call_expression "(uint)((ulonglong)lVar3 >> 0x20)" (parenthesized_expression "(uint)" ( identifier )) (argument_list "((ulonglong)lVar3 >> 0x20)" ( (binary_expression "(ulonglong)lVar3 >> 0x20" (cast_expression "(ulonglong)lVar3" ( (type_descriptor "ulonglong" type_identifier) ) identifier) >> number_literal) )))) ;) (expression_statement "puVar11[iVar6] = (uint)lVar3;" (assignment_expression "puVar11[iVar6] = (uint)lVar3" (subscript_expression "puVar11[iVar6]" identifier [ identifier ]) = (cast_expression "(uint)lVar3" ( (type_descriptor "uint" type_identifier) ) identifier)) ;) (expression_statement "iVar6 = iVar6 + 1;" (assignment_expression "iVar6 = iVar6 + 1" identifier = (binary_expression "iVar6 + 1" identifier + number_literal)) ;) }) while (parenthesized_expression "(iVar6 != 0)" ( (binary_expression "iVar6 != 0" identifier != number_literal) )) ;) (expression_statement "*puVar11 = uVar5;" (assignment_expression "*puVar11 = uVar5" (pointer_expression "*puVar11" * identifier) = identifier) ;) (expression_statement "iVar6 = param_5 + -1;" (assignment_expression "iVar6 = param_5 + -1" identifier = (binary_expression "param_5 + -1" identifier + number_literal)) ;) (if_statement "if (iVar6 == 0) {\n      return;\n    }" if (parenthesized_expression "(iVar6 == 0)" ( (binary_expression "iVar6 == 0" identifier == number_literal) )) (compound_statement "{\n      return;\n    }" { (return_statement "return;" return ;) })) (if_statement "if (param_3 < 8) {\n      uVar9 = param_4[1];\n      param_5 = -iVar6;\n      while( true ) {\n        uVar5 = 0;\n        puVar11 = puVar11 + 1;\n        iVar7 = -param_3;\n        do {\n          lVar3 = (ulonglong)param_2[param_3 + iVar7] * (ulonglong)uVar9 + (ulonglong)uVar5;\n          uVar8 = (uint)lVar3;\n          puVar1 = puVar11 + iVar7;\n          uVar5 = *puVar1;\n          *puVar1 = *puVar1 + uVar8;\n          uVar5 = (int)((ulonglong)lVar3 >> 0x20) + (uint)CARRY4(uVar5,uVar8);\n          iVar7 = iVar7 + 1;\n        } while (iVar7 != 0);\n        *puVar11 = uVar5;\n        if (param_5 + 1 == 0) break;\n        uVar9 = param_4[iVar6 + param_5 + 2];\n        param_5 = param_5 + 1;\n      }\n      return;\n    }" if (parenthesized_expression "(param_3 < 8)" ( (binary_expression "param_3 < 8" identifier < number_literal) )) (compound_statement "{\n      uVar9 = param_4[1];\n      param_5 = -iVar6;\n      while( true ) {\n        uVar5 = 0;\n        puVar11 = puVar11 + 1;\n        iVar7 = -param_3;\n        do {\n          lVar3 = (ulonglong)param_2[param_3 + iVar7] * (ulonglong)uVar9 + (ulonglong)uVar5;\n          uVar8 = (uint)lVar3;\n          puVar1 = puVar11 + iVar7;\n          uVar5 = *puVar1;\n          *puVar1 = *puVar1 + uVar8;\n          uVar5 = (int)((ulonglong)lVar3 >> 0x20) + (uint)CARRY4(uVar5,uVar8);\n          iVar7 = iVar7 + 1;\n        } while (iVar7 != 0);\n        *puVar11 = uVar5;\n        if (param_5 + 1 == 0) break;\n        uVar9 = param_4[iVar6 + param_5 + 2];\n        param_5 = param_5 + 1;\n      }\n      return;\n    }" { (expression_statement "uVar9 = param_4[1];" (assignment_expression "uVar9 = param_4[1]" identifier = (subscript_expression "param_4[1]" identifier [ number_literal ])) ;) (expression_statement "param_5 = -iVar6;" (assignment_expression "param_5 = -iVar6" identifier = (unary_expression "-iVar6" - identifier)) ;) (while_statement "while( true ) {\n        uVar5 = 0;\n        puVar11 = puVar11 + 1;\n        iVar7 = -param_3;\n        do {\n          lVar3 = (ulonglong)param_2[param_3 + iVar7] * (ulonglong)uVar9 + (ulonglong)uVar5;\n          uVar8 = (uint)lVar3;\n          puVar1 = puVar11 + iVar7;\n          uVar5 = *puVar1;\n          *puVar1 = *puVar1 + uVar8;\n          uVar5 = (int)((ulonglong)lVar3 >> 0x20) + (uint)CARRY4(uVar5,uVar8);\n          iVar7 = iVar7 + 1;\n        } while (iVar7 != 0);\n        *puVar11 = uVar5;\n        if (param_5 + 1 == 0) break;\n        uVar9 = param_4[iVar6 + param_5 + 2];\n        param_5 = param_5 + 1;\n      }" while (parenthesized_expression "( true )" ( true )) (compound_statement "{\n        uVar5 = 0;\n        puVar11 = puVar11 + 1;\n        iVar7 = -param_3;\n        do {\n          lVar3 = (ulonglong)param_2[param_3 + iVar7] * (ulonglong)uVar9 + (ulonglong)uVar5;\n          uVar8 = (uint)lVar3;\n          puVar1 = puVar11 + iVar7;\n          uVar5 = *puVar1;\n          *puVar1 = *puVar1 + uVar8;\n          uVar5 = (int)((ulonglong)lVar3 >> 0x20) + (uint)CARRY4(uVar5,uVar8);\n          iVar7 = iVar7 + 1;\n        } while (iVar7 != 0);\n        *puVar11 = uVar5;\n        if (param_5 + 1 == 0) break;\n        uVar9 = param_4[iVar6 + param_5 + 2];\n        param_5 = param_5 + 1;\n      }" { (expression_statement "uVar5 = 0;" (assignment_expression "uVar5 = 0" identifier = number_literal) ;) (expression_statement "puVar11 = puVar11 + 1;" (assignment_expression "puVar11 = puVar11 + 1" identifier = (binary_expression "puVar11 + 1" identifier + number_literal)) ;) (expression_statement "iVar7 = -param_3;" (assignment_expression "iVar7 = -param_3" identifier = (unary_expression "-param_3" - identifier)) ;) (do_statement "do {\n          lVar3 = (ulonglong)param_2[param_3 + iVar7] * (ulonglong)uVar9 + (ulonglong)uVar5;\n          uVar8 = (uint)lVar3;\n          puVar1 = puVar11 + iVar7;\n          uVar5 = *puVar1;\n          *puVar1 = *puVar1 + uVar8;\n          uVar5 = (int)((ulonglong)lVar3 >> 0x20) + (uint)CARRY4(uVar5,uVar8);\n          iVar7 = iVar7 + 1;\n        } while (iVar7 != 0);" do (compound_statement "{\n          lVar3 = (ulonglong)param_2[param_3 + iVar7] * (ulonglong)uVar9 + (ulonglong)uVar5;\n          uVar8 = (uint)lVar3;\n          puVar1 = puVar11 + iVar7;\n          uVar5 = *puVar1;\n          *puVar1 = *puVar1 + uVar8;\n          uVar5 = (int)((ulonglong)lVar3 >> 0x20) + (uint)CARRY4(uVar5,uVar8);\n          iVar7 = iVar7 + 1;\n        }" { (expression_statement "lVar3 = (ulonglong)param_2[param_3 + iVar7] * (ulonglong)uVar9 + (ulonglong)uVar5;" (assignment_expression "lVar3 = (ulonglong)param_2[param_3 + iVar7] * (ulonglong)uVar9 + (ulonglong)uVar5" identifier = (binary_expression "(ulonglong)param_2[param_3 + iVar7] * (ulonglong)uVar9 + (ulonglong)uVar5" (binary_expression "(ulonglong)param_2[param_3 + iVar7] * (ulonglong)uVar9" (cast_expression "(ulonglong)param_2[param_3 + iVar7]" ( (type_descriptor "ulonglong" type_identifier) ) (subscript_expression "param_2[param_3 + iVar7]" identifier [ (binary_expression "param_3 + iVar7" identifier + identifier) ])) * (cast_expression "(ulonglong)uVar9" ( (type_descriptor "ulonglong" type_identifier) ) identifier)) + (cast_expression "(ulonglong)uVar5" ( (type_descriptor "ulonglong" type_identifier) ) identifier))) ;) (expression_statement "uVar8 = (uint)lVar3;" (assignment_expression "uVar8 = (uint)lVar3" identifier = (cast_expression "(uint)lVar3" ( (type_descriptor "uint" type_identifier) ) identifier)) ;) (expression_statement "puVar1 = puVar11 + iVar7;" (assignment_expression "puVar1 = puVar11 + iVar7" identifier = (binary_expression "puVar11 + iVar7" identifier + identifier)) ;) (expression_statement "uVar5 = *puVar1;" (assignment_expression "uVar5 = *puVar1" identifier = (pointer_expression "*puVar1" * identifier)) ;) (expression_statement "*puVar1 = *puVar1 + uVar8;" (assignment_expression "*puVar1 = *puVar1 + uVar8" (pointer_expression "*puVar1" * identifier) = (binary_expression "*puVar1 + uVar8" (pointer_expression "*puVar1" * identifier) + identifier)) ;) (expression_statement "uVar5 = (int)((ulonglong)lVar3 >> 0x20) + (uint)CARRY4(uVar5,uVar8);" (assignment_expression "uVar5 = (int)((ulonglong)lVar3 >> 0x20) + (uint)CARRY4(uVar5,uVar8)" identifier = (binary_expression "(int)((ulonglong)lVar3 >> 0x20) + (uint)CARRY4(uVar5,uVar8)" (cast_expression "(int)((ulonglong)lVar3 >> 0x20)" ( (type_descriptor "int" primitive_type) ) (parenthesized_expression "((ulonglong)lVar3 >> 0x20)" ( (binary_expression "(ulonglong)lVar3 >> 0x20" (cast_expression "(ulonglong)lVar3" ( (type_descriptor "ulonglong" type_identifier) ) identifier) >> number_literal) ))) + (cast_expression "(uint)CARRY4(uVar5,uVar8)" ( (type_descriptor "uint" type_identifier) ) (call_expression "CARRY4(uVar5,uVar8)" identifier (argument_list "(uVar5,uVar8)" ( identifier , identifier )))))) ;) (expression_statement "iVar7 = iVar7 + 1;" (assignment_expression "iVar7 = iVar7 + 1" identifier = (binary_expression "iVar7 + 1" identifier + number_literal)) ;) }) while (parenthesized_expression "(iVar7 != 0)" ( (binary_expression "iVar7 != 0" identifier != number_literal) )) ;) (expression_statement "*puVar11 = uVar5;" (assignment_expression "*puVar11 = uVar5" (pointer_expression "*puVar11" * identifier) = identifier) ;) (if_statement "if (param_5 + 1 == 0) break;" if (parenthesized_expression "(param_5 + 1 == 0)" ( (binary_expression "param_5 + 1 == 0" (binary_expression "param_5 + 1" identifier + number_literal) == number_literal) )) (break_statement "break;" break ;)) (expression_statement "uVar9 = param_4[iVar6 + param_5 + 2];" (assignment_expression "uVar9 = param_4[iVar6 + param_5 + 2]" identifier = (subscript_expression "param_4[iVar6 + param_5 + 2]" identifier [ (binary_expression "iVar6 + param_5 + 2" (binary_expression "iVar6 + param_5" identifier + identifier) + number_literal) ])) ;) (expression_statement "param_5 = param_5 + 1;" (assignment_expression "param_5 = param_5 + 1" identifier = (binary_expression "param_5 + 1" identifier + number_literal)) ;) })) (return_statement "return;" return ;) })) (expression_statement "uVar5 = param_3 - 2 >> 4;" (assignment_expression "uVar5 = param_3 - 2 >> 4" identifier = (binary_expression "param_3 - 2 >> 4" (binary_expression "param_3 - 2" identifier - number_literal) >> number_literal)) ;) (expression_statement "uVar9 = uVar5;" (assignment_expression "uVar9 = uVar5" identifier = identifier) ;) (expression_statement "FUN_000394e9();" (call_expression "FUN_000394e9()" identifier (argument_list "()" ( ))) ;) (expression_statement "FUN_00039521(extraout_ECX,uVar9,uVar5);" (call_expression "FUN_00039521(extraout_ECX,uVar9,uVar5)" identifier (argument_list "(extraout_ECX,uVar9,uVar5)" ( identifier , identifier , identifier ))) ;) (return_statement "return;" return ;) })) (if_statement "if (param_3 != 2) {\n    *param_1 = (ulonglong)uVar9 * (ulonglong)*param_2;\n    return;\n  }" if (parenthesized_expression "(param_3 != 2)" ( (binary_expression "param_3 != 2" identifier != number_literal) )) (compound_statement "{\n    *param_1 = (ulonglong)uVar9 * (ulonglong)*param_2;\n    return;\n  }" { (expression_statement "*param_1 = (ulonglong)uVar9 * (ulonglong)*param_2;" (assignment_expression "*param_1 = (ulonglong)uVar9 * (ulonglong)*param_2" (pointer_expression "*param_1" * identifier) = (binary_expression "(ulonglong)uVar9 * (ulonglong)*param_2" (binary_expression "(ulonglong)uVar9 * (ulonglong)" (cast_expression "(ulonglong)uVar9" ( (type_descriptor "ulonglong" type_identifier) ) identifier) * (parenthesized_expression "(ulonglong)" ( identifier ))) * identifier)) ;) (return_statement "return;" return ;) })) (if_statement "if (param_5 == 1) {\n    uVar2 = (ulonglong)*param_2 * (ulonglong)uVar9;\n    *(int *)param_1 = (int)uVar2;\n    *(ulonglong *)((int)param_1 + 4) = (ulonglong)param_2[1] * (ulonglong)uVar9 + (uVar2 >> 0x20);\n    return;\n  }" if (parenthesized_expression "(param_5 == 1)" ( (binary_expression "param_5 == 1" identifier == number_literal) )) (compound_statement "{\n    uVar2 = (ulonglong)*param_2 * (ulonglong)uVar9;\n    *(int *)param_1 = (int)uVar2;\n    *(ulonglong *)((int)param_1 + 4) = (ulonglong)param_2[1] * (ulonglong)uVar9 + (uVar2 >> 0x20);\n    return;\n  }" { (expression_statement "uVar2 = (ulonglong)*param_2 * (ulonglong)uVar9;" (assignment_expression "uVar2 = (ulonglong)*param_2 * (ulonglong)uVar9" identifier = (binary_expression "(ulonglong)*param_2 * (ulonglong)uVar9" (binary_expression "(ulonglong)*param_2" (parenthesized_expression "(ulonglong)" ( identifier )) * identifier) * (cast_expression "(ulonglong)uVar9" ( (type_descriptor "ulonglong" type_identifier) ) identifier))) ;) (expression_statement "*(int *)param_1 = (int)uVar2;" (assignment_expression "*(int *)param_1 = (int)uVar2" (pointer_expression "*(int *)param_1" * (cast_expression "(int *)param_1" ( (type_descriptor "int *" primitive_type (abstract_pointer_declarator "*" *)) ) identifier)) = (cast_expression "(int)uVar2" ( (type_descriptor "int" primitive_type) ) identifier)) ;) (expression_statement "*(ulonglong *)((int)param_1 + 4) = (ulonglong)param_2[1] * (ulonglong)uVar9 + (uVar2 >> 0x20);" (assignment_expression "*(ulonglong *)((int)param_1 + 4) = (ulonglong)param_2[1] * (ulonglong)uVar9 + (uVar2 >> 0x20)" (pointer_expression "*(ulonglong *)((int)param_1 + 4)" * (cast_expression "(ulonglong *)((int)param_1 + 4)" ( (type_descriptor "ulonglong *" type_identifier (abstract_pointer_declarator "*" *)) ) (parenthesized_expression "((int)param_1 + 4)" ( (binary_expression "(int)param_1 + 4" (cast_expression "(int)param_1" ( (type_descriptor "int" primitive_type) ) identifier) + number_literal) )))) = (binary_expression "(ulonglong)param_2[1] * (ulonglong)uVar9 + (uVar2 >> 0x20)" (binary_expression "(ulonglong)param_2[1] * (ulonglong)uVar9" (cast_expression "(ulonglong)param_2[1]" ( (type_descriptor "ulonglong" type_identifier) ) (subscript_expression "param_2[1]" identifier [ number_literal ])) * (cast_expression "(ulonglong)uVar9" ( (type_descriptor "ulonglong" type_identifier) ) identifier)) + (parenthesized_expression "(uVar2 >> 0x20)" ( (binary_expression "uVar2 >> 0x20" identifier >> number_literal) )))) ;) (return_statement "return;" return ;) })) (expression_statement "uVar2 = (ulonglong)*param_2 * (ulonglong)uVar9;" (assignment_expression "uVar2 = (ulonglong)*param_2 * (ulonglong)uVar9" identifier = (binary_expression "(ulonglong)*param_2 * (ulonglong)uVar9" (binary_expression "(ulonglong)*param_2" (parenthesized_expression "(ulonglong)" ( identifier )) * identifier) * (cast_expression "(ulonglong)uVar9" ( (type_descriptor "ulonglong" type_identifier) ) identifier))) ;) (expression_statement "*(int *)param_1 = (int)uVar2;" (assignment_expression "*(int *)param_1 = (int)uVar2" (pointer_expression "*(int *)param_1" * (cast_expression "(int *)param_1" ( (type_descriptor "int *" primitive_type (abstract_pointer_declarator "*" *)) ) identifier)) = (cast_expression "(int)uVar2" ( (type_descriptor "int" primitive_type) ) identifier)) ;) (expression_statement "uVar2 = (ulonglong)param_2[1] * (ulonglong)uVar9 + (uVar2 >> 0x20);" (assignment_expression "uVar2 = (ulonglong)param_2[1] * (ulonglong)uVar9 + (uVar2 >> 0x20)" identifier = (binary_expression "(ulonglong)param_2[1] * (ulonglong)uVar9 + (uVar2 >> 0x20)" (binary_expression "(ulonglong)param_2[1] * (ulonglong)uVar9" (cast_expression "(ulonglong)param_2[1]" ( (type_descriptor "ulonglong" type_identifier) ) (subscript_expression "param_2[1]" identifier [ number_literal ])) * (cast_expression "(ulonglong)uVar9" ( (type_descriptor "ulonglong" type_identifier) ) identifier)) + (parenthesized_expression "(uVar2 >> 0x20)" ( (binary_expression "uVar2 >> 0x20" identifier >> number_literal) )))) ;) (expression_statement "*(int *)((int)param_1 + 4) = (int)uVar2;" (assignment_expression "*(int *)((int)param_1 + 4) = (int)uVar2" (pointer_expression "*(int *)((int)param_1 + 4)" * (cast_expression "(int *)((int)param_1 + 4)" ( (type_descriptor "int *" primitive_type (abstract_pointer_declarator "*" *)) ) (parenthesized_expression "((int)param_1 + 4)" ( (binary_expression "(int)param_1 + 4" (cast_expression "(int)param_1" ( (type_descriptor "int" primitive_type) ) identifier) + number_literal) )))) = (cast_expression "(int)uVar2" ( (type_descriptor "int" primitive_type) ) identifier)) ;) (expression_statement "lVar4 = (ulonglong)param_2[1] * (ulonglong)param_4[1] + (uVar2 >> 0x20);" (assignment_expression "lVar4 = (ulonglong)param_2[1] * (ulonglong)param_4[1] + (uVar2 >> 0x20)" identifier = (binary_expression "(ulonglong)param_2[1] * (ulonglong)param_4[1] + (uVar2 >> 0x20)" (binary_expression "(ulonglong)param_2[1] * (ulonglong)param_4[1]" (cast_expression "(ulonglong)param_2[1]" ( (type_descriptor "ulonglong" type_identifier) ) (subscript_expression "param_2[1]" identifier [ number_literal ])) * (cast_expression "(ulonglong)param_4[1]" ( (type_descriptor "ulonglong" type_identifier) ) (subscript_expression "param_4[1]" identifier [ number_literal ]))) + (parenthesized_expression "(uVar2 >> 0x20)" ( (binary_expression "uVar2 >> 0x20" identifier >> number_literal) )))) ;) (expression_statement "uVar10 = (uint)lVar4;" (assignment_expression "uVar10 = (uint)lVar4" identifier = (cast_expression "(uint)lVar4" ( (type_descriptor "uint" type_identifier) ) identifier)) ;) (expression_statement "lVar3 = (ulonglong)*param_2 * (ulonglong)param_4[1];" (assignment_expression "lVar3 = (ulonglong)*param_2 * (ulonglong)param_4[1]" identifier = (binary_expression "(ulonglong)*param_2 * (ulonglong)param_4[1]" (binary_expression "(ulonglong)*param_2" (parenthesized_expression "(ulonglong)" ( identifier )) * identifier) * (cast_expression "(ulonglong)param_4[1]" ( (type_descriptor "ulonglong" type_identifier) ) (subscript_expression "param_4[1]" identifier [ number_literal ])))) ;) (expression_statement "uVar8 = (uint)((ulonglong)lVar3 >> 0x20);" (assignment_expression "uVar8 = (uint)((ulonglong)lVar3 >> 0x20)" identifier = (call_expression "(uint)((ulonglong)lVar3 >> 0x20)" (parenthesized_expression "(uint)" ( identifier )) (argument_list "((ulonglong)lVar3 >> 0x20)" ( (binary_expression "(ulonglong)lVar3 >> 0x20" (cast_expression "(ulonglong)lVar3" ( (type_descriptor "ulonglong" type_identifier) ) identifier) >> number_literal) )))) ;) (expression_statement "uVar5 = (uint)lVar3;" (assignment_expression "uVar5 = (uint)lVar3" identifier = (cast_expression "(uint)lVar3" ( (type_descriptor "uint" type_identifier) ) identifier)) ;) (expression_statement "puVar11 = (uint *)((int)param_1 + 4);" (assignment_expression "puVar11 = (uint *)((int)param_1 + 4)" identifier = (cast_expression "(uint *)((int)param_1 + 4)" ( (type_descriptor "uint *" type_identifier (abstract_pointer_declarator "*" *)) ) (parenthesized_expression "((int)param_1 + 4)" ( (binary_expression "(int)param_1 + 4" (cast_expression "(int)param_1" ( (type_descriptor "int" primitive_type) ) identifier) + number_literal) )))) ;) (expression_statement "uVar9 = *puVar11;" (assignment_expression "uVar9 = *puVar11" identifier = (pointer_expression "*puVar11" * identifier)) ;) (expression_statement "*puVar11 = *puVar11 + uVar5;" (assignment_expression "*puVar11 = *puVar11 + uVar5" (pointer_expression "*puVar11" * identifier) = (binary_expression "*puVar11 + uVar5" (pointer_expression "*puVar11" * identifier) + identifier)) ;) (expression_statement "uVar9 = (uint)CARRY4(uVar9,uVar5);" (assignment_expression "uVar9 = (uint)CARRY4(uVar9,uVar5)" identifier = (cast_expression "(uint)CARRY4(uVar9,uVar5)" ( (type_descriptor "uint" type_identifier) ) (call_expression "CARRY4(uVar9,uVar5)" identifier (argument_list "(uVar9,uVar5)" ( identifier , identifier ))))) ;) (expression_statement "uVar5 = uVar10 + uVar8;" (assignment_expression "uVar5 = uVar10 + uVar8" identifier = (binary_expression "uVar10 + uVar8" identifier + identifier)) ;) (expression_statement "*(uint *)(param_1 + 1) = uVar5 + uVar9;" (assignment_expression "*(uint *)(param_1 + 1) = uVar5 + uVar9" (pointer_expression "*(uint *)(param_1 + 1)" * (cast_expression "(uint *)(param_1 + 1)" ( (type_descriptor "uint *" type_identifier (abstract_pointer_declarator "*" *)) ) (parenthesized_expression "(param_1 + 1)" ( (binary_expression "param_1 + 1" identifier + number_literal) )))) = (binary_expression "uVar5 + uVar9" identifier + identifier)) ;) (expression_statement "*(uint *)((int)param_1 + 0xc) =\n       (int)((ulonglong)lVar4 >> 0x20) + (uint)(CARRY4(uVar10,uVar8) || CARRY4(uVar5,uVar9));" (assignment_expression "*(uint *)((int)param_1 + 0xc) =\n       (int)((ulonglong)lVar4 >> 0x20) + (uint)(CARRY4(uVar10,uVar8) || CARRY4(uVar5,uVar9))" (pointer_expression "*(uint *)((int)param_1 + 0xc)" * (cast_expression "(uint *)((int)param_1 + 0xc)" ( (type_descriptor "uint *" type_identifier (abstract_pointer_declarator "*" *)) ) (parenthesized_expression "((int)param_1 + 0xc)" ( (binary_expression "(int)param_1 + 0xc" (cast_expression "(int)param_1" ( (type_descriptor "int" primitive_type) ) identifier) + number_literal) )))) = (binary_expression "(int)((ulonglong)lVar4 >> 0x20) + (uint)(CARRY4(uVar10,uVar8) || CARRY4(uVar5,uVar9))" (cast_expression "(int)((ulonglong)lVar4 >> 0x20)" ( (type_descriptor "int" primitive_type) ) (parenthesized_expression "((ulonglong)lVar4 >> 0x20)" ( (binary_expression "(ulonglong)lVar4 >> 0x20" (cast_expression "(ulonglong)lVar4" ( (type_descriptor "ulonglong" type_identifier) ) identifier) >> number_literal) ))) + (call_expression "(uint)(CARRY4(uVar10,uVar8) || CARRY4(uVar5,uVar9))" (parenthesized_expression "(uint)" ( identifier )) (argument_list "(CARRY4(uVar10,uVar8) || CARRY4(uVar5,uVar9))" ( (binary_expression "CARRY4(uVar10,uVar8) || CARRY4(uVar5,uVar9)" (call_expression "CARRY4(uVar10,uVar8)" identifier (argument_list "(uVar10,uVar8)" ( identifier , identifier ))) || (call_expression "CARRY4(uVar5,uVar9)" identifier (argument_list "(uVar5,uVar9)" ( identifier , identifier )))) ))))) ;) (return_statement "return;" return ;) })))
(translation_unit "void __gmpn_mul_basecase_k6(longlong *param_1,uint *param_2,uint param_3,uint *param_4,int param_5)\n\n{\n  uint *puVar1;\n  ulonglong uVar2;\n  longlong lVar3;\n  longlong lVar4;\n  uint uVar5;\n  int iVar6;\n  int iVar7;\n  undefined4 extraout_ECX;\n  uint uVar8;\n  uint uVar9;\n  uint uVar10;\n  uint *puVar11;\n  \n  uVar9 = *param_4;\n  if (2 < param_3) {\n    uVar5 = 0;\n    puVar11 = (uint *)((int)param_1 + param_3 * 4);\n    iVar6 = -param_3;\n    do {\n      lVar3 = (ulonglong)param_2[param_3 + iVar6] * (ulonglong)uVar9 + (ulonglong)uVar5;\n      uVar5 = (uint)((ulonglong)lVar3 >> 0x20);\n      puVar11[iVar6] = (uint)lVar3;\n      iVar6 = iVar6 + 1;\n    } while (iVar6 != 0);\n    *puVar11 = uVar5;\n    iVar6 = param_5 + -1;\n    if (iVar6 == 0) {\n      return;\n    }\n    if (param_3 < 8) {\n      uVar9 = param_4[1];\n      param_5 = -iVar6;\n      while( true ) {\n        uVar5 = 0;\n        puVar11 = puVar11 + 1;\n        iVar7 = -param_3;\n        do {\n          lVar3 = (ulonglong)param_2[param_3 + iVar7] * (ulonglong)uVar9 + (ulonglong)uVar5;\n          uVar8 = (uint)lVar3;\n          puVar1 = puVar11 + iVar7;\n          uVar5 = *puVar1;\n          *puVar1 = *puVar1 + uVar8;\n          uVar5 = (int)((ulonglong)lVar3 >> 0x20) + (uint)CARRY4(uVar5,uVar8);\n          iVar7 = iVar7 + 1;\n        } while (iVar7 != 0);\n        *puVar11 = uVar5;\n        if (param_5 + 1 == 0) break;\n        uVar9 = param_4[iVar6 + param_5 + 2];\n        param_5 = param_5 + 1;\n      }\n      return;\n    }\n    uVar5 = param_3 - 2 >> 4;\n    uVar9 = uVar5;\n    FUN_000394e9();\n    FUN_00039521(extraout_ECX,uVar9,uVar5);\n    return;\n  }\n  if (param_3 != 2) {\n    *param_1 = (ulonglong)uVar9 * (ulonglong)*param_2;\n    return;\n  }\n  if (param_5 == 1) {\n    uVar2 = (ulonglong)*param_2 * (ulonglong)uVar9;\n    *(int *)param_1 = (int)uVar2;\n    *(ulonglong *)((int)param_1 + 4) = (ulonglong)param_2[1] * (ulonglong)uVar9 + (uVar2 >> 0x20);\n    return;\n  }\n  uVar2 = (ulonglong)*param_2 * (ulonglong)uVar9;\n  *(int *)param_1 = (int)uVar2;\n  uVar2 = (ulonglong)param_2[1] * (ulonglong)uVar9 + (uVar2 >> 0x20);\n  *(int *)((int)param_1 + 4) = (int)uVar2;\n  lVar4 = (ulonglong)param_2[1] * (ulonglong)param_4[1] + (uVar2 >> 0x20);\n  uVar10 = (uint)lVar4;\n  lVar3 = (ulonglong)*param_2 * (ulonglong)param_4[1];\n  uVar8 = (uint)((ulonglong)lVar3 >> 0x20);\n  uVar5 = (uint)lVar3;\n  puVar11 = (uint *)((int)param_1 + 4);\n  uVar9 = *puVar11;\n  *puVar11 = *puVar11 + uVar5;\n  uVar9 = (uint)CARRY4(uVar9,uVar5);\n  uVar5 = uVar10 + uVar8;\n  *(uint *)(param_1 + 1) = uVar5 + uVar9;\n  *(uint *)((int)param_1 + 0xc) =\n       (int)((ulonglong)lVar4 >> 0x20) + (uint)(CARRY4(uVar10,uVar8) || CARRY4(uVar5,uVar9));\n  return;\n}\n\n" (function_definition "void __gmpn_mul_basecase_k6(longlong *param_1,uint *param_2,uint param_3,uint *param_4,int param_5)\n\n{\n  uint *puVar1;\n  ulonglong uVar2;\n  longlong lVar3;\n  longlong lVar4;\n  uint uVar5;\n  int iVar6;\n  int iVar7;\n  undefined4 extraout_ECX;\n  uint uVar8;\n  uint uVar9;\n  uint uVar10;\n  uint *puVar11;\n  \n  uVar9 = *param_4;\n  if (2 < param_3) {\n    uVar5 = 0;\n    puVar11 = (uint *)((int)param_1 + param_3 * 4);\n    iVar6 = -param_3;\n    do {\n      lVar3 = (ulonglong)param_2[param_3 + iVar6] * (ulonglong)uVar9 + (ulonglong)uVar5;\n      uVar5 = (uint)((ulonglong)lVar3 >> 0x20);\n      puVar11[iVar6] = (uint)lVar3;\n      iVar6 = iVar6 + 1;\n    } while (iVar6 != 0);\n    *puVar11 = uVar5;\n    iVar6 = param_5 + -1;\n    if (iVar6 == 0) {\n      return;\n    }\n    if (param_3 < 8) {\n      uVar9 = param_4[1];\n      param_5 = -iVar6;\n      while( true ) {\n        uVar5 = 0;\n        puVar11 = puVar11 + 1;\n        iVar7 = -param_3;\n        do {\n          lVar3 = (ulonglong)param_2[param_3 + iVar7] * (ulonglong)uVar9 + (ulonglong)uVar5;\n          uVar8 = (uint)lVar3;\n          puVar1 = puVar11 + iVar7;\n          uVar5 = *puVar1;\n          *puVar1 = *puVar1 + uVar8;\n          uVar5 = (int)((ulonglong)lVar3 >> 0x20) + (uint)CARRY4(uVar5,uVar8);\n          iVar7 = iVar7 + 1;\n        } while (iVar7 != 0);\n        *puVar11 = uVar5;\n        if (param_5 + 1 == 0) break;\n        uVar9 = param_4[iVar6 + param_5 + 2];\n        param_5 = param_5 + 1;\n      }\n      return;\n    }\n    uVar5 = param_3 - 2 >> 4;\n    uVar9 = uVar5;\n    FUN_000394e9();\n    FUN_00039521(extraout_ECX,uVar9,uVar5);\n    return;\n  }\n  if (param_3 != 2) {\n    *param_1 = (ulonglong)uVar9 * (ulonglong)*param_2;\n    return;\n  }\n  if (param_5 == 1) {\n    uVar2 = (ulonglong)*param_2 * (ulonglong)uVar9;\n    *(int *)param_1 = (int)uVar2;\n    *(ulonglong *)((int)param_1 + 4) = (ulonglong)param_2[1] * (ulonglong)uVar9 + (uVar2 >> 0x20);\n    return;\n  }\n  uVar2 = (ulonglong)*param_2 * (ulonglong)uVar9;\n  *(int *)param_1 = (int)uVar2;\n  uVar2 = (ulonglong)param_2[1] * (ulonglong)uVar9 + (uVar2 >> 0x20);\n  *(int *)((int)param_1 + 4) = (int)uVar2;\n  lVar4 = (ulonglong)param_2[1] * (ulonglong)param_4[1] + (uVar2 >> 0x20);\n  uVar10 = (uint)lVar4;\n  lVar3 = (ulonglong)*param_2 * (ulonglong)param_4[1];\n  uVar8 = (uint)((ulonglong)lVar3 >> 0x20);\n  uVar5 = (uint)lVar3;\n  puVar11 = (uint *)((int)param_1 + 4);\n  uVar9 = *puVar11;\n  *puVar11 = *puVar11 + uVar5;\n  uVar9 = (uint)CARRY4(uVar9,uVar5);\n  uVar5 = uVar10 + uVar8;\n  *(uint *)(param_1 + 1) = uVar5 + uVar9;\n  *(uint *)((int)param_1 + 0xc) =\n       (int)((ulonglong)lVar4 >> 0x20) + (uint)(CARRY4(uVar10,uVar8) || CARRY4(uVar5,uVar9));\n  return;\n}" primitive_type (function_declarator "__gmpn_mul_basecase_k6(longlong *param_1,uint *param_2,uint param_3,uint *param_4,int param_5)" identifier (parameter_list "(longlong *param_1,uint *param_2,uint param_3,uint *param_4,int param_5)" ( (parameter_declaration "longlong *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  uint *puVar1;\n  ulonglong uVar2;\n  longlong lVar3;\n  longlong lVar4;\n  uint uVar5;\n  int iVar6;\n  int iVar7;\n  undefined4 extraout_ECX;\n  uint uVar8;\n  uint uVar9;\n  uint uVar10;\n  uint *puVar11;\n  \n  uVar9 = *param_4;\n  if (2 < param_3) {\n    uVar5 = 0;\n    puVar11 = (uint *)((int)param_1 + param_3 * 4);\n    iVar6 = -param_3;\n    do {\n      lVar3 = (ulonglong)param_2[param_3 + iVar6] * (ulonglong)uVar9 + (ulonglong)uVar5;\n      uVar5 = (uint)((ulonglong)lVar3 >> 0x20);\n      puVar11[iVar6] = (uint)lVar3;\n      iVar6 = iVar6 + 1;\n    } while (iVar6 != 0);\n    *puVar11 = uVar5;\n    iVar6 = param_5 + -1;\n    if (iVar6 == 0) {\n      return;\n    }\n    if (param_3 < 8) {\n      uVar9 = param_4[1];\n      param_5 = -iVar6;\n      while( true ) {\n        uVar5 = 0;\n        puVar11 = puVar11 + 1;\n        iVar7 = -param_3;\n        do {\n          lVar3 = (ulonglong)param_2[param_3 + iVar7] * (ulonglong)uVar9 + (ulonglong)uVar5;\n          uVar8 = (uint)lVar3;\n          puVar1 = puVar11 + iVar7;\n          uVar5 = *puVar1;\n          *puVar1 = *puVar1 + uVar8;\n          uVar5 = (int)((ulonglong)lVar3 >> 0x20) + (uint)CARRY4(uVar5,uVar8);\n          iVar7 = iVar7 + 1;\n        } while (iVar7 != 0);\n        *puVar11 = uVar5;\n        if (param_5 + 1 == 0) break;\n        uVar9 = param_4[iVar6 + param_5 + 2];\n        param_5 = param_5 + 1;\n      }\n      return;\n    }\n    uVar5 = param_3 - 2 >> 4;\n    uVar9 = uVar5;\n    FUN_000394e9();\n    FUN_00039521(extraout_ECX,uVar9,uVar5);\n    return;\n  }\n  if (param_3 != 2) {\n    *param_1 = (ulonglong)uVar9 * (ulonglong)*param_2;\n    return;\n  }\n  if (param_5 == 1) {\n    uVar2 = (ulonglong)*param_2 * (ulonglong)uVar9;\n    *(int *)param_1 = (int)uVar2;\n    *(ulonglong *)((int)param_1 + 4) = (ulonglong)param_2[1] * (ulonglong)uVar9 + (uVar2 >> 0x20);\n    return;\n  }\n  uVar2 = (ulonglong)*param_2 * (ulonglong)uVar9;\n  *(int *)param_1 = (int)uVar2;\n  uVar2 = (ulonglong)param_2[1] * (ulonglong)uVar9 + (uVar2 >> 0x20);\n  *(int *)((int)param_1 + 4) = (int)uVar2;\n  lVar4 = (ulonglong)param_2[1] * (ulonglong)param_4[1] + (uVar2 >> 0x20);\n  uVar10 = (uint)lVar4;\n  lVar3 = (ulonglong)*param_2 * (ulonglong)param_4[1];\n  uVar8 = (uint)((ulonglong)lVar3 >> 0x20);\n  uVar5 = (uint)lVar3;\n  puVar11 = (uint *)((int)param_1 + 4);\n  uVar9 = *puVar11;\n  *puVar11 = *puVar11 + uVar5;\n  uVar9 = (uint)CARRY4(uVar9,uVar5);\n  uVar5 = uVar10 + uVar8;\n  *(uint *)(param_1 + 1) = uVar5 + uVar9;\n  *(uint *)((int)param_1 + 0xc) =\n       (int)((ulonglong)lVar4 >> 0x20) + (uint)(CARRY4(uVar10,uVar8) || CARRY4(uVar5,uVar9));\n  return;\n}" { (declaration "uint *puVar1;" type_identifier (pointer_declarator "*puVar1" * identifier) ;) (declaration "ulonglong uVar2;" type_identifier identifier ;) (declaration "longlong lVar3;" type_identifier identifier ;) (declaration "longlong lVar4;" type_identifier identifier ;) (declaration "uint uVar5;" type_identifier identifier ;) (declaration "int iVar6;" primitive_type identifier ;) (declaration "int iVar7;" primitive_type identifier ;) (declaration "undefined4 extraout_ECX;" type_identifier identifier ;) (declaration "uint uVar8;" type_identifier identifier ;) (declaration "uint uVar9;" type_identifier identifier ;) (declaration "uint uVar10;" type_identifier identifier ;) (declaration "uint *puVar11;" type_identifier (pointer_declarator "*puVar11" * identifier) ;) (expression_statement "uVar9 = *param_4;" (assignment_expression "uVar9 = *param_4" identifier = (pointer_expression "*param_4" * identifier)) ;) (if_statement "if (2 < param_3) {\n    uVar5 = 0;\n    puVar11 = (uint *)((int)param_1 + param_3 * 4);\n    iVar6 = -param_3;\n    do {\n      lVar3 = (ulonglong)param_2[param_3 + iVar6] * (ulonglong)uVar9 + (ulonglong)uVar5;\n      uVar5 = (uint)((ulonglong)lVar3 >> 0x20);\n      puVar11[iVar6] = (uint)lVar3;\n      iVar6 = iVar6 + 1;\n    } while (iVar6 != 0);\n    *puVar11 = uVar5;\n    iVar6 = param_5 + -1;\n    if (iVar6 == 0) {\n      return;\n    }\n    if (param_3 < 8) {\n      uVar9 = param_4[1];\n      param_5 = -iVar6;\n      while( true ) {\n        uVar5 = 0;\n        puVar11 = puVar11 + 1;\n        iVar7 = -param_3;\n        do {\n          lVar3 = (ulonglong)param_2[param_3 + iVar7] * (ulonglong)uVar9 + (ulonglong)uVar5;\n          uVar8 = (uint)lVar3;\n          puVar1 = puVar11 + iVar7;\n          uVar5 = *puVar1;\n          *puVar1 = *puVar1 + uVar8;\n          uVar5 = (int)((ulonglong)lVar3 >> 0x20) + (uint)CARRY4(uVar5,uVar8);\n          iVar7 = iVar7 + 1;\n        } while (iVar7 != 0);\n        *puVar11 = uVar5;\n        if (param_5 + 1 == 0) break;\n        uVar9 = param_4[iVar6 + param_5 + 2];\n        param_5 = param_5 + 1;\n      }\n      return;\n    }\n    uVar5 = param_3 - 2 >> 4;\n    uVar9 = uVar5;\n    FUN_000394e9();\n    FUN_00039521(extraout_ECX,uVar9,uVar5);\n    return;\n  }" if (parenthesized_expression "(2 < param_3)" ( (binary_expression "2 < param_3" number_literal < identifier) )) (compound_statement "{\n    uVar5 = 0;\n    puVar11 = (uint *)((int)param_1 + param_3 * 4);\n    iVar6 = -param_3;\n    do {\n      lVar3 = (ulonglong)param_2[param_3 + iVar6] * (ulonglong)uVar9 + (ulonglong)uVar5;\n      uVar5 = (uint)((ulonglong)lVar3 >> 0x20);\n      puVar11[iVar6] = (uint)lVar3;\n      iVar6 = iVar6 + 1;\n    } while (iVar6 != 0);\n    *puVar11 = uVar5;\n    iVar6 = param_5 + -1;\n    if (iVar6 == 0) {\n      return;\n    }\n    if (param_3 < 8) {\n      uVar9 = param_4[1];\n      param_5 = -iVar6;\n      while( true ) {\n        uVar5 = 0;\n        puVar11 = puVar11 + 1;\n        iVar7 = -param_3;\n        do {\n          lVar3 = (ulonglong)param_2[param_3 + iVar7] * (ulonglong)uVar9 + (ulonglong)uVar5;\n          uVar8 = (uint)lVar3;\n          puVar1 = puVar11 + iVar7;\n          uVar5 = *puVar1;\n          *puVar1 = *puVar1 + uVar8;\n          uVar5 = (int)((ulonglong)lVar3 >> 0x20) + (uint)CARRY4(uVar5,uVar8);\n          iVar7 = iVar7 + 1;\n        } while (iVar7 != 0);\n        *puVar11 = uVar5;\n        if (param_5 + 1 == 0) break;\n        uVar9 = param_4[iVar6 + param_5 + 2];\n        param_5 = param_5 + 1;\n      }\n      return;\n    }\n    uVar5 = param_3 - 2 >> 4;\n    uVar9 = uVar5;\n    FUN_000394e9();\n    FUN_00039521(extraout_ECX,uVar9,uVar5);\n    return;\n  }" { (expression_statement "uVar5 = 0;" (assignment_expression "uVar5 = 0" identifier = number_literal) ;) (expression_statement "puVar11 = (uint *)((int)param_1 + param_3 * 4);" (assignment_expression "puVar11 = (uint *)((int)param_1 + param_3 * 4)" identifier = (cast_expression "(uint *)((int)param_1 + param_3 * 4)" ( (type_descriptor "uint *" type_identifier (abstract_pointer_declarator "*" *)) ) (parenthesized_expression "((int)param_1 + param_3 * 4)" ( (binary_expression "(int)param_1 + param_3 * 4" (cast_expression "(int)param_1" ( (type_descriptor "int" primitive_type) ) identifier) + (binary_expression "param_3 * 4" identifier * number_literal)) )))) ;) (expression_statement "iVar6 = -param_3;" (assignment_expression "iVar6 = -param_3" identifier = (unary_expression "-param_3" - identifier)) ;) (do_statement "do {\n      lVar3 = (ulonglong)param_2[param_3 + iVar6] * (ulonglong)uVar9 + (ulonglong)uVar5;\n      uVar5 = (uint)((ulonglong)lVar3 >> 0x20);\n      puVar11[iVar6] = (uint)lVar3;\n      iVar6 = iVar6 + 1;\n    } while (iVar6 != 0);" do (compound_statement "{\n      lVar3 = (ulonglong)param_2[param_3 + iVar6] * (ulonglong)uVar9 + (ulonglong)uVar5;\n      uVar5 = (uint)((ulonglong)lVar3 >> 0x20);\n      puVar11[iVar6] = (uint)lVar3;\n      iVar6 = iVar6 + 1;\n    }" { (expression_statement "lVar3 = (ulonglong)param_2[param_3 + iVar6] * (ulonglong)uVar9 + (ulonglong)uVar5;" (assignment_expression "lVar3 = (ulonglong)param_2[param_3 + iVar6] * (ulonglong)uVar9 + (ulonglong)uVar5" identifier = (binary_expression "(ulonglong)param_2[param_3 + iVar6] * (ulonglong)uVar9 + (ulonglong)uVar5" (binary_expression "(ulonglong)param_2[param_3 + iVar6] * (ulonglong)uVar9" (cast_expression "(ulonglong)param_2[param_3 + iVar6]" ( (type_descriptor "ulonglong" type_identifier) ) (subscript_expression "param_2[param_3 + iVar6]" identifier [ (binary_expression "param_3 + iVar6" identifier + identifier) ])) * (cast_expression "(ulonglong)uVar9" ( (type_descriptor "ulonglong" type_identifier) ) identifier)) + (cast_expression "(ulonglong)uVar5" ( (type_descriptor "ulonglong" type_identifier) ) identifier))) ;) (expression_statement "uVar5 = (uint)((ulonglong)lVar3 >> 0x20);" (assignment_expression "uVar5 = (uint)((ulonglong)lVar3 >> 0x20)" identifier = (call_expression "(uint)((ulonglong)lVar3 >> 0x20)" (parenthesized_expression "(uint)" ( identifier )) (argument_list "((ulonglong)lVar3 >> 0x20)" ( (binary_expression "(ulonglong)lVar3 >> 0x20" (cast_expression "(ulonglong)lVar3" ( (type_descriptor "ulonglong" type_identifier) ) identifier) >> number_literal) )))) ;) (expression_statement "puVar11[iVar6] = (uint)lVar3;" (assignment_expression "puVar11[iVar6] = (uint)lVar3" (subscript_expression "puVar11[iVar6]" identifier [ identifier ]) = (cast_expression "(uint)lVar3" ( (type_descriptor "uint" type_identifier) ) identifier)) ;) (expression_statement "iVar6 = iVar6 + 1;" (assignment_expression "iVar6 = iVar6 + 1" identifier = (binary_expression "iVar6 + 1" identifier + number_literal)) ;) }) while (parenthesized_expression "(iVar6 != 0)" ( (binary_expression "iVar6 != 0" identifier != number_literal) )) ;) (expression_statement "*puVar11 = uVar5;" (assignment_expression "*puVar11 = uVar5" (pointer_expression "*puVar11" * identifier) = identifier) ;) (expression_statement "iVar6 = param_5 + -1;" (assignment_expression "iVar6 = param_5 + -1" identifier = (binary_expression "param_5 + -1" identifier + number_literal)) ;) (if_statement "if (iVar6 == 0) {\n      return;\n    }" if (parenthesized_expression "(iVar6 == 0)" ( (binary_expression "iVar6 == 0" identifier == number_literal) )) (compound_statement "{\n      return;\n    }" { (return_statement "return;" return ;) })) (if_statement "if (param_3 < 8) {\n      uVar9 = param_4[1];\n      param_5 = -iVar6;\n      while( true ) {\n        uVar5 = 0;\n        puVar11 = puVar11 + 1;\n        iVar7 = -param_3;\n        do {\n          lVar3 = (ulonglong)param_2[param_3 + iVar7] * (ulonglong)uVar9 + (ulonglong)uVar5;\n          uVar8 = (uint)lVar3;\n          puVar1 = puVar11 + iVar7;\n          uVar5 = *puVar1;\n          *puVar1 = *puVar1 + uVar8;\n          uVar5 = (int)((ulonglong)lVar3 >> 0x20) + (uint)CARRY4(uVar5,uVar8);\n          iVar7 = iVar7 + 1;\n        } while (iVar7 != 0);\n        *puVar11 = uVar5;\n        if (param_5 + 1 == 0) break;\n        uVar9 = param_4[iVar6 + param_5 + 2];\n        param_5 = param_5 + 1;\n      }\n      return;\n    }" if (parenthesized_expression "(param_3 < 8)" ( (binary_expression "param_3 < 8" identifier < number_literal) )) (compound_statement "{\n      uVar9 = param_4[1];\n      param_5 = -iVar6;\n      while( true ) {\n        uVar5 = 0;\n        puVar11 = puVar11 + 1;\n        iVar7 = -param_3;\n        do {\n          lVar3 = (ulonglong)param_2[param_3 + iVar7] * (ulonglong)uVar9 + (ulonglong)uVar5;\n          uVar8 = (uint)lVar3;\n          puVar1 = puVar11 + iVar7;\n          uVar5 = *puVar1;\n          *puVar1 = *puVar1 + uVar8;\n          uVar5 = (int)((ulonglong)lVar3 >> 0x20) + (uint)CARRY4(uVar5,uVar8);\n          iVar7 = iVar7 + 1;\n        } while (iVar7 != 0);\n        *puVar11 = uVar5;\n        if (param_5 + 1 == 0) break;\n        uVar9 = param_4[iVar6 + param_5 + 2];\n        param_5 = param_5 + 1;\n      }\n      return;\n    }" { (expression_statement "uVar9 = param_4[1];" (assignment_expression "uVar9 = param_4[1]" identifier = (subscript_expression "param_4[1]" identifier [ number_literal ])) ;) (expression_statement "param_5 = -iVar6;" (assignment_expression "param_5 = -iVar6" identifier = (unary_expression "-iVar6" - identifier)) ;) (while_statement "while( true ) {\n        uVar5 = 0;\n        puVar11 = puVar11 + 1;\n        iVar7 = -param_3;\n        do {\n          lVar3 = (ulonglong)param_2[param_3 + iVar7] * (ulonglong)uVar9 + (ulonglong)uVar5;\n          uVar8 = (uint)lVar3;\n          puVar1 = puVar11 + iVar7;\n          uVar5 = *puVar1;\n          *puVar1 = *puVar1 + uVar8;\n          uVar5 = (int)((ulonglong)lVar3 >> 0x20) + (uint)CARRY4(uVar5,uVar8);\n          iVar7 = iVar7 + 1;\n        } while (iVar7 != 0);\n        *puVar11 = uVar5;\n        if (param_5 + 1 == 0) break;\n        uVar9 = param_4[iVar6 + param_5 + 2];\n        param_5 = param_5 + 1;\n      }" while (parenthesized_expression "( true )" ( true )) (compound_statement "{\n        uVar5 = 0;\n        puVar11 = puVar11 + 1;\n        iVar7 = -param_3;\n        do {\n          lVar3 = (ulonglong)param_2[param_3 + iVar7] * (ulonglong)uVar9 + (ulonglong)uVar5;\n          uVar8 = (uint)lVar3;\n          puVar1 = puVar11 + iVar7;\n          uVar5 = *puVar1;\n          *puVar1 = *puVar1 + uVar8;\n          uVar5 = (int)((ulonglong)lVar3 >> 0x20) + (uint)CARRY4(uVar5,uVar8);\n          iVar7 = iVar7 + 1;\n        } while (iVar7 != 0);\n        *puVar11 = uVar5;\n        if (param_5 + 1 == 0) break;\n        uVar9 = param_4[iVar6 + param_5 + 2];\n        param_5 = param_5 + 1;\n      }" { (expression_statement "uVar5 = 0;" (assignment_expression "uVar5 = 0" identifier = number_literal) ;) (expression_statement "puVar11 = puVar11 + 1;" (assignment_expression "puVar11 = puVar11 + 1" identifier = (binary_expression "puVar11 + 1" identifier + number_literal)) ;) (expression_statement "iVar7 = -param_3;" (assignment_expression "iVar7 = -param_3" identifier = (unary_expression "-param_3" - identifier)) ;) (do_statement "do {\n          lVar3 = (ulonglong)param_2[param_3 + iVar7] * (ulonglong)uVar9 + (ulonglong)uVar5;\n          uVar8 = (uint)lVar3;\n          puVar1 = puVar11 + iVar7;\n          uVar5 = *puVar1;\n          *puVar1 = *puVar1 + uVar8;\n          uVar5 = (int)((ulonglong)lVar3 >> 0x20) + (uint)CARRY4(uVar5,uVar8);\n          iVar7 = iVar7 + 1;\n        } while (iVar7 != 0);" do (compound_statement "{\n          lVar3 = (ulonglong)param_2[param_3 + iVar7] * (ulonglong)uVar9 + (ulonglong)uVar5;\n          uVar8 = (uint)lVar3;\n          puVar1 = puVar11 + iVar7;\n          uVar5 = *puVar1;\n          *puVar1 = *puVar1 + uVar8;\n          uVar5 = (int)((ulonglong)lVar3 >> 0x20) + (uint)CARRY4(uVar5,uVar8);\n          iVar7 = iVar7 + 1;\n        }" { (expression_statement "lVar3 = (ulonglong)param_2[param_3 + iVar7] * (ulonglong)uVar9 + (ulonglong)uVar5;" (assignment_expression "lVar3 = (ulonglong)param_2[param_3 + iVar7] * (ulonglong)uVar9 + (ulonglong)uVar5" identifier = (binary_expression "(ulonglong)param_2[param_3 + iVar7] * (ulonglong)uVar9 + (ulonglong)uVar5" (binary_expression "(ulonglong)param_2[param_3 + iVar7] * (ulonglong)uVar9" (cast_expression "(ulonglong)param_2[param_3 + iVar7]" ( (type_descriptor "ulonglong" type_identifier) ) (subscript_expression "param_2[param_3 + iVar7]" identifier [ (binary_expression "param_3 + iVar7" identifier + identifier) ])) * (cast_expression "(ulonglong)uVar9" ( (type_descriptor "ulonglong" type_identifier) ) identifier)) + (cast_expression "(ulonglong)uVar5" ( (type_descriptor "ulonglong" type_identifier) ) identifier))) ;) (expression_statement "uVar8 = (uint)lVar3;" (assignment_expression "uVar8 = (uint)lVar3" identifier = (cast_expression "(uint)lVar3" ( (type_descriptor "uint" type_identifier) ) identifier)) ;) (expression_statement "puVar1 = puVar11 + iVar7;" (assignment_expression "puVar1 = puVar11 + iVar7" identifier = (binary_expression "puVar11 + iVar7" identifier + identifier)) ;) (expression_statement "uVar5 = *puVar1;" (assignment_expression "uVar5 = *puVar1" identifier = (pointer_expression "*puVar1" * identifier)) ;) (expression_statement "*puVar1 = *puVar1 + uVar8;" (assignment_expression "*puVar1 = *puVar1 + uVar8" (pointer_expression "*puVar1" * identifier) = (binary_expression "*puVar1 + uVar8" (pointer_expression "*puVar1" * identifier) + identifier)) ;) (expression_statement "uVar5 = (int)((ulonglong)lVar3 >> 0x20) + (uint)CARRY4(uVar5,uVar8);" (assignment_expression "uVar5 = (int)((ulonglong)lVar3 >> 0x20) + (uint)CARRY4(uVar5,uVar8)" identifier = (binary_expression "(int)((ulonglong)lVar3 >> 0x20) + (uint)CARRY4(uVar5,uVar8)" (cast_expression "(int)((ulonglong)lVar3 >> 0x20)" ( (type_descriptor "int" primitive_type) ) (parenthesized_expression "((ulonglong)lVar3 >> 0x20)" ( (binary_expression "(ulonglong)lVar3 >> 0x20" (cast_expression "(ulonglong)lVar3" ( (type_descriptor "ulonglong" type_identifier) ) identifier) >> number_literal) ))) + (cast_expression "(uint)CARRY4(uVar5,uVar8)" ( (type_descriptor "uint" type_identifier) ) (call_expression "CARRY4(uVar5,uVar8)" identifier (argument_list "(uVar5,uVar8)" ( identifier , identifier )))))) ;) (expression_statement "iVar7 = iVar7 + 1;" (assignment_expression "iVar7 = iVar7 + 1" identifier = (binary_expression "iVar7 + 1" identifier + number_literal)) ;) }) while (parenthesized_expression "(iVar7 != 0)" ( (binary_expression "iVar7 != 0" identifier != number_literal) )) ;) (expression_statement "*puVar11 = uVar5;" (assignment_expression "*puVar11 = uVar5" (pointer_expression "*puVar11" * identifier) = identifier) ;) (if_statement "if (param_5 + 1 == 0) break;" if (parenthesized_expression "(param_5 + 1 == 0)" ( (binary_expression "param_5 + 1 == 0" (binary_expression "param_5 + 1" identifier + number_literal) == number_literal) )) (break_statement "break;" break ;)) (expression_statement "uVar9 = param_4[iVar6 + param_5 + 2];" (assignment_expression "uVar9 = param_4[iVar6 + param_5 + 2]" identifier = (subscript_expression "param_4[iVar6 + param_5 + 2]" identifier [ (binary_expression "iVar6 + param_5 + 2" (binary_expression "iVar6 + param_5" identifier + identifier) + number_literal) ])) ;) (expression_statement "param_5 = param_5 + 1;" (assignment_expression "param_5 = param_5 + 1" identifier = (binary_expression "param_5 + 1" identifier + number_literal)) ;) })) (return_statement "return;" return ;) })) (expression_statement "uVar5 = param_3 - 2 >> 4;" (assignment_expression "uVar5 = param_3 - 2 >> 4" identifier = (binary_expression "param_3 - 2 >> 4" (binary_expression "param_3 - 2" identifier - number_literal) >> number_literal)) ;) (expression_statement "uVar9 = uVar5;" (assignment_expression "uVar9 = uVar5" identifier = identifier) ;) (expression_statement "FUN_000394e9();" (call_expression "FUN_000394e9()" identifier (argument_list "()" ( ))) ;) (expression_statement "FUN_00039521(extraout_ECX,uVar9,uVar5);" (call_expression "FUN_00039521(extraout_ECX,uVar9,uVar5)" identifier (argument_list "(extraout_ECX,uVar9,uVar5)" ( identifier , identifier , identifier ))) ;) (return_statement "return;" return ;) })) (if_statement "if (param_3 != 2) {\n    *param_1 = (ulonglong)uVar9 * (ulonglong)*param_2;\n    return;\n  }" if (parenthesized_expression "(param_3 != 2)" ( (binary_expression "param_3 != 2" identifier != number_literal) )) (compound_statement "{\n    *param_1 = (ulonglong)uVar9 * (ulonglong)*param_2;\n    return;\n  }" { (expression_statement "*param_1 = (ulonglong)uVar9 * (ulonglong)*param_2;" (assignment_expression "*param_1 = (ulonglong)uVar9 * (ulonglong)*param_2" (pointer_expression "*param_1" * identifier) = (binary_expression "(ulonglong)uVar9 * (ulonglong)*param_2" (binary_expression "(ulonglong)uVar9 * (ulonglong)" (cast_expression "(ulonglong)uVar9" ( (type_descriptor "ulonglong" type_identifier) ) identifier) * (parenthesized_expression "(ulonglong)" ( identifier ))) * identifier)) ;) (return_statement "return;" return ;) })) (if_statement "if (param_5 == 1) {\n    uVar2 = (ulonglong)*param_2 * (ulonglong)uVar9;\n    *(int *)param_1 = (int)uVar2;\n    *(ulonglong *)((int)param_1 + 4) = (ulonglong)param_2[1] * (ulonglong)uVar9 + (uVar2 >> 0x20);\n    return;\n  }" if (parenthesized_expression "(param_5 == 1)" ( (binary_expression "param_5 == 1" identifier == number_literal) )) (compound_statement "{\n    uVar2 = (ulonglong)*param_2 * (ulonglong)uVar9;\n    *(int *)param_1 = (int)uVar2;\n    *(ulonglong *)((int)param_1 + 4) = (ulonglong)param_2[1] * (ulonglong)uVar9 + (uVar2 >> 0x20);\n    return;\n  }" { (expression_statement "uVar2 = (ulonglong)*param_2 * (ulonglong)uVar9;" (assignment_expression "uVar2 = (ulonglong)*param_2 * (ulonglong)uVar9" identifier = (binary_expression "(ulonglong)*param_2 * (ulonglong)uVar9" (binary_expression "(ulonglong)*param_2" (parenthesized_expression "(ulonglong)" ( identifier )) * identifier) * (cast_expression "(ulonglong)uVar9" ( (type_descriptor "ulonglong" type_identifier) ) identifier))) ;) (expression_statement "*(int *)param_1 = (int)uVar2;" (assignment_expression "*(int *)param_1 = (int)uVar2" (pointer_expression "*(int *)param_1" * (cast_expression "(int *)param_1" ( (type_descriptor "int *" primitive_type (abstract_pointer_declarator "*" *)) ) identifier)) = (cast_expression "(int)uVar2" ( (type_descriptor "int" primitive_type) ) identifier)) ;) (expression_statement "*(ulonglong *)((int)param_1 + 4) = (ulonglong)param_2[1] * (ulonglong)uVar9 + (uVar2 >> 0x20);" (assignment_expression "*(ulonglong *)((int)param_1 + 4) = (ulonglong)param_2[1] * (ulonglong)uVar9 + (uVar2 >> 0x20)" (pointer_expression "*(ulonglong *)((int)param_1 + 4)" * (cast_expression "(ulonglong *)((int)param_1 + 4)" ( (type_descriptor "ulonglong *" type_identifier (abstract_pointer_declarator "*" *)) ) (parenthesized_expression "((int)param_1 + 4)" ( (binary_expression "(int)param_1 + 4" (cast_expression "(int)param_1" ( (type_descriptor "int" primitive_type) ) identifier) + number_literal) )))) = (binary_expression "(ulonglong)param_2[1] * (ulonglong)uVar9 + (uVar2 >> 0x20)" (binary_expression "(ulonglong)param_2[1] * (ulonglong)uVar9" (cast_expression "(ulonglong)param_2[1]" ( (type_descriptor "ulonglong" type_identifier) ) (subscript_expression "param_2[1]" identifier [ number_literal ])) * (cast_expression "(ulonglong)uVar9" ( (type_descriptor "ulonglong" type_identifier) ) identifier)) + (parenthesized_expression "(uVar2 >> 0x20)" ( (binary_expression "uVar2 >> 0x20" identifier >> number_literal) )))) ;) (return_statement "return;" return ;) })) (expression_statement "uVar2 = (ulonglong)*param_2 * (ulonglong)uVar9;" (assignment_expression "uVar2 = (ulonglong)*param_2 * (ulonglong)uVar9" identifier = (binary_expression "(ulonglong)*param_2 * (ulonglong)uVar9" (binary_expression "(ulonglong)*param_2" (parenthesized_expression "(ulonglong)" ( identifier )) * identifier) * (cast_expression "(ulonglong)uVar9" ( (type_descriptor "ulonglong" type_identifier) ) identifier))) ;) (expression_statement "*(int *)param_1 = (int)uVar2;" (assignment_expression "*(int *)param_1 = (int)uVar2" (pointer_expression "*(int *)param_1" * (cast_expression "(int *)param_1" ( (type_descriptor "int *" primitive_type (abstract_pointer_declarator "*" *)) ) identifier)) = (cast_expression "(int)uVar2" ( (type_descriptor "int" primitive_type) ) identifier)) ;) (expression_statement "uVar2 = (ulonglong)param_2[1] * (ulonglong)uVar9 + (uVar2 >> 0x20);" (assignment_expression "uVar2 = (ulonglong)param_2[1] * (ulonglong)uVar9 + (uVar2 >> 0x20)" identifier = (binary_expression "(ulonglong)param_2[1] * (ulonglong)uVar9 + (uVar2 >> 0x20)" (binary_expression "(ulonglong)param_2[1] * (ulonglong)uVar9" (cast_expression "(ulonglong)param_2[1]" ( (type_descriptor "ulonglong" type_identifier) ) (subscript_expression "param_2[1]" identifier [ number_literal ])) * (cast_expression "(ulonglong)uVar9" ( (type_descriptor "ulonglong" type_identifier) ) identifier)) + (parenthesized_expression "(uVar2 >> 0x20)" ( (binary_expression "uVar2 >> 0x20" identifier >> number_literal) )))) ;) (expression_statement "*(int *)((int)param_1 + 4) = (int)uVar2;" (assignment_expression "*(int *)((int)param_1 + 4) = (int)uVar2" (pointer_expression "*(int *)((int)param_1 + 4)" * (cast_expression "(int *)((int)param_1 + 4)" ( (type_descriptor "int *" primitive_type (abstract_pointer_declarator "*" *)) ) (parenthesized_expression "((int)param_1 + 4)" ( (binary_expression "(int)param_1 + 4" (cast_expression "(int)param_1" ( (type_descriptor "int" primitive_type) ) identifier) + number_literal) )))) = (cast_expression "(int)uVar2" ( (type_descriptor "int" primitive_type) ) identifier)) ;) (expression_statement "lVar4 = (ulonglong)param_2[1] * (ulonglong)param_4[1] + (uVar2 >> 0x20);" (assignment_expression "lVar4 = (ulonglong)param_2[1] * (ulonglong)param_4[1] + (uVar2 >> 0x20)" identifier = (binary_expression "(ulonglong)param_2[1] * (ulonglong)param_4[1] + (uVar2 >> 0x20)" (binary_expression "(ulonglong)param_2[1] * (ulonglong)param_4[1]" (cast_expression "(ulonglong)param_2[1]" ( (type_descriptor "ulonglong" type_identifier) ) (subscript_expression "param_2[1]" identifier [ number_literal ])) * (cast_expression "(ulonglong)param_4[1]" ( (type_descriptor "ulonglong" type_identifier) ) (subscript_expression "param_4[1]" identifier [ number_literal ]))) + (parenthesized_expression "(uVar2 >> 0x20)" ( (binary_expression "uVar2 >> 0x20" identifier >> number_literal) )))) ;) (expression_statement "uVar10 = (uint)lVar4;" (assignment_expression "uVar10 = (uint)lVar4" identifier = (cast_expression "(uint)lVar4" ( (type_descriptor "uint" type_identifier) ) identifier)) ;) (expression_statement "lVar3 = (ulonglong)*param_2 * (ulonglong)param_4[1];" (assignment_expression "lVar3 = (ulonglong)*param_2 * (ulonglong)param_4[1]" identifier = (binary_expression "(ulonglong)*param_2 * (ulonglong)param_4[1]" (binary_expression "(ulonglong)*param_2" (parenthesized_expression "(ulonglong)" ( identifier )) * identifier) * (cast_expression "(ulonglong)param_4[1]" ( (type_descriptor "ulonglong" type_identifier) ) (subscript_expression "param_4[1]" identifier [ number_literal ])))) ;) (expression_statement "uVar8 = (uint)((ulonglong)lVar3 >> 0x20);" (assignment_expression "uVar8 = (uint)((ulonglong)lVar3 >> 0x20)" identifier = (call_expression "(uint)((ulonglong)lVar3 >> 0x20)" (parenthesized_expression "(uint)" ( identifier )) (argument_list "((ulonglong)lVar3 >> 0x20)" ( (binary_expression "(ulonglong)lVar3 >> 0x20" (cast_expression "(ulonglong)lVar3" ( (type_descriptor "ulonglong" type_identifier) ) identifier) >> number_literal) )))) ;) (expression_statement "uVar5 = (uint)lVar3;" (assignment_expression "uVar5 = (uint)lVar3" identifier = (cast_expression "(uint)lVar3" ( (type_descriptor "uint" type_identifier) ) identifier)) ;) (expression_statement "puVar11 = (uint *)((int)param_1 + 4);" (assignment_expression "puVar11 = (uint *)((int)param_1 + 4)" identifier = (cast_expression "(uint *)((int)param_1 + 4)" ( (type_descriptor "uint *" type_identifier (abstract_pointer_declarator "*" *)) ) (parenthesized_expression "((int)param_1 + 4)" ( (binary_expression "(int)param_1 + 4" (cast_expression "(int)param_1" ( (type_descriptor "int" primitive_type) ) identifier) + number_literal) )))) ;) (expression_statement "uVar9 = *puVar11;" (assignment_expression "uVar9 = *puVar11" identifier = (pointer_expression "*puVar11" * identifier)) ;) (expression_statement "*puVar11 = *puVar11 + uVar5;" (assignment_expression "*puVar11 = *puVar11 + uVar5" (pointer_expression "*puVar11" * identifier) = (binary_expression "*puVar11 + uVar5" (pointer_expression "*puVar11" * identifier) + identifier)) ;) (expression_statement "uVar9 = (uint)CARRY4(uVar9,uVar5);" (assignment_expression "uVar9 = (uint)CARRY4(uVar9,uVar5)" identifier = (cast_expression "(uint)CARRY4(uVar9,uVar5)" ( (type_descriptor "uint" type_identifier) ) (call_expression "CARRY4(uVar9,uVar5)" identifier (argument_list "(uVar9,uVar5)" ( identifier , identifier ))))) ;) (expression_statement "uVar5 = uVar10 + uVar8;" (assignment_expression "uVar5 = uVar10 + uVar8" identifier = (binary_expression "uVar10 + uVar8" identifier + identifier)) ;) (expression_statement "*(uint *)(param_1 + 1) = uVar5 + uVar9;" (assignment_expression "*(uint *)(param_1 + 1) = uVar5 + uVar9" (pointer_expression "*(uint *)(param_1 + 1)" * (cast_expression "(uint *)(param_1 + 1)" ( (type_descriptor "uint *" type_identifier (abstract_pointer_declarator "*" *)) ) (parenthesized_expression "(param_1 + 1)" ( (binary_expression "param_1 + 1" identifier + number_literal) )))) = (binary_expression "uVar5 + uVar9" identifier + identifier)) ;) (expression_statement "*(uint *)((int)param_1 + 0xc) =\n       (int)((ulonglong)lVar4 >> 0x20) + (uint)(CARRY4(uVar10,uVar8) || CARRY4(uVar5,uVar9));" (assignment_expression "*(uint *)((int)param_1 + 0xc) =\n       (int)((ulonglong)lVar4 >> 0x20) + (uint)(CARRY4(uVar10,uVar8) || CARRY4(uVar5,uVar9))" (pointer_expression "*(uint *)((int)param_1 + 0xc)" * (cast_expression "(uint *)((int)param_1 + 0xc)" ( (type_descriptor "uint *" type_identifier (abstract_pointer_declarator "*" *)) ) (parenthesized_expression "((int)param_1 + 0xc)" ( (binary_expression "(int)param_1 + 0xc" (cast_expression "(int)param_1" ( (type_descriptor "int" primitive_type) ) identifier) + number_literal) )))) = (binary_expression "(int)((ulonglong)lVar4 >> 0x20) + (uint)(CARRY4(uVar10,uVar8) || CARRY4(uVar5,uVar9))" (cast_expression "(int)((ulonglong)lVar4 >> 0x20)" ( (type_descriptor "int" primitive_type) ) (parenthesized_expression "((ulonglong)lVar4 >> 0x20)" ( (binary_expression "(ulonglong)lVar4 >> 0x20" (cast_expression "(ulonglong)lVar4" ( (type_descriptor "ulonglong" type_identifier) ) identifier) >> number_literal) ))) + (call_expression "(uint)(CARRY4(uVar10,uVar8) || CARRY4(uVar5,uVar9))" (parenthesized_expression "(uint)" ( identifier )) (argument_list "(CARRY4(uVar10,uVar8) || CARRY4(uVar5,uVar9))" ( (binary_expression "CARRY4(uVar10,uVar8) || CARRY4(uVar5,uVar9)" (call_expression "CARRY4(uVar10,uVar8)" identifier (argument_list "(uVar10,uVar8)" ( identifier , identifier ))) || (call_expression "CARRY4(uVar5,uVar9)" identifier (argument_list "(uVar5,uVar9)" ( identifier , 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 (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 = (pointer_expression * IDENT)) ;) (if_statement if (parenthesized_expression ( (binary_expression LIT < IDENT) )) (compound_statement { (expression_statement (assignment_expression IDENT = LIT) ;) (expression_statement (assignment_expression IDENT = (cast_expression ( (type_descriptor TYPE (abstract_pointer_declarator *)) ) (parenthesized_expression ( (binary_expression (cast_expression ( (type_descriptor TYPE) ) IDENT) + (binary_expression IDENT * LIT)) )))) ;) (expression_statement (assignment_expression IDENT = (unary_expression - IDENT)) ;) (do_statement do (compound_statement { (expression_statement (assignment_expression IDENT = (binary_expression (binary_expression (cast_expression ( (type_descriptor TYPE) ) (subscript_expression IDENT [ (binary_expression IDENT + IDENT) ])) * (cast_expression ( (type_descriptor TYPE) ) 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 (subscript_expression IDENT [ IDENT ]) = (cast_expression ( (type_descriptor TYPE) ) IDENT)) ;) (expression_statement (assignment_expression IDENT = (binary_expression IDENT + LIT)) ;) }) while (parenthesized_expression ( (binary_expression IDENT != LIT) )) ;) (expression_statement (assignment_expression (pointer_expression * IDENT) = IDENT) ;) (expression_statement (assignment_expression IDENT = (binary_expression IDENT + LIT)) ;) (if_statement if (parenthesized_expression ( (binary_expression IDENT == LIT) )) (compound_statement { (return_statement return ;) })) (if_statement if (parenthesized_expression ( (binary_expression IDENT < LIT) )) (compound_statement { (expression_statement (assignment_expression IDENT = (subscript_expression IDENT [ LIT ])) ;) (expression_statement (assignment_expression IDENT = (unary_expression - IDENT)) ;) (while_statement while (parenthesized_expression ( BOOL )) (compound_statement { (expression_statement (assignment_expression IDENT = LIT) ;) (expression_statement (assignment_expression IDENT = (binary_expression IDENT + LIT)) ;) (expression_statement (assignment_expression IDENT = (unary_expression - IDENT)) ;) (do_statement do (compound_statement { (expression_statement (assignment_expression IDENT = (binary_expression (binary_expression (cast_expression ( (type_descriptor TYPE) ) (subscript_expression IDENT [ (binary_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 = (binary_expression IDENT + 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)) ;) }) while (parenthesized_expression ( (binary_expression IDENT != LIT) )) ;) (expression_statement (assignment_expression (pointer_expression * IDENT) = IDENT) ;) (if_statement if (parenthesized_expression ( (binary_expression (binary_expression IDENT + LIT) == LIT) )) (break_statement break ;)) (expression_statement (assignment_expression IDENT = (subscript_expression IDENT [ (binary_expression (binary_expression IDENT + IDENT) + LIT) ])) ;) (expression_statement (assignment_expression IDENT = (binary_expression IDENT + LIT)) ;) })) (return_statement return ;) })) (expression_statement (assignment_expression IDENT = (binary_expression (binary_expression IDENT - LIT) >> LIT)) ;) (expression_statement (assignment_expression IDENT = IDENT) ;) (expression_statement (call_expression IDENT (argument_list ( ))) ;) (expression_statement (call_expression IDENT (argument_list ( IDENT , IDENT , IDENT ))) ;) (return_statement return ;) })) (if_statement if (parenthesized_expression ( (binary_expression IDENT != LIT) )) (compound_statement { (expression_statement (assignment_expression (pointer_expression * IDENT) = (binary_expression (binary_expression (cast_expression ( (type_descriptor TYPE) ) IDENT) * (parenthesized_expression ( IDENT ))) * IDENT)) ;) (return_statement return ;) })) (if_statement if (parenthesized_expression ( (binary_expression IDENT == LIT) )) (compound_statement { (expression_statement (assignment_expression IDENT = (binary_expression (binary_expression (parenthesized_expression ( IDENT )) * IDENT) * (cast_expression ( (type_descriptor TYPE) ) IDENT))) ;) (expression_statement (assignment_expression (pointer_expression * (cast_expression ( (type_descriptor TYPE (abstract_pointer_declarator *)) ) IDENT)) = (cast_expression ( (type_descriptor TYPE) ) IDENT)) ;) (expression_statement (assignment_expression (pointer_expression * (cast_expression ( (type_descriptor TYPE (abstract_pointer_declarator *)) ) (parenthesized_expression ( (binary_expression (cast_expression ( (type_descriptor TYPE) ) IDENT) + LIT) )))) = (binary_expression (binary_expression (cast_expression ( (type_descriptor TYPE) ) (subscript_expression IDENT [ LIT ])) * (cast_expression ( (type_descriptor TYPE) ) IDENT)) + (parenthesized_expression ( (binary_expression IDENT >> LIT) )))) ;) (return_statement return ;) })) (expression_statement (assignment_expression IDENT = (binary_expression (binary_expression (parenthesized_expression ( IDENT )) * IDENT) * (cast_expression ( (type_descriptor TYPE) ) IDENT))) ;) (expression_statement (assignment_expression (pointer_expression * (cast_expression ( (type_descriptor TYPE (abstract_pointer_declarator *)) ) IDENT)) = (cast_expression ( (type_descriptor TYPE) ) IDENT)) ;) (expression_statement (assignment_expression IDENT = (binary_expression (binary_expression (cast_expression ( (type_descriptor TYPE) ) (subscript_expression IDENT [ LIT ])) * (cast_expression ( (type_descriptor TYPE) ) IDENT)) + (parenthesized_expression ( (binary_expression IDENT >> LIT) )))) ;) (expression_statement (assignment_expression (pointer_expression * (cast_expression ( (type_descriptor TYPE (abstract_pointer_declarator *)) ) (parenthesized_expression ( (binary_expression (cast_expression ( (type_descriptor TYPE) ) IDENT) + LIT) )))) = (cast_expression ( (type_descriptor TYPE) ) IDENT)) ;) (expression_statement (assignment_expression IDENT = (binary_expression (binary_expression (cast_expression ( (type_descriptor TYPE) ) (subscript_expression IDENT [ LIT ])) * (cast_expression ( (type_descriptor TYPE) ) (subscript_expression IDENT [ LIT ]))) + (parenthesized_expression ( (binary_expression IDENT >> LIT) )))) ;) (expression_statement (assignment_expression IDENT = (cast_expression ( (type_descriptor TYPE) ) IDENT)) ;) (expression_statement (assignment_expression IDENT = (binary_expression (binary_expression (parenthesized_expression ( IDENT )) * IDENT) * (cast_expression ( (type_descriptor TYPE) ) (subscript_expression IDENT [ LIT ])))) ;) (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 = (cast_expression ( (type_descriptor TYPE) ) IDENT)) ;) (expression_statement (assignment_expression IDENT = (cast_expression ( (type_descriptor TYPE (abstract_pointer_declarator *)) ) (parenthesized_expression ( (binary_expression (cast_expression ( (type_descriptor TYPE) ) IDENT) + LIT) )))) ;) (expression_statement (assignment_expression IDENT = (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 (pointer_expression * (cast_expression ( (type_descriptor TYPE (abstract_pointer_declarator *)) ) (parenthesized_expression ( (binary_expression IDENT + LIT) )))) = (binary_expression IDENT + IDENT)) ;) (expression_statement (assignment_expression (pointer_expression * (cast_expression ( (type_descriptor TYPE (abstract_pointer_declarator *)) ) (parenthesized_expression ( (binary_expression (cast_expression ( (type_descriptor TYPE) ) IDENT) + LIT) )))) = (binary_expression (cast_expression ( (type_descriptor TYPE) ) (parenthesized_expression ( (binary_expression (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 )))) ))))) ;) (return_statement return ;) })))
(function_definition "void __gmpn_mul_basecase_k6(longlong *param_1,uint *param_2,uint param_3,uint *param_4,int param_5)\n\n{\n  uint *puVar1;\n  ulonglong uVar2;\n  longlong lVar3;\n  longlong lVar4;\n  uint uVar5;\n  int iVar6;\n  int iVar7;\n  undefined4 extraout_ECX;\n  uint uVar8;\n  uint uVar9;\n  uint uVar10;\n  uint *puVar11;\n  \n  uVar9 = *param_4;\n  if (2 < param_3) {\n    uVar5 = 0;\n    puVar11 = (uint *)((int)param_1 + param_3 * 4);\n    iVar6 = -param_3;\n    do {\n      lVar3 = (ulonglong)param_2[param_3 + iVar6] * (ulonglong)uVar9 + (ulonglong)uVar5;\n      uVar5 = (uint)((ulonglong)lVar3 >> 0x20);\n      puVar11[iVar6] = (uint)lVar3;\n      iVar6 = iVar6 + 1;\n    } while (iVar6 != 0);\n    *puVar11 = uVar5;\n    iVar6 = param_5 + -1;\n    if (iVar6 == 0) {\n      return;\n    }\n    if (param_3 < 8) {\n      uVar9 = param_4[1];\n      param_5 = -iVar6;\n      while( true ) {\n        uVar5 = 0;\n        puVar11 = puVar11 + 1;\n        iVar7 = -param_3;\n        do {\n          lVar3 = (ulonglong)param_2[param_3 + iVar7] * (ulonglong)uVar9 + (ulonglong)uVar5;\n          uVar8 = (uint)lVar3;\n          puVar1 = puVar11 + iVar7;\n          uVar5 = *puVar1;\n          *puVar1 = *puVar1 + uVar8;\n          uVar5 = (int)((ulonglong)lVar3 >> 0x20) + (uint)CARRY4(uVar5,uVar8);\n          iVar7 = iVar7 + 1;\n        } while (iVar7 != 0);\n        *puVar11 = uVar5;\n        if (param_5 + 1 == 0) break;\n        uVar9 = param_4[iVar6 + param_5 + 2];\n        param_5 = param_5 + 1;\n      }\n      return;\n    }\n    uVar5 = param_3 - 2 >> 4;\n    uVar9 = uVar5;\n    FUN_000394e9();\n    FUN_00039521(extraout_ECX,uVar9,uVar5);\n    return;\n  }\n  if (param_3 != 2) {\n    *param_1 = (ulonglong)uVar9 * (ulonglong)*param_2;\n    return;\n  }\n  if (param_5 == 1) {\n    uVar2 = (ulonglong)*param_2 * (ulonglong)uVar9;\n    *(int *)param_1 = (int)uVar2;\n    *(ulonglong *)((int)param_1 + 4) = (ulonglong)param_2[1] * (ulonglong)uVar9 + (uVar2 >> 0x20);\n    return;\n  }\n  uVar2 = (ulonglong)*param_2 * (ulonglong)uVar9;\n  *(int *)param_1 = (int)uVar2;\n  uVar2 = (ulonglong)param_2[1] * (ulonglong)uVar9 + (uVar2 >> 0x20);\n  *(int *)((int)param_1 + 4) = (int)uVar2;\n  lVar4 = (ulonglong)param_2[1] * (ulonglong)param_4[1] + (uVar2 >> 0x20);\n  uVar10 = (uint)lVar4;\n  lVar3 = (ulonglong)*param_2 * (ulonglong)param_4[1];\n  uVar8 = (uint)((ulonglong)lVar3 >> 0x20);\n  uVar5 = (uint)lVar3;\n  puVar11 = (uint *)((int)param_1 + 4);\n  uVar9 = *puVar11;\n  *puVar11 = *puVar11 + uVar5;\n  uVar9 = (uint)CARRY4(uVar9,uVar5);\n  uVar5 = uVar10 + uVar8;\n  *(uint *)(param_1 + 1) = uVar5 + uVar9;\n  *(uint *)((int)param_1 + 0xc) =\n       (int)((ulonglong)lVar4 >> 0x20) + (uint)(CARRY4(uVar10,uVar8) || CARRY4(uVar5,uVar9));\n  return;\n}" (primitive_type "void") (function_declarator "__gmpn_mul_basecase_k6(longlong *param_1,uint *param_2,uint param_3,uint *param_4,int param_5)" (identifier "__gmpn_mul_basecase_k6") (parameter_list "(longlong *param_1,uint *param_2,uint param_3,uint *param_4,int param_5)" (( "(") (parameter_declaration "longlong *param_1" (type_identifier "longlong") (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  uint *puVar1;\n  ulonglong uVar2;\n  longlong lVar3;\n  longlong lVar4;\n  uint uVar5;\n  int iVar6;\n  int iVar7;\n  undefined4 extraout_ECX;\n  uint uVar8;\n  uint uVar9;\n  uint uVar10;\n  uint *puVar11;\n  \n  uVar9 = *param_4;\n  if (2 < param_3) {\n    uVar5 = 0;\n    puVar11 = (uint *)((int)param_1 + param_3 * 4);\n    iVar6 = -param_3;\n    do {\n      lVar3 = (ulonglong)param_2[param_3 + iVar6] * (ulonglong)uVar9 + (ulonglong)uVar5;\n      uVar5 = (uint)((ulonglong)lVar3 >> 0x20);\n      puVar11[iVar6] = (uint)lVar3;\n      iVar6 = iVar6 + 1;\n    } while (iVar6 != 0);\n    *puVar11 = uVar5;\n    iVar6 = param_5 + -1;\n    if (iVar6 == 0) {\n      return;\n    }\n    if (param_3 < 8) {\n      uVar9 = param_4[1];\n      param_5 = -iVar6;\n      while( true ) {\n        uVar5 = 0;\n        puVar11 = puVar11 + 1;\n        iVar7 = -param_3;\n        do {\n          lVar3 = (ulonglong)param_2[param_3 + iVar7] * (ulonglong)uVar9 + (ulonglong)uVar5;\n          uVar8 = (uint)lVar3;\n          puVar1 = puVar11 + iVar7;\n          uVar5 = *puVar1;\n          *puVar1 = *puVar1 + uVar8;\n          uVar5 = (int)((ulonglong)lVar3 >> 0x20) + (uint)CARRY4(uVar5,uVar8);\n          iVar7 = iVar7 + 1;\n        } while (iVar7 != 0);\n        *puVar11 = uVar5;\n        if (param_5 + 1 == 0) break;\n        uVar9 = param_4[iVar6 + param_5 + 2];\n        param_5 = param_5 + 1;\n      }\n      return;\n    }\n    uVar5 = param_3 - 2 >> 4;\n    uVar9 = uVar5;\n    FUN_000394e9();\n    FUN_00039521(extraout_ECX,uVar9,uVar5);\n    return;\n  }\n  if (param_3 != 2) {\n    *param_1 = (ulonglong)uVar9 * (ulonglong)*param_2;\n    return;\n  }\n  if (param_5 == 1) {\n    uVar2 = (ulonglong)*param_2 * (ulonglong)uVar9;\n    *(int *)param_1 = (int)uVar2;\n    *(ulonglong *)((int)param_1 + 4) = (ulonglong)param_2[1] * (ulonglong)uVar9 + (uVar2 >> 0x20);\n    return;\n  }\n  uVar2 = (ulonglong)*param_2 * (ulonglong)uVar9;\n  *(int *)param_1 = (int)uVar2;\n  uVar2 = (ulonglong)param_2[1] * (ulonglong)uVar9 + (uVar2 >> 0x20);\n  *(int *)((int)param_1 + 4) = (int)uVar2;\n  lVar4 = (ulonglong)param_2[1] * (ulonglong)param_4[1] + (uVar2 >> 0x20);\n  uVar10 = (uint)lVar4;\n  lVar3 = (ulonglong)*param_2 * (ulonglong)param_4[1];\n  uVar8 = (uint)((ulonglong)lVar3 >> 0x20);\n  uVar5 = (uint)lVar3;\n  puVar11 = (uint *)((int)param_1 + 4);\n  uVar9 = *puVar11;\n  *puVar11 = *puVar11 + uVar5;\n  uVar9 = (uint)CARRY4(uVar9,uVar5);\n  uVar5 = uVar10 + uVar8;\n  *(uint *)(param_1 + 1) = uVar5 + uVar9;\n  *(uint *)((int)param_1 + 0xc) =\n       (int)((ulonglong)lVar4 >> 0x20) + (uint)(CARRY4(uVar10,uVar8) || CARRY4(uVar5,uVar9));\n  return;\n}" ({ "{") (declaration "uint *puVar1;" (type_identifier "uint") (pointer_declarator "*puVar1" (* "*") (identifier "puVar1")) (; ";")) (declaration "ulonglong uVar2;" (type_identifier "ulonglong") (identifier "uVar2") (; ";")) (declaration "longlong lVar3;" (type_identifier "longlong") (identifier "lVar3") (; ";")) (declaration "longlong lVar4;" (type_identifier "longlong") (identifier "lVar4") (; ";")) (declaration "uint uVar5;" (type_identifier "uint") (identifier "uVar5") (; ";")) (declaration "int iVar6;" (primitive_type "int") (identifier "iVar6") (; ";")) (declaration "int iVar7;" (primitive_type "int") (identifier "iVar7") (; ";")) (declaration "undefined4 extraout_ECX;" (type_identifier "undefined4") (identifier "extraout_ECX") (; ";")) (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 *puVar11;" (type_identifier "uint") (pointer_declarator "*puVar11" (* "*") (identifier "puVar11")) (; ";")) (expression_statement "uVar9 = *param_4;" (assignment_expression "uVar9 = *param_4" (identifier "uVar9") (= "=") (pointer_expression "*param_4" (* "*") (identifier "param_4"))) (; ";")) (if_statement "if (2 < param_3) {\n    uVar5 = 0;\n    puVar11 = (uint *)((int)param_1 + param_3 * 4);\n    iVar6 = -param_3;\n    do {\n      lVar3 = (ulonglong)param_2[param_3 + iVar6] * (ulonglong)uVar9 + (ulonglong)uVar5;\n      uVar5 = (uint)((ulonglong)lVar3 >> 0x20);\n      puVar11[iVar6] = (uint)lVar3;\n      iVar6 = iVar6 + 1;\n    } while (iVar6 != 0);\n    *puVar11 = uVar5;\n    iVar6 = param_5 + -1;\n    if (iVar6 == 0) {\n      return;\n    }\n    if (param_3 < 8) {\n      uVar9 = param_4[1];\n      param_5 = -iVar6;\n      while( true ) {\n        uVar5 = 0;\n        puVar11 = puVar11 + 1;\n        iVar7 = -param_3;\n        do {\n          lVar3 = (ulonglong)param_2[param_3 + iVar7] * (ulonglong)uVar9 + (ulonglong)uVar5;\n          uVar8 = (uint)lVar3;\n          puVar1 = puVar11 + iVar7;\n          uVar5 = *puVar1;\n          *puVar1 = *puVar1 + uVar8;\n          uVar5 = (int)((ulonglong)lVar3 >> 0x20) + (uint)CARRY4(uVar5,uVar8);\n          iVar7 = iVar7 + 1;\n        } while (iVar7 != 0);\n        *puVar11 = uVar5;\n        if (param_5 + 1 == 0) break;\n        uVar9 = param_4[iVar6 + param_5 + 2];\n        param_5 = param_5 + 1;\n      }\n      return;\n    }\n    uVar5 = param_3 - 2 >> 4;\n    uVar9 = uVar5;\n    FUN_000394e9();\n    FUN_00039521(extraout_ECX,uVar9,uVar5);\n    return;\n  }" (if "if") (parenthesized_expression "(2 < param_3)" (( "(") (binary_expression "2 < param_3" (number_literal "2") (< "<") (identifier "param_3")) () ")")) (compound_statement "{\n    uVar5 = 0;\n    puVar11 = (uint *)((int)param_1 + param_3 * 4);\n    iVar6 = -param_3;\n    do {\n      lVar3 = (ulonglong)param_2[param_3 + iVar6] * (ulonglong)uVar9 + (ulonglong)uVar5;\n      uVar5 = (uint)((ulonglong)lVar3 >> 0x20);\n      puVar11[iVar6] = (uint)lVar3;\n      iVar6 = iVar6 + 1;\n    } while (iVar6 != 0);\n    *puVar11 = uVar5;\n    iVar6 = param_5 + -1;\n    if (iVar6 == 0) {\n      return;\n    }\n    if (param_3 < 8) {\n      uVar9 = param_4[1];\n      param_5 = -iVar6;\n      while( true ) {\n        uVar5 = 0;\n        puVar11 = puVar11 + 1;\n        iVar7 = -param_3;\n        do {\n          lVar3 = (ulonglong)param_2[param_3 + iVar7] * (ulonglong)uVar9 + (ulonglong)uVar5;\n          uVar8 = (uint)lVar3;\n          puVar1 = puVar11 + iVar7;\n          uVar5 = *puVar1;\n          *puVar1 = *puVar1 + uVar8;\n          uVar5 = (int)((ulonglong)lVar3 >> 0x20) + (uint)CARRY4(uVar5,uVar8);\n          iVar7 = iVar7 + 1;\n        } while (iVar7 != 0);\n        *puVar11 = uVar5;\n        if (param_5 + 1 == 0) break;\n        uVar9 = param_4[iVar6 + param_5 + 2];\n        param_5 = param_5 + 1;\n      }\n      return;\n    }\n    uVar5 = param_3 - 2 >> 4;\n    uVar9 = uVar5;\n    FUN_000394e9();\n    FUN_00039521(extraout_ECX,uVar9,uVar5);\n    return;\n  }" ({ "{") (expression_statement "uVar5 = 0;" (assignment_expression "uVar5 = 0" (identifier "uVar5") (= "=") (number_literal "0")) (; ";")) (expression_statement "puVar11 = (uint *)((int)param_1 + param_3 * 4);" (assignment_expression "puVar11 = (uint *)((int)param_1 + param_3 * 4)" (identifier "puVar11") (= "=") (cast_expression "(uint *)((int)param_1 + param_3 * 4)" (( "(") (type_descriptor "uint *" (type_identifier "uint") (abstract_pointer_declarator "*" (* "*"))) () ")") (parenthesized_expression "((int)param_1 + param_3 * 4)" (( "(") (binary_expression "(int)param_1 + param_3 * 4" (cast_expression "(int)param_1" (( "(") (type_descriptor "int" (primitive_type "int")) () ")") (identifier "param_1")) (+ "+") (binary_expression "param_3 * 4" (identifier "param_3") (* "*") (number_literal "4"))) () ")")))) (; ";")) (expression_statement "iVar6 = -param_3;" (assignment_expression "iVar6 = -param_3" (identifier "iVar6") (= "=") (unary_expression "-param_3" (- "-") (identifier "param_3"))) (; ";")) (do_statement "do {\n      lVar3 = (ulonglong)param_2[param_3 + iVar6] * (ulonglong)uVar9 + (ulonglong)uVar5;\n      uVar5 = (uint)((ulonglong)lVar3 >> 0x20);\n      puVar11[iVar6] = (uint)lVar3;\n      iVar6 = iVar6 + 1;\n    } while (iVar6 != 0);" (do "do") (compound_statement "{\n      lVar3 = (ulonglong)param_2[param_3 + iVar6] * (ulonglong)uVar9 + (ulonglong)uVar5;\n      uVar5 = (uint)((ulonglong)lVar3 >> 0x20);\n      puVar11[iVar6] = (uint)lVar3;\n      iVar6 = iVar6 + 1;\n    }" ({ "{") (expression_statement "lVar3 = (ulonglong)param_2[param_3 + iVar6] * (ulonglong)uVar9 + (ulonglong)uVar5;" (assignment_expression "lVar3 = (ulonglong)param_2[param_3 + iVar6] * (ulonglong)uVar9 + (ulonglong)uVar5" (identifier "lVar3") (= "=") (binary_expression "(ulonglong)param_2[param_3 + iVar6] * (ulonglong)uVar9 + (ulonglong)uVar5" (binary_expression "(ulonglong)param_2[param_3 + iVar6] * (ulonglong)uVar9" (cast_expression "(ulonglong)param_2[param_3 + iVar6]" (( "(") (type_descriptor "ulonglong" (type_identifier "ulonglong")) () ")") (subscript_expression "param_2[param_3 + iVar6]" (identifier "param_2") ([ "[") (binary_expression "param_3 + iVar6" (identifier "param_3") (+ "+") (identifier "iVar6")) (] "]"))) (* "*") (cast_expression "(ulonglong)uVar9" (( "(") (type_descriptor "ulonglong" (type_identifier "ulonglong")) () ")") (identifier "uVar9"))) (+ "+") (cast_expression "(ulonglong)uVar5" (( "(") (type_descriptor "ulonglong" (type_identifier "ulonglong")) () ")") (identifier "uVar5")))) (; ";")) (expression_statement "uVar5 = (uint)((ulonglong)lVar3 >> 0x20);" (assignment_expression "uVar5 = (uint)((ulonglong)lVar3 >> 0x20)" (identifier "uVar5") (= "=") (call_expression "(uint)((ulonglong)lVar3 >> 0x20)" (parenthesized_expression "(uint)" (( "(") (identifier "uint") () ")")) (argument_list "((ulonglong)lVar3 >> 0x20)" (( "(") (binary_expression "(ulonglong)lVar3 >> 0x20" (cast_expression "(ulonglong)lVar3" (( "(") (type_descriptor "ulonglong" (type_identifier "ulonglong")) () ")") (identifier "lVar3")) (>> ">>") (number_literal "0x20")) () ")")))) (; ";")) (expression_statement "puVar11[iVar6] = (uint)lVar3;" (assignment_expression "puVar11[iVar6] = (uint)lVar3" (subscript_expression "puVar11[iVar6]" (identifier "puVar11") ([ "[") (identifier "iVar6") (] "]")) (= "=") (cast_expression "(uint)lVar3" (( "(") (type_descriptor "uint" (type_identifier "uint")) () ")") (identifier "lVar3"))) (; ";")) (expression_statement "iVar6 = iVar6 + 1;" (assignment_expression "iVar6 = iVar6 + 1" (identifier "iVar6") (= "=") (binary_expression "iVar6 + 1" (identifier "iVar6") (+ "+") (number_literal "1"))) (; ";")) (} "}")) (while "while") (parenthesized_expression "(iVar6 != 0)" (( "(") (binary_expression "iVar6 != 0" (identifier "iVar6") (!= "!=") (number_literal "0")) () ")")) (; ";")) (expression_statement "*puVar11 = uVar5;" (assignment_expression "*puVar11 = uVar5" (pointer_expression "*puVar11" (* "*") (identifier "puVar11")) (= "=") (identifier "uVar5")) (; ";")) (expression_statement "iVar6 = param_5 + -1;" (assignment_expression "iVar6 = param_5 + -1" (identifier "iVar6") (= "=") (binary_expression "param_5 + -1" (identifier "param_5") (+ "+") (number_literal "-1"))) (; ";")) (if_statement "if (iVar6 == 0) {\n      return;\n    }" (if "if") (parenthesized_expression "(iVar6 == 0)" (( "(") (binary_expression "iVar6 == 0" (identifier "iVar6") (== "==") (number_literal "0")) () ")")) (compound_statement "{\n      return;\n    }" ({ "{") (return_statement "return;" (return "return") (; ";")) (} "}"))) (if_statement "if (param_3 < 8) {\n      uVar9 = param_4[1];\n      param_5 = -iVar6;\n      while( true ) {\n        uVar5 = 0;\n        puVar11 = puVar11 + 1;\n        iVar7 = -param_3;\n        do {\n          lVar3 = (ulonglong)param_2[param_3 + iVar7] * (ulonglong)uVar9 + (ulonglong)uVar5;\n          uVar8 = (uint)lVar3;\n          puVar1 = puVar11 + iVar7;\n          uVar5 = *puVar1;\n          *puVar1 = *puVar1 + uVar8;\n          uVar5 = (int)((ulonglong)lVar3 >> 0x20) + (uint)CARRY4(uVar5,uVar8);\n          iVar7 = iVar7 + 1;\n        } while (iVar7 != 0);\n        *puVar11 = uVar5;\n        if (param_5 + 1 == 0) break;\n        uVar9 = param_4[iVar6 + param_5 + 2];\n        param_5 = param_5 + 1;\n      }\n      return;\n    }" (if "if") (parenthesized_expression "(param_3 < 8)" (( "(") (binary_expression "param_3 < 8" (identifier "param_3") (< "<") (number_literal "8")) () ")")) (compound_statement "{\n      uVar9 = param_4[1];\n      param_5 = -iVar6;\n      while( true ) {\n        uVar5 = 0;\n        puVar11 = puVar11 + 1;\n        iVar7 = -param_3;\n        do {\n          lVar3 = (ulonglong)param_2[param_3 + iVar7] * (ulonglong)uVar9 + (ulonglong)uVar5;\n          uVar8 = (uint)lVar3;\n          puVar1 = puVar11 + iVar7;\n          uVar5 = *puVar1;\n          *puVar1 = *puVar1 + uVar8;\n          uVar5 = (int)((ulonglong)lVar3 >> 0x20) + (uint)CARRY4(uVar5,uVar8);\n          iVar7 = iVar7 + 1;\n        } while (iVar7 != 0);\n        *puVar11 = uVar5;\n        if (param_5 + 1 == 0) break;\n        uVar9 = param_4[iVar6 + param_5 + 2];\n        param_5 = param_5 + 1;\n      }\n      return;\n    }" ({ "{") (expression_statement "uVar9 = param_4[1];" (assignment_expression "uVar9 = param_4[1]" (identifier "uVar9") (= "=") (subscript_expression "param_4[1]" (identifier "param_4") ([ "[") (number_literal "1") (] "]"))) (; ";")) (expression_statement "param_5 = -iVar6;" (assignment_expression "param_5 = -iVar6" (identifier "param_5") (= "=") (unary_expression "-iVar6" (- "-") (identifier "iVar6"))) (; ";")) (while_statement "while( true ) {\n        uVar5 = 0;\n        puVar11 = puVar11 + 1;\n        iVar7 = -param_3;\n        do {\n          lVar3 = (ulonglong)param_2[param_3 + iVar7] * (ulonglong)uVar9 + (ulonglong)uVar5;\n          uVar8 = (uint)lVar3;\n          puVar1 = puVar11 + iVar7;\n          uVar5 = *puVar1;\n          *puVar1 = *puVar1 + uVar8;\n          uVar5 = (int)((ulonglong)lVar3 >> 0x20) + (uint)CARRY4(uVar5,uVar8);\n          iVar7 = iVar7 + 1;\n        } while (iVar7 != 0);\n        *puVar11 = uVar5;\n        if (param_5 + 1 == 0) break;\n        uVar9 = param_4[iVar6 + param_5 + 2];\n        param_5 = param_5 + 1;\n      }" (while "while") (parenthesized_expression "( true )" (( "(") (true "true") () ")")) (compound_statement "{\n        uVar5 = 0;\n        puVar11 = puVar11 + 1;\n        iVar7 = -param_3;\n        do {\n          lVar3 = (ulonglong)param_2[param_3 + iVar7] * (ulonglong)uVar9 + (ulonglong)uVar5;\n          uVar8 = (uint)lVar3;\n          puVar1 = puVar11 + iVar7;\n          uVar5 = *puVar1;\n          *puVar1 = *puVar1 + uVar8;\n          uVar5 = (int)((ulonglong)lVar3 >> 0x20) + (uint)CARRY4(uVar5,uVar8);\n          iVar7 = iVar7 + 1;\n        } while (iVar7 != 0);\n        *puVar11 = uVar5;\n        if (param_5 + 1 == 0) break;\n        uVar9 = param_4[iVar6 + param_5 + 2];\n        param_5 = param_5 + 1;\n      }" ({ "{") (expression_statement "uVar5 = 0;" (assignment_expression "uVar5 = 0" (identifier "uVar5") (= "=") (number_literal "0")) (; ";")) (expression_statement "puVar11 = puVar11 + 1;" (assignment_expression "puVar11 = puVar11 + 1" (identifier "puVar11") (= "=") (binary_expression "puVar11 + 1" (identifier "puVar11") (+ "+") (number_literal "1"))) (; ";")) (expression_statement "iVar7 = -param_3;" (assignment_expression "iVar7 = -param_3" (identifier "iVar7") (= "=") (unary_expression "-param_3" (- "-") (identifier "param_3"))) (; ";")) (do_statement "do {\n          lVar3 = (ulonglong)param_2[param_3 + iVar7] * (ulonglong)uVar9 + (ulonglong)uVar5;\n          uVar8 = (uint)lVar3;\n          puVar1 = puVar11 + iVar7;\n          uVar5 = *puVar1;\n          *puVar1 = *puVar1 + uVar8;\n          uVar5 = (int)((ulonglong)lVar3 >> 0x20) + (uint)CARRY4(uVar5,uVar8);\n          iVar7 = iVar7 + 1;\n        } while (iVar7 != 0);" (do "do") (compound_statement "{\n          lVar3 = (ulonglong)param_2[param_3 + iVar7] * (ulonglong)uVar9 + (ulonglong)uVar5;\n          uVar8 = (uint)lVar3;\n          puVar1 = puVar11 + iVar7;\n          uVar5 = *puVar1;\n          *puVar1 = *puVar1 + uVar8;\n          uVar5 = (int)((ulonglong)lVar3 >> 0x20) + (uint)CARRY4(uVar5,uVar8);\n          iVar7 = iVar7 + 1;\n        }" ({ "{") (expression_statement "lVar3 = (ulonglong)param_2[param_3 + iVar7] * (ulonglong)uVar9 + (ulonglong)uVar5;" (assignment_expression "lVar3 = (ulonglong)param_2[param_3 + iVar7] * (ulonglong)uVar9 + (ulonglong)uVar5" (identifier "lVar3") (= "=") (binary_expression "(ulonglong)param_2[param_3 + iVar7] * (ulonglong)uVar9 + (ulonglong)uVar5" (binary_expression "(ulonglong)param_2[param_3 + iVar7] * (ulonglong)uVar9" (cast_expression "(ulonglong)param_2[param_3 + iVar7]" (( "(") (type_descriptor "ulonglong" (type_identifier "ulonglong")) () ")") (subscript_expression "param_2[param_3 + iVar7]" (identifier "param_2") ([ "[") (binary_expression "param_3 + iVar7" (identifier "param_3") (+ "+") (identifier "iVar7")) (] "]"))) (* "*") (cast_expression "(ulonglong)uVar9" (( "(") (type_descriptor "ulonglong" (type_identifier "ulonglong")) () ")") (identifier "uVar9"))) (+ "+") (cast_expression "(ulonglong)uVar5" (( "(") (type_descriptor "ulonglong" (type_identifier "ulonglong")) () ")") (identifier "uVar5")))) (; ";")) (expression_statement "uVar8 = (uint)lVar3;" (assignment_expression "uVar8 = (uint)lVar3" (identifier "uVar8") (= "=") (cast_expression "(uint)lVar3" (( "(") (type_descriptor "uint" (type_identifier "uint")) () ")") (identifier "lVar3"))) (; ";")) (expression_statement "puVar1 = puVar11 + iVar7;" (assignment_expression "puVar1 = puVar11 + iVar7" (identifier "puVar1") (= "=") (binary_expression "puVar11 + iVar7" (identifier "puVar11") (+ "+") (identifier "iVar7"))) (; ";")) (expression_statement "uVar5 = *puVar1;" (assignment_expression "uVar5 = *puVar1" (identifier "uVar5") (= "=") (pointer_expression "*puVar1" (* "*") (identifier "puVar1"))) (; ";")) (expression_statement "*puVar1 = *puVar1 + uVar8;" (assignment_expression "*puVar1 = *puVar1 + uVar8" (pointer_expression "*puVar1" (* "*") (identifier "puVar1")) (= "=") (binary_expression "*puVar1 + uVar8" (pointer_expression "*puVar1" (* "*") (identifier "puVar1")) (+ "+") (identifier "uVar8"))) (; ";")) (expression_statement "uVar5 = (int)((ulonglong)lVar3 >> 0x20) + (uint)CARRY4(uVar5,uVar8);" (assignment_expression "uVar5 = (int)((ulonglong)lVar3 >> 0x20) + (uint)CARRY4(uVar5,uVar8)" (identifier "uVar5") (= "=") (binary_expression "(int)((ulonglong)lVar3 >> 0x20) + (uint)CARRY4(uVar5,uVar8)" (cast_expression "(int)((ulonglong)lVar3 >> 0x20)" (( "(") (type_descriptor "int" (primitive_type "int")) () ")") (parenthesized_expression "((ulonglong)lVar3 >> 0x20)" (( "(") (binary_expression "(ulonglong)lVar3 >> 0x20" (cast_expression "(ulonglong)lVar3" (( "(") (type_descriptor "ulonglong" (type_identifier "ulonglong")) () ")") (identifier "lVar3")) (>> ">>") (number_literal "0x20")) () ")"))) (+ "+") (cast_expression "(uint)CARRY4(uVar5,uVar8)" (( "(") (type_descriptor "uint" (type_identifier "uint")) () ")") (call_expression "CARRY4(uVar5,uVar8)" (identifier "CARRY4") (argument_list "(uVar5,uVar8)" (( "(") (identifier "uVar5") (, ",") (identifier "uVar8") () ")")))))) (; ";")) (expression_statement "iVar7 = iVar7 + 1;" (assignment_expression "iVar7 = iVar7 + 1" (identifier "iVar7") (= "=") (binary_expression "iVar7 + 1" (identifier "iVar7") (+ "+") (number_literal "1"))) (; ";")) (} "}")) (while "while") (parenthesized_expression "(iVar7 != 0)" (( "(") (binary_expression "iVar7 != 0" (identifier "iVar7") (!= "!=") (number_literal "0")) () ")")) (; ";")) (expression_statement "*puVar11 = uVar5;" (assignment_expression "*puVar11 = uVar5" (pointer_expression "*puVar11" (* "*") (identifier "puVar11")) (= "=") (identifier "uVar5")) (; ";")) (if_statement "if (param_5 + 1 == 0) break;" (if "if") (parenthesized_expression "(param_5 + 1 == 0)" (( "(") (binary_expression "param_5 + 1 == 0" (binary_expression "param_5 + 1" (identifier "param_5") (+ "+") (number_literal "1")) (== "==") (number_literal "0")) () ")")) (break_statement "break;" (break "break") (; ";"))) (expression_statement "uVar9 = param_4[iVar6 + param_5 + 2];" (assignment_expression "uVar9 = param_4[iVar6 + param_5 + 2]" (identifier "uVar9") (= "=") (subscript_expression "param_4[iVar6 + param_5 + 2]" (identifier "param_4") ([ "[") (binary_expression "iVar6 + param_5 + 2" (binary_expression "iVar6 + param_5" (identifier "iVar6") (+ "+") (identifier "param_5")) (+ "+") (number_literal "2")) (] "]"))) (; ";")) (expression_statement "param_5 = param_5 + 1;" (assignment_expression "param_5 = param_5 + 1" (identifier "param_5") (= "=") (binary_expression "param_5 + 1" (identifier "param_5") (+ "+") (number_literal "1"))) (; ";")) (} "}"))) (return_statement "return;" (return "return") (; ";")) (} "}"))) (expression_statement "uVar5 = param_3 - 2 >> 4;" (assignment_expression "uVar5 = param_3 - 2 >> 4" (identifier "uVar5") (= "=") (binary_expression "param_3 - 2 >> 4" (binary_expression "param_3 - 2" (identifier "param_3") (- "-") (number_literal "2")) (>> ">>") (number_literal "4"))) (; ";")) (expression_statement "uVar9 = uVar5;" (assignment_expression "uVar9 = uVar5" (identifier "uVar9") (= "=") (identifier "uVar5")) (; ";")) (expression_statement "FUN_000394e9();" (call_expression "FUN_000394e9()" (identifier "FUN_000394e9") (argument_list "()" (( "(") () ")"))) (; ";")) (expression_statement "FUN_00039521(extraout_ECX,uVar9,uVar5);" (call_expression "FUN_00039521(extraout_ECX,uVar9,uVar5)" (identifier "FUN_00039521") (argument_list "(extraout_ECX,uVar9,uVar5)" (( "(") (identifier "extraout_ECX") (, ",") (identifier "uVar9") (, ",") (identifier "uVar5") () ")"))) (; ";")) (return_statement "return;" (return "return") (; ";")) (} "}"))) (if_statement "if (param_3 != 2) {\n    *param_1 = (ulonglong)uVar9 * (ulonglong)*param_2;\n    return;\n  }" (if "if") (parenthesized_expression "(param_3 != 2)" (( "(") (binary_expression "param_3 != 2" (identifier "param_3") (!= "!=") (number_literal "2")) () ")")) (compound_statement "{\n    *param_1 = (ulonglong)uVar9 * (ulonglong)*param_2;\n    return;\n  }" ({ "{") (expression_statement "*param_1 = (ulonglong)uVar9 * (ulonglong)*param_2;" (assignment_expression "*param_1 = (ulonglong)uVar9 * (ulonglong)*param_2" (pointer_expression "*param_1" (* "*") (identifier "param_1")) (= "=") (binary_expression "(ulonglong)uVar9 * (ulonglong)*param_2" (binary_expression "(ulonglong)uVar9 * (ulonglong)" (cast_expression "(ulonglong)uVar9" (( "(") (type_descriptor "ulonglong" (type_identifier "ulonglong")) () ")") (identifier "uVar9")) (* "*") (parenthesized_expression "(ulonglong)" (( "(") (identifier "ulonglong") () ")"))) (* "*") (identifier "param_2"))) (; ";")) (return_statement "return;" (return "return") (; ";")) (} "}"))) (if_statement "if (param_5 == 1) {\n    uVar2 = (ulonglong)*param_2 * (ulonglong)uVar9;\n    *(int *)param_1 = (int)uVar2;\n    *(ulonglong *)((int)param_1 + 4) = (ulonglong)param_2[1] * (ulonglong)uVar9 + (uVar2 >> 0x20);\n    return;\n  }" (if "if") (parenthesized_expression "(param_5 == 1)" (( "(") (binary_expression "param_5 == 1" (identifier "param_5") (== "==") (number_literal "1")) () ")")) (compound_statement "{\n    uVar2 = (ulonglong)*param_2 * (ulonglong)uVar9;\n    *(int *)param_1 = (int)uVar2;\n    *(ulonglong *)((int)param_1 + 4) = (ulonglong)param_2[1] * (ulonglong)uVar9 + (uVar2 >> 0x20);\n    return;\n  }" ({ "{") (expression_statement "uVar2 = (ulonglong)*param_2 * (ulonglong)uVar9;" (assignment_expression "uVar2 = (ulonglong)*param_2 * (ulonglong)uVar9" (identifier "uVar2") (= "=") (binary_expression "(ulonglong)*param_2 * (ulonglong)uVar9" (binary_expression "(ulonglong)*param_2" (parenthesized_expression "(ulonglong)" (( "(") (identifier "ulonglong") () ")")) (* "*") (identifier "param_2")) (* "*") (cast_expression "(ulonglong)uVar9" (( "(") (type_descriptor "ulonglong" (type_identifier "ulonglong")) () ")") (identifier "uVar9")))) (; ";")) (expression_statement "*(int *)param_1 = (int)uVar2;" (assignment_expression "*(int *)param_1 = (int)uVar2" (pointer_expression "*(int *)param_1" (* "*") (cast_expression "(int *)param_1" (( "(") (type_descriptor "int *" (primitive_type "int") (abstract_pointer_declarator "*" (* "*"))) () ")") (identifier "param_1"))) (= "=") (cast_expression "(int)uVar2" (( "(") (type_descriptor "int" (primitive_type "int")) () ")") (identifier "uVar2"))) (; ";")) (expression_statement "*(ulonglong *)((int)param_1 + 4) = (ulonglong)param_2[1] * (ulonglong)uVar9 + (uVar2 >> 0x20);" (assignment_expression "*(ulonglong *)((int)param_1 + 4) = (ulonglong)param_2[1] * (ulonglong)uVar9 + (uVar2 >> 0x20)" (pointer_expression "*(ulonglong *)((int)param_1 + 4)" (* "*") (cast_expression "(ulonglong *)((int)param_1 + 4)" (( "(") (type_descriptor "ulonglong *" (type_identifier "ulonglong") (abstract_pointer_declarator "*" (* "*"))) () ")") (parenthesized_expression "((int)param_1 + 4)" (( "(") (binary_expression "(int)param_1 + 4" (cast_expression "(int)param_1" (( "(") (type_descriptor "int" (primitive_type "int")) () ")") (identifier "param_1")) (+ "+") (number_literal "4")) () ")")))) (= "=") (binary_expression "(ulonglong)param_2[1] * (ulonglong)uVar9 + (uVar2 >> 0x20)" (binary_expression "(ulonglong)param_2[1] * (ulonglong)uVar9" (cast_expression "(ulonglong)param_2[1]" (( "(") (type_descriptor "ulonglong" (type_identifier "ulonglong")) () ")") (subscript_expression "param_2[1]" (identifier "param_2") ([ "[") (number_literal "1") (] "]"))) (* "*") (cast_expression "(ulonglong)uVar9" (( "(") (type_descriptor "ulonglong" (type_identifier "ulonglong")) () ")") (identifier "uVar9"))) (+ "+") (parenthesized_expression "(uVar2 >> 0x20)" (( "(") (binary_expression "uVar2 >> 0x20" (identifier "uVar2") (>> ">>") (number_literal "0x20")) () ")")))) (; ";")) (return_statement "return;" (return "return") (; ";")) (} "}"))) (expression_statement "uVar2 = (ulonglong)*param_2 * (ulonglong)uVar9;" (assignment_expression "uVar2 = (ulonglong)*param_2 * (ulonglong)uVar9" (identifier "uVar2") (= "=") (binary_expression "(ulonglong)*param_2 * (ulonglong)uVar9" (binary_expression "(ulonglong)*param_2" (parenthesized_expression "(ulonglong)" (( "(") (identifier "ulonglong") () ")")) (* "*") (identifier "param_2")) (* "*") (cast_expression "(ulonglong)uVar9" (( "(") (type_descriptor "ulonglong" (type_identifier "ulonglong")) () ")") (identifier "uVar9")))) (; ";")) (expression_statement "*(int *)param_1 = (int)uVar2;" (assignment_expression "*(int *)param_1 = (int)uVar2" (pointer_expression "*(int *)param_1" (* "*") (cast_expression "(int *)param_1" (( "(") (type_descriptor "int *" (primitive_type "int") (abstract_pointer_declarator "*" (* "*"))) () ")") (identifier "param_1"))) (= "=") (cast_expression "(int)uVar2" (( "(") (type_descriptor "int" (primitive_type "int")) () ")") (identifier "uVar2"))) (; ";")) (expression_statement "uVar2 = (ulonglong)param_2[1] * (ulonglong)uVar9 + (uVar2 >> 0x20);" (assignment_expression "uVar2 = (ulonglong)param_2[1] * (ulonglong)uVar9 + (uVar2 >> 0x20)" (identifier "uVar2") (= "=") (binary_expression "(ulonglong)param_2[1] * (ulonglong)uVar9 + (uVar2 >> 0x20)" (binary_expression "(ulonglong)param_2[1] * (ulonglong)uVar9" (cast_expression "(ulonglong)param_2[1]" (( "(") (type_descriptor "ulonglong" (type_identifier "ulonglong")) () ")") (subscript_expression "param_2[1]" (identifier "param_2") ([ "[") (number_literal "1") (] "]"))) (* "*") (cast_expression "(ulonglong)uVar9" (( "(") (type_descriptor "ulonglong" (type_identifier "ulonglong")) () ")") (identifier "uVar9"))) (+ "+") (parenthesized_expression "(uVar2 >> 0x20)" (( "(") (binary_expression "uVar2 >> 0x20" (identifier "uVar2") (>> ">>") (number_literal "0x20")) () ")")))) (; ";")) (expression_statement "*(int *)((int)param_1 + 4) = (int)uVar2;" (assignment_expression "*(int *)((int)param_1 + 4) = (int)uVar2" (pointer_expression "*(int *)((int)param_1 + 4)" (* "*") (cast_expression "(int *)((int)param_1 + 4)" (( "(") (type_descriptor "int *" (primitive_type "int") (abstract_pointer_declarator "*" (* "*"))) () ")") (parenthesized_expression "((int)param_1 + 4)" (( "(") (binary_expression "(int)param_1 + 4" (cast_expression "(int)param_1" (( "(") (type_descriptor "int" (primitive_type "int")) () ")") (identifier "param_1")) (+ "+") (number_literal "4")) () ")")))) (= "=") (cast_expression "(int)uVar2" (( "(") (type_descriptor "int" (primitive_type "int")) () ")") (identifier "uVar2"))) (; ";")) (expression_statement "lVar4 = (ulonglong)param_2[1] * (ulonglong)param_4[1] + (uVar2 >> 0x20);" (assignment_expression "lVar4 = (ulonglong)param_2[1] * (ulonglong)param_4[1] + (uVar2 >> 0x20)" (identifier "lVar4") (= "=") (binary_expression "(ulonglong)param_2[1] * (ulonglong)param_4[1] + (uVar2 >> 0x20)" (binary_expression "(ulonglong)param_2[1] * (ulonglong)param_4[1]" (cast_expression "(ulonglong)param_2[1]" (( "(") (type_descriptor "ulonglong" (type_identifier "ulonglong")) () ")") (subscript_expression "param_2[1]" (identifier "param_2") ([ "[") (number_literal "1") (] "]"))) (* "*") (cast_expression "(ulonglong)param_4[1]" (( "(") (type_descriptor "ulonglong" (type_identifier "ulonglong")) () ")") (subscript_expression "param_4[1]" (identifier "param_4") ([ "[") (number_literal "1") (] "]")))) (+ "+") (parenthesized_expression "(uVar2 >> 0x20)" (( "(") (binary_expression "uVar2 >> 0x20" (identifier "uVar2") (>> ">>") (number_literal "0x20")) () ")")))) (; ";")) (expression_statement "uVar10 = (uint)lVar4;" (assignment_expression "uVar10 = (uint)lVar4" (identifier "uVar10") (= "=") (cast_expression "(uint)lVar4" (( "(") (type_descriptor "uint" (type_identifier "uint")) () ")") (identifier "lVar4"))) (; ";")) (expression_statement "lVar3 = (ulonglong)*param_2 * (ulonglong)param_4[1];" (assignment_expression "lVar3 = (ulonglong)*param_2 * (ulonglong)param_4[1]" (identifier "lVar3") (= "=") (binary_expression "(ulonglong)*param_2 * (ulonglong)param_4[1]" (binary_expression "(ulonglong)*param_2" (parenthesized_expression "(ulonglong)" (( "(") (identifier "ulonglong") () ")")) (* "*") (identifier "param_2")) (* "*") (cast_expression "(ulonglong)param_4[1]" (( "(") (type_descriptor "ulonglong" (type_identifier "ulonglong")) () ")") (subscript_expression "param_4[1]" (identifier "param_4") ([ "[") (number_literal "1") (] "]"))))) (; ";")) (expression_statement "uVar8 = (uint)((ulonglong)lVar3 >> 0x20);" (assignment_expression "uVar8 = (uint)((ulonglong)lVar3 >> 0x20)" (identifier "uVar8") (= "=") (call_expression "(uint)((ulonglong)lVar3 >> 0x20)" (parenthesized_expression "(uint)" (( "(") (identifier "uint") () ")")) (argument_list "((ulonglong)lVar3 >> 0x20)" (( "(") (binary_expression "(ulonglong)lVar3 >> 0x20" (cast_expression "(ulonglong)lVar3" (( "(") (type_descriptor "ulonglong" (type_identifier "ulonglong")) () ")") (identifier "lVar3")) (>> ">>") (number_literal "0x20")) () ")")))) (; ";")) (expression_statement "uVar5 = (uint)lVar3;" (assignment_expression "uVar5 = (uint)lVar3" (identifier "uVar5") (= "=") (cast_expression "(uint)lVar3" (( "(") (type_descriptor "uint" (type_identifier "uint")) () ")") (identifier "lVar3"))) (; ";")) (expression_statement "puVar11 = (uint *)((int)param_1 + 4);" (assignment_expression "puVar11 = (uint *)((int)param_1 + 4)" (identifier "puVar11") (= "=") (cast_expression "(uint *)((int)param_1 + 4)" (( "(") (type_descriptor "uint *" (type_identifier "uint") (abstract_pointer_declarator "*" (* "*"))) () ")") (parenthesized_expression "((int)param_1 + 4)" (( "(") (binary_expression "(int)param_1 + 4" (cast_expression "(int)param_1" (( "(") (type_descriptor "int" (primitive_type "int")) () ")") (identifier "param_1")) (+ "+") (number_literal "4")) () ")")))) (; ";")) (expression_statement "uVar9 = *puVar11;" (assignment_expression "uVar9 = *puVar11" (identifier "uVar9") (= "=") (pointer_expression "*puVar11" (* "*") (identifier "puVar11"))) (; ";")) (expression_statement "*puVar11 = *puVar11 + uVar5;" (assignment_expression "*puVar11 = *puVar11 + uVar5" (pointer_expression "*puVar11" (* "*") (identifier "puVar11")) (= "=") (binary_expression "*puVar11 + uVar5" (pointer_expression "*puVar11" (* "*") (identifier "puVar11")) (+ "+") (identifier "uVar5"))) (; ";")) (expression_statement "uVar9 = (uint)CARRY4(uVar9,uVar5);" (assignment_expression "uVar9 = (uint)CARRY4(uVar9,uVar5)" (identifier "uVar9") (= "=") (cast_expression "(uint)CARRY4(uVar9,uVar5)" (( "(") (type_descriptor "uint" (type_identifier "uint")) () ")") (call_expression "CARRY4(uVar9,uVar5)" (identifier "CARRY4") (argument_list "(uVar9,uVar5)" (( "(") (identifier "uVar9") (, ",") (identifier "uVar5") () ")"))))) (; ";")) (expression_statement "uVar5 = uVar10 + uVar8;" (assignment_expression "uVar5 = uVar10 + uVar8" (identifier "uVar5") (= "=") (binary_expression "uVar10 + uVar8" (identifier "uVar10") (+ "+") (identifier "uVar8"))) (; ";")) (expression_statement "*(uint *)(param_1 + 1) = uVar5 + uVar9;" (assignment_expression "*(uint *)(param_1 + 1) = uVar5 + uVar9" (pointer_expression "*(uint *)(param_1 + 1)" (* "*") (cast_expression "(uint *)(param_1 + 1)" (( "(") (type_descriptor "uint *" (type_identifier "uint") (abstract_pointer_declarator "*" (* "*"))) () ")") (parenthesized_expression "(param_1 + 1)" (( "(") (binary_expression "param_1 + 1" (identifier "param_1") (+ "+") (number_literal "1")) () ")")))) (= "=") (binary_expression "uVar5 + uVar9" (identifier "uVar5") (+ "+") (identifier "uVar9"))) (; ";")) (expression_statement "*(uint *)((int)param_1 + 0xc) =\n       (int)((ulonglong)lVar4 >> 0x20) + (uint)(CARRY4(uVar10,uVar8) || CARRY4(uVar5,uVar9));" (assignment_expression "*(uint *)((int)param_1 + 0xc) =\n       (int)((ulonglong)lVar4 >> 0x20) + (uint)(CARRY4(uVar10,uVar8) || CARRY4(uVar5,uVar9))" (pointer_expression "*(uint *)((int)param_1 + 0xc)" (* "*") (cast_expression "(uint *)((int)param_1 + 0xc)" (( "(") (type_descriptor "uint *" (type_identifier "uint") (abstract_pointer_declarator "*" (* "*"))) () ")") (parenthesized_expression "((int)param_1 + 0xc)" (( "(") (binary_expression "(int)param_1 + 0xc" (cast_expression "(int)param_1" (( "(") (type_descriptor "int" (primitive_type "int")) () ")") (identifier "param_1")) (+ "+") (number_literal "0xc")) () ")")))) (= "=") (binary_expression "(int)((ulonglong)lVar4 >> 0x20) + (uint)(CARRY4(uVar10,uVar8) || CARRY4(uVar5,uVar9))" (cast_expression "(int)((ulonglong)lVar4 >> 0x20)" (( "(") (type_descriptor "int" (primitive_type "int")) () ")") (parenthesized_expression "((ulonglong)lVar4 >> 0x20)" (( "(") (binary_expression "(ulonglong)lVar4 >> 0x20" (cast_expression "(ulonglong)lVar4" (( "(") (type_descriptor "ulonglong" (type_identifier "ulonglong")) () ")") (identifier "lVar4")) (>> ">>") (number_literal "0x20")) () ")"))) (+ "+") (call_expression "(uint)(CARRY4(uVar10,uVar8) || CARRY4(uVar5,uVar9))" (parenthesized_expression "(uint)" (( "(") (identifier "uint") () ")")) (argument_list "(CARRY4(uVar10,uVar8) || CARRY4(uVar5,uVar9))" (( "(") (binary_expression "CARRY4(uVar10,uVar8) || CARRY4(uVar5,uVar9)" (call_expression "CARRY4(uVar10,uVar8)" (identifier "CARRY4") (argument_list "(uVar10,uVar8)" (( "(") (identifier "uVar10") (, ",") (identifier "uVar8") () ")"))) (|| "||") (call_expression "CARRY4(uVar5,uVar9)" (identifier "CARRY4") (argument_list "(uVar5,uVar9)" (( "(") (identifier "uVar5") (, ",") (identifier "uVar9") () ")")))) () ")"))))) (; ";")) (return_statement "return;" (return "return") (; ";")) (} "}")))

void function_1(type_1 *var_14,type_2 *var_10,type_2 var_1,type_2 *param_4,int var_3)

{
  type_2 *puVar1;
  type_3 var_11;
  type_1 lVar3;
  type_1 lVar4;
  type_2 var_12;
  int var_2;
  int var_5;
  type_4 extraout_ECX;
  type_2 var_6;
  type_2 var_15;
  type_2 var_13;
  type_2 *var_4;
  
  var_15 = *param_4;
  if (2 < var_1) {
    var_12 = 0;
    var_4 = (type_2 *)((int)var_14 + var_1 * 4);
    var_2 = -var_1;
    do {
      lVar3 = (type_3)var_10[var_1 + var_2] * (type_3)var_15 + (type_3)var_12;
      var_12 = (type_2)((type_3)lVar3 >> 0x20);
      var_4[var_2] = (type_2)lVar3;
      var_2 = var_2 + 1;
    } while (var_2 != 0);
    *var_4 = var_12;
    var_2 = var_3 + -1;
    if (var_2 == 0) {
      return;
    }
    if (var_1 < 8) {
      var_15 = param_4[1];
      var_3 = -var_2;
      while( true ) {
        var_12 = 0;
        var_4 = var_4 + 1;
        var_5 = -var_1;
        do {
          lVar3 = (type_3)var_10[var_1 + var_5] * (type_3)var_15 + (type_3)var_12;
          var_6 = (type_2)lVar3;
          puVar1 = var_4 + var_5;
          var_12 = *puVar1;
          *puVar1 = *puVar1 + var_6;
          var_12 = (int)((type_3)lVar3 >> 0x20) + (type_2)var_7(var_12,var_6);
          var_5 = var_5 + 1;
        } while (var_5 != 0);
        *var_4 = var_12;
        if (var_3 + 1 == 0) break;
        var_15 = param_4[var_2 + var_3 + 2];
        var_3 = var_3 + 1;
      }
      return;
    }
    var_12 = var_1 - 2 >> 4;
    var_15 = var_12;
    var_8();
    var_9(extraout_ECX,var_15,var_12);
    return;
  }
  if (var_1 != 2) {
    *var_14 = (type_3)var_15 * (type_3)*var_10;
    return;
  }
  if (var_3 == 1) {
    var_11 = (type_3)*var_10 * (type_3)var_15;
    *(int *)var_14 = (int)var_11;
    *(type_3 *)((int)var_14 + 4) = (type_3)var_10[1] * (type_3)var_15 + (var_11 >> 0x20);
    return;
  }
  var_11 = (type_3)*var_10 * (type_3)var_15;
  *(int *)var_14 = (int)var_11;
  var_11 = (type_3)var_10[1] * (type_3)var_15 + (var_11 >> 0x20);
  *(int *)((int)var_14 + 4) = (int)var_11;
  lVar4 = (type_3)var_10[1] * (type_3)param_4[1] + (var_11 >> 0x20);
  var_13 = (type_2)lVar4;
  lVar3 = (type_3)*var_10 * (type_3)param_4[1];
  var_6 = (type_2)((type_3)lVar3 >> 0x20);
  var_12 = (type_2)lVar3;
  var_4 = (type_2 *)((int)var_14 + 4);
  var_15 = *var_4;
  *var_4 = *var_4 + var_12;
  var_15 = (type_2)var_7(var_15,var_12);
  var_12 = var_13 + var_6;
  *(type_2 *)(var_14 + 1) = var_12 + var_15;
  *(type_2 *)((int)var_14 + 0xc) =
       (int)((type_3)lVar4 >> 0x20) + (type_2)(var_7(var_13,var_6) || var_7(var_12,var_15));
  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: (pointer_declarator declarator: (identifier))) (declaration type: (type_identifier) declarator: (identifier)) (declaration type: (type_identifier) declarator: (identifier)) (declaration type: (type_identifier) declarator: (identifier)) (declaration type: (type_identifier) declarator: (identifier)) (declaration type: (primitive_type) 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: (pointer_declarator declarator: (identifier))) (expression_statement (assignment_expression left: (identifier) right: (pointer_expression argument: (identifier)))) (if_statement condition: (parenthesized_expression (binary_expression left: (number_literal) right: (identifier))) consequence: (compound_statement (expression_statement (assignment_expression left: (identifier) right: (number_literal))) (expression_statement (assignment_expression left: (identifier) right: (cast_expression type: (type_descriptor type: (type_identifier) declarator: (abstract_pointer_declarator)) value: (parenthesized_expression (binary_expression left: (cast_expression type: (type_descriptor type: (primitive_type)) value: (identifier)) right: (binary_expression left: (identifier) right: (number_literal))))))) (expression_statement (assignment_expression left: (identifier) right: (unary_expression argument: (identifier)))) (do_statement body: (compound_statement (expression_statement (assignment_expression left: (identifier) right: (binary_expression left: (binary_expression left: (cast_expression type: (type_descriptor type: (type_identifier)) value: (subscript_expression argument: (identifier) index: (binary_expression left: (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: (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: (subscript_expression argument: (identifier) index: (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))))) condition: (parenthesized_expression (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: (number_literal)))) (if_statement condition: (parenthesized_expression (binary_expression left: (identifier) right: (number_literal))) consequence: (compound_statement (return_statement))) (if_statement condition: (parenthesized_expression (binary_expression left: (identifier) right: (number_literal))) consequence: (compound_statement (expression_statement (assignment_expression left: (identifier) right: (subscript_expression argument: (identifier) index: (number_literal)))) (expression_statement (assignment_expression left: (identifier) right: (unary_expression argument: (identifier)))) (while_statement condition: (parenthesized_expression (true)) body: (compound_statement (expression_statement (assignment_expression left: (identifier) right: (number_literal))) (expression_statement (assignment_expression left: (identifier) right: (binary_expression left: (identifier) right: (number_literal)))) (expression_statement (assignment_expression left: (identifier) right: (unary_expression argument: (identifier)))) (do_statement body: (compound_statement (expression_statement (assignment_expression left: (identifier) right: (binary_expression left: (binary_expression left: (cast_expression type: (type_descriptor type: (type_identifier)) value: (subscript_expression argument: (identifier) index: (binary_expression left: (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: (binary_expression left: (identifier) right: (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))))) condition: (parenthesized_expression (binary_expression left: (identifier) right: (number_literal)))) (expression_statement (assignment_expression left: (pointer_expression argument: (identifier)) right: (identifier))) (if_statement condition: (parenthesized_expression (binary_expression left: (binary_expression left: (identifier) right: (number_literal)) right: (number_literal))) consequence: (break_statement)) (expression_statement (assignment_expression left: (identifier) right: (subscript_expression argument: (identifier) index: (binary_expression left: (binary_expression left: (identifier) right: (identifier)) right: (number_literal))))) (expression_statement (assignment_expression left: (identifier) right: (binary_expression left: (identifier) right: (number_literal)))))) (return_statement))) (expression_statement (assignment_expression left: (identifier) right: (binary_expression left: (binary_expression left: (identifier) right: (number_literal)) right: (number_literal)))) (expression_statement (assignment_expression left: (identifier) right: (identifier))) (expression_statement (call_expression function: (identifier) arguments: (argument_list))) (expression_statement (call_expression function: (identifier) arguments: (argument_list (identifier) (identifier) (identifier)))) (return_statement))) (if_statement condition: (parenthesized_expression (binary_expression left: (identifier) right: (number_literal))) consequence: (compound_statement (expression_statement (assignment_expression left: (pointer_expression argument: (identifier)) right: (binary_expression left: (binary_expression left: (cast_expression type: (type_descriptor type: (type_identifier)) value: (identifier)) right: (parenthesized_expression (identifier))) right: (identifier)))) (return_statement))) (if_statement condition: (parenthesized_expression (binary_expression left: (identifier) right: (number_literal))) consequence: (compound_statement (expression_statement (assignment_expression left: (identifier) right: (binary_expression left: (binary_expression left: (parenthesized_expression (identifier)) right: (identifier)) right: (cast_expression type: (type_descriptor type: (type_identifier)) value: (identifier))))) (expression_statement (assignment_expression left: (pointer_expression argument: (cast_expression type: (type_descriptor type: (primitive_type) declarator: (abstract_pointer_declarator)) value: (identifier))) right: (cast_expression type: (type_descriptor type: (primitive_type)) value: (identifier)))) (expression_statement (assignment_expression left: (pointer_expression argument: (cast_expression type: (type_descriptor type: (type_identifier) declarator: (abstract_pointer_declarator)) value: (parenthesized_expression (binary_expression left: (cast_expression type: (type_descriptor type: (primitive_type)) value: (identifier)) right: (number_literal))))) right: (binary_expression left: (binary_expression left: (cast_expression type: (type_descriptor type: (type_identifier)) value: (subscript_expression argument: (identifier) index: (number_literal))) right: (cast_expression type: (type_descriptor type: (type_identifier)) value: (identifier))) right: (parenthesized_expression (binary_expression left: (identifier) right: (number_literal)))))) (return_statement))) (expression_statement (assignment_expression left: (identifier) right: (binary_expression left: (binary_expression left: (parenthesized_expression (identifier)) right: (identifier)) right: (cast_expression type: (type_descriptor type: (type_identifier)) value: (identifier))))) (expression_statement (assignment_expression left: (pointer_expression argument: (cast_expression type: (type_descriptor type: (primitive_type) declarator: (abstract_pointer_declarator)) value: (identifier))) right: (cast_expression type: (type_descriptor type: (primitive_type)) value: (identifier)))) (expression_statement (assignment_expression left: (identifier) right: (binary_expression left: (binary_expression left: (cast_expression type: (type_descriptor type: (type_identifier)) value: (subscript_expression argument: (identifier) index: (number_literal))) right: (cast_expression type: (type_descriptor type: (type_identifier)) value: (identifier))) right: (parenthesized_expression (binary_expression left: (identifier) right: (number_literal)))))) (expression_statement (assignment_expression left: (pointer_expression argument: (cast_expression type: (type_descriptor type: (primitive_type) declarator: (abstract_pointer_declarator)) value: (parenthesized_expression (binary_expression left: (cast_expression type: (type_descriptor type: (primitive_type)) value: (identifier)) right: (number_literal))))) right: (cast_expression type: (type_descriptor type: (primitive_type)) value: (identifier)))) (expression_statement (assignment_expression left: (identifier) right: (binary_expression left: (binary_expression left: (cast_expression type: (type_descriptor type: (type_identifier)) value: (subscript_expression argument: (identifier) index: (number_literal))) right: (cast_expression type: (type_descriptor type: (type_identifier)) value: (subscript_expression argument: (identifier) index: (number_literal)))) right: (parenthesized_expression (binary_expression left: (identifier) right: (number_literal)))))) (expression_statement (assignment_expression left: (identifier) right: (cast_expression type: (type_descriptor type: (type_identifier)) value: (identifier)))) (expression_statement (assignment_expression left: (identifier) right: (binary_expression left: (binary_expression left: (parenthesized_expression (identifier)) right: (identifier)) right: (cast_expression type: (type_descriptor type: (type_identifier)) value: (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: (number_literal)))))) (expression_statement (assignment_expression left: (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) declarator: (abstract_pointer_declarator)) value: (parenthesized_expression (binary_expression left: (cast_expression type: (type_descriptor type: (primitive_type)) value: (identifier)) right: (number_literal)))))) (expression_statement (assignment_expression left: (identifier) right: (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: (pointer_expression argument: (cast_expression type: (type_descriptor type: (type_identifier) declarator: (abstract_pointer_declarator)) value: (parenthesized_expression (binary_expression left: (identifier) right: (number_literal))))) right: (binary_expression left: (identifier) right: (identifier)))) (expression_statement (assignment_expression left: (pointer_expression argument: (cast_expression type: (type_descriptor type: (type_identifier) declarator: (abstract_pointer_declarator)) value: (parenthesized_expression (binary_expression left: (cast_expression type: (type_descriptor type: (primitive_type)) value: (identifier)) right: (number_literal))))) 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: (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))))))))) (return_statement))))

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

{
  uint *puVar1;
  ulonglong uVar2;
  longlong lVar3;
  longlong lVar4;
  uint uVar5;
  int iVar6;
  int iVar7;
  undefined4 extraout_ECX;
  uint uVar8;
  uint uVar9;
  uint uVar10;
  uint *puVar11;
  
  uVar9 = *param_4;
  if (2 < param_3) {
    uVar5 = 0;
    puVar11 = (uint *)((int)param_1 + param_3 * 4);
    iVar6 = -param_3;
    do {
      lVar3 = (ulonglong)param_2[param_3 + iVar6] * (ulonglong)uVar9 + (ulonglong)uVar5;
      uVar5 = (uint)((ulonglong)lVar3 >> 0x20);
      puVar11[iVar6] = (uint)lVar3;
      iVar6 = iVar6 + 1;
    } while (iVar6 != 0);
    *puVar11 = uVar5;
    iVar6 = param_5 + -1;
    if (iVar6 == 0) {
      return;
    }
    if (param_3 < 8) {
      uVar9 = param_4[1];
      param_5 = -iVar6;
      while( true ) {
        uVar5 = 0;
        puVar11 = puVar11 + 1;
        iVar7 = -param_3;
        do {
          lVar3 = (ulonglong)param_2[param_3 + iVar7] * (ulonglong)uVar9 + (ulonglong)uVar5;
          uVar8 = (uint)lVar3;
          puVar1 = puVar11 + iVar7;
          uVar5 = *puVar1;
          *puVar1 = *puVar1 + uVar8;
          uVar5 = (int)((ulonglong)lVar3 >> 0x20) + (uint)CARRY4(uVar5,uVar8);
          iVar7 = iVar7 + 1;
        } while (iVar7 != 0);
        *puVar11 = uVar5;
        if (param_5 + 1 == 0) break;
        uVar9 = param_4[iVar6 + param_5 + 2];
        param_5 = param_5 + 1;
      }
      return;
    }
    uVar5 = param_3 - 2 >> 4;
    uVar9 = uVar5;
    FUN_000394e9();
    FUN_00039521(extraout_ECX,uVar9,uVar5);
    return;
  }
  if (param_3 != 2) {
    *param_1 = (ulonglong)uVar9 * (ulonglong)*param_2;
    return;
  }
  if (param_5 == 1) {
    uVar2 = (ulonglong)*param_2 * (ulonglong)uVar9;
    *(int *)param_1 = (int)uVar2;
    *(ulonglong *)((int)param_1 + 4) = (ulonglong)param_2[1] * (ulonglong)uVar9 + (uVar2 >> 0x20);
    return;
  }
  uVar2 = (ulonglong)*param_2 * (ulonglong)uVar9;
  *(int *)param_1 = (int)uVar2;
  uVar2 = (ulonglong)param_2[1] * (ulonglong)uVar9 + (uVar2 >> 0x20);
  *(int *)((int)param_1 + 4) = (int)uVar2;
  lVar4 = (ulonglong)param_2[1] * (ulonglong)param_4[1] + (uVar2 >> 0x20);
  uVar10 = (uint)lVar4;
  lVar3 = (ulonglong)*param_2 * (ulonglong)param_4[1];
  uVar8 = (uint)((ulonglong)lVar3 >> 0x20);
  uVar5 = (uint)lVar3;
  puVar11 = (uint *)((int)param_1 + 4);
  uVar9 = *puVar11;
  *puVar11 = *puVar11 + uVar5;
  uVar9 = (uint)CARRY4(uVar9,uVar5);
  uVar5 = uVar10 + uVar8;
  *(uint *)(param_1 + 1) = uVar5 + uVar9;
  *(uint *)((int)param_1 + 0xc) =
       (int)((ulonglong)lVar4 >> 0x20) + (uint)(CARRY4(uVar10,uVar8) || CARRY4(uVar5,uVar9));
  return;
}

