// File: /workspace/github_c_makefile_star2_O0/Ihsoh[P]ilang/compiler/backend/semantics.c
// Function: check_expr_mul_operands
static void _check_expr_mul_operands(
	ParserContext *ctx,
	ParserASTNode *node,
	ParserASTNode *node_oprd1,
	ParserASTNode *node_oprd2,
	const char *operator,
	bool set_type
) {
	assert(ctx);
	assert(node);
	assert(node_oprd1);
	assert(node_oprd2);
	assert(operator);

	if (!_is_number_type_node(ctx, node_oprd1)
			|| !_is_number_type_node(ctx, node_oprd2)) {
		_SYNERR_NODE(
			ctx, node, "binary operator '+' and '-' need number type operand."
		);
	}

	if (set_type) {
		int32_t weight_oprd1_type = _get_primitive_type_weight_by_expr_node(ctx, node_oprd1);
		int32_t weight_oprd2_type = _get_primitive_type_weight_by_expr_node(ctx, node_oprd2);
		if (weight_oprd1_type > weight_oprd2_type) {
			BE_EXPR_AST_NODE_COPY(node, node_oprd1);
		} else {
			BE_EXPR_AST_NODE_COPY(node, node_oprd2);
		}
	}
}

// Assembly:
pushq %rbp
movq %rsp, %rbp
subq $0x440, %rsp            # imm = 0x440
movb %r9b, %al
movq %rdi, -0x8(%rbp)
movq %rsi, -0x10(%rbp)
movq %rdx, -0x18(%rbp)
movq %rcx, -0x20(%rbp)
movq %r8, -0x28(%rbp)
andb $0x1, %al
movb %al, -0x29(%rbp)
cmpq $0x0, -0x8(%rbp)
je 0x58b80
jmp 0x58b9f
leaq 0x275da(%rip), %rdi     # 0x80161
leaq 0x29cf2(%rip), %rsi     # 0x82880
movl $0xae6, %edx            # imm = 0xAE6
leaq 0x2acc0(%rip), %rcx     # 0x8385a
callq 0x30a0
cmpq $0x0, -0x10(%rbp)
je 0x58ba8
jmp 0x58bc7
leaq 0x1d9ad(%rip), %rdi     # 0x7655c
leaq 0x29cca(%rip), %rsi     # 0x82880
movl $0xae7, %edx            # imm = 0xAE7
leaq 0x2ac98(%rip), %rcx     # 0x8385a
callq 0x30a0
cmpq $0x0, -0x18(%rbp)
je 0x58bd0
jmp 0x58bef
leaq 0x2ab7e(%rip), %rdi     # 0x83755
leaq 0x29ca2(%rip), %rsi     # 0x82880
movl $0xae8, %edx            # imm = 0xAE8
leaq 0x2ac70(%rip), %rcx     # 0x8385a
callq 0x30a0
cmpq $0x0, -0x20(%rbp)
je 0x58bf8
jmp 0x58c17
leaq 0x2ab61(%rip), %rdi     # 0x83760
leaq 0x29c7a(%rip), %rsi     # 0x82880
movl $0xae9, %edx            # imm = 0xAE9
leaq 0x2ac48(%rip), %rcx     # 0x8385a
callq 0x30a0
cmpq $0x0, -0x28(%rbp)
je 0x58c20
jmp 0x58c3f
leaq 0x2ab44(%rip), %rdi     # 0x8376b
leaq 0x29c52(%rip), %rsi     # 0x82880
movl $0xaea, %edx            # imm = 0xAEA
leaq 0x2ac20(%rip), %rcx     # 0x8385a
callq 0x30a0
movq -0x8(%rbp), %rdi
movq -0x18(%rbp), %rsi
callq 0x564b0
testb $0x1, %al
jne 0x58c52
jmp 0x58c63
movq -0x8(%rbp), %rdi
movq -0x20(%rbp), %rsi
callq 0x564b0
testb $0x1, %al
jne 0x58c91
leaq -0x430(%rbp), %rdi
leaq 0x2ac60(%rip), %rsi     # 0x838d1
movb $0x0, %al
callq 0x3160
movq -0x8(%rbp), %rax
movq 0x58(%rax), %rax
movq -0x8(%rbp), %rdi
movq -0x10(%rbp), %rsi
leaq -0x430(%rbp), %rdx
callq *%rax
testb $0x1, -0x29(%rbp)
je 0x58d03
movq -0x8(%rbp), %rdi
movq -0x18(%rbp), %rsi
callq 0x50e40
movl %eax, -0x434(%rbp)
movq -0x8(%rbp), %rdi
movq -0x20(%rbp), %rsi
callq 0x50e40
movl %eax, -0x438(%rbp)
movl -0x434(%rbp), %eax
cmpl -0x438(%rbp), %eax
jle 0x58ce7
movq -0x10(%rbp), %rdi
addq $0x60, %rdi
movq -0x18(%rbp), %rsi
addq $0x60, %rsi
movl $0x30, %edx
callq 0x3110
jmp 0x58d01
movq -0x10(%rbp), %rdi
addq $0x60, %rdi
movq -0x20(%rbp), %rsi
addq $0x60, %rsi
movl $0x30, %edx
callq 0x3110
jmp 0x58d03
addq $0x440, %rsp            # imm = 0x440
popq %rbp
retq
nopl (%rax)