// File: /workspace/github_c_makefile_star2_O0/mishun[P]plantri/plantri.c
// Function: scanquadrangulations_min3
static void
scanquadrangulations_min3(int nbtot, int nbop, EDGE *spoke, int dosplit,
                          EDGE *P1edge[], int nP1edges)

/* The main node of the recursion for quadrangulations of mindeg 3.
   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 spoke!=NULL the input is a pseudo-double wheel and this is a
   spoke from the rim towards the hub.
   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.
   P1edge[0..nP1edges-1] are edges of the graph that were reference
   edges for P1-operations in ancestors of this graph.  They may not
   be reference edges for P1-reductions now, but at least they are edges.
   However, if nP1edges>0, we can say that certainly P1edge[nP1edges-1]
   is a P1-operation that was just done.
*/

{
    EDGE *firstedge_save[MAXN];
    EDGE *extP1[MAXE],*extP3[MAXE];
    EDGE *good_or[MAXE],*good_mir[MAXE];
    int ngood_or,ngood_mir,ngood_ref,ngood_mir_ref;
    int nextP1,nextP3,i;
    int xnbtot,xnbop,conn;
    EDGE *newP1edge[MAXN],*rededge;
    EDGE *hint;

    if (nv == maxnv)
    {
        if (pswitch || xswitch) conn = con_quad();
        else                    conn = 2;           /* really 2 or 3 */

        if (pswitch) startbipscan(nbtot,nbop,conn);
        else         got_one(nbtot,nbop,conn);
        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_QUAD_MIN3
    if (!(PRE_FILTER_QUAD_MIN3)) return;
#endif

#ifndef FIND_EXTENSIONS_QUAD_MIN3
#define FIND_EXTENSIONS_QUAD_MIN3 find_extensions_quad_min3
#endif

    FIND_EXTENSIONS_QUAD_MIN3(nbtot,nbop,extP1,&nextP1,extP3,&nextP3,
				  (nP1edges==0?NULL:P1edge[nP1edges-1]));

    if (spoke && nv <= maxnv-2)
    {
        rededge = extend_quadr_P2(spoke);
#ifdef FAST_FILTER_QUAD_MIN3
        if (FAST_FILTER_QUAD_MIN3)
#endif  
        {
            (void)canon(degree,numbering,&xnbtot,&xnbop);
            scanquadrangulations_min3(xnbtot,xnbop,spoke,
                              nv==splitlevel||nv==splitlevel+1,newP1edge,0);
	}
        reduce_quadr_P2(rededge);
    }

    hint = NULL;
    for (i = 0; i < nextP1; ++i)
    {
        rededge = extend_quadr_P1(extP1[i]);
#ifdef FAST_FILTER_QUAD_MIN3
        if (FAST_FILTER_QUAD_MIN3)
#endif  
        {
	    quadr_P1_legal_min3(rededge,good_or,&ngood_or,&ngood_ref,good_mir,
                           &ngood_mir,&ngood_mir_ref,P1edge,nP1edges,&hint);
            if (ngood_ref+ngood_mir_ref > 0)
	    {
	        if (nv == maxnv && !needgroup && ngood_or == ngood_ref
                                              && ngood_mir == ngood_mir_ref)
		    got_one(1,1,3);
	        else if (ngood_or+ngood_mir==1)
	        {
    		    P1edge[nP1edges] = rededge;
    		    scanquadrangulations_min3(1,1,NULL,nv==splitlevel,
						    P1edge,nP1edges+1);
	        }
	        else if (canon_edge_oriented(good_or,ngood_or,ngood_ref,
                                             good_mir,ngood_mir,ngood_mir_ref,
                                             degree,numbering,&xnbtot,&xnbop))
	        {
		    P1edge[nP1edges] = rededge;
	            scanquadrangulations_min3(xnbtot,xnbop,NULL,nv==splitlevel,
                                                            P1edge,nP1edges+1);
	        }
	    }
	}
	reduce_quadr_P1(rededge);
    }

    for (i = 0; i < nextP3; ++i)
    {   
        rededge = extend_quadr_P3(extP3[i]);
#ifdef FAST_FILTER_QUAD_MIN3
        if (FAST_FILTER_QUAD_MIN3)
#endif  
        {
            if (!has_quadr_P1_min3())
            {   
                quadr_P3_legal_min3(rededge,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))
                    scanquadrangulations_min3(xnbtot,xnbop,NULL,
                                 nv>=splitlevel&&nv<=splitlevel+3,newP1edge,0);
            }
        }
        reduce_quadr_P3(rededge);
    }

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

// Assembly:
pushq %rbp
movq %rsp, %rbp
pushq %rbx
subq $0x3358, %rsp           # imm = 0x3358
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 0x251329(%rip), %eax    # 0x25a620
cmpl 0x32f83(%rip), %eax     # 0x3c280
jne 0x935a
cmpl $0x0, 0x32ea2(%rip)     # 0x3c1a8
jne 0x9311
cmpl $0x0, 0x32da9(%rip)     # 0x3c0b8
je 0x931e
callq 0xe110
movl %eax, -0x30d8(%rbp)
jmp 0x9328
movl $0x2, -0x30d8(%rbp)
cmpl $0x0, 0x32e79(%rip)     # 0x3c1a8
je 0x9344
movl -0xc(%rbp), %edi
movl -0x10(%rbp), %esi
movl -0x30d8(%rbp), %edx
callq 0xe410
jmp 0x9355
movl -0xc(%rbp), %edi
movl -0x10(%rbp), %esi
movl -0x30d8(%rbp), %edx
callq 0x8080
jmp 0x993f
cmpl $0x0, -0x1c(%rbp)
je 0x93d6
movl 0x2978ca(%rip), %eax    # 0x2a0c30
movl %eax, %ecx
addl $-0x1, %ecx
movl %ecx, 0x2978bf(%rip)    # 0x2a0c30
cmpl $0x0, %eax
je 0x937b
jmp 0x993f
movl 0x32efb(%rip), %eax     # 0x3c27c
subl $0x1, %eax
movl %eax, 0x2978a6(%rip)    # 0x2a0c30
movl $0x0, -0x30cc(%rbp)
movl -0x30cc(%rbp), %eax
cmpl 0x251280(%rip), %eax    # 0x25a620
jge 0x93d4
movslq -0x30cc(%rbp), %rcx
leaq 0x34650(%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 0x9394
jmp 0x93d6
movl -0xc(%rbp), %eax
movl %eax, -0x3308(%rbp)
movl -0x10(%rbp), %eax
movl %eax, -0x3304(%rbp)
leaq -0xdd0(%rbp), %rax
movq %rax, -0x3300(%rbp)
leaq -0x1970(%rbp), %rax
movq %rax, -0x32f8(%rbp)
cmpl $0x0, -0x2c(%rbp)
jne 0x9415
xorl %eax, %eax
movq %rax, -0x3310(%rbp)
jmp 0x942d
movq -0x28(%rbp), %rax
movl -0x2c(%rbp), %ecx
subl $0x1, %ecx
movslq %ecx, %rcx
movq (%rax,%rcx,8), %rax
movq %rax, -0x3310(%rbp)
movq -0x32f8(%rbp), %r8
movq -0x3300(%rbp), %rdx
movl -0x3304(%rbp), %esi
movl -0x3308(%rbp), %edi
movq -0x3310(%rbp), %rax
leaq -0x30c4(%rbp), %rcx
leaq -0x30c8(%rbp), %r9
movq %rax, (%rsp)
callq 0x15cc0
cmpq $0x0, -0x18(%rbp)
je 0x9544
movl 0x2511aa(%rip), %eax    # 0x25a620
movl 0x32e04(%rip), %ecx     # 0x3c280
subl $0x2, %ecx
cmpl %ecx, %eax
jg 0x9544
movq -0x18(%rbp), %rdi
callq 0x13f40
movq %rax, -0x32e8(%rbp)
leaq 0x34762(%rip), %rdi     # 0x3dc00
leaq 0x3485b(%rip), %rsi     # 0x3dd00
leaq -0x30d0(%rbp), %rdx
leaq -0x30d4(%rbp), %rcx
callq 0x7410
movl -0x30d0(%rbp), %eax
movl %eax, -0x3328(%rbp)
movl -0x30d4(%rbp), %eax
movl %eax, -0x3324(%rbp)
movq -0x18(%rbp), %rax
movq %rax, -0x3320(%rbp)
movl 0x25113f(%rip), %ecx    # 0x25a620
movb $0x1, %al
cmpl 0x3450b(%rip), %ecx     # 0x3d9f4
movb %al, -0x3311(%rbp)
je 0x950b
movl 0x251129(%rip), %eax    # 0x25a620
movl 0x344f7(%rip), %ecx     # 0x3d9f4
addl $0x1, %ecx
cmpl %ecx, %eax
sete %al
movb %al, -0x3311(%rbp)
movq -0x3320(%rbp), %rdx
movl -0x3324(%rbp), %esi
movl -0x3328(%rbp), %edi
movb -0x3311(%rbp), %al
andb $0x1, %al
movzbl %al, %ecx
leaq -0x32e0(%rbp), %r8
xorl %r9d, %r9d
callq 0x92d0
movq -0x32e8(%rbp), %rdi
callq 0x14200
movq $0x0, -0x32f0(%rbp)
movl $0x0, -0x30cc(%rbp)
movl -0x30cc(%rbp), %eax
cmpl -0x30c4(%rbp), %eax
jge 0x9764
movslq -0x30cc(%rbp), %rax
movq -0xdd0(%rbp,%rax,8), %rdi
callq 0xf9e0
movq %rax, -0x32e8(%rbp)
movq -0x32e8(%rbp), %rdi
leaq -0x2510(%rbp), %rsi
leaq -0x30b0(%rbp), %r8
movq -0x28(%rbp), %r11
movl -0x2c(%rbp), %r10d
leaq -0x30b4(%rbp), %rdx
leaq -0x30bc(%rbp), %rcx
leaq -0x30b8(%rbp), %r9
leaq -0x30c0(%rbp), %rbx
leaq -0x32f0(%rbp), %rax
movq %rbx, (%rsp)
movq %r11, 0x8(%rsp)
movl %r10d, 0x10(%rsp)
movq %rax, 0x18(%rsp)
callq 0x163d0
movl -0x30bc(%rbp), %eax
addl -0x30c0(%rbp), %eax
cmpl $0x0, %eax
jle 0x9744
movl 0x251027(%rip), %eax    # 0x25a620
cmpl 0x32c81(%rip), %eax     # 0x3c280
jne 0x963c
cmpl $0x0, 0x343e8(%rip)     # 0x3d9f0
jne 0x963c
movl -0x30b4(%rbp), %eax
cmpl -0x30bc(%rbp), %eax
jne 0x963c
movl -0x30b8(%rbp), %eax
cmpl -0x30c0(%rbp), %eax
jne 0x963c
movl $0x1, %esi
movl $0x3, %edx
movl %esi, %edi
callq 0x8080
jmp 0x9742
movl -0x30b4(%rbp), %eax
addl -0x30b8(%rbp), %eax
cmpl $0x1, %eax
jne 0x9695
movq -0x32e8(%rbp), %rdx
movq -0x28(%rbp), %rax
movslq -0x2c(%rbp), %rcx
movq %rdx, (%rax,%rcx,8)
movl 0x250fba(%rip), %eax    # 0x25a620
cmpl 0x34388(%rip), %eax     # 0x3d9f4
sete %al
andb $0x1, %al
movzbl %al, %ecx
movq -0x28(%rbp), %r8
movl -0x2c(%rbp), %r9d
addl $0x1, %r9d
movl $0x1, %esi
xorl %eax, %eax
movl %eax, %edx
movl %esi, %edi
callq 0x92d0
jmp 0x9740
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 0x3453c(%rip), %rbx     # 0x3dc00
leaq 0x34635(%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 0x973e
movq -0x32e8(%rbp), %rdx
movq -0x28(%rbp), %rax
movslq -0x2c(%rbp), %rcx
movq %rdx, (%rax,%rcx,8)
movl -0x30d0(%rbp), %edi
movl -0x30d4(%rbp), %esi
movl 0x250f05(%rip), %eax    # 0x25a620
cmpl 0x342d3(%rip), %eax     # 0x3d9f4
sete %al
andb $0x1, %al
movzbl %al, %ecx
movq -0x28(%rbp), %r8
movl -0x2c(%rbp), %r9d
addl $0x1, %r9d
xorl %eax, %eax
movl %eax, %edx
callq 0x92d0
jmp 0x9740
jmp 0x9742
jmp 0x9744
movq -0x32e8(%rbp), %rdi
callq 0x10150
movl -0x30cc(%rbp), %eax
addl $0x1, %eax
movl %eax, -0x30cc(%rbp)
jmp 0x9559
movl $0x0, -0x30cc(%rbp)
movl -0x30cc(%rbp), %eax
cmpl -0x30c8(%rbp), %eax
jge 0x98ed
movslq -0x30cc(%rbp), %rax
movq -0x1970(%rbp,%rax,8), %rdi
callq 0x14d00
movq %rax, -0x32e8(%rbp)
callq 0x16d20
cmpl $0x0, %eax
jne 0x98cd
movq -0x32e8(%rbp), %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 0x16e10
movl -0x30bc(%rbp), %eax
addl -0x30c0(%rbp), %eax
cmpl $0x0, %eax
jle 0x98cb
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 0x343d9(%rip), %rbx     # 0x3dc00
leaq 0x344d2(%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 0x98cb
movl -0x30d0(%rbp), %eax
movl %eax, -0x3334(%rbp)
movl -0x30d4(%rbp), %eax
movl %eax, -0x3330(%rbp)
movl 0x250da9(%rip), %ecx    # 0x25a620
xorl %eax, %eax
cmpl 0x34175(%rip), %ecx     # 0x3d9f4
movb %al, -0x3329(%rbp)
jl 0x98a1
movl 0x250d93(%rip), %eax    # 0x25a620
movl 0x34161(%rip), %ecx     # 0x3d9f4
addl $0x3, %ecx
cmpl %ecx, %eax
setle %al
movb %al, -0x3329(%rbp)
movl -0x3330(%rbp), %esi
movl -0x3334(%rbp), %edi
movb -0x3329(%rbp), %al
andb $0x1, %al
movzbl %al, %ecx
leaq -0x32e0(%rbp), %r8
xorl %eax, %eax
movl %eax, %edx
xorl %r9d, %r9d
callq 0x92d0
jmp 0x98cd
movq -0x32e8(%rbp), %rdi
callq 0x156e0
movl -0x30cc(%rbp), %eax
addl $0x1, %eax
movl %eax, -0x30cc(%rbp)
jmp 0x976e
cmpl $0x0, -0x1c(%rbp)
je 0x993f
movl $0x0, -0x30cc(%rbp)
movl -0x30cc(%rbp), %eax
cmpl 0x250d17(%rip), %eax    # 0x25a620
jge 0x993d
movslq -0x30cc(%rbp), %rax
movq -0x230(%rbp,%rax,8), %rdx
movslq -0x30cc(%rbp), %rcx
leaq 0x340d8(%rip), %rax     # 0x3da00
movq %rdx, (%rax,%rcx,8)
movl -0x30cc(%rbp), %eax
addl $0x1, %eax
movl %eax, -0x30cc(%rbp)
jmp 0x98fd
jmp 0x993f
addq $0x3358, %rsp           # imm = 0x3358
popq %rbx
popq %rbp
retq
nopl (%rax)