
uint __gmpn_mod_1s_4p_pentium4_sse2(int param_1,uint param_2,uint param_3,uint *param_4)

{
  uint uVar1;
  int iVar2;
  uint uVar3;
  byte bVar4;
  uint *puVar5;
  uint uVar6;
  longlong lVar7;
  ulonglong uVar8;
  
  uVar3 = param_4[2];
  uVar1 = param_4[3];
  puVar5 = (uint *)(param_1 + -4 + param_2 * 4);
  uVar6 = param_2 & 3;
  if (uVar6 == 0) {
    uVar8 = (ulonglong)puVar5[-2] * (ulonglong)uVar3 + (ulonglong)puVar5[-3] +
            (ulonglong)puVar5[-1] * (ulonglong)uVar1 + (ulonglong)*puVar5 * (ulonglong)param_4[4];
    puVar5 = puVar5 + -7;
    iVar2 = param_2 - 4;
  }
  else {
    if (uVar6 < 2) {
      uVar8 = (ulonglong)*puVar5;
      puVar5 = puVar5 + -4;
      iVar2 = param_2 - 1;
      if (iVar2 != 0) goto LAB_00040d30;
      goto LAB_00040d80;
    }
    if (uVar6 == 2) {
      uVar8 = CONCAT44(*puVar5,puVar5[-1]);
      puVar5 = puVar5 + -5;
      iVar2 = param_2 - 2;
    }
    else {
      uVar8 = (ulonglong)puVar5[-1] * (ulonglong)uVar3 + (ulonglong)puVar5[-2] +
              (ulonglong)*puVar5 * (ulonglong)uVar1;
      puVar5 = puVar5 + -6;
      iVar2 = param_2 - 3;
    }
  }
  for (; iVar2 != 0; iVar2 = iVar2 + -4) {
LAB_00040d30:
    uVar8 = (uVar8 >> 0x20) * (ulonglong)param_4[6] +
            (ulonglong)puVar5[1] * (ulonglong)uVar3 + (ulonglong)*puVar5 +
            (ulonglong)puVar5[2] * (ulonglong)uVar1 + (ulonglong)puVar5[3] * (ulonglong)param_4[4] +
            (uVar8 & 0xffffffff) * (ulonglong)param_4[5];
    puVar5 = puVar5 + -4;
  }
  uVar8 = (uVar8 >> 0x20) * (ulonglong)uVar3 + (uVar8 & 0xffffffff);
LAB_00040d80:
  uVar8 = uVar8 << (ulonglong)param_4[1];
  lVar7 = (ulonglong)*param_4 * (uVar8 >> 0x20) + uVar8;
  uVar3 = ((int)uVar8 - param_3 * (int)((ulonglong)lVar7 >> 0x20)) - param_3;
  if ((uint)lVar7 < uVar3) {
    uVar3 = uVar3 + param_3;
  }
  bVar4 = (byte)param_4[1];
  if (param_3 <= uVar3) {
    return uVar3 - param_3 >> (bVar4 & 0x1f);
  }
  return uVar3 >> (bVar4 & 0x1f);
}



uint __gmpn_mod_1s_4p_pentium4_sse2(int param_1,uint param_2,uint param_3,uint *param_4)

{
  uint uVar1;
  int iVar2;
  uint uVar3;
  byte bVar4;
  uint *puVar5;
  uint uVar6;
  longlong lVar7;
  ulonglong uVar8;
  
  uVar3 = param_4[2];
  uVar1 = param_4[3];
  puVar5 = (uint *)(param_1 + -4 + param_2 * 4);
  uVar6 = param_2 & 3;
  if (uVar6 == 0) {
    uVar8 = (ulonglong)puVar5[-2] * (ulonglong)uVar3 + (ulonglong)puVar5[-3] +
            (ulonglong)puVar5[-1] * (ulonglong)uVar1 + (ulonglong)*puVar5 * (ulonglong)param_4[4];
    puVar5 = puVar5 + -7;
    iVar2 = param_2 - 4;
  }
  else {
    if (uVar6 < 2) {
      uVar8 = (ulonglong)*puVar5;
      puVar5 = puVar5 + -4;
      iVar2 = param_2 - 1;
      if (iVar2 != 0) goto LAB_00040d30;
      goto LAB_00040d80;
    }
    if (uVar6 == 2) {
      uVar8 = CONCAT44(*puVar5,puVar5[-1]);
      puVar5 = puVar5 + -5;
      iVar2 = param_2 - 2;
    }
    else {
      uVar8 = (ulonglong)puVar5[-1] * (ulonglong)uVar3 + (ulonglong)puVar5[-2] +
              (ulonglong)*puVar5 * (ulonglong)uVar1;
      puVar5 = puVar5 + -6;
      iVar2 = param_2 - 3;
    }
  }
  for (; iVar2 != 0; iVar2 = iVar2 + -4) {
LAB_00040d30:
    uVar8 = (uVar8 >> 0x20) * (ulonglong)param_4[6] +
            (ulonglong)puVar5[1] * (ulonglong)uVar3 + (ulonglong)*puVar5 +
            (ulonglong)puVar5[2] * (ulonglong)uVar1 + (ulonglong)puVar5[3] * (ulonglong)param_4[4] +
            (uVar8 & 0xffffffff) * (ulonglong)param_4[5];
    puVar5 = puVar5 + -4;
  }
  uVar8 = (uVar8 >> 0x20) * (ulonglong)uVar3 + (uVar8 & 0xffffffff);
LAB_00040d80:
  uVar8 = uVar8 << (ulonglong)param_4[1];
  lVar7 = (ulonglong)*param_4 * (uVar8 >> 0x20) + uVar8;
  uVar3 = ((int)uVar8 - param_3 * (int)((ulonglong)lVar7 >> 0x20)) - param_3;
  if ((uint)lVar7 < uVar3) {
    uVar3 = uVar3 + param_3;
  }
  bVar4 = (byte)param_4[1];
  if (param_3 <= uVar3) {
    return uVar3 - param_3 >> (bVar4 & 0x1f);
  }
  return uVar3 >> (bVar4 & 0x1f);
}


