// File: /workspace/github_cpp_makefile_star2_O1/devaigergely81[P]flex-bison-example/type_checker_implementation.cc
// Function: binop_expression::get_type() const
type binop_expression::get_type() const {
    if(op == "=") {
        if(left->get_type() != right->get_type()) {
            error(line, "Left and right operands of '=' have different types.");
        }
    } else {
        if(left->get_type() != operand_type(op)) {
            error(line, std::string("Left operand of '") + op + "' has unexpected type.");
        }
        if(right->get_type() != operand_type(op)) {
            error(line, std::string("Right operand of '") + op + "' has unexpected type.");
        }
    }
    return return_type(op);
}

// Assembly:
pushq %rbp
movq %rsp, %rbp
pushq %r15
pushq %r14
pushq %r13
pushq %r12
pushq %rbx
subq $0x108, %rsp            # imm = 0x108
movq %rdi, %rbx
addq $0x10, %rdi
leaq 0x4fb8(%rip), %rsi      # 0xce10
callq 0x30b0
movl %eax, %r15d
movq 0x30(%rbx), %rdi
movq (%rdi), %rax
callq *(%rax)
movl %eax, %r14d
testl %r15d, %r15d
je 0x7f1f
leaq -0x118(%rbp), %r13
movq %r13, -0x10(%r13)
movq 0x10(%rbx), %rsi
movq 0x18(%rbx), %rdx
addq %rsi, %rdx
leaq -0x128(%rbp), %r12
movq %r12, %rdi
callq 0x52f4
movq %r12, %rdi
callq 0x7cf8
movl %eax, %r15d
movq (%r12), %rdi
cmpq %r13, %rdi
je 0x7ebd
movq -0x118(%rbp), %rsi
incq %rsi
callq 0x3240
cmpl %r15d, %r14d
je 0x8054
movl 0x8(%rbx), %r14d
leaq -0x58(%rbp), %r15
movq %r15, -0x10(%r15)
leaq 0x5094(%rip), %rsi      # 0xcf6d
leaq 0x509e(%rip), %rdx      # 0xcf7e
leaq -0x68(%rbp), %rdi
callq 0x525a
movq 0x10(%rbx), %rsi
movq 0x18(%rbx), %rdx
leaq -0x68(%rbp), %rdi
callq 0x30c0
leaq -0x38(%rbp), %r12
movq %r12, -0x10(%r12)
movq (%rax), %rdx
movq %rax, %rcx
addq $0x10, %rcx
cmpq %rcx, %rdx
je 0x7f85
movq %rdx, -0x48(%rbp)
movq (%rcx), %rdx
movq %rdx, -0x38(%rbp)
jmp 0x7f8d
movq 0x38(%rbx), %rdi
movq (%rdi), %rax
callq *(%rax)
cmpl %eax, %r14d
je 0x81d0
movl 0x8(%rbx), %r14d
leaq -0xb8(%rbp), %r12
movq %r12, -0x10(%r12)
leaq 0x4ff0(%rip), %rsi      # 0xcf38
leaq 0x501d(%rip), %rdx      # 0xcf6c
leaq -0xc8(%rbp), %r15
movq %r15, %rdi
callq 0x525a
movl %r14d, %edi
movq %r15, %rsi
callq 0x73ec
movq -0xc8(%rbp), %rdi
cmpq %r12, %rdi
je 0x81d0
movq -0xb8(%rbp), %rsi
jmp 0x81c8
movups (%rcx), %xmm0
movups %xmm0, (%r12)
movq 0x8(%rax), %rdx
leaq -0x48(%rbp), %rdi
movq %rdx, 0x8(%rdi)
movq %rcx, (%rax)
movq $0x0, 0x8(%rax)
movb $0x0, 0x10(%rax)
leaq 0x4fd0(%rip), %rsi      # 0xcf7f
callq 0x33e0
leaq -0x98(%rbp), %r13
movq %r13, -0x10(%r13)
movq (%rax), %rdx
movq %rax, %rcx
addq $0x10, %rcx
cmpq %rcx, %rdx
je 0x7fe1
movq %rdx, -0xa8(%rbp)
movq (%rcx), %rdx
movq %rdx, -0x98(%rbp)
jmp 0x7fe9
movups (%rcx), %xmm0
movups %xmm0, (%r13)
movq 0x8(%rax), %rdx
leaq -0xa8(%rbp), %rsi
movq %rdx, 0x8(%rsi)
movq %rcx, (%rax)
movq $0x0, 0x8(%rax)
movb $0x0, 0x10(%rax)
movl %r14d, %edi
callq 0x73ec
movq -0xa8(%rbp), %rdi
cmpq %r13, %rdi
je 0x802a
movq -0x98(%rbp), %rsi
incq %rsi
callq 0x3240
movq -0x48(%rbp), %rdi
cmpq %r12, %rdi
je 0x803f
movq -0x38(%rbp), %rsi
incq %rsi
callq 0x3240
movq -0x68(%rbp), %rdi
cmpq %r15, %rdi
je 0x8054
movq -0x58(%rbp), %rsi
incq %rsi
callq 0x3240
movq 0x38(%rbx), %rdi
movq (%rdi), %rax
callq *(%rax)
movl %eax, %r14d
leaq -0xf8(%rbp), %r13
movq %r13, -0x10(%r13)
movq 0x10(%rbx), %rsi
movq 0x18(%rbx), %rdx
addq %rsi, %rdx
leaq -0x108(%rbp), %r12
movq %r12, %rdi
callq 0x52f4
movq %r12, %rdi
callq 0x7cf8
movl %eax, %r15d
movq (%r12), %rdi
cmpq %r13, %rdi
je 0x80a8
movq -0xf8(%rbp), %rsi
incq %rsi
callq 0x3240
cmpl %r15d, %r14d
je 0x81d0
movl 0x8(%rbx), %r14d
leaq -0x58(%rbp), %r15
movq %r15, -0x10(%r15)
leaq 0x4ed2(%rip), %rsi      # 0xcf96
leaq 0x4edd(%rip), %rdx      # 0xcfa8
leaq -0x68(%rbp), %rdi
callq 0x525a
movq 0x10(%rbx), %rsi
movq 0x18(%rbx), %rdx
leaq -0x68(%rbp), %rdi
callq 0x30c0
leaq -0x38(%rbp), %r12
movq %r12, -0x10(%r12)
movq (%rax), %rdx
movq %rax, %rcx
addq $0x10, %rcx
cmpq %rcx, %rdx
je 0x810a
movq %rdx, -0x48(%rbp)
movq (%rcx), %rdx
movq %rdx, -0x38(%rbp)
jmp 0x8112
movups (%rcx), %xmm0
movups %xmm0, (%r12)
movq 0x8(%rax), %rdx
leaq -0x48(%rbp), %rdi
movq %rdx, 0x8(%rdi)
movq %rcx, (%rax)
movq $0x0, 0x8(%rax)
movb $0x0, 0x10(%rax)
leaq 0x4e4b(%rip), %rsi      # 0xcf7f
callq 0x33e0
leaq -0x78(%rbp), %r13
movq %r13, -0x10(%r13)
movq (%rax), %rdx
movq %rax, %rcx
addq $0x10, %rcx
cmpq %rcx, %rdx
je 0x8160
movq %rdx, -0x88(%rbp)
movq (%rcx), %rdx
movq %rdx, -0x78(%rbp)
jmp 0x8168
movups (%rcx), %xmm0
movups %xmm0, (%r13)
movq 0x8(%rax), %rdx
leaq -0x88(%rbp), %rsi
movq %rdx, 0x8(%rsi)
movq %rcx, (%rax)
movq $0x0, 0x8(%rax)
movb $0x0, 0x10(%rax)
movl %r14d, %edi
callq 0x73ec
movq -0x88(%rbp), %rdi
cmpq %r13, %rdi
je 0x81a6
movq -0x78(%rbp), %rsi
incq %rsi
callq 0x3240
movq -0x48(%rbp), %rdi
cmpq %r12, %rdi
je 0x81bb
movq -0x38(%rbp), %rsi
incq %rsi
callq 0x3240
movq -0x68(%rbp), %rdi
cmpq %r15, %rdi
je 0x81d0
movq -0x58(%rbp), %rsi
incq %rsi
callq 0x3240
leaq -0xd8(%rbp), %r15
movq %r15, -0x10(%r15)
movq 0x10(%rbx), %rsi
movq 0x18(%rbx), %rdx
addq %rsi, %rdx
leaq -0xe8(%rbp), %r14
movq %r14, %rdi
callq 0x52f4
movq %r14, %rdi
callq 0x7dc1
movl %eax, %ebx
movq (%r14), %rdi
cmpq %r15, %rdi
je 0x8216
movq -0xd8(%rbp), %rsi
incq %rsi
callq 0x3240
movl %ebx, %eax
addq $0x108, %rsp            # imm = 0x108
popq %rbx
popq %r12
popq %r13
popq %r14
popq %r15
popq %rbp
retq
movq %rax, %rbx
movq -0xc8(%rbp), %rdi
cmpq %r12, %rdi
je 0x82b4
movq -0xb8(%rbp), %rsi
jmp 0x82a7
movq %rax, %rbx
movq -0x88(%rbp), %rdi
cmpq %r13, %rdi
je 0x8280
movq -0x78(%rbp), %rsi
jmp 0x8271
jmp 0x827d
jmp 0x8297
movq %rax, %rbx
movq -0xa8(%rbp), %rdi
cmpq %r13, %rdi
je 0x8280
movq -0x98(%rbp), %rsi
incq %rsi
callq 0x3240
jmp 0x8280
jmp 0x82b1
movq %rax, %rbx
movq -0x48(%rbp), %rdi
cmpq %r12, %rdi
je 0x829a
movq -0x38(%rbp), %rsi
incq %rsi
callq 0x3240
jmp 0x829a
movq %rax, %rbx
movq -0x68(%rbp), %rdi
cmpq %r15, %rdi
je 0x82b4
movq -0x58(%rbp), %rsi
incq %rsi
callq 0x3240
jmp 0x82b4
movq %rax, %rbx
movq %rbx, %rdi
callq 0x3380