// File: /workspace/github_c_makefile_star2_O0/mishun[P]plantri/plantri.c
// Function: scanbipartite4c
static void
scanbipartite4c(int nbtot, int nbop, EDGE *wheelrim, int dosplit,
              EDGE *Pedges[], int nPedges, triangle nft[], int numnft)

/* The main node of the recursion for bipartite triangulations with
   monitoring of non-facial triangles.
   As this procedure is entered, nv,ne,degree etc are set for some graph,
   and nbtot/nbop are the values returned by canon() for that graph.
   If wheelrim != NULL, the input is a double wheel and *wheelrim is
   one of the edges on the rim.
   If dosplit==TRUE, this is the place to do splitting (if any).
   Splitting is a bit more complicated because the P operation adds
   two vertices.
   Pedges[0..nPedges-1] are edges of the graph that were reference
   edges for P-operations in ancestors of this graph.  They may not
   be reference edges for P-reductions now, but at least they are edges.
   However, if nPedges>0, we can say that certainly Pedges[nPedges-1]
   is a P-operation that was just done.
   nft[0..numnft-1] is a list of the non-facial triangles.
*/
{
    EDGE *firstedge_save[MAXN];
    EDGE *extP[MAXE],*extQ[MAXE];
    EDGE *good_or[MAXE],*good_mir[MAXE];
    int ngood_or,ngood_mir,ngood_ref,ngood_mir_ref;
    int nextP,nextQ,i;
    int xnbtot,xnbop;
    EDGE *hint,*newPedges[MAXN/2];
    triangle newnft[MAXN];
    int newnumnft,connec;

    if (nv == maxnv)
    {
	connec = 3 + (numnft==0);
	if (connec >= minconnec) got_one(nbtot,nbop,connec);
	return;
    }

    if (dosplit)
    {
#ifdef SPLITTEST
        ADDBIG(splitcases,1);
        return;
#endif
        if (splitcount-- != 0) return;
        splitcount = mod - 1;

        for (i = 0; i < nv; ++i) firstedge_save[i] = firstedge[i];
    }

#ifdef PRE_FILTER_BIP
    if (!(PRE_FILTER_BIP)) return;
#endif

#ifndef FIND_EXTENSIONS_BIP
#define FIND_EXTENSIONS_BIP find_extensions_bip
#endif

    FIND_EXTENSIONS_BIP(nbtot,nbop,extP,&nextP,extQ,&nextQ,Pedges,nPedges);

    if (nv == maxnv-2 && numnft > 0 && minconnec == 4)
        bipnftlaststep(extP,&nextP,nft,numnft);

    if (wheelrim && nv <= maxnv-2)
    {
        extend_bip_P(wheelrim);
#ifdef FAST_FILTER_BIP
        if (FAST_FILTER_BIP)
#endif  
        {
            canon(degree,numbering,&xnbtot,&xnbop);
            scanbipartite4c(xnbtot,xnbop,wheelrim,
                     nv==splitlevel||nv==splitlevel+1,Pedges,0,nft,numnft);
	}
        reduce_bip_P(wheelrim);
    }

    for (i = 0; i < nextP; ++i)
    {
        extend_bip_P(extP[i]);
#ifdef FAST_FILTER_BIP
        if (FAST_FILTER_BIP)
#endif 
        {
	    bip_P_legal(extP[i],good_or,&ngood_or,&ngood_ref,
		        good_mir,&ngood_mir,&ngood_mir_ref,
		        nPedges?Pedges[nPedges-1]:NULL);
            if (ngood_ref+ngood_mir_ref > 0)
	    {
	        if (nv == maxnv && !needgroup && ngood_or == ngood_ref
                                                && ngood_mir == ngood_mir_ref)
	        {
		    update_nft_P(nft,numnft,extP[i],newnft,&newnumnft);
		    connec = 3 + (newnumnft==0);
		    if (connec >= minconnec) got_one(1,1,connec);
	        }
	        else if (ngood_or+ngood_mir==1)
	        {
		    update_nft_P(nft,numnft,extP[i],newnft,&newnumnft);
    		    Pedges[nPedges] = extP[i];
    		    scanbipartite4c(1,1,NULL,nv==splitlevel||nv==splitlevel+1,
			            Pedges,nPedges+1,newnft,newnumnft);
	        }
	        else if (canon_edge_oriented(good_or,ngood_or,ngood_ref,
                                           good_mir,ngood_mir,ngood_mir_ref,
                                           degree,numbering,&xnbtot,&xnbop))
	        {
		    update_nft_P(nft,numnft,extP[i],newnft,&newnumnft);
		    Pedges[nPedges] = extP[i];
	            scanbipartite4c(xnbtot,xnbop,NULL,
			            nv==splitlevel||nv==splitlevel+1,
				    Pedges,nPedges+1,newnft,newnumnft);
	        }
	    }
	}
	reduce_bip_P(extP[i]);
    }

    hint = NULL;
    for (i = 0; i < nextQ; ++i)
    {
        extend_bip_Q(extQ[i]);
#ifdef FAST_FILTER_BIP
        if (FAST_FILTER_BIP)
#endif 
        {
            if (!hint || !is_bip_P(hint)) hint = has_bip_P();

            if (!hint)
	    {
	        bip_Q_legal(extQ[i],good_or,&ngood_or,&ngood_ref,
                            good_mir,&ngood_mir,&ngood_mir_ref);
                if (ngood_ref+ngood_mir_ref > 0
                    && canon_edge_oriented(good_or,ngood_or,ngood_ref,
                                           good_mir,ngood_mir,ngood_mir_ref,
                                           degree,numbering,&xnbtot,&xnbop))
	        {
		    update_nft_Q(nft,numnft,extQ[i],newnft,&newnumnft);
		    scanbipartite4c(xnbtot,xnbop,NULL,nv==splitlevel,
				    newPedges,0,newnft,newnumnft);
	        }
	    }
	}
	reduce_bip_Q(extQ[i]);
    }

    if (dosplit)
        for (i = 0; i < nv; ++i) firstedge[i] = firstedge_save[i];
}

