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

{
  longlong lVar1;
  ulonglong uVar2;
  uint uVar3;
  uint uVar4;
  uint uVar5;
  uint uVar6;
  
  uVar6 = 0;
  if (param_3 < 5) {
    do {
      uVar3 = *param_2;
      param_2 = param_2 + 1;
      lVar1 = (ulonglong)uVar3 * (ulonglong)param_4 + (ulonglong)uVar6;
      uVar6 = (uint)((ulonglong)lVar1 >> 0x20);
      *param_1 = (int)lVar1;
      param_1 = param_1 + 1;
      param_3 = param_3 - 1;
    } while (param_3 != 0);
    return uVar6;
  }
  uVar3 = *param_2;
  uVar5 = -(param_3 - 4);
  do {
    uVar4 = uVar5;
    uVar2 = (ulonglong)uVar3 * (ulonglong)param_4 + (ulonglong)uVar6;
    param_1[param_3 + (uVar4 - 4)] = (int)uVar2;
    uVar2 = (ulonglong)param_2[param_3 + (uVar4 - 3)] * (ulonglong)param_4 + (uVar2 >> 0x20);
    param_1[param_3 + (uVar4 - 3)] = (int)uVar2;
    uVar2 = (ulonglong)param_2[param_3 + (uVar4 - 2)] * (ulonglong)param_4 + (uVar2 >> 0x20);
    param_1[param_3 + (uVar4 - 2)] = (int)uVar2;
    lVar1 = (ulonglong)param_2[param_3 + (uVar4 - 1)] * (ulonglong)param_4 + (uVar2 >> 0x20);
    uVar6 = (uint)((ulonglong)lVar1 >> 0x20);
    param_1[param_3 + (uVar4 - 1)] = (int)lVar1;
    uVar3 = param_2[param_3 + uVar4];
    uVar5 = uVar4 + 4;
  } while ((int)uVar5 < 0);
  if ((uVar5 & 2) == 0) {
    uVar2 = (ulonglong)uVar3 * (ulonglong)param_4 + (ulonglong)uVar6;
    param_1[param_3 + uVar4] = (int)uVar2;
    lVar1 = (ulonglong)param_2[param_3 + uVar4 + 1] * (ulonglong)param_4 + (uVar2 >> 0x20);
    uVar6 = (uint)((ulonglong)lVar1 >> 0x20);
    param_1[param_3 + uVar4 + 1] = (int)lVar1;
    uVar3 = param_2[param_3 + uVar4 + 2];
    uVar5 = uVar4 + 6;
  }
  if ((uVar5 & 1) == 0) {
    lVar1 = (ulonglong)uVar3 * (ulonglong)param_4 + (ulonglong)uVar6;
    uVar6 = (uint)((ulonglong)lVar1 >> 0x20);
    param_1[param_3 - 2] = (int)lVar1;
    uVar3 = param_2[param_3 - 1];
  }
  lVar1 = (ulonglong)uVar3 * (ulonglong)param_4 + (ulonglong)uVar6;
  param_1[param_3 - 1] = (int)lVar1;
  return (uint)((ulonglong)lVar1 >> 0x20);
}



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

{
  longlong lVar1;
  ulonglong uVar2;
  uint uVar3;
  uint uVar4;
  uint uVar5;
  uint uVar6;
  
  uVar6 = 0;
  if (param_3 < 5) {
    do {
      uVar3 = *param_2;
      param_2 = param_2 + 1;
      lVar1 = (ulonglong)uVar3 * (ulonglong)param_4 + (ulonglong)uVar6;
      uVar6 = (uint)((ulonglong)lVar1 >> 0x20);
      *param_1 = (int)lVar1;
      param_1 = param_1 + 1;
      param_3 = param_3 - 1;
    } while (param_3 != 0);
    return uVar6;
  }
  uVar3 = *param_2;
  uVar5 = -(param_3 - 4);
  do {
    uVar4 = uVar5;
    uVar2 = (ulonglong)uVar3 * (ulonglong)param_4 + (ulonglong)uVar6;
    param_1[param_3 + (uVar4 - 4)] = (int)uVar2;
    uVar2 = (ulonglong)param_2[param_3 + (uVar4 - 3)] * (ulonglong)param_4 + (uVar2 >> 0x20);
    param_1[param_3 + (uVar4 - 3)] = (int)uVar2;
    uVar2 = (ulonglong)param_2[param_3 + (uVar4 - 2)] * (ulonglong)param_4 + (uVar2 >> 0x20);
    param_1[param_3 + (uVar4 - 2)] = (int)uVar2;
    lVar1 = (ulonglong)param_2[param_3 + (uVar4 - 1)] * (ulonglong)param_4 + (uVar2 >> 0x20);
    uVar6 = (uint)((ulonglong)lVar1 >> 0x20);
    param_1[param_3 + (uVar4 - 1)] = (int)lVar1;
    uVar3 = param_2[param_3 + uVar4];
    uVar5 = uVar4 + 4;
  } while ((int)uVar5 < 0);
  if ((uVar5 & 2) == 0) {
    uVar2 = (ulonglong)uVar3 * (ulonglong)param_4 + (ulonglong)uVar6;
    param_1[param_3 + uVar4] = (int)uVar2;
    lVar1 = (ulonglong)param_2[param_3 + uVar4 + 1] * (ulonglong)param_4 + (uVar2 >> 0x20);
    uVar6 = (uint)((ulonglong)lVar1 >> 0x20);
    param_1[param_3 + uVar4 + 1] = (int)lVar1;
    uVar3 = param_2[param_3 + uVar4 + 2];
    uVar5 = uVar4 + 6;
  }
  if ((uVar5 & 1) == 0) {
    lVar1 = (ulonglong)uVar3 * (ulonglong)param_4 + (ulonglong)uVar6;
    uVar6 = (uint)((ulonglong)lVar1 >> 0x20);
    param_1[param_3 - 2] = (int)lVar1;
    uVar3 = param_2[param_3 - 1];
  }
  lVar1 = (ulonglong)uVar3 * (ulonglong)param_4 + (ulonglong)uVar6;
  param_1[param_3 - 1] = (int)lVar1;
  return (uint)((ulonglong)lVar1 >> 0x20);
}


