// File: /workspace/github_cpp_makefile_star2_O3/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 %r13
pushq %r12
pushq %rbx
movq %rsi, %r14
movq %rdi, %rbx
movq 0x58(%rdi), %rdi
testq %rdi, %rdi
je 0xa089
movq (%rdi), %rax
movq %r14, %rsi
callq *0x8(%rax)
movq 0x60(%rbx), %rdi
testq %rdi, %rdi
je 0xa09b
movq (%rdi), %rax
movq %r14, %rsi
callq *0x8(%rax)
movq 0x58(%rbx), %rcx
testq %rcx, %rcx
je 0xa699
movq 0x60(%rbx), %r12
testq %r12, %r12
je 0xa699
movl 0x10(%rcx), %edx
movl 0x10(%r12), %eax
cmpl $0x1, %edx
jne 0xa0dd
cmpl $0x1, %eax
jne 0xa0f0
movl $0x1, 0x10(%rbx)
leaq 0x35333(%rip), %rax     # 0x3f408
movq (%rax), %rdi
jmp 0xa702
cmpl $0x1, %eax
jne 0xa124
leaq 0x235df(%rip), %r14     # 0x2d6c8
movl %edx, %eax
movq %rcx, %r12
jmp 0xa0f7
leaq 0x24dd9(%rip), %r14     # 0x2eed0
movl 0x68(%rbx), %ecx
cmpq $0xe, %rcx
ja 0xa699
leaq 0x22ff9(%rip), %rdx     # 0x2d104
movslq (%rdx,%rcx,4), %rcx
addq %rdx, %rcx
jmpq *%rcx
leal -0x3(%rax), %ecx
cmpl $0x1, %ecx
ja 0xa175
movl %eax, 0x10(%rbx)
jmp 0xa699
movl 0x68(%rbx), %esi
cmpq $0xe, %rsi
ja 0xa699
leaq 0x22f90(%rip), %rdi     # 0x2d0c8
movslq (%rdi,%rsi,4), %rsi
addq %rdi, %rsi
jmpq *%rsi
cmpl %eax, %edx
jne 0xa4a9
leal -0x3(%rdx), %eax
cmpl $0x1, %eax
ja 0xa628
movl %edx, 0x10(%rbx)
jmp 0xa699
movl $0x6, 0x10(%rbx)
movl 0x10(%r12), %eax
addl $-0x3, %eax
cmpl $0x3, %eax
jb 0xa699
leaq 0x3528c(%rip), %r13     # 0x3f408
movq (%r13), %r15
addq $0x48, %r15
leaq 0x23547(%rip), %rsi     # 0x2d6d2
movl $0xa, %edx
movq %r15, %rdi
callq 0x6370
movq %r14, %rdi
callq 0x6130
movq %r15, %rdi
movq %r14, %rsi
movq %rax, %rdx
callq 0x6370
leaq 0x23528(%rip), %rsi     # 0x2d6dd
movl $0xb, %edx
movq %r15, %rdi
callq 0x6370
movslq 0x10(%r12), %rax
leaq 0x35242(%rip), %rcx     # 0x3f410
movq (%rcx), %rcx
movq (%rcx,%rax,8), %rax
movq 0x8(%rax), %rsi
movq 0x10(%rax), %rdx
movq %r15, %rdi
callq 0x6370
leaq 0x2350f(%rip), %rsi     # 0x2d6fb
movl $0x19, %edx
jmp 0xa407
cmpl $0x6, %eax
jne 0xa2f7
movl $0x6, 0x10(%rbx)
jmp 0xa699
cmpl %eax, %edx
jne 0xa418
movl $0x6, 0x10(%rbx)
cmpl $0x6, 0x10(%rcx)
je 0xa699
leaq 0x351dd(%rip), %r15     # 0x3f408
movq (%r15), %r14
addq $0x48, %r14
leaq 0x23553(%rip), %rsi     # 0x2d78c
movl $0x13, %edx
movq %r14, %rdi
callq 0x6370
movq 0x58(%rbx), %rax
movslq 0x10(%rax), %rax
leaq 0x351bb(%rip), %rcx     # 0x3f410
movq (%rcx), %rcx
movq (%rcx,%rax,8), %rax
movq 0x8(%rax), %rsi
movq 0x10(%rax), %rdx
movq %r14, %rdi
callq 0x6370
leaq 0x234a2(%rip), %rsi     # 0x2d715
movl $0x15, %edx
jmp 0xa6f7
movl $0x6, 0x10(%rbx)
movl 0x10(%rcx), %eax
cmpl 0x10(%r12), %eax
jne 0xa54f
addl $-0x3, %eax
cmpl $0x3, %eax
jb 0xa699
leaq 0x35163(%rip), %r15     # 0x3f408
movq (%r15), %r14
addq $0x48, %r14
leaq 0x234ed(%rip), %rsi     # 0x2d7a0
movl $0x14, %edx
movq %r14, %rdi
callq 0x6370
movq 0x58(%rbx), %rax
movslq 0x10(%rax), %rax
leaq 0x35141(%rip), %rcx     # 0x3f410
movq (%rcx), %rcx
movq (%rcx,%rax,8), %rax
movq 0x8(%rax), %rsi
movq 0x10(%rax), %rdx
movq %r14, %rdi
callq 0x6370
leaq 0x23501(%rip), %rsi     # 0x2d7ee
movl $0x1d, %edx
jmp 0xa6f7
leaq 0x3510a(%rip), %r13     # 0x3f408
movq (%r13), %r15
addq $0x48, %r15
leaq 0x233c5(%rip), %rsi     # 0x2d6d2
movl $0xa, %edx
movq %r15, %rdi
callq 0x6370
movq %r14, %rdi
callq 0x6130
movq %r15, %rdi
movq %r14, %rsi
movq %rax, %rdx
callq 0x6370
leaq 0x233a6(%rip), %rsi     # 0x2d6dd
movl $0xb, %edx
movq %r15, %rdi
callq 0x6370
movslq 0x10(%r12), %rax
leaq 0x350c0(%rip), %rcx     # 0x3f410
movq (%rcx), %rcx
movq (%rcx,%rax,8), %rax
movq 0x8(%rax), %rsi
movq 0x10(%rax), %rdx
movq %r15, %rdi
callq 0x6370
leaq 0x233a7(%rip), %rsi     # 0x2d715
movl $0x15, %edx
jmp 0xa407
movl $0x3, 0x10(%rbx)
cmpl $0x3, 0x10(%r12)
je 0xa699
leaq 0x35076(%rip), %r13     # 0x3f408
movq (%r13), %r15
addq $0x48, %r15
leaq 0x23331(%rip), %rsi     # 0x2d6d2
movl $0xa, %edx
movq %r15, %rdi
callq 0x6370
movq %r14, %rdi
callq 0x6130
movq %r15, %rdi
movq %r14, %rsi
movq %rax, %rdx
callq 0x6370
leaq 0x23312(%rip), %rsi     # 0x2d6dd
movl $0xb, %edx
movq %r15, %rdi
callq 0x6370
movslq 0x10(%r12), %rax
leaq 0x3502c(%rip), %rcx     # 0x3f410
movq (%rcx), %rcx
movq (%rcx,%rax,8), %rax
movq 0x8(%rax), %rsi
movq 0x10(%rax), %rdx
movq %r15, %rdi
callq 0x6370
leaq 0x232e7(%rip), %rsi     # 0x2d6e9
movl $0x11, %edx
movq %rax, %rdi
callq 0x6370
movq (%r13), %rdi
jmp 0xa702
leaq 0x34fe9(%rip), %r15     # 0x3f408
movq (%r15), %r14
addq $0x48, %r14
leaq 0x23373(%rip), %rsi     # 0x2d7a0
movl $0x14, %edx
movq %r14, %rdi
callq 0x6370
movq 0x58(%rbx), %rax
movslq 0x10(%rax), %rax
leaq 0x34fc7(%rip), %r12     # 0x3f410
movq (%r12), %rcx
movq (%rcx,%rax,8), %rax
movq 0x8(%rax), %rsi
movq 0x10(%rax), %rdx
movq %r14, %rdi
callq 0x6370
movq %rax, %r14
leaq 0x2331b(%rip), %rsi     # 0x2d786
movl $0x5, %edx
movq %rax, %rdi
callq 0x6370
movq 0x60(%rbx), %rax
movslq 0x10(%rax), %rax
movq (%r12), %rcx
movq (%rcx,%rax,8), %rax
movq 0x8(%rax), %rsi
movq 0x10(%rax), %rdx
movq %r14, %rdi
callq 0x6370
leaq 0x23316(%rip), %rsi     # 0x2d7b5
movl $0x14, %edx
jmp 0xa6f7
leaq 0x34f58(%rip), %r15     # 0x3f408
movq (%r15), %r14
addq $0x48, %r14
leaq 0x232a5(%rip), %rsi     # 0x2d763
movl $0x22, %edx
movq %r14, %rdi
callq 0x6370
movq 0x58(%rbx), %rax
movslq 0x10(%rax), %rax
leaq 0x34f36(%rip), %r12     # 0x3f410
movq (%r12), %rcx
movq (%rcx,%rax,8), %rax
movq 0x8(%rax), %rsi
movq 0x10(%rax), %rdx
movq %r14, %rdi
callq 0x6370
movq %rax, %r14
leaq 0x2328a(%rip), %rsi     # 0x2d786
movl $0x5, %edx
movq %rax, %rdi
callq 0x6370
movq 0x60(%rbx), %rax
movslq 0x10(%rax), %rax
movq (%r12), %rcx
movq (%rcx,%rax,8), %rax
movq 0x8(%rax), %rsi
movq 0x10(%rax), %rdx
movq %r14, %rdi
callq 0x6370
leaq 0x23773(%rip), %rsi     # 0x2dca3
movl $0x1, %edx
jmp 0xa67c
movl $0x6, 0x10(%rbx)
movl 0x10(%rcx), %eax
cmpl 0x10(%r12), %eax
je 0xa699
leaq 0x34eb2(%rip), %r15     # 0x3f408
movq (%r15), %r14
addq $0x48, %r14
leaq 0x23266(%rip), %rsi     # 0x2d7ca
movl $0x23, %edx
movq %r14, %rdi
callq 0x6370
movq 0x58(%rbx), %rax
movslq 0x10(%rax), %rax
leaq 0x34e90(%rip), %r12     # 0x3f410
movq (%r12), %rcx
movq (%rcx,%rax,8), %rax
movq 0x8(%rax), %rsi
movq 0x10(%rax), %rdx
movq %r14, %rdi
callq 0x6370
movq %rax, %r14
leaq 0x231e4(%rip), %rsi     # 0x2d786
movl $0x5, %edx
movq %rax, %rdi
callq 0x6370
movq 0x60(%rbx), %rax
movslq 0x10(%rax), %rax
movq (%r12), %rcx
movq (%rcx,%rax,8), %rax
movq 0x8(%rax), %rsi
movq 0x10(%rax), %rdx
movq %r14, %rdi
callq 0x6370
leaq 0x236cd(%rip), %rsi     # 0x2dca3
movl $0x1, %edx
jmp 0xa6f7
movl $0x3, 0x10(%rbx)
cmpl $0x3, 0x10(%rcx)
jne 0xa6a3
cmpl $0x3, 0x10(%r12)
je 0xa699
leaq 0x34e04(%rip), %r15     # 0x3f408
movq (%r15), %r14
addq $0x48, %r14
leaq 0x23136(%rip), %rsi     # 0x2d748
movl $0x1a, %edx
movq %r14, %rdi
callq 0x6370
movq 0x60(%rbx), %rax
jmp 0xa6c9
leaq 0x34dd9(%rip), %r15     # 0x3f408
movq (%r15), %r14
addq $0x48, %r14
leaq 0x230ee(%rip), %rsi     # 0x2d72b
movl $0x1c, %edx
movq %r14, %rdi
callq 0x6370
movq 0x58(%rbx), %rax
movslq 0x10(%rax), %rax
leaq 0x34db7(%rip), %rcx     # 0x3f410
movq (%rcx), %rcx
movq (%rcx,%rax,8), %rax
movq 0x8(%rax), %rsi
movq 0x10(%rax), %rdx
movq %r14, %rdi
callq 0x6370
leaq 0x23084(%rip), %rsi     # 0x2d6fb
movl $0x19, %edx
movq %rax, %rdi
callq 0x6370
movq (%r15), %rdi
movl 0x8(%rbx), %esi
movl 0xc(%rbx), %edx
callq 0x1aa40
movl $0x1, 0x10(%rbx)
popq %rbx
popq %r12
popq %r13
popq %r14
popq %r15
retq
leaq 0x34d5e(%rip), %r15     # 0x3f408
movq (%r15), %r14
addq $0x48, %r14
leaq 0x23073(%rip), %rsi     # 0x2d72b
movl $0x1c, %edx
movq %r14, %rdi
callq 0x6370
movq 0x58(%rbx), %rax
movslq 0x10(%rax), %rax
leaq 0x34d3c(%rip), %rcx     # 0x3f410
movq (%rcx), %rcx
movq (%rcx,%rax,8), %rax
movq 0x8(%rax), %rsi
movq 0x10(%rax), %rdx
movq %r14, %rdi
callq 0x6370
leaq 0x22ff7(%rip), %rsi     # 0x2d6e9
movl $0x11, %edx
movq %rax, %rdi
callq 0x6370
movq (%r15), %rdi
movl 0x8(%rbx), %esi
movl 0xc(%rbx), %edx
popq %rbx
popq %r12
popq %r13
popq %r14
popq %r15
jmp 0x1aa40