// File: /workspace/github_cpp_makefile_star2_O2/kelwinfc[P]ci4721-Fernandez-Gyomrey/src/AST/check.cpp
// Function: AST_op::fill_and_check(symbol_table*)
void AST_op::fill_and_check(symbol_table* st){
    if ( left )
        left->fill_and_check(st);
    
    if ( right )
        right->fill_and_check(st);
    
    if ( !left || !right ){
        return;
    }
    
    // Ambos argumentos son invalidos
    if ( left->type == INVALID && right->type == INVALID ){
        type = INVALID;
        logger->error(line, column);
        return;
    }
    
    /* Un solo argumento invalido, tratar de validar el otro y colocar el valor
    * de la expresion segun el valor de ese argumento
    */
    else if ( left->type == INVALID || right->type == INVALID ){
        AST_expression* valido;
        char* nombre_valido;
        
        if ( left->type != INVALID ){
            valido = left;
            nombre_valido = (char*)"izquierdo";
        } else {
            valido = right;
            nombre_valido = (char*)"derecho";
        }
        
        switch( oper_type ){
            
            case MOD:
                
                type = INT;
                
                if ( valido->type != INT ){
                    logger->buf << "Operando '" << nombre_valido
                                << "' de tipo '" << types.types[valido->type]->name
                                << "', esperando int.";
                    logger->error(line, column);
                }
                break;
                
            /* Operadores aritmeticos: suma, resta, multiplicacion y division */
            case PLUS:
            case MINUS:
            case PROD:
            case DIV:
                
                if ( valido->type == INT
                     || valido->type == FLOAT
                   )
                {
                    type = valido->type;
                } else {
                    logger->buf << "Operando '" << nombre_valido
                                << "' de tipo '" << types.types[valido->type]->name
                                << "', esperando float o int.";
                    logger->error(line, column);
                }
                break;
            
            /* Operadores logicos: y, o, implica, consecuencia */
            case AND:
            case OR:
            case IMP:
            case CONSEQ:
                
                if ( valido->type == BOOLEAN ){
                    type = BOOLEAN;
                } else {
                    logger->buf << "Operando '" << nombre_valido
                                << "' de tipo '" << types.types[valido->type]->name
                                << "', esperando boolean.";
                    logger->error(line, column);
                }
                break;
            
            /* Operadores de comparación de igualdad: ==, != */
            case EQ:
            case UNEQ:
            
                type = BOOLEAN;
                break;
            
            /* Operadores de relación de orden: <, <=, >, >= */
            case LESS:
            case LESS_EQ:
            case GREAT:
            case GREAT_EQ:
            
                type = BOOLEAN;
                if (    valido->type != INT
                     && valido->type != FLOAT
                     && valido->type != CHAR
                   )
                {
                    logger->buf << "Operando '" << nombre_valido
                                << "' de tipo '" << types.types[valido->type]->name
                                << "', esperando float o int.";
                    logger->error(line, column);
                }
                break;
        }
        return;
    }
    
    /* else */
    
    // Ambos argumentos validos
    switch( oper_type ){
        
        case MOD:
            type = INT;
            
            if ( left->type != INT ){
                logger->buf << "Operando izquierdo de tipo '" << types.types[left->type]->name
                            << "', esperando int.";
                logger->error(line, column);
            } else if ( right->type != INT ) {
                logger->buf << "Operando derecho de tipo '" << types.types[right->type]->name
                            << "', esperando int.";
                logger->error(line, column);
            }
            
            break;
            
        /* Operadores aritmeticos: suma, resta, multiplicacion y division */
        case PLUS:
        case MINUS:
        case PROD:
        case DIV:
            
            if ( left->type == right->type ) {
                if ( left->type == INT || left->type == FLOAT )
                {
                    type = left->type;
                } else {
                    // Error de ambos argumentos con tipos invalidos
                    logger->buf << "Operando izquierdo de tipo '" << types.types[left->type]->name
                                << "', esperando float o int.";
                    logger->error(line, column);
                    
                    type = INVALID;
                }
                
            } else {
                // Argumento derecho con tipo invalido
                logger->buf << "Operandos de tipos incompatibles '"
                            << types.types[left->type]->name << "' y '"
                            << types.types[right->type]->name << "'";
                logger->error(line, column);
                type = INVALID;
            }
            break;
        
        /* Operadores logicos: y, o, implica, consecuencia */
        case AND:
        case OR:
        case IMP:
        case CONSEQ:
            
            if ( left->type == right->type )
            {
                type = BOOLEAN;
                if ( left->type != BOOLEAN )
                {
                    logger->buf << "Operandos de tipo '" << types.types[left->type]->name
                                << "', esperando boolean.";
                    logger->error(line, column);
                }
                
            } else {
                // Error de ambos argumentos con tipos invalidos
                logger->buf << "Operandos de tipos '"
                            << types.types[left->type]->name << "' y '"
                            << types.types[right->type]->name << "' esperados boolean.";
                logger->error(line, column);
            }
            
            break;
        
        /* Operadores de comparación de igualdad: ==, != */
        case EQ:
        case UNEQ:
            
            type = BOOLEAN;
            if ( left->type != right->type )
            {
                // Error de ambos argumentos con tipos invalidos
                logger->buf << "Operandos de tipos imcompratibles '"
                            << types.types[left->type]->name << "' y '"
                            << types.types[right->type]->name << "'";
                logger->error(line, column);
            }
            
            break;
        
        /* Operadores de relación de orden: <, <=, >, >= */
        case LESS:
        case LESS_EQ:
        case GREAT:
        case GREAT_EQ:
            
            type = BOOLEAN;
            
            if ( left->type == right->type )
            {
                if (    left->type != INT
                     && left->type != FLOAT
                     && left->type != CHAR
                   )
                {
                    // Error de ambos argumentos con tipos invalidos
                    logger->buf << "Operandos de tipos '"
                                << types.types[left->type]->name
                                << "' esperando float, int o char";
                    logger->error(line, column);
                }
                
            } else {
                // Error de ambos argumentos con tipos invalidos
                logger->buf << "Operandos de tipos imcompratibles '"
                            << types.types[left->type]->name << "' y '"
                            << types.types[right->type]->name << "'";
                logger->error(line, column);
            }
            
            break;
    }
}

