
uint __gmpn_rshift_pentium4_mmx(uint *param_1,ulonglong *param_2,uint param_3,uint param_4)

{
  uint *puVar1;
  ulonglong *puVar2;
  byte bVar3;
  int iVar4;
  int iVar5;
  int iVar6;
  uint uVar7;
  uint uVar8;
  ulonglong uVar9;
  ulonglong uVar10;
  ulonglong uVar11;
  ulonglong uVar12;
  ulonglong uVar13;
  ulonglong uVar14;
  ulonglong uVar15;
  
  if (param_3 < 5) {
    iVar4 = param_3 - 1;
    uVar13 = *param_2;
    if (iVar4 == 0) {
      bVar3 = (byte)param_4 & 0x1f;
      *param_1 = (uint)uVar13 >> ((byte)param_4 & 0x1f);
      return 0U >> bVar3 | (uint)uVar13 << 0x20 - bVar3;
    }
    uVar13 = *param_2;
    puVar1 = (uint *)((int)param_2 + iVar4 * 4);
    uVar14 = (ulonglong)param_4;
    iVar5 = -iVar4;
    do {
      iVar6 = iVar5 + 1;
      param_1[iVar4 + iVar5] = (uint)(*(ulonglong *)(puVar1 + iVar5) >> uVar14);
      iVar5 = iVar6;
    } while (iVar6 != 0);
    param_1[iVar4] = *puVar1 >> uVar14;
    return (uint)(((ulonglong)(uint)uVar13 << 0x20) >> uVar14);
  }
  uVar13 = *param_2;
  uVar14 = (ulonglong)param_4;
  if (((uint)param_2 & 4) != 0) {
    uVar12 = *param_2;
    param_2 = (ulonglong *)((int)param_2 + 4);
    param_3 = param_3 - 1;
    *param_1 = (uint)(uVar12 >> uVar14);
    param_1 = param_1 + 1;
  }
  uVar12 = *param_2;
  uVar13 = ((ulonglong)(uint)uVar13 << 0x20) >> uVar14;
  if (((uint)param_1 & 4) != 0) {
    param_4 = param_4 + 0x20;
    uVar9 = uVar12 >> uVar14;
    uVar14 = (ulonglong)param_4;
    *param_1 = (uint)uVar9;
    param_1 = param_1 + 1;
  }
  uVar9 = param_2[1];
  param_4 = 0x40 - param_4;
  uVar15 = (ulonglong)param_4;
  iVar4 = param_3 * 4;
  puVar2 = (ulonglong *)(param_1 + (param_3 - 5));
  uVar12 = uVar9 << uVar15 | uVar12 >> uVar14;
  uVar7 = -(param_3 - 7);
  if (0 < (int)(param_3 - 7)) {
    do {
      uVar11 = *(ulonglong *)((int)param_2 + uVar7 * 4 + iVar4 + -0xc);
      uVar10 = uVar9 >> uVar14;
      *(ulonglong *)((int)puVar2 + uVar7 * 4 + -8) = uVar12;
      uVar9 = *(ulonglong *)((int)param_2 + uVar7 * 4 + iVar4 + -4);
      *(ulonglong *)((int)puVar2 + uVar7 * 4) = uVar11 << uVar15 | uVar10;
      uVar7 = uVar7 + 4;
      uVar12 = uVar9 << uVar15 | uVar11 >> uVar14;
    } while ((int)uVar7 < 0);
  }
  uVar11 = uVar9;
  if ((uVar7 & 2) == 0) {
    uVar11 = *(ulonglong *)((int)param_2 + uVar7 * 4 + iVar4 + -0xc);
    *(ulonglong *)((int)puVar2 + uVar7 * 4 + -8) = uVar12;
    uVar12 = uVar11 << uVar15 | uVar9 >> uVar14;
    uVar7 = uVar7 + 2;
  }
  uVar8 = (uint)uVar13;
  if ((uVar7 & 1) == 0) {
    uVar7 = *(uint *)((int)param_2 + iVar4 + -4);
    *puVar2 = uVar12;
    if ((param_4 & 0x20) != 0) {
      *(uint *)(puVar2 + 2) = uVar7 >> uVar14;
    }
    puVar2[1] = (ulonglong)uVar7 << uVar15 | uVar11 >> uVar14;
    return uVar8;
  }
  *(ulonglong *)((int)puVar2 + 4) = uVar12;
  *(uint *)((int)puVar2 + 0xc) = (uint)(uVar11 >> uVar14);
  if ((param_4 & 0x20) != 0) {
    *(ulonglong *)((int)puVar2 + 0xc) = uVar11 >> uVar14;
  }
  return uVar8;
}



uint __gmpn_rshift_pentium4_mmx(uint *param_1,ulonglong *param_2,uint param_3,uint param_4)

{
  uint *puVar1;
  ulonglong *puVar2;
  byte bVar3;
  int iVar4;
  int iVar5;
  int iVar6;
  uint uVar7;
  uint uVar8;
  ulonglong uVar9;
  ulonglong uVar10;
  ulonglong uVar11;
  ulonglong uVar12;
  ulonglong uVar13;
  ulonglong uVar14;
  ulonglong uVar15;
  
  if (param_3 < 5) {
    iVar4 = param_3 - 1;
    uVar13 = *param_2;
    if (iVar4 == 0) {
      bVar3 = (byte)param_4 & 0x1f;
      *param_1 = (uint)uVar13 >> ((byte)param_4 & 0x1f);
      return 0U >> bVar3 | (uint)uVar13 << 0x20 - bVar3;
    }
    uVar13 = *param_2;
    puVar1 = (uint *)((int)param_2 + iVar4 * 4);
    uVar14 = (ulonglong)param_4;
    iVar5 = -iVar4;
    do {
      iVar6 = iVar5 + 1;
      param_1[iVar4 + iVar5] = (uint)(*(ulonglong *)(puVar1 + iVar5) >> uVar14);
      iVar5 = iVar6;
    } while (iVar6 != 0);
    param_1[iVar4] = *puVar1 >> uVar14;
    return (uint)(((ulonglong)(uint)uVar13 << 0x20) >> uVar14);
  }
  uVar13 = *param_2;
  uVar14 = (ulonglong)param_4;
  if (((uint)param_2 & 4) != 0) {
    uVar12 = *param_2;
    param_2 = (ulonglong *)((int)param_2 + 4);
    param_3 = param_3 - 1;
    *param_1 = (uint)(uVar12 >> uVar14);
    param_1 = param_1 + 1;
  }
  uVar12 = *param_2;
  uVar13 = ((ulonglong)(uint)uVar13 << 0x20) >> uVar14;
  if (((uint)param_1 & 4) != 0) {
    param_4 = param_4 + 0x20;
    uVar9 = uVar12 >> uVar14;
    uVar14 = (ulonglong)param_4;
    *param_1 = (uint)uVar9;
    param_1 = param_1 + 1;
  }
  uVar9 = param_2[1];
  param_4 = 0x40 - param_4;
  uVar15 = (ulonglong)param_4;
  iVar4 = param_3 * 4;
  puVar2 = (ulonglong *)(param_1 + (param_3 - 5));
  uVar12 = uVar9 << uVar15 | uVar12 >> uVar14;
  uVar7 = -(param_3 - 7);
  if (0 < (int)(param_3 - 7)) {
    do {
      uVar11 = *(ulonglong *)((int)param_2 + uVar7 * 4 + iVar4 + -0xc);
      uVar10 = uVar9 >> uVar14;
      *(ulonglong *)((int)puVar2 + uVar7 * 4 + -8) = uVar12;
      uVar9 = *(ulonglong *)((int)param_2 + uVar7 * 4 + iVar4 + -4);
      *(ulonglong *)((int)puVar2 + uVar7 * 4) = uVar11 << uVar15 | uVar10;
      uVar7 = uVar7 + 4;
      uVar12 = uVar9 << uVar15 | uVar11 >> uVar14;
    } while ((int)uVar7 < 0);
  }
  uVar11 = uVar9;
  if ((uVar7 & 2) == 0) {
    uVar11 = *(ulonglong *)((int)param_2 + uVar7 * 4 + iVar4 + -0xc);
    *(ulonglong *)((int)puVar2 + uVar7 * 4 + -8) = uVar12;
    uVar12 = uVar11 << uVar15 | uVar9 >> uVar14;
    uVar7 = uVar7 + 2;
  }
  uVar8 = (uint)uVar13;
  if ((uVar7 & 1) == 0) {
    uVar7 = *(uint *)((int)param_2 + iVar4 + -4);
    *puVar2 = uVar12;
    if ((param_4 & 0x20) != 0) {
      *(uint *)(puVar2 + 2) = uVar7 >> uVar14;
    }
    puVar2[1] = (ulonglong)uVar7 << uVar15 | uVar11 >> uVar14;
    return uVar8;
  }
  *(ulonglong *)((int)puVar2 + 4) = uVar12;
  *(uint *)((int)puVar2 + 0xc) = (uint)(uVar11 >> uVar14);
  if ((param_4 & 0x20) != 0) {
    *(ulonglong *)((int)puVar2 + 0xc) = uVar11 >> uVar14;
  }
  return uVar8;
}


