// File: /workspace/github_c_makefile_star2_O0/mishun[P]plantri/plantri.c
// Function: is_min5_c_centre
static int
is_min5_c_centre(int v)
 
/* checks whether the configuration centered at vertex v is reducible by
   the c-reduction of the min5 generation.

   It assumes that there is no nf-4-cycle in the graph. It can be
   shown that it is enough to check the valencies of the center and its
   neighbours to be 5 and the second neighbours to be at least 6. In this
   case a 4-cut introduced by the reduction would imply that there was one
   before.
 
*/
 
{
 
  EDGE *run;
 
  if (degree[v]!=5) return FALSE;
 
  run=firstedge[v]; if(degree[run->end]!=5) return FALSE;
  run=run->next; if(degree[run->end]!=5) return FALSE;
  run=run->next; if(degree[run->end]!=5) return FALSE;
  run=run->next; if(degree[run->end]!=5) return FALSE;
  run=run->next; if(degree[run->end]!=5) return FALSE;
 
  run=run->invers->prev->prev->invers->next; /* edge 1*/
  if ((degree[run->start]<6) || (degree[run->end]<6)) return FALSE;
  run=run->invers->next->next->next; /* edge 2*/
  if (degree[run->end]<6) return FALSE;
  run=run->invers->next->next->next; /* edge 3*/
  if (degree[run->end]<6) return FALSE;
  run=run->invers->next->next->next; /* edge 4*/
  if (degree[run->end]<6) return FALSE;
 
  return TRUE;
}

// Assembly:
pushq %rbp
movq %rsp, %rbp
movl %edi, -0x8(%rbp)
movslq -0x8(%rbp), %rcx
leaq 0x1de8e(%rip), %rax     # 0x3dc00
cmpl $0x5, (%rax,%rcx,4)
je 0x1fd84
movl $0x0, -0x4(%rbp)
jmp 0x1ff66
movslq -0x8(%rbp), %rcx
leaq 0x1dc71(%rip), %rax     # 0x3da00
movq (%rax,%rcx,8), %rax
movq %rax, -0x10(%rbp)
movq -0x10(%rbp), %rax
movslq 0x4(%rax), %rcx
leaq 0x1de5a(%rip), %rax     # 0x3dc00
cmpl $0x5, (%rax,%rcx,4)
je 0x1fdb8
movl $0x0, -0x4(%rbp)
jmp 0x1ff66
movq -0x10(%rbp), %rax
movq 0x18(%rax), %rax
movq %rax, -0x10(%rbp)
movq -0x10(%rbp), %rax
movslq 0x4(%rax), %rcx
leaq 0x1de2d(%rip), %rax     # 0x3dc00
cmpl $0x5, (%rax,%rcx,4)
je 0x1fde5
movl $0x0, -0x4(%rbp)
jmp 0x1ff66
movq -0x10(%rbp), %rax
movq 0x18(%rax), %rax
movq %rax, -0x10(%rbp)
movq -0x10(%rbp), %rax
movslq 0x4(%rax), %rcx
leaq 0x1de00(%rip), %rax     # 0x3dc00
cmpl $0x5, (%rax,%rcx,4)
je 0x1fe12
movl $0x0, -0x4(%rbp)
jmp 0x1ff66
movq -0x10(%rbp), %rax
movq 0x18(%rax), %rax
movq %rax, -0x10(%rbp)
movq -0x10(%rbp), %rax
movslq 0x4(%rax), %rcx
leaq 0x1ddd3(%rip), %rax     # 0x3dc00
cmpl $0x5, (%rax,%rcx,4)
je 0x1fe3f
movl $0x0, -0x4(%rbp)
jmp 0x1ff66
movq -0x10(%rbp), %rax
movq 0x18(%rax), %rax
movq %rax, -0x10(%rbp)
movq -0x10(%rbp), %rax
movslq 0x4(%rax), %rcx
leaq 0x1dda6(%rip), %rax     # 0x3dc00
cmpl $0x5, (%rax,%rcx,4)
je 0x1fe6c
movl $0x0, -0x4(%rbp)
jmp 0x1ff66
movq -0x10(%rbp), %rax
movq 0x20(%rax), %rax
movq 0x10(%rax), %rax
movq 0x10(%rax), %rax
movq 0x20(%rax), %rax
movq 0x18(%rax), %rax
movq %rax, -0x10(%rbp)
movq -0x10(%rbp), %rax
movslq (%rax), %rcx
leaq 0x1dd6a(%rip), %rax     # 0x3dc00
cmpl $0x6, (%rax,%rcx,4)
jl 0x1feb1
movq -0x10(%rbp), %rax
movslq 0x4(%rax), %rcx
leaq 0x1dd55(%rip), %rax     # 0x3dc00
cmpl $0x6, (%rax,%rcx,4)
jge 0x1febd
movl $0x0, -0x4(%rbp)
jmp 0x1ff66
movq -0x10(%rbp), %rax
movq 0x20(%rax), %rax
movq 0x18(%rax), %rax
movq 0x18(%rax), %rax
movq 0x18(%rax), %rax
movq %rax, -0x10(%rbp)
movq -0x10(%rbp), %rax
movslq 0x4(%rax), %rcx
leaq 0x1dd1c(%rip), %rax     # 0x3dc00
cmpl $0x6, (%rax,%rcx,4)
jge 0x1fef3
movl $0x0, -0x4(%rbp)
jmp 0x1ff66
movq -0x10(%rbp), %rax
movq 0x20(%rax), %rax
movq 0x18(%rax), %rax
movq 0x18(%rax), %rax
movq 0x18(%rax), %rax
movq %rax, -0x10(%rbp)
movq -0x10(%rbp), %rax
movslq 0x4(%rax), %rcx
leaq 0x1dce6(%rip), %rax     # 0x3dc00
cmpl $0x6, (%rax,%rcx,4)
jge 0x1ff29
movl $0x0, -0x4(%rbp)
jmp 0x1ff66
movq -0x10(%rbp), %rax
movq 0x20(%rax), %rax
movq 0x18(%rax), %rax
movq 0x18(%rax), %rax
movq 0x18(%rax), %rax
movq %rax, -0x10(%rbp)
movq -0x10(%rbp), %rax
movslq 0x4(%rax), %rcx
leaq 0x1dcb0(%rip), %rax     # 0x3dc00
cmpl $0x6, (%rax,%rcx,4)
jge 0x1ff5f
movl $0x0, -0x4(%rbp)
jmp 0x1ff66
movl $0x1, -0x4(%rbp)
movl -0x4(%rbp), %eax
popq %rbp
retq
nopl (%rax,%rax)