// File: /workspace/github_cpp_makefile_star2_O1/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 0xd284
leaq 0x311fb(%rip), %rcx     # 0x3e408
movq (%rcx), %rcx
movq (%rcx,%rax,8), %rax
testq %rax, %rax
je 0xd5fc
movq (%rax), %rax
movq -0x8(%rax), %rax
movq 0x8(%rax), %rdi
leaq 0x20fab(%rip), %rax     # 0x2e1da
cmpq %rax, %rdi
je 0xd284
cmpb $0x2a, (%rdi)
je 0xd249
leaq 0x20f9a(%rip), %rsi     # 0x2e1da
callq 0x6400
testl %eax, %eax
je 0xd284
leaq 0x311b0(%rip), %r14     # 0x3e400
movq (%r14), %rdi
addq $0x48, %rdi
leaq 0x1fac3(%rip), %rsi     # 0x2cd21
movl $0x24, %edx
callq 0x6360
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 0x1a9e6
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 0x16c42
movq %r14, %rdi
movq %r15, %rsi
xorl %edx, %edx
callq 0x183ae
movq %rax, 0xa0(%rbx)
movq 0x8(%rsp), %rdi
cmpq %r12, %rdi
je 0xd2d7
movq 0x18(%rsp), %rsi
incq %rsi
callq 0x62f0
movq 0xa0(%rbx), %r14
testq %r14, %r14
je 0xd332
cmpb $0x0, 0x31(%r14)
je 0xd38e
movq 0x78(%r14), %rax
movq 0x80(%r14), %rcx
subq %rax, %rcx
setne %dl
cmpq $0x9, %rcx
setb %cl
testb %cl, %dl
jne 0xd3d5
leaq 0x310eb(%rip), %r14     # 0x3e400
movq (%r14), %rdi
addq $0x48, %rdi
leaq 0x1fa47(%rip), %rsi     # 0x2cd6a
movl $0x1b, %edx
callq 0x6360
movq (%r14), %rdi
jmp 0xd381
leaq 0x310c7(%rip), %r15     # 0x3e400
movq (%r15), %r14
addq $0x48, %r14
leaq 0x1f545(%rip), %rsi     # 0x2c88c
movl $0xf, %edx
movq %r14, %rdi
callq 0x6360
movq 0x80(%rbx), %rsi
movq 0x88(%rbx), %rdx
movq %r14, %rdi
callq 0x6360
leaq 0x1f590(%rip), %rsi     # 0x2c901
movl $0x1a, %edx
movq %rax, %rdi
callq 0x6360
movq (%r15), %rdi
movl 0x8(%rbx), %esi
movl 0xc(%rbx), %edx
callq 0x1a9e6
jmp 0xd3c6
leaq 0x3106b(%rip), %r14     # 0x3e400
movq (%r14), %rdi
addq $0x48, %rdi
leaq 0x1f9a3(%rip), %rsi     # 0x2cd46
movl $0x23, %edx
callq 0x6360
movq (%r14), %rdi
movl 0x8(%rbx), %esi
movl 0xc(%rbx), %edx
callq 0x1a9e6
movq $0x0, 0xa0(%rbx)
addq $0x28, %rsp
popq %rbx
popq %r12
popq %r13
popq %r14
popq %r15
popq %rbp
retq
movq 0x78(%rbx), %rcx
movslq 0x10(%rcx), %rcx
leaq 0x31024(%rip), %rdx     # 0x3e408
movq (%rdx), %rdx
movq (%rdx,%rcx,8), %r12
movslq 0x3c(%r12), %r13
cmpl $0x3, (%rax)
je 0xd44e
leaq 0x31004(%rip), %rbp     # 0x3e400
movq (%rbp), %r15
addq $0x48, %r15
leaq 0x1f97b(%rip), %rsi     # 0x2cd86
movl $0x3d, %edx
movq %r15, %rdi
callq 0x6360
movq 0x8(%r12), %rsi
movq 0x10(%r12), %rdx
movq %r15, %rdi
callq 0x6360
leaq 0x7(%rsp), %rsi
movb $0x2e, (%rsi)
movl $0x1, %edx
movq %rax, %rdi
callq 0x6360
movq (%rbp), %rdi
movl 0x8(%rbx), %esi
movl 0xc(%rbx), %edx
callq 0x1a9e6
movq 0x80(%r14), %rax
subq 0x78(%r14), %rax
cmpq $0x4, %rax
jne 0xd470
movq %r14, %rdi
callq 0x17fde
cmpl %r13d, %eax
jne 0xd545
movq 0x80(%r14), %rax
subq 0x78(%r14), %rax
cmpq $0x8, %rax
jne 0xd3c6
movq %r14, %rdi
callq 0x17fde
cmpl $0x2, %eax
jne 0xd5dd
movq 0x78(%r14), %rax
movslq 0x4(%rax), %rax
cmpl %r13d, %eax
je 0xd3c6
leaq 0x30f5a(%rip), %rcx     # 0x3e408
movq (%rcx), %rcx
movq (%rcx,%rax,8), %r14
testq %r14, %r14
je 0xd5fc
movq (%r14), %rax
movq -0x8(%rax), %rax
movq 0x8(%rax), %rdi
leaq 0x20d1d(%rip), %rax     # 0x2e1ed
cmpq %rax, %rdi
je 0xd4ea
cmpb $0x2a, (%rdi)
je 0xd4f4
leaq 0x20d0c(%rip), %rsi     # 0x2e1ed
callq 0x6400
testl %eax, %eax
jne 0xd4f4
cmpl %r13d, 0x30(%r14)
je 0xd3c6
leaq 0x30f05(%rip), %r15     # 0x3e400
movq (%r15), %r14
addq $0x48, %r14
leaq 0x1f92a(%rip), %rsi     # 0x2ce33
movl $0x41, %edx
movq %r14, %rdi
callq 0x6360
leaq 0x30eeb(%rip), %rax     # 0x3e408
movq (%rax), %rax
movq (%rax,%r13,8), %rax
movq 0x8(%rax), %rsi
movq 0x10(%rax), %rdx
movq %r14, %rdi
callq 0x6360
leaq 0x2405c(%rip), %rsi     # 0x31597
movl $0x2, %edx
jmp 0xd376
leaq 0x30eb4(%rip), %rbp     # 0x3e400
movq (%rbp), %r15
addq $0x48, %r15
leaq 0x1f869(%rip), %rsi     # 0x2cdc4
movl $0x27, %edx
movq %r15, %rdi
callq 0x6360
leaq 0x30e99(%rip), %r12     # 0x3e408
movq (%r12), %rax
movq (%rax,%r13,8), %rax
movq 0x8(%rax), %rsi
movq 0x10(%rax), %rdx
movq %r15, %rdi
callq 0x6360
movq %rax, %r15
leaq 0x1f85b(%rip), %rsi     # 0x2cdec
movl $0x21, %edx
movq %rax, %rdi
callq 0x6360
movq %r14, %rdi
callq 0x17fde
cltq
movq (%r12), %rcx
movq (%rcx,%rax,8), %rax
movq 0x8(%rax), %rsi
movq 0x10(%rax), %rdx
movq %r15, %rdi
callq 0x6360
leaq 0x23fd0(%rip), %rsi     # 0x31597
movl $0x2, %edx
movq %rax, %rdi
callq 0x6360
movq (%rbp), %rdi
jmp 0xd381
leaq 0x30e1c(%rip), %r14     # 0x3e400
movq (%r14), %rdi
addq $0x48, %rdi
leaq 0x1f81c(%rip), %rsi     # 0x2ce0e
movl $0x24, %edx
jmp 0xd328
callq 0x6340
movq %rax, %rbx
movq 0x8(%rsp), %rdi
cmpq %r12, %rdi
je 0xd61b
movq 0x18(%rsp), %rsi
incq %rsi
callq 0x62f0
movq %rbx, %rdi
callq 0x6550
nop