// File: /workspace/github_c_makefile_star2_O0/Ihsoh[P]ilang/compiler/backend/semantics.c
// Function: get_constexpr_uint64
static uint64_t _get_constexpr_uint64(
	ParserContext *ctx,
	ParserASTNode *node
) {
	assert(ctx);
	assert(node);
	assert(BE_IS_EXPR_NODE(node->type));
	assert(BE_EXPR_AST_NODE_GET_CONSTANT(node));

	#define	_A(type)	\
		case BE_TYPE_##type: {	\
			return (uint64_t) BE_EXPR_AST_NODE_GET_CONSTEXPR_RESULT_##type##_VAL(node);	\
		}

	switch (BE_EXPR_AST_NODE_GET_CONSTANT_TYPE(node)) {
		_A(CHAR)
		_A(INT8)
		_A(INT16)
		_A(INT32)
		_A(INT64)
		_A(UINT8)
		_A(UINT16)
		_A(UINT32)
		_A(UINT64)
		_A(FLOAT)
		_A(DOUBLE)
		_A(POINTER)
		default: {
			assert(0);
			return 0;
		}
	}

	#undef	_A
}

// Assembly:
pushq %rbp
movq %rsp, %rbp
subq $0x20, %rsp
movq %rdi, -0x10(%rbp)
movq %rsi, -0x18(%rbp)
cmpq $0x0, -0x10(%rbp)
je 0x59589
jmp 0x595a8
leaq 0x26bd1(%rip), %rdi     # 0x80161
leaq 0x292e9(%rip), %rsi     # 0x82880
movl $0x6d7, %edx            # imm = 0x6D7
leaq 0x2a87c(%rip), %rcx     # 0x83e1f
callq 0x30a0
cmpq $0x0, -0x18(%rbp)
je 0x595b1
jmp 0x595d0
leaq 0x1cfa4(%rip), %rdi     # 0x7655c
leaq 0x292c1(%rip), %rsi     # 0x82880
movl $0x6d8, %edx            # imm = 0x6D8
leaq 0x2a854(%rip), %rcx     # 0x83e1f
callq 0x30a0
movq -0x18(%rbp), %rax
movl (%rax), %eax
andl $0xff00, %eax           # imm = 0xFF00
cmpl $0xe00, %eax            # imm = 0xE00
jne 0x595e4
jmp 0x59603
leaq 0x2a023(%rip), %rdi     # 0x8360e
leaq 0x2928e(%rip), %rsi     # 0x82880
movl $0x6d9, %edx            # imm = 0x6D9
leaq 0x2a821(%rip), %rcx     # 0x83e1f
callq 0x30a0
movq -0x18(%rbp), %rax
testb $0x1, 0x70(%rax)
je 0x5960f
jmp 0x5962e
leaq 0x2a544(%rip), %rdi     # 0x83b5a
leaq 0x29263(%rip), %rsi     # 0x82880
movl $0x6da, %edx            # imm = 0x6DA
leaq 0x2a7f6(%rip), %rcx     # 0x83e1f
callq 0x30a0
movq -0x18(%rbp), %rax
movzbl 0x71(%rax), %eax
decl %eax
movl %eax, %ecx
movq %rcx, -0x20(%rbp)
subl $0xf, %eax
ja 0x59792
movq -0x20(%rbp), %rax
leaq 0x28cb2(%rip), %rcx     # 0x82304
movslq (%rcx,%rax,4), %rax
addq %rcx, %rax
jmpq *%rax
movq -0x18(%rbp), %rax
movsbq 0x88(%rax), %rax
movq %rax, -0x8(%rbp)
jmp 0x597b1
movq -0x18(%rbp), %rax
movsbq 0x88(%rax), %rax
movq %rax, -0x8(%rbp)
jmp 0x597b1
movq -0x18(%rbp), %rax
movswq 0x88(%rax), %rax
movq %rax, -0x8(%rbp)
jmp 0x597b1
movq -0x18(%rbp), %rax
movslq 0x88(%rax), %rax
movq %rax, -0x8(%rbp)
jmp 0x597b1
movq -0x18(%rbp), %rax
movq 0x88(%rax), %rax
movq %rax, -0x8(%rbp)
jmp 0x597b1
movq -0x18(%rbp), %rax
movzbl 0x88(%rax), %eax
movq %rax, -0x8(%rbp)
jmp 0x597b1
movq -0x18(%rbp), %rax
movzwl 0x88(%rax), %eax
movq %rax, -0x8(%rbp)
jmp 0x597b1
movq -0x18(%rbp), %rax
movl 0x88(%rax), %eax
movq %rax, -0x8(%rbp)
jmp 0x597b1
movq -0x18(%rbp), %rax
movq 0x88(%rax), %rax
movq %rax, -0x8(%rbp)
jmp 0x597b1
movq -0x18(%rbp), %rax
movss 0x88(%rax), %xmm0
movss 0x29133(%rip), %xmm2    # 0x82858
movaps %xmm0, %xmm1
subss %xmm2, %xmm1
cvttss2si %xmm1, %rcx
cvttss2si %xmm0, %rax
movq %rax, %rdx
sarq $0x3f, %rdx
andq %rdx, %rcx
orq %rcx, %rax
movq %rax, -0x8(%rbp)
jmp 0x597b1
movq -0x18(%rbp), %rax
movsd 0x88(%rax), %xmm0
movsd 0x290f3(%rip), %xmm2    # 0x82850
movaps %xmm0, %xmm1
subsd %xmm2, %xmm1
cvttsd2si %xmm1, %rcx
cvttsd2si %xmm0, %rax
movq %rax, %rdx
sarq $0x3f, %rdx
andq %rdx, %rcx
orq %rcx, %rax
movq %rax, -0x8(%rbp)
jmp 0x597b1
movq -0x18(%rbp), %rax
movq 0x88(%rax), %rax
movq %rax, -0x8(%rbp)
jmp 0x597b1
leaq 0x19cc1(%rip), %rdi     # 0x7345a
leaq 0x290e0(%rip), %rsi     # 0x82880
movl $0x6ef, %edx            # imm = 0x6EF
leaq 0x2a673(%rip), %rcx     # 0x83e1f
callq 0x30a0
movq -0x8(%rbp), %rax
addq $0x20, %rsp
popq %rbp
retq
nopl (%rax,%rax)