// File: /workspace/github_c_makefile_star2_O0/mishun[P]plantri/plantri.c
// Function: on_nf_5_cycle
static int
on_nf_5_cycle(EDGE *e)
/* nf means that there are vertices inside both parts of the
   triangulation separated by the cycle. 

   Assumes that there are no nf-4-cycles in the graph. This means that
   at ANY vertex of the cycle there is an edge pointing into EACH of the
   two components. 

   Assumes further that the valency of all vertices involved is at least 5.

   Returns TRUE, if edge e is on an nf-5cycle, FALSE otherwise
*/

{
  EDGE *run, *run1, *last, *last1, *dummy;

  if ((degree[e->next->end]==5) || (degree[e->prev->end]==5)) return TRUE;

  RESETMARKS_V;
  last=e->prev->prev;
  run=e->next->next;
    dummy=run->invers;
    last1=dummy->prev->prev;
    run1=dummy->next->next;
    MARK_V(run1->end);
    run1=run1->next;
    MARK_V(run1->end);
    while (run1!=last1) { run1=run1->next; MARK_V(run1->end); }
  run=run->next;
    dummy=run->invers;
    last1=dummy->prev->prev;
    run1=dummy->next->next;
    MARK_V(run1->end);
    run1=run1->next;
    MARK_V(run1->end);
    while (run1!=last1) { run1=run1->next; MARK_V(run1->end); }
  while (run!=last)
    { run=run->next;
      dummy=run->invers;
      last1=dummy->prev->prev;
      run1=dummy->next->next;
      MARK_V(run1->end);
      run1=run1->next;
      MARK_V(run1->end);
      while (run1!=last1) { run1=run1->next; MARK_V(run1->end); }
    }

  e=e->invers;

  last=e->prev->prev;
  run=e->next->next;
    dummy=run->invers;
    last1=dummy->prev->prev;
    run1=dummy->next->next;
    if (ISMARKED_V(run1->end)) return TRUE;
    run1=run1->next;
    if (ISMARKED_V(run1->end)) return TRUE;
    while (run1!=last1) { run1=run1->next; if (ISMARKED_V(run1->end)) return TRUE; }
  run=run->next;
    dummy=run->invers;
    last1=dummy->prev->prev;
    run1=dummy->next->next;
    if (ISMARKED_V(run1->end)) return TRUE;
    run1=run1->next;
    if (ISMARKED_V(run1->end)) return TRUE;
    while (run1!=last1) { run1=run1->next; if (ISMARKED_V(run1->end)) return TRUE; }
  while (run!=last)
    { run=run->next;
      dummy=run->invers;
      last1=dummy->prev->prev;
      run1=dummy->next->next;
      if (ISMARKED_V(run1->end)) return TRUE;
      run1=run1->next;
      if (ISMARKED_V(run1->end)) return TRUE;
      while (run1!=last1) { run1=run1->next; if (ISMARKED_V(run1->end)) return TRUE; }
    }

  return FALSE;
}

