// File: /workspace/github_cpp_makefile_star2_O3/kelwinfc[P]ci4721-Fernandez-Gyomrey/src/AST/to_tac.cpp
// Function: AST_array_access::gen_tac_arr(Tac*, int*, opd**, int*)
opd *AST_array_access::gen_tac_arr(Tac* t, int *sta_base, opd **ind_addr, int *arr_base){
    opd *din_base = value->gen_tac_arr(t, sta_base, ind_addr, arr_base);

    if (0 == *ind_addr) {
        // no se hace backpatck porque sabemos que es un entero
        *ind_addr = index->to_tac(t);
        if (O_TEMP != (*ind_addr)->type) {
            opd *o = new opd();
            t->append_quad(inst::CP, o, *ind_addr, 0, "el índice más izquierdo de un arreglo es entero, se copia a temporal para poder operar sobre él");
            *ind_addr = o;
        }
    } else {
        // (i1 x n2) + i2 >>= i1 (parte de la suma)
        t->append_quad(inst::ADD, *ind_addr, *ind_addr, index->to_tac(t), "parte dinámica del acceso a arreglo. sumar al acumulador el índice dinámico");
    }

    if (typeid(*types.types[ type ]) == typeid(array_descriptor)){
        array_descriptor* ad = (array_descriptor*)types.types[ type ];

        // (i1 x n2) + i2 (parte del producto)
        t->append_quad(inst::MUL, *ind_addr, *ind_addr, new opd(ad->num_elements), "como aún nos encontramos en un arreglo, multiplicar el índice dinámico por el tamaño del siguiente índice a la derecha");

        // (l1 x n2) + l2
        *arr_base = *arr_base * ad->num_elements + ad->lower_index;
    }

    return din_base;
}

// Assembly:
pushq %rbp
pushq %r15
pushq %r14
pushq %r13
pushq %r12
pushq %rbx
subq $0x78, %rsp
movq %rcx, %r12
movq %rsi, %r15
movq %rdi, %r13
movq 0x48(%rdi), %rdi
movq (%rdi), %rax
movq %r8, 0x8(%rsp)
callq *0x40(%rax)
movq %rax, 0x10(%rsp)
movq (%r12), %rbp
movq 0x50(%r13), %rdi
movq (%rdi), %rax
movq %r15, %rsi
callq *0x18(%rax)
movq %rax, %r14
testq %rbp, %rbp
je 0x10cd7
leaq 0x28(%rsp), %rax
movq %rax, -0x10(%rax)
leaq 0x1d9fc(%rip), %rsi     # 0x2e684
leaq 0x1da43(%rip), %rdx     # 0x2e6d2
leaq 0x18(%rsp), %rbx
movq %rbx, %rdi
callq 0x7008
movq %r15, %rdi
movl $0x11, %esi
movq %rbp, %rdx
movq %rbp, %rcx
movq %r14, %r8
movq %rbx, %r9
callq 0x2b238
movq 0x18(%rsp), %rdi
leaq 0x28(%rsp), %rax
cmpq %rax, %rdi
je 0x10d4f
movq 0x28(%rsp), %rsi
incq %rsi
callq 0x6300
jmp 0x10d4f
movq %r14, (%r12)
cmpb $0x1, 0x10(%r14)
je 0x10d4f
movl $0x18, %edi
callq 0x62f0
movq %rax, %rbp
movq %rax, %rdi
callq 0x1d014
movq (%r12), %r14
leaq 0x48(%rsp), %rbx
movq %rbx, -0x10(%rbx)
leaq 0x1d916(%rip), %rsi     # 0x2e621
leaq 0x1d971(%rip), %rdx     # 0x2e683
leaq 0x38(%rsp), %rdi
callq 0x7008
movq %r15, %rdi
xorl %esi, %esi
movq %rbp, %rdx
movq %r14, %rcx
xorl %r8d, %r8d
leaq 0x38(%rsp), %r9
callq 0x2b238
movq 0x38(%rsp), %rdi
cmpq %rbx, %rdi
je 0x10d4b
movq 0x48(%rsp), %rsi
incq %rsi
callq 0x6300
movq %rbp, (%r12)
movslq 0x10(%r13), %rax
leaq 0x2e6b6(%rip), %rcx     # 0x3f410
movq (%rcx), %rcx
movq (%rcx,%rax,8), %r14
testq %r14, %r14
je 0x10e3a
movq (%r14), %rax
movq -0x8(%rax), %rax
movq 0x8(%rax), %rdi
leaq 0x1e45e(%rip), %rax     # 0x2f1da
cmpq %rax, %rdi
je 0x10d9e
cmpb $0x2a, (%rdi)
je 0x10e26
leaq 0x1e449(%rip), %rsi     # 0x2f1da
callq 0x6410
testl %eax, %eax
jne 0x10e26
movq (%r12), %r13
movl $0x18, %edi
callq 0x62f0
movq %rax, %r12
movl 0x38(%r14), %esi
movq %rax, %rdi
movl $0x2, %edx
callq 0x1d02a
leaq 0x68(%rsp), %rbp
movq %rbp, -0x10(%rbp)
leaq 0x1d903(%rip), %rsi     # 0x2e6d3
leaq 0x1d977(%rip), %rdx     # 0x2e74e
leaq 0x58(%rsp), %rbx
movq %rbx, %rdi
callq 0x7008
movq %r15, %rdi
movl $0x13, %esi
movq %r13, %rdx
movq %r13, %rcx
movq %r12, %r8
movq %rbx, %r9
callq 0x2b238
movq 0x58(%rsp), %rdi
cmpq %rbp, %rdi
je 0x10e14
movq 0x68(%rsp), %rsi
incq %rsi
callq 0x6300
movl 0x38(%r14), %eax
movq 0x8(%rsp), %rcx
imull (%rcx), %eax
addl 0x30(%r14), %eax
movl %eax, (%rcx)
movq 0x10(%rsp), %rax
addq $0x78, %rsp
popq %rbx
popq %r12
popq %r13
popq %r14
popq %r15
popq %rbp
retq
callq 0x6350
movq %rax, %r14
movq 0x38(%rsp), %rdi
cmpq %rbx, %rdi
je 0x10ea0
movq 0x48(%rsp), %rsi
jmp 0x10e98
movq %rax, %r14
movl $0x18, %esi
movq %rbp, %rdi
jmp 0x10e9b
movq %rax, %r14
movq 0x58(%rsp), %rdi
cmpq %rbp, %rdi
je 0x10ea0
movq 0x68(%rsp), %rsi
jmp 0x10e98
movq %rax, %r14
movl $0x18, %esi
movq %r12, %rdi
jmp 0x10e9b
movq %rax, %r14
movq 0x18(%rsp), %rdi
leaq 0x28(%rsp), %rax
cmpq %rax, %rdi
je 0x10ea0
movq 0x28(%rsp), %rsi
incq %rsi
callq 0x6300
movq %r14, %rdi
callq 0x6560