// File: /workspace/github_c_makefile_star2_O0/mishun[P]plantri/plantri.c
// Function: extend_min5_a
static EDGE*
extend_min5_a(EDGE *e1, EDGE *e2)

/* extends a graph in the way given by the type a extension for
   5-connected triangulations. The edges e1, e2 start at the same
   vertex and must have at least two edges on each of their sides. 

   It returns the edge characterizing this operation.
*/

{
  register EDGE *e3, *e4, *start, *run, *e1i, *e2i, *work1, *work2;
  int end1, end2, center, counter;

  e3=e1->next;
  e4=e2->prev;
  e1i=e1->invers;
  e2i=e2->invers;
  work1=e1i->prev;
  work2=e2i->next;
  center=e1->start;
  end1=e1->end;
  end2=e2->end;

  start=min5_a(nv);
  firstedge[center]=start+2;
  firstedge[nv]=start+1;

  counter=1; run=e3; run->start=run->invers->end=nv;
  do { run=run->next; run->start=run->invers->end=nv; counter++; }
  while (run != e4);

  degree[nv]=counter+3;
  degree[center]-=(counter-1);

  start->start=end1;
  start->prev=work1;
  start->next=e1i;
  work1->next=e1i->prev=start;
  (degree[end1])++;

  run=start+1;
  run->end=end1;
  run->next=e3;
  e3->prev=run;

  run++; /*start+2*/
  run->start=center;
  run->next=e2;
  run->prev=e1;
  e1->next=e2->prev=run;

  run++; /*start+3*/
  run->end=center;

  run++; /*start+4*/
  run->start=end2;
  run->prev=e2i;
  run->next=work2;
  e2i->next=work2->prev=run;
  (degree[end2])++;

  run++; /*start+5*/
  run->end=end2;
  run->prev=e4;
  e4->next=run;

  nv++; ne+=6;

  return (start+2); /* It is the minimum of the two inverse edges */
}