PUSH EBX
MOV EDX,dword ptr [ESP + 0x8]
MOV EAX,dword ptr [ESP + 0xc]
MOV ECX,dword ptr [ESP + 0x14]
MOVD MM1,dword ptr [ECX + 0x8]
MOVD MM2,dword ptr [ECX + 0xc]
MOVD MM3,dword ptr [ECX + 0x10]
MOVD MM4,dword ptr [ECX + 0x14]
MOVD MM5,dword ptr [ECX + 0x18]
MOV EBX,EAX
LEA EDX,[EDX + EAX*0x4 + -0x4]
AND EBX,0x3
JZ 0x00040ce8
CMP EBX,0x2
JC 0x00040d13
JZ 0x00040d1e
MOVD MM7,dword ptr [EDX + -0x4]
PMULUDQ MM7,MM1
MOVD MM6,dword ptr [EDX + -0x8]
PADDQ MM7,MM6
MOVD MM6,dword ptr [EDX]
PMULUDQ MM6,MM2
PADDQ MM7,MM6
LEA EDX,[EDX + -0x18]
ADD EAX,-0x3
JZ 0x00040d6c
JMP 0x00040d30
MOVD MM7,dword ptr [EDX + -0x8]
PMULUDQ MM7,MM1
MOVD MM6,dword ptr [EDX + -0xc]
PADDQ MM7,MM6
MOVD MM6,dword ptr [EDX + -0x4]
PMULUDQ MM6,MM2
PADDQ MM7,MM6
MOVD MM6,dword ptr [EDX]
PMULUDQ MM6,MM3
PADDQ MM7,MM6
LEA EDX,[EDX + -0x1c]
ADD EAX,-0x4
JZ 0x00040d6c
JMP 0x00040d30
MOVD MM7,dword ptr [EDX]
LEA EDX,[EDX + -0x10]
DEC EAX
JZ 0x00040d80
JMP 0x00040d30
MOVD MM7,dword ptr [EDX + -0x4]
PUNPCKLDQ MM7,dword ptr [EDX]
LEA EDX,[EDX + -0x14]
ADD EAX,-0x2
JZ 0x00040d6c
LEA ESI,[ESI]
MOVD MM0,dword ptr [EDX + 0x4]
PMULUDQ MM0,MM1
MOVD MM6,dword ptr [EDX]
PADDQ MM0,MM6
MOVD MM6,dword ptr [EDX + 0x8]
PMULUDQ MM6,MM2
PADDQ MM0,MM6
MOVD MM6,dword ptr [EDX + 0xc]
PMULUDQ MM6,MM3
PADDQ MM0,MM6
MOVQ MM6,MM7
PSRLQ MM7,0x20
PMULUDQ MM7,MM5
PMULUDQ MM6,MM4
PADDQ MM7,MM0
PADDQ MM7,MM6
ADD EDX,-0x10
ADD EAX,-0x4
JNZ 0x00040d30
PCMPEQD MM4,MM4
PSRLQ MM4,0x20
PAND MM4,MM7
PSRLQ MM7,0x20
PMULUDQ MM7,MM1
PADDQ MM7,MM4
MOVD MM4,dword ptr [ECX + 0x4]
PSLLQ MM7,MM4
MOVQ MM2,MM7
PSRLQ MM7,0x20
MOVD MM1,dword ptr [ECX]
PMULUDQ MM1,MM7
PADDQ MM1,MM2
MOVD ECX,MM1
PSRLQ MM1,0x20
MOVD MM3,dword ptr [ESP + 0x10]
PMULUDQ MM3,MM1
PSUBQ MM2,MM3
MOVD EAX,MM2
MOV EBX,dword ptr [ESP + 0x10]
SUB EAX,EBX
CMP ECX,EAX
LEA EDX,[EAX + EBX*0x1]
CMOVC EAX,EDX
MOVD ECX,MM4
CMP EAX,EBX
JNC 0x00040dc7
EMMS
POP EBX
SHR EAX,CL
RET
SUB EAX,EBX
EMMS
POP EBX
SHR EAX,CL
RET
(translation_unit "uint __gmpn_mod_1s_4p_pentium4_sse2(int param_1,uint param_2,uint param_3,uint *param_4)\n\n{\n  uint uVar1;\n  int iVar2;\n  uint uVar3;\n  byte bVar4;\n  uint *puVar5;\n  uint uVar6;\n  longlong lVar7;\n  ulonglong uVar8;\n  \n  uVar3 = param_4[2];\n  uVar1 = param_4[3];\n  puVar5 = (uint *)(param_1 + -4 + param_2 * 4);\n  uVar6 = param_2 & 3;\n  if (uVar6 == 0) {\n    uVar8 = (ulonglong)puVar5[-2] * (ulonglong)uVar3 + (ulonglong)puVar5[-3] +\n            (ulonglong)puVar5[-1] * (ulonglong)uVar1 + (ulonglong)*puVar5 * (ulonglong)param_4[4];\n    puVar5 = puVar5 + -7;\n    iVar2 = param_2 - 4;\n  }\n  else {\n    if (uVar6 < 2) {\n      uVar8 = (ulonglong)*puVar5;\n      puVar5 = puVar5 + -4;\n      iVar2 = param_2 - 1;\n      if (iVar2 != 0) goto LAB_00040d30;\n      goto LAB_00040d80;\n    }\n    if (uVar6 == 2) {\n      uVar8 = CONCAT44(*puVar5,puVar5[-1]);\n      puVar5 = puVar5 + -5;\n      iVar2 = param_2 - 2;\n    }\n    else {\n      uVar8 = (ulonglong)puVar5[-1] * (ulonglong)uVar3 + (ulonglong)puVar5[-2] +\n              (ulonglong)*puVar5 * (ulonglong)uVar1;\n      puVar5 = puVar5 + -6;\n      iVar2 = param_2 - 3;\n    }\n  }\n  for (; iVar2 != 0; iVar2 = iVar2 + -4) {\nLAB_00040d30:\n    uVar8 = (uVar8 >> 0x20) * (ulonglong)param_4[6] +\n            (ulonglong)puVar5[1] * (ulonglong)uVar3 + (ulonglong)*puVar5 +\n            (ulonglong)puVar5[2] * (ulonglong)uVar1 + (ulonglong)puVar5[3] * (ulonglong)param_4[4] +\n            (uVar8 & 0xffffffff) * (ulonglong)param_4[5];\n    puVar5 = puVar5 + -4;\n  }\n  uVar8 = (uVar8 >> 0x20) * (ulonglong)uVar3 + (uVar8 & 0xffffffff);\nLAB_00040d80:\n  uVar8 = uVar8 << (ulonglong)param_4[1];\n  lVar7 = (ulonglong)*param_4 * (uVar8 >> 0x20) + uVar8;\n  uVar3 = ((int)uVar8 - param_3 * (int)((ulonglong)lVar7 >> 0x20)) - param_3;\n  if ((uint)lVar7 < uVar3) {\n    uVar3 = uVar3 + param_3;\n  }\n  bVar4 = (byte)param_4[1];\n  if (param_3 <= uVar3) {\n    return uVar3 - param_3 >> (bVar4 & 0x1f);\n  }\n  return uVar3 >> (bVar4 & 0x1f);\n}\n\n" (function_definition "uint __gmpn_mod_1s_4p_pentium4_sse2(int param_1,uint param_2,uint param_3,uint *param_4)\n\n{\n  uint uVar1;\n  int iVar2;\n  uint uVar3;\n  byte bVar4;\n  uint *puVar5;\n  uint uVar6;\n  longlong lVar7;\n  ulonglong uVar8;\n  \n  uVar3 = param_4[2];\n  uVar1 = param_4[3];\n  puVar5 = (uint *)(param_1 + -4 + param_2 * 4);\n  uVar6 = param_2 & 3;\n  if (uVar6 == 0) {\n    uVar8 = (ulonglong)puVar5[-2] * (ulonglong)uVar3 + (ulonglong)puVar5[-3] +\n            (ulonglong)puVar5[-1] * (ulonglong)uVar1 + (ulonglong)*puVar5 * (ulonglong)param_4[4];\n    puVar5 = puVar5 + -7;\n    iVar2 = param_2 - 4;\n  }\n  else {\n    if (uVar6 < 2) {\n      uVar8 = (ulonglong)*puVar5;\n      puVar5 = puVar5 + -4;\n      iVar2 = param_2 - 1;\n      if (iVar2 != 0) goto LAB_00040d30;\n      goto LAB_00040d80;\n    }\n    if (uVar6 == 2) {\n      uVar8 = CONCAT44(*puVar5,puVar5[-1]);\n      puVar5 = puVar5 + -5;\n      iVar2 = param_2 - 2;\n    }\n    else {\n      uVar8 = (ulonglong)puVar5[-1] * (ulonglong)uVar3 + (ulonglong)puVar5[-2] +\n              (ulonglong)*puVar5 * (ulonglong)uVar1;\n      puVar5 = puVar5 + -6;\n      iVar2 = param_2 - 3;\n    }\n  }\n  for (; iVar2 != 0; iVar2 = iVar2 + -4) {\nLAB_00040d30:\n    uVar8 = (uVar8 >> 0x20) * (ulonglong)param_4[6] +\n            (ulonglong)puVar5[1] * (ulonglong)uVar3 + (ulonglong)*puVar5 +\n            (ulonglong)puVar5[2] * (ulonglong)uVar1 + (ulonglong)puVar5[3] * (ulonglong)param_4[4] +\n            (uVar8 & 0xffffffff) * (ulonglong)param_4[5];\n    puVar5 = puVar5 + -4;\n  }\n  uVar8 = (uVar8 >> 0x20) * (ulonglong)uVar3 + (uVar8 & 0xffffffff);\nLAB_00040d80:\n  uVar8 = uVar8 << (ulonglong)param_4[1];\n  lVar7 = (ulonglong)*param_4 * (uVar8 >> 0x20) + uVar8;\n  uVar3 = ((int)uVar8 - param_3 * (int)((ulonglong)lVar7 >> 0x20)) - param_3;\n  if ((uint)lVar7 < uVar3) {\n    uVar3 = uVar3 + param_3;\n  }\n  bVar4 = (byte)param_4[1];\n  if (param_3 <= uVar3) {\n    return uVar3 - param_3 >> (bVar4 & 0x1f);\n  }\n  return uVar3 >> (bVar4 & 0x1f);\n}" type_identifier (function_declarator "__gmpn_mod_1s_4p_pentium4_sse2(int param_1,uint param_2,uint param_3,uint *param_4)" identifier (parameter_list "(int param_1,uint param_2,uint param_3,uint *param_4)" ( (parameter_declaration "int param_1" primitive_type identifier) , (parameter_declaration "uint param_2" type_identifier identifier) , (parameter_declaration "uint param_3" type_identifier identifier) , (parameter_declaration "uint *param_4" type_identifier (pointer_declarator "*param_4" * identifier)) ))) (compound_statement "{\n  uint uVar1;\n  int iVar2;\n  uint uVar3;\n  byte bVar4;\n  uint *puVar5;\n  uint uVar6;\n  longlong lVar7;\n  ulonglong uVar8;\n  \n  uVar3 = param_4[2];\n  uVar1 = param_4[3];\n  puVar5 = (uint *)(param_1 + -4 + param_2 * 4);\n  uVar6 = param_2 & 3;\n  if (uVar6 == 0) {\n    uVar8 = (ulonglong)puVar5[-2] * (ulonglong)uVar3 + (ulonglong)puVar5[-3] +\n            (ulonglong)puVar5[-1] * (ulonglong)uVar1 + (ulonglong)*puVar5 * (ulonglong)param_4[4];\n    puVar5 = puVar5 + -7;\n    iVar2 = param_2 - 4;\n  }\n  else {\n    if (uVar6 < 2) {\n      uVar8 = (ulonglong)*puVar5;\n      puVar5 = puVar5 + -4;\n      iVar2 = param_2 - 1;\n      if (iVar2 != 0) goto LAB_00040d30;\n      goto LAB_00040d80;\n    }\n    if (uVar6 == 2) {\n      uVar8 = CONCAT44(*puVar5,puVar5[-1]);\n      puVar5 = puVar5 + -5;\n      iVar2 = param_2 - 2;\n    }\n    else {\n      uVar8 = (ulonglong)puVar5[-1] * (ulonglong)uVar3 + (ulonglong)puVar5[-2] +\n              (ulonglong)*puVar5 * (ulonglong)uVar1;\n      puVar5 = puVar5 + -6;\n      iVar2 = param_2 - 3;\n    }\n  }\n  for (; iVar2 != 0; iVar2 = iVar2 + -4) {\nLAB_00040d30:\n    uVar8 = (uVar8 >> 0x20) * (ulonglong)param_4[6] +\n            (ulonglong)puVar5[1] * (ulonglong)uVar3 + (ulonglong)*puVar5 +\n            (ulonglong)puVar5[2] * (ulonglong)uVar1 + (ulonglong)puVar5[3] * (ulonglong)param_4[4] +\n            (uVar8 & 0xffffffff) * (ulonglong)param_4[5];\n    puVar5 = puVar5 + -4;\n  }\n  uVar8 = (uVar8 >> 0x20) * (ulonglong)uVar3 + (uVar8 & 0xffffffff);\nLAB_00040d80:\n  uVar8 = uVar8 << (ulonglong)param_4[1];\n  lVar7 = (ulonglong)*param_4 * (uVar8 >> 0x20) + uVar8;\n  uVar3 = ((int)uVar8 - param_3 * (int)((ulonglong)lVar7 >> 0x20)) - param_3;\n  if ((uint)lVar7 < uVar3) {\n    uVar3 = uVar3 + param_3;\n  }\n  bVar4 = (byte)param_4[1];\n  if (param_3 <= uVar3) {\n    return uVar3 - param_3 >> (bVar4 & 0x1f);\n  }\n  return uVar3 >> (bVar4 & 0x1f);\n}" { (declaration "uint uVar1;" type_identifier identifier ;) (declaration "int iVar2;" primitive_type identifier ;) (declaration "uint uVar3;" type_identifier identifier ;) (declaration "byte bVar4;" type_identifier identifier ;) (declaration "uint *puVar5;" type_identifier (pointer_declarator "*puVar5" * identifier) ;) (declaration "uint uVar6;" type_identifier identifier ;) (declaration "longlong lVar7;" type_identifier identifier ;) (declaration "ulonglong uVar8;" type_identifier identifier ;) (expression_statement "uVar3 = param_4[2];" (assignment_expression "uVar3 = param_4[2]" identifier = (subscript_expression "param_4[2]" identifier [ number_literal ])) ;) (expression_statement "uVar1 = param_4[3];" (assignment_expression "uVar1 = param_4[3]" identifier = (subscript_expression "param_4[3]" identifier [ number_literal ])) ;) (expression_statement "puVar5 = (uint *)(param_1 + -4 + param_2 * 4);" (assignment_expression "puVar5 = (uint *)(param_1 + -4 + param_2 * 4)" identifier = (cast_expression "(uint *)(param_1 + -4 + param_2 * 4)" ( (type_descriptor "uint *" type_identifier (abstract_pointer_declarator "*" *)) ) (parenthesized_expression "(param_1 + -4 + param_2 * 4)" ( (binary_expression "param_1 + -4 + param_2 * 4" (binary_expression "param_1 + -4" identifier + number_literal) + (binary_expression "param_2 * 4" identifier * number_literal)) )))) ;) (expression_statement "uVar6 = param_2 & 3;" (assignment_expression "uVar6 = param_2 & 3" identifier = (binary_expression "param_2 & 3" identifier & number_literal)) ;) (if_statement "if (uVar6 == 0) {\n    uVar8 = (ulonglong)puVar5[-2] * (ulonglong)uVar3 + (ulonglong)puVar5[-3] +\n            (ulonglong)puVar5[-1] * (ulonglong)uVar1 + (ulonglong)*puVar5 * (ulonglong)param_4[4];\n    puVar5 = puVar5 + -7;\n    iVar2 = param_2 - 4;\n  }\n  else {\n    if (uVar6 < 2) {\n      uVar8 = (ulonglong)*puVar5;\n      puVar5 = puVar5 + -4;\n      iVar2 = param_2 - 1;\n      if (iVar2 != 0) goto LAB_00040d30;\n      goto LAB_00040d80;\n    }\n    if (uVar6 == 2) {\n      uVar8 = CONCAT44(*puVar5,puVar5[-1]);\n      puVar5 = puVar5 + -5;\n      iVar2 = param_2 - 2;\n    }\n    else {\n      uVar8 = (ulonglong)puVar5[-1] * (ulonglong)uVar3 + (ulonglong)puVar5[-2] +\n              (ulonglong)*puVar5 * (ulonglong)uVar1;\n      puVar5 = puVar5 + -6;\n      iVar2 = param_2 - 3;\n    }\n  }" if (parenthesized_expression "(uVar6 == 0)" ( (binary_expression "uVar6 == 0" identifier == number_literal) )) (compound_statement "{\n    uVar8 = (ulonglong)puVar5[-2] * (ulonglong)uVar3 + (ulonglong)puVar5[-3] +\n            (ulonglong)puVar5[-1] * (ulonglong)uVar1 + (ulonglong)*puVar5 * (ulonglong)param_4[4];\n    puVar5 = puVar5 + -7;\n    iVar2 = param_2 - 4;\n  }" { (expression_statement "uVar8 = (ulonglong)puVar5[-2] * (ulonglong)uVar3 + (ulonglong)puVar5[-3] +\n            (ulonglong)puVar5[-1] * (ulonglong)uVar1 + (ulonglong)*puVar5 * (ulonglong)param_4[4];" (assignment_expression "uVar8 = (ulonglong)puVar5[-2] * (ulonglong)uVar3 + (ulonglong)puVar5[-3] +\n            (ulonglong)puVar5[-1] * (ulonglong)uVar1 + (ulonglong)*puVar5 * (ulonglong)param_4[4]" identifier = (binary_expression "(ulonglong)puVar5[-2] * (ulonglong)uVar3 + (ulonglong)puVar5[-3] +\n            (ulonglong)puVar5[-1] * (ulonglong)uVar1 + (ulonglong)*puVar5 * (ulonglong)param_4[4]" (binary_expression "(ulonglong)puVar5[-2] * (ulonglong)uVar3 + (ulonglong)puVar5[-3] +\n            (ulonglong)puVar5[-1] * (ulonglong)uVar1" (binary_expression "(ulonglong)puVar5[-2] * (ulonglong)uVar3 + (ulonglong)puVar5[-3]" (binary_expression "(ulonglong)puVar5[-2] * (ulonglong)uVar3" (cast_expression "(ulonglong)puVar5[-2]" ( (type_descriptor "ulonglong" type_identifier) ) (subscript_expression "puVar5[-2]" identifier [ number_literal ])) * (cast_expression "(ulonglong)uVar3" ( (type_descriptor "ulonglong" type_identifier) ) identifier)) + (cast_expression "(ulonglong)puVar5[-3]" ( (type_descriptor "ulonglong" type_identifier) ) (subscript_expression "puVar5[-3]" identifier [ number_literal ]))) + (binary_expression "(ulonglong)puVar5[-1] * (ulonglong)uVar1" (cast_expression "(ulonglong)puVar5[-1]" ( (type_descriptor "ulonglong" type_identifier) ) (subscript_expression "puVar5[-1]" identifier [ number_literal ])) * (cast_expression "(ulonglong)uVar1" ( (type_descriptor "ulonglong" type_identifier) ) identifier))) + (binary_expression "(ulonglong)*puVar5 * (ulonglong)param_4[4]" (binary_expression "(ulonglong)*puVar5" (parenthesized_expression "(ulonglong)" ( identifier )) * identifier) * (cast_expression "(ulonglong)param_4[4]" ( (type_descriptor "ulonglong" type_identifier) ) (subscript_expression "param_4[4]" identifier [ number_literal ]))))) ;) (expression_statement "puVar5 = puVar5 + -7;" (assignment_expression "puVar5 = puVar5 + -7" identifier = (binary_expression "puVar5 + -7" identifier + number_literal)) ;) (expression_statement "iVar2 = param_2 - 4;" (assignment_expression "iVar2 = param_2 - 4" identifier = (binary_expression "param_2 - 4" identifier - number_literal)) ;) }) (else_clause "else {\n    if (uVar6 < 2) {\n      uVar8 = (ulonglong)*puVar5;\n      puVar5 = puVar5 + -4;\n      iVar2 = param_2 - 1;\n      if (iVar2 != 0) goto LAB_00040d30;\n      goto LAB_00040d80;\n    }\n    if (uVar6 == 2) {\n      uVar8 = CONCAT44(*puVar5,puVar5[-1]);\n      puVar5 = puVar5 + -5;\n      iVar2 = param_2 - 2;\n    }\n    else {\n      uVar8 = (ulonglong)puVar5[-1] * (ulonglong)uVar3 + (ulonglong)puVar5[-2] +\n              (ulonglong)*puVar5 * (ulonglong)uVar1;\n      puVar5 = puVar5 + -6;\n      iVar2 = param_2 - 3;\n    }\n  }" else (compound_statement "{\n    if (uVar6 < 2) {\n      uVar8 = (ulonglong)*puVar5;\n      puVar5 = puVar5 + -4;\n      iVar2 = param_2 - 1;\n      if (iVar2 != 0) goto LAB_00040d30;\n      goto LAB_00040d80;\n    }\n    if (uVar6 == 2) {\n      uVar8 = CONCAT44(*puVar5,puVar5[-1]);\n      puVar5 = puVar5 + -5;\n      iVar2 = param_2 - 2;\n    }\n    else {\n      uVar8 = (ulonglong)puVar5[-1] * (ulonglong)uVar3 + (ulonglong)puVar5[-2] +\n              (ulonglong)*puVar5 * (ulonglong)uVar1;\n      puVar5 = puVar5 + -6;\n      iVar2 = param_2 - 3;\n    }\n  }" { (if_statement "if (uVar6 < 2) {\n      uVar8 = (ulonglong)*puVar5;\n      puVar5 = puVar5 + -4;\n      iVar2 = param_2 - 1;\n      if (iVar2 != 0) goto LAB_00040d30;\n      goto LAB_00040d80;\n    }" if (parenthesized_expression "(uVar6 < 2)" ( (binary_expression "uVar6 < 2" identifier < number_literal) )) (compound_statement "{\n      uVar8 = (ulonglong)*puVar5;\n      puVar5 = puVar5 + -4;\n      iVar2 = param_2 - 1;\n      if (iVar2 != 0) goto LAB_00040d30;\n      goto LAB_00040d80;\n    }" { (expression_statement "uVar8 = (ulonglong)*puVar5;" (assignment_expression "uVar8 = (ulonglong)*puVar5" identifier = (binary_expression "(ulonglong)*puVar5" (parenthesized_expression "(ulonglong)" ( identifier )) * identifier)) ;) (expression_statement "puVar5 = puVar5 + -4;" (assignment_expression "puVar5 = puVar5 + -4" identifier = (binary_expression "puVar5 + -4" identifier + number_literal)) ;) (expression_statement "iVar2 = param_2 - 1;" (assignment_expression "iVar2 = param_2 - 1" identifier = (binary_expression "param_2 - 1" identifier - number_literal)) ;) (if_statement "if (iVar2 != 0) goto LAB_00040d30;" if (parenthesized_expression "(iVar2 != 0)" ( (binary_expression "iVar2 != 0" identifier != number_literal) )) (goto_statement "goto LAB_00040d30;" goto statement_identifier ;)) (goto_statement "goto LAB_00040d80;" goto statement_identifier ;) })) (if_statement "if (uVar6 == 2) {\n      uVar8 = CONCAT44(*puVar5,puVar5[-1]);\n      puVar5 = puVar5 + -5;\n      iVar2 = param_2 - 2;\n    }\n    else {\n      uVar8 = (ulonglong)puVar5[-1] * (ulonglong)uVar3 + (ulonglong)puVar5[-2] +\n              (ulonglong)*puVar5 * (ulonglong)uVar1;\n      puVar5 = puVar5 + -6;\n      iVar2 = param_2 - 3;\n    }" if (parenthesized_expression "(uVar6 == 2)" ( (binary_expression "uVar6 == 2" identifier == number_literal) )) (compound_statement "{\n      uVar8 = CONCAT44(*puVar5,puVar5[-1]);\n      puVar5 = puVar5 + -5;\n      iVar2 = param_2 - 2;\n    }" { (expression_statement "uVar8 = CONCAT44(*puVar5,puVar5[-1]);" (assignment_expression "uVar8 = CONCAT44(*puVar5,puVar5[-1])" identifier = (call_expression "CONCAT44(*puVar5,puVar5[-1])" identifier (argument_list "(*puVar5,puVar5[-1])" ( (pointer_expression "*puVar5" * identifier) , (subscript_expression "puVar5[-1]" identifier [ number_literal ]) )))) ;) (expression_statement "puVar5 = puVar5 + -5;" (assignment_expression "puVar5 = puVar5 + -5" identifier = (binary_expression "puVar5 + -5" identifier + number_literal)) ;) (expression_statement "iVar2 = param_2 - 2;" (assignment_expression "iVar2 = param_2 - 2" identifier = (binary_expression "param_2 - 2" identifier - number_literal)) ;) }) (else_clause "else {\n      uVar8 = (ulonglong)puVar5[-1] * (ulonglong)uVar3 + (ulonglong)puVar5[-2] +\n              (ulonglong)*puVar5 * (ulonglong)uVar1;\n      puVar5 = puVar5 + -6;\n      iVar2 = param_2 - 3;\n    }" else (compound_statement "{\n      uVar8 = (ulonglong)puVar5[-1] * (ulonglong)uVar3 + (ulonglong)puVar5[-2] +\n              (ulonglong)*puVar5 * (ulonglong)uVar1;\n      puVar5 = puVar5 + -6;\n      iVar2 = param_2 - 3;\n    }" { (expression_statement "uVar8 = (ulonglong)puVar5[-1] * (ulonglong)uVar3 + (ulonglong)puVar5[-2] +\n              (ulonglong)*puVar5 * (ulonglong)uVar1;" (assignment_expression "uVar8 = (ulonglong)puVar5[-1] * (ulonglong)uVar3 + (ulonglong)puVar5[-2] +\n              (ulonglong)*puVar5 * (ulonglong)uVar1" identifier = (binary_expression "(ulonglong)puVar5[-1] * (ulonglong)uVar3 + (ulonglong)puVar5[-2] +\n              (ulonglong)*puVar5 * (ulonglong)uVar1" (binary_expression "(ulonglong)puVar5[-1] * (ulonglong)uVar3 + (ulonglong)puVar5[-2]" (binary_expression "(ulonglong)puVar5[-1] * (ulonglong)uVar3" (cast_expression "(ulonglong)puVar5[-1]" ( (type_descriptor "ulonglong" type_identifier) ) (subscript_expression "puVar5[-1]" identifier [ number_literal ])) * (cast_expression "(ulonglong)uVar3" ( (type_descriptor "ulonglong" type_identifier) ) identifier)) + (cast_expression "(ulonglong)puVar5[-2]" ( (type_descriptor "ulonglong" type_identifier) ) (subscript_expression "puVar5[-2]" identifier [ number_literal ]))) + (binary_expression "(ulonglong)*puVar5 * (ulonglong)uVar1" (binary_expression "(ulonglong)*puVar5" (parenthesized_expression "(ulonglong)" ( identifier )) * identifier) * (cast_expression "(ulonglong)uVar1" ( (type_descriptor "ulonglong" type_identifier) ) identifier)))) ;) (expression_statement "puVar5 = puVar5 + -6;" (assignment_expression "puVar5 = puVar5 + -6" identifier = (binary_expression "puVar5 + -6" identifier + number_literal)) ;) (expression_statement "iVar2 = param_2 - 3;" (assignment_expression "iVar2 = param_2 - 3" identifier = (binary_expression "param_2 - 3" identifier - number_literal)) ;) }))) }))) (for_statement "for (; iVar2 != 0; iVar2 = iVar2 + -4) {\nLAB_00040d30:\n    uVar8 = (uVar8 >> 0x20) * (ulonglong)param_4[6] +\n            (ulonglong)puVar5[1] * (ulonglong)uVar3 + (ulonglong)*puVar5 +\n            (ulonglong)puVar5[2] * (ulonglong)uVar1 + (ulonglong)puVar5[3] * (ulonglong)param_4[4] +\n            (uVar8 & 0xffffffff) * (ulonglong)param_4[5];\n    puVar5 = puVar5 + -4;\n  }" for ( ; (binary_expression "iVar2 != 0" identifier != number_literal) ; (assignment_expression "iVar2 = iVar2 + -4" identifier = (binary_expression "iVar2 + -4" identifier + number_literal)) ) (compound_statement "{\nLAB_00040d30:\n    uVar8 = (uVar8 >> 0x20) * (ulonglong)param_4[6] +\n            (ulonglong)puVar5[1] * (ulonglong)uVar3 + (ulonglong)*puVar5 +\n            (ulonglong)puVar5[2] * (ulonglong)uVar1 + (ulonglong)puVar5[3] * (ulonglong)param_4[4] +\n            (uVar8 & 0xffffffff) * (ulonglong)param_4[5];\n    puVar5 = puVar5 + -4;\n  }" { (labeled_statement "LAB_00040d30:\n    uVar8 = (uVar8 >> 0x20) * (ulonglong)param_4[6] +\n            (ulonglong)puVar5[1] * (ulonglong)uVar3 + (ulonglong)*puVar5 +\n            (ulonglong)puVar5[2] * (ulonglong)uVar1 + (ulonglong)puVar5[3] * (ulonglong)param_4[4] +\n            (uVar8 & 0xffffffff) * (ulonglong)param_4[5];" statement_identifier : (expression_statement "uVar8 = (uVar8 >> 0x20) * (ulonglong)param_4[6] +\n            (ulonglong)puVar5[1] * (ulonglong)uVar3 + (ulonglong)*puVar5 +\n            (ulonglong)puVar5[2] * (ulonglong)uVar1 + (ulonglong)puVar5[3] * (ulonglong)param_4[4] +\n            (uVar8 & 0xffffffff) * (ulonglong)param_4[5];" (assignment_expression "uVar8 = (uVar8 >> 0x20) * (ulonglong)param_4[6] +\n            (ulonglong)puVar5[1] * (ulonglong)uVar3 + (ulonglong)*puVar5 +\n            (ulonglong)puVar5[2] * (ulonglong)uVar1 + (ulonglong)puVar5[3] * (ulonglong)param_4[4] +\n            (uVar8 & 0xffffffff) * (ulonglong)param_4[5]" identifier = (binary_expression "(uVar8 >> 0x20) * (ulonglong)param_4[6] +\n            (ulonglong)puVar5[1] * (ulonglong)uVar3 + (ulonglong)*puVar5 +\n            (ulonglong)puVar5[2] * (ulonglong)uVar1 + (ulonglong)puVar5[3] * (ulonglong)param_4[4] +\n            (uVar8 & 0xffffffff) * (ulonglong)param_4[5]" (binary_expression "(uVar8 >> 0x20) * (ulonglong)param_4[6] +\n            (ulonglong)puVar5[1] * (ulonglong)uVar3 + (ulonglong)*puVar5 +\n            (ulonglong)puVar5[2] * (ulonglong)uVar1 + (ulonglong)puVar5[3] * (ulonglong)param_4[4]" (binary_expression "(uVar8 >> 0x20) * (ulonglong)param_4[6] +\n            (ulonglong)puVar5[1] * (ulonglong)uVar3 + (ulonglong)*puVar5 +\n            (ulonglong)puVar5[2] * (ulonglong)uVar1" (binary_expression "(uVar8 >> 0x20) * (ulonglong)param_4[6] +\n            (ulonglong)puVar5[1] * (ulonglong)uVar3 + (ulonglong)*puVar5" (binary_expression "(uVar8 >> 0x20) * (ulonglong)param_4[6] +\n            (ulonglong)puVar5[1] * (ulonglong)uVar3" (binary_expression "(uVar8 >> 0x20) * (ulonglong)param_4[6]" (parenthesized_expression "(uVar8 >> 0x20)" ( (binary_expression "uVar8 >> 0x20" identifier >> number_literal) )) * (cast_expression "(ulonglong)param_4[6]" ( (type_descriptor "ulonglong" type_identifier) ) (subscript_expression "param_4[6]" identifier [ number_literal ]))) + (binary_expression "(ulonglong)puVar5[1] * (ulonglong)uVar3" (cast_expression "(ulonglong)puVar5[1]" ( (type_descriptor "ulonglong" type_identifier) ) (subscript_expression "puVar5[1]" identifier [ number_literal ])) * (cast_expression "(ulonglong)uVar3" ( (type_descriptor "ulonglong" type_identifier) ) identifier))) + (binary_expression "(ulonglong)*puVar5" (parenthesized_expression "(ulonglong)" ( identifier )) * identifier)) + (binary_expression "(ulonglong)puVar5[2] * (ulonglong)uVar1" (cast_expression "(ulonglong)puVar5[2]" ( (type_descriptor "ulonglong" type_identifier) ) (subscript_expression "puVar5[2]" identifier [ number_literal ])) * (cast_expression "(ulonglong)uVar1" ( (type_descriptor "ulonglong" type_identifier) ) identifier))) + (binary_expression "(ulonglong)puVar5[3] * (ulonglong)param_4[4]" (cast_expression "(ulonglong)puVar5[3]" ( (type_descriptor "ulonglong" type_identifier) ) (subscript_expression "puVar5[3]" identifier [ number_literal ])) * (cast_expression "(ulonglong)param_4[4]" ( (type_descriptor "ulonglong" type_identifier) ) (subscript_expression "param_4[4]" identifier [ number_literal ])))) + (binary_expression "(uVar8 & 0xffffffff) * (ulonglong)param_4[5]" (parenthesized_expression "(uVar8 & 0xffffffff)" ( (binary_expression "uVar8 & 0xffffffff" identifier & number_literal) )) * (cast_expression "(ulonglong)param_4[5]" ( (type_descriptor "ulonglong" type_identifier) ) (subscript_expression "param_4[5]" identifier [ number_literal ]))))) ;)) (expression_statement "puVar5 = puVar5 + -4;" (assignment_expression "puVar5 = puVar5 + -4" identifier = (binary_expression "puVar5 + -4" identifier + number_literal)) ;) })) (expression_statement "uVar8 = (uVar8 >> 0x20) * (ulonglong)uVar3 + (uVar8 & 0xffffffff);" (assignment_expression "uVar8 = (uVar8 >> 0x20) * (ulonglong)uVar3 + (uVar8 & 0xffffffff)" identifier = (binary_expression "(uVar8 >> 0x20) * (ulonglong)uVar3 + (uVar8 & 0xffffffff)" (binary_expression "(uVar8 >> 0x20) * (ulonglong)uVar3" (parenthesized_expression "(uVar8 >> 0x20)" ( (binary_expression "uVar8 >> 0x20" identifier >> number_literal) )) * (cast_expression "(ulonglong)uVar3" ( (type_descriptor "ulonglong" type_identifier) ) identifier)) + (parenthesized_expression "(uVar8 & 0xffffffff)" ( (binary_expression "uVar8 & 0xffffffff" identifier & number_literal) )))) ;) (labeled_statement "LAB_00040d80:\n  uVar8 = uVar8 << (ulonglong)param_4[1];" statement_identifier : (expression_statement "uVar8 = uVar8 << (ulonglong)param_4[1];" (assignment_expression "uVar8 = uVar8 << (ulonglong)param_4[1]" identifier = (binary_expression "uVar8 << (ulonglong)param_4[1]" identifier << (cast_expression "(ulonglong)param_4[1]" ( (type_descriptor "ulonglong" type_identifier) ) (subscript_expression "param_4[1]" identifier [ number_literal ])))) ;)) (expression_statement "lVar7 = (ulonglong)*param_4 * (uVar8 >> 0x20) + uVar8;" (assignment_expression "lVar7 = (ulonglong)*param_4 * (uVar8 >> 0x20) + uVar8" identifier = (binary_expression "(ulonglong)*param_4 * (uVar8 >> 0x20) + uVar8" (binary_expression "(ulonglong)*param_4 * (uVar8 >> 0x20)" (binary_expression "(ulonglong)*param_4" (parenthesized_expression "(ulonglong)" ( identifier )) * identifier) * (parenthesized_expression "(uVar8 >> 0x20)" ( (binary_expression "uVar8 >> 0x20" identifier >> number_literal) ))) + identifier)) ;) (expression_statement "uVar3 = ((int)uVar8 - param_3 * (int)((ulonglong)lVar7 >> 0x20)) - param_3;" (assignment_expression "uVar3 = ((int)uVar8 - param_3 * (int)((ulonglong)lVar7 >> 0x20)) - param_3" identifier = (binary_expression "((int)uVar8 - param_3 * (int)((ulonglong)lVar7 >> 0x20)) - param_3" (parenthesized_expression "((int)uVar8 - param_3 * (int)((ulonglong)lVar7 >> 0x20))" ( (binary_expression "(int)uVar8 - param_3 * (int)((ulonglong)lVar7 >> 0x20)" (cast_expression "(int)uVar8" ( (type_descriptor "int" primitive_type) ) identifier) - (binary_expression "param_3 * (int)((ulonglong)lVar7 >> 0x20)" identifier * (cast_expression "(int)((ulonglong)lVar7 >> 0x20)" ( (type_descriptor "int" primitive_type) ) (parenthesized_expression "((ulonglong)lVar7 >> 0x20)" ( (binary_expression "(ulonglong)lVar7 >> 0x20" (cast_expression "(ulonglong)lVar7" ( (type_descriptor "ulonglong" type_identifier) ) identifier) >> number_literal) ))))) )) - identifier)) ;) (if_statement "if ((uint)lVar7 < uVar3) {\n    uVar3 = uVar3 + param_3;\n  }" if (parenthesized_expression "((uint)lVar7 < uVar3)" ( (binary_expression "(uint)lVar7 < uVar3" (cast_expression "(uint)lVar7" ( (type_descriptor "uint" type_identifier) ) identifier) < identifier) )) (compound_statement "{\n    uVar3 = uVar3 + param_3;\n  }" { (expression_statement "uVar3 = uVar3 + param_3;" (assignment_expression "uVar3 = uVar3 + param_3" identifier = (binary_expression "uVar3 + param_3" identifier + identifier)) ;) })) (expression_statement "bVar4 = (byte)param_4[1];" (assignment_expression "bVar4 = (byte)param_4[1]" identifier = (cast_expression "(byte)param_4[1]" ( (type_descriptor "byte" type_identifier) ) (subscript_expression "param_4[1]" identifier [ number_literal ]))) ;) (if_statement "if (param_3 <= uVar3) {\n    return uVar3 - param_3 >> (bVar4 & 0x1f);\n  }" if (parenthesized_expression "(param_3 <= uVar3)" ( (binary_expression "param_3 <= uVar3" identifier <= identifier) )) (compound_statement "{\n    return uVar3 - param_3 >> (bVar4 & 0x1f);\n  }" { (return_statement "return uVar3 - param_3 >> (bVar4 & 0x1f);" return (binary_expression "uVar3 - param_3 >> (bVar4 & 0x1f)" (binary_expression "uVar3 - param_3" identifier - identifier) >> (parenthesized_expression "(bVar4 & 0x1f)" ( (binary_expression "bVar4 & 0x1f" identifier & number_literal) ))) ;) })) (return_statement "return uVar3 >> (bVar4 & 0x1f);" return (binary_expression "uVar3 >> (bVar4 & 0x1f)" identifier >> (parenthesized_expression "(bVar4 & 0x1f)" ( (binary_expression "bVar4 & 0x1f" identifier & number_literal) ))) ;) })))
(translation_unit "uint __gmpn_mod_1s_4p_pentium4_sse2(int param_1,uint param_2,uint param_3,uint *param_4)\n\n{\n  uint uVar1;\n  int iVar2;\n  uint uVar3;\n  byte bVar4;\n  uint *puVar5;\n  uint uVar6;\n  longlong lVar7;\n  ulonglong uVar8;\n  \n  uVar3 = param_4[2];\n  uVar1 = param_4[3];\n  puVar5 = (uint *)(param_1 + -4 + param_2 * 4);\n  uVar6 = param_2 & 3;\n  if (uVar6 == 0) {\n    uVar8 = (ulonglong)puVar5[-2] * (ulonglong)uVar3 + (ulonglong)puVar5[-3] +\n            (ulonglong)puVar5[-1] * (ulonglong)uVar1 + (ulonglong)*puVar5 * (ulonglong)param_4[4];\n    puVar5 = puVar5 + -7;\n    iVar2 = param_2 - 4;\n  }\n  else {\n    if (uVar6 < 2) {\n      uVar8 = (ulonglong)*puVar5;\n      puVar5 = puVar5 + -4;\n      iVar2 = param_2 - 1;\n      if (iVar2 != 0) goto LAB_00040d30;\n      goto LAB_00040d80;\n    }\n    if (uVar6 == 2) {\n      uVar8 = CONCAT44(*puVar5,puVar5[-1]);\n      puVar5 = puVar5 + -5;\n      iVar2 = param_2 - 2;\n    }\n    else {\n      uVar8 = (ulonglong)puVar5[-1] * (ulonglong)uVar3 + (ulonglong)puVar5[-2] +\n              (ulonglong)*puVar5 * (ulonglong)uVar1;\n      puVar5 = puVar5 + -6;\n      iVar2 = param_2 - 3;\n    }\n  }\n  for (; iVar2 != 0; iVar2 = iVar2 + -4) {\nLAB_00040d30:\n    uVar8 = (uVar8 >> 0x20) * (ulonglong)param_4[6] +\n            (ulonglong)puVar5[1] * (ulonglong)uVar3 + (ulonglong)*puVar5 +\n            (ulonglong)puVar5[2] * (ulonglong)uVar1 + (ulonglong)puVar5[3] * (ulonglong)param_4[4] +\n            (uVar8 & 0xffffffff) * (ulonglong)param_4[5];\n    puVar5 = puVar5 + -4;\n  }\n  uVar8 = (uVar8 >> 0x20) * (ulonglong)uVar3 + (uVar8 & 0xffffffff);\nLAB_00040d80:\n  uVar8 = uVar8 << (ulonglong)param_4[1];\n  lVar7 = (ulonglong)*param_4 * (uVar8 >> 0x20) + uVar8;\n  uVar3 = ((int)uVar8 - param_3 * (int)((ulonglong)lVar7 >> 0x20)) - param_3;\n  if ((uint)lVar7 < uVar3) {\n    uVar3 = uVar3 + param_3;\n  }\n  bVar4 = (byte)param_4[1];\n  if (param_3 <= uVar3) {\n    return uVar3 - param_3 >> (bVar4 & 0x1f);\n  }\n  return uVar3 >> (bVar4 & 0x1f);\n}\n\n" (function_definition "uint __gmpn_mod_1s_4p_pentium4_sse2(int param_1,uint param_2,uint param_3,uint *param_4)\n\n{\n  uint uVar1;\n  int iVar2;\n  uint uVar3;\n  byte bVar4;\n  uint *puVar5;\n  uint uVar6;\n  longlong lVar7;\n  ulonglong uVar8;\n  \n  uVar3 = param_4[2];\n  uVar1 = param_4[3];\n  puVar5 = (uint *)(param_1 + -4 + param_2 * 4);\n  uVar6 = param_2 & 3;\n  if (uVar6 == 0) {\n    uVar8 = (ulonglong)puVar5[-2] * (ulonglong)uVar3 + (ulonglong)puVar5[-3] +\n            (ulonglong)puVar5[-1] * (ulonglong)uVar1 + (ulonglong)*puVar5 * (ulonglong)param_4[4];\n    puVar5 = puVar5 + -7;\n    iVar2 = param_2 - 4;\n  }\n  else {\n    if (uVar6 < 2) {\n      uVar8 = (ulonglong)*puVar5;\n      puVar5 = puVar5 + -4;\n      iVar2 = param_2 - 1;\n      if (iVar2 != 0) goto LAB_00040d30;\n      goto LAB_00040d80;\n    }\n    if (uVar6 == 2) {\n      uVar8 = CONCAT44(*puVar5,puVar5[-1]);\n      puVar5 = puVar5 + -5;\n      iVar2 = param_2 - 2;\n    }\n    else {\n      uVar8 = (ulonglong)puVar5[-1] * (ulonglong)uVar3 + (ulonglong)puVar5[-2] +\n              (ulonglong)*puVar5 * (ulonglong)uVar1;\n      puVar5 = puVar5 + -6;\n      iVar2 = param_2 - 3;\n    }\n  }\n  for (; iVar2 != 0; iVar2 = iVar2 + -4) {\nLAB_00040d30:\n    uVar8 = (uVar8 >> 0x20) * (ulonglong)param_4[6] +\n            (ulonglong)puVar5[1] * (ulonglong)uVar3 + (ulonglong)*puVar5 +\n            (ulonglong)puVar5[2] * (ulonglong)uVar1 + (ulonglong)puVar5[3] * (ulonglong)param_4[4] +\n            (uVar8 & 0xffffffff) * (ulonglong)param_4[5];\n    puVar5 = puVar5 + -4;\n  }\n  uVar8 = (uVar8 >> 0x20) * (ulonglong)uVar3 + (uVar8 & 0xffffffff);\nLAB_00040d80:\n  uVar8 = uVar8 << (ulonglong)param_4[1];\n  lVar7 = (ulonglong)*param_4 * (uVar8 >> 0x20) + uVar8;\n  uVar3 = ((int)uVar8 - param_3 * (int)((ulonglong)lVar7 >> 0x20)) - param_3;\n  if ((uint)lVar7 < uVar3) {\n    uVar3 = uVar3 + param_3;\n  }\n  bVar4 = (byte)param_4[1];\n  if (param_3 <= uVar3) {\n    return uVar3 - param_3 >> (bVar4 & 0x1f);\n  }\n  return uVar3 >> (bVar4 & 0x1f);\n}" type_identifier (function_declarator "__gmpn_mod_1s_4p_pentium4_sse2(int param_1,uint param_2,uint param_3,uint *param_4)" identifier (parameter_list "(int param_1,uint param_2,uint param_3,uint *param_4)" ( (parameter_declaration "int param_1" primitive_type identifier) , (parameter_declaration "uint param_2" type_identifier identifier) , (parameter_declaration "uint param_3" type_identifier identifier) , (parameter_declaration "uint *param_4" type_identifier (pointer_declarator "*param_4" * identifier)) ))) (compound_statement "{\n  uint uVar1;\n  int iVar2;\n  uint uVar3;\n  byte bVar4;\n  uint *puVar5;\n  uint uVar6;\n  longlong lVar7;\n  ulonglong uVar8;\n  \n  uVar3 = param_4[2];\n  uVar1 = param_4[3];\n  puVar5 = (uint *)(param_1 + -4 + param_2 * 4);\n  uVar6 = param_2 & 3;\n  if (uVar6 == 0) {\n    uVar8 = (ulonglong)puVar5[-2] * (ulonglong)uVar3 + (ulonglong)puVar5[-3] +\n            (ulonglong)puVar5[-1] * (ulonglong)uVar1 + (ulonglong)*puVar5 * (ulonglong)param_4[4];\n    puVar5 = puVar5 + -7;\n    iVar2 = param_2 - 4;\n  }\n  else {\n    if (uVar6 < 2) {\n      uVar8 = (ulonglong)*puVar5;\n      puVar5 = puVar5 + -4;\n      iVar2 = param_2 - 1;\n      if (iVar2 != 0) goto LAB_00040d30;\n      goto LAB_00040d80;\n    }\n    if (uVar6 == 2) {\n      uVar8 = CONCAT44(*puVar5,puVar5[-1]);\n      puVar5 = puVar5 + -5;\n      iVar2 = param_2 - 2;\n    }\n    else {\n      uVar8 = (ulonglong)puVar5[-1] * (ulonglong)uVar3 + (ulonglong)puVar5[-2] +\n              (ulonglong)*puVar5 * (ulonglong)uVar1;\n      puVar5 = puVar5 + -6;\n      iVar2 = param_2 - 3;\n    }\n  }\n  for (; iVar2 != 0; iVar2 = iVar2 + -4) {\nLAB_00040d30:\n    uVar8 = (uVar8 >> 0x20) * (ulonglong)param_4[6] +\n            (ulonglong)puVar5[1] * (ulonglong)uVar3 + (ulonglong)*puVar5 +\n            (ulonglong)puVar5[2] * (ulonglong)uVar1 + (ulonglong)puVar5[3] * (ulonglong)param_4[4] +\n            (uVar8 & 0xffffffff) * (ulonglong)param_4[5];\n    puVar5 = puVar5 + -4;\n  }\n  uVar8 = (uVar8 >> 0x20) * (ulonglong)uVar3 + (uVar8 & 0xffffffff);\nLAB_00040d80:\n  uVar8 = uVar8 << (ulonglong)param_4[1];\n  lVar7 = (ulonglong)*param_4 * (uVar8 >> 0x20) + uVar8;\n  uVar3 = ((int)uVar8 - param_3 * (int)((ulonglong)lVar7 >> 0x20)) - param_3;\n  if ((uint)lVar7 < uVar3) {\n    uVar3 = uVar3 + param_3;\n  }\n  bVar4 = (byte)param_4[1];\n  if (param_3 <= uVar3) {\n    return uVar3 - param_3 >> (bVar4 & 0x1f);\n  }\n  return uVar3 >> (bVar4 & 0x1f);\n}" { (declaration "uint uVar1;" type_identifier identifier ;) (declaration "int iVar2;" primitive_type identifier ;) (declaration "uint uVar3;" type_identifier identifier ;) (declaration "byte bVar4;" type_identifier identifier ;) (declaration "uint *puVar5;" type_identifier (pointer_declarator "*puVar5" * identifier) ;) (declaration "uint uVar6;" type_identifier identifier ;) (declaration "longlong lVar7;" type_identifier identifier ;) (declaration "ulonglong uVar8;" type_identifier identifier ;) (expression_statement "uVar3 = param_4[2];" (assignment_expression "uVar3 = param_4[2]" identifier = (subscript_expression "param_4[2]" identifier [ number_literal ])) ;) (expression_statement "uVar1 = param_4[3];" (assignment_expression "uVar1 = param_4[3]" identifier = (subscript_expression "param_4[3]" identifier [ number_literal ])) ;) (expression_statement "puVar5 = (uint *)(param_1 + -4 + param_2 * 4);" (assignment_expression "puVar5 = (uint *)(param_1 + -4 + param_2 * 4)" identifier = (cast_expression "(uint *)(param_1 + -4 + param_2 * 4)" ( (type_descriptor "uint *" type_identifier (abstract_pointer_declarator "*" *)) ) (parenthesized_expression "(param_1 + -4 + param_2 * 4)" ( (binary_expression "param_1 + -4 + param_2 * 4" (binary_expression "param_1 + -4" identifier + number_literal) + (binary_expression "param_2 * 4" identifier * number_literal)) )))) ;) (expression_statement "uVar6 = param_2 & 3;" (assignment_expression "uVar6 = param_2 & 3" identifier = (binary_expression "param_2 & 3" identifier & number_literal)) ;) (if_statement "if (uVar6 == 0) {\n    uVar8 = (ulonglong)puVar5[-2] * (ulonglong)uVar3 + (ulonglong)puVar5[-3] +\n            (ulonglong)puVar5[-1] * (ulonglong)uVar1 + (ulonglong)*puVar5 * (ulonglong)param_4[4];\n    puVar5 = puVar5 + -7;\n    iVar2 = param_2 - 4;\n  }\n  else {\n    if (uVar6 < 2) {\n      uVar8 = (ulonglong)*puVar5;\n      puVar5 = puVar5 + -4;\n      iVar2 = param_2 - 1;\n      if (iVar2 != 0) goto LAB_00040d30;\n      goto LAB_00040d80;\n    }\n    if (uVar6 == 2) {\n      uVar8 = CONCAT44(*puVar5,puVar5[-1]);\n      puVar5 = puVar5 + -5;\n      iVar2 = param_2 - 2;\n    }\n    else {\n      uVar8 = (ulonglong)puVar5[-1] * (ulonglong)uVar3 + (ulonglong)puVar5[-2] +\n              (ulonglong)*puVar5 * (ulonglong)uVar1;\n      puVar5 = puVar5 + -6;\n      iVar2 = param_2 - 3;\n    }\n  }" if (parenthesized_expression "(uVar6 == 0)" ( (binary_expression "uVar6 == 0" identifier == number_literal) )) (compound_statement "{\n    uVar8 = (ulonglong)puVar5[-2] * (ulonglong)uVar3 + (ulonglong)puVar5[-3] +\n            (ulonglong)puVar5[-1] * (ulonglong)uVar1 + (ulonglong)*puVar5 * (ulonglong)param_4[4];\n    puVar5 = puVar5 + -7;\n    iVar2 = param_2 - 4;\n  }" { (expression_statement "uVar8 = (ulonglong)puVar5[-2] * (ulonglong)uVar3 + (ulonglong)puVar5[-3] +\n            (ulonglong)puVar5[-1] * (ulonglong)uVar1 + (ulonglong)*puVar5 * (ulonglong)param_4[4];" (assignment_expression "uVar8 = (ulonglong)puVar5[-2] * (ulonglong)uVar3 + (ulonglong)puVar5[-3] +\n            (ulonglong)puVar5[-1] * (ulonglong)uVar1 + (ulonglong)*puVar5 * (ulonglong)param_4[4]" identifier = (binary_expression "(ulonglong)puVar5[-2] * (ulonglong)uVar3 + (ulonglong)puVar5[-3] +\n            (ulonglong)puVar5[-1] * (ulonglong)uVar1 + (ulonglong)*puVar5 * (ulonglong)param_4[4]" (binary_expression "(ulonglong)puVar5[-2] * (ulonglong)uVar3 + (ulonglong)puVar5[-3] +\n            (ulonglong)puVar5[-1] * (ulonglong)uVar1" (binary_expression "(ulonglong)puVar5[-2] * (ulonglong)uVar3 + (ulonglong)puVar5[-3]" (binary_expression "(ulonglong)puVar5[-2] * (ulonglong)uVar3" (cast_expression "(ulonglong)puVar5[-2]" ( (type_descriptor "ulonglong" type_identifier) ) (subscript_expression "puVar5[-2]" identifier [ number_literal ])) * (cast_expression "(ulonglong)uVar3" ( (type_descriptor "ulonglong" type_identifier) ) identifier)) + (cast_expression "(ulonglong)puVar5[-3]" ( (type_descriptor "ulonglong" type_identifier) ) (subscript_expression "puVar5[-3]" identifier [ number_literal ]))) + (binary_expression "(ulonglong)puVar5[-1] * (ulonglong)uVar1" (cast_expression "(ulonglong)puVar5[-1]" ( (type_descriptor "ulonglong" type_identifier) ) (subscript_expression "puVar5[-1]" identifier [ number_literal ])) * (cast_expression "(ulonglong)uVar1" ( (type_descriptor "ulonglong" type_identifier) ) identifier))) + (binary_expression "(ulonglong)*puVar5 * (ulonglong)param_4[4]" (binary_expression "(ulonglong)*puVar5" (parenthesized_expression "(ulonglong)" ( identifier )) * identifier) * (cast_expression "(ulonglong)param_4[4]" ( (type_descriptor "ulonglong" type_identifier) ) (subscript_expression "param_4[4]" identifier [ number_literal ]))))) ;) (expression_statement "puVar5 = puVar5 + -7;" (assignment_expression "puVar5 = puVar5 + -7" identifier = (binary_expression "puVar5 + -7" identifier + number_literal)) ;) (expression_statement "iVar2 = param_2 - 4;" (assignment_expression "iVar2 = param_2 - 4" identifier = (binary_expression "param_2 - 4" identifier - number_literal)) ;) }) (else_clause "else {\n    if (uVar6 < 2) {\n      uVar8 = (ulonglong)*puVar5;\n      puVar5 = puVar5 + -4;\n      iVar2 = param_2 - 1;\n      if (iVar2 != 0) goto LAB_00040d30;\n      goto LAB_00040d80;\n    }\n    if (uVar6 == 2) {\n      uVar8 = CONCAT44(*puVar5,puVar5[-1]);\n      puVar5 = puVar5 + -5;\n      iVar2 = param_2 - 2;\n    }\n    else {\n      uVar8 = (ulonglong)puVar5[-1] * (ulonglong)uVar3 + (ulonglong)puVar5[-2] +\n              (ulonglong)*puVar5 * (ulonglong)uVar1;\n      puVar5 = puVar5 + -6;\n      iVar2 = param_2 - 3;\n    }\n  }" else (compound_statement "{\n    if (uVar6 < 2) {\n      uVar8 = (ulonglong)*puVar5;\n      puVar5 = puVar5 + -4;\n      iVar2 = param_2 - 1;\n      if (iVar2 != 0) goto LAB_00040d30;\n      goto LAB_00040d80;\n    }\n    if (uVar6 == 2) {\n      uVar8 = CONCAT44(*puVar5,puVar5[-1]);\n      puVar5 = puVar5 + -5;\n      iVar2 = param_2 - 2;\n    }\n    else {\n      uVar8 = (ulonglong)puVar5[-1] * (ulonglong)uVar3 + (ulonglong)puVar5[-2] +\n              (ulonglong)*puVar5 * (ulonglong)uVar1;\n      puVar5 = puVar5 + -6;\n      iVar2 = param_2 - 3;\n    }\n  }" { (if_statement "if (uVar6 < 2) {\n      uVar8 = (ulonglong)*puVar5;\n      puVar5 = puVar5 + -4;\n      iVar2 = param_2 - 1;\n      if (iVar2 != 0) goto LAB_00040d30;\n      goto LAB_00040d80;\n    }" if (parenthesized_expression "(uVar6 < 2)" ( (binary_expression "uVar6 < 2" identifier < number_literal) )) (compound_statement "{\n      uVar8 = (ulonglong)*puVar5;\n      puVar5 = puVar5 + -4;\n      iVar2 = param_2 - 1;\n      if (iVar2 != 0) goto LAB_00040d30;\n      goto LAB_00040d80;\n    }" { (expression_statement "uVar8 = (ulonglong)*puVar5;" (assignment_expression "uVar8 = (ulonglong)*puVar5" identifier = (binary_expression "(ulonglong)*puVar5" (parenthesized_expression "(ulonglong)" ( identifier )) * identifier)) ;) (expression_statement "puVar5 = puVar5 + -4;" (assignment_expression "puVar5 = puVar5 + -4" identifier = (binary_expression "puVar5 + -4" identifier + number_literal)) ;) (expression_statement "iVar2 = param_2 - 1;" (assignment_expression "iVar2 = param_2 - 1" identifier = (binary_expression "param_2 - 1" identifier - number_literal)) ;) (if_statement "if (iVar2 != 0) goto LAB_00040d30;" if (parenthesized_expression "(iVar2 != 0)" ( (binary_expression "iVar2 != 0" identifier != number_literal) )) (goto_statement "goto LAB_00040d30;" goto statement_identifier ;)) (goto_statement "goto LAB_00040d80;" goto statement_identifier ;) })) (if_statement "if (uVar6 == 2) {\n      uVar8 = CONCAT44(*puVar5,puVar5[-1]);\n      puVar5 = puVar5 + -5;\n      iVar2 = param_2 - 2;\n    }\n    else {\n      uVar8 = (ulonglong)puVar5[-1] * (ulonglong)uVar3 + (ulonglong)puVar5[-2] +\n              (ulonglong)*puVar5 * (ulonglong)uVar1;\n      puVar5 = puVar5 + -6;\n      iVar2 = param_2 - 3;\n    }" if (parenthesized_expression "(uVar6 == 2)" ( (binary_expression "uVar6 == 2" identifier == number_literal) )) (compound_statement "{\n      uVar8 = CONCAT44(*puVar5,puVar5[-1]);\n      puVar5 = puVar5 + -5;\n      iVar2 = param_2 - 2;\n    }" { (expression_statement "uVar8 = CONCAT44(*puVar5,puVar5[-1]);" (assignment_expression "uVar8 = CONCAT44(*puVar5,puVar5[-1])" identifier = (call_expression "CONCAT44(*puVar5,puVar5[-1])" identifier (argument_list "(*puVar5,puVar5[-1])" ( (pointer_expression "*puVar5" * identifier) , (subscript_expression "puVar5[-1]" identifier [ number_literal ]) )))) ;) (expression_statement "puVar5 = puVar5 + -5;" (assignment_expression "puVar5 = puVar5 + -5" identifier = (binary_expression "puVar5 + -5" identifier + number_literal)) ;) (expression_statement "iVar2 = param_2 - 2;" (assignment_expression "iVar2 = param_2 - 2" identifier = (binary_expression "param_2 - 2" identifier - number_literal)) ;) }) (else_clause "else {\n      uVar8 = (ulonglong)puVar5[-1] * (ulonglong)uVar3 + (ulonglong)puVar5[-2] +\n              (ulonglong)*puVar5 * (ulonglong)uVar1;\n      puVar5 = puVar5 + -6;\n      iVar2 = param_2 - 3;\n    }" else (compound_statement "{\n      uVar8 = (ulonglong)puVar5[-1] * (ulonglong)uVar3 + (ulonglong)puVar5[-2] +\n              (ulonglong)*puVar5 * (ulonglong)uVar1;\n      puVar5 = puVar5 + -6;\n      iVar2 = param_2 - 3;\n    }" { (expression_statement "uVar8 = (ulonglong)puVar5[-1] * (ulonglong)uVar3 + (ulonglong)puVar5[-2] +\n              (ulonglong)*puVar5 * (ulonglong)uVar1;" (assignment_expression "uVar8 = (ulonglong)puVar5[-1] * (ulonglong)uVar3 + (ulonglong)puVar5[-2] +\n              (ulonglong)*puVar5 * (ulonglong)uVar1" identifier = (binary_expression "(ulonglong)puVar5[-1] * (ulonglong)uVar3 + (ulonglong)puVar5[-2] +\n              (ulonglong)*puVar5 * (ulonglong)uVar1" (binary_expression "(ulonglong)puVar5[-1] * (ulonglong)uVar3 + (ulonglong)puVar5[-2]" (binary_expression "(ulonglong)puVar5[-1] * (ulonglong)uVar3" (cast_expression "(ulonglong)puVar5[-1]" ( (type_descriptor "ulonglong" type_identifier) ) (subscript_expression "puVar5[-1]" identifier [ number_literal ])) * (cast_expression "(ulonglong)uVar3" ( (type_descriptor "ulonglong" type_identifier) ) identifier)) + (cast_expression "(ulonglong)puVar5[-2]" ( (type_descriptor "ulonglong" type_identifier) ) (subscript_expression "puVar5[-2]" identifier [ number_literal ]))) + (binary_expression "(ulonglong)*puVar5 * (ulonglong)uVar1" (binary_expression "(ulonglong)*puVar5" (parenthesized_expression "(ulonglong)" ( identifier )) * identifier) * (cast_expression "(ulonglong)uVar1" ( (type_descriptor "ulonglong" type_identifier) ) identifier)))) ;) (expression_statement "puVar5 = puVar5 + -6;" (assignment_expression "puVar5 = puVar5 + -6" identifier = (binary_expression "puVar5 + -6" identifier + number_literal)) ;) (expression_statement "iVar2 = param_2 - 3;" (assignment_expression "iVar2 = param_2 - 3" identifier = (binary_expression "param_2 - 3" identifier - number_literal)) ;) }))) }))) (for_statement "for (; iVar2 != 0; iVar2 = iVar2 + -4) {\nLAB_00040d30:\n    uVar8 = (uVar8 >> 0x20) * (ulonglong)param_4[6] +\n            (ulonglong)puVar5[1] * (ulonglong)uVar3 + (ulonglong)*puVar5 +\n            (ulonglong)puVar5[2] * (ulonglong)uVar1 + (ulonglong)puVar5[3] * (ulonglong)param_4[4] +\n            (uVar8 & 0xffffffff) * (ulonglong)param_4[5];\n    puVar5 = puVar5 + -4;\n  }" for ( ; (binary_expression "iVar2 != 0" identifier != number_literal) ; (assignment_expression "iVar2 = iVar2 + -4" identifier = (binary_expression "iVar2 + -4" identifier + number_literal)) ) (compound_statement "{\nLAB_00040d30:\n    uVar8 = (uVar8 >> 0x20) * (ulonglong)param_4[6] +\n            (ulonglong)puVar5[1] * (ulonglong)uVar3 + (ulonglong)*puVar5 +\n            (ulonglong)puVar5[2] * (ulonglong)uVar1 + (ulonglong)puVar5[3] * (ulonglong)param_4[4] +\n            (uVar8 & 0xffffffff) * (ulonglong)param_4[5];\n    puVar5 = puVar5 + -4;\n  }" { (labeled_statement "LAB_00040d30:\n    uVar8 = (uVar8 >> 0x20) * (ulonglong)param_4[6] +\n            (ulonglong)puVar5[1] * (ulonglong)uVar3 + (ulonglong)*puVar5 +\n            (ulonglong)puVar5[2] * (ulonglong)uVar1 + (ulonglong)puVar5[3] * (ulonglong)param_4[4] +\n            (uVar8 & 0xffffffff) * (ulonglong)param_4[5];" statement_identifier : (expression_statement "uVar8 = (uVar8 >> 0x20) * (ulonglong)param_4[6] +\n            (ulonglong)puVar5[1] * (ulonglong)uVar3 + (ulonglong)*puVar5 +\n            (ulonglong)puVar5[2] * (ulonglong)uVar1 + (ulonglong)puVar5[3] * (ulonglong)param_4[4] +\n            (uVar8 & 0xffffffff) * (ulonglong)param_4[5];" (assignment_expression "uVar8 = (uVar8 >> 0x20) * (ulonglong)param_4[6] +\n            (ulonglong)puVar5[1] * (ulonglong)uVar3 + (ulonglong)*puVar5 +\n            (ulonglong)puVar5[2] * (ulonglong)uVar1 + (ulonglong)puVar5[3] * (ulonglong)param_4[4] +\n            (uVar8 & 0xffffffff) * (ulonglong)param_4[5]" identifier = (binary_expression "(uVar8 >> 0x20) * (ulonglong)param_4[6] +\n            (ulonglong)puVar5[1] * (ulonglong)uVar3 + (ulonglong)*puVar5 +\n            (ulonglong)puVar5[2] * (ulonglong)uVar1 + (ulonglong)puVar5[3] * (ulonglong)param_4[4] +\n            (uVar8 & 0xffffffff) * (ulonglong)param_4[5]" (binary_expression "(uVar8 >> 0x20) * (ulonglong)param_4[6] +\n            (ulonglong)puVar5[1] * (ulonglong)uVar3 + (ulonglong)*puVar5 +\n            (ulonglong)puVar5[2] * (ulonglong)uVar1 + (ulonglong)puVar5[3] * (ulonglong)param_4[4]" (binary_expression "(uVar8 >> 0x20) * (ulonglong)param_4[6] +\n            (ulonglong)puVar5[1] * (ulonglong)uVar3 + (ulonglong)*puVar5 +\n            (ulonglong)puVar5[2] * (ulonglong)uVar1" (binary_expression "(uVar8 >> 0x20) * (ulonglong)param_4[6] +\n            (ulonglong)puVar5[1] * (ulonglong)uVar3 + (ulonglong)*puVar5" (binary_expression "(uVar8 >> 0x20) * (ulonglong)param_4[6] +\n            (ulonglong)puVar5[1] * (ulonglong)uVar3" (binary_expression "(uVar8 >> 0x20) * (ulonglong)param_4[6]" (parenthesized_expression "(uVar8 >> 0x20)" ( (binary_expression "uVar8 >> 0x20" identifier >> number_literal) )) * (cast_expression "(ulonglong)param_4[6]" ( (type_descriptor "ulonglong" type_identifier) ) (subscript_expression "param_4[6]" identifier [ number_literal ]))) + (binary_expression "(ulonglong)puVar5[1] * (ulonglong)uVar3" (cast_expression "(ulonglong)puVar5[1]" ( (type_descriptor "ulonglong" type_identifier) ) (subscript_expression "puVar5[1]" identifier [ number_literal ])) * (cast_expression "(ulonglong)uVar3" ( (type_descriptor "ulonglong" type_identifier) ) identifier))) + (binary_expression "(ulonglong)*puVar5" (parenthesized_expression "(ulonglong)" ( identifier )) * identifier)) + (binary_expression "(ulonglong)puVar5[2] * (ulonglong)uVar1" (cast_expression "(ulonglong)puVar5[2]" ( (type_descriptor "ulonglong" type_identifier) ) (subscript_expression "puVar5[2]" identifier [ number_literal ])) * (cast_expression "(ulonglong)uVar1" ( (type_descriptor "ulonglong" type_identifier) ) identifier))) + (binary_expression "(ulonglong)puVar5[3] * (ulonglong)param_4[4]" (cast_expression "(ulonglong)puVar5[3]" ( (type_descriptor "ulonglong" type_identifier) ) (subscript_expression "puVar5[3]" identifier [ number_literal ])) * (cast_expression "(ulonglong)param_4[4]" ( (type_descriptor "ulonglong" type_identifier) ) (subscript_expression "param_4[4]" identifier [ number_literal ])))) + (binary_expression "(uVar8 & 0xffffffff) * (ulonglong)param_4[5]" (parenthesized_expression "(uVar8 & 0xffffffff)" ( (binary_expression "uVar8 & 0xffffffff" identifier & number_literal) )) * (cast_expression "(ulonglong)param_4[5]" ( (type_descriptor "ulonglong" type_identifier) ) (subscript_expression "param_4[5]" identifier [ number_literal ]))))) ;)) (expression_statement "puVar5 = puVar5 + -4;" (assignment_expression "puVar5 = puVar5 + -4" identifier = (binary_expression "puVar5 + -4" identifier + number_literal)) ;) })) (expression_statement "uVar8 = (uVar8 >> 0x20) * (ulonglong)uVar3 + (uVar8 & 0xffffffff);" (assignment_expression "uVar8 = (uVar8 >> 0x20) * (ulonglong)uVar3 + (uVar8 & 0xffffffff)" identifier = (binary_expression "(uVar8 >> 0x20) * (ulonglong)uVar3 + (uVar8 & 0xffffffff)" (binary_expression "(uVar8 >> 0x20) * (ulonglong)uVar3" (parenthesized_expression "(uVar8 >> 0x20)" ( (binary_expression "uVar8 >> 0x20" identifier >> number_literal) )) * (cast_expression "(ulonglong)uVar3" ( (type_descriptor "ulonglong" type_identifier) ) identifier)) + (parenthesized_expression "(uVar8 & 0xffffffff)" ( (binary_expression "uVar8 & 0xffffffff" identifier & number_literal) )))) ;) (labeled_statement "LAB_00040d80:\n  uVar8 = uVar8 << (ulonglong)param_4[1];" statement_identifier : (expression_statement "uVar8 = uVar8 << (ulonglong)param_4[1];" (assignment_expression "uVar8 = uVar8 << (ulonglong)param_4[1]" identifier = (binary_expression "uVar8 << (ulonglong)param_4[1]" identifier << (cast_expression "(ulonglong)param_4[1]" ( (type_descriptor "ulonglong" type_identifier) ) (subscript_expression "param_4[1]" identifier [ number_literal ])))) ;)) (expression_statement "lVar7 = (ulonglong)*param_4 * (uVar8 >> 0x20) + uVar8;" (assignment_expression "lVar7 = (ulonglong)*param_4 * (uVar8 >> 0x20) + uVar8" identifier = (binary_expression "(ulonglong)*param_4 * (uVar8 >> 0x20) + uVar8" (binary_expression "(ulonglong)*param_4 * (uVar8 >> 0x20)" (binary_expression "(ulonglong)*param_4" (parenthesized_expression "(ulonglong)" ( identifier )) * identifier) * (parenthesized_expression "(uVar8 >> 0x20)" ( (binary_expression "uVar8 >> 0x20" identifier >> number_literal) ))) + identifier)) ;) (expression_statement "uVar3 = ((int)uVar8 - param_3 * (int)((ulonglong)lVar7 >> 0x20)) - param_3;" (assignment_expression "uVar3 = ((int)uVar8 - param_3 * (int)((ulonglong)lVar7 >> 0x20)) - param_3" identifier = (binary_expression "((int)uVar8 - param_3 * (int)((ulonglong)lVar7 >> 0x20)) - param_3" (parenthesized_expression "((int)uVar8 - param_3 * (int)((ulonglong)lVar7 >> 0x20))" ( (binary_expression "(int)uVar8 - param_3 * (int)((ulonglong)lVar7 >> 0x20)" (cast_expression "(int)uVar8" ( (type_descriptor "int" primitive_type) ) identifier) - (binary_expression "param_3 * (int)((ulonglong)lVar7 >> 0x20)" identifier * (cast_expression "(int)((ulonglong)lVar7 >> 0x20)" ( (type_descriptor "int" primitive_type) ) (parenthesized_expression "((ulonglong)lVar7 >> 0x20)" ( (binary_expression "(ulonglong)lVar7 >> 0x20" (cast_expression "(ulonglong)lVar7" ( (type_descriptor "ulonglong" type_identifier) ) identifier) >> number_literal) ))))) )) - identifier)) ;) (if_statement "if ((uint)lVar7 < uVar3) {\n    uVar3 = uVar3 + param_3;\n  }" if (parenthesized_expression "((uint)lVar7 < uVar3)" ( (binary_expression "(uint)lVar7 < uVar3" (cast_expression "(uint)lVar7" ( (type_descriptor "uint" type_identifier) ) identifier) < identifier) )) (compound_statement "{\n    uVar3 = uVar3 + param_3;\n  }" { (expression_statement "uVar3 = uVar3 + param_3;" (assignment_expression "uVar3 = uVar3 + param_3" identifier = (binary_expression "uVar3 + param_3" identifier + identifier)) ;) })) (expression_statement "bVar4 = (byte)param_4[1];" (assignment_expression "bVar4 = (byte)param_4[1]" identifier = (cast_expression "(byte)param_4[1]" ( (type_descriptor "byte" type_identifier) ) (subscript_expression "param_4[1]" identifier [ number_literal ]))) ;) (if_statement "if (param_3 <= uVar3) {\n    return uVar3 - param_3 >> (bVar4 & 0x1f);\n  }" if (parenthesized_expression "(param_3 <= uVar3)" ( (binary_expression "param_3 <= uVar3" identifier <= identifier) )) (compound_statement "{\n    return uVar3 - param_3 >> (bVar4 & 0x1f);\n  }" { (return_statement "return uVar3 - param_3 >> (bVar4 & 0x1f);" return (binary_expression "uVar3 - param_3 >> (bVar4 & 0x1f)" (binary_expression "uVar3 - param_3" identifier - identifier) >> (parenthesized_expression "(bVar4 & 0x1f)" ( (binary_expression "bVar4 & 0x1f" identifier & number_literal) ))) ;) })) (return_statement "return uVar3 >> (bVar4 & 0x1f);" return (binary_expression "uVar3 >> (bVar4 & 0x1f)" identifier >> (parenthesized_expression "(bVar4 & 0x1f)" ( (binary_expression "bVar4 & 0x1f" identifier & number_literal) ))) ;) })))
(translation_unit "uint __gmpn_mod_1s_4p_pentium4_sse2(int param_1,uint param_2,uint param_3,uint *param_4)\n\n{\n  uint uVar1;\n  int iVar2;\n  uint uVar3;\n  byte bVar4;\n  uint *puVar5;\n  uint uVar6;\n  longlong lVar7;\n  ulonglong uVar8;\n  \n  uVar3 = param_4[2];\n  uVar1 = param_4[3];\n  puVar5 = (uint *)(param_1 + -4 + param_2 * 4);\n  uVar6 = param_2 & 3;\n  if (uVar6 == 0) {\n    uVar8 = (ulonglong)puVar5[-2] * (ulonglong)uVar3 + (ulonglong)puVar5[-3] +\n            (ulonglong)puVar5[-1] * (ulonglong)uVar1 + (ulonglong)*puVar5 * (ulonglong)param_4[4];\n    puVar5 = puVar5 + -7;\n    iVar2 = param_2 - 4;\n  }\n  else {\n    if (uVar6 < 2) {\n      uVar8 = (ulonglong)*puVar5;\n      puVar5 = puVar5 + -4;\n      iVar2 = param_2 - 1;\n      if (iVar2 != 0) goto LAB_00040d30;\n      goto LAB_00040d80;\n    }\n    if (uVar6 == 2) {\n      uVar8 = CONCAT44(*puVar5,puVar5[-1]);\n      puVar5 = puVar5 + -5;\n      iVar2 = param_2 - 2;\n    }\n    else {\n      uVar8 = (ulonglong)puVar5[-1] * (ulonglong)uVar3 + (ulonglong)puVar5[-2] +\n              (ulonglong)*puVar5 * (ulonglong)uVar1;\n      puVar5 = puVar5 + -6;\n      iVar2 = param_2 - 3;\n    }\n  }\n  for (; iVar2 != 0; iVar2 = iVar2 + -4) {\nLAB_00040d30:\n    uVar8 = (uVar8 >> 0x20) * (ulonglong)param_4[6] +\n            (ulonglong)puVar5[1] * (ulonglong)uVar3 + (ulonglong)*puVar5 +\n            (ulonglong)puVar5[2] * (ulonglong)uVar1 + (ulonglong)puVar5[3] * (ulonglong)param_4[4] +\n            (uVar8 & 0xffffffff) * (ulonglong)param_4[5];\n    puVar5 = puVar5 + -4;\n  }\n  uVar8 = (uVar8 >> 0x20) * (ulonglong)uVar3 + (uVar8 & 0xffffffff);\nLAB_00040d80:\n  uVar8 = uVar8 << (ulonglong)param_4[1];\n  lVar7 = (ulonglong)*param_4 * (uVar8 >> 0x20) + uVar8;\n  uVar3 = ((int)uVar8 - param_3 * (int)((ulonglong)lVar7 >> 0x20)) - param_3;\n  if ((uint)lVar7 < uVar3) {\n    uVar3 = uVar3 + param_3;\n  }\n  bVar4 = (byte)param_4[1];\n  if (param_3 <= uVar3) {\n    return uVar3 - param_3 >> (bVar4 & 0x1f);\n  }\n  return uVar3 >> (bVar4 & 0x1f);\n}\n\n" (function_definition "uint __gmpn_mod_1s_4p_pentium4_sse2(int param_1,uint param_2,uint param_3,uint *param_4)\n\n{\n  uint uVar1;\n  int iVar2;\n  uint uVar3;\n  byte bVar4;\n  uint *puVar5;\n  uint uVar6;\n  longlong lVar7;\n  ulonglong uVar8;\n  \n  uVar3 = param_4[2];\n  uVar1 = param_4[3];\n  puVar5 = (uint *)(param_1 + -4 + param_2 * 4);\n  uVar6 = param_2 & 3;\n  if (uVar6 == 0) {\n    uVar8 = (ulonglong)puVar5[-2] * (ulonglong)uVar3 + (ulonglong)puVar5[-3] +\n            (ulonglong)puVar5[-1] * (ulonglong)uVar1 + (ulonglong)*puVar5 * (ulonglong)param_4[4];\n    puVar5 = puVar5 + -7;\n    iVar2 = param_2 - 4;\n  }\n  else {\n    if (uVar6 < 2) {\n      uVar8 = (ulonglong)*puVar5;\n      puVar5 = puVar5 + -4;\n      iVar2 = param_2 - 1;\n      if (iVar2 != 0) goto LAB_00040d30;\n      goto LAB_00040d80;\n    }\n    if (uVar6 == 2) {\n      uVar8 = CONCAT44(*puVar5,puVar5[-1]);\n      puVar5 = puVar5 + -5;\n      iVar2 = param_2 - 2;\n    }\n    else {\n      uVar8 = (ulonglong)puVar5[-1] * (ulonglong)uVar3 + (ulonglong)puVar5[-2] +\n              (ulonglong)*puVar5 * (ulonglong)uVar1;\n      puVar5 = puVar5 + -6;\n      iVar2 = param_2 - 3;\n    }\n  }\n  for (; iVar2 != 0; iVar2 = iVar2 + -4) {\nLAB_00040d30:\n    uVar8 = (uVar8 >> 0x20) * (ulonglong)param_4[6] +\n            (ulonglong)puVar5[1] * (ulonglong)uVar3 + (ulonglong)*puVar5 +\n            (ulonglong)puVar5[2] * (ulonglong)uVar1 + (ulonglong)puVar5[3] * (ulonglong)param_4[4] +\n            (uVar8 & 0xffffffff) * (ulonglong)param_4[5];\n    puVar5 = puVar5 + -4;\n  }\n  uVar8 = (uVar8 >> 0x20) * (ulonglong)uVar3 + (uVar8 & 0xffffffff);\nLAB_00040d80:\n  uVar8 = uVar8 << (ulonglong)param_4[1];\n  lVar7 = (ulonglong)*param_4 * (uVar8 >> 0x20) + uVar8;\n  uVar3 = ((int)uVar8 - param_3 * (int)((ulonglong)lVar7 >> 0x20)) - param_3;\n  if ((uint)lVar7 < uVar3) {\n    uVar3 = uVar3 + param_3;\n  }\n  bVar4 = (byte)param_4[1];\n  if (param_3 <= uVar3) {\n    return uVar3 - param_3 >> (bVar4 & 0x1f);\n  }\n  return uVar3 >> (bVar4 & 0x1f);\n}" type_identifier (function_declarator "__gmpn_mod_1s_4p_pentium4_sse2(int param_1,uint param_2,uint param_3,uint *param_4)" identifier (parameter_list "(int param_1,uint param_2,uint param_3,uint *param_4)" ( (parameter_declaration "int param_1" primitive_type identifier) , (parameter_declaration "uint param_2" type_identifier identifier) , (parameter_declaration "uint param_3" type_identifier identifier) , (parameter_declaration "uint *param_4" type_identifier (pointer_declarator "*param_4" * identifier)) ))) (compound_statement "{\n  uint uVar1;\n  int iVar2;\n  uint uVar3;\n  byte bVar4;\n  uint *puVar5;\n  uint uVar6;\n  longlong lVar7;\n  ulonglong uVar8;\n  \n  uVar3 = param_4[2];\n  uVar1 = param_4[3];\n  puVar5 = (uint *)(param_1 + -4 + param_2 * 4);\n  uVar6 = param_2 & 3;\n  if (uVar6 == 0) {\n    uVar8 = (ulonglong)puVar5[-2] * (ulonglong)uVar3 + (ulonglong)puVar5[-3] +\n            (ulonglong)puVar5[-1] * (ulonglong)uVar1 + (ulonglong)*puVar5 * (ulonglong)param_4[4];\n    puVar5 = puVar5 + -7;\n    iVar2 = param_2 - 4;\n  }\n  else {\n    if (uVar6 < 2) {\n      uVar8 = (ulonglong)*puVar5;\n      puVar5 = puVar5 + -4;\n      iVar2 = param_2 - 1;\n      if (iVar2 != 0) goto LAB_00040d30;\n      goto LAB_00040d80;\n    }\n    if (uVar6 == 2) {\n      uVar8 = CONCAT44(*puVar5,puVar5[-1]);\n      puVar5 = puVar5 + -5;\n      iVar2 = param_2 - 2;\n    }\n    else {\n      uVar8 = (ulonglong)puVar5[-1] * (ulonglong)uVar3 + (ulonglong)puVar5[-2] +\n              (ulonglong)*puVar5 * (ulonglong)uVar1;\n      puVar5 = puVar5 + -6;\n      iVar2 = param_2 - 3;\n    }\n  }\n  for (; iVar2 != 0; iVar2 = iVar2 + -4) {\nLAB_00040d30:\n    uVar8 = (uVar8 >> 0x20) * (ulonglong)param_4[6] +\n            (ulonglong)puVar5[1] * (ulonglong)uVar3 + (ulonglong)*puVar5 +\n            (ulonglong)puVar5[2] * (ulonglong)uVar1 + (ulonglong)puVar5[3] * (ulonglong)param_4[4] +\n            (uVar8 & 0xffffffff) * (ulonglong)param_4[5];\n    puVar5 = puVar5 + -4;\n  }\n  uVar8 = (uVar8 >> 0x20) * (ulonglong)uVar3 + (uVar8 & 0xffffffff);\nLAB_00040d80:\n  uVar8 = uVar8 << (ulonglong)param_4[1];\n  lVar7 = (ulonglong)*param_4 * (uVar8 >> 0x20) + uVar8;\n  uVar3 = ((int)uVar8 - param_3 * (int)((ulonglong)lVar7 >> 0x20)) - param_3;\n  if ((uint)lVar7 < uVar3) {\n    uVar3 = uVar3 + param_3;\n  }\n  bVar4 = (byte)param_4[1];\n  if (param_3 <= uVar3) {\n    return uVar3 - param_3 >> (bVar4 & 0x1f);\n  }\n  return uVar3 >> (bVar4 & 0x1f);\n}" { (declaration "uint uVar1;" type_identifier identifier ;) (declaration "int iVar2;" primitive_type identifier ;) (declaration "uint uVar3;" type_identifier identifier ;) (declaration "byte bVar4;" type_identifier identifier ;) (declaration "uint *puVar5;" type_identifier (pointer_declarator "*puVar5" * identifier) ;) (declaration "uint uVar6;" type_identifier identifier ;) (declaration "longlong lVar7;" type_identifier identifier ;) (declaration "ulonglong uVar8;" type_identifier identifier ;) (expression_statement "uVar3 = param_4[2];" (assignment_expression "uVar3 = param_4[2]" identifier = (subscript_expression "param_4[2]" identifier [ number_literal ])) ;) (expression_statement "uVar1 = param_4[3];" (assignment_expression "uVar1 = param_4[3]" identifier = (subscript_expression "param_4[3]" identifier [ number_literal ])) ;) (expression_statement "puVar5 = (uint *)(param_1 + -4 + param_2 * 4);" (assignment_expression "puVar5 = (uint *)(param_1 + -4 + param_2 * 4)" identifier = (cast_expression "(uint *)(param_1 + -4 + param_2 * 4)" ( (type_descriptor "uint *" type_identifier (abstract_pointer_declarator "*" *)) ) (parenthesized_expression "(param_1 + -4 + param_2 * 4)" ( (binary_expression "param_1 + -4 + param_2 * 4" (binary_expression "param_1 + -4" identifier + number_literal) + (binary_expression "param_2 * 4" identifier * number_literal)) )))) ;) (expression_statement "uVar6 = param_2 & 3;" (assignment_expression "uVar6 = param_2 & 3" identifier = (binary_expression "param_2 & 3" identifier & number_literal)) ;) (if_statement "if (uVar6 == 0) {\n    uVar8 = (ulonglong)puVar5[-2] * (ulonglong)uVar3 + (ulonglong)puVar5[-3] +\n            (ulonglong)puVar5[-1] * (ulonglong)uVar1 + (ulonglong)*puVar5 * (ulonglong)param_4[4];\n    puVar5 = puVar5 + -7;\n    iVar2 = param_2 - 4;\n  }\n  else {\n    if (uVar6 < 2) {\n      uVar8 = (ulonglong)*puVar5;\n      puVar5 = puVar5 + -4;\n      iVar2 = param_2 - 1;\n      if (iVar2 != 0) goto LAB_00040d30;\n      goto LAB_00040d80;\n    }\n    if (uVar6 == 2) {\n      uVar8 = CONCAT44(*puVar5,puVar5[-1]);\n      puVar5 = puVar5 + -5;\n      iVar2 = param_2 - 2;\n    }\n    else {\n      uVar8 = (ulonglong)puVar5[-1] * (ulonglong)uVar3 + (ulonglong)puVar5[-2] +\n              (ulonglong)*puVar5 * (ulonglong)uVar1;\n      puVar5 = puVar5 + -6;\n      iVar2 = param_2 - 3;\n    }\n  }" if (parenthesized_expression "(uVar6 == 0)" ( (binary_expression "uVar6 == 0" identifier == number_literal) )) (compound_statement "{\n    uVar8 = (ulonglong)puVar5[-2] * (ulonglong)uVar3 + (ulonglong)puVar5[-3] +\n            (ulonglong)puVar5[-1] * (ulonglong)uVar1 + (ulonglong)*puVar5 * (ulonglong)param_4[4];\n    puVar5 = puVar5 + -7;\n    iVar2 = param_2 - 4;\n  }" { (expression_statement "uVar8 = (ulonglong)puVar5[-2] * (ulonglong)uVar3 + (ulonglong)puVar5[-3] +\n            (ulonglong)puVar5[-1] * (ulonglong)uVar1 + (ulonglong)*puVar5 * (ulonglong)param_4[4];" (assignment_expression "uVar8 = (ulonglong)puVar5[-2] * (ulonglong)uVar3 + (ulonglong)puVar5[-3] +\n            (ulonglong)puVar5[-1] * (ulonglong)uVar1 + (ulonglong)*puVar5 * (ulonglong)param_4[4]" identifier = (binary_expression "(ulonglong)puVar5[-2] * (ulonglong)uVar3 + (ulonglong)puVar5[-3] +\n            (ulonglong)puVar5[-1] * (ulonglong)uVar1 + (ulonglong)*puVar5 * (ulonglong)param_4[4]" (binary_expression "(ulonglong)puVar5[-2] * (ulonglong)uVar3 + (ulonglong)puVar5[-3] +\n            (ulonglong)puVar5[-1] * (ulonglong)uVar1" (binary_expression "(ulonglong)puVar5[-2] * (ulonglong)uVar3 + (ulonglong)puVar5[-3]" (binary_expression "(ulonglong)puVar5[-2] * (ulonglong)uVar3" (cast_expression "(ulonglong)puVar5[-2]" ( (type_descriptor "ulonglong" type_identifier) ) (subscript_expression "puVar5[-2]" identifier [ number_literal ])) * (cast_expression "(ulonglong)uVar3" ( (type_descriptor "ulonglong" type_identifier) ) identifier)) + (cast_expression "(ulonglong)puVar5[-3]" ( (type_descriptor "ulonglong" type_identifier) ) (subscript_expression "puVar5[-3]" identifier [ number_literal ]))) + (binary_expression "(ulonglong)puVar5[-1] * (ulonglong)uVar1" (cast_expression "(ulonglong)puVar5[-1]" ( (type_descriptor "ulonglong" type_identifier) ) (subscript_expression "puVar5[-1]" identifier [ number_literal ])) * (cast_expression "(ulonglong)uVar1" ( (type_descriptor "ulonglong" type_identifier) ) identifier))) + (binary_expression "(ulonglong)*puVar5 * (ulonglong)param_4[4]" (binary_expression "(ulonglong)*puVar5" (parenthesized_expression "(ulonglong)" ( identifier )) * identifier) * (cast_expression "(ulonglong)param_4[4]" ( (type_descriptor "ulonglong" type_identifier) ) (subscript_expression "param_4[4]" identifier [ number_literal ]))))) ;) (expression_statement "puVar5 = puVar5 + -7;" (assignment_expression "puVar5 = puVar5 + -7" identifier = (binary_expression "puVar5 + -7" identifier + number_literal)) ;) (expression_statement "iVar2 = param_2 - 4;" (assignment_expression "iVar2 = param_2 - 4" identifier = (binary_expression "param_2 - 4" identifier - number_literal)) ;) }) (else_clause "else {\n    if (uVar6 < 2) {\n      uVar8 = (ulonglong)*puVar5;\n      puVar5 = puVar5 + -4;\n      iVar2 = param_2 - 1;\n      if (iVar2 != 0) goto LAB_00040d30;\n      goto LAB_00040d80;\n    }\n    if (uVar6 == 2) {\n      uVar8 = CONCAT44(*puVar5,puVar5[-1]);\n      puVar5 = puVar5 + -5;\n      iVar2 = param_2 - 2;\n    }\n    else {\n      uVar8 = (ulonglong)puVar5[-1] * (ulonglong)uVar3 + (ulonglong)puVar5[-2] +\n              (ulonglong)*puVar5 * (ulonglong)uVar1;\n      puVar5 = puVar5 + -6;\n      iVar2 = param_2 - 3;\n    }\n  }" else (compound_statement "{\n    if (uVar6 < 2) {\n      uVar8 = (ulonglong)*puVar5;\n      puVar5 = puVar5 + -4;\n      iVar2 = param_2 - 1;\n      if (iVar2 != 0) goto LAB_00040d30;\n      goto LAB_00040d80;\n    }\n    if (uVar6 == 2) {\n      uVar8 = CONCAT44(*puVar5,puVar5[-1]);\n      puVar5 = puVar5 + -5;\n      iVar2 = param_2 - 2;\n    }\n    else {\n      uVar8 = (ulonglong)puVar5[-1] * (ulonglong)uVar3 + (ulonglong)puVar5[-2] +\n              (ulonglong)*puVar5 * (ulonglong)uVar1;\n      puVar5 = puVar5 + -6;\n      iVar2 = param_2 - 3;\n    }\n  }" { (if_statement "if (uVar6 < 2) {\n      uVar8 = (ulonglong)*puVar5;\n      puVar5 = puVar5 + -4;\n      iVar2 = param_2 - 1;\n      if (iVar2 != 0) goto LAB_00040d30;\n      goto LAB_00040d80;\n    }" if (parenthesized_expression "(uVar6 < 2)" ( (binary_expression "uVar6 < 2" identifier < number_literal) )) (compound_statement "{\n      uVar8 = (ulonglong)*puVar5;\n      puVar5 = puVar5 + -4;\n      iVar2 = param_2 - 1;\n      if (iVar2 != 0) goto LAB_00040d30;\n      goto LAB_00040d80;\n    }" { (expression_statement "uVar8 = (ulonglong)*puVar5;" (assignment_expression "uVar8 = (ulonglong)*puVar5" identifier = (binary_expression "(ulonglong)*puVar5" (parenthesized_expression "(ulonglong)" ( identifier )) * identifier)) ;) (expression_statement "puVar5 = puVar5 + -4;" (assignment_expression "puVar5 = puVar5 + -4" identifier = (binary_expression "puVar5 + -4" identifier + number_literal)) ;) (expression_statement "iVar2 = param_2 - 1;" (assignment_expression "iVar2 = param_2 - 1" identifier = (binary_expression "param_2 - 1" identifier - number_literal)) ;) (if_statement "if (iVar2 != 0) goto LAB_00040d30;" if (parenthesized_expression "(iVar2 != 0)" ( (binary_expression "iVar2 != 0" identifier != number_literal) )) (goto_statement "goto LAB_00040d30;" goto statement_identifier ;)) (goto_statement "goto LAB_00040d80;" goto statement_identifier ;) })) (if_statement "if (uVar6 == 2) {\n      uVar8 = CONCAT44(*puVar5,puVar5[-1]);\n      puVar5 = puVar5 + -5;\n      iVar2 = param_2 - 2;\n    }\n    else {\n      uVar8 = (ulonglong)puVar5[-1] * (ulonglong)uVar3 + (ulonglong)puVar5[-2] +\n              (ulonglong)*puVar5 * (ulonglong)uVar1;\n      puVar5 = puVar5 + -6;\n      iVar2 = param_2 - 3;\n    }" if (parenthesized_expression "(uVar6 == 2)" ( (binary_expression "uVar6 == 2" identifier == number_literal) )) (compound_statement "{\n      uVar8 = CONCAT44(*puVar5,puVar5[-1]);\n      puVar5 = puVar5 + -5;\n      iVar2 = param_2 - 2;\n    }" { (expression_statement "uVar8 = CONCAT44(*puVar5,puVar5[-1]);" (assignment_expression "uVar8 = CONCAT44(*puVar5,puVar5[-1])" identifier = (call_expression "CONCAT44(*puVar5,puVar5[-1])" identifier (argument_list "(*puVar5,puVar5[-1])" ( (pointer_expression "*puVar5" * identifier) , (subscript_expression "puVar5[-1]" identifier [ number_literal ]) )))) ;) (expression_statement "puVar5 = puVar5 + -5;" (assignment_expression "puVar5 = puVar5 + -5" identifier = (binary_expression "puVar5 + -5" identifier + number_literal)) ;) (expression_statement "iVar2 = param_2 - 2;" (assignment_expression "iVar2 = param_2 - 2" identifier = (binary_expression "param_2 - 2" identifier - number_literal)) ;) }) (else_clause "else {\n      uVar8 = (ulonglong)puVar5[-1] * (ulonglong)uVar3 + (ulonglong)puVar5[-2] +\n              (ulonglong)*puVar5 * (ulonglong)uVar1;\n      puVar5 = puVar5 + -6;\n      iVar2 = param_2 - 3;\n    }" else (compound_statement "{\n      uVar8 = (ulonglong)puVar5[-1] * (ulonglong)uVar3 + (ulonglong)puVar5[-2] +\n              (ulonglong)*puVar5 * (ulonglong)uVar1;\n      puVar5 = puVar5 + -6;\n      iVar2 = param_2 - 3;\n    }" { (expression_statement "uVar8 = (ulonglong)puVar5[-1] * (ulonglong)uVar3 + (ulonglong)puVar5[-2] +\n              (ulonglong)*puVar5 * (ulonglong)uVar1;" (assignment_expression "uVar8 = (ulonglong)puVar5[-1] * (ulonglong)uVar3 + (ulonglong)puVar5[-2] +\n              (ulonglong)*puVar5 * (ulonglong)uVar1" identifier = (binary_expression "(ulonglong)puVar5[-1] * (ulonglong)uVar3 + (ulonglong)puVar5[-2] +\n              (ulonglong)*puVar5 * (ulonglong)uVar1" (binary_expression "(ulonglong)puVar5[-1] * (ulonglong)uVar3 + (ulonglong)puVar5[-2]" (binary_expression "(ulonglong)puVar5[-1] * (ulonglong)uVar3" (cast_expression "(ulonglong)puVar5[-1]" ( (type_descriptor "ulonglong" type_identifier) ) (subscript_expression "puVar5[-1]" identifier [ number_literal ])) * (cast_expression "(ulonglong)uVar3" ( (type_descriptor "ulonglong" type_identifier) ) identifier)) + (cast_expression "(ulonglong)puVar5[-2]" ( (type_descriptor "ulonglong" type_identifier) ) (subscript_expression "puVar5[-2]" identifier [ number_literal ]))) + (binary_expression "(ulonglong)*puVar5 * (ulonglong)uVar1" (binary_expression "(ulonglong)*puVar5" (parenthesized_expression "(ulonglong)" ( identifier )) * identifier) * (cast_expression "(ulonglong)uVar1" ( (type_descriptor "ulonglong" type_identifier) ) identifier)))) ;) (expression_statement "puVar5 = puVar5 + -6;" (assignment_expression "puVar5 = puVar5 + -6" identifier = (binary_expression "puVar5 + -6" identifier + number_literal)) ;) (expression_statement "iVar2 = param_2 - 3;" (assignment_expression "iVar2 = param_2 - 3" identifier = (binary_expression "param_2 - 3" identifier - number_literal)) ;) }))) }))) (for_statement "for (; iVar2 != 0; iVar2 = iVar2 + -4) {\nLAB_00040d30:\n    uVar8 = (uVar8 >> 0x20) * (ulonglong)param_4[6] +\n            (ulonglong)puVar5[1] * (ulonglong)uVar3 + (ulonglong)*puVar5 +\n            (ulonglong)puVar5[2] * (ulonglong)uVar1 + (ulonglong)puVar5[3] * (ulonglong)param_4[4] +\n            (uVar8 & 0xffffffff) * (ulonglong)param_4[5];\n    puVar5 = puVar5 + -4;\n  }" for ( ; (binary_expression "iVar2 != 0" identifier != number_literal) ; (assignment_expression "iVar2 = iVar2 + -4" identifier = (binary_expression "iVar2 + -4" identifier + number_literal)) ) (compound_statement "{\nLAB_00040d30:\n    uVar8 = (uVar8 >> 0x20) * (ulonglong)param_4[6] +\n            (ulonglong)puVar5[1] * (ulonglong)uVar3 + (ulonglong)*puVar5 +\n            (ulonglong)puVar5[2] * (ulonglong)uVar1 + (ulonglong)puVar5[3] * (ulonglong)param_4[4] +\n            (uVar8 & 0xffffffff) * (ulonglong)param_4[5];\n    puVar5 = puVar5 + -4;\n  }" { (labeled_statement "LAB_00040d30:\n    uVar8 = (uVar8 >> 0x20) * (ulonglong)param_4[6] +\n            (ulonglong)puVar5[1] * (ulonglong)uVar3 + (ulonglong)*puVar5 +\n            (ulonglong)puVar5[2] * (ulonglong)uVar1 + (ulonglong)puVar5[3] * (ulonglong)param_4[4] +\n            (uVar8 & 0xffffffff) * (ulonglong)param_4[5];" statement_identifier : (expression_statement "uVar8 = (uVar8 >> 0x20) * (ulonglong)param_4[6] +\n            (ulonglong)puVar5[1] * (ulonglong)uVar3 + (ulonglong)*puVar5 +\n            (ulonglong)puVar5[2] * (ulonglong)uVar1 + (ulonglong)puVar5[3] * (ulonglong)param_4[4] +\n            (uVar8 & 0xffffffff) * (ulonglong)param_4[5];" (assignment_expression "uVar8 = (uVar8 >> 0x20) * (ulonglong)param_4[6] +\n            (ulonglong)puVar5[1] * (ulonglong)uVar3 + (ulonglong)*puVar5 +\n            (ulonglong)puVar5[2] * (ulonglong)uVar1 + (ulonglong)puVar5[3] * (ulonglong)param_4[4] +\n            (uVar8 & 0xffffffff) * (ulonglong)param_4[5]" identifier = (binary_expression "(uVar8 >> 0x20) * (ulonglong)param_4[6] +\n            (ulonglong)puVar5[1] * (ulonglong)uVar3 + (ulonglong)*puVar5 +\n            (ulonglong)puVar5[2] * (ulonglong)uVar1 + (ulonglong)puVar5[3] * (ulonglong)param_4[4] +\n            (uVar8 & 0xffffffff) * (ulonglong)param_4[5]" (binary_expression "(uVar8 >> 0x20) * (ulonglong)param_4[6] +\n            (ulonglong)puVar5[1] * (ulonglong)uVar3 + (ulonglong)*puVar5 +\n            (ulonglong)puVar5[2] * (ulonglong)uVar1 + (ulonglong)puVar5[3] * (ulonglong)param_4[4]" (binary_expression "(uVar8 >> 0x20) * (ulonglong)param_4[6] +\n            (ulonglong)puVar5[1] * (ulonglong)uVar3 + (ulonglong)*puVar5 +\n            (ulonglong)puVar5[2] * (ulonglong)uVar1" (binary_expression "(uVar8 >> 0x20) * (ulonglong)param_4[6] +\n            (ulonglong)puVar5[1] * (ulonglong)uVar3 + (ulonglong)*puVar5" (binary_expression "(uVar8 >> 0x20) * (ulonglong)param_4[6] +\n            (ulonglong)puVar5[1] * (ulonglong)uVar3" (binary_expression "(uVar8 >> 0x20) * (ulonglong)param_4[6]" (parenthesized_expression "(uVar8 >> 0x20)" ( (binary_expression "uVar8 >> 0x20" identifier >> number_literal) )) * (cast_expression "(ulonglong)param_4[6]" ( (type_descriptor "ulonglong" type_identifier) ) (subscript_expression "param_4[6]" identifier [ number_literal ]))) + (binary_expression "(ulonglong)puVar5[1] * (ulonglong)uVar3" (cast_expression "(ulonglong)puVar5[1]" ( (type_descriptor "ulonglong" type_identifier) ) (subscript_expression "puVar5[1]" identifier [ number_literal ])) * (cast_expression "(ulonglong)uVar3" ( (type_descriptor "ulonglong" type_identifier) ) identifier))) + (binary_expression "(ulonglong)*puVar5" (parenthesized_expression "(ulonglong)" ( identifier )) * identifier)) + (binary_expression "(ulonglong)puVar5[2] * (ulonglong)uVar1" (cast_expression "(ulonglong)puVar5[2]" ( (type_descriptor "ulonglong" type_identifier) ) (subscript_expression "puVar5[2]" identifier [ number_literal ])) * (cast_expression "(ulonglong)uVar1" ( (type_descriptor "ulonglong" type_identifier) ) identifier))) + (binary_expression "(ulonglong)puVar5[3] * (ulonglong)param_4[4]" (cast_expression "(ulonglong)puVar5[3]" ( (type_descriptor "ulonglong" type_identifier) ) (subscript_expression "puVar5[3]" identifier [ number_literal ])) * (cast_expression "(ulonglong)param_4[4]" ( (type_descriptor "ulonglong" type_identifier) ) (subscript_expression "param_4[4]" identifier [ number_literal ])))) + (binary_expression "(uVar8 & 0xffffffff) * (ulonglong)param_4[5]" (parenthesized_expression "(uVar8 & 0xffffffff)" ( (binary_expression "uVar8 & 0xffffffff" identifier & number_literal) )) * (cast_expression "(ulonglong)param_4[5]" ( (type_descriptor "ulonglong" type_identifier) ) (subscript_expression "param_4[5]" identifier [ number_literal ]))))) ;)) (expression_statement "puVar5 = puVar5 + -4;" (assignment_expression "puVar5 = puVar5 + -4" identifier = (binary_expression "puVar5 + -4" identifier + number_literal)) ;) })) (expression_statement "uVar8 = (uVar8 >> 0x20) * (ulonglong)uVar3 + (uVar8 & 0xffffffff);" (assignment_expression "uVar8 = (uVar8 >> 0x20) * (ulonglong)uVar3 + (uVar8 & 0xffffffff)" identifier = (binary_expression "(uVar8 >> 0x20) * (ulonglong)uVar3 + (uVar8 & 0xffffffff)" (binary_expression "(uVar8 >> 0x20) * (ulonglong)uVar3" (parenthesized_expression "(uVar8 >> 0x20)" ( (binary_expression "uVar8 >> 0x20" identifier >> number_literal) )) * (cast_expression "(ulonglong)uVar3" ( (type_descriptor "ulonglong" type_identifier) ) identifier)) + (parenthesized_expression "(uVar8 & 0xffffffff)" ( (binary_expression "uVar8 & 0xffffffff" identifier & number_literal) )))) ;) (labeled_statement "LAB_00040d80:\n  uVar8 = uVar8 << (ulonglong)param_4[1];" statement_identifier : (expression_statement "uVar8 = uVar8 << (ulonglong)param_4[1];" (assignment_expression "uVar8 = uVar8 << (ulonglong)param_4[1]" identifier = (binary_expression "uVar8 << (ulonglong)param_4[1]" identifier << (cast_expression "(ulonglong)param_4[1]" ( (type_descriptor "ulonglong" type_identifier) ) (subscript_expression "param_4[1]" identifier [ number_literal ])))) ;)) (expression_statement "lVar7 = (ulonglong)*param_4 * (uVar8 >> 0x20) + uVar8;" (assignment_expression "lVar7 = (ulonglong)*param_4 * (uVar8 >> 0x20) + uVar8" identifier = (binary_expression "(ulonglong)*param_4 * (uVar8 >> 0x20) + uVar8" (binary_expression "(ulonglong)*param_4 * (uVar8 >> 0x20)" (binary_expression "(ulonglong)*param_4" (parenthesized_expression "(ulonglong)" ( identifier )) * identifier) * (parenthesized_expression "(uVar8 >> 0x20)" ( (binary_expression "uVar8 >> 0x20" identifier >> number_literal) ))) + identifier)) ;) (expression_statement "uVar3 = ((int)uVar8 - param_3 * (int)((ulonglong)lVar7 >> 0x20)) - param_3;" (assignment_expression "uVar3 = ((int)uVar8 - param_3 * (int)((ulonglong)lVar7 >> 0x20)) - param_3" identifier = (binary_expression "((int)uVar8 - param_3 * (int)((ulonglong)lVar7 >> 0x20)) - param_3" (parenthesized_expression "((int)uVar8 - param_3 * (int)((ulonglong)lVar7 >> 0x20))" ( (binary_expression "(int)uVar8 - param_3 * (int)((ulonglong)lVar7 >> 0x20)" (cast_expression "(int)uVar8" ( (type_descriptor "int" primitive_type) ) identifier) - (binary_expression "param_3 * (int)((ulonglong)lVar7 >> 0x20)" identifier * (cast_expression "(int)((ulonglong)lVar7 >> 0x20)" ( (type_descriptor "int" primitive_type) ) (parenthesized_expression "((ulonglong)lVar7 >> 0x20)" ( (binary_expression "(ulonglong)lVar7 >> 0x20" (cast_expression "(ulonglong)lVar7" ( (type_descriptor "ulonglong" type_identifier) ) identifier) >> number_literal) ))))) )) - identifier)) ;) (if_statement "if ((uint)lVar7 < uVar3) {\n    uVar3 = uVar3 + param_3;\n  }" if (parenthesized_expression "((uint)lVar7 < uVar3)" ( (binary_expression "(uint)lVar7 < uVar3" (cast_expression "(uint)lVar7" ( (type_descriptor "uint" type_identifier) ) identifier) < identifier) )) (compound_statement "{\n    uVar3 = uVar3 + param_3;\n  }" { (expression_statement "uVar3 = uVar3 + param_3;" (assignment_expression "uVar3 = uVar3 + param_3" identifier = (binary_expression "uVar3 + param_3" identifier + identifier)) ;) })) (expression_statement "bVar4 = (byte)param_4[1];" (assignment_expression "bVar4 = (byte)param_4[1]" identifier = (cast_expression "(byte)param_4[1]" ( (type_descriptor "byte" type_identifier) ) (subscript_expression "param_4[1]" identifier [ number_literal ]))) ;) (if_statement "if (param_3 <= uVar3) {\n    return uVar3 - param_3 >> (bVar4 & 0x1f);\n  }" if (parenthesized_expression "(param_3 <= uVar3)" ( (binary_expression "param_3 <= uVar3" identifier <= identifier) )) (compound_statement "{\n    return uVar3 - param_3 >> (bVar4 & 0x1f);\n  }" { (return_statement "return uVar3 - param_3 >> (bVar4 & 0x1f);" return (binary_expression "uVar3 - param_3 >> (bVar4 & 0x1f)" (binary_expression "uVar3 - param_3" identifier - identifier) >> (parenthesized_expression "(bVar4 & 0x1f)" ( (binary_expression "bVar4 & 0x1f" identifier & number_literal) ))) ;) })) (return_statement "return uVar3 >> (bVar4 & 0x1f);" return (binary_expression "uVar3 >> (bVar4 & 0x1f)" identifier >> (parenthesized_expression "(bVar4 & 0x1f)" ( (binary_expression "bVar4 & 0x1f" identifier & number_literal) ))) ;) })))
(translation_unit (function_definition TYPE (function_declarator IDENT (parameter_list ( (parameter_declaration TYPE IDENT) , (parameter_declaration TYPE IDENT) , (parameter_declaration TYPE IDENT) , (parameter_declaration TYPE (pointer_declarator * IDENT)) ))) (compound_statement { (declaration TYPE IDENT ;) (declaration TYPE IDENT ;) (declaration TYPE IDENT ;) (declaration TYPE IDENT ;) (declaration TYPE (pointer_declarator * IDENT) ;) (declaration TYPE IDENT ;) (declaration TYPE IDENT ;) (declaration TYPE IDENT ;) (expression_statement (assignment_expression IDENT = (subscript_expression IDENT [ LIT ])) ;) (expression_statement (assignment_expression IDENT = (subscript_expression IDENT [ LIT ])) ;) (expression_statement (assignment_expression IDENT = (cast_expression ( (type_descriptor TYPE (abstract_pointer_declarator *)) ) (parenthesized_expression ( (binary_expression (binary_expression IDENT + LIT) + (binary_expression IDENT * LIT)) )))) ;) (expression_statement (assignment_expression IDENT = (binary_expression IDENT & LIT)) ;) (if_statement if (parenthesized_expression ( (binary_expression IDENT == LIT) )) (compound_statement { (expression_statement (assignment_expression IDENT = (binary_expression (binary_expression (binary_expression (binary_expression (cast_expression ( (type_descriptor TYPE) ) (subscript_expression IDENT [ LIT ])) * (cast_expression ( (type_descriptor TYPE) ) IDENT)) + (cast_expression ( (type_descriptor TYPE) ) (subscript_expression IDENT [ LIT ]))) + (binary_expression (cast_expression ( (type_descriptor TYPE) ) (subscript_expression IDENT [ LIT ])) * (cast_expression ( (type_descriptor TYPE) ) IDENT))) + (binary_expression (binary_expression (parenthesized_expression ( IDENT )) * IDENT) * (cast_expression ( (type_descriptor TYPE) ) (subscript_expression IDENT [ LIT ]))))) ;) (expression_statement (assignment_expression IDENT = (binary_expression IDENT + LIT)) ;) (expression_statement (assignment_expression IDENT = (binary_expression IDENT - LIT)) ;) }) (else_clause else (compound_statement { (if_statement if (parenthesized_expression ( (binary_expression IDENT < LIT) )) (compound_statement { (expression_statement (assignment_expression IDENT = (binary_expression (parenthesized_expression ( IDENT )) * IDENT)) ;) (expression_statement (assignment_expression IDENT = (binary_expression IDENT + LIT)) ;) (expression_statement (assignment_expression IDENT = (binary_expression IDENT - LIT)) ;) (if_statement if (parenthesized_expression ( (binary_expression IDENT != LIT) )) (goto_statement goto statement_identifier ;)) (goto_statement goto statement_identifier ;) })) (if_statement if (parenthesized_expression ( (binary_expression IDENT == LIT) )) (compound_statement { (expression_statement (assignment_expression IDENT = (call_expression IDENT (argument_list ( (pointer_expression * IDENT) , (subscript_expression IDENT [ LIT ]) )))) ;) (expression_statement (assignment_expression IDENT = (binary_expression IDENT + LIT)) ;) (expression_statement (assignment_expression IDENT = (binary_expression IDENT - LIT)) ;) }) (else_clause else (compound_statement { (expression_statement (assignment_expression IDENT = (binary_expression (binary_expression (binary_expression (cast_expression ( (type_descriptor TYPE) ) (subscript_expression IDENT [ LIT ])) * (cast_expression ( (type_descriptor TYPE) ) IDENT)) + (cast_expression ( (type_descriptor TYPE) ) (subscript_expression IDENT [ LIT ]))) + (binary_expression (binary_expression (parenthesized_expression ( IDENT )) * IDENT) * (cast_expression ( (type_descriptor TYPE) ) IDENT)))) ;) (expression_statement (assignment_expression IDENT = (binary_expression IDENT + LIT)) ;) (expression_statement (assignment_expression IDENT = (binary_expression IDENT - LIT)) ;) }))) }))) (for_statement for ( ; (binary_expression IDENT != LIT) ; (assignment_expression IDENT = (binary_expression IDENT + LIT)) ) (compound_statement { (labeled_statement statement_identifier : (expression_statement (assignment_expression IDENT = (binary_expression (binary_expression (binary_expression (binary_expression (binary_expression (binary_expression (parenthesized_expression ( (binary_expression IDENT >> LIT) )) * (cast_expression ( (type_descriptor TYPE) ) (subscript_expression IDENT [ LIT ]))) + (binary_expression (cast_expression ( (type_descriptor TYPE) ) (subscript_expression IDENT [ LIT ])) * (cast_expression ( (type_descriptor TYPE) ) IDENT))) + (binary_expression (parenthesized_expression ( IDENT )) * IDENT)) + (binary_expression (cast_expression ( (type_descriptor TYPE) ) (subscript_expression IDENT [ LIT ])) * (cast_expression ( (type_descriptor TYPE) ) IDENT))) + (binary_expression (cast_expression ( (type_descriptor TYPE) ) (subscript_expression IDENT [ LIT ])) * (cast_expression ( (type_descriptor TYPE) ) (subscript_expression IDENT [ LIT ])))) + (binary_expression (parenthesized_expression ( (binary_expression IDENT & LIT) )) * (cast_expression ( (type_descriptor TYPE) ) (subscript_expression IDENT [ LIT ]))))) ;)) (expression_statement (assignment_expression IDENT = (binary_expression IDENT + LIT)) ;) })) (expression_statement (assignment_expression IDENT = (binary_expression (binary_expression (parenthesized_expression ( (binary_expression IDENT >> LIT) )) * (cast_expression ( (type_descriptor TYPE) ) IDENT)) + (parenthesized_expression ( (binary_expression IDENT & LIT) )))) ;) (labeled_statement statement_identifier : (expression_statement (assignment_expression IDENT = (binary_expression IDENT << (cast_expression ( (type_descriptor TYPE) ) (subscript_expression IDENT [ LIT ])))) ;)) (expression_statement (assignment_expression IDENT = (binary_expression (binary_expression (binary_expression (parenthesized_expression ( IDENT )) * IDENT) * (parenthesized_expression ( (binary_expression IDENT >> LIT) ))) + IDENT)) ;) (expression_statement (assignment_expression IDENT = (binary_expression (parenthesized_expression ( (binary_expression (cast_expression ( (type_descriptor TYPE) ) IDENT) - (binary_expression IDENT * (cast_expression ( (type_descriptor TYPE) ) (parenthesized_expression ( (binary_expression (cast_expression ( (type_descriptor TYPE) ) IDENT) >> LIT) ))))) )) - IDENT)) ;) (if_statement if (parenthesized_expression ( (binary_expression (cast_expression ( (type_descriptor TYPE) ) IDENT) < IDENT) )) (compound_statement { (expression_statement (assignment_expression IDENT = (binary_expression IDENT + IDENT)) ;) })) (expression_statement (assignment_expression IDENT = (cast_expression ( (type_descriptor TYPE) ) (subscript_expression IDENT [ LIT ]))) ;) (if_statement if (parenthesized_expression ( (binary_expression IDENT <= IDENT) )) (compound_statement { (return_statement return (binary_expression (binary_expression IDENT - IDENT) >> (parenthesized_expression ( (binary_expression IDENT & LIT) ))) ;) })) (return_statement return (binary_expression IDENT >> (parenthesized_expression ( (binary_expression IDENT & LIT) ))) ;) })))
(function_definition "uint __gmpn_mod_1s_4p_pentium4_sse2(int param_1,uint param_2,uint param_3,uint *param_4)\n\n{\n  uint uVar1;\n  int iVar2;\n  uint uVar3;\n  byte bVar4;\n  uint *puVar5;\n  uint uVar6;\n  longlong lVar7;\n  ulonglong uVar8;\n  \n  uVar3 = param_4[2];\n  uVar1 = param_4[3];\n  puVar5 = (uint *)(param_1 + -4 + param_2 * 4);\n  uVar6 = param_2 & 3;\n  if (uVar6 == 0) {\n    uVar8 = (ulonglong)puVar5[-2] * (ulonglong)uVar3 + (ulonglong)puVar5[-3] +\n            (ulonglong)puVar5[-1] * (ulonglong)uVar1 + (ulonglong)*puVar5 * (ulonglong)param_4[4];\n    puVar5 = puVar5 + -7;\n    iVar2 = param_2 - 4;\n  }\n  else {\n    if (uVar6 < 2) {\n      uVar8 = (ulonglong)*puVar5;\n      puVar5 = puVar5 + -4;\n      iVar2 = param_2 - 1;\n      if (iVar2 != 0) goto LAB_00040d30;\n      goto LAB_00040d80;\n    }\n    if (uVar6 == 2) {\n      uVar8 = CONCAT44(*puVar5,puVar5[-1]);\n      puVar5 = puVar5 + -5;\n      iVar2 = param_2 - 2;\n    }\n    else {\n      uVar8 = (ulonglong)puVar5[-1] * (ulonglong)uVar3 + (ulonglong)puVar5[-2] +\n              (ulonglong)*puVar5 * (ulonglong)uVar1;\n      puVar5 = puVar5 + -6;\n      iVar2 = param_2 - 3;\n    }\n  }\n  for (; iVar2 != 0; iVar2 = iVar2 + -4) {\nLAB_00040d30:\n    uVar8 = (uVar8 >> 0x20) * (ulonglong)param_4[6] +\n            (ulonglong)puVar5[1] * (ulonglong)uVar3 + (ulonglong)*puVar5 +\n            (ulonglong)puVar5[2] * (ulonglong)uVar1 + (ulonglong)puVar5[3] * (ulonglong)param_4[4] +\n            (uVar8 & 0xffffffff) * (ulonglong)param_4[5];\n    puVar5 = puVar5 + -4;\n  }\n  uVar8 = (uVar8 >> 0x20) * (ulonglong)uVar3 + (uVar8 & 0xffffffff);\nLAB_00040d80:\n  uVar8 = uVar8 << (ulonglong)param_4[1];\n  lVar7 = (ulonglong)*param_4 * (uVar8 >> 0x20) + uVar8;\n  uVar3 = ((int)uVar8 - param_3 * (int)((ulonglong)lVar7 >> 0x20)) - param_3;\n  if ((uint)lVar7 < uVar3) {\n    uVar3 = uVar3 + param_3;\n  }\n  bVar4 = (byte)param_4[1];\n  if (param_3 <= uVar3) {\n    return uVar3 - param_3 >> (bVar4 & 0x1f);\n  }\n  return uVar3 >> (bVar4 & 0x1f);\n}" (type_identifier "uint") (function_declarator "__gmpn_mod_1s_4p_pentium4_sse2(int param_1,uint param_2,uint param_3,uint *param_4)" (identifier "__gmpn_mod_1s_4p_pentium4_sse2") (parameter_list "(int param_1,uint param_2,uint param_3,uint *param_4)" (( "(") (parameter_declaration "int param_1" (primitive_type "int") (identifier "param_1")) (, ",") (parameter_declaration "uint param_2" (type_identifier "uint") (identifier "param_2")) (, ",") (parameter_declaration "uint param_3" (type_identifier "uint") (identifier "param_3")) (, ",") (parameter_declaration "uint *param_4" (type_identifier "uint") (pointer_declarator "*param_4" (* "*") (identifier "param_4"))) () ")"))) (compound_statement "{\n  uint uVar1;\n  int iVar2;\n  uint uVar3;\n  byte bVar4;\n  uint *puVar5;\n  uint uVar6;\n  longlong lVar7;\n  ulonglong uVar8;\n  \n  uVar3 = param_4[2];\n  uVar1 = param_4[3];\n  puVar5 = (uint *)(param_1 + -4 + param_2 * 4);\n  uVar6 = param_2 & 3;\n  if (uVar6 == 0) {\n    uVar8 = (ulonglong)puVar5[-2] * (ulonglong)uVar3 + (ulonglong)puVar5[-3] +\n            (ulonglong)puVar5[-1] * (ulonglong)uVar1 + (ulonglong)*puVar5 * (ulonglong)param_4[4];\n    puVar5 = puVar5 + -7;\n    iVar2 = param_2 - 4;\n  }\n  else {\n    if (uVar6 < 2) {\n      uVar8 = (ulonglong)*puVar5;\n      puVar5 = puVar5 + -4;\n      iVar2 = param_2 - 1;\n      if (iVar2 != 0) goto LAB_00040d30;\n      goto LAB_00040d80;\n    }\n    if (uVar6 == 2) {\n      uVar8 = CONCAT44(*puVar5,puVar5[-1]);\n      puVar5 = puVar5 + -5;\n      iVar2 = param_2 - 2;\n    }\n    else {\n      uVar8 = (ulonglong)puVar5[-1] * (ulonglong)uVar3 + (ulonglong)puVar5[-2] +\n              (ulonglong)*puVar5 * (ulonglong)uVar1;\n      puVar5 = puVar5 + -6;\n      iVar2 = param_2 - 3;\n    }\n  }\n  for (; iVar2 != 0; iVar2 = iVar2 + -4) {\nLAB_00040d30:\n    uVar8 = (uVar8 >> 0x20) * (ulonglong)param_4[6] +\n            (ulonglong)puVar5[1] * (ulonglong)uVar3 + (ulonglong)*puVar5 +\n            (ulonglong)puVar5[2] * (ulonglong)uVar1 + (ulonglong)puVar5[3] * (ulonglong)param_4[4] +\n            (uVar8 & 0xffffffff) * (ulonglong)param_4[5];\n    puVar5 = puVar5 + -4;\n  }\n  uVar8 = (uVar8 >> 0x20) * (ulonglong)uVar3 + (uVar8 & 0xffffffff);\nLAB_00040d80:\n  uVar8 = uVar8 << (ulonglong)param_4[1];\n  lVar7 = (ulonglong)*param_4 * (uVar8 >> 0x20) + uVar8;\n  uVar3 = ((int)uVar8 - param_3 * (int)((ulonglong)lVar7 >> 0x20)) - param_3;\n  if ((uint)lVar7 < uVar3) {\n    uVar3 = uVar3 + param_3;\n  }\n  bVar4 = (byte)param_4[1];\n  if (param_3 <= uVar3) {\n    return uVar3 - param_3 >> (bVar4 & 0x1f);\n  }\n  return uVar3 >> (bVar4 & 0x1f);\n}" ({ "{") (declaration "uint uVar1;" (type_identifier "uint") (identifier "uVar1") (; ";")) (declaration "int iVar2;" (primitive_type "int") (identifier "iVar2") (; ";")) (declaration "uint uVar3;" (type_identifier "uint") (identifier "uVar3") (; ";")) (declaration "byte bVar4;" (type_identifier "byte") (identifier "bVar4") (; ";")) (declaration "uint *puVar5;" (type_identifier "uint") (pointer_declarator "*puVar5" (* "*") (identifier "puVar5")) (; ";")) (declaration "uint uVar6;" (type_identifier "uint") (identifier "uVar6") (; ";")) (declaration "longlong lVar7;" (type_identifier "longlong") (identifier "lVar7") (; ";")) (declaration "ulonglong uVar8;" (type_identifier "ulonglong") (identifier "uVar8") (; ";")) (expression_statement "uVar3 = param_4[2];" (assignment_expression "uVar3 = param_4[2]" (identifier "uVar3") (= "=") (subscript_expression "param_4[2]" (identifier "param_4") ([ "[") (number_literal "2") (] "]"))) (; ";")) (expression_statement "uVar1 = param_4[3];" (assignment_expression "uVar1 = param_4[3]" (identifier "uVar1") (= "=") (subscript_expression "param_4[3]" (identifier "param_4") ([ "[") (number_literal "3") (] "]"))) (; ";")) (expression_statement "puVar5 = (uint *)(param_1 + -4 + param_2 * 4);" (assignment_expression "puVar5 = (uint *)(param_1 + -4 + param_2 * 4)" (identifier "puVar5") (= "=") (cast_expression "(uint *)(param_1 + -4 + param_2 * 4)" (( "(") (type_descriptor "uint *" (type_identifier "uint") (abstract_pointer_declarator "*" (* "*"))) () ")") (parenthesized_expression "(param_1 + -4 + param_2 * 4)" (( "(") (binary_expression "param_1 + -4 + param_2 * 4" (binary_expression "param_1 + -4" (identifier "param_1") (+ "+") (number_literal "-4")) (+ "+") (binary_expression "param_2 * 4" (identifier "param_2") (* "*") (number_literal "4"))) () ")")))) (; ";")) (expression_statement "uVar6 = param_2 & 3;" (assignment_expression "uVar6 = param_2 & 3" (identifier "uVar6") (= "=") (binary_expression "param_2 & 3" (identifier "param_2") (& "&") (number_literal "3"))) (; ";")) (if_statement "if (uVar6 == 0) {\n    uVar8 = (ulonglong)puVar5[-2] * (ulonglong)uVar3 + (ulonglong)puVar5[-3] +\n            (ulonglong)puVar5[-1] * (ulonglong)uVar1 + (ulonglong)*puVar5 * (ulonglong)param_4[4];\n    puVar5 = puVar5 + -7;\n    iVar2 = param_2 - 4;\n  }\n  else {\n    if (uVar6 < 2) {\n      uVar8 = (ulonglong)*puVar5;\n      puVar5 = puVar5 + -4;\n      iVar2 = param_2 - 1;\n      if (iVar2 != 0) goto LAB_00040d30;\n      goto LAB_00040d80;\n    }\n    if (uVar6 == 2) {\n      uVar8 = CONCAT44(*puVar5,puVar5[-1]);\n      puVar5 = puVar5 + -5;\n      iVar2 = param_2 - 2;\n    }\n    else {\n      uVar8 = (ulonglong)puVar5[-1] * (ulonglong)uVar3 + (ulonglong)puVar5[-2] +\n              (ulonglong)*puVar5 * (ulonglong)uVar1;\n      puVar5 = puVar5 + -6;\n      iVar2 = param_2 - 3;\n    }\n  }" (if "if") (parenthesized_expression "(uVar6 == 0)" (( "(") (binary_expression "uVar6 == 0" (identifier "uVar6") (== "==") (number_literal "0")) () ")")) (compound_statement "{\n    uVar8 = (ulonglong)puVar5[-2] * (ulonglong)uVar3 + (ulonglong)puVar5[-3] +\n            (ulonglong)puVar5[-1] * (ulonglong)uVar1 + (ulonglong)*puVar5 * (ulonglong)param_4[4];\n    puVar5 = puVar5 + -7;\n    iVar2 = param_2 - 4;\n  }" ({ "{") (expression_statement "uVar8 = (ulonglong)puVar5[-2] * (ulonglong)uVar3 + (ulonglong)puVar5[-3] +\n            (ulonglong)puVar5[-1] * (ulonglong)uVar1 + (ulonglong)*puVar5 * (ulonglong)param_4[4];" (assignment_expression "uVar8 = (ulonglong)puVar5[-2] * (ulonglong)uVar3 + (ulonglong)puVar5[-3] +\n            (ulonglong)puVar5[-1] * (ulonglong)uVar1 + (ulonglong)*puVar5 * (ulonglong)param_4[4]" (identifier "uVar8") (= "=") (binary_expression "(ulonglong)puVar5[-2] * (ulonglong)uVar3 + (ulonglong)puVar5[-3] +\n            (ulonglong)puVar5[-1] * (ulonglong)uVar1 + (ulonglong)*puVar5 * (ulonglong)param_4[4]" (binary_expression "(ulonglong)puVar5[-2] * (ulonglong)uVar3 + (ulonglong)puVar5[-3] +\n            (ulonglong)puVar5[-1] * (ulonglong)uVar1" (binary_expression "(ulonglong)puVar5[-2] * (ulonglong)uVar3 + (ulonglong)puVar5[-3]" (binary_expression "(ulonglong)puVar5[-2] * (ulonglong)uVar3" (cast_expression "(ulonglong)puVar5[-2]" (( "(") (type_descriptor "ulonglong" (type_identifier "ulonglong")) () ")") (subscript_expression "puVar5[-2]" (identifier "puVar5") ([ "[") (number_literal "-2") (] "]"))) (* "*") (cast_expression "(ulonglong)uVar3" (( "(") (type_descriptor "ulonglong" (type_identifier "ulonglong")) () ")") (identifier "uVar3"))) (+ "+") (cast_expression "(ulonglong)puVar5[-3]" (( "(") (type_descriptor "ulonglong" (type_identifier "ulonglong")) () ")") (subscript_expression "puVar5[-3]" (identifier "puVar5") ([ "[") (number_literal "-3") (] "]")))) (+ "+") (binary_expression "(ulonglong)puVar5[-1] * (ulonglong)uVar1" (cast_expression "(ulonglong)puVar5[-1]" (( "(") (type_descriptor "ulonglong" (type_identifier "ulonglong")) () ")") (subscript_expression "puVar5[-1]" (identifier "puVar5") ([ "[") (number_literal "-1") (] "]"))) (* "*") (cast_expression "(ulonglong)uVar1" (( "(") (type_descriptor "ulonglong" (type_identifier "ulonglong")) () ")") (identifier "uVar1")))) (+ "+") (binary_expression "(ulonglong)*puVar5 * (ulonglong)param_4[4]" (binary_expression "(ulonglong)*puVar5" (parenthesized_expression "(ulonglong)" (( "(") (identifier "ulonglong") () ")")) (* "*") (identifier "puVar5")) (* "*") (cast_expression "(ulonglong)param_4[4]" (( "(") (type_descriptor "ulonglong" (type_identifier "ulonglong")) () ")") (subscript_expression "param_4[4]" (identifier "param_4") ([ "[") (number_literal "4") (] "]")))))) (; ";")) (expression_statement "puVar5 = puVar5 + -7;" (assignment_expression "puVar5 = puVar5 + -7" (identifier "puVar5") (= "=") (binary_expression "puVar5 + -7" (identifier "puVar5") (+ "+") (number_literal "-7"))) (; ";")) (expression_statement "iVar2 = param_2 - 4;" (assignment_expression "iVar2 = param_2 - 4" (identifier "iVar2") (= "=") (binary_expression "param_2 - 4" (identifier "param_2") (- "-") (number_literal "4"))) (; ";")) (} "}")) (else_clause "else {\n    if (uVar6 < 2) {\n      uVar8 = (ulonglong)*puVar5;\n      puVar5 = puVar5 + -4;\n      iVar2 = param_2 - 1;\n      if (iVar2 != 0) goto LAB_00040d30;\n      goto LAB_00040d80;\n    }\n    if (uVar6 == 2) {\n      uVar8 = CONCAT44(*puVar5,puVar5[-1]);\n      puVar5 = puVar5 + -5;\n      iVar2 = param_2 - 2;\n    }\n    else {\n      uVar8 = (ulonglong)puVar5[-1] * (ulonglong)uVar3 + (ulonglong)puVar5[-2] +\n              (ulonglong)*puVar5 * (ulonglong)uVar1;\n      puVar5 = puVar5 + -6;\n      iVar2 = param_2 - 3;\n    }\n  }" (else "else") (compound_statement "{\n    if (uVar6 < 2) {\n      uVar8 = (ulonglong)*puVar5;\n      puVar5 = puVar5 + -4;\n      iVar2 = param_2 - 1;\n      if (iVar2 != 0) goto LAB_00040d30;\n      goto LAB_00040d80;\n    }\n    if (uVar6 == 2) {\n      uVar8 = CONCAT44(*puVar5,puVar5[-1]);\n      puVar5 = puVar5 + -5;\n      iVar2 = param_2 - 2;\n    }\n    else {\n      uVar8 = (ulonglong)puVar5[-1] * (ulonglong)uVar3 + (ulonglong)puVar5[-2] +\n              (ulonglong)*puVar5 * (ulonglong)uVar1;\n      puVar5 = puVar5 + -6;\n      iVar2 = param_2 - 3;\n    }\n  }" ({ "{") (if_statement "if (uVar6 < 2) {\n      uVar8 = (ulonglong)*puVar5;\n      puVar5 = puVar5 + -4;\n      iVar2 = param_2 - 1;\n      if (iVar2 != 0) goto LAB_00040d30;\n      goto LAB_00040d80;\n    }" (if "if") (parenthesized_expression "(uVar6 < 2)" (( "(") (binary_expression "uVar6 < 2" (identifier "uVar6") (< "<") (number_literal "2")) () ")")) (compound_statement "{\n      uVar8 = (ulonglong)*puVar5;\n      puVar5 = puVar5 + -4;\n      iVar2 = param_2 - 1;\n      if (iVar2 != 0) goto LAB_00040d30;\n      goto LAB_00040d80;\n    }" ({ "{") (expression_statement "uVar8 = (ulonglong)*puVar5;" (assignment_expression "uVar8 = (ulonglong)*puVar5" (identifier "uVar8") (= "=") (binary_expression "(ulonglong)*puVar5" (parenthesized_expression "(ulonglong)" (( "(") (identifier "ulonglong") () ")")) (* "*") (identifier "puVar5"))) (; ";")) (expression_statement "puVar5 = puVar5 + -4;" (assignment_expression "puVar5 = puVar5 + -4" (identifier "puVar5") (= "=") (binary_expression "puVar5 + -4" (identifier "puVar5") (+ "+") (number_literal "-4"))) (; ";")) (expression_statement "iVar2 = param_2 - 1;" (assignment_expression "iVar2 = param_2 - 1" (identifier "iVar2") (= "=") (binary_expression "param_2 - 1" (identifier "param_2") (- "-") (number_literal "1"))) (; ";")) (if_statement "if (iVar2 != 0) goto LAB_00040d30;" (if "if") (parenthesized_expression "(iVar2 != 0)" (( "(") (binary_expression "iVar2 != 0" (identifier "iVar2") (!= "!=") (number_literal "0")) () ")")) (goto_statement "goto LAB_00040d30;" (goto "goto") (statement_identifier "LAB_00040d30") (; ";"))) (goto_statement "goto LAB_00040d80;" (goto "goto") (statement_identifier "LAB_00040d80") (; ";")) (} "}"))) (if_statement "if (uVar6 == 2) {\n      uVar8 = CONCAT44(*puVar5,puVar5[-1]);\n      puVar5 = puVar5 + -5;\n      iVar2 = param_2 - 2;\n    }\n    else {\n      uVar8 = (ulonglong)puVar5[-1] * (ulonglong)uVar3 + (ulonglong)puVar5[-2] +\n              (ulonglong)*puVar5 * (ulonglong)uVar1;\n      puVar5 = puVar5 + -6;\n      iVar2 = param_2 - 3;\n    }" (if "if") (parenthesized_expression "(uVar6 == 2)" (( "(") (binary_expression "uVar6 == 2" (identifier "uVar6") (== "==") (number_literal "2")) () ")")) (compound_statement "{\n      uVar8 = CONCAT44(*puVar5,puVar5[-1]);\n      puVar5 = puVar5 + -5;\n      iVar2 = param_2 - 2;\n    }" ({ "{") (expression_statement "uVar8 = CONCAT44(*puVar5,puVar5[-1]);" (assignment_expression "uVar8 = CONCAT44(*puVar5,puVar5[-1])" (identifier "uVar8") (= "=") (call_expression "CONCAT44(*puVar5,puVar5[-1])" (identifier "CONCAT44") (argument_list "(*puVar5,puVar5[-1])" (( "(") (pointer_expression "*puVar5" (* "*") (identifier "puVar5")) (, ",") (subscript_expression "puVar5[-1]" (identifier "puVar5") ([ "[") (number_literal "-1") (] "]")) () ")")))) (; ";")) (expression_statement "puVar5 = puVar5 + -5;" (assignment_expression "puVar5 = puVar5 + -5" (identifier "puVar5") (= "=") (binary_expression "puVar5 + -5" (identifier "puVar5") (+ "+") (number_literal "-5"))) (; ";")) (expression_statement "iVar2 = param_2 - 2;" (assignment_expression "iVar2 = param_2 - 2" (identifier "iVar2") (= "=") (binary_expression "param_2 - 2" (identifier "param_2") (- "-") (number_literal "2"))) (; ";")) (} "}")) (else_clause "else {\n      uVar8 = (ulonglong)puVar5[-1] * (ulonglong)uVar3 + (ulonglong)puVar5[-2] +\n              (ulonglong)*puVar5 * (ulonglong)uVar1;\n      puVar5 = puVar5 + -6;\n      iVar2 = param_2 - 3;\n    }" (else "else") (compound_statement "{\n      uVar8 = (ulonglong)puVar5[-1] * (ulonglong)uVar3 + (ulonglong)puVar5[-2] +\n              (ulonglong)*puVar5 * (ulonglong)uVar1;\n      puVar5 = puVar5 + -6;\n      iVar2 = param_2 - 3;\n    }" ({ "{") (expression_statement "uVar8 = (ulonglong)puVar5[-1] * (ulonglong)uVar3 + (ulonglong)puVar5[-2] +\n              (ulonglong)*puVar5 * (ulonglong)uVar1;" (assignment_expression "uVar8 = (ulonglong)puVar5[-1] * (ulonglong)uVar3 + (ulonglong)puVar5[-2] +\n              (ulonglong)*puVar5 * (ulonglong)uVar1" (identifier "uVar8") (= "=") (binary_expression "(ulonglong)puVar5[-1] * (ulonglong)uVar3 + (ulonglong)puVar5[-2] +\n              (ulonglong)*puVar5 * (ulonglong)uVar1" (binary_expression "(ulonglong)puVar5[-1] * (ulonglong)uVar3 + (ulonglong)puVar5[-2]" (binary_expression "(ulonglong)puVar5[-1] * (ulonglong)uVar3" (cast_expression "(ulonglong)puVar5[-1]" (( "(") (type_descriptor "ulonglong" (type_identifier "ulonglong")) () ")") (subscript_expression "puVar5[-1]" (identifier "puVar5") ([ "[") (number_literal "-1") (] "]"))) (* "*") (cast_expression "(ulonglong)uVar3" (( "(") (type_descriptor "ulonglong" (type_identifier "ulonglong")) () ")") (identifier "uVar3"))) (+ "+") (cast_expression "(ulonglong)puVar5[-2]" (( "(") (type_descriptor "ulonglong" (type_identifier "ulonglong")) () ")") (subscript_expression "puVar5[-2]" (identifier "puVar5") ([ "[") (number_literal "-2") (] "]")))) (+ "+") (binary_expression "(ulonglong)*puVar5 * (ulonglong)uVar1" (binary_expression "(ulonglong)*puVar5" (parenthesized_expression "(ulonglong)" (( "(") (identifier "ulonglong") () ")")) (* "*") (identifier "puVar5")) (* "*") (cast_expression "(ulonglong)uVar1" (( "(") (type_descriptor "ulonglong" (type_identifier "ulonglong")) () ")") (identifier "uVar1"))))) (; ";")) (expression_statement "puVar5 = puVar5 + -6;" (assignment_expression "puVar5 = puVar5 + -6" (identifier "puVar5") (= "=") (binary_expression "puVar5 + -6" (identifier "puVar5") (+ "+") (number_literal "-6"))) (; ";")) (expression_statement "iVar2 = param_2 - 3;" (assignment_expression "iVar2 = param_2 - 3" (identifier "iVar2") (= "=") (binary_expression "param_2 - 3" (identifier "param_2") (- "-") (number_literal "3"))) (; ";")) (} "}")))) (} "}")))) (for_statement "for (; iVar2 != 0; iVar2 = iVar2 + -4) {\nLAB_00040d30:\n    uVar8 = (uVar8 >> 0x20) * (ulonglong)param_4[6] +\n            (ulonglong)puVar5[1] * (ulonglong)uVar3 + (ulonglong)*puVar5 +\n            (ulonglong)puVar5[2] * (ulonglong)uVar1 + (ulonglong)puVar5[3] * (ulonglong)param_4[4] +\n            (uVar8 & 0xffffffff) * (ulonglong)param_4[5];\n    puVar5 = puVar5 + -4;\n  }" (for "for") (( "(") (; ";") (binary_expression "iVar2 != 0" (identifier "iVar2") (!= "!=") (number_literal "0")) (; ";") (assignment_expression "iVar2 = iVar2 + -4" (identifier "iVar2") (= "=") (binary_expression "iVar2 + -4" (identifier "iVar2") (+ "+") (number_literal "-4"))) () ")") (compound_statement "{\nLAB_00040d30:\n    uVar8 = (uVar8 >> 0x20) * (ulonglong)param_4[6] +\n            (ulonglong)puVar5[1] * (ulonglong)uVar3 + (ulonglong)*puVar5 +\n            (ulonglong)puVar5[2] * (ulonglong)uVar1 + (ulonglong)puVar5[3] * (ulonglong)param_4[4] +\n            (uVar8 & 0xffffffff) * (ulonglong)param_4[5];\n    puVar5 = puVar5 + -4;\n  }" ({ "{") (labeled_statement "LAB_00040d30:\n    uVar8 = (uVar8 >> 0x20) * (ulonglong)param_4[6] +\n            (ulonglong)puVar5[1] * (ulonglong)uVar3 + (ulonglong)*puVar5 +\n            (ulonglong)puVar5[2] * (ulonglong)uVar1 + (ulonglong)puVar5[3] * (ulonglong)param_4[4] +\n            (uVar8 & 0xffffffff) * (ulonglong)param_4[5];" (statement_identifier "LAB_00040d30") (: ":") (expression_statement "uVar8 = (uVar8 >> 0x20) * (ulonglong)param_4[6] +\n            (ulonglong)puVar5[1] * (ulonglong)uVar3 + (ulonglong)*puVar5 +\n            (ulonglong)puVar5[2] * (ulonglong)uVar1 + (ulonglong)puVar5[3] * (ulonglong)param_4[4] +\n            (uVar8 & 0xffffffff) * (ulonglong)param_4[5];" (assignment_expression "uVar8 = (uVar8 >> 0x20) * (ulonglong)param_4[6] +\n            (ulonglong)puVar5[1] * (ulonglong)uVar3 + (ulonglong)*puVar5 +\n            (ulonglong)puVar5[2] * (ulonglong)uVar1 + (ulonglong)puVar5[3] * (ulonglong)param_4[4] +\n            (uVar8 & 0xffffffff) * (ulonglong)param_4[5]" (identifier "uVar8") (= "=") (binary_expression "(uVar8 >> 0x20) * (ulonglong)param_4[6] +\n            (ulonglong)puVar5[1] * (ulonglong)uVar3 + (ulonglong)*puVar5 +\n            (ulonglong)puVar5[2] * (ulonglong)uVar1 + (ulonglong)puVar5[3] * (ulonglong)param_4[4] +\n            (uVar8 & 0xffffffff) * (ulonglong)param_4[5]" (binary_expression "(uVar8 >> 0x20) * (ulonglong)param_4[6] +\n            (ulonglong)puVar5[1] * (ulonglong)uVar3 + (ulonglong)*puVar5 +\n            (ulonglong)puVar5[2] * (ulonglong)uVar1 + (ulonglong)puVar5[3] * (ulonglong)param_4[4]" (binary_expression "(uVar8 >> 0x20) * (ulonglong)param_4[6] +\n            (ulonglong)puVar5[1] * (ulonglong)uVar3 + (ulonglong)*puVar5 +\n            (ulonglong)puVar5[2] * (ulonglong)uVar1" (binary_expression "(uVar8 >> 0x20) * (ulonglong)param_4[6] +\n            (ulonglong)puVar5[1] * (ulonglong)uVar3 + (ulonglong)*puVar5" (binary_expression "(uVar8 >> 0x20) * (ulonglong)param_4[6] +\n            (ulonglong)puVar5[1] * (ulonglong)uVar3" (binary_expression "(uVar8 >> 0x20) * (ulonglong)param_4[6]" (parenthesized_expression "(uVar8 >> 0x20)" (( "(") (binary_expression "uVar8 >> 0x20" (identifier "uVar8") (>> ">>") (number_literal "0x20")) () ")")) (* "*") (cast_expression "(ulonglong)param_4[6]" (( "(") (type_descriptor "ulonglong" (type_identifier "ulonglong")) () ")") (subscript_expression "param_4[6]" (identifier "param_4") ([ "[") (number_literal "6") (] "]")))) (+ "+") (binary_expression "(ulonglong)puVar5[1] * (ulonglong)uVar3" (cast_expression "(ulonglong)puVar5[1]" (( "(") (type_descriptor "ulonglong" (type_identifier "ulonglong")) () ")") (subscript_expression "puVar5[1]" (identifier "puVar5") ([ "[") (number_literal "1") (] "]"))) (* "*") (cast_expression "(ulonglong)uVar3" (( "(") (type_descriptor "ulonglong" (type_identifier "ulonglong")) () ")") (identifier "uVar3")))) (+ "+") (binary_expression "(ulonglong)*puVar5" (parenthesized_expression "(ulonglong)" (( "(") (identifier "ulonglong") () ")")) (* "*") (identifier "puVar5"))) (+ "+") (binary_expression "(ulonglong)puVar5[2] * (ulonglong)uVar1" (cast_expression "(ulonglong)puVar5[2]" (( "(") (type_descriptor "ulonglong" (type_identifier "ulonglong")) () ")") (subscript_expression "puVar5[2]" (identifier "puVar5") ([ "[") (number_literal "2") (] "]"))) (* "*") (cast_expression "(ulonglong)uVar1" (( "(") (type_descriptor "ulonglong" (type_identifier "ulonglong")) () ")") (identifier "uVar1")))) (+ "+") (binary_expression "(ulonglong)puVar5[3] * (ulonglong)param_4[4]" (cast_expression "(ulonglong)puVar5[3]" (( "(") (type_descriptor "ulonglong" (type_identifier "ulonglong")) () ")") (subscript_expression "puVar5[3]" (identifier "puVar5") ([ "[") (number_literal "3") (] "]"))) (* "*") (cast_expression "(ulonglong)param_4[4]" (( "(") (type_descriptor "ulonglong" (type_identifier "ulonglong")) () ")") (subscript_expression "param_4[4]" (identifier "param_4") ([ "[") (number_literal "4") (] "]"))))) (+ "+") (binary_expression "(uVar8 & 0xffffffff) * (ulonglong)param_4[5]" (parenthesized_expression "(uVar8 & 0xffffffff)" (( "(") (binary_expression "uVar8 & 0xffffffff" (identifier "uVar8") (& "&") (number_literal "0xffffffff")) () ")")) (* "*") (cast_expression "(ulonglong)param_4[5]" (( "(") (type_descriptor "ulonglong" (type_identifier "ulonglong")) () ")") (subscript_expression "param_4[5]" (identifier "param_4") ([ "[") (number_literal "5") (] "]")))))) (; ";"))) (expression_statement "puVar5 = puVar5 + -4;" (assignment_expression "puVar5 = puVar5 + -4" (identifier "puVar5") (= "=") (binary_expression "puVar5 + -4" (identifier "puVar5") (+ "+") (number_literal "-4"))) (; ";")) (} "}"))) (expression_statement "uVar8 = (uVar8 >> 0x20) * (ulonglong)uVar3 + (uVar8 & 0xffffffff);" (assignment_expression "uVar8 = (uVar8 >> 0x20) * (ulonglong)uVar3 + (uVar8 & 0xffffffff)" (identifier "uVar8") (= "=") (binary_expression "(uVar8 >> 0x20) * (ulonglong)uVar3 + (uVar8 & 0xffffffff)" (binary_expression "(uVar8 >> 0x20) * (ulonglong)uVar3" (parenthesized_expression "(uVar8 >> 0x20)" (( "(") (binary_expression "uVar8 >> 0x20" (identifier "uVar8") (>> ">>") (number_literal "0x20")) () ")")) (* "*") (cast_expression "(ulonglong)uVar3" (( "(") (type_descriptor "ulonglong" (type_identifier "ulonglong")) () ")") (identifier "uVar3"))) (+ "+") (parenthesized_expression "(uVar8 & 0xffffffff)" (( "(") (binary_expression "uVar8 & 0xffffffff" (identifier "uVar8") (& "&") (number_literal "0xffffffff")) () ")")))) (; ";")) (labeled_statement "LAB_00040d80:\n  uVar8 = uVar8 << (ulonglong)param_4[1];" (statement_identifier "LAB_00040d80") (: ":") (expression_statement "uVar8 = uVar8 << (ulonglong)param_4[1];" (assignment_expression "uVar8 = uVar8 << (ulonglong)param_4[1]" (identifier "uVar8") (= "=") (binary_expression "uVar8 << (ulonglong)param_4[1]" (identifier "uVar8") (<< "<<") (cast_expression "(ulonglong)param_4[1]" (( "(") (type_descriptor "ulonglong" (type_identifier "ulonglong")) () ")") (subscript_expression "param_4[1]" (identifier "param_4") ([ "[") (number_literal "1") (] "]"))))) (; ";"))) (expression_statement "lVar7 = (ulonglong)*param_4 * (uVar8 >> 0x20) + uVar8;" (assignment_expression "lVar7 = (ulonglong)*param_4 * (uVar8 >> 0x20) + uVar8" (identifier "lVar7") (= "=") (binary_expression "(ulonglong)*param_4 * (uVar8 >> 0x20) + uVar8" (binary_expression "(ulonglong)*param_4 * (uVar8 >> 0x20)" (binary_expression "(ulonglong)*param_4" (parenthesized_expression "(ulonglong)" (( "(") (identifier "ulonglong") () ")")) (* "*") (identifier "param_4")) (* "*") (parenthesized_expression "(uVar8 >> 0x20)" (( "(") (binary_expression "uVar8 >> 0x20" (identifier "uVar8") (>> ">>") (number_literal "0x20")) () ")"))) (+ "+") (identifier "uVar8"))) (; ";")) (expression_statement "uVar3 = ((int)uVar8 - param_3 * (int)((ulonglong)lVar7 >> 0x20)) - param_3;" (assignment_expression "uVar3 = ((int)uVar8 - param_3 * (int)((ulonglong)lVar7 >> 0x20)) - param_3" (identifier "uVar3") (= "=") (binary_expression "((int)uVar8 - param_3 * (int)((ulonglong)lVar7 >> 0x20)) - param_3" (parenthesized_expression "((int)uVar8 - param_3 * (int)((ulonglong)lVar7 >> 0x20))" (( "(") (binary_expression "(int)uVar8 - param_3 * (int)((ulonglong)lVar7 >> 0x20)" (cast_expression "(int)uVar8" (( "(") (type_descriptor "int" (primitive_type "int")) () ")") (identifier "uVar8")) (- "-") (binary_expression "param_3 * (int)((ulonglong)lVar7 >> 0x20)" (identifier "param_3") (* "*") (cast_expression "(int)((ulonglong)lVar7 >> 0x20)" (( "(") (type_descriptor "int" (primitive_type "int")) () ")") (parenthesized_expression "((ulonglong)lVar7 >> 0x20)" (( "(") (binary_expression "(ulonglong)lVar7 >> 0x20" (cast_expression "(ulonglong)lVar7" (( "(") (type_descriptor "ulonglong" (type_identifier "ulonglong")) () ")") (identifier "lVar7")) (>> ">>") (number_literal "0x20")) () ")"))))) () ")")) (- "-") (identifier "param_3"))) (; ";")) (if_statement "if ((uint)lVar7 < uVar3) {\n    uVar3 = uVar3 + param_3;\n  }" (if "if") (parenthesized_expression "((uint)lVar7 < uVar3)" (( "(") (binary_expression "(uint)lVar7 < uVar3" (cast_expression "(uint)lVar7" (( "(") (type_descriptor "uint" (type_identifier "uint")) () ")") (identifier "lVar7")) (< "<") (identifier "uVar3")) () ")")) (compound_statement "{\n    uVar3 = uVar3 + param_3;\n  }" ({ "{") (expression_statement "uVar3 = uVar3 + param_3;" (assignment_expression "uVar3 = uVar3 + param_3" (identifier "uVar3") (= "=") (binary_expression "uVar3 + param_3" (identifier "uVar3") (+ "+") (identifier "param_3"))) (; ";")) (} "}"))) (expression_statement "bVar4 = (byte)param_4[1];" (assignment_expression "bVar4 = (byte)param_4[1]" (identifier "bVar4") (= "=") (cast_expression "(byte)param_4[1]" (( "(") (type_descriptor "byte" (type_identifier "byte")) () ")") (subscript_expression "param_4[1]" (identifier "param_4") ([ "[") (number_literal "1") (] "]")))) (; ";")) (if_statement "if (param_3 <= uVar3) {\n    return uVar3 - param_3 >> (bVar4 & 0x1f);\n  }" (if "if") (parenthesized_expression "(param_3 <= uVar3)" (( "(") (binary_expression "param_3 <= uVar3" (identifier "param_3") (<= "<=") (identifier "uVar3")) () ")")) (compound_statement "{\n    return uVar3 - param_3 >> (bVar4 & 0x1f);\n  }" ({ "{") (return_statement "return uVar3 - param_3 >> (bVar4 & 0x1f);" (return "return") (binary_expression "uVar3 - param_3 >> (bVar4 & 0x1f)" (binary_expression "uVar3 - param_3" (identifier "uVar3") (- "-") (identifier "param_3")) (>> ">>") (parenthesized_expression "(bVar4 & 0x1f)" (( "(") (binary_expression "bVar4 & 0x1f" (identifier "bVar4") (& "&") (number_literal "0x1f")) () ")"))) (; ";")) (} "}"))) (return_statement "return uVar3 >> (bVar4 & 0x1f);" (return "return") (binary_expression "uVar3 >> (bVar4 & 0x1f)" (identifier "uVar3") (>> ">>") (parenthesized_expression "(bVar4 & 0x1f)" (( "(") (binary_expression "bVar4 & 0x1f" (identifier "bVar4") (& "&") (number_literal "0x1f")) () ")"))) (; ";")) (} "}")))

