
long __gmpn_rshift(long param_1,long *param_2,long param_3,byte param_4)

{
  ulong *puVar1;
  ulong *puVar2;
  long lVar3;
  ulong uVar4;
  byte bVar5;
  ulong uVar6;
  ulong uVar7;
  uint uVar8;
  ulong uVar9;
  ulong uVar10;
  
  lVar3 = *param_2;
  puVar1 = (ulong *)(param_2 + param_3 + -1);
  puVar2 = (ulong *)(param_1 + -8 + param_3 * 8);
  uVar6 = -param_3;
  uVar8 = (int)param_3 + 1U & 3;
  if (uVar8 != 0) {
    if (uVar8 == 1) {
      puVar2[1 - param_3] =
           puVar1[1 - param_3] >> (param_4 & 0x3f) | puVar1[2 - param_3] << (-param_4 & 0x3f);
      uVar6 = uVar6 + 1;
    }
    else {
      if (uVar8 != 2) {
        puVar2[1 - param_3] =
             puVar1[1 - param_3] >> (param_4 & 0x3f) | puVar1[2 - param_3] << (-param_4 & 0x3f);
        uVar6 = uVar6 + 1;
      }
      if (uVar6 == 0xffffffffffffffff) goto LAB_00125cd6;
      uVar9 = puVar1[uVar6 + 2];
      uVar10 = puVar1[uVar6 + 3];
      puVar2[uVar6 + 1] =
           puVar1[uVar6 + 1] >> (param_4 & 0x3f) | puVar1[uVar6 + 2] << (-param_4 & 0x3f);
      puVar2[uVar6 + 2] = uVar9 >> (param_4 & 0x3f) | uVar10 << (-param_4 & 0x3f);
      uVar6 = uVar6 + 2;
    }
  }
  uVar9 = puVar1[uVar6 + 1] >> (param_4 & 0x3f);
  uVar10 = puVar1[uVar6 + 2] >> (param_4 & 0x3f);
  while (uVar6 < 0xfffffffffffffffc) {
    uVar7 = uVar6 + 4;
    bVar5 = -param_4;
    uVar4 = puVar1[uVar6 + 3];
    puVar2[uVar6 + 1] = uVar9 | puVar1[uVar6 + 2] << (bVar5 & 0x3f);
    puVar2[uVar6 + 2] = uVar10 | uVar4 << (bVar5 & 0x3f);
    uVar9 = puVar1[uVar6 + 5];
    uVar10 = puVar1[uVar7];
    puVar2[uVar6 + 3] = puVar1[uVar7] << (bVar5 & 0x3f) | puVar1[uVar6 + 3] >> (param_4 & 0x3f);
    puVar2[uVar7] = uVar9 << (bVar5 & 0x3f) | uVar10 >> (param_4 & 0x3f);
    uVar9 = puVar1[uVar6 + 5] >> (param_4 & 0x3f);
    uVar10 = puVar1[uVar6 + 6] >> (param_4 & 0x3f);
    uVar6 = uVar7;
  }
  uVar6 = *puVar1;
  puVar2[-2] = uVar9 | puVar1[-1] << (-param_4 & 0x3f);
  puVar2[-1] = uVar10 | uVar6 << (-param_4 & 0x3f);
LAB_00125cd6:
  *puVar2 = *puVar1 >> (param_4 & 0x3f);
  return lVar3 << (-param_4 & 0x3f);
}



long __gmpn_rshift(long param_1,long *param_2,long param_3,byte param_4)

{
  ulong *puVar1;
  ulong *puVar2;
  long lVar3;
  ulong uVar4;
  byte bVar5;
  ulong uVar6;
  ulong uVar7;
  uint uVar8;
  ulong uVar9;
  ulong uVar10;
  
  lVar3 = *param_2;
  puVar1 = (ulong *)(param_2 + param_3 + -1);
  puVar2 = (ulong *)(param_1 + -8 + param_3 * 8);
  uVar6 = -param_3;
  uVar8 = (int)param_3 + 1U & 3;
  if (uVar8 != 0) {
    if (uVar8 == 1) {
      puVar2[1 - param_3] =
           puVar1[1 - param_3] >> (param_4 & 0x3f) | puVar1[2 - param_3] << (-param_4 & 0x3f);
      uVar6 = uVar6 + 1;
    }
    else {
      if (uVar8 != 2) {
        puVar2[1 - param_3] =
             puVar1[1 - param_3] >> (param_4 & 0x3f) | puVar1[2 - param_3] << (-param_4 & 0x3f);
        uVar6 = uVar6 + 1;
      }
      if (uVar6 == 0xffffffffffffffff) goto LAB_00125cd6;
      uVar9 = puVar1[uVar6 + 2];
      uVar10 = puVar1[uVar6 + 3];
      puVar2[uVar6 + 1] =
           puVar1[uVar6 + 1] >> (param_4 & 0x3f) | puVar1[uVar6 + 2] << (-param_4 & 0x3f);
      puVar2[uVar6 + 2] = uVar9 >> (param_4 & 0x3f) | uVar10 << (-param_4 & 0x3f);
      uVar6 = uVar6 + 2;
    }
  }
  uVar9 = puVar1[uVar6 + 1] >> (param_4 & 0x3f);
  uVar10 = puVar1[uVar6 + 2] >> (param_4 & 0x3f);
  while (uVar6 < 0xfffffffffffffffc) {
    uVar7 = uVar6 + 4;
    bVar5 = -param_4;
    uVar4 = puVar1[uVar6 + 3];
    puVar2[uVar6 + 1] = uVar9 | puVar1[uVar6 + 2] << (bVar5 & 0x3f);
    puVar2[uVar6 + 2] = uVar10 | uVar4 << (bVar5 & 0x3f);
    uVar9 = puVar1[uVar6 + 5];
    uVar10 = puVar1[uVar7];
    puVar2[uVar6 + 3] = puVar1[uVar7] << (bVar5 & 0x3f) | puVar1[uVar6 + 3] >> (param_4 & 0x3f);
    puVar2[uVar7] = uVar9 << (bVar5 & 0x3f) | uVar10 >> (param_4 & 0x3f);
    uVar9 = puVar1[uVar6 + 5] >> (param_4 & 0x3f);
    uVar10 = puVar1[uVar6 + 6] >> (param_4 & 0x3f);
    uVar6 = uVar7;
  }
  uVar6 = *puVar1;
  puVar2[-2] = uVar9 | puVar1[-1] << (-param_4 & 0x3f);
  puVar2[-1] = uVar10 | uVar6 << (-param_4 & 0x3f);
LAB_00125cd6:
  *puVar2 = *puVar1 >> (param_4 & 0x3f);
  return lVar3 << (-param_4 & 0x3f);
}


