RtlAvlRemoveNode

char __fastcall RtlAvlRemoveNode(unsigned __int64 *a1, __int64 *a2){
  __int64 v2; 
  __int64 v4; 
  __int64 v5; 
  __int64 v7; 
  unsigned __int64 v8; 
  char v9; 
  char v10; 
  _BYTE *v11; 
  unsigned __int8 v12; 
  __int64 v13; 
  unsigned __int64 v14; 
  bool v15; 
  _QWORD *v16; 
  __int64 v17; 
  unsigned int v18; 
  __int64 v19; 
  __int64 v20; 
  __int64 v21; 
  unsigned __int64 v22; 
  unsigned __int64 v23; 
  char v24; 
  __int64 v25; 
  _QWORD *v26; 
  unsigned __int64 v27; 
  __int64 v28; 
  __int64 v29; 
  __int64 v30; 
  char v31; 
  unsigned __int8 v32; 
  __int64 v33; 
  v2 = *a2;
  v4 = a2[1];
  v5 = v4;
  if( *a2 )
    v5 = *a2;
  v7 = 0i64;
  if( v2 )
    v7 = a2[1];
  if( !v7 )
  {
    v8 = a2[2] & 0xFFFFFFFFFFFFFFFCui64;
    if( v5 )
    {
      if( *(__int64 **)(v5 + 16) != a2 )
        goto LABEL_77;
      *(_QWORD *)(v5 + 16) = v8;
    }
    if( v8 )
    {
      if( *(__int64 **)(v8 + 8) == a2 )
      {
        v9 = 3;
        *(_QWORD *)(v8 + 8) = v5;
        goto LABEL_14;
      }
      if( *(__int64 **)v8 == a2 )
      {
        v9 = 1;
        *(_QWORD *)v8 = v5;
        goto LABEL_14;
      }
    }
    else if( (__int64 *)*a1 == a2 )
    {
      *a1 = v5;
      return v7;
    }
LABEL_77:
    __fastfail(0x1Du);
  }
  if( (a2[2] & 3) == 3 )
  {
    v30 = *(_QWORD *)(v2 + 8);
    v18 = 0;
    v17 = *a2;
    v8 = *a2;
    if( v30 )
    {
      v18 = 1;
      do
      {
        v8 = v17;
        v17 = v30;
        v30 = *(_QWORD *)(v30 + 8);
      }
      while( v30 );
    }
    v19 = *(_QWORD *)v17;
  }
  else
  {
    v16 = *(_QWORD **)v4;
    v17 = a2[1];
    v8 = v17;
    v18 = 1;
    if( *(_QWORD *)v4 )
    {
      v18 = 0;
      do
      {
        v8 = v17;
        v17 = (__int64)v16;
        v16 = (_QWORD *)*v16;
      }
      while( v16 );
    }
    v19 = *(_QWORD *)(v17 + 8);
  }
  *(_QWORD *)v17 = v2;
  *(_QWORD *)(v17 + 8) = v4;
  v20 = *(_QWORD *)(v2 + 16);
  if( (__int64 *)(v20 & 0xFFFFFFFFFFFFFFFCui64) != a2 )
    goto LABEL_77;
  *(_QWORD *)(v2 + 16) = v17 | v20 & 3;
  v21 = *(_QWORD *)(v4 + 16);
  if( (__int64 *)(v21 & 0xFFFFFFFFFFFFFFFCui64) != a2 )
    goto LABEL_77;
  *(_QWORD *)(v4 + 16) = v17 | v21 & 3;
  if( (*(_QWORD *)(v17 + 16) & 0xFFFFFFFFFFFFFFFCui64) != v8 )
    goto LABEL_77;
  *(_QWORD *)(v8 + 8i64 * v18) = v19;
  if( v19 )
  {
    if( *(_QWORD *)(v19 + 16) != v17 )
      goto LABEL_77;
    *(_QWORD *)(v19 + 16) = v8;
  }
  *(_QWORD *)(v17 + 16) = a2[2];
  v9 = 3;
  if( !v18 )
    v9 = 1;
  v22 = a2[2] & 0xFFFFFFFFFFFFFFFCui64;
  if( !v22 )
  {
    if( (__int64 *)*a1 == a2 )
    {
      *a1 = v17;
      goto LABEL_14;
    }
    goto LABEL_77;
  }
  v29 = 0i64;
  if( *(__int64 **)(v22 + 8) == a2 )
    v29 = 8i64;
  if( *(__int64 **)(v29 + v22) != a2 )
    goto LABEL_77;
  *(_QWORD *)(v29 + v22) = v17;
  while( 1 )
  {
LABEL_14:
    v10 = *(_BYTE *)(v8 + 16);
    v11 = (_BYTE *)(v8 + 16);
    v12 = v10 & 3;
    if( (v10 & 3) == ((unsigned __int8)v9 ^ 2) )
    {
      LOBYTE(v7) = v10 & 0xFC;
      *v11 = v7;
      v13 = *(_QWORD *)v11;
      goto LABEL_20;
    }
    if( !v12 )
    {
      LOBYTE(v7) = v9 | v10 & 0xFC;
      *(_BYTE *)(v8 + 16) = v7;
      return v7;
    }
    v13 = *(_QWORD *)v11;
    v23 = *(_QWORD *)v8;
    if( v9 == 1 )
      v23 = *(_QWORD *)(v8 + 8);
    v24 = *(_BYTE *)(v23 + 16) & 3;
    if( v24 != ((unsigned __int8)v9 ^ 2) )
      break;
    v7 = (__int64)RtlpTreeDoubleRotateNodes(
                    (RTL_BALANCED_NODE **)a1,
                    (RTL_BALANCED_NODE *)v8,
                    (RTL_BALANCED_NODE *)v23,
                    v9 == 1);
    *v11 &= 0xFCu;
    v8 = v7;
    v31 = *(_BYTE *)(v23 + 16) & 0xFC;
    *(_BYTE *)(v23 + 16) = v31;
    v32 = *(_BYTE *)(v7 + 16);
    LODWORD(v7) = v32 & 3;
    if( v12 == (_DWORD)v7 )
    {
      LOBYTE(v7) = (v12 ^ *v11 ^ 0xFE) & 3;
      *v11 ^= v7;
      *(_BYTE *)(v8 + 16) &= 0xFCu;
    }
    else
    {
      if( v12 == ((v32 ^ 0xFE) & 3) )
        *(_BYTE *)(v23 + 16) = v12 | v31;
      *(_BYTE *)(v8 + 16) &= 0xFCu;
    }
LABEL_20:
    v14 = v13 & 0xFFFFFFFFFFFFFFFCui64;
    if( !v14 )
      return v7;
    v15 = *(_QWORD *)(v14 + 8) == v8;
    v9 = 3;
    v8 = v14;
    if( !v15 )
      v9 = 1;
  }
  if( (*(_QWORD *)(v23 + 16) & 0xFFFFFFFFFFFFFFFCui64) != v8 )
    goto LABEL_77;
  v25 = 0i64;
  if( v9 == 1 )
    v25 = 8i64;
  v26 = (_QWORD *)(v25 + v8);
  if( *(_QWORD *)(v25 + v8) != v23 )
    goto LABEL_77;
  v27 = v13 & 0xFFFFFFFFFFFFFFFCui64;
  if( (v13 & 0xFFFFFFFFFFFFFFFCui64) != 0 )
  {
    if( *(_QWORD *)(v27 + 8) == v8 )
    {
      *(_QWORD *)(v27 + 8) = v23;
    }
    else
    {
      if( *(_QWORD *)v27 != v8 )
        goto LABEL_77;
      *(_QWORD *)v27 = v23;
    }
  }
  else
  {
    if( *a1 != v8 )
      goto LABEL_77;
    *a1 = v23;
  }
  *(_QWORD *)(v23 + 16) = v27 | *(_DWORD *)(v23 + 16) & 3;
  v7 = 0i64;
  if( v9 != 1 )
    v7 = 8i64;
  v28 = *(_QWORD *)(v7 + v23);
  if( v28 )
  {
    v33 = *(_QWORD *)(v28 + 16);
    if( (v33 & 0xFFFFFFFFFFFFFFFCui64) != v23 )
      goto LABEL_77;
    *(_QWORD *)(v28 + 16) = v8 | v33 & 3;
  }
  *v26 = v28;
  *(_QWORD *)(v7 + v23) = v8;
  *(_QWORD *)v11 = v23 | *(_DWORD *)v11 & 3;
  LOBYTE(v7) = *(_BYTE *)(v23 + 16) & 0xFC;
  if( v24 )
  {
    *(_BYTE *)(v23 + 16) = v7;
    v8 = v23;
    *v11 &= 0xFCu;
    goto LABEL_20;
  }
  *(_BYTE *)(v23 + 16) = v7 | (v9 ^ 0xFE) & 3;
  return v7;
}

Referenced by: