// File: /workspace/github_cpp_makefile_star2_O2/kelwinfc[P]ci4721-Fernandez-Gyomrey/src/AST/check.cpp
// Function: AST_fill::fill_and_check(symbol_table*)
void AST_fill::fill_and_check(symbol_table* st){
    
    expr->fill_and_check(st);
    
    if ( expr->type != INVALID
         && typeid(*types.types[expr->type]) != typeid(array_descriptor))
    {
        logger->buf << "Expresion debe evaluar tipo arreglo.";
        logger->error(line, column);
        
        return;
    }
    
    sym = st->lookup(function);
    
    if ( sym ){
        
        if ( !sym->is_function ){
            logger->buf << "Esperado identificador de función.";
            logger->error(line, column);
            sym = 0;
        } else {
            symbol_function* s = (symbol_function*)sym;
            
            /* Numero de argumentos invalidos */
            if ( s->params.size() == 0 || s->params.size() > 2 ){
                
                logger->buf << "Funcion con firma invalida.";
                logger->error(line, column);
            } else {
                array_descriptor* ad = 
                    (array_descriptor*)types.types[expr->type];
                TYPE base = ad->base;
                
                /* Primer argumento debe ser entero para recorrer el arreglo */
                if ( s->params[0] != INT ){
                    logger->buf << "Se espera funcion con primer "
                                   "argumento de tipo int, recibido "
                                << ad->name << '.';
                    logger->error(line, column);
                }
                
                /* Si solo tiene un argumento el tipo de retorno de la funcion
                 * debe coincidir con el tipo base del arreglo
                 */
                
                if ( s->params.size() == 1 && s->getType() != base ){
                    logger->buf << "Se espera funcion con retorno de tipo '"
                                << types.types[base]->name
                                << "', recibida funcion con retorno '"
                                << types.types[s->getType()]->name << "'.";
                    logger->error(line, column);
                } 
                /* Tiene dos argumentos, el tipo de retorno debe ser none y el
                 * segundo debe ser o bien el tipo base del arreglo o un
                 * apuntador al tipo base (pase por referencia)
                 */
                else if ( s->params.size() == 2 ){
                    if ( s->getType() != NONE ){
                        logger->buf << "Se espera funcion con retorno vacío";
                        logger->error(line, column);
                    } else if ( s->params[1] == base ){
                        return ;
                    } else if ( typeid(* (types.types[s->params[1]]) )
                                         == typeid(pointer_descriptor)
                                && ((pointer_descriptor*)
                                    (types.types[s->params[1]]))->base 
                                         == base
                               )
                    {
                        return ;
                    } else {
                        logger->buf << "Se esperaba funcion con segundo "
                                       "argumento de tipo o apuntador a '"
                                    << types.types[base]->name << "'.";
                        logger->error(line, column);
                    }
                }
            }
        }
    } else {
        logger->buf << "Identificador '" << function << "' no definido previamente.";
        logger->error(line, column);
    }
    
}

