// File: /workspace/github_c_makefile_star2_O0/mishun[P]plantri/plantri.c
// Function: reduce_min5_c
static void
reduce_min5_c(EDGE *e, EDGE *anchor)
{

  /* Like other reduction operations, this is not the reverse operation,
     but it relies on the map being EXACTLY the same as after the application 
     of the corresponding extend operation */

  EDGE *e1, *e2, *e3, *e4, *e5, *e1i, *e2i, *e3i, *e4i, *e5i;
  int v1, v2, v3, v4, v5, origin;

  e1=e->invers->prev->prev->invers->next;
  e1i=e1->invers;
  e2=e1i->next->next->next;
  e2i=e2->invers;
  e3=e2i->next->next->next;
  e3i=e3->invers;
  e4=e3i->next->next->next;
  e4i=e4->invers;
  e5=e4i->next->next->next;
  e5i=e5->invers;

  v1=e1->start;
  v2=e1->end;
  v3=e3->start;
  v4=e3->end;
  v5=e5->start;
  origin=anchor->start;

  firstedge[v1]=e1;
  degree[v1]--;
  firstedge[v2]=e2;
  degree[v2]--;
  firstedge[v3]=e3;
  degree[v3]--;
  firstedge[v4]=e4;
  degree[v4]--;
  firstedge[v5]=e5;
  degree[v5]--;
  firstedge[origin]=anchor;

  nv-=5; ne-=30;

  e1->prev=e5i->next=anchor->invers;
  anchor=anchor->prev;
  e2->prev=e1i->next=anchor->invers;
  anchor=anchor->prev;
  e3->prev=e2i->next=anchor->invers;
  anchor=anchor->prev;
  e4->prev=e3i->next=anchor->invers;
  anchor=anchor->prev;
  e5->prev=e4i->next=anchor->invers;
}

