LLM4Binary/decompile-bench-makefile huggingface dataset:
// File: /workspace/github_cpp_makefile_star2_O2/matallui[P]nibble-curses/src/CSnake.cpp
// Function: CSnake::CSnake()
CSnake::CSnake ( void )
{
  m_size = 0;
  m_max_size = 150;
  m_body = new CPoint [150];
  m_head = 0;
  m_tail = 0;
  m_score = 0;
  m_delay = 0;
  m_lives = 5;
  m_direction = '-';
}

// Assembly:
pushq %rbp
movq %rsp, %rbp
pushq %r15
pushq %r14
pushq %r13
pushq %r12
pushq %rbx
pushq %rax
movq %rdi, %rbx
leaq 0x7f90(%rip), %rax      # 0xbb10
movq %rax, (%rdi)
movq $0x96, 0x10(%rdi)
movl $0x4b0, %edi            # imm = 0x4B0
callq 0x3030
movq %rax, %r14
xorl %r13d, %r13d
leaq -0x30(%rbp), %r15
leaq -0x2c(%rbp), %r12
andl $0x0, -0x30(%rbp)
leaq (%r14,%r13), %rdi
andl $0x0, -0x2c(%rbp)
movq %r15, %rsi
movq %r12, %rdx
callq 0x3778
addq $0x8, %r13
cmpq $0x4b0, %r13            # imm = 0x4B0
jne 0x3ba3
movq %r14, 0x8(%rbx)
movaps 0x445e(%rip), %xmm0     # 0x8030
movups %xmm0, 0x18(%rbx)
andl $0x0, 0x2c(%rbx)
movb $0x2d, 0x28(%rbx)
addq $0x8, %rsp
popq %rbx
popq %r12
popq %r13
popq %r14
popq %r15
popq %rbp
retq
movq %rax, %rbx
movl $0x4b0, %esi            # imm = 0x4B0
movq %r14, %rdi
callq 0x3440
movq %rbx, %rdi
callq 0x3420
nop
// File: /workspace/github_cpp_makefile_star2_O2/matallui[P]nibble-curses/src/CSnake.cpp
// Function: CSnake::hasPoint(CPoint const&) const
bool CSnake::hasPoint ( CPoint const & p ) const
{ 
  if ( !m_lives ) return false;
  
  int i = m_head;
  for ( int k = 0; k < m_size; k++ )
  {
    if ( m_body[i] == p ) return true;
    i = (i + (m_max_size - 1)) % m_max_size;
  }
  return false;
}

// Assembly:
pushq %rbp
movq %rsp, %rbp
pushq %r15
pushq %r14
pushq %r13
pushq %r12
pushq %rbx
pushq %rax
xorl %r13d, %r13d
cmpl $0x0, 0x24(%rdi)
je 0x3c97
movq %rsi, %rbx
movq %rdi, %r14
movl 0x18(%rdi), %r15d
cmpl 0x14(%r14), %r13d
setl %r12b
jge 0x3c9a
movslq %r15d, %rdi
shlq $0x3, %rdi
addq 0x8(%r14), %rdi
movq %rbx, %rsi
callq 0x3814
testb %al, %al
jne 0x3c9a
movl 0x10(%r14), %ecx
leal (%r15,%rcx), %eax
decl %eax
cltd
idivl %ecx
incl %r13d
movl %edx, %r15d
jmp 0x3c61
xorl %r12d, %r12d
movl %r12d, %eax
addq $0x8, %rsp
popq %rbx
popq %r12
popq %r13
popq %r14
popq %r15
popq %rbp
retq
// File: /workspace/github_cpp_makefile_star2_O2/matallui[P]nibble-curses/src/CSnake.cpp
// Function: CSnake::Eat(CPoint const&, int const&, int const&)
bool CSnake::Eat ( CPoint const & food, int const & nfood, int const & level )
{
  if ( !m_lives ) return false;
  
  if ( m_body[m_head] == food )
  {
    m_delay += (3 * nfood);
    m_score += ( 100*level + 100*nfood );
    return true;
  }
  return false;
}

// Assembly:
cmpl $0x0, 0x24(%rdi)
je 0x3cf2
pushq %rbp
movq %rsp, %rbp
pushq %r15
pushq %r14
pushq %rbx
pushq %rax
movq %rcx, %rbx
movq %rdx, %r15
movq %rdi, %r14
movslq 0x18(%rdi), %rdi
shlq $0x3, %rdi
addq 0x8(%r14), %rdi
callq 0x3814
testb %al, %al
je 0x3cf5
imull $0x3, (%r15), %eax
addl %eax, 0x2c(%r14)
movl (%r15), %eax
addl (%rbx), %eax
imull $0x64, %eax, %eax
addl %eax, 0x20(%r14)
movb $0x1, %al
jmp 0x3cf7
xorl %eax, %eax
retq
xorl %eax, %eax
addq $0x8, %rsp
popq %rbx
popq %r14
popq %r15
popq %rbp
retq
// File: /workspace/github_cpp_makefile_star2_O2/matallui[P]nibble-curses/src/CSingle.cpp
// Function: CSingle::Collision(CObstacle*, int const&, CSnake*)
bool CSingle::Collision ( CObstacle * const obstacles, int const & num_obstacles, CSnake * sfriend )
{
  if ( !m_lives ) return false;
  
  // collision with obstacles
  for ( int i = 0; i < num_obstacles; i++ )
    if ( obstacles[i].Intersection ( m_body[m_head] ) )
    {
      m_lives --;
      m_score -= 1000;
      return true;
    }
  
  // collision with body
  int i = m_tail;
  for ( int k = 0; k < m_size-3; k++ )
  {
    if ( m_body[m_head] == m_body[i] )
    {
      m_lives --;
      m_score -= 1000;
      return true;
    }
    i = (i + 1) % m_max_size;
  }
  
  return false;
}

// Assembly:
cmpl $0x0, 0x24(%rdi)
je 0x3f6e
pushq %rbp
movq %rsp, %rbp
pushq %r15
pushq %r14
pushq %r12
pushq %rbx
movq %rdx, %r14
movq %rsi, %rcx
movq %rdi, %rbx
pushq $-0x1
popq %r15
movslq (%r14), %rax
incq %r15
cmpq %rax, %r15
jge 0x3f71
leaq 0x18(%rcx), %r12
movslq 0x18(%rbx), %rsi
shlq $0x3, %rsi
addq 0x8(%rbx), %rsi
movq %rcx, %rdi
callq 0x3a68
movq %r12, %rcx
testb %al, %al
je 0x3f36
decl 0x24(%rbx)
addl $0xfffffc18, 0x20(%rbx) # imm = 0xFFFFFC18
movb $0x1, %al
jmp 0x3fb3
xorl %eax, %eax
retq
movl 0x1c(%rbx), %r14d
xorl %r15d, %r15d
movl 0x14(%rbx), %eax
addl $-0x3, %eax
cmpl %eax, %r15d
jge 0x3fb1
movq 0x8(%rbx), %rax
movslq 0x18(%rbx), %rcx
leaq (%rax,%rcx,8), %rdi
movslq %r14d, %rcx
leaq (%rax,%rcx,8), %rsi
callq 0x3814
testb %al, %al
jne 0x3f60
incl %r14d
movl %r14d, %eax
cltd
idivl 0x10(%rbx)
incl %r15d
movl %edx, %r14d
jmp 0x3f78
xorl %eax, %eax
popq %rbx
popq %r12
popq %r14
popq %r15
popq %rbp
retq
// File: /workspace/github_cpp_makefile_star2_O2/matallui[P]nibble-curses/src/CMultPC.cpp
// Function: CMultPC::Collision(CObstacle*, int const&, CSnake*)
bool CMultPC::Collision ( CObstacle * const obstacles, int const & num_obstacles, CSnake * sfriend )
{
  if ( !m_lives ) return false;
  
  // collision with obstacles
  for ( int i = 0; i < num_obstacles; i++ )
    if ( obstacles[i].Intersection ( m_body[m_head] ) )
    {
      Die ( dynamic_cast <CMultPC*> (sfriend) );
      m_score -= 1000;
      return true;
    }
  
  // collision with itself
  int i = m_tail;
  for ( int k = 0; k < m_size-3; k++ )
  {
    if ( m_body[m_head] == m_body[i] )
    {
      Die ( dynamic_cast <CMultPC*> (sfriend) );
      m_score -= 1000;
      return true;
    }
    i = (i + 1) % m_max_size;
  }
  
  // collision with friend
  if ( sfriend ) 
    if ( sfriend->hasPoint ( m_body[m_head] ) )
    {
      Die ( dynamic_cast <CMultPC*> (sfriend) );
      m_score -= 1000;
      return true;
    }
  
  return false;
}