// Assembly:
pushq %rbp
movq %rsp, %rbp
pushq %rbx
subq $0x3848, %rsp           # imm = 0x3848
movl 0x18(%rbp), %eax
movq 0x10(%rbp), %rax
movl %edi, -0xc(%rbp)
movl %esi, -0x10(%rbp)
movq %rdx, -0x18(%rbp)
movl %ecx, -0x1c(%rbp)
movq %r8, -0x28(%rbp)
movl %r9d, -0x2c(%rbp)
movl 0x229ac2(%rip), %eax    # 0x25a620
cmpl 0xb71c(%rip), %eax      # 0x3c280
jne 0x30b9f
cmpl $0x0, 0x18(%rbp)
sete %al
andb $0x1, %al
movzbl %al, %eax
addl $0x3, %eax
movl %eax, -0x37e8(%rbp)
movl -0x37e8(%rbp), %eax
cmpl 0xb529(%rip), %eax      # 0x3c0b0
jl 0x30b9a
movl -0xc(%rbp), %edi
movl -0x10(%rbp), %esi
movl -0x37e8(%rbp), %edx
callq 0x8080
jmp 0x31330
cmpl $0x0, -0x1c(%rbp)
je 0x30c1b
movl 0x270085(%rip), %eax    # 0x2a0c30
movl %eax, %ecx
addl $-0x1, %ecx
movl %ecx, 0x27007a(%rip)    # 0x2a0c30
cmpl $0x0, %eax
je 0x30bc0
jmp 0x31330
movl 0xb6b6(%rip), %eax      # 0x3c27c
subl $0x1, %eax
movl %eax, 0x270061(%rip)    # 0x2a0c30
movl $0x0, -0x30cc(%rbp)
movl -0x30cc(%rbp), %eax
cmpl 0x229a3b(%rip), %eax    # 0x25a620
jge 0x30c19
movslq -0x30cc(%rbp), %rcx
leaq 0xce0b(%rip), %rax      # 0x3da00
movq (%rax,%rcx,8), %rcx
movslq -0x30cc(%rbp), %rax
movq %rcx, -0x230(%rbp,%rax,8)
movl -0x30cc(%rbp), %eax
addl $0x1, %eax
movl %eax, -0x30cc(%rbp)
jmp 0x30bd9
jmp 0x30c1b
movl -0xc(%rbp), %edi
movl -0x10(%rbp), %esi
leaq -0xdd0(%rbp), %rdx
leaq -0x1970(%rbp), %r8
movq -0x28(%rbp), %r10
movl -0x2c(%rbp), %eax
leaq -0x30c4(%rbp), %rcx
leaq -0x30c8(%rbp), %r9
movq %r10, (%rsp)
movl %eax, 0x8(%rsp)
callq 0x319d0
movl 0x2299c9(%rip), %eax    # 0x25a620
movl 0xb623(%rip), %ecx      # 0x3c280
subl $0x2, %ecx
cmpl %ecx, %eax
jne 0x30c8d
cmpl $0x0, 0x18(%rbp)
jle 0x30c8d
cmpl $0x4, 0xb43f(%rip)      # 0x3c0b0
jne 0x30c8d
leaq -0xdd0(%rbp), %rdi
movq 0x10(%rbp), %rdx
movl 0x18(%rbp), %ecx
leaq -0x30c4(%rbp), %rsi
callq 0x32690
cmpq $0x0, -0x18(%rbp)
je 0x30d6e
movl 0x229982(%rip), %eax    # 0x25a620
movl 0xb5dc(%rip), %ecx      # 0x3c280
subl $0x2, %ecx
cmpl %ecx, %eax
jg 0x30d6e
movq -0x18(%rbp), %rdi
callq 0x32840
leaq 0xcf41(%rip), %rdi      # 0x3dc00
leaq 0xd03a(%rip), %rsi      # 0x3dd00
leaq -0x30d0(%rbp), %rdx
leaq -0x30d4(%rbp), %rcx
callq 0x7410
movl -0x30d0(%rbp), %eax
movl %eax, -0x3800(%rbp)
movl -0x30d4(%rbp), %eax
movl %eax, -0x37fc(%rbp)
movq -0x18(%rbp), %rax
movq %rax, -0x37f8(%rbp)
movl 0x22991e(%rip), %ecx    # 0x25a620
movb $0x1, %al
cmpl 0xccea(%rip), %ecx      # 0x3d9f4
movb %al, -0x37e9(%rbp)
je 0x30d2c
movl 0x229908(%rip), %eax    # 0x25a620
movl 0xccd6(%rip), %ecx      # 0x3d9f4
addl $0x1, %ecx
cmpl %ecx, %eax
sete %al
movb %al, -0x37e9(%rbp)
movq -0x37f8(%rbp), %rdx
movl -0x37fc(%rbp), %esi
movl -0x3800(%rbp), %edi
movb -0x37e9(%rbp), %al
andb $0x1, %al
movzbl %al, %ecx
movq -0x28(%rbp), %r8
movq 0x10(%rbp), %r10
movl 0x18(%rbp), %eax
xorl %r9d, %r9d
movq %r10, (%rsp)
movl %eax, 0x8(%rsp)
callq 0x30b30
movq -0x18(%rbp), %rdi
callq 0x32b60
movl $0x0, -0x30cc(%rbp)
movl -0x30cc(%rbp), %eax
cmpl -0x30c4(%rbp), %eax
jge 0x3111d
movslq -0x30cc(%rbp), %rax
movq -0xdd0(%rbp,%rax,8), %rdi
callq 0x32840
movslq -0x30cc(%rbp), %rax
movq -0xdd0(%rbp,%rax,8), %rax
movq %rax, -0x3818(%rbp)
leaq -0x2510(%rbp), %rax
movq %rax, -0x3810(%rbp)
leaq -0x30b0(%rbp), %rax
movq %rax, -0x3808(%rbp)
cmpl $0x0, -0x2c(%rbp)
je 0x30df0
movq -0x28(%rbp), %rax
movl -0x2c(%rbp), %ecx
subl $0x1, %ecx
movslq %ecx, %rcx
movq (%rax,%rcx,8), %rax
movq %rax, -0x3820(%rbp)
jmp 0x30dfb
xorl %eax, %eax
movq %rax, -0x3820(%rbp)
jmp 0x30dfb
movq -0x3808(%rbp), %r8
movq -0x3810(%rbp), %rsi
movq -0x3818(%rbp), %rdi
movq -0x3820(%rbp), %rax
leaq -0x30b4(%rbp), %rdx
leaq -0x30bc(%rbp), %rcx
leaq -0x30b8(%rbp), %r9
leaq -0x30c0(%rbp), %r10
movq %r10, (%rsp)
movq %rax, 0x8(%rsp)
callq 0x32d10
movl -0x30bc(%rbp), %eax
addl -0x30c0(%rbp), %eax
cmpl $0x0, %eax
jle 0x310f5
movl 0x2297c4(%rip), %eax    # 0x25a620
cmpl 0xb41e(%rip), %eax      # 0x3c280
jne 0x30ef7
cmpl $0x0, 0xcb81(%rip)      # 0x3d9f0
jne 0x30ef7
movl -0x30b4(%rbp), %eax
cmpl -0x30bc(%rbp), %eax
jne 0x30ef7
movl -0x30b8(%rbp), %eax
cmpl -0x30c0(%rbp), %eax
jne 0x30ef7
movq 0x10(%rbp), %rdi
movl 0x18(%rbp), %esi
movslq -0x30cc(%rbp), %rax
movq -0xdd0(%rbp,%rax,8), %rdx
leaq -0x37e0(%rbp), %rcx
leaq -0x37e4(%rbp), %r8
callq 0x33680
cmpl $0x0, -0x37e4(%rbp)
sete %al
andb $0x1, %al
movzbl %al, %eax
addl $0x3, %eax
movl %eax, -0x37e8(%rbp)
movl -0x37e8(%rbp), %eax
cmpl 0xb1d2(%rip), %eax      # 0x3c0b0
jl 0x30ef2
movl -0x37e8(%rbp), %edx
movl $0x1, %esi
movl %esi, %edi
callq 0x8080
jmp 0x310f3
movl -0x30b4(%rbp), %eax
addl -0x30b8(%rbp), %eax
cmpl $0x1, %eax
jne 0x30fbf
movq 0x10(%rbp), %rdi
movl 0x18(%rbp), %esi
movslq -0x30cc(%rbp), %rax
movq -0xdd0(%rbp,%rax,8), %rdx
leaq -0x37e0(%rbp), %rcx
leaq -0x37e4(%rbp), %r8
callq 0x33680
movslq -0x30cc(%rbp), %rax
movq -0xdd0(%rbp,%rax,8), %rdx
movq -0x28(%rbp), %rax
movslq -0x2c(%rbp), %rcx
movq %rdx, (%rax,%rcx,8)
movl 0x2296ca(%rip), %ecx    # 0x25a620
movb $0x1, %al
cmpl 0xca96(%rip), %ecx      # 0x3d9f4
movb %al, -0x3821(%rbp)
je 0x30f80
movl 0x2296b4(%rip), %eax    # 0x25a620
movl 0xca82(%rip), %ecx      # 0x3d9f4
addl $0x1, %ecx
cmpl %ecx, %eax
sete %al
movb %al, -0x3821(%rbp)
movb -0x3821(%rbp), %al
andb $0x1, %al
movzbl %al, %ecx
movq -0x28(%rbp), %r8
movl -0x2c(%rbp), %r9d
addl $0x1, %r9d
leaq -0x37e0(%rbp), %r10
movl -0x37e4(%rbp), %eax
movl $0x1, %esi
xorl %edx, %edx
movl %esi, %edi
movq %r10, (%rsp)
movl %eax, 0x8(%rsp)
callq 0x30b30
jmp 0x310f1
leaq -0x2510(%rbp), %rdi
movl -0x30b4(%rbp), %esi
movl -0x30bc(%rbp), %edx
leaq -0x30b0(%rbp), %rcx
movl -0x30b8(%rbp), %r8d
movl -0x30c0(%rbp), %r9d
leaq 0xcc12(%rip), %rbx      # 0x3dc00
leaq 0xcd0b(%rip), %r11      # 0x3dd00
leaq -0x30d0(%rbp), %r10
leaq -0x30d4(%rbp), %rax
movq %rbx, (%rsp)
movq %r11, 0x8(%rsp)
movq %r10, 0x10(%rsp)
movq %rax, 0x18(%rsp)
callq 0xf4b0
cmpl $0x0, %eax
je 0x310ef
movq 0x10(%rbp), %rdi
movl 0x18(%rbp), %esi
movslq -0x30cc(%rbp), %rax
movq -0xdd0(%rbp,%rax,8), %rdx
leaq -0x37e0(%rbp), %rcx
leaq -0x37e4(%rbp), %r8
callq 0x33680
movslq -0x30cc(%rbp), %rax
movq -0xdd0(%rbp,%rax,8), %rdx
movq -0x28(%rbp), %rax
movslq -0x2c(%rbp), %rcx
movq %rdx, (%rax,%rcx,8)
movl -0x30d0(%rbp), %eax
movl %eax, -0x382c(%rbp)
movl -0x30d4(%rbp), %eax
movl %eax, -0x3828(%rbp)
movl 0x22959a(%rip), %ecx    # 0x25a620
movb $0x1, %al
cmpl 0xc966(%rip), %ecx      # 0x3d9f4
movb %al, -0x3822(%rbp)
je 0x310b0
movl 0x229584(%rip), %eax    # 0x25a620
movl 0xc952(%rip), %ecx      # 0x3d9f4
addl $0x1, %ecx
cmpl %ecx, %eax
sete %al
movb %al, -0x3822(%rbp)
movl -0x3828(%rbp), %esi
movl -0x382c(%rbp), %edi
movb -0x3822(%rbp), %al
andb $0x1, %al
movzbl %al, %ecx
movq -0x28(%rbp), %r8
movl -0x2c(%rbp), %r9d
addl $0x1, %r9d
leaq -0x37e0(%rbp), %r10
movl -0x37e4(%rbp), %eax
xorl %edx, %edx
movq %r10, (%rsp)
movl %eax, 0x8(%rsp)
callq 0x30b30
jmp 0x310f1
jmp 0x310f3
jmp 0x310f5
movslq -0x30cc(%rbp), %rax
movq -0xdd0(%rbp,%rax,8), %rdi
callq 0x32b60
movl -0x30cc(%rbp), %eax
addl $0x1, %eax
movl %eax, -0x30cc(%rbp)
jmp 0x30d78
movq $0x0, -0x30e0(%rbp)
movl $0x0, -0x30cc(%rbp)
movl -0x30cc(%rbp), %eax
cmpl -0x30c8(%rbp), %eax
jge 0x312de
movslq -0x30cc(%rbp), %rax
movq -0x1970(%rbp,%rax,8), %rdi
callq 0x338c0
cmpq $0x0, -0x30e0(%rbp)
je 0x31173
movq -0x30e0(%rbp), %rdi
callq 0x33bd0
cmpl $0x0, %eax
jne 0x3117f
callq 0x33d20
movq %rax, -0x30e0(%rbp)
cmpq $0x0, -0x30e0(%rbp)
jne 0x312b6
movslq -0x30cc(%rbp), %rax
movq -0x1970(%rbp,%rax,8), %rdi
leaq -0x2510(%rbp), %rsi
leaq -0x30b0(%rbp), %r8
leaq -0x30b4(%rbp), %rdx
leaq -0x30bc(%rbp), %rcx
leaq -0x30b8(%rbp), %r9
leaq -0x30c0(%rbp), %rax
movq %rax, (%rsp)
callq 0x33ef0
movl -0x30bc(%rbp), %eax
addl -0x30c0(%rbp), %eax
cmpl $0x0, %eax
jle 0x312b4
leaq -0x2510(%rbp), %rdi
movl -0x30b4(%rbp), %esi
movl -0x30bc(%rbp), %edx
leaq -0x30b0(%rbp), %rcx
movl -0x30b8(%rbp), %r8d
movl -0x30c0(%rbp), %r9d
leaq 0xc9ed(%rip), %rbx      # 0x3dc00
leaq 0xcae6(%rip), %r11      # 0x3dd00
leaq -0x30d0(%rbp), %r10
leaq -0x30d4(%rbp), %rax
movq %rbx, (%rsp)
movq %r11, 0x8(%rsp)
movq %r10, 0x10(%rsp)
movq %rax, 0x18(%rsp)
callq 0xf4b0
cmpl $0x0, %eax
je 0x312b4
movq 0x10(%rbp), %rdi
movl 0x18(%rbp), %esi
movslq -0x30cc(%rbp), %rax
movq -0x1970(%rbp,%rax,8), %rdx
leaq -0x37e0(%rbp), %rcx
leaq -0x37e4(%rbp), %r8
callq 0x342d0
movl -0x30d0(%rbp), %edi
movl -0x30d4(%rbp), %esi
movl 0x2293a0(%rip), %eax    # 0x25a620
cmpl 0xc76e(%rip), %eax      # 0x3d9f4
sete %al
andb $0x1, %al
movzbl %al, %ecx
leaq -0x31e0(%rbp), %r8
leaq -0x37e0(%rbp), %r10
movl -0x37e4(%rbp), %eax
xorl %edx, %edx
xorl %r9d, %r9d
movq %r10, (%rsp)
movl %eax, 0x8(%rsp)
callq 0x30b30
jmp 0x312b6
movslq -0x30cc(%rbp), %rax
movq -0x1970(%rbp,%rax,8), %rdi
callq 0x346d0
movl -0x30cc(%rbp), %eax
addl $0x1, %eax
movl %eax, -0x30cc(%rbp)
jmp 0x31132
cmpl $0x0, -0x1c(%rbp)
je 0x31330
movl $0x0, -0x30cc(%rbp)
movl -0x30cc(%rbp), %eax
cmpl 0x229326(%rip), %eax    # 0x25a620
jge 0x3132e
movslq -0x30cc(%rbp), %rax
movq -0x230(%rbp,%rax,8), %rdx
movslq -0x30cc(%rbp), %rcx
leaq 0xc6e7(%rip), %rax      # 0x3da00
movq %rdx, (%rax,%rcx,8)
movl -0x30cc(%rbp), %eax
addl $0x1, %eax
movl %eax, -0x30cc(%rbp)
jmp 0x312ee
jmp 0x31330
addq $0x3848, %rsp           # imm = 0x3848
popq %rbx
popq %rbp
retq
nopw (%rax,%rax)