// File: 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:
subq $0xa8, %rsp
movq %rdi, 0xa0(%rsp)
movq %rsi, 0x98(%rsp)
movq 0xa0(%rsp), %rax
movq %rax, 0x48(%rsp)
movq 0x78(%rax), %rdi
movq 0x98(%rsp), %rsi
movq (%rdi), %rax
callq *0x8(%rax)
movq 0x48(%rsp), %rax
movq 0x78(%rax), %rax
cmpl $0x1, 0x10(%rax)
je 0xfed0
movq 0x48(%rsp), %rax
movq 0x78(%rax), %rax
movslq 0x10(%rax), %rsi
leaq 0x5e683(%rip), %rdi     # 0x6e4e0
callq 0x1fc90
movq (%rax), %rax
movq %rax, 0x40(%rsp)
cmpq $0x0, %rax
jne 0xfe75
callq 0x6420
movq 0x40(%rsp), %rax
movq (%rax), %rax
movq -0x8(%rax), %rdi
leaq 0x5d038(%rip), %rsi     # 0x6cec0
callq 0x201f0
testb $0x1, %al
jne 0xfe93
jmp 0xfed0
leaq 0x5e63e(%rip), %rax     # 0x6e4d8
movq (%rax), %rdi
addq $0x38, %rdi
addq $0x10, %rdi
leaq 0x42e61(%rip), %rsi     # 0x52d0d
callq 0x6370
movq 0x48(%rsp), %rax
leaq 0x5e61b(%rip), %rcx     # 0x6e4d8
movq (%rcx), %rdi
movl 0x8(%rax), %esi
movl 0xc(%rax), %edx
callq 0x2f440
jmp 0x10387
movq 0x48(%rsp), %rsi
movq 0x98(%rsp), %rax
movq %rax, 0x28(%rsp)
subq $-0x80, %rsi
leaq 0x78(%rsp), %rdi
movq %rdi, 0x30(%rsp)
callq 0x6170
movq 0x28(%rsp), %rdi
movq 0x30(%rsp), %rsi
xorl %eax, %eax
movl %eax, %edx
callq 0x2a040
movq %rax, 0x38(%rsp)
jmp 0xff0f
movq 0x48(%rsp), %rax
movq 0x38(%rsp), %rcx
movq %rcx, 0xa0(%rax)
leaq 0x78(%rsp), %rdi
callq 0x6778
movq 0x48(%rsp), %rax
cmpq $0x0, 0xa0(%rax)
je 0x1032c
movq 0x48(%rsp), %rax
movq 0xa0(%rax), %rax
testb $0x1, 0x31(%rax)
jne 0xffb9
leaq 0x5e582(%rip), %rax     # 0x6e4d8
movq (%rax), %rdi
addq $0x38, %rdi
addq $0x10, %rdi
leaq 0x42dca(%rip), %rsi     # 0x52d32
callq 0x6370
movq 0x48(%rsp), %rax
leaq 0x5e55f(%rip), %rcx     # 0x6e4d8
movq (%rcx), %rdi
movl 0x8(%rax), %esi
movl 0xc(%rax), %edx
callq 0x2f440
movq 0x48(%rsp), %rax
movq $0x0, 0xa0(%rax)
jmp 0x1032a
movq %rax, %rcx
movl %edx, %eax
movq %rcx, 0x70(%rsp)
movl %eax, 0x6c(%rsp)
leaq 0x78(%rsp), %rdi
callq 0x6778
jmp 0x1038f
movq 0x48(%rsp), %rax
movq 0xa0(%rax), %rax
movq %rax, 0x60(%rsp)
movq 0x60(%rsp), %rdi
addq $0x78, %rdi
callq 0x20540
cmpq $0x0, %rax
je 0xfff2
movq 0x60(%rsp), %rdi
addq $0x78, %rdi
callq 0x20540
cmpq $0x2, %rax
jbe 0x1002f
leaq 0x5e4df(%rip), %rax     # 0x6e4d8
movq (%rax), %rdi
addq $0x38, %rdi
addq $0x10, %rdi
leaq 0x42d4b(%rip), %rsi     # 0x52d56
callq 0x6370
movq 0x48(%rsp), %rax
leaq 0x5e4bc(%rip), %rcx     # 0x6e4d8
movq (%rcx), %rdi
movl 0x8(%rax), %esi
movl 0xc(%rax), %edx
callq 0x2f440
jmp 0x10328
movq 0x48(%rsp), %rax
movq 0x78(%rax), %rax
movslq 0x10(%rax), %rsi
leaq 0x5e49d(%rip), %rdi     # 0x6e4e0
callq 0x1fc90
movq (%rax), %rax
movq %rax, 0x58(%rsp)
movq 0x58(%rsp), %rax
movl 0x3c(%rax), %eax
movl %eax, 0x54(%rsp)
movq 0x60(%rsp), %rdi
addq $0x78, %rdi
xorl %eax, %eax
movl %eax, %esi
callq 0x20560
cmpl $0x3, (%rax)
je 0x100c9
leaq 0x5e45e(%rip), %rax     # 0x6e4d8
movq (%rax), %rdi
addq $0x38, %rdi
addq $0x10, %rdi
leaq 0x42ce6(%rip), %rsi     # 0x52d72
callq 0x6370
movq %rax, %rdi
movq 0x58(%rsp), %rsi
addq $0x8, %rsi
callq 0x6340
movq %rax, %rdi
movl $0x2e, %esi
callq 0x6480
movq 0x48(%rsp), %rax
leaq 0x5e41d(%rip), %rcx     # 0x6e4d8
movq (%rcx), %rdi
movl 0x8(%rax), %esi
movl 0xc(%rax), %edx
callq 0x2f440
movq 0x60(%rsp), %rdi
addq $0x78, %rdi
callq 0x20540
cmpq $0x1, %rax
jne 0x101a6
movq 0x60(%rsp), %rdi
callq 0x295f0
cmpl 0x54(%rsp), %eax
je 0x101a6
leaq 0x5e3dc(%rip), %rax     # 0x6e4d8
movq (%rax), %rdi
addq $0x38, %rdi
addq $0x10, %rdi
leaq 0x42ca2(%rip), %rsi     # 0x52db0
callq 0x6370
movq %rax, 0x18(%rsp)
movslq 0x54(%rsp), %rsi
leaq 0x5e3bc(%rip), %rdi     # 0x6e4e0
callq 0x1fc90
movq 0x18(%rsp), %rdi
movq (%rax), %rsi
addq $0x8, %rsi
callq 0x6340
movq %rax, %rdi
leaq 0x42c94(%rip), %rsi     # 0x52dd8
callq 0x6370
movq %rax, 0x20(%rsp)
movq 0x60(%rsp), %rdi
callq 0x295f0
movslq %eax, %rsi
leaq 0x5e37e(%rip), %rdi     # 0x6e4e0
callq 0x1fc90
movq 0x20(%rsp), %rdi
movq (%rax), %rsi
addq $0x8, %rsi
callq 0x6340
movq %rax, %rdi
leaq 0x47535(%rip), %rsi     # 0x576b7
callq 0x6370
movq 0x48(%rsp), %rax
leaq 0x5e345(%rip), %rcx     # 0x6e4d8
movq (%rcx), %rdi
movl 0x8(%rax), %esi
movl 0xc(%rax), %edx
callq 0x2f440
jmp 0x10326
movq 0x60(%rsp), %rdi
addq $0x78, %rdi
callq 0x20540
cmpq $0x2, %rax
jne 0x10324
movq 0x60(%rsp), %rdi
callq 0x295f0
cmpl $0x2, %eax
je 0x1020a
leaq 0x5e304(%rip), %rax     # 0x6e4d8
movq (%rax), %rdi
addq $0x38, %rdi
addq $0x10, %rdi
leaq 0x42c14(%rip), %rsi     # 0x52dfa
callq 0x6370
movq 0x48(%rsp), %rax
leaq 0x5e2e1(%rip), %rcx     # 0x6e4d8
movq (%rcx), %rdi
movl 0x8(%rax), %esi
movl 0xc(%rax), %edx
callq 0x2f440
jmp 0x10322
movq 0x60(%rsp), %rdi
addq $0x78, %rdi
movl $0x1, %esi
callq 0x20560
movl (%rax), %eax
cmpl 0x54(%rsp), %eax
jne 0x1022a
jmp 0x10387
movq 0x60(%rsp), %rdi
addq $0x78, %rdi
movl $0x1, %esi
callq 0x20560
movslq (%rax), %rsi
leaq 0x5e299(%rip), %rdi     # 0x6e4e0
callq 0x1fc90
movq (%rax), %rax
movq %rax, 0x10(%rsp)
cmpq $0x0, %rax
jne 0x1025f
callq 0x6420
movq 0x10(%rsp), %rax
movq (%rax), %rax
movq -0x8(%rax), %rdi
leaq 0x5cc66(%rip), %rsi     # 0x6ced8
callq 0x20340
testb $0x1, %al
jne 0x1027d
jmp 0x102b0
movq 0x60(%rsp), %rdi
addq $0x78, %rdi
movl $0x1, %esi
callq 0x20560
movslq (%rax), %rsi
leaq 0x5e246(%rip), %rdi     # 0x6e4e0
callq 0x1fc90
movq (%rax), %rax
movl 0x30(%rax), %eax
cmpl 0x54(%rsp), %eax
jne 0x102b0
jmp 0x10387
leaq 0x5e221(%rip), %rax     # 0x6e4d8
movq (%rax), %rdi
addq $0x38, %rdi
addq $0x10, %rdi
leaq 0x42b56(%rip), %rsi     # 0x52e1f
callq 0x6370
movq %rax, 0x8(%rsp)
movslq 0x54(%rsp), %rsi
leaq 0x5e201(%rip), %rdi     # 0x6e4e0
callq 0x1fc90
movq 0x8(%rsp), %rdi
movq (%rax), %rsi
addq $0x8, %rsi
callq 0x6340
movq %rax, %rdi
leaq 0x473b8(%rip), %rsi     # 0x576b7
callq 0x6370
movq 0x48(%rsp), %rax
leaq 0x5e1c8(%rip), %rcx     # 0x6e4d8
movq (%rcx), %rdi
movl 0x8(%rax), %esi
movl 0xc(%rax), %edx
callq 0x2f440
jmp 0x10320
jmp 0x10322
jmp 0x10324
jmp 0x10326
jmp 0x10328
jmp 0x1032a
jmp 0x10387
leaq 0x5e1a5(%rip), %rax     # 0x6e4d8
movq (%rax), %rdi
addq $0x38, %rdi
addq $0x10, %rdi
leaq 0x42533(%rip), %rsi     # 0x52878
callq 0x6370
movq 0x48(%rsp), %rsi
movq %rax, %rdi
addq $0x80, %rsi
callq 0x6340
movq %rax, %rdi
leaq 0x42585(%rip), %rsi     # 0x528ed
callq 0x6370
movq 0x48(%rsp), %rax
leaq 0x5e15f(%rip), %rcx     # 0x6e4d8
movq (%rcx), %rdi
movl 0x8(%rax), %esi
movl 0xc(%rax), %edx
callq 0x2f440
addq $0xa8, %rsp
retq
movq 0x70(%rsp), %rdi
callq 0x66b0
nopl (%rax)