// Assembly:
pushq %rbp
movq %rsp, %rbp
movq %rdi, -0x10(%rbp)
movq -0x10(%rbp), %rax
movq 0x18(%rax), %rax
movslq 0x4(%rax), %rcx
leaq 0x16625(%rip), %rax     # 0x3dc00
cmpl $0x5, (%rax,%rcx,4)
je 0x275fa
movq -0x10(%rbp), %rax
movq 0x10(%rax), %rax
movslq 0x4(%rax), %rcx
leaq 0x1660c(%rip), %rax     # 0x3dc00
cmpl $0x5, (%rax,%rcx,4)
jne 0x27606
movl $0x1, -0x4(%rbp)
jmp 0x27b0a
movl 0x14a84(%rip), %eax     # 0x3c090
addl $0x1, %eax
movl %eax, 0x14a7b(%rip)     # 0x3c090
cmpl $0x7530, %eax           # imm = 0x7530
jle 0x27652
movl $0x1, 0x14a6a(%rip)     # 0x3c090
movl $0x0, -0x3c(%rbp)
cmpl $0x40, -0x3c(%rbp)
jge 0x27650
movslq -0x3c(%rbp), %rcx
leaq 0x279602(%rip), %rax    # 0x2a0c40
movl $0x0, (%rax,%rcx,4)
movl -0x3c(%rbp), %eax
addl $0x1, %eax
movl %eax, -0x3c(%rbp)
jmp 0x2762d
jmp 0x27652
movq -0x10(%rbp), %rax
movq 0x10(%rax), %rax
movq 0x10(%rax), %rax
movq %rax, -0x28(%rbp)
movq -0x10(%rbp), %rax
movq 0x18(%rax), %rax
movq 0x18(%rax), %rax
movq %rax, -0x18(%rbp)
movq -0x18(%rbp), %rax
movq 0x20(%rax), %rax
movq %rax, -0x38(%rbp)
movq -0x38(%rbp), %rax
movq 0x10(%rax), %rax
movq 0x10(%rax), %rax
movq %rax, -0x30(%rbp)
movq -0x38(%rbp), %rax
movq 0x18(%rax), %rax
movq 0x18(%rax), %rax
movq %rax, -0x20(%rbp)
movl 0x149ec(%rip), %edx     # 0x3c090
movq -0x20(%rbp), %rax
movslq 0x4(%rax), %rcx
leaq 0x27958d(%rip), %rax    # 0x2a0c40
movl %edx, (%rax,%rcx,4)
movq -0x20(%rbp), %rax
movq 0x18(%rax), %rax
movq %rax, -0x20(%rbp)
movl 0x149c8(%rip), %edx     # 0x3c090
movq -0x20(%rbp), %rax
movslq 0x4(%rax), %rcx
leaq 0x279569(%rip), %rax    # 0x2a0c40
movl %edx, (%rax,%rcx,4)
movq -0x20(%rbp), %rax
cmpq -0x30(%rbp), %rax
je 0x2770a
movq -0x20(%rbp), %rax
movq 0x18(%rax), %rax
movq %rax, -0x20(%rbp)
movl 0x1499a(%rip), %edx     # 0x3c090
movq -0x20(%rbp), %rax
movslq 0x4(%rax), %rcx
leaq 0x27953b(%rip), %rax    # 0x2a0c40
movl %edx, (%rax,%rcx,4)
jmp 0x276da
movq -0x18(%rbp), %rax
movq 0x18(%rax), %rax
movq %rax, -0x18(%rbp)
movq -0x18(%rbp), %rax
movq 0x20(%rax), %rax
movq %rax, -0x38(%rbp)
movq -0x38(%rbp), %rax
movq 0x10(%rax), %rax
movq 0x10(%rax), %rax
movq %rax, -0x30(%rbp)
movq -0x38(%rbp), %rax
movq 0x18(%rax), %rax
movq 0x18(%rax), %rax
movq %rax, -0x20(%rbp)
movl 0x14948(%rip), %edx     # 0x3c090
movq -0x20(%rbp), %rax
movslq 0x4(%rax), %rcx
leaq 0x2794e9(%rip), %rax    # 0x2a0c40
movl %edx, (%rax,%rcx,4)
movq -0x20(%rbp), %rax
movq 0x18(%rax), %rax
movq %rax, -0x20(%rbp)
movl 0x14924(%rip), %edx     # 0x3c090
movq -0x20(%rbp), %rax
movslq 0x4(%rax), %rcx
leaq 0x2794c5(%rip), %rax    # 0x2a0c40
movl %edx, (%rax,%rcx,4)
movq -0x20(%rbp), %rax
cmpq -0x30(%rbp), %rax
je 0x277ae
movq -0x20(%rbp), %rax
movq 0x18(%rax), %rax
movq %rax, -0x20(%rbp)
movl 0x148f6(%rip), %edx     # 0x3c090
movq -0x20(%rbp), %rax
movslq 0x4(%rax), %rcx
leaq 0x279497(%rip), %rax    # 0x2a0c40
movl %edx, (%rax,%rcx,4)
jmp 0x2777e
jmp 0x277b0
movq -0x18(%rbp), %rax
cmpq -0x28(%rbp), %rax
je 0x27867
movq -0x18(%rbp), %rax
movq 0x18(%rax), %rax
movq %rax, -0x18(%rbp)
movq -0x18(%rbp), %rax
movq 0x20(%rax), %rax
movq %rax, -0x38(%rbp)
movq -0x38(%rbp), %rax
movq 0x10(%rax), %rax
movq 0x10(%rax), %rax
movq %rax, -0x30(%rbp)
movq -0x38(%rbp), %rax
movq 0x18(%rax), %rax
movq 0x18(%rax), %rax
movq %rax, -0x20(%rbp)
movl 0x14894(%rip), %edx     # 0x3c090
movq -0x20(%rbp), %rax
movslq 0x4(%rax), %rcx
leaq 0x279435(%rip), %rax    # 0x2a0c40
movl %edx, (%rax,%rcx,4)
movq -0x20(%rbp), %rax
movq 0x18(%rax), %rax
movq %rax, -0x20(%rbp)
movl 0x14870(%rip), %edx     # 0x3c090
movq -0x20(%rbp), %rax
movslq 0x4(%rax), %rcx
leaq 0x279411(%rip), %rax    # 0x2a0c40
movl %edx, (%rax,%rcx,4)
movq -0x20(%rbp), %rax
cmpq -0x30(%rbp), %rax
je 0x27862
movq -0x20(%rbp), %rax
movq 0x18(%rax), %rax
movq %rax, -0x20(%rbp)
movl 0x14842(%rip), %edx     # 0x3c090
movq -0x20(%rbp), %rax
movslq 0x4(%rax), %rcx
leaq 0x2793e3(%rip), %rax    # 0x2a0c40
movl %edx, (%rax,%rcx,4)
jmp 0x27832
jmp 0x277b0
movq -0x10(%rbp), %rax
movq 0x20(%rax), %rax
movq %rax, -0x10(%rbp)
movq -0x10(%rbp), %rax
movq 0x10(%rax), %rax
movq 0x10(%rax), %rax
movq %rax, -0x28(%rbp)
movq -0x10(%rbp), %rax
movq 0x18(%rax), %rax
movq 0x18(%rax), %rax
movq %rax, -0x18(%rbp)
movq -0x18(%rbp), %rax
movq 0x20(%rax), %rax
movq %rax, -0x38(%rbp)
movq -0x38(%rbp), %rax
movq 0x10(%rax), %rax
movq 0x10(%rax), %rax
movq %rax, -0x30(%rbp)
movq -0x38(%rbp), %rax
movq 0x18(%rax), %rax
movq 0x18(%rax), %rax
movq %rax, -0x20(%rbp)
movq -0x20(%rbp), %rax
movslq 0x4(%rax), %rcx
leaq 0x279372(%rip), %rax    # 0x2a0c40
movl (%rax,%rcx,4), %eax
cmpl 0x147b9(%rip), %eax     # 0x3c090
jne 0x278e5
movl $0x1, -0x4(%rbp)
jmp 0x27b0a
movq -0x20(%rbp), %rax
movq 0x18(%rax), %rax
movq %rax, -0x20(%rbp)
movq -0x20(%rbp), %rax
movslq 0x4(%rax), %rcx
leaq 0x279340(%rip), %rax    # 0x2a0c40
movl (%rax,%rcx,4), %eax
cmpl 0x14787(%rip), %eax     # 0x3c090
jne 0x27917
movl $0x1, -0x4(%rbp)
jmp 0x27b0a
jmp 0x27919
movq -0x20(%rbp), %rax
cmpq -0x30(%rbp), %rax
je 0x27957
movq -0x20(%rbp), %rax
movq 0x18(%rax), %rax
movq %rax, -0x20(%rbp)
movq -0x20(%rbp), %rax
movslq 0x4(%rax), %rcx
leaq 0x279302(%rip), %rax    # 0x2a0c40
movl (%rax,%rcx,4), %eax
cmpl 0x14749(%rip), %eax     # 0x3c090
jne 0x27955
movl $0x1, -0x4(%rbp)
jmp 0x27b0a
jmp 0x27919
movq -0x18(%rbp), %rax
movq 0x18(%rax), %rax
movq %rax, -0x18(%rbp)
movq -0x18(%rbp), %rax
movq 0x20(%rax), %rax
movq %rax, -0x38(%rbp)
movq -0x38(%rbp), %rax
movq 0x10(%rax), %rax
movq 0x10(%rax), %rax
movq %rax, -0x30(%rbp)
movq -0x38(%rbp), %rax
movq 0x18(%rax), %rax
movq 0x18(%rax), %rax
movq %rax, -0x20(%rbp)
movq -0x20(%rbp), %rax
movslq 0x4(%rax), %rcx
leaq 0x2792a2(%rip), %rax    # 0x2a0c40
movl (%rax,%rcx,4), %eax
cmpl 0x146e9(%rip), %eax     # 0x3c090
jne 0x279b5
movl $0x1, -0x4(%rbp)
jmp 0x27b0a
movq -0x20(%rbp), %rax
movq 0x18(%rax), %rax
movq %rax, -0x20(%rbp)
movq -0x20(%rbp), %rax
movslq 0x4(%rax), %rcx
leaq 0x279270(%rip), %rax    # 0x2a0c40
movl (%rax,%rcx,4), %eax
cmpl 0x146b7(%rip), %eax     # 0x3c090
jne 0x279e7
movl $0x1, -0x4(%rbp)
jmp 0x27b0a
jmp 0x279e9
movq -0x20(%rbp), %rax
cmpq -0x30(%rbp), %rax
je 0x27a27
movq -0x20(%rbp), %rax
movq 0x18(%rax), %rax
movq %rax, -0x20(%rbp)
movq -0x20(%rbp), %rax
movslq 0x4(%rax), %rcx
leaq 0x279232(%rip), %rax    # 0x2a0c40
movl (%rax,%rcx,4), %eax
cmpl 0x14679(%rip), %eax     # 0x3c090
jne 0x27a25
movl $0x1, -0x4(%rbp)
jmp 0x27b0a
jmp 0x279e9
jmp 0x27a29
movq -0x18(%rbp), %rax
cmpq -0x28(%rbp), %rax
je 0x27b03
movq -0x18(%rbp), %rax
movq 0x18(%rax), %rax
movq %rax, -0x18(%rbp)
movq -0x18(%rbp), %rax
movq 0x20(%rax), %rax
movq %rax, -0x38(%rbp)
movq -0x38(%rbp), %rax
movq 0x10(%rax), %rax
movq 0x10(%rax), %rax
movq %rax, -0x30(%rbp)
movq -0x38(%rbp), %rax
movq 0x18(%rax), %rax
movq 0x18(%rax), %rax
movq %rax, -0x20(%rbp)
movq -0x20(%rbp), %rax
movslq 0x4(%rax), %rcx
leaq 0x2791c2(%rip), %rax    # 0x2a0c40
movl (%rax,%rcx,4), %eax
cmpl 0x14609(%rip), %eax     # 0x3c090
jne 0x27a92
movl $0x1, -0x4(%rbp)
jmp 0x27b0a
movq -0x20(%rbp), %rax
movq 0x18(%rax), %rax
movq %rax, -0x20(%rbp)
movq -0x20(%rbp), %rax
movslq 0x4(%rax), %rcx
leaq 0x279193(%rip), %rax    # 0x2a0c40
movl (%rax,%rcx,4), %eax
cmpl 0x145da(%rip), %eax     # 0x3c090
jne 0x27ac1
movl $0x1, -0x4(%rbp)
jmp 0x27b0a
jmp 0x27ac3
movq -0x20(%rbp), %rax
cmpq -0x30(%rbp), %rax
je 0x27afe
movq -0x20(%rbp), %rax
movq 0x18(%rax), %rax
movq %rax, -0x20(%rbp)
movq -0x20(%rbp), %rax
movslq 0x4(%rax), %rcx
leaq 0x279158(%rip), %rax    # 0x2a0c40
movl (%rax,%rcx,4), %eax
cmpl 0x1459f(%rip), %eax     # 0x3c090
jne 0x27afc
movl $0x1, -0x4(%rbp)
jmp 0x27b0a
jmp 0x27ac3
jmp 0x27a29
movl $0x0, -0x4(%rbp)
movl -0x4(%rbp), %eax
popq %rbp
retq
nop