
/* DWARF original prototype: void merge_constrained(position_set * s1, position_set * s2, uint c2,
   position_set * m, position_set * s2, position_set * s1) */

void merge_constrained(position_set *s1,position_set *s2,uint c2,position_set *m,position_set *s2_1,
                      position_set *s1_1)

{
  uint *puVar1;
  uint uVar2;
  int iVar3;
  size_t n;
  void *pvVar4;
  int *extraout_ECX;
  int iVar5;
  int *piVar6;
  uint *puVar7;
  position *ppVar8;
  int iVar9;
  undefined8 uVar10;
  uint local_30;
  
  uVar10 = __x86_get_pc_thunk_di();
  piVar6 = (int *)((ulonglong)uVar10 >> 0x20);
  if (*(int *)(c2 + 8) - *piVar6 < (int)s1->elems) {
    free(*(void **)c2);
    iVar5 = *piVar6;
    *(int *)(c2 + 8) = iVar5;
    ppVar8 = s1->elems;
    iVar3 = (iVar5 >> 1) + iVar5;
    if ((SCARRY4(iVar5 >> 1,iVar5)) ||
       (n = (size_t)((longlong)iVar3 * 8), (longlong)(int)n != (longlong)iVar3 * 8)) {
      n = 0x7ffffff8;
      iVar3 = 0xfffffff;
    }
    else if ((int)n < 0x40) {
      iVar3 = 8;
      n = 0x40;
    }
    *(undefined4 *)(c2 + 8) = 0;
    if ((iVar3 - iVar5 < (int)ppVar8) &&
       ((iVar3 = (int)&ppVar8->index + iVar5, SCARRY4(iVar5,(int)ppVar8) ||
        (n = (size_t)((longlong)iVar3 * 8), (longlong)(int)n != (longlong)iVar3 * 8)))) {
                    /* WARNING: Subroutine does not return */
      xalloc_die();
    }
    pvVar4 = xrealloc((void *)0x0,n);
    *(void **)c2 = pvVar4;
    *(int *)(c2 + 8) = iVar3;
  }
  *(undefined4 *)(c2 + 4) = 0;
  iVar9 = 0;
  iVar5 = *piVar6;
  ppVar8 = s1->elems;
  iVar3 = 0;
  do {
    while (iVar5 <= iVar9) {
      if ((int)ppVar8 <= iVar3) {
        return;
      }
      puVar7 = (uint *)(*extraout_ECX + iVar3 * 8);
LAB_0001fe75:
      uVar2 = puVar7[1];
      if (((uint)s2 & uVar2) != 0) {
        iVar5 = *(int *)(c2 + 4);
        puVar1 = (uint *)(*(int *)c2 + iVar5 * 8);
        *puVar1 = *puVar7;
        *(int *)(c2 + 4) = iVar5 + 1;
        puVar1[1] = (uint)s2 & uVar2;
        iVar5 = *piVar6;
        ppVar8 = s1->elems;
      }
      iVar3 = iVar3 + 1;
    }
    local_30 = 0;
    puVar1 = (uint *)(*(int *)uVar10 + iVar9 * 8);
    uVar2 = *puVar1;
    if (iVar3 < (int)ppVar8) {
      puVar7 = (uint *)(*extraout_ECX + iVar3 * 8);
      if (*puVar7 < uVar2) goto LAB_0001fe75;
      if (uVar2 == *puVar7) {
        local_30 = (uint)s2 & puVar7[1];
        iVar3 = iVar3 + 1;
      }
    }
    iVar5 = *(int *)(c2 + 4);
    iVar9 = iVar9 + 1;
    puVar7 = (uint *)(*(int *)c2 + iVar5 * 8);
    *puVar7 = uVar2;
    uVar2 = puVar1[1];
    *(int *)(c2 + 4) = iVar5 + 1;
    puVar7[1] = uVar2 | local_30;
    iVar5 = *piVar6;
    ppVar8 = s1->elems;
  } while( true );
}



void FUN_0001fe10(int *param_1,uint param_2,int *param_3)

{
  uint *puVar1;
  uint uVar2;
  int iVar3;
  int iVar4;
  int *extraout_ECX;
  int *piVar5;
  uint *puVar6;
  int iVar7;
  int iVar8;
  undefined8 uVar9;
  uint local_30;
  
  uVar9 = FUN_00027eac();
  piVar5 = (int *)((ulonglong)uVar9 >> 0x20);
  if (param_3[2] - *piVar5 < *param_1) {
    free((void *)*param_3);
    iVar4 = *piVar5;
    param_3[2] = iVar4;
    iVar7 = *param_1;
    iVar3 = (iVar4 >> 1) + iVar4;
    if ((SCARRY4(iVar4 >> 1,iVar4)) ||
       (iVar8 = (int)((longlong)iVar3 * 8), (longlong)iVar8 != (longlong)iVar3 * 8)) {
      iVar8 = 0x7ffffff8;
      iVar3 = 0xfffffff;
    }
    else if (iVar8 < 0x40) {
      iVar3 = 8;
      iVar8 = 0x40;
    }
    param_3[2] = 0;
    if ((iVar3 - iVar4 < iVar7) &&
       ((iVar3 = iVar4 + iVar7, SCARRY4(iVar4,iVar7) ||
        (iVar8 = (int)((longlong)iVar3 * 8), (longlong)iVar8 != (longlong)iVar3 * 8)))) {
                    /* WARNING: Subroutine does not return */
      FUN_0002f1c0();
    }
    iVar4 = FUN_0002efd0(0,iVar8);
    *param_3 = iVar4;
    param_3[2] = iVar3;
  }
  param_3[1] = 0;
  iVar8 = 0;
  iVar4 = *piVar5;
  iVar7 = *param_1;
  iVar3 = 0;
  do {
    while (iVar4 <= iVar8) {
      if (iVar7 <= iVar3) {
        return;
      }
      puVar6 = (uint *)(*extraout_ECX + iVar3 * 8);
LAB_0001fe75:
      uVar2 = puVar6[1];
      if ((param_2 & uVar2) != 0) {
        iVar4 = param_3[1];
        puVar1 = (uint *)(*param_3 + iVar4 * 8);
        *puVar1 = *puVar6;
        param_3[1] = iVar4 + 1;
        puVar1[1] = param_2 & uVar2;
        iVar4 = *piVar5;
        iVar7 = *param_1;
      }
      iVar3 = iVar3 + 1;
    }
    local_30 = 0;
    puVar1 = (uint *)(*(int *)uVar9 + iVar8 * 8);
    uVar2 = *puVar1;
    if (iVar3 < iVar7) {
      puVar6 = (uint *)(*extraout_ECX + iVar3 * 8);
      if (*puVar6 < uVar2) goto LAB_0001fe75;
      if (uVar2 == *puVar6) {
        local_30 = param_2 & puVar6[1];
        iVar3 = iVar3 + 1;
      }
    }
    iVar4 = param_3[1];
    iVar8 = iVar8 + 1;
    puVar6 = (uint *)(*param_3 + iVar4 * 8);
    *puVar6 = uVar2;
    uVar2 = puVar1[1];
    param_3[1] = iVar4 + 1;
    puVar6[1] = uVar2 | local_30;
    iVar4 = *piVar5;
    iVar7 = *param_1;
  } while( true );
}