// Assembly:
cmpl $0x0, 0x24(%rdi)
je 0x43f1
pushq %rbp
movq %rsp, %rbp
pushq %r15
pushq %r14
pushq %r13
pushq %r12
pushq %rbx
pushq %rax
movq %rcx, %r14
movq %rdx, %r15
movq %rsi, %rcx
movq %rdi, %rbx
pushq $-0x1
popq %r12
movslq (%r15), %rax
incq %r12
cmpq %rax, %r12
jge 0x43f4
leaq 0x18(%rcx), %r13
movslq 0x18(%rbx), %rsi
shlq $0x3, %rsi
addq 0x8(%rbx), %rsi
movq %rcx, %rdi
callq 0x3a68
movq %r13, %rcx
testb %al, %al
je 0x43a8
testq %r14, %r14
je 0x4434
leaq 0x776a(%rip), %rsi      # 0xbb48
leaq 0x781b(%rip), %rdx      # 0xbc00
movq %r14, %rdi
xorl %ecx, %ecx
callq 0x32e0
jmp 0x4436
xorl %eax, %eax
retq
movl 0x1c(%rbx), %r15d
xorl %r12d, %r12d
movl 0x14(%rbx), %eax
addl $-0x3, %eax
cmpl %eax, %r12d
jge 0x4460
movq 0x8(%rbx), %rax
movslq 0x18(%rbx), %rcx
leaq (%rax,%rcx,8), %rdi
movslq %r15d, %rcx
leaq (%rax,%rcx,8), %rsi
callq 0x3814
testb %al, %al
jne 0x43d2
incl %r15d
movl %r15d, %eax
cltd
idivl 0x10(%rbx)
incl %r12d
movl %edx, %r15d
jmp 0x43fb
xorl %eax, %eax
movl 0x24(%rbx), %ecx
testl %ecx, %ecx
jle 0x4448
decl %ecx
movl %ecx, 0x24(%rbx)
jne 0x4448
movb $0x0, 0x3c(%rax)
addl $0xfffffc18, 0x20(%rbx) # imm = 0xFFFFFC18
movb $0x1, %al
addq $0x8, %rsp
popq %rbx
popq %r12
popq %r13
popq %r14
popq %r15
popq %rbp
retq
testq %r14, %r14
je 0x44a9
movslq 0x18(%rbx), %rsi
shlq $0x3, %rsi
addq 0x8(%rbx), %rsi
movq %r14, %rdi
callq 0x3c40
testb %al, %al
je 0x44a9
movl 0x24(%rbx), %r15d
testl %r15d, %r15d
jle 0x4448
leaq 0x76bb(%rip), %rsi      # 0xbb48
leaq 0x776c(%rip), %rdx      # 0xbc00
movq %r14, %rdi
xorl %ecx, %ecx
callq 0x32e0
decl %r15d
movl %r15d, 0x24(%rbx)
jne 0x4448
jmp 0x4444
xorl %eax, %eax
jmp 0x4451
nop
// File: /workspace/github_cpp_makefile_star2_O2/matallui[P]nibble-curses/src/CMultPC.cpp
// Function: CMultPC::Die(CMultPC*)
void CMultPC::Die ( CMultPC * sfriend )
{
  if ( m_lives > 0 )
  {
    m_lives --;
    if ( !m_lives )
      sfriend->ManDown();
  }
}

// Assembly:
pushq %rbp
movq %rsp, %rbp
movl 0x24(%rdi), %eax
testl %eax, %eax
jle 0x44c4
decl %eax
movl %eax, 0x24(%rdi)
jne 0x44c4
movb $0x0, 0x3c(%rsi)
popq %rbp
retq
// File: /workspace/github_cpp_makefile_star2_O2/matallui[P]nibble-curses/src/CMultNet.cpp
// Function: CMultNet::Move()
bool CMultNet::Move ( void )
{
  if ( !m_lives ) return true;
  
  char buffer[10];
  bzero ( buffer, 10 );
  
  if ( m_isHost )	// the snake controlled by this computer
  {
    CSingle::Move();
    sprintf ( buffer, "M%c", m_direction );
    if ( ! m_socket->Send ( buffer, 3 ) ) return false;
    bzero ( buffer, 3 );
    if ( ! m_socket->Recv ( buffer, 3 ) ) return false;
    if ( buffer[0] != 'O' || buffer[1] != 'K' ) return false;
  }
  else			// the snake controlled by remote computer
  {
    if ( ! m_socket->Recv ( buffer, 3 ) ) return false;
    if ( buffer[0] != 'M' ) return false;
    m_direction = buffer[1];
    
    switch ( m_direction )
    {
      case 'U':
	ungetch ( KEY_UP );
	break;
      case 'D':
	ungetch ( KEY_DOWN );
	break;
      case 'L':
	ungetch ( KEY_LEFT );
	break;
      case 'R':
	ungetch ( KEY_RIGHT );
	break;
      default:
	return false;
	break;
    }
    CSingle::Move();
    sprintf ( buffer, "OK" );
    if ( ! m_socket->Send ( buffer, 3 ) ) return false;
  }
  return true;
}

// Assembly:
pushq %rbp
movq %rsp, %rbp
pushq %r15
pushq %r14
pushq %rbx
subq $0x18, %rsp
cmpl $0x0, 0x24(%rdi)
je 0x487f
movq %rdi, %rbx
andw $0x0, -0x20(%rbp)
andq $0x0, -0x28(%rbp)
cmpb $0x1, 0x3d(%rdi)
jne 0x47f3
movq %rbx, %rdi
callq 0x3fbc
movsbl 0x28(%rbx), %edx
leaq 0x394e(%rip), %rsi      # 0x80cd
xorl %r14d, %r14d
leaq -0x28(%rbp), %r15
movq %r15, %rdi
xorl %eax, %eax
callq 0x3060
movq 0x40(%rbx), %rdi
leaq -0x2c(%rbp), %rdx
movl $0x3, (%rdx)
movq (%rdi), %rax
movq %r15, %rsi
callq *0x20(%rax)
testb %al, %al
je 0x4887
leaq -0x28(%rbp), %rsi
movb $0x0, 0x2(%rsi)
andw $0x0, (%rsi)
movq 0x40(%rbx), %rdi
leaq -0x2c(%rbp), %rdx
movl $0x3, (%rdx)
movq (%rdi), %rax
callq *0x28(%rax)
testb %al, %al
je 0x4884
xorl %r14d, %r14d
cmpb $0x4f, -0x28(%rbp)
jne 0x4887
cmpb $0x4b, -0x27(%rbp)
je 0x487f
jmp 0x4887
movq 0x40(%rbx), %rdi
leaq -0x2c(%rbp), %rdx
movl $0x3, (%rdx)
movq (%rdi), %rax
leaq -0x28(%rbp), %rsi
callq *0x28(%rax)
xorl %r14d, %r14d
testb %al, %al
je 0x4887
cmpb $0x4d, -0x28(%rbp)
jne 0x4887
movzbl -0x27(%rbp), %eax
movb %al, 0x28(%rbx)
cmpl $0x55, %eax
je 0x4848
cmpl $0x4c, %eax
je 0x483a
cmpl $0x52, %eax
je 0x4841
cmpl $0x44, %eax
jne 0x4884
movl $0x102, %edi            # imm = 0x102
jmp 0x484d
movl $0x104, %edi            # imm = 0x104
jmp 0x484d
movl $0x105, %edi            # imm = 0x105
jmp 0x484d
movl $0x103, %edi            # imm = 0x103
callq 0x3360
movq %rbx, %rdi
callq 0x3fbc
leaq -0x28(%rbp), %rsi
movw $0x4b4f, (%rsi)         # imm = 0x4B4F
movb $0x0, 0x2(%rsi)
movq 0x40(%rbx), %rdi
leaq -0x2c(%rbp), %rdx
movl $0x3, (%rdx)
movq (%rdi), %rax
callq *0x20(%rax)
testb %al, %al
je 0x4884
movb $0x1, %r14b
jmp 0x4887
xorl %r14d, %r14d
movl %r14d, %eax
addq $0x18, %rsp
popq %rbx
popq %r14
popq %r15
popq %rbp
retq
nopl (%rax)
// File: /workspace/github_cpp_makefile_star2_O2/matallui[P]nibble-curses/src/CSocket.cpp
// Function: CSocket::Recv(char*, int const&)
bool CSocket::Recv ( char * buffer, int const & buffsize )
{
  if ( !m_connected ) return false;
  
  bzero ( buffer, buffsize );
  int n;
  n = read ( m_newsockfd, buffer, buffsize );
  if ( n < 0 ) return false;
  return true;
}

// Assembly:
cmpb $0x1, 0x20(%rdi)
jne 0x493d
pushq %rbp
movq %rsp, %rbp
pushq %r15
pushq %r14
pushq %rbx
pushq %rax
movq %rdx, %r14
movq %rsi, %rbx
movq %rdi, %r15
movslq (%rdx), %rdx
movq %rsi, %rdi
xorl %esi, %esi
callq 0x31a0
movl 0x8(%r15), %edi
movslq (%r14), %rdx
movq %rbx, %rsi
callq 0x3390
testl %eax, %eax
setns %al
addq $0x8, %rsp
popq %rbx
popq %r14
popq %r15
popq %rbp
retq
xorl %eax, %eax
retq
// File: /workspace/github_cpp_makefile_star2_O2/matallui[P]nibble-curses/src/CSocketServer.cpp
// Function: CSocketServer::Initialize(int const&, char*)
bool CSocketServer::Initialize ( int const & portno, char * hostname )
{
  m_sockfd = socket ( AF_INET, SOCK_STREAM, 0 );
  if ( m_sockfd < 0 ) return false;
  
  bzero ( (char*) (&m_serverAddr), sizeof(m_serverAddr) );
  m_portno = portno;
  m_serverAddr.sin_family = AF_INET;
  m_serverAddr.sin_addr.s_addr = INADDR_ANY;
  m_serverAddr.sin_port = htons ( m_portno );
  
  int s;
  s = bind ( m_sockfd, (struct sockaddr*) (&m_serverAddr), sizeof( m_serverAddr ) );
  if ( s < 0 ) return false;
  listen ( m_sockfd, 5 );
  return true;
}