NEG ECX
MOV RAX,qword ptr [RSI]
SHL RAX,CL
NEG ECX
LEA R8D,[RDX + 0x1]
LEA RSI,[RSI + RDX*0x8 + -0x8]
LEA RDI,[RDI + RDX*0x8 + -0x8]
NEG RDX
AND R8D,0x3
JZ 0x00125c2f
DEC R8D
JNZ 0x00125bc9
MOV R10,qword ptr [RSI + RDX*0x8 + 0x8]
SHR R10,CL
NEG ECX
MOV R8,qword ptr [RSI + RDX*0x8 + 0x10]
SHL R8,CL
OR R10,R8
MOV qword ptr [RDI + RDX*0x8 + 0x8],R10
INC RDX
JMP 0x00125c2d
DEC R8D
JZ 0x00125bed
MOV R10,qword ptr [RSI + RDX*0x8 + 0x8]
SHR R10,CL
NEG ECX
MOV R8,qword ptr [RSI + RDX*0x8 + 0x10]
SHL R8,CL
OR R10,R8
MOV qword ptr [RDI + RDX*0x8 + 0x8],R10
INC RDX
NEG ECX
CMP RDX,-0x1
JZ 0x00125cd6
MOV R10,qword ptr [RSI + RDX*0x8 + 0x8]
SHR R10,CL
MOV R11,qword ptr [RSI + RDX*0x8 + 0x10]
SHR R11,CL
NEG ECX
MOV R8,qword ptr [RSI + RDX*0x8 + 0x10]
MOV R9,qword ptr [RSI + RDX*0x8 + 0x18]
SHL R8,CL
OR R10,R8
SHL R9,CL
OR R11,R9
MOV qword ptr [RDI + RDX*0x8 + 0x8],R10
MOV qword ptr [RDI + RDX*0x8 + 0x10],R11
ADD RDX,0x2
NEG ECX
MOV R10,qword ptr [RSI + RDX*0x8 + 0x8]
SHR R10,CL
MOV R11,qword ptr [RSI + RDX*0x8 + 0x10]
SHR R11,CL
ADD RDX,0x4
JC 0x00125cb7
NOP dword ptr CS:[RAX + RAX*0x1]
NEG ECX
MOV R8,qword ptr [RSI + RDX*0x8 + -0x10]
MOV R9,qword ptr [RSI + RDX*0x8 + -0x8]
SHL R8,CL
OR R10,R8
SHL R9,CL
OR R11,R9
MOV qword ptr [RDI + RDX*0x8 + -0x18],R10
MOV qword ptr [RDI + RDX*0x8 + -0x10],R11
MOV R8,qword ptr [RSI + RDX*0x8]
MOV R9,qword ptr [RSI + RDX*0x8 + 0x8]
SHL R8,CL
SHL R9,CL
NEG ECX
MOV R10,qword ptr [RSI + RDX*0x8 + -0x8]
MOV R11,qword ptr [RSI + RDX*0x8]
SHR R10,CL
OR R8,R10
SHR R11,CL
OR R9,R11
MOV qword ptr [RDI + RDX*0x8 + -0x8],R8
MOV qword ptr [RDI + RDX*0x8],R9
MOV R10,qword ptr [RSI + RDX*0x8 + 0x8]
MOV R11,qword ptr [RSI + RDX*0x8 + 0x10]
SHR R10,CL
SHR R11,CL
ADD RDX,0x4
JNC 0x00125c50
NEG ECX
MOV R8,qword ptr [RSI + -0x8]
SHL R8,CL
OR R10,R8
MOV R9,qword ptr [RSI]
SHL R9,CL
OR R11,R9
MOV qword ptr [RDI + -0x10],R10
MOV qword ptr [RDI + -0x8],R11
NEG ECX
MOV R10,qword ptr [RSI]
SHR R10,CL
MOV qword ptr [RDI],R10
RET
(translation_unit "long __gmpn_rshift(long param_1,long *param_2,long param_3,byte param_4)\n\n{\n  ulong *puVar1;\n  ulong *puVar2;\n  long lVar3;\n  ulong uVar4;\n  byte bVar5;\n  ulong uVar6;\n  ulong uVar7;\n  uint uVar8;\n  ulong uVar9;\n  ulong uVar10;\n  \n  lVar3 = *param_2;\n  puVar1 = (ulong *)(param_2 + param_3 + -1);\n  puVar2 = (ulong *)(param_1 + -8 + param_3 * 8);\n  uVar6 = -param_3;\n  uVar8 = (int)param_3 + 1U & 3;\n  if (uVar8 != 0) {\n    if (uVar8 == 1) {\n      puVar2[1 - param_3] =\n           puVar1[1 - param_3] >> (param_4 & 0x3f) | puVar1[2 - param_3] << (-param_4 & 0x3f);\n      uVar6 = uVar6 + 1;\n    }\n    else {\n      if (uVar8 != 2) {\n        puVar2[1 - param_3] =\n             puVar1[1 - param_3] >> (param_4 & 0x3f) | puVar1[2 - param_3] << (-param_4 & 0x3f);\n        uVar6 = uVar6 + 1;\n      }\n      if (uVar6 == 0xffffffffffffffff) goto LAB_00125cd6;\n      uVar9 = puVar1[uVar6 + 2];\n      uVar10 = puVar1[uVar6 + 3];\n      puVar2[uVar6 + 1] =\n           puVar1[uVar6 + 1] >> (param_4 & 0x3f) | puVar1[uVar6 + 2] << (-param_4 & 0x3f);\n      puVar2[uVar6 + 2] = uVar9 >> (param_4 & 0x3f) | uVar10 << (-param_4 & 0x3f);\n      uVar6 = uVar6 + 2;\n    }\n  }\n  uVar9 = puVar1[uVar6 + 1] >> (param_4 & 0x3f);\n  uVar10 = puVar1[uVar6 + 2] >> (param_4 & 0x3f);\n  while (uVar6 < 0xfffffffffffffffc) {\n    uVar7 = uVar6 + 4;\n    bVar5 = -param_4;\n    uVar4 = puVar1[uVar6 + 3];\n    puVar2[uVar6 + 1] = uVar9 | puVar1[uVar6 + 2] << (bVar5 & 0x3f);\n    puVar2[uVar6 + 2] = uVar10 | uVar4 << (bVar5 & 0x3f);\n    uVar9 = puVar1[uVar6 + 5];\n    uVar10 = puVar1[uVar7];\n    puVar2[uVar6 + 3] = puVar1[uVar7] << (bVar5 & 0x3f) | puVar1[uVar6 + 3] >> (param_4 & 0x3f);\n    puVar2[uVar7] = uVar9 << (bVar5 & 0x3f) | uVar10 >> (param_4 & 0x3f);\n    uVar9 = puVar1[uVar6 + 5] >> (param_4 & 0x3f);\n    uVar10 = puVar1[uVar6 + 6] >> (param_4 & 0x3f);\n    uVar6 = uVar7;\n  }\n  uVar6 = *puVar1;\n  puVar2[-2] = uVar9 | puVar1[-1] << (-param_4 & 0x3f);\n  puVar2[-1] = uVar10 | uVar6 << (-param_4 & 0x3f);\nLAB_00125cd6:\n  *puVar2 = *puVar1 >> (param_4 & 0x3f);\n  return lVar3 << (-param_4 & 0x3f);\n}\n\n" (function_definition "long __gmpn_rshift(long param_1,long *param_2,long param_3,byte param_4)\n\n{\n  ulong *puVar1;\n  ulong *puVar2;\n  long lVar3;\n  ulong uVar4;\n  byte bVar5;\n  ulong uVar6;\n  ulong uVar7;\n  uint uVar8;\n  ulong uVar9;\n  ulong uVar10;\n  \n  lVar3 = *param_2;\n  puVar1 = (ulong *)(param_2 + param_3 + -1);\n  puVar2 = (ulong *)(param_1 + -8 + param_3 * 8);\n  uVar6 = -param_3;\n  uVar8 = (int)param_3 + 1U & 3;\n  if (uVar8 != 0) {\n    if (uVar8 == 1) {\n      puVar2[1 - param_3] =\n           puVar1[1 - param_3] >> (param_4 & 0x3f) | puVar1[2 - param_3] << (-param_4 & 0x3f);\n      uVar6 = uVar6 + 1;\n    }\n    else {\n      if (uVar8 != 2) {\n        puVar2[1 - param_3] =\n             puVar1[1 - param_3] >> (param_4 & 0x3f) | puVar1[2 - param_3] << (-param_4 & 0x3f);\n        uVar6 = uVar6 + 1;\n      }\n      if (uVar6 == 0xffffffffffffffff) goto LAB_00125cd6;\n      uVar9 = puVar1[uVar6 + 2];\n      uVar10 = puVar1[uVar6 + 3];\n      puVar2[uVar6 + 1] =\n           puVar1[uVar6 + 1] >> (param_4 & 0x3f) | puVar1[uVar6 + 2] << (-param_4 & 0x3f);\n      puVar2[uVar6 + 2] = uVar9 >> (param_4 & 0x3f) | uVar10 << (-param_4 & 0x3f);\n      uVar6 = uVar6 + 2;\n    }\n  }\n  uVar9 = puVar1[uVar6 + 1] >> (param_4 & 0x3f);\n  uVar10 = puVar1[uVar6 + 2] >> (param_4 & 0x3f);\n  while (uVar6 < 0xfffffffffffffffc) {\n    uVar7 = uVar6 + 4;\n    bVar5 = -param_4;\n    uVar4 = puVar1[uVar6 + 3];\n    puVar2[uVar6 + 1] = uVar9 | puVar1[uVar6 + 2] << (bVar5 & 0x3f);\n    puVar2[uVar6 + 2] = uVar10 | uVar4 << (bVar5 & 0x3f);\n    uVar9 = puVar1[uVar6 + 5];\n    uVar10 = puVar1[uVar7];\n    puVar2[uVar6 + 3] = puVar1[uVar7] << (bVar5 & 0x3f) | puVar1[uVar6 + 3] >> (param_4 & 0x3f);\n    puVar2[uVar7] = uVar9 << (bVar5 & 0x3f) | uVar10 >> (param_4 & 0x3f);\n    uVar9 = puVar1[uVar6 + 5] >> (param_4 & 0x3f);\n    uVar10 = puVar1[uVar6 + 6] >> (param_4 & 0x3f);\n    uVar6 = uVar7;\n  }\n  uVar6 = *puVar1;\n  puVar2[-2] = uVar9 | puVar1[-1] << (-param_4 & 0x3f);\n  puVar2[-1] = uVar10 | uVar6 << (-param_4 & 0x3f);\nLAB_00125cd6:\n  *puVar2 = *puVar1 >> (param_4 & 0x3f);\n  return lVar3 << (-param_4 & 0x3f);\n}" (sized_type_specifier "long" long) (function_declarator "__gmpn_rshift(long param_1,long *param_2,long param_3,byte param_4)" identifier (parameter_list "(long param_1,long *param_2,long param_3,byte param_4)" ( (parameter_declaration "long param_1" (sized_type_specifier "long" long) identifier) , (parameter_declaration "long *param_2" (sized_type_specifier "long" long) (pointer_declarator "*param_2" * identifier)) , (parameter_declaration "long param_3" (sized_type_specifier "long" long) identifier) , (parameter_declaration "byte param_4" type_identifier identifier) ))) (compound_statement "{\n  ulong *puVar1;\n  ulong *puVar2;\n  long lVar3;\n  ulong uVar4;\n  byte bVar5;\n  ulong uVar6;\n  ulong uVar7;\n  uint uVar8;\n  ulong uVar9;\n  ulong uVar10;\n  \n  lVar3 = *param_2;\n  puVar1 = (ulong *)(param_2 + param_3 + -1);\n  puVar2 = (ulong *)(param_1 + -8 + param_3 * 8);\n  uVar6 = -param_3;\n  uVar8 = (int)param_3 + 1U & 3;\n  if (uVar8 != 0) {\n    if (uVar8 == 1) {\n      puVar2[1 - param_3] =\n           puVar1[1 - param_3] >> (param_4 & 0x3f) | puVar1[2 - param_3] << (-param_4 & 0x3f);\n      uVar6 = uVar6 + 1;\n    }\n    else {\n      if (uVar8 != 2) {\n        puVar2[1 - param_3] =\n             puVar1[1 - param_3] >> (param_4 & 0x3f) | puVar1[2 - param_3] << (-param_4 & 0x3f);\n        uVar6 = uVar6 + 1;\n      }\n      if (uVar6 == 0xffffffffffffffff) goto LAB_00125cd6;\n      uVar9 = puVar1[uVar6 + 2];\n      uVar10 = puVar1[uVar6 + 3];\n      puVar2[uVar6 + 1] =\n           puVar1[uVar6 + 1] >> (param_4 & 0x3f) | puVar1[uVar6 + 2] << (-param_4 & 0x3f);\n      puVar2[uVar6 + 2] = uVar9 >> (param_4 & 0x3f) | uVar10 << (-param_4 & 0x3f);\n      uVar6 = uVar6 + 2;\n    }\n  }\n  uVar9 = puVar1[uVar6 + 1] >> (param_4 & 0x3f);\n  uVar10 = puVar1[uVar6 + 2] >> (param_4 & 0x3f);\n  while (uVar6 < 0xfffffffffffffffc) {\n    uVar7 = uVar6 + 4;\n    bVar5 = -param_4;\n    uVar4 = puVar1[uVar6 + 3];\n    puVar2[uVar6 + 1] = uVar9 | puVar1[uVar6 + 2] << (bVar5 & 0x3f);\n    puVar2[uVar6 + 2] = uVar10 | uVar4 << (bVar5 & 0x3f);\n    uVar9 = puVar1[uVar6 + 5];\n    uVar10 = puVar1[uVar7];\n    puVar2[uVar6 + 3] = puVar1[uVar7] << (bVar5 & 0x3f) | puVar1[uVar6 + 3] >> (param_4 & 0x3f);\n    puVar2[uVar7] = uVar9 << (bVar5 & 0x3f) | uVar10 >> (param_4 & 0x3f);\n    uVar9 = puVar1[uVar6 + 5] >> (param_4 & 0x3f);\n    uVar10 = puVar1[uVar6 + 6] >> (param_4 & 0x3f);\n    uVar6 = uVar7;\n  }\n  uVar6 = *puVar1;\n  puVar2[-2] = uVar9 | puVar1[-1] << (-param_4 & 0x3f);\n  puVar2[-1] = uVar10 | uVar6 << (-param_4 & 0x3f);\nLAB_00125cd6:\n  *puVar2 = *puVar1 >> (param_4 & 0x3f);\n  return lVar3 << (-param_4 & 0x3f);\n}" { (declaration "ulong *puVar1;" type_identifier (pointer_declarator "*puVar1" * identifier) ;) (declaration "ulong *puVar2;" type_identifier (pointer_declarator "*puVar2" * identifier) ;) (declaration "long lVar3;" (sized_type_specifier "long" long) identifier ;) (declaration "ulong uVar4;" type_identifier identifier ;) (declaration "byte bVar5;" type_identifier identifier ;) (declaration "ulong uVar6;" type_identifier identifier ;) (declaration "ulong uVar7;" type_identifier identifier ;) (declaration "uint uVar8;" type_identifier identifier ;) (declaration "ulong uVar9;" type_identifier identifier ;) (declaration "ulong uVar10;" type_identifier identifier ;) (expression_statement "lVar3 = *param_2;" (assignment_expression "lVar3 = *param_2" identifier = (pointer_expression "*param_2" * identifier)) ;) (expression_statement "puVar1 = (ulong *)(param_2 + param_3 + -1);" (assignment_expression "puVar1 = (ulong *)(param_2 + param_3 + -1)" identifier = (cast_expression "(ulong *)(param_2 + param_3 + -1)" ( (type_descriptor "ulong *" type_identifier (abstract_pointer_declarator "*" *)) ) (parenthesized_expression "(param_2 + param_3 + -1)" ( (binary_expression "param_2 + param_3 + -1" (binary_expression "param_2 + param_3" identifier + identifier) + number_literal) )))) ;) (expression_statement "puVar2 = (ulong *)(param_1 + -8 + param_3 * 8);" (assignment_expression "puVar2 = (ulong *)(param_1 + -8 + param_3 * 8)" identifier = (cast_expression "(ulong *)(param_1 + -8 + param_3 * 8)" ( (type_descriptor "ulong *" type_identifier (abstract_pointer_declarator "*" *)) ) (parenthesized_expression "(param_1 + -8 + param_3 * 8)" ( (binary_expression "param_1 + -8 + param_3 * 8" (binary_expression "param_1 + -8" identifier + number_literal) + (binary_expression "param_3 * 8" identifier * number_literal)) )))) ;) (expression_statement "uVar6 = -param_3;" (assignment_expression "uVar6 = -param_3" identifier = (unary_expression "-param_3" - identifier)) ;) (expression_statement "uVar8 = (int)param_3 + 1U & 3;" (assignment_expression "uVar8 = (int)param_3 + 1U & 3" identifier = (binary_expression "(int)param_3 + 1U & 3" (binary_expression "(int)param_3 + 1U" (cast_expression "(int)param_3" ( (type_descriptor "int" primitive_type) ) identifier) + number_literal) & number_literal)) ;) (if_statement "if (uVar8 != 0) {\n    if (uVar8 == 1) {\n      puVar2[1 - param_3] =\n           puVar1[1 - param_3] >> (param_4 & 0x3f) | puVar1[2 - param_3] << (-param_4 & 0x3f);\n      uVar6 = uVar6 + 1;\n    }\n    else {\n      if (uVar8 != 2) {\n        puVar2[1 - param_3] =\n             puVar1[1 - param_3] >> (param_4 & 0x3f) | puVar1[2 - param_3] << (-param_4 & 0x3f);\n        uVar6 = uVar6 + 1;\n      }\n      if (uVar6 == 0xffffffffffffffff) goto LAB_00125cd6;\n      uVar9 = puVar1[uVar6 + 2];\n      uVar10 = puVar1[uVar6 + 3];\n      puVar2[uVar6 + 1] =\n           puVar1[uVar6 + 1] >> (param_4 & 0x3f) | puVar1[uVar6 + 2] << (-param_4 & 0x3f);\n      puVar2[uVar6 + 2] = uVar9 >> (param_4 & 0x3f) | uVar10 << (-param_4 & 0x3f);\n      uVar6 = uVar6 + 2;\n    }\n  }" if (parenthesized_expression "(uVar8 != 0)" ( (binary_expression "uVar8 != 0" identifier != number_literal) )) (compound_statement "{\n    if (uVar8 == 1) {\n      puVar2[1 - param_3] =\n           puVar1[1 - param_3] >> (param_4 & 0x3f) | puVar1[2 - param_3] << (-param_4 & 0x3f);\n      uVar6 = uVar6 + 1;\n    }\n    else {\n      if (uVar8 != 2) {\n        puVar2[1 - param_3] =\n             puVar1[1 - param_3] >> (param_4 & 0x3f) | puVar1[2 - param_3] << (-param_4 & 0x3f);\n        uVar6 = uVar6 + 1;\n      }\n      if (uVar6 == 0xffffffffffffffff) goto LAB_00125cd6;\n      uVar9 = puVar1[uVar6 + 2];\n      uVar10 = puVar1[uVar6 + 3];\n      puVar2[uVar6 + 1] =\n           puVar1[uVar6 + 1] >> (param_4 & 0x3f) | puVar1[uVar6 + 2] << (-param_4 & 0x3f);\n      puVar2[uVar6 + 2] = uVar9 >> (param_4 & 0x3f) | uVar10 << (-param_4 & 0x3f);\n      uVar6 = uVar6 + 2;\n    }\n  }" { (if_statement "if (uVar8 == 1) {\n      puVar2[1 - param_3] =\n           puVar1[1 - param_3] >> (param_4 & 0x3f) | puVar1[2 - param_3] << (-param_4 & 0x3f);\n      uVar6 = uVar6 + 1;\n    }\n    else {\n      if (uVar8 != 2) {\n        puVar2[1 - param_3] =\n             puVar1[1 - param_3] >> (param_4 & 0x3f) | puVar1[2 - param_3] << (-param_4 & 0x3f);\n        uVar6 = uVar6 + 1;\n      }\n      if (uVar6 == 0xffffffffffffffff) goto LAB_00125cd6;\n      uVar9 = puVar1[uVar6 + 2];\n      uVar10 = puVar1[uVar6 + 3];\n      puVar2[uVar6 + 1] =\n           puVar1[uVar6 + 1] >> (param_4 & 0x3f) | puVar1[uVar6 + 2] << (-param_4 & 0x3f);\n      puVar2[uVar6 + 2] = uVar9 >> (param_4 & 0x3f) | uVar10 << (-param_4 & 0x3f);\n      uVar6 = uVar6 + 2;\n    }" if (parenthesized_expression "(uVar8 == 1)" ( (binary_expression "uVar8 == 1" identifier == number_literal) )) (compound_statement "{\n      puVar2[1 - param_3] =\n           puVar1[1 - param_3] >> (param_4 & 0x3f) | puVar1[2 - param_3] << (-param_4 & 0x3f);\n      uVar6 = uVar6 + 1;\n    }" { (expression_statement "puVar2[1 - param_3] =\n           puVar1[1 - param_3] >> (param_4 & 0x3f) | puVar1[2 - param_3] << (-param_4 & 0x3f);" (assignment_expression "puVar2[1 - param_3] =\n           puVar1[1 - param_3] >> (param_4 & 0x3f) | puVar1[2 - param_3] << (-param_4 & 0x3f)" (subscript_expression "puVar2[1 - param_3]" identifier [ (binary_expression "1 - param_3" number_literal - identifier) ]) = (binary_expression "puVar1[1 - param_3] >> (param_4 & 0x3f) | puVar1[2 - param_3] << (-param_4 & 0x3f)" (binary_expression "puVar1[1 - param_3] >> (param_4 & 0x3f)" (subscript_expression "puVar1[1 - param_3]" identifier [ (binary_expression "1 - param_3" number_literal - identifier) ]) >> (parenthesized_expression "(param_4 & 0x3f)" ( (binary_expression "param_4 & 0x3f" identifier & number_literal) ))) | (binary_expression "puVar1[2 - param_3] << (-param_4 & 0x3f)" (subscript_expression "puVar1[2 - param_3]" identifier [ (binary_expression "2 - param_3" number_literal - identifier) ]) << (parenthesized_expression "(-param_4 & 0x3f)" ( (binary_expression "-param_4 & 0x3f" (unary_expression "-param_4" - identifier) & number_literal) ))))) ;) (expression_statement "uVar6 = uVar6 + 1;" (assignment_expression "uVar6 = uVar6 + 1" identifier = (binary_expression "uVar6 + 1" identifier + number_literal)) ;) }) (else_clause "else {\n      if (uVar8 != 2) {\n        puVar2[1 - param_3] =\n             puVar1[1 - param_3] >> (param_4 & 0x3f) | puVar1[2 - param_3] << (-param_4 & 0x3f);\n        uVar6 = uVar6 + 1;\n      }\n      if (uVar6 == 0xffffffffffffffff) goto LAB_00125cd6;\n      uVar9 = puVar1[uVar6 + 2];\n      uVar10 = puVar1[uVar6 + 3];\n      puVar2[uVar6 + 1] =\n           puVar1[uVar6 + 1] >> (param_4 & 0x3f) | puVar1[uVar6 + 2] << (-param_4 & 0x3f);\n      puVar2[uVar6 + 2] = uVar9 >> (param_4 & 0x3f) | uVar10 << (-param_4 & 0x3f);\n      uVar6 = uVar6 + 2;\n    }" else (compound_statement "{\n      if (uVar8 != 2) {\n        puVar2[1 - param_3] =\n             puVar1[1 - param_3] >> (param_4 & 0x3f) | puVar1[2 - param_3] << (-param_4 & 0x3f);\n        uVar6 = uVar6 + 1;\n      }\n      if (uVar6 == 0xffffffffffffffff) goto LAB_00125cd6;\n      uVar9 = puVar1[uVar6 + 2];\n      uVar10 = puVar1[uVar6 + 3];\n      puVar2[uVar6 + 1] =\n           puVar1[uVar6 + 1] >> (param_4 & 0x3f) | puVar1[uVar6 + 2] << (-param_4 & 0x3f);\n      puVar2[uVar6 + 2] = uVar9 >> (param_4 & 0x3f) | uVar10 << (-param_4 & 0x3f);\n      uVar6 = uVar6 + 2;\n    }" { (if_statement "if (uVar8 != 2) {\n        puVar2[1 - param_3] =\n             puVar1[1 - param_3] >> (param_4 & 0x3f) | puVar1[2 - param_3] << (-param_4 & 0x3f);\n        uVar6 = uVar6 + 1;\n      }" if (parenthesized_expression "(uVar8 != 2)" ( (binary_expression "uVar8 != 2" identifier != number_literal) )) (compound_statement "{\n        puVar2[1 - param_3] =\n             puVar1[1 - param_3] >> (param_4 & 0x3f) | puVar1[2 - param_3] << (-param_4 & 0x3f);\n        uVar6 = uVar6 + 1;\n      }" { (expression_statement "puVar2[1 - param_3] =\n             puVar1[1 - param_3] >> (param_4 & 0x3f) | puVar1[2 - param_3] << (-param_4 & 0x3f);" (assignment_expression "puVar2[1 - param_3] =\n             puVar1[1 - param_3] >> (param_4 & 0x3f) | puVar1[2 - param_3] << (-param_4 & 0x3f)" (subscript_expression "puVar2[1 - param_3]" identifier [ (binary_expression "1 - param_3" number_literal - identifier) ]) = (binary_expression "puVar1[1 - param_3] >> (param_4 & 0x3f) | puVar1[2 - param_3] << (-param_4 & 0x3f)" (binary_expression "puVar1[1 - param_3] >> (param_4 & 0x3f)" (subscript_expression "puVar1[1 - param_3]" identifier [ (binary_expression "1 - param_3" number_literal - identifier) ]) >> (parenthesized_expression "(param_4 & 0x3f)" ( (binary_expression "param_4 & 0x3f" identifier & number_literal) ))) | (binary_expression "puVar1[2 - param_3] << (-param_4 & 0x3f)" (subscript_expression "puVar1[2 - param_3]" identifier [ (binary_expression "2 - param_3" number_literal - identifier) ]) << (parenthesized_expression "(-param_4 & 0x3f)" ( (binary_expression "-param_4 & 0x3f" (unary_expression "-param_4" - identifier) & number_literal) ))))) ;) (expression_statement "uVar6 = uVar6 + 1;" (assignment_expression "uVar6 = uVar6 + 1" identifier = (binary_expression "uVar6 + 1" identifier + number_literal)) ;) })) (if_statement "if (uVar6 == 0xffffffffffffffff) goto LAB_00125cd6;" if (parenthesized_expression "(uVar6 == 0xffffffffffffffff)" ( (binary_expression "uVar6 == 0xffffffffffffffff" identifier == number_literal) )) (goto_statement "goto LAB_00125cd6;" goto statement_identifier ;)) (expression_statement "uVar9 = puVar1[uVar6 + 2];" (assignment_expression "uVar9 = puVar1[uVar6 + 2]" identifier = (subscript_expression "puVar1[uVar6 + 2]" identifier [ (binary_expression "uVar6 + 2" identifier + number_literal) ])) ;) (expression_statement "uVar10 = puVar1[uVar6 + 3];" (assignment_expression "uVar10 = puVar1[uVar6 + 3]" identifier = (subscript_expression "puVar1[uVar6 + 3]" identifier [ (binary_expression "uVar6 + 3" identifier + number_literal) ])) ;) (expression_statement "puVar2[uVar6 + 1] =\n           puVar1[uVar6 + 1] >> (param_4 & 0x3f) | puVar1[uVar6 + 2] << (-param_4 & 0x3f);" (assignment_expression "puVar2[uVar6 + 1] =\n           puVar1[uVar6 + 1] >> (param_4 & 0x3f) | puVar1[uVar6 + 2] << (-param_4 & 0x3f)" (subscript_expression "puVar2[uVar6 + 1]" identifier [ (binary_expression "uVar6 + 1" identifier + number_literal) ]) = (binary_expression "puVar1[uVar6 + 1] >> (param_4 & 0x3f) | puVar1[uVar6 + 2] << (-param_4 & 0x3f)" (binary_expression "puVar1[uVar6 + 1] >> (param_4 & 0x3f)" (subscript_expression "puVar1[uVar6 + 1]" identifier [ (binary_expression "uVar6 + 1" identifier + number_literal) ]) >> (parenthesized_expression "(param_4 & 0x3f)" ( (binary_expression "param_4 & 0x3f" identifier & number_literal) ))) | (binary_expression "puVar1[uVar6 + 2] << (-param_4 & 0x3f)" (subscript_expression "puVar1[uVar6 + 2]" identifier [ (binary_expression "uVar6 + 2" identifier + number_literal) ]) << (parenthesized_expression "(-param_4 & 0x3f)" ( (binary_expression "-param_4 & 0x3f" (unary_expression "-param_4" - identifier) & number_literal) ))))) ;) (expression_statement "puVar2[uVar6 + 2] = uVar9 >> (param_4 & 0x3f) | uVar10 << (-param_4 & 0x3f);" (assignment_expression "puVar2[uVar6 + 2] = uVar9 >> (param_4 & 0x3f) | uVar10 << (-param_4 & 0x3f)" (subscript_expression "puVar2[uVar6 + 2]" identifier [ (binary_expression "uVar6 + 2" identifier + number_literal) ]) = (binary_expression "uVar9 >> (param_4 & 0x3f) | uVar10 << (-param_4 & 0x3f)" (binary_expression "uVar9 >> (param_4 & 0x3f)" identifier >> (parenthesized_expression "(param_4 & 0x3f)" ( (binary_expression "param_4 & 0x3f" identifier & number_literal) ))) | (binary_expression "uVar10 << (-param_4 & 0x3f)" identifier << (parenthesized_expression "(-param_4 & 0x3f)" ( (binary_expression "-param_4 & 0x3f" (unary_expression "-param_4" - identifier) & number_literal) ))))) ;) (expression_statement "uVar6 = uVar6 + 2;" (assignment_expression "uVar6 = uVar6 + 2" identifier = (binary_expression "uVar6 + 2" identifier + number_literal)) ;) }))) })) (expression_statement "uVar9 = puVar1[uVar6 + 1] >> (param_4 & 0x3f);" (assignment_expression "uVar9 = puVar1[uVar6 + 1] >> (param_4 & 0x3f)" identifier = (binary_expression "puVar1[uVar6 + 1] >> (param_4 & 0x3f)" (subscript_expression "puVar1[uVar6 + 1]" identifier [ (binary_expression "uVar6 + 1" identifier + number_literal) ]) >> (parenthesized_expression "(param_4 & 0x3f)" ( (binary_expression "param_4 & 0x3f" identifier & number_literal) )))) ;) (expression_statement "uVar10 = puVar1[uVar6 + 2] >> (param_4 & 0x3f);" (assignment_expression "uVar10 = puVar1[uVar6 + 2] >> (param_4 & 0x3f)" identifier = (binary_expression "puVar1[uVar6 + 2] >> (param_4 & 0x3f)" (subscript_expression "puVar1[uVar6 + 2]" identifier [ (binary_expression "uVar6 + 2" identifier + number_literal) ]) >> (parenthesized_expression "(param_4 & 0x3f)" ( (binary_expression "param_4 & 0x3f" identifier & number_literal) )))) ;) (while_statement "while (uVar6 < 0xfffffffffffffffc) {\n    uVar7 = uVar6 + 4;\n    bVar5 = -param_4;\n    uVar4 = puVar1[uVar6 + 3];\n    puVar2[uVar6 + 1] = uVar9 | puVar1[uVar6 + 2] << (bVar5 & 0x3f);\n    puVar2[uVar6 + 2] = uVar10 | uVar4 << (bVar5 & 0x3f);\n    uVar9 = puVar1[uVar6 + 5];\n    uVar10 = puVar1[uVar7];\n    puVar2[uVar6 + 3] = puVar1[uVar7] << (bVar5 & 0x3f) | puVar1[uVar6 + 3] >> (param_4 & 0x3f);\n    puVar2[uVar7] = uVar9 << (bVar5 & 0x3f) | uVar10 >> (param_4 & 0x3f);\n    uVar9 = puVar1[uVar6 + 5] >> (param_4 & 0x3f);\n    uVar10 = puVar1[uVar6 + 6] >> (param_4 & 0x3f);\n    uVar6 = uVar7;\n  }" while (parenthesized_expression "(uVar6 < 0xfffffffffffffffc)" ( (binary_expression "uVar6 < 0xfffffffffffffffc" identifier < number_literal) )) (compound_statement "{\n    uVar7 = uVar6 + 4;\n    bVar5 = -param_4;\n    uVar4 = puVar1[uVar6 + 3];\n    puVar2[uVar6 + 1] = uVar9 | puVar1[uVar6 + 2] << (bVar5 & 0x3f);\n    puVar2[uVar6 + 2] = uVar10 | uVar4 << (bVar5 & 0x3f);\n    uVar9 = puVar1[uVar6 + 5];\n    uVar10 = puVar1[uVar7];\n    puVar2[uVar6 + 3] = puVar1[uVar7] << (bVar5 & 0x3f) | puVar1[uVar6 + 3] >> (param_4 & 0x3f);\n    puVar2[uVar7] = uVar9 << (bVar5 & 0x3f) | uVar10 >> (param_4 & 0x3f);\n    uVar9 = puVar1[uVar6 + 5] >> (param_4 & 0x3f);\n    uVar10 = puVar1[uVar6 + 6] >> (param_4 & 0x3f);\n    uVar6 = uVar7;\n  }" { (expression_statement "uVar7 = uVar6 + 4;" (assignment_expression "uVar7 = uVar6 + 4" identifier = (binary_expression "uVar6 + 4" identifier + number_literal)) ;) (expression_statement "bVar5 = -param_4;" (assignment_expression "bVar5 = -param_4" identifier = (unary_expression "-param_4" - identifier)) ;) (expression_statement "uVar4 = puVar1[uVar6 + 3];" (assignment_expression "uVar4 = puVar1[uVar6 + 3]" identifier = (subscript_expression "puVar1[uVar6 + 3]" identifier [ (binary_expression "uVar6 + 3" identifier + number_literal) ])) ;) (expression_statement "puVar2[uVar6 + 1] = uVar9 | puVar1[uVar6 + 2] << (bVar5 & 0x3f);" (assignment_expression "puVar2[uVar6 + 1] = uVar9 | puVar1[uVar6 + 2] << (bVar5 & 0x3f)" (subscript_expression "puVar2[uVar6 + 1]" identifier [ (binary_expression "uVar6 + 1" identifier + number_literal) ]) = (binary_expression "uVar9 | puVar1[uVar6 + 2] << (bVar5 & 0x3f)" identifier | (binary_expression "puVar1[uVar6 + 2] << (bVar5 & 0x3f)" (subscript_expression "puVar1[uVar6 + 2]" identifier [ (binary_expression "uVar6 + 2" identifier + number_literal) ]) << (parenthesized_expression "(bVar5 & 0x3f)" ( (binary_expression "bVar5 & 0x3f" identifier & number_literal) ))))) ;) (expression_statement "puVar2[uVar6 + 2] = uVar10 | uVar4 << (bVar5 & 0x3f);" (assignment_expression "puVar2[uVar6 + 2] = uVar10 | uVar4 << (bVar5 & 0x3f)" (subscript_expression "puVar2[uVar6 + 2]" identifier [ (binary_expression "uVar6 + 2" identifier + number_literal) ]) = (binary_expression "uVar10 | uVar4 << (bVar5 & 0x3f)" identifier | (binary_expression "uVar4 << (bVar5 & 0x3f)" identifier << (parenthesized_expression "(bVar5 & 0x3f)" ( (binary_expression "bVar5 & 0x3f" identifier & number_literal) ))))) ;) (expression_statement "uVar9 = puVar1[uVar6 + 5];" (assignment_expression "uVar9 = puVar1[uVar6 + 5]" identifier = (subscript_expression "puVar1[uVar6 + 5]" identifier [ (binary_expression "uVar6 + 5" identifier + number_literal) ])) ;) (expression_statement "uVar10 = puVar1[uVar7];" (assignment_expression "uVar10 = puVar1[uVar7]" identifier = (subscript_expression "puVar1[uVar7]" identifier [ identifier ])) ;) (expression_statement "puVar2[uVar6 + 3] = puVar1[uVar7] << (bVar5 & 0x3f) | puVar1[uVar6 + 3] >> (param_4 & 0x3f);" (assignment_expression "puVar2[uVar6 + 3] = puVar1[uVar7] << (bVar5 & 0x3f) | puVar1[uVar6 + 3] >> (param_4 & 0x3f)" (subscript_expression "puVar2[uVar6 + 3]" identifier [ (binary_expression "uVar6 + 3" identifier + number_literal) ]) = (binary_expression "puVar1[uVar7] << (bVar5 & 0x3f) | puVar1[uVar6 + 3] >> (param_4 & 0x3f)" (binary_expression "puVar1[uVar7] << (bVar5 & 0x3f)" (subscript_expression "puVar1[uVar7]" identifier [ identifier ]) << (parenthesized_expression "(bVar5 & 0x3f)" ( (binary_expression "bVar5 & 0x3f" identifier & number_literal) ))) | (binary_expression "puVar1[uVar6 + 3] >> (param_4 & 0x3f)" (subscript_expression "puVar1[uVar6 + 3]" identifier [ (binary_expression "uVar6 + 3" identifier + number_literal) ]) >> (parenthesized_expression "(param_4 & 0x3f)" ( (binary_expression "param_4 & 0x3f" identifier & number_literal) ))))) ;) (expression_statement "puVar2[uVar7] = uVar9 << (bVar5 & 0x3f) | uVar10 >> (param_4 & 0x3f);" (assignment_expression "puVar2[uVar7] = uVar9 << (bVar5 & 0x3f) | uVar10 >> (param_4 & 0x3f)" (subscript_expression "puVar2[uVar7]" identifier [ identifier ]) = (binary_expression "uVar9 << (bVar5 & 0x3f) | uVar10 >> (param_4 & 0x3f)" (binary_expression "uVar9 << (bVar5 & 0x3f)" identifier << (parenthesized_expression "(bVar5 & 0x3f)" ( (binary_expression "bVar5 & 0x3f" identifier & number_literal) ))) | (binary_expression "uVar10 >> (param_4 & 0x3f)" identifier >> (parenthesized_expression "(param_4 & 0x3f)" ( (binary_expression "param_4 & 0x3f" identifier & number_literal) ))))) ;) (expression_statement "uVar9 = puVar1[uVar6 + 5] >> (param_4 & 0x3f);" (assignment_expression "uVar9 = puVar1[uVar6 + 5] >> (param_4 & 0x3f)" identifier = (binary_expression "puVar1[uVar6 + 5] >> (param_4 & 0x3f)" (subscript_expression "puVar1[uVar6 + 5]" identifier [ (binary_expression "uVar6 + 5" identifier + number_literal) ]) >> (parenthesized_expression "(param_4 & 0x3f)" ( (binary_expression "param_4 & 0x3f" identifier & number_literal) )))) ;) (expression_statement "uVar10 = puVar1[uVar6 + 6] >> (param_4 & 0x3f);" (assignment_expression "uVar10 = puVar1[uVar6 + 6] >> (param_4 & 0x3f)" identifier = (binary_expression "puVar1[uVar6 + 6] >> (param_4 & 0x3f)" (subscript_expression "puVar1[uVar6 + 6]" identifier [ (binary_expression "uVar6 + 6" identifier + number_literal) ]) >> (parenthesized_expression "(param_4 & 0x3f)" ( (binary_expression "param_4 & 0x3f" identifier & number_literal) )))) ;) (expression_statement "uVar6 = uVar7;" (assignment_expression "uVar6 = uVar7" identifier = identifier) ;) })) (expression_statement "uVar6 = *puVar1;" (assignment_expression "uVar6 = *puVar1" identifier = (pointer_expression "*puVar1" * identifier)) ;) (expression_statement "puVar2[-2] = uVar9 | puVar1[-1] << (-param_4 & 0x3f);" (assignment_expression "puVar2[-2] = uVar9 | puVar1[-1] << (-param_4 & 0x3f)" (subscript_expression "puVar2[-2]" identifier [ number_literal ]) = (binary_expression "uVar9 | puVar1[-1] << (-param_4 & 0x3f)" identifier | (binary_expression "puVar1[-1] << (-param_4 & 0x3f)" (subscript_expression "puVar1[-1]" identifier [ number_literal ]) << (parenthesized_expression "(-param_4 & 0x3f)" ( (binary_expression "-param_4 & 0x3f" (unary_expression "-param_4" - identifier) & number_literal) ))))) ;) (expression_statement "puVar2[-1] = uVar10 | uVar6 << (-param_4 & 0x3f);" (assignment_expression "puVar2[-1] = uVar10 | uVar6 << (-param_4 & 0x3f)" (subscript_expression "puVar2[-1]" identifier [ number_literal ]) = (binary_expression "uVar10 | uVar6 << (-param_4 & 0x3f)" identifier | (binary_expression "uVar6 << (-param_4 & 0x3f)" identifier << (parenthesized_expression "(-param_4 & 0x3f)" ( (binary_expression "-param_4 & 0x3f" (unary_expression "-param_4" - identifier) & number_literal) ))))) ;) (labeled_statement "LAB_00125cd6:\n  *puVar2 = *puVar1 >> (param_4 & 0x3f);" statement_identifier : (expression_statement "*puVar2 = *puVar1 >> (param_4 & 0x3f);" (assignment_expression "*puVar2 = *puVar1 >> (param_4 & 0x3f)" (pointer_expression "*puVar2" * identifier) = (binary_expression "*puVar1 >> (param_4 & 0x3f)" (pointer_expression "*puVar1" * identifier) >> (parenthesized_expression "(param_4 & 0x3f)" ( (binary_expression "param_4 & 0x3f" identifier & number_literal) )))) ;)) (return_statement "return lVar3 << (-param_4 & 0x3f);" return (binary_expression "lVar3 << (-param_4 & 0x3f)" identifier << (parenthesized_expression "(-param_4 & 0x3f)" ( (binary_expression "-param_4 & 0x3f" (unary_expression "-param_4" - identifier) & number_literal) ))) ;) })))
(translation_unit "long __gmpn_rshift(long param_1,long *param_2,long param_3,byte param_4)\n\n{\n  ulong *puVar1;\n  ulong *puVar2;\n  long lVar3;\n  ulong uVar4;\n  byte bVar5;\n  ulong uVar6;\n  ulong uVar7;\n  uint uVar8;\n  ulong uVar9;\n  ulong uVar10;\n  \n  lVar3 = *param_2;\n  puVar1 = (ulong *)(param_2 + param_3 + -1);\n  puVar2 = (ulong *)(param_1 + -8 + param_3 * 8);\n  uVar6 = -param_3;\n  uVar8 = (int)param_3 + 1U & 3;\n  if (uVar8 != 0) {\n    if (uVar8 == 1) {\n      puVar2[1 - param_3] =\n           puVar1[1 - param_3] >> (param_4 & 0x3f) | puVar1[2 - param_3] << (-param_4 & 0x3f);\n      uVar6 = uVar6 + 1;\n    }\n    else {\n      if (uVar8 != 2) {\n        puVar2[1 - param_3] =\n             puVar1[1 - param_3] >> (param_4 & 0x3f) | puVar1[2 - param_3] << (-param_4 & 0x3f);\n        uVar6 = uVar6 + 1;\n      }\n      if (uVar6 == 0xffffffffffffffff) goto LAB_00125cd6;\n      uVar9 = puVar1[uVar6 + 2];\n      uVar10 = puVar1[uVar6 + 3];\n      puVar2[uVar6 + 1] =\n           puVar1[uVar6 + 1] >> (param_4 & 0x3f) | puVar1[uVar6 + 2] << (-param_4 & 0x3f);\n      puVar2[uVar6 + 2] = uVar9 >> (param_4 & 0x3f) | uVar10 << (-param_4 & 0x3f);\n      uVar6 = uVar6 + 2;\n    }\n  }\n  uVar9 = puVar1[uVar6 + 1] >> (param_4 & 0x3f);\n  uVar10 = puVar1[uVar6 + 2] >> (param_4 & 0x3f);\n  while (uVar6 < 0xfffffffffffffffc) {\n    uVar7 = uVar6 + 4;\n    bVar5 = -param_4;\n    uVar4 = puVar1[uVar6 + 3];\n    puVar2[uVar6 + 1] = uVar9 | puVar1[uVar6 + 2] << (bVar5 & 0x3f);\n    puVar2[uVar6 + 2] = uVar10 | uVar4 << (bVar5 & 0x3f);\n    uVar9 = puVar1[uVar6 + 5];\n    uVar10 = puVar1[uVar7];\n    puVar2[uVar6 + 3] = puVar1[uVar7] << (bVar5 & 0x3f) | puVar1[uVar6 + 3] >> (param_4 & 0x3f);\n    puVar2[uVar7] = uVar9 << (bVar5 & 0x3f) | uVar10 >> (param_4 & 0x3f);\n    uVar9 = puVar1[uVar6 + 5] >> (param_4 & 0x3f);\n    uVar10 = puVar1[uVar6 + 6] >> (param_4 & 0x3f);\n    uVar6 = uVar7;\n  }\n  uVar6 = *puVar1;\n  puVar2[-2] = uVar9 | puVar1[-1] << (-param_4 & 0x3f);\n  puVar2[-1] = uVar10 | uVar6 << (-param_4 & 0x3f);\nLAB_00125cd6:\n  *puVar2 = *puVar1 >> (param_4 & 0x3f);\n  return lVar3 << (-param_4 & 0x3f);\n}\n\n" (function_definition "long __gmpn_rshift(long param_1,long *param_2,long param_3,byte param_4)\n\n{\n  ulong *puVar1;\n  ulong *puVar2;\n  long lVar3;\n  ulong uVar4;\n  byte bVar5;\n  ulong uVar6;\n  ulong uVar7;\n  uint uVar8;\n  ulong uVar9;\n  ulong uVar10;\n  \n  lVar3 = *param_2;\n  puVar1 = (ulong *)(param_2 + param_3 + -1);\n  puVar2 = (ulong *)(param_1 + -8 + param_3 * 8);\n  uVar6 = -param_3;\n  uVar8 = (int)param_3 + 1U & 3;\n  if (uVar8 != 0) {\n    if (uVar8 == 1) {\n      puVar2[1 - param_3] =\n           puVar1[1 - param_3] >> (param_4 & 0x3f) | puVar1[2 - param_3] << (-param_4 & 0x3f);\n      uVar6 = uVar6 + 1;\n    }\n    else {\n      if (uVar8 != 2) {\n        puVar2[1 - param_3] =\n             puVar1[1 - param_3] >> (param_4 & 0x3f) | puVar1[2 - param_3] << (-param_4 & 0x3f);\n        uVar6 = uVar6 + 1;\n      }\n      if (uVar6 == 0xffffffffffffffff) goto LAB_00125cd6;\n      uVar9 = puVar1[uVar6 + 2];\n      uVar10 = puVar1[uVar6 + 3];\n      puVar2[uVar6 + 1] =\n           puVar1[uVar6 + 1] >> (param_4 & 0x3f) | puVar1[uVar6 + 2] << (-param_4 & 0x3f);\n      puVar2[uVar6 + 2] = uVar9 >> (param_4 & 0x3f) | uVar10 << (-param_4 & 0x3f);\n      uVar6 = uVar6 + 2;\n    }\n  }\n  uVar9 = puVar1[uVar6 + 1] >> (param_4 & 0x3f);\n  uVar10 = puVar1[uVar6 + 2] >> (param_4 & 0x3f);\n  while (uVar6 < 0xfffffffffffffffc) {\n    uVar7 = uVar6 + 4;\n    bVar5 = -param_4;\n    uVar4 = puVar1[uVar6 + 3];\n    puVar2[uVar6 + 1] = uVar9 | puVar1[uVar6 + 2] << (bVar5 & 0x3f);\n    puVar2[uVar6 + 2] = uVar10 | uVar4 << (bVar5 & 0x3f);\n    uVar9 = puVar1[uVar6 + 5];\n    uVar10 = puVar1[uVar7];\n    puVar2[uVar6 + 3] = puVar1[uVar7] << (bVar5 & 0x3f) | puVar1[uVar6 + 3] >> (param_4 & 0x3f);\n    puVar2[uVar7] = uVar9 << (bVar5 & 0x3f) | uVar10 >> (param_4 & 0x3f);\n    uVar9 = puVar1[uVar6 + 5] >> (param_4 & 0x3f);\n    uVar10 = puVar1[uVar6 + 6] >> (param_4 & 0x3f);\n    uVar6 = uVar7;\n  }\n  uVar6 = *puVar1;\n  puVar2[-2] = uVar9 | puVar1[-1] << (-param_4 & 0x3f);\n  puVar2[-1] = uVar10 | uVar6 << (-param_4 & 0x3f);\nLAB_00125cd6:\n  *puVar2 = *puVar1 >> (param_4 & 0x3f);\n  return lVar3 << (-param_4 & 0x3f);\n}" (sized_type_specifier "long" long) (function_declarator "__gmpn_rshift(long param_1,long *param_2,long param_3,byte param_4)" identifier (parameter_list "(long param_1,long *param_2,long param_3,byte param_4)" ( (parameter_declaration "long param_1" (sized_type_specifier "long" long) identifier) , (parameter_declaration "long *param_2" (sized_type_specifier "long" long) (pointer_declarator "*param_2" * identifier)) , (parameter_declaration "long param_3" (sized_type_specifier "long" long) identifier) , (parameter_declaration "byte param_4" type_identifier identifier) ))) (compound_statement "{\n  ulong *puVar1;\n  ulong *puVar2;\n  long lVar3;\n  ulong uVar4;\n  byte bVar5;\n  ulong uVar6;\n  ulong uVar7;\n  uint uVar8;\n  ulong uVar9;\n  ulong uVar10;\n  \n  lVar3 = *param_2;\n  puVar1 = (ulong *)(param_2 + param_3 + -1);\n  puVar2 = (ulong *)(param_1 + -8 + param_3 * 8);\n  uVar6 = -param_3;\n  uVar8 = (int)param_3 + 1U & 3;\n  if (uVar8 != 0) {\n    if (uVar8 == 1) {\n      puVar2[1 - param_3] =\n           puVar1[1 - param_3] >> (param_4 & 0x3f) | puVar1[2 - param_3] << (-param_4 & 0x3f);\n      uVar6 = uVar6 + 1;\n    }\n    else {\n      if (uVar8 != 2) {\n        puVar2[1 - param_3] =\n             puVar1[1 - param_3] >> (param_4 & 0x3f) | puVar1[2 - param_3] << (-param_4 & 0x3f);\n        uVar6 = uVar6 + 1;\n      }\n      if (uVar6 == 0xffffffffffffffff) goto LAB_00125cd6;\n      uVar9 = puVar1[uVar6 + 2];\n      uVar10 = puVar1[uVar6 + 3];\n      puVar2[uVar6 + 1] =\n           puVar1[uVar6 + 1] >> (param_4 & 0x3f) | puVar1[uVar6 + 2] << (-param_4 & 0x3f);\n      puVar2[uVar6 + 2] = uVar9 >> (param_4 & 0x3f) | uVar10 << (-param_4 & 0x3f);\n      uVar6 = uVar6 + 2;\n    }\n  }\n  uVar9 = puVar1[uVar6 + 1] >> (param_4 & 0x3f);\n  uVar10 = puVar1[uVar6 + 2] >> (param_4 & 0x3f);\n  while (uVar6 < 0xfffffffffffffffc) {\n    uVar7 = uVar6 + 4;\n    bVar5 = -param_4;\n    uVar4 = puVar1[uVar6 + 3];\n    puVar2[uVar6 + 1] = uVar9 | puVar1[uVar6 + 2] << (bVar5 & 0x3f);\n    puVar2[uVar6 + 2] = uVar10 | uVar4 << (bVar5 & 0x3f);\n    uVar9 = puVar1[uVar6 + 5];\n    uVar10 = puVar1[uVar7];\n    puVar2[uVar6 + 3] = puVar1[uVar7] << (bVar5 & 0x3f) | puVar1[uVar6 + 3] >> (param_4 & 0x3f);\n    puVar2[uVar7] = uVar9 << (bVar5 & 0x3f) | uVar10 >> (param_4 & 0x3f);\n    uVar9 = puVar1[uVar6 + 5] >> (param_4 & 0x3f);\n    uVar10 = puVar1[uVar6 + 6] >> (param_4 & 0x3f);\n    uVar6 = uVar7;\n  }\n  uVar6 = *puVar1;\n  puVar2[-2] = uVar9 | puVar1[-1] << (-param_4 & 0x3f);\n  puVar2[-1] = uVar10 | uVar6 << (-param_4 & 0x3f);\nLAB_00125cd6:\n  *puVar2 = *puVar1 >> (param_4 & 0x3f);\n  return lVar3 << (-param_4 & 0x3f);\n}" { (declaration "ulong *puVar1;" type_identifier (pointer_declarator "*puVar1" * identifier) ;) (declaration "ulong *puVar2;" type_identifier (pointer_declarator "*puVar2" * identifier) ;) (declaration "long lVar3;" (sized_type_specifier "long" long) identifier ;) (declaration "ulong uVar4;" type_identifier identifier ;) (declaration "byte bVar5;" type_identifier identifier ;) (declaration "ulong uVar6;" type_identifier identifier ;) (declaration "ulong uVar7;" type_identifier identifier ;) (declaration "uint uVar8;" type_identifier identifier ;) (declaration "ulong uVar9;" type_identifier identifier ;) (declaration "ulong uVar10;" type_identifier identifier ;) (expression_statement "lVar3 = *param_2;" (assignment_expression "lVar3 = *param_2" identifier = (pointer_expression "*param_2" * identifier)) ;) (expression_statement "puVar1 = (ulong *)(param_2 + param_3 + -1);" (assignment_expression "puVar1 = (ulong *)(param_2 + param_3 + -1)" identifier = (cast_expression "(ulong *)(param_2 + param_3 + -1)" ( (type_descriptor "ulong *" type_identifier (abstract_pointer_declarator "*" *)) ) (parenthesized_expression "(param_2 + param_3 + -1)" ( (binary_expression "param_2 + param_3 + -1" (binary_expression "param_2 + param_3" identifier + identifier) + number_literal) )))) ;) (expression_statement "puVar2 = (ulong *)(param_1 + -8 + param_3 * 8);" (assignment_expression "puVar2 = (ulong *)(param_1 + -8 + param_3 * 8)" identifier = (cast_expression "(ulong *)(param_1 + -8 + param_3 * 8)" ( (type_descriptor "ulong *" type_identifier (abstract_pointer_declarator "*" *)) ) (parenthesized_expression "(param_1 + -8 + param_3 * 8)" ( (binary_expression "param_1 + -8 + param_3 * 8" (binary_expression "param_1 + -8" identifier + number_literal) + (binary_expression "param_3 * 8" identifier * number_literal)) )))) ;) (expression_statement "uVar6 = -param_3;" (assignment_expression "uVar6 = -param_3" identifier = (unary_expression "-param_3" - identifier)) ;) (expression_statement "uVar8 = (int)param_3 + 1U & 3;" (assignment_expression "uVar8 = (int)param_3 + 1U & 3" identifier = (binary_expression "(int)param_3 + 1U & 3" (binary_expression "(int)param_3 + 1U" (cast_expression "(int)param_3" ( (type_descriptor "int" primitive_type) ) identifier) + number_literal) & number_literal)) ;) (if_statement "if (uVar8 != 0) {\n    if (uVar8 == 1) {\n      puVar2[1 - param_3] =\n           puVar1[1 - param_3] >> (param_4 & 0x3f) | puVar1[2 - param_3] << (-param_4 & 0x3f);\n      uVar6 = uVar6 + 1;\n    }\n    else {\n      if (uVar8 != 2) {\n        puVar2[1 - param_3] =\n             puVar1[1 - param_3] >> (param_4 & 0x3f) | puVar1[2 - param_3] << (-param_4 & 0x3f);\n        uVar6 = uVar6 + 1;\n      }\n      if (uVar6 == 0xffffffffffffffff) goto LAB_00125cd6;\n      uVar9 = puVar1[uVar6 + 2];\n      uVar10 = puVar1[uVar6 + 3];\n      puVar2[uVar6 + 1] =\n           puVar1[uVar6 + 1] >> (param_4 & 0x3f) | puVar1[uVar6 + 2] << (-param_4 & 0x3f);\n      puVar2[uVar6 + 2] = uVar9 >> (param_4 & 0x3f) | uVar10 << (-param_4 & 0x3f);\n      uVar6 = uVar6 + 2;\n    }\n  }" if (parenthesized_expression "(uVar8 != 0)" ( (binary_expression "uVar8 != 0" identifier != number_literal) )) (compound_statement "{\n    if (uVar8 == 1) {\n      puVar2[1 - param_3] =\n           puVar1[1 - param_3] >> (param_4 & 0x3f) | puVar1[2 - param_3] << (-param_4 & 0x3f);\n      uVar6 = uVar6 + 1;\n    }\n    else {\n      if (uVar8 != 2) {\n        puVar2[1 - param_3] =\n             puVar1[1 - param_3] >> (param_4 & 0x3f) | puVar1[2 - param_3] << (-param_4 & 0x3f);\n        uVar6 = uVar6 + 1;\n      }\n      if (uVar6 == 0xffffffffffffffff) goto LAB_00125cd6;\n      uVar9 = puVar1[uVar6 + 2];\n      uVar10 = puVar1[uVar6 + 3];\n      puVar2[uVar6 + 1] =\n           puVar1[uVar6 + 1] >> (param_4 & 0x3f) | puVar1[uVar6 + 2] << (-param_4 & 0x3f);\n      puVar2[uVar6 + 2] = uVar9 >> (param_4 & 0x3f) | uVar10 << (-param_4 & 0x3f);\n      uVar6 = uVar6 + 2;\n    }\n  }" { (if_statement "if (uVar8 == 1) {\n      puVar2[1 - param_3] =\n           puVar1[1 - param_3] >> (param_4 & 0x3f) | puVar1[2 - param_3] << (-param_4 & 0x3f);\n      uVar6 = uVar6 + 1;\n    }\n    else {\n      if (uVar8 != 2) {\n        puVar2[1 - param_3] =\n             puVar1[1 - param_3] >> (param_4 & 0x3f) | puVar1[2 - param_3] << (-param_4 & 0x3f);\n        uVar6 = uVar6 + 1;\n      }\n      if (uVar6 == 0xffffffffffffffff) goto LAB_00125cd6;\n      uVar9 = puVar1[uVar6 + 2];\n      uVar10 = puVar1[uVar6 + 3];\n      puVar2[uVar6 + 1] =\n           puVar1[uVar6 + 1] >> (param_4 & 0x3f) | puVar1[uVar6 + 2] << (-param_4 & 0x3f);\n      puVar2[uVar6 + 2] = uVar9 >> (param_4 & 0x3f) | uVar10 << (-param_4 & 0x3f);\n      uVar6 = uVar6 + 2;\n    }" if (parenthesized_expression "(uVar8 == 1)" ( (binary_expression "uVar8 == 1" identifier == number_literal) )) (compound_statement "{\n      puVar2[1 - param_3] =\n           puVar1[1 - param_3] >> (param_4 & 0x3f) | puVar1[2 - param_3] << (-param_4 & 0x3f);\n      uVar6 = uVar6 + 1;\n    }" { (expression_statement "puVar2[1 - param_3] =\n           puVar1[1 - param_3] >> (param_4 & 0x3f) | puVar1[2 - param_3] << (-param_4 & 0x3f);" (assignment_expression "puVar2[1 - param_3] =\n           puVar1[1 - param_3] >> (param_4 & 0x3f) | puVar1[2 - param_3] << (-param_4 & 0x3f)" (subscript_expression "puVar2[1 - param_3]" identifier [ (binary_expression "1 - param_3" number_literal - identifier) ]) = (binary_expression "puVar1[1 - param_3] >> (param_4 & 0x3f) | puVar1[2 - param_3] << (-param_4 & 0x3f)" (binary_expression "puVar1[1 - param_3] >> (param_4 & 0x3f)" (subscript_expression "puVar1[1 - param_3]" identifier [ (binary_expression "1 - param_3" number_literal - identifier) ]) >> (parenthesized_expression "(param_4 & 0x3f)" ( (binary_expression "param_4 & 0x3f" identifier & number_literal) ))) | (binary_expression "puVar1[2 - param_3] << (-param_4 & 0x3f)" (subscript_expression "puVar1[2 - param_3]" identifier [ (binary_expression "2 - param_3" number_literal - identifier) ]) << (parenthesized_expression "(-param_4 & 0x3f)" ( (binary_expression "-param_4 & 0x3f" (unary_expression "-param_4" - identifier) & number_literal) ))))) ;) (expression_statement "uVar6 = uVar6 + 1;" (assignment_expression "uVar6 = uVar6 + 1" identifier = (binary_expression "uVar6 + 1" identifier + number_literal)) ;) }) (else_clause "else {\n      if (uVar8 != 2) {\n        puVar2[1 - param_3] =\n             puVar1[1 - param_3] >> (param_4 & 0x3f) | puVar1[2 - param_3] << (-param_4 & 0x3f);\n        uVar6 = uVar6 + 1;\n      }\n      if (uVar6 == 0xffffffffffffffff) goto LAB_00125cd6;\n      uVar9 = puVar1[uVar6 + 2];\n      uVar10 = puVar1[uVar6 + 3];\n      puVar2[uVar6 + 1] =\n           puVar1[uVar6 + 1] >> (param_4 & 0x3f) | puVar1[uVar6 + 2] << (-param_4 & 0x3f);\n      puVar2[uVar6 + 2] = uVar9 >> (param_4 & 0x3f) | uVar10 << (-param_4 & 0x3f);\n      uVar6 = uVar6 + 2;\n    }" else (compound_statement "{\n      if (uVar8 != 2) {\n        puVar2[1 - param_3] =\n             puVar1[1 - param_3] >> (param_4 & 0x3f) | puVar1[2 - param_3] << (-param_4 & 0x3f);\n        uVar6 = uVar6 + 1;\n      }\n      if (uVar6 == 0xffffffffffffffff) goto LAB_00125cd6;\n      uVar9 = puVar1[uVar6 + 2];\n      uVar10 = puVar1[uVar6 + 3];\n      puVar2[uVar6 + 1] =\n           puVar1[uVar6 + 1] >> (param_4 & 0x3f) | puVar1[uVar6 + 2] << (-param_4 & 0x3f);\n      puVar2[uVar6 + 2] = uVar9 >> (param_4 & 0x3f) | uVar10 << (-param_4 & 0x3f);\n      uVar6 = uVar6 + 2;\n    }" { (if_statement "if (uVar8 != 2) {\n        puVar2[1 - param_3] =\n             puVar1[1 - param_3] >> (param_4 & 0x3f) | puVar1[2 - param_3] << (-param_4 & 0x3f);\n        uVar6 = uVar6 + 1;\n      }" if (parenthesized_expression "(uVar8 != 2)" ( (binary_expression "uVar8 != 2" identifier != number_literal) )) (compound_statement "{\n        puVar2[1 - param_3] =\n             puVar1[1 - param_3] >> (param_4 & 0x3f) | puVar1[2 - param_3] << (-param_4 & 0x3f);\n        uVar6 = uVar6 + 1;\n      }" { (expression_statement "puVar2[1 - param_3] =\n             puVar1[1 - param_3] >> (param_4 & 0x3f) | puVar1[2 - param_3] << (-param_4 & 0x3f);" (assignment_expression "puVar2[1 - param_3] =\n             puVar1[1 - param_3] >> (param_4 & 0x3f) | puVar1[2 - param_3] << (-param_4 & 0x3f)" (subscript_expression "puVar2[1 - param_3]" identifier [ (binary_expression "1 - param_3" number_literal - identifier) ]) = (binary_expression "puVar1[1 - param_3] >> (param_4 & 0x3f) | puVar1[2 - param_3] << (-param_4 & 0x3f)" (binary_expression "puVar1[1 - param_3] >> (param_4 & 0x3f)" (subscript_expression "puVar1[1 - param_3]" identifier [ (binary_expression "1 - param_3" number_literal - identifier) ]) >> (parenthesized_expression "(param_4 & 0x3f)" ( (binary_expression "param_4 & 0x3f" identifier & number_literal) ))) | (binary_expression "puVar1[2 - param_3] << (-param_4 & 0x3f)" (subscript_expression "puVar1[2 - param_3]" identifier [ (binary_expression "2 - param_3" number_literal - identifier) ]) << (parenthesized_expression "(-param_4 & 0x3f)" ( (binary_expression "-param_4 & 0x3f" (unary_expression "-param_4" - identifier) & number_literal) ))))) ;) (expression_statement "uVar6 = uVar6 + 1;" (assignment_expression "uVar6 = uVar6 + 1" identifier = (binary_expression "uVar6 + 1" identifier + number_literal)) ;) })) (if_statement "if (uVar6 == 0xffffffffffffffff) goto LAB_00125cd6;" if (parenthesized_expression "(uVar6 == 0xffffffffffffffff)" ( (binary_expression "uVar6 == 0xffffffffffffffff" identifier == number_literal) )) (goto_statement "goto LAB_00125cd6;" goto statement_identifier ;)) (expression_statement "uVar9 = puVar1[uVar6 + 2];" (assignment_expression "uVar9 = puVar1[uVar6 + 2]" identifier = (subscript_expression "puVar1[uVar6 + 2]" identifier [ (binary_expression "uVar6 + 2" identifier + number_literal) ])) ;) (expression_statement "uVar10 = puVar1[uVar6 + 3];" (assignment_expression "uVar10 = puVar1[uVar6 + 3]" identifier = (subscript_expression "puVar1[uVar6 + 3]" identifier [ (binary_expression "uVar6 + 3" identifier + number_literal) ])) ;) (expression_statement "puVar2[uVar6 + 1] =\n           puVar1[uVar6 + 1] >> (param_4 & 0x3f) | puVar1[uVar6 + 2] << (-param_4 & 0x3f);" (assignment_expression "puVar2[uVar6 + 1] =\n           puVar1[uVar6 + 1] >> (param_4 & 0x3f) | puVar1[uVar6 + 2] << (-param_4 & 0x3f)" (subscript_expression "puVar2[uVar6 + 1]" identifier [ (binary_expression "uVar6 + 1" identifier + number_literal) ]) = (binary_expression "puVar1[uVar6 + 1] >> (param_4 & 0x3f) | puVar1[uVar6 + 2] << (-param_4 & 0x3f)" (binary_expression "puVar1[uVar6 + 1] >> (param_4 & 0x3f)" (subscript_expression "puVar1[uVar6 + 1]" identifier [ (binary_expression "uVar6 + 1" identifier + number_literal) ]) >> (parenthesized_expression "(param_4 & 0x3f)" ( (binary_expression "param_4 & 0x3f" identifier & number_literal) ))) | (binary_expression "puVar1[uVar6 + 2] << (-param_4 & 0x3f)" (subscript_expression "puVar1[uVar6 + 2]" identifier [ (binary_expression "uVar6 + 2" identifier + number_literal) ]) << (parenthesized_expression "(-param_4 & 0x3f)" ( (binary_expression "-param_4 & 0x3f" (unary_expression "-param_4" - identifier) & number_literal) ))))) ;) (expression_statement "puVar2[uVar6 + 2] = uVar9 >> (param_4 & 0x3f) | uVar10 << (-param_4 & 0x3f);" (assignment_expression "puVar2[uVar6 + 2] = uVar9 >> (param_4 & 0x3f) | uVar10 << (-param_4 & 0x3f)" (subscript_expression "puVar2[uVar6 + 2]" identifier [ (binary_expression "uVar6 + 2" identifier + number_literal) ]) = (binary_expression "uVar9 >> (param_4 & 0x3f) | uVar10 << (-param_4 & 0x3f)" (binary_expression "uVar9 >> (param_4 & 0x3f)" identifier >> (parenthesized_expression "(param_4 & 0x3f)" ( (binary_expression "param_4 & 0x3f" identifier & number_literal) ))) | (binary_expression "uVar10 << (-param_4 & 0x3f)" identifier << (parenthesized_expression "(-param_4 & 0x3f)" ( (binary_expression "-param_4 & 0x3f" (unary_expression "-param_4" - identifier) & number_literal) ))))) ;) (expression_statement "uVar6 = uVar6 + 2;" (assignment_expression "uVar6 = uVar6 + 2" identifier = (binary_expression "uVar6 + 2" identifier + number_literal)) ;) }))) })) (expression_statement "uVar9 = puVar1[uVar6 + 1] >> (param_4 & 0x3f);" (assignment_expression "uVar9 = puVar1[uVar6 + 1] >> (param_4 & 0x3f)" identifier = (binary_expression "puVar1[uVar6 + 1] >> (param_4 & 0x3f)" (subscript_expression "puVar1[uVar6 + 1]" identifier [ (binary_expression "uVar6 + 1" identifier + number_literal) ]) >> (parenthesized_expression "(param_4 & 0x3f)" ( (binary_expression "param_4 & 0x3f" identifier & number_literal) )))) ;) (expression_statement "uVar10 = puVar1[uVar6 + 2] >> (param_4 & 0x3f);" (assignment_expression "uVar10 = puVar1[uVar6 + 2] >> (param_4 & 0x3f)" identifier = (binary_expression "puVar1[uVar6 + 2] >> (param_4 & 0x3f)" (subscript_expression "puVar1[uVar6 + 2]" identifier [ (binary_expression "uVar6 + 2" identifier + number_literal) ]) >> (parenthesized_expression "(param_4 & 0x3f)" ( (binary_expression "param_4 & 0x3f" identifier & number_literal) )))) ;) (while_statement "while (uVar6 < 0xfffffffffffffffc) {\n    uVar7 = uVar6 + 4;\n    bVar5 = -param_4;\n    uVar4 = puVar1[uVar6 + 3];\n    puVar2[uVar6 + 1] = uVar9 | puVar1[uVar6 + 2] << (bVar5 & 0x3f);\n    puVar2[uVar6 + 2] = uVar10 | uVar4 << (bVar5 & 0x3f);\n    uVar9 = puVar1[uVar6 + 5];\n    uVar10 = puVar1[uVar7];\n    puVar2[uVar6 + 3] = puVar1[uVar7] << (bVar5 & 0x3f) | puVar1[uVar6 + 3] >> (param_4 & 0x3f);\n    puVar2[uVar7] = uVar9 << (bVar5 & 0x3f) | uVar10 >> (param_4 & 0x3f);\n    uVar9 = puVar1[uVar6 + 5] >> (param_4 & 0x3f);\n    uVar10 = puVar1[uVar6 + 6] >> (param_4 & 0x3f);\n    uVar6 = uVar7;\n  }" while (parenthesized_expression "(uVar6 < 0xfffffffffffffffc)" ( (binary_expression "uVar6 < 0xfffffffffffffffc" identifier < number_literal) )) (compound_statement "{\n    uVar7 = uVar6 + 4;\n    bVar5 = -param_4;\n    uVar4 = puVar1[uVar6 + 3];\n    puVar2[uVar6 + 1] = uVar9 | puVar1[uVar6 + 2] << (bVar5 & 0x3f);\n    puVar2[uVar6 + 2] = uVar10 | uVar4 << (bVar5 & 0x3f);\n    uVar9 = puVar1[uVar6 + 5];\n    uVar10 = puVar1[uVar7];\n    puVar2[uVar6 + 3] = puVar1[uVar7] << (bVar5 & 0x3f) | puVar1[uVar6 + 3] >> (param_4 & 0x3f);\n    puVar2[uVar7] = uVar9 << (bVar5 & 0x3f) | uVar10 >> (param_4 & 0x3f);\n    uVar9 = puVar1[uVar6 + 5] >> (param_4 & 0x3f);\n    uVar10 = puVar1[uVar6 + 6] >> (param_4 & 0x3f);\n    uVar6 = uVar7;\n  }" { (expression_statement "uVar7 = uVar6 + 4;" (assignment_expression "uVar7 = uVar6 + 4" identifier = (binary_expression "uVar6 + 4" identifier + number_literal)) ;) (expression_statement "bVar5 = -param_4;" (assignment_expression "bVar5 = -param_4" identifier = (unary_expression "-param_4" - identifier)) ;) (expression_statement "uVar4 = puVar1[uVar6 + 3];" (assignment_expression "uVar4 = puVar1[uVar6 + 3]" identifier = (subscript_expression "puVar1[uVar6 + 3]" identifier [ (binary_expression "uVar6 + 3" identifier + number_literal) ])) ;) (expression_statement "puVar2[uVar6 + 1] = uVar9 | puVar1[uVar6 + 2] << (bVar5 & 0x3f);" (assignment_expression "puVar2[uVar6 + 1] = uVar9 | puVar1[uVar6 + 2] << (bVar5 & 0x3f)" (subscript_expression "puVar2[uVar6 + 1]" identifier [ (binary_expression "uVar6 + 1" identifier + number_literal) ]) = (binary_expression "uVar9 | puVar1[uVar6 + 2] << (bVar5 & 0x3f)" identifier | (binary_expression "puVar1[uVar6 + 2] << (bVar5 & 0x3f)" (subscript_expression "puVar1[uVar6 + 2]" identifier [ (binary_expression "uVar6 + 2" identifier + number_literal) ]) << (parenthesized_expression "(bVar5 & 0x3f)" ( (binary_expression "bVar5 & 0x3f" identifier & number_literal) ))))) ;) (expression_statement "puVar2[uVar6 + 2] = uVar10 | uVar4 << (bVar5 & 0x3f);" (assignment_expression "puVar2[uVar6 + 2] = uVar10 | uVar4 << (bVar5 & 0x3f)" (subscript_expression "puVar2[uVar6 + 2]" identifier [ (binary_expression "uVar6 + 2" identifier + number_literal) ]) = (binary_expression "uVar10 | uVar4 << (bVar5 & 0x3f)" identifier | (binary_expression "uVar4 << (bVar5 & 0x3f)" identifier << (parenthesized_expression "(bVar5 & 0x3f)" ( (binary_expression "bVar5 & 0x3f" identifier & number_literal) ))))) ;) (expression_statement "uVar9 = puVar1[uVar6 + 5];" (assignment_expression "uVar9 = puVar1[uVar6 + 5]" identifier = (subscript_expression "puVar1[uVar6 + 5]" identifier [ (binary_expression "uVar6 + 5" identifier + number_literal) ])) ;) (expression_statement "uVar10 = puVar1[uVar7];" (assignment_expression "uVar10 = puVar1[uVar7]" identifier = (subscript_expression "puVar1[uVar7]" identifier [ identifier ])) ;) (expression_statement "puVar2[uVar6 + 3] = puVar1[uVar7] << (bVar5 & 0x3f) | puVar1[uVar6 + 3] >> (param_4 & 0x3f);" (assignment_expression "puVar2[uVar6 + 3] = puVar1[uVar7] << (bVar5 & 0x3f) | puVar1[uVar6 + 3] >> (param_4 & 0x3f)" (subscript_expression "puVar2[uVar6 + 3]" identifier [ (binary_expression "uVar6 + 3" identifier + number_literal) ]) = (binary_expression "puVar1[uVar7] << (bVar5 & 0x3f) | puVar1[uVar6 + 3] >> (param_4 & 0x3f)" (binary_expression "puVar1[uVar7] << (bVar5 & 0x3f)" (subscript_expression "puVar1[uVar7]" identifier [ identifier ]) << (parenthesized_expression "(bVar5 & 0x3f)" ( (binary_expression "bVar5 & 0x3f" identifier & number_literal) ))) | (binary_expression "puVar1[uVar6 + 3] >> (param_4 & 0x3f)" (subscript_expression "puVar1[uVar6 + 3]" identifier [ (binary_expression "uVar6 + 3" identifier + number_literal) ]) >> (parenthesized_expression "(param_4 & 0x3f)" ( (binary_expression "param_4 & 0x3f" identifier & number_literal) ))))) ;) (expression_statement "puVar2[uVar7] = uVar9 << (bVar5 & 0x3f) | uVar10 >> (param_4 & 0x3f);" (assignment_expression "puVar2[uVar7] = uVar9 << (bVar5 & 0x3f) | uVar10 >> (param_4 & 0x3f)" (subscript_expression "puVar2[uVar7]" identifier [ identifier ]) = (binary_expression "uVar9 << (bVar5 & 0x3f) | uVar10 >> (param_4 & 0x3f)" (binary_expression "uVar9 << (bVar5 & 0x3f)" identifier << (parenthesized_expression "(bVar5 & 0x3f)" ( (binary_expression "bVar5 & 0x3f" identifier & number_literal) ))) | (binary_expression "uVar10 >> (param_4 & 0x3f)" identifier >> (parenthesized_expression "(param_4 & 0x3f)" ( (binary_expression "param_4 & 0x3f" identifier & number_literal) ))))) ;) (expression_statement "uVar9 = puVar1[uVar6 + 5] >> (param_4 & 0x3f);" (assignment_expression "uVar9 = puVar1[uVar6 + 5] >> (param_4 & 0x3f)" identifier = (binary_expression "puVar1[uVar6 + 5] >> (param_4 & 0x3f)" (subscript_expression "puVar1[uVar6 + 5]" identifier [ (binary_expression "uVar6 + 5" identifier + number_literal) ]) >> (parenthesized_expression "(param_4 & 0x3f)" ( (binary_expression "param_4 & 0x3f" identifier & number_literal) )))) ;) (expression_statement "uVar10 = puVar1[uVar6 + 6] >> (param_4 & 0x3f);" (assignment_expression "uVar10 = puVar1[uVar6 + 6] >> (param_4 & 0x3f)" identifier = (binary_expression "puVar1[uVar6 + 6] >> (param_4 & 0x3f)" (subscript_expression "puVar1[uVar6 + 6]" identifier [ (binary_expression "uVar6 + 6" identifier + number_literal) ]) >> (parenthesized_expression "(param_4 & 0x3f)" ( (binary_expression "param_4 & 0x3f" identifier & number_literal) )))) ;) (expression_statement "uVar6 = uVar7;" (assignment_expression "uVar6 = uVar7" identifier = identifier) ;) })) (expression_statement "uVar6 = *puVar1;" (assignment_expression "uVar6 = *puVar1" identifier = (pointer_expression "*puVar1" * identifier)) ;) (expression_statement "puVar2[-2] = uVar9 | puVar1[-1] << (-param_4 & 0x3f);" (assignment_expression "puVar2[-2] = uVar9 | puVar1[-1] << (-param_4 & 0x3f)" (subscript_expression "puVar2[-2]" identifier [ number_literal ]) = (binary_expression "uVar9 | puVar1[-1] << (-param_4 & 0x3f)" identifier | (binary_expression "puVar1[-1] << (-param_4 & 0x3f)" (subscript_expression "puVar1[-1]" identifier [ number_literal ]) << (parenthesized_expression "(-param_4 & 0x3f)" ( (binary_expression "-param_4 & 0x3f" (unary_expression "-param_4" - identifier) & number_literal) ))))) ;) (expression_statement "puVar2[-1] = uVar10 | uVar6 << (-param_4 & 0x3f);" (assignment_expression "puVar2[-1] = uVar10 | uVar6 << (-param_4 & 0x3f)" (subscript_expression "puVar2[-1]" identifier [ number_literal ]) = (binary_expression "uVar10 | uVar6 << (-param_4 & 0x3f)" identifier | (binary_expression "uVar6 << (-param_4 & 0x3f)" identifier << (parenthesized_expression "(-param_4 & 0x3f)" ( (binary_expression "-param_4 & 0x3f" (unary_expression "-param_4" - identifier) & number_literal) ))))) ;) (labeled_statement "LAB_00125cd6:\n  *puVar2 = *puVar1 >> (param_4 & 0x3f);" statement_identifier : (expression_statement "*puVar2 = *puVar1 >> (param_4 & 0x3f);" (assignment_expression "*puVar2 = *puVar1 >> (param_4 & 0x3f)" (pointer_expression "*puVar2" * identifier) = (binary_expression "*puVar1 >> (param_4 & 0x3f)" (pointer_expression "*puVar1" * identifier) >> (parenthesized_expression "(param_4 & 0x3f)" ( (binary_expression "param_4 & 0x3f" identifier & number_literal) )))) ;)) (return_statement "return lVar3 << (-param_4 & 0x3f);" return (binary_expression "lVar3 << (-param_4 & 0x3f)" identifier << (parenthesized_expression "(-param_4 & 0x3f)" ( (binary_expression "-param_4 & 0x3f" (unary_expression "-param_4" - identifier) & number_literal) ))) ;) })))
(translation_unit "long __gmpn_rshift(long param_1,long *param_2,long param_3,byte param_4)\n\n{\n  ulong *puVar1;\n  ulong *puVar2;\n  long lVar3;\n  ulong uVar4;\n  byte bVar5;\n  ulong uVar6;\n  ulong uVar7;\n  uint uVar8;\n  ulong uVar9;\n  ulong uVar10;\n  \n  lVar3 = *param_2;\n  puVar1 = (ulong *)(param_2 + param_3 + -1);\n  puVar2 = (ulong *)(param_1 + -8 + param_3 * 8);\n  uVar6 = -param_3;\n  uVar8 = (int)param_3 + 1U & 3;\n  if (uVar8 != 0) {\n    if (uVar8 == 1) {\n      puVar2[1 - param_3] =\n           puVar1[1 - param_3] >> (param_4 & 0x3f) | puVar1[2 - param_3] << (-param_4 & 0x3f);\n      uVar6 = uVar6 + 1;\n    }\n    else {\n      if (uVar8 != 2) {\n        puVar2[1 - param_3] =\n             puVar1[1 - param_3] >> (param_4 & 0x3f) | puVar1[2 - param_3] << (-param_4 & 0x3f);\n        uVar6 = uVar6 + 1;\n      }\n      if (uVar6 == 0xffffffffffffffff) goto LAB_00125cd6;\n      uVar9 = puVar1[uVar6 + 2];\n      uVar10 = puVar1[uVar6 + 3];\n      puVar2[uVar6 + 1] =\n           puVar1[uVar6 + 1] >> (param_4 & 0x3f) | puVar1[uVar6 + 2] << (-param_4 & 0x3f);\n      puVar2[uVar6 + 2] = uVar9 >> (param_4 & 0x3f) | uVar10 << (-param_4 & 0x3f);\n      uVar6 = uVar6 + 2;\n    }\n  }\n  uVar9 = puVar1[uVar6 + 1] >> (param_4 & 0x3f);\n  uVar10 = puVar1[uVar6 + 2] >> (param_4 & 0x3f);\n  while (uVar6 < 0xfffffffffffffffc) {\n    uVar7 = uVar6 + 4;\n    bVar5 = -param_4;\n    uVar4 = puVar1[uVar6 + 3];\n    puVar2[uVar6 + 1] = uVar9 | puVar1[uVar6 + 2] << (bVar5 & 0x3f);\n    puVar2[uVar6 + 2] = uVar10 | uVar4 << (bVar5 & 0x3f);\n    uVar9 = puVar1[uVar6 + 5];\n    uVar10 = puVar1[uVar7];\n    puVar2[uVar6 + 3] = puVar1[uVar7] << (bVar5 & 0x3f) | puVar1[uVar6 + 3] >> (param_4 & 0x3f);\n    puVar2[uVar7] = uVar9 << (bVar5 & 0x3f) | uVar10 >> (param_4 & 0x3f);\n    uVar9 = puVar1[uVar6 + 5] >> (param_4 & 0x3f);\n    uVar10 = puVar1[uVar6 + 6] >> (param_4 & 0x3f);\n    uVar6 = uVar7;\n  }\n  uVar6 = *puVar1;\n  puVar2[-2] = uVar9 | puVar1[-1] << (-param_4 & 0x3f);\n  puVar2[-1] = uVar10 | uVar6 << (-param_4 & 0x3f);\nLAB_00125cd6:\n  *puVar2 = *puVar1 >> (param_4 & 0x3f);\n  return lVar3 << (-param_4 & 0x3f);\n}\n\n" (function_definition "long __gmpn_rshift(long param_1,long *param_2,long param_3,byte param_4)\n\n{\n  ulong *puVar1;\n  ulong *puVar2;\n  long lVar3;\n  ulong uVar4;\n  byte bVar5;\n  ulong uVar6;\n  ulong uVar7;\n  uint uVar8;\n  ulong uVar9;\n  ulong uVar10;\n  \n  lVar3 = *param_2;\n  puVar1 = (ulong *)(param_2 + param_3 + -1);\n  puVar2 = (ulong *)(param_1 + -8 + param_3 * 8);\n  uVar6 = -param_3;\n  uVar8 = (int)param_3 + 1U & 3;\n  if (uVar8 != 0) {\n    if (uVar8 == 1) {\n      puVar2[1 - param_3] =\n           puVar1[1 - param_3] >> (param_4 & 0x3f) | puVar1[2 - param_3] << (-param_4 & 0x3f);\n      uVar6 = uVar6 + 1;\n    }\n    else {\n      if (uVar8 != 2) {\n        puVar2[1 - param_3] =\n             puVar1[1 - param_3] >> (param_4 & 0x3f) | puVar1[2 - param_3] << (-param_4 & 0x3f);\n        uVar6 = uVar6 + 1;\n      }\n      if (uVar6 == 0xffffffffffffffff) goto LAB_00125cd6;\n      uVar9 = puVar1[uVar6 + 2];\n      uVar10 = puVar1[uVar6 + 3];\n      puVar2[uVar6 + 1] =\n           puVar1[uVar6 + 1] >> (param_4 & 0x3f) | puVar1[uVar6 + 2] << (-param_4 & 0x3f);\n      puVar2[uVar6 + 2] = uVar9 >> (param_4 & 0x3f) | uVar10 << (-param_4 & 0x3f);\n      uVar6 = uVar6 + 2;\n    }\n  }\n  uVar9 = puVar1[uVar6 + 1] >> (param_4 & 0x3f);\n  uVar10 = puVar1[uVar6 + 2] >> (param_4 & 0x3f);\n  while (uVar6 < 0xfffffffffffffffc) {\n    uVar7 = uVar6 + 4;\n    bVar5 = -param_4;\n    uVar4 = puVar1[uVar6 + 3];\n    puVar2[uVar6 + 1] = uVar9 | puVar1[uVar6 + 2] << (bVar5 & 0x3f);\n    puVar2[uVar6 + 2] = uVar10 | uVar4 << (bVar5 & 0x3f);\n    uVar9 = puVar1[uVar6 + 5];\n    uVar10 = puVar1[uVar7];\n    puVar2[uVar6 + 3] = puVar1[uVar7] << (bVar5 & 0x3f) | puVar1[uVar6 + 3] >> (param_4 & 0x3f);\n    puVar2[uVar7] = uVar9 << (bVar5 & 0x3f) | uVar10 >> (param_4 & 0x3f);\n    uVar9 = puVar1[uVar6 + 5] >> (param_4 & 0x3f);\n    uVar10 = puVar1[uVar6 + 6] >> (param_4 & 0x3f);\n    uVar6 = uVar7;\n  }\n  uVar6 = *puVar1;\n  puVar2[-2] = uVar9 | puVar1[-1] << (-param_4 & 0x3f);\n  puVar2[-1] = uVar10 | uVar6 << (-param_4 & 0x3f);\nLAB_00125cd6:\n  *puVar2 = *puVar1 >> (param_4 & 0x3f);\n  return lVar3 << (-param_4 & 0x3f);\n}" (sized_type_specifier "long" long) (function_declarator "__gmpn_rshift(long param_1,long *param_2,long param_3,byte param_4)" identifier (parameter_list "(long param_1,long *param_2,long param_3,byte param_4)" ( (parameter_declaration "long param_1" (sized_type_specifier "long" long) identifier) , (parameter_declaration "long *param_2" (sized_type_specifier "long" long) (pointer_declarator "*param_2" * identifier)) , (parameter_declaration "long param_3" (sized_type_specifier "long" long) identifier) , (parameter_declaration "byte param_4" type_identifier identifier) ))) (compound_statement "{\n  ulong *puVar1;\n  ulong *puVar2;\n  long lVar3;\n  ulong uVar4;\n  byte bVar5;\n  ulong uVar6;\n  ulong uVar7;\n  uint uVar8;\n  ulong uVar9;\n  ulong uVar10;\n  \n  lVar3 = *param_2;\n  puVar1 = (ulong *)(param_2 + param_3 + -1);\n  puVar2 = (ulong *)(param_1 + -8 + param_3 * 8);\n  uVar6 = -param_3;\n  uVar8 = (int)param_3 + 1U & 3;\n  if (uVar8 != 0) {\n    if (uVar8 == 1) {\n      puVar2[1 - param_3] =\n           puVar1[1 - param_3] >> (param_4 & 0x3f) | puVar1[2 - param_3] << (-param_4 & 0x3f);\n      uVar6 = uVar6 + 1;\n    }\n    else {\n      if (uVar8 != 2) {\n        puVar2[1 - param_3] =\n             puVar1[1 - param_3] >> (param_4 & 0x3f) | puVar1[2 - param_3] << (-param_4 & 0x3f);\n        uVar6 = uVar6 + 1;\n      }\n      if (uVar6 == 0xffffffffffffffff) goto LAB_00125cd6;\n      uVar9 = puVar1[uVar6 + 2];\n      uVar10 = puVar1[uVar6 + 3];\n      puVar2[uVar6 + 1] =\n           puVar1[uVar6 + 1] >> (param_4 & 0x3f) | puVar1[uVar6 + 2] << (-param_4 & 0x3f);\n      puVar2[uVar6 + 2] = uVar9 >> (param_4 & 0x3f) | uVar10 << (-param_4 & 0x3f);\n      uVar6 = uVar6 + 2;\n    }\n  }\n  uVar9 = puVar1[uVar6 + 1] >> (param_4 & 0x3f);\n  uVar10 = puVar1[uVar6 + 2] >> (param_4 & 0x3f);\n  while (uVar6 < 0xfffffffffffffffc) {\n    uVar7 = uVar6 + 4;\n    bVar5 = -param_4;\n    uVar4 = puVar1[uVar6 + 3];\n    puVar2[uVar6 + 1] = uVar9 | puVar1[uVar6 + 2] << (bVar5 & 0x3f);\n    puVar2[uVar6 + 2] = uVar10 | uVar4 << (bVar5 & 0x3f);\n    uVar9 = puVar1[uVar6 + 5];\n    uVar10 = puVar1[uVar7];\n    puVar2[uVar6 + 3] = puVar1[uVar7] << (bVar5 & 0x3f) | puVar1[uVar6 + 3] >> (param_4 & 0x3f);\n    puVar2[uVar7] = uVar9 << (bVar5 & 0x3f) | uVar10 >> (param_4 & 0x3f);\n    uVar9 = puVar1[uVar6 + 5] >> (param_4 & 0x3f);\n    uVar10 = puVar1[uVar6 + 6] >> (param_4 & 0x3f);\n    uVar6 = uVar7;\n  }\n  uVar6 = *puVar1;\n  puVar2[-2] = uVar9 | puVar1[-1] << (-param_4 & 0x3f);\n  puVar2[-1] = uVar10 | uVar6 << (-param_4 & 0x3f);\nLAB_00125cd6:\n  *puVar2 = *puVar1 >> (param_4 & 0x3f);\n  return lVar3 << (-param_4 & 0x3f);\n}" { (declaration "ulong *puVar1;" type_identifier (pointer_declarator "*puVar1" * identifier) ;) (declaration "ulong *puVar2;" type_identifier (pointer_declarator "*puVar2" * identifier) ;) (declaration "long lVar3;" (sized_type_specifier "long" long) identifier ;) (declaration "ulong uVar4;" type_identifier identifier ;) (declaration "byte bVar5;" type_identifier identifier ;) (declaration "ulong uVar6;" type_identifier identifier ;) (declaration "ulong uVar7;" type_identifier identifier ;) (declaration "uint uVar8;" type_identifier identifier ;) (declaration "ulong uVar9;" type_identifier identifier ;) (declaration "ulong uVar10;" type_identifier identifier ;) (expression_statement "lVar3 = *param_2;" (assignment_expression "lVar3 = *param_2" identifier = (pointer_expression "*param_2" * identifier)) ;) (expression_statement "puVar1 = (ulong *)(param_2 + param_3 + -1);" (assignment_expression "puVar1 = (ulong *)(param_2 + param_3 + -1)" identifier = (cast_expression "(ulong *)(param_2 + param_3 + -1)" ( (type_descriptor "ulong *" type_identifier (abstract_pointer_declarator "*" *)) ) (parenthesized_expression "(param_2 + param_3 + -1)" ( (binary_expression "param_2 + param_3 + -1" (binary_expression "param_2 + param_3" identifier + identifier) + number_literal) )))) ;) (expression_statement "puVar2 = (ulong *)(param_1 + -8 + param_3 * 8);" (assignment_expression "puVar2 = (ulong *)(param_1 + -8 + param_3 * 8)" identifier = (cast_expression "(ulong *)(param_1 + -8 + param_3 * 8)" ( (type_descriptor "ulong *" type_identifier (abstract_pointer_declarator "*" *)) ) (parenthesized_expression "(param_1 + -8 + param_3 * 8)" ( (binary_expression "param_1 + -8 + param_3 * 8" (binary_expression "param_1 + -8" identifier + number_literal) + (binary_expression "param_3 * 8" identifier * number_literal)) )))) ;) (expression_statement "uVar6 = -param_3;" (assignment_expression "uVar6 = -param_3" identifier = (unary_expression "-param_3" - identifier)) ;) (expression_statement "uVar8 = (int)param_3 + 1U & 3;" (assignment_expression "uVar8 = (int)param_3 + 1U & 3" identifier = (binary_expression "(int)param_3 + 1U & 3" (binary_expression "(int)param_3 + 1U" (cast_expression "(int)param_3" ( (type_descriptor "int" primitive_type) ) identifier) + number_literal) & number_literal)) ;) (if_statement "if (uVar8 != 0) {\n    if (uVar8 == 1) {\n      puVar2[1 - param_3] =\n           puVar1[1 - param_3] >> (param_4 & 0x3f) | puVar1[2 - param_3] << (-param_4 & 0x3f);\n      uVar6 = uVar6 + 1;\n    }\n    else {\n      if (uVar8 != 2) {\n        puVar2[1 - param_3] =\n             puVar1[1 - param_3] >> (param_4 & 0x3f) | puVar1[2 - param_3] << (-param_4 & 0x3f);\n        uVar6 = uVar6 + 1;\n      }\n      if (uVar6 == 0xffffffffffffffff) goto LAB_00125cd6;\n      uVar9 = puVar1[uVar6 + 2];\n      uVar10 = puVar1[uVar6 + 3];\n      puVar2[uVar6 + 1] =\n           puVar1[uVar6 + 1] >> (param_4 & 0x3f) | puVar1[uVar6 + 2] << (-param_4 & 0x3f);\n      puVar2[uVar6 + 2] = uVar9 >> (param_4 & 0x3f) | uVar10 << (-param_4 & 0x3f);\n      uVar6 = uVar6 + 2;\n    }\n  }" if (parenthesized_expression "(uVar8 != 0)" ( (binary_expression "uVar8 != 0" identifier != number_literal) )) (compound_statement "{\n    if (uVar8 == 1) {\n      puVar2[1 - param_3] =\n           puVar1[1 - param_3] >> (param_4 & 0x3f) | puVar1[2 - param_3] << (-param_4 & 0x3f);\n      uVar6 = uVar6 + 1;\n    }\n    else {\n      if (uVar8 != 2) {\n        puVar2[1 - param_3] =\n             puVar1[1 - param_3] >> (param_4 & 0x3f) | puVar1[2 - param_3] << (-param_4 & 0x3f);\n        uVar6 = uVar6 + 1;\n      }\n      if (uVar6 == 0xffffffffffffffff) goto LAB_00125cd6;\n      uVar9 = puVar1[uVar6 + 2];\n      uVar10 = puVar1[uVar6 + 3];\n      puVar2[uVar6 + 1] =\n           puVar1[uVar6 + 1] >> (param_4 & 0x3f) | puVar1[uVar6 + 2] << (-param_4 & 0x3f);\n      puVar2[uVar6 + 2] = uVar9 >> (param_4 & 0x3f) | uVar10 << (-param_4 & 0x3f);\n      uVar6 = uVar6 + 2;\n    }\n  }" { (if_statement "if (uVar8 == 1) {\n      puVar2[1 - param_3] =\n           puVar1[1 - param_3] >> (param_4 & 0x3f) | puVar1[2 - param_3] << (-param_4 & 0x3f);\n      uVar6 = uVar6 + 1;\n    }\n    else {\n      if (uVar8 != 2) {\n        puVar2[1 - param_3] =\n             puVar1[1 - param_3] >> (param_4 & 0x3f) | puVar1[2 - param_3] << (-param_4 & 0x3f);\n        uVar6 = uVar6 + 1;\n      }\n      if (uVar6 == 0xffffffffffffffff) goto LAB_00125cd6;\n      uVar9 = puVar1[uVar6 + 2];\n      uVar10 = puVar1[uVar6 + 3];\n      puVar2[uVar6 + 1] =\n           puVar1[uVar6 + 1] >> (param_4 & 0x3f) | puVar1[uVar6 + 2] << (-param_4 & 0x3f);\n      puVar2[uVar6 + 2] = uVar9 >> (param_4 & 0x3f) | uVar10 << (-param_4 & 0x3f);\n      uVar6 = uVar6 + 2;\n    }" if (parenthesized_expression "(uVar8 == 1)" ( (binary_expression "uVar8 == 1" identifier == number_literal) )) (compound_statement "{\n      puVar2[1 - param_3] =\n           puVar1[1 - param_3] >> (param_4 & 0x3f) | puVar1[2 - param_3] << (-param_4 & 0x3f);\n      uVar6 = uVar6 + 1;\n    }" { (expression_statement "puVar2[1 - param_3] =\n           puVar1[1 - param_3] >> (param_4 & 0x3f) | puVar1[2 - param_3] << (-param_4 & 0x3f);" (assignment_expression "puVar2[1 - param_3] =\n           puVar1[1 - param_3] >> (param_4 & 0x3f) | puVar1[2 - param_3] << (-param_4 & 0x3f)" (subscript_expression "puVar2[1 - param_3]" identifier [ (binary_expression "1 - param_3" number_literal - identifier) ]) = (binary_expression "puVar1[1 - param_3] >> (param_4 & 0x3f) | puVar1[2 - param_3] << (-param_4 & 0x3f)" (binary_expression "puVar1[1 - param_3] >> (param_4 & 0x3f)" (subscript_expression "puVar1[1 - param_3]" identifier [ (binary_expression "1 - param_3" number_literal - identifier) ]) >> (parenthesized_expression "(param_4 & 0x3f)" ( (binary_expression "param_4 & 0x3f" identifier & number_literal) ))) | (binary_expression "puVar1[2 - param_3] << (-param_4 & 0x3f)" (subscript_expression "puVar1[2 - param_3]" identifier [ (binary_expression "2 - param_3" number_literal - identifier) ]) << (parenthesized_expression "(-param_4 & 0x3f)" ( (binary_expression "-param_4 & 0x3f" (unary_expression "-param_4" - identifier) & number_literal) ))))) ;) (expression_statement "uVar6 = uVar6 + 1;" (assignment_expression "uVar6 = uVar6 + 1" identifier = (binary_expression "uVar6 + 1" identifier + number_literal)) ;) }) (else_clause "else {\n      if (uVar8 != 2) {\n        puVar2[1 - param_3] =\n             puVar1[1 - param_3] >> (param_4 & 0x3f) | puVar1[2 - param_3] << (-param_4 & 0x3f);\n        uVar6 = uVar6 + 1;\n      }\n      if (uVar6 == 0xffffffffffffffff) goto LAB_00125cd6;\n      uVar9 = puVar1[uVar6 + 2];\n      uVar10 = puVar1[uVar6 + 3];\n      puVar2[uVar6 + 1] =\n           puVar1[uVar6 + 1] >> (param_4 & 0x3f) | puVar1[uVar6 + 2] << (-param_4 & 0x3f);\n      puVar2[uVar6 + 2] = uVar9 >> (param_4 & 0x3f) | uVar10 << (-param_4 & 0x3f);\n      uVar6 = uVar6 + 2;\n    }" else (compound_statement "{\n      if (uVar8 != 2) {\n        puVar2[1 - param_3] =\n             puVar1[1 - param_3] >> (param_4 & 0x3f) | puVar1[2 - param_3] << (-param_4 & 0x3f);\n        uVar6 = uVar6 + 1;\n      }\n      if (uVar6 == 0xffffffffffffffff) goto LAB_00125cd6;\n      uVar9 = puVar1[uVar6 + 2];\n      uVar10 = puVar1[uVar6 + 3];\n      puVar2[uVar6 + 1] =\n           puVar1[uVar6 + 1] >> (param_4 & 0x3f) | puVar1[uVar6 + 2] << (-param_4 & 0x3f);\n      puVar2[uVar6 + 2] = uVar9 >> (param_4 & 0x3f) | uVar10 << (-param_4 & 0x3f);\n      uVar6 = uVar6 + 2;\n    }" { (if_statement "if (uVar8 != 2) {\n        puVar2[1 - param_3] =\n             puVar1[1 - param_3] >> (param_4 & 0x3f) | puVar1[2 - param_3] << (-param_4 & 0x3f);\n        uVar6 = uVar6 + 1;\n      }" if (parenthesized_expression "(uVar8 != 2)" ( (binary_expression "uVar8 != 2" identifier != number_literal) )) (compound_statement "{\n        puVar2[1 - param_3] =\n             puVar1[1 - param_3] >> (param_4 & 0x3f) | puVar1[2 - param_3] << (-param_4 & 0x3f);\n        uVar6 = uVar6 + 1;\n      }" { (expression_statement "puVar2[1 - param_3] =\n             puVar1[1 - param_3] >> (param_4 & 0x3f) | puVar1[2 - param_3] << (-param_4 & 0x3f);" (assignment_expression "puVar2[1 - param_3] =\n             puVar1[1 - param_3] >> (param_4 & 0x3f) | puVar1[2 - param_3] << (-param_4 & 0x3f)" (subscript_expression "puVar2[1 - param_3]" identifier [ (binary_expression "1 - param_3" number_literal - identifier) ]) = (binary_expression "puVar1[1 - param_3] >> (param_4 & 0x3f) | puVar1[2 - param_3] << (-param_4 & 0x3f)" (binary_expression "puVar1[1 - param_3] >> (param_4 & 0x3f)" (subscript_expression "puVar1[1 - param_3]" identifier [ (binary_expression "1 - param_3" number_literal - identifier) ]) >> (parenthesized_expression "(param_4 & 0x3f)" ( (binary_expression "param_4 & 0x3f" identifier & number_literal) ))) | (binary_expression "puVar1[2 - param_3] << (-param_4 & 0x3f)" (subscript_expression "puVar1[2 - param_3]" identifier [ (binary_expression "2 - param_3" number_literal - identifier) ]) << (parenthesized_expression "(-param_4 & 0x3f)" ( (binary_expression "-param_4 & 0x3f" (unary_expression "-param_4" - identifier) & number_literal) ))))) ;) (expression_statement "uVar6 = uVar6 + 1;" (assignment_expression "uVar6 = uVar6 + 1" identifier = (binary_expression "uVar6 + 1" identifier + number_literal)) ;) })) (if_statement "if (uVar6 == 0xffffffffffffffff) goto LAB_00125cd6;" if (parenthesized_expression "(uVar6 == 0xffffffffffffffff)" ( (binary_expression "uVar6 == 0xffffffffffffffff" identifier == number_literal) )) (goto_statement "goto LAB_00125cd6;" goto statement_identifier ;)) (expression_statement "uVar9 = puVar1[uVar6 + 2];" (assignment_expression "uVar9 = puVar1[uVar6 + 2]" identifier = (subscript_expression "puVar1[uVar6 + 2]" identifier [ (binary_expression "uVar6 + 2" identifier + number_literal) ])) ;) (expression_statement "uVar10 = puVar1[uVar6 + 3];" (assignment_expression "uVar10 = puVar1[uVar6 + 3]" identifier = (subscript_expression "puVar1[uVar6 + 3]" identifier [ (binary_expression "uVar6 + 3" identifier + number_literal) ])) ;) (expression_statement "puVar2[uVar6 + 1] =\n           puVar1[uVar6 + 1] >> (param_4 & 0x3f) | puVar1[uVar6 + 2] << (-param_4 & 0x3f);" (assignment_expression "puVar2[uVar6 + 1] =\n           puVar1[uVar6 + 1] >> (param_4 & 0x3f) | puVar1[uVar6 + 2] << (-param_4 & 0x3f)" (subscript_expression "puVar2[uVar6 + 1]" identifier [ (binary_expression "uVar6 + 1" identifier + number_literal) ]) = (binary_expression "puVar1[uVar6 + 1] >> (param_4 & 0x3f) | puVar1[uVar6 + 2] << (-param_4 & 0x3f)" (binary_expression "puVar1[uVar6 + 1] >> (param_4 & 0x3f)" (subscript_expression "puVar1[uVar6 + 1]" identifier [ (binary_expression "uVar6 + 1" identifier + number_literal) ]) >> (parenthesized_expression "(param_4 & 0x3f)" ( (binary_expression "param_4 & 0x3f" identifier & number_literal) ))) | (binary_expression "puVar1[uVar6 + 2] << (-param_4 & 0x3f)" (subscript_expression "puVar1[uVar6 + 2]" identifier [ (binary_expression "uVar6 + 2" identifier + number_literal) ]) << (parenthesized_expression "(-param_4 & 0x3f)" ( (binary_expression "-param_4 & 0x3f" (unary_expression "-param_4" - identifier) & number_literal) ))))) ;) (expression_statement "puVar2[uVar6 + 2] = uVar9 >> (param_4 & 0x3f) | uVar10 << (-param_4 & 0x3f);" (assignment_expression "puVar2[uVar6 + 2] = uVar9 >> (param_4 & 0x3f) | uVar10 << (-param_4 & 0x3f)" (subscript_expression "puVar2[uVar6 + 2]" identifier [ (binary_expression "uVar6 + 2" identifier + number_literal) ]) = (binary_expression "uVar9 >> (param_4 & 0x3f) | uVar10 << (-param_4 & 0x3f)" (binary_expression "uVar9 >> (param_4 & 0x3f)" identifier >> (parenthesized_expression "(param_4 & 0x3f)" ( (binary_expression "param_4 & 0x3f" identifier & number_literal) ))) | (binary_expression "uVar10 << (-param_4 & 0x3f)" identifier << (parenthesized_expression "(-param_4 & 0x3f)" ( (binary_expression "-param_4 & 0x3f" (unary_expression "-param_4" - identifier) & number_literal) ))))) ;) (expression_statement "uVar6 = uVar6 + 2;" (assignment_expression "uVar6 = uVar6 + 2" identifier = (binary_expression "uVar6 + 2" identifier + number_literal)) ;) }))) })) (expression_statement "uVar9 = puVar1[uVar6 + 1] >> (param_4 & 0x3f);" (assignment_expression "uVar9 = puVar1[uVar6 + 1] >> (param_4 & 0x3f)" identifier = (binary_expression "puVar1[uVar6 + 1] >> (param_4 & 0x3f)" (subscript_expression "puVar1[uVar6 + 1]" identifier [ (binary_expression "uVar6 + 1" identifier + number_literal) ]) >> (parenthesized_expression "(param_4 & 0x3f)" ( (binary_expression "param_4 & 0x3f" identifier & number_literal) )))) ;) (expression_statement "uVar10 = puVar1[uVar6 + 2] >> (param_4 & 0x3f);" (assignment_expression "uVar10 = puVar1[uVar6 + 2] >> (param_4 & 0x3f)" identifier = (binary_expression "puVar1[uVar6 + 2] >> (param_4 & 0x3f)" (subscript_expression "puVar1[uVar6 + 2]" identifier [ (binary_expression "uVar6 + 2" identifier + number_literal) ]) >> (parenthesized_expression "(param_4 & 0x3f)" ( (binary_expression "param_4 & 0x3f" identifier & number_literal) )))) ;) (while_statement "while (uVar6 < 0xfffffffffffffffc) {\n    uVar7 = uVar6 + 4;\n    bVar5 = -param_4;\n    uVar4 = puVar1[uVar6 + 3];\n    puVar2[uVar6 + 1] = uVar9 | puVar1[uVar6 + 2] << (bVar5 & 0x3f);\n    puVar2[uVar6 + 2] = uVar10 | uVar4 << (bVar5 & 0x3f);\n    uVar9 = puVar1[uVar6 + 5];\n    uVar10 = puVar1[uVar7];\n    puVar2[uVar6 + 3] = puVar1[uVar7] << (bVar5 & 0x3f) | puVar1[uVar6 + 3] >> (param_4 & 0x3f);\n    puVar2[uVar7] = uVar9 << (bVar5 & 0x3f) | uVar10 >> (param_4 & 0x3f);\n    uVar9 = puVar1[uVar6 + 5] >> (param_4 & 0x3f);\n    uVar10 = puVar1[uVar6 + 6] >> (param_4 & 0x3f);\n    uVar6 = uVar7;\n  }" while (parenthesized_expression "(uVar6 < 0xfffffffffffffffc)" ( (binary_expression "uVar6 < 0xfffffffffffffffc" identifier < number_literal) )) (compound_statement "{\n    uVar7 = uVar6 + 4;\n    bVar5 = -param_4;\n    uVar4 = puVar1[uVar6 + 3];\n    puVar2[uVar6 + 1] = uVar9 | puVar1[uVar6 + 2] << (bVar5 & 0x3f);\n    puVar2[uVar6 + 2] = uVar10 | uVar4 << (bVar5 & 0x3f);\n    uVar9 = puVar1[uVar6 + 5];\n    uVar10 = puVar1[uVar7];\n    puVar2[uVar6 + 3] = puVar1[uVar7] << (bVar5 & 0x3f) | puVar1[uVar6 + 3] >> (param_4 & 0x3f);\n    puVar2[uVar7] = uVar9 << (bVar5 & 0x3f) | uVar10 >> (param_4 & 0x3f);\n    uVar9 = puVar1[uVar6 + 5] >> (param_4 & 0x3f);\n    uVar10 = puVar1[uVar6 + 6] >> (param_4 & 0x3f);\n    uVar6 = uVar7;\n  }" { (expression_statement "uVar7 = uVar6 + 4;" (assignment_expression "uVar7 = uVar6 + 4" identifier = (binary_expression "uVar6 + 4" identifier + number_literal)) ;) (expression_statement "bVar5 = -param_4;" (assignment_expression "bVar5 = -param_4" identifier = (unary_expression "-param_4" - identifier)) ;) (expression_statement "uVar4 = puVar1[uVar6 + 3];" (assignment_expression "uVar4 = puVar1[uVar6 + 3]" identifier = (subscript_expression "puVar1[uVar6 + 3]" identifier [ (binary_expression "uVar6 + 3" identifier + number_literal) ])) ;) (expression_statement "puVar2[uVar6 + 1] = uVar9 | puVar1[uVar6 + 2] << (bVar5 & 0x3f);" (assignment_expression "puVar2[uVar6 + 1] = uVar9 | puVar1[uVar6 + 2] << (bVar5 & 0x3f)" (subscript_expression "puVar2[uVar6 + 1]" identifier [ (binary_expression "uVar6 + 1" identifier + number_literal) ]) = (binary_expression "uVar9 | puVar1[uVar6 + 2] << (bVar5 & 0x3f)" identifier | (binary_expression "puVar1[uVar6 + 2] << (bVar5 & 0x3f)" (subscript_expression "puVar1[uVar6 + 2]" identifier [ (binary_expression "uVar6 + 2" identifier + number_literal) ]) << (parenthesized_expression "(bVar5 & 0x3f)" ( (binary_expression "bVar5 & 0x3f" identifier & number_literal) ))))) ;) (expression_statement "puVar2[uVar6 + 2] = uVar10 | uVar4 << (bVar5 & 0x3f);" (assignment_expression "puVar2[uVar6 + 2] = uVar10 | uVar4 << (bVar5 & 0x3f)" (subscript_expression "puVar2[uVar6 + 2]" identifier [ (binary_expression "uVar6 + 2" identifier + number_literal) ]) = (binary_expression "uVar10 | uVar4 << (bVar5 & 0x3f)" identifier | (binary_expression "uVar4 << (bVar5 & 0x3f)" identifier << (parenthesized_expression "(bVar5 & 0x3f)" ( (binary_expression "bVar5 & 0x3f" identifier & number_literal) ))))) ;) (expression_statement "uVar9 = puVar1[uVar6 + 5];" (assignment_expression "uVar9 = puVar1[uVar6 + 5]" identifier = (subscript_expression "puVar1[uVar6 + 5]" identifier [ (binary_expression "uVar6 + 5" identifier + number_literal) ])) ;) (expression_statement "uVar10 = puVar1[uVar7];" (assignment_expression "uVar10 = puVar1[uVar7]" identifier = (subscript_expression "puVar1[uVar7]" identifier [ identifier ])) ;) (expression_statement "puVar2[uVar6 + 3] = puVar1[uVar7] << (bVar5 & 0x3f) | puVar1[uVar6 + 3] >> (param_4 & 0x3f);" (assignment_expression "puVar2[uVar6 + 3] = puVar1[uVar7] << (bVar5 & 0x3f) | puVar1[uVar6 + 3] >> (param_4 & 0x3f)" (subscript_expression "puVar2[uVar6 + 3]" identifier [ (binary_expression "uVar6 + 3" identifier + number_literal) ]) = (binary_expression "puVar1[uVar7] << (bVar5 & 0x3f) | puVar1[uVar6 + 3] >> (param_4 & 0x3f)" (binary_expression "puVar1[uVar7] << (bVar5 & 0x3f)" (subscript_expression "puVar1[uVar7]" identifier [ identifier ]) << (parenthesized_expression "(bVar5 & 0x3f)" ( (binary_expression "bVar5 & 0x3f" identifier & number_literal) ))) | (binary_expression "puVar1[uVar6 + 3] >> (param_4 & 0x3f)" (subscript_expression "puVar1[uVar6 + 3]" identifier [ (binary_expression "uVar6 + 3" identifier + number_literal) ]) >> (parenthesized_expression "(param_4 & 0x3f)" ( (binary_expression "param_4 & 0x3f" identifier & number_literal) ))))) ;) (expression_statement "puVar2[uVar7] = uVar9 << (bVar5 & 0x3f) | uVar10 >> (param_4 & 0x3f);" (assignment_expression "puVar2[uVar7] = uVar9 << (bVar5 & 0x3f) | uVar10 >> (param_4 & 0x3f)" (subscript_expression "puVar2[uVar7]" identifier [ identifier ]) = (binary_expression "uVar9 << (bVar5 & 0x3f) | uVar10 >> (param_4 & 0x3f)" (binary_expression "uVar9 << (bVar5 & 0x3f)" identifier << (parenthesized_expression "(bVar5 & 0x3f)" ( (binary_expression "bVar5 & 0x3f" identifier & number_literal) ))) | (binary_expression "uVar10 >> (param_4 & 0x3f)" identifier >> (parenthesized_expression "(param_4 & 0x3f)" ( (binary_expression "param_4 & 0x3f" identifier & number_literal) ))))) ;) (expression_statement "uVar9 = puVar1[uVar6 + 5] >> (param_4 & 0x3f);" (assignment_expression "uVar9 = puVar1[uVar6 + 5] >> (param_4 & 0x3f)" identifier = (binary_expression "puVar1[uVar6 + 5] >> (param_4 & 0x3f)" (subscript_expression "puVar1[uVar6 + 5]" identifier [ (binary_expression "uVar6 + 5" identifier + number_literal) ]) >> (parenthesized_expression "(param_4 & 0x3f)" ( (binary_expression "param_4 & 0x3f" identifier & number_literal) )))) ;) (expression_statement "uVar10 = puVar1[uVar6 + 6] >> (param_4 & 0x3f);" (assignment_expression "uVar10 = puVar1[uVar6 + 6] >> (param_4 & 0x3f)" identifier = (binary_expression "puVar1[uVar6 + 6] >> (param_4 & 0x3f)" (subscript_expression "puVar1[uVar6 + 6]" identifier [ (binary_expression "uVar6 + 6" identifier + number_literal) ]) >> (parenthesized_expression "(param_4 & 0x3f)" ( (binary_expression "param_4 & 0x3f" identifier & number_literal) )))) ;) (expression_statement "uVar6 = uVar7;" (assignment_expression "uVar6 = uVar7" identifier = identifier) ;) })) (expression_statement "uVar6 = *puVar1;" (assignment_expression "uVar6 = *puVar1" identifier = (pointer_expression "*puVar1" * identifier)) ;) (expression_statement "puVar2[-2] = uVar9 | puVar1[-1] << (-param_4 & 0x3f);" (assignment_expression "puVar2[-2] = uVar9 | puVar1[-1] << (-param_4 & 0x3f)" (subscript_expression "puVar2[-2]" identifier [ number_literal ]) = (binary_expression "uVar9 | puVar1[-1] << (-param_4 & 0x3f)" identifier | (binary_expression "puVar1[-1] << (-param_4 & 0x3f)" (subscript_expression "puVar1[-1]" identifier [ number_literal ]) << (parenthesized_expression "(-param_4 & 0x3f)" ( (binary_expression "-param_4 & 0x3f" (unary_expression "-param_4" - identifier) & number_literal) ))))) ;) (expression_statement "puVar2[-1] = uVar10 | uVar6 << (-param_4 & 0x3f);" (assignment_expression "puVar2[-1] = uVar10 | uVar6 << (-param_4 & 0x3f)" (subscript_expression "puVar2[-1]" identifier [ number_literal ]) = (binary_expression "uVar10 | uVar6 << (-param_4 & 0x3f)" identifier | (binary_expression "uVar6 << (-param_4 & 0x3f)" identifier << (parenthesized_expression "(-param_4 & 0x3f)" ( (binary_expression "-param_4 & 0x3f" (unary_expression "-param_4" - identifier) & number_literal) ))))) ;) (labeled_statement "LAB_00125cd6:\n  *puVar2 = *puVar1 >> (param_4 & 0x3f);" statement_identifier : (expression_statement "*puVar2 = *puVar1 >> (param_4 & 0x3f);" (assignment_expression "*puVar2 = *puVar1 >> (param_4 & 0x3f)" (pointer_expression "*puVar2" * identifier) = (binary_expression "*puVar1 >> (param_4 & 0x3f)" (pointer_expression "*puVar1" * identifier) >> (parenthesized_expression "(param_4 & 0x3f)" ( (binary_expression "param_4 & 0x3f" identifier & number_literal) )))) ;)) (return_statement "return lVar3 << (-param_4 & 0x3f);" return (binary_expression "lVar3 << (-param_4 & 0x3f)" identifier << (parenthesized_expression "(-param_4 & 0x3f)" ( (binary_expression "-param_4 & 0x3f" (unary_expression "-param_4" - identifier) & number_literal) ))) ;) })))
(translation_unit (function_definition (sized_type_specifier long) (function_declarator IDENT (parameter_list ( (parameter_declaration (sized_type_specifier long) IDENT) , (parameter_declaration (sized_type_specifier long) (pointer_declarator * IDENT)) , (parameter_declaration (sized_type_specifier long) IDENT) , (parameter_declaration TYPE IDENT) ))) (compound_statement { (declaration TYPE (pointer_declarator * IDENT) ;) (declaration TYPE (pointer_declarator * IDENT) ;) (declaration (sized_type_specifier long) IDENT ;) (declaration TYPE IDENT ;) (declaration TYPE IDENT ;) (declaration TYPE IDENT ;) (declaration TYPE IDENT ;) (declaration TYPE IDENT ;) (declaration TYPE IDENT ;) (declaration TYPE 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 (binary_expression IDENT + IDENT) + LIT) )))) ;) (expression_statement (assignment_expression IDENT = (cast_expression ( (type_descriptor TYPE (abstract_pointer_declarator *)) ) (parenthesized_expression ( (binary_expression (binary_expression IDENT + LIT) + (binary_expression IDENT * LIT)) )))) ;) (expression_statement (assignment_expression IDENT = (unary_expression - IDENT)) ;) (expression_statement (assignment_expression IDENT = (binary_expression (binary_expression (cast_expression ( (type_descriptor TYPE) ) IDENT) + LIT) & LIT)) ;) (if_statement if (parenthesized_expression ( (binary_expression IDENT != LIT) )) (compound_statement { (if_statement if (parenthesized_expression ( (binary_expression IDENT == LIT) )) (compound_statement { (expression_statement (assignment_expression (subscript_expression IDENT [ (binary_expression LIT - IDENT) ]) = (binary_expression (binary_expression (subscript_expression IDENT [ (binary_expression LIT - IDENT) ]) >> (parenthesized_expression ( (binary_expression IDENT & LIT) ))) | (binary_expression (subscript_expression IDENT [ (binary_expression LIT - IDENT) ]) << (parenthesized_expression ( (binary_expression (unary_expression - IDENT) & LIT) ))))) ;) (expression_statement (assignment_expression IDENT = (binary_expression IDENT + LIT)) ;) }) (else_clause else (compound_statement { (if_statement if (parenthesized_expression ( (binary_expression IDENT != LIT) )) (compound_statement { (expression_statement (assignment_expression (subscript_expression IDENT [ (binary_expression LIT - IDENT) ]) = (binary_expression (binary_expression (subscript_expression IDENT [ (binary_expression LIT - IDENT) ]) >> (parenthesized_expression ( (binary_expression IDENT & LIT) ))) | (binary_expression (subscript_expression IDENT [ (binary_expression LIT - IDENT) ]) << (parenthesized_expression ( (binary_expression (unary_expression - IDENT) & LIT) ))))) ;) (expression_statement (assignment_expression IDENT = (binary_expression IDENT + LIT)) ;) })) (if_statement if (parenthesized_expression ( (binary_expression IDENT == LIT) )) (goto_statement goto statement_identifier ;)) (expression_statement (assignment_expression IDENT = (subscript_expression IDENT [ (binary_expression IDENT + LIT) ])) ;) (expression_statement (assignment_expression IDENT = (subscript_expression IDENT [ (binary_expression IDENT + LIT) ])) ;) (expression_statement (assignment_expression (subscript_expression IDENT [ (binary_expression IDENT + LIT) ]) = (binary_expression (binary_expression (subscript_expression IDENT [ (binary_expression IDENT + LIT) ]) >> (parenthesized_expression ( (binary_expression IDENT & LIT) ))) | (binary_expression (subscript_expression IDENT [ (binary_expression IDENT + LIT) ]) << (parenthesized_expression ( (binary_expression (unary_expression - IDENT) & LIT) ))))) ;) (expression_statement (assignment_expression (subscript_expression IDENT [ (binary_expression IDENT + LIT) ]) = (binary_expression (binary_expression IDENT >> (parenthesized_expression ( (binary_expression IDENT & LIT) ))) | (binary_expression IDENT << (parenthesized_expression ( (binary_expression (unary_expression - IDENT) & LIT) ))))) ;) (expression_statement (assignment_expression IDENT = (binary_expression IDENT + LIT)) ;) }))) })) (expression_statement (assignment_expression IDENT = (binary_expression (subscript_expression IDENT [ (binary_expression IDENT + LIT) ]) >> (parenthesized_expression ( (binary_expression IDENT & LIT) )))) ;) (expression_statement (assignment_expression IDENT = (binary_expression (subscript_expression IDENT [ (binary_expression IDENT + LIT) ]) >> (parenthesized_expression ( (binary_expression IDENT & LIT) )))) ;) (while_statement while (parenthesized_expression ( (binary_expression IDENT < LIT) )) (compound_statement { (expression_statement (assignment_expression IDENT = (binary_expression IDENT + LIT)) ;) (expression_statement (assignment_expression IDENT = (unary_expression - IDENT)) ;) (expression_statement (assignment_expression IDENT = (subscript_expression IDENT [ (binary_expression IDENT + LIT) ])) ;) (expression_statement (assignment_expression (subscript_expression IDENT [ (binary_expression IDENT + LIT) ]) = (binary_expression IDENT | (binary_expression (subscript_expression IDENT [ (binary_expression IDENT + LIT) ]) << (parenthesized_expression ( (binary_expression IDENT & LIT) ))))) ;) (expression_statement (assignment_expression (subscript_expression IDENT [ (binary_expression IDENT + LIT) ]) = (binary_expression IDENT | (binary_expression IDENT << (parenthesized_expression ( (binary_expression IDENT & LIT) ))))) ;) (expression_statement (assignment_expression IDENT = (subscript_expression IDENT [ (binary_expression IDENT + LIT) ])) ;) (expression_statement (assignment_expression IDENT = (subscript_expression IDENT [ IDENT ])) ;) (expression_statement (assignment_expression (subscript_expression IDENT [ (binary_expression IDENT + LIT) ]) = (binary_expression (binary_expression (subscript_expression IDENT [ IDENT ]) << (parenthesized_expression ( (binary_expression IDENT & LIT) ))) | (binary_expression (subscript_expression IDENT [ (binary_expression IDENT + LIT) ]) >> (parenthesized_expression ( (binary_expression IDENT & LIT) ))))) ;) (expression_statement (assignment_expression (subscript_expression IDENT [ IDENT ]) = (binary_expression (binary_expression IDENT << (parenthesized_expression ( (binary_expression IDENT & LIT) ))) | (binary_expression IDENT >> (parenthesized_expression ( (binary_expression IDENT & LIT) ))))) ;) (expression_statement (assignment_expression IDENT = (binary_expression (subscript_expression IDENT [ (binary_expression IDENT + LIT) ]) >> (parenthesized_expression ( (binary_expression IDENT & LIT) )))) ;) (expression_statement (assignment_expression IDENT = (binary_expression (subscript_expression IDENT [ (binary_expression IDENT + LIT) ]) >> (parenthesized_expression ( (binary_expression IDENT & LIT) )))) ;) (expression_statement (assignment_expression IDENT = IDENT) ;) })) (expression_statement (assignment_expression IDENT = (pointer_expression * IDENT)) ;) (expression_statement (assignment_expression (subscript_expression IDENT [ LIT ]) = (binary_expression IDENT | (binary_expression (subscript_expression IDENT [ LIT ]) << (parenthesized_expression ( (binary_expression (unary_expression - IDENT) & LIT) ))))) ;) (expression_statement (assignment_expression (subscript_expression IDENT [ LIT ]) = (binary_expression IDENT | (binary_expression IDENT << (parenthesized_expression ( (binary_expression (unary_expression - IDENT) & LIT) ))))) ;) (labeled_statement statement_identifier : (expression_statement (assignment_expression (pointer_expression * IDENT) = (binary_expression (pointer_expression * IDENT) >> (parenthesized_expression ( (binary_expression IDENT & LIT) )))) ;)) (return_statement return (binary_expression IDENT << (parenthesized_expression ( (binary_expression (unary_expression - IDENT) & LIT) ))) ;) })))
(function_definition "long __gmpn_rshift(long param_1,long *param_2,long param_3,byte param_4)\n\n{\n  ulong *puVar1;\n  ulong *puVar2;\n  long lVar3;\n  ulong uVar4;\n  byte bVar5;\n  ulong uVar6;\n  ulong uVar7;\n  uint uVar8;\n  ulong uVar9;\n  ulong uVar10;\n  \n  lVar3 = *param_2;\n  puVar1 = (ulong *)(param_2 + param_3 + -1);\n  puVar2 = (ulong *)(param_1 + -8 + param_3 * 8);\n  uVar6 = -param_3;\n  uVar8 = (int)param_3 + 1U & 3;\n  if (uVar8 != 0) {\n    if (uVar8 == 1) {\n      puVar2[1 - param_3] =\n           puVar1[1 - param_3] >> (param_4 & 0x3f) | puVar1[2 - param_3] << (-param_4 & 0x3f);\n      uVar6 = uVar6 + 1;\n    }\n    else {\n      if (uVar8 != 2) {\n        puVar2[1 - param_3] =\n             puVar1[1 - param_3] >> (param_4 & 0x3f) | puVar1[2 - param_3] << (-param_4 & 0x3f);\n        uVar6 = uVar6 + 1;\n      }\n      if (uVar6 == 0xffffffffffffffff) goto LAB_00125cd6;\n      uVar9 = puVar1[uVar6 + 2];\n      uVar10 = puVar1[uVar6 + 3];\n      puVar2[uVar6 + 1] =\n           puVar1[uVar6 + 1] >> (param_4 & 0x3f) | puVar1[uVar6 + 2] << (-param_4 & 0x3f);\n      puVar2[uVar6 + 2] = uVar9 >> (param_4 & 0x3f) | uVar10 << (-param_4 & 0x3f);\n      uVar6 = uVar6 + 2;\n    }\n  }\n  uVar9 = puVar1[uVar6 + 1] >> (param_4 & 0x3f);\n  uVar10 = puVar1[uVar6 + 2] >> (param_4 & 0x3f);\n  while (uVar6 < 0xfffffffffffffffc) {\n    uVar7 = uVar6 + 4;\n    bVar5 = -param_4;\n    uVar4 = puVar1[uVar6 + 3];\n    puVar2[uVar6 + 1] = uVar9 | puVar1[uVar6 + 2] << (bVar5 & 0x3f);\n    puVar2[uVar6 + 2] = uVar10 | uVar4 << (bVar5 & 0x3f);\n    uVar9 = puVar1[uVar6 + 5];\n    uVar10 = puVar1[uVar7];\n    puVar2[uVar6 + 3] = puVar1[uVar7] << (bVar5 & 0x3f) | puVar1[uVar6 + 3] >> (param_4 & 0x3f);\n    puVar2[uVar7] = uVar9 << (bVar5 & 0x3f) | uVar10 >> (param_4 & 0x3f);\n    uVar9 = puVar1[uVar6 + 5] >> (param_4 & 0x3f);\n    uVar10 = puVar1[uVar6 + 6] >> (param_4 & 0x3f);\n    uVar6 = uVar7;\n  }\n  uVar6 = *puVar1;\n  puVar2[-2] = uVar9 | puVar1[-1] << (-param_4 & 0x3f);\n  puVar2[-1] = uVar10 | uVar6 << (-param_4 & 0x3f);\nLAB_00125cd6:\n  *puVar2 = *puVar1 >> (param_4 & 0x3f);\n  return lVar3 << (-param_4 & 0x3f);\n}" (sized_type_specifier "long" (long "long")) (function_declarator "__gmpn_rshift(long param_1,long *param_2,long param_3,byte param_4)" (identifier "__gmpn_rshift") (parameter_list "(long param_1,long *param_2,long param_3,byte param_4)" (( "(") (parameter_declaration "long param_1" (sized_type_specifier "long" (long "long")) (identifier "param_1")) (, ",") (parameter_declaration "long *param_2" (sized_type_specifier "long" (long "long")) (pointer_declarator "*param_2" (* "*") (identifier "param_2"))) (, ",") (parameter_declaration "long param_3" (sized_type_specifier "long" (long "long")) (identifier "param_3")) (, ",") (parameter_declaration "byte param_4" (type_identifier "byte") (identifier "param_4")) () ")"))) (compound_statement "{\n  ulong *puVar1;\n  ulong *puVar2;\n  long lVar3;\n  ulong uVar4;\n  byte bVar5;\n  ulong uVar6;\n  ulong uVar7;\n  uint uVar8;\n  ulong uVar9;\n  ulong uVar10;\n  \n  lVar3 = *param_2;\n  puVar1 = (ulong *)(param_2 + param_3 + -1);\n  puVar2 = (ulong *)(param_1 + -8 + param_3 * 8);\n  uVar6 = -param_3;\n  uVar8 = (int)param_3 + 1U & 3;\n  if (uVar8 != 0) {\n    if (uVar8 == 1) {\n      puVar2[1 - param_3] =\n           puVar1[1 - param_3] >> (param_4 & 0x3f) | puVar1[2 - param_3] << (-param_4 & 0x3f);\n      uVar6 = uVar6 + 1;\n    }\n    else {\n      if (uVar8 != 2) {\n        puVar2[1 - param_3] =\n             puVar1[1 - param_3] >> (param_4 & 0x3f) | puVar1[2 - param_3] << (-param_4 & 0x3f);\n        uVar6 = uVar6 + 1;\n      }\n      if (uVar6 == 0xffffffffffffffff) goto LAB_00125cd6;\n      uVar9 = puVar1[uVar6 + 2];\n      uVar10 = puVar1[uVar6 + 3];\n      puVar2[uVar6 + 1] =\n           puVar1[uVar6 + 1] >> (param_4 & 0x3f) | puVar1[uVar6 + 2] << (-param_4 & 0x3f);\n      puVar2[uVar6 + 2] = uVar9 >> (param_4 & 0x3f) | uVar10 << (-param_4 & 0x3f);\n      uVar6 = uVar6 + 2;\n    }\n  }\n  uVar9 = puVar1[uVar6 + 1] >> (param_4 & 0x3f);\n  uVar10 = puVar1[uVar6 + 2] >> (param_4 & 0x3f);\n  while (uVar6 < 0xfffffffffffffffc) {\n    uVar7 = uVar6 + 4;\n    bVar5 = -param_4;\n    uVar4 = puVar1[uVar6 + 3];\n    puVar2[uVar6 + 1] = uVar9 | puVar1[uVar6 + 2] << (bVar5 & 0x3f);\n    puVar2[uVar6 + 2] = uVar10 | uVar4 << (bVar5 & 0x3f);\n    uVar9 = puVar1[uVar6 + 5];\n    uVar10 = puVar1[uVar7];\n    puVar2[uVar6 + 3] = puVar1[uVar7] << (bVar5 & 0x3f) | puVar1[uVar6 + 3] >> (param_4 & 0x3f);\n    puVar2[uVar7] = uVar9 << (bVar5 & 0x3f) | uVar10 >> (param_4 & 0x3f);\n    uVar9 = puVar1[uVar6 + 5] >> (param_4 & 0x3f);\n    uVar10 = puVar1[uVar6 + 6] >> (param_4 & 0x3f);\n    uVar6 = uVar7;\n  }\n  uVar6 = *puVar1;\n  puVar2[-2] = uVar9 | puVar1[-1] << (-param_4 & 0x3f);\n  puVar2[-1] = uVar10 | uVar6 << (-param_4 & 0x3f);\nLAB_00125cd6:\n  *puVar2 = *puVar1 >> (param_4 & 0x3f);\n  return lVar3 << (-param_4 & 0x3f);\n}" ({ "{") (declaration "ulong *puVar1;" (type_identifier "ulong") (pointer_declarator "*puVar1" (* "*") (identifier "puVar1")) (; ";")) (declaration "ulong *puVar2;" (type_identifier "ulong") (pointer_declarator "*puVar2" (* "*") (identifier "puVar2")) (; ";")) (declaration "long lVar3;" (sized_type_specifier "long" (long "long")) (identifier "lVar3") (; ";")) (declaration "ulong uVar4;" (type_identifier "ulong") (identifier "uVar4") (; ";")) (declaration "byte bVar5;" (type_identifier "byte") (identifier "bVar5") (; ";")) (declaration "ulong uVar6;" (type_identifier "ulong") (identifier "uVar6") (; ";")) (declaration "ulong uVar7;" (type_identifier "ulong") (identifier "uVar7") (; ";")) (declaration "uint uVar8;" (type_identifier "uint") (identifier "uVar8") (; ";")) (declaration "ulong uVar9;" (type_identifier "ulong") (identifier "uVar9") (; ";")) (declaration "ulong uVar10;" (type_identifier "ulong") (identifier "uVar10") (; ";")) (expression_statement "lVar3 = *param_2;" (assignment_expression "lVar3 = *param_2" (identifier "lVar3") (= "=") (pointer_expression "*param_2" (* "*") (identifier "param_2"))) (; ";")) (expression_statement "puVar1 = (ulong *)(param_2 + param_3 + -1);" (assignment_expression "puVar1 = (ulong *)(param_2 + param_3 + -1)" (identifier "puVar1") (= "=") (cast_expression "(ulong *)(param_2 + param_3 + -1)" (( "(") (type_descriptor "ulong *" (type_identifier "ulong") (abstract_pointer_declarator "*" (* "*"))) () ")") (parenthesized_expression "(param_2 + param_3 + -1)" (( "(") (binary_expression "param_2 + param_3 + -1" (binary_expression "param_2 + param_3" (identifier "param_2") (+ "+") (identifier "param_3")) (+ "+") (number_literal "-1")) () ")")))) (; ";")) (expression_statement "puVar2 = (ulong *)(param_1 + -8 + param_3 * 8);" (assignment_expression "puVar2 = (ulong *)(param_1 + -8 + param_3 * 8)" (identifier "puVar2") (= "=") (cast_expression "(ulong *)(param_1 + -8 + param_3 * 8)" (( "(") (type_descriptor "ulong *" (type_identifier "ulong") (abstract_pointer_declarator "*" (* "*"))) () ")") (parenthesized_expression "(param_1 + -8 + param_3 * 8)" (( "(") (binary_expression "param_1 + -8 + param_3 * 8" (binary_expression "param_1 + -8" (identifier "param_1") (+ "+") (number_literal "-8")) (+ "+") (binary_expression "param_3 * 8" (identifier "param_3") (* "*") (number_literal "8"))) () ")")))) (; ";")) (expression_statement "uVar6 = -param_3;" (assignment_expression "uVar6 = -param_3" (identifier "uVar6") (= "=") (unary_expression "-param_3" (- "-") (identifier "param_3"))) (; ";")) (expression_statement "uVar8 = (int)param_3 + 1U & 3;" (assignment_expression "uVar8 = (int)param_3 + 1U & 3" (identifier "uVar8") (= "=") (binary_expression "(int)param_3 + 1U & 3" (binary_expression "(int)param_3 + 1U" (cast_expression "(int)param_3" (( "(") (type_descriptor "int" (primitive_type "int")) () ")") (identifier "param_3")) (+ "+") (number_literal "1U")) (& "&") (number_literal "3"))) (; ";")) (if_statement "if (uVar8 != 0) {\n    if (uVar8 == 1) {\n      puVar2[1 - param_3] =\n           puVar1[1 - param_3] >> (param_4 & 0x3f) | puVar1[2 - param_3] << (-param_4 & 0x3f);\n      uVar6 = uVar6 + 1;\n    }\n    else {\n      if (uVar8 != 2) {\n        puVar2[1 - param_3] =\n             puVar1[1 - param_3] >> (param_4 & 0x3f) | puVar1[2 - param_3] << (-param_4 & 0x3f);\n        uVar6 = uVar6 + 1;\n      }\n      if (uVar6 == 0xffffffffffffffff) goto LAB_00125cd6;\n      uVar9 = puVar1[uVar6 + 2];\n      uVar10 = puVar1[uVar6 + 3];\n      puVar2[uVar6 + 1] =\n           puVar1[uVar6 + 1] >> (param_4 & 0x3f) | puVar1[uVar6 + 2] << (-param_4 & 0x3f);\n      puVar2[uVar6 + 2] = uVar9 >> (param_4 & 0x3f) | uVar10 << (-param_4 & 0x3f);\n      uVar6 = uVar6 + 2;\n    }\n  }" (if "if") (parenthesized_expression "(uVar8 != 0)" (( "(") (binary_expression "uVar8 != 0" (identifier "uVar8") (!= "!=") (number_literal "0")) () ")")) (compound_statement "{\n    if (uVar8 == 1) {\n      puVar2[1 - param_3] =\n           puVar1[1 - param_3] >> (param_4 & 0x3f) | puVar1[2 - param_3] << (-param_4 & 0x3f);\n      uVar6 = uVar6 + 1;\n    }\n    else {\n      if (uVar8 != 2) {\n        puVar2[1 - param_3] =\n             puVar1[1 - param_3] >> (param_4 & 0x3f) | puVar1[2 - param_3] << (-param_4 & 0x3f);\n        uVar6 = uVar6 + 1;\n      }\n      if (uVar6 == 0xffffffffffffffff) goto LAB_00125cd6;\n      uVar9 = puVar1[uVar6 + 2];\n      uVar10 = puVar1[uVar6 + 3];\n      puVar2[uVar6 + 1] =\n           puVar1[uVar6 + 1] >> (param_4 & 0x3f) | puVar1[uVar6 + 2] << (-param_4 & 0x3f);\n      puVar2[uVar6 + 2] = uVar9 >> (param_4 & 0x3f) | uVar10 << (-param_4 & 0x3f);\n      uVar6 = uVar6 + 2;\n    }\n  }" ({ "{") (if_statement "if (uVar8 == 1) {\n      puVar2[1 - param_3] =\n           puVar1[1 - param_3] >> (param_4 & 0x3f) | puVar1[2 - param_3] << (-param_4 & 0x3f);\n      uVar6 = uVar6 + 1;\n    }\n    else {\n      if (uVar8 != 2) {\n        puVar2[1 - param_3] =\n             puVar1[1 - param_3] >> (param_4 & 0x3f) | puVar1[2 - param_3] << (-param_4 & 0x3f);\n        uVar6 = uVar6 + 1;\n      }\n      if (uVar6 == 0xffffffffffffffff) goto LAB_00125cd6;\n      uVar9 = puVar1[uVar6 + 2];\n      uVar10 = puVar1[uVar6 + 3];\n      puVar2[uVar6 + 1] =\n           puVar1[uVar6 + 1] >> (param_4 & 0x3f) | puVar1[uVar6 + 2] << (-param_4 & 0x3f);\n      puVar2[uVar6 + 2] = uVar9 >> (param_4 & 0x3f) | uVar10 << (-param_4 & 0x3f);\n      uVar6 = uVar6 + 2;\n    }" (if "if") (parenthesized_expression "(uVar8 == 1)" (( "(") (binary_expression "uVar8 == 1" (identifier "uVar8") (== "==") (number_literal "1")) () ")")) (compound_statement "{\n      puVar2[1 - param_3] =\n           puVar1[1 - param_3] >> (param_4 & 0x3f) | puVar1[2 - param_3] << (-param_4 & 0x3f);\n      uVar6 = uVar6 + 1;\n    }" ({ "{") (expression_statement "puVar2[1 - param_3] =\n           puVar1[1 - param_3] >> (param_4 & 0x3f) | puVar1[2 - param_3] << (-param_4 & 0x3f);" (assignment_expression "puVar2[1 - param_3] =\n           puVar1[1 - param_3] >> (param_4 & 0x3f) | puVar1[2 - param_3] << (-param_4 & 0x3f)" (subscript_expression "puVar2[1 - param_3]" (identifier "puVar2") ([ "[") (binary_expression "1 - param_3" (number_literal "1") (- "-") (identifier "param_3")) (] "]")) (= "=") (binary_expression "puVar1[1 - param_3] >> (param_4 & 0x3f) | puVar1[2 - param_3] << (-param_4 & 0x3f)" (binary_expression "puVar1[1 - param_3] >> (param_4 & 0x3f)" (subscript_expression "puVar1[1 - param_3]" (identifier "puVar1") ([ "[") (binary_expression "1 - param_3" (number_literal "1") (- "-") (identifier "param_3")) (] "]")) (>> ">>") (parenthesized_expression "(param_4 & 0x3f)" (( "(") (binary_expression "param_4 & 0x3f" (identifier "param_4") (& "&") (number_literal "0x3f")) () ")"))) (| "|") (binary_expression "puVar1[2 - param_3] << (-param_4 & 0x3f)" (subscript_expression "puVar1[2 - param_3]" (identifier "puVar1") ([ "[") (binary_expression "2 - param_3" (number_literal "2") (- "-") (identifier "param_3")) (] "]")) (<< "<<") (parenthesized_expression "(-param_4 & 0x3f)" (( "(") (binary_expression "-param_4 & 0x3f" (unary_expression "-param_4" (- "-") (identifier "param_4")) (& "&") (number_literal "0x3f")) () ")"))))) (; ";")) (expression_statement "uVar6 = uVar6 + 1;" (assignment_expression "uVar6 = uVar6 + 1" (identifier "uVar6") (= "=") (binary_expression "uVar6 + 1" (identifier "uVar6") (+ "+") (number_literal "1"))) (; ";")) (} "}")) (else_clause "else {\n      if (uVar8 != 2) {\n        puVar2[1 - param_3] =\n             puVar1[1 - param_3] >> (param_4 & 0x3f) | puVar1[2 - param_3] << (-param_4 & 0x3f);\n        uVar6 = uVar6 + 1;\n      }\n      if (uVar6 == 0xffffffffffffffff) goto LAB_00125cd6;\n      uVar9 = puVar1[uVar6 + 2];\n      uVar10 = puVar1[uVar6 + 3];\n      puVar2[uVar6 + 1] =\n           puVar1[uVar6 + 1] >> (param_4 & 0x3f) | puVar1[uVar6 + 2] << (-param_4 & 0x3f);\n      puVar2[uVar6 + 2] = uVar9 >> (param_4 & 0x3f) | uVar10 << (-param_4 & 0x3f);\n      uVar6 = uVar6 + 2;\n    }" (else "else") (compound_statement "{\n      if (uVar8 != 2) {\n        puVar2[1 - param_3] =\n             puVar1[1 - param_3] >> (param_4 & 0x3f) | puVar1[2 - param_3] << (-param_4 & 0x3f);\n        uVar6 = uVar6 + 1;\n      }\n      if (uVar6 == 0xffffffffffffffff) goto LAB_00125cd6;\n      uVar9 = puVar1[uVar6 + 2];\n      uVar10 = puVar1[uVar6 + 3];\n      puVar2[uVar6 + 1] =\n           puVar1[uVar6 + 1] >> (param_4 & 0x3f) | puVar1[uVar6 + 2] << (-param_4 & 0x3f);\n      puVar2[uVar6 + 2] = uVar9 >> (param_4 & 0x3f) | uVar10 << (-param_4 & 0x3f);\n      uVar6 = uVar6 + 2;\n    }" ({ "{") (if_statement "if (uVar8 != 2) {\n        puVar2[1 - param_3] =\n             puVar1[1 - param_3] >> (param_4 & 0x3f) | puVar1[2 - param_3] << (-param_4 & 0x3f);\n        uVar6 = uVar6 + 1;\n      }" (if "if") (parenthesized_expression "(uVar8 != 2)" (( "(") (binary_expression "uVar8 != 2" (identifier "uVar8") (!= "!=") (number_literal "2")) () ")")) (compound_statement "{\n        puVar2[1 - param_3] =\n             puVar1[1 - param_3] >> (param_4 & 0x3f) | puVar1[2 - param_3] << (-param_4 & 0x3f);\n        uVar6 = uVar6 + 1;\n      }" ({ "{") (expression_statement "puVar2[1 - param_3] =\n             puVar1[1 - param_3] >> (param_4 & 0x3f) | puVar1[2 - param_3] << (-param_4 & 0x3f);" (assignment_expression "puVar2[1 - param_3] =\n             puVar1[1 - param_3] >> (param_4 & 0x3f) | puVar1[2 - param_3] << (-param_4 & 0x3f)" (subscript_expression "puVar2[1 - param_3]" (identifier "puVar2") ([ "[") (binary_expression "1 - param_3" (number_literal "1") (- "-") (identifier "param_3")) (] "]")) (= "=") (binary_expression "puVar1[1 - param_3] >> (param_4 & 0x3f) | puVar1[2 - param_3] << (-param_4 & 0x3f)" (binary_expression "puVar1[1 - param_3] >> (param_4 & 0x3f)" (subscript_expression "puVar1[1 - param_3]" (identifier "puVar1") ([ "[") (binary_expression "1 - param_3" (number_literal "1") (- "-") (identifier "param_3")) (] "]")) (>> ">>") (parenthesized_expression "(param_4 & 0x3f)" (( "(") (binary_expression "param_4 & 0x3f" (identifier "param_4") (& "&") (number_literal "0x3f")) () ")"))) (| "|") (binary_expression "puVar1[2 - param_3] << (-param_4 & 0x3f)" (subscript_expression "puVar1[2 - param_3]" (identifier "puVar1") ([ "[") (binary_expression "2 - param_3" (number_literal "2") (- "-") (identifier "param_3")) (] "]")) (<< "<<") (parenthesized_expression "(-param_4 & 0x3f)" (( "(") (binary_expression "-param_4 & 0x3f" (unary_expression "-param_4" (- "-") (identifier "param_4")) (& "&") (number_literal "0x3f")) () ")"))))) (; ";")) (expression_statement "uVar6 = uVar6 + 1;" (assignment_expression "uVar6 = uVar6 + 1" (identifier "uVar6") (= "=") (binary_expression "uVar6 + 1" (identifier "uVar6") (+ "+") (number_literal "1"))) (; ";")) (} "}"))) (if_statement "if (uVar6 == 0xffffffffffffffff) goto LAB_00125cd6;" (if "if") (parenthesized_expression "(uVar6 == 0xffffffffffffffff)" (( "(") (binary_expression "uVar6 == 0xffffffffffffffff" (identifier "uVar6") (== "==") (number_literal "0xffffffffffffffff")) () ")")) (goto_statement "goto LAB_00125cd6;" (goto "goto") (statement_identifier "LAB_00125cd6") (; ";"))) (expression_statement "uVar9 = puVar1[uVar6 + 2];" (assignment_expression "uVar9 = puVar1[uVar6 + 2]" (identifier "uVar9") (= "=") (subscript_expression "puVar1[uVar6 + 2]" (identifier "puVar1") ([ "[") (binary_expression "uVar6 + 2" (identifier "uVar6") (+ "+") (number_literal "2")) (] "]"))) (; ";")) (expression_statement "uVar10 = puVar1[uVar6 + 3];" (assignment_expression "uVar10 = puVar1[uVar6 + 3]" (identifier "uVar10") (= "=") (subscript_expression "puVar1[uVar6 + 3]" (identifier "puVar1") ([ "[") (binary_expression "uVar6 + 3" (identifier "uVar6") (+ "+") (number_literal "3")) (] "]"))) (; ";")) (expression_statement "puVar2[uVar6 + 1] =\n           puVar1[uVar6 + 1] >> (param_4 & 0x3f) | puVar1[uVar6 + 2] << (-param_4 & 0x3f);" (assignment_expression "puVar2[uVar6 + 1] =\n           puVar1[uVar6 + 1] >> (param_4 & 0x3f) | puVar1[uVar6 + 2] << (-param_4 & 0x3f)" (subscript_expression "puVar2[uVar6 + 1]" (identifier "puVar2") ([ "[") (binary_expression "uVar6 + 1" (identifier "uVar6") (+ "+") (number_literal "1")) (] "]")) (= "=") (binary_expression "puVar1[uVar6 + 1] >> (param_4 & 0x3f) | puVar1[uVar6 + 2] << (-param_4 & 0x3f)" (binary_expression "puVar1[uVar6 + 1] >> (param_4 & 0x3f)" (subscript_expression "puVar1[uVar6 + 1]" (identifier "puVar1") ([ "[") (binary_expression "uVar6 + 1" (identifier "uVar6") (+ "+") (number_literal "1")) (] "]")) (>> ">>") (parenthesized_expression "(param_4 & 0x3f)" (( "(") (binary_expression "param_4 & 0x3f" (identifier "param_4") (& "&") (number_literal "0x3f")) () ")"))) (| "|") (binary_expression "puVar1[uVar6 + 2] << (-param_4 & 0x3f)" (subscript_expression "puVar1[uVar6 + 2]" (identifier "puVar1") ([ "[") (binary_expression "uVar6 + 2" (identifier "uVar6") (+ "+") (number_literal "2")) (] "]")) (<< "<<") (parenthesized_expression "(-param_4 & 0x3f)" (( "(") (binary_expression "-param_4 & 0x3f" (unary_expression "-param_4" (- "-") (identifier "param_4")) (& "&") (number_literal "0x3f")) () ")"))))) (; ";")) (expression_statement "puVar2[uVar6 + 2] = uVar9 >> (param_4 & 0x3f) | uVar10 << (-param_4 & 0x3f);" (assignment_expression "puVar2[uVar6 + 2] = uVar9 >> (param_4 & 0x3f) | uVar10 << (-param_4 & 0x3f)" (subscript_expression "puVar2[uVar6 + 2]" (identifier "puVar2") ([ "[") (binary_expression "uVar6 + 2" (identifier "uVar6") (+ "+") (number_literal "2")) (] "]")) (= "=") (binary_expression "uVar9 >> (param_4 & 0x3f) | uVar10 << (-param_4 & 0x3f)" (binary_expression "uVar9 >> (param_4 & 0x3f)" (identifier "uVar9") (>> ">>") (parenthesized_expression "(param_4 & 0x3f)" (( "(") (binary_expression "param_4 & 0x3f" (identifier "param_4") (& "&") (number_literal "0x3f")) () ")"))) (| "|") (binary_expression "uVar10 << (-param_4 & 0x3f)" (identifier "uVar10") (<< "<<") (parenthesized_expression "(-param_4 & 0x3f)" (( "(") (binary_expression "-param_4 & 0x3f" (unary_expression "-param_4" (- "-") (identifier "param_4")) (& "&") (number_literal "0x3f")) () ")"))))) (; ";")) (expression_statement "uVar6 = uVar6 + 2;" (assignment_expression "uVar6 = uVar6 + 2" (identifier "uVar6") (= "=") (binary_expression "uVar6 + 2" (identifier "uVar6") (+ "+") (number_literal "2"))) (; ";")) (} "}")))) (} "}"))) (expression_statement "uVar9 = puVar1[uVar6 + 1] >> (param_4 & 0x3f);" (assignment_expression "uVar9 = puVar1[uVar6 + 1] >> (param_4 & 0x3f)" (identifier "uVar9") (= "=") (binary_expression "puVar1[uVar6 + 1] >> (param_4 & 0x3f)" (subscript_expression "puVar1[uVar6 + 1]" (identifier "puVar1") ([ "[") (binary_expression "uVar6 + 1" (identifier "uVar6") (+ "+") (number_literal "1")) (] "]")) (>> ">>") (parenthesized_expression "(param_4 & 0x3f)" (( "(") (binary_expression "param_4 & 0x3f" (identifier "param_4") (& "&") (number_literal "0x3f")) () ")")))) (; ";")) (expression_statement "uVar10 = puVar1[uVar6 + 2] >> (param_4 & 0x3f);" (assignment_expression "uVar10 = puVar1[uVar6 + 2] >> (param_4 & 0x3f)" (identifier "uVar10") (= "=") (binary_expression "puVar1[uVar6 + 2] >> (param_4 & 0x3f)" (subscript_expression "puVar1[uVar6 + 2]" (identifier "puVar1") ([ "[") (binary_expression "uVar6 + 2" (identifier "uVar6") (+ "+") (number_literal "2")) (] "]")) (>> ">>") (parenthesized_expression "(param_4 & 0x3f)" (( "(") (binary_expression "param_4 & 0x3f" (identifier "param_4") (& "&") (number_literal "0x3f")) () ")")))) (; ";")) (while_statement "while (uVar6 < 0xfffffffffffffffc) {\n    uVar7 = uVar6 + 4;\n    bVar5 = -param_4;\n    uVar4 = puVar1[uVar6 + 3];\n    puVar2[uVar6 + 1] = uVar9 | puVar1[uVar6 + 2] << (bVar5 & 0x3f);\n    puVar2[uVar6 + 2] = uVar10 | uVar4 << (bVar5 & 0x3f);\n    uVar9 = puVar1[uVar6 + 5];\n    uVar10 = puVar1[uVar7];\n    puVar2[uVar6 + 3] = puVar1[uVar7] << (bVar5 & 0x3f) | puVar1[uVar6 + 3] >> (param_4 & 0x3f);\n    puVar2[uVar7] = uVar9 << (bVar5 & 0x3f) | uVar10 >> (param_4 & 0x3f);\n    uVar9 = puVar1[uVar6 + 5] >> (param_4 & 0x3f);\n    uVar10 = puVar1[uVar6 + 6] >> (param_4 & 0x3f);\n    uVar6 = uVar7;\n  }" (while "while") (parenthesized_expression "(uVar6 < 0xfffffffffffffffc)" (( "(") (binary_expression "uVar6 < 0xfffffffffffffffc" (identifier "uVar6") (< "<") (number_literal "0xfffffffffffffffc")) () ")")) (compound_statement "{\n    uVar7 = uVar6 + 4;\n    bVar5 = -param_4;\n    uVar4 = puVar1[uVar6 + 3];\n    puVar2[uVar6 + 1] = uVar9 | puVar1[uVar6 + 2] << (bVar5 & 0x3f);\n    puVar2[uVar6 + 2] = uVar10 | uVar4 << (bVar5 & 0x3f);\n    uVar9 = puVar1[uVar6 + 5];\n    uVar10 = puVar1[uVar7];\n    puVar2[uVar6 + 3] = puVar1[uVar7] << (bVar5 & 0x3f) | puVar1[uVar6 + 3] >> (param_4 & 0x3f);\n    puVar2[uVar7] = uVar9 << (bVar5 & 0x3f) | uVar10 >> (param_4 & 0x3f);\n    uVar9 = puVar1[uVar6 + 5] >> (param_4 & 0x3f);\n    uVar10 = puVar1[uVar6 + 6] >> (param_4 & 0x3f);\n    uVar6 = uVar7;\n  }" ({ "{") (expression_statement "uVar7 = uVar6 + 4;" (assignment_expression "uVar7 = uVar6 + 4" (identifier "uVar7") (= "=") (binary_expression "uVar6 + 4" (identifier "uVar6") (+ "+") (number_literal "4"))) (; ";")) (expression_statement "bVar5 = -param_4;" (assignment_expression "bVar5 = -param_4" (identifier "bVar5") (= "=") (unary_expression "-param_4" (- "-") (identifier "param_4"))) (; ";")) (expression_statement "uVar4 = puVar1[uVar6 + 3];" (assignment_expression "uVar4 = puVar1[uVar6 + 3]" (identifier "uVar4") (= "=") (subscript_expression "puVar1[uVar6 + 3]" (identifier "puVar1") ([ "[") (binary_expression "uVar6 + 3" (identifier "uVar6") (+ "+") (number_literal "3")) (] "]"))) (; ";")) (expression_statement "puVar2[uVar6 + 1] = uVar9 | puVar1[uVar6 + 2] << (bVar5 & 0x3f);" (assignment_expression "puVar2[uVar6 + 1] = uVar9 | puVar1[uVar6 + 2] << (bVar5 & 0x3f)" (subscript_expression "puVar2[uVar6 + 1]" (identifier "puVar2") ([ "[") (binary_expression "uVar6 + 1" (identifier "uVar6") (+ "+") (number_literal "1")) (] "]")) (= "=") (binary_expression "uVar9 | puVar1[uVar6 + 2] << (bVar5 & 0x3f)" (identifier "uVar9") (| "|") (binary_expression "puVar1[uVar6 + 2] << (bVar5 & 0x3f)" (subscript_expression "puVar1[uVar6 + 2]" (identifier "puVar1") ([ "[") (binary_expression "uVar6 + 2" (identifier "uVar6") (+ "+") (number_literal "2")) (] "]")) (<< "<<") (parenthesized_expression "(bVar5 & 0x3f)" (( "(") (binary_expression "bVar5 & 0x3f" (identifier "bVar5") (& "&") (number_literal "0x3f")) () ")"))))) (; ";")) (expression_statement "puVar2[uVar6 + 2] = uVar10 | uVar4 << (bVar5 & 0x3f);" (assignment_expression "puVar2[uVar6 + 2] = uVar10 | uVar4 << (bVar5 & 0x3f)" (subscript_expression "puVar2[uVar6 + 2]" (identifier "puVar2") ([ "[") (binary_expression "uVar6 + 2" (identifier "uVar6") (+ "+") (number_literal "2")) (] "]")) (= "=") (binary_expression "uVar10 | uVar4 << (bVar5 & 0x3f)" (identifier "uVar10") (| "|") (binary_expression "uVar4 << (bVar5 & 0x3f)" (identifier "uVar4") (<< "<<") (parenthesized_expression "(bVar5 & 0x3f)" (( "(") (binary_expression "bVar5 & 0x3f" (identifier "bVar5") (& "&") (number_literal "0x3f")) () ")"))))) (; ";")) (expression_statement "uVar9 = puVar1[uVar6 + 5];" (assignment_expression "uVar9 = puVar1[uVar6 + 5]" (identifier "uVar9") (= "=") (subscript_expression "puVar1[uVar6 + 5]" (identifier "puVar1") ([ "[") (binary_expression "uVar6 + 5" (identifier "uVar6") (+ "+") (number_literal "5")) (] "]"))) (; ";")) (expression_statement "uVar10 = puVar1[uVar7];" (assignment_expression "uVar10 = puVar1[uVar7]" (identifier "uVar10") (= "=") (subscript_expression "puVar1[uVar7]" (identifier "puVar1") ([ "[") (identifier "uVar7") (] "]"))) (; ";")) (expression_statement "puVar2[uVar6 + 3] = puVar1[uVar7] << (bVar5 & 0x3f) | puVar1[uVar6 + 3] >> (param_4 & 0x3f);" (assignment_expression "puVar2[uVar6 + 3] = puVar1[uVar7] << (bVar5 & 0x3f) | puVar1[uVar6 + 3] >> (param_4 & 0x3f)" (subscript_expression "puVar2[uVar6 + 3]" (identifier "puVar2") ([ "[") (binary_expression "uVar6 + 3" (identifier "uVar6") (+ "+") (number_literal "3")) (] "]")) (= "=") (binary_expression "puVar1[uVar7] << (bVar5 & 0x3f) | puVar1[uVar6 + 3] >> (param_4 & 0x3f)" (binary_expression "puVar1[uVar7] << (bVar5 & 0x3f)" (subscript_expression "puVar1[uVar7]" (identifier "puVar1") ([ "[") (identifier "uVar7") (] "]")) (<< "<<") (parenthesized_expression "(bVar5 & 0x3f)" (( "(") (binary_expression "bVar5 & 0x3f" (identifier "bVar5") (& "&") (number_literal "0x3f")) () ")"))) (| "|") (binary_expression "puVar1[uVar6 + 3] >> (param_4 & 0x3f)" (subscript_expression "puVar1[uVar6 + 3]" (identifier "puVar1") ([ "[") (binary_expression "uVar6 + 3" (identifier "uVar6") (+ "+") (number_literal "3")) (] "]")) (>> ">>") (parenthesized_expression "(param_4 & 0x3f)" (( "(") (binary_expression "param_4 & 0x3f" (identifier "param_4") (& "&") (number_literal "0x3f")) () ")"))))) (; ";")) (expression_statement "puVar2[uVar7] = uVar9 << (bVar5 & 0x3f) | uVar10 >> (param_4 & 0x3f);" (assignment_expression "puVar2[uVar7] = uVar9 << (bVar5 & 0x3f) | uVar10 >> (param_4 & 0x3f)" (subscript_expression "puVar2[uVar7]" (identifier "puVar2") ([ "[") (identifier "uVar7") (] "]")) (= "=") (binary_expression "uVar9 << (bVar5 & 0x3f) | uVar10 >> (param_4 & 0x3f)" (binary_expression "uVar9 << (bVar5 & 0x3f)" (identifier "uVar9") (<< "<<") (parenthesized_expression "(bVar5 & 0x3f)" (( "(") (binary_expression "bVar5 & 0x3f" (identifier "bVar5") (& "&") (number_literal "0x3f")) () ")"))) (| "|") (binary_expression "uVar10 >> (param_4 & 0x3f)" (identifier "uVar10") (>> ">>") (parenthesized_expression "(param_4 & 0x3f)" (( "(") (binary_expression "param_4 & 0x3f" (identifier "param_4") (& "&") (number_literal "0x3f")) () ")"))))) (; ";")) (expression_statement "uVar9 = puVar1[uVar6 + 5] >> (param_4 & 0x3f);" (assignment_expression "uVar9 = puVar1[uVar6 + 5] >> (param_4 & 0x3f)" (identifier "uVar9") (= "=") (binary_expression "puVar1[uVar6 + 5] >> (param_4 & 0x3f)" (subscript_expression "puVar1[uVar6 + 5]" (identifier "puVar1") ([ "[") (binary_expression "uVar6 + 5" (identifier "uVar6") (+ "+") (number_literal "5")) (] "]")) (>> ">>") (parenthesized_expression "(param_4 & 0x3f)" (( "(") (binary_expression "param_4 & 0x3f" (identifier "param_4") (& "&") (number_literal "0x3f")) () ")")))) (; ";")) (expression_statement "uVar10 = puVar1[uVar6 + 6] >> (param_4 & 0x3f);" (assignment_expression "uVar10 = puVar1[uVar6 + 6] >> (param_4 & 0x3f)" (identifier "uVar10") (= "=") (binary_expression "puVar1[uVar6 + 6] >> (param_4 & 0x3f)" (subscript_expression "puVar1[uVar6 + 6]" (identifier "puVar1") ([ "[") (binary_expression "uVar6 + 6" (identifier "uVar6") (+ "+") (number_literal "6")) (] "]")) (>> ">>") (parenthesized_expression "(param_4 & 0x3f)" (( "(") (binary_expression "param_4 & 0x3f" (identifier "param_4") (& "&") (number_literal "0x3f")) () ")")))) (; ";")) (expression_statement "uVar6 = uVar7;" (assignment_expression "uVar6 = uVar7" (identifier "uVar6") (= "=") (identifier "uVar7")) (; ";")) (} "}"))) (expression_statement "uVar6 = *puVar1;" (assignment_expression "uVar6 = *puVar1" (identifier "uVar6") (= "=") (pointer_expression "*puVar1" (* "*") (identifier "puVar1"))) (; ";")) (expression_statement "puVar2[-2] = uVar9 | puVar1[-1] << (-param_4 & 0x3f);" (assignment_expression "puVar2[-2] = uVar9 | puVar1[-1] << (-param_4 & 0x3f)" (subscript_expression "puVar2[-2]" (identifier "puVar2") ([ "[") (number_literal "-2") (] "]")) (= "=") (binary_expression "uVar9 | puVar1[-1] << (-param_4 & 0x3f)" (identifier "uVar9") (| "|") (binary_expression "puVar1[-1] << (-param_4 & 0x3f)" (subscript_expression "puVar1[-1]" (identifier "puVar1") ([ "[") (number_literal "-1") (] "]")) (<< "<<") (parenthesized_expression "(-param_4 & 0x3f)" (( "(") (binary_expression "-param_4 & 0x3f" (unary_expression "-param_4" (- "-") (identifier "param_4")) (& "&") (number_literal "0x3f")) () ")"))))) (; ";")) (expression_statement "puVar2[-1] = uVar10 | uVar6 << (-param_4 & 0x3f);" (assignment_expression "puVar2[-1] = uVar10 | uVar6 << (-param_4 & 0x3f)" (subscript_expression "puVar2[-1]" (identifier "puVar2") ([ "[") (number_literal "-1") (] "]")) (= "=") (binary_expression "uVar10 | uVar6 << (-param_4 & 0x3f)" (identifier "uVar10") (| "|") (binary_expression "uVar6 << (-param_4 & 0x3f)" (identifier "uVar6") (<< "<<") (parenthesized_expression "(-param_4 & 0x3f)" (( "(") (binary_expression "-param_4 & 0x3f" (unary_expression "-param_4" (- "-") (identifier "param_4")) (& "&") (number_literal "0x3f")) () ")"))))) (; ";")) (labeled_statement "LAB_00125cd6:\n  *puVar2 = *puVar1 >> (param_4 & 0x3f);" (statement_identifier "LAB_00125cd6") (: ":") (expression_statement "*puVar2 = *puVar1 >> (param_4 & 0x3f);" (assignment_expression "*puVar2 = *puVar1 >> (param_4 & 0x3f)" (pointer_expression "*puVar2" (* "*") (identifier "puVar2")) (= "=") (binary_expression "*puVar1 >> (param_4 & 0x3f)" (pointer_expression "*puVar1" (* "*") (identifier "puVar1")) (>> ">>") (parenthesized_expression "(param_4 & 0x3f)" (( "(") (binary_expression "param_4 & 0x3f" (identifier "param_4") (& "&") (number_literal "0x3f")) () ")")))) (; ";"))) (return_statement "return lVar3 << (-param_4 & 0x3f);" (return "return") (binary_expression "lVar3 << (-param_4 & 0x3f)" (identifier "lVar3") (<< "<<") (parenthesized_expression "(-param_4 & 0x3f)" (( "(") (binary_expression "-param_4 & 0x3f" (unary_expression "-param_4" (- "-") (identifier "param_4")) (& "&") (number_literal "0x3f")) () ")"))) (; ";")) (} "}")))