PUSH EBP
PUSH EDI
CALL 0x00027eac
ADD EDI,0x27fd5
PUSH ESI
PUSH EBX
SUB ESP,0x2c
MOV dword ptr [ESP + 0x18],ECX
MOV ESI,dword ptr [ESP + 0x48]
MOV ECX,dword ptr [ESP + 0x40]
MOV dword ptr [ESP + 0x1c],EAX
MOV dword ptr [ESP + 0x14],EDX
MOV EAX,dword ptr [ESI + 0x8]
SUB EAX,dword ptr [EDX]
CMP EAX,dword ptr [ECX]
JL 0x0001ff30
MOV EAX,dword ptr [ESP + 0x14]
MOV dword ptr [ESI + 0x4],0x0
XOR EDI,EDI
MOV EBP,EDI
MOV ECX,dword ptr [EAX]
MOV EAX,dword ptr [ESP + 0x40]
MOV EBX,dword ptr [EAX]
XOR EAX,EAX
LEA ESI,[ESI]
CMP EBP,ECX
JL 0x0001fea6
CMP EAX,EBX
JGE 0x0001ff20
MOV EDI,dword ptr [ESP + 0x18]
MOV EDX,dword ptr [EDI]
LEA EDX,[EDX + EAX*0x8]
MOV EDI,dword ptr [ESP + 0x44]
AND EDI,dword ptr [EDX + 0x4]
JZ 0x0001fe9f
MOV ECX,dword ptr [ESI + 0x4]
MOV EBX,dword ptr [ESI]
MOV EDX,dword ptr [EDX]
LEA EBX,[EBX + ECX*0x8]
ADD ECX,0x1
MOV dword ptr [EBX],EDX
MOV dword ptr [ESI + 0x4],ECX
MOV ECX,dword ptr [ESP + 0x14]
MOV dword ptr [EBX + 0x4],EDI
MOV EBX,dword ptr [ESP + 0x40]
MOV ECX,dword ptr [ECX]
MOV EBX,dword ptr [EBX]
ADD EAX,0x1
CMP EBP,ECX
JGE 0x0001fe64
MOV EDI,dword ptr [ESP + 0x1c]
MOV dword ptr [ESP + 0xc],0x0
MOV EDX,dword ptr [EDI]
LEA EDI,[EDX + EBP*0x8]
MOV EDX,dword ptr [EDI]
MOV dword ptr [ESP + 0x10],EDI
MOV EDI,EDX
CMP EAX,EBX
JL 0x0001fef8
MOV EDX,dword ptr [ESI + 0x4]
MOV ECX,dword ptr [ESI]
ADD EBP,0x1
MOV EBX,dword ptr [ESP + 0x10]
LEA ECX,[ECX + EDX*0x8]
ADD EDX,0x1
MOV dword ptr [ECX],EDI
MOV EDI,dword ptr [ESP + 0x14]
MOV EBX,dword ptr [EBX + 0x4]
OR EBX,dword ptr [ESP + 0xc]
MOV dword ptr [ESI + 0x4],EDX
MOV dword ptr [ECX + 0x4],EBX
MOV ECX,dword ptr [EDI]
MOV EDI,dword ptr [ESP + 0x40]
MOV EBX,dword ptr [EDI]
JMP 0x0001fe60
MOV EDX,dword ptr [ESP + 0x18]
MOV EDX,dword ptr [EDX]
LEA EDX,[EDX + EAX*0x8]
CMP EDI,dword ptr [EDX]
JA 0x0001fe75
JNZ 0x0001fec3
MOV ECX,dword ptr [ESP + 0x44]
AND ECX,dword ptr [EDX + 0x4]
ADD EAX,0x1
MOV dword ptr [ESP + 0xc],ECX
JMP 0x0001fec3
ADD ESP,0x2c
POP EBX
POP ESI
POP EDI
POP EBP
RET
SUB ESP,0xc
PUSH dword ptr [ESI]
MOV EBX,EDI
CALL 0x00012740
MOV EAX,dword ptr [ESP + 0x24]
MOV EBX,dword ptr [EAX]
MOV EAX,dword ptr [ESP + 0x50]
ADD ESP,0x10
MOV ECX,EBX
MOV dword ptr [ESI + 0x8],EBX
MOV EBP,dword ptr [EAX]
SAR ECX,0x1
ADD ECX,EBX
JO 0x0001ffaa
IMUL EAX,ECX,0x8
JO 0x0001ffaa
CMP EAX,0x3f
MOV EDX,0x40
CMOVG EDX,EAX
MOV EAX,0x8
CMOVLE ECX,EAX
MOV EAX,ECX
MOV dword ptr [ESI + 0x8],0x0
SUB EAX,EBX
CMP EBP,EAX
JLE 0x0001ff88
ADD EBX,EBP
MOV ECX,EBX
JO 0x0001ffb6
IMUL EDX,EBX,0x8
JO 0x0001ffb6
MOV dword ptr [ESP + 0xc],ECX
SUB ESP,0x8
MOV EBX,EDI
PUSH EDX
PUSH 0x0
CALL 0x0002efd0
MOV ECX,dword ptr [ESP + 0x1c]
ADD ESP,0x10
MOV dword ptr [ESI],EAX
MOV dword ptr [ESI + 0x8],ECX
JMP 0x0001fe43
MOV EDX,0x7ffffff8
MOV ECX,0xfffffff
JMP 0x0001ff6e
MOV EBX,EDI
CALL 0x0002f1c0
(translation_unit "void FUN_0001fe10(int *param_1,uint param_2,int *param_3)\n\n{\n  uint *puVar1;\n  uint uVar2;\n  int iVar3;\n  int iVar4;\n  int *extraout_ECX;\n  int *piVar5;\n  uint *puVar6;\n  int iVar7;\n  int iVar8;\n  undefined8 uVar9;\n  uint local_30;\n  \n  uVar9 = FUN_00027eac();\n  piVar5 = (int *)((ulonglong)uVar9 >> 0x20);\n  if (param_3[2] - *piVar5 < *param_1) {\n    free((void *)*param_3);\n    iVar4 = *piVar5;\n    param_3[2] = iVar4;\n    iVar7 = *param_1;\n    iVar3 = (iVar4 >> 1) + iVar4;\n    if ((SCARRY4(iVar4 >> 1,iVar4)) ||\n       (iVar8 = (int)((longlong)iVar3 * 8), (longlong)iVar8 != (longlong)iVar3 * 8)) {\n      iVar8 = 0x7ffffff8;\n      iVar3 = 0xfffffff;\n    }\n    else if (iVar8 < 0x40) {\n      iVar3 = 8;\n      iVar8 = 0x40;\n    }\n    param_3[2] = 0;\n    if ((iVar3 - iVar4 < iVar7) &&\n       ((iVar3 = iVar4 + iVar7, SCARRY4(iVar4,iVar7) ||\n        (iVar8 = (int)((longlong)iVar3 * 8), (longlong)iVar8 != (longlong)iVar3 * 8)))) {\n                    /* WARNING: Subroutine does not return */\n      FUN_0002f1c0();\n    }\n    iVar4 = FUN_0002efd0(0,iVar8);\n    *param_3 = iVar4;\n    param_3[2] = iVar3;\n  }\n  param_3[1] = 0;\n  iVar8 = 0;\n  iVar4 = *piVar5;\n  iVar7 = *param_1;\n  iVar3 = 0;\n  do {\n    while (iVar4 <= iVar8) {\n      if (iVar7 <= iVar3) {\n        return;\n      }\n      puVar6 = (uint *)(*extraout_ECX + iVar3 * 8);\nLAB_0001fe75:\n      uVar2 = puVar6[1];\n      if ((param_2 & uVar2) != 0) {\n        iVar4 = param_3[1];\n        puVar1 = (uint *)(*param_3 + iVar4 * 8);\n        *puVar1 = *puVar6;\n        param_3[1] = iVar4 + 1;\n        puVar1[1] = param_2 & uVar2;\n        iVar4 = *piVar5;\n        iVar7 = *param_1;\n      }\n      iVar3 = iVar3 + 1;\n    }\n    local_30 = 0;\n    puVar1 = (uint *)(*(int *)uVar9 + iVar8 * 8);\n    uVar2 = *puVar1;\n    if (iVar3 < iVar7) {\n      puVar6 = (uint *)(*extraout_ECX + iVar3 * 8);\n      if (*puVar6 < uVar2) goto LAB_0001fe75;\n      if (uVar2 == *puVar6) {\n        local_30 = param_2 & puVar6[1];\n        iVar3 = iVar3 + 1;\n      }\n    }\n    iVar4 = param_3[1];\n    iVar8 = iVar8 + 1;\n    puVar6 = (uint *)(*param_3 + iVar4 * 8);\n    *puVar6 = uVar2;\n    uVar2 = puVar1[1];\n    param_3[1] = iVar4 + 1;\n    puVar6[1] = uVar2 | local_30;\n    iVar4 = *piVar5;\n    iVar7 = *param_1;\n  } while( true );\n}\n\n" (function_definition "void FUN_0001fe10(int *param_1,uint param_2,int *param_3)\n\n{\n  uint *puVar1;\n  uint uVar2;\n  int iVar3;\n  int iVar4;\n  int *extraout_ECX;\n  int *piVar5;\n  uint *puVar6;\n  int iVar7;\n  int iVar8;\n  undefined8 uVar9;\n  uint local_30;\n  \n  uVar9 = FUN_00027eac();\n  piVar5 = (int *)((ulonglong)uVar9 >> 0x20);\n  if (param_3[2] - *piVar5 < *param_1) {\n    free((void *)*param_3);\n    iVar4 = *piVar5;\n    param_3[2] = iVar4;\n    iVar7 = *param_1;\n    iVar3 = (iVar4 >> 1) + iVar4;\n    if ((SCARRY4(iVar4 >> 1,iVar4)) ||\n       (iVar8 = (int)((longlong)iVar3 * 8), (longlong)iVar8 != (longlong)iVar3 * 8)) {\n      iVar8 = 0x7ffffff8;\n      iVar3 = 0xfffffff;\n    }\n    else if (iVar8 < 0x40) {\n      iVar3 = 8;\n      iVar8 = 0x40;\n    }\n    param_3[2] = 0;\n    if ((iVar3 - iVar4 < iVar7) &&\n       ((iVar3 = iVar4 + iVar7, SCARRY4(iVar4,iVar7) ||\n        (iVar8 = (int)((longlong)iVar3 * 8), (longlong)iVar8 != (longlong)iVar3 * 8)))) {\n                    /* WARNING: Subroutine does not return */\n      FUN_0002f1c0();\n    }\n    iVar4 = FUN_0002efd0(0,iVar8);\n    *param_3 = iVar4;\n    param_3[2] = iVar3;\n  }\n  param_3[1] = 0;\n  iVar8 = 0;\n  iVar4 = *piVar5;\n  iVar7 = *param_1;\n  iVar3 = 0;\n  do {\n    while (iVar4 <= iVar8) {\n      if (iVar7 <= iVar3) {\n        return;\n      }\n      puVar6 = (uint *)(*extraout_ECX + iVar3 * 8);\nLAB_0001fe75:\n      uVar2 = puVar6[1];\n      if ((param_2 & uVar2) != 0) {\n        iVar4 = param_3[1];\n        puVar1 = (uint *)(*param_3 + iVar4 * 8);\n        *puVar1 = *puVar6;\n        param_3[1] = iVar4 + 1;\n        puVar1[1] = param_2 & uVar2;\n        iVar4 = *piVar5;\n        iVar7 = *param_1;\n      }\n      iVar3 = iVar3 + 1;\n    }\n    local_30 = 0;\n    puVar1 = (uint *)(*(int *)uVar9 + iVar8 * 8);\n    uVar2 = *puVar1;\n    if (iVar3 < iVar7) {\n      puVar6 = (uint *)(*extraout_ECX + iVar3 * 8);\n      if (*puVar6 < uVar2) goto LAB_0001fe75;\n      if (uVar2 == *puVar6) {\n        local_30 = param_2 & puVar6[1];\n        iVar3 = iVar3 + 1;\n      }\n    }\n    iVar4 = param_3[1];\n    iVar8 = iVar8 + 1;\n    puVar6 = (uint *)(*param_3 + iVar4 * 8);\n    *puVar6 = uVar2;\n    uVar2 = puVar1[1];\n    param_3[1] = iVar4 + 1;\n    puVar6[1] = uVar2 | local_30;\n    iVar4 = *piVar5;\n    iVar7 = *param_1;\n  } while( true );\n}" primitive_type (function_declarator "FUN_0001fe10(int *param_1,uint param_2,int *param_3)" identifier (parameter_list "(int *param_1,uint param_2,int *param_3)" ( (parameter_declaration "int *param_1" primitive_type (pointer_declarator "*param_1" * identifier)) , (parameter_declaration "uint param_2" type_identifier identifier) , (parameter_declaration "int *param_3" primitive_type (pointer_declarator "*param_3" * identifier)) ))) (compound_statement "{\n  uint *puVar1;\n  uint uVar2;\n  int iVar3;\n  int iVar4;\n  int *extraout_ECX;\n  int *piVar5;\n  uint *puVar6;\n  int iVar7;\n  int iVar8;\n  undefined8 uVar9;\n  uint local_30;\n  \n  uVar9 = FUN_00027eac();\n  piVar5 = (int *)((ulonglong)uVar9 >> 0x20);\n  if (param_3[2] - *piVar5 < *param_1) {\n    free((void *)*param_3);\n    iVar4 = *piVar5;\n    param_3[2] = iVar4;\n    iVar7 = *param_1;\n    iVar3 = (iVar4 >> 1) + iVar4;\n    if ((SCARRY4(iVar4 >> 1,iVar4)) ||\n       (iVar8 = (int)((longlong)iVar3 * 8), (longlong)iVar8 != (longlong)iVar3 * 8)) {\n      iVar8 = 0x7ffffff8;\n      iVar3 = 0xfffffff;\n    }\n    else if (iVar8 < 0x40) {\n      iVar3 = 8;\n      iVar8 = 0x40;\n    }\n    param_3[2] = 0;\n    if ((iVar3 - iVar4 < iVar7) &&\n       ((iVar3 = iVar4 + iVar7, SCARRY4(iVar4,iVar7) ||\n        (iVar8 = (int)((longlong)iVar3 * 8), (longlong)iVar8 != (longlong)iVar3 * 8)))) {\n                    /* WARNING: Subroutine does not return */\n      FUN_0002f1c0();\n    }\n    iVar4 = FUN_0002efd0(0,iVar8);\n    *param_3 = iVar4;\n    param_3[2] = iVar3;\n  }\n  param_3[1] = 0;\n  iVar8 = 0;\n  iVar4 = *piVar5;\n  iVar7 = *param_1;\n  iVar3 = 0;\n  do {\n    while (iVar4 <= iVar8) {\n      if (iVar7 <= iVar3) {\n        return;\n      }\n      puVar6 = (uint *)(*extraout_ECX + iVar3 * 8);\nLAB_0001fe75:\n      uVar2 = puVar6[1];\n      if ((param_2 & uVar2) != 0) {\n        iVar4 = param_3[1];\n        puVar1 = (uint *)(*param_3 + iVar4 * 8);\n        *puVar1 = *puVar6;\n        param_3[1] = iVar4 + 1;\n        puVar1[1] = param_2 & uVar2;\n        iVar4 = *piVar5;\n        iVar7 = *param_1;\n      }\n      iVar3 = iVar3 + 1;\n    }\n    local_30 = 0;\n    puVar1 = (uint *)(*(int *)uVar9 + iVar8 * 8);\n    uVar2 = *puVar1;\n    if (iVar3 < iVar7) {\n      puVar6 = (uint *)(*extraout_ECX + iVar3 * 8);\n      if (*puVar6 < uVar2) goto LAB_0001fe75;\n      if (uVar2 == *puVar6) {\n        local_30 = param_2 & puVar6[1];\n        iVar3 = iVar3 + 1;\n      }\n    }\n    iVar4 = param_3[1];\n    iVar8 = iVar8 + 1;\n    puVar6 = (uint *)(*param_3 + iVar4 * 8);\n    *puVar6 = uVar2;\n    uVar2 = puVar1[1];\n    param_3[1] = iVar4 + 1;\n    puVar6[1] = uVar2 | local_30;\n    iVar4 = *piVar5;\n    iVar7 = *param_1;\n  } while( true );\n}" { (declaration "uint *puVar1;" type_identifier (pointer_declarator "*puVar1" * identifier) ;) (declaration "uint uVar2;" type_identifier identifier ;) (declaration "int iVar3;" primitive_type identifier ;) (declaration "int iVar4;" primitive_type identifier ;) (declaration "int *extraout_ECX;" primitive_type (pointer_declarator "*extraout_ECX" * identifier) ;) (declaration "int *piVar5;" primitive_type (pointer_declarator "*piVar5" * identifier) ;) (declaration "uint *puVar6;" type_identifier (pointer_declarator "*puVar6" * identifier) ;) (declaration "int iVar7;" primitive_type identifier ;) (declaration "int iVar8;" primitive_type identifier ;) (declaration "undefined8 uVar9;" type_identifier identifier ;) (declaration "uint local_30;" type_identifier identifier ;) (expression_statement "uVar9 = FUN_00027eac();" (assignment_expression "uVar9 = FUN_00027eac()" identifier = (call_expression "FUN_00027eac()" identifier (argument_list "()" ( )))) ;) (expression_statement "piVar5 = (int *)((ulonglong)uVar9 >> 0x20);" (assignment_expression "piVar5 = (int *)((ulonglong)uVar9 >> 0x20)" identifier = (cast_expression "(int *)((ulonglong)uVar9 >> 0x20)" ( (type_descriptor "int *" primitive_type (abstract_pointer_declarator "*" *)) ) (parenthesized_expression "((ulonglong)uVar9 >> 0x20)" ( (binary_expression "(ulonglong)uVar9 >> 0x20" (cast_expression "(ulonglong)uVar9" ( (type_descriptor "ulonglong" type_identifier) ) identifier) >> number_literal) )))) ;) (if_statement "if (param_3[2] - *piVar5 < *param_1) {\n    free((void *)*param_3);\n    iVar4 = *piVar5;\n    param_3[2] = iVar4;\n    iVar7 = *param_1;\n    iVar3 = (iVar4 >> 1) + iVar4;\n    if ((SCARRY4(iVar4 >> 1,iVar4)) ||\n       (iVar8 = (int)((longlong)iVar3 * 8), (longlong)iVar8 != (longlong)iVar3 * 8)) {\n      iVar8 = 0x7ffffff8;\n      iVar3 = 0xfffffff;\n    }\n    else if (iVar8 < 0x40) {\n      iVar3 = 8;\n      iVar8 = 0x40;\n    }\n    param_3[2] = 0;\n    if ((iVar3 - iVar4 < iVar7) &&\n       ((iVar3 = iVar4 + iVar7, SCARRY4(iVar4,iVar7) ||\n        (iVar8 = (int)((longlong)iVar3 * 8), (longlong)iVar8 != (longlong)iVar3 * 8)))) {\n                    /* WARNING: Subroutine does not return */\n      FUN_0002f1c0();\n    }\n    iVar4 = FUN_0002efd0(0,iVar8);\n    *param_3 = iVar4;\n    param_3[2] = iVar3;\n  }" if (parenthesized_expression "(param_3[2] - *piVar5 < *param_1)" ( (binary_expression "param_3[2] - *piVar5 < *param_1" (binary_expression "param_3[2] - *piVar5" (subscript_expression "param_3[2]" identifier [ number_literal ]) - (pointer_expression "*piVar5" * identifier)) < (pointer_expression "*param_1" * identifier)) )) (compound_statement "{\n    free((void *)*param_3);\n    iVar4 = *piVar5;\n    param_3[2] = iVar4;\n    iVar7 = *param_1;\n    iVar3 = (iVar4 >> 1) + iVar4;\n    if ((SCARRY4(iVar4 >> 1,iVar4)) ||\n       (iVar8 = (int)((longlong)iVar3 * 8), (longlong)iVar8 != (longlong)iVar3 * 8)) {\n      iVar8 = 0x7ffffff8;\n      iVar3 = 0xfffffff;\n    }\n    else if (iVar8 < 0x40) {\n      iVar3 = 8;\n      iVar8 = 0x40;\n    }\n    param_3[2] = 0;\n    if ((iVar3 - iVar4 < iVar7) &&\n       ((iVar3 = iVar4 + iVar7, SCARRY4(iVar4,iVar7) ||\n        (iVar8 = (int)((longlong)iVar3 * 8), (longlong)iVar8 != (longlong)iVar3 * 8)))) {\n                    /* WARNING: Subroutine does not return */\n      FUN_0002f1c0();\n    }\n    iVar4 = FUN_0002efd0(0,iVar8);\n    *param_3 = iVar4;\n    param_3[2] = iVar3;\n  }" { (expression_statement "free((void *)*param_3);" (call_expression "free((void *)*param_3)" identifier (argument_list "((void *)*param_3)" ( (cast_expression "(void *)*param_3" ( (type_descriptor "void *" primitive_type (abstract_pointer_declarator "*" *)) ) (pointer_expression "*param_3" * identifier)) ))) ;) (expression_statement "iVar4 = *piVar5;" (assignment_expression "iVar4 = *piVar5" identifier = (pointer_expression "*piVar5" * identifier)) ;) (expression_statement "param_3[2] = iVar4;" (assignment_expression "param_3[2] = iVar4" (subscript_expression "param_3[2]" identifier [ number_literal ]) = identifier) ;) (expression_statement "iVar7 = *param_1;" (assignment_expression "iVar7 = *param_1" identifier = (pointer_expression "*param_1" * identifier)) ;) (expression_statement "iVar3 = (iVar4 >> 1) + iVar4;" (assignment_expression "iVar3 = (iVar4 >> 1) + iVar4" identifier = (binary_expression "(iVar4 >> 1) + iVar4" (parenthesized_expression "(iVar4 >> 1)" ( (binary_expression "iVar4 >> 1" identifier >> number_literal) )) + identifier)) ;) (if_statement "if ((SCARRY4(iVar4 >> 1,iVar4)) ||\n       (iVar8 = (int)((longlong)iVar3 * 8), (longlong)iVar8 != (longlong)iVar3 * 8)) {\n      iVar8 = 0x7ffffff8;\n      iVar3 = 0xfffffff;\n    }\n    else if (iVar8 < 0x40) {\n      iVar3 = 8;\n      iVar8 = 0x40;\n    }" if (parenthesized_expression "((SCARRY4(iVar4 >> 1,iVar4)) ||\n       (iVar8 = (int)((longlong)iVar3 * 8), (longlong)iVar8 != (longlong)iVar3 * 8))" ( (binary_expression "(SCARRY4(iVar4 >> 1,iVar4)) ||\n       (iVar8 = (int)((longlong)iVar3 * 8), (longlong)iVar8 != (longlong)iVar3 * 8)" (parenthesized_expression "(SCARRY4(iVar4 >> 1,iVar4))" ( (call_expression "SCARRY4(iVar4 >> 1,iVar4)" identifier (argument_list "(iVar4 >> 1,iVar4)" ( (binary_expression "iVar4 >> 1" identifier >> number_literal) , identifier ))) )) || (parenthesized_expression "(iVar8 = (int)((longlong)iVar3 * 8), (longlong)iVar8 != (longlong)iVar3 * 8)" ( (comma_expression "iVar8 = (int)((longlong)iVar3 * 8), (longlong)iVar8 != (longlong)iVar3 * 8" (assignment_expression "iVar8 = (int)((longlong)iVar3 * 8)" identifier = (cast_expression "(int)((longlong)iVar3 * 8)" ( (type_descriptor "int" primitive_type) ) (parenthesized_expression "((longlong)iVar3 * 8)" ( (binary_expression "(longlong)iVar3 * 8" (cast_expression "(longlong)iVar3" ( (type_descriptor "longlong" type_identifier) ) identifier) * number_literal) )))) , (binary_expression "(longlong)iVar8 != (longlong)iVar3 * 8" (cast_expression "(longlong)iVar8" ( (type_descriptor "longlong" type_identifier) ) identifier) != (binary_expression "(longlong)iVar3 * 8" (cast_expression "(longlong)iVar3" ( (type_descriptor "longlong" type_identifier) ) identifier) * number_literal))) ))) )) (compound_statement "{\n      iVar8 = 0x7ffffff8;\n      iVar3 = 0xfffffff;\n    }" { (expression_statement "iVar8 = 0x7ffffff8;" (assignment_expression "iVar8 = 0x7ffffff8" identifier = number_literal) ;) (expression_statement "iVar3 = 0xfffffff;" (assignment_expression "iVar3 = 0xfffffff" identifier = number_literal) ;) }) (else_clause "else if (iVar8 < 0x40) {\n      iVar3 = 8;\n      iVar8 = 0x40;\n    }" else (if_statement "if (iVar8 < 0x40) {\n      iVar3 = 8;\n      iVar8 = 0x40;\n    }" if (parenthesized_expression "(iVar8 < 0x40)" ( (binary_expression "iVar8 < 0x40" identifier < number_literal) )) (compound_statement "{\n      iVar3 = 8;\n      iVar8 = 0x40;\n    }" { (expression_statement "iVar3 = 8;" (assignment_expression "iVar3 = 8" identifier = number_literal) ;) (expression_statement "iVar8 = 0x40;" (assignment_expression "iVar8 = 0x40" identifier = number_literal) ;) })))) (expression_statement "param_3[2] = 0;" (assignment_expression "param_3[2] = 0" (subscript_expression "param_3[2]" identifier [ number_literal ]) = number_literal) ;) (if_statement "if ((iVar3 - iVar4 < iVar7) &&\n       ((iVar3 = iVar4 + iVar7, SCARRY4(iVar4,iVar7) ||\n        (iVar8 = (int)((longlong)iVar3 * 8), (longlong)iVar8 != (longlong)iVar3 * 8)))) {\n                    /* WARNING: Subroutine does not return */\n      FUN_0002f1c0();\n    }" if (parenthesized_expression "((iVar3 - iVar4 < iVar7) &&\n       ((iVar3 = iVar4 + iVar7, SCARRY4(iVar4,iVar7) ||\n        (iVar8 = (int)((longlong)iVar3 * 8), (longlong)iVar8 != (longlong)iVar3 * 8))))" ( (binary_expression "(iVar3 - iVar4 < iVar7) &&\n       ((iVar3 = iVar4 + iVar7, SCARRY4(iVar4,iVar7) ||\n        (iVar8 = (int)((longlong)iVar3 * 8), (longlong)iVar8 != (longlong)iVar3 * 8)))" (parenthesized_expression "(iVar3 - iVar4 < iVar7)" ( (binary_expression "iVar3 - iVar4 < iVar7" (binary_expression "iVar3 - iVar4" identifier - identifier) < identifier) )) && (parenthesized_expression "((iVar3 = iVar4 + iVar7, SCARRY4(iVar4,iVar7) ||\n        (iVar8 = (int)((longlong)iVar3 * 8), (longlong)iVar8 != (longlong)iVar3 * 8)))" ( (parenthesized_expression "(iVar3 = iVar4 + iVar7, SCARRY4(iVar4,iVar7) ||\n        (iVar8 = (int)((longlong)iVar3 * 8), (longlong)iVar8 != (longlong)iVar3 * 8))" ( (comma_expression "iVar3 = iVar4 + iVar7, SCARRY4(iVar4,iVar7) ||\n        (iVar8 = (int)((longlong)iVar3 * 8), (longlong)iVar8 != (longlong)iVar3 * 8)" (assignment_expression "iVar3 = iVar4 + iVar7" identifier = (binary_expression "iVar4 + iVar7" identifier + identifier)) , (binary_expression "SCARRY4(iVar4,iVar7) ||\n        (iVar8 = (int)((longlong)iVar3 * 8), (longlong)iVar8 != (longlong)iVar3 * 8)" (call_expression "SCARRY4(iVar4,iVar7)" identifier (argument_list "(iVar4,iVar7)" ( identifier , identifier ))) || (parenthesized_expression "(iVar8 = (int)((longlong)iVar3 * 8), (longlong)iVar8 != (longlong)iVar3 * 8)" ( (comma_expression "iVar8 = (int)((longlong)iVar3 * 8), (longlong)iVar8 != (longlong)iVar3 * 8" (assignment_expression "iVar8 = (int)((longlong)iVar3 * 8)" identifier = (cast_expression "(int)((longlong)iVar3 * 8)" ( (type_descriptor "int" primitive_type) ) (parenthesized_expression "((longlong)iVar3 * 8)" ( (binary_expression "(longlong)iVar3 * 8" (cast_expression "(longlong)iVar3" ( (type_descriptor "longlong" type_identifier) ) identifier) * number_literal) )))) , (binary_expression "(longlong)iVar8 != (longlong)iVar3 * 8" (cast_expression "(longlong)iVar8" ( (type_descriptor "longlong" type_identifier) ) identifier) != (binary_expression "(longlong)iVar3 * 8" (cast_expression "(longlong)iVar3" ( (type_descriptor "longlong" type_identifier) ) identifier) * number_literal))) )))) )) ))) )) (compound_statement "{\n                    /* WARNING: Subroutine does not return */\n      FUN_0002f1c0();\n    }" { comment (expression_statement "FUN_0002f1c0();" (call_expression "FUN_0002f1c0()" identifier (argument_list "()" ( ))) ;) })) (expression_statement "iVar4 = FUN_0002efd0(0,iVar8);" (assignment_expression "iVar4 = FUN_0002efd0(0,iVar8)" identifier = (call_expression "FUN_0002efd0(0,iVar8)" identifier (argument_list "(0,iVar8)" ( number_literal , identifier )))) ;) (expression_statement "*param_3 = iVar4;" (assignment_expression "*param_3 = iVar4" (pointer_expression "*param_3" * identifier) = identifier) ;) (expression_statement "param_3[2] = iVar3;" (assignment_expression "param_3[2] = iVar3" (subscript_expression "param_3[2]" identifier [ number_literal ]) = identifier) ;) })) (expression_statement "param_3[1] = 0;" (assignment_expression "param_3[1] = 0" (subscript_expression "param_3[1]" identifier [ number_literal ]) = number_literal) ;) (expression_statement "iVar8 = 0;" (assignment_expression "iVar8 = 0" identifier = number_literal) ;) (expression_statement "iVar4 = *piVar5;" (assignment_expression "iVar4 = *piVar5" identifier = (pointer_expression "*piVar5" * identifier)) ;) (expression_statement "iVar7 = *param_1;" (assignment_expression "iVar7 = *param_1" identifier = (pointer_expression "*param_1" * identifier)) ;) (expression_statement "iVar3 = 0;" (assignment_expression "iVar3 = 0" identifier = number_literal) ;) (do_statement "do {\n    while (iVar4 <= iVar8) {\n      if (iVar7 <= iVar3) {\n        return;\n      }\n      puVar6 = (uint *)(*extraout_ECX + iVar3 * 8);\nLAB_0001fe75:\n      uVar2 = puVar6[1];\n      if ((param_2 & uVar2) != 0) {\n        iVar4 = param_3[1];\n        puVar1 = (uint *)(*param_3 + iVar4 * 8);\n        *puVar1 = *puVar6;\n        param_3[1] = iVar4 + 1;\n        puVar1[1] = param_2 & uVar2;\n        iVar4 = *piVar5;\n        iVar7 = *param_1;\n      }\n      iVar3 = iVar3 + 1;\n    }\n    local_30 = 0;\n    puVar1 = (uint *)(*(int *)uVar9 + iVar8 * 8);\n    uVar2 = *puVar1;\n    if (iVar3 < iVar7) {\n      puVar6 = (uint *)(*extraout_ECX + iVar3 * 8);\n      if (*puVar6 < uVar2) goto LAB_0001fe75;\n      if (uVar2 == *puVar6) {\n        local_30 = param_2 & puVar6[1];\n        iVar3 = iVar3 + 1;\n      }\n    }\n    iVar4 = param_3[1];\n    iVar8 = iVar8 + 1;\n    puVar6 = (uint *)(*param_3 + iVar4 * 8);\n    *puVar6 = uVar2;\n    uVar2 = puVar1[1];\n    param_3[1] = iVar4 + 1;\n    puVar6[1] = uVar2 | local_30;\n    iVar4 = *piVar5;\n    iVar7 = *param_1;\n  } while( true );" do (compound_statement "{\n    while (iVar4 <= iVar8) {\n      if (iVar7 <= iVar3) {\n        return;\n      }\n      puVar6 = (uint *)(*extraout_ECX + iVar3 * 8);\nLAB_0001fe75:\n      uVar2 = puVar6[1];\n      if ((param_2 & uVar2) != 0) {\n        iVar4 = param_3[1];\n        puVar1 = (uint *)(*param_3 + iVar4 * 8);\n        *puVar1 = *puVar6;\n        param_3[1] = iVar4 + 1;\n        puVar1[1] = param_2 & uVar2;\n        iVar4 = *piVar5;\n        iVar7 = *param_1;\n      }\n      iVar3 = iVar3 + 1;\n    }\n    local_30 = 0;\n    puVar1 = (uint *)(*(int *)uVar9 + iVar8 * 8);\n    uVar2 = *puVar1;\n    if (iVar3 < iVar7) {\n      puVar6 = (uint *)(*extraout_ECX + iVar3 * 8);\n      if (*puVar6 < uVar2) goto LAB_0001fe75;\n      if (uVar2 == *puVar6) {\n        local_30 = param_2 & puVar6[1];\n        iVar3 = iVar3 + 1;\n      }\n    }\n    iVar4 = param_3[1];\n    iVar8 = iVar8 + 1;\n    puVar6 = (uint *)(*param_3 + iVar4 * 8);\n    *puVar6 = uVar2;\n    uVar2 = puVar1[1];\n    param_3[1] = iVar4 + 1;\n    puVar6[1] = uVar2 | local_30;\n    iVar4 = *piVar5;\n    iVar7 = *param_1;\n  }" { (while_statement "while (iVar4 <= iVar8) {\n      if (iVar7 <= iVar3) {\n        return;\n      }\n      puVar6 = (uint *)(*extraout_ECX + iVar3 * 8);\nLAB_0001fe75:\n      uVar2 = puVar6[1];\n      if ((param_2 & uVar2) != 0) {\n        iVar4 = param_3[1];\n        puVar1 = (uint *)(*param_3 + iVar4 * 8);\n        *puVar1 = *puVar6;\n        param_3[1] = iVar4 + 1;\n        puVar1[1] = param_2 & uVar2;\n        iVar4 = *piVar5;\n        iVar7 = *param_1;\n      }\n      iVar3 = iVar3 + 1;\n    }" while (parenthesized_expression "(iVar4 <= iVar8)" ( (binary_expression "iVar4 <= iVar8" identifier <= identifier) )) (compound_statement "{\n      if (iVar7 <= iVar3) {\n        return;\n      }\n      puVar6 = (uint *)(*extraout_ECX + iVar3 * 8);\nLAB_0001fe75:\n      uVar2 = puVar6[1];\n      if ((param_2 & uVar2) != 0) {\n        iVar4 = param_3[1];\n        puVar1 = (uint *)(*param_3 + iVar4 * 8);\n        *puVar1 = *puVar6;\n        param_3[1] = iVar4 + 1;\n        puVar1[1] = param_2 & uVar2;\n        iVar4 = *piVar5;\n        iVar7 = *param_1;\n      }\n      iVar3 = iVar3 + 1;\n    }" { (if_statement "if (iVar7 <= iVar3) {\n        return;\n      }" if (parenthesized_expression "(iVar7 <= iVar3)" ( (binary_expression "iVar7 <= iVar3" identifier <= identifier) )) (compound_statement "{\n        return;\n      }" { (return_statement "return;" return ;) })) (expression_statement "puVar6 = (uint *)(*extraout_ECX + iVar3 * 8);" (assignment_expression "puVar6 = (uint *)(*extraout_ECX + iVar3 * 8)" identifier = (cast_expression "(uint *)(*extraout_ECX + iVar3 * 8)" ( (type_descriptor "uint *" type_identifier (abstract_pointer_declarator "*" *)) ) (parenthesized_expression "(*extraout_ECX + iVar3 * 8)" ( (binary_expression "*extraout_ECX + iVar3 * 8" (pointer_expression "*extraout_ECX" * identifier) + (binary_expression "iVar3 * 8" identifier * number_literal)) )))) ;) (labeled_statement "LAB_0001fe75:\n      uVar2 = puVar6[1];" statement_identifier : (expression_statement "uVar2 = puVar6[1];" (assignment_expression "uVar2 = puVar6[1]" identifier = (subscript_expression "puVar6[1]" identifier [ number_literal ])) ;)) (if_statement "if ((param_2 & uVar2) != 0) {\n        iVar4 = param_3[1];\n        puVar1 = (uint *)(*param_3 + iVar4 * 8);\n        *puVar1 = *puVar6;\n        param_3[1] = iVar4 + 1;\n        puVar1[1] = param_2 & uVar2;\n        iVar4 = *piVar5;\n        iVar7 = *param_1;\n      }" if (parenthesized_expression "((param_2 & uVar2) != 0)" ( (binary_expression "(param_2 & uVar2) != 0" (parenthesized_expression "(param_2 & uVar2)" ( (binary_expression "param_2 & uVar2" identifier & identifier) )) != number_literal) )) (compound_statement "{\n        iVar4 = param_3[1];\n        puVar1 = (uint *)(*param_3 + iVar4 * 8);\n        *puVar1 = *puVar6;\n        param_3[1] = iVar4 + 1;\n        puVar1[1] = param_2 & uVar2;\n        iVar4 = *piVar5;\n        iVar7 = *param_1;\n      }" { (expression_statement "iVar4 = param_3[1];" (assignment_expression "iVar4 = param_3[1]" identifier = (subscript_expression "param_3[1]" identifier [ number_literal ])) ;) (expression_statement "puVar1 = (uint *)(*param_3 + iVar4 * 8);" (assignment_expression "puVar1 = (uint *)(*param_3 + iVar4 * 8)" identifier = (cast_expression "(uint *)(*param_3 + iVar4 * 8)" ( (type_descriptor "uint *" type_identifier (abstract_pointer_declarator "*" *)) ) (parenthesized_expression "(*param_3 + iVar4 * 8)" ( (binary_expression "*param_3 + iVar4 * 8" (pointer_expression "*param_3" * identifier) + (binary_expression "iVar4 * 8" identifier * number_literal)) )))) ;) (expression_statement "*puVar1 = *puVar6;" (assignment_expression "*puVar1 = *puVar6" (pointer_expression "*puVar1" * identifier) = (pointer_expression "*puVar6" * identifier)) ;) (expression_statement "param_3[1] = iVar4 + 1;" (assignment_expression "param_3[1] = iVar4 + 1" (subscript_expression "param_3[1]" identifier [ number_literal ]) = (binary_expression "iVar4 + 1" identifier + number_literal)) ;) (expression_statement "puVar1[1] = param_2 & uVar2;" (assignment_expression "puVar1[1] = param_2 & uVar2" (subscript_expression "puVar1[1]" identifier [ number_literal ]) = (binary_expression "param_2 & uVar2" identifier & identifier)) ;) (expression_statement "iVar4 = *piVar5;" (assignment_expression "iVar4 = *piVar5" identifier = (pointer_expression "*piVar5" * identifier)) ;) (expression_statement "iVar7 = *param_1;" (assignment_expression "iVar7 = *param_1" identifier = (pointer_expression "*param_1" * identifier)) ;) })) (expression_statement "iVar3 = iVar3 + 1;" (assignment_expression "iVar3 = iVar3 + 1" identifier = (binary_expression "iVar3 + 1" identifier + number_literal)) ;) })) (expression_statement "local_30 = 0;" (assignment_expression "local_30 = 0" identifier = number_literal) ;) (expression_statement "puVar1 = (uint *)(*(int *)uVar9 + iVar8 * 8);" (assignment_expression "puVar1 = (uint *)(*(int *)uVar9 + iVar8 * 8)" identifier = (cast_expression "(uint *)(*(int *)uVar9 + iVar8 * 8)" ( (type_descriptor "uint *" type_identifier (abstract_pointer_declarator "*" *)) ) (parenthesized_expression "(*(int *)uVar9 + iVar8 * 8)" ( (binary_expression "*(int *)uVar9 + iVar8 * 8" (pointer_expression "*(int *)uVar9" * (cast_expression "(int *)uVar9" ( (type_descriptor "int *" primitive_type (abstract_pointer_declarator "*" *)) ) identifier)) + (binary_expression "iVar8 * 8" identifier * number_literal)) )))) ;) (expression_statement "uVar2 = *puVar1;" (assignment_expression "uVar2 = *puVar1" identifier = (pointer_expression "*puVar1" * identifier)) ;) (if_statement "if (iVar3 < iVar7) {\n      puVar6 = (uint *)(*extraout_ECX + iVar3 * 8);\n      if (*puVar6 < uVar2) goto LAB_0001fe75;\n      if (uVar2 == *puVar6) {\n        local_30 = param_2 & puVar6[1];\n        iVar3 = iVar3 + 1;\n      }\n    }" if (parenthesized_expression "(iVar3 < iVar7)" ( (binary_expression "iVar3 < iVar7" identifier < identifier) )) (compound_statement "{\n      puVar6 = (uint *)(*extraout_ECX + iVar3 * 8);\n      if (*puVar6 < uVar2) goto LAB_0001fe75;\n      if (uVar2 == *puVar6) {\n        local_30 = param_2 & puVar6[1];\n        iVar3 = iVar3 + 1;\n      }\n    }" { (expression_statement "puVar6 = (uint *)(*extraout_ECX + iVar3 * 8);" (assignment_expression "puVar6 = (uint *)(*extraout_ECX + iVar3 * 8)" identifier = (cast_expression "(uint *)(*extraout_ECX + iVar3 * 8)" ( (type_descriptor "uint *" type_identifier (abstract_pointer_declarator "*" *)) ) (parenthesized_expression "(*extraout_ECX + iVar3 * 8)" ( (binary_expression "*extraout_ECX + iVar3 * 8" (pointer_expression "*extraout_ECX" * identifier) + (binary_expression "iVar3 * 8" identifier * number_literal)) )))) ;) (if_statement "if (*puVar6 < uVar2) goto LAB_0001fe75;" if (parenthesized_expression "(*puVar6 < uVar2)" ( (binary_expression "*puVar6 < uVar2" (pointer_expression "*puVar6" * identifier) < identifier) )) (goto_statement "goto LAB_0001fe75;" goto statement_identifier ;)) (if_statement "if (uVar2 == *puVar6) {\n        local_30 = param_2 & puVar6[1];\n        iVar3 = iVar3 + 1;\n      }" if (parenthesized_expression "(uVar2 == *puVar6)" ( (binary_expression "uVar2 == *puVar6" identifier == (pointer_expression "*puVar6" * identifier)) )) (compound_statement "{\n        local_30 = param_2 & puVar6[1];\n        iVar3 = iVar3 + 1;\n      }" { (expression_statement "local_30 = param_2 & puVar6[1];" (assignment_expression "local_30 = param_2 & puVar6[1]" identifier = (binary_expression "param_2 & puVar6[1]" identifier & (subscript_expression "puVar6[1]" identifier [ number_literal ]))) ;) (expression_statement "iVar3 = iVar3 + 1;" (assignment_expression "iVar3 = iVar3 + 1" identifier = (binary_expression "iVar3 + 1" identifier + number_literal)) ;) })) })) (expression_statement "iVar4 = param_3[1];" (assignment_expression "iVar4 = param_3[1]" identifier = (subscript_expression "param_3[1]" identifier [ number_literal ])) ;) (expression_statement "iVar8 = iVar8 + 1;" (assignment_expression "iVar8 = iVar8 + 1" identifier = (binary_expression "iVar8 + 1" identifier + number_literal)) ;) (expression_statement "puVar6 = (uint *)(*param_3 + iVar4 * 8);" (assignment_expression "puVar6 = (uint *)(*param_3 + iVar4 * 8)" identifier = (cast_expression "(uint *)(*param_3 + iVar4 * 8)" ( (type_descriptor "uint *" type_identifier (abstract_pointer_declarator "*" *)) ) (parenthesized_expression "(*param_3 + iVar4 * 8)" ( (binary_expression "*param_3 + iVar4 * 8" (pointer_expression "*param_3" * identifier) + (binary_expression "iVar4 * 8" identifier * number_literal)) )))) ;) (expression_statement "*puVar6 = uVar2;" (assignment_expression "*puVar6 = uVar2" (pointer_expression "*puVar6" * identifier) = identifier) ;) (expression_statement "uVar2 = puVar1[1];" (assignment_expression "uVar2 = puVar1[1]" identifier = (subscript_expression "puVar1[1]" identifier [ number_literal ])) ;) (expression_statement "param_3[1] = iVar4 + 1;" (assignment_expression "param_3[1] = iVar4 + 1" (subscript_expression "param_3[1]" identifier [ number_literal ]) = (binary_expression "iVar4 + 1" identifier + number_literal)) ;) (expression_statement "puVar6[1] = uVar2 | local_30;" (assignment_expression "puVar6[1] = uVar2 | local_30" (subscript_expression "puVar6[1]" identifier [ number_literal ]) = (binary_expression "uVar2 | local_30" identifier | identifier)) ;) (expression_statement "iVar4 = *piVar5;" (assignment_expression "iVar4 = *piVar5" identifier = (pointer_expression "*piVar5" * identifier)) ;) (expression_statement "iVar7 = *param_1;" (assignment_expression "iVar7 = *param_1" identifier = (pointer_expression "*param_1" * identifier)) ;) }) while (parenthesized_expression "( true )" ( true )) ;) })))
(translation_unit "/* DWARF original prototype: void merge_constrained(position_set * s1, position_set * s2, uint c2,\n   position_set * m, position_set * s2, position_set * s1) */\n\nvoid merge_constrained(position_set *s1,position_set *s2,uint c2,position_set *m,position_set *s2_1,\n                      position_set *s1_1)\n\n{\n  uint *puVar1;\n  uint uVar2;\n  int iVar3;\n  size_t n;\n  void *pvVar4;\n  int *extraout_ECX;\n  int iVar5;\n  int *piVar6;\n  uint *puVar7;\n  position *ppVar8;\n  int iVar9;\n  undefined8 uVar10;\n  uint local_30;\n  \n  uVar10 = __x86_get_pc_thunk_di();\n  piVar6 = (int *)((ulonglong)uVar10 >> 0x20);\n  if (*(int *)(c2 + 8) - *piVar6 < (int)s1->elems) {\n    free(*(void **)c2);\n    iVar5 = *piVar6;\n    *(int *)(c2 + 8) = iVar5;\n    ppVar8 = s1->elems;\n    iVar3 = (iVar5 >> 1) + iVar5;\n    if ((SCARRY4(iVar5 >> 1,iVar5)) ||\n       (n = (size_t)((longlong)iVar3 * 8), (longlong)(int)n != (longlong)iVar3 * 8)) {\n      n = 0x7ffffff8;\n      iVar3 = 0xfffffff;\n    }\n    else if ((int)n < 0x40) {\n      iVar3 = 8;\n      n = 0x40;\n    }\n    *(undefined4 *)(c2 + 8) = 0;\n    if ((iVar3 - iVar5 < (int)ppVar8) &&\n       ((iVar3 = (int)&ppVar8->index + iVar5, SCARRY4(iVar5,(int)ppVar8) ||\n        (n = (size_t)((longlong)iVar3 * 8), (longlong)(int)n != (longlong)iVar3 * 8)))) {\n                    /* WARNING: Subroutine does not return */\n      xalloc_die();\n    }\n    pvVar4 = xrealloc((void *)0x0,n);\n    *(void **)c2 = pvVar4;\n    *(int *)(c2 + 8) = iVar3;\n  }\n  *(undefined4 *)(c2 + 4) = 0;\n  iVar9 = 0;\n  iVar5 = *piVar6;\n  ppVar8 = s1->elems;\n  iVar3 = 0;\n  do {\n    while (iVar5 <= iVar9) {\n      if ((int)ppVar8 <= iVar3) {\n        return;\n      }\n      puVar7 = (uint *)(*extraout_ECX + iVar3 * 8);\nLAB_0001fe75:\n      uVar2 = puVar7[1];\n      if (((uint)s2 & uVar2) != 0) {\n        iVar5 = *(int *)(c2 + 4);\n        puVar1 = (uint *)(*(int *)c2 + iVar5 * 8);\n        *puVar1 = *puVar7;\n        *(int *)(c2 + 4) = iVar5 + 1;\n        puVar1[1] = (uint)s2 & uVar2;\n        iVar5 = *piVar6;\n        ppVar8 = s1->elems;\n      }\n      iVar3 = iVar3 + 1;\n    }\n    local_30 = 0;\n    puVar1 = (uint *)(*(int *)uVar10 + iVar9 * 8);\n    uVar2 = *puVar1;\n    if (iVar3 < (int)ppVar8) {\n      puVar7 = (uint *)(*extraout_ECX + iVar3 * 8);\n      if (*puVar7 < uVar2) goto LAB_0001fe75;\n      if (uVar2 == *puVar7) {\n        local_30 = (uint)s2 & puVar7[1];\n        iVar3 = iVar3 + 1;\n      }\n    }\n    iVar5 = *(int *)(c2 + 4);\n    iVar9 = iVar9 + 1;\n    puVar7 = (uint *)(*(int *)c2 + iVar5 * 8);\n    *puVar7 = uVar2;\n    uVar2 = puVar1[1];\n    *(int *)(c2 + 4) = iVar5 + 1;\n    puVar7[1] = uVar2 | local_30;\n    iVar5 = *piVar6;\n    ppVar8 = s1->elems;\n  } while( true );\n}\n\n" comment (function_definition "void merge_constrained(position_set *s1,position_set *s2,uint c2,position_set *m,position_set *s2_1,\n                      position_set *s1_1)\n\n{\n  uint *puVar1;\n  uint uVar2;\n  int iVar3;\n  size_t n;\n  void *pvVar4;\n  int *extraout_ECX;\n  int iVar5;\n  int *piVar6;\n  uint *puVar7;\n  position *ppVar8;\n  int iVar9;\n  undefined8 uVar10;\n  uint local_30;\n  \n  uVar10 = __x86_get_pc_thunk_di();\n  piVar6 = (int *)((ulonglong)uVar10 >> 0x20);\n  if (*(int *)(c2 + 8) - *piVar6 < (int)s1->elems) {\n    free(*(void **)c2);\n    iVar5 = *piVar6;\n    *(int *)(c2 + 8) = iVar5;\n    ppVar8 = s1->elems;\n    iVar3 = (iVar5 >> 1) + iVar5;\n    if ((SCARRY4(iVar5 >> 1,iVar5)) ||\n       (n = (size_t)((longlong)iVar3 * 8), (longlong)(int)n != (longlong)iVar3 * 8)) {\n      n = 0x7ffffff8;\n      iVar3 = 0xfffffff;\n    }\n    else if ((int)n < 0x40) {\n      iVar3 = 8;\n      n = 0x40;\n    }\n    *(undefined4 *)(c2 + 8) = 0;\n    if ((iVar3 - iVar5 < (int)ppVar8) &&\n       ((iVar3 = (int)&ppVar8->index + iVar5, SCARRY4(iVar5,(int)ppVar8) ||\n        (n = (size_t)((longlong)iVar3 * 8), (longlong)(int)n != (longlong)iVar3 * 8)))) {\n                    /* WARNING: Subroutine does not return */\n      xalloc_die();\n    }\n    pvVar4 = xrealloc((void *)0x0,n);\n    *(void **)c2 = pvVar4;\n    *(int *)(c2 + 8) = iVar3;\n  }\n  *(undefined4 *)(c2 + 4) = 0;\n  iVar9 = 0;\n  iVar5 = *piVar6;\n  ppVar8 = s1->elems;\n  iVar3 = 0;\n  do {\n    while (iVar5 <= iVar9) {\n      if ((int)ppVar8 <= iVar3) {\n        return;\n      }\n      puVar7 = (uint *)(*extraout_ECX + iVar3 * 8);\nLAB_0001fe75:\n      uVar2 = puVar7[1];\n      if (((uint)s2 & uVar2) != 0) {\n        iVar5 = *(int *)(c2 + 4);\n        puVar1 = (uint *)(*(int *)c2 + iVar5 * 8);\n        *puVar1 = *puVar7;\n        *(int *)(c2 + 4) = iVar5 + 1;\n        puVar1[1] = (uint)s2 & uVar2;\n        iVar5 = *piVar6;\n        ppVar8 = s1->elems;\n      }\n      iVar3 = iVar3 + 1;\n    }\n    local_30 = 0;\n    puVar1 = (uint *)(*(int *)uVar10 + iVar9 * 8);\n    uVar2 = *puVar1;\n    if (iVar3 < (int)ppVar8) {\n      puVar7 = (uint *)(*extraout_ECX + iVar3 * 8);\n      if (*puVar7 < uVar2) goto LAB_0001fe75;\n      if (uVar2 == *puVar7) {\n        local_30 = (uint)s2 & puVar7[1];\n        iVar3 = iVar3 + 1;\n      }\n    }\n    iVar5 = *(int *)(c2 + 4);\n    iVar9 = iVar9 + 1;\n    puVar7 = (uint *)(*(int *)c2 + iVar5 * 8);\n    *puVar7 = uVar2;\n    uVar2 = puVar1[1];\n    *(int *)(c2 + 4) = iVar5 + 1;\n    puVar7[1] = uVar2 | local_30;\n    iVar5 = *piVar6;\n    ppVar8 = s1->elems;\n  } while( true );\n}" primitive_type (function_declarator "merge_constrained(position_set *s1,position_set *s2,uint c2,position_set *m,position_set *s2_1,\n                      position_set *s1_1)" identifier (parameter_list "(position_set *s1,position_set *s2,uint c2,position_set *m,position_set *s2_1,\n                      position_set *s1_1)" ( (parameter_declaration "position_set *s1" type_identifier (pointer_declarator "*s1" * identifier)) , (parameter_declaration "position_set *s2" type_identifier (pointer_declarator "*s2" * identifier)) , (parameter_declaration "uint c2" type_identifier identifier) , (parameter_declaration "position_set *m" type_identifier (pointer_declarator "*m" * identifier)) , (parameter_declaration "position_set *s2_1" type_identifier (pointer_declarator "*s2_1" * identifier)) , (parameter_declaration "position_set *s1_1" type_identifier (pointer_declarator "*s1_1" * identifier)) ))) (compound_statement "{\n  uint *puVar1;\n  uint uVar2;\n  int iVar3;\n  size_t n;\n  void *pvVar4;\n  int *extraout_ECX;\n  int iVar5;\n  int *piVar6;\n  uint *puVar7;\n  position *ppVar8;\n  int iVar9;\n  undefined8 uVar10;\n  uint local_30;\n  \n  uVar10 = __x86_get_pc_thunk_di();\n  piVar6 = (int *)((ulonglong)uVar10 >> 0x20);\n  if (*(int *)(c2 + 8) - *piVar6 < (int)s1->elems) {\n    free(*(void **)c2);\n    iVar5 = *piVar6;\n    *(int *)(c2 + 8) = iVar5;\n    ppVar8 = s1->elems;\n    iVar3 = (iVar5 >> 1) + iVar5;\n    if ((SCARRY4(iVar5 >> 1,iVar5)) ||\n       (n = (size_t)((longlong)iVar3 * 8), (longlong)(int)n != (longlong)iVar3 * 8)) {\n      n = 0x7ffffff8;\n      iVar3 = 0xfffffff;\n    }\n    else if ((int)n < 0x40) {\n      iVar3 = 8;\n      n = 0x40;\n    }\n    *(undefined4 *)(c2 + 8) = 0;\n    if ((iVar3 - iVar5 < (int)ppVar8) &&\n       ((iVar3 = (int)&ppVar8->index + iVar5, SCARRY4(iVar5,(int)ppVar8) ||\n        (n = (size_t)((longlong)iVar3 * 8), (longlong)(int)n != (longlong)iVar3 * 8)))) {\n                    /* WARNING: Subroutine does not return */\n      xalloc_die();\n    }\n    pvVar4 = xrealloc((void *)0x0,n);\n    *(void **)c2 = pvVar4;\n    *(int *)(c2 + 8) = iVar3;\n  }\n  *(undefined4 *)(c2 + 4) = 0;\n  iVar9 = 0;\n  iVar5 = *piVar6;\n  ppVar8 = s1->elems;\n  iVar3 = 0;\n  do {\n    while (iVar5 <= iVar9) {\n      if ((int)ppVar8 <= iVar3) {\n        return;\n      }\n      puVar7 = (uint *)(*extraout_ECX + iVar3 * 8);\nLAB_0001fe75:\n      uVar2 = puVar7[1];\n      if (((uint)s2 & uVar2) != 0) {\n        iVar5 = *(int *)(c2 + 4);\n        puVar1 = (uint *)(*(int *)c2 + iVar5 * 8);\n        *puVar1 = *puVar7;\n        *(int *)(c2 + 4) = iVar5 + 1;\n        puVar1[1] = (uint)s2 & uVar2;\n        iVar5 = *piVar6;\n        ppVar8 = s1->elems;\n      }\n      iVar3 = iVar3 + 1;\n    }\n    local_30 = 0;\n    puVar1 = (uint *)(*(int *)uVar10 + iVar9 * 8);\n    uVar2 = *puVar1;\n    if (iVar3 < (int)ppVar8) {\n      puVar7 = (uint *)(*extraout_ECX + iVar3 * 8);\n      if (*puVar7 < uVar2) goto LAB_0001fe75;\n      if (uVar2 == *puVar7) {\n        local_30 = (uint)s2 & puVar7[1];\n        iVar3 = iVar3 + 1;\n      }\n    }\n    iVar5 = *(int *)(c2 + 4);\n    iVar9 = iVar9 + 1;\n    puVar7 = (uint *)(*(int *)c2 + iVar5 * 8);\n    *puVar7 = uVar2;\n    uVar2 = puVar1[1];\n    *(int *)(c2 + 4) = iVar5 + 1;\n    puVar7[1] = uVar2 | local_30;\n    iVar5 = *piVar6;\n    ppVar8 = s1->elems;\n  } while( true );\n}" { (declaration "uint *puVar1;" type_identifier (pointer_declarator "*puVar1" * identifier) ;) (declaration "uint uVar2;" type_identifier identifier ;) (declaration "int iVar3;" primitive_type identifier ;) (declaration "size_t n;" primitive_type identifier ;) (declaration "void *pvVar4;" primitive_type (pointer_declarator "*pvVar4" * identifier) ;) (declaration "int *extraout_ECX;" primitive_type (pointer_declarator "*extraout_ECX" * identifier) ;) (declaration "int iVar5;" primitive_type identifier ;) (declaration "int *piVar6;" primitive_type (pointer_declarator "*piVar6" * identifier) ;) (declaration "uint *puVar7;" type_identifier (pointer_declarator "*puVar7" * identifier) ;) (declaration "position *ppVar8;" type_identifier (pointer_declarator "*ppVar8" * identifier) ;) (declaration "int iVar9;" primitive_type identifier ;) (declaration "undefined8 uVar10;" type_identifier identifier ;) (declaration "uint local_30;" type_identifier identifier ;) (expression_statement "uVar10 = __x86_get_pc_thunk_di();" (assignment_expression "uVar10 = __x86_get_pc_thunk_di()" identifier = (call_expression "__x86_get_pc_thunk_di()" identifier (argument_list "()" ( )))) ;) (expression_statement "piVar6 = (int *)((ulonglong)uVar10 >> 0x20);" (assignment_expression "piVar6 = (int *)((ulonglong)uVar10 >> 0x20)" identifier = (cast_expression "(int *)((ulonglong)uVar10 >> 0x20)" ( (type_descriptor "int *" primitive_type (abstract_pointer_declarator "*" *)) ) (parenthesized_expression "((ulonglong)uVar10 >> 0x20)" ( (binary_expression "(ulonglong)uVar10 >> 0x20" (cast_expression "(ulonglong)uVar10" ( (type_descriptor "ulonglong" type_identifier) ) identifier) >> number_literal) )))) ;) (if_statement "if (*(int *)(c2 + 8) - *piVar6 < (int)s1->elems) {\n    free(*(void **)c2);\n    iVar5 = *piVar6;\n    *(int *)(c2 + 8) = iVar5;\n    ppVar8 = s1->elems;\n    iVar3 = (iVar5 >> 1) + iVar5;\n    if ((SCARRY4(iVar5 >> 1,iVar5)) ||\n       (n = (size_t)((longlong)iVar3 * 8), (longlong)(int)n != (longlong)iVar3 * 8)) {\n      n = 0x7ffffff8;\n      iVar3 = 0xfffffff;\n    }\n    else if ((int)n < 0x40) {\n      iVar3 = 8;\n      n = 0x40;\n    }\n    *(undefined4 *)(c2 + 8) = 0;\n    if ((iVar3 - iVar5 < (int)ppVar8) &&\n       ((iVar3 = (int)&ppVar8->index + iVar5, SCARRY4(iVar5,(int)ppVar8) ||\n        (n = (size_t)((longlong)iVar3 * 8), (longlong)(int)n != (longlong)iVar3 * 8)))) {\n                    /* WARNING: Subroutine does not return */\n      xalloc_die();\n    }\n    pvVar4 = xrealloc((void *)0x0,n);\n    *(void **)c2 = pvVar4;\n    *(int *)(c2 + 8) = iVar3;\n  }" if (parenthesized_expression "(*(int *)(c2 + 8) - *piVar6 < (int)s1->elems)" ( (binary_expression "*(int *)(c2 + 8) - *piVar6 < (int)s1->elems" (binary_expression "*(int *)(c2 + 8) - *piVar6" (pointer_expression "*(int *)(c2 + 8)" * (cast_expression "(int *)(c2 + 8)" ( (type_descriptor "int *" primitive_type (abstract_pointer_declarator "*" *)) ) (parenthesized_expression "(c2 + 8)" ( (binary_expression "c2 + 8" identifier + number_literal) )))) - (pointer_expression "*piVar6" * identifier)) < (cast_expression "(int)s1->elems" ( (type_descriptor "int" primitive_type) ) (field_expression "s1->elems" identifier -> field_identifier))) )) (compound_statement "{\n    free(*(void **)c2);\n    iVar5 = *piVar6;\n    *(int *)(c2 + 8) = iVar5;\n    ppVar8 = s1->elems;\n    iVar3 = (iVar5 >> 1) + iVar5;\n    if ((SCARRY4(iVar5 >> 1,iVar5)) ||\n       (n = (size_t)((longlong)iVar3 * 8), (longlong)(int)n != (longlong)iVar3 * 8)) {\n      n = 0x7ffffff8;\n      iVar3 = 0xfffffff;\n    }\n    else if ((int)n < 0x40) {\n      iVar3 = 8;\n      n = 0x40;\n    }\n    *(undefined4 *)(c2 + 8) = 0;\n    if ((iVar3 - iVar5 < (int)ppVar8) &&\n       ((iVar3 = (int)&ppVar8->index + iVar5, SCARRY4(iVar5,(int)ppVar8) ||\n        (n = (size_t)((longlong)iVar3 * 8), (longlong)(int)n != (longlong)iVar3 * 8)))) {\n                    /* WARNING: Subroutine does not return */\n      xalloc_die();\n    }\n    pvVar4 = xrealloc((void *)0x0,n);\n    *(void **)c2 = pvVar4;\n    *(int *)(c2 + 8) = iVar3;\n  }" { (expression_statement "free(*(void **)c2);" (call_expression "free(*(void **)c2)" identifier (argument_list "(*(void **)c2)" ( (pointer_expression "*(void **)c2" * (cast_expression "(void **)c2" ( (type_descriptor "void **" primitive_type (abstract_pointer_declarator "**" * (abstract_pointer_declarator "*" *))) ) identifier)) ))) ;) (expression_statement "iVar5 = *piVar6;" (assignment_expression "iVar5 = *piVar6" identifier = (pointer_expression "*piVar6" * identifier)) ;) (expression_statement "*(int *)(c2 + 8) = iVar5;" (assignment_expression "*(int *)(c2 + 8) = iVar5" (pointer_expression "*(int *)(c2 + 8)" * (cast_expression "(int *)(c2 + 8)" ( (type_descriptor "int *" primitive_type (abstract_pointer_declarator "*" *)) ) (parenthesized_expression "(c2 + 8)" ( (binary_expression "c2 + 8" identifier + number_literal) )))) = identifier) ;) (expression_statement "ppVar8 = s1->elems;" (assignment_expression "ppVar8 = s1->elems" identifier = (field_expression "s1->elems" identifier -> field_identifier)) ;) (expression_statement "iVar3 = (iVar5 >> 1) + iVar5;" (assignment_expression "iVar3 = (iVar5 >> 1) + iVar5" identifier = (binary_expression "(iVar5 >> 1) + iVar5" (parenthesized_expression "(iVar5 >> 1)" ( (binary_expression "iVar5 >> 1" identifier >> number_literal) )) + identifier)) ;) (if_statement "if ((SCARRY4(iVar5 >> 1,iVar5)) ||\n       (n = (size_t)((longlong)iVar3 * 8), (longlong)(int)n != (longlong)iVar3 * 8)) {\n      n = 0x7ffffff8;\n      iVar3 = 0xfffffff;\n    }\n    else if ((int)n < 0x40) {\n      iVar3 = 8;\n      n = 0x40;\n    }" if (parenthesized_expression "((SCARRY4(iVar5 >> 1,iVar5)) ||\n       (n = (size_t)((longlong)iVar3 * 8), (longlong)(int)n != (longlong)iVar3 * 8))" ( (binary_expression "(SCARRY4(iVar5 >> 1,iVar5)) ||\n       (n = (size_t)((longlong)iVar3 * 8), (longlong)(int)n != (longlong)iVar3 * 8)" (parenthesized_expression "(SCARRY4(iVar5 >> 1,iVar5))" ( (call_expression "SCARRY4(iVar5 >> 1,iVar5)" identifier (argument_list "(iVar5 >> 1,iVar5)" ( (binary_expression "iVar5 >> 1" identifier >> number_literal) , identifier ))) )) || (parenthesized_expression "(n = (size_t)((longlong)iVar3 * 8), (longlong)(int)n != (longlong)iVar3 * 8)" ( (comma_expression "n = (size_t)((longlong)iVar3 * 8), (longlong)(int)n != (longlong)iVar3 * 8" (assignment_expression "n = (size_t)((longlong)iVar3 * 8)" identifier = (cast_expression "(size_t)((longlong)iVar3 * 8)" ( (type_descriptor "size_t" primitive_type) ) (parenthesized_expression "((longlong)iVar3 * 8)" ( (binary_expression "(longlong)iVar3 * 8" (cast_expression "(longlong)iVar3" ( (type_descriptor "longlong" type_identifier) ) identifier) * number_literal) )))) , (binary_expression "(longlong)(int)n != (longlong)iVar3 * 8" (cast_expression "(longlong)(int)n" ( (type_descriptor "longlong" type_identifier) ) (cast_expression "(int)n" ( (type_descriptor "int" primitive_type) ) identifier)) != (binary_expression "(longlong)iVar3 * 8" (cast_expression "(longlong)iVar3" ( (type_descriptor "longlong" type_identifier) ) identifier) * number_literal))) ))) )) (compound_statement "{\n      n = 0x7ffffff8;\n      iVar3 = 0xfffffff;\n    }" { (expression_statement "n = 0x7ffffff8;" (assignment_expression "n = 0x7ffffff8" identifier = number_literal) ;) (expression_statement "iVar3 = 0xfffffff;" (assignment_expression "iVar3 = 0xfffffff" identifier = number_literal) ;) }) (else_clause "else if ((int)n < 0x40) {\n      iVar3 = 8;\n      n = 0x40;\n    }" else (if_statement "if ((int)n < 0x40) {\n      iVar3 = 8;\n      n = 0x40;\n    }" if (parenthesized_expression "((int)n < 0x40)" ( (binary_expression "(int)n < 0x40" (cast_expression "(int)n" ( (type_descriptor "int" primitive_type) ) identifier) < number_literal) )) (compound_statement "{\n      iVar3 = 8;\n      n = 0x40;\n    }" { (expression_statement "iVar3 = 8;" (assignment_expression "iVar3 = 8" identifier = number_literal) ;) (expression_statement "n = 0x40;" (assignment_expression "n = 0x40" identifier = number_literal) ;) })))) (expression_statement "*(undefined4 *)(c2 + 8) = 0;" (assignment_expression "*(undefined4 *)(c2 + 8) = 0" (pointer_expression "*(undefined4 *)(c2 + 8)" * (cast_expression "(undefined4 *)(c2 + 8)" ( (type_descriptor "undefined4 *" type_identifier (abstract_pointer_declarator "*" *)) ) (parenthesized_expression "(c2 + 8)" ( (binary_expression "c2 + 8" identifier + number_literal) )))) = number_literal) ;) (if_statement "if ((iVar3 - iVar5 < (int)ppVar8) &&\n       ((iVar3 = (int)&ppVar8->index + iVar5, SCARRY4(iVar5,(int)ppVar8) ||\n        (n = (size_t)((longlong)iVar3 * 8), (longlong)(int)n != (longlong)iVar3 * 8)))) {\n                    /* WARNING: Subroutine does not return */\n      xalloc_die();\n    }" if (parenthesized_expression "((iVar3 - iVar5 < (int)ppVar8) &&\n       ((iVar3 = (int)&ppVar8->index + iVar5, SCARRY4(iVar5,(int)ppVar8) ||\n        (n = (size_t)((longlong)iVar3 * 8), (longlong)(int)n != (longlong)iVar3 * 8))))" ( (binary_expression "(iVar3 - iVar5 < (int)ppVar8) &&\n       ((iVar3 = (int)&ppVar8->index + iVar5, SCARRY4(iVar5,(int)ppVar8) ||\n        (n = (size_t)((longlong)iVar3 * 8), (longlong)(int)n != (longlong)iVar3 * 8)))" (parenthesized_expression "(iVar3 - iVar5 < (int)ppVar8)" ( (binary_expression "iVar3 - iVar5 < (int)ppVar8" (binary_expression "iVar3 - iVar5" identifier - identifier) < (cast_expression "(int)ppVar8" ( (type_descriptor "int" primitive_type) ) identifier)) )) && (parenthesized_expression "((iVar3 = (int)&ppVar8->index + iVar5, SCARRY4(iVar5,(int)ppVar8) ||\n        (n = (size_t)((longlong)iVar3 * 8), (longlong)(int)n != (longlong)iVar3 * 8)))" ( (parenthesized_expression "(iVar3 = (int)&ppVar8->index + iVar5, SCARRY4(iVar5,(int)ppVar8) ||\n        (n = (size_t)((longlong)iVar3 * 8), (longlong)(int)n != (longlong)iVar3 * 8))" ( (comma_expression "iVar3 = (int)&ppVar8->index + iVar5, SCARRY4(iVar5,(int)ppVar8) ||\n        (n = (size_t)((longlong)iVar3 * 8), (longlong)(int)n != (longlong)iVar3 * 8)" (assignment_expression "iVar3 = (int)&ppVar8->index + iVar5" identifier = (binary_expression "(int)&ppVar8->index + iVar5" (cast_expression "(int)&ppVar8->index" ( (type_descriptor "int" primitive_type) ) (pointer_expression "&ppVar8->index" & (field_expression "ppVar8->index" identifier -> field_identifier))) + identifier)) , (binary_expression "SCARRY4(iVar5,(int)ppVar8) ||\n        (n = (size_t)((longlong)iVar3 * 8), (longlong)(int)n != (longlong)iVar3 * 8)" (call_expression "SCARRY4(iVar5,(int)ppVar8)" identifier (argument_list "(iVar5,(int)ppVar8)" ( identifier , (cast_expression "(int)ppVar8" ( (type_descriptor "int" primitive_type) ) identifier) ))) || (parenthesized_expression "(n = (size_t)((longlong)iVar3 * 8), (longlong)(int)n != (longlong)iVar3 * 8)" ( (comma_expression "n = (size_t)((longlong)iVar3 * 8), (longlong)(int)n != (longlong)iVar3 * 8" (assignment_expression "n = (size_t)((longlong)iVar3 * 8)" identifier = (cast_expression "(size_t)((longlong)iVar3 * 8)" ( (type_descriptor "size_t" primitive_type) ) (parenthesized_expression "((longlong)iVar3 * 8)" ( (binary_expression "(longlong)iVar3 * 8" (cast_expression "(longlong)iVar3" ( (type_descriptor "longlong" type_identifier) ) identifier) * number_literal) )))) , (binary_expression "(longlong)(int)n != (longlong)iVar3 * 8" (cast_expression "(longlong)(int)n" ( (type_descriptor "longlong" type_identifier) ) (cast_expression "(int)n" ( (type_descriptor "int" primitive_type) ) identifier)) != (binary_expression "(longlong)iVar3 * 8" (cast_expression "(longlong)iVar3" ( (type_descriptor "longlong" type_identifier) ) identifier) * number_literal))) )))) )) ))) )) (compound_statement "{\n                    /* WARNING: Subroutine does not return */\n      xalloc_die();\n    }" { comment (expression_statement "xalloc_die();" (call_expression "xalloc_die()" identifier (argument_list "()" ( ))) ;) })) (expression_statement "pvVar4 = xrealloc((void *)0x0,n);" (assignment_expression "pvVar4 = xrealloc((void *)0x0,n)" identifier = (call_expression "xrealloc((void *)0x0,n)" identifier (argument_list "((void *)0x0,n)" ( (cast_expression "(void *)0x0" ( (type_descriptor "void *" primitive_type (abstract_pointer_declarator "*" *)) ) number_literal) , identifier )))) ;) (expression_statement "*(void **)c2 = pvVar4;" (assignment_expression "*(void **)c2 = pvVar4" (pointer_expression "*(void **)c2" * (cast_expression "(void **)c2" ( (type_descriptor "void **" primitive_type (abstract_pointer_declarator "**" * (abstract_pointer_declarator "*" *))) ) identifier)) = identifier) ;) (expression_statement "*(int *)(c2 + 8) = iVar3;" (assignment_expression "*(int *)(c2 + 8) = iVar3" (pointer_expression "*(int *)(c2 + 8)" * (cast_expression "(int *)(c2 + 8)" ( (type_descriptor "int *" primitive_type (abstract_pointer_declarator "*" *)) ) (parenthesized_expression "(c2 + 8)" ( (binary_expression "c2 + 8" identifier + number_literal) )))) = identifier) ;) })) (expression_statement "*(undefined4 *)(c2 + 4) = 0;" (assignment_expression "*(undefined4 *)(c2 + 4) = 0" (pointer_expression "*(undefined4 *)(c2 + 4)" * (cast_expression "(undefined4 *)(c2 + 4)" ( (type_descriptor "undefined4 *" type_identifier (abstract_pointer_declarator "*" *)) ) (parenthesized_expression "(c2 + 4)" ( (binary_expression "c2 + 4" identifier + number_literal) )))) = number_literal) ;) (expression_statement "iVar9 = 0;" (assignment_expression "iVar9 = 0" identifier = number_literal) ;) (expression_statement "iVar5 = *piVar6;" (assignment_expression "iVar5 = *piVar6" identifier = (pointer_expression "*piVar6" * identifier)) ;) (expression_statement "ppVar8 = s1->elems;" (assignment_expression "ppVar8 = s1->elems" identifier = (field_expression "s1->elems" identifier -> field_identifier)) ;) (expression_statement "iVar3 = 0;" (assignment_expression "iVar3 = 0" identifier = number_literal) ;) (do_statement "do {\n    while (iVar5 <= iVar9) {\n      if ((int)ppVar8 <= iVar3) {\n        return;\n      }\n      puVar7 = (uint *)(*extraout_ECX + iVar3 * 8);\nLAB_0001fe75:\n      uVar2 = puVar7[1];\n      if (((uint)s2 & uVar2) != 0) {\n        iVar5 = *(int *)(c2 + 4);\n        puVar1 = (uint *)(*(int *)c2 + iVar5 * 8);\n        *puVar1 = *puVar7;\n        *(int *)(c2 + 4) = iVar5 + 1;\n        puVar1[1] = (uint)s2 & uVar2;\n        iVar5 = *piVar6;\n        ppVar8 = s1->elems;\n      }\n      iVar3 = iVar3 + 1;\n    }\n    local_30 = 0;\n    puVar1 = (uint *)(*(int *)uVar10 + iVar9 * 8);\n    uVar2 = *puVar1;\n    if (iVar3 < (int)ppVar8) {\n      puVar7 = (uint *)(*extraout_ECX + iVar3 * 8);\n      if (*puVar7 < uVar2) goto LAB_0001fe75;\n      if (uVar2 == *puVar7) {\n        local_30 = (uint)s2 & puVar7[1];\n        iVar3 = iVar3 + 1;\n      }\n    }\n    iVar5 = *(int *)(c2 + 4);\n    iVar9 = iVar9 + 1;\n    puVar7 = (uint *)(*(int *)c2 + iVar5 * 8);\n    *puVar7 = uVar2;\n    uVar2 = puVar1[1];\n    *(int *)(c2 + 4) = iVar5 + 1;\n    puVar7[1] = uVar2 | local_30;\n    iVar5 = *piVar6;\n    ppVar8 = s1->elems;\n  } while( true );" do (compound_statement "{\n    while (iVar5 <= iVar9) {\n      if ((int)ppVar8 <= iVar3) {\n        return;\n      }\n      puVar7 = (uint *)(*extraout_ECX + iVar3 * 8);\nLAB_0001fe75:\n      uVar2 = puVar7[1];\n      if (((uint)s2 & uVar2) != 0) {\n        iVar5 = *(int *)(c2 + 4);\n        puVar1 = (uint *)(*(int *)c2 + iVar5 * 8);\n        *puVar1 = *puVar7;\n        *(int *)(c2 + 4) = iVar5 + 1;\n        puVar1[1] = (uint)s2 & uVar2;\n        iVar5 = *piVar6;\n        ppVar8 = s1->elems;\n      }\n      iVar3 = iVar3 + 1;\n    }\n    local_30 = 0;\n    puVar1 = (uint *)(*(int *)uVar10 + iVar9 * 8);\n    uVar2 = *puVar1;\n    if (iVar3 < (int)ppVar8) {\n      puVar7 = (uint *)(*extraout_ECX + iVar3 * 8);\n      if (*puVar7 < uVar2) goto LAB_0001fe75;\n      if (uVar2 == *puVar7) {\n        local_30 = (uint)s2 & puVar7[1];\n        iVar3 = iVar3 + 1;\n      }\n    }\n    iVar5 = *(int *)(c2 + 4);\n    iVar9 = iVar9 + 1;\n    puVar7 = (uint *)(*(int *)c2 + iVar5 * 8);\n    *puVar7 = uVar2;\n    uVar2 = puVar1[1];\n    *(int *)(c2 + 4) = iVar5 + 1;\n    puVar7[1] = uVar2 | local_30;\n    iVar5 = *piVar6;\n    ppVar8 = s1->elems;\n  }" { (while_statement "while (iVar5 <= iVar9) {\n      if ((int)ppVar8 <= iVar3) {\n        return;\n      }\n      puVar7 = (uint *)(*extraout_ECX + iVar3 * 8);\nLAB_0001fe75:\n      uVar2 = puVar7[1];\n      if (((uint)s2 & uVar2) != 0) {\n        iVar5 = *(int *)(c2 + 4);\n        puVar1 = (uint *)(*(int *)c2 + iVar5 * 8);\n        *puVar1 = *puVar7;\n        *(int *)(c2 + 4) = iVar5 + 1;\n        puVar1[1] = (uint)s2 & uVar2;\n        iVar5 = *piVar6;\n        ppVar8 = s1->elems;\n      }\n      iVar3 = iVar3 + 1;\n    }" while (parenthesized_expression "(iVar5 <= iVar9)" ( (binary_expression "iVar5 <= iVar9" identifier <= identifier) )) (compound_statement "{\n      if ((int)ppVar8 <= iVar3) {\n        return;\n      }\n      puVar7 = (uint *)(*extraout_ECX + iVar3 * 8);\nLAB_0001fe75:\n      uVar2 = puVar7[1];\n      if (((uint)s2 & uVar2) != 0) {\n        iVar5 = *(int *)(c2 + 4);\n        puVar1 = (uint *)(*(int *)c2 + iVar5 * 8);\n        *puVar1 = *puVar7;\n        *(int *)(c2 + 4) = iVar5 + 1;\n        puVar1[1] = (uint)s2 & uVar2;\n        iVar5 = *piVar6;\n        ppVar8 = s1->elems;\n      }\n      iVar3 = iVar3 + 1;\n    }" { (if_statement "if ((int)ppVar8 <= iVar3) {\n        return;\n      }" if (parenthesized_expression "((int)ppVar8 <= iVar3)" ( (binary_expression "(int)ppVar8 <= iVar3" (cast_expression "(int)ppVar8" ( (type_descriptor "int" primitive_type) ) identifier) <= identifier) )) (compound_statement "{\n        return;\n      }" { (return_statement "return;" return ;) })) (expression_statement "puVar7 = (uint *)(*extraout_ECX + iVar3 * 8);" (assignment_expression "puVar7 = (uint *)(*extraout_ECX + iVar3 * 8)" identifier = (cast_expression "(uint *)(*extraout_ECX + iVar3 * 8)" ( (type_descriptor "uint *" type_identifier (abstract_pointer_declarator "*" *)) ) (parenthesized_expression "(*extraout_ECX + iVar3 * 8)" ( (binary_expression "*extraout_ECX + iVar3 * 8" (pointer_expression "*extraout_ECX" * identifier) + (binary_expression "iVar3 * 8" identifier * number_literal)) )))) ;) (labeled_statement "LAB_0001fe75:\n      uVar2 = puVar7[1];" statement_identifier : (expression_statement "uVar2 = puVar7[1];" (assignment_expression "uVar2 = puVar7[1]" identifier = (subscript_expression "puVar7[1]" identifier [ number_literal ])) ;)) (if_statement "if (((uint)s2 & uVar2) != 0) {\n        iVar5 = *(int *)(c2 + 4);\n        puVar1 = (uint *)(*(int *)c2 + iVar5 * 8);\n        *puVar1 = *puVar7;\n        *(int *)(c2 + 4) = iVar5 + 1;\n        puVar1[1] = (uint)s2 & uVar2;\n        iVar5 = *piVar6;\n        ppVar8 = s1->elems;\n      }" if (parenthesized_expression "(((uint)s2 & uVar2) != 0)" ( (binary_expression "((uint)s2 & uVar2) != 0" (parenthesized_expression "((uint)s2 & uVar2)" ( (binary_expression "(uint)s2 & uVar2" (cast_expression "(uint)s2" ( (type_descriptor "uint" type_identifier) ) identifier) & identifier) )) != number_literal) )) (compound_statement "{\n        iVar5 = *(int *)(c2 + 4);\n        puVar1 = (uint *)(*(int *)c2 + iVar5 * 8);\n        *puVar1 = *puVar7;\n        *(int *)(c2 + 4) = iVar5 + 1;\n        puVar1[1] = (uint)s2 & uVar2;\n        iVar5 = *piVar6;\n        ppVar8 = s1->elems;\n      }" { (expression_statement "iVar5 = *(int *)(c2 + 4);" (assignment_expression "iVar5 = *(int *)(c2 + 4)" identifier = (pointer_expression "*(int *)(c2 + 4)" * (cast_expression "(int *)(c2 + 4)" ( (type_descriptor "int *" primitive_type (abstract_pointer_declarator "*" *)) ) (parenthesized_expression "(c2 + 4)" ( (binary_expression "c2 + 4" identifier + number_literal) ))))) ;) (expression_statement "puVar1 = (uint *)(*(int *)c2 + iVar5 * 8);" (assignment_expression "puVar1 = (uint *)(*(int *)c2 + iVar5 * 8)" identifier = (cast_expression "(uint *)(*(int *)c2 + iVar5 * 8)" ( (type_descriptor "uint *" type_identifier (abstract_pointer_declarator "*" *)) ) (parenthesized_expression "(*(int *)c2 + iVar5 * 8)" ( (binary_expression "*(int *)c2 + iVar5 * 8" (pointer_expression "*(int *)c2" * (cast_expression "(int *)c2" ( (type_descriptor "int *" primitive_type (abstract_pointer_declarator "*" *)) ) identifier)) + (binary_expression "iVar5 * 8" identifier * number_literal)) )))) ;) (expression_statement "*puVar1 = *puVar7;" (assignment_expression "*puVar1 = *puVar7" (pointer_expression "*puVar1" * identifier) = (pointer_expression "*puVar7" * identifier)) ;) (expression_statement "*(int *)(c2 + 4) = iVar5 + 1;" (assignment_expression "*(int *)(c2 + 4) = iVar5 + 1" (pointer_expression "*(int *)(c2 + 4)" * (cast_expression "(int *)(c2 + 4)" ( (type_descriptor "int *" primitive_type (abstract_pointer_declarator "*" *)) ) (parenthesized_expression "(c2 + 4)" ( (binary_expression "c2 + 4" identifier + number_literal) )))) = (binary_expression "iVar5 + 1" identifier + number_literal)) ;) (expression_statement "puVar1[1] = (uint)s2 & uVar2;" (assignment_expression "puVar1[1] = (uint)s2 & uVar2" (subscript_expression "puVar1[1]" identifier [ number_literal ]) = (binary_expression "(uint)s2 & uVar2" (cast_expression "(uint)s2" ( (type_descriptor "uint" type_identifier) ) identifier) & identifier)) ;) (expression_statement "iVar5 = *piVar6;" (assignment_expression "iVar5 = *piVar6" identifier = (pointer_expression "*piVar6" * identifier)) ;) (expression_statement "ppVar8 = s1->elems;" (assignment_expression "ppVar8 = s1->elems" identifier = (field_expression "s1->elems" identifier -> field_identifier)) ;) })) (expression_statement "iVar3 = iVar3 + 1;" (assignment_expression "iVar3 = iVar3 + 1" identifier = (binary_expression "iVar3 + 1" identifier + number_literal)) ;) })) (expression_statement "local_30 = 0;" (assignment_expression "local_30 = 0" identifier = number_literal) ;) (expression_statement "puVar1 = (uint *)(*(int *)uVar10 + iVar9 * 8);" (assignment_expression "puVar1 = (uint *)(*(int *)uVar10 + iVar9 * 8)" identifier = (cast_expression "(uint *)(*(int *)uVar10 + iVar9 * 8)" ( (type_descriptor "uint *" type_identifier (abstract_pointer_declarator "*" *)) ) (parenthesized_expression "(*(int *)uVar10 + iVar9 * 8)" ( (binary_expression "*(int *)uVar10 + iVar9 * 8" (pointer_expression "*(int *)uVar10" * (cast_expression "(int *)uVar10" ( (type_descriptor "int *" primitive_type (abstract_pointer_declarator "*" *)) ) identifier)) + (binary_expression "iVar9 * 8" identifier * number_literal)) )))) ;) (expression_statement "uVar2 = *puVar1;" (assignment_expression "uVar2 = *puVar1" identifier = (pointer_expression "*puVar1" * identifier)) ;) (if_statement "if (iVar3 < (int)ppVar8) {\n      puVar7 = (uint *)(*extraout_ECX + iVar3 * 8);\n      if (*puVar7 < uVar2) goto LAB_0001fe75;\n      if (uVar2 == *puVar7) {\n        local_30 = (uint)s2 & puVar7[1];\n        iVar3 = iVar3 + 1;\n      }\n    }" if (parenthesized_expression "(iVar3 < (int)ppVar8)" ( (binary_expression "iVar3 < (int)ppVar8" identifier < (cast_expression "(int)ppVar8" ( (type_descriptor "int" primitive_type) ) identifier)) )) (compound_statement "{\n      puVar7 = (uint *)(*extraout_ECX + iVar3 * 8);\n      if (*puVar7 < uVar2) goto LAB_0001fe75;\n      if (uVar2 == *puVar7) {\n        local_30 = (uint)s2 & puVar7[1];\n        iVar3 = iVar3 + 1;\n      }\n    }" { (expression_statement "puVar7 = (uint *)(*extraout_ECX + iVar3 * 8);" (assignment_expression "puVar7 = (uint *)(*extraout_ECX + iVar3 * 8)" identifier = (cast_expression "(uint *)(*extraout_ECX + iVar3 * 8)" ( (type_descriptor "uint *" type_identifier (abstract_pointer_declarator "*" *)) ) (parenthesized_expression "(*extraout_ECX + iVar3 * 8)" ( (binary_expression "*extraout_ECX + iVar3 * 8" (pointer_expression "*extraout_ECX" * identifier) + (binary_expression "iVar3 * 8" identifier * number_literal)) )))) ;) (if_statement "if (*puVar7 < uVar2) goto LAB_0001fe75;" if (parenthesized_expression "(*puVar7 < uVar2)" ( (binary_expression "*puVar7 < uVar2" (pointer_expression "*puVar7" * identifier) < identifier) )) (goto_statement "goto LAB_0001fe75;" goto statement_identifier ;)) (if_statement "if (uVar2 == *puVar7) {\n        local_30 = (uint)s2 & puVar7[1];\n        iVar3 = iVar3 + 1;\n      }" if (parenthesized_expression "(uVar2 == *puVar7)" ( (binary_expression "uVar2 == *puVar7" identifier == (pointer_expression "*puVar7" * identifier)) )) (compound_statement "{\n        local_30 = (uint)s2 & puVar7[1];\n        iVar3 = iVar3 + 1;\n      }" { (expression_statement "local_30 = (uint)s2 & puVar7[1];" (assignment_expression "local_30 = (uint)s2 & puVar7[1]" identifier = (binary_expression "(uint)s2 & puVar7[1]" (cast_expression "(uint)s2" ( (type_descriptor "uint" type_identifier) ) identifier) & (subscript_expression "puVar7[1]" identifier [ number_literal ]))) ;) (expression_statement "iVar3 = iVar3 + 1;" (assignment_expression "iVar3 = iVar3 + 1" identifier = (binary_expression "iVar3 + 1" identifier + number_literal)) ;) })) })) (expression_statement "iVar5 = *(int *)(c2 + 4);" (assignment_expression "iVar5 = *(int *)(c2 + 4)" identifier = (pointer_expression "*(int *)(c2 + 4)" * (cast_expression "(int *)(c2 + 4)" ( (type_descriptor "int *" primitive_type (abstract_pointer_declarator "*" *)) ) (parenthesized_expression "(c2 + 4)" ( (binary_expression "c2 + 4" identifier + number_literal) ))))) ;) (expression_statement "iVar9 = iVar9 + 1;" (assignment_expression "iVar9 = iVar9 + 1" identifier = (binary_expression "iVar9 + 1" identifier + number_literal)) ;) (expression_statement "puVar7 = (uint *)(*(int *)c2 + iVar5 * 8);" (assignment_expression "puVar7 = (uint *)(*(int *)c2 + iVar5 * 8)" identifier = (cast_expression "(uint *)(*(int *)c2 + iVar5 * 8)" ( (type_descriptor "uint *" type_identifier (abstract_pointer_declarator "*" *)) ) (parenthesized_expression "(*(int *)c2 + iVar5 * 8)" ( (binary_expression "*(int *)c2 + iVar5 * 8" (pointer_expression "*(int *)c2" * (cast_expression "(int *)c2" ( (type_descriptor "int *" primitive_type (abstract_pointer_declarator "*" *)) ) identifier)) + (binary_expression "iVar5 * 8" identifier * number_literal)) )))) ;) (expression_statement "*puVar7 = uVar2;" (assignment_expression "*puVar7 = uVar2" (pointer_expression "*puVar7" * identifier) = identifier) ;) (expression_statement "uVar2 = puVar1[1];" (assignment_expression "uVar2 = puVar1[1]" identifier = (subscript_expression "puVar1[1]" identifier [ number_literal ])) ;) (expression_statement "*(int *)(c2 + 4) = iVar5 + 1;" (assignment_expression "*(int *)(c2 + 4) = iVar5 + 1" (pointer_expression "*(int *)(c2 + 4)" * (cast_expression "(int *)(c2 + 4)" ( (type_descriptor "int *" primitive_type (abstract_pointer_declarator "*" *)) ) (parenthesized_expression "(c2 + 4)" ( (binary_expression "c2 + 4" identifier + number_literal) )))) = (binary_expression "iVar5 + 1" identifier + number_literal)) ;) (expression_statement "puVar7[1] = uVar2 | local_30;" (assignment_expression "puVar7[1] = uVar2 | local_30" (subscript_expression "puVar7[1]" identifier [ number_literal ]) = (binary_expression "uVar2 | local_30" identifier | identifier)) ;) (expression_statement "iVar5 = *piVar6;" (assignment_expression "iVar5 = *piVar6" identifier = (pointer_expression "*piVar6" * identifier)) ;) (expression_statement "ppVar8 = s1->elems;" (assignment_expression "ppVar8 = s1->elems" identifier = (field_expression "s1->elems" identifier -> field_identifier)) ;) }) while (parenthesized_expression "( true )" ( true )) ;) })))
(translation_unit "void FUN_0001fe10(int *param_1,uint param_2,int *param_3)\n\n{\n  uint *puVar1;\n  uint uVar2;\n  int iVar3;\n  int iVar4;\n  int *extraout_ECX;\n  int *piVar5;\n  uint *puVar6;\n  int iVar7;\n  int iVar8;\n  undefined8 uVar9;\n  uint local_30;\n  \n  uVar9 = FUN_00027eac();\n  piVar5 = (int *)((ulonglong)uVar9 >> 0x20);\n  if (param_3[2] - *piVar5 < *param_1) {\n    free((void *)*param_3);\n    iVar4 = *piVar5;\n    param_3[2] = iVar4;\n    iVar7 = *param_1;\n    iVar3 = (iVar4 >> 1) + iVar4;\n    if ((SCARRY4(iVar4 >> 1,iVar4)) ||\n       (iVar8 = (int)((longlong)iVar3 * 8), (longlong)iVar8 != (longlong)iVar3 * 8)) {\n      iVar8 = 0x7ffffff8;\n      iVar3 = 0xfffffff;\n    }\n    else if (iVar8 < 0x40) {\n      iVar3 = 8;\n      iVar8 = 0x40;\n    }\n    param_3[2] = 0;\n    if ((iVar3 - iVar4 < iVar7) &&\n       ((iVar3 = iVar4 + iVar7, SCARRY4(iVar4,iVar7) ||\n        (iVar8 = (int)((longlong)iVar3 * 8), (longlong)iVar8 != (longlong)iVar3 * 8)))) {\n                    \n      FUN_0002f1c0();\n    }\n    iVar4 = FUN_0002efd0(0,iVar8);\n    *param_3 = iVar4;\n    param_3[2] = iVar3;\n  }\n  param_3[1] = 0;\n  iVar8 = 0;\n  iVar4 = *piVar5;\n  iVar7 = *param_1;\n  iVar3 = 0;\n  do {\n    while (iVar4 <= iVar8) {\n      if (iVar7 <= iVar3) {\n        return;\n      }\n      puVar6 = (uint *)(*extraout_ECX + iVar3 * 8);\nLAB_0001fe75:\n      uVar2 = puVar6[1];\n      if ((param_2 & uVar2) != 0) {\n        iVar4 = param_3[1];\n        puVar1 = (uint *)(*param_3 + iVar4 * 8);\n        *puVar1 = *puVar6;\n        param_3[1] = iVar4 + 1;\n        puVar1[1] = param_2 & uVar2;\n        iVar4 = *piVar5;\n        iVar7 = *param_1;\n      }\n      iVar3 = iVar3 + 1;\n    }\n    local_30 = 0;\n    puVar1 = (uint *)(*(int *)uVar9 + iVar8 * 8);\n    uVar2 = *puVar1;\n    if (iVar3 < iVar7) {\n      puVar6 = (uint *)(*extraout_ECX + iVar3 * 8);\n      if (*puVar6 < uVar2) goto LAB_0001fe75;\n      if (uVar2 == *puVar6) {\n        local_30 = param_2 & puVar6[1];\n        iVar3 = iVar3 + 1;\n      }\n    }\n    iVar4 = param_3[1];\n    iVar8 = iVar8 + 1;\n    puVar6 = (uint *)(*param_3 + iVar4 * 8);\n    *puVar6 = uVar2;\n    uVar2 = puVar1[1];\n    param_3[1] = iVar4 + 1;\n    puVar6[1] = uVar2 | local_30;\n    iVar4 = *piVar5;\n    iVar7 = *param_1;\n  } while( true );\n}\n\n" (function_definition "void FUN_0001fe10(int *param_1,uint param_2,int *param_3)\n\n{\n  uint *puVar1;\n  uint uVar2;\n  int iVar3;\n  int iVar4;\n  int *extraout_ECX;\n  int *piVar5;\n  uint *puVar6;\n  int iVar7;\n  int iVar8;\n  undefined8 uVar9;\n  uint local_30;\n  \n  uVar9 = FUN_00027eac();\n  piVar5 = (int *)((ulonglong)uVar9 >> 0x20);\n  if (param_3[2] - *piVar5 < *param_1) {\n    free((void *)*param_3);\n    iVar4 = *piVar5;\n    param_3[2] = iVar4;\n    iVar7 = *param_1;\n    iVar3 = (iVar4 >> 1) + iVar4;\n    if ((SCARRY4(iVar4 >> 1,iVar4)) ||\n       (iVar8 = (int)((longlong)iVar3 * 8), (longlong)iVar8 != (longlong)iVar3 * 8)) {\n      iVar8 = 0x7ffffff8;\n      iVar3 = 0xfffffff;\n    }\n    else if (iVar8 < 0x40) {\n      iVar3 = 8;\n      iVar8 = 0x40;\n    }\n    param_3[2] = 0;\n    if ((iVar3 - iVar4 < iVar7) &&\n       ((iVar3 = iVar4 + iVar7, SCARRY4(iVar4,iVar7) ||\n        (iVar8 = (int)((longlong)iVar3 * 8), (longlong)iVar8 != (longlong)iVar3 * 8)))) {\n                    \n      FUN_0002f1c0();\n    }\n    iVar4 = FUN_0002efd0(0,iVar8);\n    *param_3 = iVar4;\n    param_3[2] = iVar3;\n  }\n  param_3[1] = 0;\n  iVar8 = 0;\n  iVar4 = *piVar5;\n  iVar7 = *param_1;\n  iVar3 = 0;\n  do {\n    while (iVar4 <= iVar8) {\n      if (iVar7 <= iVar3) {\n        return;\n      }\n      puVar6 = (uint *)(*extraout_ECX + iVar3 * 8);\nLAB_0001fe75:\n      uVar2 = puVar6[1];\n      if ((param_2 & uVar2) != 0) {\n        iVar4 = param_3[1];\n        puVar1 = (uint *)(*param_3 + iVar4 * 8);\n        *puVar1 = *puVar6;\n        param_3[1] = iVar4 + 1;\n        puVar1[1] = param_2 & uVar2;\n        iVar4 = *piVar5;\n        iVar7 = *param_1;\n      }\n      iVar3 = iVar3 + 1;\n    }\n    local_30 = 0;\n    puVar1 = (uint *)(*(int *)uVar9 + iVar8 * 8);\n    uVar2 = *puVar1;\n    if (iVar3 < iVar7) {\n      puVar6 = (uint *)(*extraout_ECX + iVar3 * 8);\n      if (*puVar6 < uVar2) goto LAB_0001fe75;\n      if (uVar2 == *puVar6) {\n        local_30 = param_2 & puVar6[1];\n        iVar3 = iVar3 + 1;\n      }\n    }\n    iVar4 = param_3[1];\n    iVar8 = iVar8 + 1;\n    puVar6 = (uint *)(*param_3 + iVar4 * 8);\n    *puVar6 = uVar2;\n    uVar2 = puVar1[1];\n    param_3[1] = iVar4 + 1;\n    puVar6[1] = uVar2 | local_30;\n    iVar4 = *piVar5;\n    iVar7 = *param_1;\n  } while( true );\n}" primitive_type (function_declarator "FUN_0001fe10(int *param_1,uint param_2,int *param_3)" identifier (parameter_list "(int *param_1,uint param_2,int *param_3)" ( (parameter_declaration "int *param_1" primitive_type (pointer_declarator "*param_1" * identifier)) , (parameter_declaration "uint param_2" type_identifier identifier) , (parameter_declaration "int *param_3" primitive_type (pointer_declarator "*param_3" * identifier)) ))) (compound_statement "{\n  uint *puVar1;\n  uint uVar2;\n  int iVar3;\n  int iVar4;\n  int *extraout_ECX;\n  int *piVar5;\n  uint *puVar6;\n  int iVar7;\n  int iVar8;\n  undefined8 uVar9;\n  uint local_30;\n  \n  uVar9 = FUN_00027eac();\n  piVar5 = (int *)((ulonglong)uVar9 >> 0x20);\n  if (param_3[2] - *piVar5 < *param_1) {\n    free((void *)*param_3);\n    iVar4 = *piVar5;\n    param_3[2] = iVar4;\n    iVar7 = *param_1;\n    iVar3 = (iVar4 >> 1) + iVar4;\n    if ((SCARRY4(iVar4 >> 1,iVar4)) ||\n       (iVar8 = (int)((longlong)iVar3 * 8), (longlong)iVar8 != (longlong)iVar3 * 8)) {\n      iVar8 = 0x7ffffff8;\n      iVar3 = 0xfffffff;\n    }\n    else if (iVar8 < 0x40) {\n      iVar3 = 8;\n      iVar8 = 0x40;\n    }\n    param_3[2] = 0;\n    if ((iVar3 - iVar4 < iVar7) &&\n       ((iVar3 = iVar4 + iVar7, SCARRY4(iVar4,iVar7) ||\n        (iVar8 = (int)((longlong)iVar3 * 8), (longlong)iVar8 != (longlong)iVar3 * 8)))) {\n                    \n      FUN_0002f1c0();\n    }\n    iVar4 = FUN_0002efd0(0,iVar8);\n    *param_3 = iVar4;\n    param_3[2] = iVar3;\n  }\n  param_3[1] = 0;\n  iVar8 = 0;\n  iVar4 = *piVar5;\n  iVar7 = *param_1;\n  iVar3 = 0;\n  do {\n    while (iVar4 <= iVar8) {\n      if (iVar7 <= iVar3) {\n        return;\n      }\n      puVar6 = (uint *)(*extraout_ECX + iVar3 * 8);\nLAB_0001fe75:\n      uVar2 = puVar6[1];\n      if ((param_2 & uVar2) != 0) {\n        iVar4 = param_3[1];\n        puVar1 = (uint *)(*param_3 + iVar4 * 8);\n        *puVar1 = *puVar6;\n        param_3[1] = iVar4 + 1;\n        puVar1[1] = param_2 & uVar2;\n        iVar4 = *piVar5;\n        iVar7 = *param_1;\n      }\n      iVar3 = iVar3 + 1;\n    }\n    local_30 = 0;\n    puVar1 = (uint *)(*(int *)uVar9 + iVar8 * 8);\n    uVar2 = *puVar1;\n    if (iVar3 < iVar7) {\n      puVar6 = (uint *)(*extraout_ECX + iVar3 * 8);\n      if (*puVar6 < uVar2) goto LAB_0001fe75;\n      if (uVar2 == *puVar6) {\n        local_30 = param_2 & puVar6[1];\n        iVar3 = iVar3 + 1;\n      }\n    }\n    iVar4 = param_3[1];\n    iVar8 = iVar8 + 1;\n    puVar6 = (uint *)(*param_3 + iVar4 * 8);\n    *puVar6 = uVar2;\n    uVar2 = puVar1[1];\n    param_3[1] = iVar4 + 1;\n    puVar6[1] = uVar2 | local_30;\n    iVar4 = *piVar5;\n    iVar7 = *param_1;\n  } while( true );\n}" { (declaration "uint *puVar1;" type_identifier (pointer_declarator "*puVar1" * identifier) ;) (declaration "uint uVar2;" type_identifier identifier ;) (declaration "int iVar3;" primitive_type identifier ;) (declaration "int iVar4;" primitive_type identifier ;) (declaration "int *extraout_ECX;" primitive_type (pointer_declarator "*extraout_ECX" * identifier) ;) (declaration "int *piVar5;" primitive_type (pointer_declarator "*piVar5" * identifier) ;) (declaration "uint *puVar6;" type_identifier (pointer_declarator "*puVar6" * identifier) ;) (declaration "int iVar7;" primitive_type identifier ;) (declaration "int iVar8;" primitive_type identifier ;) (declaration "undefined8 uVar9;" type_identifier identifier ;) (declaration "uint local_30;" type_identifier identifier ;) (expression_statement "uVar9 = FUN_00027eac();" (assignment_expression "uVar9 = FUN_00027eac()" identifier = (call_expression "FUN_00027eac()" identifier (argument_list "()" ( )))) ;) (expression_statement "piVar5 = (int *)((ulonglong)uVar9 >> 0x20);" (assignment_expression "piVar5 = (int *)((ulonglong)uVar9 >> 0x20)" identifier = (cast_expression "(int *)((ulonglong)uVar9 >> 0x20)" ( (type_descriptor "int *" primitive_type (abstract_pointer_declarator "*" *)) ) (parenthesized_expression "((ulonglong)uVar9 >> 0x20)" ( (binary_expression "(ulonglong)uVar9 >> 0x20" (cast_expression "(ulonglong)uVar9" ( (type_descriptor "ulonglong" type_identifier) ) identifier) >> number_literal) )))) ;) (if_statement "if (param_3[2] - *piVar5 < *param_1) {\n    free((void *)*param_3);\n    iVar4 = *piVar5;\n    param_3[2] = iVar4;\n    iVar7 = *param_1;\n    iVar3 = (iVar4 >> 1) + iVar4;\n    if ((SCARRY4(iVar4 >> 1,iVar4)) ||\n       (iVar8 = (int)((longlong)iVar3 * 8), (longlong)iVar8 != (longlong)iVar3 * 8)) {\n      iVar8 = 0x7ffffff8;\n      iVar3 = 0xfffffff;\n    }\n    else if (iVar8 < 0x40) {\n      iVar3 = 8;\n      iVar8 = 0x40;\n    }\n    param_3[2] = 0;\n    if ((iVar3 - iVar4 < iVar7) &&\n       ((iVar3 = iVar4 + iVar7, SCARRY4(iVar4,iVar7) ||\n        (iVar8 = (int)((longlong)iVar3 * 8), (longlong)iVar8 != (longlong)iVar3 * 8)))) {\n                    \n      FUN_0002f1c0();\n    }\n    iVar4 = FUN_0002efd0(0,iVar8);\n    *param_3 = iVar4;\n    param_3[2] = iVar3;\n  }" if (parenthesized_expression "(param_3[2] - *piVar5 < *param_1)" ( (binary_expression "param_3[2] - *piVar5 < *param_1" (binary_expression "param_3[2] - *piVar5" (subscript_expression "param_3[2]" identifier [ number_literal ]) - (pointer_expression "*piVar5" * identifier)) < (pointer_expression "*param_1" * identifier)) )) (compound_statement "{\n    free((void *)*param_3);\n    iVar4 = *piVar5;\n    param_3[2] = iVar4;\n    iVar7 = *param_1;\n    iVar3 = (iVar4 >> 1) + iVar4;\n    if ((SCARRY4(iVar4 >> 1,iVar4)) ||\n       (iVar8 = (int)((longlong)iVar3 * 8), (longlong)iVar8 != (longlong)iVar3 * 8)) {\n      iVar8 = 0x7ffffff8;\n      iVar3 = 0xfffffff;\n    }\n    else if (iVar8 < 0x40) {\n      iVar3 = 8;\n      iVar8 = 0x40;\n    }\n    param_3[2] = 0;\n    if ((iVar3 - iVar4 < iVar7) &&\n       ((iVar3 = iVar4 + iVar7, SCARRY4(iVar4,iVar7) ||\n        (iVar8 = (int)((longlong)iVar3 * 8), (longlong)iVar8 != (longlong)iVar3 * 8)))) {\n                    \n      FUN_0002f1c0();\n    }\n    iVar4 = FUN_0002efd0(0,iVar8);\n    *param_3 = iVar4;\n    param_3[2] = iVar3;\n  }" { (expression_statement "free((void *)*param_3);" (call_expression "free((void *)*param_3)" identifier (argument_list "((void *)*param_3)" ( (cast_expression "(void *)*param_3" ( (type_descriptor "void *" primitive_type (abstract_pointer_declarator "*" *)) ) (pointer_expression "*param_3" * identifier)) ))) ;) (expression_statement "iVar4 = *piVar5;" (assignment_expression "iVar4 = *piVar5" identifier = (pointer_expression "*piVar5" * identifier)) ;) (expression_statement "param_3[2] = iVar4;" (assignment_expression "param_3[2] = iVar4" (subscript_expression "param_3[2]" identifier [ number_literal ]) = identifier) ;) (expression_statement "iVar7 = *param_1;" (assignment_expression "iVar7 = *param_1" identifier = (pointer_expression "*param_1" * identifier)) ;) (expression_statement "iVar3 = (iVar4 >> 1) + iVar4;" (assignment_expression "iVar3 = (iVar4 >> 1) + iVar4" identifier = (binary_expression "(iVar4 >> 1) + iVar4" (parenthesized_expression "(iVar4 >> 1)" ( (binary_expression "iVar4 >> 1" identifier >> number_literal) )) + identifier)) ;) (if_statement "if ((SCARRY4(iVar4 >> 1,iVar4)) ||\n       (iVar8 = (int)((longlong)iVar3 * 8), (longlong)iVar8 != (longlong)iVar3 * 8)) {\n      iVar8 = 0x7ffffff8;\n      iVar3 = 0xfffffff;\n    }\n    else if (iVar8 < 0x40) {\n      iVar3 = 8;\n      iVar8 = 0x40;\n    }" if (parenthesized_expression "((SCARRY4(iVar4 >> 1,iVar4)) ||\n       (iVar8 = (int)((longlong)iVar3 * 8), (longlong)iVar8 != (longlong)iVar3 * 8))" ( (binary_expression "(SCARRY4(iVar4 >> 1,iVar4)) ||\n       (iVar8 = (int)((longlong)iVar3 * 8), (longlong)iVar8 != (longlong)iVar3 * 8)" (parenthesized_expression "(SCARRY4(iVar4 >> 1,iVar4))" ( (call_expression "SCARRY4(iVar4 >> 1,iVar4)" identifier (argument_list "(iVar4 >> 1,iVar4)" ( (binary_expression "iVar4 >> 1" identifier >> number_literal) , identifier ))) )) || (parenthesized_expression "(iVar8 = (int)((longlong)iVar3 * 8), (longlong)iVar8 != (longlong)iVar3 * 8)" ( (comma_expression "iVar8 = (int)((longlong)iVar3 * 8), (longlong)iVar8 != (longlong)iVar3 * 8" (assignment_expression "iVar8 = (int)((longlong)iVar3 * 8)" identifier = (cast_expression "(int)((longlong)iVar3 * 8)" ( (type_descriptor "int" primitive_type) ) (parenthesized_expression "((longlong)iVar3 * 8)" ( (binary_expression "(longlong)iVar3 * 8" (cast_expression "(longlong)iVar3" ( (type_descriptor "longlong" type_identifier) ) identifier) * number_literal) )))) , (binary_expression "(longlong)iVar8 != (longlong)iVar3 * 8" (cast_expression "(longlong)iVar8" ( (type_descriptor "longlong" type_identifier) ) identifier) != (binary_expression "(longlong)iVar3 * 8" (cast_expression "(longlong)iVar3" ( (type_descriptor "longlong" type_identifier) ) identifier) * number_literal))) ))) )) (compound_statement "{\n      iVar8 = 0x7ffffff8;\n      iVar3 = 0xfffffff;\n    }" { (expression_statement "iVar8 = 0x7ffffff8;" (assignment_expression "iVar8 = 0x7ffffff8" identifier = number_literal) ;) (expression_statement "iVar3 = 0xfffffff;" (assignment_expression "iVar3 = 0xfffffff" identifier = number_literal) ;) }) (else_clause "else if (iVar8 < 0x40) {\n      iVar3 = 8;\n      iVar8 = 0x40;\n    }" else (if_statement "if (iVar8 < 0x40) {\n      iVar3 = 8;\n      iVar8 = 0x40;\n    }" if (parenthesized_expression "(iVar8 < 0x40)" ( (binary_expression "iVar8 < 0x40" identifier < number_literal) )) (compound_statement "{\n      iVar3 = 8;\n      iVar8 = 0x40;\n    }" { (expression_statement "iVar3 = 8;" (assignment_expression "iVar3 = 8" identifier = number_literal) ;) (expression_statement "iVar8 = 0x40;" (assignment_expression "iVar8 = 0x40" identifier = number_literal) ;) })))) (expression_statement "param_3[2] = 0;" (assignment_expression "param_3[2] = 0" (subscript_expression "param_3[2]" identifier [ number_literal ]) = number_literal) ;) (if_statement "if ((iVar3 - iVar4 < iVar7) &&\n       ((iVar3 = iVar4 + iVar7, SCARRY4(iVar4,iVar7) ||\n        (iVar8 = (int)((longlong)iVar3 * 8), (longlong)iVar8 != (longlong)iVar3 * 8)))) {\n                    \n      FUN_0002f1c0();\n    }" if (parenthesized_expression "((iVar3 - iVar4 < iVar7) &&\n       ((iVar3 = iVar4 + iVar7, SCARRY4(iVar4,iVar7) ||\n        (iVar8 = (int)((longlong)iVar3 * 8), (longlong)iVar8 != (longlong)iVar3 * 8))))" ( (binary_expression "(iVar3 - iVar4 < iVar7) &&\n       ((iVar3 = iVar4 + iVar7, SCARRY4(iVar4,iVar7) ||\n        (iVar8 = (int)((longlong)iVar3 * 8), (longlong)iVar8 != (longlong)iVar3 * 8)))" (parenthesized_expression "(iVar3 - iVar4 < iVar7)" ( (binary_expression "iVar3 - iVar4 < iVar7" (binary_expression "iVar3 - iVar4" identifier - identifier) < identifier) )) && (parenthesized_expression "((iVar3 = iVar4 + iVar7, SCARRY4(iVar4,iVar7) ||\n        (iVar8 = (int)((longlong)iVar3 * 8), (longlong)iVar8 != (longlong)iVar3 * 8)))" ( (parenthesized_expression "(iVar3 = iVar4 + iVar7, SCARRY4(iVar4,iVar7) ||\n        (iVar8 = (int)((longlong)iVar3 * 8), (longlong)iVar8 != (longlong)iVar3 * 8))" ( (comma_expression "iVar3 = iVar4 + iVar7, SCARRY4(iVar4,iVar7) ||\n        (iVar8 = (int)((longlong)iVar3 * 8), (longlong)iVar8 != (longlong)iVar3 * 8)" (assignment_expression "iVar3 = iVar4 + iVar7" identifier = (binary_expression "iVar4 + iVar7" identifier + identifier)) , (binary_expression "SCARRY4(iVar4,iVar7) ||\n        (iVar8 = (int)((longlong)iVar3 * 8), (longlong)iVar8 != (longlong)iVar3 * 8)" (call_expression "SCARRY4(iVar4,iVar7)" identifier (argument_list "(iVar4,iVar7)" ( identifier , identifier ))) || (parenthesized_expression "(iVar8 = (int)((longlong)iVar3 * 8), (longlong)iVar8 != (longlong)iVar3 * 8)" ( (comma_expression "iVar8 = (int)((longlong)iVar3 * 8), (longlong)iVar8 != (longlong)iVar3 * 8" (assignment_expression "iVar8 = (int)((longlong)iVar3 * 8)" identifier = (cast_expression "(int)((longlong)iVar3 * 8)" ( (type_descriptor "int" primitive_type) ) (parenthesized_expression "((longlong)iVar3 * 8)" ( (binary_expression "(longlong)iVar3 * 8" (cast_expression "(longlong)iVar3" ( (type_descriptor "longlong" type_identifier) ) identifier) * number_literal) )))) , (binary_expression "(longlong)iVar8 != (longlong)iVar3 * 8" (cast_expression "(longlong)iVar8" ( (type_descriptor "longlong" type_identifier) ) identifier) != (binary_expression "(longlong)iVar3 * 8" (cast_expression "(longlong)iVar3" ( (type_descriptor "longlong" type_identifier) ) identifier) * number_literal))) )))) )) ))) )) (compound_statement "{\n                    \n      FUN_0002f1c0();\n    }" { (expression_statement "FUN_0002f1c0();" (call_expression "FUN_0002f1c0()" identifier (argument_list "()" ( ))) ;) })) (expression_statement "iVar4 = FUN_0002efd0(0,iVar8);" (assignment_expression "iVar4 = FUN_0002efd0(0,iVar8)" identifier = (call_expression "FUN_0002efd0(0,iVar8)" identifier (argument_list "(0,iVar8)" ( number_literal , identifier )))) ;) (expression_statement "*param_3 = iVar4;" (assignment_expression "*param_3 = iVar4" (pointer_expression "*param_3" * identifier) = identifier) ;) (expression_statement "param_3[2] = iVar3;" (assignment_expression "param_3[2] = iVar3" (subscript_expression "param_3[2]" identifier [ number_literal ]) = identifier) ;) })) (expression_statement "param_3[1] = 0;" (assignment_expression "param_3[1] = 0" (subscript_expression "param_3[1]" identifier [ number_literal ]) = number_literal) ;) (expression_statement "iVar8 = 0;" (assignment_expression "iVar8 = 0" identifier = number_literal) ;) (expression_statement "iVar4 = *piVar5;" (assignment_expression "iVar4 = *piVar5" identifier = (pointer_expression "*piVar5" * identifier)) ;) (expression_statement "iVar7 = *param_1;" (assignment_expression "iVar7 = *param_1" identifier = (pointer_expression "*param_1" * identifier)) ;) (expression_statement "iVar3 = 0;" (assignment_expression "iVar3 = 0" identifier = number_literal) ;) (do_statement "do {\n    while (iVar4 <= iVar8) {\n      if (iVar7 <= iVar3) {\n        return;\n      }\n      puVar6 = (uint *)(*extraout_ECX + iVar3 * 8);\nLAB_0001fe75:\n      uVar2 = puVar6[1];\n      if ((param_2 & uVar2) != 0) {\n        iVar4 = param_3[1];\n        puVar1 = (uint *)(*param_3 + iVar4 * 8);\n        *puVar1 = *puVar6;\n        param_3[1] = iVar4 + 1;\n        puVar1[1] = param_2 & uVar2;\n        iVar4 = *piVar5;\n        iVar7 = *param_1;\n      }\n      iVar3 = iVar3 + 1;\n    }\n    local_30 = 0;\n    puVar1 = (uint *)(*(int *)uVar9 + iVar8 * 8);\n    uVar2 = *puVar1;\n    if (iVar3 < iVar7) {\n      puVar6 = (uint *)(*extraout_ECX + iVar3 * 8);\n      if (*puVar6 < uVar2) goto LAB_0001fe75;\n      if (uVar2 == *puVar6) {\n        local_30 = param_2 & puVar6[1];\n        iVar3 = iVar3 + 1;\n      }\n    }\n    iVar4 = param_3[1];\n    iVar8 = iVar8 + 1;\n    puVar6 = (uint *)(*param_3 + iVar4 * 8);\n    *puVar6 = uVar2;\n    uVar2 = puVar1[1];\n    param_3[1] = iVar4 + 1;\n    puVar6[1] = uVar2 | local_30;\n    iVar4 = *piVar5;\n    iVar7 = *param_1;\n  } while( true );" do (compound_statement "{\n    while (iVar4 <= iVar8) {\n      if (iVar7 <= iVar3) {\n        return;\n      }\n      puVar6 = (uint *)(*extraout_ECX + iVar3 * 8);\nLAB_0001fe75:\n      uVar2 = puVar6[1];\n      if ((param_2 & uVar2) != 0) {\n        iVar4 = param_3[1];\n        puVar1 = (uint *)(*param_3 + iVar4 * 8);\n        *puVar1 = *puVar6;\n        param_3[1] = iVar4 + 1;\n        puVar1[1] = param_2 & uVar2;\n        iVar4 = *piVar5;\n        iVar7 = *param_1;\n      }\n      iVar3 = iVar3 + 1;\n    }\n    local_30 = 0;\n    puVar1 = (uint *)(*(int *)uVar9 + iVar8 * 8);\n    uVar2 = *puVar1;\n    if (iVar3 < iVar7) {\n      puVar6 = (uint *)(*extraout_ECX + iVar3 * 8);\n      if (*puVar6 < uVar2) goto LAB_0001fe75;\n      if (uVar2 == *puVar6) {\n        local_30 = param_2 & puVar6[1];\n        iVar3 = iVar3 + 1;\n      }\n    }\n    iVar4 = param_3[1];\n    iVar8 = iVar8 + 1;\n    puVar6 = (uint *)(*param_3 + iVar4 * 8);\n    *puVar6 = uVar2;\n    uVar2 = puVar1[1];\n    param_3[1] = iVar4 + 1;\n    puVar6[1] = uVar2 | local_30;\n    iVar4 = *piVar5;\n    iVar7 = *param_1;\n  }" { (while_statement "while (iVar4 <= iVar8) {\n      if (iVar7 <= iVar3) {\n        return;\n      }\n      puVar6 = (uint *)(*extraout_ECX + iVar3 * 8);\nLAB_0001fe75:\n      uVar2 = puVar6[1];\n      if ((param_2 & uVar2) != 0) {\n        iVar4 = param_3[1];\n        puVar1 = (uint *)(*param_3 + iVar4 * 8);\n        *puVar1 = *puVar6;\n        param_3[1] = iVar4 + 1;\n        puVar1[1] = param_2 & uVar2;\n        iVar4 = *piVar5;\n        iVar7 = *param_1;\n      }\n      iVar3 = iVar3 + 1;\n    }" while (parenthesized_expression "(iVar4 <= iVar8)" ( (binary_expression "iVar4 <= iVar8" identifier <= identifier) )) (compound_statement "{\n      if (iVar7 <= iVar3) {\n        return;\n      }\n      puVar6 = (uint *)(*extraout_ECX + iVar3 * 8);\nLAB_0001fe75:\n      uVar2 = puVar6[1];\n      if ((param_2 & uVar2) != 0) {\n        iVar4 = param_3[1];\n        puVar1 = (uint *)(*param_3 + iVar4 * 8);\n        *puVar1 = *puVar6;\n        param_3[1] = iVar4 + 1;\n        puVar1[1] = param_2 & uVar2;\n        iVar4 = *piVar5;\n        iVar7 = *param_1;\n      }\n      iVar3 = iVar3 + 1;\n    }" { (if_statement "if (iVar7 <= iVar3) {\n        return;\n      }" if (parenthesized_expression "(iVar7 <= iVar3)" ( (binary_expression "iVar7 <= iVar3" identifier <= identifier) )) (compound_statement "{\n        return;\n      }" { (return_statement "return;" return ;) })) (expression_statement "puVar6 = (uint *)(*extraout_ECX + iVar3 * 8);" (assignment_expression "puVar6 = (uint *)(*extraout_ECX + iVar3 * 8)" identifier = (cast_expression "(uint *)(*extraout_ECX + iVar3 * 8)" ( (type_descriptor "uint *" type_identifier (abstract_pointer_declarator "*" *)) ) (parenthesized_expression "(*extraout_ECX + iVar3 * 8)" ( (binary_expression "*extraout_ECX + iVar3 * 8" (pointer_expression "*extraout_ECX" * identifier) + (binary_expression "iVar3 * 8" identifier * number_literal)) )))) ;) (labeled_statement "LAB_0001fe75:\n      uVar2 = puVar6[1];" statement_identifier : (expression_statement "uVar2 = puVar6[1];" (assignment_expression "uVar2 = puVar6[1]" identifier = (subscript_expression "puVar6[1]" identifier [ number_literal ])) ;)) (if_statement "if ((param_2 & uVar2) != 0) {\n        iVar4 = param_3[1];\n        puVar1 = (uint *)(*param_3 + iVar4 * 8);\n        *puVar1 = *puVar6;\n        param_3[1] = iVar4 + 1;\n        puVar1[1] = param_2 & uVar2;\n        iVar4 = *piVar5;\n        iVar7 = *param_1;\n      }" if (parenthesized_expression "((param_2 & uVar2) != 0)" ( (binary_expression "(param_2 & uVar2) != 0" (parenthesized_expression "(param_2 & uVar2)" ( (binary_expression "param_2 & uVar2" identifier & identifier) )) != number_literal) )) (compound_statement "{\n        iVar4 = param_3[1];\n        puVar1 = (uint *)(*param_3 + iVar4 * 8);\n        *puVar1 = *puVar6;\n        param_3[1] = iVar4 + 1;\n        puVar1[1] = param_2 & uVar2;\n        iVar4 = *piVar5;\n        iVar7 = *param_1;\n      }" { (expression_statement "iVar4 = param_3[1];" (assignment_expression "iVar4 = param_3[1]" identifier = (subscript_expression "param_3[1]" identifier [ number_literal ])) ;) (expression_statement "puVar1 = (uint *)(*param_3 + iVar4 * 8);" (assignment_expression "puVar1 = (uint *)(*param_3 + iVar4 * 8)" identifier = (cast_expression "(uint *)(*param_3 + iVar4 * 8)" ( (type_descriptor "uint *" type_identifier (abstract_pointer_declarator "*" *)) ) (parenthesized_expression "(*param_3 + iVar4 * 8)" ( (binary_expression "*param_3 + iVar4 * 8" (pointer_expression "*param_3" * identifier) + (binary_expression "iVar4 * 8" identifier * number_literal)) )))) ;) (expression_statement "*puVar1 = *puVar6;" (assignment_expression "*puVar1 = *puVar6" (pointer_expression "*puVar1" * identifier) = (pointer_expression "*puVar6" * identifier)) ;) (expression_statement "param_3[1] = iVar4 + 1;" (assignment_expression "param_3[1] = iVar4 + 1" (subscript_expression "param_3[1]" identifier [ number_literal ]) = (binary_expression "iVar4 + 1" identifier + number_literal)) ;) (expression_statement "puVar1[1] = param_2 & uVar2;" (assignment_expression "puVar1[1] = param_2 & uVar2" (subscript_expression "puVar1[1]" identifier [ number_literal ]) = (binary_expression "param_2 & uVar2" identifier & identifier)) ;) (expression_statement "iVar4 = *piVar5;" (assignment_expression "iVar4 = *piVar5" identifier = (pointer_expression "*piVar5" * identifier)) ;) (expression_statement "iVar7 = *param_1;" (assignment_expression "iVar7 = *param_1" identifier = (pointer_expression "*param_1" * identifier)) ;) })) (expression_statement "iVar3 = iVar3 + 1;" (assignment_expression "iVar3 = iVar3 + 1" identifier = (binary_expression "iVar3 + 1" identifier + number_literal)) ;) })) (expression_statement "local_30 = 0;" (assignment_expression "local_30 = 0" identifier = number_literal) ;) (expression_statement "puVar1 = (uint *)(*(int *)uVar9 + iVar8 * 8);" (assignment_expression "puVar1 = (uint *)(*(int *)uVar9 + iVar8 * 8)" identifier = (cast_expression "(uint *)(*(int *)uVar9 + iVar8 * 8)" ( (type_descriptor "uint *" type_identifier (abstract_pointer_declarator "*" *)) ) (parenthesized_expression "(*(int *)uVar9 + iVar8 * 8)" ( (binary_expression "*(int *)uVar9 + iVar8 * 8" (pointer_expression "*(int *)uVar9" * (cast_expression "(int *)uVar9" ( (type_descriptor "int *" primitive_type (abstract_pointer_declarator "*" *)) ) identifier)) + (binary_expression "iVar8 * 8" identifier * number_literal)) )))) ;) (expression_statement "uVar2 = *puVar1;" (assignment_expression "uVar2 = *puVar1" identifier = (pointer_expression "*puVar1" * identifier)) ;) (if_statement "if (iVar3 < iVar7) {\n      puVar6 = (uint *)(*extraout_ECX + iVar3 * 8);\n      if (*puVar6 < uVar2) goto LAB_0001fe75;\n      if (uVar2 == *puVar6) {\n        local_30 = param_2 & puVar6[1];\n        iVar3 = iVar3 + 1;\n      }\n    }" if (parenthesized_expression "(iVar3 < iVar7)" ( (binary_expression "iVar3 < iVar7" identifier < identifier) )) (compound_statement "{\n      puVar6 = (uint *)(*extraout_ECX + iVar3 * 8);\n      if (*puVar6 < uVar2) goto LAB_0001fe75;\n      if (uVar2 == *puVar6) {\n        local_30 = param_2 & puVar6[1];\n        iVar3 = iVar3 + 1;\n      }\n    }" { (expression_statement "puVar6 = (uint *)(*extraout_ECX + iVar3 * 8);" (assignment_expression "puVar6 = (uint *)(*extraout_ECX + iVar3 * 8)" identifier = (cast_expression "(uint *)(*extraout_ECX + iVar3 * 8)" ( (type_descriptor "uint *" type_identifier (abstract_pointer_declarator "*" *)) ) (parenthesized_expression "(*extraout_ECX + iVar3 * 8)" ( (binary_expression "*extraout_ECX + iVar3 * 8" (pointer_expression "*extraout_ECX" * identifier) + (binary_expression "iVar3 * 8" identifier * number_literal)) )))) ;) (if_statement "if (*puVar6 < uVar2) goto LAB_0001fe75;" if (parenthesized_expression "(*puVar6 < uVar2)" ( (binary_expression "*puVar6 < uVar2" (pointer_expression "*puVar6" * identifier) < identifier) )) (goto_statement "goto LAB_0001fe75;" goto statement_identifier ;)) (if_statement "if (uVar2 == *puVar6) {\n        local_30 = param_2 & puVar6[1];\n        iVar3 = iVar3 + 1;\n      }" if (parenthesized_expression "(uVar2 == *puVar6)" ( (binary_expression "uVar2 == *puVar6" identifier == (pointer_expression "*puVar6" * identifier)) )) (compound_statement "{\n        local_30 = param_2 & puVar6[1];\n        iVar3 = iVar3 + 1;\n      }" { (expression_statement "local_30 = param_2 & puVar6[1];" (assignment_expression "local_30 = param_2 & puVar6[1]" identifier = (binary_expression "param_2 & puVar6[1]" identifier & (subscript_expression "puVar6[1]" identifier [ number_literal ]))) ;) (expression_statement "iVar3 = iVar3 + 1;" (assignment_expression "iVar3 = iVar3 + 1" identifier = (binary_expression "iVar3 + 1" identifier + number_literal)) ;) })) })) (expression_statement "iVar4 = param_3[1];" (assignment_expression "iVar4 = param_3[1]" identifier = (subscript_expression "param_3[1]" identifier [ number_literal ])) ;) (expression_statement "iVar8 = iVar8 + 1;" (assignment_expression "iVar8 = iVar8 + 1" identifier = (binary_expression "iVar8 + 1" identifier + number_literal)) ;) (expression_statement "puVar6 = (uint *)(*param_3 + iVar4 * 8);" (assignment_expression "puVar6 = (uint *)(*param_3 + iVar4 * 8)" identifier = (cast_expression "(uint *)(*param_3 + iVar4 * 8)" ( (type_descriptor "uint *" type_identifier (abstract_pointer_declarator "*" *)) ) (parenthesized_expression "(*param_3 + iVar4 * 8)" ( (binary_expression "*param_3 + iVar4 * 8" (pointer_expression "*param_3" * identifier) + (binary_expression "iVar4 * 8" identifier * number_literal)) )))) ;) (expression_statement "*puVar6 = uVar2;" (assignment_expression "*puVar6 = uVar2" (pointer_expression "*puVar6" * identifier) = identifier) ;) (expression_statement "uVar2 = puVar1[1];" (assignment_expression "uVar2 = puVar1[1]" identifier = (subscript_expression "puVar1[1]" identifier [ number_literal ])) ;) (expression_statement "param_3[1] = iVar4 + 1;" (assignment_expression "param_3[1] = iVar4 + 1" (subscript_expression "param_3[1]" identifier [ number_literal ]) = (binary_expression "iVar4 + 1" identifier + number_literal)) ;) (expression_statement "puVar6[1] = uVar2 | local_30;" (assignment_expression "puVar6[1] = uVar2 | local_30" (subscript_expression "puVar6[1]" identifier [ number_literal ]) = (binary_expression "uVar2 | local_30" identifier | identifier)) ;) (expression_statement "iVar4 = *piVar5;" (assignment_expression "iVar4 = *piVar5" identifier = (pointer_expression "*piVar5" * identifier)) ;) (expression_statement "iVar7 = *param_1;" (assignment_expression "iVar7 = *param_1" identifier = (pointer_expression "*param_1" * identifier)) ;) }) while (parenthesized_expression "( true )" ( true )) ;) })))
(translation_unit (function_definition TYPE (function_declarator IDENT (parameter_list ( (parameter_declaration TYPE (pointer_declarator * IDENT)) , (parameter_declaration TYPE IDENT) , (parameter_declaration TYPE (pointer_declarator * IDENT)) ))) (compound_statement { (declaration TYPE (pointer_declarator * IDENT) ;) (declaration TYPE IDENT ;) (declaration TYPE IDENT ;) (declaration TYPE IDENT ;) (declaration TYPE (pointer_declarator * IDENT) ;) (declaration TYPE (pointer_declarator * IDENT) ;) (declaration TYPE (pointer_declarator * IDENT) ;) (declaration TYPE IDENT ;) (declaration TYPE IDENT ;) (declaration TYPE IDENT ;) (declaration TYPE IDENT ;) (expression_statement (assignment_expression IDENT = (call_expression IDENT (argument_list ( )))) ;) (expression_statement (assignment_expression IDENT = (cast_expression ( (type_descriptor TYPE (abstract_pointer_declarator *)) ) (parenthesized_expression ( (binary_expression (cast_expression ( (type_descriptor TYPE) ) IDENT) >> LIT) )))) ;) (if_statement if (parenthesized_expression ( (binary_expression (binary_expression (subscript_expression IDENT [ LIT ]) - (pointer_expression * IDENT)) < (pointer_expression * IDENT)) )) (compound_statement { (expression_statement (call_expression IDENT (argument_list ( (cast_expression ( (type_descriptor TYPE (abstract_pointer_declarator *)) ) (pointer_expression * IDENT)) ))) ;) (expression_statement (assignment_expression IDENT = (pointer_expression * IDENT)) ;) (expression_statement (assignment_expression (subscript_expression IDENT [ LIT ]) = IDENT) ;) (expression_statement (assignment_expression IDENT = (pointer_expression * IDENT)) ;) (expression_statement (assignment_expression IDENT = (binary_expression (parenthesized_expression ( (binary_expression IDENT >> LIT) )) + IDENT)) ;) (if_statement if (parenthesized_expression ( (binary_expression (parenthesized_expression ( (call_expression IDENT (argument_list ( (binary_expression IDENT >> LIT) , IDENT ))) )) || (parenthesized_expression ( (comma_expression (assignment_expression IDENT = (cast_expression ( (type_descriptor TYPE) ) (parenthesized_expression ( (binary_expression (cast_expression ( (type_descriptor TYPE) ) IDENT) * LIT) )))) , (binary_expression (cast_expression ( (type_descriptor TYPE) ) IDENT) != (binary_expression (cast_expression ( (type_descriptor TYPE) ) IDENT) * LIT))) ))) )) (compound_statement { (expression_statement (assignment_expression IDENT = LIT) ;) (expression_statement (assignment_expression IDENT = LIT) ;) }) (else_clause else (if_statement if (parenthesized_expression ( (binary_expression IDENT < LIT) )) (compound_statement { (expression_statement (assignment_expression IDENT = LIT) ;) (expression_statement (assignment_expression IDENT = LIT) ;) })))) (expression_statement (assignment_expression (subscript_expression IDENT [ LIT ]) = LIT) ;) (if_statement if (parenthesized_expression ( (binary_expression (parenthesized_expression ( (binary_expression (binary_expression IDENT - IDENT) < IDENT) )) && (parenthesized_expression ( (parenthesized_expression ( (comma_expression (assignment_expression IDENT = (binary_expression IDENT + IDENT)) , (binary_expression (call_expression IDENT (argument_list ( IDENT , IDENT ))) || (parenthesized_expression ( (comma_expression (assignment_expression IDENT = (cast_expression ( (type_descriptor TYPE) ) (parenthesized_expression ( (binary_expression (cast_expression ( (type_descriptor TYPE) ) IDENT) * LIT) )))) , (binary_expression (cast_expression ( (type_descriptor TYPE) ) IDENT) != (binary_expression (cast_expression ( (type_descriptor TYPE) ) IDENT) * LIT))) )))) )) ))) )) (compound_statement { (expression_statement (call_expression IDENT (argument_list ( ))) ;) })) (expression_statement (assignment_expression IDENT = (call_expression IDENT (argument_list ( LIT , IDENT )))) ;) (expression_statement (assignment_expression (pointer_expression * IDENT) = IDENT) ;) (expression_statement (assignment_expression (subscript_expression IDENT [ LIT ]) = IDENT) ;) })) (expression_statement (assignment_expression (subscript_expression IDENT [ LIT ]) = LIT) ;) (expression_statement (assignment_expression IDENT = LIT) ;) (expression_statement (assignment_expression IDENT = (pointer_expression * IDENT)) ;) (expression_statement (assignment_expression IDENT = (pointer_expression * IDENT)) ;) (expression_statement (assignment_expression IDENT = LIT) ;) (do_statement do (compound_statement { (while_statement while (parenthesized_expression ( (binary_expression IDENT <= IDENT) )) (compound_statement { (if_statement if (parenthesized_expression ( (binary_expression IDENT <= IDENT) )) (compound_statement { (return_statement return ;) })) (expression_statement (assignment_expression IDENT = (cast_expression ( (type_descriptor TYPE (abstract_pointer_declarator *)) ) (parenthesized_expression ( (binary_expression (pointer_expression * IDENT) + (binary_expression IDENT * LIT)) )))) ;) (labeled_statement statement_identifier : (expression_statement (assignment_expression IDENT = (subscript_expression IDENT [ LIT ])) ;)) (if_statement if (parenthesized_expression ( (binary_expression (parenthesized_expression ( (binary_expression IDENT & IDENT) )) != LIT) )) (compound_statement { (expression_statement (assignment_expression IDENT = (subscript_expression IDENT [ LIT ])) ;) (expression_statement (assignment_expression IDENT = (cast_expression ( (type_descriptor TYPE (abstract_pointer_declarator *)) ) (parenthesized_expression ( (binary_expression (pointer_expression * IDENT) + (binary_expression IDENT * LIT)) )))) ;) (expression_statement (assignment_expression (pointer_expression * IDENT) = (pointer_expression * IDENT)) ;) (expression_statement (assignment_expression (subscript_expression IDENT [ LIT ]) = (binary_expression IDENT + LIT)) ;) (expression_statement (assignment_expression (subscript_expression IDENT [ LIT ]) = (binary_expression IDENT & IDENT)) ;) (expression_statement (assignment_expression IDENT = (pointer_expression * IDENT)) ;) (expression_statement (assignment_expression IDENT = (pointer_expression * IDENT)) ;) })) (expression_statement (assignment_expression IDENT = (binary_expression IDENT + LIT)) ;) })) (expression_statement (assignment_expression IDENT = LIT) ;) (expression_statement (assignment_expression IDENT = (cast_expression ( (type_descriptor TYPE (abstract_pointer_declarator *)) ) (parenthesized_expression ( (binary_expression (pointer_expression * (cast_expression ( (type_descriptor TYPE (abstract_pointer_declarator *)) ) IDENT)) + (binary_expression IDENT * LIT)) )))) ;) (expression_statement (assignment_expression IDENT = (pointer_expression * IDENT)) ;) (if_statement if (parenthesized_expression ( (binary_expression IDENT < IDENT) )) (compound_statement { (expression_statement (assignment_expression IDENT = (cast_expression ( (type_descriptor TYPE (abstract_pointer_declarator *)) ) (parenthesized_expression ( (binary_expression (pointer_expression * IDENT) + (binary_expression IDENT * LIT)) )))) ;) (if_statement if (parenthesized_expression ( (binary_expression (pointer_expression * IDENT) < IDENT) )) (goto_statement goto statement_identifier ;)) (if_statement if (parenthesized_expression ( (binary_expression IDENT == (pointer_expression * IDENT)) )) (compound_statement { (expression_statement (assignment_expression IDENT = (binary_expression IDENT & (subscript_expression IDENT [ LIT ]))) ;) (expression_statement (assignment_expression IDENT = (binary_expression IDENT + LIT)) ;) })) })) (expression_statement (assignment_expression IDENT = (subscript_expression IDENT [ LIT ])) ;) (expression_statement (assignment_expression IDENT = (binary_expression IDENT + LIT)) ;) (expression_statement (assignment_expression IDENT = (cast_expression ( (type_descriptor TYPE (abstract_pointer_declarator *)) ) (parenthesized_expression ( (binary_expression (pointer_expression * IDENT) + (binary_expression IDENT * LIT)) )))) ;) (expression_statement (assignment_expression (pointer_expression * IDENT) = IDENT) ;) (expression_statement (assignment_expression IDENT = (subscript_expression IDENT [ LIT ])) ;) (expression_statement (assignment_expression (subscript_expression IDENT [ LIT ]) = (binary_expression IDENT + LIT)) ;) (expression_statement (assignment_expression (subscript_expression IDENT [ LIT ]) = (binary_expression IDENT | IDENT)) ;) (expression_statement (assignment_expression IDENT = (pointer_expression * IDENT)) ;) (expression_statement (assignment_expression IDENT = (pointer_expression * IDENT)) ;) }) while (parenthesized_expression ( BOOL )) ;) })))
(function_definition "void FUN_0001fe10(int *param_1,uint param_2,int *param_3)\n\n{\n  uint *puVar1;\n  uint uVar2;\n  int iVar3;\n  int iVar4;\n  int *extraout_ECX;\n  int *piVar5;\n  uint *puVar6;\n  int iVar7;\n  int iVar8;\n  undefined8 uVar9;\n  uint local_30;\n  \n  uVar9 = FUN_00027eac();\n  piVar5 = (int *)((ulonglong)uVar9 >> 0x20);\n  if (param_3[2] - *piVar5 < *param_1) {\n    free((void *)*param_3);\n    iVar4 = *piVar5;\n    param_3[2] = iVar4;\n    iVar7 = *param_1;\n    iVar3 = (iVar4 >> 1) + iVar4;\n    if ((SCARRY4(iVar4 >> 1,iVar4)) ||\n       (iVar8 = (int)((longlong)iVar3 * 8), (longlong)iVar8 != (longlong)iVar3 * 8)) {\n      iVar8 = 0x7ffffff8;\n      iVar3 = 0xfffffff;\n    }\n    else if (iVar8 < 0x40) {\n      iVar3 = 8;\n      iVar8 = 0x40;\n    }\n    param_3[2] = 0;\n    if ((iVar3 - iVar4 < iVar7) &&\n       ((iVar3 = iVar4 + iVar7, SCARRY4(iVar4,iVar7) ||\n        (iVar8 = (int)((longlong)iVar3 * 8), (longlong)iVar8 != (longlong)iVar3 * 8)))) {\n                    \n      FUN_0002f1c0();\n    }\n    iVar4 = FUN_0002efd0(0,iVar8);\n    *param_3 = iVar4;\n    param_3[2] = iVar3;\n  }\n  param_3[1] = 0;\n  iVar8 = 0;\n  iVar4 = *piVar5;\n  iVar7 = *param_1;\n  iVar3 = 0;\n  do {\n    while (iVar4 <= iVar8) {\n      if (iVar7 <= iVar3) {\n        return;\n      }\n      puVar6 = (uint *)(*extraout_ECX + iVar3 * 8);\nLAB_0001fe75:\n      uVar2 = puVar6[1];\n      if ((param_2 & uVar2) != 0) {\n        iVar4 = param_3[1];\n        puVar1 = (uint *)(*param_3 + iVar4 * 8);\n        *puVar1 = *puVar6;\n        param_3[1] = iVar4 + 1;\n        puVar1[1] = param_2 & uVar2;\n        iVar4 = *piVar5;\n        iVar7 = *param_1;\n      }\n      iVar3 = iVar3 + 1;\n    }\n    local_30 = 0;\n    puVar1 = (uint *)(*(int *)uVar9 + iVar8 * 8);\n    uVar2 = *puVar1;\n    if (iVar3 < iVar7) {\n      puVar6 = (uint *)(*extraout_ECX + iVar3 * 8);\n      if (*puVar6 < uVar2) goto LAB_0001fe75;\n      if (uVar2 == *puVar6) {\n        local_30 = param_2 & puVar6[1];\n        iVar3 = iVar3 + 1;\n      }\n    }\n    iVar4 = param_3[1];\n    iVar8 = iVar8 + 1;\n    puVar6 = (uint *)(*param_3 + iVar4 * 8);\n    *puVar6 = uVar2;\n    uVar2 = puVar1[1];\n    param_3[1] = iVar4 + 1;\n    puVar6[1] = uVar2 | local_30;\n    iVar4 = *piVar5;\n    iVar7 = *param_1;\n  } while( true );\n}" (primitive_type "void") (function_declarator "FUN_0001fe10(int *param_1,uint param_2,int *param_3)" (identifier "FUN_0001fe10") (parameter_list "(int *param_1,uint param_2,int *param_3)" (( "(") (parameter_declaration "int *param_1" (primitive_type "int") (pointer_declarator "*param_1" (* "*") (identifier "param_1"))) (, ",") (parameter_declaration "uint param_2" (type_identifier "uint") (identifier "param_2")) (, ",") (parameter_declaration "int *param_3" (primitive_type "int") (pointer_declarator "*param_3" (* "*") (identifier "param_3"))) () ")"))) (compound_statement "{\n  uint *puVar1;\n  uint uVar2;\n  int iVar3;\n  int iVar4;\n  int *extraout_ECX;\n  int *piVar5;\n  uint *puVar6;\n  int iVar7;\n  int iVar8;\n  undefined8 uVar9;\n  uint local_30;\n  \n  uVar9 = FUN_00027eac();\n  piVar5 = (int *)((ulonglong)uVar9 >> 0x20);\n  if (param_3[2] - *piVar5 < *param_1) {\n    free((void *)*param_3);\n    iVar4 = *piVar5;\n    param_3[2] = iVar4;\n    iVar7 = *param_1;\n    iVar3 = (iVar4 >> 1) + iVar4;\n    if ((SCARRY4(iVar4 >> 1,iVar4)) ||\n       (iVar8 = (int)((longlong)iVar3 * 8), (longlong)iVar8 != (longlong)iVar3 * 8)) {\n      iVar8 = 0x7ffffff8;\n      iVar3 = 0xfffffff;\n    }\n    else if (iVar8 < 0x40) {\n      iVar3 = 8;\n      iVar8 = 0x40;\n    }\n    param_3[2] = 0;\n    if ((iVar3 - iVar4 < iVar7) &&\n       ((iVar3 = iVar4 + iVar7, SCARRY4(iVar4,iVar7) ||\n        (iVar8 = (int)((longlong)iVar3 * 8), (longlong)iVar8 != (longlong)iVar3 * 8)))) {\n                    \n      FUN_0002f1c0();\n    }\n    iVar4 = FUN_0002efd0(0,iVar8);\n    *param_3 = iVar4;\n    param_3[2] = iVar3;\n  }\n  param_3[1] = 0;\n  iVar8 = 0;\n  iVar4 = *piVar5;\n  iVar7 = *param_1;\n  iVar3 = 0;\n  do {\n    while (iVar4 <= iVar8) {\n      if (iVar7 <= iVar3) {\n        return;\n      }\n      puVar6 = (uint *)(*extraout_ECX + iVar3 * 8);\nLAB_0001fe75:\n      uVar2 = puVar6[1];\n      if ((param_2 & uVar2) != 0) {\n        iVar4 = param_3[1];\n        puVar1 = (uint *)(*param_3 + iVar4 * 8);\n        *puVar1 = *puVar6;\n        param_3[1] = iVar4 + 1;\n        puVar1[1] = param_2 & uVar2;\n        iVar4 = *piVar5;\n        iVar7 = *param_1;\n      }\n      iVar3 = iVar3 + 1;\n    }\n    local_30 = 0;\n    puVar1 = (uint *)(*(int *)uVar9 + iVar8 * 8);\n    uVar2 = *puVar1;\n    if (iVar3 < iVar7) {\n      puVar6 = (uint *)(*extraout_ECX + iVar3 * 8);\n      if (*puVar6 < uVar2) goto LAB_0001fe75;\n      if (uVar2 == *puVar6) {\n        local_30 = param_2 & puVar6[1];\n        iVar3 = iVar3 + 1;\n      }\n    }\n    iVar4 = param_3[1];\n    iVar8 = iVar8 + 1;\n    puVar6 = (uint *)(*param_3 + iVar4 * 8);\n    *puVar6 = uVar2;\n    uVar2 = puVar1[1];\n    param_3[1] = iVar4 + 1;\n    puVar6[1] = uVar2 | local_30;\n    iVar4 = *piVar5;\n    iVar7 = *param_1;\n  } while( true );\n}" ({ "{") (declaration "uint *puVar1;" (type_identifier "uint") (pointer_declarator "*puVar1" (* "*") (identifier "puVar1")) (; ";")) (declaration "uint uVar2;" (type_identifier "uint") (identifier "uVar2") (; ";")) (declaration "int iVar3;" (primitive_type "int") (identifier "iVar3") (; ";")) (declaration "int iVar4;" (primitive_type "int") (identifier "iVar4") (; ";")) (declaration "int *extraout_ECX;" (primitive_type "int") (pointer_declarator "*extraout_ECX" (* "*") (identifier "extraout_ECX")) (; ";")) (declaration "int *piVar5;" (primitive_type "int") (pointer_declarator "*piVar5" (* "*") (identifier "piVar5")) (; ";")) (declaration "uint *puVar6;" (type_identifier "uint") (pointer_declarator "*puVar6" (* "*") (identifier "puVar6")) (; ";")) (declaration "int iVar7;" (primitive_type "int") (identifier "iVar7") (; ";")) (declaration "int iVar8;" (primitive_type "int") (identifier "iVar8") (; ";")) (declaration "undefined8 uVar9;" (type_identifier "undefined8") (identifier "uVar9") (; ";")) (declaration "uint local_30;" (type_identifier "uint") (identifier "local_30") (; ";")) (expression_statement "uVar9 = FUN_00027eac();" (assignment_expression "uVar9 = FUN_00027eac()" (identifier "uVar9") (= "=") (call_expression "FUN_00027eac()" (identifier "FUN_00027eac") (argument_list "()" (( "(") () ")")))) (; ";")) (expression_statement "piVar5 = (int *)((ulonglong)uVar9 >> 0x20);" (assignment_expression "piVar5 = (int *)((ulonglong)uVar9 >> 0x20)" (identifier "piVar5") (= "=") (cast_expression "(int *)((ulonglong)uVar9 >> 0x20)" (( "(") (type_descriptor "int *" (primitive_type "int") (abstract_pointer_declarator "*" (* "*"))) () ")") (parenthesized_expression "((ulonglong)uVar9 >> 0x20)" (( "(") (binary_expression "(ulonglong)uVar9 >> 0x20" (cast_expression "(ulonglong)uVar9" (( "(") (type_descriptor "ulonglong" (type_identifier "ulonglong")) () ")") (identifier "uVar9")) (>> ">>") (number_literal "0x20")) () ")")))) (; ";")) (if_statement "if (param_3[2] - *piVar5 < *param_1) {\n    free((void *)*param_3);\n    iVar4 = *piVar5;\n    param_3[2] = iVar4;\n    iVar7 = *param_1;\n    iVar3 = (iVar4 >> 1) + iVar4;\n    if ((SCARRY4(iVar4 >> 1,iVar4)) ||\n       (iVar8 = (int)((longlong)iVar3 * 8), (longlong)iVar8 != (longlong)iVar3 * 8)) {\n      iVar8 = 0x7ffffff8;\n      iVar3 = 0xfffffff;\n    }\n    else if (iVar8 < 0x40) {\n      iVar3 = 8;\n      iVar8 = 0x40;\n    }\n    param_3[2] = 0;\n    if ((iVar3 - iVar4 < iVar7) &&\n       ((iVar3 = iVar4 + iVar7, SCARRY4(iVar4,iVar7) ||\n        (iVar8 = (int)((longlong)iVar3 * 8), (longlong)iVar8 != (longlong)iVar3 * 8)))) {\n                    \n      FUN_0002f1c0();\n    }\n    iVar4 = FUN_0002efd0(0,iVar8);\n    *param_3 = iVar4;\n    param_3[2] = iVar3;\n  }" (if "if") (parenthesized_expression "(param_3[2] - *piVar5 < *param_1)" (( "(") (binary_expression "param_3[2] - *piVar5 < *param_1" (binary_expression "param_3[2] - *piVar5" (subscript_expression "param_3[2]" (identifier "param_3") ([ "[") (number_literal "2") (] "]")) (- "-") (pointer_expression "*piVar5" (* "*") (identifier "piVar5"))) (< "<") (pointer_expression "*param_1" (* "*") (identifier "param_1"))) () ")")) (compound_statement "{\n    free((void *)*param_3);\n    iVar4 = *piVar5;\n    param_3[2] = iVar4;\n    iVar7 = *param_1;\n    iVar3 = (iVar4 >> 1) + iVar4;\n    if ((SCARRY4(iVar4 >> 1,iVar4)) ||\n       (iVar8 = (int)((longlong)iVar3 * 8), (longlong)iVar8 != (longlong)iVar3 * 8)) {\n      iVar8 = 0x7ffffff8;\n      iVar3 = 0xfffffff;\n    }\n    else if (iVar8 < 0x40) {\n      iVar3 = 8;\n      iVar8 = 0x40;\n    }\n    param_3[2] = 0;\n    if ((iVar3 - iVar4 < iVar7) &&\n       ((iVar3 = iVar4 + iVar7, SCARRY4(iVar4,iVar7) ||\n        (iVar8 = (int)((longlong)iVar3 * 8), (longlong)iVar8 != (longlong)iVar3 * 8)))) {\n                    \n      FUN_0002f1c0();\n    }\n    iVar4 = FUN_0002efd0(0,iVar8);\n    *param_3 = iVar4;\n    param_3[2] = iVar3;\n  }" ({ "{") (expression_statement "free((void *)*param_3);" (call_expression "free((void *)*param_3)" (identifier "free") (argument_list "((void *)*param_3)" (( "(") (cast_expression "(void *)*param_3" (( "(") (type_descriptor "void *" (primitive_type "void") (abstract_pointer_declarator "*" (* "*"))) () ")") (pointer_expression "*param_3" (* "*") (identifier "param_3"))) () ")"))) (; ";")) (expression_statement "iVar4 = *piVar5;" (assignment_expression "iVar4 = *piVar5" (identifier "iVar4") (= "=") (pointer_expression "*piVar5" (* "*") (identifier "piVar5"))) (; ";")) (expression_statement "param_3[2] = iVar4;" (assignment_expression "param_3[2] = iVar4" (subscript_expression "param_3[2]" (identifier "param_3") ([ "[") (number_literal "2") (] "]")) (= "=") (identifier "iVar4")) (; ";")) (expression_statement "iVar7 = *param_1;" (assignment_expression "iVar7 = *param_1" (identifier "iVar7") (= "=") (pointer_expression "*param_1" (* "*") (identifier "param_1"))) (; ";")) (expression_statement "iVar3 = (iVar4 >> 1) + iVar4;" (assignment_expression "iVar3 = (iVar4 >> 1) + iVar4" (identifier "iVar3") (= "=") (binary_expression "(iVar4 >> 1) + iVar4" (parenthesized_expression "(iVar4 >> 1)" (( "(") (binary_expression "iVar4 >> 1" (identifier "iVar4") (>> ">>") (number_literal "1")) () ")")) (+ "+") (identifier "iVar4"))) (; ";")) (if_statement "if ((SCARRY4(iVar4 >> 1,iVar4)) ||\n       (iVar8 = (int)((longlong)iVar3 * 8), (longlong)iVar8 != (longlong)iVar3 * 8)) {\n      iVar8 = 0x7ffffff8;\n      iVar3 = 0xfffffff;\n    }\n    else if (iVar8 < 0x40) {\n      iVar3 = 8;\n      iVar8 = 0x40;\n    }" (if "if") (parenthesized_expression "((SCARRY4(iVar4 >> 1,iVar4)) ||\n       (iVar8 = (int)((longlong)iVar3 * 8), (longlong)iVar8 != (longlong)iVar3 * 8))" (( "(") (binary_expression "(SCARRY4(iVar4 >> 1,iVar4)) ||\n       (iVar8 = (int)((longlong)iVar3 * 8), (longlong)iVar8 != (longlong)iVar3 * 8)" (parenthesized_expression "(SCARRY4(iVar4 >> 1,iVar4))" (( "(") (call_expression "SCARRY4(iVar4 >> 1,iVar4)" (identifier "SCARRY4") (argument_list "(iVar4 >> 1,iVar4)" (( "(") (binary_expression "iVar4 >> 1" (identifier "iVar4") (>> ">>") (number_literal "1")) (, ",") (identifier "iVar4") () ")"))) () ")")) (|| "||") (parenthesized_expression "(iVar8 = (int)((longlong)iVar3 * 8), (longlong)iVar8 != (longlong)iVar3 * 8)" (( "(") (comma_expression "iVar8 = (int)((longlong)iVar3 * 8), (longlong)iVar8 != (longlong)iVar3 * 8" (assignment_expression "iVar8 = (int)((longlong)iVar3 * 8)" (identifier "iVar8") (= "=") (cast_expression "(int)((longlong)iVar3 * 8)" (( "(") (type_descriptor "int" (primitive_type "int")) () ")") (parenthesized_expression "((longlong)iVar3 * 8)" (( "(") (binary_expression "(longlong)iVar3 * 8" (cast_expression "(longlong)iVar3" (( "(") (type_descriptor "longlong" (type_identifier "longlong")) () ")") (identifier "iVar3")) (* "*") (number_literal "8")) () ")")))) (, ",") (binary_expression "(longlong)iVar8 != (longlong)iVar3 * 8" (cast_expression "(longlong)iVar8" (( "(") (type_descriptor "longlong" (type_identifier "longlong")) () ")") (identifier "iVar8")) (!= "!=") (binary_expression "(longlong)iVar3 * 8" (cast_expression "(longlong)iVar3" (( "(") (type_descriptor "longlong" (type_identifier "longlong")) () ")") (identifier "iVar3")) (* "*") (number_literal "8")))) () ")"))) () ")")) (compound_statement "{\n      iVar8 = 0x7ffffff8;\n      iVar3 = 0xfffffff;\n    }" ({ "{") (expression_statement "iVar8 = 0x7ffffff8;" (assignment_expression "iVar8 = 0x7ffffff8" (identifier "iVar8") (= "=") (number_literal "0x7ffffff8")) (; ";")) (expression_statement "iVar3 = 0xfffffff;" (assignment_expression "iVar3 = 0xfffffff" (identifier "iVar3") (= "=") (number_literal "0xfffffff")) (; ";")) (} "}")) (else_clause "else if (iVar8 < 0x40) {\n      iVar3 = 8;\n      iVar8 = 0x40;\n    }" (else "else") (if_statement "if (iVar8 < 0x40) {\n      iVar3 = 8;\n      iVar8 = 0x40;\n    }" (if "if") (parenthesized_expression "(iVar8 < 0x40)" (( "(") (binary_expression "iVar8 < 0x40" (identifier "iVar8") (< "<") (number_literal "0x40")) () ")")) (compound_statement "{\n      iVar3 = 8;\n      iVar8 = 0x40;\n    }" ({ "{") (expression_statement "iVar3 = 8;" (assignment_expression "iVar3 = 8" (identifier "iVar3") (= "=") (number_literal "8")) (; ";")) (expression_statement "iVar8 = 0x40;" (assignment_expression "iVar8 = 0x40" (identifier "iVar8") (= "=") (number_literal "0x40")) (; ";")) (} "}"))))) (expression_statement "param_3[2] = 0;" (assignment_expression "param_3[2] = 0" (subscript_expression "param_3[2]" (identifier "param_3") ([ "[") (number_literal "2") (] "]")) (= "=") (number_literal "0")) (; ";")) (if_statement "if ((iVar3 - iVar4 < iVar7) &&\n       ((iVar3 = iVar4 + iVar7, SCARRY4(iVar4,iVar7) ||\n        (iVar8 = (int)((longlong)iVar3 * 8), (longlong)iVar8 != (longlong)iVar3 * 8)))) {\n                    \n      FUN_0002f1c0();\n    }" (if "if") (parenthesized_expression "((iVar3 - iVar4 < iVar7) &&\n       ((iVar3 = iVar4 + iVar7, SCARRY4(iVar4,iVar7) ||\n        (iVar8 = (int)((longlong)iVar3 * 8), (longlong)iVar8 != (longlong)iVar3 * 8))))" (( "(") (binary_expression "(iVar3 - iVar4 < iVar7) &&\n       ((iVar3 = iVar4 + iVar7, SCARRY4(iVar4,iVar7) ||\n        (iVar8 = (int)((longlong)iVar3 * 8), (longlong)iVar8 != (longlong)iVar3 * 8)))" (parenthesized_expression "(iVar3 - iVar4 < iVar7)" (( "(") (binary_expression "iVar3 - iVar4 < iVar7" (binary_expression "iVar3 - iVar4" (identifier "iVar3") (- "-") (identifier "iVar4")) (< "<") (identifier "iVar7")) () ")")) (&& "&&") (parenthesized_expression "((iVar3 = iVar4 + iVar7, SCARRY4(iVar4,iVar7) ||\n        (iVar8 = (int)((longlong)iVar3 * 8), (longlong)iVar8 != (longlong)iVar3 * 8)))" (( "(") (parenthesized_expression "(iVar3 = iVar4 + iVar7, SCARRY4(iVar4,iVar7) ||\n        (iVar8 = (int)((longlong)iVar3 * 8), (longlong)iVar8 != (longlong)iVar3 * 8))" (( "(") (comma_expression "iVar3 = iVar4 + iVar7, SCARRY4(iVar4,iVar7) ||\n        (iVar8 = (int)((longlong)iVar3 * 8), (longlong)iVar8 != (longlong)iVar3 * 8)" (assignment_expression "iVar3 = iVar4 + iVar7" (identifier "iVar3") (= "=") (binary_expression "iVar4 + iVar7" (identifier "iVar4") (+ "+") (identifier "iVar7"))) (, ",") (binary_expression "SCARRY4(iVar4,iVar7) ||\n        (iVar8 = (int)((longlong)iVar3 * 8), (longlong)iVar8 != (longlong)iVar3 * 8)" (call_expression "SCARRY4(iVar4,iVar7)" (identifier "SCARRY4") (argument_list "(iVar4,iVar7)" (( "(") (identifier "iVar4") (, ",") (identifier "iVar7") () ")"))) (|| "||") (parenthesized_expression "(iVar8 = (int)((longlong)iVar3 * 8), (longlong)iVar8 != (longlong)iVar3 * 8)" (( "(") (comma_expression "iVar8 = (int)((longlong)iVar3 * 8), (longlong)iVar8 != (longlong)iVar3 * 8" (assignment_expression "iVar8 = (int)((longlong)iVar3 * 8)" (identifier "iVar8") (= "=") (cast_expression "(int)((longlong)iVar3 * 8)" (( "(") (type_descriptor "int" (primitive_type "int")) () ")") (parenthesized_expression "((longlong)iVar3 * 8)" (( "(") (binary_expression "(longlong)iVar3 * 8" (cast_expression "(longlong)iVar3" (( "(") (type_descriptor "longlong" (type_identifier "longlong")) () ")") (identifier "iVar3")) (* "*") (number_literal "8")) () ")")))) (, ",") (binary_expression "(longlong)iVar8 != (longlong)iVar3 * 8" (cast_expression "(longlong)iVar8" (( "(") (type_descriptor "longlong" (type_identifier "longlong")) () ")") (identifier "iVar8")) (!= "!=") (binary_expression "(longlong)iVar3 * 8" (cast_expression "(longlong)iVar3" (( "(") (type_descriptor "longlong" (type_identifier "longlong")) () ")") (identifier "iVar3")) (* "*") (number_literal "8")))) () ")")))) () ")")) () ")"))) () ")")) (compound_statement "{\n                    \n      FUN_0002f1c0();\n    }" ({ "{") (expression_statement "FUN_0002f1c0();" (call_expression "FUN_0002f1c0()" (identifier "FUN_0002f1c0") (argument_list "()" (( "(") () ")"))) (; ";")) (} "}"))) (expression_statement "iVar4 = FUN_0002efd0(0,iVar8);" (assignment_expression "iVar4 = FUN_0002efd0(0,iVar8)" (identifier "iVar4") (= "=") (call_expression "FUN_0002efd0(0,iVar8)" (identifier "FUN_0002efd0") (argument_list "(0,iVar8)" (( "(") (number_literal "0") (, ",") (identifier "iVar8") () ")")))) (; ";")) (expression_statement "*param_3 = iVar4;" (assignment_expression "*param_3 = iVar4" (pointer_expression "*param_3" (* "*") (identifier "param_3")) (= "=") (identifier "iVar4")) (; ";")) (expression_statement "param_3[2] = iVar3;" (assignment_expression "param_3[2] = iVar3" (subscript_expression "param_3[2]" (identifier "param_3") ([ "[") (number_literal "2") (] "]")) (= "=") (identifier "iVar3")) (; ";")) (} "}"))) (expression_statement "param_3[1] = 0;" (assignment_expression "param_3[1] = 0" (subscript_expression "param_3[1]" (identifier "param_3") ([ "[") (number_literal "1") (] "]")) (= "=") (number_literal "0")) (; ";")) (expression_statement "iVar8 = 0;" (assignment_expression "iVar8 = 0" (identifier "iVar8") (= "=") (number_literal "0")) (; ";")) (expression_statement "iVar4 = *piVar5;" (assignment_expression "iVar4 = *piVar5" (identifier "iVar4") (= "=") (pointer_expression "*piVar5" (* "*") (identifier "piVar5"))) (; ";")) (expression_statement "iVar7 = *param_1;" (assignment_expression "iVar7 = *param_1" (identifier "iVar7") (= "=") (pointer_expression "*param_1" (* "*") (identifier "param_1"))) (; ";")) (expression_statement "iVar3 = 0;" (assignment_expression "iVar3 = 0" (identifier "iVar3") (= "=") (number_literal "0")) (; ";")) (do_statement "do {\n    while (iVar4 <= iVar8) {\n      if (iVar7 <= iVar3) {\n        return;\n      }\n      puVar6 = (uint *)(*extraout_ECX + iVar3 * 8);\nLAB_0001fe75:\n      uVar2 = puVar6[1];\n      if ((param_2 & uVar2) != 0) {\n        iVar4 = param_3[1];\n        puVar1 = (uint *)(*param_3 + iVar4 * 8);\n        *puVar1 = *puVar6;\n        param_3[1] = iVar4 + 1;\n        puVar1[1] = param_2 & uVar2;\n        iVar4 = *piVar5;\n        iVar7 = *param_1;\n      }\n      iVar3 = iVar3 + 1;\n    }\n    local_30 = 0;\n    puVar1 = (uint *)(*(int *)uVar9 + iVar8 * 8);\n    uVar2 = *puVar1;\n    if (iVar3 < iVar7) {\n      puVar6 = (uint *)(*extraout_ECX + iVar3 * 8);\n      if (*puVar6 < uVar2) goto LAB_0001fe75;\n      if (uVar2 == *puVar6) {\n        local_30 = param_2 & puVar6[1];\n        iVar3 = iVar3 + 1;\n      }\n    }\n    iVar4 = param_3[1];\n    iVar8 = iVar8 + 1;\n    puVar6 = (uint *)(*param_3 + iVar4 * 8);\n    *puVar6 = uVar2;\n    uVar2 = puVar1[1];\n    param_3[1] = iVar4 + 1;\n    puVar6[1] = uVar2 | local_30;\n    iVar4 = *piVar5;\n    iVar7 = *param_1;\n  } while( true );" (do "do") (compound_statement "{\n    while (iVar4 <= iVar8) {\n      if (iVar7 <= iVar3) {\n        return;\n      }\n      puVar6 = (uint *)(*extraout_ECX + iVar3 * 8);\nLAB_0001fe75:\n      uVar2 = puVar6[1];\n      if ((param_2 & uVar2) != 0) {\n        iVar4 = param_3[1];\n        puVar1 = (uint *)(*param_3 + iVar4 * 8);\n        *puVar1 = *puVar6;\n        param_3[1] = iVar4 + 1;\n        puVar1[1] = param_2 & uVar2;\n        iVar4 = *piVar5;\n        iVar7 = *param_1;\n      }\n      iVar3 = iVar3 + 1;\n    }\n    local_30 = 0;\n    puVar1 = (uint *)(*(int *)uVar9 + iVar8 * 8);\n    uVar2 = *puVar1;\n    if (iVar3 < iVar7) {\n      puVar6 = (uint *)(*extraout_ECX + iVar3 * 8);\n      if (*puVar6 < uVar2) goto LAB_0001fe75;\n      if (uVar2 == *puVar6) {\n        local_30 = param_2 & puVar6[1];\n        iVar3 = iVar3 + 1;\n      }\n    }\n    iVar4 = param_3[1];\n    iVar8 = iVar8 + 1;\n    puVar6 = (uint *)(*param_3 + iVar4 * 8);\n    *puVar6 = uVar2;\n    uVar2 = puVar1[1];\n    param_3[1] = iVar4 + 1;\n    puVar6[1] = uVar2 | local_30;\n    iVar4 = *piVar5;\n    iVar7 = *param_1;\n  }" ({ "{") (while_statement "while (iVar4 <= iVar8) {\n      if (iVar7 <= iVar3) {\n        return;\n      }\n      puVar6 = (uint *)(*extraout_ECX + iVar3 * 8);\nLAB_0001fe75:\n      uVar2 = puVar6[1];\n      if ((param_2 & uVar2) != 0) {\n        iVar4 = param_3[1];\n        puVar1 = (uint *)(*param_3 + iVar4 * 8);\n        *puVar1 = *puVar6;\n        param_3[1] = iVar4 + 1;\n        puVar1[1] = param_2 & uVar2;\n        iVar4 = *piVar5;\n        iVar7 = *param_1;\n      }\n      iVar3 = iVar3 + 1;\n    }" (while "while") (parenthesized_expression "(iVar4 <= iVar8)" (( "(") (binary_expression "iVar4 <= iVar8" (identifier "iVar4") (<= "<=") (identifier "iVar8")) () ")")) (compound_statement "{\n      if (iVar7 <= iVar3) {\n        return;\n      }\n      puVar6 = (uint *)(*extraout_ECX + iVar3 * 8);\nLAB_0001fe75:\n      uVar2 = puVar6[1];\n      if ((param_2 & uVar2) != 0) {\n        iVar4 = param_3[1];\n        puVar1 = (uint *)(*param_3 + iVar4 * 8);\n        *puVar1 = *puVar6;\n        param_3[1] = iVar4 + 1;\n        puVar1[1] = param_2 & uVar2;\n        iVar4 = *piVar5;\n        iVar7 = *param_1;\n      }\n      iVar3 = iVar3 + 1;\n    }" ({ "{") (if_statement "if (iVar7 <= iVar3) {\n        return;\n      }" (if "if") (parenthesized_expression "(iVar7 <= iVar3)" (( "(") (binary_expression "iVar7 <= iVar3" (identifier "iVar7") (<= "<=") (identifier "iVar3")) () ")")) (compound_statement "{\n        return;\n      }" ({ "{") (return_statement "return;" (return "return") (; ";")) (} "}"))) (expression_statement "puVar6 = (uint *)(*extraout_ECX + iVar3 * 8);" (assignment_expression "puVar6 = (uint *)(*extraout_ECX + iVar3 * 8)" (identifier "puVar6") (= "=") (cast_expression "(uint *)(*extraout_ECX + iVar3 * 8)" (( "(") (type_descriptor "uint *" (type_identifier "uint") (abstract_pointer_declarator "*" (* "*"))) () ")") (parenthesized_expression "(*extraout_ECX + iVar3 * 8)" (( "(") (binary_expression "*extraout_ECX + iVar3 * 8" (pointer_expression "*extraout_ECX" (* "*") (identifier "extraout_ECX")) (+ "+") (binary_expression "iVar3 * 8" (identifier "iVar3") (* "*") (number_literal "8"))) () ")")))) (; ";")) (labeled_statement "LAB_0001fe75:\n      uVar2 = puVar6[1];" (statement_identifier "LAB_0001fe75") (: ":") (expression_statement "uVar2 = puVar6[1];" (assignment_expression "uVar2 = puVar6[1]" (identifier "uVar2") (= "=") (subscript_expression "puVar6[1]" (identifier "puVar6") ([ "[") (number_literal "1") (] "]"))) (; ";"))) (if_statement "if ((param_2 & uVar2) != 0) {\n        iVar4 = param_3[1];\n        puVar1 = (uint *)(*param_3 + iVar4 * 8);\n        *puVar1 = *puVar6;\n        param_3[1] = iVar4 + 1;\n        puVar1[1] = param_2 & uVar2;\n        iVar4 = *piVar5;\n        iVar7 = *param_1;\n      }" (if "if") (parenthesized_expression "((param_2 & uVar2) != 0)" (( "(") (binary_expression "(param_2 & uVar2) != 0" (parenthesized_expression "(param_2 & uVar2)" (( "(") (binary_expression "param_2 & uVar2" (identifier "param_2") (& "&") (identifier "uVar2")) () ")")) (!= "!=") (number_literal "0")) () ")")) (compound_statement "{\n        iVar4 = param_3[1];\n        puVar1 = (uint *)(*param_3 + iVar4 * 8);\n        *puVar1 = *puVar6;\n        param_3[1] = iVar4 + 1;\n        puVar1[1] = param_2 & uVar2;\n        iVar4 = *piVar5;\n        iVar7 = *param_1;\n      }" ({ "{") (expression_statement "iVar4 = param_3[1];" (assignment_expression "iVar4 = param_3[1]" (identifier "iVar4") (= "=") (subscript_expression "param_3[1]" (identifier "param_3") ([ "[") (number_literal "1") (] "]"))) (; ";")) (expression_statement "puVar1 = (uint *)(*param_3 + iVar4 * 8);" (assignment_expression "puVar1 = (uint *)(*param_3 + iVar4 * 8)" (identifier "puVar1") (= "=") (cast_expression "(uint *)(*param_3 + iVar4 * 8)" (( "(") (type_descriptor "uint *" (type_identifier "uint") (abstract_pointer_declarator "*" (* "*"))) () ")") (parenthesized_expression "(*param_3 + iVar4 * 8)" (( "(") (binary_expression "*param_3 + iVar4 * 8" (pointer_expression "*param_3" (* "*") (identifier "param_3")) (+ "+") (binary_expression "iVar4 * 8" (identifier "iVar4") (* "*") (number_literal "8"))) () ")")))) (; ";")) (expression_statement "*puVar1 = *puVar6;" (assignment_expression "*puVar1 = *puVar6" (pointer_expression "*puVar1" (* "*") (identifier "puVar1")) (= "=") (pointer_expression "*puVar6" (* "*") (identifier "puVar6"))) (; ";")) (expression_statement "param_3[1] = iVar4 + 1;" (assignment_expression "param_3[1] = iVar4 + 1" (subscript_expression "param_3[1]" (identifier "param_3") ([ "[") (number_literal "1") (] "]")) (= "=") (binary_expression "iVar4 + 1" (identifier "iVar4") (+ "+") (number_literal "1"))) (; ";")) (expression_statement "puVar1[1] = param_2 & uVar2;" (assignment_expression "puVar1[1] = param_2 & uVar2" (subscript_expression "puVar1[1]" (identifier "puVar1") ([ "[") (number_literal "1") (] "]")) (= "=") (binary_expression "param_2 & uVar2" (identifier "param_2") (& "&") (identifier "uVar2"))) (; ";")) (expression_statement "iVar4 = *piVar5;" (assignment_expression "iVar4 = *piVar5" (identifier "iVar4") (= "=") (pointer_expression "*piVar5" (* "*") (identifier "piVar5"))) (; ";")) (expression_statement "iVar7 = *param_1;" (assignment_expression "iVar7 = *param_1" (identifier "iVar7") (= "=") (pointer_expression "*param_1" (* "*") (identifier "param_1"))) (; ";")) (} "}"))) (expression_statement "iVar3 = iVar3 + 1;" (assignment_expression "iVar3 = iVar3 + 1" (identifier "iVar3") (= "=") (binary_expression "iVar3 + 1" (identifier "iVar3") (+ "+") (number_literal "1"))) (; ";")) (} "}"))) (expression_statement "local_30 = 0;" (assignment_expression "local_30 = 0" (identifier "local_30") (= "=") (number_literal "0")) (; ";")) (expression_statement "puVar1 = (uint *)(*(int *)uVar9 + iVar8 * 8);" (assignment_expression "puVar1 = (uint *)(*(int *)uVar9 + iVar8 * 8)" (identifier "puVar1") (= "=") (cast_expression "(uint *)(*(int *)uVar9 + iVar8 * 8)" (( "(") (type_descriptor "uint *" (type_identifier "uint") (abstract_pointer_declarator "*" (* "*"))) () ")") (parenthesized_expression "(*(int *)uVar9 + iVar8 * 8)" (( "(") (binary_expression "*(int *)uVar9 + iVar8 * 8" (pointer_expression "*(int *)uVar9" (* "*") (cast_expression "(int *)uVar9" (( "(") (type_descriptor "int *" (primitive_type "int") (abstract_pointer_declarator "*" (* "*"))) () ")") (identifier "uVar9"))) (+ "+") (binary_expression "iVar8 * 8" (identifier "iVar8") (* "*") (number_literal "8"))) () ")")))) (; ";")) (expression_statement "uVar2 = *puVar1;" (assignment_expression "uVar2 = *puVar1" (identifier "uVar2") (= "=") (pointer_expression "*puVar1" (* "*") (identifier "puVar1"))) (; ";")) (if_statement "if (iVar3 < iVar7) {\n      puVar6 = (uint *)(*extraout_ECX + iVar3 * 8);\n      if (*puVar6 < uVar2) goto LAB_0001fe75;\n      if (uVar2 == *puVar6) {\n        local_30 = param_2 & puVar6[1];\n        iVar3 = iVar3 + 1;\n      }\n    }" (if "if") (parenthesized_expression "(iVar3 < iVar7)" (( "(") (binary_expression "iVar3 < iVar7" (identifier "iVar3") (< "<") (identifier "iVar7")) () ")")) (compound_statement "{\n      puVar6 = (uint *)(*extraout_ECX + iVar3 * 8);\n      if (*puVar6 < uVar2) goto LAB_0001fe75;\n      if (uVar2 == *puVar6) {\n        local_30 = param_2 & puVar6[1];\n        iVar3 = iVar3 + 1;\n      }\n    }" ({ "{") (expression_statement "puVar6 = (uint *)(*extraout_ECX + iVar3 * 8);" (assignment_expression "puVar6 = (uint *)(*extraout_ECX + iVar3 * 8)" (identifier "puVar6") (= "=") (cast_expression "(uint *)(*extraout_ECX + iVar3 * 8)" (( "(") (type_descriptor "uint *" (type_identifier "uint") (abstract_pointer_declarator "*" (* "*"))) () ")") (parenthesized_expression "(*extraout_ECX + iVar3 * 8)" (( "(") (binary_expression "*extraout_ECX + iVar3 * 8" (pointer_expression "*extraout_ECX" (* "*") (identifier "extraout_ECX")) (+ "+") (binary_expression "iVar3 * 8" (identifier "iVar3") (* "*") (number_literal "8"))) () ")")))) (; ";")) (if_statement "if (*puVar6 < uVar2) goto LAB_0001fe75;" (if "if") (parenthesized_expression "(*puVar6 < uVar2)" (( "(") (binary_expression "*puVar6 < uVar2" (pointer_expression "*puVar6" (* "*") (identifier "puVar6")) (< "<") (identifier "uVar2")) () ")")) (goto_statement "goto LAB_0001fe75;" (goto "goto") (statement_identifier "LAB_0001fe75") (; ";"))) (if_statement "if (uVar2 == *puVar6) {\n        local_30 = param_2 & puVar6[1];\n        iVar3 = iVar3 + 1;\n      }" (if "if") (parenthesized_expression "(uVar2 == *puVar6)" (( "(") (binary_expression "uVar2 == *puVar6" (identifier "uVar2") (== "==") (pointer_expression "*puVar6" (* "*") (identifier "puVar6"))) () ")")) (compound_statement "{\n        local_30 = param_2 & puVar6[1];\n        iVar3 = iVar3 + 1;\n      }" ({ "{") (expression_statement "local_30 = param_2 & puVar6[1];" (assignment_expression "local_30 = param_2 & puVar6[1]" (identifier "local_30") (= "=") (binary_expression "param_2 & puVar6[1]" (identifier "param_2") (& "&") (subscript_expression "puVar6[1]" (identifier "puVar6") ([ "[") (number_literal "1") (] "]")))) (; ";")) (expression_statement "iVar3 = iVar3 + 1;" (assignment_expression "iVar3 = iVar3 + 1" (identifier "iVar3") (= "=") (binary_expression "iVar3 + 1" (identifier "iVar3") (+ "+") (number_literal "1"))) (; ";")) (} "}"))) (} "}"))) (expression_statement "iVar4 = param_3[1];" (assignment_expression "iVar4 = param_3[1]" (identifier "iVar4") (= "=") (subscript_expression "param_3[1]" (identifier "param_3") ([ "[") (number_literal "1") (] "]"))) (; ";")) (expression_statement "iVar8 = iVar8 + 1;" (assignment_expression "iVar8 = iVar8 + 1" (identifier "iVar8") (= "=") (binary_expression "iVar8 + 1" (identifier "iVar8") (+ "+") (number_literal "1"))) (; ";")) (expression_statement "puVar6 = (uint *)(*param_3 + iVar4 * 8);" (assignment_expression "puVar6 = (uint *)(*param_3 + iVar4 * 8)" (identifier "puVar6") (= "=") (cast_expression "(uint *)(*param_3 + iVar4 * 8)" (( "(") (type_descriptor "uint *" (type_identifier "uint") (abstract_pointer_declarator "*" (* "*"))) () ")") (parenthesized_expression "(*param_3 + iVar4 * 8)" (( "(") (binary_expression "*param_3 + iVar4 * 8" (pointer_expression "*param_3" (* "*") (identifier "param_3")) (+ "+") (binary_expression "iVar4 * 8" (identifier "iVar4") (* "*") (number_literal "8"))) () ")")))) (; ";")) (expression_statement "*puVar6 = uVar2;" (assignment_expression "*puVar6 = uVar2" (pointer_expression "*puVar6" (* "*") (identifier "puVar6")) (= "=") (identifier "uVar2")) (; ";")) (expression_statement "uVar2 = puVar1[1];" (assignment_expression "uVar2 = puVar1[1]" (identifier "uVar2") (= "=") (subscript_expression "puVar1[1]" (identifier "puVar1") ([ "[") (number_literal "1") (] "]"))) (; ";")) (expression_statement "param_3[1] = iVar4 + 1;" (assignment_expression "param_3[1] = iVar4 + 1" (subscript_expression "param_3[1]" (identifier "param_3") ([ "[") (number_literal "1") (] "]")) (= "=") (binary_expression "iVar4 + 1" (identifier "iVar4") (+ "+") (number_literal "1"))) (; ";")) (expression_statement "puVar6[1] = uVar2 | local_30;" (assignment_expression "puVar6[1] = uVar2 | local_30" (subscript_expression "puVar6[1]" (identifier "puVar6") ([ "[") (number_literal "1") (] "]")) (= "=") (binary_expression "uVar2 | local_30" (identifier "uVar2") (| "|") (identifier "local_30"))) (; ";")) (expression_statement "iVar4 = *piVar5;" (assignment_expression "iVar4 = *piVar5" (identifier "iVar4") (= "=") (pointer_expression "*piVar5" (* "*") (identifier "piVar5"))) (; ";")) (expression_statement "iVar7 = *param_1;" (assignment_expression "iVar7 = *param_1" (identifier "iVar7") (= "=") (pointer_expression "*param_1" (* "*") (identifier "param_1"))) (; ";")) (} "}")) (while "while") (parenthesized_expression "( true )" (( "(") (true "true") () ")")) (; ";")) (} "}")))

