// File: /workspace/github_cpp_makefile_star2_O3/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 0x5120(%rip), %rsi      # 0xce10
callq 0x30b0
movl %eax, %r15d
movq 0x30(%rbx), %rdi
movq (%rdi), %rax
callq *(%rax)
movl %eax, %r14d
testl %r15d, %r15d
je 0x7db7
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 0x527c
movq %r12, %rdi
callq 0x7b90
movl %eax, %r15d
movq (%r12), %rdi
cmpq %r13, %rdi
je 0x7d55
movq -0x118(%rbp), %rsi
incq %rsi
callq 0x3240
cmpl %r15d, %r14d
je 0x7eec
movl 0x8(%rbx), %r14d
leaq -0x58(%rbp), %r15
movq %r15, -0x10(%r15)
leaq 0x51fc(%rip), %rsi      # 0xcf6d
leaq 0x5206(%rip), %rdx      # 0xcf7e
leaq -0x68(%rbp), %rdi
callq 0x51de
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 0x7e1d
movq %rdx, -0x48(%rbp)
movq (%rcx), %rdx
movq %rdx, -0x38(%rbp)
jmp 0x7e25
movq 0x38(%rbx), %rdi
movq (%rdi), %rax
callq *(%rax)
cmpl %eax, %r14d
je 0x8068
movl 0x8(%rbx), %r14d
leaq -0xb8(%rbp), %r12
movq %r12, -0x10(%r12)
leaq 0x5158(%rip), %rsi      # 0xcf38
leaq 0x5185(%rip), %rdx      # 0xcf6c
leaq -0xc8(%rbp), %r15
movq %r15, %rdi
callq 0x51de
movl %r14d, %edi
movq %r15, %rsi
callq 0x7274
movq -0xc8(%rbp), %rdi
cmpq %r12, %rdi
je 0x8068
movq -0xb8(%rbp), %rsi
jmp 0x8060
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 0x5138(%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 0x7e79
movq %rdx, -0xa8(%rbp)
movq (%rcx), %rdx
movq %rdx, -0x98(%rbp)
jmp 0x7e81
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 0x7274
movq -0xa8(%rbp), %rdi
cmpq %r13, %rdi
je 0x7ec2
movq -0x98(%rbp), %rsi
incq %rsi
callq 0x3240
movq -0x48(%rbp), %rdi
cmpq %r12, %rdi
je 0x7ed7
movq -0x38(%rbp), %rsi
incq %rsi
callq 0x3240
movq -0x68(%rbp), %rdi
cmpq %r15, %rdi
je 0x7eec
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 0x527c
movq %r12, %rdi
callq 0x7b90
movl %eax, %r15d
movq (%r12), %rdi
cmpq %r13, %rdi
je 0x7f40
movq -0xf8(%rbp), %rsi
incq %rsi
callq 0x3240
cmpl %r15d, %r14d
je 0x8068
movl 0x8(%rbx), %r14d
leaq -0x58(%rbp), %r15
movq %r15, -0x10(%r15)
leaq 0x503a(%rip), %rsi      # 0xcf96
leaq 0x5045(%rip), %rdx      # 0xcfa8
leaq -0x68(%rbp), %rdi
callq 0x51de
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 0x7fa2
movq %rdx, -0x48(%rbp)
movq (%rcx), %rdx
movq %rdx, -0x38(%rbp)
jmp 0x7faa
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 0x4fb3(%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 0x7ff8
movq %rdx, -0x88(%rbp)
movq (%rcx), %rdx
movq %rdx, -0x78(%rbp)
jmp 0x8000
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 0x7274
movq -0x88(%rbp), %rdi
cmpq %r13, %rdi
je 0x803e
movq -0x78(%rbp), %rsi
incq %rsi
callq 0x3240
movq -0x48(%rbp), %rdi
cmpq %r12, %rdi
je 0x8053
movq -0x38(%rbp), %rsi
incq %rsi
callq 0x3240
movq -0x68(%rbp), %rdi
cmpq %r15, %rdi
je 0x8068
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 0x527c
movq %r14, %rdi
callq 0x7c59
movl %eax, %ebx
movq (%r14), %rdi
cmpq %r15, %rdi
je 0x80ae
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 0x814c
movq -0xb8(%rbp), %rsi
jmp 0x813f
movq %rax, %rbx
movq -0x88(%rbp), %rdi
cmpq %r13, %rdi
je 0x8118
movq -0x78(%rbp), %rsi
jmp 0x8109
jmp 0x8115
jmp 0x812f
movq %rax, %rbx
movq -0xa8(%rbp), %rdi
cmpq %r13, %rdi
je 0x8118
movq -0x98(%rbp), %rsi
incq %rsi
callq 0x3240
jmp 0x8118
jmp 0x8149
movq %rax, %rbx
movq -0x48(%rbp), %rdi
cmpq %r12, %rdi
je 0x8132
movq -0x38(%rbp), %rsi
incq %rsi
callq 0x3240
jmp 0x8132
movq %rax, %rbx
movq -0x68(%rbp), %rdi
cmpq %r15, %rdi
je 0x814c
movq -0x58(%rbp), %rsi
incq %rsi
callq 0x3240
jmp 0x814c
movq %rax, %rbx
movq %rbx, %rdi
callq 0x3380