// File: /workspace/github_c_makefile_star2_O0/Ihsoh[P]ilang/compiler/backend/asmgen_gas64.c
// Function: move_id_or_constexpr_to_reg_ex
static uint8_t _move_id_or_constexpr_to_reg_ex(
	ASMGeneratorGas64Context *ctx,
	int target_reg,
	ParserASTNode *source_id_or_constexpr,
	MoveIdOrConstexprToRegEx *result
) {
	assert(ctx);
	assert(source_id_or_constexpr);

	if (source_id_or_constexpr->type == BE_NODE_IDENTIFIER) {
		ParserSymbol *symbol = _get_symbol_by_id_node(ctx, source_id_or_constexpr);
		if (symbol->type == BE_SYM_VAR) {
			uint8_t symbol_type = BE_VAR_SYMBOL_GET_TYPE(symbol);
			size_t type_size = BE_VAR_SYMBOL_GET_TYPE_SIZE(symbol);
			if (result != NULL) {
				result->type = symbol_type;
				result->type_size = type_size;
				result->node_type = BE_VAR_SYMBOL_GET_TYPE_NODE(symbol);
			}

			if (be_sem_is_signed_type(symbol_type)) {
				const char *target_reg_name = _asm_inst_reg(ctx, symbol_type, target_reg);
			
				_asm_inst_mov_x_sym(
					ctx,
					ctx->body,
					target_reg_name,
					symbol
				);

				if (type_size < 8) {
					_asm_inst_movsx_x_x(
						ctx,
						ctx->body,
						BE_TYPE_INT64,
						_asm_inst_reg(ctx, BE_TYPE_INT64, target_reg),
						symbol_type,
						target_reg_name
					);
				}
			} else {
				_asm_inst_mov_x_x(
					ctx,
					ctx->body,
					BE_TYPE_UINT64,
					_asm_inst_reg(ctx, BE_TYPE_UINT64, target_reg),
					_ASM_CONST_0
				);

				_asm_inst_mov_x_sym(
					ctx,
					ctx->body,
					_asm_inst_reg(ctx, symbol_type, target_reg),
					symbol
				);
			}

			return symbol_type;
		} else if (symbol->type == BE_SYM_FUNC) {
			if (result != NULL) {
				result->node_type = BE_FUNC_SYMBOL_GET_FUNC_NAME_NODE(symbol);
				result->type = BE_TYPE_POINTER;
				result->type_size = be_sem_calc_type_size(ctx->psrctx, source_id_or_constexpr, result->node_type);
			}

			_asm_inst_mov_x_fsym(
				ctx,
				ctx->body,
				_asm_inst_reg(ctx, BE_TYPE_UINT64, target_reg),
				symbol
			);

			return BE_TYPE_POINTER;
		} else {
			assert(0);
			return BE_TYPE_UNKNOWN;
		}
	} else if (source_id_or_constexpr->type == BE_NODE_EXPR) {
		uint8_t type = BE_EXPR_AST_NODE_GET_TYPE(source_id_or_constexpr);
		ParserASTNode *node_type = BE_EXPR_AST_NODE_GET_TYPE_NODE(source_id_or_constexpr);
		size_t type_size = be_sem_calc_type_size(ctx->psrctx, source_id_or_constexpr, node_type);
		if (result != NULL) {
			result->type = type;
			result->type_size = type_size;
			result->node_type = node_type;
		}
		
		if (be_sem_is_signed_type(type)) {
			ResizableString rstr;
			rstr_init(&rstr);
			_asm_constexpr_param(ctx, &rstr, source_id_or_constexpr, target_reg);

			if (type == BE_TYPE_INT64) {
				_asm_inst_mov_reg64_imm64(
					ctx,
					ctx->body,
					_asm_inst_reg(ctx, BE_TYPE_INT64, target_reg),
					RSTR_CSTR(&rstr)
				);
			} else {
				const char *target_reg_name = _asm_inst_reg(ctx, type, target_reg);

				_asm_inst_mov_x_x(
					ctx,
					ctx->body,
					type,
					target_reg_name,
					RSTR_CSTR(&rstr)
				);

				_asm_inst_movsx_x_x(
					ctx,
					ctx->body,
					BE_TYPE_INT64,
					_asm_inst_reg(ctx, BE_TYPE_INT64, target_reg),
					type,
					target_reg_name
				);
			}

			rstr_free(&rstr);
		} else {
			if (type == BE_TYPE_UINT64) {
				ResizableString rstr;
				rstr_init(&rstr);
				_asm_constexpr_param(ctx, &rstr, source_id_or_constexpr, target_reg);

				_asm_inst_mov_reg64_imm64(
					ctx,
					ctx->body,
					_asm_inst_reg(ctx, BE_TYPE_UINT64, target_reg),
					RSTR_CSTR(&rstr)
				);

				rstr_free(&rstr);
			} else {
				_asm_inst_mov_x_x(
					ctx,
					ctx->body,
					BE_TYPE_UINT64,
					_asm_inst_reg(ctx, BE_TYPE_UINT64, target_reg),
					_ASM_CONST_0
				);

				ResizableString rstr;
				rstr_init(&rstr);
				_asm_constexpr_param(ctx, &rstr, source_id_or_constexpr, target_reg);

				_asm_inst_mov_x_x(
					ctx,
					ctx->body,
					type,
					_asm_inst_reg(ctx, type, target_reg),
					RSTR_CSTR(&rstr)
				);

				rstr_free(&rstr);
			}
		}

		return type;
	} else {
		assert(0);
	}
}