// Assembly:
pushq %rbp
pushq %r15
pushq %r14
pushq %r13
pushq %r12
pushq %rbx
subq $0x28, %rsp
movq %rsi, %r14
movq %rdi, %rbx
movq 0x78(%rdi), %rdi
movq (%rdi), %rax
callq *0x8(%rax)
movq 0x78(%rbx), %rax
movslq 0x10(%rax), %rax
cmpq $0x1, %rax
je 0xb4c8
leaq 0x2cf9d(%rip), %rcx     # 0x38408
movq (%rcx), %rcx
movq (%rcx,%rax,8), %rax
testq %rax, %rax
je 0xb7a6
movq (%rax), %rax
movq -0x8(%rax), %rdi
leaq 0x2ba07(%rip), %rsi     # 0x36e90
callq 0x12274
testb %al, %al
je 0xb4c8
leaq 0x2cf67(%rip), %r14     # 0x38400
movq (%r14), %rdi
addq $0x48, %rdi
leaq 0x1887a(%rip), %rsi     # 0x23d21
callq 0x62b0
movq (%r14), %rdi
movl 0x8(%rbx), %esi
movl 0xc(%rbx), %edx
addq $0x28, %rsp
popq %rbx
popq %r12
popq %r13
popq %r14
popq %r15
popq %rbp
jmp 0x16112
leaq 0x80(%rbx), %r15
leaq 0x8(%rsp), %r12
movq %r12, %rdi
movq %r15, %rsi
callq 0x63e0
movq %r14, %rdi
movq %r12, %rsi
xorl %edx, %edx
callq 0x1422e
movq %rax, 0xa0(%rbx)
leaq 0x8(%rsp), %rdi
callq 0x65c8
movq 0xa0(%rbx), %r14
testq %r14, %r14
je 0xb550
cmpb $0x0, 0x31(%r14)
je 0xb594
movq 0x78(%r14), %rax
movq 0x80(%r14), %rcx
movq %rcx, %rdx
subq %rax, %rdx
setne %sil
cmpq $0x9, %rdx
setb %dl
testb %dl, %sil
jne 0xb5d3
leaq 0x2cec0(%rip), %r14     # 0x38400
movq (%r14), %rdi
addq $0x48, %rdi
leaq 0x1881c(%rip), %rsi     # 0x23d6a
jmp 0xb57f
leaq 0x2cea9(%rip), %r14     # 0x38400
movq (%r14), %rdi
addq $0x48, %rdi
leaq 0x18327(%rip), %rsi     # 0x2388c
callq 0x62b0
movq %rax, %rdi
movq %r15, %rsi
callq 0x62a0
leaq 0x18385(%rip), %rsi     # 0x23901
movq %rax, %rdi
callq 0x62b0
movq (%r14), %rdi
movl 0x8(%rbx), %esi
movl 0xc(%rbx), %edx
callq 0x16112
jmp 0xb5c4
leaq 0x2ce65(%rip), %r14     # 0x38400
movq (%r14), %rdi
addq $0x48, %rdi
leaq 0x1879d(%rip), %rsi     # 0x23d46
callq 0x62b0
movq (%r14), %rdi
movl 0x8(%rbx), %esi
movl 0xc(%rbx), %edx
callq 0x16112
andq $0x0, 0xa0(%rbx)
addq $0x28, %rsp
popq %rbx
popq %r12
popq %r13
popq %r14
popq %r15
popq %rbp
retq
movq 0x78(%rbx), %rdx
movslq 0x10(%rdx), %rdx
leaq 0x2ce26(%rip), %r12     # 0x38408
movq (%r12), %rsi
movq (%rsi,%rdx,8), %r15
movslq 0x3c(%r15), %r13
cmpl $0x3, (%rax)
je 0xb642
leaq 0x2ce06(%rip), %rbp     # 0x38400
movq (%rbp), %rdi
addq $0x48, %rdi
leaq 0x1877d(%rip), %rsi     # 0x23d86
callq 0x62b0
addq $0x8, %r15
movq %rax, %rdi
movq %r15, %rsi
callq 0x62a0
pushq $0x2e
popq %rsi
movq %rax, %rdi
callq 0x6350
movq (%rbp), %rdi
movl 0x8(%rbx), %esi
movl 0xc(%rbx), %edx
callq 0x16112
movq 0x78(%r14), %rax
movq 0x80(%r14), %rcx
movq %rcx, %rdx
subq %rax, %rdx
cmpq $0x4, %rdx
jne 0xb66a
movq %r14, %rdi
callq 0x13f0c
cmpl %r13d, %eax
jne 0xb715
movq 0x78(%r14), %rax
movq 0x80(%r14), %rcx
subq %rax, %rcx
cmpq $0x8, %rcx
jne 0xb5c4
movq %r14, %rdi
callq 0x13f0c
cmpl $0x2, %eax
jne 0xb78c
movq 0x78(%r14), %rax
movslq 0x4(%rax), %rax
cmpl %r13d, %eax
je 0xb5c4
movq (%r12), %rcx
movq (%rcx,%rax,8), %rax
testq %rax, %rax
je 0xb7a6
movq (%rax), %rax
movq -0x8(%rax), %rdi
leaq 0x2b7f0(%rip), %rsi     # 0x36ea8
callq 0x1227e
testb %al, %al
je 0xb6db
movq 0x78(%r14), %rax
movslq 0x4(%rax), %rax
movq (%r12), %rcx
movq (%rcx,%rax,8), %rax
cmpl %r13d, 0x30(%rax)
je 0xb5c4
leaq 0x2cd1e(%rip), %r14     # 0x38400
movq (%r14), %rdi
addq $0x48, %rdi
leaq 0x18743(%rip), %rsi     # 0x23e33
callq 0x62b0
movq (%r12), %rcx
movq (%rcx,%r13,8), %rsi
addq $0x8, %rsi
movq %rax, %rdi
callq 0x62a0
leaq 0x1ce87(%rip), %rsi     # 0x28597
jmp 0xb57c
leaq 0x2cce4(%rip), %rbp     # 0x38400
movq (%rbp), %rdi
addq $0x48, %rdi
leaq 0x18699(%rip), %rsi     # 0x23dc4
callq 0x62b0
movq (%r12), %rcx
movq (%rcx,%r13,8), %rsi
addq $0x8, %rsi
movq %rax, %rdi
callq 0x62a0
leaq 0x186a1(%rip), %rsi     # 0x23dec
movq %rax, %rdi
callq 0x62b0
movq %rax, %r15
movq %r14, %rdi
callq 0x13f0c
cltq
movq (%r12), %rcx
movq (%rcx,%rax,8), %rsi
addq $0x8, %rsi
movq %r15, %rdi
callq 0x62a0
leaq 0x1ce1c(%rip), %rsi     # 0x28597
movq %rax, %rdi
callq 0x62b0
movq (%rbp), %rdi
jmp 0xb587
leaq 0x2cc6d(%rip), %r14     # 0x38400
movq (%r14), %rdi
addq $0x48, %rdi
leaq 0x1866d(%rip), %rsi     # 0x23e0e
jmp 0xb57f
callq 0x6320
movq %rax, %rbx
leaq 0x8(%rsp), %rdi
callq 0x65c8
movq %rbx, %rdi
callq 0x6530