// Assembly:
pushq %r15
pushq %r14
pushq %r12
pushq %rbx
pushq %rax
movq %rsi, %r14
movq %rdi, %rbx
movq 0x58(%rdi), %rdi
testq %rdi, %rdi
je 0x8cd2
movq (%rdi), %rax
movq %r14, %rsi
callq *0x8(%rax)
movq 0x60(%rbx), %rdi
testq %rdi, %rdi
je 0x8ce4
movq (%rdi), %rax
movq %r14, %rsi
callq *0x8(%rax)
movq 0x58(%rbx), %rcx
testq %rcx, %rcx
je 0x91db
movq 0x60(%rbx), %r15
testq %r15, %r15
je 0x91db
movl 0x10(%rcx), %edx
movl 0x10(%r15), %eax
cmpl $0x1, %edx
jne 0x8d25
cmpl $0x1, %eax
jne 0x8d38
movl $0x1, 0x10(%rbx)
leaq 0x2f6e3(%rip), %rax     # 0x38400
movq (%rax), %rdi
jmp 0x9235
cmpl $0x1, %eax
jne 0x8d6c
leaq 0x1a997(%rip), %r14     # 0x236c8
movl %edx, %eax
movq %rcx, %r15
jmp 0x8d3f
leaq 0x1c191(%rip), %r14     # 0x24ed0
movl 0x68(%rbx), %ecx
cmpq $0xe, %rcx
ja 0x91db
leaq 0x1a3b1(%rip), %rdx     # 0x23104
movslq (%rdx,%rcx,4), %rcx
addq %rdx, %rcx
jmpq *%rcx
leal -0x3(%rax), %ecx
cmpl $0x1, %ecx
ja 0x8dbc
movl %eax, 0x10(%rbx)
jmp 0x91db
movl 0x68(%rbx), %esi
cmpq $0xe, %rsi
ja 0x91db
leaq 0x1a348(%rip), %rdi     # 0x230c8
movslq (%rdi,%rsi,4), %rsi
addq %rdi, %rsi
jmpq *%rsi
cmpl %eax, %edx
jne 0x9044
leal -0x3(%rdx), %eax
cmpl $0x1, %eax
ja 0x917b
movl %edx, 0x10(%rbx)
jmp 0x91db
movl $0x6, 0x10(%rbx)
movl 0x10(%r15), %eax
addl $-0x3, %eax
cmpl $0x3, %eax
jb 0x91db
leaq 0x2f63d(%rip), %r12     # 0x38400
movq (%r12), %rdi
addq $0x48, %rdi
leaq 0x1a900(%rip), %rsi     # 0x236d2
callq 0x62b0
movq %rax, %rdi
movq %r14, %rsi
callq 0x62b0
leaq 0x1a8f4(%rip), %rsi     # 0x236dd
movq %rax, %rdi
callq 0x62b0
movslq 0x10(%r15), %rcx
leaq 0x2f60c(%rip), %rdx     # 0x38408
movq (%rdx), %rdx
movq (%rdx,%rcx,8), %rsi
addq $0x8, %rsi
movq %rax, %rdi
callq 0x62a0
leaq 0x1a8e5(%rip), %rsi     # 0x236fb
jmp 0x8fc1
cmpl $0x6, %eax
jne 0x8ef9
movl $0x6, 0x10(%rbx)
jmp 0x91db
cmpl %eax, %edx
jne 0x8fd2
movl $0x6, 0x10(%rbx)
cmpl $0x6, 0x10(%rcx)
je 0x91db
leaq 0x2f5b0(%rip), %r14     # 0x38400
movq (%r14), %rdi
addq $0x48, %rdi
leaq 0x1a92e(%rip), %rsi     # 0x2378c
callq 0x62b0
movq 0x58(%rbx), %rcx
movslq 0x10(%rcx), %rcx
leaq 0x2f596(%rip), %rdx     # 0x38408
movq (%rdx), %rdx
movq (%rdx,%rcx,8), %rsi
addq $0x8, %rsi
movq %rax, %rdi
callq 0x62a0
leaq 0x1a889(%rip), %rsi     # 0x23715
jmp 0x922a
movl $0x6, 0x10(%rbx)
movl 0x10(%rcx), %eax
cmpl 0x10(%r15), %eax
jne 0x90ca
addl $-0x3, %eax
cmpl $0x3, %eax
jb 0x91db
leaq 0x2f548(%rip), %r14     # 0x38400
movq (%r14), %rdi
addq $0x48, %rdi
leaq 0x1a8da(%rip), %rsi     # 0x237a0
callq 0x62b0
movq 0x58(%rbx), %rcx
movslq 0x10(%rcx), %rcx
leaq 0x2f52e(%rip), %rdx     # 0x38408
movq (%rdx), %rdx
movq (%rdx,%rcx,8), %rsi
addq $0x8, %rsi
movq %rax, %rdi
callq 0x62a0
leaq 0x1a8fa(%rip), %rsi     # 0x237ee
jmp 0x922a
leaq 0x2f500(%rip), %r12     # 0x38400
movq (%r12), %rdi
addq $0x48, %rdi
leaq 0x1a7c3(%rip), %rsi     # 0x236d2
callq 0x62b0
movq %rax, %rdi
movq %r14, %rsi
callq 0x62b0
leaq 0x1a7b7(%rip), %rsi     # 0x236dd
movq %rax, %rdi
callq 0x62b0
movslq 0x10(%r15), %rcx
leaq 0x2f4cf(%rip), %rdx     # 0x38408
movq (%rdx), %rdx
movq (%rdx,%rcx,8), %rsi
addq $0x8, %rsi
movq %rax, %rdi
callq 0x62a0
leaq 0x1a7c2(%rip), %rsi     # 0x23715
jmp 0x8fc1
movl $0x3, 0x10(%rbx)
cmpl $0x3, 0x10(%r15)
je 0x91db
leaq 0x2f492(%rip), %r12     # 0x38400
movq (%r12), %rdi
addq $0x48, %rdi
leaq 0x1a755(%rip), %rsi     # 0x236d2
callq 0x62b0
movq %rax, %rdi
movq %r14, %rsi
callq 0x62b0
leaq 0x1a749(%rip), %rsi     # 0x236dd
movq %rax, %rdi
callq 0x62b0
movslq 0x10(%r15), %rcx
leaq 0x2f461(%rip), %rdx     # 0x38408
movq (%rdx), %rdx
movq (%rdx,%rcx,8), %rsi
addq $0x8, %rsi
movq %rax, %rdi
callq 0x62a0
leaq 0x1a728(%rip), %rsi     # 0x236e9
movq %rax, %rdi
callq 0x62b0
movq (%r12), %rdi
jmp 0x9235
leaq 0x2f427(%rip), %r14     # 0x38400
movq (%r14), %rdi
addq $0x48, %rdi
leaq 0x1a7b9(%rip), %rsi     # 0x237a0
callq 0x62b0
movq 0x58(%rbx), %rcx
movslq 0x10(%rcx), %rcx
leaq 0x2f40d(%rip), %r15     # 0x38408
movq (%r15), %rdx
movq (%rdx,%rcx,8), %rsi
addq $0x8, %rsi
movq %rax, %rdi
callq 0x62a0
leaq 0x1a771(%rip), %rsi     # 0x23786
movq %rax, %rdi
callq 0x62b0
movq 0x60(%rbx), %rcx
movslq 0x10(%rcx), %rcx
movq (%r15), %rdx
movq (%rdx,%rcx,8), %rsi
addq $0x8, %rsi
movq %rax, %rdi
callq 0x62a0
leaq 0x1a776(%rip), %rsi     # 0x237b5
jmp 0x922a
leaq 0x2f3b5(%rip), %r14     # 0x38400
movq (%r14), %rdi
addq $0x48, %rdi
leaq 0x1a70a(%rip), %rsi     # 0x23763
callq 0x62b0
movq 0x58(%rbx), %rcx
movslq 0x10(%rcx), %rcx
leaq 0x2f39b(%rip), %r15     # 0x38408
movq (%r15), %rdx
movq (%rdx,%rcx,8), %rsi
addq $0x8, %rsi
movq %rax, %rdi
callq 0x62a0
leaq 0x1a6ff(%rip), %rsi     # 0x23786
movq %rax, %rdi
callq 0x62b0
movq 0x60(%rbx), %rcx
movslq 0x10(%rcx), %rcx
movq (%r15), %rdx
movq (%rdx,%rcx,8), %rsi
addq $0x8, %rsi
movq %rax, %rdi
callq 0x62a0
leaq 0x1abf2(%rip), %rsi     # 0x23ca3
jmp 0x91be
movl $0x6, 0x10(%rbx)
movl 0x10(%rcx), %eax
cmpl 0x10(%r15), %eax
je 0x91db
leaq 0x2f32f(%rip), %r14     # 0x38400
movq (%r14), %rdi
addq $0x48, %rdi
leaq 0x1a6eb(%rip), %rsi     # 0x237ca
callq 0x62b0
movq 0x58(%rbx), %rcx
movslq 0x10(%rcx), %rcx
leaq 0x2f315(%rip), %r15     # 0x38408
movq (%r15), %rdx
movq (%rdx,%rcx,8), %rsi
addq $0x8, %rsi
movq %rax, %rdi
callq 0x62a0
leaq 0x1a679(%rip), %rsi     # 0x23786
movq %rax, %rdi
callq 0x62b0
movq 0x60(%rbx), %rcx
movslq 0x10(%rcx), %rcx
movq (%r15), %rdx
movq (%rdx,%rcx,8), %rsi
addq $0x8, %rsi
movq %rax, %rdi
callq 0x62a0
leaq 0x1ab6c(%rip), %rsi     # 0x23ca3
jmp 0x922a
movl $0x3, 0x10(%rbx)
cmpl $0x3, 0x10(%rcx)
jne 0x91e7
cmpl $0x3, 0x10(%r15)
je 0x91db
leaq 0x2f2a1(%rip), %r14     # 0x38400
movq (%r14), %rdi
addq $0x48, %rdi
leaq 0x1a5db(%rip), %rsi     # 0x23748
callq 0x62b0
movq 0x60(%rbx), %rcx
jmp 0x9205
leaq 0x2f27e(%rip), %r14     # 0x38400
movq (%r14), %rdi
addq $0x48, %rdi
leaq 0x1a59b(%rip), %rsi     # 0x2372b
callq 0x62b0
movq 0x58(%rbx), %rcx
movslq 0x10(%rcx), %rcx
leaq 0x2f264(%rip), %rdx     # 0x38408
movq (%rdx), %rdx
movq (%rdx,%rcx,8), %rsi
addq $0x8, %rsi
movq %rax, %rdi
callq 0x62a0
leaq 0x1a53d(%rip), %rsi     # 0x236fb
movq %rax, %rdi
callq 0x62b0
movq (%r14), %rdi
movl 0x8(%rbx), %esi
movl 0xc(%rbx), %edx
callq 0x16112
movl $0x1, 0x10(%rbx)
addq $0x8, %rsp
popq %rbx
popq %r12
popq %r14
popq %r15
retq
leaq 0x2f212(%rip), %r14     # 0x38400
movq (%r14), %rdi
addq $0x48, %rdi
leaq 0x1a52f(%rip), %rsi     # 0x2372b
callq 0x62b0
movq 0x58(%rbx), %rcx
movslq 0x10(%rcx), %rcx
leaq 0x2f1f8(%rip), %rdx     # 0x38408
movq (%rdx), %rdx
movq (%rdx,%rcx,8), %rsi
addq $0x8, %rsi
movq %rax, %rdi
callq 0x62a0
leaq 0x1a4bf(%rip), %rsi     # 0x236e9
movq %rax, %rdi
callq 0x62b0
movq (%r14), %rdi
movl 0x8(%rbx), %esi
movl 0xc(%rbx), %edx
addq $0x8, %rsp
popq %rbx
popq %r12
popq %r14
popq %r15
jmp 0x16112
nop