// File: acliusBackHome[P]kamaya/dist/ParseExpression.cpp
// Function: ParseExpression::get_ret_type() const
const ParseType &ParseExpression::get_ret_type() const {
    if (ret_type_id != (size_t) -1) {
        return ParseType::get_type(ret_type_id);
    }
    // -1表示未经过计算
    switch (expr_type) {
        case E_ADD:
        case E_SUB:
        case E_MUL:
        case E_DIV:
        case E_MOD:
        case E_POW: {
            size_t &ret_cache = (((ParseExpression *) this)->ret_type_id);
            try {
                ret_cache = ParseType::convert(expr_type,
                                               get_expression(child[0]).get_ret_type(),
                                               get_expression(child[1]).get_ret_type()
                );
            } catch (ParseException &exc) {
                string info = "in ParseExpression::get_ret_type()";
                info += " expr=" + to_string(get_id());
                exc.push_trace(info);
                throw exc;
            }
            return ParseType::get_type(ret_cache);
        }
        case E_CONST: {
            size_t &ret_cache = (((ParseExpression *) this)->ret_type_id);
            ret_cache = ParseType(*((ParseConstant *) child[0])).get_id();
            return ParseType::get_type(ret_cache);
        }
        case E_VAR: {
            size_t &ret_cache = (((ParseExpression *) this)->ret_type_id);
            ret_cache = ((ParseVariable *) child[0])->get_type().get_id();
            return ParseType::get_type(ret_cache);
        }
        case E_ADR:
        case E_PTR:
        case E_NEG:
        case E_POS:
        case E_BIT_NOT:
        case E_NOT: {
            size_t &ret_cache = (((ParseExpression *) this)->ret_type_id);
            ret_cache = get_expression(child[0]).get_ret_type().get_id();
            return ParseType::get_type(ret_cache);
        }
        case E_GET_ITEM : {
            size_t &ret_cache = (((ParseExpression *) this)->ret_type_id);
            ret_cache = get_expression(child[0]).get_ret_type().get_lower_type().get_id();
            break;
        }
        case E_LOGIC_OR:
        case E_LOGIC_AND:
        case E_G:
        case E_GE:
        case E_EQUAL:
        case E_NE:
        case E_L:
        case E_LE: {
            size_t &ret_cache = (((ParseExpression *) this)->ret_type_id);
            ret_cache = T_BOOL;
            return ParseType::get_type(ret_cache);
        }
        case E_ASSIGN: {
            size_t &ret_cache = (((ParseExpression *) this)->ret_type_id);
            ret_cache = ParseType::convert(E_ASSIGN,
                                           get_expression(child[0]).get_ret_type(),
                                           get_expression(child[1]).get_ret_type());
            return ParseType::get_type(ret_cache);
        }
        case E_UNDEFINED:
            break;
        case E_FUN: {
            size_t &ret_cache = (((ParseExpression *) this)->ret_type_id);
            const DecFuncPtrList &fun_ptrs = *(DecFuncPtrList *)(child[0]);
            ret_cache = (fun_ptrs[0])->get_ret_type().get_id();
            return ParseType::get_type(ret_cache);
        }
    }
    ((ParseExpression *) this)->ret_type_id = 0;
    return ParseType::get_type(T_UNKNOWN);
}