// Assembly:
pushq %rbp
movq %rsp, %rbp
subq $0x190, %rsp            # imm = 0x190
movq %rdi, -0x10(%rbp)
movl %esi, -0x14(%rbp)
movq %rdx, -0x20(%rbp)
movq %rcx, -0x28(%rbp)
cmpq $0x0, -0x10(%rbp)
je 0x33c93
jmp 0x33cb2
leaq 0x4c4c7(%rip), %rdi     # 0x80161
leaq 0x46e63(%rip), %rsi     # 0x7ab04
movl $0xd03, %edx            # imm = 0xD03
leaq 0x478b0(%rip), %rcx     # 0x7b55d
callq 0x30a0
cmpq $0x0, -0x20(%rbp)
je 0x33cbb
jmp 0x33cda
leaq 0x42d11(%rip), %rdi     # 0x769d3
leaq 0x46e3b(%rip), %rsi     # 0x7ab04
movl $0xd04, %edx            # imm = 0xD04
leaq 0x47888(%rip), %rcx     # 0x7b55d
callq 0x30a0
movq -0x20(%rbp), %rax
cmpl $0x200, (%rax)          # imm = 0x200
jne 0x33f41
movq -0x10(%rbp), %rdi
movq -0x20(%rbp), %rsi
callq 0x32900
movq %rax, -0x30(%rbp)
movq -0x30(%rbp), %rax
cmpl $0x1, (%rax)
jne 0x33e86
movq -0x30(%rbp), %rax
movb 0x30(%rax), %al
movb %al, -0x31(%rbp)
movq -0x30(%rbp), %rax
movq 0x70(%rax), %rax
movq %rax, -0x40(%rbp)
cmpq $0x0, -0x28(%rbp)
je 0x33d4a
movb -0x31(%rbp), %cl
movq -0x28(%rbp), %rax
movb %cl, (%rax)
movq -0x40(%rbp), %rcx
movq -0x28(%rbp), %rax
movq %rcx, 0x8(%rax)
movq -0x30(%rbp), %rax
movq 0x38(%rax), %rcx
movq -0x28(%rbp), %rax
movq %rcx, 0x10(%rax)
movzbl -0x31(%rbp), %edi
callq 0x4d9e0
testb $0x1, %al
jne 0x33d5c
jmp 0x33de8
movq -0x10(%rbp), %rdi
movb -0x31(%rbp), %al
movl -0x14(%rbp), %edx
movzbl %al, %esi
callq 0x334d0
movq %rax, -0x48(%rbp)
movq -0x10(%rbp), %rdi
movq -0x10(%rbp), %rax
movq 0x20(%rax), %rsi
movq -0x48(%rbp), %rdx
movq -0x30(%rbp), %rcx
callq 0x33600
cmpq $0x8, -0x40(%rbp)
jae 0x33de3
movq -0x10(%rbp), %rax
movq %rax, -0xa8(%rbp)
movq -0x10(%rbp), %rax
movq 0x20(%rax), %rax
movq %rax, -0xa0(%rbp)
movq -0x10(%rbp), %rdi
movl -0x14(%rbp), %edx
movl $0x5, %esi
callq 0x334d0
movq -0xa8(%rbp), %rdi
movq -0xa0(%rbp), %rsi
movq %rax, %rcx
movb -0x31(%rbp), %al
movq -0x48(%rbp), %r9
movl $0x5, %edx
movzbl %al, %r8d
callq 0x34340
jmp 0x33e7b
movq -0x10(%rbp), %rax
movq %rax, -0xc8(%rbp)
movq -0x10(%rbp), %rax
movq 0x20(%rax), %rax
movq %rax, -0xc0(%rbp)
movq -0x10(%rbp), %rdi
movl -0x14(%rbp), %edx
movl $0x9, %esi
callq 0x334d0
movq -0xc8(%rbp), %rdi
movq -0xc0(%rbp), %rsi
movq %rax, %rcx
movl $0x9, %edx
leaq 0x42c3b(%rip), %r8      # 0x76a6b
callq 0x33720
movq -0x10(%rbp), %rax
movq %rax, -0xb8(%rbp)
movq -0x10(%rbp), %rax
movq 0x20(%rax), %rax
movq %rax, -0xb0(%rbp)
movq -0x10(%rbp), %rdi
movb -0x31(%rbp), %al
movl -0x14(%rbp), %edx
movzbl %al, %esi
callq 0x334d0
movq -0xb8(%rbp), %rdi
movq -0xb0(%rbp), %rsi
movq %rax, %rdx
movq -0x30(%rbp), %rcx
callq 0x33600
movb -0x31(%rbp), %al
movb %al, -0x1(%rbp)
jmp 0x34331
movq -0x30(%rbp), %rax
cmpl $0x3, (%rax)
jne 0x33f22
cmpq $0x0, -0x28(%rbp)
je 0x33ed4
movq -0x30(%rbp), %rax
movq 0x58(%rax), %rcx
movq -0x28(%rbp), %rax
movq %rcx, 0x10(%rax)
movq -0x28(%rbp), %rax
movb $0x10, (%rax)
movq -0x10(%rbp), %rax
movq (%rax), %rdi
movq -0x20(%rbp), %rsi
movq -0x28(%rbp), %rax
movq 0x10(%rax), %rdx
callq 0x4d4f0
movq %rax, %rcx
movq -0x28(%rbp), %rax
movq %rcx, 0x8(%rax)
movq -0x10(%rbp), %rax
movq %rax, -0xd8(%rbp)
movq -0x10(%rbp), %rax
movq 0x20(%rax), %rax
movq %rax, -0xd0(%rbp)
movq -0x10(%rbp), %rdi
movl -0x14(%rbp), %edx
movl $0x9, %esi
callq 0x334d0
movq -0xd8(%rbp), %rdi
movq -0xd0(%rbp), %rsi
movq %rax, %rdx
movq -0x30(%rbp), %rcx
callq 0x32b90
movb $0x10, -0x1(%rbp)
jmp 0x34331
leaq 0x3f531(%rip), %rdi     # 0x7345a
leaq 0x46bd4(%rip), %rsi     # 0x7ab04
movl $0xd47, %edx            # imm = 0xD47
leaq 0x47621(%rip), %rcx     # 0x7b55d
callq 0x30a0
movq -0x20(%rbp), %rax
cmpl $0xe00, (%rax)          # imm = 0xE00
jne 0x34312
movq -0x20(%rbp), %rax
movb 0x60(%rax), %al
movb %al, -0x49(%rbp)
movq -0x20(%rbp), %rax
movq 0x68(%rax), %rax
movq %rax, -0x58(%rbp)
movq -0x10(%rbp), %rax
movq (%rax), %rdi
movq -0x20(%rbp), %rsi
movq -0x58(%rbp), %rdx
callq 0x4d4f0
movq %rax, -0x60(%rbp)
cmpq $0x0, -0x28(%rbp)
je 0x33fa7
movb -0x49(%rbp), %cl
movq -0x28(%rbp), %rax
movb %cl, (%rax)
movq -0x60(%rbp), %rcx
movq -0x28(%rbp), %rax
movq %rcx, 0x8(%rax)
movq -0x58(%rbp), %rcx
movq -0x28(%rbp), %rax
movq %rcx, 0x10(%rax)
movzbl -0x49(%rbp), %edi
callq 0x4d9e0
testb $0x1, %al
jne 0x33fb9
jmp 0x34148
leaq -0x70(%rbp), %rdi
callq 0x8c90
movq -0x10(%rbp), %rdi
movq -0x20(%rbp), %rdx
movl -0x14(%rbp), %ecx
leaq -0x70(%rbp), %rsi
callq 0x32e60
movzbl -0x49(%rbp), %eax
cmpl $0x5, %eax
jne 0x34059
movq -0x10(%rbp), %rax
movq %rax, -0xf0(%rbp)
movq -0x10(%rbp), %rax
movq 0x20(%rax), %rax
movq %rax, -0xe8(%rbp)
movq -0x10(%rbp), %rdi
movl -0x14(%rbp), %edx
movl $0x5, %esi
callq 0x334d0
movq %rax, -0xe0(%rbp)
cmpq $0x0, -0x68(%rbp)
jne 0x34028
leaq 0x41f20(%rip), %rax     # 0x75f3f
movq %rax, -0xf8(%rbp)
jmp 0x34033
movq -0x68(%rbp), %rax
movq %rax, -0xf8(%rbp)
movq -0xe0(%rbp), %rdx
movq -0xe8(%rbp), %rsi
movq -0xf0(%rbp), %rdi
movq -0xf8(%rbp), %rcx
callq 0x344a0
jmp 0x3413a
movq -0x10(%rbp), %rdi
movb -0x49(%rbp), %al
movl -0x14(%rbp), %edx
movzbl %al, %esi
callq 0x334d0
movq %rax, -0x78(%rbp)
movq -0x10(%rbp), %rax
movq %rax, -0x118(%rbp)
movq -0x10(%rbp), %rax
movq 0x20(%rax), %rax
movq %rax, -0x110(%rbp)
movb -0x49(%rbp), %al
movb %al, -0x101(%rbp)
movq -0x78(%rbp), %rax
movq %rax, -0x100(%rbp)
cmpq $0x0, -0x68(%rbp)
jne 0x340b4
leaq 0x41e94(%rip), %rax     # 0x75f3f
movq %rax, -0x120(%rbp)
jmp 0x340bf
movq -0x68(%rbp), %rax
movq %rax, -0x120(%rbp)
movq -0x100(%rbp), %rcx
movb -0x101(%rbp), %al
movq -0x110(%rbp), %rsi
movq -0x118(%rbp), %rdi
movq -0x120(%rbp), %r8
movzbl %al, %edx
callq 0x33720
movq -0x10(%rbp), %rax
movq %rax, -0x130(%rbp)
movq -0x10(%rbp), %rax
movq 0x20(%rax), %rax
movq %rax, -0x128(%rbp)
movq -0x10(%rbp), %rdi
movl -0x14(%rbp), %edx
movl $0x5, %esi
callq 0x334d0
movq -0x130(%rbp), %rdi
movq -0x128(%rbp), %rsi
movq %rax, %rcx
movb -0x49(%rbp), %al
movq -0x78(%rbp), %r9
movl $0x5, %edx
movzbl %al, %r8d
callq 0x34340
leaq -0x70(%rbp), %rdi
callq 0x9310
jmp 0x3430a
movzbl -0x49(%rbp), %eax
cmpl $0x9, %eax
jne 0x341fe
leaq -0x88(%rbp), %rdi
callq 0x8c90
movq -0x10(%rbp), %rdi
movq -0x20(%rbp), %rdx
movl -0x14(%rbp), %ecx
leaq -0x88(%rbp), %rsi
callq 0x32e60
movq -0x10(%rbp), %rax
movq %rax, -0x148(%rbp)
movq -0x10(%rbp), %rax
movq 0x20(%rax), %rax
movq %rax, -0x140(%rbp)
movq -0x10(%rbp), %rdi
movl -0x14(%rbp), %edx
movl $0x9, %esi
callq 0x334d0
movq %rax, -0x138(%rbp)
cmpq $0x0, -0x80(%rbp)
jne 0x341c1
leaq 0x41d87(%rip), %rax     # 0x75f3f
movq %rax, -0x150(%rbp)
jmp 0x341cc
movq -0x80(%rbp), %rax
movq %rax, -0x150(%rbp)
movq -0x138(%rbp), %rdx
movq -0x140(%rbp), %rsi
movq -0x148(%rbp), %rdi
movq -0x150(%rbp), %rcx
callq 0x344a0
leaq -0x88(%rbp), %rdi
callq 0x9310
jmp 0x34308
movq -0x10(%rbp), %rax
movq %rax, -0x180(%rbp)
movq -0x10(%rbp), %rax
movq 0x20(%rax), %rax
movq %rax, -0x178(%rbp)
movq -0x10(%rbp), %rdi
movl -0x14(%rbp), %edx
movl $0x9, %esi
callq 0x334d0
movq -0x180(%rbp), %rdi
movq -0x178(%rbp), %rsi
movq %rax, %rcx
movl $0x9, %edx
leaq 0x42825(%rip), %r8      # 0x76a6b
callq 0x33720
leaq -0x98(%rbp), %rdi
callq 0x8c90
movq -0x10(%rbp), %rdi
movq -0x20(%rbp), %rdx
movl -0x14(%rbp), %ecx
leaq -0x98(%rbp), %rsi
callq 0x32e60
movq -0x10(%rbp), %rax
movq %rax, -0x170(%rbp)
movq -0x10(%rbp), %rax
movq 0x20(%rax), %rax
movq %rax, -0x168(%rbp)
movb -0x49(%rbp), %al
movb %al, -0x159(%rbp)
movq -0x10(%rbp), %rdi
movb -0x49(%rbp), %al
movl -0x14(%rbp), %edx
movzbl %al, %esi
callq 0x334d0
movq %rax, -0x158(%rbp)
cmpq $0x0, -0x90(%rbp)
jne 0x342c4
leaq 0x41c84(%rip), %rax     # 0x75f3f
movq %rax, -0x188(%rbp)
jmp 0x342d2
movq -0x90(%rbp), %rax
movq %rax, -0x188(%rbp)
movq -0x158(%rbp), %rcx
movb -0x159(%rbp), %al
movq -0x168(%rbp), %rsi
movq -0x170(%rbp), %rdi
movq -0x188(%rbp), %r8
movzbl %al, %edx
callq 0x33720
leaq -0x98(%rbp), %rdi
callq 0x9310
jmp 0x3430a
movb -0x49(%rbp), %al
movb %al, -0x1(%rbp)
jmp 0x34331
leaq 0x3f141(%rip), %rdi     # 0x7345a
leaq 0x467e4(%rip), %rsi     # 0x7ab04
movl $0xd9f, %edx            # imm = 0xD9F
leaq 0x47231(%rip), %rcx     # 0x7b55d
callq 0x30a0
movb -0x1(%rbp), %al
addq $0x190, %rsp            # imm = 0x190
popq %rbp
retq
nopl (%rax)