/* DWARF original prototype: void merge_constrained(position_set * s1, position_set * s2, uint c2,
   position_set * m, position_set * s2, position_set * s1) */

void function_1(type_1 *s1,type_1 *s2,type_2 var_2,type_1 *m,type_1 *s2_1,
                      type_1 *s1_1)

{
  type_2 *puVar1;
  type_2 var_10;
  int var_6;
  size_t n;
  void *pvVar4;
  int *extraout_ECX;
  int var_4;
  int *piVar6;
  type_2 *puVar7;
  type_3 *ppVar8;
  int var_9;
  type_4 uVar10;
  type_2 var_11;
  
  uVar10 = var_1();
  piVar6 = (int *)((type_5)uVar10 >> 0x20);
  if (*(int *)(var_2 + 8) - *piVar6 < (int)s1->elems) {
    var_3(*(void **)var_2);
    var_4 = *piVar6;
    *(int *)(var_2 + 8) = var_4;
    ppVar8 = s1->elems;
    var_6 = (var_4 >> 1) + var_4;
    if ((var_5(var_4 >> 1,var_4)) ||
       (n = (size_t)((type_6)var_6 * 8), (type_6)(int)n != (type_6)var_6 * 8)) {
      n = 0x7ffffff8;
      var_6 = 0xfffffff;
    }
    else if ((int)n < 0x40) {
      var_6 = 8;
      n = 0x40;
    }
    *(type_7 *)(var_2 + 8) = 0;
    if ((var_6 - var_4 < (int)ppVar8) &&
       ((var_6 = (int)&ppVar8->index + var_4, var_5(var_4,(int)ppVar8) ||
        (n = (size_t)((type_6)var_6 * 8), (type_6)(int)n != (type_6)var_6 * 8)))) {
                    /* WARNING: Subroutine does not return */
      var_7();
    }
    pvVar4 = var_8((void *)0x0,n);
    *(void **)var_2 = pvVar4;
    *(int *)(var_2 + 8) = var_6;
  }
  *(type_7 *)(var_2 + 4) = 0;
  var_9 = 0;
  var_4 = *piVar6;
  ppVar8 = s1->elems;
  var_6 = 0;
  do {
    while (var_4 <= var_9) {
      if ((int)ppVar8 <= var_6) {
        return;
      }
      puVar7 = (type_2 *)(*extraout_ECX + var_6 * 8);
LAB_0001fe75:
      var_10 = puVar7[1];
      if (((type_2)s2 & var_10) != 0) {
        var_4 = *(int *)(var_2 + 4);
        puVar1 = (type_2 *)(*(int *)var_2 + var_4 * 8);
        *puVar1 = *puVar7;
        *(int *)(var_2 + 4) = var_4 + 1;
        puVar1[1] = (type_2)s2 & var_10;
        var_4 = *piVar6;
        ppVar8 = s1->elems;
      }
      var_6 = var_6 + 1;
    }
    var_11 = 0;
    puVar1 = (type_2 *)(*(int *)uVar10 + var_9 * 8);
    var_10 = *puVar1;
    if (var_6 < (int)ppVar8) {
      puVar7 = (type_2 *)(*extraout_ECX + var_6 * 8);
      if (*puVar7 < var_10) goto LAB_0001fe75;
      if (var_10 == *puVar7) {
        var_11 = (type_2)s2 & puVar7[1];
        var_6 = var_6 + 1;
      }
    }
    var_4 = *(int *)(var_2 + 4);
    var_9 = var_9 + 1;
    puVar7 = (type_2 *)(*(int *)var_2 + var_4 * 8);
    *puVar7 = var_10;
    var_10 = puVar1[1];
    *(int *)(var_2 + 4) = var_4 + 1;
    puVar7[1] = var_10 | var_11;
    var_4 = *piVar6;
    ppVar8 = s1->elems;
  } while( true );
}


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

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