PUSH EBX
PUSH EDI
MOV EAX,dword ptr [ESP + 0x14]
MOV EDX,dword ptr [ESP + 0xc]
MOV EBX,dword ptr [ESP + 0x10]
MOV ECX,dword ptr [ESP + 0x18]
CMP EAX,0x5
JNC 0x00040378
DEC EAX
MOV EDI,dword ptr [EBX]
JNZ 0x00040340
SHRD EAX,EDI,CL
SHR EDI,CL
MOV dword ptr [EDX],EDI
POP EDI
POP EBX
RET
MOVD MM5,dword ptr [EBX]
LEA EBX,[EBX + EAX*0x4]
MOVD MM6,ECX
LEA EDX,[EDX + EAX*0x4 + -0x4]
PSLLQ MM5,0x20
NEG EAX
MOVQ MM0,qword ptr [EBX + EAX*0x4]
INC EAX
PSRLQ MM0,MM6
MOVD dword ptr [EDX + EAX*0x4],MM0
JNZ 0x00040353
MOVD MM0,dword ptr [EBX]
PSRLQ MM5,MM6
PSRLQ MM0,MM6
POP EDI
MOVD EAX,MM5
POP EBX
MOVD dword ptr [EDX + 0x4],MM0
EMMS
RET
MOVD MM5,dword ptr [EBX]
MOV EDI,0x4
MOVD MM6,ECX
TEST EBX,EDI
PSLLQ MM5,0x20
JZ 0x0004039b
MOVQ MM0,qword ptr [EBX]
PSRLQ MM0,MM6
ADD EBX,0x4
DEC EAX
MOVD dword ptr [EDX],MM0
ADD EDX,0x4
MOVQ MM1,qword ptr [EBX]
TEST EDX,EDI
PSRLQ MM5,MM6
JZ 0x000403b7
MOVQ MM0,MM1
ADD ECX,0x20
PSRLQ MM0,MM6
MOVD MM6,ECX
MOVD dword ptr [EDX],MM0
ADD EDX,0x4
MOVQ MM3,qword ptr [EBX + 0x8]
NEG ECX
MOVQ MM2,MM3
ADD ECX,0x40
MOVD MM7,ECX
PSRLQ MM1,MM6
LEA EBX,[EBX + EAX*0x4 + -0xc]
LEA EDX,[EDX + EAX*0x4 + -0x14]
PSLLQ MM3,MM7
SUB EAX,0x7
POR MM3,MM1
NEG EAX
JNS 0x0004040f
NOP
MOVQ MM0,qword ptr [EBX + EAX*0x4]
PSRLQ MM2,MM6
MOVQ MM1,MM0
PSLLQ MM0,MM7
MOVQ qword ptr [EDX + EAX*0x4 + -0x8],MM3
POR MM0,MM2
MOVQ MM3,qword ptr [EBX + EAX*0x4 + 0x8]
PSRLQ MM1,MM6
MOVQ qword ptr [EDX + EAX*0x4],MM0
MOVQ MM2,MM3
PSLLQ MM3,MM7
ADD EAX,0x4
POR MM3,MM1
JS 0x000403e0
TEST AL,0x2
JNZ 0x00040431
MOVQ MM0,qword ptr [EBX + EAX*0x4]
PSRLQ MM2,MM6
MOVQ MM1,MM0
PSLLQ MM0,MM7
MOVQ qword ptr [EDX + EAX*0x4 + -0x8],MM3
POR MM0,MM2
MOVQ MM2,MM1
MOVQ MM3,MM0
ADD EAX,0x2
TEST AL,0x1
POP EDI
MOVD EAX,MM5
JNZ 0x00040460
MOVD MM0,dword ptr [EBX + 0x8]
PSRLQ MM2,MM6
MOVQ MM1,MM0
PSLLQ MM0,MM7
MOVQ qword ptr [EDX],MM3
POR MM0,MM2
PSRLQ MM1,MM6
AND ECX,0x20
POP EBX
JZ 0x00040459
MOVD dword ptr [EDX + 0x10],MM1
MOVQ qword ptr [EDX + 0x8],MM0
EMMS
RET
MOVQ qword ptr [EDX + 0x4],MM3
PSRLQ MM2,MM6
MOVD dword ptr [EDX + 0xc],MM2
AND ECX,0x20
POP EBX
JZ 0x00040475
MOVQ qword ptr [EDX + 0xc],MM2
EMMS
RET
(translation_unit "uint __gmpn_rshift_pentium4_mmx(uint *param_1,ulonglong *param_2,uint param_3,uint param_4)\n\n{\n  uint *puVar1;\n  ulonglong *puVar2;\n  byte bVar3;\n  int iVar4;\n  int iVar5;\n  int iVar6;\n  uint uVar7;\n  uint uVar8;\n  ulonglong uVar9;\n  ulonglong uVar10;\n  ulonglong uVar11;\n  ulonglong uVar12;\n  ulonglong uVar13;\n  ulonglong uVar14;\n  ulonglong uVar15;\n  \n  if (param_3 < 5) {\n    iVar4 = param_3 - 1;\n    uVar13 = *param_2;\n    if (iVar4 == 0) {\n      bVar3 = (byte)param_4 & 0x1f;\n      *param_1 = (uint)uVar13 >> ((byte)param_4 & 0x1f);\n      return 0U >> bVar3 | (uint)uVar13 << 0x20 - bVar3;\n    }\n    uVar13 = *param_2;\n    puVar1 = (uint *)((int)param_2 + iVar4 * 4);\n    uVar14 = (ulonglong)param_4;\n    iVar5 = -iVar4;\n    do {\n      iVar6 = iVar5 + 1;\n      param_1[iVar4 + iVar5] = (uint)(*(ulonglong *)(puVar1 + iVar5) >> uVar14);\n      iVar5 = iVar6;\n    } while (iVar6 != 0);\n    param_1[iVar4] = *puVar1 >> uVar14;\n    return (uint)(((ulonglong)(uint)uVar13 << 0x20) >> uVar14);\n  }\n  uVar13 = *param_2;\n  uVar14 = (ulonglong)param_4;\n  if (((uint)param_2 & 4) != 0) {\n    uVar12 = *param_2;\n    param_2 = (ulonglong *)((int)param_2 + 4);\n    param_3 = param_3 - 1;\n    *param_1 = (uint)(uVar12 >> uVar14);\n    param_1 = param_1 + 1;\n  }\n  uVar12 = *param_2;\n  uVar13 = ((ulonglong)(uint)uVar13 << 0x20) >> uVar14;\n  if (((uint)param_1 & 4) != 0) {\n    param_4 = param_4 + 0x20;\n    uVar9 = uVar12 >> uVar14;\n    uVar14 = (ulonglong)param_4;\n    *param_1 = (uint)uVar9;\n    param_1 = param_1 + 1;\n  }\n  uVar9 = param_2[1];\n  param_4 = 0x40 - param_4;\n  uVar15 = (ulonglong)param_4;\n  iVar4 = param_3 * 4;\n  puVar2 = (ulonglong *)(param_1 + (param_3 - 5));\n  uVar12 = uVar9 << uVar15 | uVar12 >> uVar14;\n  uVar7 = -(param_3 - 7);\n  if (0 < (int)(param_3 - 7)) {\n    do {\n      uVar11 = *(ulonglong *)((int)param_2 + uVar7 * 4 + iVar4 + -0xc);\n      uVar10 = uVar9 >> uVar14;\n      *(ulonglong *)((int)puVar2 + uVar7 * 4 + -8) = uVar12;\n      uVar9 = *(ulonglong *)((int)param_2 + uVar7 * 4 + iVar4 + -4);\n      *(ulonglong *)((int)puVar2 + uVar7 * 4) = uVar11 << uVar15 | uVar10;\n      uVar7 = uVar7 + 4;\n      uVar12 = uVar9 << uVar15 | uVar11 >> uVar14;\n    } while ((int)uVar7 < 0);\n  }\n  uVar11 = uVar9;\n  if ((uVar7 & 2) == 0) {\n    uVar11 = *(ulonglong *)((int)param_2 + uVar7 * 4 + iVar4 + -0xc);\n    *(ulonglong *)((int)puVar2 + uVar7 * 4 + -8) = uVar12;\n    uVar12 = uVar11 << uVar15 | uVar9 >> uVar14;\n    uVar7 = uVar7 + 2;\n  }\n  uVar8 = (uint)uVar13;\n  if ((uVar7 & 1) == 0) {\n    uVar7 = *(uint *)((int)param_2 + iVar4 + -4);\n    *puVar2 = uVar12;\n    if ((param_4 & 0x20) != 0) {\n      *(uint *)(puVar2 + 2) = uVar7 >> uVar14;\n    }\n    puVar2[1] = (ulonglong)uVar7 << uVar15 | uVar11 >> uVar14;\n    return uVar8;\n  }\n  *(ulonglong *)((int)puVar2 + 4) = uVar12;\n  *(uint *)((int)puVar2 + 0xc) = (uint)(uVar11 >> uVar14);\n  if ((param_4 & 0x20) != 0) {\n    *(ulonglong *)((int)puVar2 + 0xc) = uVar11 >> uVar14;\n  }\n  return uVar8;\n}\n\n" (function_definition "uint __gmpn_rshift_pentium4_mmx(uint *param_1,ulonglong *param_2,uint param_3,uint param_4)\n\n{\n  uint *puVar1;\n  ulonglong *puVar2;\n  byte bVar3;\n  int iVar4;\n  int iVar5;\n  int iVar6;\n  uint uVar7;\n  uint uVar8;\n  ulonglong uVar9;\n  ulonglong uVar10;\n  ulonglong uVar11;\n  ulonglong uVar12;\n  ulonglong uVar13;\n  ulonglong uVar14;\n  ulonglong uVar15;\n  \n  if (param_3 < 5) {\n    iVar4 = param_3 - 1;\n    uVar13 = *param_2;\n    if (iVar4 == 0) {\n      bVar3 = (byte)param_4 & 0x1f;\n      *param_1 = (uint)uVar13 >> ((byte)param_4 & 0x1f);\n      return 0U >> bVar3 | (uint)uVar13 << 0x20 - bVar3;\n    }\n    uVar13 = *param_2;\n    puVar1 = (uint *)((int)param_2 + iVar4 * 4);\n    uVar14 = (ulonglong)param_4;\n    iVar5 = -iVar4;\n    do {\n      iVar6 = iVar5 + 1;\n      param_1[iVar4 + iVar5] = (uint)(*(ulonglong *)(puVar1 + iVar5) >> uVar14);\n      iVar5 = iVar6;\n    } while (iVar6 != 0);\n    param_1[iVar4] = *puVar1 >> uVar14;\n    return (uint)(((ulonglong)(uint)uVar13 << 0x20) >> uVar14);\n  }\n  uVar13 = *param_2;\n  uVar14 = (ulonglong)param_4;\n  if (((uint)param_2 & 4) != 0) {\n    uVar12 = *param_2;\n    param_2 = (ulonglong *)((int)param_2 + 4);\n    param_3 = param_3 - 1;\n    *param_1 = (uint)(uVar12 >> uVar14);\n    param_1 = param_1 + 1;\n  }\n  uVar12 = *param_2;\n  uVar13 = ((ulonglong)(uint)uVar13 << 0x20) >> uVar14;\n  if (((uint)param_1 & 4) != 0) {\n    param_4 = param_4 + 0x20;\n    uVar9 = uVar12 >> uVar14;\n    uVar14 = (ulonglong)param_4;\n    *param_1 = (uint)uVar9;\n    param_1 = param_1 + 1;\n  }\n  uVar9 = param_2[1];\n  param_4 = 0x40 - param_4;\n  uVar15 = (ulonglong)param_4;\n  iVar4 = param_3 * 4;\n  puVar2 = (ulonglong *)(param_1 + (param_3 - 5));\n  uVar12 = uVar9 << uVar15 | uVar12 >> uVar14;\n  uVar7 = -(param_3 - 7);\n  if (0 < (int)(param_3 - 7)) {\n    do {\n      uVar11 = *(ulonglong *)((int)param_2 + uVar7 * 4 + iVar4 + -0xc);\n      uVar10 = uVar9 >> uVar14;\n      *(ulonglong *)((int)puVar2 + uVar7 * 4 + -8) = uVar12;\n      uVar9 = *(ulonglong *)((int)param_2 + uVar7 * 4 + iVar4 + -4);\n      *(ulonglong *)((int)puVar2 + uVar7 * 4) = uVar11 << uVar15 | uVar10;\n      uVar7 = uVar7 + 4;\n      uVar12 = uVar9 << uVar15 | uVar11 >> uVar14;\n    } while ((int)uVar7 < 0);\n  }\n  uVar11 = uVar9;\n  if ((uVar7 & 2) == 0) {\n    uVar11 = *(ulonglong *)((int)param_2 + uVar7 * 4 + iVar4 + -0xc);\n    *(ulonglong *)((int)puVar2 + uVar7 * 4 + -8) = uVar12;\n    uVar12 = uVar11 << uVar15 | uVar9 >> uVar14;\n    uVar7 = uVar7 + 2;\n  }\n  uVar8 = (uint)uVar13;\n  if ((uVar7 & 1) == 0) {\n    uVar7 = *(uint *)((int)param_2 + iVar4 + -4);\n    *puVar2 = uVar12;\n    if ((param_4 & 0x20) != 0) {\n      *(uint *)(puVar2 + 2) = uVar7 >> uVar14;\n    }\n    puVar2[1] = (ulonglong)uVar7 << uVar15 | uVar11 >> uVar14;\n    return uVar8;\n  }\n  *(ulonglong *)((int)puVar2 + 4) = uVar12;\n  *(uint *)((int)puVar2 + 0xc) = (uint)(uVar11 >> uVar14);\n  if ((param_4 & 0x20) != 0) {\n    *(ulonglong *)((int)puVar2 + 0xc) = uVar11 >> uVar14;\n  }\n  return uVar8;\n}" type_identifier (function_declarator "__gmpn_rshift_pentium4_mmx(uint *param_1,ulonglong *param_2,uint param_3,uint param_4)" identifier (parameter_list "(uint *param_1,ulonglong *param_2,uint param_3,uint param_4)" ( (parameter_declaration "uint *param_1" type_identifier (pointer_declarator "*param_1" * identifier)) , (parameter_declaration "ulonglong *param_2" type_identifier (pointer_declarator "*param_2" * identifier)) , (parameter_declaration "uint param_3" type_identifier identifier) , (parameter_declaration "uint param_4" type_identifier identifier) ))) (compound_statement "{\n  uint *puVar1;\n  ulonglong *puVar2;\n  byte bVar3;\n  int iVar4;\n  int iVar5;\n  int iVar6;\n  uint uVar7;\n  uint uVar8;\n  ulonglong uVar9;\n  ulonglong uVar10;\n  ulonglong uVar11;\n  ulonglong uVar12;\n  ulonglong uVar13;\n  ulonglong uVar14;\n  ulonglong uVar15;\n  \n  if (param_3 < 5) {\n    iVar4 = param_3 - 1;\n    uVar13 = *param_2;\n    if (iVar4 == 0) {\n      bVar3 = (byte)param_4 & 0x1f;\n      *param_1 = (uint)uVar13 >> ((byte)param_4 & 0x1f);\n      return 0U >> bVar3 | (uint)uVar13 << 0x20 - bVar3;\n    }\n    uVar13 = *param_2;\n    puVar1 = (uint *)((int)param_2 + iVar4 * 4);\n    uVar14 = (ulonglong)param_4;\n    iVar5 = -iVar4;\n    do {\n      iVar6 = iVar5 + 1;\n      param_1[iVar4 + iVar5] = (uint)(*(ulonglong *)(puVar1 + iVar5) >> uVar14);\n      iVar5 = iVar6;\n    } while (iVar6 != 0);\n    param_1[iVar4] = *puVar1 >> uVar14;\n    return (uint)(((ulonglong)(uint)uVar13 << 0x20) >> uVar14);\n  }\n  uVar13 = *param_2;\n  uVar14 = (ulonglong)param_4;\n  if (((uint)param_2 & 4) != 0) {\n    uVar12 = *param_2;\n    param_2 = (ulonglong *)((int)param_2 + 4);\n    param_3 = param_3 - 1;\n    *param_1 = (uint)(uVar12 >> uVar14);\n    param_1 = param_1 + 1;\n  }\n  uVar12 = *param_2;\n  uVar13 = ((ulonglong)(uint)uVar13 << 0x20) >> uVar14;\n  if (((uint)param_1 & 4) != 0) {\n    param_4 = param_4 + 0x20;\n    uVar9 = uVar12 >> uVar14;\n    uVar14 = (ulonglong)param_4;\n    *param_1 = (uint)uVar9;\n    param_1 = param_1 + 1;\n  }\n  uVar9 = param_2[1];\n  param_4 = 0x40 - param_4;\n  uVar15 = (ulonglong)param_4;\n  iVar4 = param_3 * 4;\n  puVar2 = (ulonglong *)(param_1 + (param_3 - 5));\n  uVar12 = uVar9 << uVar15 | uVar12 >> uVar14;\n  uVar7 = -(param_3 - 7);\n  if (0 < (int)(param_3 - 7)) {\n    do {\n      uVar11 = *(ulonglong *)((int)param_2 + uVar7 * 4 + iVar4 + -0xc);\n      uVar10 = uVar9 >> uVar14;\n      *(ulonglong *)((int)puVar2 + uVar7 * 4 + -8) = uVar12;\n      uVar9 = *(ulonglong *)((int)param_2 + uVar7 * 4 + iVar4 + -4);\n      *(ulonglong *)((int)puVar2 + uVar7 * 4) = uVar11 << uVar15 | uVar10;\n      uVar7 = uVar7 + 4;\n      uVar12 = uVar9 << uVar15 | uVar11 >> uVar14;\n    } while ((int)uVar7 < 0);\n  }\n  uVar11 = uVar9;\n  if ((uVar7 & 2) == 0) {\n    uVar11 = *(ulonglong *)((int)param_2 + uVar7 * 4 + iVar4 + -0xc);\n    *(ulonglong *)((int)puVar2 + uVar7 * 4 + -8) = uVar12;\n    uVar12 = uVar11 << uVar15 | uVar9 >> uVar14;\n    uVar7 = uVar7 + 2;\n  }\n  uVar8 = (uint)uVar13;\n  if ((uVar7 & 1) == 0) {\n    uVar7 = *(uint *)((int)param_2 + iVar4 + -4);\n    *puVar2 = uVar12;\n    if ((param_4 & 0x20) != 0) {\n      *(uint *)(puVar2 + 2) = uVar7 >> uVar14;\n    }\n    puVar2[1] = (ulonglong)uVar7 << uVar15 | uVar11 >> uVar14;\n    return uVar8;\n  }\n  *(ulonglong *)((int)puVar2 + 4) = uVar12;\n  *(uint *)((int)puVar2 + 0xc) = (uint)(uVar11 >> uVar14);\n  if ((param_4 & 0x20) != 0) {\n    *(ulonglong *)((int)puVar2 + 0xc) = uVar11 >> uVar14;\n  }\n  return uVar8;\n}" { (declaration "uint *puVar1;" type_identifier (pointer_declarator "*puVar1" * identifier) ;) (declaration "ulonglong *puVar2;" type_identifier (pointer_declarator "*puVar2" * identifier) ;) (declaration "byte bVar3;" type_identifier identifier ;) (declaration "int iVar4;" primitive_type identifier ;) (declaration "int iVar5;" primitive_type identifier ;) (declaration "int iVar6;" primitive_type identifier ;) (declaration "uint uVar7;" type_identifier identifier ;) (declaration "uint uVar8;" type_identifier identifier ;) (declaration "ulonglong uVar9;" type_identifier identifier ;) (declaration "ulonglong uVar10;" type_identifier identifier ;) (declaration "ulonglong uVar11;" type_identifier identifier ;) (declaration "ulonglong uVar12;" type_identifier identifier ;) (declaration "ulonglong uVar13;" type_identifier identifier ;) (declaration "ulonglong uVar14;" type_identifier identifier ;) (declaration "ulonglong uVar15;" type_identifier identifier ;) (if_statement "if (param_3 < 5) {\n    iVar4 = param_3 - 1;\n    uVar13 = *param_2;\n    if (iVar4 == 0) {\n      bVar3 = (byte)param_4 & 0x1f;\n      *param_1 = (uint)uVar13 >> ((byte)param_4 & 0x1f);\n      return 0U >> bVar3 | (uint)uVar13 << 0x20 - bVar3;\n    }\n    uVar13 = *param_2;\n    puVar1 = (uint *)((int)param_2 + iVar4 * 4);\n    uVar14 = (ulonglong)param_4;\n    iVar5 = -iVar4;\n    do {\n      iVar6 = iVar5 + 1;\n      param_1[iVar4 + iVar5] = (uint)(*(ulonglong *)(puVar1 + iVar5) >> uVar14);\n      iVar5 = iVar6;\n    } while (iVar6 != 0);\n    param_1[iVar4] = *puVar1 >> uVar14;\n    return (uint)(((ulonglong)(uint)uVar13 << 0x20) >> uVar14);\n  }" if (parenthesized_expression "(param_3 < 5)" ( (binary_expression "param_3 < 5" identifier < number_literal) )) (compound_statement "{\n    iVar4 = param_3 - 1;\n    uVar13 = *param_2;\n    if (iVar4 == 0) {\n      bVar3 = (byte)param_4 & 0x1f;\n      *param_1 = (uint)uVar13 >> ((byte)param_4 & 0x1f);\n      return 0U >> bVar3 | (uint)uVar13 << 0x20 - bVar3;\n    }\n    uVar13 = *param_2;\n    puVar1 = (uint *)((int)param_2 + iVar4 * 4);\n    uVar14 = (ulonglong)param_4;\n    iVar5 = -iVar4;\n    do {\n      iVar6 = iVar5 + 1;\n      param_1[iVar4 + iVar5] = (uint)(*(ulonglong *)(puVar1 + iVar5) >> uVar14);\n      iVar5 = iVar6;\n    } while (iVar6 != 0);\n    param_1[iVar4] = *puVar1 >> uVar14;\n    return (uint)(((ulonglong)(uint)uVar13 << 0x20) >> uVar14);\n  }" { (expression_statement "iVar4 = param_3 - 1;" (assignment_expression "iVar4 = param_3 - 1" identifier = (binary_expression "param_3 - 1" identifier - number_literal)) ;) (expression_statement "uVar13 = *param_2;" (assignment_expression "uVar13 = *param_2" identifier = (pointer_expression "*param_2" * identifier)) ;) (if_statement "if (iVar4 == 0) {\n      bVar3 = (byte)param_4 & 0x1f;\n      *param_1 = (uint)uVar13 >> ((byte)param_4 & 0x1f);\n      return 0U >> bVar3 | (uint)uVar13 << 0x20 - bVar3;\n    }" if (parenthesized_expression "(iVar4 == 0)" ( (binary_expression "iVar4 == 0" identifier == number_literal) )) (compound_statement "{\n      bVar3 = (byte)param_4 & 0x1f;\n      *param_1 = (uint)uVar13 >> ((byte)param_4 & 0x1f);\n      return 0U >> bVar3 | (uint)uVar13 << 0x20 - bVar3;\n    }" { (expression_statement "bVar3 = (byte)param_4 & 0x1f;" (assignment_expression "bVar3 = (byte)param_4 & 0x1f" identifier = (binary_expression "(byte)param_4 & 0x1f" (cast_expression "(byte)param_4" ( (type_descriptor "byte" type_identifier) ) identifier) & number_literal)) ;) (expression_statement "*param_1 = (uint)uVar13 >> ((byte)param_4 & 0x1f);" (assignment_expression "*param_1 = (uint)uVar13 >> ((byte)param_4 & 0x1f)" (pointer_expression "*param_1" * identifier) = (binary_expression "(uint)uVar13 >> ((byte)param_4 & 0x1f)" (cast_expression "(uint)uVar13" ( (type_descriptor "uint" type_identifier) ) identifier) >> (parenthesized_expression "((byte)param_4 & 0x1f)" ( (binary_expression "(byte)param_4 & 0x1f" (cast_expression "(byte)param_4" ( (type_descriptor "byte" type_identifier) ) identifier) & number_literal) )))) ;) (return_statement "return 0U >> bVar3 | (uint)uVar13 << 0x20 - bVar3;" return (binary_expression "0U >> bVar3 | (uint)uVar13 << 0x20 - bVar3" (binary_expression "0U >> bVar3" number_literal >> identifier) | (binary_expression "(uint)uVar13 << 0x20 - bVar3" (cast_expression "(uint)uVar13" ( (type_descriptor "uint" type_identifier) ) identifier) << (binary_expression "0x20 - bVar3" number_literal - identifier))) ;) })) (expression_statement "uVar13 = *param_2;" (assignment_expression "uVar13 = *param_2" identifier = (pointer_expression "*param_2" * identifier)) ;) (expression_statement "puVar1 = (uint *)((int)param_2 + iVar4 * 4);" (assignment_expression "puVar1 = (uint *)((int)param_2 + iVar4 * 4)" identifier = (cast_expression "(uint *)((int)param_2 + iVar4 * 4)" ( (type_descriptor "uint *" type_identifier (abstract_pointer_declarator "*" *)) ) (parenthesized_expression "((int)param_2 + iVar4 * 4)" ( (binary_expression "(int)param_2 + iVar4 * 4" (cast_expression "(int)param_2" ( (type_descriptor "int" primitive_type) ) identifier) + (binary_expression "iVar4 * 4" identifier * number_literal)) )))) ;) (expression_statement "uVar14 = (ulonglong)param_4;" (assignment_expression "uVar14 = (ulonglong)param_4" identifier = (cast_expression "(ulonglong)param_4" ( (type_descriptor "ulonglong" type_identifier) ) identifier)) ;) (expression_statement "iVar5 = -iVar4;" (assignment_expression "iVar5 = -iVar4" identifier = (unary_expression "-iVar4" - identifier)) ;) (do_statement "do {\n      iVar6 = iVar5 + 1;\n      param_1[iVar4 + iVar5] = (uint)(*(ulonglong *)(puVar1 + iVar5) >> uVar14);\n      iVar5 = iVar6;\n    } while (iVar6 != 0);" do (compound_statement "{\n      iVar6 = iVar5 + 1;\n      param_1[iVar4 + iVar5] = (uint)(*(ulonglong *)(puVar1 + iVar5) >> uVar14);\n      iVar5 = iVar6;\n    }" { (expression_statement "iVar6 = iVar5 + 1;" (assignment_expression "iVar6 = iVar5 + 1" identifier = (binary_expression "iVar5 + 1" identifier + number_literal)) ;) (expression_statement "param_1[iVar4 + iVar5] = (uint)(*(ulonglong *)(puVar1 + iVar5) >> uVar14);" (assignment_expression "param_1[iVar4 + iVar5] = (uint)(*(ulonglong *)(puVar1 + iVar5) >> uVar14)" (subscript_expression "param_1[iVar4 + iVar5]" identifier [ (binary_expression "iVar4 + iVar5" identifier + identifier) ]) = (call_expression "(uint)(*(ulonglong *)(puVar1 + iVar5) >> uVar14)" (parenthesized_expression "(uint)" ( identifier )) (argument_list "(*(ulonglong *)(puVar1 + iVar5) >> uVar14)" ( (binary_expression "*(ulonglong *)(puVar1 + iVar5) >> uVar14" (pointer_expression "*(ulonglong *)(puVar1 + iVar5)" * (cast_expression "(ulonglong *)(puVar1 + iVar5)" ( (type_descriptor "ulonglong *" type_identifier (abstract_pointer_declarator "*" *)) ) (parenthesized_expression "(puVar1 + iVar5)" ( (binary_expression "puVar1 + iVar5" identifier + identifier) )))) >> identifier) )))) ;) (expression_statement "iVar5 = iVar6;" (assignment_expression "iVar5 = iVar6" identifier = identifier) ;) }) while (parenthesized_expression "(iVar6 != 0)" ( (binary_expression "iVar6 != 0" identifier != number_literal) )) ;) (expression_statement "param_1[iVar4] = *puVar1 >> uVar14;" (assignment_expression "param_1[iVar4] = *puVar1 >> uVar14" (subscript_expression "param_1[iVar4]" identifier [ identifier ]) = (binary_expression "*puVar1 >> uVar14" (pointer_expression "*puVar1" * identifier) >> identifier)) ;) (return_statement "return (uint)(((ulonglong)(uint)uVar13 << 0x20) >> uVar14);" return (call_expression "(uint)(((ulonglong)(uint)uVar13 << 0x20) >> uVar14)" (parenthesized_expression "(uint)" ( identifier )) (argument_list "(((ulonglong)(uint)uVar13 << 0x20) >> uVar14)" ( (binary_expression "((ulonglong)(uint)uVar13 << 0x20) >> uVar14" (parenthesized_expression "((ulonglong)(uint)uVar13 << 0x20)" ( (binary_expression "(ulonglong)(uint)uVar13 << 0x20" (cast_expression "(ulonglong)(uint)uVar13" ( (type_descriptor "ulonglong" type_identifier) ) (cast_expression "(uint)uVar13" ( (type_descriptor "uint" type_identifier) ) identifier)) << number_literal) )) >> identifier) ))) ;) })) (expression_statement "uVar13 = *param_2;" (assignment_expression "uVar13 = *param_2" identifier = (pointer_expression "*param_2" * identifier)) ;) (expression_statement "uVar14 = (ulonglong)param_4;" (assignment_expression "uVar14 = (ulonglong)param_4" identifier = (cast_expression "(ulonglong)param_4" ( (type_descriptor "ulonglong" type_identifier) ) identifier)) ;) (if_statement "if (((uint)param_2 & 4) != 0) {\n    uVar12 = *param_2;\n    param_2 = (ulonglong *)((int)param_2 + 4);\n    param_3 = param_3 - 1;\n    *param_1 = (uint)(uVar12 >> uVar14);\n    param_1 = param_1 + 1;\n  }" if (parenthesized_expression "(((uint)param_2 & 4) != 0)" ( (binary_expression "((uint)param_2 & 4) != 0" (parenthesized_expression "((uint)param_2 & 4)" ( (binary_expression "(uint)param_2 & 4" (cast_expression "(uint)param_2" ( (type_descriptor "uint" type_identifier) ) identifier) & number_literal) )) != number_literal) )) (compound_statement "{\n    uVar12 = *param_2;\n    param_2 = (ulonglong *)((int)param_2 + 4);\n    param_3 = param_3 - 1;\n    *param_1 = (uint)(uVar12 >> uVar14);\n    param_1 = param_1 + 1;\n  }" { (expression_statement "uVar12 = *param_2;" (assignment_expression "uVar12 = *param_2" identifier = (pointer_expression "*param_2" * identifier)) ;) (expression_statement "param_2 = (ulonglong *)((int)param_2 + 4);" (assignment_expression "param_2 = (ulonglong *)((int)param_2 + 4)" identifier = (cast_expression "(ulonglong *)((int)param_2 + 4)" ( (type_descriptor "ulonglong *" type_identifier (abstract_pointer_declarator "*" *)) ) (parenthesized_expression "((int)param_2 + 4)" ( (binary_expression "(int)param_2 + 4" (cast_expression "(int)param_2" ( (type_descriptor "int" primitive_type) ) identifier) + number_literal) )))) ;) (expression_statement "param_3 = param_3 - 1;" (assignment_expression "param_3 = param_3 - 1" identifier = (binary_expression "param_3 - 1" identifier - number_literal)) ;) (expression_statement "*param_1 = (uint)(uVar12 >> uVar14);" (assignment_expression "*param_1 = (uint)(uVar12 >> uVar14)" (pointer_expression "*param_1" * identifier) = (call_expression "(uint)(uVar12 >> uVar14)" (parenthesized_expression "(uint)" ( identifier )) (argument_list "(uVar12 >> uVar14)" ( (binary_expression "uVar12 >> uVar14" identifier >> identifier) )))) ;) (expression_statement "param_1 = param_1 + 1;" (assignment_expression "param_1 = param_1 + 1" identifier = (binary_expression "param_1 + 1" identifier + number_literal)) ;) })) (expression_statement "uVar12 = *param_2;" (assignment_expression "uVar12 = *param_2" identifier = (pointer_expression "*param_2" * identifier)) ;) (expression_statement "uVar13 = ((ulonglong)(uint)uVar13 << 0x20) >> uVar14;" (assignment_expression "uVar13 = ((ulonglong)(uint)uVar13 << 0x20) >> uVar14" identifier = (binary_expression "((ulonglong)(uint)uVar13 << 0x20) >> uVar14" (parenthesized_expression "((ulonglong)(uint)uVar13 << 0x20)" ( (binary_expression "(ulonglong)(uint)uVar13 << 0x20" (cast_expression "(ulonglong)(uint)uVar13" ( (type_descriptor "ulonglong" type_identifier) ) (cast_expression "(uint)uVar13" ( (type_descriptor "uint" type_identifier) ) identifier)) << number_literal) )) >> identifier)) ;) (if_statement "if (((uint)param_1 & 4) != 0) {\n    param_4 = param_4 + 0x20;\n    uVar9 = uVar12 >> uVar14;\n    uVar14 = (ulonglong)param_4;\n    *param_1 = (uint)uVar9;\n    param_1 = param_1 + 1;\n  }" if (parenthesized_expression "(((uint)param_1 & 4) != 0)" ( (binary_expression "((uint)param_1 & 4) != 0" (parenthesized_expression "((uint)param_1 & 4)" ( (binary_expression "(uint)param_1 & 4" (cast_expression "(uint)param_1" ( (type_descriptor "uint" type_identifier) ) identifier) & number_literal) )) != number_literal) )) (compound_statement "{\n    param_4 = param_4 + 0x20;\n    uVar9 = uVar12 >> uVar14;\n    uVar14 = (ulonglong)param_4;\n    *param_1 = (uint)uVar9;\n    param_1 = param_1 + 1;\n  }" { (expression_statement "param_4 = param_4 + 0x20;" (assignment_expression "param_4 = param_4 + 0x20" identifier = (binary_expression "param_4 + 0x20" identifier + number_literal)) ;) (expression_statement "uVar9 = uVar12 >> uVar14;" (assignment_expression "uVar9 = uVar12 >> uVar14" identifier = (binary_expression "uVar12 >> uVar14" identifier >> identifier)) ;) (expression_statement "uVar14 = (ulonglong)param_4;" (assignment_expression "uVar14 = (ulonglong)param_4" identifier = (cast_expression "(ulonglong)param_4" ( (type_descriptor "ulonglong" type_identifier) ) identifier)) ;) (expression_statement "*param_1 = (uint)uVar9;" (assignment_expression "*param_1 = (uint)uVar9" (pointer_expression "*param_1" * identifier) = (cast_expression "(uint)uVar9" ( (type_descriptor "uint" type_identifier) ) identifier)) ;) (expression_statement "param_1 = param_1 + 1;" (assignment_expression "param_1 = param_1 + 1" identifier = (binary_expression "param_1 + 1" identifier + number_literal)) ;) })) (expression_statement "uVar9 = param_2[1];" (assignment_expression "uVar9 = param_2[1]" identifier = (subscript_expression "param_2[1]" identifier [ number_literal ])) ;) (expression_statement "param_4 = 0x40 - param_4;" (assignment_expression "param_4 = 0x40 - param_4" identifier = (binary_expression "0x40 - param_4" number_literal - identifier)) ;) (expression_statement "uVar15 = (ulonglong)param_4;" (assignment_expression "uVar15 = (ulonglong)param_4" identifier = (cast_expression "(ulonglong)param_4" ( (type_descriptor "ulonglong" type_identifier) ) identifier)) ;) (expression_statement "iVar4 = param_3 * 4;" (assignment_expression "iVar4 = param_3 * 4" identifier = (binary_expression "param_3 * 4" identifier * number_literal)) ;) (expression_statement "puVar2 = (ulonglong *)(param_1 + (param_3 - 5));" (assignment_expression "puVar2 = (ulonglong *)(param_1 + (param_3 - 5))" identifier = (cast_expression "(ulonglong *)(param_1 + (param_3 - 5))" ( (type_descriptor "ulonglong *" type_identifier (abstract_pointer_declarator "*" *)) ) (parenthesized_expression "(param_1 + (param_3 - 5))" ( (binary_expression "param_1 + (param_3 - 5)" identifier + (parenthesized_expression "(param_3 - 5)" ( (binary_expression "param_3 - 5" identifier - number_literal) ))) )))) ;) (expression_statement "uVar12 = uVar9 << uVar15 | uVar12 >> uVar14;" (assignment_expression "uVar12 = uVar9 << uVar15 | uVar12 >> uVar14" identifier = (binary_expression "uVar9 << uVar15 | uVar12 >> uVar14" (binary_expression "uVar9 << uVar15" identifier << identifier) | (binary_expression "uVar12 >> uVar14" identifier >> identifier))) ;) (expression_statement "uVar7 = -(param_3 - 7);" (assignment_expression "uVar7 = -(param_3 - 7)" identifier = (unary_expression "-(param_3 - 7)" - (parenthesized_expression "(param_3 - 7)" ( (binary_expression "param_3 - 7" identifier - number_literal) )))) ;) (if_statement "if (0 < (int)(param_3 - 7)) {\n    do {\n      uVar11 = *(ulonglong *)((int)param_2 + uVar7 * 4 + iVar4 + -0xc);\n      uVar10 = uVar9 >> uVar14;\n      *(ulonglong *)((int)puVar2 + uVar7 * 4 + -8) = uVar12;\n      uVar9 = *(ulonglong *)((int)param_2 + uVar7 * 4 + iVar4 + -4);\n      *(ulonglong *)((int)puVar2 + uVar7 * 4) = uVar11 << uVar15 | uVar10;\n      uVar7 = uVar7 + 4;\n      uVar12 = uVar9 << uVar15 | uVar11 >> uVar14;\n    } while ((int)uVar7 < 0);\n  }" if (parenthesized_expression "(0 < (int)(param_3 - 7))" ( (binary_expression "0 < (int)(param_3 - 7)" number_literal < (cast_expression "(int)(param_3 - 7)" ( (type_descriptor "int" primitive_type) ) (parenthesized_expression "(param_3 - 7)" ( (binary_expression "param_3 - 7" identifier - number_literal) )))) )) (compound_statement "{\n    do {\n      uVar11 = *(ulonglong *)((int)param_2 + uVar7 * 4 + iVar4 + -0xc);\n      uVar10 = uVar9 >> uVar14;\n      *(ulonglong *)((int)puVar2 + uVar7 * 4 + -8) = uVar12;\n      uVar9 = *(ulonglong *)((int)param_2 + uVar7 * 4 + iVar4 + -4);\n      *(ulonglong *)((int)puVar2 + uVar7 * 4) = uVar11 << uVar15 | uVar10;\n      uVar7 = uVar7 + 4;\n      uVar12 = uVar9 << uVar15 | uVar11 >> uVar14;\n    } while ((int)uVar7 < 0);\n  }" { (do_statement "do {\n      uVar11 = *(ulonglong *)((int)param_2 + uVar7 * 4 + iVar4 + -0xc);\n      uVar10 = uVar9 >> uVar14;\n      *(ulonglong *)((int)puVar2 + uVar7 * 4 + -8) = uVar12;\n      uVar9 = *(ulonglong *)((int)param_2 + uVar7 * 4 + iVar4 + -4);\n      *(ulonglong *)((int)puVar2 + uVar7 * 4) = uVar11 << uVar15 | uVar10;\n      uVar7 = uVar7 + 4;\n      uVar12 = uVar9 << uVar15 | uVar11 >> uVar14;\n    } while ((int)uVar7 < 0);" do (compound_statement "{\n      uVar11 = *(ulonglong *)((int)param_2 + uVar7 * 4 + iVar4 + -0xc);\n      uVar10 = uVar9 >> uVar14;\n      *(ulonglong *)((int)puVar2 + uVar7 * 4 + -8) = uVar12;\n      uVar9 = *(ulonglong *)((int)param_2 + uVar7 * 4 + iVar4 + -4);\n      *(ulonglong *)((int)puVar2 + uVar7 * 4) = uVar11 << uVar15 | uVar10;\n      uVar7 = uVar7 + 4;\n      uVar12 = uVar9 << uVar15 | uVar11 >> uVar14;\n    }" { (expression_statement "uVar11 = *(ulonglong *)((int)param_2 + uVar7 * 4 + iVar4 + -0xc);" (assignment_expression "uVar11 = *(ulonglong *)((int)param_2 + uVar7 * 4 + iVar4 + -0xc)" identifier = (pointer_expression "*(ulonglong *)((int)param_2 + uVar7 * 4 + iVar4 + -0xc)" * (cast_expression "(ulonglong *)((int)param_2 + uVar7 * 4 + iVar4 + -0xc)" ( (type_descriptor "ulonglong *" type_identifier (abstract_pointer_declarator "*" *)) ) (parenthesized_expression "((int)param_2 + uVar7 * 4 + iVar4 + -0xc)" ( (binary_expression "(int)param_2 + uVar7 * 4 + iVar4 + -0xc" (binary_expression "(int)param_2 + uVar7 * 4 + iVar4" (binary_expression "(int)param_2 + uVar7 * 4" (cast_expression "(int)param_2" ( (type_descriptor "int" primitive_type) ) identifier) + (binary_expression "uVar7 * 4" identifier * number_literal)) + identifier) + number_literal) ))))) ;) (expression_statement "uVar10 = uVar9 >> uVar14;" (assignment_expression "uVar10 = uVar9 >> uVar14" identifier = (binary_expression "uVar9 >> uVar14" identifier >> identifier)) ;) (expression_statement "*(ulonglong *)((int)puVar2 + uVar7 * 4 + -8) = uVar12;" (assignment_expression "*(ulonglong *)((int)puVar2 + uVar7 * 4 + -8) = uVar12" (pointer_expression "*(ulonglong *)((int)puVar2 + uVar7 * 4 + -8)" * (cast_expression "(ulonglong *)((int)puVar2 + uVar7 * 4 + -8)" ( (type_descriptor "ulonglong *" type_identifier (abstract_pointer_declarator "*" *)) ) (parenthesized_expression "((int)puVar2 + uVar7 * 4 + -8)" ( (binary_expression "(int)puVar2 + uVar7 * 4 + -8" (binary_expression "(int)puVar2 + uVar7 * 4" (cast_expression "(int)puVar2" ( (type_descriptor "int" primitive_type) ) identifier) + (binary_expression "uVar7 * 4" identifier * number_literal)) + number_literal) )))) = identifier) ;) (expression_statement "uVar9 = *(ulonglong *)((int)param_2 + uVar7 * 4 + iVar4 + -4);" (assignment_expression "uVar9 = *(ulonglong *)((int)param_2 + uVar7 * 4 + iVar4 + -4)" identifier = (pointer_expression "*(ulonglong *)((int)param_2 + uVar7 * 4 + iVar4 + -4)" * (cast_expression "(ulonglong *)((int)param_2 + uVar7 * 4 + iVar4 + -4)" ( (type_descriptor "ulonglong *" type_identifier (abstract_pointer_declarator "*" *)) ) (parenthesized_expression "((int)param_2 + uVar7 * 4 + iVar4 + -4)" ( (binary_expression "(int)param_2 + uVar7 * 4 + iVar4 + -4" (binary_expression "(int)param_2 + uVar7 * 4 + iVar4" (binary_expression "(int)param_2 + uVar7 * 4" (cast_expression "(int)param_2" ( (type_descriptor "int" primitive_type) ) identifier) + (binary_expression "uVar7 * 4" identifier * number_literal)) + identifier) + number_literal) ))))) ;) (expression_statement "*(ulonglong *)((int)puVar2 + uVar7 * 4) = uVar11 << uVar15 | uVar10;" (assignment_expression "*(ulonglong *)((int)puVar2 + uVar7 * 4) = uVar11 << uVar15 | uVar10" (pointer_expression "*(ulonglong *)((int)puVar2 + uVar7 * 4)" * (cast_expression "(ulonglong *)((int)puVar2 + uVar7 * 4)" ( (type_descriptor "ulonglong *" type_identifier (abstract_pointer_declarator "*" *)) ) (parenthesized_expression "((int)puVar2 + uVar7 * 4)" ( (binary_expression "(int)puVar2 + uVar7 * 4" (cast_expression "(int)puVar2" ( (type_descriptor "int" primitive_type) ) identifier) + (binary_expression "uVar7 * 4" identifier * number_literal)) )))) = (binary_expression "uVar11 << uVar15 | uVar10" (binary_expression "uVar11 << uVar15" identifier << identifier) | identifier)) ;) (expression_statement "uVar7 = uVar7 + 4;" (assignment_expression "uVar7 = uVar7 + 4" identifier = (binary_expression "uVar7 + 4" identifier + number_literal)) ;) (expression_statement "uVar12 = uVar9 << uVar15 | uVar11 >> uVar14;" (assignment_expression "uVar12 = uVar9 << uVar15 | uVar11 >> uVar14" identifier = (binary_expression "uVar9 << uVar15 | uVar11 >> uVar14" (binary_expression "uVar9 << uVar15" identifier << identifier) | (binary_expression "uVar11 >> uVar14" identifier >> identifier))) ;) }) while (parenthesized_expression "((int)uVar7 < 0)" ( (binary_expression "(int)uVar7 < 0" (cast_expression "(int)uVar7" ( (type_descriptor "int" primitive_type) ) identifier) < number_literal) )) ;) })) (expression_statement "uVar11 = uVar9;" (assignment_expression "uVar11 = uVar9" identifier = identifier) ;) (if_statement "if ((uVar7 & 2) == 0) {\n    uVar11 = *(ulonglong *)((int)param_2 + uVar7 * 4 + iVar4 + -0xc);\n    *(ulonglong *)((int)puVar2 + uVar7 * 4 + -8) = uVar12;\n    uVar12 = uVar11 << uVar15 | uVar9 >> uVar14;\n    uVar7 = uVar7 + 2;\n  }" if (parenthesized_expression "((uVar7 & 2) == 0)" ( (binary_expression "(uVar7 & 2) == 0" (parenthesized_expression "(uVar7 & 2)" ( (binary_expression "uVar7 & 2" identifier & number_literal) )) == number_literal) )) (compound_statement "{\n    uVar11 = *(ulonglong *)((int)param_2 + uVar7 * 4 + iVar4 + -0xc);\n    *(ulonglong *)((int)puVar2 + uVar7 * 4 + -8) = uVar12;\n    uVar12 = uVar11 << uVar15 | uVar9 >> uVar14;\n    uVar7 = uVar7 + 2;\n  }" { (expression_statement "uVar11 = *(ulonglong *)((int)param_2 + uVar7 * 4 + iVar4 + -0xc);" (assignment_expression "uVar11 = *(ulonglong *)((int)param_2 + uVar7 * 4 + iVar4 + -0xc)" identifier = (pointer_expression "*(ulonglong *)((int)param_2 + uVar7 * 4 + iVar4 + -0xc)" * (cast_expression "(ulonglong *)((int)param_2 + uVar7 * 4 + iVar4 + -0xc)" ( (type_descriptor "ulonglong *" type_identifier (abstract_pointer_declarator "*" *)) ) (parenthesized_expression "((int)param_2 + uVar7 * 4 + iVar4 + -0xc)" ( (binary_expression "(int)param_2 + uVar7 * 4 + iVar4 + -0xc" (binary_expression "(int)param_2 + uVar7 * 4 + iVar4" (binary_expression "(int)param_2 + uVar7 * 4" (cast_expression "(int)param_2" ( (type_descriptor "int" primitive_type) ) identifier) + (binary_expression "uVar7 * 4" identifier * number_literal)) + identifier) + number_literal) ))))) ;) (expression_statement "*(ulonglong *)((int)puVar2 + uVar7 * 4 + -8) = uVar12;" (assignment_expression "*(ulonglong *)((int)puVar2 + uVar7 * 4 + -8) = uVar12" (pointer_expression "*(ulonglong *)((int)puVar2 + uVar7 * 4 + -8)" * (cast_expression "(ulonglong *)((int)puVar2 + uVar7 * 4 + -8)" ( (type_descriptor "ulonglong *" type_identifier (abstract_pointer_declarator "*" *)) ) (parenthesized_expression "((int)puVar2 + uVar7 * 4 + -8)" ( (binary_expression "(int)puVar2 + uVar7 * 4 + -8" (binary_expression "(int)puVar2 + uVar7 * 4" (cast_expression "(int)puVar2" ( (type_descriptor "int" primitive_type) ) identifier) + (binary_expression "uVar7 * 4" identifier * number_literal)) + number_literal) )))) = identifier) ;) (expression_statement "uVar12 = uVar11 << uVar15 | uVar9 >> uVar14;" (assignment_expression "uVar12 = uVar11 << uVar15 | uVar9 >> uVar14" identifier = (binary_expression "uVar11 << uVar15 | uVar9 >> uVar14" (binary_expression "uVar11 << uVar15" identifier << identifier) | (binary_expression "uVar9 >> uVar14" identifier >> identifier))) ;) (expression_statement "uVar7 = uVar7 + 2;" (assignment_expression "uVar7 = uVar7 + 2" identifier = (binary_expression "uVar7 + 2" identifier + number_literal)) ;) })) (expression_statement "uVar8 = (uint)uVar13;" (assignment_expression "uVar8 = (uint)uVar13" identifier = (cast_expression "(uint)uVar13" ( (type_descriptor "uint" type_identifier) ) identifier)) ;) (if_statement "if ((uVar7 & 1) == 0) {\n    uVar7 = *(uint *)((int)param_2 + iVar4 + -4);\n    *puVar2 = uVar12;\n    if ((param_4 & 0x20) != 0) {\n      *(uint *)(puVar2 + 2) = uVar7 >> uVar14;\n    }\n    puVar2[1] = (ulonglong)uVar7 << uVar15 | uVar11 >> uVar14;\n    return uVar8;\n  }" if (parenthesized_expression "((uVar7 & 1) == 0)" ( (binary_expression "(uVar7 & 1) == 0" (parenthesized_expression "(uVar7 & 1)" ( (binary_expression "uVar7 & 1" identifier & number_literal) )) == number_literal) )) (compound_statement "{\n    uVar7 = *(uint *)((int)param_2 + iVar4 + -4);\n    *puVar2 = uVar12;\n    if ((param_4 & 0x20) != 0) {\n      *(uint *)(puVar2 + 2) = uVar7 >> uVar14;\n    }\n    puVar2[1] = (ulonglong)uVar7 << uVar15 | uVar11 >> uVar14;\n    return uVar8;\n  }" { (expression_statement "uVar7 = *(uint *)((int)param_2 + iVar4 + -4);" (assignment_expression "uVar7 = *(uint *)((int)param_2 + iVar4 + -4)" identifier = (pointer_expression "*(uint *)((int)param_2 + iVar4 + -4)" * (cast_expression "(uint *)((int)param_2 + iVar4 + -4)" ( (type_descriptor "uint *" type_identifier (abstract_pointer_declarator "*" *)) ) (parenthesized_expression "((int)param_2 + iVar4 + -4)" ( (binary_expression "(int)param_2 + iVar4 + -4" (binary_expression "(int)param_2 + iVar4" (cast_expression "(int)param_2" ( (type_descriptor "int" primitive_type) ) identifier) + identifier) + number_literal) ))))) ;) (expression_statement "*puVar2 = uVar12;" (assignment_expression "*puVar2 = uVar12" (pointer_expression "*puVar2" * identifier) = identifier) ;) (if_statement "if ((param_4 & 0x20) != 0) {\n      *(uint *)(puVar2 + 2) = uVar7 >> uVar14;\n    }" if (parenthesized_expression "((param_4 & 0x20) != 0)" ( (binary_expression "(param_4 & 0x20) != 0" (parenthesized_expression "(param_4 & 0x20)" ( (binary_expression "param_4 & 0x20" identifier & number_literal) )) != number_literal) )) (compound_statement "{\n      *(uint *)(puVar2 + 2) = uVar7 >> uVar14;\n    }" { (expression_statement "*(uint *)(puVar2 + 2) = uVar7 >> uVar14;" (assignment_expression "*(uint *)(puVar2 + 2) = uVar7 >> uVar14" (pointer_expression "*(uint *)(puVar2 + 2)" * (cast_expression "(uint *)(puVar2 + 2)" ( (type_descriptor "uint *" type_identifier (abstract_pointer_declarator "*" *)) ) (parenthesized_expression "(puVar2 + 2)" ( (binary_expression "puVar2 + 2" identifier + number_literal) )))) = (binary_expression "uVar7 >> uVar14" identifier >> identifier)) ;) })) (expression_statement "puVar2[1] = (ulonglong)uVar7 << uVar15 | uVar11 >> uVar14;" (assignment_expression "puVar2[1] = (ulonglong)uVar7 << uVar15 | uVar11 >> uVar14" (subscript_expression "puVar2[1]" identifier [ number_literal ]) = (binary_expression "(ulonglong)uVar7 << uVar15 | uVar11 >> uVar14" (binary_expression "(ulonglong)uVar7 << uVar15" (cast_expression "(ulonglong)uVar7" ( (type_descriptor "ulonglong" type_identifier) ) identifier) << identifier) | (binary_expression "uVar11 >> uVar14" identifier >> identifier))) ;) (return_statement "return uVar8;" return identifier ;) })) (expression_statement "*(ulonglong *)((int)puVar2 + 4) = uVar12;" (assignment_expression "*(ulonglong *)((int)puVar2 + 4) = uVar12" (pointer_expression "*(ulonglong *)((int)puVar2 + 4)" * (cast_expression "(ulonglong *)((int)puVar2 + 4)" ( (type_descriptor "ulonglong *" type_identifier (abstract_pointer_declarator "*" *)) ) (parenthesized_expression "((int)puVar2 + 4)" ( (binary_expression "(int)puVar2 + 4" (cast_expression "(int)puVar2" ( (type_descriptor "int" primitive_type) ) identifier) + number_literal) )))) = identifier) ;) (expression_statement "*(uint *)((int)puVar2 + 0xc) = (uint)(uVar11 >> uVar14);" (assignment_expression "*(uint *)((int)puVar2 + 0xc) = (uint)(uVar11 >> uVar14)" (pointer_expression "*(uint *)((int)puVar2 + 0xc)" * (cast_expression "(uint *)((int)puVar2 + 0xc)" ( (type_descriptor "uint *" type_identifier (abstract_pointer_declarator "*" *)) ) (parenthesized_expression "((int)puVar2 + 0xc)" ( (binary_expression "(int)puVar2 + 0xc" (cast_expression "(int)puVar2" ( (type_descriptor "int" primitive_type) ) identifier) + number_literal) )))) = (call_expression "(uint)(uVar11 >> uVar14)" (parenthesized_expression "(uint)" ( identifier )) (argument_list "(uVar11 >> uVar14)" ( (binary_expression "uVar11 >> uVar14" identifier >> identifier) )))) ;) (if_statement "if ((param_4 & 0x20) != 0) {\n    *(ulonglong *)((int)puVar2 + 0xc) = uVar11 >> uVar14;\n  }" if (parenthesized_expression "((param_4 & 0x20) != 0)" ( (binary_expression "(param_4 & 0x20) != 0" (parenthesized_expression "(param_4 & 0x20)" ( (binary_expression "param_4 & 0x20" identifier & number_literal) )) != number_literal) )) (compound_statement "{\n    *(ulonglong *)((int)puVar2 + 0xc) = uVar11 >> uVar14;\n  }" { (expression_statement "*(ulonglong *)((int)puVar2 + 0xc) = uVar11 >> uVar14;" (assignment_expression "*(ulonglong *)((int)puVar2 + 0xc) = uVar11 >> uVar14" (pointer_expression "*(ulonglong *)((int)puVar2 + 0xc)" * (cast_expression "(ulonglong *)((int)puVar2 + 0xc)" ( (type_descriptor "ulonglong *" type_identifier (abstract_pointer_declarator "*" *)) ) (parenthesized_expression "((int)puVar2 + 0xc)" ( (binary_expression "(int)puVar2 + 0xc" (cast_expression "(int)puVar2" ( (type_descriptor "int" primitive_type) ) identifier) + number_literal) )))) = (binary_expression "uVar11 >> uVar14" identifier >> identifier)) ;) })) (return_statement "return uVar8;" return identifier ;) })))
(translation_unit "uint __gmpn_rshift_pentium4_mmx(uint *param_1,ulonglong *param_2,uint param_3,uint param_4)\n\n{\n  uint *puVar1;\n  ulonglong *puVar2;\n  byte bVar3;\n  int iVar4;\n  int iVar5;\n  int iVar6;\n  uint uVar7;\n  uint uVar8;\n  ulonglong uVar9;\n  ulonglong uVar10;\n  ulonglong uVar11;\n  ulonglong uVar12;\n  ulonglong uVar13;\n  ulonglong uVar14;\n  ulonglong uVar15;\n  \n  if (param_3 < 5) {\n    iVar4 = param_3 - 1;\n    uVar13 = *param_2;\n    if (iVar4 == 0) {\n      bVar3 = (byte)param_4 & 0x1f;\n      *param_1 = (uint)uVar13 >> ((byte)param_4 & 0x1f);\n      return 0U >> bVar3 | (uint)uVar13 << 0x20 - bVar3;\n    }\n    uVar13 = *param_2;\n    puVar1 = (uint *)((int)param_2 + iVar4 * 4);\n    uVar14 = (ulonglong)param_4;\n    iVar5 = -iVar4;\n    do {\n      iVar6 = iVar5 + 1;\n      param_1[iVar4 + iVar5] = (uint)(*(ulonglong *)(puVar1 + iVar5) >> uVar14);\n      iVar5 = iVar6;\n    } while (iVar6 != 0);\n    param_1[iVar4] = *puVar1 >> uVar14;\n    return (uint)(((ulonglong)(uint)uVar13 << 0x20) >> uVar14);\n  }\n  uVar13 = *param_2;\n  uVar14 = (ulonglong)param_4;\n  if (((uint)param_2 & 4) != 0) {\n    uVar12 = *param_2;\n    param_2 = (ulonglong *)((int)param_2 + 4);\n    param_3 = param_3 - 1;\n    *param_1 = (uint)(uVar12 >> uVar14);\n    param_1 = param_1 + 1;\n  }\n  uVar12 = *param_2;\n  uVar13 = ((ulonglong)(uint)uVar13 << 0x20) >> uVar14;\n  if (((uint)param_1 & 4) != 0) {\n    param_4 = param_4 + 0x20;\n    uVar9 = uVar12 >> uVar14;\n    uVar14 = (ulonglong)param_4;\n    *param_1 = (uint)uVar9;\n    param_1 = param_1 + 1;\n  }\n  uVar9 = param_2[1];\n  param_4 = 0x40 - param_4;\n  uVar15 = (ulonglong)param_4;\n  iVar4 = param_3 * 4;\n  puVar2 = (ulonglong *)(param_1 + (param_3 - 5));\n  uVar12 = uVar9 << uVar15 | uVar12 >> uVar14;\n  uVar7 = -(param_3 - 7);\n  if (0 < (int)(param_3 - 7)) {\n    do {\n      uVar11 = *(ulonglong *)((int)param_2 + uVar7 * 4 + iVar4 + -0xc);\n      uVar10 = uVar9 >> uVar14;\n      *(ulonglong *)((int)puVar2 + uVar7 * 4 + -8) = uVar12;\n      uVar9 = *(ulonglong *)((int)param_2 + uVar7 * 4 + iVar4 + -4);\n      *(ulonglong *)((int)puVar2 + uVar7 * 4) = uVar11 << uVar15 | uVar10;\n      uVar7 = uVar7 + 4;\n      uVar12 = uVar9 << uVar15 | uVar11 >> uVar14;\n    } while ((int)uVar7 < 0);\n  }\n  uVar11 = uVar9;\n  if ((uVar7 & 2) == 0) {\n    uVar11 = *(ulonglong *)((int)param_2 + uVar7 * 4 + iVar4 + -0xc);\n    *(ulonglong *)((int)puVar2 + uVar7 * 4 + -8) = uVar12;\n    uVar12 = uVar11 << uVar15 | uVar9 >> uVar14;\n    uVar7 = uVar7 + 2;\n  }\n  uVar8 = (uint)uVar13;\n  if ((uVar7 & 1) == 0) {\n    uVar7 = *(uint *)((int)param_2 + iVar4 + -4);\n    *puVar2 = uVar12;\n    if ((param_4 & 0x20) != 0) {\n      *(uint *)(puVar2 + 2) = uVar7 >> uVar14;\n    }\n    puVar2[1] = (ulonglong)uVar7 << uVar15 | uVar11 >> uVar14;\n    return uVar8;\n  }\n  *(ulonglong *)((int)puVar2 + 4) = uVar12;\n  *(uint *)((int)puVar2 + 0xc) = (uint)(uVar11 >> uVar14);\n  if ((param_4 & 0x20) != 0) {\n    *(ulonglong *)((int)puVar2 + 0xc) = uVar11 >> uVar14;\n  }\n  return uVar8;\n}\n\n" (function_definition "uint __gmpn_rshift_pentium4_mmx(uint *param_1,ulonglong *param_2,uint param_3,uint param_4)\n\n{\n  uint *puVar1;\n  ulonglong *puVar2;\n  byte bVar3;\n  int iVar4;\n  int iVar5;\n  int iVar6;\n  uint uVar7;\n  uint uVar8;\n  ulonglong uVar9;\n  ulonglong uVar10;\n  ulonglong uVar11;\n  ulonglong uVar12;\n  ulonglong uVar13;\n  ulonglong uVar14;\n  ulonglong uVar15;\n  \n  if (param_3 < 5) {\n    iVar4 = param_3 - 1;\n    uVar13 = *param_2;\n    if (iVar4 == 0) {\n      bVar3 = (byte)param_4 & 0x1f;\n      *param_1 = (uint)uVar13 >> ((byte)param_4 & 0x1f);\n      return 0U >> bVar3 | (uint)uVar13 << 0x20 - bVar3;\n    }\n    uVar13 = *param_2;\n    puVar1 = (uint *)((int)param_2 + iVar4 * 4);\n    uVar14 = (ulonglong)param_4;\n    iVar5 = -iVar4;\n    do {\n      iVar6 = iVar5 + 1;\n      param_1[iVar4 + iVar5] = (uint)(*(ulonglong *)(puVar1 + iVar5) >> uVar14);\n      iVar5 = iVar6;\n    } while (iVar6 != 0);\n    param_1[iVar4] = *puVar1 >> uVar14;\n    return (uint)(((ulonglong)(uint)uVar13 << 0x20) >> uVar14);\n  }\n  uVar13 = *param_2;\n  uVar14 = (ulonglong)param_4;\n  if (((uint)param_2 & 4) != 0) {\n    uVar12 = *param_2;\n    param_2 = (ulonglong *)((int)param_2 + 4);\n    param_3 = param_3 - 1;\n    *param_1 = (uint)(uVar12 >> uVar14);\n    param_1 = param_1 + 1;\n  }\n  uVar12 = *param_2;\n  uVar13 = ((ulonglong)(uint)uVar13 << 0x20) >> uVar14;\n  if (((uint)param_1 & 4) != 0) {\n    param_4 = param_4 + 0x20;\n    uVar9 = uVar12 >> uVar14;\n    uVar14 = (ulonglong)param_4;\n    *param_1 = (uint)uVar9;\n    param_1 = param_1 + 1;\n  }\n  uVar9 = param_2[1];\n  param_4 = 0x40 - param_4;\n  uVar15 = (ulonglong)param_4;\n  iVar4 = param_3 * 4;\n  puVar2 = (ulonglong *)(param_1 + (param_3 - 5));\n  uVar12 = uVar9 << uVar15 | uVar12 >> uVar14;\n  uVar7 = -(param_3 - 7);\n  if (0 < (int)(param_3 - 7)) {\n    do {\n      uVar11 = *(ulonglong *)((int)param_2 + uVar7 * 4 + iVar4 + -0xc);\n      uVar10 = uVar9 >> uVar14;\n      *(ulonglong *)((int)puVar2 + uVar7 * 4 + -8) = uVar12;\n      uVar9 = *(ulonglong *)((int)param_2 + uVar7 * 4 + iVar4 + -4);\n      *(ulonglong *)((int)puVar2 + uVar7 * 4) = uVar11 << uVar15 | uVar10;\n      uVar7 = uVar7 + 4;\n      uVar12 = uVar9 << uVar15 | uVar11 >> uVar14;\n    } while ((int)uVar7 < 0);\n  }\n  uVar11 = uVar9;\n  if ((uVar7 & 2) == 0) {\n    uVar11 = *(ulonglong *)((int)param_2 + uVar7 * 4 + iVar4 + -0xc);\n    *(ulonglong *)((int)puVar2 + uVar7 * 4 + -8) = uVar12;\n    uVar12 = uVar11 << uVar15 | uVar9 >> uVar14;\n    uVar7 = uVar7 + 2;\n  }\n  uVar8 = (uint)uVar13;\n  if ((uVar7 & 1) == 0) {\n    uVar7 = *(uint *)((int)param_2 + iVar4 + -4);\n    *puVar2 = uVar12;\n    if ((param_4 & 0x20) != 0) {\n      *(uint *)(puVar2 + 2) = uVar7 >> uVar14;\n    }\n    puVar2[1] = (ulonglong)uVar7 << uVar15 | uVar11 >> uVar14;\n    return uVar8;\n  }\n  *(ulonglong *)((int)puVar2 + 4) = uVar12;\n  *(uint *)((int)puVar2 + 0xc) = (uint)(uVar11 >> uVar14);\n  if ((param_4 & 0x20) != 0) {\n    *(ulonglong *)((int)puVar2 + 0xc) = uVar11 >> uVar14;\n  }\n  return uVar8;\n}" type_identifier (function_declarator "__gmpn_rshift_pentium4_mmx(uint *param_1,ulonglong *param_2,uint param_3,uint param_4)" identifier (parameter_list "(uint *param_1,ulonglong *param_2,uint param_3,uint param_4)" ( (parameter_declaration "uint *param_1" type_identifier (pointer_declarator "*param_1" * identifier)) , (parameter_declaration "ulonglong *param_2" type_identifier (pointer_declarator "*param_2" * identifier)) , (parameter_declaration "uint param_3" type_identifier identifier) , (parameter_declaration "uint param_4" type_identifier identifier) ))) (compound_statement "{\n  uint *puVar1;\n  ulonglong *puVar2;\n  byte bVar3;\n  int iVar4;\n  int iVar5;\n  int iVar6;\n  uint uVar7;\n  uint uVar8;\n  ulonglong uVar9;\n  ulonglong uVar10;\n  ulonglong uVar11;\n  ulonglong uVar12;\n  ulonglong uVar13;\n  ulonglong uVar14;\n  ulonglong uVar15;\n  \n  if (param_3 < 5) {\n    iVar4 = param_3 - 1;\n    uVar13 = *param_2;\n    if (iVar4 == 0) {\n      bVar3 = (byte)param_4 & 0x1f;\n      *param_1 = (uint)uVar13 >> ((byte)param_4 & 0x1f);\n      return 0U >> bVar3 | (uint)uVar13 << 0x20 - bVar3;\n    }\n    uVar13 = *param_2;\n    puVar1 = (uint *)((int)param_2 + iVar4 * 4);\n    uVar14 = (ulonglong)param_4;\n    iVar5 = -iVar4;\n    do {\n      iVar6 = iVar5 + 1;\n      param_1[iVar4 + iVar5] = (uint)(*(ulonglong *)(puVar1 + iVar5) >> uVar14);\n      iVar5 = iVar6;\n    } while (iVar6 != 0);\n    param_1[iVar4] = *puVar1 >> uVar14;\n    return (uint)(((ulonglong)(uint)uVar13 << 0x20) >> uVar14);\n  }\n  uVar13 = *param_2;\n  uVar14 = (ulonglong)param_4;\n  if (((uint)param_2 & 4) != 0) {\n    uVar12 = *param_2;\n    param_2 = (ulonglong *)((int)param_2 + 4);\n    param_3 = param_3 - 1;\n    *param_1 = (uint)(uVar12 >> uVar14);\n    param_1 = param_1 + 1;\n  }\n  uVar12 = *param_2;\n  uVar13 = ((ulonglong)(uint)uVar13 << 0x20) >> uVar14;\n  if (((uint)param_1 & 4) != 0) {\n    param_4 = param_4 + 0x20;\n    uVar9 = uVar12 >> uVar14;\n    uVar14 = (ulonglong)param_4;\n    *param_1 = (uint)uVar9;\n    param_1 = param_1 + 1;\n  }\n  uVar9 = param_2[1];\n  param_4 = 0x40 - param_4;\n  uVar15 = (ulonglong)param_4;\n  iVar4 = param_3 * 4;\n  puVar2 = (ulonglong *)(param_1 + (param_3 - 5));\n  uVar12 = uVar9 << uVar15 | uVar12 >> uVar14;\n  uVar7 = -(param_3 - 7);\n  if (0 < (int)(param_3 - 7)) {\n    do {\n      uVar11 = *(ulonglong *)((int)param_2 + uVar7 * 4 + iVar4 + -0xc);\n      uVar10 = uVar9 >> uVar14;\n      *(ulonglong *)((int)puVar2 + uVar7 * 4 + -8) = uVar12;\n      uVar9 = *(ulonglong *)((int)param_2 + uVar7 * 4 + iVar4 + -4);\n      *(ulonglong *)((int)puVar2 + uVar7 * 4) = uVar11 << uVar15 | uVar10;\n      uVar7 = uVar7 + 4;\n      uVar12 = uVar9 << uVar15 | uVar11 >> uVar14;\n    } while ((int)uVar7 < 0);\n  }\n  uVar11 = uVar9;\n  if ((uVar7 & 2) == 0) {\n    uVar11 = *(ulonglong *)((int)param_2 + uVar7 * 4 + iVar4 + -0xc);\n    *(ulonglong *)((int)puVar2 + uVar7 * 4 + -8) = uVar12;\n    uVar12 = uVar11 << uVar15 | uVar9 >> uVar14;\n    uVar7 = uVar7 + 2;\n  }\n  uVar8 = (uint)uVar13;\n  if ((uVar7 & 1) == 0) {\n    uVar7 = *(uint *)((int)param_2 + iVar4 + -4);\n    *puVar2 = uVar12;\n    if ((param_4 & 0x20) != 0) {\n      *(uint *)(puVar2 + 2) = uVar7 >> uVar14;\n    }\n    puVar2[1] = (ulonglong)uVar7 << uVar15 | uVar11 >> uVar14;\n    return uVar8;\n  }\n  *(ulonglong *)((int)puVar2 + 4) = uVar12;\n  *(uint *)((int)puVar2 + 0xc) = (uint)(uVar11 >> uVar14);\n  if ((param_4 & 0x20) != 0) {\n    *(ulonglong *)((int)puVar2 + 0xc) = uVar11 >> uVar14;\n  }\n  return uVar8;\n}" { (declaration "uint *puVar1;" type_identifier (pointer_declarator "*puVar1" * identifier) ;) (declaration "ulonglong *puVar2;" type_identifier (pointer_declarator "*puVar2" * identifier) ;) (declaration "byte bVar3;" type_identifier identifier ;) (declaration "int iVar4;" primitive_type identifier ;) (declaration "int iVar5;" primitive_type identifier ;) (declaration "int iVar6;" primitive_type identifier ;) (declaration "uint uVar7;" type_identifier identifier ;) (declaration "uint uVar8;" type_identifier identifier ;) (declaration "ulonglong uVar9;" type_identifier identifier ;) (declaration "ulonglong uVar10;" type_identifier identifier ;) (declaration "ulonglong uVar11;" type_identifier identifier ;) (declaration "ulonglong uVar12;" type_identifier identifier ;) (declaration "ulonglong uVar13;" type_identifier identifier ;) (declaration "ulonglong uVar14;" type_identifier identifier ;) (declaration "ulonglong uVar15;" type_identifier identifier ;) (if_statement "if (param_3 < 5) {\n    iVar4 = param_3 - 1;\n    uVar13 = *param_2;\n    if (iVar4 == 0) {\n      bVar3 = (byte)param_4 & 0x1f;\n      *param_1 = (uint)uVar13 >> ((byte)param_4 & 0x1f);\n      return 0U >> bVar3 | (uint)uVar13 << 0x20 - bVar3;\n    }\n    uVar13 = *param_2;\n    puVar1 = (uint *)((int)param_2 + iVar4 * 4);\n    uVar14 = (ulonglong)param_4;\n    iVar5 = -iVar4;\n    do {\n      iVar6 = iVar5 + 1;\n      param_1[iVar4 + iVar5] = (uint)(*(ulonglong *)(puVar1 + iVar5) >> uVar14);\n      iVar5 = iVar6;\n    } while (iVar6 != 0);\n    param_1[iVar4] = *puVar1 >> uVar14;\n    return (uint)(((ulonglong)(uint)uVar13 << 0x20) >> uVar14);\n  }" if (parenthesized_expression "(param_3 < 5)" ( (binary_expression "param_3 < 5" identifier < number_literal) )) (compound_statement "{\n    iVar4 = param_3 - 1;\n    uVar13 = *param_2;\n    if (iVar4 == 0) {\n      bVar3 = (byte)param_4 & 0x1f;\n      *param_1 = (uint)uVar13 >> ((byte)param_4 & 0x1f);\n      return 0U >> bVar3 | (uint)uVar13 << 0x20 - bVar3;\n    }\n    uVar13 = *param_2;\n    puVar1 = (uint *)((int)param_2 + iVar4 * 4);\n    uVar14 = (ulonglong)param_4;\n    iVar5 = -iVar4;\n    do {\n      iVar6 = iVar5 + 1;\n      param_1[iVar4 + iVar5] = (uint)(*(ulonglong *)(puVar1 + iVar5) >> uVar14);\n      iVar5 = iVar6;\n    } while (iVar6 != 0);\n    param_1[iVar4] = *puVar1 >> uVar14;\n    return (uint)(((ulonglong)(uint)uVar13 << 0x20) >> uVar14);\n  }" { (expression_statement "iVar4 = param_3 - 1;" (assignment_expression "iVar4 = param_3 - 1" identifier = (binary_expression "param_3 - 1" identifier - number_literal)) ;) (expression_statement "uVar13 = *param_2;" (assignment_expression "uVar13 = *param_2" identifier = (pointer_expression "*param_2" * identifier)) ;) (if_statement "if (iVar4 == 0) {\n      bVar3 = (byte)param_4 & 0x1f;\n      *param_1 = (uint)uVar13 >> ((byte)param_4 & 0x1f);\n      return 0U >> bVar3 | (uint)uVar13 << 0x20 - bVar3;\n    }" if (parenthesized_expression "(iVar4 == 0)" ( (binary_expression "iVar4 == 0" identifier == number_literal) )) (compound_statement "{\n      bVar3 = (byte)param_4 & 0x1f;\n      *param_1 = (uint)uVar13 >> ((byte)param_4 & 0x1f);\n      return 0U >> bVar3 | (uint)uVar13 << 0x20 - bVar3;\n    }" { (expression_statement "bVar3 = (byte)param_4 & 0x1f;" (assignment_expression "bVar3 = (byte)param_4 & 0x1f" identifier = (binary_expression "(byte)param_4 & 0x1f" (cast_expression "(byte)param_4" ( (type_descriptor "byte" type_identifier) ) identifier) & number_literal)) ;) (expression_statement "*param_1 = (uint)uVar13 >> ((byte)param_4 & 0x1f);" (assignment_expression "*param_1 = (uint)uVar13 >> ((byte)param_4 & 0x1f)" (pointer_expression "*param_1" * identifier) = (binary_expression "(uint)uVar13 >> ((byte)param_4 & 0x1f)" (cast_expression "(uint)uVar13" ( (type_descriptor "uint" type_identifier) ) identifier) >> (parenthesized_expression "((byte)param_4 & 0x1f)" ( (binary_expression "(byte)param_4 & 0x1f" (cast_expression "(byte)param_4" ( (type_descriptor "byte" type_identifier) ) identifier) & number_literal) )))) ;) (return_statement "return 0U >> bVar3 | (uint)uVar13 << 0x20 - bVar3;" return (binary_expression "0U >> bVar3 | (uint)uVar13 << 0x20 - bVar3" (binary_expression "0U >> bVar3" number_literal >> identifier) | (binary_expression "(uint)uVar13 << 0x20 - bVar3" (cast_expression "(uint)uVar13" ( (type_descriptor "uint" type_identifier) ) identifier) << (binary_expression "0x20 - bVar3" number_literal - identifier))) ;) })) (expression_statement "uVar13 = *param_2;" (assignment_expression "uVar13 = *param_2" identifier = (pointer_expression "*param_2" * identifier)) ;) (expression_statement "puVar1 = (uint *)((int)param_2 + iVar4 * 4);" (assignment_expression "puVar1 = (uint *)((int)param_2 + iVar4 * 4)" identifier = (cast_expression "(uint *)((int)param_2 + iVar4 * 4)" ( (type_descriptor "uint *" type_identifier (abstract_pointer_declarator "*" *)) ) (parenthesized_expression "((int)param_2 + iVar4 * 4)" ( (binary_expression "(int)param_2 + iVar4 * 4" (cast_expression "(int)param_2" ( (type_descriptor "int" primitive_type) ) identifier) + (binary_expression "iVar4 * 4" identifier * number_literal)) )))) ;) (expression_statement "uVar14 = (ulonglong)param_4;" (assignment_expression "uVar14 = (ulonglong)param_4" identifier = (cast_expression "(ulonglong)param_4" ( (type_descriptor "ulonglong" type_identifier) ) identifier)) ;) (expression_statement "iVar5 = -iVar4;" (assignment_expression "iVar5 = -iVar4" identifier = (unary_expression "-iVar4" - identifier)) ;) (do_statement "do {\n      iVar6 = iVar5 + 1;\n      param_1[iVar4 + iVar5] = (uint)(*(ulonglong *)(puVar1 + iVar5) >> uVar14);\n      iVar5 = iVar6;\n    } while (iVar6 != 0);" do (compound_statement "{\n      iVar6 = iVar5 + 1;\n      param_1[iVar4 + iVar5] = (uint)(*(ulonglong *)(puVar1 + iVar5) >> uVar14);\n      iVar5 = iVar6;\n    }" { (expression_statement "iVar6 = iVar5 + 1;" (assignment_expression "iVar6 = iVar5 + 1" identifier = (binary_expression "iVar5 + 1" identifier + number_literal)) ;) (expression_statement "param_1[iVar4 + iVar5] = (uint)(*(ulonglong *)(puVar1 + iVar5) >> uVar14);" (assignment_expression "param_1[iVar4 + iVar5] = (uint)(*(ulonglong *)(puVar1 + iVar5) >> uVar14)" (subscript_expression "param_1[iVar4 + iVar5]" identifier [ (binary_expression "iVar4 + iVar5" identifier + identifier) ]) = (call_expression "(uint)(*(ulonglong *)(puVar1 + iVar5) >> uVar14)" (parenthesized_expression "(uint)" ( identifier )) (argument_list "(*(ulonglong *)(puVar1 + iVar5) >> uVar14)" ( (binary_expression "*(ulonglong *)(puVar1 + iVar5) >> uVar14" (pointer_expression "*(ulonglong *)(puVar1 + iVar5)" * (cast_expression "(ulonglong *)(puVar1 + iVar5)" ( (type_descriptor "ulonglong *" type_identifier (abstract_pointer_declarator "*" *)) ) (parenthesized_expression "(puVar1 + iVar5)" ( (binary_expression "puVar1 + iVar5" identifier + identifier) )))) >> identifier) )))) ;) (expression_statement "iVar5 = iVar6;" (assignment_expression "iVar5 = iVar6" identifier = identifier) ;) }) while (parenthesized_expression "(iVar6 != 0)" ( (binary_expression "iVar6 != 0" identifier != number_literal) )) ;) (expression_statement "param_1[iVar4] = *puVar1 >> uVar14;" (assignment_expression "param_1[iVar4] = *puVar1 >> uVar14" (subscript_expression "param_1[iVar4]" identifier [ identifier ]) = (binary_expression "*puVar1 >> uVar14" (pointer_expression "*puVar1" * identifier) >> identifier)) ;) (return_statement "return (uint)(((ulonglong)(uint)uVar13 << 0x20) >> uVar14);" return (call_expression "(uint)(((ulonglong)(uint)uVar13 << 0x20) >> uVar14)" (parenthesized_expression "(uint)" ( identifier )) (argument_list "(((ulonglong)(uint)uVar13 << 0x20) >> uVar14)" ( (binary_expression "((ulonglong)(uint)uVar13 << 0x20) >> uVar14" (parenthesized_expression "((ulonglong)(uint)uVar13 << 0x20)" ( (binary_expression "(ulonglong)(uint)uVar13 << 0x20" (cast_expression "(ulonglong)(uint)uVar13" ( (type_descriptor "ulonglong" type_identifier) ) (cast_expression "(uint)uVar13" ( (type_descriptor "uint" type_identifier) ) identifier)) << number_literal) )) >> identifier) ))) ;) })) (expression_statement "uVar13 = *param_2;" (assignment_expression "uVar13 = *param_2" identifier = (pointer_expression "*param_2" * identifier)) ;) (expression_statement "uVar14 = (ulonglong)param_4;" (assignment_expression "uVar14 = (ulonglong)param_4" identifier = (cast_expression "(ulonglong)param_4" ( (type_descriptor "ulonglong" type_identifier) ) identifier)) ;) (if_statement "if (((uint)param_2 & 4) != 0) {\n    uVar12 = *param_2;\n    param_2 = (ulonglong *)((int)param_2 + 4);\n    param_3 = param_3 - 1;\n    *param_1 = (uint)(uVar12 >> uVar14);\n    param_1 = param_1 + 1;\n  }" if (parenthesized_expression "(((uint)param_2 & 4) != 0)" ( (binary_expression "((uint)param_2 & 4) != 0" (parenthesized_expression "((uint)param_2 & 4)" ( (binary_expression "(uint)param_2 & 4" (cast_expression "(uint)param_2" ( (type_descriptor "uint" type_identifier) ) identifier) & number_literal) )) != number_literal) )) (compound_statement "{\n    uVar12 = *param_2;\n    param_2 = (ulonglong *)((int)param_2 + 4);\n    param_3 = param_3 - 1;\n    *param_1 = (uint)(uVar12 >> uVar14);\n    param_1 = param_1 + 1;\n  }" { (expression_statement "uVar12 = *param_2;" (assignment_expression "uVar12 = *param_2" identifier = (pointer_expression "*param_2" * identifier)) ;) (expression_statement "param_2 = (ulonglong *)((int)param_2 + 4);" (assignment_expression "param_2 = (ulonglong *)((int)param_2 + 4)" identifier = (cast_expression "(ulonglong *)((int)param_2 + 4)" ( (type_descriptor "ulonglong *" type_identifier (abstract_pointer_declarator "*" *)) ) (parenthesized_expression "((int)param_2 + 4)" ( (binary_expression "(int)param_2 + 4" (cast_expression "(int)param_2" ( (type_descriptor "int" primitive_type) ) identifier) + number_literal) )))) ;) (expression_statement "param_3 = param_3 - 1;" (assignment_expression "param_3 = param_3 - 1" identifier = (binary_expression "param_3 - 1" identifier - number_literal)) ;) (expression_statement "*param_1 = (uint)(uVar12 >> uVar14);" (assignment_expression "*param_1 = (uint)(uVar12 >> uVar14)" (pointer_expression "*param_1" * identifier) = (call_expression "(uint)(uVar12 >> uVar14)" (parenthesized_expression "(uint)" ( identifier )) (argument_list "(uVar12 >> uVar14)" ( (binary_expression "uVar12 >> uVar14" identifier >> identifier) )))) ;) (expression_statement "param_1 = param_1 + 1;" (assignment_expression "param_1 = param_1 + 1" identifier = (binary_expression "param_1 + 1" identifier + number_literal)) ;) })) (expression_statement "uVar12 = *param_2;" (assignment_expression "uVar12 = *param_2" identifier = (pointer_expression "*param_2" * identifier)) ;) (expression_statement "uVar13 = ((ulonglong)(uint)uVar13 << 0x20) >> uVar14;" (assignment_expression "uVar13 = ((ulonglong)(uint)uVar13 << 0x20) >> uVar14" identifier = (binary_expression "((ulonglong)(uint)uVar13 << 0x20) >> uVar14" (parenthesized_expression "((ulonglong)(uint)uVar13 << 0x20)" ( (binary_expression "(ulonglong)(uint)uVar13 << 0x20" (cast_expression "(ulonglong)(uint)uVar13" ( (type_descriptor "ulonglong" type_identifier) ) (cast_expression "(uint)uVar13" ( (type_descriptor "uint" type_identifier) ) identifier)) << number_literal) )) >> identifier)) ;) (if_statement "if (((uint)param_1 & 4) != 0) {\n    param_4 = param_4 + 0x20;\n    uVar9 = uVar12 >> uVar14;\n    uVar14 = (ulonglong)param_4;\n    *param_1 = (uint)uVar9;\n    param_1 = param_1 + 1;\n  }" if (parenthesized_expression "(((uint)param_1 & 4) != 0)" ( (binary_expression "((uint)param_1 & 4) != 0" (parenthesized_expression "((uint)param_1 & 4)" ( (binary_expression "(uint)param_1 & 4" (cast_expression "(uint)param_1" ( (type_descriptor "uint" type_identifier) ) identifier) & number_literal) )) != number_literal) )) (compound_statement "{\n    param_4 = param_4 + 0x20;\n    uVar9 = uVar12 >> uVar14;\n    uVar14 = (ulonglong)param_4;\n    *param_1 = (uint)uVar9;\n    param_1 = param_1 + 1;\n  }" { (expression_statement "param_4 = param_4 + 0x20;" (assignment_expression "param_4 = param_4 + 0x20" identifier = (binary_expression "param_4 + 0x20" identifier + number_literal)) ;) (expression_statement "uVar9 = uVar12 >> uVar14;" (assignment_expression "uVar9 = uVar12 >> uVar14" identifier = (binary_expression "uVar12 >> uVar14" identifier >> identifier)) ;) (expression_statement "uVar14 = (ulonglong)param_4;" (assignment_expression "uVar14 = (ulonglong)param_4" identifier = (cast_expression "(ulonglong)param_4" ( (type_descriptor "ulonglong" type_identifier) ) identifier)) ;) (expression_statement "*param_1 = (uint)uVar9;" (assignment_expression "*param_1 = (uint)uVar9" (pointer_expression "*param_1" * identifier) = (cast_expression "(uint)uVar9" ( (type_descriptor "uint" type_identifier) ) identifier)) ;) (expression_statement "param_1 = param_1 + 1;" (assignment_expression "param_1 = param_1 + 1" identifier = (binary_expression "param_1 + 1" identifier + number_literal)) ;) })) (expression_statement "uVar9 = param_2[1];" (assignment_expression "uVar9 = param_2[1]" identifier = (subscript_expression "param_2[1]" identifier [ number_literal ])) ;) (expression_statement "param_4 = 0x40 - param_4;" (assignment_expression "param_4 = 0x40 - param_4" identifier = (binary_expression "0x40 - param_4" number_literal - identifier)) ;) (expression_statement "uVar15 = (ulonglong)param_4;" (assignment_expression "uVar15 = (ulonglong)param_4" identifier = (cast_expression "(ulonglong)param_4" ( (type_descriptor "ulonglong" type_identifier) ) identifier)) ;) (expression_statement "iVar4 = param_3 * 4;" (assignment_expression "iVar4 = param_3 * 4" identifier = (binary_expression "param_3 * 4" identifier * number_literal)) ;) (expression_statement "puVar2 = (ulonglong *)(param_1 + (param_3 - 5));" (assignment_expression "puVar2 = (ulonglong *)(param_1 + (param_3 - 5))" identifier = (cast_expression "(ulonglong *)(param_1 + (param_3 - 5))" ( (type_descriptor "ulonglong *" type_identifier (abstract_pointer_declarator "*" *)) ) (parenthesized_expression "(param_1 + (param_3 - 5))" ( (binary_expression "param_1 + (param_3 - 5)" identifier + (parenthesized_expression "(param_3 - 5)" ( (binary_expression "param_3 - 5" identifier - number_literal) ))) )))) ;) (expression_statement "uVar12 = uVar9 << uVar15 | uVar12 >> uVar14;" (assignment_expression "uVar12 = uVar9 << uVar15 | uVar12 >> uVar14" identifier = (binary_expression "uVar9 << uVar15 | uVar12 >> uVar14" (binary_expression "uVar9 << uVar15" identifier << identifier) | (binary_expression "uVar12 >> uVar14" identifier >> identifier))) ;) (expression_statement "uVar7 = -(param_3 - 7);" (assignment_expression "uVar7 = -(param_3 - 7)" identifier = (unary_expression "-(param_3 - 7)" - (parenthesized_expression "(param_3 - 7)" ( (binary_expression "param_3 - 7" identifier - number_literal) )))) ;) (if_statement "if (0 < (int)(param_3 - 7)) {\n    do {\n      uVar11 = *(ulonglong *)((int)param_2 + uVar7 * 4 + iVar4 + -0xc);\n      uVar10 = uVar9 >> uVar14;\n      *(ulonglong *)((int)puVar2 + uVar7 * 4 + -8) = uVar12;\n      uVar9 = *(ulonglong *)((int)param_2 + uVar7 * 4 + iVar4 + -4);\n      *(ulonglong *)((int)puVar2 + uVar7 * 4) = uVar11 << uVar15 | uVar10;\n      uVar7 = uVar7 + 4;\n      uVar12 = uVar9 << uVar15 | uVar11 >> uVar14;\n    } while ((int)uVar7 < 0);\n  }" if (parenthesized_expression "(0 < (int)(param_3 - 7))" ( (binary_expression "0 < (int)(param_3 - 7)" number_literal < (cast_expression "(int)(param_3 - 7)" ( (type_descriptor "int" primitive_type) ) (parenthesized_expression "(param_3 - 7)" ( (binary_expression "param_3 - 7" identifier - number_literal) )))) )) (compound_statement "{\n    do {\n      uVar11 = *(ulonglong *)((int)param_2 + uVar7 * 4 + iVar4 + -0xc);\n      uVar10 = uVar9 >> uVar14;\n      *(ulonglong *)((int)puVar2 + uVar7 * 4 + -8) = uVar12;\n      uVar9 = *(ulonglong *)((int)param_2 + uVar7 * 4 + iVar4 + -4);\n      *(ulonglong *)((int)puVar2 + uVar7 * 4) = uVar11 << uVar15 | uVar10;\n      uVar7 = uVar7 + 4;\n      uVar12 = uVar9 << uVar15 | uVar11 >> uVar14;\n    } while ((int)uVar7 < 0);\n  }" { (do_statement "do {\n      uVar11 = *(ulonglong *)((int)param_2 + uVar7 * 4 + iVar4 + -0xc);\n      uVar10 = uVar9 >> uVar14;\n      *(ulonglong *)((int)puVar2 + uVar7 * 4 + -8) = uVar12;\n      uVar9 = *(ulonglong *)((int)param_2 + uVar7 * 4 + iVar4 + -4);\n      *(ulonglong *)((int)puVar2 + uVar7 * 4) = uVar11 << uVar15 | uVar10;\n      uVar7 = uVar7 + 4;\n      uVar12 = uVar9 << uVar15 | uVar11 >> uVar14;\n    } while ((int)uVar7 < 0);" do (compound_statement "{\n      uVar11 = *(ulonglong *)((int)param_2 + uVar7 * 4 + iVar4 + -0xc);\n      uVar10 = uVar9 >> uVar14;\n      *(ulonglong *)((int)puVar2 + uVar7 * 4 + -8) = uVar12;\n      uVar9 = *(ulonglong *)((int)param_2 + uVar7 * 4 + iVar4 + -4);\n      *(ulonglong *)((int)puVar2 + uVar7 * 4) = uVar11 << uVar15 | uVar10;\n      uVar7 = uVar7 + 4;\n      uVar12 = uVar9 << uVar15 | uVar11 >> uVar14;\n    }" { (expression_statement "uVar11 = *(ulonglong *)((int)param_2 + uVar7 * 4 + iVar4 + -0xc);" (assignment_expression "uVar11 = *(ulonglong *)((int)param_2 + uVar7 * 4 + iVar4 + -0xc)" identifier = (pointer_expression "*(ulonglong *)((int)param_2 + uVar7 * 4 + iVar4 + -0xc)" * (cast_expression "(ulonglong *)((int)param_2 + uVar7 * 4 + iVar4 + -0xc)" ( (type_descriptor "ulonglong *" type_identifier (abstract_pointer_declarator "*" *)) ) (parenthesized_expression "((int)param_2 + uVar7 * 4 + iVar4 + -0xc)" ( (binary_expression "(int)param_2 + uVar7 * 4 + iVar4 + -0xc" (binary_expression "(int)param_2 + uVar7 * 4 + iVar4" (binary_expression "(int)param_2 + uVar7 * 4" (cast_expression "(int)param_2" ( (type_descriptor "int" primitive_type) ) identifier) + (binary_expression "uVar7 * 4" identifier * number_literal)) + identifier) + number_literal) ))))) ;) (expression_statement "uVar10 = uVar9 >> uVar14;" (assignment_expression "uVar10 = uVar9 >> uVar14" identifier = (binary_expression "uVar9 >> uVar14" identifier >> identifier)) ;) (expression_statement "*(ulonglong *)((int)puVar2 + uVar7 * 4 + -8) = uVar12;" (assignment_expression "*(ulonglong *)((int)puVar2 + uVar7 * 4 + -8) = uVar12" (pointer_expression "*(ulonglong *)((int)puVar2 + uVar7 * 4 + -8)" * (cast_expression "(ulonglong *)((int)puVar2 + uVar7 * 4 + -8)" ( (type_descriptor "ulonglong *" type_identifier (abstract_pointer_declarator "*" *)) ) (parenthesized_expression "((int)puVar2 + uVar7 * 4 + -8)" ( (binary_expression "(int)puVar2 + uVar7 * 4 + -8" (binary_expression "(int)puVar2 + uVar7 * 4" (cast_expression "(int)puVar2" ( (type_descriptor "int" primitive_type) ) identifier) + (binary_expression "uVar7 * 4" identifier * number_literal)) + number_literal) )))) = identifier) ;) (expression_statement "uVar9 = *(ulonglong *)((int)param_2 + uVar7 * 4 + iVar4 + -4);" (assignment_expression "uVar9 = *(ulonglong *)((int)param_2 + uVar7 * 4 + iVar4 + -4)" identifier = (pointer_expression "*(ulonglong *)((int)param_2 + uVar7 * 4 + iVar4 + -4)" * (cast_expression "(ulonglong *)((int)param_2 + uVar7 * 4 + iVar4 + -4)" ( (type_descriptor "ulonglong *" type_identifier (abstract_pointer_declarator "*" *)) ) (parenthesized_expression "((int)param_2 + uVar7 * 4 + iVar4 + -4)" ( (binary_expression "(int)param_2 + uVar7 * 4 + iVar4 + -4" (binary_expression "(int)param_2 + uVar7 * 4 + iVar4" (binary_expression "(int)param_2 + uVar7 * 4" (cast_expression "(int)param_2" ( (type_descriptor "int" primitive_type) ) identifier) + (binary_expression "uVar7 * 4" identifier * number_literal)) + identifier) + number_literal) ))))) ;) (expression_statement "*(ulonglong *)((int)puVar2 + uVar7 * 4) = uVar11 << uVar15 | uVar10;" (assignment_expression "*(ulonglong *)((int)puVar2 + uVar7 * 4) = uVar11 << uVar15 | uVar10" (pointer_expression "*(ulonglong *)((int)puVar2 + uVar7 * 4)" * (cast_expression "(ulonglong *)((int)puVar2 + uVar7 * 4)" ( (type_descriptor "ulonglong *" type_identifier (abstract_pointer_declarator "*" *)) ) (parenthesized_expression "((int)puVar2 + uVar7 * 4)" ( (binary_expression "(int)puVar2 + uVar7 * 4" (cast_expression "(int)puVar2" ( (type_descriptor "int" primitive_type) ) identifier) + (binary_expression "uVar7 * 4" identifier * number_literal)) )))) = (binary_expression "uVar11 << uVar15 | uVar10" (binary_expression "uVar11 << uVar15" identifier << identifier) | identifier)) ;) (expression_statement "uVar7 = uVar7 + 4;" (assignment_expression "uVar7 = uVar7 + 4" identifier = (binary_expression "uVar7 + 4" identifier + number_literal)) ;) (expression_statement "uVar12 = uVar9 << uVar15 | uVar11 >> uVar14;" (assignment_expression "uVar12 = uVar9 << uVar15 | uVar11 >> uVar14" identifier = (binary_expression "uVar9 << uVar15 | uVar11 >> uVar14" (binary_expression "uVar9 << uVar15" identifier << identifier) | (binary_expression "uVar11 >> uVar14" identifier >> identifier))) ;) }) while (parenthesized_expression "((int)uVar7 < 0)" ( (binary_expression "(int)uVar7 < 0" (cast_expression "(int)uVar7" ( (type_descriptor "int" primitive_type) ) identifier) < number_literal) )) ;) })) (expression_statement "uVar11 = uVar9;" (assignment_expression "uVar11 = uVar9" identifier = identifier) ;) (if_statement "if ((uVar7 & 2) == 0) {\n    uVar11 = *(ulonglong *)((int)param_2 + uVar7 * 4 + iVar4 + -0xc);\n    *(ulonglong *)((int)puVar2 + uVar7 * 4 + -8) = uVar12;\n    uVar12 = uVar11 << uVar15 | uVar9 >> uVar14;\n    uVar7 = uVar7 + 2;\n  }" if (parenthesized_expression "((uVar7 & 2) == 0)" ( (binary_expression "(uVar7 & 2) == 0" (parenthesized_expression "(uVar7 & 2)" ( (binary_expression "uVar7 & 2" identifier & number_literal) )) == number_literal) )) (compound_statement "{\n    uVar11 = *(ulonglong *)((int)param_2 + uVar7 * 4 + iVar4 + -0xc);\n    *(ulonglong *)((int)puVar2 + uVar7 * 4 + -8) = uVar12;\n    uVar12 = uVar11 << uVar15 | uVar9 >> uVar14;\n    uVar7 = uVar7 + 2;\n  }" { (expression_statement "uVar11 = *(ulonglong *)((int)param_2 + uVar7 * 4 + iVar4 + -0xc);" (assignment_expression "uVar11 = *(ulonglong *)((int)param_2 + uVar7 * 4 + iVar4 + -0xc)" identifier = (pointer_expression "*(ulonglong *)((int)param_2 + uVar7 * 4 + iVar4 + -0xc)" * (cast_expression "(ulonglong *)((int)param_2 + uVar7 * 4 + iVar4 + -0xc)" ( (type_descriptor "ulonglong *" type_identifier (abstract_pointer_declarator "*" *)) ) (parenthesized_expression "((int)param_2 + uVar7 * 4 + iVar4 + -0xc)" ( (binary_expression "(int)param_2 + uVar7 * 4 + iVar4 + -0xc" (binary_expression "(int)param_2 + uVar7 * 4 + iVar4" (binary_expression "(int)param_2 + uVar7 * 4" (cast_expression "(int)param_2" ( (type_descriptor "int" primitive_type) ) identifier) + (binary_expression "uVar7 * 4" identifier * number_literal)) + identifier) + number_literal) ))))) ;) (expression_statement "*(ulonglong *)((int)puVar2 + uVar7 * 4 + -8) = uVar12;" (assignment_expression "*(ulonglong *)((int)puVar2 + uVar7 * 4 + -8) = uVar12" (pointer_expression "*(ulonglong *)((int)puVar2 + uVar7 * 4 + -8)" * (cast_expression "(ulonglong *)((int)puVar2 + uVar7 * 4 + -8)" ( (type_descriptor "ulonglong *" type_identifier (abstract_pointer_declarator "*" *)) ) (parenthesized_expression "((int)puVar2 + uVar7 * 4 + -8)" ( (binary_expression "(int)puVar2 + uVar7 * 4 + -8" (binary_expression "(int)puVar2 + uVar7 * 4" (cast_expression "(int)puVar2" ( (type_descriptor "int" primitive_type) ) identifier) + (binary_expression "uVar7 * 4" identifier * number_literal)) + number_literal) )))) = identifier) ;) (expression_statement "uVar12 = uVar11 << uVar15 | uVar9 >> uVar14;" (assignment_expression "uVar12 = uVar11 << uVar15 | uVar9 >> uVar14" identifier = (binary_expression "uVar11 << uVar15 | uVar9 >> uVar14" (binary_expression "uVar11 << uVar15" identifier << identifier) | (binary_expression "uVar9 >> uVar14" identifier >> identifier))) ;) (expression_statement "uVar7 = uVar7 + 2;" (assignment_expression "uVar7 = uVar7 + 2" identifier = (binary_expression "uVar7 + 2" identifier + number_literal)) ;) })) (expression_statement "uVar8 = (uint)uVar13;" (assignment_expression "uVar8 = (uint)uVar13" identifier = (cast_expression "(uint)uVar13" ( (type_descriptor "uint" type_identifier) ) identifier)) ;) (if_statement "if ((uVar7 & 1) == 0) {\n    uVar7 = *(uint *)((int)param_2 + iVar4 + -4);\n    *puVar2 = uVar12;\n    if ((param_4 & 0x20) != 0) {\n      *(uint *)(puVar2 + 2) = uVar7 >> uVar14;\n    }\n    puVar2[1] = (ulonglong)uVar7 << uVar15 | uVar11 >> uVar14;\n    return uVar8;\n  }" if (parenthesized_expression "((uVar7 & 1) == 0)" ( (binary_expression "(uVar7 & 1) == 0" (parenthesized_expression "(uVar7 & 1)" ( (binary_expression "uVar7 & 1" identifier & number_literal) )) == number_literal) )) (compound_statement "{\n    uVar7 = *(uint *)((int)param_2 + iVar4 + -4);\n    *puVar2 = uVar12;\n    if ((param_4 & 0x20) != 0) {\n      *(uint *)(puVar2 + 2) = uVar7 >> uVar14;\n    }\n    puVar2[1] = (ulonglong)uVar7 << uVar15 | uVar11 >> uVar14;\n    return uVar8;\n  }" { (expression_statement "uVar7 = *(uint *)((int)param_2 + iVar4 + -4);" (assignment_expression "uVar7 = *(uint *)((int)param_2 + iVar4 + -4)" identifier = (pointer_expression "*(uint *)((int)param_2 + iVar4 + -4)" * (cast_expression "(uint *)((int)param_2 + iVar4 + -4)" ( (type_descriptor "uint *" type_identifier (abstract_pointer_declarator "*" *)) ) (parenthesized_expression "((int)param_2 + iVar4 + -4)" ( (binary_expression "(int)param_2 + iVar4 + -4" (binary_expression "(int)param_2 + iVar4" (cast_expression "(int)param_2" ( (type_descriptor "int" primitive_type) ) identifier) + identifier) + number_literal) ))))) ;) (expression_statement "*puVar2 = uVar12;" (assignment_expression "*puVar2 = uVar12" (pointer_expression "*puVar2" * identifier) = identifier) ;) (if_statement "if ((param_4 & 0x20) != 0) {\n      *(uint *)(puVar2 + 2) = uVar7 >> uVar14;\n    }" if (parenthesized_expression "((param_4 & 0x20) != 0)" ( (binary_expression "(param_4 & 0x20) != 0" (parenthesized_expression "(param_4 & 0x20)" ( (binary_expression "param_4 & 0x20" identifier & number_literal) )) != number_literal) )) (compound_statement "{\n      *(uint *)(puVar2 + 2) = uVar7 >> uVar14;\n    }" { (expression_statement "*(uint *)(puVar2 + 2) = uVar7 >> uVar14;" (assignment_expression "*(uint *)(puVar2 + 2) = uVar7 >> uVar14" (pointer_expression "*(uint *)(puVar2 + 2)" * (cast_expression "(uint *)(puVar2 + 2)" ( (type_descriptor "uint *" type_identifier (abstract_pointer_declarator "*" *)) ) (parenthesized_expression "(puVar2 + 2)" ( (binary_expression "puVar2 + 2" identifier + number_literal) )))) = (binary_expression "uVar7 >> uVar14" identifier >> identifier)) ;) })) (expression_statement "puVar2[1] = (ulonglong)uVar7 << uVar15 | uVar11 >> uVar14;" (assignment_expression "puVar2[1] = (ulonglong)uVar7 << uVar15 | uVar11 >> uVar14" (subscript_expression "puVar2[1]" identifier [ number_literal ]) = (binary_expression "(ulonglong)uVar7 << uVar15 | uVar11 >> uVar14" (binary_expression "(ulonglong)uVar7 << uVar15" (cast_expression "(ulonglong)uVar7" ( (type_descriptor "ulonglong" type_identifier) ) identifier) << identifier) | (binary_expression "uVar11 >> uVar14" identifier >> identifier))) ;) (return_statement "return uVar8;" return identifier ;) })) (expression_statement "*(ulonglong *)((int)puVar2 + 4) = uVar12;" (assignment_expression "*(ulonglong *)((int)puVar2 + 4) = uVar12" (pointer_expression "*(ulonglong *)((int)puVar2 + 4)" * (cast_expression "(ulonglong *)((int)puVar2 + 4)" ( (type_descriptor "ulonglong *" type_identifier (abstract_pointer_declarator "*" *)) ) (parenthesized_expression "((int)puVar2 + 4)" ( (binary_expression "(int)puVar2 + 4" (cast_expression "(int)puVar2" ( (type_descriptor "int" primitive_type) ) identifier) + number_literal) )))) = identifier) ;) (expression_statement "*(uint *)((int)puVar2 + 0xc) = (uint)(uVar11 >> uVar14);" (assignment_expression "*(uint *)((int)puVar2 + 0xc) = (uint)(uVar11 >> uVar14)" (pointer_expression "*(uint *)((int)puVar2 + 0xc)" * (cast_expression "(uint *)((int)puVar2 + 0xc)" ( (type_descriptor "uint *" type_identifier (abstract_pointer_declarator "*" *)) ) (parenthesized_expression "((int)puVar2 + 0xc)" ( (binary_expression "(int)puVar2 + 0xc" (cast_expression "(int)puVar2" ( (type_descriptor "int" primitive_type) ) identifier) + number_literal) )))) = (call_expression "(uint)(uVar11 >> uVar14)" (parenthesized_expression "(uint)" ( identifier )) (argument_list "(uVar11 >> uVar14)" ( (binary_expression "uVar11 >> uVar14" identifier >> identifier) )))) ;) (if_statement "if ((param_4 & 0x20) != 0) {\n    *(ulonglong *)((int)puVar2 + 0xc) = uVar11 >> uVar14;\n  }" if (parenthesized_expression "((param_4 & 0x20) != 0)" ( (binary_expression "(param_4 & 0x20) != 0" (parenthesized_expression "(param_4 & 0x20)" ( (binary_expression "param_4 & 0x20" identifier & number_literal) )) != number_literal) )) (compound_statement "{\n    *(ulonglong *)((int)puVar2 + 0xc) = uVar11 >> uVar14;\n  }" { (expression_statement "*(ulonglong *)((int)puVar2 + 0xc) = uVar11 >> uVar14;" (assignment_expression "*(ulonglong *)((int)puVar2 + 0xc) = uVar11 >> uVar14" (pointer_expression "*(ulonglong *)((int)puVar2 + 0xc)" * (cast_expression "(ulonglong *)((int)puVar2 + 0xc)" ( (type_descriptor "ulonglong *" type_identifier (abstract_pointer_declarator "*" *)) ) (parenthesized_expression "((int)puVar2 + 0xc)" ( (binary_expression "(int)puVar2 + 0xc" (cast_expression "(int)puVar2" ( (type_descriptor "int" primitive_type) ) identifier) + number_literal) )))) = (binary_expression "uVar11 >> uVar14" identifier >> identifier)) ;) })) (return_statement "return uVar8;" return identifier ;) })))
(translation_unit "uint __gmpn_rshift_pentium4_mmx(uint *param_1,ulonglong *param_2,uint param_3,uint param_4)\n\n{\n  uint *puVar1;\n  ulonglong *puVar2;\n  byte bVar3;\n  int iVar4;\n  int iVar5;\n  int iVar6;\n  uint uVar7;\n  uint uVar8;\n  ulonglong uVar9;\n  ulonglong uVar10;\n  ulonglong uVar11;\n  ulonglong uVar12;\n  ulonglong uVar13;\n  ulonglong uVar14;\n  ulonglong uVar15;\n  \n  if (param_3 < 5) {\n    iVar4 = param_3 - 1;\n    uVar13 = *param_2;\n    if (iVar4 == 0) {\n      bVar3 = (byte)param_4 & 0x1f;\n      *param_1 = (uint)uVar13 >> ((byte)param_4 & 0x1f);\n      return 0U >> bVar3 | (uint)uVar13 << 0x20 - bVar3;\n    }\n    uVar13 = *param_2;\n    puVar1 = (uint *)((int)param_2 + iVar4 * 4);\n    uVar14 = (ulonglong)param_4;\n    iVar5 = -iVar4;\n    do {\n      iVar6 = iVar5 + 1;\n      param_1[iVar4 + iVar5] = (uint)(*(ulonglong *)(puVar1 + iVar5) >> uVar14);\n      iVar5 = iVar6;\n    } while (iVar6 != 0);\n    param_1[iVar4] = *puVar1 >> uVar14;\n    return (uint)(((ulonglong)(uint)uVar13 << 0x20) >> uVar14);\n  }\n  uVar13 = *param_2;\n  uVar14 = (ulonglong)param_4;\n  if (((uint)param_2 & 4) != 0) {\n    uVar12 = *param_2;\n    param_2 = (ulonglong *)((int)param_2 + 4);\n    param_3 = param_3 - 1;\n    *param_1 = (uint)(uVar12 >> uVar14);\n    param_1 = param_1 + 1;\n  }\n  uVar12 = *param_2;\n  uVar13 = ((ulonglong)(uint)uVar13 << 0x20) >> uVar14;\n  if (((uint)param_1 & 4) != 0) {\n    param_4 = param_4 + 0x20;\n    uVar9 = uVar12 >> uVar14;\n    uVar14 = (ulonglong)param_4;\n    *param_1 = (uint)uVar9;\n    param_1 = param_1 + 1;\n  }\n  uVar9 = param_2[1];\n  param_4 = 0x40 - param_4;\n  uVar15 = (ulonglong)param_4;\n  iVar4 = param_3 * 4;\n  puVar2 = (ulonglong *)(param_1 + (param_3 - 5));\n  uVar12 = uVar9 << uVar15 | uVar12 >> uVar14;\n  uVar7 = -(param_3 - 7);\n  if (0 < (int)(param_3 - 7)) {\n    do {\n      uVar11 = *(ulonglong *)((int)param_2 + uVar7 * 4 + iVar4 + -0xc);\n      uVar10 = uVar9 >> uVar14;\n      *(ulonglong *)((int)puVar2 + uVar7 * 4 + -8) = uVar12;\n      uVar9 = *(ulonglong *)((int)param_2 + uVar7 * 4 + iVar4 + -4);\n      *(ulonglong *)((int)puVar2 + uVar7 * 4) = uVar11 << uVar15 | uVar10;\n      uVar7 = uVar7 + 4;\n      uVar12 = uVar9 << uVar15 | uVar11 >> uVar14;\n    } while ((int)uVar7 < 0);\n  }\n  uVar11 = uVar9;\n  if ((uVar7 & 2) == 0) {\n    uVar11 = *(ulonglong *)((int)param_2 + uVar7 * 4 + iVar4 + -0xc);\n    *(ulonglong *)((int)puVar2 + uVar7 * 4 + -8) = uVar12;\n    uVar12 = uVar11 << uVar15 | uVar9 >> uVar14;\n    uVar7 = uVar7 + 2;\n  }\n  uVar8 = (uint)uVar13;\n  if ((uVar7 & 1) == 0) {\n    uVar7 = *(uint *)((int)param_2 + iVar4 + -4);\n    *puVar2 = uVar12;\n    if ((param_4 & 0x20) != 0) {\n      *(uint *)(puVar2 + 2) = uVar7 >> uVar14;\n    }\n    puVar2[1] = (ulonglong)uVar7 << uVar15 | uVar11 >> uVar14;\n    return uVar8;\n  }\n  *(ulonglong *)((int)puVar2 + 4) = uVar12;\n  *(uint *)((int)puVar2 + 0xc) = (uint)(uVar11 >> uVar14);\n  if ((param_4 & 0x20) != 0) {\n    *(ulonglong *)((int)puVar2 + 0xc) = uVar11 >> uVar14;\n  }\n  return uVar8;\n}\n\n" (function_definition "uint __gmpn_rshift_pentium4_mmx(uint *param_1,ulonglong *param_2,uint param_3,uint param_4)\n\n{\n  uint *puVar1;\n  ulonglong *puVar2;\n  byte bVar3;\n  int iVar4;\n  int iVar5;\n  int iVar6;\n  uint uVar7;\n  uint uVar8;\n  ulonglong uVar9;\n  ulonglong uVar10;\n  ulonglong uVar11;\n  ulonglong uVar12;\n  ulonglong uVar13;\n  ulonglong uVar14;\n  ulonglong uVar15;\n  \n  if (param_3 < 5) {\n    iVar4 = param_3 - 1;\n    uVar13 = *param_2;\n    if (iVar4 == 0) {\n      bVar3 = (byte)param_4 & 0x1f;\n      *param_1 = (uint)uVar13 >> ((byte)param_4 & 0x1f);\n      return 0U >> bVar3 | (uint)uVar13 << 0x20 - bVar3;\n    }\n    uVar13 = *param_2;\n    puVar1 = (uint *)((int)param_2 + iVar4 * 4);\n    uVar14 = (ulonglong)param_4;\n    iVar5 = -iVar4;\n    do {\n      iVar6 = iVar5 + 1;\n      param_1[iVar4 + iVar5] = (uint)(*(ulonglong *)(puVar1 + iVar5) >> uVar14);\n      iVar5 = iVar6;\n    } while (iVar6 != 0);\n    param_1[iVar4] = *puVar1 >> uVar14;\n    return (uint)(((ulonglong)(uint)uVar13 << 0x20) >> uVar14);\n  }\n  uVar13 = *param_2;\n  uVar14 = (ulonglong)param_4;\n  if (((uint)param_2 & 4) != 0) {\n    uVar12 = *param_2;\n    param_2 = (ulonglong *)((int)param_2 + 4);\n    param_3 = param_3 - 1;\n    *param_1 = (uint)(uVar12 >> uVar14);\n    param_1 = param_1 + 1;\n  }\n  uVar12 = *param_2;\n  uVar13 = ((ulonglong)(uint)uVar13 << 0x20) >> uVar14;\n  if (((uint)param_1 & 4) != 0) {\n    param_4 = param_4 + 0x20;\n    uVar9 = uVar12 >> uVar14;\n    uVar14 = (ulonglong)param_4;\n    *param_1 = (uint)uVar9;\n    param_1 = param_1 + 1;\n  }\n  uVar9 = param_2[1];\n  param_4 = 0x40 - param_4;\n  uVar15 = (ulonglong)param_4;\n  iVar4 = param_3 * 4;\n  puVar2 = (ulonglong *)(param_1 + (param_3 - 5));\n  uVar12 = uVar9 << uVar15 | uVar12 >> uVar14;\n  uVar7 = -(param_3 - 7);\n  if (0 < (int)(param_3 - 7)) {\n    do {\n      uVar11 = *(ulonglong *)((int)param_2 + uVar7 * 4 + iVar4 + -0xc);\n      uVar10 = uVar9 >> uVar14;\n      *(ulonglong *)((int)puVar2 + uVar7 * 4 + -8) = uVar12;\n      uVar9 = *(ulonglong *)((int)param_2 + uVar7 * 4 + iVar4 + -4);\n      *(ulonglong *)((int)puVar2 + uVar7 * 4) = uVar11 << uVar15 | uVar10;\n      uVar7 = uVar7 + 4;\n      uVar12 = uVar9 << uVar15 | uVar11 >> uVar14;\n    } while ((int)uVar7 < 0);\n  }\n  uVar11 = uVar9;\n  if ((uVar7 & 2) == 0) {\n    uVar11 = *(ulonglong *)((int)param_2 + uVar7 * 4 + iVar4 + -0xc);\n    *(ulonglong *)((int)puVar2 + uVar7 * 4 + -8) = uVar12;\n    uVar12 = uVar11 << uVar15 | uVar9 >> uVar14;\n    uVar7 = uVar7 + 2;\n  }\n  uVar8 = (uint)uVar13;\n  if ((uVar7 & 1) == 0) {\n    uVar7 = *(uint *)((int)param_2 + iVar4 + -4);\n    *puVar2 = uVar12;\n    if ((param_4 & 0x20) != 0) {\n      *(uint *)(puVar2 + 2) = uVar7 >> uVar14;\n    }\n    puVar2[1] = (ulonglong)uVar7 << uVar15 | uVar11 >> uVar14;\n    return uVar8;\n  }\n  *(ulonglong *)((int)puVar2 + 4) = uVar12;\n  *(uint *)((int)puVar2 + 0xc) = (uint)(uVar11 >> uVar14);\n  if ((param_4 & 0x20) != 0) {\n    *(ulonglong *)((int)puVar2 + 0xc) = uVar11 >> uVar14;\n  }\n  return uVar8;\n}" type_identifier (function_declarator "__gmpn_rshift_pentium4_mmx(uint *param_1,ulonglong *param_2,uint param_3,uint param_4)" identifier (parameter_list "(uint *param_1,ulonglong *param_2,uint param_3,uint param_4)" ( (parameter_declaration "uint *param_1" type_identifier (pointer_declarator "*param_1" * identifier)) , (parameter_declaration "ulonglong *param_2" type_identifier (pointer_declarator "*param_2" * identifier)) , (parameter_declaration "uint param_3" type_identifier identifier) , (parameter_declaration "uint param_4" type_identifier identifier) ))) (compound_statement "{\n  uint *puVar1;\n  ulonglong *puVar2;\n  byte bVar3;\n  int iVar4;\n  int iVar5;\n  int iVar6;\n  uint uVar7;\n  uint uVar8;\n  ulonglong uVar9;\n  ulonglong uVar10;\n  ulonglong uVar11;\n  ulonglong uVar12;\n  ulonglong uVar13;\n  ulonglong uVar14;\n  ulonglong uVar15;\n  \n  if (param_3 < 5) {\n    iVar4 = param_3 - 1;\n    uVar13 = *param_2;\n    if (iVar4 == 0) {\n      bVar3 = (byte)param_4 & 0x1f;\n      *param_1 = (uint)uVar13 >> ((byte)param_4 & 0x1f);\n      return 0U >> bVar3 | (uint)uVar13 << 0x20 - bVar3;\n    }\n    uVar13 = *param_2;\n    puVar1 = (uint *)((int)param_2 + iVar4 * 4);\n    uVar14 = (ulonglong)param_4;\n    iVar5 = -iVar4;\n    do {\n      iVar6 = iVar5 + 1;\n      param_1[iVar4 + iVar5] = (uint)(*(ulonglong *)(puVar1 + iVar5) >> uVar14);\n      iVar5 = iVar6;\n    } while (iVar6 != 0);\n    param_1[iVar4] = *puVar1 >> uVar14;\n    return (uint)(((ulonglong)(uint)uVar13 << 0x20) >> uVar14);\n  }\n  uVar13 = *param_2;\n  uVar14 = (ulonglong)param_4;\n  if (((uint)param_2 & 4) != 0) {\n    uVar12 = *param_2;\n    param_2 = (ulonglong *)((int)param_2 + 4);\n    param_3 = param_3 - 1;\n    *param_1 = (uint)(uVar12 >> uVar14);\n    param_1 = param_1 + 1;\n  }\n  uVar12 = *param_2;\n  uVar13 = ((ulonglong)(uint)uVar13 << 0x20) >> uVar14;\n  if (((uint)param_1 & 4) != 0) {\n    param_4 = param_4 + 0x20;\n    uVar9 = uVar12 >> uVar14;\n    uVar14 = (ulonglong)param_4;\n    *param_1 = (uint)uVar9;\n    param_1 = param_1 + 1;\n  }\n  uVar9 = param_2[1];\n  param_4 = 0x40 - param_4;\n  uVar15 = (ulonglong)param_4;\n  iVar4 = param_3 * 4;\n  puVar2 = (ulonglong *)(param_1 + (param_3 - 5));\n  uVar12 = uVar9 << uVar15 | uVar12 >> uVar14;\n  uVar7 = -(param_3 - 7);\n  if (0 < (int)(param_3 - 7)) {\n    do {\n      uVar11 = *(ulonglong *)((int)param_2 + uVar7 * 4 + iVar4 + -0xc);\n      uVar10 = uVar9 >> uVar14;\n      *(ulonglong *)((int)puVar2 + uVar7 * 4 + -8) = uVar12;\n      uVar9 = *(ulonglong *)((int)param_2 + uVar7 * 4 + iVar4 + -4);\n      *(ulonglong *)((int)puVar2 + uVar7 * 4) = uVar11 << uVar15 | uVar10;\n      uVar7 = uVar7 + 4;\n      uVar12 = uVar9 << uVar15 | uVar11 >> uVar14;\n    } while ((int)uVar7 < 0);\n  }\n  uVar11 = uVar9;\n  if ((uVar7 & 2) == 0) {\n    uVar11 = *(ulonglong *)((int)param_2 + uVar7 * 4 + iVar4 + -0xc);\n    *(ulonglong *)((int)puVar2 + uVar7 * 4 + -8) = uVar12;\n    uVar12 = uVar11 << uVar15 | uVar9 >> uVar14;\n    uVar7 = uVar7 + 2;\n  }\n  uVar8 = (uint)uVar13;\n  if ((uVar7 & 1) == 0) {\n    uVar7 = *(uint *)((int)param_2 + iVar4 + -4);\n    *puVar2 = uVar12;\n    if ((param_4 & 0x20) != 0) {\n      *(uint *)(puVar2 + 2) = uVar7 >> uVar14;\n    }\n    puVar2[1] = (ulonglong)uVar7 << uVar15 | uVar11 >> uVar14;\n    return uVar8;\n  }\n  *(ulonglong *)((int)puVar2 + 4) = uVar12;\n  *(uint *)((int)puVar2 + 0xc) = (uint)(uVar11 >> uVar14);\n  if ((param_4 & 0x20) != 0) {\n    *(ulonglong *)((int)puVar2 + 0xc) = uVar11 >> uVar14;\n  }\n  return uVar8;\n}" { (declaration "uint *puVar1;" type_identifier (pointer_declarator "*puVar1" * identifier) ;) (declaration "ulonglong *puVar2;" type_identifier (pointer_declarator "*puVar2" * identifier) ;) (declaration "byte bVar3;" type_identifier identifier ;) (declaration "int iVar4;" primitive_type identifier ;) (declaration "int iVar5;" primitive_type identifier ;) (declaration "int iVar6;" primitive_type identifier ;) (declaration "uint uVar7;" type_identifier identifier ;) (declaration "uint uVar8;" type_identifier identifier ;) (declaration "ulonglong uVar9;" type_identifier identifier ;) (declaration "ulonglong uVar10;" type_identifier identifier ;) (declaration "ulonglong uVar11;" type_identifier identifier ;) (declaration "ulonglong uVar12;" type_identifier identifier ;) (declaration "ulonglong uVar13;" type_identifier identifier ;) (declaration "ulonglong uVar14;" type_identifier identifier ;) (declaration "ulonglong uVar15;" type_identifier identifier ;) (if_statement "if (param_3 < 5) {\n    iVar4 = param_3 - 1;\n    uVar13 = *param_2;\n    if (iVar4 == 0) {\n      bVar3 = (byte)param_4 & 0x1f;\n      *param_1 = (uint)uVar13 >> ((byte)param_4 & 0x1f);\n      return 0U >> bVar3 | (uint)uVar13 << 0x20 - bVar3;\n    }\n    uVar13 = *param_2;\n    puVar1 = (uint *)((int)param_2 + iVar4 * 4);\n    uVar14 = (ulonglong)param_4;\n    iVar5 = -iVar4;\n    do {\n      iVar6 = iVar5 + 1;\n      param_1[iVar4 + iVar5] = (uint)(*(ulonglong *)(puVar1 + iVar5) >> uVar14);\n      iVar5 = iVar6;\n    } while (iVar6 != 0);\n    param_1[iVar4] = *puVar1 >> uVar14;\n    return (uint)(((ulonglong)(uint)uVar13 << 0x20) >> uVar14);\n  }" if (parenthesized_expression "(param_3 < 5)" ( (binary_expression "param_3 < 5" identifier < number_literal) )) (compound_statement "{\n    iVar4 = param_3 - 1;\n    uVar13 = *param_2;\n    if (iVar4 == 0) {\n      bVar3 = (byte)param_4 & 0x1f;\n      *param_1 = (uint)uVar13 >> ((byte)param_4 & 0x1f);\n      return 0U >> bVar3 | (uint)uVar13 << 0x20 - bVar3;\n    }\n    uVar13 = *param_2;\n    puVar1 = (uint *)((int)param_2 + iVar4 * 4);\n    uVar14 = (ulonglong)param_4;\n    iVar5 = -iVar4;\n    do {\n      iVar6 = iVar5 + 1;\n      param_1[iVar4 + iVar5] = (uint)(*(ulonglong *)(puVar1 + iVar5) >> uVar14);\n      iVar5 = iVar6;\n    } while (iVar6 != 0);\n    param_1[iVar4] = *puVar1 >> uVar14;\n    return (uint)(((ulonglong)(uint)uVar13 << 0x20) >> uVar14);\n  }" { (expression_statement "iVar4 = param_3 - 1;" (assignment_expression "iVar4 = param_3 - 1" identifier = (binary_expression "param_3 - 1" identifier - number_literal)) ;) (expression_statement "uVar13 = *param_2;" (assignment_expression "uVar13 = *param_2" identifier = (pointer_expression "*param_2" * identifier)) ;) (if_statement "if (iVar4 == 0) {\n      bVar3 = (byte)param_4 & 0x1f;\n      *param_1 = (uint)uVar13 >> ((byte)param_4 & 0x1f);\n      return 0U >> bVar3 | (uint)uVar13 << 0x20 - bVar3;\n    }" if (parenthesized_expression "(iVar4 == 0)" ( (binary_expression "iVar4 == 0" identifier == number_literal) )) (compound_statement "{\n      bVar3 = (byte)param_4 & 0x1f;\n      *param_1 = (uint)uVar13 >> ((byte)param_4 & 0x1f);\n      return 0U >> bVar3 | (uint)uVar13 << 0x20 - bVar3;\n    }" { (expression_statement "bVar3 = (byte)param_4 & 0x1f;" (assignment_expression "bVar3 = (byte)param_4 & 0x1f" identifier = (binary_expression "(byte)param_4 & 0x1f" (cast_expression "(byte)param_4" ( (type_descriptor "byte" type_identifier) ) identifier) & number_literal)) ;) (expression_statement "*param_1 = (uint)uVar13 >> ((byte)param_4 & 0x1f);" (assignment_expression "*param_1 = (uint)uVar13 >> ((byte)param_4 & 0x1f)" (pointer_expression "*param_1" * identifier) = (binary_expression "(uint)uVar13 >> ((byte)param_4 & 0x1f)" (cast_expression "(uint)uVar13" ( (type_descriptor "uint" type_identifier) ) identifier) >> (parenthesized_expression "((byte)param_4 & 0x1f)" ( (binary_expression "(byte)param_4 & 0x1f" (cast_expression "(byte)param_4" ( (type_descriptor "byte" type_identifier) ) identifier) & number_literal) )))) ;) (return_statement "return 0U >> bVar3 | (uint)uVar13 << 0x20 - bVar3;" return (binary_expression "0U >> bVar3 | (uint)uVar13 << 0x20 - bVar3" (binary_expression "0U >> bVar3" number_literal >> identifier) | (binary_expression "(uint)uVar13 << 0x20 - bVar3" (cast_expression "(uint)uVar13" ( (type_descriptor "uint" type_identifier) ) identifier) << (binary_expression "0x20 - bVar3" number_literal - identifier))) ;) })) (expression_statement "uVar13 = *param_2;" (assignment_expression "uVar13 = *param_2" identifier = (pointer_expression "*param_2" * identifier)) ;) (expression_statement "puVar1 = (uint *)((int)param_2 + iVar4 * 4);" (assignment_expression "puVar1 = (uint *)((int)param_2 + iVar4 * 4)" identifier = (cast_expression "(uint *)((int)param_2 + iVar4 * 4)" ( (type_descriptor "uint *" type_identifier (abstract_pointer_declarator "*" *)) ) (parenthesized_expression "((int)param_2 + iVar4 * 4)" ( (binary_expression "(int)param_2 + iVar4 * 4" (cast_expression "(int)param_2" ( (type_descriptor "int" primitive_type) ) identifier) + (binary_expression "iVar4 * 4" identifier * number_literal)) )))) ;) (expression_statement "uVar14 = (ulonglong)param_4;" (assignment_expression "uVar14 = (ulonglong)param_4" identifier = (cast_expression "(ulonglong)param_4" ( (type_descriptor "ulonglong" type_identifier) ) identifier)) ;) (expression_statement "iVar5 = -iVar4;" (assignment_expression "iVar5 = -iVar4" identifier = (unary_expression "-iVar4" - identifier)) ;) (do_statement "do {\n      iVar6 = iVar5 + 1;\n      param_1[iVar4 + iVar5] = (uint)(*(ulonglong *)(puVar1 + iVar5) >> uVar14);\n      iVar5 = iVar6;\n    } while (iVar6 != 0);" do (compound_statement "{\n      iVar6 = iVar5 + 1;\n      param_1[iVar4 + iVar5] = (uint)(*(ulonglong *)(puVar1 + iVar5) >> uVar14);\n      iVar5 = iVar6;\n    }" { (expression_statement "iVar6 = iVar5 + 1;" (assignment_expression "iVar6 = iVar5 + 1" identifier = (binary_expression "iVar5 + 1" identifier + number_literal)) ;) (expression_statement "param_1[iVar4 + iVar5] = (uint)(*(ulonglong *)(puVar1 + iVar5) >> uVar14);" (assignment_expression "param_1[iVar4 + iVar5] = (uint)(*(ulonglong *)(puVar1 + iVar5) >> uVar14)" (subscript_expression "param_1[iVar4 + iVar5]" identifier [ (binary_expression "iVar4 + iVar5" identifier + identifier) ]) = (call_expression "(uint)(*(ulonglong *)(puVar1 + iVar5) >> uVar14)" (parenthesized_expression "(uint)" ( identifier )) (argument_list "(*(ulonglong *)(puVar1 + iVar5) >> uVar14)" ( (binary_expression "*(ulonglong *)(puVar1 + iVar5) >> uVar14" (pointer_expression "*(ulonglong *)(puVar1 + iVar5)" * (cast_expression "(ulonglong *)(puVar1 + iVar5)" ( (type_descriptor "ulonglong *" type_identifier (abstract_pointer_declarator "*" *)) ) (parenthesized_expression "(puVar1 + iVar5)" ( (binary_expression "puVar1 + iVar5" identifier + identifier) )))) >> identifier) )))) ;) (expression_statement "iVar5 = iVar6;" (assignment_expression "iVar5 = iVar6" identifier = identifier) ;) }) while (parenthesized_expression "(iVar6 != 0)" ( (binary_expression "iVar6 != 0" identifier != number_literal) )) ;) (expression_statement "param_1[iVar4] = *puVar1 >> uVar14;" (assignment_expression "param_1[iVar4] = *puVar1 >> uVar14" (subscript_expression "param_1[iVar4]" identifier [ identifier ]) = (binary_expression "*puVar1 >> uVar14" (pointer_expression "*puVar1" * identifier) >> identifier)) ;) (return_statement "return (uint)(((ulonglong)(uint)uVar13 << 0x20) >> uVar14);" return (call_expression "(uint)(((ulonglong)(uint)uVar13 << 0x20) >> uVar14)" (parenthesized_expression "(uint)" ( identifier )) (argument_list "(((ulonglong)(uint)uVar13 << 0x20) >> uVar14)" ( (binary_expression "((ulonglong)(uint)uVar13 << 0x20) >> uVar14" (parenthesized_expression "((ulonglong)(uint)uVar13 << 0x20)" ( (binary_expression "(ulonglong)(uint)uVar13 << 0x20" (cast_expression "(ulonglong)(uint)uVar13" ( (type_descriptor "ulonglong" type_identifier) ) (cast_expression "(uint)uVar13" ( (type_descriptor "uint" type_identifier) ) identifier)) << number_literal) )) >> identifier) ))) ;) })) (expression_statement "uVar13 = *param_2;" (assignment_expression "uVar13 = *param_2" identifier = (pointer_expression "*param_2" * identifier)) ;) (expression_statement "uVar14 = (ulonglong)param_4;" (assignment_expression "uVar14 = (ulonglong)param_4" identifier = (cast_expression "(ulonglong)param_4" ( (type_descriptor "ulonglong" type_identifier) ) identifier)) ;) (if_statement "if (((uint)param_2 & 4) != 0) {\n    uVar12 = *param_2;\n    param_2 = (ulonglong *)((int)param_2 + 4);\n    param_3 = param_3 - 1;\n    *param_1 = (uint)(uVar12 >> uVar14);\n    param_1 = param_1 + 1;\n  }" if (parenthesized_expression "(((uint)param_2 & 4) != 0)" ( (binary_expression "((uint)param_2 & 4) != 0" (parenthesized_expression "((uint)param_2 & 4)" ( (binary_expression "(uint)param_2 & 4" (cast_expression "(uint)param_2" ( (type_descriptor "uint" type_identifier) ) identifier) & number_literal) )) != number_literal) )) (compound_statement "{\n    uVar12 = *param_2;\n    param_2 = (ulonglong *)((int)param_2 + 4);\n    param_3 = param_3 - 1;\n    *param_1 = (uint)(uVar12 >> uVar14);\n    param_1 = param_1 + 1;\n  }" { (expression_statement "uVar12 = *param_2;" (assignment_expression "uVar12 = *param_2" identifier = (pointer_expression "*param_2" * identifier)) ;) (expression_statement "param_2 = (ulonglong *)((int)param_2 + 4);" (assignment_expression "param_2 = (ulonglong *)((int)param_2 + 4)" identifier = (cast_expression "(ulonglong *)((int)param_2 + 4)" ( (type_descriptor "ulonglong *" type_identifier (abstract_pointer_declarator "*" *)) ) (parenthesized_expression "((int)param_2 + 4)" ( (binary_expression "(int)param_2 + 4" (cast_expression "(int)param_2" ( (type_descriptor "int" primitive_type) ) identifier) + number_literal) )))) ;) (expression_statement "param_3 = param_3 - 1;" (assignment_expression "param_3 = param_3 - 1" identifier = (binary_expression "param_3 - 1" identifier - number_literal)) ;) (expression_statement "*param_1 = (uint)(uVar12 >> uVar14);" (assignment_expression "*param_1 = (uint)(uVar12 >> uVar14)" (pointer_expression "*param_1" * identifier) = (call_expression "(uint)(uVar12 >> uVar14)" (parenthesized_expression "(uint)" ( identifier )) (argument_list "(uVar12 >> uVar14)" ( (binary_expression "uVar12 >> uVar14" identifier >> identifier) )))) ;) (expression_statement "param_1 = param_1 + 1;" (assignment_expression "param_1 = param_1 + 1" identifier = (binary_expression "param_1 + 1" identifier + number_literal)) ;) })) (expression_statement "uVar12 = *param_2;" (assignment_expression "uVar12 = *param_2" identifier = (pointer_expression "*param_2" * identifier)) ;) (expression_statement "uVar13 = ((ulonglong)(uint)uVar13 << 0x20) >> uVar14;" (assignment_expression "uVar13 = ((ulonglong)(uint)uVar13 << 0x20) >> uVar14" identifier = (binary_expression "((ulonglong)(uint)uVar13 << 0x20) >> uVar14" (parenthesized_expression "((ulonglong)(uint)uVar13 << 0x20)" ( (binary_expression "(ulonglong)(uint)uVar13 << 0x20" (cast_expression "(ulonglong)(uint)uVar13" ( (type_descriptor "ulonglong" type_identifier) ) (cast_expression "(uint)uVar13" ( (type_descriptor "uint" type_identifier) ) identifier)) << number_literal) )) >> identifier)) ;) (if_statement "if (((uint)param_1 & 4) != 0) {\n    param_4 = param_4 + 0x20;\n    uVar9 = uVar12 >> uVar14;\n    uVar14 = (ulonglong)param_4;\n    *param_1 = (uint)uVar9;\n    param_1 = param_1 + 1;\n  }" if (parenthesized_expression "(((uint)param_1 & 4) != 0)" ( (binary_expression "((uint)param_1 & 4) != 0" (parenthesized_expression "((uint)param_1 & 4)" ( (binary_expression "(uint)param_1 & 4" (cast_expression "(uint)param_1" ( (type_descriptor "uint" type_identifier) ) identifier) & number_literal) )) != number_literal) )) (compound_statement "{\n    param_4 = param_4 + 0x20;\n    uVar9 = uVar12 >> uVar14;\n    uVar14 = (ulonglong)param_4;\n    *param_1 = (uint)uVar9;\n    param_1 = param_1 + 1;\n  }" { (expression_statement "param_4 = param_4 + 0x20;" (assignment_expression "param_4 = param_4 + 0x20" identifier = (binary_expression "param_4 + 0x20" identifier + number_literal)) ;) (expression_statement "uVar9 = uVar12 >> uVar14;" (assignment_expression "uVar9 = uVar12 >> uVar14" identifier = (binary_expression "uVar12 >> uVar14" identifier >> identifier)) ;) (expression_statement "uVar14 = (ulonglong)param_4;" (assignment_expression "uVar14 = (ulonglong)param_4" identifier = (cast_expression "(ulonglong)param_4" ( (type_descriptor "ulonglong" type_identifier) ) identifier)) ;) (expression_statement "*param_1 = (uint)uVar9;" (assignment_expression "*param_1 = (uint)uVar9" (pointer_expression "*param_1" * identifier) = (cast_expression "(uint)uVar9" ( (type_descriptor "uint" type_identifier) ) identifier)) ;) (expression_statement "param_1 = param_1 + 1;" (assignment_expression "param_1 = param_1 + 1" identifier = (binary_expression "param_1 + 1" identifier + number_literal)) ;) })) (expression_statement "uVar9 = param_2[1];" (assignment_expression "uVar9 = param_2[1]" identifier = (subscript_expression "param_2[1]" identifier [ number_literal ])) ;) (expression_statement "param_4 = 0x40 - param_4;" (assignment_expression "param_4 = 0x40 - param_4" identifier = (binary_expression "0x40 - param_4" number_literal - identifier)) ;) (expression_statement "uVar15 = (ulonglong)param_4;" (assignment_expression "uVar15 = (ulonglong)param_4" identifier = (cast_expression "(ulonglong)param_4" ( (type_descriptor "ulonglong" type_identifier) ) identifier)) ;) (expression_statement "iVar4 = param_3 * 4;" (assignment_expression "iVar4 = param_3 * 4" identifier = (binary_expression "param_3 * 4" identifier * number_literal)) ;) (expression_statement "puVar2 = (ulonglong *)(param_1 + (param_3 - 5));" (assignment_expression "puVar2 = (ulonglong *)(param_1 + (param_3 - 5))" identifier = (cast_expression "(ulonglong *)(param_1 + (param_3 - 5))" ( (type_descriptor "ulonglong *" type_identifier (abstract_pointer_declarator "*" *)) ) (parenthesized_expression "(param_1 + (param_3 - 5))" ( (binary_expression "param_1 + (param_3 - 5)" identifier + (parenthesized_expression "(param_3 - 5)" ( (binary_expression "param_3 - 5" identifier - number_literal) ))) )))) ;) (expression_statement "uVar12 = uVar9 << uVar15 | uVar12 >> uVar14;" (assignment_expression "uVar12 = uVar9 << uVar15 | uVar12 >> uVar14" identifier = (binary_expression "uVar9 << uVar15 | uVar12 >> uVar14" (binary_expression "uVar9 << uVar15" identifier << identifier) | (binary_expression "uVar12 >> uVar14" identifier >> identifier))) ;) (expression_statement "uVar7 = -(param_3 - 7);" (assignment_expression "uVar7 = -(param_3 - 7)" identifier = (unary_expression "-(param_3 - 7)" - (parenthesized_expression "(param_3 - 7)" ( (binary_expression "param_3 - 7" identifier - number_literal) )))) ;) (if_statement "if (0 < (int)(param_3 - 7)) {\n    do {\n      uVar11 = *(ulonglong *)((int)param_2 + uVar7 * 4 + iVar4 + -0xc);\n      uVar10 = uVar9 >> uVar14;\n      *(ulonglong *)((int)puVar2 + uVar7 * 4 + -8) = uVar12;\n      uVar9 = *(ulonglong *)((int)param_2 + uVar7 * 4 + iVar4 + -4);\n      *(ulonglong *)((int)puVar2 + uVar7 * 4) = uVar11 << uVar15 | uVar10;\n      uVar7 = uVar7 + 4;\n      uVar12 = uVar9 << uVar15 | uVar11 >> uVar14;\n    } while ((int)uVar7 < 0);\n  }" if (parenthesized_expression "(0 < (int)(param_3 - 7))" ( (binary_expression "0 < (int)(param_3 - 7)" number_literal < (cast_expression "(int)(param_3 - 7)" ( (type_descriptor "int" primitive_type) ) (parenthesized_expression "(param_3 - 7)" ( (binary_expression "param_3 - 7" identifier - number_literal) )))) )) (compound_statement "{\n    do {\n      uVar11 = *(ulonglong *)((int)param_2 + uVar7 * 4 + iVar4 + -0xc);\n      uVar10 = uVar9 >> uVar14;\n      *(ulonglong *)((int)puVar2 + uVar7 * 4 + -8) = uVar12;\n      uVar9 = *(ulonglong *)((int)param_2 + uVar7 * 4 + iVar4 + -4);\n      *(ulonglong *)((int)puVar2 + uVar7 * 4) = uVar11 << uVar15 | uVar10;\n      uVar7 = uVar7 + 4;\n      uVar12 = uVar9 << uVar15 | uVar11 >> uVar14;\n    } while ((int)uVar7 < 0);\n  }" { (do_statement "do {\n      uVar11 = *(ulonglong *)((int)param_2 + uVar7 * 4 + iVar4 + -0xc);\n      uVar10 = uVar9 >> uVar14;\n      *(ulonglong *)((int)puVar2 + uVar7 * 4 + -8) = uVar12;\n      uVar9 = *(ulonglong *)((int)param_2 + uVar7 * 4 + iVar4 + -4);\n      *(ulonglong *)((int)puVar2 + uVar7 * 4) = uVar11 << uVar15 | uVar10;\n      uVar7 = uVar7 + 4;\n      uVar12 = uVar9 << uVar15 | uVar11 >> uVar14;\n    } while ((int)uVar7 < 0);" do (compound_statement "{\n      uVar11 = *(ulonglong *)((int)param_2 + uVar7 * 4 + iVar4 + -0xc);\n      uVar10 = uVar9 >> uVar14;\n      *(ulonglong *)((int)puVar2 + uVar7 * 4 + -8) = uVar12;\n      uVar9 = *(ulonglong *)((int)param_2 + uVar7 * 4 + iVar4 + -4);\n      *(ulonglong *)((int)puVar2 + uVar7 * 4) = uVar11 << uVar15 | uVar10;\n      uVar7 = uVar7 + 4;\n      uVar12 = uVar9 << uVar15 | uVar11 >> uVar14;\n    }" { (expression_statement "uVar11 = *(ulonglong *)((int)param_2 + uVar7 * 4 + iVar4 + -0xc);" (assignment_expression "uVar11 = *(ulonglong *)((int)param_2 + uVar7 * 4 + iVar4 + -0xc)" identifier = (pointer_expression "*(ulonglong *)((int)param_2 + uVar7 * 4 + iVar4 + -0xc)" * (cast_expression "(ulonglong *)((int)param_2 + uVar7 * 4 + iVar4 + -0xc)" ( (type_descriptor "ulonglong *" type_identifier (abstract_pointer_declarator "*" *)) ) (parenthesized_expression "((int)param_2 + uVar7 * 4 + iVar4 + -0xc)" ( (binary_expression "(int)param_2 + uVar7 * 4 + iVar4 + -0xc" (binary_expression "(int)param_2 + uVar7 * 4 + iVar4" (binary_expression "(int)param_2 + uVar7 * 4" (cast_expression "(int)param_2" ( (type_descriptor "int" primitive_type) ) identifier) + (binary_expression "uVar7 * 4" identifier * number_literal)) + identifier) + number_literal) ))))) ;) (expression_statement "uVar10 = uVar9 >> uVar14;" (assignment_expression "uVar10 = uVar9 >> uVar14" identifier = (binary_expression "uVar9 >> uVar14" identifier >> identifier)) ;) (expression_statement "*(ulonglong *)((int)puVar2 + uVar7 * 4 + -8) = uVar12;" (assignment_expression "*(ulonglong *)((int)puVar2 + uVar7 * 4 + -8) = uVar12" (pointer_expression "*(ulonglong *)((int)puVar2 + uVar7 * 4 + -8)" * (cast_expression "(ulonglong *)((int)puVar2 + uVar7 * 4 + -8)" ( (type_descriptor "ulonglong *" type_identifier (abstract_pointer_declarator "*" *)) ) (parenthesized_expression "((int)puVar2 + uVar7 * 4 + -8)" ( (binary_expression "(int)puVar2 + uVar7 * 4 + -8" (binary_expression "(int)puVar2 + uVar7 * 4" (cast_expression "(int)puVar2" ( (type_descriptor "int" primitive_type) ) identifier) + (binary_expression "uVar7 * 4" identifier * number_literal)) + number_literal) )))) = identifier) ;) (expression_statement "uVar9 = *(ulonglong *)((int)param_2 + uVar7 * 4 + iVar4 + -4);" (assignment_expression "uVar9 = *(ulonglong *)((int)param_2 + uVar7 * 4 + iVar4 + -4)" identifier = (pointer_expression "*(ulonglong *)((int)param_2 + uVar7 * 4 + iVar4 + -4)" * (cast_expression "(ulonglong *)((int)param_2 + uVar7 * 4 + iVar4 + -4)" ( (type_descriptor "ulonglong *" type_identifier (abstract_pointer_declarator "*" *)) ) (parenthesized_expression "((int)param_2 + uVar7 * 4 + iVar4 + -4)" ( (binary_expression "(int)param_2 + uVar7 * 4 + iVar4 + -4" (binary_expression "(int)param_2 + uVar7 * 4 + iVar4" (binary_expression "(int)param_2 + uVar7 * 4" (cast_expression "(int)param_2" ( (type_descriptor "int" primitive_type) ) identifier) + (binary_expression "uVar7 * 4" identifier * number_literal)) + identifier) + number_literal) ))))) ;) (expression_statement "*(ulonglong *)((int)puVar2 + uVar7 * 4) = uVar11 << uVar15 | uVar10;" (assignment_expression "*(ulonglong *)((int)puVar2 + uVar7 * 4) = uVar11 << uVar15 | uVar10" (pointer_expression "*(ulonglong *)((int)puVar2 + uVar7 * 4)" * (cast_expression "(ulonglong *)((int)puVar2 + uVar7 * 4)" ( (type_descriptor "ulonglong *" type_identifier (abstract_pointer_declarator "*" *)) ) (parenthesized_expression "((int)puVar2 + uVar7 * 4)" ( (binary_expression "(int)puVar2 + uVar7 * 4" (cast_expression "(int)puVar2" ( (type_descriptor "int" primitive_type) ) identifier) + (binary_expression "uVar7 * 4" identifier * number_literal)) )))) = (binary_expression "uVar11 << uVar15 | uVar10" (binary_expression "uVar11 << uVar15" identifier << identifier) | identifier)) ;) (expression_statement "uVar7 = uVar7 + 4;" (assignment_expression "uVar7 = uVar7 + 4" identifier = (binary_expression "uVar7 + 4" identifier + number_literal)) ;) (expression_statement "uVar12 = uVar9 << uVar15 | uVar11 >> uVar14;" (assignment_expression "uVar12 = uVar9 << uVar15 | uVar11 >> uVar14" identifier = (binary_expression "uVar9 << uVar15 | uVar11 >> uVar14" (binary_expression "uVar9 << uVar15" identifier << identifier) | (binary_expression "uVar11 >> uVar14" identifier >> identifier))) ;) }) while (parenthesized_expression "((int)uVar7 < 0)" ( (binary_expression "(int)uVar7 < 0" (cast_expression "(int)uVar7" ( (type_descriptor "int" primitive_type) ) identifier) < number_literal) )) ;) })) (expression_statement "uVar11 = uVar9;" (assignment_expression "uVar11 = uVar9" identifier = identifier) ;) (if_statement "if ((uVar7 & 2) == 0) {\n    uVar11 = *(ulonglong *)((int)param_2 + uVar7 * 4 + iVar4 + -0xc);\n    *(ulonglong *)((int)puVar2 + uVar7 * 4 + -8) = uVar12;\n    uVar12 = uVar11 << uVar15 | uVar9 >> uVar14;\n    uVar7 = uVar7 + 2;\n  }" if (parenthesized_expression "((uVar7 & 2) == 0)" ( (binary_expression "(uVar7 & 2) == 0" (parenthesized_expression "(uVar7 & 2)" ( (binary_expression "uVar7 & 2" identifier & number_literal) )) == number_literal) )) (compound_statement "{\n    uVar11 = *(ulonglong *)((int)param_2 + uVar7 * 4 + iVar4 + -0xc);\n    *(ulonglong *)((int)puVar2 + uVar7 * 4 + -8) = uVar12;\n    uVar12 = uVar11 << uVar15 | uVar9 >> uVar14;\n    uVar7 = uVar7 + 2;\n  }" { (expression_statement "uVar11 = *(ulonglong *)((int)param_2 + uVar7 * 4 + iVar4 + -0xc);" (assignment_expression "uVar11 = *(ulonglong *)((int)param_2 + uVar7 * 4 + iVar4 + -0xc)" identifier = (pointer_expression "*(ulonglong *)((int)param_2 + uVar7 * 4 + iVar4 + -0xc)" * (cast_expression "(ulonglong *)((int)param_2 + uVar7 * 4 + iVar4 + -0xc)" ( (type_descriptor "ulonglong *" type_identifier (abstract_pointer_declarator "*" *)) ) (parenthesized_expression "((int)param_2 + uVar7 * 4 + iVar4 + -0xc)" ( (binary_expression "(int)param_2 + uVar7 * 4 + iVar4 + -0xc" (binary_expression "(int)param_2 + uVar7 * 4 + iVar4" (binary_expression "(int)param_2 + uVar7 * 4" (cast_expression "(int)param_2" ( (type_descriptor "int" primitive_type) ) identifier) + (binary_expression "uVar7 * 4" identifier * number_literal)) + identifier) + number_literal) ))))) ;) (expression_statement "*(ulonglong *)((int)puVar2 + uVar7 * 4 + -8) = uVar12;" (assignment_expression "*(ulonglong *)((int)puVar2 + uVar7 * 4 + -8) = uVar12" (pointer_expression "*(ulonglong *)((int)puVar2 + uVar7 * 4 + -8)" * (cast_expression "(ulonglong *)((int)puVar2 + uVar7 * 4 + -8)" ( (type_descriptor "ulonglong *" type_identifier (abstract_pointer_declarator "*" *)) ) (parenthesized_expression "((int)puVar2 + uVar7 * 4 + -8)" ( (binary_expression "(int)puVar2 + uVar7 * 4 + -8" (binary_expression "(int)puVar2 + uVar7 * 4" (cast_expression "(int)puVar2" ( (type_descriptor "int" primitive_type) ) identifier) + (binary_expression "uVar7 * 4" identifier * number_literal)) + number_literal) )))) = identifier) ;) (expression_statement "uVar12 = uVar11 << uVar15 | uVar9 >> uVar14;" (assignment_expression "uVar12 = uVar11 << uVar15 | uVar9 >> uVar14" identifier = (binary_expression "uVar11 << uVar15 | uVar9 >> uVar14" (binary_expression "uVar11 << uVar15" identifier << identifier) | (binary_expression "uVar9 >> uVar14" identifier >> identifier))) ;) (expression_statement "uVar7 = uVar7 + 2;" (assignment_expression "uVar7 = uVar7 + 2" identifier = (binary_expression "uVar7 + 2" identifier + number_literal)) ;) })) (expression_statement "uVar8 = (uint)uVar13;" (assignment_expression "uVar8 = (uint)uVar13" identifier = (cast_expression "(uint)uVar13" ( (type_descriptor "uint" type_identifier) ) identifier)) ;) (if_statement "if ((uVar7 & 1) == 0) {\n    uVar7 = *(uint *)((int)param_2 + iVar4 + -4);\n    *puVar2 = uVar12;\n    if ((param_4 & 0x20) != 0) {\n      *(uint *)(puVar2 + 2) = uVar7 >> uVar14;\n    }\n    puVar2[1] = (ulonglong)uVar7 << uVar15 | uVar11 >> uVar14;\n    return uVar8;\n  }" if (parenthesized_expression "((uVar7 & 1) == 0)" ( (binary_expression "(uVar7 & 1) == 0" (parenthesized_expression "(uVar7 & 1)" ( (binary_expression "uVar7 & 1" identifier & number_literal) )) == number_literal) )) (compound_statement "{\n    uVar7 = *(uint *)((int)param_2 + iVar4 + -4);\n    *puVar2 = uVar12;\n    if ((param_4 & 0x20) != 0) {\n      *(uint *)(puVar2 + 2) = uVar7 >> uVar14;\n    }\n    puVar2[1] = (ulonglong)uVar7 << uVar15 | uVar11 >> uVar14;\n    return uVar8;\n  }" { (expression_statement "uVar7 = *(uint *)((int)param_2 + iVar4 + -4);" (assignment_expression "uVar7 = *(uint *)((int)param_2 + iVar4 + -4)" identifier = (pointer_expression "*(uint *)((int)param_2 + iVar4 + -4)" * (cast_expression "(uint *)((int)param_2 + iVar4 + -4)" ( (type_descriptor "uint *" type_identifier (abstract_pointer_declarator "*" *)) ) (parenthesized_expression "((int)param_2 + iVar4 + -4)" ( (binary_expression "(int)param_2 + iVar4 + -4" (binary_expression "(int)param_2 + iVar4" (cast_expression "(int)param_2" ( (type_descriptor "int" primitive_type) ) identifier) + identifier) + number_literal) ))))) ;) (expression_statement "*puVar2 = uVar12;" (assignment_expression "*puVar2 = uVar12" (pointer_expression "*puVar2" * identifier) = identifier) ;) (if_statement "if ((param_4 & 0x20) != 0) {\n      *(uint *)(puVar2 + 2) = uVar7 >> uVar14;\n    }" if (parenthesized_expression "((param_4 & 0x20) != 0)" ( (binary_expression "(param_4 & 0x20) != 0" (parenthesized_expression "(param_4 & 0x20)" ( (binary_expression "param_4 & 0x20" identifier & number_literal) )) != number_literal) )) (compound_statement "{\n      *(uint *)(puVar2 + 2) = uVar7 >> uVar14;\n    }" { (expression_statement "*(uint *)(puVar2 + 2) = uVar7 >> uVar14;" (assignment_expression "*(uint *)(puVar2 + 2) = uVar7 >> uVar14" (pointer_expression "*(uint *)(puVar2 + 2)" * (cast_expression "(uint *)(puVar2 + 2)" ( (type_descriptor "uint *" type_identifier (abstract_pointer_declarator "*" *)) ) (parenthesized_expression "(puVar2 + 2)" ( (binary_expression "puVar2 + 2" identifier + number_literal) )))) = (binary_expression "uVar7 >> uVar14" identifier >> identifier)) ;) })) (expression_statement "puVar2[1] = (ulonglong)uVar7 << uVar15 | uVar11 >> uVar14;" (assignment_expression "puVar2[1] = (ulonglong)uVar7 << uVar15 | uVar11 >> uVar14" (subscript_expression "puVar2[1]" identifier [ number_literal ]) = (binary_expression "(ulonglong)uVar7 << uVar15 | uVar11 >> uVar14" (binary_expression "(ulonglong)uVar7 << uVar15" (cast_expression "(ulonglong)uVar7" ( (type_descriptor "ulonglong" type_identifier) ) identifier) << identifier) | (binary_expression "uVar11 >> uVar14" identifier >> identifier))) ;) (return_statement "return uVar8;" return identifier ;) })) (expression_statement "*(ulonglong *)((int)puVar2 + 4) = uVar12;" (assignment_expression "*(ulonglong *)((int)puVar2 + 4) = uVar12" (pointer_expression "*(ulonglong *)((int)puVar2 + 4)" * (cast_expression "(ulonglong *)((int)puVar2 + 4)" ( (type_descriptor "ulonglong *" type_identifier (abstract_pointer_declarator "*" *)) ) (parenthesized_expression "((int)puVar2 + 4)" ( (binary_expression "(int)puVar2 + 4" (cast_expression "(int)puVar2" ( (type_descriptor "int" primitive_type) ) identifier) + number_literal) )))) = identifier) ;) (expression_statement "*(uint *)((int)puVar2 + 0xc) = (uint)(uVar11 >> uVar14);" (assignment_expression "*(uint *)((int)puVar2 + 0xc) = (uint)(uVar11 >> uVar14)" (pointer_expression "*(uint *)((int)puVar2 + 0xc)" * (cast_expression "(uint *)((int)puVar2 + 0xc)" ( (type_descriptor "uint *" type_identifier (abstract_pointer_declarator "*" *)) ) (parenthesized_expression "((int)puVar2 + 0xc)" ( (binary_expression "(int)puVar2 + 0xc" (cast_expression "(int)puVar2" ( (type_descriptor "int" primitive_type) ) identifier) + number_literal) )))) = (call_expression "(uint)(uVar11 >> uVar14)" (parenthesized_expression "(uint)" ( identifier )) (argument_list "(uVar11 >> uVar14)" ( (binary_expression "uVar11 >> uVar14" identifier >> identifier) )))) ;) (if_statement "if ((param_4 & 0x20) != 0) {\n    *(ulonglong *)((int)puVar2 + 0xc) = uVar11 >> uVar14;\n  }" if (parenthesized_expression "((param_4 & 0x20) != 0)" ( (binary_expression "(param_4 & 0x20) != 0" (parenthesized_expression "(param_4 & 0x20)" ( (binary_expression "param_4 & 0x20" identifier & number_literal) )) != number_literal) )) (compound_statement "{\n    *(ulonglong *)((int)puVar2 + 0xc) = uVar11 >> uVar14;\n  }" { (expression_statement "*(ulonglong *)((int)puVar2 + 0xc) = uVar11 >> uVar14;" (assignment_expression "*(ulonglong *)((int)puVar2 + 0xc) = uVar11 >> uVar14" (pointer_expression "*(ulonglong *)((int)puVar2 + 0xc)" * (cast_expression "(ulonglong *)((int)puVar2 + 0xc)" ( (type_descriptor "ulonglong *" type_identifier (abstract_pointer_declarator "*" *)) ) (parenthesized_expression "((int)puVar2 + 0xc)" ( (binary_expression "(int)puVar2 + 0xc" (cast_expression "(int)puVar2" ( (type_descriptor "int" primitive_type) ) identifier) + number_literal) )))) = (binary_expression "uVar11 >> uVar14" identifier >> identifier)) ;) })) (return_statement "return uVar8;" return identifier ;) })))
(translation_unit (function_definition TYPE (function_declarator IDENT (parameter_list ( (parameter_declaration TYPE (pointer_declarator * IDENT)) , (parameter_declaration TYPE (pointer_declarator * IDENT)) , (parameter_declaration TYPE IDENT) , (parameter_declaration TYPE IDENT) ))) (compound_statement { (declaration TYPE (pointer_declarator * IDENT) ;) (declaration TYPE (pointer_declarator * IDENT) ;) (declaration TYPE IDENT ;) (declaration TYPE IDENT ;) (declaration TYPE IDENT ;) (declaration TYPE IDENT ;) (declaration TYPE IDENT ;) (declaration TYPE IDENT ;) (declaration TYPE IDENT ;) (declaration TYPE IDENT ;) (declaration TYPE IDENT ;) (declaration TYPE IDENT ;) (declaration TYPE IDENT ;) (declaration TYPE IDENT ;) (declaration TYPE IDENT ;) (if_statement if (parenthesized_expression ( (binary_expression IDENT < LIT) )) (compound_statement { (expression_statement (assignment_expression IDENT = (binary_expression IDENT - LIT)) ;) (expression_statement (assignment_expression IDENT = (pointer_expression * IDENT)) ;) (if_statement if (parenthesized_expression ( (binary_expression IDENT == LIT) )) (compound_statement { (expression_statement (assignment_expression IDENT = (binary_expression (cast_expression ( (type_descriptor TYPE) ) IDENT) & LIT)) ;) (expression_statement (assignment_expression (pointer_expression * IDENT) = (binary_expression (cast_expression ( (type_descriptor TYPE) ) IDENT) >> (parenthesized_expression ( (binary_expression (cast_expression ( (type_descriptor TYPE) ) IDENT) & LIT) )))) ;) (return_statement return (binary_expression (binary_expression LIT >> IDENT) | (binary_expression (cast_expression ( (type_descriptor TYPE) ) IDENT) << (binary_expression LIT - IDENT))) ;) })) (expression_statement (assignment_expression IDENT = (pointer_expression * IDENT)) ;) (expression_statement (assignment_expression IDENT = (cast_expression ( (type_descriptor TYPE (abstract_pointer_declarator *)) ) (parenthesized_expression ( (binary_expression (cast_expression ( (type_descriptor TYPE) ) IDENT) + (binary_expression IDENT * LIT)) )))) ;) (expression_statement (assignment_expression IDENT = (cast_expression ( (type_descriptor TYPE) ) IDENT)) ;) (expression_statement (assignment_expression IDENT = (unary_expression - IDENT)) ;) (do_statement do (compound_statement { (expression_statement (assignment_expression IDENT = (binary_expression IDENT + LIT)) ;) (expression_statement (assignment_expression (subscript_expression IDENT [ (binary_expression IDENT + IDENT) ]) = (call_expression (parenthesized_expression ( IDENT )) (argument_list ( (binary_expression (pointer_expression * (cast_expression ( (type_descriptor TYPE (abstract_pointer_declarator *)) ) (parenthesized_expression ( (binary_expression IDENT + IDENT) )))) >> IDENT) )))) ;) (expression_statement (assignment_expression IDENT = IDENT) ;) }) while (parenthesized_expression ( (binary_expression IDENT != LIT) )) ;) (expression_statement (assignment_expression (subscript_expression IDENT [ IDENT ]) = (binary_expression (pointer_expression * IDENT) >> IDENT)) ;) (return_statement return (call_expression (parenthesized_expression ( IDENT )) (argument_list ( (binary_expression (parenthesized_expression ( (binary_expression (cast_expression ( (type_descriptor TYPE) ) (cast_expression ( (type_descriptor TYPE) ) IDENT)) << LIT) )) >> IDENT) ))) ;) })) (expression_statement (assignment_expression IDENT = (pointer_expression * IDENT)) ;) (expression_statement (assignment_expression IDENT = (cast_expression ( (type_descriptor TYPE) ) IDENT)) ;) (if_statement if (parenthesized_expression ( (binary_expression (parenthesized_expression ( (binary_expression (cast_expression ( (type_descriptor TYPE) ) IDENT) & LIT) )) != LIT) )) (compound_statement { (expression_statement (assignment_expression IDENT = (pointer_expression * IDENT)) ;) (expression_statement (assignment_expression IDENT = (cast_expression ( (type_descriptor TYPE (abstract_pointer_declarator *)) ) (parenthesized_expression ( (binary_expression (cast_expression ( (type_descriptor TYPE) ) IDENT) + LIT) )))) ;) (expression_statement (assignment_expression IDENT = (binary_expression IDENT - LIT)) ;) (expression_statement (assignment_expression (pointer_expression * IDENT) = (call_expression (parenthesized_expression ( IDENT )) (argument_list ( (binary_expression IDENT >> IDENT) )))) ;) (expression_statement (assignment_expression IDENT = (binary_expression IDENT + LIT)) ;) })) (expression_statement (assignment_expression IDENT = (pointer_expression * IDENT)) ;) (expression_statement (assignment_expression IDENT = (binary_expression (parenthesized_expression ( (binary_expression (cast_expression ( (type_descriptor TYPE) ) (cast_expression ( (type_descriptor TYPE) ) IDENT)) << LIT) )) >> IDENT)) ;) (if_statement if (parenthesized_expression ( (binary_expression (parenthesized_expression ( (binary_expression (cast_expression ( (type_descriptor TYPE) ) IDENT) & LIT) )) != LIT) )) (compound_statement { (expression_statement (assignment_expression IDENT = (binary_expression IDENT + LIT)) ;) (expression_statement (assignment_expression IDENT = (binary_expression IDENT >> IDENT)) ;) (expression_statement (assignment_expression IDENT = (cast_expression ( (type_descriptor TYPE) ) IDENT)) ;) (expression_statement (assignment_expression (pointer_expression * IDENT) = (cast_expression ( (type_descriptor TYPE) ) IDENT)) ;) (expression_statement (assignment_expression IDENT = (binary_expression IDENT + LIT)) ;) })) (expression_statement (assignment_expression IDENT = (subscript_expression IDENT [ LIT ])) ;) (expression_statement (assignment_expression IDENT = (binary_expression LIT - IDENT)) ;) (expression_statement (assignment_expression IDENT = (cast_expression ( (type_descriptor TYPE) ) IDENT)) ;) (expression_statement (assignment_expression IDENT = (binary_expression IDENT * LIT)) ;) (expression_statement (assignment_expression IDENT = (cast_expression ( (type_descriptor TYPE (abstract_pointer_declarator *)) ) (parenthesized_expression ( (binary_expression IDENT + (parenthesized_expression ( (binary_expression IDENT - LIT) ))) )))) ;) (expression_statement (assignment_expression IDENT = (binary_expression (binary_expression IDENT << IDENT) | (binary_expression IDENT >> IDENT))) ;) (expression_statement (assignment_expression IDENT = (unary_expression - (parenthesized_expression ( (binary_expression IDENT - LIT) )))) ;) (if_statement if (parenthesized_expression ( (binary_expression LIT < (cast_expression ( (type_descriptor TYPE) ) (parenthesized_expression ( (binary_expression IDENT - LIT) )))) )) (compound_statement { (do_statement do (compound_statement { (expression_statement (assignment_expression IDENT = (pointer_expression * (cast_expression ( (type_descriptor TYPE (abstract_pointer_declarator *)) ) (parenthesized_expression ( (binary_expression (binary_expression (binary_expression (cast_expression ( (type_descriptor TYPE) ) IDENT) + (binary_expression IDENT * LIT)) + IDENT) + LIT) ))))) ;) (expression_statement (assignment_expression IDENT = (binary_expression IDENT >> IDENT)) ;) (expression_statement (assignment_expression (pointer_expression * (cast_expression ( (type_descriptor TYPE (abstract_pointer_declarator *)) ) (parenthesized_expression ( (binary_expression (binary_expression (cast_expression ( (type_descriptor TYPE) ) IDENT) + (binary_expression IDENT * LIT)) + LIT) )))) = IDENT) ;) (expression_statement (assignment_expression IDENT = (pointer_expression * (cast_expression ( (type_descriptor TYPE (abstract_pointer_declarator *)) ) (parenthesized_expression ( (binary_expression (binary_expression (binary_expression (cast_expression ( (type_descriptor TYPE) ) IDENT) + (binary_expression IDENT * LIT)) + IDENT) + LIT) ))))) ;) (expression_statement (assignment_expression (pointer_expression * (cast_expression ( (type_descriptor TYPE (abstract_pointer_declarator *)) ) (parenthesized_expression ( (binary_expression (cast_expression ( (type_descriptor TYPE) ) IDENT) + (binary_expression IDENT * LIT)) )))) = (binary_expression (binary_expression IDENT << IDENT) | IDENT)) ;) (expression_statement (assignment_expression IDENT = (binary_expression IDENT + LIT)) ;) (expression_statement (assignment_expression IDENT = (binary_expression (binary_expression IDENT << IDENT) | (binary_expression IDENT >> IDENT))) ;) }) while (parenthesized_expression ( (binary_expression (cast_expression ( (type_descriptor TYPE) ) IDENT) < LIT) )) ;) })) (expression_statement (assignment_expression IDENT = IDENT) ;) (if_statement if (parenthesized_expression ( (binary_expression (parenthesized_expression ( (binary_expression IDENT & LIT) )) == LIT) )) (compound_statement { (expression_statement (assignment_expression IDENT = (pointer_expression * (cast_expression ( (type_descriptor TYPE (abstract_pointer_declarator *)) ) (parenthesized_expression ( (binary_expression (binary_expression (binary_expression (cast_expression ( (type_descriptor TYPE) ) IDENT) + (binary_expression IDENT * LIT)) + IDENT) + LIT) ))))) ;) (expression_statement (assignment_expression (pointer_expression * (cast_expression ( (type_descriptor TYPE (abstract_pointer_declarator *)) ) (parenthesized_expression ( (binary_expression (binary_expression (cast_expression ( (type_descriptor TYPE) ) IDENT) + (binary_expression IDENT * LIT)) + LIT) )))) = IDENT) ;) (expression_statement (assignment_expression IDENT = (binary_expression (binary_expression IDENT << IDENT) | (binary_expression IDENT >> IDENT))) ;) (expression_statement (assignment_expression IDENT = (binary_expression IDENT + LIT)) ;) })) (expression_statement (assignment_expression IDENT = (cast_expression ( (type_descriptor TYPE) ) IDENT)) ;) (if_statement if (parenthesized_expression ( (binary_expression (parenthesized_expression ( (binary_expression IDENT & LIT) )) == LIT) )) (compound_statement { (expression_statement (assignment_expression IDENT = (pointer_expression * (cast_expression ( (type_descriptor TYPE (abstract_pointer_declarator *)) ) (parenthesized_expression ( (binary_expression (binary_expression (cast_expression ( (type_descriptor TYPE) ) IDENT) + IDENT) + LIT) ))))) ;) (expression_statement (assignment_expression (pointer_expression * IDENT) = IDENT) ;) (if_statement if (parenthesized_expression ( (binary_expression (parenthesized_expression ( (binary_expression IDENT & LIT) )) != LIT) )) (compound_statement { (expression_statement (assignment_expression (pointer_expression * (cast_expression ( (type_descriptor TYPE (abstract_pointer_declarator *)) ) (parenthesized_expression ( (binary_expression IDENT + LIT) )))) = (binary_expression IDENT >> IDENT)) ;) })) (expression_statement (assignment_expression (subscript_expression IDENT [ LIT ]) = (binary_expression (binary_expression (cast_expression ( (type_descriptor TYPE) ) IDENT) << IDENT) | (binary_expression IDENT >> IDENT))) ;) (return_statement return IDENT ;) })) (expression_statement (assignment_expression (pointer_expression * (cast_expression ( (type_descriptor TYPE (abstract_pointer_declarator *)) ) (parenthesized_expression ( (binary_expression (cast_expression ( (type_descriptor TYPE) ) IDENT) + LIT) )))) = IDENT) ;) (expression_statement (assignment_expression (pointer_expression * (cast_expression ( (type_descriptor TYPE (abstract_pointer_declarator *)) ) (parenthesized_expression ( (binary_expression (cast_expression ( (type_descriptor TYPE) ) IDENT) + LIT) )))) = (call_expression (parenthesized_expression ( IDENT )) (argument_list ( (binary_expression IDENT >> IDENT) )))) ;) (if_statement if (parenthesized_expression ( (binary_expression (parenthesized_expression ( (binary_expression IDENT & LIT) )) != LIT) )) (compound_statement { (expression_statement (assignment_expression (pointer_expression * (cast_expression ( (type_descriptor TYPE (abstract_pointer_declarator *)) ) (parenthesized_expression ( (binary_expression (cast_expression ( (type_descriptor TYPE) ) IDENT) + LIT) )))) = (binary_expression IDENT >> IDENT)) ;) })) (return_statement return IDENT ;) })))
(function_definition "uint __gmpn_rshift_pentium4_mmx(uint *param_1,ulonglong *param_2,uint param_3,uint param_4)\n\n{\n  uint *puVar1;\n  ulonglong *puVar2;\n  byte bVar3;\n  int iVar4;\n  int iVar5;\n  int iVar6;\n  uint uVar7;\n  uint uVar8;\n  ulonglong uVar9;\n  ulonglong uVar10;\n  ulonglong uVar11;\n  ulonglong uVar12;\n  ulonglong uVar13;\n  ulonglong uVar14;\n  ulonglong uVar15;\n  \n  if (param_3 < 5) {\n    iVar4 = param_3 - 1;\n    uVar13 = *param_2;\n    if (iVar4 == 0) {\n      bVar3 = (byte)param_4 & 0x1f;\n      *param_1 = (uint)uVar13 >> ((byte)param_4 & 0x1f);\n      return 0U >> bVar3 | (uint)uVar13 << 0x20 - bVar3;\n    }\n    uVar13 = *param_2;\n    puVar1 = (uint *)((int)param_2 + iVar4 * 4);\n    uVar14 = (ulonglong)param_4;\n    iVar5 = -iVar4;\n    do {\n      iVar6 = iVar5 + 1;\n      param_1[iVar4 + iVar5] = (uint)(*(ulonglong *)(puVar1 + iVar5) >> uVar14);\n      iVar5 = iVar6;\n    } while (iVar6 != 0);\n    param_1[iVar4] = *puVar1 >> uVar14;\n    return (uint)(((ulonglong)(uint)uVar13 << 0x20) >> uVar14);\n  }\n  uVar13 = *param_2;\n  uVar14 = (ulonglong)param_4;\n  if (((uint)param_2 & 4) != 0) {\n    uVar12 = *param_2;\n    param_2 = (ulonglong *)((int)param_2 + 4);\n    param_3 = param_3 - 1;\n    *param_1 = (uint)(uVar12 >> uVar14);\n    param_1 = param_1 + 1;\n  }\n  uVar12 = *param_2;\n  uVar13 = ((ulonglong)(uint)uVar13 << 0x20) >> uVar14;\n  if (((uint)param_1 & 4) != 0) {\n    param_4 = param_4 + 0x20;\n    uVar9 = uVar12 >> uVar14;\n    uVar14 = (ulonglong)param_4;\n    *param_1 = (uint)uVar9;\n    param_1 = param_1 + 1;\n  }\n  uVar9 = param_2[1];\n  param_4 = 0x40 - param_4;\n  uVar15 = (ulonglong)param_4;\n  iVar4 = param_3 * 4;\n  puVar2 = (ulonglong *)(param_1 + (param_3 - 5));\n  uVar12 = uVar9 << uVar15 | uVar12 >> uVar14;\n  uVar7 = -(param_3 - 7);\n  if (0 < (int)(param_3 - 7)) {\n    do {\n      uVar11 = *(ulonglong *)((int)param_2 + uVar7 * 4 + iVar4 + -0xc);\n      uVar10 = uVar9 >> uVar14;\n      *(ulonglong *)((int)puVar2 + uVar7 * 4 + -8) = uVar12;\n      uVar9 = *(ulonglong *)((int)param_2 + uVar7 * 4 + iVar4 + -4);\n      *(ulonglong *)((int)puVar2 + uVar7 * 4) = uVar11 << uVar15 | uVar10;\n      uVar7 = uVar7 + 4;\n      uVar12 = uVar9 << uVar15 | uVar11 >> uVar14;\n    } while ((int)uVar7 < 0);\n  }\n  uVar11 = uVar9;\n  if ((uVar7 & 2) == 0) {\n    uVar11 = *(ulonglong *)((int)param_2 + uVar7 * 4 + iVar4 + -0xc);\n    *(ulonglong *)((int)puVar2 + uVar7 * 4 + -8) = uVar12;\n    uVar12 = uVar11 << uVar15 | uVar9 >> uVar14;\n    uVar7 = uVar7 + 2;\n  }\n  uVar8 = (uint)uVar13;\n  if ((uVar7 & 1) == 0) {\n    uVar7 = *(uint *)((int)param_2 + iVar4 + -4);\n    *puVar2 = uVar12;\n    if ((param_4 & 0x20) != 0) {\n      *(uint *)(puVar2 + 2) = uVar7 >> uVar14;\n    }\n    puVar2[1] = (ulonglong)uVar7 << uVar15 | uVar11 >> uVar14;\n    return uVar8;\n  }\n  *(ulonglong *)((int)puVar2 + 4) = uVar12;\n  *(uint *)((int)puVar2 + 0xc) = (uint)(uVar11 >> uVar14);\n  if ((param_4 & 0x20) != 0) {\n    *(ulonglong *)((int)puVar2 + 0xc) = uVar11 >> uVar14;\n  }\n  return uVar8;\n}" (type_identifier "uint") (function_declarator "__gmpn_rshift_pentium4_mmx(uint *param_1,ulonglong *param_2,uint param_3,uint param_4)" (identifier "__gmpn_rshift_pentium4_mmx") (parameter_list "(uint *param_1,ulonglong *param_2,uint param_3,uint param_4)" (( "(") (parameter_declaration "uint *param_1" (type_identifier "uint") (pointer_declarator "*param_1" (* "*") (identifier "param_1"))) (, ",") (parameter_declaration "ulonglong *param_2" (type_identifier "ulonglong") (pointer_declarator "*param_2" (* "*") (identifier "param_2"))) (, ",") (parameter_declaration "uint param_3" (type_identifier "uint") (identifier "param_3")) (, ",") (parameter_declaration "uint param_4" (type_identifier "uint") (identifier "param_4")) () ")"))) (compound_statement "{\n  uint *puVar1;\n  ulonglong *puVar2;\n  byte bVar3;\n  int iVar4;\n  int iVar5;\n  int iVar6;\n  uint uVar7;\n  uint uVar8;\n  ulonglong uVar9;\n  ulonglong uVar10;\n  ulonglong uVar11;\n  ulonglong uVar12;\n  ulonglong uVar13;\n  ulonglong uVar14;\n  ulonglong uVar15;\n  \n  if (param_3 < 5) {\n    iVar4 = param_3 - 1;\n    uVar13 = *param_2;\n    if (iVar4 == 0) {\n      bVar3 = (byte)param_4 & 0x1f;\n      *param_1 = (uint)uVar13 >> ((byte)param_4 & 0x1f);\n      return 0U >> bVar3 | (uint)uVar13 << 0x20 - bVar3;\n    }\n    uVar13 = *param_2;\n    puVar1 = (uint *)((int)param_2 + iVar4 * 4);\n    uVar14 = (ulonglong)param_4;\n    iVar5 = -iVar4;\n    do {\n      iVar6 = iVar5 + 1;\n      param_1[iVar4 + iVar5] = (uint)(*(ulonglong *)(puVar1 + iVar5) >> uVar14);\n      iVar5 = iVar6;\n    } while (iVar6 != 0);\n    param_1[iVar4] = *puVar1 >> uVar14;\n    return (uint)(((ulonglong)(uint)uVar13 << 0x20) >> uVar14);\n  }\n  uVar13 = *param_2;\n  uVar14 = (ulonglong)param_4;\n  if (((uint)param_2 & 4) != 0) {\n    uVar12 = *param_2;\n    param_2 = (ulonglong *)((int)param_2 + 4);\n    param_3 = param_3 - 1;\n    *param_1 = (uint)(uVar12 >> uVar14);\n    param_1 = param_1 + 1;\n  }\n  uVar12 = *param_2;\n  uVar13 = ((ulonglong)(uint)uVar13 << 0x20) >> uVar14;\n  if (((uint)param_1 & 4) != 0) {\n    param_4 = param_4 + 0x20;\n    uVar9 = uVar12 >> uVar14;\n    uVar14 = (ulonglong)param_4;\n    *param_1 = (uint)uVar9;\n    param_1 = param_1 + 1;\n  }\n  uVar9 = param_2[1];\n  param_4 = 0x40 - param_4;\n  uVar15 = (ulonglong)param_4;\n  iVar4 = param_3 * 4;\n  puVar2 = (ulonglong *)(param_1 + (param_3 - 5));\n  uVar12 = uVar9 << uVar15 | uVar12 >> uVar14;\n  uVar7 = -(param_3 - 7);\n  if (0 < (int)(param_3 - 7)) {\n    do {\n      uVar11 = *(ulonglong *)((int)param_2 + uVar7 * 4 + iVar4 + -0xc);\n      uVar10 = uVar9 >> uVar14;\n      *(ulonglong *)((int)puVar2 + uVar7 * 4 + -8) = uVar12;\n      uVar9 = *(ulonglong *)((int)param_2 + uVar7 * 4 + iVar4 + -4);\n      *(ulonglong *)((int)puVar2 + uVar7 * 4) = uVar11 << uVar15 | uVar10;\n      uVar7 = uVar7 + 4;\n      uVar12 = uVar9 << uVar15 | uVar11 >> uVar14;\n    } while ((int)uVar7 < 0);\n  }\n  uVar11 = uVar9;\n  if ((uVar7 & 2) == 0) {\n    uVar11 = *(ulonglong *)((int)param_2 + uVar7 * 4 + iVar4 + -0xc);\n    *(ulonglong *)((int)puVar2 + uVar7 * 4 + -8) = uVar12;\n    uVar12 = uVar11 << uVar15 | uVar9 >> uVar14;\n    uVar7 = uVar7 + 2;\n  }\n  uVar8 = (uint)uVar13;\n  if ((uVar7 & 1) == 0) {\n    uVar7 = *(uint *)((int)param_2 + iVar4 + -4);\n    *puVar2 = uVar12;\n    if ((param_4 & 0x20) != 0) {\n      *(uint *)(puVar2 + 2) = uVar7 >> uVar14;\n    }\n    puVar2[1] = (ulonglong)uVar7 << uVar15 | uVar11 >> uVar14;\n    return uVar8;\n  }\n  *(ulonglong *)((int)puVar2 + 4) = uVar12;\n  *(uint *)((int)puVar2 + 0xc) = (uint)(uVar11 >> uVar14);\n  if ((param_4 & 0x20) != 0) {\n    *(ulonglong *)((int)puVar2 + 0xc) = uVar11 >> uVar14;\n  }\n  return uVar8;\n}" ({ "{") (declaration "uint *puVar1;" (type_identifier "uint") (pointer_declarator "*puVar1" (* "*") (identifier "puVar1")) (; ";")) (declaration "ulonglong *puVar2;" (type_identifier "ulonglong") (pointer_declarator "*puVar2" (* "*") (identifier "puVar2")) (; ";")) (declaration "byte bVar3;" (type_identifier "byte") (identifier "bVar3") (; ";")) (declaration "int iVar4;" (primitive_type "int") (identifier "iVar4") (; ";")) (declaration "int iVar5;" (primitive_type "int") (identifier "iVar5") (; ";")) (declaration "int iVar6;" (primitive_type "int") (identifier "iVar6") (; ";")) (declaration "uint uVar7;" (type_identifier "uint") (identifier "uVar7") (; ";")) (declaration "uint uVar8;" (type_identifier "uint") (identifier "uVar8") (; ";")) (declaration "ulonglong uVar9;" (type_identifier "ulonglong") (identifier "uVar9") (; ";")) (declaration "ulonglong uVar10;" (type_identifier "ulonglong") (identifier "uVar10") (; ";")) (declaration "ulonglong uVar11;" (type_identifier "ulonglong") (identifier "uVar11") (; ";")) (declaration "ulonglong uVar12;" (type_identifier "ulonglong") (identifier "uVar12") (; ";")) (declaration "ulonglong uVar13;" (type_identifier "ulonglong") (identifier "uVar13") (; ";")) (declaration "ulonglong uVar14;" (type_identifier "ulonglong") (identifier "uVar14") (; ";")) (declaration "ulonglong uVar15;" (type_identifier "ulonglong") (identifier "uVar15") (; ";")) (if_statement "if (param_3 < 5) {\n    iVar4 = param_3 - 1;\n    uVar13 = *param_2;\n    if (iVar4 == 0) {\n      bVar3 = (byte)param_4 & 0x1f;\n      *param_1 = (uint)uVar13 >> ((byte)param_4 & 0x1f);\n      return 0U >> bVar3 | (uint)uVar13 << 0x20 - bVar3;\n    }\n    uVar13 = *param_2;\n    puVar1 = (uint *)((int)param_2 + iVar4 * 4);\n    uVar14 = (ulonglong)param_4;\n    iVar5 = -iVar4;\n    do {\n      iVar6 = iVar5 + 1;\n      param_1[iVar4 + iVar5] = (uint)(*(ulonglong *)(puVar1 + iVar5) >> uVar14);\n      iVar5 = iVar6;\n    } while (iVar6 != 0);\n    param_1[iVar4] = *puVar1 >> uVar14;\n    return (uint)(((ulonglong)(uint)uVar13 << 0x20) >> uVar14);\n  }" (if "if") (parenthesized_expression "(param_3 < 5)" (( "(") (binary_expression "param_3 < 5" (identifier "param_3") (< "<") (number_literal "5")) () ")")) (compound_statement "{\n    iVar4 = param_3 - 1;\n    uVar13 = *param_2;\n    if (iVar4 == 0) {\n      bVar3 = (byte)param_4 & 0x1f;\n      *param_1 = (uint)uVar13 >> ((byte)param_4 & 0x1f);\n      return 0U >> bVar3 | (uint)uVar13 << 0x20 - bVar3;\n    }\n    uVar13 = *param_2;\n    puVar1 = (uint *)((int)param_2 + iVar4 * 4);\n    uVar14 = (ulonglong)param_4;\n    iVar5 = -iVar4;\n    do {\n      iVar6 = iVar5 + 1;\n      param_1[iVar4 + iVar5] = (uint)(*(ulonglong *)(puVar1 + iVar5) >> uVar14);\n      iVar5 = iVar6;\n    } while (iVar6 != 0);\n    param_1[iVar4] = *puVar1 >> uVar14;\n    return (uint)(((ulonglong)(uint)uVar13 << 0x20) >> uVar14);\n  }" ({ "{") (expression_statement "iVar4 = param_3 - 1;" (assignment_expression "iVar4 = param_3 - 1" (identifier "iVar4") (= "=") (binary_expression "param_3 - 1" (identifier "param_3") (- "-") (number_literal "1"))) (; ";")) (expression_statement "uVar13 = *param_2;" (assignment_expression "uVar13 = *param_2" (identifier "uVar13") (= "=") (pointer_expression "*param_2" (* "*") (identifier "param_2"))) (; ";")) (if_statement "if (iVar4 == 0) {\n      bVar3 = (byte)param_4 & 0x1f;\n      *param_1 = (uint)uVar13 >> ((byte)param_4 & 0x1f);\n      return 0U >> bVar3 | (uint)uVar13 << 0x20 - bVar3;\n    }" (if "if") (parenthesized_expression "(iVar4 == 0)" (( "(") (binary_expression "iVar4 == 0" (identifier "iVar4") (== "==") (number_literal "0")) () ")")) (compound_statement "{\n      bVar3 = (byte)param_4 & 0x1f;\n      *param_1 = (uint)uVar13 >> ((byte)param_4 & 0x1f);\n      return 0U >> bVar3 | (uint)uVar13 << 0x20 - bVar3;\n    }" ({ "{") (expression_statement "bVar3 = (byte)param_4 & 0x1f;" (assignment_expression "bVar3 = (byte)param_4 & 0x1f" (identifier "bVar3") (= "=") (binary_expression "(byte)param_4 & 0x1f" (cast_expression "(byte)param_4" (( "(") (type_descriptor "byte" (type_identifier "byte")) () ")") (identifier "param_4")) (& "&") (number_literal "0x1f"))) (; ";")) (expression_statement "*param_1 = (uint)uVar13 >> ((byte)param_4 & 0x1f);" (assignment_expression "*param_1 = (uint)uVar13 >> ((byte)param_4 & 0x1f)" (pointer_expression "*param_1" (* "*") (identifier "param_1")) (= "=") (binary_expression "(uint)uVar13 >> ((byte)param_4 & 0x1f)" (cast_expression "(uint)uVar13" (( "(") (type_descriptor "uint" (type_identifier "uint")) () ")") (identifier "uVar13")) (>> ">>") (parenthesized_expression "((byte)param_4 & 0x1f)" (( "(") (binary_expression "(byte)param_4 & 0x1f" (cast_expression "(byte)param_4" (( "(") (type_descriptor "byte" (type_identifier "byte")) () ")") (identifier "param_4")) (& "&") (number_literal "0x1f")) () ")")))) (; ";")) (return_statement "return 0U >> bVar3 | (uint)uVar13 << 0x20 - bVar3;" (return "return") (binary_expression "0U >> bVar3 | (uint)uVar13 << 0x20 - bVar3" (binary_expression "0U >> bVar3" (number_literal "0U") (>> ">>") (identifier "bVar3")) (| "|") (binary_expression "(uint)uVar13 << 0x20 - bVar3" (cast_expression "(uint)uVar13" (( "(") (type_descriptor "uint" (type_identifier "uint")) () ")") (identifier "uVar13")) (<< "<<") (binary_expression "0x20 - bVar3" (number_literal "0x20") (- "-") (identifier "bVar3")))) (; ";")) (} "}"))) (expression_statement "uVar13 = *param_2;" (assignment_expression "uVar13 = *param_2" (identifier "uVar13") (= "=") (pointer_expression "*param_2" (* "*") (identifier "param_2"))) (; ";")) (expression_statement "puVar1 = (uint *)((int)param_2 + iVar4 * 4);" (assignment_expression "puVar1 = (uint *)((int)param_2 + iVar4 * 4)" (identifier "puVar1") (= "=") (cast_expression "(uint *)((int)param_2 + iVar4 * 4)" (( "(") (type_descriptor "uint *" (type_identifier "uint") (abstract_pointer_declarator "*" (* "*"))) () ")") (parenthesized_expression "((int)param_2 + iVar4 * 4)" (( "(") (binary_expression "(int)param_2 + iVar4 * 4" (cast_expression "(int)param_2" (( "(") (type_descriptor "int" (primitive_type "int")) () ")") (identifier "param_2")) (+ "+") (binary_expression "iVar4 * 4" (identifier "iVar4") (* "*") (number_literal "4"))) () ")")))) (; ";")) (expression_statement "uVar14 = (ulonglong)param_4;" (assignment_expression "uVar14 = (ulonglong)param_4" (identifier "uVar14") (= "=") (cast_expression "(ulonglong)param_4" (( "(") (type_descriptor "ulonglong" (type_identifier "ulonglong")) () ")") (identifier "param_4"))) (; ";")) (expression_statement "iVar5 = -iVar4;" (assignment_expression "iVar5 = -iVar4" (identifier "iVar5") (= "=") (unary_expression "-iVar4" (- "-") (identifier "iVar4"))) (; ";")) (do_statement "do {\n      iVar6 = iVar5 + 1;\n      param_1[iVar4 + iVar5] = (uint)(*(ulonglong *)(puVar1 + iVar5) >> uVar14);\n      iVar5 = iVar6;\n    } while (iVar6 != 0);" (do "do") (compound_statement "{\n      iVar6 = iVar5 + 1;\n      param_1[iVar4 + iVar5] = (uint)(*(ulonglong *)(puVar1 + iVar5) >> uVar14);\n      iVar5 = iVar6;\n    }" ({ "{") (expression_statement "iVar6 = iVar5 + 1;" (assignment_expression "iVar6 = iVar5 + 1" (identifier "iVar6") (= "=") (binary_expression "iVar5 + 1" (identifier "iVar5") (+ "+") (number_literal "1"))) (; ";")) (expression_statement "param_1[iVar4 + iVar5] = (uint)(*(ulonglong *)(puVar1 + iVar5) >> uVar14);" (assignment_expression "param_1[iVar4 + iVar5] = (uint)(*(ulonglong *)(puVar1 + iVar5) >> uVar14)" (subscript_expression "param_1[iVar4 + iVar5]" (identifier "param_1") ([ "[") (binary_expression "iVar4 + iVar5" (identifier "iVar4") (+ "+") (identifier "iVar5")) (] "]")) (= "=") (call_expression "(uint)(*(ulonglong *)(puVar1 + iVar5) >> uVar14)" (parenthesized_expression "(uint)" (( "(") (identifier "uint") () ")")) (argument_list "(*(ulonglong *)(puVar1 + iVar5) >> uVar14)" (( "(") (binary_expression "*(ulonglong *)(puVar1 + iVar5) >> uVar14" (pointer_expression "*(ulonglong *)(puVar1 + iVar5)" (* "*") (cast_expression "(ulonglong *)(puVar1 + iVar5)" (( "(") (type_descriptor "ulonglong *" (type_identifier "ulonglong") (abstract_pointer_declarator "*" (* "*"))) () ")") (parenthesized_expression "(puVar1 + iVar5)" (( "(") (binary_expression "puVar1 + iVar5" (identifier "puVar1") (+ "+") (identifier "iVar5")) () ")")))) (>> ">>") (identifier "uVar14")) () ")")))) (; ";")) (expression_statement "iVar5 = iVar6;" (assignment_expression "iVar5 = iVar6" (identifier "iVar5") (= "=") (identifier "iVar6")) (; ";")) (} "}")) (while "while") (parenthesized_expression "(iVar6 != 0)" (( "(") (binary_expression "iVar6 != 0" (identifier "iVar6") (!= "!=") (number_literal "0")) () ")")) (; ";")) (expression_statement "param_1[iVar4] = *puVar1 >> uVar14;" (assignment_expression "param_1[iVar4] = *puVar1 >> uVar14" (subscript_expression "param_1[iVar4]" (identifier "param_1") ([ "[") (identifier "iVar4") (] "]")) (= "=") (binary_expression "*puVar1 >> uVar14" (pointer_expression "*puVar1" (* "*") (identifier "puVar1")) (>> ">>") (identifier "uVar14"))) (; ";")) (return_statement "return (uint)(((ulonglong)(uint)uVar13 << 0x20) >> uVar14);" (return "return") (call_expression "(uint)(((ulonglong)(uint)uVar13 << 0x20) >> uVar14)" (parenthesized_expression "(uint)" (( "(") (identifier "uint") () ")")) (argument_list "(((ulonglong)(uint)uVar13 << 0x20) >> uVar14)" (( "(") (binary_expression "((ulonglong)(uint)uVar13 << 0x20) >> uVar14" (parenthesized_expression "((ulonglong)(uint)uVar13 << 0x20)" (( "(") (binary_expression "(ulonglong)(uint)uVar13 << 0x20" (cast_expression "(ulonglong)(uint)uVar13" (( "(") (type_descriptor "ulonglong" (type_identifier "ulonglong")) () ")") (cast_expression "(uint)uVar13" (( "(") (type_descriptor "uint" (type_identifier "uint")) () ")") (identifier "uVar13"))) (<< "<<") (number_literal "0x20")) () ")")) (>> ">>") (identifier "uVar14")) () ")"))) (; ";")) (} "}"))) (expression_statement "uVar13 = *param_2;" (assignment_expression "uVar13 = *param_2" (identifier "uVar13") (= "=") (pointer_expression "*param_2" (* "*") (identifier "param_2"))) (; ";")) (expression_statement "uVar14 = (ulonglong)param_4;" (assignment_expression "uVar14 = (ulonglong)param_4" (identifier "uVar14") (= "=") (cast_expression "(ulonglong)param_4" (( "(") (type_descriptor "ulonglong" (type_identifier "ulonglong")) () ")") (identifier "param_4"))) (; ";")) (if_statement "if (((uint)param_2 & 4) != 0) {\n    uVar12 = *param_2;\n    param_2 = (ulonglong *)((int)param_2 + 4);\n    param_3 = param_3 - 1;\n    *param_1 = (uint)(uVar12 >> uVar14);\n    param_1 = param_1 + 1;\n  }" (if "if") (parenthesized_expression "(((uint)param_2 & 4) != 0)" (( "(") (binary_expression "((uint)param_2 & 4) != 0" (parenthesized_expression "((uint)param_2 & 4)" (( "(") (binary_expression "(uint)param_2 & 4" (cast_expression "(uint)param_2" (( "(") (type_descriptor "uint" (type_identifier "uint")) () ")") (identifier "param_2")) (& "&") (number_literal "4")) () ")")) (!= "!=") (number_literal "0")) () ")")) (compound_statement "{\n    uVar12 = *param_2;\n    param_2 = (ulonglong *)((int)param_2 + 4);\n    param_3 = param_3 - 1;\n    *param_1 = (uint)(uVar12 >> uVar14);\n    param_1 = param_1 + 1;\n  }" ({ "{") (expression_statement "uVar12 = *param_2;" (assignment_expression "uVar12 = *param_2" (identifier "uVar12") (= "=") (pointer_expression "*param_2" (* "*") (identifier "param_2"))) (; ";")) (expression_statement "param_2 = (ulonglong *)((int)param_2 + 4);" (assignment_expression "param_2 = (ulonglong *)((int)param_2 + 4)" (identifier "param_2") (= "=") (cast_expression "(ulonglong *)((int)param_2 + 4)" (( "(") (type_descriptor "ulonglong *" (type_identifier "ulonglong") (abstract_pointer_declarator "*" (* "*"))) () ")") (parenthesized_expression "((int)param_2 + 4)" (( "(") (binary_expression "(int)param_2 + 4" (cast_expression "(int)param_2" (( "(") (type_descriptor "int" (primitive_type "int")) () ")") (identifier "param_2")) (+ "+") (number_literal "4")) () ")")))) (; ";")) (expression_statement "param_3 = param_3 - 1;" (assignment_expression "param_3 = param_3 - 1" (identifier "param_3") (= "=") (binary_expression "param_3 - 1" (identifier "param_3") (- "-") (number_literal "1"))) (; ";")) (expression_statement "*param_1 = (uint)(uVar12 >> uVar14);" (assignment_expression "*param_1 = (uint)(uVar12 >> uVar14)" (pointer_expression "*param_1" (* "*") (identifier "param_1")) (= "=") (call_expression "(uint)(uVar12 >> uVar14)" (parenthesized_expression "(uint)" (( "(") (identifier "uint") () ")")) (argument_list "(uVar12 >> uVar14)" (( "(") (binary_expression "uVar12 >> uVar14" (identifier "uVar12") (>> ">>") (identifier "uVar14")) () ")")))) (; ";")) (expression_statement "param_1 = param_1 + 1;" (assignment_expression "param_1 = param_1 + 1" (identifier "param_1") (= "=") (binary_expression "param_1 + 1" (identifier "param_1") (+ "+") (number_literal "1"))) (; ";")) (} "}"))) (expression_statement "uVar12 = *param_2;" (assignment_expression "uVar12 = *param_2" (identifier "uVar12") (= "=") (pointer_expression "*param_2" (* "*") (identifier "param_2"))) (; ";")) (expression_statement "uVar13 = ((ulonglong)(uint)uVar13 << 0x20) >> uVar14;" (assignment_expression "uVar13 = ((ulonglong)(uint)uVar13 << 0x20) >> uVar14" (identifier "uVar13") (= "=") (binary_expression "((ulonglong)(uint)uVar13 << 0x20) >> uVar14" (parenthesized_expression "((ulonglong)(uint)uVar13 << 0x20)" (( "(") (binary_expression "(ulonglong)(uint)uVar13 << 0x20" (cast_expression "(ulonglong)(uint)uVar13" (( "(") (type_descriptor "ulonglong" (type_identifier "ulonglong")) () ")") (cast_expression "(uint)uVar13" (( "(") (type_descriptor "uint" (type_identifier "uint")) () ")") (identifier "uVar13"))) (<< "<<") (number_literal "0x20")) () ")")) (>> ">>") (identifier "uVar14"))) (; ";")) (if_statement "if (((uint)param_1 & 4) != 0) {\n    param_4 = param_4 + 0x20;\n    uVar9 = uVar12 >> uVar14;\n    uVar14 = (ulonglong)param_4;\n    *param_1 = (uint)uVar9;\n    param_1 = param_1 + 1;\n  }" (if "if") (parenthesized_expression "(((uint)param_1 & 4) != 0)" (( "(") (binary_expression "((uint)param_1 & 4) != 0" (parenthesized_expression "((uint)param_1 & 4)" (( "(") (binary_expression "(uint)param_1 & 4" (cast_expression "(uint)param_1" (( "(") (type_descriptor "uint" (type_identifier "uint")) () ")") (identifier "param_1")) (& "&") (number_literal "4")) () ")")) (!= "!=") (number_literal "0")) () ")")) (compound_statement "{\n    param_4 = param_4 + 0x20;\n    uVar9 = uVar12 >> uVar14;\n    uVar14 = (ulonglong)param_4;\n    *param_1 = (uint)uVar9;\n    param_1 = param_1 + 1;\n  }" ({ "{") (expression_statement "param_4 = param_4 + 0x20;" (assignment_expression "param_4 = param_4 + 0x20" (identifier "param_4") (= "=") (binary_expression "param_4 + 0x20" (identifier "param_4") (+ "+") (number_literal "0x20"))) (; ";")) (expression_statement "uVar9 = uVar12 >> uVar14;" (assignment_expression "uVar9 = uVar12 >> uVar14" (identifier "uVar9") (= "=") (binary_expression "uVar12 >> uVar14" (identifier "uVar12") (>> ">>") (identifier "uVar14"))) (; ";")) (expression_statement "uVar14 = (ulonglong)param_4;" (assignment_expression "uVar14 = (ulonglong)param_4" (identifier "uVar14") (= "=") (cast_expression "(ulonglong)param_4" (( "(") (type_descriptor "ulonglong" (type_identifier "ulonglong")) () ")") (identifier "param_4"))) (; ";")) (expression_statement "*param_1 = (uint)uVar9;" (assignment_expression "*param_1 = (uint)uVar9" (pointer_expression "*param_1" (* "*") (identifier "param_1")) (= "=") (cast_expression "(uint)uVar9" (( "(") (type_descriptor "uint" (type_identifier "uint")) () ")") (identifier "uVar9"))) (; ";")) (expression_statement "param_1 = param_1 + 1;" (assignment_expression "param_1 = param_1 + 1" (identifier "param_1") (= "=") (binary_expression "param_1 + 1" (identifier "param_1") (+ "+") (number_literal "1"))) (; ";")) (} "}"))) (expression_statement "uVar9 = param_2[1];" (assignment_expression "uVar9 = param_2[1]" (identifier "uVar9") (= "=") (subscript_expression "param_2[1]" (identifier "param_2") ([ "[") (number_literal "1") (] "]"))) (; ";")) (expression_statement "param_4 = 0x40 - param_4;" (assignment_expression "param_4 = 0x40 - param_4" (identifier "param_4") (= "=") (binary_expression "0x40 - param_4" (number_literal "0x40") (- "-") (identifier "param_4"))) (; ";")) (expression_statement "uVar15 = (ulonglong)param_4;" (assignment_expression "uVar15 = (ulonglong)param_4" (identifier "uVar15") (= "=") (cast_expression "(ulonglong)param_4" (( "(") (type_descriptor "ulonglong" (type_identifier "ulonglong")) () ")") (identifier "param_4"))) (; ";")) (expression_statement "iVar4 = param_3 * 4;" (assignment_expression "iVar4 = param_3 * 4" (identifier "iVar4") (= "=") (binary_expression "param_3 * 4" (identifier "param_3") (* "*") (number_literal "4"))) (; ";")) (expression_statement "puVar2 = (ulonglong *)(param_1 + (param_3 - 5));" (assignment_expression "puVar2 = (ulonglong *)(param_1 + (param_3 - 5))" (identifier "puVar2") (= "=") (cast_expression "(ulonglong *)(param_1 + (param_3 - 5))" (( "(") (type_descriptor "ulonglong *" (type_identifier "ulonglong") (abstract_pointer_declarator "*" (* "*"))) () ")") (parenthesized_expression "(param_1 + (param_3 - 5))" (( "(") (binary_expression "param_1 + (param_3 - 5)" (identifier "param_1") (+ "+") (parenthesized_expression "(param_3 - 5)" (( "(") (binary_expression "param_3 - 5" (identifier "param_3") (- "-") (number_literal "5")) () ")"))) () ")")))) (; ";")) (expression_statement "uVar12 = uVar9 << uVar15 | uVar12 >> uVar14;" (assignment_expression "uVar12 = uVar9 << uVar15 | uVar12 >> uVar14" (identifier "uVar12") (= "=") (binary_expression "uVar9 << uVar15 | uVar12 >> uVar14" (binary_expression "uVar9 << uVar15" (identifier "uVar9") (<< "<<") (identifier "uVar15")) (| "|") (binary_expression "uVar12 >> uVar14" (identifier "uVar12") (>> ">>") (identifier "uVar14")))) (; ";")) (expression_statement "uVar7 = -(param_3 - 7);" (assignment_expression "uVar7 = -(param_3 - 7)" (identifier "uVar7") (= "=") (unary_expression "-(param_3 - 7)" (- "-") (parenthesized_expression "(param_3 - 7)" (( "(") (binary_expression "param_3 - 7" (identifier "param_3") (- "-") (number_literal "7")) () ")")))) (; ";")) (if_statement "if (0 < (int)(param_3 - 7)) {\n    do {\n      uVar11 = *(ulonglong *)((int)param_2 + uVar7 * 4 + iVar4 + -0xc);\n      uVar10 = uVar9 >> uVar14;\n      *(ulonglong *)((int)puVar2 + uVar7 * 4 + -8) = uVar12;\n      uVar9 = *(ulonglong *)((int)param_2 + uVar7 * 4 + iVar4 + -4);\n      *(ulonglong *)((int)puVar2 + uVar7 * 4) = uVar11 << uVar15 | uVar10;\n      uVar7 = uVar7 + 4;\n      uVar12 = uVar9 << uVar15 | uVar11 >> uVar14;\n    } while ((int)uVar7 < 0);\n  }" (if "if") (parenthesized_expression "(0 < (int)(param_3 - 7))" (( "(") (binary_expression "0 < (int)(param_3 - 7)" (number_literal "0") (< "<") (cast_expression "(int)(param_3 - 7)" (( "(") (type_descriptor "int" (primitive_type "int")) () ")") (parenthesized_expression "(param_3 - 7)" (( "(") (binary_expression "param_3 - 7" (identifier "param_3") (- "-") (number_literal "7")) () ")")))) () ")")) (compound_statement "{\n    do {\n      uVar11 = *(ulonglong *)((int)param_2 + uVar7 * 4 + iVar4 + -0xc);\n      uVar10 = uVar9 >> uVar14;\n      *(ulonglong *)((int)puVar2 + uVar7 * 4 + -8) = uVar12;\n      uVar9 = *(ulonglong *)((int)param_2 + uVar7 * 4 + iVar4 + -4);\n      *(ulonglong *)((int)puVar2 + uVar7 * 4) = uVar11 << uVar15 | uVar10;\n      uVar7 = uVar7 + 4;\n      uVar12 = uVar9 << uVar15 | uVar11 >> uVar14;\n    } while ((int)uVar7 < 0);\n  }" ({ "{") (do_statement "do {\n      uVar11 = *(ulonglong *)((int)param_2 + uVar7 * 4 + iVar4 + -0xc);\n      uVar10 = uVar9 >> uVar14;\n      *(ulonglong *)((int)puVar2 + uVar7 * 4 + -8) = uVar12;\n      uVar9 = *(ulonglong *)((int)param_2 + uVar7 * 4 + iVar4 + -4);\n      *(ulonglong *)((int)puVar2 + uVar7 * 4) = uVar11 << uVar15 | uVar10;\n      uVar7 = uVar7 + 4;\n      uVar12 = uVar9 << uVar15 | uVar11 >> uVar14;\n    } while ((int)uVar7 < 0);" (do "do") (compound_statement "{\n      uVar11 = *(ulonglong *)((int)param_2 + uVar7 * 4 + iVar4 + -0xc);\n      uVar10 = uVar9 >> uVar14;\n      *(ulonglong *)((int)puVar2 + uVar7 * 4 + -8) = uVar12;\n      uVar9 = *(ulonglong *)((int)param_2 + uVar7 * 4 + iVar4 + -4);\n      *(ulonglong *)((int)puVar2 + uVar7 * 4) = uVar11 << uVar15 | uVar10;\n      uVar7 = uVar7 + 4;\n      uVar12 = uVar9 << uVar15 | uVar11 >> uVar14;\n    }" ({ "{") (expression_statement "uVar11 = *(ulonglong *)((int)param_2 + uVar7 * 4 + iVar4 + -0xc);" (assignment_expression "uVar11 = *(ulonglong *)((int)param_2 + uVar7 * 4 + iVar4 + -0xc)" (identifier "uVar11") (= "=") (pointer_expression "*(ulonglong *)((int)param_2 + uVar7 * 4 + iVar4 + -0xc)" (* "*") (cast_expression "(ulonglong *)((int)param_2 + uVar7 * 4 + iVar4 + -0xc)" (( "(") (type_descriptor "ulonglong *" (type_identifier "ulonglong") (abstract_pointer_declarator "*" (* "*"))) () ")") (parenthesized_expression "((int)param_2 + uVar7 * 4 + iVar4 + -0xc)" (( "(") (binary_expression "(int)param_2 + uVar7 * 4 + iVar4 + -0xc" (binary_expression "(int)param_2 + uVar7 * 4 + iVar4" (binary_expression "(int)param_2 + uVar7 * 4" (cast_expression "(int)param_2" (( "(") (type_descriptor "int" (primitive_type "int")) () ")") (identifier "param_2")) (+ "+") (binary_expression "uVar7 * 4" (identifier "uVar7") (* "*") (number_literal "4"))) (+ "+") (identifier "iVar4")) (+ "+") (number_literal "-0xc")) () ")"))))) (; ";")) (expression_statement "uVar10 = uVar9 >> uVar14;" (assignment_expression "uVar10 = uVar9 >> uVar14" (identifier "uVar10") (= "=") (binary_expression "uVar9 >> uVar14" (identifier "uVar9") (>> ">>") (identifier "uVar14"))) (; ";")) (expression_statement "*(ulonglong *)((int)puVar2 + uVar7 * 4 + -8) = uVar12;" (assignment_expression "*(ulonglong *)((int)puVar2 + uVar7 * 4 + -8) = uVar12" (pointer_expression "*(ulonglong *)((int)puVar2 + uVar7 * 4 + -8)" (* "*") (cast_expression "(ulonglong *)((int)puVar2 + uVar7 * 4 + -8)" (( "(") (type_descriptor "ulonglong *" (type_identifier "ulonglong") (abstract_pointer_declarator "*" (* "*"))) () ")") (parenthesized_expression "((int)puVar2 + uVar7 * 4 + -8)" (( "(") (binary_expression "(int)puVar2 + uVar7 * 4 + -8" (binary_expression "(int)puVar2 + uVar7 * 4" (cast_expression "(int)puVar2" (( "(") (type_descriptor "int" (primitive_type "int")) () ")") (identifier "puVar2")) (+ "+") (binary_expression "uVar7 * 4" (identifier "uVar7") (* "*") (number_literal "4"))) (+ "+") (number_literal "-8")) () ")")))) (= "=") (identifier "uVar12")) (; ";")) (expression_statement "uVar9 = *(ulonglong *)((int)param_2 + uVar7 * 4 + iVar4 + -4);" (assignment_expression "uVar9 = *(ulonglong *)((int)param_2 + uVar7 * 4 + iVar4 + -4)" (identifier "uVar9") (= "=") (pointer_expression "*(ulonglong *)((int)param_2 + uVar7 * 4 + iVar4 + -4)" (* "*") (cast_expression "(ulonglong *)((int)param_2 + uVar7 * 4 + iVar4 + -4)" (( "(") (type_descriptor "ulonglong *" (type_identifier "ulonglong") (abstract_pointer_declarator "*" (* "*"))) () ")") (parenthesized_expression "((int)param_2 + uVar7 * 4 + iVar4 + -4)" (( "(") (binary_expression "(int)param_2 + uVar7 * 4 + iVar4 + -4" (binary_expression "(int)param_2 + uVar7 * 4 + iVar4" (binary_expression "(int)param_2 + uVar7 * 4" (cast_expression "(int)param_2" (( "(") (type_descriptor "int" (primitive_type "int")) () ")") (identifier "param_2")) (+ "+") (binary_expression "uVar7 * 4" (identifier "uVar7") (* "*") (number_literal "4"))) (+ "+") (identifier "iVar4")) (+ "+") (number_literal "-4")) () ")"))))) (; ";")) (expression_statement "*(ulonglong *)((int)puVar2 + uVar7 * 4) = uVar11 << uVar15 | uVar10;" (assignment_expression "*(ulonglong *)((int)puVar2 + uVar7 * 4) = uVar11 << uVar15 | uVar10" (pointer_expression "*(ulonglong *)((int)puVar2 + uVar7 * 4)" (* "*") (cast_expression "(ulonglong *)((int)puVar2 + uVar7 * 4)" (( "(") (type_descriptor "ulonglong *" (type_identifier "ulonglong") (abstract_pointer_declarator "*" (* "*"))) () ")") (parenthesized_expression "((int)puVar2 + uVar7 * 4)" (( "(") (binary_expression "(int)puVar2 + uVar7 * 4" (cast_expression "(int)puVar2" (( "(") (type_descriptor "int" (primitive_type "int")) () ")") (identifier "puVar2")) (+ "+") (binary_expression "uVar7 * 4" (identifier "uVar7") (* "*") (number_literal "4"))) () ")")))) (= "=") (binary_expression "uVar11 << uVar15 | uVar10" (binary_expression "uVar11 << uVar15" (identifier "uVar11") (<< "<<") (identifier "uVar15")) (| "|") (identifier "uVar10"))) (; ";")) (expression_statement "uVar7 = uVar7 + 4;" (assignment_expression "uVar7 = uVar7 + 4" (identifier "uVar7") (= "=") (binary_expression "uVar7 + 4" (identifier "uVar7") (+ "+") (number_literal "4"))) (; ";")) (expression_statement "uVar12 = uVar9 << uVar15 | uVar11 >> uVar14;" (assignment_expression "uVar12 = uVar9 << uVar15 | uVar11 >> uVar14" (identifier "uVar12") (= "=") (binary_expression "uVar9 << uVar15 | uVar11 >> uVar14" (binary_expression "uVar9 << uVar15" (identifier "uVar9") (<< "<<") (identifier "uVar15")) (| "|") (binary_expression "uVar11 >> uVar14" (identifier "uVar11") (>> ">>") (identifier "uVar14")))) (; ";")) (} "}")) (while "while") (parenthesized_expression "((int)uVar7 < 0)" (( "(") (binary_expression "(int)uVar7 < 0" (cast_expression "(int)uVar7" (( "(") (type_descriptor "int" (primitive_type "int")) () ")") (identifier "uVar7")) (< "<") (number_literal "0")) () ")")) (; ";")) (} "}"))) (expression_statement "uVar11 = uVar9;" (assignment_expression "uVar11 = uVar9" (identifier "uVar11") (= "=") (identifier "uVar9")) (; ";")) (if_statement "if ((uVar7 & 2) == 0) {\n    uVar11 = *(ulonglong *)((int)param_2 + uVar7 * 4 + iVar4 + -0xc);\n    *(ulonglong *)((int)puVar2 + uVar7 * 4 + -8) = uVar12;\n    uVar12 = uVar11 << uVar15 | uVar9 >> uVar14;\n    uVar7 = uVar7 + 2;\n  }" (if "if") (parenthesized_expression "((uVar7 & 2) == 0)" (( "(") (binary_expression "(uVar7 & 2) == 0" (parenthesized_expression "(uVar7 & 2)" (( "(") (binary_expression "uVar7 & 2" (identifier "uVar7") (& "&") (number_literal "2")) () ")")) (== "==") (number_literal "0")) () ")")) (compound_statement "{\n    uVar11 = *(ulonglong *)((int)param_2 + uVar7 * 4 + iVar4 + -0xc);\n    *(ulonglong *)((int)puVar2 + uVar7 * 4 + -8) = uVar12;\n    uVar12 = uVar11 << uVar15 | uVar9 >> uVar14;\n    uVar7 = uVar7 + 2;\n  }" ({ "{") (expression_statement "uVar11 = *(ulonglong *)((int)param_2 + uVar7 * 4 + iVar4 + -0xc);" (assignment_expression "uVar11 = *(ulonglong *)((int)param_2 + uVar7 * 4 + iVar4 + -0xc)" (identifier "uVar11") (= "=") (pointer_expression "*(ulonglong *)((int)param_2 + uVar7 * 4 + iVar4 + -0xc)" (* "*") (cast_expression "(ulonglong *)((int)param_2 + uVar7 * 4 + iVar4 + -0xc)" (( "(") (type_descriptor "ulonglong *" (type_identifier "ulonglong") (abstract_pointer_declarator "*" (* "*"))) () ")") (parenthesized_expression "((int)param_2 + uVar7 * 4 + iVar4 + -0xc)" (( "(") (binary_expression "(int)param_2 + uVar7 * 4 + iVar4 + -0xc" (binary_expression "(int)param_2 + uVar7 * 4 + iVar4" (binary_expression "(int)param_2 + uVar7 * 4" (cast_expression "(int)param_2" (( "(") (type_descriptor "int" (primitive_type "int")) () ")") (identifier "param_2")) (+ "+") (binary_expression "uVar7 * 4" (identifier "uVar7") (* "*") (number_literal "4"))) (+ "+") (identifier "iVar4")) (+ "+") (number_literal "-0xc")) () ")"))))) (; ";")) (expression_statement "*(ulonglong *)((int)puVar2 + uVar7 * 4 + -8) = uVar12;" (assignment_expression "*(ulonglong *)((int)puVar2 + uVar7 * 4 + -8) = uVar12" (pointer_expression "*(ulonglong *)((int)puVar2 + uVar7 * 4 + -8)" (* "*") (cast_expression "(ulonglong *)((int)puVar2 + uVar7 * 4 + -8)" (( "(") (type_descriptor "ulonglong *" (type_identifier "ulonglong") (abstract_pointer_declarator "*" (* "*"))) () ")") (parenthesized_expression "((int)puVar2 + uVar7 * 4 + -8)" (( "(") (binary_expression "(int)puVar2 + uVar7 * 4 + -8" (binary_expression "(int)puVar2 + uVar7 * 4" (cast_expression "(int)puVar2" (( "(") (type_descriptor "int" (primitive_type "int")) () ")") (identifier "puVar2")) (+ "+") (binary_expression "uVar7 * 4" (identifier "uVar7") (* "*") (number_literal "4"))) (+ "+") (number_literal "-8")) () ")")))) (= "=") (identifier "uVar12")) (; ";")) (expression_statement "uVar12 = uVar11 << uVar15 | uVar9 >> uVar14;" (assignment_expression "uVar12 = uVar11 << uVar15 | uVar9 >> uVar14" (identifier "uVar12") (= "=") (binary_expression "uVar11 << uVar15 | uVar9 >> uVar14" (binary_expression "uVar11 << uVar15" (identifier "uVar11") (<< "<<") (identifier "uVar15")) (| "|") (binary_expression "uVar9 >> uVar14" (identifier "uVar9") (>> ">>") (identifier "uVar14")))) (; ";")) (expression_statement "uVar7 = uVar7 + 2;" (assignment_expression "uVar7 = uVar7 + 2" (identifier "uVar7") (= "=") (binary_expression "uVar7 + 2" (identifier "uVar7") (+ "+") (number_literal "2"))) (; ";")) (} "}"))) (expression_statement "uVar8 = (uint)uVar13;" (assignment_expression "uVar8 = (uint)uVar13" (identifier "uVar8") (= "=") (cast_expression "(uint)uVar13" (( "(") (type_descriptor "uint" (type_identifier "uint")) () ")") (identifier "uVar13"))) (; ";")) (if_statement "if ((uVar7 & 1) == 0) {\n    uVar7 = *(uint *)((int)param_2 + iVar4 + -4);\n    *puVar2 = uVar12;\n    if ((param_4 & 0x20) != 0) {\n      *(uint *)(puVar2 + 2) = uVar7 >> uVar14;\n    }\n    puVar2[1] = (ulonglong)uVar7 << uVar15 | uVar11 >> uVar14;\n    return uVar8;\n  }" (if "if") (parenthesized_expression "((uVar7 & 1) == 0)" (( "(") (binary_expression "(uVar7 & 1) == 0" (parenthesized_expression "(uVar7 & 1)" (( "(") (binary_expression "uVar7 & 1" (identifier "uVar7") (& "&") (number_literal "1")) () ")")) (== "==") (number_literal "0")) () ")")) (compound_statement "{\n    uVar7 = *(uint *)((int)param_2 + iVar4 + -4);\n    *puVar2 = uVar12;\n    if ((param_4 & 0x20) != 0) {\n      *(uint *)(puVar2 + 2) = uVar7 >> uVar14;\n    }\n    puVar2[1] = (ulonglong)uVar7 << uVar15 | uVar11 >> uVar14;\n    return uVar8;\n  }" ({ "{") (expression_statement "uVar7 = *(uint *)((int)param_2 + iVar4 + -4);" (assignment_expression "uVar7 = *(uint *)((int)param_2 + iVar4 + -4)" (identifier "uVar7") (= "=") (pointer_expression "*(uint *)((int)param_2 + iVar4 + -4)" (* "*") (cast_expression "(uint *)((int)param_2 + iVar4 + -4)" (( "(") (type_descriptor "uint *" (type_identifier "uint") (abstract_pointer_declarator "*" (* "*"))) () ")") (parenthesized_expression "((int)param_2 + iVar4 + -4)" (( "(") (binary_expression "(int)param_2 + iVar4 + -4" (binary_expression "(int)param_2 + iVar4" (cast_expression "(int)param_2" (( "(") (type_descriptor "int" (primitive_type "int")) () ")") (identifier "param_2")) (+ "+") (identifier "iVar4")) (+ "+") (number_literal "-4")) () ")"))))) (; ";")) (expression_statement "*puVar2 = uVar12;" (assignment_expression "*puVar2 = uVar12" (pointer_expression "*puVar2" (* "*") (identifier "puVar2")) (= "=") (identifier "uVar12")) (; ";")) (if_statement "if ((param_4 & 0x20) != 0) {\n      *(uint *)(puVar2 + 2) = uVar7 >> uVar14;\n    }" (if "if") (parenthesized_expression "((param_4 & 0x20) != 0)" (( "(") (binary_expression "(param_4 & 0x20) != 0" (parenthesized_expression "(param_4 & 0x20)" (( "(") (binary_expression "param_4 & 0x20" (identifier "param_4") (& "&") (number_literal "0x20")) () ")")) (!= "!=") (number_literal "0")) () ")")) (compound_statement "{\n      *(uint *)(puVar2 + 2) = uVar7 >> uVar14;\n    }" ({ "{") (expression_statement "*(uint *)(puVar2 + 2) = uVar7 >> uVar14;" (assignment_expression "*(uint *)(puVar2 + 2) = uVar7 >> uVar14" (pointer_expression "*(uint *)(puVar2 + 2)" (* "*") (cast_expression "(uint *)(puVar2 + 2)" (( "(") (type_descriptor "uint *" (type_identifier "uint") (abstract_pointer_declarator "*" (* "*"))) () ")") (parenthesized_expression "(puVar2 + 2)" (( "(") (binary_expression "puVar2 + 2" (identifier "puVar2") (+ "+") (number_literal "2")) () ")")))) (= "=") (binary_expression "uVar7 >> uVar14" (identifier "uVar7") (>> ">>") (identifier "uVar14"))) (; ";")) (} "}"))) (expression_statement "puVar2[1] = (ulonglong)uVar7 << uVar15 | uVar11 >> uVar14;" (assignment_expression "puVar2[1] = (ulonglong)uVar7 << uVar15 | uVar11 >> uVar14" (subscript_expression "puVar2[1]" (identifier "puVar2") ([ "[") (number_literal "1") (] "]")) (= "=") (binary_expression "(ulonglong)uVar7 << uVar15 | uVar11 >> uVar14" (binary_expression "(ulonglong)uVar7 << uVar15" (cast_expression "(ulonglong)uVar7" (( "(") (type_descriptor "ulonglong" (type_identifier "ulonglong")) () ")") (identifier "uVar7")) (<< "<<") (identifier "uVar15")) (| "|") (binary_expression "uVar11 >> uVar14" (identifier "uVar11") (>> ">>") (identifier "uVar14")))) (; ";")) (return_statement "return uVar8;" (return "return") (identifier "uVar8") (; ";")) (} "}"))) (expression_statement "*(ulonglong *)((int)puVar2 + 4) = uVar12;" (assignment_expression "*(ulonglong *)((int)puVar2 + 4) = uVar12" (pointer_expression "*(ulonglong *)((int)puVar2 + 4)" (* "*") (cast_expression "(ulonglong *)((int)puVar2 + 4)" (( "(") (type_descriptor "ulonglong *" (type_identifier "ulonglong") (abstract_pointer_declarator "*" (* "*"))) () ")") (parenthesized_expression "((int)puVar2 + 4)" (( "(") (binary_expression "(int)puVar2 + 4" (cast_expression "(int)puVar2" (( "(") (type_descriptor "int" (primitive_type "int")) () ")") (identifier "puVar2")) (+ "+") (number_literal "4")) () ")")))) (= "=") (identifier "uVar12")) (; ";")) (expression_statement "*(uint *)((int)puVar2 + 0xc) = (uint)(uVar11 >> uVar14);" (assignment_expression "*(uint *)((int)puVar2 + 0xc) = (uint)(uVar11 >> uVar14)" (pointer_expression "*(uint *)((int)puVar2 + 0xc)" (* "*") (cast_expression "(uint *)((int)puVar2 + 0xc)" (( "(") (type_descriptor "uint *" (type_identifier "uint") (abstract_pointer_declarator "*" (* "*"))) () ")") (parenthesized_expression "((int)puVar2 + 0xc)" (( "(") (binary_expression "(int)puVar2 + 0xc" (cast_expression "(int)puVar2" (( "(") (type_descriptor "int" (primitive_type "int")) () ")") (identifier "puVar2")) (+ "+") (number_literal "0xc")) () ")")))) (= "=") (call_expression "(uint)(uVar11 >> uVar14)" (parenthesized_expression "(uint)" (( "(") (identifier "uint") () ")")) (argument_list "(uVar11 >> uVar14)" (( "(") (binary_expression "uVar11 >> uVar14" (identifier "uVar11") (>> ">>") (identifier "uVar14")) () ")")))) (; ";")) (if_statement "if ((param_4 & 0x20) != 0) {\n    *(ulonglong *)((int)puVar2 + 0xc) = uVar11 >> uVar14;\n  }" (if "if") (parenthesized_expression "((param_4 & 0x20) != 0)" (( "(") (binary_expression "(param_4 & 0x20) != 0" (parenthesized_expression "(param_4 & 0x20)" (( "(") (binary_expression "param_4 & 0x20" (identifier "param_4") (& "&") (number_literal "0x20")) () ")")) (!= "!=") (number_literal "0")) () ")")) (compound_statement "{\n    *(ulonglong *)((int)puVar2 + 0xc) = uVar11 >> uVar14;\n  }" ({ "{") (expression_statement "*(ulonglong *)((int)puVar2 + 0xc) = uVar11 >> uVar14;" (assignment_expression "*(ulonglong *)((int)puVar2 + 0xc) = uVar11 >> uVar14" (pointer_expression "*(ulonglong *)((int)puVar2 + 0xc)" (* "*") (cast_expression "(ulonglong *)((int)puVar2 + 0xc)" (( "(") (type_descriptor "ulonglong *" (type_identifier "ulonglong") (abstract_pointer_declarator "*" (* "*"))) () ")") (parenthesized_expression "((int)puVar2 + 0xc)" (( "(") (binary_expression "(int)puVar2 + 0xc" (cast_expression "(int)puVar2" (( "(") (type_descriptor "int" (primitive_type "int")) () ")") (identifier "puVar2")) (+ "+") (number_literal "0xc")) () ")")))) (= "=") (binary_expression "uVar11 >> uVar14" (identifier "uVar11") (>> ">>") (identifier "uVar14"))) (; ";")) (} "}"))) (return_statement "return uVar8;" (return "return") (identifier "uVar8") (; ";")) (} "}")))