PUSH ESI
XOR ESI,ESI
MOV ECX,dword ptr [ESP + 0x10]
PUSH EBX
MOV EBX,dword ptr [ESP + 0x10]
PUSH EDI
MOV EDI,dword ptr [ESP + 0x10]
PUSH EBP
CMP ECX,0x5
MOV EBP,dword ptr [ESP + 0x20]
JNC 0x000386a0
MOV EAX,dword ptr [EBX]
ADD EBX,0x4
MUL EBP
ADD EAX,ESI
MOV ESI,0x0
ADC ESI,EDX
MOV dword ptr [EDI],EAX
ADD EDI,0x4
LOOP 0x00038682
POP EBP
POP EDI
POP EBX
MOV EAX,ESI
POP ESI
RET
MOV EAX,dword ptr [EBX]
LEA EBX,[EBX + ECX*0x4 + -0x10]
LEA EDI,[EDI + ECX*0x4 + -0x10]
SUB ECX,0x4
NEG ECX
NOP
MUL EBP
ADD EAX,ESI
MOV ESI,0x0
ADC ESI,EDX
MOV dword ptr [EDI + ECX*0x4],EAX
MOV EAX,dword ptr [EBX + ECX*0x4 + 0x4]
MUL EBP
ADD EAX,ESI
MOV ESI,0x0
ADC ESI,EDX
MOV dword ptr [EDI + ECX*0x4 + 0x4],EAX
MOV EAX,dword ptr [EBX + ECX*0x4 + 0x8]
MUL EBP
ADD EAX,ESI
MOV ESI,0x0
ADC ESI,EDX
MOV dword ptr [EDI + ECX*0x4 + 0x8],EAX
MOV EAX,dword ptr [EBX + ECX*0x4 + 0xc]
MUL EBP
ADD EAX,ESI
MOV ESI,0x0
ADC ESI,EDX
MOV dword ptr [EDI + ECX*0x4 + 0xc],EAX
MOV EAX,dword ptr [EBX + ECX*0x4 + 0x10]
ADD ECX,0x4
JS 0x000386b0
TEST CL,0x2
JNZ 0x0003872d
MUL EBP
ADD EAX,ESI
MOV ESI,0x0
ADC ESI,EDX
MOV dword ptr [EDI + ECX*0x4],EAX
MOV EAX,dword ptr [EBX + ECX*0x4 + 0x4]
MUL EBP
ADD EAX,ESI
MOV ESI,0x0
ADC ESI,EDX
MOV dword ptr [EDI + ECX*0x4 + 0x4],EAX
MOV EAX,dword ptr [EBX + ECX*0x4 + 0x8]
ADD ECX,0x2
TEST CL,0x1
JNZ 0x00038743
MUL EBP
ADD EAX,ESI
MOV ESI,0x0
ADC ESI,EDX
MOV dword ptr [EDI + 0x8],EAX
MOV EAX,dword ptr [EBX + 0xc]
MUL EBP
ADD EAX,ESI
POP EBP
ADC EDX,0x0
MOV dword ptr [EDI + 0xc],EAX
POP EDI
POP EBX
MOV EAX,EDX
POP ESI
RET
(translation_unit "uint __gmpn_mul_1_k6(undefined4 *param_1,uint *param_2,uint param_3,uint param_4)\n\n{\n  longlong lVar1;\n  ulonglong uVar2;\n  uint uVar3;\n  uint uVar4;\n  uint uVar5;\n  uint uVar6;\n  \n  uVar6 = 0;\n  if (param_3 < 5) {\n    do {\n      uVar3 = *param_2;\n      param_2 = param_2 + 1;\n      lVar1 = (ulonglong)uVar3 * (ulonglong)param_4 + (ulonglong)uVar6;\n      uVar6 = (uint)((ulonglong)lVar1 >> 0x20);\n      *param_1 = (int)lVar1;\n      param_1 = param_1 + 1;\n      param_3 = param_3 - 1;\n    } while (param_3 != 0);\n    return uVar6;\n  }\n  uVar3 = *param_2;\n  uVar5 = -(param_3 - 4);\n  do {\n    uVar4 = uVar5;\n    uVar2 = (ulonglong)uVar3 * (ulonglong)param_4 + (ulonglong)uVar6;\n    param_1[param_3 + (uVar4 - 4)] = (int)uVar2;\n    uVar2 = (ulonglong)param_2[param_3 + (uVar4 - 3)] * (ulonglong)param_4 + (uVar2 >> 0x20);\n    param_1[param_3 + (uVar4 - 3)] = (int)uVar2;\n    uVar2 = (ulonglong)param_2[param_3 + (uVar4 - 2)] * (ulonglong)param_4 + (uVar2 >> 0x20);\n    param_1[param_3 + (uVar4 - 2)] = (int)uVar2;\n    lVar1 = (ulonglong)param_2[param_3 + (uVar4 - 1)] * (ulonglong)param_4 + (uVar2 >> 0x20);\n    uVar6 = (uint)((ulonglong)lVar1 >> 0x20);\n    param_1[param_3 + (uVar4 - 1)] = (int)lVar1;\n    uVar3 = param_2[param_3 + uVar4];\n    uVar5 = uVar4 + 4;\n  } while ((int)uVar5 < 0);\n  if ((uVar5 & 2) == 0) {\n    uVar2 = (ulonglong)uVar3 * (ulonglong)param_4 + (ulonglong)uVar6;\n    param_1[param_3 + uVar4] = (int)uVar2;\n    lVar1 = (ulonglong)param_2[param_3 + uVar4 + 1] * (ulonglong)param_4 + (uVar2 >> 0x20);\n    uVar6 = (uint)((ulonglong)lVar1 >> 0x20);\n    param_1[param_3 + uVar4 + 1] = (int)lVar1;\n    uVar3 = param_2[param_3 + uVar4 + 2];\n    uVar5 = uVar4 + 6;\n  }\n  if ((uVar5 & 1) == 0) {\n    lVar1 = (ulonglong)uVar3 * (ulonglong)param_4 + (ulonglong)uVar6;\n    uVar6 = (uint)((ulonglong)lVar1 >> 0x20);\n    param_1[param_3 - 2] = (int)lVar1;\n    uVar3 = param_2[param_3 - 1];\n  }\n  lVar1 = (ulonglong)uVar3 * (ulonglong)param_4 + (ulonglong)uVar6;\n  param_1[param_3 - 1] = (int)lVar1;\n  return (uint)((ulonglong)lVar1 >> 0x20);\n}\n\n" (function_definition "uint __gmpn_mul_1_k6(undefined4 *param_1,uint *param_2,uint param_3,uint param_4)\n\n{\n  longlong lVar1;\n  ulonglong uVar2;\n  uint uVar3;\n  uint uVar4;\n  uint uVar5;\n  uint uVar6;\n  \n  uVar6 = 0;\n  if (param_3 < 5) {\n    do {\n      uVar3 = *param_2;\n      param_2 = param_2 + 1;\n      lVar1 = (ulonglong)uVar3 * (ulonglong)param_4 + (ulonglong)uVar6;\n      uVar6 = (uint)((ulonglong)lVar1 >> 0x20);\n      *param_1 = (int)lVar1;\n      param_1 = param_1 + 1;\n      param_3 = param_3 - 1;\n    } while (param_3 != 0);\n    return uVar6;\n  }\n  uVar3 = *param_2;\n  uVar5 = -(param_3 - 4);\n  do {\n    uVar4 = uVar5;\n    uVar2 = (ulonglong)uVar3 * (ulonglong)param_4 + (ulonglong)uVar6;\n    param_1[param_3 + (uVar4 - 4)] = (int)uVar2;\n    uVar2 = (ulonglong)param_2[param_3 + (uVar4 - 3)] * (ulonglong)param_4 + (uVar2 >> 0x20);\n    param_1[param_3 + (uVar4 - 3)] = (int)uVar2;\n    uVar2 = (ulonglong)param_2[param_3 + (uVar4 - 2)] * (ulonglong)param_4 + (uVar2 >> 0x20);\n    param_1[param_3 + (uVar4 - 2)] = (int)uVar2;\n    lVar1 = (ulonglong)param_2[param_3 + (uVar4 - 1)] * (ulonglong)param_4 + (uVar2 >> 0x20);\n    uVar6 = (uint)((ulonglong)lVar1 >> 0x20);\n    param_1[param_3 + (uVar4 - 1)] = (int)lVar1;\n    uVar3 = param_2[param_3 + uVar4];\n    uVar5 = uVar4 + 4;\n  } while ((int)uVar5 < 0);\n  if ((uVar5 & 2) == 0) {\n    uVar2 = (ulonglong)uVar3 * (ulonglong)param_4 + (ulonglong)uVar6;\n    param_1[param_3 + uVar4] = (int)uVar2;\n    lVar1 = (ulonglong)param_2[param_3 + uVar4 + 1] * (ulonglong)param_4 + (uVar2 >> 0x20);\n    uVar6 = (uint)((ulonglong)lVar1 >> 0x20);\n    param_1[param_3 + uVar4 + 1] = (int)lVar1;\n    uVar3 = param_2[param_3 + uVar4 + 2];\n    uVar5 = uVar4 + 6;\n  }\n  if ((uVar5 & 1) == 0) {\n    lVar1 = (ulonglong)uVar3 * (ulonglong)param_4 + (ulonglong)uVar6;\n    uVar6 = (uint)((ulonglong)lVar1 >> 0x20);\n    param_1[param_3 - 2] = (int)lVar1;\n    uVar3 = param_2[param_3 - 1];\n  }\n  lVar1 = (ulonglong)uVar3 * (ulonglong)param_4 + (ulonglong)uVar6;\n  param_1[param_3 - 1] = (int)lVar1;\n  return (uint)((ulonglong)lVar1 >> 0x20);\n}" type_identifier (function_declarator "__gmpn_mul_1_k6(undefined4 *param_1,uint *param_2,uint param_3,uint param_4)" identifier (parameter_list "(undefined4 *param_1,uint *param_2,uint param_3,uint param_4)" ( (parameter_declaration "undefined4 *param_1" type_identifier (pointer_declarator "*param_1" * identifier)) , (parameter_declaration "uint *param_2" type_identifier (pointer_declarator "*param_2" * identifier)) , (parameter_declaration "uint param_3" type_identifier identifier) , (parameter_declaration "uint param_4" type_identifier identifier) ))) (compound_statement "{\n  longlong lVar1;\n  ulonglong uVar2;\n  uint uVar3;\n  uint uVar4;\n  uint uVar5;\n  uint uVar6;\n  \n  uVar6 = 0;\n  if (param_3 < 5) {\n    do {\n      uVar3 = *param_2;\n      param_2 = param_2 + 1;\n      lVar1 = (ulonglong)uVar3 * (ulonglong)param_4 + (ulonglong)uVar6;\n      uVar6 = (uint)((ulonglong)lVar1 >> 0x20);\n      *param_1 = (int)lVar1;\n      param_1 = param_1 + 1;\n      param_3 = param_3 - 1;\n    } while (param_3 != 0);\n    return uVar6;\n  }\n  uVar3 = *param_2;\n  uVar5 = -(param_3 - 4);\n  do {\n    uVar4 = uVar5;\n    uVar2 = (ulonglong)uVar3 * (ulonglong)param_4 + (ulonglong)uVar6;\n    param_1[param_3 + (uVar4 - 4)] = (int)uVar2;\n    uVar2 = (ulonglong)param_2[param_3 + (uVar4 - 3)] * (ulonglong)param_4 + (uVar2 >> 0x20);\n    param_1[param_3 + (uVar4 - 3)] = (int)uVar2;\n    uVar2 = (ulonglong)param_2[param_3 + (uVar4 - 2)] * (ulonglong)param_4 + (uVar2 >> 0x20);\n    param_1[param_3 + (uVar4 - 2)] = (int)uVar2;\n    lVar1 = (ulonglong)param_2[param_3 + (uVar4 - 1)] * (ulonglong)param_4 + (uVar2 >> 0x20);\n    uVar6 = (uint)((ulonglong)lVar1 >> 0x20);\n    param_1[param_3 + (uVar4 - 1)] = (int)lVar1;\n    uVar3 = param_2[param_3 + uVar4];\n    uVar5 = uVar4 + 4;\n  } while ((int)uVar5 < 0);\n  if ((uVar5 & 2) == 0) {\n    uVar2 = (ulonglong)uVar3 * (ulonglong)param_4 + (ulonglong)uVar6;\n    param_1[param_3 + uVar4] = (int)uVar2;\n    lVar1 = (ulonglong)param_2[param_3 + uVar4 + 1] * (ulonglong)param_4 + (uVar2 >> 0x20);\n    uVar6 = (uint)((ulonglong)lVar1 >> 0x20);\n    param_1[param_3 + uVar4 + 1] = (int)lVar1;\n    uVar3 = param_2[param_3 + uVar4 + 2];\n    uVar5 = uVar4 + 6;\n  }\n  if ((uVar5 & 1) == 0) {\n    lVar1 = (ulonglong)uVar3 * (ulonglong)param_4 + (ulonglong)uVar6;\n    uVar6 = (uint)((ulonglong)lVar1 >> 0x20);\n    param_1[param_3 - 2] = (int)lVar1;\n    uVar3 = param_2[param_3 - 1];\n  }\n  lVar1 = (ulonglong)uVar3 * (ulonglong)param_4 + (ulonglong)uVar6;\n  param_1[param_3 - 1] = (int)lVar1;\n  return (uint)((ulonglong)lVar1 >> 0x20);\n}" { (declaration "longlong lVar1;" type_identifier identifier ;) (declaration "ulonglong uVar2;" type_identifier identifier ;) (declaration "uint uVar3;" type_identifier identifier ;) (declaration "uint uVar4;" type_identifier identifier ;) (declaration "uint uVar5;" type_identifier identifier ;) (declaration "uint uVar6;" type_identifier identifier ;) (expression_statement "uVar6 = 0;" (assignment_expression "uVar6 = 0" identifier = number_literal) ;) (if_statement "if (param_3 < 5) {\n    do {\n      uVar3 = *param_2;\n      param_2 = param_2 + 1;\n      lVar1 = (ulonglong)uVar3 * (ulonglong)param_4 + (ulonglong)uVar6;\n      uVar6 = (uint)((ulonglong)lVar1 >> 0x20);\n      *param_1 = (int)lVar1;\n      param_1 = param_1 + 1;\n      param_3 = param_3 - 1;\n    } while (param_3 != 0);\n    return uVar6;\n  }" if (parenthesized_expression "(param_3 < 5)" ( (binary_expression "param_3 < 5" identifier < number_literal) )) (compound_statement "{\n    do {\n      uVar3 = *param_2;\n      param_2 = param_2 + 1;\n      lVar1 = (ulonglong)uVar3 * (ulonglong)param_4 + (ulonglong)uVar6;\n      uVar6 = (uint)((ulonglong)lVar1 >> 0x20);\n      *param_1 = (int)lVar1;\n      param_1 = param_1 + 1;\n      param_3 = param_3 - 1;\n    } while (param_3 != 0);\n    return uVar6;\n  }" { (do_statement "do {\n      uVar3 = *param_2;\n      param_2 = param_2 + 1;\n      lVar1 = (ulonglong)uVar3 * (ulonglong)param_4 + (ulonglong)uVar6;\n      uVar6 = (uint)((ulonglong)lVar1 >> 0x20);\n      *param_1 = (int)lVar1;\n      param_1 = param_1 + 1;\n      param_3 = param_3 - 1;\n    } while (param_3 != 0);" do (compound_statement "{\n      uVar3 = *param_2;\n      param_2 = param_2 + 1;\n      lVar1 = (ulonglong)uVar3 * (ulonglong)param_4 + (ulonglong)uVar6;\n      uVar6 = (uint)((ulonglong)lVar1 >> 0x20);\n      *param_1 = (int)lVar1;\n      param_1 = param_1 + 1;\n      param_3 = param_3 - 1;\n    }" { (expression_statement "uVar3 = *param_2;" (assignment_expression "uVar3 = *param_2" identifier = (pointer_expression "*param_2" * identifier)) ;) (expression_statement "param_2 = param_2 + 1;" (assignment_expression "param_2 = param_2 + 1" identifier = (binary_expression "param_2 + 1" identifier + number_literal)) ;) (expression_statement "lVar1 = (ulonglong)uVar3 * (ulonglong)param_4 + (ulonglong)uVar6;" (assignment_expression "lVar1 = (ulonglong)uVar3 * (ulonglong)param_4 + (ulonglong)uVar6" identifier = (binary_expression "(ulonglong)uVar3 * (ulonglong)param_4 + (ulonglong)uVar6" (binary_expression "(ulonglong)uVar3 * (ulonglong)param_4" (cast_expression "(ulonglong)uVar3" ( (type_descriptor "ulonglong" type_identifier) ) identifier) * (cast_expression "(ulonglong)param_4" ( (type_descriptor "ulonglong" type_identifier) ) identifier)) + (cast_expression "(ulonglong)uVar6" ( (type_descriptor "ulonglong" type_identifier) ) identifier))) ;) (expression_statement "uVar6 = (uint)((ulonglong)lVar1 >> 0x20);" (assignment_expression "uVar6 = (uint)((ulonglong)lVar1 >> 0x20)" identifier = (call_expression "(uint)((ulonglong)lVar1 >> 0x20)" (parenthesized_expression "(uint)" ( identifier )) (argument_list "((ulonglong)lVar1 >> 0x20)" ( (binary_expression "(ulonglong)lVar1 >> 0x20" (cast_expression "(ulonglong)lVar1" ( (type_descriptor "ulonglong" type_identifier) ) identifier) >> number_literal) )))) ;) (expression_statement "*param_1 = (int)lVar1;" (assignment_expression "*param_1 = (int)lVar1" (pointer_expression "*param_1" * identifier) = (cast_expression "(int)lVar1" ( (type_descriptor "int" primitive_type) ) identifier)) ;) (expression_statement "param_1 = param_1 + 1;" (assignment_expression "param_1 = param_1 + 1" identifier = (binary_expression "param_1 + 1" identifier + number_literal)) ;) (expression_statement "param_3 = param_3 - 1;" (assignment_expression "param_3 = param_3 - 1" identifier = (binary_expression "param_3 - 1" identifier - number_literal)) ;) }) while (parenthesized_expression "(param_3 != 0)" ( (binary_expression "param_3 != 0" identifier != number_literal) )) ;) (return_statement "return uVar6;" return identifier ;) })) (expression_statement "uVar3 = *param_2;" (assignment_expression "uVar3 = *param_2" identifier = (pointer_expression "*param_2" * identifier)) ;) (expression_statement "uVar5 = -(param_3 - 4);" (assignment_expression "uVar5 = -(param_3 - 4)" identifier = (unary_expression "-(param_3 - 4)" - (parenthesized_expression "(param_3 - 4)" ( (binary_expression "param_3 - 4" identifier - number_literal) )))) ;) (do_statement "do {\n    uVar4 = uVar5;\n    uVar2 = (ulonglong)uVar3 * (ulonglong)param_4 + (ulonglong)uVar6;\n    param_1[param_3 + (uVar4 - 4)] = (int)uVar2;\n    uVar2 = (ulonglong)param_2[param_3 + (uVar4 - 3)] * (ulonglong)param_4 + (uVar2 >> 0x20);\n    param_1[param_3 + (uVar4 - 3)] = (int)uVar2;\n    uVar2 = (ulonglong)param_2[param_3 + (uVar4 - 2)] * (ulonglong)param_4 + (uVar2 >> 0x20);\n    param_1[param_3 + (uVar4 - 2)] = (int)uVar2;\n    lVar1 = (ulonglong)param_2[param_3 + (uVar4 - 1)] * (ulonglong)param_4 + (uVar2 >> 0x20);\n    uVar6 = (uint)((ulonglong)lVar1 >> 0x20);\n    param_1[param_3 + (uVar4 - 1)] = (int)lVar1;\n    uVar3 = param_2[param_3 + uVar4];\n    uVar5 = uVar4 + 4;\n  } while ((int)uVar5 < 0);" do (compound_statement "{\n    uVar4 = uVar5;\n    uVar2 = (ulonglong)uVar3 * (ulonglong)param_4 + (ulonglong)uVar6;\n    param_1[param_3 + (uVar4 - 4)] = (int)uVar2;\n    uVar2 = (ulonglong)param_2[param_3 + (uVar4 - 3)] * (ulonglong)param_4 + (uVar2 >> 0x20);\n    param_1[param_3 + (uVar4 - 3)] = (int)uVar2;\n    uVar2 = (ulonglong)param_2[param_3 + (uVar4 - 2)] * (ulonglong)param_4 + (uVar2 >> 0x20);\n    param_1[param_3 + (uVar4 - 2)] = (int)uVar2;\n    lVar1 = (ulonglong)param_2[param_3 + (uVar4 - 1)] * (ulonglong)param_4 + (uVar2 >> 0x20);\n    uVar6 = (uint)((ulonglong)lVar1 >> 0x20);\n    param_1[param_3 + (uVar4 - 1)] = (int)lVar1;\n    uVar3 = param_2[param_3 + uVar4];\n    uVar5 = uVar4 + 4;\n  }" { (expression_statement "uVar4 = uVar5;" (assignment_expression "uVar4 = uVar5" identifier = identifier) ;) (expression_statement "uVar2 = (ulonglong)uVar3 * (ulonglong)param_4 + (ulonglong)uVar6;" (assignment_expression "uVar2 = (ulonglong)uVar3 * (ulonglong)param_4 + (ulonglong)uVar6" identifier = (binary_expression "(ulonglong)uVar3 * (ulonglong)param_4 + (ulonglong)uVar6" (binary_expression "(ulonglong)uVar3 * (ulonglong)param_4" (cast_expression "(ulonglong)uVar3" ( (type_descriptor "ulonglong" type_identifier) ) identifier) * (cast_expression "(ulonglong)param_4" ( (type_descriptor "ulonglong" type_identifier) ) identifier)) + (cast_expression "(ulonglong)uVar6" ( (type_descriptor "ulonglong" type_identifier) ) identifier))) ;) (expression_statement "param_1[param_3 + (uVar4 - 4)] = (int)uVar2;" (assignment_expression "param_1[param_3 + (uVar4 - 4)] = (int)uVar2" (subscript_expression "param_1[param_3 + (uVar4 - 4)]" identifier [ (binary_expression "param_3 + (uVar4 - 4)" identifier + (parenthesized_expression "(uVar4 - 4)" ( (binary_expression "uVar4 - 4" identifier - number_literal) ))) ]) = (cast_expression "(int)uVar2" ( (type_descriptor "int" primitive_type) ) identifier)) ;) (expression_statement "uVar2 = (ulonglong)param_2[param_3 + (uVar4 - 3)] * (ulonglong)param_4 + (uVar2 >> 0x20);" (assignment_expression "uVar2 = (ulonglong)param_2[param_3 + (uVar4 - 3)] * (ulonglong)param_4 + (uVar2 >> 0x20)" identifier = (binary_expression "(ulonglong)param_2[param_3 + (uVar4 - 3)] * (ulonglong)param_4 + (uVar2 >> 0x20)" (binary_expression "(ulonglong)param_2[param_3 + (uVar4 - 3)] * (ulonglong)param_4" (cast_expression "(ulonglong)param_2[param_3 + (uVar4 - 3)]" ( (type_descriptor "ulonglong" type_identifier) ) (subscript_expression "param_2[param_3 + (uVar4 - 3)]" identifier [ (binary_expression "param_3 + (uVar4 - 3)" identifier + (parenthesized_expression "(uVar4 - 3)" ( (binary_expression "uVar4 - 3" identifier - number_literal) ))) ])) * (cast_expression "(ulonglong)param_4" ( (type_descriptor "ulonglong" type_identifier) ) identifier)) + (parenthesized_expression "(uVar2 >> 0x20)" ( (binary_expression "uVar2 >> 0x20" identifier >> number_literal) )))) ;) (expression_statement "param_1[param_3 + (uVar4 - 3)] = (int)uVar2;" (assignment_expression "param_1[param_3 + (uVar4 - 3)] = (int)uVar2" (subscript_expression "param_1[param_3 + (uVar4 - 3)]" identifier [ (binary_expression "param_3 + (uVar4 - 3)" identifier + (parenthesized_expression "(uVar4 - 3)" ( (binary_expression "uVar4 - 3" identifier - number_literal) ))) ]) = (cast_expression "(int)uVar2" ( (type_descriptor "int" primitive_type) ) identifier)) ;) (expression_statement "uVar2 = (ulonglong)param_2[param_3 + (uVar4 - 2)] * (ulonglong)param_4 + (uVar2 >> 0x20);" (assignment_expression "uVar2 = (ulonglong)param_2[param_3 + (uVar4 - 2)] * (ulonglong)param_4 + (uVar2 >> 0x20)" identifier = (binary_expression "(ulonglong)param_2[param_3 + (uVar4 - 2)] * (ulonglong)param_4 + (uVar2 >> 0x20)" (binary_expression "(ulonglong)param_2[param_3 + (uVar4 - 2)] * (ulonglong)param_4" (cast_expression "(ulonglong)param_2[param_3 + (uVar4 - 2)]" ( (type_descriptor "ulonglong" type_identifier) ) (subscript_expression "param_2[param_3 + (uVar4 - 2)]" identifier [ (binary_expression "param_3 + (uVar4 - 2)" identifier + (parenthesized_expression "(uVar4 - 2)" ( (binary_expression "uVar4 - 2" identifier - number_literal) ))) ])) * (cast_expression "(ulonglong)param_4" ( (type_descriptor "ulonglong" type_identifier) ) identifier)) + (parenthesized_expression "(uVar2 >> 0x20)" ( (binary_expression "uVar2 >> 0x20" identifier >> number_literal) )))) ;) (expression_statement "param_1[param_3 + (uVar4 - 2)] = (int)uVar2;" (assignment_expression "param_1[param_3 + (uVar4 - 2)] = (int)uVar2" (subscript_expression "param_1[param_3 + (uVar4 - 2)]" identifier [ (binary_expression "param_3 + (uVar4 - 2)" identifier + (parenthesized_expression "(uVar4 - 2)" ( (binary_expression "uVar4 - 2" identifier - number_literal) ))) ]) = (cast_expression "(int)uVar2" ( (type_descriptor "int" primitive_type) ) identifier)) ;) (expression_statement "lVar1 = (ulonglong)param_2[param_3 + (uVar4 - 1)] * (ulonglong)param_4 + (uVar2 >> 0x20);" (assignment_expression "lVar1 = (ulonglong)param_2[param_3 + (uVar4 - 1)] * (ulonglong)param_4 + (uVar2 >> 0x20)" identifier = (binary_expression "(ulonglong)param_2[param_3 + (uVar4 - 1)] * (ulonglong)param_4 + (uVar2 >> 0x20)" (binary_expression "(ulonglong)param_2[param_3 + (uVar4 - 1)] * (ulonglong)param_4" (cast_expression "(ulonglong)param_2[param_3 + (uVar4 - 1)]" ( (type_descriptor "ulonglong" type_identifier) ) (subscript_expression "param_2[param_3 + (uVar4 - 1)]" identifier [ (binary_expression "param_3 + (uVar4 - 1)" identifier + (parenthesized_expression "(uVar4 - 1)" ( (binary_expression "uVar4 - 1" identifier - number_literal) ))) ])) * (cast_expression "(ulonglong)param_4" ( (type_descriptor "ulonglong" type_identifier) ) identifier)) + (parenthesized_expression "(uVar2 >> 0x20)" ( (binary_expression "uVar2 >> 0x20" identifier >> number_literal) )))) ;) (expression_statement "uVar6 = (uint)((ulonglong)lVar1 >> 0x20);" (assignment_expression "uVar6 = (uint)((ulonglong)lVar1 >> 0x20)" identifier = (call_expression "(uint)((ulonglong)lVar1 >> 0x20)" (parenthesized_expression "(uint)" ( identifier )) (argument_list "((ulonglong)lVar1 >> 0x20)" ( (binary_expression "(ulonglong)lVar1 >> 0x20" (cast_expression "(ulonglong)lVar1" ( (type_descriptor "ulonglong" type_identifier) ) identifier) >> number_literal) )))) ;) (expression_statement "param_1[param_3 + (uVar4 - 1)] = (int)lVar1;" (assignment_expression "param_1[param_3 + (uVar4 - 1)] = (int)lVar1" (subscript_expression "param_1[param_3 + (uVar4 - 1)]" identifier [ (binary_expression "param_3 + (uVar4 - 1)" identifier + (parenthesized_expression "(uVar4 - 1)" ( (binary_expression "uVar4 - 1" identifier - number_literal) ))) ]) = (cast_expression "(int)lVar1" ( (type_descriptor "int" primitive_type) ) identifier)) ;) (expression_statement "uVar3 = param_2[param_3 + uVar4];" (assignment_expression "uVar3 = param_2[param_3 + uVar4]" identifier = (subscript_expression "param_2[param_3 + uVar4]" identifier [ (binary_expression "param_3 + uVar4" identifier + identifier) ])) ;) (expression_statement "uVar5 = uVar4 + 4;" (assignment_expression "uVar5 = uVar4 + 4" identifier = (binary_expression "uVar4 + 4" identifier + number_literal)) ;) }) while (parenthesized_expression "((int)uVar5 < 0)" ( (binary_expression "(int)uVar5 < 0" (cast_expression "(int)uVar5" ( (type_descriptor "int" primitive_type) ) identifier) < number_literal) )) ;) (if_statement "if ((uVar5 & 2) == 0) {\n    uVar2 = (ulonglong)uVar3 * (ulonglong)param_4 + (ulonglong)uVar6;\n    param_1[param_3 + uVar4] = (int)uVar2;\n    lVar1 = (ulonglong)param_2[param_3 + uVar4 + 1] * (ulonglong)param_4 + (uVar2 >> 0x20);\n    uVar6 = (uint)((ulonglong)lVar1 >> 0x20);\n    param_1[param_3 + uVar4 + 1] = (int)lVar1;\n    uVar3 = param_2[param_3 + uVar4 + 2];\n    uVar5 = uVar4 + 6;\n  }" if (parenthesized_expression "((uVar5 & 2) == 0)" ( (binary_expression "(uVar5 & 2) == 0" (parenthesized_expression "(uVar5 & 2)" ( (binary_expression "uVar5 & 2" identifier & number_literal) )) == number_literal) )) (compound_statement "{\n    uVar2 = (ulonglong)uVar3 * (ulonglong)param_4 + (ulonglong)uVar6;\n    param_1[param_3 + uVar4] = (int)uVar2;\n    lVar1 = (ulonglong)param_2[param_3 + uVar4 + 1] * (ulonglong)param_4 + (uVar2 >> 0x20);\n    uVar6 = (uint)((ulonglong)lVar1 >> 0x20);\n    param_1[param_3 + uVar4 + 1] = (int)lVar1;\n    uVar3 = param_2[param_3 + uVar4 + 2];\n    uVar5 = uVar4 + 6;\n  }" { (expression_statement "uVar2 = (ulonglong)uVar3 * (ulonglong)param_4 + (ulonglong)uVar6;" (assignment_expression "uVar2 = (ulonglong)uVar3 * (ulonglong)param_4 + (ulonglong)uVar6" identifier = (binary_expression "(ulonglong)uVar3 * (ulonglong)param_4 + (ulonglong)uVar6" (binary_expression "(ulonglong)uVar3 * (ulonglong)param_4" (cast_expression "(ulonglong)uVar3" ( (type_descriptor "ulonglong" type_identifier) ) identifier) * (cast_expression "(ulonglong)param_4" ( (type_descriptor "ulonglong" type_identifier) ) identifier)) + (cast_expression "(ulonglong)uVar6" ( (type_descriptor "ulonglong" type_identifier) ) identifier))) ;) (expression_statement "param_1[param_3 + uVar4] = (int)uVar2;" (assignment_expression "param_1[param_3 + uVar4] = (int)uVar2" (subscript_expression "param_1[param_3 + uVar4]" identifier [ (binary_expression "param_3 + uVar4" identifier + identifier) ]) = (cast_expression "(int)uVar2" ( (type_descriptor "int" primitive_type) ) identifier)) ;) (expression_statement "lVar1 = (ulonglong)param_2[param_3 + uVar4 + 1] * (ulonglong)param_4 + (uVar2 >> 0x20);" (assignment_expression "lVar1 = (ulonglong)param_2[param_3 + uVar4 + 1] * (ulonglong)param_4 + (uVar2 >> 0x20)" identifier = (binary_expression "(ulonglong)param_2[param_3 + uVar4 + 1] * (ulonglong)param_4 + (uVar2 >> 0x20)" (binary_expression "(ulonglong)param_2[param_3 + uVar4 + 1] * (ulonglong)param_4" (cast_expression "(ulonglong)param_2[param_3 + uVar4 + 1]" ( (type_descriptor "ulonglong" type_identifier) ) (subscript_expression "param_2[param_3 + uVar4 + 1]" identifier [ (binary_expression "param_3 + uVar4 + 1" (binary_expression "param_3 + uVar4" identifier + identifier) + number_literal) ])) * (cast_expression "(ulonglong)param_4" ( (type_descriptor "ulonglong" type_identifier) ) identifier)) + (parenthesized_expression "(uVar2 >> 0x20)" ( (binary_expression "uVar2 >> 0x20" identifier >> number_literal) )))) ;) (expression_statement "uVar6 = (uint)((ulonglong)lVar1 >> 0x20);" (assignment_expression "uVar6 = (uint)((ulonglong)lVar1 >> 0x20)" identifier = (call_expression "(uint)((ulonglong)lVar1 >> 0x20)" (parenthesized_expression "(uint)" ( identifier )) (argument_list "((ulonglong)lVar1 >> 0x20)" ( (binary_expression "(ulonglong)lVar1 >> 0x20" (cast_expression "(ulonglong)lVar1" ( (type_descriptor "ulonglong" type_identifier) ) identifier) >> number_literal) )))) ;) (expression_statement "param_1[param_3 + uVar4 + 1] = (int)lVar1;" (assignment_expression "param_1[param_3 + uVar4 + 1] = (int)lVar1" (subscript_expression "param_1[param_3 + uVar4 + 1]" identifier [ (binary_expression "param_3 + uVar4 + 1" (binary_expression "param_3 + uVar4" identifier + identifier) + number_literal) ]) = (cast_expression "(int)lVar1" ( (type_descriptor "int" primitive_type) ) identifier)) ;) (expression_statement "uVar3 = param_2[param_3 + uVar4 + 2];" (assignment_expression "uVar3 = param_2[param_3 + uVar4 + 2]" identifier = (subscript_expression "param_2[param_3 + uVar4 + 2]" identifier [ (binary_expression "param_3 + uVar4 + 2" (binary_expression "param_3 + uVar4" identifier + identifier) + number_literal) ])) ;) (expression_statement "uVar5 = uVar4 + 6;" (assignment_expression "uVar5 = uVar4 + 6" identifier = (binary_expression "uVar4 + 6" identifier + number_literal)) ;) })) (if_statement "if ((uVar5 & 1) == 0) {\n    lVar1 = (ulonglong)uVar3 * (ulonglong)param_4 + (ulonglong)uVar6;\n    uVar6 = (uint)((ulonglong)lVar1 >> 0x20);\n    param_1[param_3 - 2] = (int)lVar1;\n    uVar3 = param_2[param_3 - 1];\n  }" if (parenthesized_expression "((uVar5 & 1) == 0)" ( (binary_expression "(uVar5 & 1) == 0" (parenthesized_expression "(uVar5 & 1)" ( (binary_expression "uVar5 & 1" identifier & number_literal) )) == number_literal) )) (compound_statement "{\n    lVar1 = (ulonglong)uVar3 * (ulonglong)param_4 + (ulonglong)uVar6;\n    uVar6 = (uint)((ulonglong)lVar1 >> 0x20);\n    param_1[param_3 - 2] = (int)lVar1;\n    uVar3 = param_2[param_3 - 1];\n  }" { (expression_statement "lVar1 = (ulonglong)uVar3 * (ulonglong)param_4 + (ulonglong)uVar6;" (assignment_expression "lVar1 = (ulonglong)uVar3 * (ulonglong)param_4 + (ulonglong)uVar6" identifier = (binary_expression "(ulonglong)uVar3 * (ulonglong)param_4 + (ulonglong)uVar6" (binary_expression "(ulonglong)uVar3 * (ulonglong)param_4" (cast_expression "(ulonglong)uVar3" ( (type_descriptor "ulonglong" type_identifier) ) identifier) * (cast_expression "(ulonglong)param_4" ( (type_descriptor "ulonglong" type_identifier) ) identifier)) + (cast_expression "(ulonglong)uVar6" ( (type_descriptor "ulonglong" type_identifier) ) identifier))) ;) (expression_statement "uVar6 = (uint)((ulonglong)lVar1 >> 0x20);" (assignment_expression "uVar6 = (uint)((ulonglong)lVar1 >> 0x20)" identifier = (call_expression "(uint)((ulonglong)lVar1 >> 0x20)" (parenthesized_expression "(uint)" ( identifier )) (argument_list "((ulonglong)lVar1 >> 0x20)" ( (binary_expression "(ulonglong)lVar1 >> 0x20" (cast_expression "(ulonglong)lVar1" ( (type_descriptor "ulonglong" type_identifier) ) identifier) >> number_literal) )))) ;) (expression_statement "param_1[param_3 - 2] = (int)lVar1;" (assignment_expression "param_1[param_3 - 2] = (int)lVar1" (subscript_expression "param_1[param_3 - 2]" identifier [ (binary_expression "param_3 - 2" identifier - number_literal) ]) = (cast_expression "(int)lVar1" ( (type_descriptor "int" primitive_type) ) identifier)) ;) (expression_statement "uVar3 = param_2[param_3 - 1];" (assignment_expression "uVar3 = param_2[param_3 - 1]" identifier = (subscript_expression "param_2[param_3 - 1]" identifier [ (binary_expression "param_3 - 1" identifier - number_literal) ])) ;) })) (expression_statement "lVar1 = (ulonglong)uVar3 * (ulonglong)param_4 + (ulonglong)uVar6;" (assignment_expression "lVar1 = (ulonglong)uVar3 * (ulonglong)param_4 + (ulonglong)uVar6" identifier = (binary_expression "(ulonglong)uVar3 * (ulonglong)param_4 + (ulonglong)uVar6" (binary_expression "(ulonglong)uVar3 * (ulonglong)param_4" (cast_expression "(ulonglong)uVar3" ( (type_descriptor "ulonglong" type_identifier) ) identifier) * (cast_expression "(ulonglong)param_4" ( (type_descriptor "ulonglong" type_identifier) ) identifier)) + (cast_expression "(ulonglong)uVar6" ( (type_descriptor "ulonglong" type_identifier) ) identifier))) ;) (expression_statement "param_1[param_3 - 1] = (int)lVar1;" (assignment_expression "param_1[param_3 - 1] = (int)lVar1" (subscript_expression "param_1[param_3 - 1]" identifier [ (binary_expression "param_3 - 1" identifier - number_literal) ]) = (cast_expression "(int)lVar1" ( (type_descriptor "int" primitive_type) ) identifier)) ;) (return_statement "return (uint)((ulonglong)lVar1 >> 0x20);" return (call_expression "(uint)((ulonglong)lVar1 >> 0x20)" (parenthesized_expression "(uint)" ( identifier )) (argument_list "((ulonglong)lVar1 >> 0x20)" ( (binary_expression "(ulonglong)lVar1 >> 0x20" (cast_expression "(ulonglong)lVar1" ( (type_descriptor "ulonglong" type_identifier) ) identifier) >> number_literal) ))) ;) })))
(translation_unit "uint __gmpn_mul_1_k6(undefined4 *param_1,uint *param_2,uint param_3,uint param_4)\n\n{\n  longlong lVar1;\n  ulonglong uVar2;\n  uint uVar3;\n  uint uVar4;\n  uint uVar5;\n  uint uVar6;\n  \n  uVar6 = 0;\n  if (param_3 < 5) {\n    do {\n      uVar3 = *param_2;\n      param_2 = param_2 + 1;\n      lVar1 = (ulonglong)uVar3 * (ulonglong)param_4 + (ulonglong)uVar6;\n      uVar6 = (uint)((ulonglong)lVar1 >> 0x20);\n      *param_1 = (int)lVar1;\n      param_1 = param_1 + 1;\n      param_3 = param_3 - 1;\n    } while (param_3 != 0);\n    return uVar6;\n  }\n  uVar3 = *param_2;\n  uVar5 = -(param_3 - 4);\n  do {\n    uVar4 = uVar5;\n    uVar2 = (ulonglong)uVar3 * (ulonglong)param_4 + (ulonglong)uVar6;\n    param_1[param_3 + (uVar4 - 4)] = (int)uVar2;\n    uVar2 = (ulonglong)param_2[param_3 + (uVar4 - 3)] * (ulonglong)param_4 + (uVar2 >> 0x20);\n    param_1[param_3 + (uVar4 - 3)] = (int)uVar2;\n    uVar2 = (ulonglong)param_2[param_3 + (uVar4 - 2)] * (ulonglong)param_4 + (uVar2 >> 0x20);\n    param_1[param_3 + (uVar4 - 2)] = (int)uVar2;\n    lVar1 = (ulonglong)param_2[param_3 + (uVar4 - 1)] * (ulonglong)param_4 + (uVar2 >> 0x20);\n    uVar6 = (uint)((ulonglong)lVar1 >> 0x20);\n    param_1[param_3 + (uVar4 - 1)] = (int)lVar1;\n    uVar3 = param_2[param_3 + uVar4];\n    uVar5 = uVar4 + 4;\n  } while ((int)uVar5 < 0);\n  if ((uVar5 & 2) == 0) {\n    uVar2 = (ulonglong)uVar3 * (ulonglong)param_4 + (ulonglong)uVar6;\n    param_1[param_3 + uVar4] = (int)uVar2;\n    lVar1 = (ulonglong)param_2[param_3 + uVar4 + 1] * (ulonglong)param_4 + (uVar2 >> 0x20);\n    uVar6 = (uint)((ulonglong)lVar1 >> 0x20);\n    param_1[param_3 + uVar4 + 1] = (int)lVar1;\n    uVar3 = param_2[param_3 + uVar4 + 2];\n    uVar5 = uVar4 + 6;\n  }\n  if ((uVar5 & 1) == 0) {\n    lVar1 = (ulonglong)uVar3 * (ulonglong)param_4 + (ulonglong)uVar6;\n    uVar6 = (uint)((ulonglong)lVar1 >> 0x20);\n    param_1[param_3 - 2] = (int)lVar1;\n    uVar3 = param_2[param_3 - 1];\n  }\n  lVar1 = (ulonglong)uVar3 * (ulonglong)param_4 + (ulonglong)uVar6;\n  param_1[param_3 - 1] = (int)lVar1;\n  return (uint)((ulonglong)lVar1 >> 0x20);\n}\n\n" (function_definition "uint __gmpn_mul_1_k6(undefined4 *param_1,uint *param_2,uint param_3,uint param_4)\n\n{\n  longlong lVar1;\n  ulonglong uVar2;\n  uint uVar3;\n  uint uVar4;\n  uint uVar5;\n  uint uVar6;\n  \n  uVar6 = 0;\n  if (param_3 < 5) {\n    do {\n      uVar3 = *param_2;\n      param_2 = param_2 + 1;\n      lVar1 = (ulonglong)uVar3 * (ulonglong)param_4 + (ulonglong)uVar6;\n      uVar6 = (uint)((ulonglong)lVar1 >> 0x20);\n      *param_1 = (int)lVar1;\n      param_1 = param_1 + 1;\n      param_3 = param_3 - 1;\n    } while (param_3 != 0);\n    return uVar6;\n  }\n  uVar3 = *param_2;\n  uVar5 = -(param_3 - 4);\n  do {\n    uVar4 = uVar5;\n    uVar2 = (ulonglong)uVar3 * (ulonglong)param_4 + (ulonglong)uVar6;\n    param_1[param_3 + (uVar4 - 4)] = (int)uVar2;\n    uVar2 = (ulonglong)param_2[param_3 + (uVar4 - 3)] * (ulonglong)param_4 + (uVar2 >> 0x20);\n    param_1[param_3 + (uVar4 - 3)] = (int)uVar2;\n    uVar2 = (ulonglong)param_2[param_3 + (uVar4 - 2)] * (ulonglong)param_4 + (uVar2 >> 0x20);\n    param_1[param_3 + (uVar4 - 2)] = (int)uVar2;\n    lVar1 = (ulonglong)param_2[param_3 + (uVar4 - 1)] * (ulonglong)param_4 + (uVar2 >> 0x20);\n    uVar6 = (uint)((ulonglong)lVar1 >> 0x20);\n    param_1[param_3 + (uVar4 - 1)] = (int)lVar1;\n    uVar3 = param_2[param_3 + uVar4];\n    uVar5 = uVar4 + 4;\n  } while ((int)uVar5 < 0);\n  if ((uVar5 & 2) == 0) {\n    uVar2 = (ulonglong)uVar3 * (ulonglong)param_4 + (ulonglong)uVar6;\n    param_1[param_3 + uVar4] = (int)uVar2;\n    lVar1 = (ulonglong)param_2[param_3 + uVar4 + 1] * (ulonglong)param_4 + (uVar2 >> 0x20);\n    uVar6 = (uint)((ulonglong)lVar1 >> 0x20);\n    param_1[param_3 + uVar4 + 1] = (int)lVar1;\n    uVar3 = param_2[param_3 + uVar4 + 2];\n    uVar5 = uVar4 + 6;\n  }\n  if ((uVar5 & 1) == 0) {\n    lVar1 = (ulonglong)uVar3 * (ulonglong)param_4 + (ulonglong)uVar6;\n    uVar6 = (uint)((ulonglong)lVar1 >> 0x20);\n    param_1[param_3 - 2] = (int)lVar1;\n    uVar3 = param_2[param_3 - 1];\n  }\n  lVar1 = (ulonglong)uVar3 * (ulonglong)param_4 + (ulonglong)uVar6;\n  param_1[param_3 - 1] = (int)lVar1;\n  return (uint)((ulonglong)lVar1 >> 0x20);\n}" type_identifier (function_declarator "__gmpn_mul_1_k6(undefined4 *param_1,uint *param_2,uint param_3,uint param_4)" identifier (parameter_list "(undefined4 *param_1,uint *param_2,uint param_3,uint param_4)" ( (parameter_declaration "undefined4 *param_1" type_identifier (pointer_declarator "*param_1" * identifier)) , (parameter_declaration "uint *param_2" type_identifier (pointer_declarator "*param_2" * identifier)) , (parameter_declaration "uint param_3" type_identifier identifier) , (parameter_declaration "uint param_4" type_identifier identifier) ))) (compound_statement "{\n  longlong lVar1;\n  ulonglong uVar2;\n  uint uVar3;\n  uint uVar4;\n  uint uVar5;\n  uint uVar6;\n  \n  uVar6 = 0;\n  if (param_3 < 5) {\n    do {\n      uVar3 = *param_2;\n      param_2 = param_2 + 1;\n      lVar1 = (ulonglong)uVar3 * (ulonglong)param_4 + (ulonglong)uVar6;\n      uVar6 = (uint)((ulonglong)lVar1 >> 0x20);\n      *param_1 = (int)lVar1;\n      param_1 = param_1 + 1;\n      param_3 = param_3 - 1;\n    } while (param_3 != 0);\n    return uVar6;\n  }\n  uVar3 = *param_2;\n  uVar5 = -(param_3 - 4);\n  do {\n    uVar4 = uVar5;\n    uVar2 = (ulonglong)uVar3 * (ulonglong)param_4 + (ulonglong)uVar6;\n    param_1[param_3 + (uVar4 - 4)] = (int)uVar2;\n    uVar2 = (ulonglong)param_2[param_3 + (uVar4 - 3)] * (ulonglong)param_4 + (uVar2 >> 0x20);\n    param_1[param_3 + (uVar4 - 3)] = (int)uVar2;\n    uVar2 = (ulonglong)param_2[param_3 + (uVar4 - 2)] * (ulonglong)param_4 + (uVar2 >> 0x20);\n    param_1[param_3 + (uVar4 - 2)] = (int)uVar2;\n    lVar1 = (ulonglong)param_2[param_3 + (uVar4 - 1)] * (ulonglong)param_4 + (uVar2 >> 0x20);\n    uVar6 = (uint)((ulonglong)lVar1 >> 0x20);\n    param_1[param_3 + (uVar4 - 1)] = (int)lVar1;\n    uVar3 = param_2[param_3 + uVar4];\n    uVar5 = uVar4 + 4;\n  } while ((int)uVar5 < 0);\n  if ((uVar5 & 2) == 0) {\n    uVar2 = (ulonglong)uVar3 * (ulonglong)param_4 + (ulonglong)uVar6;\n    param_1[param_3 + uVar4] = (int)uVar2;\n    lVar1 = (ulonglong)param_2[param_3 + uVar4 + 1] * (ulonglong)param_4 + (uVar2 >> 0x20);\n    uVar6 = (uint)((ulonglong)lVar1 >> 0x20);\n    param_1[param_3 + uVar4 + 1] = (int)lVar1;\n    uVar3 = param_2[param_3 + uVar4 + 2];\n    uVar5 = uVar4 + 6;\n  }\n  if ((uVar5 & 1) == 0) {\n    lVar1 = (ulonglong)uVar3 * (ulonglong)param_4 + (ulonglong)uVar6;\n    uVar6 = (uint)((ulonglong)lVar1 >> 0x20);\n    param_1[param_3 - 2] = (int)lVar1;\n    uVar3 = param_2[param_3 - 1];\n  }\n  lVar1 = (ulonglong)uVar3 * (ulonglong)param_4 + (ulonglong)uVar6;\n  param_1[param_3 - 1] = (int)lVar1;\n  return (uint)((ulonglong)lVar1 >> 0x20);\n}" { (declaration "longlong lVar1;" type_identifier identifier ;) (declaration "ulonglong uVar2;" type_identifier identifier ;) (declaration "uint uVar3;" type_identifier identifier ;) (declaration "uint uVar4;" type_identifier identifier ;) (declaration "uint uVar5;" type_identifier identifier ;) (declaration "uint uVar6;" type_identifier identifier ;) (expression_statement "uVar6 = 0;" (assignment_expression "uVar6 = 0" identifier = number_literal) ;) (if_statement "if (param_3 < 5) {\n    do {\n      uVar3 = *param_2;\n      param_2 = param_2 + 1;\n      lVar1 = (ulonglong)uVar3 * (ulonglong)param_4 + (ulonglong)uVar6;\n      uVar6 = (uint)((ulonglong)lVar1 >> 0x20);\n      *param_1 = (int)lVar1;\n      param_1 = param_1 + 1;\n      param_3 = param_3 - 1;\n    } while (param_3 != 0);\n    return uVar6;\n  }" if (parenthesized_expression "(param_3 < 5)" ( (binary_expression "param_3 < 5" identifier < number_literal) )) (compound_statement "{\n    do {\n      uVar3 = *param_2;\n      param_2 = param_2 + 1;\n      lVar1 = (ulonglong)uVar3 * (ulonglong)param_4 + (ulonglong)uVar6;\n      uVar6 = (uint)((ulonglong)lVar1 >> 0x20);\n      *param_1 = (int)lVar1;\n      param_1 = param_1 + 1;\n      param_3 = param_3 - 1;\n    } while (param_3 != 0);\n    return uVar6;\n  }" { (do_statement "do {\n      uVar3 = *param_2;\n      param_2 = param_2 + 1;\n      lVar1 = (ulonglong)uVar3 * (ulonglong)param_4 + (ulonglong)uVar6;\n      uVar6 = (uint)((ulonglong)lVar1 >> 0x20);\n      *param_1 = (int)lVar1;\n      param_1 = param_1 + 1;\n      param_3 = param_3 - 1;\n    } while (param_3 != 0);" do (compound_statement "{\n      uVar3 = *param_2;\n      param_2 = param_2 + 1;\n      lVar1 = (ulonglong)uVar3 * (ulonglong)param_4 + (ulonglong)uVar6;\n      uVar6 = (uint)((ulonglong)lVar1 >> 0x20);\n      *param_1 = (int)lVar1;\n      param_1 = param_1 + 1;\n      param_3 = param_3 - 1;\n    }" { (expression_statement "uVar3 = *param_2;" (assignment_expression "uVar3 = *param_2" identifier = (pointer_expression "*param_2" * identifier)) ;) (expression_statement "param_2 = param_2 + 1;" (assignment_expression "param_2 = param_2 + 1" identifier = (binary_expression "param_2 + 1" identifier + number_literal)) ;) (expression_statement "lVar1 = (ulonglong)uVar3 * (ulonglong)param_4 + (ulonglong)uVar6;" (assignment_expression "lVar1 = (ulonglong)uVar3 * (ulonglong)param_4 + (ulonglong)uVar6" identifier = (binary_expression "(ulonglong)uVar3 * (ulonglong)param_4 + (ulonglong)uVar6" (binary_expression "(ulonglong)uVar3 * (ulonglong)param_4" (cast_expression "(ulonglong)uVar3" ( (type_descriptor "ulonglong" type_identifier) ) identifier) * (cast_expression "(ulonglong)param_4" ( (type_descriptor "ulonglong" type_identifier) ) identifier)) + (cast_expression "(ulonglong)uVar6" ( (type_descriptor "ulonglong" type_identifier) ) identifier))) ;) (expression_statement "uVar6 = (uint)((ulonglong)lVar1 >> 0x20);" (assignment_expression "uVar6 = (uint)((ulonglong)lVar1 >> 0x20)" identifier = (call_expression "(uint)((ulonglong)lVar1 >> 0x20)" (parenthesized_expression "(uint)" ( identifier )) (argument_list "((ulonglong)lVar1 >> 0x20)" ( (binary_expression "(ulonglong)lVar1 >> 0x20" (cast_expression "(ulonglong)lVar1" ( (type_descriptor "ulonglong" type_identifier) ) identifier) >> number_literal) )))) ;) (expression_statement "*param_1 = (int)lVar1;" (assignment_expression "*param_1 = (int)lVar1" (pointer_expression "*param_1" * identifier) = (cast_expression "(int)lVar1" ( (type_descriptor "int" primitive_type) ) identifier)) ;) (expression_statement "param_1 = param_1 + 1;" (assignment_expression "param_1 = param_1 + 1" identifier = (binary_expression "param_1 + 1" identifier + number_literal)) ;) (expression_statement "param_3 = param_3 - 1;" (assignment_expression "param_3 = param_3 - 1" identifier = (binary_expression "param_3 - 1" identifier - number_literal)) ;) }) while (parenthesized_expression "(param_3 != 0)" ( (binary_expression "param_3 != 0" identifier != number_literal) )) ;) (return_statement "return uVar6;" return identifier ;) })) (expression_statement "uVar3 = *param_2;" (assignment_expression "uVar3 = *param_2" identifier = (pointer_expression "*param_2" * identifier)) ;) (expression_statement "uVar5 = -(param_3 - 4);" (assignment_expression "uVar5 = -(param_3 - 4)" identifier = (unary_expression "-(param_3 - 4)" - (parenthesized_expression "(param_3 - 4)" ( (binary_expression "param_3 - 4" identifier - number_literal) )))) ;) (do_statement "do {\n    uVar4 = uVar5;\n    uVar2 = (ulonglong)uVar3 * (ulonglong)param_4 + (ulonglong)uVar6;\n    param_1[param_3 + (uVar4 - 4)] = (int)uVar2;\n    uVar2 = (ulonglong)param_2[param_3 + (uVar4 - 3)] * (ulonglong)param_4 + (uVar2 >> 0x20);\n    param_1[param_3 + (uVar4 - 3)] = (int)uVar2;\n    uVar2 = (ulonglong)param_2[param_3 + (uVar4 - 2)] * (ulonglong)param_4 + (uVar2 >> 0x20);\n    param_1[param_3 + (uVar4 - 2)] = (int)uVar2;\n    lVar1 = (ulonglong)param_2[param_3 + (uVar4 - 1)] * (ulonglong)param_4 + (uVar2 >> 0x20);\n    uVar6 = (uint)((ulonglong)lVar1 >> 0x20);\n    param_1[param_3 + (uVar4 - 1)] = (int)lVar1;\n    uVar3 = param_2[param_3 + uVar4];\n    uVar5 = uVar4 + 4;\n  } while ((int)uVar5 < 0);" do (compound_statement "{\n    uVar4 = uVar5;\n    uVar2 = (ulonglong)uVar3 * (ulonglong)param_4 + (ulonglong)uVar6;\n    param_1[param_3 + (uVar4 - 4)] = (int)uVar2;\n    uVar2 = (ulonglong)param_2[param_3 + (uVar4 - 3)] * (ulonglong)param_4 + (uVar2 >> 0x20);\n    param_1[param_3 + (uVar4 - 3)] = (int)uVar2;\n    uVar2 = (ulonglong)param_2[param_3 + (uVar4 - 2)] * (ulonglong)param_4 + (uVar2 >> 0x20);\n    param_1[param_3 + (uVar4 - 2)] = (int)uVar2;\n    lVar1 = (ulonglong)param_2[param_3 + (uVar4 - 1)] * (ulonglong)param_4 + (uVar2 >> 0x20);\n    uVar6 = (uint)((ulonglong)lVar1 >> 0x20);\n    param_1[param_3 + (uVar4 - 1)] = (int)lVar1;\n    uVar3 = param_2[param_3 + uVar4];\n    uVar5 = uVar4 + 4;\n  }" { (expression_statement "uVar4 = uVar5;" (assignment_expression "uVar4 = uVar5" identifier = identifier) ;) (expression_statement "uVar2 = (ulonglong)uVar3 * (ulonglong)param_4 + (ulonglong)uVar6;" (assignment_expression "uVar2 = (ulonglong)uVar3 * (ulonglong)param_4 + (ulonglong)uVar6" identifier = (binary_expression "(ulonglong)uVar3 * (ulonglong)param_4 + (ulonglong)uVar6" (binary_expression "(ulonglong)uVar3 * (ulonglong)param_4" (cast_expression "(ulonglong)uVar3" ( (type_descriptor "ulonglong" type_identifier) ) identifier) * (cast_expression "(ulonglong)param_4" ( (type_descriptor "ulonglong" type_identifier) ) identifier)) + (cast_expression "(ulonglong)uVar6" ( (type_descriptor "ulonglong" type_identifier) ) identifier))) ;) (expression_statement "param_1[param_3 + (uVar4 - 4)] = (int)uVar2;" (assignment_expression "param_1[param_3 + (uVar4 - 4)] = (int)uVar2" (subscript_expression "param_1[param_3 + (uVar4 - 4)]" identifier [ (binary_expression "param_3 + (uVar4 - 4)" identifier + (parenthesized_expression "(uVar4 - 4)" ( (binary_expression "uVar4 - 4" identifier - number_literal) ))) ]) = (cast_expression "(int)uVar2" ( (type_descriptor "int" primitive_type) ) identifier)) ;) (expression_statement "uVar2 = (ulonglong)param_2[param_3 + (uVar4 - 3)] * (ulonglong)param_4 + (uVar2 >> 0x20);" (assignment_expression "uVar2 = (ulonglong)param_2[param_3 + (uVar4 - 3)] * (ulonglong)param_4 + (uVar2 >> 0x20)" identifier = (binary_expression "(ulonglong)param_2[param_3 + (uVar4 - 3)] * (ulonglong)param_4 + (uVar2 >> 0x20)" (binary_expression "(ulonglong)param_2[param_3 + (uVar4 - 3)] * (ulonglong)param_4" (cast_expression "(ulonglong)param_2[param_3 + (uVar4 - 3)]" ( (type_descriptor "ulonglong" type_identifier) ) (subscript_expression "param_2[param_3 + (uVar4 - 3)]" identifier [ (binary_expression "param_3 + (uVar4 - 3)" identifier + (parenthesized_expression "(uVar4 - 3)" ( (binary_expression "uVar4 - 3" identifier - number_literal) ))) ])) * (cast_expression "(ulonglong)param_4" ( (type_descriptor "ulonglong" type_identifier) ) identifier)) + (parenthesized_expression "(uVar2 >> 0x20)" ( (binary_expression "uVar2 >> 0x20" identifier >> number_literal) )))) ;) (expression_statement "param_1[param_3 + (uVar4 - 3)] = (int)uVar2;" (assignment_expression "param_1[param_3 + (uVar4 - 3)] = (int)uVar2" (subscript_expression "param_1[param_3 + (uVar4 - 3)]" identifier [ (binary_expression "param_3 + (uVar4 - 3)" identifier + (parenthesized_expression "(uVar4 - 3)" ( (binary_expression "uVar4 - 3" identifier - number_literal) ))) ]) = (cast_expression "(int)uVar2" ( (type_descriptor "int" primitive_type) ) identifier)) ;) (expression_statement "uVar2 = (ulonglong)param_2[param_3 + (uVar4 - 2)] * (ulonglong)param_4 + (uVar2 >> 0x20);" (assignment_expression "uVar2 = (ulonglong)param_2[param_3 + (uVar4 - 2)] * (ulonglong)param_4 + (uVar2 >> 0x20)" identifier = (binary_expression "(ulonglong)param_2[param_3 + (uVar4 - 2)] * (ulonglong)param_4 + (uVar2 >> 0x20)" (binary_expression "(ulonglong)param_2[param_3 + (uVar4 - 2)] * (ulonglong)param_4" (cast_expression "(ulonglong)param_2[param_3 + (uVar4 - 2)]" ( (type_descriptor "ulonglong" type_identifier) ) (subscript_expression "param_2[param_3 + (uVar4 - 2)]" identifier [ (binary_expression "param_3 + (uVar4 - 2)" identifier + (parenthesized_expression "(uVar4 - 2)" ( (binary_expression "uVar4 - 2" identifier - number_literal) ))) ])) * (cast_expression "(ulonglong)param_4" ( (type_descriptor "ulonglong" type_identifier) ) identifier)) + (parenthesized_expression "(uVar2 >> 0x20)" ( (binary_expression "uVar2 >> 0x20" identifier >> number_literal) )))) ;) (expression_statement "param_1[param_3 + (uVar4 - 2)] = (int)uVar2;" (assignment_expression "param_1[param_3 + (uVar4 - 2)] = (int)uVar2" (subscript_expression "param_1[param_3 + (uVar4 - 2)]" identifier [ (binary_expression "param_3 + (uVar4 - 2)" identifier + (parenthesized_expression "(uVar4 - 2)" ( (binary_expression "uVar4 - 2" identifier - number_literal) ))) ]) = (cast_expression "(int)uVar2" ( (type_descriptor "int" primitive_type) ) identifier)) ;) (expression_statement "lVar1 = (ulonglong)param_2[param_3 + (uVar4 - 1)] * (ulonglong)param_4 + (uVar2 >> 0x20);" (assignment_expression "lVar1 = (ulonglong)param_2[param_3 + (uVar4 - 1)] * (ulonglong)param_4 + (uVar2 >> 0x20)" identifier = (binary_expression "(ulonglong)param_2[param_3 + (uVar4 - 1)] * (ulonglong)param_4 + (uVar2 >> 0x20)" (binary_expression "(ulonglong)param_2[param_3 + (uVar4 - 1)] * (ulonglong)param_4" (cast_expression "(ulonglong)param_2[param_3 + (uVar4 - 1)]" ( (type_descriptor "ulonglong" type_identifier) ) (subscript_expression "param_2[param_3 + (uVar4 - 1)]" identifier [ (binary_expression "param_3 + (uVar4 - 1)" identifier + (parenthesized_expression "(uVar4 - 1)" ( (binary_expression "uVar4 - 1" identifier - number_literal) ))) ])) * (cast_expression "(ulonglong)param_4" ( (type_descriptor "ulonglong" type_identifier) ) identifier)) + (parenthesized_expression "(uVar2 >> 0x20)" ( (binary_expression "uVar2 >> 0x20" identifier >> number_literal) )))) ;) (expression_statement "uVar6 = (uint)((ulonglong)lVar1 >> 0x20);" (assignment_expression "uVar6 = (uint)((ulonglong)lVar1 >> 0x20)" identifier = (call_expression "(uint)((ulonglong)lVar1 >> 0x20)" (parenthesized_expression "(uint)" ( identifier )) (argument_list "((ulonglong)lVar1 >> 0x20)" ( (binary_expression "(ulonglong)lVar1 >> 0x20" (cast_expression "(ulonglong)lVar1" ( (type_descriptor "ulonglong" type_identifier) ) identifier) >> number_literal) )))) ;) (expression_statement "param_1[param_3 + (uVar4 - 1)] = (int)lVar1;" (assignment_expression "param_1[param_3 + (uVar4 - 1)] = (int)lVar1" (subscript_expression "param_1[param_3 + (uVar4 - 1)]" identifier [ (binary_expression "param_3 + (uVar4 - 1)" identifier + (parenthesized_expression "(uVar4 - 1)" ( (binary_expression "uVar4 - 1" identifier - number_literal) ))) ]) = (cast_expression "(int)lVar1" ( (type_descriptor "int" primitive_type) ) identifier)) ;) (expression_statement "uVar3 = param_2[param_3 + uVar4];" (assignment_expression "uVar3 = param_2[param_3 + uVar4]" identifier = (subscript_expression "param_2[param_3 + uVar4]" identifier [ (binary_expression "param_3 + uVar4" identifier + identifier) ])) ;) (expression_statement "uVar5 = uVar4 + 4;" (assignment_expression "uVar5 = uVar4 + 4" identifier = (binary_expression "uVar4 + 4" identifier + number_literal)) ;) }) while (parenthesized_expression "((int)uVar5 < 0)" ( (binary_expression "(int)uVar5 < 0" (cast_expression "(int)uVar5" ( (type_descriptor "int" primitive_type) ) identifier) < number_literal) )) ;) (if_statement "if ((uVar5 & 2) == 0) {\n    uVar2 = (ulonglong)uVar3 * (ulonglong)param_4 + (ulonglong)uVar6;\n    param_1[param_3 + uVar4] = (int)uVar2;\n    lVar1 = (ulonglong)param_2[param_3 + uVar4 + 1] * (ulonglong)param_4 + (uVar2 >> 0x20);\n    uVar6 = (uint)((ulonglong)lVar1 >> 0x20);\n    param_1[param_3 + uVar4 + 1] = (int)lVar1;\n    uVar3 = param_2[param_3 + uVar4 + 2];\n    uVar5 = uVar4 + 6;\n  }" if (parenthesized_expression "((uVar5 & 2) == 0)" ( (binary_expression "(uVar5 & 2) == 0" (parenthesized_expression "(uVar5 & 2)" ( (binary_expression "uVar5 & 2" identifier & number_literal) )) == number_literal) )) (compound_statement "{\n    uVar2 = (ulonglong)uVar3 * (ulonglong)param_4 + (ulonglong)uVar6;\n    param_1[param_3 + uVar4] = (int)uVar2;\n    lVar1 = (ulonglong)param_2[param_3 + uVar4 + 1] * (ulonglong)param_4 + (uVar2 >> 0x20);\n    uVar6 = (uint)((ulonglong)lVar1 >> 0x20);\n    param_1[param_3 + uVar4 + 1] = (int)lVar1;\n    uVar3 = param_2[param_3 + uVar4 + 2];\n    uVar5 = uVar4 + 6;\n  }" { (expression_statement "uVar2 = (ulonglong)uVar3 * (ulonglong)param_4 + (ulonglong)uVar6;" (assignment_expression "uVar2 = (ulonglong)uVar3 * (ulonglong)param_4 + (ulonglong)uVar6" identifier = (binary_expression "(ulonglong)uVar3 * (ulonglong)param_4 + (ulonglong)uVar6" (binary_expression "(ulonglong)uVar3 * (ulonglong)param_4" (cast_expression "(ulonglong)uVar3" ( (type_descriptor "ulonglong" type_identifier) ) identifier) * (cast_expression "(ulonglong)param_4" ( (type_descriptor "ulonglong" type_identifier) ) identifier)) + (cast_expression "(ulonglong)uVar6" ( (type_descriptor "ulonglong" type_identifier) ) identifier))) ;) (expression_statement "param_1[param_3 + uVar4] = (int)uVar2;" (assignment_expression "param_1[param_3 + uVar4] = (int)uVar2" (subscript_expression "param_1[param_3 + uVar4]" identifier [ (binary_expression "param_3 + uVar4" identifier + identifier) ]) = (cast_expression "(int)uVar2" ( (type_descriptor "int" primitive_type) ) identifier)) ;) (expression_statement "lVar1 = (ulonglong)param_2[param_3 + uVar4 + 1] * (ulonglong)param_4 + (uVar2 >> 0x20);" (assignment_expression "lVar1 = (ulonglong)param_2[param_3 + uVar4 + 1] * (ulonglong)param_4 + (uVar2 >> 0x20)" identifier = (binary_expression "(ulonglong)param_2[param_3 + uVar4 + 1] * (ulonglong)param_4 + (uVar2 >> 0x20)" (binary_expression "(ulonglong)param_2[param_3 + uVar4 + 1] * (ulonglong)param_4" (cast_expression "(ulonglong)param_2[param_3 + uVar4 + 1]" ( (type_descriptor "ulonglong" type_identifier) ) (subscript_expression "param_2[param_3 + uVar4 + 1]" identifier [ (binary_expression "param_3 + uVar4 + 1" (binary_expression "param_3 + uVar4" identifier + identifier) + number_literal) ])) * (cast_expression "(ulonglong)param_4" ( (type_descriptor "ulonglong" type_identifier) ) identifier)) + (parenthesized_expression "(uVar2 >> 0x20)" ( (binary_expression "uVar2 >> 0x20" identifier >> number_literal) )))) ;) (expression_statement "uVar6 = (uint)((ulonglong)lVar1 >> 0x20);" (assignment_expression "uVar6 = (uint)((ulonglong)lVar1 >> 0x20)" identifier = (call_expression "(uint)((ulonglong)lVar1 >> 0x20)" (parenthesized_expression "(uint)" ( identifier )) (argument_list "((ulonglong)lVar1 >> 0x20)" ( (binary_expression "(ulonglong)lVar1 >> 0x20" (cast_expression "(ulonglong)lVar1" ( (type_descriptor "ulonglong" type_identifier) ) identifier) >> number_literal) )))) ;) (expression_statement "param_1[param_3 + uVar4 + 1] = (int)lVar1;" (assignment_expression "param_1[param_3 + uVar4 + 1] = (int)lVar1" (subscript_expression "param_1[param_3 + uVar4 + 1]" identifier [ (binary_expression "param_3 + uVar4 + 1" (binary_expression "param_3 + uVar4" identifier + identifier) + number_literal) ]) = (cast_expression "(int)lVar1" ( (type_descriptor "int" primitive_type) ) identifier)) ;) (expression_statement "uVar3 = param_2[param_3 + uVar4 + 2];" (assignment_expression "uVar3 = param_2[param_3 + uVar4 + 2]" identifier = (subscript_expression "param_2[param_3 + uVar4 + 2]" identifier [ (binary_expression "param_3 + uVar4 + 2" (binary_expression "param_3 + uVar4" identifier + identifier) + number_literal) ])) ;) (expression_statement "uVar5 = uVar4 + 6;" (assignment_expression "uVar5 = uVar4 + 6" identifier = (binary_expression "uVar4 + 6" identifier + number_literal)) ;) })) (if_statement "if ((uVar5 & 1) == 0) {\n    lVar1 = (ulonglong)uVar3 * (ulonglong)param_4 + (ulonglong)uVar6;\n    uVar6 = (uint)((ulonglong)lVar1 >> 0x20);\n    param_1[param_3 - 2] = (int)lVar1;\n    uVar3 = param_2[param_3 - 1];\n  }" if (parenthesized_expression "((uVar5 & 1) == 0)" ( (binary_expression "(uVar5 & 1) == 0" (parenthesized_expression "(uVar5 & 1)" ( (binary_expression "uVar5 & 1" identifier & number_literal) )) == number_literal) )) (compound_statement "{\n    lVar1 = (ulonglong)uVar3 * (ulonglong)param_4 + (ulonglong)uVar6;\n    uVar6 = (uint)((ulonglong)lVar1 >> 0x20);\n    param_1[param_3 - 2] = (int)lVar1;\n    uVar3 = param_2[param_3 - 1];\n  }" { (expression_statement "lVar1 = (ulonglong)uVar3 * (ulonglong)param_4 + (ulonglong)uVar6;" (assignment_expression "lVar1 = (ulonglong)uVar3 * (ulonglong)param_4 + (ulonglong)uVar6" identifier = (binary_expression "(ulonglong)uVar3 * (ulonglong)param_4 + (ulonglong)uVar6" (binary_expression "(ulonglong)uVar3 * (ulonglong)param_4" (cast_expression "(ulonglong)uVar3" ( (type_descriptor "ulonglong" type_identifier) ) identifier) * (cast_expression "(ulonglong)param_4" ( (type_descriptor "ulonglong" type_identifier) ) identifier)) + (cast_expression "(ulonglong)uVar6" ( (type_descriptor "ulonglong" type_identifier) ) identifier))) ;) (expression_statement "uVar6 = (uint)((ulonglong)lVar1 >> 0x20);" (assignment_expression "uVar6 = (uint)((ulonglong)lVar1 >> 0x20)" identifier = (call_expression "(uint)((ulonglong)lVar1 >> 0x20)" (parenthesized_expression "(uint)" ( identifier )) (argument_list "((ulonglong)lVar1 >> 0x20)" ( (binary_expression "(ulonglong)lVar1 >> 0x20" (cast_expression "(ulonglong)lVar1" ( (type_descriptor "ulonglong" type_identifier) ) identifier) >> number_literal) )))) ;) (expression_statement "param_1[param_3 - 2] = (int)lVar1;" (assignment_expression "param_1[param_3 - 2] = (int)lVar1" (subscript_expression "param_1[param_3 - 2]" identifier [ (binary_expression "param_3 - 2" identifier - number_literal) ]) = (cast_expression "(int)lVar1" ( (type_descriptor "int" primitive_type) ) identifier)) ;) (expression_statement "uVar3 = param_2[param_3 - 1];" (assignment_expression "uVar3 = param_2[param_3 - 1]" identifier = (subscript_expression "param_2[param_3 - 1]" identifier [ (binary_expression "param_3 - 1" identifier - number_literal) ])) ;) })) (expression_statement "lVar1 = (ulonglong)uVar3 * (ulonglong)param_4 + (ulonglong)uVar6;" (assignment_expression "lVar1 = (ulonglong)uVar3 * (ulonglong)param_4 + (ulonglong)uVar6" identifier = (binary_expression "(ulonglong)uVar3 * (ulonglong)param_4 + (ulonglong)uVar6" (binary_expression "(ulonglong)uVar3 * (ulonglong)param_4" (cast_expression "(ulonglong)uVar3" ( (type_descriptor "ulonglong" type_identifier) ) identifier) * (cast_expression "(ulonglong)param_4" ( (type_descriptor "ulonglong" type_identifier) ) identifier)) + (cast_expression "(ulonglong)uVar6" ( (type_descriptor "ulonglong" type_identifier) ) identifier))) ;) (expression_statement "param_1[param_3 - 1] = (int)lVar1;" (assignment_expression "param_1[param_3 - 1] = (int)lVar1" (subscript_expression "param_1[param_3 - 1]" identifier [ (binary_expression "param_3 - 1" identifier - number_literal) ]) = (cast_expression "(int)lVar1" ( (type_descriptor "int" primitive_type) ) identifier)) ;) (return_statement "return (uint)((ulonglong)lVar1 >> 0x20);" return (call_expression "(uint)((ulonglong)lVar1 >> 0x20)" (parenthesized_expression "(uint)" ( identifier )) (argument_list "((ulonglong)lVar1 >> 0x20)" ( (binary_expression "(ulonglong)lVar1 >> 0x20" (cast_expression "(ulonglong)lVar1" ( (type_descriptor "ulonglong" type_identifier) ) identifier) >> number_literal) ))) ;) })))
(translation_unit "uint __gmpn_mul_1_k6(undefined4 *param_1,uint *param_2,uint param_3,uint param_4)\n\n{\n  longlong lVar1;\n  ulonglong uVar2;\n  uint uVar3;\n  uint uVar4;\n  uint uVar5;\n  uint uVar6;\n  \n  uVar6 = 0;\n  if (param_3 < 5) {\n    do {\n      uVar3 = *param_2;\n      param_2 = param_2 + 1;\n      lVar1 = (ulonglong)uVar3 * (ulonglong)param_4 + (ulonglong)uVar6;\n      uVar6 = (uint)((ulonglong)lVar1 >> 0x20);\n      *param_1 = (int)lVar1;\n      param_1 = param_1 + 1;\n      param_3 = param_3 - 1;\n    } while (param_3 != 0);\n    return uVar6;\n  }\n  uVar3 = *param_2;\n  uVar5 = -(param_3 - 4);\n  do {\n    uVar4 = uVar5;\n    uVar2 = (ulonglong)uVar3 * (ulonglong)param_4 + (ulonglong)uVar6;\n    param_1[param_3 + (uVar4 - 4)] = (int)uVar2;\n    uVar2 = (ulonglong)param_2[param_3 + (uVar4 - 3)] * (ulonglong)param_4 + (uVar2 >> 0x20);\n    param_1[param_3 + (uVar4 - 3)] = (int)uVar2;\n    uVar2 = (ulonglong)param_2[param_3 + (uVar4 - 2)] * (ulonglong)param_4 + (uVar2 >> 0x20);\n    param_1[param_3 + (uVar4 - 2)] = (int)uVar2;\n    lVar1 = (ulonglong)param_2[param_3 + (uVar4 - 1)] * (ulonglong)param_4 + (uVar2 >> 0x20);\n    uVar6 = (uint)((ulonglong)lVar1 >> 0x20);\n    param_1[param_3 + (uVar4 - 1)] = (int)lVar1;\n    uVar3 = param_2[param_3 + uVar4];\n    uVar5 = uVar4 + 4;\n  } while ((int)uVar5 < 0);\n  if ((uVar5 & 2) == 0) {\n    uVar2 = (ulonglong)uVar3 * (ulonglong)param_4 + (ulonglong)uVar6;\n    param_1[param_3 + uVar4] = (int)uVar2;\n    lVar1 = (ulonglong)param_2[param_3 + uVar4 + 1] * (ulonglong)param_4 + (uVar2 >> 0x20);\n    uVar6 = (uint)((ulonglong)lVar1 >> 0x20);\n    param_1[param_3 + uVar4 + 1] = (int)lVar1;\n    uVar3 = param_2[param_3 + uVar4 + 2];\n    uVar5 = uVar4 + 6;\n  }\n  if ((uVar5 & 1) == 0) {\n    lVar1 = (ulonglong)uVar3 * (ulonglong)param_4 + (ulonglong)uVar6;\n    uVar6 = (uint)((ulonglong)lVar1 >> 0x20);\n    param_1[param_3 - 2] = (int)lVar1;\n    uVar3 = param_2[param_3 - 1];\n  }\n  lVar1 = (ulonglong)uVar3 * (ulonglong)param_4 + (ulonglong)uVar6;\n  param_1[param_3 - 1] = (int)lVar1;\n  return (uint)((ulonglong)lVar1 >> 0x20);\n}\n\n" (function_definition "uint __gmpn_mul_1_k6(undefined4 *param_1,uint *param_2,uint param_3,uint param_4)\n\n{\n  longlong lVar1;\n  ulonglong uVar2;\n  uint uVar3;\n  uint uVar4;\n  uint uVar5;\n  uint uVar6;\n  \n  uVar6 = 0;\n  if (param_3 < 5) {\n    do {\n      uVar3 = *param_2;\n      param_2 = param_2 + 1;\n      lVar1 = (ulonglong)uVar3 * (ulonglong)param_4 + (ulonglong)uVar6;\n      uVar6 = (uint)((ulonglong)lVar1 >> 0x20);\n      *param_1 = (int)lVar1;\n      param_1 = param_1 + 1;\n      param_3 = param_3 - 1;\n    } while (param_3 != 0);\n    return uVar6;\n  }\n  uVar3 = *param_2;\n  uVar5 = -(param_3 - 4);\n  do {\n    uVar4 = uVar5;\n    uVar2 = (ulonglong)uVar3 * (ulonglong)param_4 + (ulonglong)uVar6;\n    param_1[param_3 + (uVar4 - 4)] = (int)uVar2;\n    uVar2 = (ulonglong)param_2[param_3 + (uVar4 - 3)] * (ulonglong)param_4 + (uVar2 >> 0x20);\n    param_1[param_3 + (uVar4 - 3)] = (int)uVar2;\n    uVar2 = (ulonglong)param_2[param_3 + (uVar4 - 2)] * (ulonglong)param_4 + (uVar2 >> 0x20);\n    param_1[param_3 + (uVar4 - 2)] = (int)uVar2;\n    lVar1 = (ulonglong)param_2[param_3 + (uVar4 - 1)] * (ulonglong)param_4 + (uVar2 >> 0x20);\n    uVar6 = (uint)((ulonglong)lVar1 >> 0x20);\n    param_1[param_3 + (uVar4 - 1)] = (int)lVar1;\n    uVar3 = param_2[param_3 + uVar4];\n    uVar5 = uVar4 + 4;\n  } while ((int)uVar5 < 0);\n  if ((uVar5 & 2) == 0) {\n    uVar2 = (ulonglong)uVar3 * (ulonglong)param_4 + (ulonglong)uVar6;\n    param_1[param_3 + uVar4] = (int)uVar2;\n    lVar1 = (ulonglong)param_2[param_3 + uVar4 + 1] * (ulonglong)param_4 + (uVar2 >> 0x20);\n    uVar6 = (uint)((ulonglong)lVar1 >> 0x20);\n    param_1[param_3 + uVar4 + 1] = (int)lVar1;\n    uVar3 = param_2[param_3 + uVar4 + 2];\n    uVar5 = uVar4 + 6;\n  }\n  if ((uVar5 & 1) == 0) {\n    lVar1 = (ulonglong)uVar3 * (ulonglong)param_4 + (ulonglong)uVar6;\n    uVar6 = (uint)((ulonglong)lVar1 >> 0x20);\n    param_1[param_3 - 2] = (int)lVar1;\n    uVar3 = param_2[param_3 - 1];\n  }\n  lVar1 = (ulonglong)uVar3 * (ulonglong)param_4 + (ulonglong)uVar6;\n  param_1[param_3 - 1] = (int)lVar1;\n  return (uint)((ulonglong)lVar1 >> 0x20);\n}" type_identifier (function_declarator "__gmpn_mul_1_k6(undefined4 *param_1,uint *param_2,uint param_3,uint param_4)" identifier (parameter_list "(undefined4 *param_1,uint *param_2,uint param_3,uint param_4)" ( (parameter_declaration "undefined4 *param_1" type_identifier (pointer_declarator "*param_1" * identifier)) , (parameter_declaration "uint *param_2" type_identifier (pointer_declarator "*param_2" * identifier)) , (parameter_declaration "uint param_3" type_identifier identifier) , (parameter_declaration "uint param_4" type_identifier identifier) ))) (compound_statement "{\n  longlong lVar1;\n  ulonglong uVar2;\n  uint uVar3;\n  uint uVar4;\n  uint uVar5;\n  uint uVar6;\n  \n  uVar6 = 0;\n  if (param_3 < 5) {\n    do {\n      uVar3 = *param_2;\n      param_2 = param_2 + 1;\n      lVar1 = (ulonglong)uVar3 * (ulonglong)param_4 + (ulonglong)uVar6;\n      uVar6 = (uint)((ulonglong)lVar1 >> 0x20);\n      *param_1 = (int)lVar1;\n      param_1 = param_1 + 1;\n      param_3 = param_3 - 1;\n    } while (param_3 != 0);\n    return uVar6;\n  }\n  uVar3 = *param_2;\n  uVar5 = -(param_3 - 4);\n  do {\n    uVar4 = uVar5;\n    uVar2 = (ulonglong)uVar3 * (ulonglong)param_4 + (ulonglong)uVar6;\n    param_1[param_3 + (uVar4 - 4)] = (int)uVar2;\n    uVar2 = (ulonglong)param_2[param_3 + (uVar4 - 3)] * (ulonglong)param_4 + (uVar2 >> 0x20);\n    param_1[param_3 + (uVar4 - 3)] = (int)uVar2;\n    uVar2 = (ulonglong)param_2[param_3 + (uVar4 - 2)] * (ulonglong)param_4 + (uVar2 >> 0x20);\n    param_1[param_3 + (uVar4 - 2)] = (int)uVar2;\n    lVar1 = (ulonglong)param_2[param_3 + (uVar4 - 1)] * (ulonglong)param_4 + (uVar2 >> 0x20);\n    uVar6 = (uint)((ulonglong)lVar1 >> 0x20);\n    param_1[param_3 + (uVar4 - 1)] = (int)lVar1;\n    uVar3 = param_2[param_3 + uVar4];\n    uVar5 = uVar4 + 4;\n  } while ((int)uVar5 < 0);\n  if ((uVar5 & 2) == 0) {\n    uVar2 = (ulonglong)uVar3 * (ulonglong)param_4 + (ulonglong)uVar6;\n    param_1[param_3 + uVar4] = (int)uVar2;\n    lVar1 = (ulonglong)param_2[param_3 + uVar4 + 1] * (ulonglong)param_4 + (uVar2 >> 0x20);\n    uVar6 = (uint)((ulonglong)lVar1 >> 0x20);\n    param_1[param_3 + uVar4 + 1] = (int)lVar1;\n    uVar3 = param_2[param_3 + uVar4 + 2];\n    uVar5 = uVar4 + 6;\n  }\n  if ((uVar5 & 1) == 0) {\n    lVar1 = (ulonglong)uVar3 * (ulonglong)param_4 + (ulonglong)uVar6;\n    uVar6 = (uint)((ulonglong)lVar1 >> 0x20);\n    param_1[param_3 - 2] = (int)lVar1;\n    uVar3 = param_2[param_3 - 1];\n  }\n  lVar1 = (ulonglong)uVar3 * (ulonglong)param_4 + (ulonglong)uVar6;\n  param_1[param_3 - 1] = (int)lVar1;\n  return (uint)((ulonglong)lVar1 >> 0x20);\n}" { (declaration "longlong lVar1;" type_identifier identifier ;) (declaration "ulonglong uVar2;" type_identifier identifier ;) (declaration "uint uVar3;" type_identifier identifier ;) (declaration "uint uVar4;" type_identifier identifier ;) (declaration "uint uVar5;" type_identifier identifier ;) (declaration "uint uVar6;" type_identifier identifier ;) (expression_statement "uVar6 = 0;" (assignment_expression "uVar6 = 0" identifier = number_literal) ;) (if_statement "if (param_3 < 5) {\n    do {\n      uVar3 = *param_2;\n      param_2 = param_2 + 1;\n      lVar1 = (ulonglong)uVar3 * (ulonglong)param_4 + (ulonglong)uVar6;\n      uVar6 = (uint)((ulonglong)lVar1 >> 0x20);\n      *param_1 = (int)lVar1;\n      param_1 = param_1 + 1;\n      param_3 = param_3 - 1;\n    } while (param_3 != 0);\n    return uVar6;\n  }" if (parenthesized_expression "(param_3 < 5)" ( (binary_expression "param_3 < 5" identifier < number_literal) )) (compound_statement "{\n    do {\n      uVar3 = *param_2;\n      param_2 = param_2 + 1;\n      lVar1 = (ulonglong)uVar3 * (ulonglong)param_4 + (ulonglong)uVar6;\n      uVar6 = (uint)((ulonglong)lVar1 >> 0x20);\n      *param_1 = (int)lVar1;\n      param_1 = param_1 + 1;\n      param_3 = param_3 - 1;\n    } while (param_3 != 0);\n    return uVar6;\n  }" { (do_statement "do {\n      uVar3 = *param_2;\n      param_2 = param_2 + 1;\n      lVar1 = (ulonglong)uVar3 * (ulonglong)param_4 + (ulonglong)uVar6;\n      uVar6 = (uint)((ulonglong)lVar1 >> 0x20);\n      *param_1 = (int)lVar1;\n      param_1 = param_1 + 1;\n      param_3 = param_3 - 1;\n    } while (param_3 != 0);" do (compound_statement "{\n      uVar3 = *param_2;\n      param_2 = param_2 + 1;\n      lVar1 = (ulonglong)uVar3 * (ulonglong)param_4 + (ulonglong)uVar6;\n      uVar6 = (uint)((ulonglong)lVar1 >> 0x20);\n      *param_1 = (int)lVar1;\n      param_1 = param_1 + 1;\n      param_3 = param_3 - 1;\n    }" { (expression_statement "uVar3 = *param_2;" (assignment_expression "uVar3 = *param_2" identifier = (pointer_expression "*param_2" * identifier)) ;) (expression_statement "param_2 = param_2 + 1;" (assignment_expression "param_2 = param_2 + 1" identifier = (binary_expression "param_2 + 1" identifier + number_literal)) ;) (expression_statement "lVar1 = (ulonglong)uVar3 * (ulonglong)param_4 + (ulonglong)uVar6;" (assignment_expression "lVar1 = (ulonglong)uVar3 * (ulonglong)param_4 + (ulonglong)uVar6" identifier = (binary_expression "(ulonglong)uVar3 * (ulonglong)param_4 + (ulonglong)uVar6" (binary_expression "(ulonglong)uVar3 * (ulonglong)param_4" (cast_expression "(ulonglong)uVar3" ( (type_descriptor "ulonglong" type_identifier) ) identifier) * (cast_expression "(ulonglong)param_4" ( (type_descriptor "ulonglong" type_identifier) ) identifier)) + (cast_expression "(ulonglong)uVar6" ( (type_descriptor "ulonglong" type_identifier) ) identifier))) ;) (expression_statement "uVar6 = (uint)((ulonglong)lVar1 >> 0x20);" (assignment_expression "uVar6 = (uint)((ulonglong)lVar1 >> 0x20)" identifier = (call_expression "(uint)((ulonglong)lVar1 >> 0x20)" (parenthesized_expression "(uint)" ( identifier )) (argument_list "((ulonglong)lVar1 >> 0x20)" ( (binary_expression "(ulonglong)lVar1 >> 0x20" (cast_expression "(ulonglong)lVar1" ( (type_descriptor "ulonglong" type_identifier) ) identifier) >> number_literal) )))) ;) (expression_statement "*param_1 = (int)lVar1;" (assignment_expression "*param_1 = (int)lVar1" (pointer_expression "*param_1" * identifier) = (cast_expression "(int)lVar1" ( (type_descriptor "int" primitive_type) ) identifier)) ;) (expression_statement "param_1 = param_1 + 1;" (assignment_expression "param_1 = param_1 + 1" identifier = (binary_expression "param_1 + 1" identifier + number_literal)) ;) (expression_statement "param_3 = param_3 - 1;" (assignment_expression "param_3 = param_3 - 1" identifier = (binary_expression "param_3 - 1" identifier - number_literal)) ;) }) while (parenthesized_expression "(param_3 != 0)" ( (binary_expression "param_3 != 0" identifier != number_literal) )) ;) (return_statement "return uVar6;" return identifier ;) })) (expression_statement "uVar3 = *param_2;" (assignment_expression "uVar3 = *param_2" identifier = (pointer_expression "*param_2" * identifier)) ;) (expression_statement "uVar5 = -(param_3 - 4);" (assignment_expression "uVar5 = -(param_3 - 4)" identifier = (unary_expression "-(param_3 - 4)" - (parenthesized_expression "(param_3 - 4)" ( (binary_expression "param_3 - 4" identifier - number_literal) )))) ;) (do_statement "do {\n    uVar4 = uVar5;\n    uVar2 = (ulonglong)uVar3 * (ulonglong)param_4 + (ulonglong)uVar6;\n    param_1[param_3 + (uVar4 - 4)] = (int)uVar2;\n    uVar2 = (ulonglong)param_2[param_3 + (uVar4 - 3)] * (ulonglong)param_4 + (uVar2 >> 0x20);\n    param_1[param_3 + (uVar4 - 3)] = (int)uVar2;\n    uVar2 = (ulonglong)param_2[param_3 + (uVar4 - 2)] * (ulonglong)param_4 + (uVar2 >> 0x20);\n    param_1[param_3 + (uVar4 - 2)] = (int)uVar2;\n    lVar1 = (ulonglong)param_2[param_3 + (uVar4 - 1)] * (ulonglong)param_4 + (uVar2 >> 0x20);\n    uVar6 = (uint)((ulonglong)lVar1 >> 0x20);\n    param_1[param_3 + (uVar4 - 1)] = (int)lVar1;\n    uVar3 = param_2[param_3 + uVar4];\n    uVar5 = uVar4 + 4;\n  } while ((int)uVar5 < 0);" do (compound_statement "{\n    uVar4 = uVar5;\n    uVar2 = (ulonglong)uVar3 * (ulonglong)param_4 + (ulonglong)uVar6;\n    param_1[param_3 + (uVar4 - 4)] = (int)uVar2;\n    uVar2 = (ulonglong)param_2[param_3 + (uVar4 - 3)] * (ulonglong)param_4 + (uVar2 >> 0x20);\n    param_1[param_3 + (uVar4 - 3)] = (int)uVar2;\n    uVar2 = (ulonglong)param_2[param_3 + (uVar4 - 2)] * (ulonglong)param_4 + (uVar2 >> 0x20);\n    param_1[param_3 + (uVar4 - 2)] = (int)uVar2;\n    lVar1 = (ulonglong)param_2[param_3 + (uVar4 - 1)] * (ulonglong)param_4 + (uVar2 >> 0x20);\n    uVar6 = (uint)((ulonglong)lVar1 >> 0x20);\n    param_1[param_3 + (uVar4 - 1)] = (int)lVar1;\n    uVar3 = param_2[param_3 + uVar4];\n    uVar5 = uVar4 + 4;\n  }" { (expression_statement "uVar4 = uVar5;" (assignment_expression "uVar4 = uVar5" identifier = identifier) ;) (expression_statement "uVar2 = (ulonglong)uVar3 * (ulonglong)param_4 + (ulonglong)uVar6;" (assignment_expression "uVar2 = (ulonglong)uVar3 * (ulonglong)param_4 + (ulonglong)uVar6" identifier = (binary_expression "(ulonglong)uVar3 * (ulonglong)param_4 + (ulonglong)uVar6" (binary_expression "(ulonglong)uVar3 * (ulonglong)param_4" (cast_expression "(ulonglong)uVar3" ( (type_descriptor "ulonglong" type_identifier) ) identifier) * (cast_expression "(ulonglong)param_4" ( (type_descriptor "ulonglong" type_identifier) ) identifier)) + (cast_expression "(ulonglong)uVar6" ( (type_descriptor "ulonglong" type_identifier) ) identifier))) ;) (expression_statement "param_1[param_3 + (uVar4 - 4)] = (int)uVar2;" (assignment_expression "param_1[param_3 + (uVar4 - 4)] = (int)uVar2" (subscript_expression "param_1[param_3 + (uVar4 - 4)]" identifier [ (binary_expression "param_3 + (uVar4 - 4)" identifier + (parenthesized_expression "(uVar4 - 4)" ( (binary_expression "uVar4 - 4" identifier - number_literal) ))) ]) = (cast_expression "(int)uVar2" ( (type_descriptor "int" primitive_type) ) identifier)) ;) (expression_statement "uVar2 = (ulonglong)param_2[param_3 + (uVar4 - 3)] * (ulonglong)param_4 + (uVar2 >> 0x20);" (assignment_expression "uVar2 = (ulonglong)param_2[param_3 + (uVar4 - 3)] * (ulonglong)param_4 + (uVar2 >> 0x20)" identifier = (binary_expression "(ulonglong)param_2[param_3 + (uVar4 - 3)] * (ulonglong)param_4 + (uVar2 >> 0x20)" (binary_expression "(ulonglong)param_2[param_3 + (uVar4 - 3)] * (ulonglong)param_4" (cast_expression "(ulonglong)param_2[param_3 + (uVar4 - 3)]" ( (type_descriptor "ulonglong" type_identifier) ) (subscript_expression "param_2[param_3 + (uVar4 - 3)]" identifier [ (binary_expression "param_3 + (uVar4 - 3)" identifier + (parenthesized_expression "(uVar4 - 3)" ( (binary_expression "uVar4 - 3" identifier - number_literal) ))) ])) * (cast_expression "(ulonglong)param_4" ( (type_descriptor "ulonglong" type_identifier) ) identifier)) + (parenthesized_expression "(uVar2 >> 0x20)" ( (binary_expression "uVar2 >> 0x20" identifier >> number_literal) )))) ;) (expression_statement "param_1[param_3 + (uVar4 - 3)] = (int)uVar2;" (assignment_expression "param_1[param_3 + (uVar4 - 3)] = (int)uVar2" (subscript_expression "param_1[param_3 + (uVar4 - 3)]" identifier [ (binary_expression "param_3 + (uVar4 - 3)" identifier + (parenthesized_expression "(uVar4 - 3)" ( (binary_expression "uVar4 - 3" identifier - number_literal) ))) ]) = (cast_expression "(int)uVar2" ( (type_descriptor "int" primitive_type) ) identifier)) ;) (expression_statement "uVar2 = (ulonglong)param_2[param_3 + (uVar4 - 2)] * (ulonglong)param_4 + (uVar2 >> 0x20);" (assignment_expression "uVar2 = (ulonglong)param_2[param_3 + (uVar4 - 2)] * (ulonglong)param_4 + (uVar2 >> 0x20)" identifier = (binary_expression "(ulonglong)param_2[param_3 + (uVar4 - 2)] * (ulonglong)param_4 + (uVar2 >> 0x20)" (binary_expression "(ulonglong)param_2[param_3 + (uVar4 - 2)] * (ulonglong)param_4" (cast_expression "(ulonglong)param_2[param_3 + (uVar4 - 2)]" ( (type_descriptor "ulonglong" type_identifier) ) (subscript_expression "param_2[param_3 + (uVar4 - 2)]" identifier [ (binary_expression "param_3 + (uVar4 - 2)" identifier + (parenthesized_expression "(uVar4 - 2)" ( (binary_expression "uVar4 - 2" identifier - number_literal) ))) ])) * (cast_expression "(ulonglong)param_4" ( (type_descriptor "ulonglong" type_identifier) ) identifier)) + (parenthesized_expression "(uVar2 >> 0x20)" ( (binary_expression "uVar2 >> 0x20" identifier >> number_literal) )))) ;) (expression_statement "param_1[param_3 + (uVar4 - 2)] = (int)uVar2;" (assignment_expression "param_1[param_3 + (uVar4 - 2)] = (int)uVar2" (subscript_expression "param_1[param_3 + (uVar4 - 2)]" identifier [ (binary_expression "param_3 + (uVar4 - 2)" identifier + (parenthesized_expression "(uVar4 - 2)" ( (binary_expression "uVar4 - 2" identifier - number_literal) ))) ]) = (cast_expression "(int)uVar2" ( (type_descriptor "int" primitive_type) ) identifier)) ;) (expression_statement "lVar1 = (ulonglong)param_2[param_3 + (uVar4 - 1)] * (ulonglong)param_4 + (uVar2 >> 0x20);" (assignment_expression "lVar1 = (ulonglong)param_2[param_3 + (uVar4 - 1)] * (ulonglong)param_4 + (uVar2 >> 0x20)" identifier = (binary_expression "(ulonglong)param_2[param_3 + (uVar4 - 1)] * (ulonglong)param_4 + (uVar2 >> 0x20)" (binary_expression "(ulonglong)param_2[param_3 + (uVar4 - 1)] * (ulonglong)param_4" (cast_expression "(ulonglong)param_2[param_3 + (uVar4 - 1)]" ( (type_descriptor "ulonglong" type_identifier) ) (subscript_expression "param_2[param_3 + (uVar4 - 1)]" identifier [ (binary_expression "param_3 + (uVar4 - 1)" identifier + (parenthesized_expression "(uVar4 - 1)" ( (binary_expression "uVar4 - 1" identifier - number_literal) ))) ])) * (cast_expression "(ulonglong)param_4" ( (type_descriptor "ulonglong" type_identifier) ) identifier)) + (parenthesized_expression "(uVar2 >> 0x20)" ( (binary_expression "uVar2 >> 0x20" identifier >> number_literal) )))) ;) (expression_statement "uVar6 = (uint)((ulonglong)lVar1 >> 0x20);" (assignment_expression "uVar6 = (uint)((ulonglong)lVar1 >> 0x20)" identifier = (call_expression "(uint)((ulonglong)lVar1 >> 0x20)" (parenthesized_expression "(uint)" ( identifier )) (argument_list "((ulonglong)lVar1 >> 0x20)" ( (binary_expression "(ulonglong)lVar1 >> 0x20" (cast_expression "(ulonglong)lVar1" ( (type_descriptor "ulonglong" type_identifier) ) identifier) >> number_literal) )))) ;) (expression_statement "param_1[param_3 + (uVar4 - 1)] = (int)lVar1;" (assignment_expression "param_1[param_3 + (uVar4 - 1)] = (int)lVar1" (subscript_expression "param_1[param_3 + (uVar4 - 1)]" identifier [ (binary_expression "param_3 + (uVar4 - 1)" identifier + (parenthesized_expression "(uVar4 - 1)" ( (binary_expression "uVar4 - 1" identifier - number_literal) ))) ]) = (cast_expression "(int)lVar1" ( (type_descriptor "int" primitive_type) ) identifier)) ;) (expression_statement "uVar3 = param_2[param_3 + uVar4];" (assignment_expression "uVar3 = param_2[param_3 + uVar4]" identifier = (subscript_expression "param_2[param_3 + uVar4]" identifier [ (binary_expression "param_3 + uVar4" identifier + identifier) ])) ;) (expression_statement "uVar5 = uVar4 + 4;" (assignment_expression "uVar5 = uVar4 + 4" identifier = (binary_expression "uVar4 + 4" identifier + number_literal)) ;) }) while (parenthesized_expression "((int)uVar5 < 0)" ( (binary_expression "(int)uVar5 < 0" (cast_expression "(int)uVar5" ( (type_descriptor "int" primitive_type) ) identifier) < number_literal) )) ;) (if_statement "if ((uVar5 & 2) == 0) {\n    uVar2 = (ulonglong)uVar3 * (ulonglong)param_4 + (ulonglong)uVar6;\n    param_1[param_3 + uVar4] = (int)uVar2;\n    lVar1 = (ulonglong)param_2[param_3 + uVar4 + 1] * (ulonglong)param_4 + (uVar2 >> 0x20);\n    uVar6 = (uint)((ulonglong)lVar1 >> 0x20);\n    param_1[param_3 + uVar4 + 1] = (int)lVar1;\n    uVar3 = param_2[param_3 + uVar4 + 2];\n    uVar5 = uVar4 + 6;\n  }" if (parenthesized_expression "((uVar5 & 2) == 0)" ( (binary_expression "(uVar5 & 2) == 0" (parenthesized_expression "(uVar5 & 2)" ( (binary_expression "uVar5 & 2" identifier & number_literal) )) == number_literal) )) (compound_statement "{\n    uVar2 = (ulonglong)uVar3 * (ulonglong)param_4 + (ulonglong)uVar6;\n    param_1[param_3 + uVar4] = (int)uVar2;\n    lVar1 = (ulonglong)param_2[param_3 + uVar4 + 1] * (ulonglong)param_4 + (uVar2 >> 0x20);\n    uVar6 = (uint)((ulonglong)lVar1 >> 0x20);\n    param_1[param_3 + uVar4 + 1] = (int)lVar1;\n    uVar3 = param_2[param_3 + uVar4 + 2];\n    uVar5 = uVar4 + 6;\n  }" { (expression_statement "uVar2 = (ulonglong)uVar3 * (ulonglong)param_4 + (ulonglong)uVar6;" (assignment_expression "uVar2 = (ulonglong)uVar3 * (ulonglong)param_4 + (ulonglong)uVar6" identifier = (binary_expression "(ulonglong)uVar3 * (ulonglong)param_4 + (ulonglong)uVar6" (binary_expression "(ulonglong)uVar3 * (ulonglong)param_4" (cast_expression "(ulonglong)uVar3" ( (type_descriptor "ulonglong" type_identifier) ) identifier) * (cast_expression "(ulonglong)param_4" ( (type_descriptor "ulonglong" type_identifier) ) identifier)) + (cast_expression "(ulonglong)uVar6" ( (type_descriptor "ulonglong" type_identifier) ) identifier))) ;) (expression_statement "param_1[param_3 + uVar4] = (int)uVar2;" (assignment_expression "param_1[param_3 + uVar4] = (int)uVar2" (subscript_expression "param_1[param_3 + uVar4]" identifier [ (binary_expression "param_3 + uVar4" identifier + identifier) ]) = (cast_expression "(int)uVar2" ( (type_descriptor "int" primitive_type) ) identifier)) ;) (expression_statement "lVar1 = (ulonglong)param_2[param_3 + uVar4 + 1] * (ulonglong)param_4 + (uVar2 >> 0x20);" (assignment_expression "lVar1 = (ulonglong)param_2[param_3 + uVar4 + 1] * (ulonglong)param_4 + (uVar2 >> 0x20)" identifier = (binary_expression "(ulonglong)param_2[param_3 + uVar4 + 1] * (ulonglong)param_4 + (uVar2 >> 0x20)" (binary_expression "(ulonglong)param_2[param_3 + uVar4 + 1] * (ulonglong)param_4" (cast_expression "(ulonglong)param_2[param_3 + uVar4 + 1]" ( (type_descriptor "ulonglong" type_identifier) ) (subscript_expression "param_2[param_3 + uVar4 + 1]" identifier [ (binary_expression "param_3 + uVar4 + 1" (binary_expression "param_3 + uVar4" identifier + identifier) + number_literal) ])) * (cast_expression "(ulonglong)param_4" ( (type_descriptor "ulonglong" type_identifier) ) identifier)) + (parenthesized_expression "(uVar2 >> 0x20)" ( (binary_expression "uVar2 >> 0x20" identifier >> number_literal) )))) ;) (expression_statement "uVar6 = (uint)((ulonglong)lVar1 >> 0x20);" (assignment_expression "uVar6 = (uint)((ulonglong)lVar1 >> 0x20)" identifier = (call_expression "(uint)((ulonglong)lVar1 >> 0x20)" (parenthesized_expression "(uint)" ( identifier )) (argument_list "((ulonglong)lVar1 >> 0x20)" ( (binary_expression "(ulonglong)lVar1 >> 0x20" (cast_expression "(ulonglong)lVar1" ( (type_descriptor "ulonglong" type_identifier) ) identifier) >> number_literal) )))) ;) (expression_statement "param_1[param_3 + uVar4 + 1] = (int)lVar1;" (assignment_expression "param_1[param_3 + uVar4 + 1] = (int)lVar1" (subscript_expression "param_1[param_3 + uVar4 + 1]" identifier [ (binary_expression "param_3 + uVar4 + 1" (binary_expression "param_3 + uVar4" identifier + identifier) + number_literal) ]) = (cast_expression "(int)lVar1" ( (type_descriptor "int" primitive_type) ) identifier)) ;) (expression_statement "uVar3 = param_2[param_3 + uVar4 + 2];" (assignment_expression "uVar3 = param_2[param_3 + uVar4 + 2]" identifier = (subscript_expression "param_2[param_3 + uVar4 + 2]" identifier [ (binary_expression "param_3 + uVar4 + 2" (binary_expression "param_3 + uVar4" identifier + identifier) + number_literal) ])) ;) (expression_statement "uVar5 = uVar4 + 6;" (assignment_expression "uVar5 = uVar4 + 6" identifier = (binary_expression "uVar4 + 6" identifier + number_literal)) ;) })) (if_statement "if ((uVar5 & 1) == 0) {\n    lVar1 = (ulonglong)uVar3 * (ulonglong)param_4 + (ulonglong)uVar6;\n    uVar6 = (uint)((ulonglong)lVar1 >> 0x20);\n    param_1[param_3 - 2] = (int)lVar1;\n    uVar3 = param_2[param_3 - 1];\n  }" if (parenthesized_expression "((uVar5 & 1) == 0)" ( (binary_expression "(uVar5 & 1) == 0" (parenthesized_expression "(uVar5 & 1)" ( (binary_expression "uVar5 & 1" identifier & number_literal) )) == number_literal) )) (compound_statement "{\n    lVar1 = (ulonglong)uVar3 * (ulonglong)param_4 + (ulonglong)uVar6;\n    uVar6 = (uint)((ulonglong)lVar1 >> 0x20);\n    param_1[param_3 - 2] = (int)lVar1;\n    uVar3 = param_2[param_3 - 1];\n  }" { (expression_statement "lVar1 = (ulonglong)uVar3 * (ulonglong)param_4 + (ulonglong)uVar6;" (assignment_expression "lVar1 = (ulonglong)uVar3 * (ulonglong)param_4 + (ulonglong)uVar6" identifier = (binary_expression "(ulonglong)uVar3 * (ulonglong)param_4 + (ulonglong)uVar6" (binary_expression "(ulonglong)uVar3 * (ulonglong)param_4" (cast_expression "(ulonglong)uVar3" ( (type_descriptor "ulonglong" type_identifier) ) identifier) * (cast_expression "(ulonglong)param_4" ( (type_descriptor "ulonglong" type_identifier) ) identifier)) + (cast_expression "(ulonglong)uVar6" ( (type_descriptor "ulonglong" type_identifier) ) identifier))) ;) (expression_statement "uVar6 = (uint)((ulonglong)lVar1 >> 0x20);" (assignment_expression "uVar6 = (uint)((ulonglong)lVar1 >> 0x20)" identifier = (call_expression "(uint)((ulonglong)lVar1 >> 0x20)" (parenthesized_expression "(uint)" ( identifier )) (argument_list "((ulonglong)lVar1 >> 0x20)" ( (binary_expression "(ulonglong)lVar1 >> 0x20" (cast_expression "(ulonglong)lVar1" ( (type_descriptor "ulonglong" type_identifier) ) identifier) >> number_literal) )))) ;) (expression_statement "param_1[param_3 - 2] = (int)lVar1;" (assignment_expression "param_1[param_3 - 2] = (int)lVar1" (subscript_expression "param_1[param_3 - 2]" identifier [ (binary_expression "param_3 - 2" identifier - number_literal) ]) = (cast_expression "(int)lVar1" ( (type_descriptor "int" primitive_type) ) identifier)) ;) (expression_statement "uVar3 = param_2[param_3 - 1];" (assignment_expression "uVar3 = param_2[param_3 - 1]" identifier = (subscript_expression "param_2[param_3 - 1]" identifier [ (binary_expression "param_3 - 1" identifier - number_literal) ])) ;) })) (expression_statement "lVar1 = (ulonglong)uVar3 * (ulonglong)param_4 + (ulonglong)uVar6;" (assignment_expression "lVar1 = (ulonglong)uVar3 * (ulonglong)param_4 + (ulonglong)uVar6" identifier = (binary_expression "(ulonglong)uVar3 * (ulonglong)param_4 + (ulonglong)uVar6" (binary_expression "(ulonglong)uVar3 * (ulonglong)param_4" (cast_expression "(ulonglong)uVar3" ( (type_descriptor "ulonglong" type_identifier) ) identifier) * (cast_expression "(ulonglong)param_4" ( (type_descriptor "ulonglong" type_identifier) ) identifier)) + (cast_expression "(ulonglong)uVar6" ( (type_descriptor "ulonglong" type_identifier) ) identifier))) ;) (expression_statement "param_1[param_3 - 1] = (int)lVar1;" (assignment_expression "param_1[param_3 - 1] = (int)lVar1" (subscript_expression "param_1[param_3 - 1]" identifier [ (binary_expression "param_3 - 1" identifier - number_literal) ]) = (cast_expression "(int)lVar1" ( (type_descriptor "int" primitive_type) ) identifier)) ;) (return_statement "return (uint)((ulonglong)lVar1 >> 0x20);" return (call_expression "(uint)((ulonglong)lVar1 >> 0x20)" (parenthesized_expression "(uint)" ( identifier )) (argument_list "((ulonglong)lVar1 >> 0x20)" ( (binary_expression "(ulonglong)lVar1 >> 0x20" (cast_expression "(ulonglong)lVar1" ( (type_descriptor "ulonglong" type_identifier) ) identifier) >> number_literal) ))) ;) })))
(translation_unit (function_definition TYPE (function_declarator IDENT (parameter_list ( (parameter_declaration TYPE (pointer_declarator * IDENT)) , (parameter_declaration TYPE (pointer_declarator * IDENT)) , (parameter_declaration TYPE IDENT) , (parameter_declaration TYPE IDENT) ))) (compound_statement { (declaration TYPE IDENT ;) (declaration TYPE IDENT ;) (declaration TYPE IDENT ;) (declaration TYPE IDENT ;) (declaration TYPE IDENT ;) (declaration TYPE IDENT ;) (expression_statement (assignment_expression IDENT = LIT) ;) (if_statement if (parenthesized_expression ( (binary_expression IDENT < LIT) )) (compound_statement { (do_statement do (compound_statement { (expression_statement (assignment_expression IDENT = (pointer_expression * IDENT)) ;) (expression_statement (assignment_expression IDENT = (binary_expression IDENT + LIT)) ;) (expression_statement (assignment_expression IDENT = (binary_expression (binary_expression (cast_expression ( (type_descriptor TYPE) ) IDENT) * (cast_expression ( (type_descriptor TYPE) ) IDENT)) + (cast_expression ( (type_descriptor TYPE) ) IDENT))) ;) (expression_statement (assignment_expression IDENT = (call_expression (parenthesized_expression ( IDENT )) (argument_list ( (binary_expression (cast_expression ( (type_descriptor TYPE) ) IDENT) >> LIT) )))) ;) (expression_statement (assignment_expression (pointer_expression * IDENT) = (cast_expression ( (type_descriptor TYPE) ) IDENT)) ;) (expression_statement (assignment_expression IDENT = (binary_expression IDENT + LIT)) ;) (expression_statement (assignment_expression IDENT = (binary_expression IDENT - LIT)) ;) }) while (parenthesized_expression ( (binary_expression IDENT != LIT) )) ;) (return_statement return IDENT ;) })) (expression_statement (assignment_expression IDENT = (pointer_expression * IDENT)) ;) (expression_statement (assignment_expression IDENT = (unary_expression - (parenthesized_expression ( (binary_expression IDENT - LIT) )))) ;) (do_statement do (compound_statement { (expression_statement (assignment_expression IDENT = IDENT) ;) (expression_statement (assignment_expression IDENT = (binary_expression (binary_expression (cast_expression ( (type_descriptor TYPE) ) IDENT) * (cast_expression ( (type_descriptor TYPE) ) IDENT)) + (cast_expression ( (type_descriptor TYPE) ) IDENT))) ;) (expression_statement (assignment_expression (subscript_expression IDENT [ (binary_expression IDENT + (parenthesized_expression ( (binary_expression 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 [ (binary_expression IDENT + (parenthesized_expression ( (binary_expression IDENT - LIT) ))) ])) * (cast_expression ( (type_descriptor TYPE) ) IDENT)) + (parenthesized_expression ( (binary_expression IDENT >> LIT) )))) ;) (expression_statement (assignment_expression (subscript_expression IDENT [ (binary_expression IDENT + (parenthesized_expression ( (binary_expression 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 [ (binary_expression IDENT + (parenthesized_expression ( (binary_expression IDENT - LIT) ))) ])) * (cast_expression ( (type_descriptor TYPE) ) IDENT)) + (parenthesized_expression ( (binary_expression IDENT >> LIT) )))) ;) (expression_statement (assignment_expression (subscript_expression IDENT [ (binary_expression IDENT + (parenthesized_expression ( (binary_expression 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 [ (binary_expression IDENT + (parenthesized_expression ( (binary_expression IDENT - LIT) ))) ])) * (cast_expression ( (type_descriptor TYPE) ) IDENT)) + (parenthesized_expression ( (binary_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 (subscript_expression IDENT [ (binary_expression IDENT + (parenthesized_expression ( (binary_expression IDENT - LIT) ))) ]) = (cast_expression ( (type_descriptor TYPE) ) IDENT)) ;) (expression_statement (assignment_expression IDENT = (subscript_expression IDENT [ (binary_expression IDENT + IDENT) ])) ;) (expression_statement (assignment_expression IDENT = (binary_expression IDENT + LIT)) ;) }) while (parenthesized_expression ( (binary_expression (cast_expression ( (type_descriptor TYPE) ) IDENT) < LIT) )) ;) (if_statement if (parenthesized_expression ( (binary_expression (parenthesized_expression ( (binary_expression IDENT & LIT) )) == LIT) )) (compound_statement { (expression_statement (assignment_expression IDENT = (binary_expression (binary_expression (cast_expression ( (type_descriptor TYPE) ) IDENT) * (cast_expression ( (type_descriptor TYPE) ) IDENT)) + (cast_expression ( (type_descriptor TYPE) ) IDENT))) ;) (expression_statement (assignment_expression (subscript_expression IDENT [ (binary_expression IDENT + IDENT) ]) = (cast_expression ( (type_descriptor TYPE) ) IDENT)) ;) (expression_statement (assignment_expression IDENT = (binary_expression (binary_expression (cast_expression ( (type_descriptor TYPE) ) (subscript_expression IDENT [ (binary_expression (binary_expression IDENT + IDENT) + LIT) ])) * (cast_expression ( (type_descriptor TYPE) ) IDENT)) + (parenthesized_expression ( (binary_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 (subscript_expression IDENT [ (binary_expression (binary_expression IDENT + IDENT) + LIT) ]) = (cast_expression ( (type_descriptor TYPE) ) IDENT)) ;) (expression_statement (assignment_expression IDENT = (subscript_expression IDENT [ (binary_expression (binary_expression IDENT + IDENT) + LIT) ])) ;) (expression_statement (assignment_expression IDENT = (binary_expression IDENT + LIT)) ;) })) (if_statement if (parenthesized_expression ( (binary_expression (parenthesized_expression ( (binary_expression IDENT & LIT) )) == LIT) )) (compound_statement { (expression_statement (assignment_expression IDENT = (binary_expression (binary_expression (cast_expression ( (type_descriptor TYPE) ) IDENT) * (cast_expression ( (type_descriptor TYPE) ) IDENT)) + (cast_expression ( (type_descriptor TYPE) ) IDENT))) ;) (expression_statement (assignment_expression IDENT = (call_expression (parenthesized_expression ( IDENT )) (argument_list ( (binary_expression (cast_expression ( (type_descriptor TYPE) ) IDENT) >> LIT) )))) ;) (expression_statement (assignment_expression (subscript_expression IDENT [ (binary_expression IDENT - LIT) ]) = (cast_expression ( (type_descriptor TYPE) ) IDENT)) ;) (expression_statement (assignment_expression IDENT = (subscript_expression IDENT [ (binary_expression IDENT - LIT) ])) ;) })) (expression_statement (assignment_expression IDENT = (binary_expression (binary_expression (cast_expression ( (type_descriptor TYPE) ) IDENT) * (cast_expression ( (type_descriptor TYPE) ) IDENT)) + (cast_expression ( (type_descriptor TYPE) ) IDENT))) ;) (expression_statement (assignment_expression (subscript_expression IDENT [ (binary_expression IDENT - LIT) ]) = (cast_expression ( (type_descriptor TYPE) ) IDENT)) ;) (return_statement return (call_expression (parenthesized_expression ( IDENT )) (argument_list ( (binary_expression (cast_expression ( (type_descriptor TYPE) ) IDENT) >> LIT) ))) ;) })))
(function_definition "uint __gmpn_mul_1_k6(undefined4 *param_1,uint *param_2,uint param_3,uint param_4)\n\n{\n  longlong lVar1;\n  ulonglong uVar2;\n  uint uVar3;\n  uint uVar4;\n  uint uVar5;\n  uint uVar6;\n  \n  uVar6 = 0;\n  if (param_3 < 5) {\n    do {\n      uVar3 = *param_2;\n      param_2 = param_2 + 1;\n      lVar1 = (ulonglong)uVar3 * (ulonglong)param_4 + (ulonglong)uVar6;\n      uVar6 = (uint)((ulonglong)lVar1 >> 0x20);\n      *param_1 = (int)lVar1;\n      param_1 = param_1 + 1;\n      param_3 = param_3 - 1;\n    } while (param_3 != 0);\n    return uVar6;\n  }\n  uVar3 = *param_2;\n  uVar5 = -(param_3 - 4);\n  do {\n    uVar4 = uVar5;\n    uVar2 = (ulonglong)uVar3 * (ulonglong)param_4 + (ulonglong)uVar6;\n    param_1[param_3 + (uVar4 - 4)] = (int)uVar2;\n    uVar2 = (ulonglong)param_2[param_3 + (uVar4 - 3)] * (ulonglong)param_4 + (uVar2 >> 0x20);\n    param_1[param_3 + (uVar4 - 3)] = (int)uVar2;\n    uVar2 = (ulonglong)param_2[param_3 + (uVar4 - 2)] * (ulonglong)param_4 + (uVar2 >> 0x20);\n    param_1[param_3 + (uVar4 - 2)] = (int)uVar2;\n    lVar1 = (ulonglong)param_2[param_3 + (uVar4 - 1)] * (ulonglong)param_4 + (uVar2 >> 0x20);\n    uVar6 = (uint)((ulonglong)lVar1 >> 0x20);\n    param_1[param_3 + (uVar4 - 1)] = (int)lVar1;\n    uVar3 = param_2[param_3 + uVar4];\n    uVar5 = uVar4 + 4;\n  } while ((int)uVar5 < 0);\n  if ((uVar5 & 2) == 0) {\n    uVar2 = (ulonglong)uVar3 * (ulonglong)param_4 + (ulonglong)uVar6;\n    param_1[param_3 + uVar4] = (int)uVar2;\n    lVar1 = (ulonglong)param_2[param_3 + uVar4 + 1] * (ulonglong)param_4 + (uVar2 >> 0x20);\n    uVar6 = (uint)((ulonglong)lVar1 >> 0x20);\n    param_1[param_3 + uVar4 + 1] = (int)lVar1;\n    uVar3 = param_2[param_3 + uVar4 + 2];\n    uVar5 = uVar4 + 6;\n  }\n  if ((uVar5 & 1) == 0) {\n    lVar1 = (ulonglong)uVar3 * (ulonglong)param_4 + (ulonglong)uVar6;\n    uVar6 = (uint)((ulonglong)lVar1 >> 0x20);\n    param_1[param_3 - 2] = (int)lVar1;\n    uVar3 = param_2[param_3 - 1];\n  }\n  lVar1 = (ulonglong)uVar3 * (ulonglong)param_4 + (ulonglong)uVar6;\n  param_1[param_3 - 1] = (int)lVar1;\n  return (uint)((ulonglong)lVar1 >> 0x20);\n}" (type_identifier "uint") (function_declarator "__gmpn_mul_1_k6(undefined4 *param_1,uint *param_2,uint param_3,uint param_4)" (identifier "__gmpn_mul_1_k6") (parameter_list "(undefined4 *param_1,uint *param_2,uint param_3,uint param_4)" (( "(") (parameter_declaration "undefined4 *param_1" (type_identifier "undefined4") (pointer_declarator "*param_1" (* "*") (identifier "param_1"))) (, ",") (parameter_declaration "uint *param_2" (type_identifier "uint") (pointer_declarator "*param_2" (* "*") (identifier "param_2"))) (, ",") (parameter_declaration "uint param_3" (type_identifier "uint") (identifier "param_3")) (, ",") (parameter_declaration "uint param_4" (type_identifier "uint") (identifier "param_4")) () ")"))) (compound_statement "{\n  longlong lVar1;\n  ulonglong uVar2;\n  uint uVar3;\n  uint uVar4;\n  uint uVar5;\n  uint uVar6;\n  \n  uVar6 = 0;\n  if (param_3 < 5) {\n    do {\n      uVar3 = *param_2;\n      param_2 = param_2 + 1;\n      lVar1 = (ulonglong)uVar3 * (ulonglong)param_4 + (ulonglong)uVar6;\n      uVar6 = (uint)((ulonglong)lVar1 >> 0x20);\n      *param_1 = (int)lVar1;\n      param_1 = param_1 + 1;\n      param_3 = param_3 - 1;\n    } while (param_3 != 0);\n    return uVar6;\n  }\n  uVar3 = *param_2;\n  uVar5 = -(param_3 - 4);\n  do {\n    uVar4 = uVar5;\n    uVar2 = (ulonglong)uVar3 * (ulonglong)param_4 + (ulonglong)uVar6;\n    param_1[param_3 + (uVar4 - 4)] = (int)uVar2;\n    uVar2 = (ulonglong)param_2[param_3 + (uVar4 - 3)] * (ulonglong)param_4 + (uVar2 >> 0x20);\n    param_1[param_3 + (uVar4 - 3)] = (int)uVar2;\n    uVar2 = (ulonglong)param_2[param_3 + (uVar4 - 2)] * (ulonglong)param_4 + (uVar2 >> 0x20);\n    param_1[param_3 + (uVar4 - 2)] = (int)uVar2;\n    lVar1 = (ulonglong)param_2[param_3 + (uVar4 - 1)] * (ulonglong)param_4 + (uVar2 >> 0x20);\n    uVar6 = (uint)((ulonglong)lVar1 >> 0x20);\n    param_1[param_3 + (uVar4 - 1)] = (int)lVar1;\n    uVar3 = param_2[param_3 + uVar4];\n    uVar5 = uVar4 + 4;\n  } while ((int)uVar5 < 0);\n  if ((uVar5 & 2) == 0) {\n    uVar2 = (ulonglong)uVar3 * (ulonglong)param_4 + (ulonglong)uVar6;\n    param_1[param_3 + uVar4] = (int)uVar2;\n    lVar1 = (ulonglong)param_2[param_3 + uVar4 + 1] * (ulonglong)param_4 + (uVar2 >> 0x20);\n    uVar6 = (uint)((ulonglong)lVar1 >> 0x20);\n    param_1[param_3 + uVar4 + 1] = (int)lVar1;\n    uVar3 = param_2[param_3 + uVar4 + 2];\n    uVar5 = uVar4 + 6;\n  }\n  if ((uVar5 & 1) == 0) {\n    lVar1 = (ulonglong)uVar3 * (ulonglong)param_4 + (ulonglong)uVar6;\n    uVar6 = (uint)((ulonglong)lVar1 >> 0x20);\n    param_1[param_3 - 2] = (int)lVar1;\n    uVar3 = param_2[param_3 - 1];\n  }\n  lVar1 = (ulonglong)uVar3 * (ulonglong)param_4 + (ulonglong)uVar6;\n  param_1[param_3 - 1] = (int)lVar1;\n  return (uint)((ulonglong)lVar1 >> 0x20);\n}" ({ "{") (declaration "longlong lVar1;" (type_identifier "longlong") (identifier "lVar1") (; ";")) (declaration "ulonglong uVar2;" (type_identifier "ulonglong") (identifier "uVar2") (; ";")) (declaration "uint uVar3;" (type_identifier "uint") (identifier "uVar3") (; ";")) (declaration "uint uVar4;" (type_identifier "uint") (identifier "uVar4") (; ";")) (declaration "uint uVar5;" (type_identifier "uint") (identifier "uVar5") (; ";")) (declaration "uint uVar6;" (type_identifier "uint") (identifier "uVar6") (; ";")) (expression_statement "uVar6 = 0;" (assignment_expression "uVar6 = 0" (identifier "uVar6") (= "=") (number_literal "0")) (; ";")) (if_statement "if (param_3 < 5) {\n    do {\n      uVar3 = *param_2;\n      param_2 = param_2 + 1;\n      lVar1 = (ulonglong)uVar3 * (ulonglong)param_4 + (ulonglong)uVar6;\n      uVar6 = (uint)((ulonglong)lVar1 >> 0x20);\n      *param_1 = (int)lVar1;\n      param_1 = param_1 + 1;\n      param_3 = param_3 - 1;\n    } while (param_3 != 0);\n    return uVar6;\n  }" (if "if") (parenthesized_expression "(param_3 < 5)" (( "(") (binary_expression "param_3 < 5" (identifier "param_3") (< "<") (number_literal "5")) () ")")) (compound_statement "{\n    do {\n      uVar3 = *param_2;\n      param_2 = param_2 + 1;\n      lVar1 = (ulonglong)uVar3 * (ulonglong)param_4 + (ulonglong)uVar6;\n      uVar6 = (uint)((ulonglong)lVar1 >> 0x20);\n      *param_1 = (int)lVar1;\n      param_1 = param_1 + 1;\n      param_3 = param_3 - 1;\n    } while (param_3 != 0);\n    return uVar6;\n  }" ({ "{") (do_statement "do {\n      uVar3 = *param_2;\n      param_2 = param_2 + 1;\n      lVar1 = (ulonglong)uVar3 * (ulonglong)param_4 + (ulonglong)uVar6;\n      uVar6 = (uint)((ulonglong)lVar1 >> 0x20);\n      *param_1 = (int)lVar1;\n      param_1 = param_1 + 1;\n      param_3 = param_3 - 1;\n    } while (param_3 != 0);" (do "do") (compound_statement "{\n      uVar3 = *param_2;\n      param_2 = param_2 + 1;\n      lVar1 = (ulonglong)uVar3 * (ulonglong)param_4 + (ulonglong)uVar6;\n      uVar6 = (uint)((ulonglong)lVar1 >> 0x20);\n      *param_1 = (int)lVar1;\n      param_1 = param_1 + 1;\n      param_3 = param_3 - 1;\n    }" ({ "{") (expression_statement "uVar3 = *param_2;" (assignment_expression "uVar3 = *param_2" (identifier "uVar3") (= "=") (pointer_expression "*param_2" (* "*") (identifier "param_2"))) (; ";")) (expression_statement "param_2 = param_2 + 1;" (assignment_expression "param_2 = param_2 + 1" (identifier "param_2") (= "=") (binary_expression "param_2 + 1" (identifier "param_2") (+ "+") (number_literal "1"))) (; ";")) (expression_statement "lVar1 = (ulonglong)uVar3 * (ulonglong)param_4 + (ulonglong)uVar6;" (assignment_expression "lVar1 = (ulonglong)uVar3 * (ulonglong)param_4 + (ulonglong)uVar6" (identifier "lVar1") (= "=") (binary_expression "(ulonglong)uVar3 * (ulonglong)param_4 + (ulonglong)uVar6" (binary_expression "(ulonglong)uVar3 * (ulonglong)param_4" (cast_expression "(ulonglong)uVar3" (( "(") (type_descriptor "ulonglong" (type_identifier "ulonglong")) () ")") (identifier "uVar3")) (* "*") (cast_expression "(ulonglong)param_4" (( "(") (type_descriptor "ulonglong" (type_identifier "ulonglong")) () ")") (identifier "param_4"))) (+ "+") (cast_expression "(ulonglong)uVar6" (( "(") (type_descriptor "ulonglong" (type_identifier "ulonglong")) () ")") (identifier "uVar6")))) (; ";")) (expression_statement "uVar6 = (uint)((ulonglong)lVar1 >> 0x20);" (assignment_expression "uVar6 = (uint)((ulonglong)lVar1 >> 0x20)" (identifier "uVar6") (= "=") (call_expression "(uint)((ulonglong)lVar1 >> 0x20)" (parenthesized_expression "(uint)" (( "(") (identifier "uint") () ")")) (argument_list "((ulonglong)lVar1 >> 0x20)" (( "(") (binary_expression "(ulonglong)lVar1 >> 0x20" (cast_expression "(ulonglong)lVar1" (( "(") (type_descriptor "ulonglong" (type_identifier "ulonglong")) () ")") (identifier "lVar1")) (>> ">>") (number_literal "0x20")) () ")")))) (; ";")) (expression_statement "*param_1 = (int)lVar1;" (assignment_expression "*param_1 = (int)lVar1" (pointer_expression "*param_1" (* "*") (identifier "param_1")) (= "=") (cast_expression "(int)lVar1" (( "(") (type_descriptor "int" (primitive_type "int")) () ")") (identifier "lVar1"))) (; ";")) (expression_statement "param_1 = param_1 + 1;" (assignment_expression "param_1 = param_1 + 1" (identifier "param_1") (= "=") (binary_expression "param_1 + 1" (identifier "param_1") (+ "+") (number_literal "1"))) (; ";")) (expression_statement "param_3 = param_3 - 1;" (assignment_expression "param_3 = param_3 - 1" (identifier "param_3") (= "=") (binary_expression "param_3 - 1" (identifier "param_3") (- "-") (number_literal "1"))) (; ";")) (} "}")) (while "while") (parenthesized_expression "(param_3 != 0)" (( "(") (binary_expression "param_3 != 0" (identifier "param_3") (!= "!=") (number_literal "0")) () ")")) (; ";")) (return_statement "return uVar6;" (return "return") (identifier "uVar6") (; ";")) (} "}"))) (expression_statement "uVar3 = *param_2;" (assignment_expression "uVar3 = *param_2" (identifier "uVar3") (= "=") (pointer_expression "*param_2" (* "*") (identifier "param_2"))) (; ";")) (expression_statement "uVar5 = -(param_3 - 4);" (assignment_expression "uVar5 = -(param_3 - 4)" (identifier "uVar5") (= "=") (unary_expression "-(param_3 - 4)" (- "-") (parenthesized_expression "(param_3 - 4)" (( "(") (binary_expression "param_3 - 4" (identifier "param_3") (- "-") (number_literal "4")) () ")")))) (; ";")) (do_statement "do {\n    uVar4 = uVar5;\n    uVar2 = (ulonglong)uVar3 * (ulonglong)param_4 + (ulonglong)uVar6;\n    param_1[param_3 + (uVar4 - 4)] = (int)uVar2;\n    uVar2 = (ulonglong)param_2[param_3 + (uVar4 - 3)] * (ulonglong)param_4 + (uVar2 >> 0x20);\n    param_1[param_3 + (uVar4 - 3)] = (int)uVar2;\n    uVar2 = (ulonglong)param_2[param_3 + (uVar4 - 2)] * (ulonglong)param_4 + (uVar2 >> 0x20);\n    param_1[param_3 + (uVar4 - 2)] = (int)uVar2;\n    lVar1 = (ulonglong)param_2[param_3 + (uVar4 - 1)] * (ulonglong)param_4 + (uVar2 >> 0x20);\n    uVar6 = (uint)((ulonglong)lVar1 >> 0x20);\n    param_1[param_3 + (uVar4 - 1)] = (int)lVar1;\n    uVar3 = param_2[param_3 + uVar4];\n    uVar5 = uVar4 + 4;\n  } while ((int)uVar5 < 0);" (do "do") (compound_statement "{\n    uVar4 = uVar5;\n    uVar2 = (ulonglong)uVar3 * (ulonglong)param_4 + (ulonglong)uVar6;\n    param_1[param_3 + (uVar4 - 4)] = (int)uVar2;\n    uVar2 = (ulonglong)param_2[param_3 + (uVar4 - 3)] * (ulonglong)param_4 + (uVar2 >> 0x20);\n    param_1[param_3 + (uVar4 - 3)] = (int)uVar2;\n    uVar2 = (ulonglong)param_2[param_3 + (uVar4 - 2)] * (ulonglong)param_4 + (uVar2 >> 0x20);\n    param_1[param_3 + (uVar4 - 2)] = (int)uVar2;\n    lVar1 = (ulonglong)param_2[param_3 + (uVar4 - 1)] * (ulonglong)param_4 + (uVar2 >> 0x20);\n    uVar6 = (uint)((ulonglong)lVar1 >> 0x20);\n    param_1[param_3 + (uVar4 - 1)] = (int)lVar1;\n    uVar3 = param_2[param_3 + uVar4];\n    uVar5 = uVar4 + 4;\n  }" ({ "{") (expression_statement "uVar4 = uVar5;" (assignment_expression "uVar4 = uVar5" (identifier "uVar4") (= "=") (identifier "uVar5")) (; ";")) (expression_statement "uVar2 = (ulonglong)uVar3 * (ulonglong)param_4 + (ulonglong)uVar6;" (assignment_expression "uVar2 = (ulonglong)uVar3 * (ulonglong)param_4 + (ulonglong)uVar6" (identifier "uVar2") (= "=") (binary_expression "(ulonglong)uVar3 * (ulonglong)param_4 + (ulonglong)uVar6" (binary_expression "(ulonglong)uVar3 * (ulonglong)param_4" (cast_expression "(ulonglong)uVar3" (( "(") (type_descriptor "ulonglong" (type_identifier "ulonglong")) () ")") (identifier "uVar3")) (* "*") (cast_expression "(ulonglong)param_4" (( "(") (type_descriptor "ulonglong" (type_identifier "ulonglong")) () ")") (identifier "param_4"))) (+ "+") (cast_expression "(ulonglong)uVar6" (( "(") (type_descriptor "ulonglong" (type_identifier "ulonglong")) () ")") (identifier "uVar6")))) (; ";")) (expression_statement "param_1[param_3 + (uVar4 - 4)] = (int)uVar2;" (assignment_expression "param_1[param_3 + (uVar4 - 4)] = (int)uVar2" (subscript_expression "param_1[param_3 + (uVar4 - 4)]" (identifier "param_1") ([ "[") (binary_expression "param_3 + (uVar4 - 4)" (identifier "param_3") (+ "+") (parenthesized_expression "(uVar4 - 4)" (( "(") (binary_expression "uVar4 - 4" (identifier "uVar4") (- "-") (number_literal "4")) () ")"))) (] "]")) (= "=") (cast_expression "(int)uVar2" (( "(") (type_descriptor "int" (primitive_type "int")) () ")") (identifier "uVar2"))) (; ";")) (expression_statement "uVar2 = (ulonglong)param_2[param_3 + (uVar4 - 3)] * (ulonglong)param_4 + (uVar2 >> 0x20);" (assignment_expression "uVar2 = (ulonglong)param_2[param_3 + (uVar4 - 3)] * (ulonglong)param_4 + (uVar2 >> 0x20)" (identifier "uVar2") (= "=") (binary_expression "(ulonglong)param_2[param_3 + (uVar4 - 3)] * (ulonglong)param_4 + (uVar2 >> 0x20)" (binary_expression "(ulonglong)param_2[param_3 + (uVar4 - 3)] * (ulonglong)param_4" (cast_expression "(ulonglong)param_2[param_3 + (uVar4 - 3)]" (( "(") (type_descriptor "ulonglong" (type_identifier "ulonglong")) () ")") (subscript_expression "param_2[param_3 + (uVar4 - 3)]" (identifier "param_2") ([ "[") (binary_expression "param_3 + (uVar4 - 3)" (identifier "param_3") (+ "+") (parenthesized_expression "(uVar4 - 3)" (( "(") (binary_expression "uVar4 - 3" (identifier "uVar4") (- "-") (number_literal "3")) () ")"))) (] "]"))) (* "*") (cast_expression "(ulonglong)param_4" (( "(") (type_descriptor "ulonglong" (type_identifier "ulonglong")) () ")") (identifier "param_4"))) (+ "+") (parenthesized_expression "(uVar2 >> 0x20)" (( "(") (binary_expression "uVar2 >> 0x20" (identifier "uVar2") (>> ">>") (number_literal "0x20")) () ")")))) (; ";")) (expression_statement "param_1[param_3 + (uVar4 - 3)] = (int)uVar2;" (assignment_expression "param_1[param_3 + (uVar4 - 3)] = (int)uVar2" (subscript_expression "param_1[param_3 + (uVar4 - 3)]" (identifier "param_1") ([ "[") (binary_expression "param_3 + (uVar4 - 3)" (identifier "param_3") (+ "+") (parenthesized_expression "(uVar4 - 3)" (( "(") (binary_expression "uVar4 - 3" (identifier "uVar4") (- "-") (number_literal "3")) () ")"))) (] "]")) (= "=") (cast_expression "(int)uVar2" (( "(") (type_descriptor "int" (primitive_type "int")) () ")") (identifier "uVar2"))) (; ";")) (expression_statement "uVar2 = (ulonglong)param_2[param_3 + (uVar4 - 2)] * (ulonglong)param_4 + (uVar2 >> 0x20);" (assignment_expression "uVar2 = (ulonglong)param_2[param_3 + (uVar4 - 2)] * (ulonglong)param_4 + (uVar2 >> 0x20)" (identifier "uVar2") (= "=") (binary_expression "(ulonglong)param_2[param_3 + (uVar4 - 2)] * (ulonglong)param_4 + (uVar2 >> 0x20)" (binary_expression "(ulonglong)param_2[param_3 + (uVar4 - 2)] * (ulonglong)param_4" (cast_expression "(ulonglong)param_2[param_3 + (uVar4 - 2)]" (( "(") (type_descriptor "ulonglong" (type_identifier "ulonglong")) () ")") (subscript_expression "param_2[param_3 + (uVar4 - 2)]" (identifier "param_2") ([ "[") (binary_expression "param_3 + (uVar4 - 2)" (identifier "param_3") (+ "+") (parenthesized_expression "(uVar4 - 2)" (( "(") (binary_expression "uVar4 - 2" (identifier "uVar4") (- "-") (number_literal "2")) () ")"))) (] "]"))) (* "*") (cast_expression "(ulonglong)param_4" (( "(") (type_descriptor "ulonglong" (type_identifier "ulonglong")) () ")") (identifier "param_4"))) (+ "+") (parenthesized_expression "(uVar2 >> 0x20)" (( "(") (binary_expression "uVar2 >> 0x20" (identifier "uVar2") (>> ">>") (number_literal "0x20")) () ")")))) (; ";")) (expression_statement "param_1[param_3 + (uVar4 - 2)] = (int)uVar2;" (assignment_expression "param_1[param_3 + (uVar4 - 2)] = (int)uVar2" (subscript_expression "param_1[param_3 + (uVar4 - 2)]" (identifier "param_1") ([ "[") (binary_expression "param_3 + (uVar4 - 2)" (identifier "param_3") (+ "+") (parenthesized_expression "(uVar4 - 2)" (( "(") (binary_expression "uVar4 - 2" (identifier "uVar4") (- "-") (number_literal "2")) () ")"))) (] "]")) (= "=") (cast_expression "(int)uVar2" (( "(") (type_descriptor "int" (primitive_type "int")) () ")") (identifier "uVar2"))) (; ";")) (expression_statement "lVar1 = (ulonglong)param_2[param_3 + (uVar4 - 1)] * (ulonglong)param_4 + (uVar2 >> 0x20);" (assignment_expression "lVar1 = (ulonglong)param_2[param_3 + (uVar4 - 1)] * (ulonglong)param_4 + (uVar2 >> 0x20)" (identifier "lVar1") (= "=") (binary_expression "(ulonglong)param_2[param_3 + (uVar4 - 1)] * (ulonglong)param_4 + (uVar2 >> 0x20)" (binary_expression "(ulonglong)param_2[param_3 + (uVar4 - 1)] * (ulonglong)param_4" (cast_expression "(ulonglong)param_2[param_3 + (uVar4 - 1)]" (( "(") (type_descriptor "ulonglong" (type_identifier "ulonglong")) () ")") (subscript_expression "param_2[param_3 + (uVar4 - 1)]" (identifier "param_2") ([ "[") (binary_expression "param_3 + (uVar4 - 1)" (identifier "param_3") (+ "+") (parenthesized_expression "(uVar4 - 1)" (( "(") (binary_expression "uVar4 - 1" (identifier "uVar4") (- "-") (number_literal "1")) () ")"))) (] "]"))) (* "*") (cast_expression "(ulonglong)param_4" (( "(") (type_descriptor "ulonglong" (type_identifier "ulonglong")) () ")") (identifier "param_4"))) (+ "+") (parenthesized_expression "(uVar2 >> 0x20)" (( "(") (binary_expression "uVar2 >> 0x20" (identifier "uVar2") (>> ">>") (number_literal "0x20")) () ")")))) (; ";")) (expression_statement "uVar6 = (uint)((ulonglong)lVar1 >> 0x20);" (assignment_expression "uVar6 = (uint)((ulonglong)lVar1 >> 0x20)" (identifier "uVar6") (= "=") (call_expression "(uint)((ulonglong)lVar1 >> 0x20)" (parenthesized_expression "(uint)" (( "(") (identifier "uint") () ")")) (argument_list "((ulonglong)lVar1 >> 0x20)" (( "(") (binary_expression "(ulonglong)lVar1 >> 0x20" (cast_expression "(ulonglong)lVar1" (( "(") (type_descriptor "ulonglong" (type_identifier "ulonglong")) () ")") (identifier "lVar1")) (>> ">>") (number_literal "0x20")) () ")")))) (; ";")) (expression_statement "param_1[param_3 + (uVar4 - 1)] = (int)lVar1;" (assignment_expression "param_1[param_3 + (uVar4 - 1)] = (int)lVar1" (subscript_expression "param_1[param_3 + (uVar4 - 1)]" (identifier "param_1") ([ "[") (binary_expression "param_3 + (uVar4 - 1)" (identifier "param_3") (+ "+") (parenthesized_expression "(uVar4 - 1)" (( "(") (binary_expression "uVar4 - 1" (identifier "uVar4") (- "-") (number_literal "1")) () ")"))) (] "]")) (= "=") (cast_expression "(int)lVar1" (( "(") (type_descriptor "int" (primitive_type "int")) () ")") (identifier "lVar1"))) (; ";")) (expression_statement "uVar3 = param_2[param_3 + uVar4];" (assignment_expression "uVar3 = param_2[param_3 + uVar4]" (identifier "uVar3") (= "=") (subscript_expression "param_2[param_3 + uVar4]" (identifier "param_2") ([ "[") (binary_expression "param_3 + uVar4" (identifier "param_3") (+ "+") (identifier "uVar4")) (] "]"))) (; ";")) (expression_statement "uVar5 = uVar4 + 4;" (assignment_expression "uVar5 = uVar4 + 4" (identifier "uVar5") (= "=") (binary_expression "uVar4 + 4" (identifier "uVar4") (+ "+") (number_literal "4"))) (; ";")) (} "}")) (while "while") (parenthesized_expression "((int)uVar5 < 0)" (( "(") (binary_expression "(int)uVar5 < 0" (cast_expression "(int)uVar5" (( "(") (type_descriptor "int" (primitive_type "int")) () ")") (identifier "uVar5")) (< "<") (number_literal "0")) () ")")) (; ";")) (if_statement "if ((uVar5 & 2) == 0) {\n    uVar2 = (ulonglong)uVar3 * (ulonglong)param_4 + (ulonglong)uVar6;\n    param_1[param_3 + uVar4] = (int)uVar2;\n    lVar1 = (ulonglong)param_2[param_3 + uVar4 + 1] * (ulonglong)param_4 + (uVar2 >> 0x20);\n    uVar6 = (uint)((ulonglong)lVar1 >> 0x20);\n    param_1[param_3 + uVar4 + 1] = (int)lVar1;\n    uVar3 = param_2[param_3 + uVar4 + 2];\n    uVar5 = uVar4 + 6;\n  }" (if "if") (parenthesized_expression "((uVar5 & 2) == 0)" (( "(") (binary_expression "(uVar5 & 2) == 0" (parenthesized_expression "(uVar5 & 2)" (( "(") (binary_expression "uVar5 & 2" (identifier "uVar5") (& "&") (number_literal "2")) () ")")) (== "==") (number_literal "0")) () ")")) (compound_statement "{\n    uVar2 = (ulonglong)uVar3 * (ulonglong)param_4 + (ulonglong)uVar6;\n    param_1[param_3 + uVar4] = (int)uVar2;\n    lVar1 = (ulonglong)param_2[param_3 + uVar4 + 1] * (ulonglong)param_4 + (uVar2 >> 0x20);\n    uVar6 = (uint)((ulonglong)lVar1 >> 0x20);\n    param_1[param_3 + uVar4 + 1] = (int)lVar1;\n    uVar3 = param_2[param_3 + uVar4 + 2];\n    uVar5 = uVar4 + 6;\n  }" ({ "{") (expression_statement "uVar2 = (ulonglong)uVar3 * (ulonglong)param_4 + (ulonglong)uVar6;" (assignment_expression "uVar2 = (ulonglong)uVar3 * (ulonglong)param_4 + (ulonglong)uVar6" (identifier "uVar2") (= "=") (binary_expression "(ulonglong)uVar3 * (ulonglong)param_4 + (ulonglong)uVar6" (binary_expression "(ulonglong)uVar3 * (ulonglong)param_4" (cast_expression "(ulonglong)uVar3" (( "(") (type_descriptor "ulonglong" (type_identifier "ulonglong")) () ")") (identifier "uVar3")) (* "*") (cast_expression "(ulonglong)param_4" (( "(") (type_descriptor "ulonglong" (type_identifier "ulonglong")) () ")") (identifier "param_4"))) (+ "+") (cast_expression "(ulonglong)uVar6" (( "(") (type_descriptor "ulonglong" (type_identifier "ulonglong")) () ")") (identifier "uVar6")))) (; ";")) (expression_statement "param_1[param_3 + uVar4] = (int)uVar2;" (assignment_expression "param_1[param_3 + uVar4] = (int)uVar2" (subscript_expression "param_1[param_3 + uVar4]" (identifier "param_1") ([ "[") (binary_expression "param_3 + uVar4" (identifier "param_3") (+ "+") (identifier "uVar4")) (] "]")) (= "=") (cast_expression "(int)uVar2" (( "(") (type_descriptor "int" (primitive_type "int")) () ")") (identifier "uVar2"))) (; ";")) (expression_statement "lVar1 = (ulonglong)param_2[param_3 + uVar4 + 1] * (ulonglong)param_4 + (uVar2 >> 0x20);" (assignment_expression "lVar1 = (ulonglong)param_2[param_3 + uVar4 + 1] * (ulonglong)param_4 + (uVar2 >> 0x20)" (identifier "lVar1") (= "=") (binary_expression "(ulonglong)param_2[param_3 + uVar4 + 1] * (ulonglong)param_4 + (uVar2 >> 0x20)" (binary_expression "(ulonglong)param_2[param_3 + uVar4 + 1] * (ulonglong)param_4" (cast_expression "(ulonglong)param_2[param_3 + uVar4 + 1]" (( "(") (type_descriptor "ulonglong" (type_identifier "ulonglong")) () ")") (subscript_expression "param_2[param_3 + uVar4 + 1]" (identifier "param_2") ([ "[") (binary_expression "param_3 + uVar4 + 1" (binary_expression "param_3 + uVar4" (identifier "param_3") (+ "+") (identifier "uVar4")) (+ "+") (number_literal "1")) (] "]"))) (* "*") (cast_expression "(ulonglong)param_4" (( "(") (type_descriptor "ulonglong" (type_identifier "ulonglong")) () ")") (identifier "param_4"))) (+ "+") (parenthesized_expression "(uVar2 >> 0x20)" (( "(") (binary_expression "uVar2 >> 0x20" (identifier "uVar2") (>> ">>") (number_literal "0x20")) () ")")))) (; ";")) (expression_statement "uVar6 = (uint)((ulonglong)lVar1 >> 0x20);" (assignment_expression "uVar6 = (uint)((ulonglong)lVar1 >> 0x20)" (identifier "uVar6") (= "=") (call_expression "(uint)((ulonglong)lVar1 >> 0x20)" (parenthesized_expression "(uint)" (( "(") (identifier "uint") () ")")) (argument_list "((ulonglong)lVar1 >> 0x20)" (( "(") (binary_expression "(ulonglong)lVar1 >> 0x20" (cast_expression "(ulonglong)lVar1" (( "(") (type_descriptor "ulonglong" (type_identifier "ulonglong")) () ")") (identifier "lVar1")) (>> ">>") (number_literal "0x20")) () ")")))) (; ";")) (expression_statement "param_1[param_3 + uVar4 + 1] = (int)lVar1;" (assignment_expression "param_1[param_3 + uVar4 + 1] = (int)lVar1" (subscript_expression "param_1[param_3 + uVar4 + 1]" (identifier "param_1") ([ "[") (binary_expression "param_3 + uVar4 + 1" (binary_expression "param_3 + uVar4" (identifier "param_3") (+ "+") (identifier "uVar4")) (+ "+") (number_literal "1")) (] "]")) (= "=") (cast_expression "(int)lVar1" (( "(") (type_descriptor "int" (primitive_type "int")) () ")") (identifier "lVar1"))) (; ";")) (expression_statement "uVar3 = param_2[param_3 + uVar4 + 2];" (assignment_expression "uVar3 = param_2[param_3 + uVar4 + 2]" (identifier "uVar3") (= "=") (subscript_expression "param_2[param_3 + uVar4 + 2]" (identifier "param_2") ([ "[") (binary_expression "param_3 + uVar4 + 2" (binary_expression "param_3 + uVar4" (identifier "param_3") (+ "+") (identifier "uVar4")) (+ "+") (number_literal "2")) (] "]"))) (; ";")) (expression_statement "uVar5 = uVar4 + 6;" (assignment_expression "uVar5 = uVar4 + 6" (identifier "uVar5") (= "=") (binary_expression "uVar4 + 6" (identifier "uVar4") (+ "+") (number_literal "6"))) (; ";")) (} "}"))) (if_statement "if ((uVar5 & 1) == 0) {\n    lVar1 = (ulonglong)uVar3 * (ulonglong)param_4 + (ulonglong)uVar6;\n    uVar6 = (uint)((ulonglong)lVar1 >> 0x20);\n    param_1[param_3 - 2] = (int)lVar1;\n    uVar3 = param_2[param_3 - 1];\n  }" (if "if") (parenthesized_expression "((uVar5 & 1) == 0)" (( "(") (binary_expression "(uVar5 & 1) == 0" (parenthesized_expression "(uVar5 & 1)" (( "(") (binary_expression "uVar5 & 1" (identifier "uVar5") (& "&") (number_literal "1")) () ")")) (== "==") (number_literal "0")) () ")")) (compound_statement "{\n    lVar1 = (ulonglong)uVar3 * (ulonglong)param_4 + (ulonglong)uVar6;\n    uVar6 = (uint)((ulonglong)lVar1 >> 0x20);\n    param_1[param_3 - 2] = (int)lVar1;\n    uVar3 = param_2[param_3 - 1];\n  }" ({ "{") (expression_statement "lVar1 = (ulonglong)uVar3 * (ulonglong)param_4 + (ulonglong)uVar6;" (assignment_expression "lVar1 = (ulonglong)uVar3 * (ulonglong)param_4 + (ulonglong)uVar6" (identifier "lVar1") (= "=") (binary_expression "(ulonglong)uVar3 * (ulonglong)param_4 + (ulonglong)uVar6" (binary_expression "(ulonglong)uVar3 * (ulonglong)param_4" (cast_expression "(ulonglong)uVar3" (( "(") (type_descriptor "ulonglong" (type_identifier "ulonglong")) () ")") (identifier "uVar3")) (* "*") (cast_expression "(ulonglong)param_4" (( "(") (type_descriptor "ulonglong" (type_identifier "ulonglong")) () ")") (identifier "param_4"))) (+ "+") (cast_expression "(ulonglong)uVar6" (( "(") (type_descriptor "ulonglong" (type_identifier "ulonglong")) () ")") (identifier "uVar6")))) (; ";")) (expression_statement "uVar6 = (uint)((ulonglong)lVar1 >> 0x20);" (assignment_expression "uVar6 = (uint)((ulonglong)lVar1 >> 0x20)" (identifier "uVar6") (= "=") (call_expression "(uint)((ulonglong)lVar1 >> 0x20)" (parenthesized_expression "(uint)" (( "(") (identifier "uint") () ")")) (argument_list "((ulonglong)lVar1 >> 0x20)" (( "(") (binary_expression "(ulonglong)lVar1 >> 0x20" (cast_expression "(ulonglong)lVar1" (( "(") (type_descriptor "ulonglong" (type_identifier "ulonglong")) () ")") (identifier "lVar1")) (>> ">>") (number_literal "0x20")) () ")")))) (; ";")) (expression_statement "param_1[param_3 - 2] = (int)lVar1;" (assignment_expression "param_1[param_3 - 2] = (int)lVar1" (subscript_expression "param_1[param_3 - 2]" (identifier "param_1") ([ "[") (binary_expression "param_3 - 2" (identifier "param_3") (- "-") (number_literal "2")) (] "]")) (= "=") (cast_expression "(int)lVar1" (( "(") (type_descriptor "int" (primitive_type "int")) () ")") (identifier "lVar1"))) (; ";")) (expression_statement "uVar3 = param_2[param_3 - 1];" (assignment_expression "uVar3 = param_2[param_3 - 1]" (identifier "uVar3") (= "=") (subscript_expression "param_2[param_3 - 1]" (identifier "param_2") ([ "[") (binary_expression "param_3 - 1" (identifier "param_3") (- "-") (number_literal "1")) (] "]"))) (; ";")) (} "}"))) (expression_statement "lVar1 = (ulonglong)uVar3 * (ulonglong)param_4 + (ulonglong)uVar6;" (assignment_expression "lVar1 = (ulonglong)uVar3 * (ulonglong)param_4 + (ulonglong)uVar6" (identifier "lVar1") (= "=") (binary_expression "(ulonglong)uVar3 * (ulonglong)param_4 + (ulonglong)uVar6" (binary_expression "(ulonglong)uVar3 * (ulonglong)param_4" (cast_expression "(ulonglong)uVar3" (( "(") (type_descriptor "ulonglong" (type_identifier "ulonglong")) () ")") (identifier "uVar3")) (* "*") (cast_expression "(ulonglong)param_4" (( "(") (type_descriptor "ulonglong" (type_identifier "ulonglong")) () ")") (identifier "param_4"))) (+ "+") (cast_expression "(ulonglong)uVar6" (( "(") (type_descriptor "ulonglong" (type_identifier "ulonglong")) () ")") (identifier "uVar6")))) (; ";")) (expression_statement "param_1[param_3 - 1] = (int)lVar1;" (assignment_expression "param_1[param_3 - 1] = (int)lVar1" (subscript_expression "param_1[param_3 - 1]" (identifier "param_1") ([ "[") (binary_expression "param_3 - 1" (identifier "param_3") (- "-") (number_literal "1")) (] "]")) (= "=") (cast_expression "(int)lVar1" (( "(") (type_descriptor "int" (primitive_type "int")) () ")") (identifier "lVar1"))) (; ";")) (return_statement "return (uint)((ulonglong)lVar1 >> 0x20);" (return "return") (call_expression "(uint)((ulonglong)lVar1 >> 0x20)" (parenthesized_expression "(uint)" (( "(") (identifier "uint") () ")")) (argument_list "((ulonglong)lVar1 >> 0x20)" (( "(") (binary_expression "(ulonglong)lVar1 >> 0x20" (cast_expression "(ulonglong)lVar1" (( "(") (type_descriptor "ulonglong" (type_identifier "ulonglong")) () ")") (identifier "lVar1")) (>> ">>") (number_literal "0x20")) () ")"))) (; ";")) (} "}")))

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

{
  type_3 lVar1;
  type_4 var_5;
  type_1 uVar3;
  type_1 var_4;
  type_1 var_6;
  type_1 uVar6;
  
  uVar6 = 0;
  if (var_1 < 5) {
    do {
      uVar3 = *var_2;
      var_2 = var_2 + 1;
      lVar1 = (type_4)uVar3 * (type_4)param_4 + (type_4)uVar6;
      uVar6 = (type_1)((type_4)lVar1 >> 0x20);
      *var_3 = (int)lVar1;
      var_3 = var_3 + 1;
      var_1 = var_1 - 1;
    } while (var_1 != 0);
    return uVar6;
  }
  uVar3 = *var_2;
  var_6 = -(var_1 - 4);
  do {
    var_4 = var_6;
    var_5 = (type_4)uVar3 * (type_4)param_4 + (type_4)uVar6;
    var_3[var_1 + (var_4 - 4)] = (int)var_5;
    var_5 = (type_4)var_2[var_1 + (var_4 - 3)] * (type_4)param_4 + (var_5 >> 0x20);
    var_3[var_1 + (var_4 - 3)] = (int)var_5;
    var_5 = (type_4)var_2[var_1 + (var_4 - 2)] * (type_4)param_4 + (var_5 >> 0x20);
    var_3[var_1 + (var_4 - 2)] = (int)var_5;
    lVar1 = (type_4)var_2[var_1 + (var_4 - 1)] * (type_4)param_4 + (var_5 >> 0x20);
    uVar6 = (type_1)((type_4)lVar1 >> 0x20);
    var_3[var_1 + (var_4 - 1)] = (int)lVar1;
    uVar3 = var_2[var_1 + var_4];
    var_6 = var_4 + 4;
  } while ((int)var_6 < 0);
  if ((var_6 & 2) == 0) {
    var_5 = (type_4)uVar3 * (type_4)param_4 + (type_4)uVar6;
    var_3[var_1 + var_4] = (int)var_5;
    lVar1 = (type_4)var_2[var_1 + var_4 + 1] * (type_4)param_4 + (var_5 >> 0x20);
    uVar6 = (type_1)((type_4)lVar1 >> 0x20);
    var_3[var_1 + var_4 + 1] = (int)lVar1;
    uVar3 = var_2[var_1 + var_4 + 2];
    var_6 = var_4 + 6;
  }
  if ((var_6 & 1) == 0) {
    lVar1 = (type_4)uVar3 * (type_4)param_4 + (type_4)uVar6;
    uVar6 = (type_1)((type_4)lVar1 >> 0x20);
    var_3[var_1 - 2] = (int)lVar1;
    uVar3 = var_2[var_1 - 1];
  }
  lVar1 = (type_4)uVar3 * (type_4)param_4 + (type_4)uVar6;
  var_3[var_1 - 1] = (int)lVar1;
  return (type_1)((type_4)lVar1 >> 0x20);
}


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

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

{
  longlong lVar1;
  ulonglong uVar2;
  uint uVar3;
  uint uVar4;
  uint uVar5;
  uint uVar6;
  
  uVar6 = 0;
  if (param_3 < 5) {
    do {
      uVar3 = *param_2;
      param_2 = param_2 + 1;
      lVar1 = (ulonglong)uVar3 * (ulonglong)param_4 + (ulonglong)uVar6;
      uVar6 = (uint)((ulonglong)lVar1 >> 0x20);
      *param_1 = (int)lVar1;
      param_1 = param_1 + 1;
      param_3 = param_3 - 1;
    } while (param_3 != 0);
    return uVar6;
  }
  uVar3 = *param_2;
  uVar5 = -(param_3 - 4);
  do {
    uVar4 = uVar5;
    uVar2 = (ulonglong)uVar3 * (ulonglong)param_4 + (ulonglong)uVar6;
    param_1[param_3 + (uVar4 - 4)] = (int)uVar2;
    uVar2 = (ulonglong)param_2[param_3 + (uVar4 - 3)] * (ulonglong)param_4 + (uVar2 >> 0x20);
    param_1[param_3 + (uVar4 - 3)] = (int)uVar2;
    uVar2 = (ulonglong)param_2[param_3 + (uVar4 - 2)] * (ulonglong)param_4 + (uVar2 >> 0x20);
    param_1[param_3 + (uVar4 - 2)] = (int)uVar2;
    lVar1 = (ulonglong)param_2[param_3 + (uVar4 - 1)] * (ulonglong)param_4 + (uVar2 >> 0x20);
    uVar6 = (uint)((ulonglong)lVar1 >> 0x20);
    param_1[param_3 + (uVar4 - 1)] = (int)lVar1;
    uVar3 = param_2[param_3 + uVar4];
    uVar5 = uVar4 + 4;
  } while ((int)uVar5 < 0);
  if ((uVar5 & 2) == 0) {
    uVar2 = (ulonglong)uVar3 * (ulonglong)param_4 + (ulonglong)uVar6;
    param_1[param_3 + uVar4] = (int)uVar2;
    lVar1 = (ulonglong)param_2[param_3 + uVar4 + 1] * (ulonglong)param_4 + (uVar2 >> 0x20);
    uVar6 = (uint)((ulonglong)lVar1 >> 0x20);
    param_1[param_3 + uVar4 + 1] = (int)lVar1;
    uVar3 = param_2[param_3 + uVar4 + 2];
    uVar5 = uVar4 + 6;
  }
  if ((uVar5 & 1) == 0) {
    lVar1 = (ulonglong)uVar3 * (ulonglong)param_4 + (ulonglong)uVar6;
    uVar6 = (uint)((ulonglong)lVar1 >> 0x20);
    param_1[param_3 - 2] = (int)lVar1;
    uVar3 = param_2[param_3 - 1];
  }
  lVar1 = (ulonglong)uVar3 * (ulonglong)param_4 + (ulonglong)uVar6;
  param_1[param_3 - 1] = (int)lVar1;
  return (uint)((ulonglong)lVar1 >> 0x20);
}

