// File: /workspace/github_c_makefile_star2_O1/trumabrat[P]GrandProjet/Graphe.c
// Function: chaine_arborescence
ListeEntier chaine_arborescence(Graphe* g, int u, int v){
    // Dans chaque iteration, on prend le sommet a la tete de la file
    // et enfile les sommets adjacent mais non visite
    // on continue cette boucle jusqu'a ce qu'on touche le sommet v

    // securisation
    assert(g);
    assert(u-1 < g->nbsom && v-1 < g->nbsom);
    if(u == v) return 0;

    int sommet_en_cours, a_enfiler;
    Cellule_arete* cell_arete;

    // on cree une table pour l'arborescence
    // qui stocke le sommet pere de chaque sommet
    int pere[g->nbsom];
    for (int i = 0; i < g->nbsom; i++)
    {
        pere[i] = -1;
    }

    // on cree une autre table pour stocker les distances entre u et les sommets
    int distance[g->nbsom];
    for (int i = 0; i < g->nbsom; i++)
    {
        distance[i] = g->nbsom + 1;
    }
    distance[u-1] = 0;

    // on cree une autre table pour stocker l'etat de visite
    // un sommet peut etre 
    //  non visite
    //  ouvert (certains de ses descendant ne sont pas encore visites) 
    //  ferme (tous ses descendant sont visites)
    etat_visite visite[g->nbsom];
    for (int i = 0; i < g->nbsom; i++)
    {
        visite[i] = non_visite;
    }
    visite[u-1] = ouvert;
    
    // on cree un file pour les sommets a visiter
    S_file* file = calloc(1, sizeof(S_file));
    Init_file(file);
    enfile(file, u);

    // on fait un parcourt en largeur jusqu'a ce que la file est vide
    while(!estFileVide(file)){

        // on prend la tete de la file et parcourt sa liste de voisins
        // et enfile les sommets prochains
        sommet_en_cours = defile(file);
        cell_arete = g->T_som[sommet_en_cours-1]->L_voisin;
        while(cell_arete){
            // on teste le numero de sommet a enfiler
            // a_enfiler = cell_arete->a->u == sommet_en_cours ? v : u;
            if(cell_arete->a->u == sommet_en_cours) 
                 a_enfiler = cell_arete->a->v;
            else a_enfiler = cell_arete->a->u;
            
            // si deja visite, on ne prend pas, sinon on le prend et calcule sa distance
            //  et marque son status comme ouvert(en train de visiter)
            //  et memorise son ancetre
            if(visite[a_enfiler-1] == non_visite){
                visite[a_enfiler-1] = ouvert;
                distance[a_enfiler-1] = distance[sommet_en_cours-1]+1;
                pere[a_enfiler-1] = sommet_en_cours;
                enfile(file, a_enfiler);
            }
            cell_arete = cell_arete->suiv;
        }
        visite[sommet_en_cours-1] = ferme;
    }

    // creation et initialisation d'une liste a renvoyer
    ListeEntier chaine_parcourt;
    Init_Liste(&chaine_parcourt);
    
    // le cas ou sommets u et v ne sont pas connexe
    if(pere[v-1] == -1){
        liberer_file(file);
        return chaine_parcourt;
    }

    // traitement pour la liste de parcourt
    // on trouve le pere successivement a partir de v, jusqu'a u
    // ensuite on le stoke dans la liste (il y a une renversement)
    
    sommet_en_cours = v;
    while(sommet_en_cours != u){
        ajoute_en_tete(&chaine_parcourt, sommet_en_cours);
        sommet_en_cours = pere[sommet_en_cours-1];
    }
    ajoute_en_tete(&chaine_parcourt, sommet_en_cours); // on ajoute u

    // liberer memoire
    liberer_file(file);

    return chaine_parcourt;
}

