// File: /workspace/github_c_makefile_star2_O0/mishun[P]plantri/plantri.c
// Function: reduce_bip_Q
static void
reduce_bip_Q(EDGE *ref)

/* This routine is the implementation of the inverse Q-operation in
   Batagelj's paper. It removes the new vertex nv. 
*/
{

    EDGE *a,*b,*c,*d,*x;

    x=ref->next;
    a=ref->invers->next->invers;
    b=a->next->next->next;

    c=x->invers->prev->invers;
    d=c->prev->prev->prev;
    
    firstedge[a->start]=a;
    firstedge[c->start]=c;

    ref->start=ref->invers->end=x->start=x->invers->end=b->end;
    (degree[b->end])+=2;
    (degree[a->start])-=2; (degree[c->start])-=2; 
    
    b->prev=a; a->next=b;
    c->prev=d; d->next=c;

    b=b->invers; d=d->invers;

    b->next=ref; ref->prev=b;
    d->prev=x; x->next=d;

    nv--;
    ne-=6;
}

// Assembly:
pushq %rbp
movq %rsp, %rbp
movq %rdi, -0x8(%rbp)
movq -0x8(%rbp), %rax
movq 0x18(%rax), %rax
movq %rax, -0x30(%rbp)
movq -0x8(%rbp), %rax
movq 0x20(%rax), %rax
movq 0x18(%rax), %rax
movq 0x20(%rax), %rax
movq %rax, -0x10(%rbp)
movq -0x10(%rbp), %rax
movq 0x18(%rax), %rax
movq 0x18(%rax), %rax
movq 0x18(%rax), %rax
movq %rax, -0x18(%rbp)
movq -0x30(%rbp), %rax
movq 0x20(%rax), %rax
movq 0x10(%rax), %rax
movq 0x20(%rax), %rax
movq %rax, -0x20(%rbp)
movq -0x20(%rbp), %rax
movq 0x10(%rax), %rax
movq 0x10(%rax), %rax
movq 0x10(%rax), %rax
movq %rax, -0x28(%rbp)
movq -0x10(%rbp), %rdx
movq -0x10(%rbp), %rax
movslq (%rax), %rcx
leaq 0x92ba(%rip), %rax      # 0x3da00
movq %rdx, (%rax,%rcx,8)
movq -0x20(%rbp), %rdx
movq -0x20(%rbp), %rax
movslq (%rax), %rcx
leaq 0x92a4(%rip), %rax      # 0x3da00
movq %rdx, (%rax,%rcx,8)
movq -0x18(%rbp), %rax
movl 0x4(%rax), %ecx
movq -0x30(%rbp), %rax
movq 0x20(%rax), %rax
movl %ecx, 0x4(%rax)
movq -0x30(%rbp), %rax
movl %ecx, (%rax)
movq -0x8(%rbp), %rax
movq 0x20(%rax), %rax
movl %ecx, 0x4(%rax)
movq -0x8(%rbp), %rax
movl %ecx, (%rax)
movq -0x18(%rbp), %rax
movslq 0x4(%rax), %rcx
leaq 0x9468(%rip), %rax      # 0x3dc00
movl (%rax,%rcx,4), %edx
addl $0x2, %edx
leaq 0x945b(%rip), %rax      # 0x3dc00
movl %edx, (%rax,%rcx,4)
movq -0x10(%rbp), %rax
movslq (%rax), %rcx
leaq 0x944a(%rip), %rax      # 0x3dc00
movl (%rax,%rcx,4), %edx
subl $0x2, %edx
leaq 0x943d(%rip), %rax      # 0x3dc00
movl %edx, (%rax,%rcx,4)
movq -0x20(%rbp), %rax
movslq (%rax), %rcx
leaq 0x942c(%rip), %rax      # 0x3dc00
movl (%rax,%rcx,4), %edx
subl $0x2, %edx
leaq 0x941f(%rip), %rax      # 0x3dc00
movl %edx, (%rax,%rcx,4)
movq -0x10(%rbp), %rcx
movq -0x18(%rbp), %rax
movq %rcx, 0x10(%rax)
movq -0x18(%rbp), %rcx
movq -0x10(%rbp), %rax
movq %rcx, 0x18(%rax)
movq -0x28(%rbp), %rcx
movq -0x20(%rbp), %rax
movq %rcx, 0x10(%rax)
movq -0x20(%rbp), %rcx
movq -0x28(%rbp), %rax
movq %rcx, 0x18(%rax)
movq -0x18(%rbp), %rax
movq 0x20(%rax), %rax
movq %rax, -0x18(%rbp)
movq -0x28(%rbp), %rax
movq 0x20(%rax), %rax
movq %rax, -0x28(%rbp)
movq -0x8(%rbp), %rcx
movq -0x18(%rbp), %rax
movq %rcx, 0x18(%rax)
movq -0x18(%rbp), %rcx
movq -0x8(%rbp), %rax
movq %rcx, 0x10(%rax)
movq -0x30(%rbp), %rcx
movq -0x28(%rbp), %rax
movq %rcx, 0x10(%rax)
movq -0x28(%rbp), %rcx
movq -0x30(%rbp), %rax
movq %rcx, 0x18(%rax)
movl 0x225dbe(%rip), %eax    # 0x25a620
addl $-0x1, %eax
movl %eax, 0x225db5(%rip)    # 0x25a620
movl 0x225db3(%rip), %eax    # 0x25a624
subl $0x6, %eax
movl %eax, 0x225daa(%rip)    # 0x25a624
popq %rbp
retq
nopl (%rax)