// File: /workspace/github_c_makefile_star2_O0/mishun[P]plantri/plantri.c
// Function: construct_numb_mirror
static void 
construct_numb_mirror(EDGE *givenedge, EDGE *numbering[])

/* Starts at givenedge and writes the edges in the well defined order 
   into the list.  Works like testcanon. Look there for comments.  */
{
    EDGE *temp, **tail, **limit, *run;  
    EDGE *startedge[MAXN+1]; 
    int last_number, actual_number, vertex;

    RESETMARKS_V;

    tail = numbering; /* The first entry of the numbering list */
    limit = numbering+ne-1;  /* Last valid entry of the numbering list */

    MARK_V(givenedge->start); 
    if (givenedge->start != givenedge->end)
      {
	MARK_V(givenedge->end);
	last_number = 2;
	startedge[1] = givenedge->invers;
      }
    else last_number = 1; 

    actual_number = 1;
    temp = *tail = givenedge;

    while (last_number < nv)
    {  
        for (run = temp->prev; run != temp; run = run->prev)
    /* this loop marks all edges around temp->origin. */
          { vertex = run->end;
            if (!ISMARKED_V(vertex))
              { startedge[last_number] = run->invers;
                last_number++; MARK_V(vertex); }
            tail++; *tail = run; 
          }
          if (tail != limit)
            {
              tail++;
              *tail = temp = startedge[actual_number];  actual_number++; }
    }

    while (tail != limit) 
                /* Now we know that all numbers have been given */
    {  
        for (run = temp->prev; run != temp; run = run->prev)
    /* this loop marks all edges around temp->origin. */
          { tail++; *tail = run; }
        if (tail != limit)
        { 
       /* Next vertex to explore: */
            tail++;
            *tail = temp = startedge[actual_number];  actual_number++; }
    }
}