long function_1(long var_3,long *var_1,long var_2,type_1 var_5)

{
  type_2 *puVar1;
  type_2 *puVar2;
  long var_11;
  type_2 var_10;
  type_1 var_9;
  type_2 var_6;
  type_2 uVar7;
  type_3 var_4;
  type_2 var_7;
  type_2 var_8;
  
  var_11 = *var_1;
  puVar1 = (type_2 *)(var_1 + var_2 + -1);
  puVar2 = (type_2 *)(var_3 + -8 + var_2 * 8);
  var_6 = -var_2;
  var_4 = (int)var_2 + 1U & 3;
  if (var_4 != 0) {
    if (var_4 == 1) {
      puVar2[1 - var_2] =
           puVar1[1 - var_2] >> (var_5 & 0x3f) | puVar1[2 - var_2] << (-var_5 & 0x3f);
      var_6 = var_6 + 1;
    }
    else {
      if (var_4 != 2) {
        puVar2[1 - var_2] =
             puVar1[1 - var_2] >> (var_5 & 0x3f) | puVar1[2 - var_2] << (-var_5 & 0x3f);
        var_6 = var_6 + 1;
      }
      if (var_6 == 0xffffffffffffffff) goto LAB_00125cd6;
      var_7 = puVar1[var_6 + 2];
      var_8 = puVar1[var_6 + 3];
      puVar2[var_6 + 1] =
           puVar1[var_6 + 1] >> (var_5 & 0x3f) | puVar1[var_6 + 2] << (-var_5 & 0x3f);
      puVar2[var_6 + 2] = var_7 >> (var_5 & 0x3f) | var_8 << (-var_5 & 0x3f);
      var_6 = var_6 + 2;
    }
  }
  var_7 = puVar1[var_6 + 1] >> (var_5 & 0x3f);
  var_8 = puVar1[var_6 + 2] >> (var_5 & 0x3f);
  while (var_6 < 0xfffffffffffffffc) {
    uVar7 = var_6 + 4;
    var_9 = -var_5;
    var_10 = puVar1[var_6 + 3];
    puVar2[var_6 + 1] = var_7 | puVar1[var_6 + 2] << (var_9 & 0x3f);
    puVar2[var_6 + 2] = var_8 | var_10 << (var_9 & 0x3f);
    var_7 = puVar1[var_6 + 5];
    var_8 = puVar1[uVar7];
    puVar2[var_6 + 3] = puVar1[uVar7] << (var_9 & 0x3f) | puVar1[var_6 + 3] >> (var_5 & 0x3f);
    puVar2[uVar7] = var_7 << (var_9 & 0x3f) | var_8 >> (var_5 & 0x3f);
    var_7 = puVar1[var_6 + 5] >> (var_5 & 0x3f);
    var_8 = puVar1[var_6 + 6] >> (var_5 & 0x3f);
    var_6 = uVar7;
  }
  var_6 = *puVar1;
  puVar2[-2] = var_7 | puVar1[-1] << (-var_5 & 0x3f);
  puVar2[-1] = var_8 | var_6 << (-var_5 & 0x3f);
LAB_00125cd6:
  *puVar2 = *puVar1 >> (var_5 & 0x3f);
  return var_11 << (-var_5 & 0x3f);
}


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

