// File: /workspace/github_c_makefile_star2_O3/mishun[P]plantri/plantri.c
// Function: scanmin5c4_1
static void
scanmin5c4_1(int nbtot, int nbop, EDGE **on4, int non4)

/* This is the recursive procedure that creates nf-4-cycles for mindeg=5
   triangulations.  The first call is with a 4-connected triangulation
   made by a single switching from a 5-connected triangulation.
   on4[0..non4-1] are all edges on nf-4-cycles (min form).
*/

{
    EDGE *good[MAXE],*extAred; 
    EDGE *ext5_sw[MAXE/2],*ext5_51[MAXE],*ext5_52[MAXE];
    int next5_sw,next5_5;
    int newnon4,i,xnbtot,xnbop,ngood;

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

#ifndef FIND_EXTENSIONS_MIN5c4
#define FIND_EXTENSIONS_MIN5c4 find_extensions_min5c4
#endif

    FIND_EXTENSIONS_MIN5c4(nbtot,nbop,NULL,0,on4,non4,
	       		   ext5_sw,&next5_sw,ext5_51,ext5_52,&next5_5);

    if (nv == maxnv)
    {
	if (pswitch) startpolyscan(nbtot,nbop);   /* Saves the group! */
        else         got_one(nbtot,nbop,4);
 
	if (minconnec < 4 && non4 >= 6) scanmin5c3_0(nbtot,nbop,on4,non4);
    }

    for (i = 0; i < next5_sw; ++i)
    {
	switch_edge(ext5_sw[i]);
#ifdef FAST_FILTER_MIN5c4
        if (FAST_FILTER_MIN5c4)
#endif  
        {
	    newnon4 = non4;
	    add_new_nf4_cycles(ext5_sw[i],on4,&newnon4);

	    min5c4_sw_legal(ext5_sw[i],on4,newnon4,good,&ngood);
	    if (ngood > 0
		      && canon_edge(good,ngood,degree,numbering,&xnbtot,&xnbop))
	        scanmin5c4_1(xnbtot,xnbop,on4,newnon4);
	}
	switch_edge_back(ext5_sw[i]);
    }

    for (i = 0; i < next5_5; ++i)
    {
	extAred = extend_min5_a(ext5_51[i],ext5_52[i]);
#ifdef FAST_FILTER_MIN5c4
        if (FAST_FILTER_MIN5c4)
#endif  
        {
	    if (extAred->start == nv-1)
	    {
	        on4[non4] = extAred->next->min;
	        on4[non4+1] = extAred->prev->min;
	        newnon4 = non4 + 2;
	    }
	    else
	    {
	        on4[non4] = extAred->invers->next->min;
	        on4[non4+1] = extAred->invers->prev->min;
	        newnon4 = non4 + 2;
	    }
    
	    if (!has_min5c4_sw(on4,newnon4))
	    {
	        min5c4_5_legal(extAred,on4,newnon4,good,&ngood);
	        if (ngood > 0
                     && canon_edge(good,ngood,degree,numbering,&xnbtot,&xnbop))
	            scanmin5c4_1(xnbtot,xnbop,on4,newnon4);
	    }
	}
	reduce_min5_a(extAred);
    }
}

