// File: /workspace/github_c_makefile_star2_O0/Ihsoh[P]ilang/compiler/backend/semantics.c
// Function: get_constexpr_float
static float _get_constexpr_float(
	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 (float) 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)
		default: {
			assert(0);
			return 0;
		}
	}

	#undef	_A
}

// Assembly:
pushq %rbp
movq %rsp, %rbp
subq $0x30, %rsp
movq %rdi, -0x10(%rbp)
movq %rsi, -0x18(%rbp)
cmpq $0x0, -0x10(%rbp)
je 0x59a49
jmp 0x59a68
leaq 0x26711(%rip), %rdi     # 0x80161
leaq 0x28e29(%rip), %rsi     # 0x82880
movl $0x710, %edx            # imm = 0x710
leaq 0x2a44d(%rip), %rcx     # 0x83eb0
callq 0x30a0
cmpq $0x0, -0x18(%rbp)
je 0x59a71
jmp 0x59a90
leaq 0x1cae4(%rip), %rdi     # 0x7655c
leaq 0x28e01(%rip), %rsi     # 0x82880
movl $0x711, %edx            # imm = 0x711
leaq 0x2a425(%rip), %rcx     # 0x83eb0
callq 0x30a0
movq -0x18(%rbp), %rax
movl (%rax), %eax
andl $0xff00, %eax           # imm = 0xFF00
cmpl $0xe00, %eax            # imm = 0xE00
jne 0x59aa4
jmp 0x59ac3
leaq 0x29b63(%rip), %rdi     # 0x8360e
leaq 0x28dce(%rip), %rsi     # 0x82880
movl $0x712, %edx            # imm = 0x712
leaq 0x2a3f2(%rip), %rcx     # 0x83eb0
callq 0x30a0
movq -0x18(%rbp), %rax
testb $0x1, 0x70(%rax)
je 0x59acf
jmp 0x59aee
leaq 0x2a084(%rip), %rdi     # 0x83b5a
leaq 0x28da3(%rip), %rsi     # 0x82880
movl $0x713, %edx            # imm = 0x713
leaq 0x2a3c7(%rip), %rcx     # 0x83eb0
callq 0x30a0
movq -0x18(%rbp), %rax
movzbl 0x71(%rax), %eax
decl %eax
movl %eax, %ecx
movq %rcx, -0x20(%rbp)
subl $0xa, %eax
ja 0x59c54
movq -0x20(%rbp), %rax
leaq 0x28872(%rip), %rcx     # 0x82384
movslq (%rcx,%rax,4), %rax
addq %rcx, %rax
jmpq *%rax
movq -0x18(%rbp), %rax
movsbl 0x88(%rax), %eax
cvtsi2ss %eax, %xmm0
movss %xmm0, -0x4(%rbp)
jmp 0x59c73
movq -0x18(%rbp), %rax
movsbl 0x88(%rax), %eax
cvtsi2ss %eax, %xmm0
movss %xmm0, -0x4(%rbp)
jmp 0x59c73
movq -0x18(%rbp), %rax
movswl 0x88(%rax), %eax
cvtsi2ss %eax, %xmm0
movss %xmm0, -0x4(%rbp)
jmp 0x59c73
movq -0x18(%rbp), %rax
cvtsi2ssl 0x88(%rax), %xmm0
movss %xmm0, -0x4(%rbp)
jmp 0x59c73
movq -0x18(%rbp), %rax
cvtsi2ssq 0x88(%rax), %xmm0
movss %xmm0, -0x4(%rbp)
jmp 0x59c73
movq -0x18(%rbp), %rax
movzbl 0x88(%rax), %eax
cvtsi2ss %eax, %xmm0
movss %xmm0, -0x4(%rbp)
jmp 0x59c73
movq -0x18(%rbp), %rax
movzwl 0x88(%rax), %eax
cvtsi2ss %eax, %xmm0
movss %xmm0, -0x4(%rbp)
jmp 0x59c73
movq -0x18(%rbp), %rax
movl 0x88(%rax), %eax
cvtsi2ss %rax, %xmm0
movss %xmm0, -0x4(%rbp)
jmp 0x59c73
movq -0x18(%rbp), %rax
movq 0x88(%rax), %rax
movq %rax, %rdx
shrq %rdx
movl %eax, %ecx
andl $0x1, %ecx
orq %rdx, %rcx
cvtsi2ss %rcx, %xmm0
addss %xmm0, %xmm0
cvtsi2ss %rax, %xmm1
movss %xmm1, -0x28(%rbp)
testq %rax, %rax
movss %xmm0, -0x24(%rbp)
js 0x59c1e
movss -0x28(%rbp), %xmm0
movss %xmm0, -0x24(%rbp)
movss -0x24(%rbp), %xmm0
movss %xmm0, -0x4(%rbp)
jmp 0x59c73
movq -0x18(%rbp), %rax
movss 0x88(%rax), %xmm0
movss %xmm0, -0x4(%rbp)
jmp 0x59c73
movq -0x18(%rbp), %rax
movsd 0x88(%rax), %xmm0
cvtsd2ss %xmm0, %xmm0
movss %xmm0, -0x4(%rbp)
jmp 0x59c73
leaq 0x197ff(%rip), %rdi     # 0x7345a
leaq 0x28c1e(%rip), %rsi     # 0x82880
movl $0x727, %edx            # imm = 0x727
leaq 0x2a242(%rip), %rcx     # 0x83eb0
callq 0x30a0
movss -0x4(%rbp), %xmm0
addq $0x30, %rsp
popq %rbp
retq
nop