long MASKED(long param_1,long *param_2,long param_3,byte param_4)

{
  ulong *puVar1;
  ulong *puVar2;
  long lVar3;
  ulong uVar4;
  byte bVar5;
  ulong uVar6;
  ulong uVar7;
  uint uVar8;
  ulong uVar9;
  ulong uVar10;
  
  lVar3 = *param_2;
  puVar1 = (ulong *)(param_2 + param_3 + -1);
  puVar2 = (ulong *)(param_1 + -8 + param_3 * 8);
  uVar6 = -param_3;
  uVar8 = (int)param_3 + 1U & 3;
  if (uVar8 != 0) {
    if (uVar8 == 1) {
      puVar2[1 - param_3] =
           puVar1[1 - param_3] >> (param_4 & 0x3f) | puVar1[2 - param_3] << (-param_4 & 0x3f);
      uVar6 = uVar6 + 1;
    }
    else {
      if (uVar8 != 2) {
        puVar2[1 - param_3] =
             puVar1[1 - param_3] >> (param_4 & 0x3f) | puVar1[2 - param_3] << (-param_4 & 0x3f);
        uVar6 = uVar6 + 1;
      }
      if (uVar6 == 0xffffffffffffffff) goto LAB_00125cd6;
      uVar9 = puVar1[uVar6 + 2];
      uVar10 = puVar1[uVar6 + 3];
      puVar2[uVar6 + 1] =
           puVar1[uVar6 + 1] >> (param_4 & 0x3f) | puVar1[uVar6 + 2] << (-param_4 & 0x3f);
      puVar2[uVar6 + 2] = uVar9 >> (param_4 & 0x3f) | uVar10 << (-param_4 & 0x3f);
      uVar6 = uVar6 + 2;
    }
  }
  uVar9 = puVar1[uVar6 + 1] >> (param_4 & 0x3f);
  uVar10 = puVar1[uVar6 + 2] >> (param_4 & 0x3f);
  while (uVar6 < 0xfffffffffffffffc) {
    uVar7 = uVar6 + 4;
    bVar5 = -param_4;
    uVar4 = puVar1[uVar6 + 3];
    puVar2[uVar6 + 1] = uVar9 | puVar1[uVar6 + 2] << (bVar5 & 0x3f);
    puVar2[uVar6 + 2] = uVar10 | uVar4 << (bVar5 & 0x3f);
    uVar9 = puVar1[uVar6 + 5];
    uVar10 = puVar1[uVar7];
    puVar2[uVar6 + 3] = puVar1[uVar7] << (bVar5 & 0x3f) | puVar1[uVar6 + 3] >> (param_4 & 0x3f);
    puVar2[uVar7] = uVar9 << (bVar5 & 0x3f) | uVar10 >> (param_4 & 0x3f);
    uVar9 = puVar1[uVar6 + 5] >> (param_4 & 0x3f);
    uVar10 = puVar1[uVar6 + 6] >> (param_4 & 0x3f);
    uVar6 = uVar7;
  }
  uVar6 = *puVar1;
  puVar2[-2] = uVar9 | puVar1[-1] << (-param_4 & 0x3f);
  puVar2[-1] = uVar10 | uVar6 << (-param_4 & 0x3f);
LAB_00125cd6:
  *puVar2 = *puVar1 >> (param_4 & 0x3f);
  return lVar3 << (-param_4 & 0x3f);
}