// Assembly:
pushq %rbp
movq %rsp, %rbp
pushq %r15
pushq %r14
pushq %rbx
pushq %rax
movq %rsi, %r15
movq %rdi, %rbx
pushq $0x2
popq %rdi
pushq $0x1
popq %rsi
xorl %r14d, %r14d
xorl %edx, %edx
callq 0x3080
movl %eax, 0x24(%rbx)
testl %eax, %eax
js 0x4a2d
xorps %xmm0, %xmm0
movups %xmm0, 0x10(%rbx)
movl (%r15), %ecx
movl %ecx, 0xc(%rbx)
movw $0x2, 0x10(%rbx)
andl $0x0, 0x14(%rbx)
leaq 0x10(%rbx), %rsi
rolw $0x8, %cx
movw %cx, 0x12(%rbx)
pushq $0x10
popq %rdx
movl %eax, %edi
callq 0x3040
testl %eax, %eax
js 0x4a2a
movl 0x24(%rbx), %edi
pushq $0x5
popq %rsi
callq 0x32d0
movb $0x1, %r14b
jmp 0x4a2d
xorl %r14d, %r14d
movl %r14d, %eax
addq $0x8, %rsp
popq %rbx
popq %r14
popq %r15
popq %rbp
retq
nop
// File: /workspace/github_cpp_makefile_star2_O2/matallui[P]nibble-curses/src/CSocketServer.cpp
// Function: CSocketServer::EstablishConnection()
bool CSocketServer::EstablishConnection ( void )
{
  m_clientLength = sizeof ( m_clientAddr );
  m_newsockfd = accept ( m_sockfd, (struct sockaddr*) (&m_clientAddr), &m_clientLength );
  if ( m_newsockfd < 0 ) return false;
  
  m_connected = true;
  return true;
}

// Assembly:
pushq %rbp
movq %rsp, %rbp
pushq %rbx
pushq %rax
movq %rdi, %rbx
leaq 0x38(%rdi), %rdx
movl $0x10, 0x38(%rdi)
movl 0x24(%rdi), %edi
leaq 0x28(%rbx), %rsi
callq 0x30c0
movl %eax, 0x8(%rbx)
testl %eax, %eax
js 0x4a67
movb $0x1, 0x20(%rbx)
testl %eax, %eax
setns %al
addq $0x8, %rsp
popq %rbx
popq %rbp
retq
nop
// File: /workspace/github_cpp_makefile_star2_O2/matallui[P]nibble-curses/src/CSocketClient.cpp
// Function: CSocketClient::Initialize(int const&, char*)
bool CSocketClient::Initialize ( int const & portno, char * hostname )
{
  m_portno = portno;
  m_newsockfd = socket ( AF_INET, SOCK_STREAM, 0 );
  if ( m_newsockfd < 0 ) return false;
  m_server = gethostbyname ( hostname );
  if ( m_server == NULL ) return false;
  
  bzero ( (char*) (&m_serverAddr), sizeof( m_serverAddr ) );
  m_serverAddr.sin_family = AF_INET;
  bcopy ( (char*) m_server->h_addr, (char*) (&m_serverAddr.sin_addr.s_addr), m_server->h_length );
  m_serverAddr.sin_port = htons ( m_portno );
  
  return true;
}

// Assembly:
pushq %rbp
movq %rsp, %rbp
pushq %r15
pushq %r14
pushq %rbx
pushq %rax
movq %rdx, %r15
movq %rdi, %rbx
movl (%rsi), %eax
movl %eax, 0xc(%rdi)
pushq $0x2
popq %rdi
pushq $0x1
popq %rsi
xorl %r14d, %r14d
xorl %edx, %edx
callq 0x3080
movl %eax, 0x8(%rbx)
testl %eax, %eax
js 0x4b34
movq %r15, %rdi
callq 0x32f0
movq %rax, 0x28(%rbx)
testq %rax, %rax
je 0x4b31
xorps %xmm0, %xmm0
movups %xmm0, 0x10(%rbx)
movw $0x2, 0x10(%rbx)
movq 0x18(%rax), %rcx
movq (%rcx), %rsi
leaq 0x14(%rbx), %rdi
movslq 0x14(%rax), %rdx
callq 0x33d0
movzwl 0xc(%rbx), %eax
rolw $0x8, %ax
movw %ax, 0x12(%rbx)
movb $0x1, %r14b
jmp 0x4b34
xorl %r14d, %r14d
movl %r14d, %eax
addq $0x8, %rsp
popq %rbx
popq %r14
popq %r15
popq %rbp
retq
// File: /workspace/github_cpp_makefile_star2_O2/matallui[P]nibble-curses/src/CSocketClient.cpp
// Function: CSocketClient::EstablishConnection()
bool CSocketClient::EstablishConnection ( void )
{
  int s;
  s = connect ( m_newsockfd, (struct sockaddr*) (&m_serverAddr), sizeof(m_serverAddr) );
  if ( s < 0 ) return false;
  m_connected = true;
  return true;
}

// Assembly:
pushq %rbp
movq %rsp, %rbp
pushq %rbx
pushq %rax
movq %rdi, %rbx
movl 0x8(%rdi), %edi
leaq 0x10(%rbx), %rsi
pushq $0x10
popq %rdx
callq 0x3220
testl %eax, %eax
js 0x4b62
movb $0x1, 0x20(%rbx)
testl %eax, %eax
setns %al
addq $0x8, %rsp
popq %rbx
popq %rbp
retq
nop
// File: /workspace/github_cpp_makefile_star2_O2/matallui[P]nibble-curses/src/CNibbles.cpp
// Function: CNibbles::~CNibbles()
CNibbles::~CNibbles ( void )
{
  for ( int i = 0; i < 2; i++ )
    if ( m_snakes[i] ) delete m_snakes[i];
  delete [] m_snakes;
  delete [] m_obstacles;
  if ( m_mode == 3 && m_socket ) delete m_socket;
  nodelay( stdscr, false );
  endwin ();
  
  if ( m_state == 5 )
  {
    cout << "\nThe program has aborted!\nReason:" << endl;
    cout << " - " << m_exception << endl;
  }
}

// Assembly:
pushq %rbp
movq %rsp, %rbp
pushq %r14
pushq %rbx
movq %rdi, %rbx
xorl %r14d, %r14d
movq 0x30(%rbx), %rdi
cmpq $0x2, %r14
je 0x4dc3
movq (%rdi,%r14,8), %rdi
testq %rdi, %rdi
je 0x4dbe
movq (%rdi), %rax
callq *0x8(%rax)
incq %r14
jmp 0x4da5
testq %rdi, %rdi
je 0x4dcd
callq 0x3350
movq 0x28(%rbx), %rdi
testq %rdi, %rdi
je 0x4ddb
callq 0x3350
cmpl $0x3, 0x14(%rbx)
jne 0x4df0
movq 0x48(%rbx), %rdi
testq %rdi, %rdi
je 0x4df0
movq (%rdi), %rax
callq *0x8(%rax)
movq 0x71d9(%rip), %rax      # 0xbfd0
movq (%rax), %rdi
xorl %esi, %esi
callq 0x31b0
callq 0x3310
cmpl $0x5, 0x24(%rbx)
jne 0x4e4e
movq 0x71c5(%rip), %rdi      # 0xbfd8
leaq 0x3405(%rip), %rsi      # 0x821f
callq 0x3270
movq %rax, %rdi
callq 0x3170
movq 0x71aa(%rip), %rdi      # 0xbfd8
leaq 0x340c(%rip), %rsi      # 0x8241
callq 0x3270
leaq 0x50(%rbx), %rsi
movq %rax, %rdi
callq 0x367c
movq %rax, %rdi
callq 0x3170
addq $0x50, %rbx
movq %rbx, %rdi
popq %rbx
popq %r14
popq %rbp
jmp 0x3150
movq %rax, %rdi
callq 0x4940
// File: /workspace/github_cpp_makefile_star2_O2/matallui[P]nibble-curses/src/CNibbles.cpp
// Function: CNibbles::Start()
void CNibbles::Start ( void )
{
  try
  {
    Menu ();
    
    m_state = 2; // next level;
    for ( m_level = 1; m_level <= 10; m_level++ )
    {
      InitLevel ( );
      m_state = 0; // normal game curse
      while ( Step() )	usleep ( m_speed );
      // - same level (player dies)   	-> 1
      // - next level			-> 2
      // - game over			-> 3
      // - winner				
      // - Abort Execution		-> 5
      if ( m_state == 1 )		m_level--;
      else if ( m_state == 3 )
      {
	if ( GameOver_Restart() ) 	Restart ();
	else				break;
      }
      if ( m_level == 10 )
      {
	if ( Winner_Restart() )	Restart ();
	else 			break;
      }
	
    }
  }
  catch (CException e)
  {
    m_exception = e;
    m_state = 5;
  }
  
}

