// File: /workspace/github_c_makefile_star2_O2/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 0x1898
movq %rdi, %rbx
movl (%rdi), %ecx
cmpl %esi, %ecx
jl 0x18b7
cmpl %edx, %ecx
jl 0x18b7
xorl %eax, %eax
cmpl %edx, %esi
je 0x1889
movq %rsp, -0x58(%rbp)
leal -0x1(%rsi), %r9d
movq %rsp, %rdi
leaq 0xf(,%rcx,4), %rcx
andq $-0x10, %rcx
subq %rcx, %rdi
movq %rdi, -0x30(%rbp)
movq %rdi, %rsp
movl (%rbx), %edi
testl %edi, %edi
movl $0x0, %ecx
cmovgl %edi, %ecx
movq -0x30(%rbp), %r8
cmpq %rax, %rcx
je 0x170d
orl $-0x1, (%r8,%rax,4)
incq %rax
jmp 0x16fe
movq %rsp, %r8
leaq 0xf(,%rdi,4), %rax
andq $-0x10, %rax
subq %rax, %r8
movq %r8, -0x38(%rbp)
movq %r8, %rsp
leal 0x1(%rdi), %r8d
xorl %edi, %edi
movq -0x38(%rbp), %r10
cmpq %rdi, %rcx
je 0x173e
movl %r8d, (%r10,%rdi,4)
incq %rdi
jmp 0x1730
movl %edx, -0x44(%rbp)
movq %rsi, -0x50(%rbp)
movslq %r9d, %rdx
movq -0x38(%rbp), %rsi
andl $0x0, (%rsi,%rdx,4)
movq %rsp, %r14
subq %rax, %r14
movq %r14, %rsp
xorl %eax, %eax
cmpq %rax, %rcx
je 0x176a
andl $0x0, (%r14,%rax,4)
incq %rax
jmp 0x175b
movl $0x1, (%r14,%rdx,4)
pushq $0x1
popq %rdi
pushq $0x10
popq %rsi
callq 0x10d0
movq %rax, %r12
movq %rax, %rdi
callq 0x2eb0
movq %r12, %rdi
movq -0x50(%rbp), %rsi
callq 0x2ec1
movq %rbx, -0x60(%rbp)
movq %r12, %rdi
callq 0x2eb7
testl %eax, %eax
jne 0x182d
movq %r12, %r15
movq %r12, %rdi
callq 0x2ef7
movl %eax, %r13d
movq 0x8(%rbx), %rax
movslq %r13d, %rbx
movq -0x8(%rax,%rbx,8), %r12
decq %rbx
addq $0x18, %r12
movq (%r12), %r12
testq %r12, %r12
je 0x1819
movq (%r12), %rcx
movl (%rcx), %eax
cmpl %r13d, %eax
jne 0x17e0
movl 0x4(%rcx), %eax
movslq %eax, %rsi
cmpl $0x0, -0x4(%r14,%rsi,4)
jne 0x1813
leaq -0x1(%rsi), %rax
movl $0x1, (%r14,%rax,4)
movq -0x38(%rbp), %rdx
movl (%rdx,%rbx,4), %ecx
incl %ecx
movl %ecx, (%rdx,%rax,4)
movq -0x30(%rbp), %rcx
movl %r13d, (%rcx,%rax,4)
movq %r15, %rdi
callq 0x2ec1
addq $0x8, %r12
jmp 0x17c9
movl $0x2, (%r14,%rbx,4)
movq -0x60(%rbp), %rbx
movq %r15, %r12
jmp 0x1798
leaq -0x40(%rbp), %rdi
callq 0x2f38
movl -0x44(%rbp), %r14d
movslq %r14d, %rax
movq -0x30(%rbp), %rcx
cmpl $-0x1, -0x4(%rcx,%rax,4)
je 0x1879
leaq -0x40(%rbp), %r15
movq -0x50(%rbp), %rbx
cmpl %ebx, %r14d
je 0x186e
movq %r15, %rdi
movl %r14d, %esi
callq 0x2f47
movslq %r14d, %rax
movq -0x30(%rbp), %rcx
movl -0x4(%rcx,%rax,4), %r14d
jmp 0x1850
leaq -0x40(%rbp), %rdi
movl %ebx, %esi
callq 0x2f47
movq %r12, %rdi
callq 0x2f1b
movq -0x40(%rbp), %rax
movq -0x58(%rbp), %rsp
leaq -0x28(%rbp), %rsp
popq %rbx
popq %r12
popq %r13
popq %r14
popq %r15
popq %rbp
retq
leaq 0x17bc(%rip), %rdi      # 0x305b
leaq 0x178e(%rip), %rsi      # 0x3034
leaq 0x17f9(%rip), %rcx      # 0x30a6
movl $0xbe, %edx
callq 0x10b0
leaq 0x181c(%rip), %rdi      # 0x30da
leaq 0x176f(%rip), %rsi      # 0x3034
leaq 0x17da(%rip), %rcx      # 0x30a6
movl $0xbf, %edx
callq 0x10b0