// Assembly:
pushq %rbp
movq %rsp, %rbp
subq $0x210, %rsp            # imm = 0x210
movq %rdi, -0x10(%rbp)
movq -0x10(%rbp), %rax
movq %rax, -0x188(%rbp)
cmpq $-0x1, 0x20(%rax)
je 0x6183a
movq -0x188(%rbp), %rax
movq 0x20(%rax), %rdi
callq 0x56e60
movq %rax, -0x8(%rbp)
jmp 0x61dd7
movq -0x188(%rbp), %rax
movl 0x28(%rax), %eax
movq %rax, -0x190(%rbp)
subq $0x19, %rax
ja 0x61dbb
movq -0x190(%rbp), %rax
leaq 0x2e845(%rip), %rcx     # 0x900a8
movslq (%rcx,%rax,4), %rax
addq %rcx, %rax
jmpq *%rax
movq -0x188(%rbp), %rax
movq %rax, %rcx
addq $0x20, %rcx
movq %rcx, -0x18(%rbp)
movl 0x28(%rax), %ecx
movl %ecx, -0x19c(%rbp)
movq (%rax), %rdi
callq 0x60f30
movq %rax, -0x198(%rbp)
jmp 0x61898
movq -0x198(%rbp), %rdi
callq 0x61800
movq %rax, -0x1a8(%rbp)
jmp 0x618ad
movq -0x188(%rbp), %rax
movq 0x8(%rax), %rdi
callq 0x60f30
movq %rax, -0x1b0(%rbp)
jmp 0x618c6
movq -0x1b0(%rbp), %rdi
callq 0x61800
movq %rax, -0x1b8(%rbp)
jmp 0x618db
movq -0x1b8(%rbp), %rdx
movq -0x1a8(%rbp), %rsi
movl -0x19c(%rbp), %edi
callq 0x586f0
movq %rax, -0x1c0(%rbp)
jmp 0x618fd
movq -0x1c0(%rbp), %rcx
movq -0x18(%rbp), %rax
movq %rcx, (%rax)
jmp 0x61a86
movq %rax, %rcx
movl %edx, %eax
movq %rcx, -0x20(%rbp)
movl %eax, -0x24(%rbp)
movl -0x24(%rbp), %eax
movl $0x1, %ecx
cmpl %ecx, %eax
jne 0x61de4
movq -0x20(%rbp), %rdi
callq 0x4170
movq %rax, -0x30(%rbp)
leaq -0x51(%rbp), %rdi
movq %rdi, -0x1c8(%rbp)
callq 0x45f0
movq -0x1c8(%rbp), %rdx
leaq 0x2ec82(%rip), %rsi     # 0x905d9
leaq -0x50(%rbp), %rdi
callq 0x4450
jmp 0x61962
leaq -0x51(%rbp), %rdi
callq 0x4380
movq -0x188(%rbp), %rdi
callq 0x63810
movq %rax, -0x1d0(%rbp)
jmp 0x61980
movq -0x1d0(%rbp), %rsi
leaq -0x98(%rbp), %rdi
callq 0x15db0
jmp 0x61995
leaq 0x2eb31(%rip), %rsi     # 0x904cd
leaq -0x78(%rbp), %rdi
leaq -0x98(%rbp), %rdx
callq 0x15d60
jmp 0x619ae
leaq -0x50(%rbp), %rdi
leaq -0x78(%rbp), %rsi
callq 0x43f0
jmp 0x619bd
leaq -0x78(%rbp), %rdi
callq 0x4688
leaq -0x98(%rbp), %rdi
callq 0x4688
movq -0x30(%rbp), %rdi
leaq -0x50(%rbp), %rsi
callq 0x74530
jmp 0x619e1
movl $0x28, %edi
callq 0x41c0
movq %rax, %rdi
movq %rdi, -0x1d8(%rbp)
movq -0x30(%rbp), %rsi
callq 0x74640
movq -0x1d8(%rbp), %rdi
leaq 0x64344(%rip), %rsi     # 0xc5d50
leaq -0x4bb83(%rip), %rdx    # 0x15e90
callq 0x45b0
jmp 0x61df5
movq %rax, %rcx
movl %edx, %eax
movq %rcx, -0x20(%rbp)
movl %eax, -0x24(%rbp)
leaq -0x51(%rbp), %rdi
callq 0x4380
jmp 0x61a7a
movq %rax, %rcx
movl %edx, %eax
movq %rcx, -0x20(%rbp)
movl %eax, -0x24(%rbp)
jmp 0x61a71
movq %rax, %rcx
movl %edx, %eax
movq %rcx, -0x20(%rbp)
movl %eax, -0x24(%rbp)
jmp 0x61a65
movq %rax, %rcx
movl %edx, %eax
movq %rcx, -0x20(%rbp)
movl %eax, -0x24(%rbp)
leaq -0x78(%rbp), %rdi
callq 0x4688
leaq -0x98(%rbp), %rdi
callq 0x4688
leaq -0x50(%rbp), %rdi
callq 0x4688
callq 0x4570
jmp 0x61a81
jmp 0x61de4
movq -0x18(%rbp), %rax
movq (%rax), %rdi
callq 0x56e60
movq %rax, -0x8(%rbp)
jmp 0x61dd7
movq -0x188(%rbp), %rax
movq %rax, %rcx
addq $0x20, %rcx
movq %rcx, -0xa0(%rbp)
movq (%rax), %rsi
leaq -0xd8(%rbp), %rdi
movq %rdi, -0x1e8(%rbp)
callq 0x562b0
movq -0x1e8(%rbp), %rdi
callq 0x56260
movq %rax, -0x1e0(%rbp)
jmp 0x61adb
movq -0x1e0(%rbp), %rcx
movq -0xa0(%rbp), %rax
movq %rcx, (%rax)
leaq -0xd8(%rbp), %rdi
callq 0x57350
movq -0xa0(%rbp), %rax
movq (%rax), %rdi
callq 0x56e60
movq %rax, -0x8(%rbp)
jmp 0x61dd7
movq %rax, %rcx
movl %edx, %eax
movq %rcx, -0x20(%rbp)
movl %eax, -0x24(%rbp)
leaq -0xd8(%rbp), %rdi
callq 0x57350
jmp 0x61de4
movq -0x188(%rbp), %rax
movq %rax, %rcx
addq $0x20, %rcx
movq %rcx, -0xe0(%rbp)
movq (%rax), %rdi
callq 0x68730
movq %rax, %rdi
callq 0x56260
movq %rax, %rcx
movq -0xe0(%rbp), %rax
movq %rcx, (%rax)
movq -0xe0(%rbp), %rax
movq (%rax), %rdi
callq 0x56e60
movq %rax, -0x8(%rbp)
jmp 0x61dd7
movq -0x188(%rbp), %rax
movq %rax, %rcx
addq $0x20, %rcx
movq %rcx, -0xe8(%rbp)
movq (%rax), %rdi
callq 0x60f30
movq %rax, %rdi
callq 0x61800
movq %rax, %rdi
callq 0x56260
movq %rax, %rcx
movq -0xe8(%rbp), %rax
movq %rcx, (%rax)
movq -0xe8(%rbp), %rax
movq (%rax), %rdi
callq 0x56e60
movq %rax, -0x8(%rbp)
jmp 0x61dd7
movq -0x188(%rbp), %rax
movq %rax, %rcx
addq $0x20, %rcx
movq %rcx, -0xf0(%rbp)
movq (%rax), %rdi
callq 0x60f30
movq %rax, %rdi
callq 0x61800
movq %rax, %rsi
leaq -0x128(%rbp), %rdi
movq %rdi, -0x1f8(%rbp)
callq 0x59120
movq -0x1f8(%rbp), %rdi
callq 0x56260
movq %rax, -0x1f0(%rbp)
jmp 0x61c19
movq -0x1f0(%rbp), %rcx
movq -0xf0(%rbp), %rax
movq %rcx, (%rax)
leaq -0x128(%rbp), %rdi
callq 0x57350
jmp 0x61dbb
movq %rax, %rcx
movl %edx, %eax
movq %rcx, -0x20(%rbp)
movl %eax, -0x24(%rbp)
leaq -0x128(%rbp), %rdi
callq 0x57350
jmp 0x61de4
movq -0x188(%rbp), %rax
addq $0x20, %rax
movq %rax, -0x130(%rbp)
movq -0x130(%rbp), %rax
movq $0x1, (%rax)
movq -0x130(%rbp), %rax
movq (%rax), %rdi
callq 0x56e60
movq %rax, -0x8(%rbp)
jmp 0x61dd7
movq -0x188(%rbp), %rax
movq %rax, %rcx
addq $0x20, %rcx
movq %rcx, -0x138(%rbp)
movq (%rax), %rdi
callq 0x60f30
movq %rax, %rdi
callq 0x61800
movq %rax, %rcx
movq -0x188(%rbp), %rax
movq %rcx, -0x200(%rbp)
movq 0x8(%rax), %rdi
callq 0x60f30
movq %rax, %rdi
callq 0x61800
movq -0x200(%rbp), %rsi
movq %rax, %rdx
movl $0x19, %edi
callq 0x586f0
movq %rax, %rcx
movq -0x138(%rbp), %rax
movq %rcx, (%rax)
movq -0x138(%rbp), %rax
movq (%rax), %rdi
callq 0x56e60
movq %rax, -0x8(%rbp)
jmp 0x61dd7
jmp 0x61dbb
movq -0x188(%rbp), %rax
movq %rax, %rcx
addq $0x20, %rcx
movq %rcx, -0x140(%rbp)
movq (%rax), %rax
movq %rax, -0x148(%rbp)
movq -0x148(%rbp), %rdi
xorl %eax, %eax
movl %eax, %esi
callq 0x16550
movq (%rax), %rsi
leaq -0x180(%rbp), %rdi
movq %rdi, -0x210(%rbp)
callq 0x68ac0
movq -0x210(%rbp), %rdi
callq 0x56260
movq %rax, -0x208(%rbp)
jmp 0x61d6f
movq -0x208(%rbp), %rcx
movq -0x140(%rbp), %rax
movq %rcx, (%rax)
leaq -0x180(%rbp), %rdi
callq 0x57350
movq -0x140(%rbp), %rax
movq (%rax), %rdi
callq 0x56e60
movq %rax, -0x8(%rbp)
jmp 0x61dd7
movq %rax, %rcx
movl %edx, %eax
movq %rcx, -0x20(%rbp)
movl %eax, -0x24(%rbp)
leaq -0x180(%rbp), %rdi
callq 0x57350
jmp 0x61de4
movq -0x188(%rbp), %rax
movq $0x0, 0x20(%rax)
xorl %eax, %eax
movl %eax, %edi
callq 0x56e60
movq %rax, -0x8(%rbp)
movq -0x8(%rbp), %rax
addq $0x210, %rsp            # imm = 0x210
popq %rbp
retq
movq -0x20(%rbp), %rdi
callq 0x45e0
movq %rax, %rdi
callq 0x16180
nopw %cs:(%rax,%rax)