// Assembly:
pushq %rbp
movq %rsp, %rbp
pushq %r14
pushq %rbx
subq $0x20, %rsp
movq %rdi, %rbx
callq 0x4f74
movl $0x2, 0x24(%rbx)
pushq $0x1
popq %rax
movl %eax, 0x8(%rbx)
cmpl $0xa, %eax
jg 0x4f49
movq %rbx, %rdi
callq 0x59e8
andl $0x0, 0x24(%rbx)
movq %rbx, %rdi
callq 0x627c
testb %al, %al
je 0x4eb1
movl 0x1c(%rbx), %edi
callq 0x3380
jmp 0x4e9b
movl 0x24(%rbx), %eax
cmpl $0x3, %eax
je 0x4ec8
cmpl $0x1, %eax
jne 0x4edc
movl 0x8(%rbx), %eax
decl %eax
movl %eax, 0x8(%rbx)
jmp 0x4edf
movq %rbx, %rdi
callq 0x6570
testb %al, %al
je 0x4f49
movq %rbx, %rdi
callq 0x69fe
movl 0x8(%rbx), %eax
cmpl $0xa, %eax
jne 0x4efb
movq %rbx, %rdi
callq 0x6a3e
testb %al, %al
je 0x4f49
movq %rbx, %rdi
callq 0x69fe
movl 0x8(%rbx), %eax
incl %eax
jmp 0x4e83
jmp 0x4f03
jmp 0x4f03
movq %rax, %r14
cmpl $0x1, %edx
jne 0x4f63
movq %r14, %rdi
callq 0x3330
leaq -0x30(%rbp), %rdi
movq %rax, %rsi
callq 0x3624
movq %r14, %rdi
callq 0x3120
leaq 0x50(%rbx), %rdi
leaq -0x30(%rbp), %rsi
callq 0x365c
movl $0x5, 0x24(%rbx)
leaq -0x30(%rbp), %rdi
callq 0x3150
callq 0x33e0
addq $0x20, %rsp
popq %rbx
popq %r14
popq %rbp
retq
movq %rax, %r14
leaq -0x30(%rbp), %rdi
callq 0x3150
callq 0x33e0
movq %r14, %rdi
callq 0x3420
movq %rax, %rdi
callq 0x4940
nop
// File: /workspace/github_cpp_makefile_star2_O2/matallui[P]nibble-curses/src/CNibbles.cpp
// Function: CNibbles::Restart()
void CNibbles::Restart ( void )
{
  for ( int i = 0; i < m_nplayers; i++ )
    m_snakes[i]->Reset();
  m_score = 0;
  m_state = 2;
  m_level = 0;  
}

// Assembly:
pushq %rbp
movq %rsp, %rbp
pushq %r14
pushq %rbx
movq %rdi, %rbx
xorl %r14d, %r14d
movslq 0x10(%rbx), %rax
cmpq %rax, %r14
jge 0x6a27
movq 0x30(%rbx), %rax
movq (%rax,%r14,8), %rdi
movq (%rdi), %rax
callq *0x10(%rax)
incq %r14
jmp 0x6a0b
movabsq $0x200000000, %rax      # imm = 0x200000000
movq %rax, 0x20(%rbx)
andl $0x0, 0x8(%rbx)
popq %rbx
popq %r14
popq %rbp
retq
// File: /workspace/github_cpp_makefile_star2_O2/matallui[P]nibble-curses/src/CNibbles.cpp
// Function: CNibbles::DrawMenu(char (*) [30], char*, int const&, int const&)
void CNibbles::DrawMenu ( char menu[5][30], char title[30], int const & size, int const & item )
{
  // clean and draw frame
  bkgd ( COLOR_PAIR (1) );
  attrset ( COLOR_PAIR (4) );
  for ( int j = 0; j < m_maxCols; j++ )
  {
    mvaddch ( 0, j, '+' );
    mvaddch ( m_maxLines-1, j, '+' );
  }
  for ( int i = 0; i < m_maxLines; i++ )
  {
    mvaddch ( i, 0, '+' );
    mvaddch ( i, m_maxCols-1, '+' );
  }
  
  // draw menu
  attrset ( COLOR_PAIR(5) );
  mvaddstr ( 8, 20, title );
  attrset ( COLOR_PAIR(3) );
  
  for ( int c = 0; c < size; c++ )
  {
    if ( c == item )
      attron ( A_REVERSE );
    mvaddstr( 12+(c*2), 25, menu[c] );
    attroff ( A_REVERSE );
  }
  
  refresh();
}

// Assembly:
pushq %rbp
movq %rsp, %rbp
pushq %r15
pushq %r14
pushq %r13
pushq %r12
pushq %rbx
subq $0x18, %rsp
movq %r8, -0x38(%rbp)
movq %rcx, -0x40(%rbp)
movq %rdx, -0x30(%rbp)
movq %rsi, %r15
movq %rdi, %r13
movq 0x50da(%rip), %r14      # 0xbfd0
movq (%r14), %rdi
movl $0x100, %esi            # imm = 0x100
callq 0x33f0
movq (%r14), %rdi
movl $0x400, %esi            # imm = 0x400
callq 0x32c0
xorl %ebx, %ebx
pushq $0x2b
popq %r12
cmpl 0x4(%r13), %ebx
jge 0x6f5c
movq (%r14), %rdi
xorl %esi, %esi
movl %ebx, %edx
callq 0x32b0
cmpl $-0x1, %eax
je 0x6f38
movq (%r14), %rdi
movl %r12d, %esi
callq 0x30b0
movq (%r14), %rdi
movl (%r13), %esi
decl %esi
movl %ebx, %edx
callq 0x32b0
cmpl $-0x1, %eax
je 0x6f58
movq (%r14), %rdi
movl %r12d, %esi
callq 0x30b0
incl %ebx
jmp 0x6f16
xorl %r12d, %r12d
pushq $0x2b
popq %rbx
movq (%r14), %rdi
cmpl (%r13), %r12d
jge 0x6fa9
movl %r12d, %esi
xorl %edx, %edx
callq 0x32b0
cmpl $-0x1, %eax
je 0x6f84
movq (%r14), %rdi
movl %ebx, %esi
callq 0x30b0
movq (%r14), %rdi
movl 0x4(%r13), %edx
decl %edx
movl %r12d, %esi
callq 0x32b0
cmpl $-0x1, %eax
je 0x6fa4
movq (%r14), %rdi
movl %ebx, %esi
callq 0x30b0
incl %r12d
jmp 0x6f62
movl $0x500, %esi            # imm = 0x500
callq 0x32c0
movq (%r14), %rdi
pushq $0x8
popq %rsi
pushq $0x14
popq %rdx
callq 0x32b0
cmpl $-0x1, %eax
je 0x6fd5
movq (%r14), %rdi
pushq $-0x1
popq %rdx
movq -0x30(%rbp), %rsi
callq 0x30e0
movq (%r14), %rdi
movl $0x300, %esi            # imm = 0x300
callq 0x32c0
pushq $0xc
popq %r12
xorl %ebx, %ebx
pushq $0x19
popq %r13
movq -0x40(%rbp), %rax
movslq (%rax), %rax
cmpq %rax, %rbx
jge 0x704f
movq -0x38(%rbp), %rax
movl (%rax), %eax
cmpq %rax, %rbx
jne 0x7012
movq (%r14), %rdi
movl $0x40000, %esi          # imm = 0x40000
xorl %edx, %edx
callq 0x3160
movq (%r14), %rdi
movl %r12d, %esi
movl %r13d, %edx
callq 0x32b0
cmpl $-0x1, %eax
je 0x7033
movq (%r14), %rdi
movq %r15, %rsi
pushq $-0x1
popq %rdx
callq 0x30e0
movq (%r14), %rdi
movl $0x40000, %esi          # imm = 0x40000
xorl %edx, %edx
callq 0x3340
incq %rbx
addl $0x2, %r12d
addq $0x1e, %r15
jmp 0x6fec
addq $0x18, %rsp
popq %rbx
popq %r12
popq %r13
popq %r14
popq %r15
popq %rbp
jmp 0x3400
// File: /workspace/github_cpp_makefile_star2_O2/matallui[P]nibble-curses/src/CNibbles.cpp
// Function: CNibbles::PopUp(char*, char*) const
void CNibbles::PopUp ( char * title1, char * title2 ) const
{
  attrset ( COLOR_PAIR(6) );
  mvaddstr ( 14, 35, "******************************" );
  mvaddstr ( 15, 35, "*                            *" );
  mvaddstr ( 16, 35, title1 );
  mvaddstr ( 17, 35, "*                            *" );
  mvaddstr ( 18, 35, title2 );
  mvaddstr ( 19, 35, "******************************" );
  refresh();
}

