// File: /workspace/github_c_makefile_star2_O1/mishun[P]plantri/fullgen.c
// Function: belege_sequenz
void belege_sequenz( KANTE *start, SEQUENZ *sq)
/* belegt die sequenz startend bei der Kante start */
/* geht fest davon aus, dass 2 mal nach innen hintereinander nicht vorkommt */

{
int i, j, k, zaehler, position;
KANTE *run;
int *sequenz; 
KANTE **seqkanten;
int puffer[7];
char *kan;


sequenz=sq->sequenz;
seqkanten=sq->kanten;
kan=sq->k_marks;


if (start->next->invers->next->name == aussen) 
    { fprintf(stderr,"Achtung -- naechste Kante nicht nach innen -- FEHLER !\n");
      exit(7); }

for (i=0; i<7; i++) { sequenz[i]=leer; seqkanten[i]=nil; kan[i]=0;}

if (start->prev->invers->prev->name != aussen) /* d.h. vorige Kante nicht nach aussen, also nur
						  Randlaenge zu bestimmen */
    { sq->laenge=0;
      for (run=start->next->invers->next->invers->next, zaehler=1; run != start;
           run=run->next->invers->next->invers->next) zaehler++;
      sequenz[0]=zaehler;
      seqkanten[0]=start;
      return;
    }

sq->laenge=0;
zaehler=1;
position=0;
seqkanten[0]=start;


for (run=start->next->invers->next->invers->next; run->next->invers->next->name < aussen;
     run=run->next->invers->next->invers->next) zaehler++;
sequenz[0]=zaehler; position=1; 
if (run->next->invers->next != start) seqkanten[position]=run->next->invers->next;
for (run=run->next->invers->next; run->next->invers->next->name >= aussen;
     run=run->next->invers->next) 
{ sequenz[position]=0; position++;
if (run->next->invers->next != start) seqkanten[position]=run->next->invers->next; }
/* naechste Kante vor nicht-0-sequenz suchen */


while (run != start)
{
for (zaehler=0; run->next->invers->next->name < aussen; 
                run=run->next->invers->next->invers->next) zaehler++;
sequenz[position]=zaehler;  position++;
if (run->next->invers->next != start) seqkanten[position]=run->next->invers->next; 
for (run=run->next->invers->next; run->next->invers->next->name >= aussen;
     run=run->next->invers->next) { sequenz[position]=0;  position++;
if (run->next->invers->next != start) seqkanten[position]=run->next->invers->next; }

}

sequenz[position]=leer; seqkanten[position]=nil;
sq->laenge=position;

kan[0]=sequenz_kanonisch(sequenz);

for (i=1; sequenz[i] != leer; i++)
  { for (j=i, k=0; sequenz[j]!=leer; j++, k++) puffer[k]=sequenz[j];
    for (j=0; j<i; j++, k++) puffer[k]=sequenz[j];
    puffer[k]=leer;
    kan[i]=sequenz_kanonisch(puffer);
  }



}