// Assembly:
pushq %rbp
movq %rsp, %rbp
subq $0x1d0, %rsp            # imm = 0x1D0
movq %rdi, -0x8(%rbp)
movq %rsi, -0x10(%rbp)
movl 0x2e207(%rip), %eax     # 0x3c090
addl $0x1, %eax
movl %eax, 0x2e1fe(%rip)     # 0x3c090
cmpl $0x7530, %eax           # imm = 0x7530
jle 0xdede
movl $0x1, 0x2e1ed(%rip)     # 0x3c090
movl $0x0, -0x250(%rbp)
cmpl $0x40, -0x250(%rbp)
jge 0xdedc
movslq -0x250(%rbp), %rcx
leaq 0x292d7c(%rip), %rax    # 0x2a0c40
movl $0x0, (%rax,%rcx,4)
movl -0x250(%rbp), %eax
addl $0x1, %eax
movl %eax, -0x250(%rbp)
jmp 0xdead
jmp 0xdede
movq -0x10(%rbp), %rax
movq %rax, -0x20(%rbp)
movq -0x10(%rbp), %rax
movslq 0x24c733(%rip), %rcx    # 0x25a624
shlq $0x3, %rcx
addq %rcx, %rax
addq $-0x8, %rax
movq %rax, -0x28(%rbp)
movl 0x2e18a(%rip), %edx     # 0x3c090
movq -0x8(%rbp), %rax
movslq (%rax), %rcx
leaq 0x292d2c(%rip), %rax    # 0x2a0c40
movl %edx, (%rax,%rcx,4)
movq -0x8(%rbp), %rax
movl (%rax), %eax
movq -0x8(%rbp), %rcx
cmpl 0x4(%rcx), %eax
je 0xdf59
movl 0x2e164(%rip), %edx     # 0x3c090
movq -0x8(%rbp), %rax
movslq 0x4(%rax), %rcx
leaq 0x292d05(%rip), %rax    # 0x2a0c40
movl %edx, (%rax,%rcx,4)
movl $0x2, -0x244(%rbp)
movq -0x8(%rbp), %rax
movq 0x20(%rax), %rax
movq %rax, -0x238(%rbp)
jmp 0xdf63
movl $0x1, -0x244(%rbp)
movl $0x1, -0x248(%rbp)
movq -0x8(%rbp), %rax
movq -0x20(%rbp), %rcx
movq %rax, (%rcx)
movq %rax, -0x18(%rbp)
movl -0x244(%rbp), %eax
cmpl 0x24c698(%rip), %eax    # 0x25a620
jge 0xe077
movq -0x18(%rbp), %rax
movq 0x10(%rax), %rax
movq %rax, -0x30(%rbp)
movq -0x30(%rbp), %rax
cmpq -0x18(%rbp), %rax
je 0xe033
movq -0x30(%rbp), %rax
movl 0x4(%rax), %eax
movl %eax, -0x24c(%rbp)
movslq -0x24c(%rbp), %rcx
leaq 0x292c7d(%rip), %rax    # 0x2a0c40
movl (%rax,%rcx,4), %eax
cmpl 0x2e0c4(%rip), %eax     # 0x3c090
je 0xe00b
movq -0x30(%rbp), %rax
movq 0x20(%rax), %rcx
movslq -0x244(%rbp), %rax
movq %rcx, -0x240(%rbp,%rax,8)
movl -0x244(%rbp), %eax
addl $0x1, %eax
movl %eax, -0x244(%rbp)
movl 0x2e096(%rip), %edx     # 0x3c090
movslq -0x24c(%rbp), %rcx
leaq 0x292c38(%rip), %rax    # 0x2a0c40
movl %edx, (%rax,%rcx,4)
movq -0x20(%rbp), %rax
addq $0x8, %rax
movq %rax, -0x20(%rbp)
movq -0x30(%rbp), %rcx
movq -0x20(%rbp), %rax
movq %rcx, (%rax)
movq -0x30(%rbp), %rax
movq 0x10(%rax), %rax
movq %rax, -0x30(%rbp)
jmp 0xdf9a
movq -0x20(%rbp), %rax
cmpq -0x28(%rbp), %rax
je 0xe072
movq -0x20(%rbp), %rax
addq $0x8, %rax
movq %rax, -0x20(%rbp)
movslq -0x248(%rbp), %rax
movq -0x240(%rbp,%rax,8), %rcx
movq %rcx, -0x18(%rbp)
movq -0x20(%rbp), %rax
movq %rcx, (%rax)
movl -0x248(%rbp), %eax
addl $0x1, %eax
movl %eax, -0x248(%rbp)
jmp 0xdf7c
jmp 0xe079
movq -0x20(%rbp), %rax
cmpq -0x28(%rbp), %rax
je 0xe102
movq -0x18(%rbp), %rax
movq 0x10(%rax), %rax
movq %rax, -0x30(%rbp)
movq -0x30(%rbp), %rax
cmpq -0x18(%rbp), %rax
je 0xe0be
movq -0x20(%rbp), %rax
addq $0x8, %rax
movq %rax, -0x20(%rbp)
movq -0x30(%rbp), %rcx
movq -0x20(%rbp), %rax
movq %rcx, (%rax)
movq -0x30(%rbp), %rax
movq 0x10(%rax), %rax
movq %rax, -0x30(%rbp)
jmp 0xe08f
movq -0x20(%rbp), %rax
cmpq -0x28(%rbp), %rax
je 0xe0fd
movq -0x20(%rbp), %rax
addq $0x8, %rax
movq %rax, -0x20(%rbp)
movslq -0x248(%rbp), %rax
movq -0x240(%rbp,%rax,8), %rcx
movq %rcx, -0x18(%rbp)
movq -0x20(%rbp), %rax
movq %rcx, (%rax)
movl -0x248(%rbp), %eax
addl $0x1, %eax
movl %eax, -0x248(%rbp)
jmp 0xe079
addq $0x1d0, %rsp            # imm = 0x1D0
popq %rbp
retq
nopl (%rax,%rax)