// Assembly:
pushq %rbp
movq %rsp, %rbp
pushq %r15
pushq %r14
pushq %rbx
pushq %rax
movq %rdx, %rbx
movq %rsi, %r14
movq 0x4a71(%rip), %r15      # 0xbfd0
movq (%r15), %rdi
movl $0x600, %esi            # imm = 0x600
callq 0x32c0
movq (%r15), %rdi
pushq $0xe
popq %rsi
pushq $0x23
popq %rdx
callq 0x32b0
cmpl $-0x1, %eax
je 0x7591
movq (%r15), %rdi
leaq 0xeb9(%rip), %rsi       # 0x8442
pushq $-0x1
popq %rdx
callq 0x30e0
movq (%r15), %rdi
pushq $0xf
popq %rsi
pushq $0x23
popq %rdx
callq 0x32b0
cmpl $-0x1, %eax
je 0x75b6
movq (%r15), %rdi
leaq 0xeb3(%rip), %rsi       # 0x8461
pushq $-0x1
popq %rdx
callq 0x30e0
movq (%r15), %rdi
pushq $0x10
popq %rsi
pushq $0x23
popq %rdx
callq 0x32b0
cmpl $-0x1, %eax
je 0x75d7
movq (%r15), %rdi
pushq $-0x1
popq %rdx
movq %r14, %rsi
callq 0x30e0
movq (%r15), %rdi
pushq $0x11
popq %rsi
pushq $0x23
popq %rdx
callq 0x32b0
cmpl $-0x1, %eax
je 0x75fc
movq (%r15), %rdi
leaq 0xe6d(%rip), %rsi       # 0x8461
pushq $-0x1
popq %rdx
callq 0x30e0
movq (%r15), %rdi
pushq $0x12
popq %rsi
pushq $0x23
popq %rdx
callq 0x32b0
cmpl $-0x1, %eax
je 0x761d
movq (%r15), %rdi
pushq $-0x1
popq %rdx
movq %rbx, %rsi
callq 0x30e0
movq (%r15), %rdi
pushq $0x13
popq %rsi
pushq $0x23
popq %rdx
callq 0x32b0
cmpl $-0x1, %eax
je 0x7642
movq (%r15), %rdi
leaq 0xe08(%rip), %rsi       # 0x8442
pushq $-0x1
popq %rdx
callq 0x30e0
addq $0x8, %rsp
popq %rbx
popq %r14
popq %r15
popq %rbp
jmp 0x3400
nop
// File: /workspace/github_cpp_makefile_star2_O2/matallui[P]nibble-curses/src/CNibbles.cpp
// Function: CNibbles::UpdateScores()
void CNibbles::UpdateScores ( void )
{
  // Display scores
  attrset ( COLOR_PAIR(3) );
  if ( m_snakes[0] )
  {
  move ( 36, 2 );
  printw ("PLAYER 1 -> Lives: %d , Score: %d  ", m_snakes[0]->getLives(), m_snakes[0]->getScore());
  }
  if ( m_snakes[1] )
  {
  move ( 36, 62 );
  printw ("PLAYER 2 -> Lives: %d , Score: %d  ", m_snakes[1]->getLives(), m_snakes[1]->getScore());
  }
  move ( 36, 46);
  printw ( "%d  ", m_score ); // global score
  refresh();
}

// Assembly:
pushq %rbp
movq %rsp, %rbp
pushq %r14
pushq %rbx
movq %rdi, %rbx
movq 0x45d3(%rip), %rax      # 0xbfd0
movq (%rax), %rdi
movl $0x300, %esi            # imm = 0x300
callq 0x32c0
movq 0x30(%rbx), %rax
cmpq $0x0, (%rax)
je 0x7a51
pushq $0x24
popq %rdi
pushq $0x2
popq %rsi
callq 0x31d0
movq 0x30(%rbx), %rax
movq (%rax), %rdi
callq 0x3d02
movl %eax, %r14d
movq 0x30(%rbx), %rax
movq (%rax), %rdi
callq 0x3d0c
leaq 0xb1f(%rip), %rdi       # 0x8560
movl %r14d, %esi
movl %eax, %edx
xorl %eax, %eax
callq 0x3290
movq 0x30(%rbx), %rax
cmpq $0x0, 0x8(%rax)
je 0x7a93
pushq $0x24
popq %rdi
pushq $0x3e
popq %rsi
callq 0x31d0
movq 0x30(%rbx), %rax
movq 0x8(%rax), %rdi
callq 0x3d02
movl %eax, %r14d
movq 0x30(%rbx), %rax
movq 0x8(%rax), %rdi
callq 0x3d0c
leaq 0xafd(%rip), %rdi       # 0x8584
movl %r14d, %esi
movl %eax, %edx
xorl %eax, %eax
callq 0x3290
pushq $0x24
popq %rdi
pushq $0x2e
popq %rsi
callq 0x31d0
movl 0x20(%rbx), %esi
leaq 0xad7(%rip), %rdi       # 0x857f
xorl %eax, %eax
callq 0x3290
popq %rbx
popq %r14
popq %rbp
jmp 0x3400
// File: /workspace/github_cpp_makefile_star2_O2/quancs[P]EAVC/./pcg32.h
// Function: pcg32()
uint32_t pcg32(void) {
    uint64_t x = state;
    unsigned count = static_cast<unsigned>(x >> 59);		// 59 = 64 - 5

    state = x * multiplier + increment;
    x ^= x >> 18;								// 18 = (64 - 27)/2
    return rotr32(static_cast<unsigned>(x >> 27), count);	// 27 = 32 - 5
}

// Assembly:
movq 0x4ddd(%rip), %rdx      # 0x7110
movq %rdx, %rcx
shrq $0x3b, %rcx
movabsq $0x5851f42d4c957f2d, %rax # imm = 0x5851F42D4C957F2D
imulq %rdx, %rax
movabsq $0x14057b7ef767814f, %rsi # imm = 0x14057B7EF767814F
addq %rax, %rsi
movq %rsi, 0x4db4(%rip)      # 0x7110
movq %rdx, %rax
shrq $0x2d, %rax
shrq $0x1b, %rdx
xorl %edx, %eax
rorl %cl, %eax
retq
// File: /workspace/github_cpp_makefile_star2_O2/quancs[P]EAVC/./pcg32.h
// Function: pcg32_fast()
uint32_t pcg32_fast(void) {
    uint64_t x = mcg_state;
    unsigned count = static_cast<unsigned>(x >> 61);	// 61 = 64 - 3

    mcg_state = x * multiplier;
    x ^= x >> 22;
    return static_cast<unsigned>(x >> (22 + count));	// 22 = 32 - 3 - 7
}

// Assembly:
movq 0x4d8c(%rip), %rcx      # 0x7118
movabsq $0x5851f42d4c957f2d, %rdx # imm = 0x5851F42D4C957F2D
imulq %rcx, %rdx
movq %rcx, %rax
shrq $0x16, %rax
xorq %rcx, %rax
shrq $0x3d, %rcx
movq %rdx, 0x4d69(%rip)      # 0x7118
addb $0x16, %cl
shrq %cl, %rax
retq
// File: /workspace/github_cpp_makefile_star2_O2/quancs[P]EAVC/./eavc.h
// Function: prep_remove_from_neighbours(unsigned int)
void prep_remove_from_neighbours(unsigned v) {
    //'remove' v from vAdj: move v to the end part of v_adj's vAdj
    for (unsigned i = 0; i < dVDegree[v]; i++) {
        unsigned adj = vAdj[v][i];
        unsigned indexOfLast = dVDegree[adj] - 1;
        dVDegree[adj] = indexOfLast;
        //vAdj
        for (unsigned j = 0; j <= indexOfLast; j++) {
            if (vAdj[adj][j] == v) {
                vAdj[adj][j] = vAdj[adj][indexOfLast];
                vAdj[adj][indexOfLast] = v;

                unsigned e = vEdges[adj][j];
                vEdges[adj][j] = vEdges[adj][indexOfLast];
                vEdges[adj][indexOfLast] = e;
                break;
            }
        }
    }
}

// Assembly:
pushq %rbp
pushq %rbx
movq 0x49ee(%rip), %rax      # 0x71b0
movl %edi, %ecx
movq 0x49b5(%rip), %rdx      # 0x7180
movq 0x49a6(%rip), %rsi      # 0x7178
xorl %r8d, %r8d
movl (%rax,%rcx,4), %r9d
cmpq %r9, %r8
jae 0x282e
movq (%rdx,%rcx,8), %r9
movl (%r9,%r8,4), %r9d
movl (%rax,%r9,4), %r10d
decl %r10d
movl %r10d, (%rax,%r9,4)
movq (%rdx,%r9,8), %r11
xorl %ebp, %ebp
cmpl %r10d, %ebp
ja 0x2829
movl %ebp, %ebx
incl %ebp
cmpl %edi, (%r11,%rbx,4)
jne 0x27f7
movl %r10d, %r10d
movl (%r11,%r10,4), %ebp
movl %ebp, (%r11,%rbx,4)
movl %edi, (%r11,%r10,4)
movq (%rsi,%r9,8), %r9
movl (%r9,%rbx,4), %r11d
movl (%r9,%r10,4), %ebp
movl %ebp, (%r9,%rbx,4)
movl %r11d, (%r9,%r10,4)
incq %r8
jmp 0x27d5
popq %rbx
popq %rbp
retq
// File: /workspace/github_cpp_makefile_star2_O2/quancs[P]EAVC/./eavc.h
// Function: free_memory()
void free_memory() {
    for (unsigned int v = 0; v < vNum; v++) {
        delete[] vAdj[v];
        delete[] vEdges[v];
    }
    delete[] vInBest;
    delete[] cVertexIndexes;
    delete[] cVertexes;
    delete[] vInC;
    delete[] vDegree;
    delete[] vAdj;
    delete[] vEdges;
    delete[] vTimestamp;
    delete[] dscore;
    delete[] uncovEdgeIndexes;
    delete[] uncovEdges;
    delete[] edges;
    delete[] eTimestamp;
    delete[] uvSet;
    delete[] dVDegree;
}

