// File: exrd[P]neteruhsp/neteruhsp/neteruhsp.cc
// Function: neteruhsp::evaluate_ast_node(neteruhsp::ast_node_t*, neteruhsp::value_stack_t*)
bool evaluate_ast_node( ast_node_t* n, value_stack_t* stack )
{
	switch( n->tag_ )
	{
		case NODE_EMPTY: break;

		case NODE_EXPRESSION:
			assert( n->left_ != nullptr );
			return evaluate_ast_node( n->left_, stack );

		case NODE_BOR:
		case NODE_BAND:
		case NODE_BXOR:
		case NODE_EQ:
		case NODE_NEQ:
		case NODE_GT:
		case NODE_GTOE:
		case NODE_LT:
		case NODE_LTOE:
		case NODE_ADD:
		case NODE_SUB:
		case NODE_MUL:
		case NODE_DIV:
		case NODE_MOD:
		{
			assert( n->left_ != nullptr );
			if ( !evaluate_ast_node( n->left_, stack ) )
			{
				return false;
			}
			assert( n->right_ != nullptr );
			if ( !evaluate_ast_node( n->right_, stack ) )
			{
				return false;
			}

			if ( stack->top_ < 2 )
			{
				print_error( "式評価：二項演算時に対象の値が存在してません：\n" );
				return false;
			}

			auto* left = stack_peek( stack, -2 );
			auto* right = stack_peek( stack, -1 );
			value_isolate( *left );

			switch( n->tag_ )
			{
				case NODE_BOR:		value_bor( left, *right ); break;
				case NODE_BAND:		value_band( left, *right ); break;
				case NODE_BXOR:		value_bxor( left, *right ); break;
				case NODE_EQ:		value_eq( left, *right ); break;
				case NODE_NEQ:		value_neq( left, *right ); break;
				case NODE_GT:		value_gt( left, *right ); break;
				case NODE_GTOE:		value_gtoe( left, *right ); break;
				case NODE_LT:		value_lt( left, *right ); break;
				case NODE_LTOE:		value_ltoe( left, *right ); break;
				case NODE_ADD:		value_add( left, *right ); break;
				case NODE_SUB:		value_sub( left, *right ); break;
				case NODE_MUL:		value_mul( left, *right ); break;
				case NODE_DIV:		value_div( left, *right ); break;
				case NODE_MOD:		value_mod( left, *right ); break;
				default: assert( false ); break;
			}

			stack_pop( stack, 1 );
			break;
		}

		case NODE_UNARY_MINUS:
		{
			assert( n->left_ != nullptr );
			if ( !evaluate_ast_node( n->left_, stack ) )
			{
				return false;
			}
			if ( stack->top_ < 1 )
			{
				print_error( "式評価：単項演算時に対象の値が存在してません：\n" );
				return false;
			}
			auto* const v = stack_peek( stack, -1 );
			value_isolate( *v );
			value_unary_minus( v );
			break;
		}

		case NODE_PRIMITIVE_VALUE:
		{
			switch( n->token_->tag_ )
			{
				case TOKEN_INTEGER:	stack_push( stack, create_value( atoi( n->token_->content_ ) ) ); break;
				case TOKEN_REAL:	stack_push( stack, create_value( atof( n->token_->content_ ) ) ); break;
				case TOKEN_STRING:	stack_push( stack, create_value( n->token_->content_ ) ); break;
				default: assert( false ); break;
			}
			break;
		}
		default:
			print_error( "式評価：サポートされてないノードの呼び出し（%s）@@ %d行目\n", n->token_->content_, n->token_->appear_line_ + 1 );
			return false;
	}
	return true;
}