// Assembly:
pushq %rbp
movq %rsp, %rbp
movq %rdi, -0x8(%rbp)
movq %rsi, -0x10(%rbp)
movq -0x8(%rbp), %rax
movq 0x20(%rax), %rax
movq 0x10(%rax), %rax
movq 0x10(%rax), %rax
movq 0x20(%rax), %rax
movq 0x18(%rax), %rax
movq %rax, -0x18(%rbp)
movq -0x18(%rbp), %rax
movq 0x20(%rax), %rax
movq %rax, -0x40(%rbp)
movq -0x40(%rbp), %rax
movq 0x18(%rax), %rax
movq 0x18(%rax), %rax
movq 0x18(%rax), %rax
movq %rax, -0x20(%rbp)
movq -0x20(%rbp), %rax
movq 0x20(%rax), %rax
movq %rax, -0x48(%rbp)
movq -0x48(%rbp), %rax
movq 0x18(%rax), %rax
movq 0x18(%rax), %rax
movq 0x18(%rax), %rax
movq %rax, -0x28(%rbp)
movq -0x28(%rbp), %rax
movq 0x20(%rax), %rax
movq %rax, -0x50(%rbp)
movq -0x50(%rbp), %rax
movq 0x18(%rax), %rax
movq 0x18(%rax), %rax
movq 0x18(%rax), %rax
movq %rax, -0x30(%rbp)
movq -0x30(%rbp), %rax
movq 0x20(%rax), %rax
movq %rax, -0x58(%rbp)
movq -0x58(%rbp), %rax
movq 0x18(%rax), %rax
movq 0x18(%rax), %rax
movq 0x18(%rax), %rax
movq %rax, -0x38(%rbp)
movq -0x38(%rbp), %rax
movq 0x20(%rax), %rax
movq %rax, -0x60(%rbp)
movq -0x18(%rbp), %rax
movl (%rax), %eax
movl %eax, -0x64(%rbp)
movq -0x18(%rbp), %rax
movl 0x4(%rax), %eax
movl %eax, -0x68(%rbp)
movq -0x28(%rbp), %rax
movl (%rax), %eax
movl %eax, -0x6c(%rbp)
movq -0x28(%rbp), %rax
movl 0x4(%rax), %eax
movl %eax, -0x70(%rbp)
movq -0x38(%rbp), %rax
movl (%rax), %eax
movl %eax, -0x74(%rbp)
movq -0x10(%rbp), %rax
movl (%rax), %eax
movl %eax, -0x78(%rbp)
movq -0x18(%rbp), %rdx
movslq -0x64(%rbp), %rcx
leaq 0x1d995(%rip), %rax     # 0x3da00
movq %rdx, (%rax,%rcx,8)
movslq -0x64(%rbp), %rcx
leaq 0x1db86(%rip), %rax     # 0x3dc00
movl (%rax,%rcx,4), %edx
addl $-0x1, %edx
leaq 0x1db79(%rip), %rax     # 0x3dc00
movl %edx, (%rax,%rcx,4)
movq -0x20(%rbp), %rdx
movslq -0x68(%rbp), %rcx
leaq 0x1d967(%rip), %rax     # 0x3da00
movq %rdx, (%rax,%rcx,8)
movslq -0x68(%rbp), %rcx
leaq 0x1db58(%rip), %rax     # 0x3dc00
movl (%rax,%rcx,4), %edx
addl $-0x1, %edx
leaq 0x1db4b(%rip), %rax     # 0x3dc00
movl %edx, (%rax,%rcx,4)
movq -0x28(%rbp), %rdx
movslq -0x6c(%rbp), %rcx
leaq 0x1d939(%rip), %rax     # 0x3da00
movq %rdx, (%rax,%rcx,8)
movslq -0x6c(%rbp), %rcx
leaq 0x1db2a(%rip), %rax     # 0x3dc00
movl (%rax,%rcx,4), %edx
addl $-0x1, %edx
leaq 0x1db1d(%rip), %rax     # 0x3dc00
movl %edx, (%rax,%rcx,4)
movq -0x30(%rbp), %rdx
movslq -0x70(%rbp), %rcx
leaq 0x1d90b(%rip), %rax     # 0x3da00
movq %rdx, (%rax,%rcx,8)
movslq -0x70(%rbp), %rcx
leaq 0x1dafc(%rip), %rax     # 0x3dc00
movl (%rax,%rcx,4), %edx
addl $-0x1, %edx
leaq 0x1daef(%rip), %rax     # 0x3dc00
movl %edx, (%rax,%rcx,4)
movq -0x38(%rbp), %rdx
movslq -0x74(%rbp), %rcx
leaq 0x1d8dd(%rip), %rax     # 0x3da00
movq %rdx, (%rax,%rcx,8)
movslq -0x74(%rbp), %rcx
leaq 0x1dace(%rip), %rax     # 0x3dc00
movl (%rax,%rcx,4), %edx
addl $-0x1, %edx
leaq 0x1dac1(%rip), %rax     # 0x3dc00
movl %edx, (%rax,%rcx,4)
movq -0x10(%rbp), %rdx
movslq -0x78(%rbp), %rcx
leaq 0x1d8af(%rip), %rax     # 0x3da00
movq %rdx, (%rax,%rcx,8)
movl 0x23a4c5(%rip), %eax    # 0x25a620
subl $0x5, %eax
movl %eax, 0x23a4bc(%rip)    # 0x25a620
movl 0x23a4ba(%rip), %eax    # 0x25a624
subl $0x1e, %eax
movl %eax, 0x23a4b1(%rip)    # 0x25a624
movq -0x10(%rbp), %rax
movq 0x20(%rax), %rcx
movq -0x60(%rbp), %rax
movq %rcx, 0x18(%rax)
movq -0x18(%rbp), %rax
movq %rcx, 0x10(%rax)
movq -0x10(%rbp), %rax
movq 0x10(%rax), %rax
movq %rax, -0x10(%rbp)
movq -0x10(%rbp), %rax
movq 0x20(%rax), %rcx
movq -0x40(%rbp), %rax
movq %rcx, 0x18(%rax)
movq -0x20(%rbp), %rax
movq %rcx, 0x10(%rax)
movq -0x10(%rbp), %rax
movq 0x10(%rax), %rax
movq %rax, -0x10(%rbp)
movq -0x10(%rbp), %rax
movq 0x20(%rax), %rcx
movq -0x48(%rbp), %rax
movq %rcx, 0x18(%rax)
movq -0x28(%rbp), %rax
movq %rcx, 0x10(%rax)
movq -0x10(%rbp), %rax
movq 0x10(%rax), %rax
movq %rax, -0x10(%rbp)
movq -0x10(%rbp), %rax
movq 0x20(%rax), %rcx
movq -0x50(%rbp), %rax
movq %rcx, 0x18(%rax)
movq -0x30(%rbp), %rax
movq %rcx, 0x10(%rax)
movq -0x10(%rbp), %rax
movq 0x10(%rax), %rax
movq %rax, -0x10(%rbp)
movq -0x10(%rbp), %rax
movq 0x20(%rax), %rcx
movq -0x58(%rbp), %rax
movq %rcx, 0x18(%rax)
movq -0x38(%rbp), %rax
movq %rcx, 0x10(%rax)
popq %rbp
retq
nopl (%rax)