// File: /workspace/github_c_makefile_star2_O2/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 0x28(%rsp), %rax
leaq 0x11c0(%rsp), %r10
leaq 0x1d60(%rsp), %r11
leaq 0x2c(%rsp), %r14
xorl %ebx, %ebx
leaq 0xbf0(%rsp), %r9
xorl %esi, %esi
xorl %edx, %edx
movq %rcx, 0x10(%rsp)
movl %r8d, 0xc(%rsp)
pushq %rax
pushq %r10
pushq %r11
pushq %r14
callq 0x14f06
addq $0x20, %rsp
movl 0x22c976(%rip), %eax    # 0x242600
cmpl 0xe5d0(%rip), %eax      # 0x24260
jne 0x15ccb
cmpb $0x1, 0xe4ff(%rip)      # 0x24198
jne 0x15ca7
movl %ebp, %edi
movl %r15d, %esi
callq 0x111f3
jmp 0x15cb4
pushq $0x4
popq %rdx
movl %ebp, %edi
movl %r15d, %esi
callq 0x658a
cmpl $0x6, 0xc(%rsp)
jl 0x15ccb
cmpl $0x3, 0xe3de(%rip)      # 0x240a0
jg 0x15ccb
movl %ebp, %edi
callq 0x1637c
movl 0x2c(%rsp), %r14d
testl %r14d, %r14d
cmovlel %ebx, %r14d
leaq 0x50(%rsp), %r12
movq 0x10(%rsp), %r13
cmpq %rbx, %r14
je 0x15d70
movq 0xbf0(%rsp,%rbx,8), %rbp
movq %rbp, %rdi
callq 0x15561
movl 0xc(%rsp), %eax
movl %eax, 0x20(%rsp)
movq %rbp, %rdi
movq %r13, %rsi
leaq 0x20(%rsp), %rdx
callq 0x15600
movl 0x20(%rsp), %r15d
movq %rbp, %rdi
movq %r13, %rsi
movl %r15d, %edx
movq %r12, %rcx
leaq 0x24(%rsp), %r8
callq 0x157c9
movl 0x24(%rsp), %esi
testl %esi, %esi
jle 0x15d60
movq %r12, %rdi
leaq 0x1c(%rsp), %rdx
leaq 0x18(%rsp), %rcx
callq 0x15978
testl %eax, %eax
je 0x15d60
movl 0x1c(%rsp), %edi
movl 0x18(%rsp), %esi
movq 0x10(%rsp), %rdx
movl %r15d, %ecx
callq 0x15c26
movq %rbp, %rdi
callq 0x15fb3
incq %rbx
jmp 0x15ce1
movl 0x28(%rsp), %eax
movl 0xc(%rsp), %r13d
movslq %r13d, %rbx
addl $0x2, %r13d
xorl %ecx, %ecx
testl %r13d, %r13d
movl $0x0, %edx
movl %r13d, 0xc(%rsp)
cmovgl %r13d, %edx
movq %rdx, 0x48(%rsp)
testl %eax, %eax
cmovlel %ecx, %eax
movq %rax, 0x38(%rsp)
movq %rbx, 0x30(%rsp)
cmpq 0x38(%rsp), %rcx
je 0x15fa1
movq 0x1d60(%rsp,%rcx,8), %rdi
movq %rcx, 0x40(%rsp)
movq 0x11c0(%rsp,%rcx,8), %rsi
callq 0x11c72
movq %rax, %rbp
movl 0x22c82b(%rip), %eax    # 0x242600
decl %eax
cmpl %eax, (%rbp)
jne 0x15df2
movq 0x18(%rbp), %rax
movq 0x28(%rax), %rax
movq 0x10(%rsp), %rsi
movq %rax, (%rsi,%rbx,8)
movq %rbp, %rax
jmp 0x15e0b
movq 0x20(%rbp), %rax
movq 0x18(%rax), %rax
movq 0x28(%rax), %rax
movq 0x10(%rsp), %rsi
movq %rax, (%rsi,%rbx,8)
movq 0x20(%rbp), %rax
leaq 0xfdce(%rip), %rcx      # 0x25be0
movq 0x10(%rax), %rax
movq 0x28(%rax), %rax
movq %rax, 0x8(%rsi,%rbx,8)
xorl %ebx, %ebx
cmpq %rbx, 0x48(%rsp)
je 0x15e5d
movq (%rsi,%rbx,8), %rdi
movslq (%rdi), %rax
cmpl $0x6, (%rcx,%rax,4)
jl 0x15e58
movslq 0x4(%rdi), %rax
cmpl $0x6, (%rcx,%rax,4)
jl 0x15e58
callq 0x1621a
leaq 0xfd95(%rip), %rcx      # 0x25be0
movq 0x10(%rsp), %rsi
testl %eax, %eax
jne 0x15f87
incq %rbx
jmp 0x15e21
movq %rbp, %rdi
movl 0xc(%rsp), %edx
callq 0x16a86
testl %eax, %eax
je 0x15e78
movq %rbp, 0x50(%rsp)
pushq $0x1
popq %r15
jmp 0x15e7b
xorl %r15d, %r15d
movq 0x20(%rbp), %rdi
movq 0x10(%rsp), %rsi
movl 0xc(%rsp), %edx
callq 0x16a86
testl %eax, %eax
je 0x15ea0
movq 0x20(%rbp), %rax
movl %r15d, %ecx
incl %r15d
movq %rax, 0x50(%rsp,%rcx,8)
movslq (%rbp), %rax
leaq 0xfd35(%rip), %rdx      # 0x25be0
movl (%rdx,%rax,4), %eax
movslq 0x4(%rbp), %rcx
movl (%rdx,%rcx,4), %r13d
movq %rdx, %rcx
cmpl %r13d, %eax
cmovgl %eax, %r13d
xorl %r14d, %r14d
movq 0x10(%rsp), %rsi
movslq 0x22c731(%rip), %rax    # 0x242600
cmpq %rax, %r14
jge 0x15f51
cmpl $0x5, (%rcx,%r14,4)
jne 0x15f49
leaq 0xfafe(%rip), %rax      # 0x259e0
movq (%rax,%r14,8), %rbx
movq %rbx, %r12
cmpq %rbp, %r12
je 0x15f3f
movslq 0x4(%r12), %rax
cmpl %r13d, (%rcx,%rax,4)
jl 0x15f3f
cmpq 0x20(%rbp), %r12
je 0x15f3f
movq %r12, %rdi
movl 0xc(%rsp), %edx
callq 0x16a86
testl %eax, %eax
je 0x15f33
movslq 0x4(%r12), %rax
leaq 0xfcc5(%rip), %rcx      # 0x25be0
cmpl %r13d, (%rcx,%rax,4)
movq 0x10(%rsp), %rsi
jg 0x15f87
movslq %r15d, %rax
incl %r15d
movq %r12, 0x50(%rsp,%rax,8)
jmp 0x15f3f
movq 0x10(%rsp), %rsi
leaq 0xfca1(%rip), %rcx      # 0x25be0
movq 0x18(%r12), %r12
cmpq %rbx, %r12
jne 0x15ee9
incq %r14
jmp 0x15ec8
testl %r15d, %r15d
jle 0x15f87
leaq 0x50(%rsp), %rdi
movl %r15d, %esi
leaq 0x1c(%rsp), %rdx
leaq 0x18(%rsp), %rcx
callq 0x15978
testl %eax, %eax
je 0x15f87
movl 0x1c(%rsp), %edi
movl 0x18(%rsp), %esi
movq 0x10(%rsp), %rdx
movl 0xc(%rsp), %ecx
callq 0x15c26
movq %rbp, %rdi
callq 0x1248d
movq 0x40(%rsp), %rcx
incq %rcx
movq 0x30(%rsp), %rbx
jmp 0x15da7
addq $0x2908, %rsp           # imm = 0x2908
popq %rbx
popq %r12
popq %r13
popq %r14
popq %r15
popq %rbp
retq