// Assembly:
pushq %rbp
movq %rsp, %rbp
subq $0x60, %rsp
movq %rdi, -0x10(%rbp)
movq %rsi, -0x18(%rbp)
movq -0x10(%rbp), %rax
movl (%rax), %eax
movq %rax, -0x38(%rbp)
subq $0x1f, %rax
ja 0xeaac
movq -0x38(%rbp), %rax
leaq 0x41cd(%rip), %rcx      # 0x1289c
movslq (%rcx,%rax,4), %rax
addq %rcx, %rax
jmpq *%rax
jmp 0xeada
movq -0x10(%rbp), %rax
cmpq $0x0, 0x10(%rax)
je 0xe6ea
jmp 0xe709
leaq 0x763a(%rip), %rdi      # 0x15d2b
leaq 0x4359(%rip), %rsi      # 0x12a51
movl $0x176d, %edx           # imm = 0x176D
leaq 0x763b(%rip), %rcx      # 0x15d3f
callq 0x30f0
movq -0x10(%rbp), %rax
movq 0x10(%rax), %rdi
movq -0x18(%rbp), %rsi
callq 0xe6a0
andb $0x1, %al
movb %al, -0x1(%rbp)
jmp 0xeade
movq -0x10(%rbp), %rax
cmpq $0x0, 0x10(%rax)
je 0xe731
jmp 0xe750
leaq 0x75f3(%rip), %rdi      # 0x15d2b
leaq 0x4312(%rip), %rsi      # 0x12a51
movl $0x177f, %edx           # imm = 0x177F
leaq 0x75f4(%rip), %rcx      # 0x15d3f
callq 0x30f0
movq -0x10(%rbp), %rax
movq 0x10(%rax), %rdi
movq -0x18(%rbp), %rsi
callq 0xe6a0
testb $0x1, %al
jne 0xe76e
movb $0x0, -0x1(%rbp)
jmp 0xeade
movq -0x10(%rbp), %rax
cmpq $0x0, 0x18(%rax)
je 0xe77b
jmp 0xe79a
leaq 0x75fe(%rip), %rdi      # 0x15d80
leaq 0x42c8(%rip), %rsi      # 0x12a51
movl $0x1784, %edx           # imm = 0x1784
leaq 0x75aa(%rip), %rcx      # 0x15d3f
callq 0x30f0
movq -0x10(%rbp), %rax
movq 0x18(%rax), %rdi
movq -0x18(%rbp), %rsi
callq 0xe6a0
testb $0x1, %al
jne 0xe7b8
movb $0x0, -0x1(%rbp)
jmp 0xeade
movq -0x18(%rbp), %rax
cmpl $0x2, 0x8(%rax)
jge 0xe7d9
leaq 0x75cc(%rip), %rdi      # 0x15d95
movb $0x0, %al
callq 0xeaf0
movb $0x0, -0x1(%rbp)
jmp 0xeade
movq -0x18(%rbp), %rdi
movl $0xfffffffe, %esi       # imm = 0xFFFFFFFE
callq 0xbca0
movq %rax, -0x20(%rbp)
movq -0x18(%rbp), %rdi
movl $0xffffffff, %esi       # imm = 0xFFFFFFFF
callq 0xbca0
movq %rax, -0x28(%rbp)
movq -0x20(%rbp), %rdi
callq 0x78a0
movq -0x10(%rbp), %rax
movl (%rax), %eax
addl $-0x10, %eax
movl %eax, %ecx
movq %rcx, -0x40(%rbp)
subl $0xd, %eax
ja 0xe919
movq -0x40(%rbp), %rax
leaq 0x40f3(%rip), %rcx      # 0x1291c
movslq (%rcx,%rax,4), %rax
addq %rcx, %rax
jmpq *%rax
movq -0x20(%rbp), %rdi
movq -0x28(%rbp), %rsi
callq 0xacf0
jmp 0xe938
movq -0x20(%rbp), %rdi
movq -0x28(%rbp), %rsi
callq 0xada0
jmp 0xe938
movq -0x20(%rbp), %rdi
movq -0x28(%rbp), %rsi
callq 0xae50
jmp 0xe938
movq -0x20(%rbp), %rdi
movq -0x28(%rbp), %rsi
callq 0xaf00
jmp 0xe938
movq -0x20(%rbp), %rdi
movq -0x28(%rbp), %rsi
callq 0xb010
jmp 0xe938
movq -0x20(%rbp), %rdi
movq -0x28(%rbp), %rsi
callq 0xb120
jmp 0xe938
movq -0x20(%rbp), %rdi
movq -0x28(%rbp), %rsi
callq 0xb200
jmp 0xe938
movq -0x20(%rbp), %rdi
movq -0x28(%rbp), %rsi
callq 0xb2e0
jmp 0xe938
movq -0x20(%rbp), %rdi
movq -0x28(%rbp), %rsi
callq 0xb3c0
jmp 0xe938
movq -0x20(%rbp), %rdi
movq -0x28(%rbp), %rsi
callq 0xb4a0
jmp 0xe938
movq -0x20(%rbp), %rdi
movq -0x28(%rbp), %rsi
callq 0xb5c0
jmp 0xe938
movq -0x20(%rbp), %rdi
movq -0x28(%rbp), %rsi
callq 0xb680
jmp 0xe938
movq -0x20(%rbp), %rdi
movq -0x28(%rbp), %rsi
callq 0xb740
jmp 0xe938
movq -0x20(%rbp), %rdi
movq -0x28(%rbp), %rsi
callq 0xb850
jmp 0xe938
leaq 0x504f(%rip), %rdi      # 0x1396f
leaq 0x412a(%rip), %rsi      # 0x12a51
movl $0x17a4, %edx           # imm = 0x17A4
leaq 0x740c(%rip), %rcx      # 0x15d3f
callq 0x30f0
movq -0x18(%rbp), %rdi
movl $0x1, %esi
callq 0xbb10
jmp 0xeada
movq -0x10(%rbp), %rax
cmpq $0x0, 0x10(%rax)
je 0xe958
jmp 0xe977
leaq 0x73cc(%rip), %rdi      # 0x15d2b
leaq 0x40eb(%rip), %rsi      # 0x12a51
movl $0x17ad, %edx           # imm = 0x17AD
leaq 0x73cd(%rip), %rcx      # 0x15d3f
callq 0x30f0
movq -0x10(%rbp), %rax
movq 0x10(%rax), %rdi
movq -0x18(%rbp), %rsi
callq 0xe6a0
testb $0x1, %al
jne 0xe995
movb $0x0, -0x1(%rbp)
jmp 0xeade
movq -0x18(%rbp), %rax
cmpl $0x1, 0x8(%rax)
jge 0xe9b6
leaq 0x7436(%rip), %rdi      # 0x15ddc
movb $0x0, %al
callq 0xeaf0
movb $0x0, -0x1(%rbp)
jmp 0xeade
movq -0x18(%rbp), %rdi
movl $0xffffffff, %esi       # imm = 0xFFFFFFFF
callq 0xbca0
movq %rax, -0x30(%rbp)
movq -0x30(%rbp), %rdi
callq 0x78a0
movq -0x30(%rbp), %rdi
callq 0xb960
jmp 0xeada
movq -0x10(%rbp), %rax
movq 0x8(%rax), %rax
movl (%rax), %eax
movl %eax, -0x44(%rbp)
subl $0x9, %eax
je 0xea0a
jmp 0xe9f3
movl -0x44(%rbp), %eax
subl $0xa, %eax
je 0xea38
jmp 0xe9fd
movl -0x44(%rbp), %eax
subl $0xb, %eax
je 0xea64
jmp 0xea8b
movq -0x18(%rbp), %rax
movq %rax, -0x50(%rbp)
movq -0x10(%rbp), %rax
movq 0x8(%rax), %rax
movq 0x8(%rax), %rdi
callq 0x3230
movl %eax, %edi
callq 0xa5f0
movq -0x50(%rbp), %rdi
movq %rax, %rsi
callq 0xbbf0
jmp 0xeaaa
movq -0x18(%rbp), %rax
movq %rax, -0x58(%rbp)
movq -0x10(%rbp), %rax
movq 0x8(%rax), %rax
movq 0x8(%rax), %rdi
callq 0x31c0
callq 0xa680
movq -0x58(%rbp), %rdi
movq %rax, %rsi
callq 0xbbf0
jmp 0xeaaa
movq -0x18(%rbp), %rax
movq %rax, -0x60(%rbp)
movq -0x10(%rbp), %rax
movq 0x8(%rax), %rax
movq 0x8(%rax), %rdi
callq 0xa6c0
movq -0x60(%rbp), %rdi
movq %rax, %rsi
callq 0xbbf0
jmp 0xeaaa
leaq 0x4edd(%rip), %rdi      # 0x1396f
leaq 0x3fb8(%rip), %rsi      # 0x12a51
movl $0x17c4, %edx           # imm = 0x17C4
leaq 0x729a(%rip), %rcx      # 0x15d3f
callq 0x30f0
jmp 0xeada
movq -0x10(%rbp), %rax
movq 0x8(%rax), %rax
movq 0x8(%rax), %rsi
movq -0x10(%rbp), %rax
movq 0x8(%rax), %rax
movl 0x18(%rax), %edx
addl $0x1, %edx
leaq 0x7356(%rip), %rdi      # 0x15e23
movb $0x0, %al
callq 0xeaf0
movb $0x0, -0x1(%rbp)
jmp 0xeade
movb $0x1, -0x1(%rbp)
movb -0x1(%rbp), %al
andb $0x1, %al
addq $0x60, %rsp
popq %rbp
retq
nopl (%rax)