// File: /workspace/github_c_makefile_star2_O0/mishun[P]plantri/plantri.c
// Function: wont_be_on_nf_4_cycle
static int
wont_be_on_nf_4_cycle(EDGE *e)

/* returns 1 if after switching e won't be on an nf 4-cycle. Assumes that
   there are no nf 3-cycles either before or after the switching. */            

/* Alternative version:
{
    EDGE *e1,*e2,*e3;
    int k1,k2,k3;

    RESETMARKS_V;

    for (e1 = e->prev->invers->next,
              k1 = degree[e1->start]-2; --k1 >= 0; e1 = e1->next)
	MARK_V(e1->end);

    for (e2 = e->next->invers->prev,
              k2 = degree[e2->start]-2; --k2 >= 0; e2 = e2->prev)
	for (e3 = e2->invers->next->next,
                  k3 = degree[e3->start]-3; --k3 >= 0; e3 = e3->next)
	    if (ISMARKED_V(e3->end)) return FALSE;

    return TRUE;
}
*/

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

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

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

// Assembly:
pushq %rbp
movq %rsp, %rbp
movq %rdi, -0x10(%rbp)
movl 0x16612(%rip), %eax     # 0x3c090
addl $0x1, %eax
movl %eax, 0x16609(%rip)     # 0x3c090
cmpl $0x7530, %eax           # imm = 0x7530
jle 0x25ac4
movl $0x1, 0x165f8(%rip)     # 0x3c090
movl $0x0, -0x3c(%rbp)
cmpl $0x40, -0x3c(%rbp)
jge 0x25ac2
movslq -0x3c(%rbp), %rcx
leaq 0x27b190(%rip), %rax    # 0x2a0c40
movl $0x0, (%rax,%rcx,4)
movl -0x3c(%rbp), %eax
addl $0x1, %eax
movl %eax, -0x3c(%rbp)
jmp 0x25a9f
jmp 0x25ac4
movq -0x10(%rbp), %rax
movq 0x18(%rax), %rax
movq 0x20(%rax), %rax
movq 0x10(%rax), %rax
movq %rax, -0x28(%rbp)
movq -0x28(%rbp), %rax
movq 0x18(%rax), %rax
movq 0x18(%rax), %rax
movq 0x18(%rax), %rax
movq %rax, -0x18(%rbp)
movl 0x1659e(%rip), %edx     # 0x3c090
movq -0x18(%rbp), %rax
movslq 0x4(%rax), %rcx
leaq 0x27b13f(%rip), %rax    # 0x2a0c40
movl %edx, (%rax,%rcx,4)
movq -0x18(%rbp), %rax
cmpq -0x28(%rbp), %rax
je 0x25b34
movq -0x18(%rbp), %rax
movq 0x18(%rax), %rax
movq %rax, -0x18(%rbp)
movl 0x16570(%rip), %edx     # 0x3c090
movq -0x18(%rbp), %rax
movslq 0x4(%rax), %rcx
leaq 0x27b111(%rip), %rax    # 0x2a0c40
movl %edx, (%rax,%rcx,4)
jmp 0x25b04
movq -0x10(%rbp), %rax
movq 0x10(%rax), %rax
movq 0x20(%rax), %rax
movq %rax, -0x10(%rbp)
movq -0x10(%rbp), %rax
movq 0x18(%rax), %rax
movq %rax, -0x18(%rbp)
movq -0x10(%rbp), %rax
movq 0x10(%rax), %rax
movq 0x10(%rax), %rax
movq %rax, -0x28(%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 0x27b0a5(%rip), %rax    # 0x2a0c40
movl (%rax,%rcx,4), %eax
cmpl 0x164ec(%rip), %eax     # 0x3c090
jne 0x25bb2
movl $0x0, -0x4(%rbp)
jmp 0x25dd7
movq -0x20(%rbp), %rax
movq 0x18(%rax), %rax
movq %rax, -0x20(%rbp)
movq -0x20(%rbp), %rax
movslq 0x4(%rax), %rcx
leaq 0x27b073(%rip), %rax    # 0x2a0c40
movl (%rax,%rcx,4), %eax
cmpl 0x164ba(%rip), %eax     # 0x3c090
jne 0x25be4
movl $0x0, -0x4(%rbp)
jmp 0x25dd7
jmp 0x25be6
movq -0x20(%rbp), %rax
cmpq -0x30(%rbp), %rax
je 0x25c24
movq -0x20(%rbp), %rax
movq 0x18(%rax), %rax
movq %rax, -0x20(%rbp)
movq -0x20(%rbp), %rax
movslq 0x4(%rax), %rcx
leaq 0x27b035(%rip), %rax    # 0x2a0c40
movl (%rax,%rcx,4), %eax
cmpl 0x1647c(%rip), %eax     # 0x3c090
jne 0x25c22
movl $0x0, -0x4(%rbp)
jmp 0x25dd7
jmp 0x25be6
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 0x27afd5(%rip), %rax    # 0x2a0c40
movl (%rax,%rcx,4), %eax
cmpl 0x1641c(%rip), %eax     # 0x3c090
jne 0x25c82
movl $0x0, -0x4(%rbp)
jmp 0x25dd7
movq -0x20(%rbp), %rax
movq 0x18(%rax), %rax
movq %rax, -0x20(%rbp)
movq -0x20(%rbp), %rax
movslq 0x4(%rax), %rcx
leaq 0x27afa3(%rip), %rax    # 0x2a0c40
movl (%rax,%rcx,4), %eax
cmpl 0x163ea(%rip), %eax     # 0x3c090
jne 0x25cb4
movl $0x0, -0x4(%rbp)
jmp 0x25dd7
jmp 0x25cb6
movq -0x20(%rbp), %rax
cmpq -0x30(%rbp), %rax
je 0x25cf4
movq -0x20(%rbp), %rax
movq 0x18(%rax), %rax
movq %rax, -0x20(%rbp)
movq -0x20(%rbp), %rax
movslq 0x4(%rax), %rcx
leaq 0x27af65(%rip), %rax    # 0x2a0c40
movl (%rax,%rcx,4), %eax
cmpl 0x163ac(%rip), %eax     # 0x3c090
jne 0x25cf2
movl $0x0, -0x4(%rbp)
jmp 0x25dd7
jmp 0x25cb6
jmp 0x25cf6
movq -0x18(%rbp), %rax
cmpq -0x28(%rbp), %rax
je 0x25dd0
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 0x27aef5(%rip), %rax    # 0x2a0c40
movl (%rax,%rcx,4), %eax
cmpl 0x1633c(%rip), %eax     # 0x3c090
jne 0x25d5f
movl $0x0, -0x4(%rbp)
jmp 0x25dd7
movq -0x20(%rbp), %rax
movq 0x18(%rax), %rax
movq %rax, -0x20(%rbp)
movq -0x20(%rbp), %rax
movslq 0x4(%rax), %rcx
leaq 0x27aec6(%rip), %rax    # 0x2a0c40
movl (%rax,%rcx,4), %eax
cmpl 0x1630d(%rip), %eax     # 0x3c090
jne 0x25d8e
movl $0x0, -0x4(%rbp)
jmp 0x25dd7
jmp 0x25d90
movq -0x20(%rbp), %rax
cmpq -0x30(%rbp), %rax
je 0x25dcb
movq -0x20(%rbp), %rax
movq 0x18(%rax), %rax
movq %rax, -0x20(%rbp)
movq -0x20(%rbp), %rax
movslq 0x4(%rax), %rcx
leaq 0x27ae8b(%rip), %rax    # 0x2a0c40
movl (%rax,%rcx,4), %eax
cmpl 0x162d2(%rip), %eax     # 0x3c090
jne 0x25dc9
movl $0x0, -0x4(%rbp)
jmp 0x25dd7
jmp 0x25d90
jmp 0x25cf6
movl $0x1, -0x4(%rbp)
movl -0x4(%rbp), %eax
popq %rbp
retq
nopl (%rax)