// File: /workspace/github_cpp_makefile_star2_O3/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 0xd25e
leaq 0x32229(%rip), %rcx     # 0x3f410
movq (%rcx), %rcx
movq (%rcx,%rax,8), %rax
testq %rax, %rax
je 0xd5e7
movq (%rax), %rax
movq -0x8(%rax), %rax
movq 0x8(%rax), %rdi
leaq 0x21fd1(%rip), %rax     # 0x2f1da
cmpq %rax, %rdi
je 0xd25e
cmpb $0x2a, (%rdi)
je 0xd223
leaq 0x21fc0(%rip), %rsi     # 0x2f1da
callq 0x6410
testl %eax, %eax
je 0xd25e
leaq 0x321de(%rip), %r14     # 0x3f408
movq (%r14), %rdi
addq $0x48, %rdi
leaq 0x20ae9(%rip), %rsi     # 0x2dd21
movl $0x24, %edx
callq 0x6370
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 0x1aa40
leaq 0x18(%rsp), %r12
movq %r12, -0x10(%r12)
movq 0x80(%rbx), %rsi
movq 0x88(%rbx), %rdx
addq %rsi, %rdx
leaq 0x8(%rsp), %r15
movq %r15, %rdi
callq 0x16c68
movq %r14, %rdi
movq %r15, %rsi
xorl %edx, %edx
callq 0x183ea
movq %rax, %r14
movq %rax, 0xa0(%rbx)
movq 0x8(%rsp), %rdi
cmpq %r12, %rdi
je 0xd2bb
movq 0x18(%rsp), %rsi
incq %rsi
callq 0x6300
movq 0xa0(%rbx), %r14
testq %r14, %r14
je 0xd314
cmpb $0x0, 0x31(%r14)
je 0xd370
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 0xd3b7
leaq 0x32111(%rip), %r14     # 0x3f408
movq (%r14), %rdi
addq $0x48, %rdi
leaq 0x20a65(%rip), %rsi     # 0x2dd6a
movl $0x1b, %edx
callq 0x6370
movq (%r14), %rdi
jmp 0xd363
leaq 0x320ed(%rip), %r15     # 0x3f408
movq (%r15), %r14
addq $0x48, %r14
leaq 0x20563(%rip), %rsi     # 0x2d88c
movl $0xf, %edx
movq %r14, %rdi
callq 0x6370
movq 0x80(%rbx), %rsi
movq 0x88(%rbx), %rdx
movq %r14, %rdi
callq 0x6370
leaq 0x205ae(%rip), %rsi     # 0x2d901
movl $0x1a, %edx
movq %rax, %rdi
callq 0x6370
movq (%r15), %rdi
movl 0x8(%rbx), %esi
movl 0xc(%rbx), %edx
callq 0x1aa40
jmp 0xd3a8
leaq 0x32091(%rip), %r14     # 0x3f408
movq (%r14), %rdi
addq $0x48, %rdi
leaq 0x209c1(%rip), %rsi     # 0x2dd46
movl $0x23, %edx
callq 0x6370
movq (%r14), %rdi
movl 0x8(%rbx), %esi
movl 0xc(%rbx), %edx
callq 0x1aa40
movq $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 0x3204a(%rip), %rsi     # 0x3f410
movq (%rsi), %rsi
movq (%rsi,%rdx,8), %r12
movslq 0x3c(%r12), %r13
cmpl $0x3, (%rax)
je 0xd43b
leaq 0x3202a(%rip), %rbp     # 0x3f408
movq (%rbp), %r15
addq $0x48, %r15
leaq 0x20999(%rip), %rsi     # 0x2dd86
movl $0x3d, %edx
movq %r15, %rdi
callq 0x6370
movq 0x8(%r12), %rsi
movq 0x10(%r12), %rdx
movq %r15, %rdi
callq 0x6370
leaq 0x7(%rsp), %rsi
movb $0x2e, (%rsi)
movl $0x1, %edx
movq %rax, %rdi
callq 0x6370
movq (%rbp), %rdi
movl 0x8(%rbx), %esi
movl 0xc(%rbx), %edx
callq 0x1aa40
movq 0x78(%r14), %rax
movq 0x80(%r14), %rcx
movq %rcx, %rdx
subq %rax, %rdx
cmpq $0x4, %rdx
jne 0xd463
movq %r14, %rdi
callq 0x1801a
cmpl %r13d, %eax
jne 0xd530
movq 0x78(%r14), %rax
movq 0x80(%r14), %rcx
subq %rax, %rcx
cmpq $0x8, %rcx
jne 0xd3a8
movq %r14, %rdi
callq 0x1801a
cmpl $0x2, %eax
jne 0xd5c8
movq 0x78(%r14), %rax
movslq 0x4(%rax), %rax
cmpl %r13d, %eax
je 0xd3a8
leaq 0x31f77(%rip), %rcx     # 0x3f410
movq (%rcx), %rcx
movq (%rcx,%rax,8), %r14
testq %r14, %r14
je 0xd5e7
movq (%r14), %rax
movq -0x8(%rax), %rax
movq 0x8(%rax), %rdi
leaq 0x21d32(%rip), %rax     # 0x2f1ed
cmpq %rax, %rdi
je 0xd4d5
cmpb $0x2a, (%rdi)
je 0xd4df
leaq 0x21d21(%rip), %rsi     # 0x2f1ed
callq 0x6410
testl %eax, %eax
jne 0xd4df
cmpl %r13d, 0x30(%r14)
je 0xd3a8
leaq 0x31f22(%rip), %r15     # 0x3f408
movq (%r15), %r14
addq $0x48, %r14
leaq 0x2093f(%rip), %rsi     # 0x2de33
movl $0x41, %edx
movq %r14, %rdi
callq 0x6370
leaq 0x31f08(%rip), %rax     # 0x3f410
movq (%rax), %rax
movq (%rax,%r13,8), %rax
movq 0x8(%rax), %rsi
movq 0x10(%rax), %rdx
movq %r14, %rdi
callq 0x6370
leaq 0x25071(%rip), %rsi     # 0x32597
movl $0x2, %edx
jmp 0xd358
leaq 0x31ed1(%rip), %rbp     # 0x3f408
movq (%rbp), %r15
addq $0x48, %r15
leaq 0x2087e(%rip), %rsi     # 0x2ddc4
movl $0x27, %edx
movq %r15, %rdi
callq 0x6370
leaq 0x31eb6(%rip), %r12     # 0x3f410
movq (%r12), %rax
movq (%rax,%r13,8), %rax
movq 0x8(%rax), %rsi
movq 0x10(%rax), %rdx
movq %r15, %rdi
callq 0x6370
movq %rax, %r15
leaq 0x20870(%rip), %rsi     # 0x2ddec
movl $0x21, %edx
movq %rax, %rdi
callq 0x6370
movq %r14, %rdi
callq 0x1801a
cltq
movq (%r12), %rcx
movq (%rcx,%rax,8), %rax
movq 0x8(%rax), %rsi
movq 0x10(%rax), %rdx
movq %r15, %rdi
callq 0x6370
leaq 0x24fe5(%rip), %rsi     # 0x32597
movl $0x2, %edx
movq %rax, %rdi
callq 0x6370
movq (%rbp), %rdi
jmp 0xd363
leaq 0x31e39(%rip), %r14     # 0x3f408
movq (%r14), %rdi
addq $0x48, %rdi
leaq 0x20831(%rip), %rsi     # 0x2de0e
movl $0x24, %edx
jmp 0xd30a
callq 0x6350
movq %rax, %rbx
movq 0x8(%rsp), %rdi
cmpq %r12, %rdi
je 0xd606
movq 0x18(%rsp), %rsi
incq %rsi
callq 0x6300
movq %rbx, %rdi
callq 0x6560