// Assembly:
pushq %rbp
movq %rsp, %rbp
movq %rdi, -0x8(%rbp)
movq %rsi, -0x10(%rbp)
movq -0x8(%rbp), %rax
movq 0x18(%rax), %rax
movq %rax, -0x18(%rbp)
movq -0x10(%rbp), %rax
movq 0x10(%rax), %rax
movq %rax, -0x20(%rbp)
movq -0x8(%rbp), %rax
movq 0x20(%rax), %rax
movq %rax, -0x38(%rbp)
movq -0x10(%rbp), %rax
movq 0x20(%rax), %rax
movq %rax, -0x40(%rbp)
movq -0x38(%rbp), %rax
movq 0x10(%rax), %rax
movq %rax, -0x48(%rbp)
movq -0x40(%rbp), %rax
movq 0x18(%rax), %rax
movq %rax, -0x50(%rbp)
movq -0x8(%rbp), %rax
movl (%rax), %eax
movl %eax, -0x5c(%rbp)
movq -0x8(%rbp), %rax
movl 0x4(%rax), %eax
movl %eax, -0x54(%rbp)
movq -0x10(%rbp), %rax
movl 0x4(%rax), %eax
movl %eax, -0x58(%rbp)
imull $0x6, 0x23cea8(%rip), %eax # 0x25a620
movslq %eax, %rcx
leaq 0x23ceae(%rip), %rax    # 0x25a630
addq $-0x300, %rax           # imm = 0xFD00
shlq $0x6, %rcx
addq %rcx, %rax
movq %rax, -0x28(%rbp)
movq -0x28(%rbp), %rdx
addq $0x80, %rdx
movslq -0x5c(%rbp), %rcx
leaq 0x20257(%rip), %rax     # 0x3da00
movq %rdx, (%rax,%rcx,8)
movq -0x28(%rbp), %rdx
addq $0x40, %rdx
movslq 0x23ce64(%rip), %rcx    # 0x25a620
leaq 0x2023d(%rip), %rax     # 0x3da00
movq %rdx, (%rax,%rcx,8)
movl $0x1, -0x60(%rbp)
movq -0x18(%rbp), %rax
movq %rax, -0x30(%rbp)
movl 0x23ce44(%rip), %ecx    # 0x25a620
movq -0x30(%rbp), %rax
movq 0x20(%rax), %rax
movl %ecx, 0x4(%rax)
movq -0x30(%rbp), %rax
movl %ecx, (%rax)
movq -0x30(%rbp), %rax
movq 0x18(%rax), %rax
movq %rax, -0x30(%rbp)
movl 0x23ce21(%rip), %ecx    # 0x25a620
movq -0x30(%rbp), %rax
movq 0x20(%rax), %rax
movl %ecx, 0x4(%rax)
movq -0x30(%rbp), %rax
movl %ecx, (%rax)
movl -0x60(%rbp), %eax
addl $0x1, %eax
movl %eax, -0x60(%rbp)
movq -0x30(%rbp), %rax
cmpq -0x20(%rbp), %rax
jne 0x1d7ed
movl -0x60(%rbp), %edx
addl $0x3, %edx
movslq 0x23cdf0(%rip), %rcx    # 0x25a620
leaq 0x203c9(%rip), %rax     # 0x3dc00
movl %edx, (%rax,%rcx,4)
movl -0x60(%rbp), %eax
subl $0x1, %eax
movslq -0x5c(%rbp), %rcx
leaq 0x203b5(%rip), %rdx     # 0x3dc00
movl (%rdx,%rcx,4), %edx
subl %eax, %edx
leaq 0x203a9(%rip), %rax     # 0x3dc00
movl %edx, (%rax,%rcx,4)
movl -0x54(%rbp), %ecx
movq -0x28(%rbp), %rax
movl %ecx, (%rax)
movq -0x48(%rbp), %rcx
movq -0x28(%rbp), %rax
movq %rcx, 0x10(%rax)
movq -0x38(%rbp), %rcx
movq -0x28(%rbp), %rax
movq %rcx, 0x18(%rax)
movq -0x28(%rbp), %rcx
movq -0x38(%rbp), %rax
movq %rcx, 0x10(%rax)
movq -0x48(%rbp), %rax
movq %rcx, 0x18(%rax)
movslq -0x54(%rbp), %rcx
leaq 0x20366(%rip), %rax     # 0x3dc00
movl (%rax,%rcx,4), %edx
addl $0x1, %edx
leaq 0x20359(%rip), %rax     # 0x3dc00
movl %edx, (%rax,%rcx,4)
movq -0x28(%rbp), %rax
addq $0x40, %rax
movq %rax, -0x30(%rbp)
movl -0x54(%rbp), %ecx
movq -0x30(%rbp), %rax
movl %ecx, 0x4(%rax)
movq -0x18(%rbp), %rcx
movq -0x30(%rbp), %rax
movq %rcx, 0x18(%rax)
movq -0x30(%rbp), %rcx
movq -0x18(%rbp), %rax
movq %rcx, 0x10(%rax)
movq -0x30(%rbp), %rax
addq $0x40, %rax
movq %rax, -0x30(%rbp)
movl -0x5c(%rbp), %ecx
movq -0x30(%rbp), %rax
movl %ecx, (%rax)
movq -0x10(%rbp), %rcx
movq -0x30(%rbp), %rax
movq %rcx, 0x18(%rax)
movq -0x8(%rbp), %rcx
movq -0x30(%rbp), %rax
movq %rcx, 0x10(%rax)
movq -0x30(%rbp), %rcx
movq -0x10(%rbp), %rax
movq %rcx, 0x10(%rax)
movq -0x8(%rbp), %rax
movq %rcx, 0x18(%rax)
movq -0x30(%rbp), %rax
addq $0x40, %rax
movq %rax, -0x30(%rbp)
movl -0x5c(%rbp), %ecx
movq -0x30(%rbp), %rax
movl %ecx, 0x4(%rax)
movq -0x30(%rbp), %rax
addq $0x40, %rax
movq %rax, -0x30(%rbp)
movl -0x58(%rbp), %ecx
movq -0x30(%rbp), %rax
movl %ecx, (%rax)
movq -0x40(%rbp), %rcx
movq -0x30(%rbp), %rax
movq %rcx, 0x10(%rax)
movq -0x50(%rbp), %rcx
movq -0x30(%rbp), %rax
movq %rcx, 0x18(%rax)
movq -0x30(%rbp), %rcx
movq -0x50(%rbp), %rax
movq %rcx, 0x10(%rax)
movq -0x40(%rbp), %rax
movq %rcx, 0x18(%rax)
movslq -0x58(%rbp), %rcx
leaq 0x20285(%rip), %rax     # 0x3dc00
movl (%rax,%rcx,4), %edx
addl $0x1, %edx
leaq 0x20278(%rip), %rax     # 0x3dc00
movl %edx, (%rax,%rcx,4)
movq -0x30(%rbp), %rax
addq $0x40, %rax
movq %rax, -0x30(%rbp)
movl -0x58(%rbp), %ecx
movq -0x30(%rbp), %rax
movl %ecx, 0x4(%rax)
movq -0x20(%rbp), %rcx
movq -0x30(%rbp), %rax
movq %rcx, 0x10(%rax)
movq -0x30(%rbp), %rcx
movq -0x20(%rbp), %rax
movq %rcx, 0x18(%rax)
movl 0x23cc61(%rip), %eax    # 0x25a620
addl $0x1, %eax
movl %eax, 0x23cc58(%rip)    # 0x25a620
movl 0x23cc56(%rip), %eax    # 0x25a624
addl $0x6, %eax
movl %eax, 0x23cc4d(%rip)    # 0x25a624
movq -0x28(%rbp), %rax
addq $0x80, %rax
popq %rbp
retq
nopw %cs:(%rax,%rax)