// File: jenniferdr[P]proyectoIAI/ida_estrella.cc
// Function: DFS_acotado(int, int, int (*)(char*))
std::pair<Nodo*,int> DFS_acotado(int nodo,int t,int (*h)(int8 estado[16])){
  //std::cout << (int) n->distancia << std::endl;
  Nodo* n = &nodos[nodo];

  int c = n->distancia + peso*(*h)(n->estado);
  if ( c > t ){
    return std::pair<Nodo*,int>(NULL,c);
  }

  if (is_goal(n)) {
    return std::pair<Nodo*,int>(n,n->distancia);
  }

  int nueva_t = 1000;

  int posCero;
  //buscar posicion del cero
  for(int i = 0; i < 16; i++){
    if(n->estado[i]==0){
      posCero=i;
      break;
    }
  }
  
  for(int i=0; i<4 ;i++){

    if(!puedeMoverse(movimientos[i],posCero)) continue;

    int8* nuevoEstado = nodos[nodo+1].estado;
 
    // Generar el nuevo estado
    memcpy(nuevoEstado,n->estado,sizeof(int8)*16);
    nuevoEstado[posCero]= nuevoEstado[posCero+movimientos[i]];
    nuevoEstado[posCero+movimientos[i]]=0;

    num_nodos++;
   
    //	  if (num_nodos == 500000000) { std::exit(0); }
    //std::cout << num_nodos << "\n";

    nodos[nodo+1].distancia = nodos[nodo].distancia + 1;
    nodos[nodo+1].predecesor = n;

    std::pair<Nodo*,int> par= DFS_acotado(nodo+1, t,h);
    if (par.first!=NULL) return par;
    nueva_t= std::min(nueva_t,par.second);
  }
  return std::pair<Nodo*,int>(NULL,nueva_t);
}

// Assembly:
pushq %rbp
movq %rsp, %rbp
subq $0x70, %rsp
movl %edi, -0x14(%rbp)
movl %esi, -0x18(%rbp)
movq %rdx, -0x20(%rbp)
movslq -0x14(%rbp), %rcx
leaq 0x30488a3(%rip), %rax   # 0x3053390
imulq $0x28, %rcx, %rcx
addq %rcx, %rax
movq %rax, -0x28(%rbp)
movq -0x28(%rbp), %rax
movsbl 0x10(%rax), %eax
movl %eax, -0x6c(%rbp)
movl 0x304887b(%rip), %eax   # 0x3053384
movl %eax, -0x70(%rbp)
movq -0x20(%rbp), %rax
movq -0x28(%rbp), %rdi
callq *%rax
movl -0x70(%rbp), %ecx
movl %eax, %edx
movl -0x6c(%rbp), %eax
imull %edx, %ecx
addl %ecx, %eax
movl %eax, -0x2c(%rbp)
movl -0x2c(%rbp), %eax
cmpl -0x18(%rbp), %eax
jle 0xab4c
movq $0x0, -0x38(%rbp)
leaq -0x10(%rbp), %rdi
leaq -0x38(%rbp), %rsi
leaq -0x2c(%rbp), %rdx
callq 0xafa0
jmp 0xacf4
movq -0x28(%rbp), %rdi
callq 0x7de0
testb $0x1, %al
jne 0xab5b
jmp 0xab75
movq -0x28(%rbp), %rdx
addq $0x10, %rdx
leaq -0x10(%rbp), %rdi
leaq -0x28(%rbp), %rsi
callq 0xafd0
jmp 0xacf4
movl $0x3e8, -0x3c(%rbp)     # imm = 0x3E8
movl $0x0, -0x44(%rbp)
cmpl $0x10, -0x44(%rbp)
jge 0xabaf
movq -0x28(%rbp), %rax
movslq -0x44(%rbp), %rcx
movsbl (%rax,%rcx), %eax
cmpl $0x0, %eax
jne 0xaba2
movl -0x44(%rbp), %eax
movl %eax, -0x40(%rbp)
jmp 0xabaf
jmp 0xaba4
movl -0x44(%rbp), %eax
addl $0x1, %eax
movl %eax, -0x44(%rbp)
jmp 0xab83
movl $0x0, -0x48(%rbp)
cmpl $0x4, -0x48(%rbp)
jge 0xacdb
movslq -0x48(%rbp), %rcx
leaq 0x1515(%rip), %rax      # 0xc0e0
movl (%rax,%rcx,4), %edi
movl -0x40(%rbp), %esi
callq 0x85c0
testb $0x1, %al
jne 0xabdf
jmp 0xaccd
movl -0x14(%rbp), %eax
incl %eax
cltq
leaq (%rax,%rax,4), %rcx
leaq 0x304879f(%rip), %rax   # 0x3053390
leaq (%rax,%rcx,8), %rcx
movq %rcx, -0x50(%rbp)
movq -0x50(%rbp), %rcx
movq -0x28(%rbp), %rdx
movups (%rdx), %xmm0
movups %xmm0, (%rcx)
movq -0x50(%rbp), %rcx
movslq -0x40(%rbp), %rdx
movl %edx, %edi
movslq -0x48(%rbp), %r8
leaq 0x14c4(%rip), %rsi      # 0xc0e0
movl (%rsi,%r8,4), %r8d
addl %r8d, %edi
movslq %edi, %rdi
movb (%rcx,%rdi), %dil
movb %dil, (%rcx,%rdx)
movq -0x50(%rbp), %rcx
movl -0x40(%rbp), %edx
movslq -0x48(%rbp), %rdi
movl (%rsi,%rdi,4), %esi
addl %esi, %edx
movslq %edx, %rdx
movb $0x0, (%rcx,%rdx)
movq 0x304873c(%rip), %rcx   # 0x3053388
incq %rcx
movq %rcx, 0x3048732(%rip)   # 0x3053388
movslq -0x14(%rbp), %rdx
movl %edx, %ecx
leaq (%rdx,%rdx,4), %rdx
movb 0x10(%rax,%rdx,8), %dl
incb %dl
incl %ecx
movslq %ecx, %rcx
leaq (%rcx,%rcx,4), %rcx
movb %dl, 0x10(%rax,%rcx,8)
movq -0x28(%rbp), %rdx
movl -0x14(%rbp), %ecx
incl %ecx
movslq %ecx, %rcx
leaq (%rcx,%rcx,4), %rcx
movq %rdx, 0x18(%rax,%rcx,8)
movl -0x14(%rbp), %edi
incl %edi
movl -0x18(%rbp), %esi
movq -0x20(%rbp), %rdx
callq 0xaad0
movl %edx, -0x58(%rbp)
movq %rax, -0x60(%rbp)
movq -0x60(%rbp), %rax
movq %rax, -0x10(%rbp)
movl -0x58(%rbp), %eax
movl %eax, -0x8(%rbp)
cmpq $0x0, -0x10(%rbp)
je 0xacb7
jmp 0xacf4
leaq -0x10(%rbp), %rsi
addq $0x8, %rsi
leaq -0x3c(%rbp), %rdi
callq 0xb000
movl (%rax), %eax
movl %eax, -0x3c(%rbp)
movl -0x48(%rbp), %eax
addl $0x1, %eax
movl %eax, -0x48(%rbp)
jmp 0xabb6
movq $0x0, -0x68(%rbp)
leaq -0x10(%rbp), %rdi
leaq -0x68(%rbp), %rsi
leaq -0x3c(%rbp), %rdx
callq 0xafa0
movq -0x10(%rbp), %rax
movl -0x8(%rbp), %edx
addq $0x70, %rsp
popq %rbp
retq
nopw %cs:(%rax,%rax)