type_1 function_1(type_1 *var_9,type_2 *param_2,type_1 var_1,type_1 var_10)

{
  type_1 *var_5;
  type_2 *var_16;
  type_3 var_3;
  int var_2;
  int var_4;
  int var_7;
  type_1 var_13;
  type_1 uVar8;
  type_2 var_11;
  type_2 var_15;
  type_2 var_14;
  type_2 var_8;
  type_2 uVar13;
  type_2 var_6;
  type_2 var_12;
  
  if (var_1 < 5) {
    var_2 = var_1 - 1;
    uVar13 = *param_2;
    if (var_2 == 0) {
      var_3 = (type_3)var_10 & 0x1f;
      *var_9 = (type_1)uVar13 >> ((type_3)var_10 & 0x1f);
      return 0U >> var_3 | (type_1)uVar13 << 0x20 - var_3;
    }
    uVar13 = *param_2;
    var_5 = (type_1 *)((int)param_2 + var_2 * 4);
    var_6 = (type_2)var_10;
    var_4 = -var_2;
    do {
      var_7 = var_4 + 1;
      var_9[var_2 + var_4] = (type_1)(*(type_2 *)(var_5 + var_4) >> var_6);
      var_4 = var_7;
    } while (var_7 != 0);
    var_9[var_2] = *var_5 >> var_6;
    return (type_1)(((type_2)(type_1)uVar13 << 0x20) >> var_6);
  }
  uVar13 = *param_2;
  var_6 = (type_2)var_10;
  if (((type_1)param_2 & 4) != 0) {
    var_8 = *param_2;
    param_2 = (type_2 *)((int)param_2 + 4);
    var_1 = var_1 - 1;
    *var_9 = (type_1)(var_8 >> var_6);
    var_9 = var_9 + 1;
  }
  var_8 = *param_2;
  uVar13 = ((type_2)(type_1)uVar13 << 0x20) >> var_6;
  if (((type_1)var_9 & 4) != 0) {
    var_10 = var_10 + 0x20;
    var_11 = var_8 >> var_6;
    var_6 = (type_2)var_10;
    *var_9 = (type_1)var_11;
    var_9 = var_9 + 1;
  }
  var_11 = param_2[1];
  var_10 = 0x40 - var_10;
  var_12 = (type_2)var_10;
  var_2 = var_1 * 4;
  var_16 = (type_2 *)(var_9 + (var_1 - 5));
  var_8 = var_11 << var_12 | var_8 >> var_6;
  var_13 = -(var_1 - 7);
  if (0 < (int)(var_1 - 7)) {
    do {
      var_14 = *(type_2 *)((int)param_2 + var_13 * 4 + var_2 + -0xc);
      var_15 = var_11 >> var_6;
      *(type_2 *)((int)var_16 + var_13 * 4 + -8) = var_8;
      var_11 = *(type_2 *)((int)param_2 + var_13 * 4 + var_2 + -4);
      *(type_2 *)((int)var_16 + var_13 * 4) = var_14 << var_12 | var_15;
      var_13 = var_13 + 4;
      var_8 = var_11 << var_12 | var_14 >> var_6;
    } while ((int)var_13 < 0);
  }
  var_14 = var_11;
  if ((var_13 & 2) == 0) {
    var_14 = *(type_2 *)((int)param_2 + var_13 * 4 + var_2 + -0xc);
    *(type_2 *)((int)var_16 + var_13 * 4 + -8) = var_8;
    var_8 = var_14 << var_12 | var_11 >> var_6;
    var_13 = var_13 + 2;
  }
  uVar8 = (type_1)uVar13;
  if ((var_13 & 1) == 0) {
    var_13 = *(type_1 *)((int)param_2 + var_2 + -4);
    *var_16 = var_8;
    if ((var_10 & 0x20) != 0) {
      *(type_1 *)(var_16 + 2) = var_13 >> var_6;
    }
    var_16[1] = (type_2)var_13 << var_12 | var_14 >> var_6;
    return uVar8;
  }
  *(type_2 *)((int)var_16 + 4) = var_8;
  *(type_1 *)((int)var_16 + 0xc) = (type_1)(var_14 >> var_6);
  if ((var_10 & 0x20) != 0) {
    *(type_2 *)((int)var_16 + 0xc) = var_14 >> var_6;
  }
  return uVar8;
}


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

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