{
  uint *puVar1;
  uint uVar2;
  int iVar3;
  int iVar4;
  int *extraout_ECX;
  int *piVar5;
  uint *puVar6;
  int iVar7;
  int iVar8;
  undefined8 uVar9;
  uint local_30;
  
  uVar9 = FUN_00027eac();
  piVar5 = (int *)((ulonglong)uVar9 >> 0x20);
  if (param_3[2] - *piVar5 < *param_1) {
    free((void *)*param_3);
    iVar4 = *piVar5;
    param_3[2] = iVar4;
    iVar7 = *param_1;
    iVar3 = (iVar4 >> 1) + iVar4;
    if ((SCARRY4(iVar4 >> 1,iVar4)) ||
       (iVar8 = (int)((longlong)iVar3 * 8), (longlong)iVar8 != (longlong)iVar3 * 8)) {
      iVar8 = 0x7ffffff8;
      iVar3 = 0xfffffff;
    }
    else if (iVar8 < 0x40) {
      iVar3 = 8;
      iVar8 = 0x40;
    }
    param_3[2] = 0;
    if ((iVar3 - iVar4 < iVar7) &&
       ((iVar3 = iVar4 + iVar7, SCARRY4(iVar4,iVar7) ||
        (iVar8 = (int)((longlong)iVar3 * 8), (longlong)iVar8 != (longlong)iVar3 * 8)))) {
                    /* WARNING: Subroutine does not return */
      FUN_0002f1c0();
    }
    iVar4 = FUN_0002efd0(0,iVar8);
    *param_3 = iVar4;
    param_3[2] = iVar3;
  }
  param_3[1] = 0;
  iVar8 = 0;
  iVar4 = *piVar5;
  iVar7 = *param_1;
  iVar3 = 0;
  do {
    while (iVar4 <= iVar8) {
      if (iVar7 <= iVar3) {
        return;
      }
      puVar6 = (uint *)(*extraout_ECX + iVar3 * 8);
LAB_0001fe75:
      uVar2 = puVar6[1];
      if ((param_2 & uVar2) != 0) {
        iVar4 = param_3[1];
        puVar1 = (uint *)(*param_3 + iVar4 * 8);
        *puVar1 = *puVar6;
        param_3[1] = iVar4 + 1;
        puVar1[1] = param_2 & uVar2;
        iVar4 = *piVar5;
        iVar7 = *param_1;
      }
      iVar3 = iVar3 + 1;
    }
    local_30 = 0;
    puVar1 = (uint *)(*(int *)uVar9 + iVar8 * 8);
    uVar2 = *puVar1;
    if (iVar3 < iVar7) {
      puVar6 = (uint *)(*extraout_ECX + iVar3 * 8);
      if (*puVar6 < uVar2) goto LAB_0001fe75;
      if (uVar2 == *puVar6) {
        local_30 = param_2 & puVar6[1];
        iVar3 = iVar3 + 1;
      }
    }
    iVar4 = param_3[1];
    iVar8 = iVar8 + 1;
    puVar6 = (uint *)(*param_3 + iVar4 * 8);
    *puVar6 = uVar2;
    uVar2 = puVar1[1];
    param_3[1] = iVar4 + 1;
    puVar6[1] = uVar2 | local_30;
    iVar4 = *piVar5;
    iVar7 = *param_1;
  } while( true );
}