// Assembly:
pushq %rbx
xorl %ebx, %ebx
movl 0x44ff(%rip), %eax      # 0x713c
cmpq %rax, %rbx
jae 0x2c71
movq 0x4537(%rip), %rax      # 0x7180
movq (%rax,%rbx,8), %rdi
testq %rdi, %rdi
je 0x2c57
callq 0x2170
movq 0x451a(%rip), %rax      # 0x7178
movq (%rax,%rbx,8), %rdi
testq %rdi, %rdi
je 0x2c6c
callq 0x2170
incq %rbx
jmp 0x2c37
movq 0x4530(%rip), %rdi      # 0x71a8
testq %rdi, %rdi
je 0x2c82
callq 0x2170
movq 0x4517(%rip), %rdi      # 0x71a0
testq %rdi, %rdi
je 0x2c93
callq 0x2170
movq 0x44fe(%rip), %rdi      # 0x7198
testq %rdi, %rdi
je 0x2ca4
callq 0x2170
movq 0x44e5(%rip), %rdi      # 0x7190
testq %rdi, %rdi
je 0x2cb5
callq 0x2170
movq 0x44cc(%rip), %rdi      # 0x7188
testq %rdi, %rdi
je 0x2cc6
callq 0x2170
movq 0x44b3(%rip), %rdi      # 0x7180
testq %rdi, %rdi
je 0x2cd7
callq 0x2170
movq 0x449a(%rip), %rdi      # 0x7178
testq %rdi, %rdi
je 0x2ce8
callq 0x2170
movq 0x4481(%rip), %rdi      # 0x7170
testq %rdi, %rdi
je 0x2cf9
callq 0x2170
movq 0x4468(%rip), %rdi      # 0x7168
testq %rdi, %rdi
je 0x2d0a
callq 0x2170
movq 0x444f(%rip), %rdi      # 0x7160
testq %rdi, %rdi
je 0x2d1b
callq 0x2170
movq 0x4436(%rip), %rdi      # 0x7158
testq %rdi, %rdi
je 0x2d2c
callq 0x2170
movq 0x441d(%rip), %rdi      # 0x7150
testq %rdi, %rdi
je 0x2d3d
callq 0x2170
movq 0x4404(%rip), %rdi      # 0x7148
testq %rdi, %rdi
je 0x2d4e
callq 0x2170
movq 0x448b(%rip), %rdi      # 0x71e0
testq %rdi, %rdi
je 0x2d5f
callq 0x2170
movq 0x444a(%rip), %rdi      # 0x71b0
testq %rdi, %rdi
je 0x2d71
popq %rbx
jmp 0x2170
popq %rbx
retq
// File: /workspace/github_cpp_makefile_star2_O2/quancs[P]EAVC/./eavc.h
// Function: reset_remove_cand()
void reset_remove_cand() {
    unsigned int v, j;
    j = 0;
    for (v = 0; v < vNum; v++) {
        if (vInC[v] == true) {
            cVertexes[j] = v;
            cVertexIndexes[v] = j;
            j++;
        } else cVertexIndexes[v] = 0;
    }

    cvSize = j;
}

// Assembly:
movq 0x4416(%rip), %rax      # 0x7190
movq 0x441f(%rip), %rcx      # 0x71a0
xorl %edx, %edx
movq 0x440e(%rip), %rsi      # 0x7198
xorl %edi, %edi
movl 0x43a9(%rip), %r8d      # 0x713c
cmpq %r8, %rdx
jae 0x2db6
xorl %r8d, %r8d
cmpb $0x1, (%rax,%rdx)
jne 0x2dad
movl %edi, %r8d
movl %edx, (%rsi,%r8,4)
movl %edi, %r8d
incl %edi
movl %r8d, (%rcx,%rdx,4)
incq %rdx
jmp 0x2d8c
movl %edi, 0x4434(%rip)      # 0x71f0
retq
// File: /workspace/github_cpp_makefile_star2_O2/quancs[P]EAVC/./eavc.h
// Function: remove_one_vertex_from_c()
void remove_one_vertex_from_c() {
    //TODO to very large graph this function is too time-consuming
    unsigned int best_remove_v = cVertexes[0];
    int    best_dscore = dscore[best_remove_v];

    if (best_dscore != 0) {
        for (unsigned int i = 1; i < cvSize; ++i) {
            unsigned v = cVertexes[i];

            if (dscore[v] == 0) {
                vInBest[v] = NIN;
                bestSize = bestSize - 1;

                remove(v);
                unsigned int last_v_in_c = cVertexes[--cvSize];
                unsigned int index = cVertexIndexes[v];
                cVertexes[index] = last_v_in_c;
                cVertexIndexes[last_v_in_c] = index;
                break;
            } else if (dscore[v] == 1) {
                best_remove_v = v;
                break;
            }

            if (dscore[v] > best_dscore) {
                best_remove_v = v;
                best_dscore = dscore[best_remove_v];
            }
        }
    }

    remove(best_remove_v);

    //remove one vertex from c, and move the last vertex in c to the position
    unsigned int last_v_in_c = cVertexes[--cvSize];
    unsigned int index = cVertexIndexes[best_remove_v];
    cVertexes[index] = last_v_in_c;
    cVertexIndexes[last_v_in_c] = index;
}

// Assembly:
pushq %r14
pushq %rbx
pushq %rax
movq 0x43d0(%rip), %rax      # 0x7198
movl (%rax), %ebx
movq 0x4397(%rip), %rcx      # 0x7168
movl (%rcx,%rbx,4), %edx
testl %edx, %edx
je 0x2e51
movl 0x4412(%rip), %esi      # 0x71f0
pushq $0x1
popq %rdi
cmpq %rsi, %rdi
jae 0x2e51
movl (%rax,%rdi,4), %r14d
movl (%rcx,%r14,4), %r8d
cmpl $0x1, %r8d
je 0x2e4e
testl %r8d, %r8d
je 0x2e09
cmpl %edx, %r8d
cmovgl %r8d, %edx
cmovgl %r14d, %ebx
incq %rdi
jmp 0x2de1
movq 0x4398(%rip), %rax      # 0x71a8
movb $0x0, (%rax,%r14)
decl 0x43dd(%rip)            # 0x71f8
movl %r14d, %edi
callq 0x2e8a
movq 0x436e(%rip), %rax      # 0x7198
movl 0x43c0(%rip), %ecx      # 0x71f0
decl %ecx
movl %ecx, 0x43b8(%rip)      # 0x71f0
movl (%rax,%rcx,4), %ecx
movq 0x435e(%rip), %rdx      # 0x71a0
movl (%rdx,%r14,4), %esi
movl %ecx, (%rax,%rsi,4)
movl %esi, (%rdx,%rcx,4)
jmp 0x2e51
movl %r14d, %ebx
movl %ebx, %edi
callq 0x2e8a
movq 0x4339(%rip), %rax      # 0x7198
movl 0x438b(%rip), %ecx      # 0x71f0
decl %ecx
movl %ecx, 0x4383(%rip)      # 0x71f0
movl (%rax,%rcx,4), %ecx
movq 0x4329(%rip), %rdx      # 0x71a0
movl %ebx, %esi
movl (%rdx,%rsi,4), %esi
movl %ecx, (%rax,%rsi,4)
movl %esi, (%rdx,%rcx,4)
addq $0x8, %rsp
popq %rbx
popq %r14
retq
// File: /workspace/github_cpp_makefile_star2_O2/quancs[P]EAVC/./eavc.h
// Function: remove(unsigned int)
void remove(unsigned int v) {
    vInC[v] = NIN;
    dscore[v] = -dscore[v];

    unsigned int i, e, n;

    unsigned int edge_count = dVDegree[v];
    for (i = 0; i < edge_count; ++i) {
        e = vEdges[v][i];
        n = vAdj[v][i];

        if (not_in(vInC, n)) { //this adj isn't in cover set
            dscore[n]++;
            uncover(e);
        } else {
            dscore[n]--;
        }
    }
}

// Assembly:
pushq %r15
pushq %r14
pushq %rbx
movq 0x42fa(%rip), %rax      # 0x7190
movl %edi, %ebx
movb $0x0, (%rax,%rbx)
movq 0x42c5(%rip), %rax      # 0x7168
negl (%rax,%rbx,4)
movq 0x4303(%rip), %rax      # 0x71b0
movl (%rax,%rbx,4), %r14d
xorl %r15d, %r15d
cmpq %r15, %r14
je 0x2f04
movq 0x42c0(%rip), %rax      # 0x7180
movq (%rax,%rbx,8), %rax
movl (%rax,%r15,4), %eax
movq 0x42c1(%rip), %rcx      # 0x7190
cmpb $0x1, (%rcx,%rax)
ja 0x2ef5
movq 0x429c(%rip), %rcx      # 0x7178
movq (%rcx,%rbx,8), %rcx
movl (%rcx,%r15,4), %edi
movq 0x427d(%rip), %rcx      # 0x7168
incl (%rcx,%rax,4)
callq 0x4bd9
jmp 0x2eff
movq 0x426c(%rip), %rcx      # 0x7168
decl (%rcx,%rax,4)
incq %r15
jmp 0x2eb4
popq %rbx
popq %r14
popq %r15
retq
// File: /workspace/github_cpp_makefile_star2_O2/quancs[P]EAVC/./eavc.h
// Function: choose_remove_v()
unsigned int choose_remove_v() {
    unsigned int i, v;

    unsigned int best_v = cVertexes[static_cast<unsigned int>(pcg32_fast()) % cvSize];
    if (static_cast<unsigned int>(pcg32_fast()) % 10 < 9) {
        for (i = 1; i < cand_count; ++i) {
            v = cVertexes[static_cast<unsigned int>(pcg32_fast()) % cvSize];

            if (dscore[v] < dscore[best_v])
                continue;
            else if (dscore[v] > dscore[best_v])
                best_v = v;
            else if (vTimestamp[v] < vTimestamp[best_v]) {
                best_v = v;
            }
        }
    }

    return best_v;
}