type_1 function_1(int var_1,type_1 var_2,type_1 var_9,type_1 *var_8)

{
  type_1 uVar1;
  int var_5;
  type_1 var_10;
  type_2 var_11;
  type_1 *var_4;
  type_1 var_3;
  type_3 lVar7;
  type_4 var_7;
  
  var_10 = var_8[2];
  uVar1 = var_8[3];
  var_4 = (type_1 *)(var_1 + -4 + var_2 * 4);
  var_3 = var_2 & 3;
  if (var_3 == 0) {
    var_7 = (type_4)var_4[-2] * (type_4)var_10 + (type_4)var_4[-3] +
            (type_4)var_4[-1] * (type_4)uVar1 + (type_4)*var_4 * (type_4)var_8[4];
    var_4 = var_4 + -7;
    var_5 = var_2 - 4;
  }
  else {
    if (var_3 < 2) {
      var_7 = (type_4)*var_4;
      var_4 = var_4 + -4;
      var_5 = var_2 - 1;
      if (var_5 != 0) goto LAB_00040d30;
      goto LAB_00040d80;
    }
    if (var_3 == 2) {
      var_7 = var_6(*var_4,var_4[-1]);
      var_4 = var_4 + -5;
      var_5 = var_2 - 2;
    }
    else {
      var_7 = (type_4)var_4[-1] * (type_4)var_10 + (type_4)var_4[-2] +
              (type_4)*var_4 * (type_4)uVar1;
      var_4 = var_4 + -6;
      var_5 = var_2 - 3;
    }
  }
  for (; var_5 != 0; var_5 = var_5 + -4) {
LAB_00040d30:
    var_7 = (var_7 >> 0x20) * (type_4)var_8[6] +
            (type_4)var_4[1] * (type_4)var_10 + (type_4)*var_4 +
            (type_4)var_4[2] * (type_4)uVar1 + (type_4)var_4[3] * (type_4)var_8[4] +
            (var_7 & 0xffffffff) * (type_4)var_8[5];
    var_4 = var_4 + -4;
  }
  var_7 = (var_7 >> 0x20) * (type_4)var_10 + (var_7 & 0xffffffff);
LAB_00040d80:
  var_7 = var_7 << (type_4)var_8[1];
  lVar7 = (type_4)*var_8 * (var_7 >> 0x20) + var_7;
  var_10 = ((int)var_7 - var_9 * (int)((type_4)lVar7 >> 0x20)) - var_9;
  if ((type_1)lVar7 < var_10) {
    var_10 = var_10 + var_9;
  }
  var_11 = (type_2)var_8[1];
  if (var_9 <= var_10) {
    return var_10 - var_9 >> (var_11 & 0x1f);
  }
  return var_10 >> (var_11 & 0x1f);
}


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

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

