// File: /workspace/github_cpp_makefile_star2_O2/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 %r8, %rbx
movq %rcx, %r12
movq %rsi, %r15
movq %rdi, %r13
movq 0x48(%rdi), %rdi
movq (%rdi), %rax
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 0xe1d3
leaq 0x164e5(%rip), %rsi     # 0x24684
leaq 0x38(%rsp), %rdi
leaq 0xf(%rsp), %rdx
callq 0x6d6c
pushq $0x11
popq %rsi
leaq 0x38(%rsp), %r9
movq %r15, %rdi
movq %rbp, %rdx
movq %rbp, %rcx
movq %r14, %r8
callq 0x212de
leaq 0x38(%rsp), %rdi
callq 0x65c8
jmp 0xe231
movq %r14, (%r12)
cmpb $0x1, 0x10(%r14)
je 0xe231
pushq $0x18
popq %rdi
callq 0x62d0
movq %rax, %rbp
movq %rax, %rdi
callq 0x18148
movq (%r12), %r14
leaq 0x16425(%rip), %rsi     # 0x24621
leaq 0x58(%rsp), %rdi
leaq 0xf(%rsp), %rdx
callq 0x6d6c
leaq 0x58(%rsp), %r9
movq %r15, %rdi
xorl %esi, %esi
movq %rbp, %rdx
movq %r14, %rcx
xorl %r8d, %r8d
callq 0x212de
leaq 0x58(%rsp), %rdi
callq 0x65c8
movq %rbp, (%r12)
movslq 0x10(%r13), %rax
leaq 0x2a1cc(%rip), %r14     # 0x38408
movq (%r14), %rcx
movq (%rcx,%rax,8), %rax
testq %rax, %rax
je 0xe2e6
movq (%rax), %rax
movq -0x8(%rax), %rdi
leaq 0x28c36(%rip), %rsi     # 0x36e90
callq 0x1227e
testb %al, %al
je 0xe2d2
movslq 0x10(%r13), %rax
movq (%r14), %rcx
movq (%rcx,%rax,8), %r14
movq (%r12), %r13
pushq $0x18
popq %rdi
callq 0x62d0
movq %rax, %r12
movl 0x38(%r14), %esi
pushq $0x2
popq %rdx
movq %rax, %rdi
callq 0x1815e
leaq 0x16440(%rip), %rsi     # 0x246d3
leaq 0x18(%rsp), %rdi
leaq 0xf(%rsp), %rdx
callq 0x6d6c
pushq $0x13
popq %rsi
leaq 0x18(%rsp), %r9
movq %r15, %rdi
movq %r13, %rdx
movq %r13, %rcx
movq %r12, %r8
callq 0x212de
leaq 0x18(%rsp), %rdi
callq 0x65c8
movl 0x38(%r14), %eax
imull (%rbx), %eax
addl 0x30(%r14), %eax
movl %eax, (%rbx)
movq 0x10(%rsp), %rax
addq $0x78, %rsp
popq %rbx
popq %r12
popq %r13
popq %r14
popq %r15
popq %rbp
retq
callq 0x6320
movq %rax, %rbx
leaq 0x58(%rsp), %rdi
jmp 0xe326
jmp 0xe32d
movq %rax, %rbx
pushq $0x18
popq %rsi
movq %rbp, %rdi
jmp 0xe317
movq %rax, %rbx
leaq 0x18(%rsp), %rdi
jmp 0xe326
jmp 0xe32d
movq %rax, %rbx
pushq $0x18
popq %rsi
movq %r12, %rdi
callq 0x62e0
jmp 0xe330
movq %rax, %rbx
leaq 0x38(%rsp), %rdi
callq 0x65c8
jmp 0xe330
movq %rax, %rbx
movq %rbx, %rdi
callq 0x6530