// Assembly:
pushq %rbp
pushq %r15
pushq %r14
pushq %r12
pushq %rbx
movq 0x427f(%rip), %r14      # 0x7198
callq 0x2385
movl 0x42cc(%rip), %ebp      # 0x71f0
xorl %edx, %edx
divl %ebp
movl (%r14,%rdx,4), %ebx
callq 0x2385
pushq $0xa
popq %rcx
xorl %edx, %edx
divl %ecx
cmpl $0x8, %edx
ja 0x2f7e
pushq $0x31
popq %r15
movq 0x4228(%rip), %r12      # 0x7170
subl $0x1, %r15d
jb 0x2f7e
callq 0x2385
xorl %edx, %edx
divl %ebp
movl (%r14,%rdx,4), %eax
movq 0x4206(%rip), %rdx      # 0x7168
movl %ebx, %ecx
movl (%rdx,%rcx,4), %esi
cmpl %esi, (%rdx,%rax,4)
jl 0x2f48
jg 0x2f7a
movl (%r12,%rax,4), %edx
cmpl (%r12,%rcx,4), %edx
jb 0x2f7a
movl %ebx, %eax
movl %eax, %ebx
jmp 0x2f48
movl %ebx, %eax
popq %rbx
popq %r12
popq %r14
popq %r15
popq %rbp
retq
// File: /workspace/github_cpp_makefile_star2_O2/quancs[P]EAVC/./eavc.h
// Function: add(unsigned int)
void add(unsigned int v) {
    vInC[v] = IN;
    dscore[v] = -dscore[v];

    unsigned int i, e, n;

    unsigned int edgeCount = dVDegree[v];

    for (i = 0; i < edgeCount; ++i) {
        e = vEdges[v][i];// v's i'th edge
        n = vAdj[v][i];//v's i'th neighbor

        if (not_in(vInC, n)) { //this adj isn't in cover set
            dscore[n]--;
            //conf_change[n] = 1;

            cover(e);
        } else {
            dscore[n]++;
        }
    }

}

// Assembly:
pushq %r15
pushq %r14
pushq %rbx
movq 0x30b4(%rip), %rax      # 0x7190
movl %edi, %ebx
movb $0x3, (%rax,%rbx)
movq 0x307f(%rip), %rax      # 0x7168
negl (%rax,%rbx,4)
movq 0x30bd(%rip), %rax      # 0x71b0
movl (%rax,%rbx,4), %r14d
xorl %r15d, %r15d
cmpq %r15, %r14
je 0x414a
movq 0x307a(%rip), %rax      # 0x7180
movq (%rax,%rbx,8), %rax
movl (%rax,%r15,4), %eax
movq 0x307b(%rip), %rcx      # 0x7190
cmpb $0x1, (%rcx,%rax)
ja 0x413b
movq 0x3056(%rip), %rcx      # 0x7178
movq (%rcx,%rbx,8), %rcx
movl (%rcx,%r15,4), %edi
movq 0x3037(%rip), %rcx      # 0x7168
decl (%rcx,%rax,4)
callq 0x4bae
jmp 0x4145
movq 0x3026(%rip), %rcx      # 0x7168
incl (%rcx,%rax,4)
incq %r15
jmp 0x40fa
popq %rbx
popq %r14
popq %r15
retq
// File: /workspace/github_cpp_makefile_star2_O2/quancs[P]EAVC/./eavc.h
// Function: print_solution()
void print_solution() {
    for (unsigned int i = 0; i < vNum; i++) {
        if (in(vInBest, i)) //output vertex cover
            cout << (i + 1) << '\t';
    }
    cout << endl;
}

// Assembly:
pushq %rbp
pushq %r14
pushq %rbx
xorl %r14d, %r14d
movq 0x2e7a(%rip), %rbx      # 0x6fd8
pushq $0x9
popq %rbp
movl 0x2fd5(%rip), %eax      # 0x713c
movq 0x303a(%rip), %rcx      # 0x71a8
movq %r14, %rdx
cmpq %rax, %rdx
jae 0x419a
leaq 0x1(%rdx), %r14
cmpb $0x3, (%rcx,%rdx)
movq %r14, %rdx
jb 0x4171
movq %rbx, %rdi
movq %r14, %rsi
callq 0x20f0
movq %rax, %rdi
movl %ebp, %esi
callq 0x2160
jmp 0x4161
movq 0x2e37(%rip), %rdi      # 0x6fd8
popq %rbx
popq %r14
popq %rbp
jmp 0x20c0
// File: /workspace/github_cpp_makefile_star2_O2/quancs[P]EAVC/./eavc.h
// Function: check_solution()
int check_solution() {
    for (unsigned int e = 0; e < eNum; ++e) {
        if (!in(vInBest, edges[e].v1) && !in(vInBest, edges[e].v2)) {
            cout << "c error: uncovered edge " << e << endl;
            return 0;
        }
    }

    unsigned int verified_vc_size = 0;
    for (unsigned int i = 0; i < vNum; i++) {
        if (in(vInBest, i))
            verified_vc_size++;
    }

    if (bestSize == verified_vc_size)
        return 1;
    else {
        cout << "c error: claimed best found vc size!=verified vc size" << endl;
        cout << "c claimed best found vc size=" << bestSize << endl;
        cout << "c verified vc size=" << verified_vc_size << endl;
        return 0;
    }
}

// Assembly:
pushq %rbp
pushq %rbx
pushq %rax
movl 0x2f8d(%rip), %ecx      # 0x7140
movq 0x2fee(%rip), %rax      # 0x71a8
movq 0x2f8f(%rip), %rdx      # 0x7150
xorl %ebx, %ebx
cmpq %rbx, %rcx
je 0x41e4
movl (%rdx,%rbx,8), %esi
cmpb $0x2, (%rax,%rsi)
ja 0x41df
movl 0x4(%rdx,%rbx,8), %esi
cmpb $0x2, (%rax,%rsi)
jbe 0x4268
incq %rbx
jmp 0x41c3
movl 0x2f52(%rip), %ecx      # 0x713c
xorl %edx, %edx
xorl %ebp, %ebp
cmpq %rdx, %rcx
je 0x41ff
cmpb $0x3, (%rax,%rdx)
sbbl $-0x1, %ebp
incq %rdx
jmp 0x41ee
cmpl %ebp, 0x2ff3(%rip)      # 0x71f8
jne 0x420f
pushq $0x1
popq %rax
jmp 0x4290
movq 0x2dc2(%rip), %rbx      # 0x6fd8
leaq 0xebd(%rip), %rsi       # 0x50da
movq %rbx, %rdi
callq 0x2150
movq %rax, %rdi
callq 0x20c0
leaq 0xedc(%rip), %rsi       # 0x5110
movq %rbx, %rdi
callq 0x2150
movl 0x2fb6(%rip), %esi      # 0x71f8
movq %rax, %rdi
callq 0x20f0
movq %rax, %rdi
callq 0x20c0
leaq 0xed5(%rip), %rsi       # 0x512e
movq %rbx, %rdi
callq 0x2150
movl %ebp, %esi
movq %rax, %rdi
jmp 0x4281
movq 0x2d69(%rip), %rdi      # 0x6fd8
leaq 0xe4b(%rip), %rsi       # 0x50c1
callq 0x2150
movq %rax, %rdi
movq %rbx, %rsi
callq 0x20f0
movq %rax, %rdi
callq 0x20c0
xorl %eax, %eax
addq $0x8, %rsp
popq %rbx
popq %rbp
retq
// File: /workspace/github_cpp_makefile_star2_O2/quancs[P]EAVC/./eavc.h
// Function: prep_handle_degree_1(unsigned int)
inline bool prep_handle_degree_1(unsigned v) {
    // set adj as an necessary vertice
    unsigned adj = vAdj[v][0];
    vInBest[adj] = IN_ABS;
    total_IN_ABS++;

    // !important the sequence cannot be changed
    prep_remove_from_neighbours(adj); //remove adj from all its neighbours

    // set v as an unnecessary vertice
    vInBest[v] = NIN_ABS;
    total_NIN_ABS++;

    //set adjAdj's checkAdjDomV to true
    for (unsigned k = 0, dadj = dVDegree[adj]; k < dadj; k++) {
        unsigned adjAdj = vAdj[adj][k];
        checkAdjDomV[adjAdj] = IN;
    }

    //remove adj's neighbours from adj
    dVDegree[adj] = 0;
    return true;
}