// Assembly:
pushq %rbp
pushq %r15
pushq %r14
pushq %r13
pushq %r12
pushq %rbx
subq $0x2908, %rsp           # imm = 0x2908
movl %ecx, %r8d
movq %rdx, %rcx
movl %esi, %r15d
movl %edi, %ebp
leaq 0x30(%rsp), %rax
leaq 0x11c0(%rsp), %r10
leaq 0x1d60(%rsp), %r11
leaq 0x34(%rsp), %rbx
leaq 0xbf0(%rsp), %r9
xorl %esi, %esi
xorl %edx, %edx
movq %rcx, (%rsp)
movq %r8, 0x20(%rsp)
pushq %rax
pushq %r10
pushq %r11
pushq %rbx
callq 0x164c2
addq $0x20, %rsp
movl 0x22d36b(%rip), %eax    # 0x244610
cmpl 0xefc5(%rip), %eax      # 0x26270
jne 0x172e8
cmpb $0x1, 0xeef4(%rip)      # 0x261a8
jne 0x172c2
movl %ebp, %edi
movl %r15d, %esi
callq 0x124c3
jmp 0x172d1
movl %ebp, %edi
movl %r15d, %esi
movl $0x4, %edx
callq 0x761c
cmpl $0x6, 0x20(%rsp)
jl 0x172e8
cmpl $0x3, 0xedd1(%rip)      # 0x260b0
jg 0x172e8
movl %ebp, %edi
callq 0x179bc
movslq 0x34(%rsp), %r14
testq %r14, %r14
jle 0x17389
xorl %r15d, %r15d
leaq 0x50(%rsp), %r12
movq (%rsp), %r13
movq 0xbf0(%rsp,%r15,8), %rbp
movq %rbp, %rdi
callq 0x16b44
movq 0x20(%rsp), %rax
movl %eax, 0x1c(%rsp)
movq %rbp, %rdi
movq %r13, %rsi
leaq 0x1c(%rsp), %rdx
callq 0x16be3
movl 0x1c(%rsp), %ebx
movq %rbp, %rdi
movq %r13, %rsi
movl %ebx, %edx
movq %r12, %rcx
leaq 0x2c(%rsp), %r8
callq 0x16daf
movl 0x2c(%rsp), %esi
testl %esi, %esi
jle 0x17375
movq %r12, %rdi
leaq 0xc(%rsp), %rdx
leaq 0x8(%rsp), %rcx
callq 0x16f77
testl %eax, %eax
je 0x17375
movl 0xc(%rsp), %edi
movl 0x8(%rsp), %esi
movq (%rsp), %rdx
movl %ebx, %ecx
callq 0x17245
movq %rbp, %rdi
callq 0x175ce
incq %r15
cmpq %r15, %r14
jne 0x17302
movslq 0x30(%rsp), %rax
movq %rax, 0x40(%rsp)
testq %rax, %rax
jle 0x175bc
movq 0x20(%rsp), %rax
movslq %eax, %rbx
addl $0x2, %eax
movq %rax, 0x10(%rsp)
xorl %eax, %eax
movq %rbx, 0x38(%rsp)
movq 0x1d60(%rsp,%rax,8), %rdi
movq %rax, 0x48(%rsp)
movq 0x11c0(%rsp,%rax,8), %rsi
callq 0x13002
movq %rax, %r12
movl 0x22d23a(%rip), %eax    # 0x244610
decl %eax
cmpl %eax, (%r12)
jne 0x173f4
movq 0x18(%r12), %rax
movq 0x28(%rax), %rax
movq (%rsp), %rsi
movq %rax, (%rsi,%rbx,8)
movq %r12, %rax
jmp 0x1740e
movq 0x20(%r12), %rax
movq 0x18(%rax), %rax
movq 0x28(%rax), %rax
movq (%rsp), %rsi
movq %rax, (%rsi,%rbx,8)
movq 0x20(%r12), %rax
movq 0x10(%rax), %rax
movq 0x28(%rax), %rax
movq %rax, 0x8(%rsi,%rbx,8)
cmpl $-0x1, 0x20(%rsp)
leaq 0x107c9(%rip), %rcx     # 0x27bf0
jl 0x17464
xorl %ebx, %ebx
movq (%rsi,%rbx,8), %rdi
movslq (%rdi), %rax
cmpl $0x6, (%rcx,%rax,4)
jl 0x1745a
movslq 0x4(%rdi), %rax
cmpl $0x6, (%rcx,%rax,4)
jl 0x1745a
callq 0x17853
leaq 0x107a2(%rip), %rcx     # 0x27bf0
movq (%rsp), %rsi
testl %eax, %eax
jne 0x1759c
incq %rbx
cmpq %rbx, 0x10(%rsp)
jne 0x1742b
movq %r12, %rdi
movq 0x10(%rsp), %rdx
callq 0x18129
testl %eax, %eax
je 0x17482
movq %r12, 0x50(%rsp)
movl $0x1, %r13d
jmp 0x17485
xorl %r13d, %r13d
movq 0x20(%r12), %rdi
movq (%rsp), %rsi
movq 0x10(%rsp), %rdx
callq 0x18129
testl %eax, %eax
je 0x174ac
movq 0x20(%r12), %rax
movl %r13d, %ecx
incl %r13d
movq %rax, 0x50(%rsp,%rcx,8)
leaq 0x1073d(%rip), %rdx     # 0x27bf0
movslq (%r12), %rax
movl (%rdx,%rax,4), %eax
movslq 0x4(%r12), %rcx
movl (%rdx,%rcx,4), %r14d
cmpl %r14d, %eax
cmovgl %eax, %r14d
movl 0x22d140(%rip), %eax    # 0x244610
testl %eax, %eax
movq (%rsp), %rsi
jle 0x17566
xorl %r15d, %r15d
cmpl $0x5, (%rdx,%r15,4)
jne 0x17557
leaq 0x10503(%rip), %rax     # 0x279f0
movq (%rax,%r15,8), %rbx
movq %rbx, %rbp
cmpq %r12, %rbp
je 0x17548
movslq 0x4(%rbp), %rax
cmpl %r14d, (%rdx,%rax,4)
jl 0x17548
cmpq 0x20(%r12), %rbp
je 0x17548
movq %rbp, %rdi
movq 0x10(%rsp), %rdx
callq 0x18129
testl %eax, %eax
je 0x1753d
movslq 0x4(%rbp), %rax
leaq 0x106ca(%rip), %rdx     # 0x27bf0
cmpl %r14d, (%rdx,%rax,4)
movq (%rsp), %rsi
jg 0x1759c
movslq %r13d, %rax
incl %r13d
movq %rbp, 0x50(%rsp,%rax,8)
jmp 0x17548
movq (%rsp), %rsi
leaq 0x106a8(%rip), %rdx     # 0x27bf0
movq 0x18(%rbp), %rbp
cmpq %rbx, %rbp
jne 0x174f4
movl 0x22d0b9(%rip), %eax    # 0x244610
incq %r15
movslq %eax, %rcx
cmpq %rcx, %r15
jl 0x174df
testl %r13d, %r13d
jle 0x1759c
leaq 0x50(%rsp), %rdi
movl %r13d, %esi
leaq 0xc(%rsp), %rdx
leaq 0x8(%rsp), %rcx
callq 0x16f77
testl %eax, %eax
je 0x1759c
movl 0xc(%rsp), %edi
movl 0x8(%rsp), %esi
movq (%rsp), %rdx
movq 0x10(%rsp), %rcx
callq 0x17245
movq %r12, %rdi
callq 0x138d5
movq 0x48(%rsp), %rax
incq %rax
cmpq 0x40(%rsp), %rax
movq 0x38(%rsp), %rbx
jne 0x173b3
addq $0x2908, %rsp           # imm = 0x2908
popq %rbx
popq %r12
popq %r13
popq %r14
popq %r15
popq %rbp
retq