// Assembly:
pushq %rbp
movq %rsp, %rbp
pushq %r15
pushq %r14
pushq %r13
pushq %r12
pushq %rbx
subq $0x38, %rsp
testq %rdi, %rdi
je 0x1909
movl %esi, %r12d
movl (%rdi), %eax
cmpl %esi, %eax
jl 0x1928
cmpl %edx, %eax
jl 0x1928
cmpl %edx, %r12d
jne 0x173b
xorl %eax, %eax
jmp 0x18fa
movl %edx, -0x34(%rbp)
movq %rsp, -0x50(%rbp)
movq %rsp, %rbx
leaq 0xf(,%rax,4), %rax
andq $-0x10, %rax
subq %rax, %rbx
movq %rbx, %rsp
movq %rdi, -0x58(%rbp)
movl (%rdi), %r13d
testl %r13d, %r13d
jle 0x1778
leaq (,%r13,4), %rdx
movq %rbx, %rdi
movl $0xff, %esi
callq 0x10c0
movq %rbx, -0x40(%rbp)
leal -0x1(%r12), %eax
movq %rsp, %rdi
leaq 0xf(,%r13,4), %rcx
andq $-0x10, %rcx
subq %rcx, %rdi
movq %rdi, %rsp
testl %r13d, %r13d
jle 0x17ac
leal 0x1(%r13), %edx
xorl %esi, %esi
movl %edx, (%rdi,%rsi,4)
incq %rsi
cmpq %rsi, %r13
jne 0x17a1
movslq %eax, %r15
movq %rdi, -0x60(%rbp)
movl $0x0, (%rdi,%r15,4)
movq %rsp, %r14
subq %rcx, %r14
movq %r14, %rsp
testl %r13d, %r13d
jle 0x17da
shlq $0x2, %r13
movq %r14, %rdi
xorl %esi, %esi
movq %r13, %rdx
callq 0x10c0
movl $0x1, (%r14,%r15,4)
movl $0x1, %edi
movl $0x10, %esi
callq 0x10e0
movq %rax, %r13
movq %rax, %rdi
callq 0x3438
movq %r13, %rdi
movq %r12, -0x48(%rbp)
movl %r12d, %esi
callq 0x3449
movq %r13, %rdi
callq 0x343f
testl %eax, %eax
jne 0x18a0
movq %r13, %rbx
movq %r13, %rdi
callq 0x3484
movl %eax, %r12d
movq -0x58(%rbp), %rax
movq 0x8(%rax), %rax
movslq %r12d, %r15
movq -0x8(%rax,%r15,8), %rax
decq %r15
movq 0x18(%rax), %r13
testq %r13, %r13
je 0x188d
movq (%r13), %rcx
movl (%rcx), %eax
cmpl %r12d, %eax
jne 0x1853
movl 0x4(%rcx), %eax
movslq %eax, %rsi
cmpl $0x0, -0x4(%r14,%rsi,4)
jne 0x1887
leaq -0x1(%rsi), %rax
movl $0x1, (%r14,%rax,4)
movq -0x60(%rbp), %rdx
movl (%rdx,%r15,4), %ecx
incl %ecx
movl %ecx, (%rdx,%rax,4)
movq -0x40(%rbp), %rcx
movl %r12d, (%rcx,%rax,4)
movq %rbx, %rdi
callq 0x3449
movq 0x8(%r13), %r13
jmp 0x1840
movl $0x2, (%r14,%r15,4)
movq %rbx, %r13
movq %rbx, %rdi
jmp 0x180e
leaq -0x30(%rbp), %rdi
callq 0x34e0
movl -0x34(%rbp), %ebx
movslq %ebx, %rax
movq -0x40(%rbp), %r12
cmpl $-0x1, -0x4(%r12,%rax,4)
je 0x18ea
movq -0x48(%rbp), %r15
cmpl %r15d, %ebx
je 0x18df
leaq -0x30(%rbp), %r14
movq %r14, %rdi
movl %ebx, %esi
callq 0x34f2
movslq %ebx, %rax
movl -0x4(%r12,%rax,4), %ebx
cmpl %r15d, %ebx
jne 0x18c8
leaq -0x30(%rbp), %rdi
movl %ebx, %esi
callq 0x34f2
movq %r13, %rdi
callq 0x34ab
movq -0x30(%rbp), %rax
movq -0x50(%rbp), %rsp
leaq -0x28(%rbp), %rsp
popq %rbx
popq %r12
popq %r13
popq %r14
popq %r15
popq %rbp
retq
leaq 0x274b(%rip), %rdi      # 0x405b
leaq 0x271d(%rip), %rsi      # 0x4034
leaq 0x2788(%rip), %rcx      # 0x40a6
movl $0xbe, %edx
callq 0x10b0
leaq 0x27ab(%rip), %rdi      # 0x40da
leaq 0x26fe(%rip), %rsi      # 0x4034
leaq 0x2769(%rip), %rcx      # 0x40a6
movl $0xbf, %edx
callq 0x10b0