// Assembly:
pushq %r15
pushq %r14
pushq %r12
pushq %rbx
pushq %rax
movq 0x2898(%rip), %r14      # 0x7180
movl %edi, %r15d
movq (%r14,%r15,8), %rax
movl (%rax), %ebx
movq 0x28b0(%rip), %r12      # 0x71a8
movb $0x4, (%r12,%rbx)
incl 0x28f1(%rip)            # 0x71f4
movl %ebx, %edi
callq 0x27b9
movb $0x1, (%r12,%r15)
incl 0x290b(%rip)            # 0x7220
movq 0x2894(%rip), %rax      # 0x71b0
movl (%rax,%rbx,4), %ecx
movq 0x28b2(%rip), %rdx      # 0x71d8
xorl %esi, %esi
cmpq %rsi, %rcx
je 0x493d
movq (%r14,%rbx,8), %rdi
movl (%rdi,%rsi,4), %edi
movb $0x3, (%rdx,%rdi)
incq %rsi
jmp 0x4928
andl $0x0, (%rax,%rbx,4)
movb $0x1, %al
addq $0x8, %rsp
popq %rbx
popq %r12
popq %r14
popq %r15
retq
// File: /workspace/github_cpp_makefile_star2_O2/quancs[P]EAVC/./eavc.h
// Function: prep_handle_degree_2(unsigned int)
inline bool prep_handle_degree_2(unsigned v) {
    //set u & w as necessary vertexes
    unsigned u = vAdj[v][0];
    unsigned w = vAdj[v][1];
    bool found = false;
    if (dVDegree[u] < dVDegree[w]) {
        for (unsigned i = 0; i < dVDegree[u]; i++) {
            if (vAdj[u][i] == w) {
                found = true;
                break;
            }
        }
    } else {
        for (unsigned i = 0; i < dVDegree[w]; i++) {
            if (vAdj[w][i] == u) {
                found = true;
                break;
            }
        }
    }
    if (found == false) {
        checkAdjDomV[v] = NIN;
        return false;
    }

    vInBest[u] = IN_ABS;
    prep_remove_from_neighbours(u);
    //set adjAdj's checkAdjDomV to true
    for (unsigned k = 0, dadj = dVDegree[u]; k < dadj; k++) {
        unsigned adjAdj = vAdj[u][k];
        checkAdjDomV[adjAdj] = IN;
    }
    dVDegree[u] = 0;//remove u's neighbours

    vInBest[w] = IN_ABS;
    prep_remove_from_neighbours(w);
    //set adjAdj's checkAdjDomV to true
    for (unsigned k = 0, dadj = dVDegree[w]; k < dadj; k++) {
        unsigned adjAdj = vAdj[w][k];
        checkAdjDomV[adjAdj] = IN;
    }
    dVDegree[w] = 0;//remove w's neighbours
    total_IN_ABS = total_IN_ABS + 2;

    //set v as an unnecessary vertex
    vInBest[v] = NIN_ABS;
    total_NIN_ABS++;

    return true;
}

// Assembly:
pushq %rbp
pushq %r15
pushq %r14
pushq %r13
pushq %r12
pushq %rbx
pushq %rax
movq 0x281f(%rip), %r12      # 0x7180
movl %edi, %edi
movq (%r12,%rdi,8), %rax
movl (%rax), %r14d
movl 0x4(%rax), %ebx
movq 0x283c(%rip), %r13      # 0x71b0
movl (%r13,%r14,4), %eax
movl (%r13,%rbx,4), %ecx
cmpl %ecx, %eax
jae 0x499b
xorl %ecx, %ecx
cmpq %rcx, %rax
je 0x49f0
movq (%r12,%r14,8), %rdx
leaq 0x1(%rcx), %rsi
cmpl %ebx, (%rdx,%rcx,4)
movq %rsi, %rcx
jne 0x4984
jmp 0x49b3
xorl %eax, %eax
cmpq %rax, %rcx
je 0x49f0
movq (%r12,%rbx,8), %rdx
leaq 0x1(%rax), %rsi
cmpl %r14d, (%rdx,%rax,4)
movq %rsi, %rax
jne 0x499d
movq %rdi, (%rsp)
movq 0x27ea(%rip), %rbp      # 0x71a8
movb $0x4, (%rbp,%r14)
movl %r14d, %edi
callq 0x27b9
movl (%r13,%r14,4), %eax
movq 0x2800(%rip), %r15      # 0x71d8
xorl %ecx, %ecx
cmpq %rcx, %rax
je 0x49ff
movq (%r12,%r14,8), %rdx
movl (%rdx,%rcx,4), %edx
movb $0x3, (%r15,%rdx)
incq %rcx
jmp 0x49da
movq 0x27e1(%rip), %rax      # 0x71d8
movb $0x0, (%rax,%rdi)
xorl %eax, %eax
jmp 0x4a4c
andl $0x0, (%r13,%r14,4)
movb $0x4, (%rbp,%rbx)
movl %ebx, %edi
callq 0x27b9
movl (%r13,%rbx,4), %eax
xorl %ecx, %ecx
movq (%rsp), %rsi
cmpq %rcx, %rax
je 0x4a32
movq (%r12,%rbx,8), %rdx
movl (%rdx,%rcx,4), %edx
movb $0x3, (%r15,%rdx)
incq %rcx
jmp 0x4a1c
andl $0x0, (%r13,%rbx,4)
addl $0x2, 0x27b5(%rip)      # 0x71f4
movb $0x1, (%rbp,%rsi)
incl 0x27d6(%rip)            # 0x7220
movb $0x1, %al
addq $0x8, %rsp
popq %rbx
popq %r12
popq %r13
popq %r14
popq %r15
popq %rbp
retq
// File: /workspace/github_cpp_makefile_star2_O2/quancs[P]EAVC/./eavc.h
// Function: prep_handle_dom(unsigned int, bool&)
inline bool prep_handle_dom(unsigned v, bool &found) {
    for (unsigned i = 0; i < dVDegree[v]; i++) {
        unsigned adj = vAdj[v][i];
        if (dVDegree[v] > dVDegree[adj])
            continue;

        //check if N[v] <= N[adj]
        bool adjDomV = true;
        for (unsigned j = 0; j < dVDegree[v]; j++) {
            unsigned vadj = vAdj[v][j];
            if (vadj == adj)
                continue;

            bool contain = false;
            for (unsigned k = 0; k < dVDegree[adj]; k++) {
                if (vAdj[adj][k] == vadj) {
                    contain = true;
                    break;
                }
            }
            if (contain == false) {
                adjDomV = false;
                break;
            }
        }

        if (adjDomV) { //v dominates adj or adj dominates v or they dominate each other
            vInBest[adj] = IN_ABS;
            total_IN_ABS++;

            //remove vForSure from its neighbours
            prep_remove_from_neighbours(adj);

            //set adjAdj's checkAdjDomV to true
            for (unsigned k = 0, dadj = dVDegree[adj]; k < dadj; k++) {
                unsigned adjAdj = vAdj[adj][k];
                checkAdjDomV[adjAdj] = IN;
            }

            //remove vForSure's neighbours
            dVDegree[adj] = 0;
            found = true;
            return false;
        }
    }
    checkAdjDomV[v] = NIN;
    return false;
}

// Assembly:
pushq %r15
pushq %r14
pushq %r13
pushq %r12
pushq %rbx
movq %rsi, %rbx
movq 0x2742(%rip), %r15      # 0x71b0
movl %edi, %eax
movl (%r15,%rax,4), %ecx
movq 0x2705(%rip), %r12      # 0x7180
xorl %edx, %edx
cmpq %rcx, %rdx
je 0x4b10
movq (%r12,%rax,8), %rsi
movl (%rsi,%rdx,4), %r14d
movl (%r15,%r14,4), %edi
cmpl %edi, %ecx
jbe 0x4a9b
incq %rdx
jmp 0x4a7d
xorl %r8d, %r8d
cmpq %rcx, %r8
je 0x4aca
movl (%rsi,%r8,4), %r9d
cmpl %r14d, %r9d
je 0x4ac5
xorl %r10d, %r10d
cmpq %r10, %rdi
je 0x4a96
movq (%r12,%r14,8), %r11
leaq 0x1(%r10), %r13
cmpl %r9d, (%r11,%r10,4)
movq %r13, %r10
jne 0x4aaf
incq %r8
jmp 0x4a9e
movq 0x26d7(%rip), %rax      # 0x71a8
movb $0x4, (%rax,%r14)
incl 0x2718(%rip)            # 0x71f4
movl %r14d, %edi
callq 0x27b9
movl (%r15,%r14,4), %eax
movq 0x26e9(%rip), %rcx      # 0x71d8
xorl %edx, %edx
cmpq %rdx, %rax
je 0x4b06
movq (%r12,%r14,8), %rsi
movl (%rsi,%rdx,4), %esi
movb $0x3, (%rcx,%rsi)
incq %rdx
jmp 0x4af1
andl $0x0, (%r15,%r14,4)
movb $0x1, (%rbx)
jmp 0x4b1b
movq 0x26c1(%rip), %rcx      # 0x71d8
movb $0x0, (%rcx,%rax)
xorl %eax, %eax
popq %rbx
popq %r12
popq %r13
popq %r14
popq %r15
retq