{
  uint uVar1;
  int iVar2;
  uint uVar3;
  byte bVar4;
  uint *puVar5;
  uint uVar6;
  longlong lVar7;
  ulonglong uVar8;
  
  uVar3 = param_4[2];
  uVar1 = param_4[3];
  puVar5 = (uint *)(param_1 + -4 + param_2 * 4);
  uVar6 = param_2 & 3;
  if (uVar6 == 0) {
    uVar8 = (ulonglong)puVar5[-2] * (ulonglong)uVar3 + (ulonglong)puVar5[-3] +
            (ulonglong)puVar5[-1] * (ulonglong)uVar1 + (ulonglong)*puVar5 * (ulonglong)param_4[4];
    puVar5 = puVar5 + -7;
    iVar2 = param_2 - 4;
  }
  else {
    if (uVar6 < 2) {
      uVar8 = (ulonglong)*puVar5;
      puVar5 = puVar5 + -4;
      iVar2 = param_2 - 1;
      if (iVar2 != 0) goto LAB_00040d30;
      goto LAB_00040d80;
    }
    if (uVar6 == 2) {
      uVar8 = CONCAT44(*puVar5,puVar5[-1]);
      puVar5 = puVar5 + -5;
      iVar2 = param_2 - 2;
    }
    else {
      uVar8 = (ulonglong)puVar5[-1] * (ulonglong)uVar3 + (ulonglong)puVar5[-2] +
              (ulonglong)*puVar5 * (ulonglong)uVar1;
      puVar5 = puVar5 + -6;
      iVar2 = param_2 - 3;
    }
  }
  for (; iVar2 != 0; iVar2 = iVar2 + -4) {
LAB_00040d30:
    uVar8 = (uVar8 >> 0x20) * (ulonglong)param_4[6] +
            (ulonglong)puVar5[1] * (ulonglong)uVar3 + (ulonglong)*puVar5 +
            (ulonglong)puVar5[2] * (ulonglong)uVar1 + (ulonglong)puVar5[3] * (ulonglong)param_4[4] +
            (uVar8 & 0xffffffff) * (ulonglong)param_4[5];
    puVar5 = puVar5 + -4;
  }
  uVar8 = (uVar8 >> 0x20) * (ulonglong)uVar3 + (uVar8 & 0xffffffff);
LAB_00040d80:
  uVar8 = uVar8 << (ulonglong)param_4[1];
  lVar7 = (ulonglong)*param_4 * (uVar8 >> 0x20) + uVar8;
  uVar3 = ((int)uVar8 - param_3 * (int)((ulonglong)lVar7 >> 0x20)) - param_3;
  if ((uint)lVar7 < uVar3) {
    uVar3 = uVar3 + param_3;
  }
  bVar4 = (byte)param_4[1];
  if (param_3 <= uVar3) {
    return uVar3 - param_3 >> (bVar4 & 0x1f);
  }
  return uVar3 >> (bVar4 & 0x1f);
}