{
  uint *puVar1;
  ulonglong *puVar2;
  byte bVar3;
  int iVar4;
  int iVar5;
  int iVar6;
  uint uVar7;
  uint uVar8;
  ulonglong uVar9;
  ulonglong uVar10;
  ulonglong uVar11;
  ulonglong uVar12;
  ulonglong uVar13;
  ulonglong uVar14;
  ulonglong uVar15;
  
  if (param_3 < 5) {
    iVar4 = param_3 - 1;
    uVar13 = *param_2;
    if (iVar4 == 0) {
      bVar3 = (byte)param_4 & 0x1f;
      *param_1 = (uint)uVar13 >> ((byte)param_4 & 0x1f);
      return 0U >> bVar3 | (uint)uVar13 << 0x20 - bVar3;
    }
    uVar13 = *param_2;
    puVar1 = (uint *)((int)param_2 + iVar4 * 4);
    uVar14 = (ulonglong)param_4;
    iVar5 = -iVar4;
    do {
      iVar6 = iVar5 + 1;
      param_1[iVar4 + iVar5] = (uint)(*(ulonglong *)(puVar1 + iVar5) >> uVar14);
      iVar5 = iVar6;
    } while (iVar6 != 0);
    param_1[iVar4] = *puVar1 >> uVar14;
    return (uint)(((ulonglong)(uint)uVar13 << 0x20) >> uVar14);
  }
  uVar13 = *param_2;
  uVar14 = (ulonglong)param_4;
  if (((uint)param_2 & 4) != 0) {
    uVar12 = *param_2;
    param_2 = (ulonglong *)((int)param_2 + 4);
    param_3 = param_3 - 1;
    *param_1 = (uint)(uVar12 >> uVar14);
    param_1 = param_1 + 1;
  }
  uVar12 = *param_2;
  uVar13 = ((ulonglong)(uint)uVar13 << 0x20) >> uVar14;
  if (((uint)param_1 & 4) != 0) {
    param_4 = param_4 + 0x20;
    uVar9 = uVar12 >> uVar14;
    uVar14 = (ulonglong)param_4;
    *param_1 = (uint)uVar9;
    param_1 = param_1 + 1;
  }
  uVar9 = param_2[1];
  param_4 = 0x40 - param_4;
  uVar15 = (ulonglong)param_4;
  iVar4 = param_3 * 4;
  puVar2 = (ulonglong *)(param_1 + (param_3 - 5));
  uVar12 = uVar9 << uVar15 | uVar12 >> uVar14;
  uVar7 = -(param_3 - 7);
  if (0 < (int)(param_3 - 7)) {
    do {
      uVar11 = *(ulonglong *)((int)param_2 + uVar7 * 4 + iVar4 + -0xc);
      uVar10 = uVar9 >> uVar14;
      *(ulonglong *)((int)puVar2 + uVar7 * 4 + -8) = uVar12;
      uVar9 = *(ulonglong *)((int)param_2 + uVar7 * 4 + iVar4 + -4);
      *(ulonglong *)((int)puVar2 + uVar7 * 4) = uVar11 << uVar15 | uVar10;
      uVar7 = uVar7 + 4;
      uVar12 = uVar9 << uVar15 | uVar11 >> uVar14;
    } while ((int)uVar7 < 0);
  }
  uVar11 = uVar9;
  if ((uVar7 & 2) == 0) {
    uVar11 = *(ulonglong *)((int)param_2 + uVar7 * 4 + iVar4 + -0xc);
    *(ulonglong *)((int)puVar2 + uVar7 * 4 + -8) = uVar12;
    uVar12 = uVar11 << uVar15 | uVar9 >> uVar14;
    uVar7 = uVar7 + 2;
  }
  uVar8 = (uint)uVar13;
  if ((uVar7 & 1) == 0) {
    uVar7 = *(uint *)((int)param_2 + iVar4 + -4);
    *puVar2 = uVar12;
    if ((param_4 & 0x20) != 0) {
      *(uint *)(puVar2 + 2) = uVar7 >> uVar14;
    }
    puVar2[1] = (ulonglong)uVar7 << uVar15 | uVar11 >> uVar14;
    return uVar8;
  }
  *(ulonglong *)((int)puVar2 + 4) = uVar12;
  *(uint *)((int)puVar2 + 0xc) = (uint)(uVar11 >> uVar14);
  if ((param_4 & 0x20) != 0) {
    *(ulonglong *)((int)puVar2 + 0xc) = uVar11 >> uVar14;
  }
  return uVar8;
}