// Assembly:
pushq %rbp
pushq %r15
pushq %r14
pushq %r13
pushq %r12
pushq %rbx
subq $0x28, %rsp
movq 0x20(%rdi), %rax
movq 0x28(%rax), %rax
movq 0x20(%rax), %rax
cmpw $0x246, 0x2(%rax)       # imm = 0x246
je 0x505f
movq %rsi, %rbx
leaq 0x4(%rsi), %r14
movl $0x58, %eax
movl $0xfffe, -0x15c(%rbx,%rax,4) # imm = 0xFFFE
movq $0x0, -0x2a0(%rbx,%rax,8)
movb $0x0, (%rbx,%rax)
incq %rax
cmpq $0x5f, %rax
jne 0x4dc9
movq 0x18(%rdi), %rax
movq 0x28(%rax), %rax
movq 0x18(%rax), %rax
cmpw $0x246, 0x2(%rax)       # imm = 0x246
movl $0x0, (%rbx)
jne 0x5013
movq %rdi, 0x20(%rbx)
movq 0x20(%rdi), %rax
movq 0x28(%rax), %rax
movq 0x20(%rax), %rax
xorl %edx, %edx
movq 0x28(%rax), %rax
movq 0x20(%rax), %rcx
movq 0x20(%rcx), %rax
movq 0x28(%rax), %rax
movq 0x20(%rax), %rax
incl %edx
cmpw $0x246, 0x2(%rax)       # imm = 0x246
jb 0x4e1d
movl %edx, (%r14)
cmpq %rdi, %rax
je 0x4e47
movq %rax, 0x28(%rbx)
movq 0x20(%rcx), %rax
movq 0x28(%rax), %rax
movq 0x20(%rax), %rcx
movq 0x20(%rcx), %rax
movq 0x28(%rax), %rax
movq 0x20(%rax), %rdx
movl $0x1, %eax
cmpw $0x246, 0x2(%rdx)       # imm = 0x246
jb 0x4f67
addq $0x20, %rcx
movl $0x6, %eax
movq %rcx, %rsi
movl $0x0, -0x10(%rbx,%rax,4)
cmpq %rdi, %rdx
je 0x4e8d
movq %rdx, (%rbx,%rax,8)
movq (%rsi), %rcx
movq 0x28(%rcx), %rcx
movq 0x20(%rcx), %rcx
leaq 0x20(%rcx), %rsi
movq 0x20(%rcx), %rdx
movq 0x28(%rdx), %rdx
movq 0x20(%rdx), %rdx
incq %rax
cmpw $0x245, 0x2(%rdx)       # imm = 0x245
ja 0x4e7c
addl $-0x5, %eax
jmp 0x4f67
movq 0x20(%rcx), %rdx
movq 0x28(%rdx), %rdx
movq 0x20(%rdx), %rsi
xorl %edx, %edx
cmpw $0x245, 0x2(%rsi)       # imm = 0x245
ja 0x4ef1
xorl %edx, %edx
incl %edx
movq 0x28(%rsi), %rcx
movq 0x20(%rcx), %rcx
movq 0x20(%rcx), %rsi
movq 0x28(%rsi), %rsi
movq 0x20(%rsi), %rsi
cmpw $0x246, 0x2(%rsi)       # imm = 0x246
jb 0x4ed3
cltq
movl %edx, (%r14,%rax,4)
incl %eax
movslq %eax, %rdx
cmpq %rdi, %rsi
je 0x4f06
movq %rsi, 0x20(%rbx,%rdx,8)
movq 0x20(%rcx), %rcx
movq 0x28(%rcx), %rcx
movq 0x20(%rcx), %rcx
movq 0x20(%rcx), %rsi
movq 0x28(%rsi), %rsi
movq 0x20(%rsi), %rsi
cmpw $0x246, 0x2(%rsi)       # imm = 0x246
jb 0x4f67
addq $0x20, %rcx
movq %rcx, %rax
movl $0x0, 0x4(%rbx,%rdx,4)
cmpq %rdi, %rsi
je 0x4f3f
movq %rsi, 0x28(%rbx,%rdx,8)
movq (%rax), %rax
movq 0x28(%rax), %rax
movq 0x20(%rax), %rcx
leaq 0x20(%rcx), %rax
movq 0x20(%rcx), %rsi
movq 0x28(%rsi), %rsi
movq 0x20(%rsi), %rsi
incq %rdx
cmpw $0x245, 0x2(%rsi)       # imm = 0x245
ja 0x4f2d
movl %edx, %eax
cmpq %rdi, %rcx
jne 0x4ebb
cltq
movl $0xfffe, %ebp           # imm = 0xFFFE
movl %ebp, 0x4(%rbx,%rax,4)
movq $0x0, 0x20(%rbx,%rax,8)
movl %eax, (%rbx)
movq %r14, %rdi
callq 0x486e
movb %al, 0x58(%rbx)
cmpl %ebp, 0x8(%rbx)
je 0x5050
leaq 0xc(%rbx), %r12
movl $0x1, %r15d
xorl %r13d, %r13d
movl (%r14,%r15,4), %eax
cmpl $0xfffe, %eax           # imm = 0xFFFE
jne 0x4fb6
xorl %ebp, %ebp
jmp 0x4fcb
xorl %ecx, %ecx
movl %eax, (%rsp,%rcx,4)
movl (%r12,%rcx,4), %eax
incq %rcx
cmpl $0xfffe, %eax           # imm = 0xFFFE
jne 0x4fb8
movl %ecx, %ebp
leaq 0x4(,%r13,4), %rdx
leaq (%rsp,%rbp,4), %rdi
movq %r14, %rsi
callq 0x10d0
addl %r15d, %ebp
movl $0xfffe, %eax           # imm = 0xFFFE
movl %eax, (%rsp,%rbp,4)
movl $0xfffe, %ebp           # imm = 0xFFFE
movq %rsp, %rdi
callq 0x486e
movb %al, 0x58(%rbx,%r15)
leaq 0x1(%r15), %rax
incq %r13
addq $0x4, %r12
cmpl %ebp, 0x8(%rbx,%r15,4)
movq %rax, %r15
jne 0x4fa7
jmp 0x5050
movq 0x20(%rdi), %rax
movq 0x28(%rax), %rax
movq 0x20(%rax), %rax
movq 0x28(%rax), %rax
movq 0x20(%rax), %rcx
movl $0x1, %eax
cmpq %rdi, %rcx
je 0x5049
incl %eax
movq 0x20(%rcx), %rcx
movq 0x28(%rcx), %rcx
movq 0x20(%rcx), %rcx
movq 0x28(%rcx), %rcx
movq 0x20(%rcx), %rcx
jmp 0x502c
movl %eax, 0x4(%rbx)
movq %rdi, 0x20(%rbx)
addq $0x28, %rsp
popq %rbx
popq %r12
popq %r13
popq %r14
popq %r15
popq %rbp
retq
callq 0x1527