// File: /workspace/github_c_makefile_star2_O0/mishun[P]plantri/plantri.c
// Function: got_one
static void
got_one(int nbtot, int nbop, int connec)

/* This is called when a complete output graph is formed.  The main 
   purpose is to write the graph and to collect some stats. */
{
    int doflip,wt;
#ifdef STATS
    int numroot;
#ifdef STATS2
    int num2,i;
#endif
#endif

    if (xswitch && connec != xconnec) return;

    doflip = oswitch && (nbop == nbtot || nbop == 0);
    wt = doflip ? 2 : 1;

    if (Vswitch)
    {
	if (nbtot == 1 || (oswitch && nbop == 1))
	{
	    ADDBIG(nout_V,wt);
	    return;
	}
    }

#ifdef FILTER
    if (!FILTER(nbtot,nbop,doflip)) return;
#endif

    ADDBIG(nout[connec],1);
    if (oswitch) ADDBIG(nout_op[connec],wt);

    if (pswitch)
    {
	if (oswitch) ADDBIG(nout_e_op[ne/2],wt);
	ADDBIG(nout_e[ne/2],1);
    }

    if (polygonsize == 0)
    {
	if (oswitch) ADDBIG(nout_p_op[outside_face_size],wt);
	ADDBIG(nout_p[outside_face_size],1);
    }

#ifdef STATS
    if (polygonsize < 0)
    {
	numroot = wt * numedgeorbits(nbtot,nbop);
	ADDBIG(numrooted,numroot);
	if (pswitch) ADDBIG(numrooted_e[ne/2],numroot);
        if (degree[nv-1] < 6) ADDBIG(nummindeg[degree[nv-1]],wt);
    }
    else
    {
        numroot = wt * numorbitsonface(nbtot,nbop,code_edge);
        ADDBIG(numrooted,numroot);
        ADDBIG(numbigface[degree[missing_vertex]],numroot);
    }
    if (needgroup && nbtot == 1) ADDBIG(ntriv,wt);
#ifdef STATS2
    num2 = 0;
    for (i = 0; i < nv; ++i) if (degree[i] == 2) ++num2;
    ADDBIG(numtwos[num2],wt);
#endif
#endif

    if (!uswitch)
    {
	gotone_nbop = nbop;
	gotone_nbtot = nbtot;
        if (dswitch) (*write_dual_graph)(outfile,doflip);
        else         (*write_graph)(outfile,doflip);
    }
}

// Assembly:
pushq %rbp
movq %rsp, %rbp
subq $0x20, %rsp
movl %edi, -0x4(%rbp)
movl %esi, -0x8(%rbp)
movl %edx, -0xc(%rbp)
cmpl $0x0, 0x34020(%rip)     # 0x3c0b8
je 0x80aa
movl -0xc(%rbp), %eax
cmpl 0x341e1(%rip), %eax     # 0x3c284
je 0x80aa
jmp 0x84a7
xorl %eax, %eax
cmpl $0x0, 0x3412d(%rip)     # 0x3c1e0
movb %al, -0x15(%rbp)
je 0x80d5
movl -0x8(%rbp), %ecx
movb $0x1, %al
cmpl -0x4(%rbp), %ecx
movb %al, -0x16(%rbp)
je 0x80cf
cmpl $0x0, -0x8(%rbp)
sete %al
movb %al, -0x16(%rbp)
movb -0x16(%rbp), %al
movb %al, -0x15(%rbp)
movb -0x15(%rbp), %al
andb $0x1, %al
movzbl %al, %eax
movl %eax, -0x10(%rbp)
movl -0x10(%rbp), %edx
movl $0x1, %eax
movl $0x2, %ecx
cmpl $0x0, %edx
cmovnel %ecx, %eax
movl %eax, -0x14(%rbp)
cmpl $0x0, 0x34143(%rip)     # 0x3c240
je 0x815b
cmpl $0x1, -0x4(%rbp)
je 0x8114
cmpl $0x0, 0x340d4(%rip)     # 0x3c1e0
je 0x8159
cmpl $0x1, -0x8(%rbp)
jne 0x8159
movslq -0x14(%rbp), %rax
addq 0x34079(%rip), %rax     # 0x3c198
movq %rax, 0x34072(%rip)     # 0x3c198
cmpq $0x3b9aca00, %rax       # imm = 0x3B9ACA00
jl 0x8154
movq 0x3405b(%rip), %rax     # 0x3c190
addq $0x1, %rax
movq %rax, 0x34050(%rip)     # 0x3c190
movq 0x34051(%rip), %rax     # 0x3c198
subq $0x3b9aca00, %rax       # imm = 0x3B9ACA00
movq %rax, 0x34044(%rip)     # 0x3c198
jmp 0x84a7
jmp 0x815b
movslq -0xc(%rbp), %rax
leaq 0x33f6a(%rip), %rcx     # 0x3c0d0
shlq $0x4, %rax
addq %rax, %rcx
movq 0x8(%rcx), %rax
addq $0x1, %rax
movq %rax, 0x8(%rcx)
cmpq $0x3b9aca00, %rax       # imm = 0x3B9ACA00
jl 0x81be
movslq -0xc(%rbp), %rcx
leaq 0x33f44(%rip), %rax     # 0x3c0d0
shlq $0x4, %rcx
addq %rcx, %rax
movq (%rax), %rcx
addq $0x1, %rcx
movq %rcx, (%rax)
movslq -0xc(%rbp), %rcx
leaq 0x33f28(%rip), %rax     # 0x3c0d0
shlq $0x4, %rcx
addq %rcx, %rax
movq 0x8(%rax), %rcx
subq $0x3b9aca00, %rcx       # imm = 0x3B9ACA00
movq %rcx, 0x8(%rax)
cmpl $0x0, 0x3401b(%rip)     # 0x3c1e0
je 0x822c
movslq -0x14(%rbp), %rax
movslq -0xc(%rbp), %rdx
leaq 0x33f5a(%rip), %rcx     # 0x3c130
shlq $0x4, %rdx
addq %rdx, %rcx
addq 0x8(%rcx), %rax
movq %rax, 0x8(%rcx)
cmpq $0x3b9aca00, %rax       # imm = 0x3B9ACA00
jl 0x822a
movslq -0xc(%rbp), %rcx
leaq 0x33f38(%rip), %rax     # 0x3c130
shlq $0x4, %rcx
addq %rcx, %rax
movq (%rax), %rcx
addq $0x1, %rcx
movq %rcx, (%rax)
movslq -0xc(%rbp), %rcx
leaq 0x33f1c(%rip), %rax     # 0x3c130
shlq $0x4, %rcx
addq %rcx, %rax
movq 0x8(%rax), %rcx
subq $0x3b9aca00, %rcx       # imm = 0x3B9ACA00
movq %rcx, 0x8(%rax)
jmp 0x822c
cmpl $0x0, 0x33f75(%rip)     # 0x3c1a8
je 0x8367
cmpl $0x0, 0x33fa0(%rip)     # 0x3c1e0
je 0x82dc
movslq -0x14(%rbp), %rax
movq %rax, -0x20(%rbp)
movl 0x2523d0(%rip), %eax    # 0x25a624
movl $0x2, %ecx
cltd
idivl %ecx
movl %eax, %ecx
movq -0x20(%rbp), %rax
movslq %ecx, %rdx
leaq 0x34bd4(%rip), %rcx     # 0x3ce40
shlq $0x4, %rdx
addq %rdx, %rcx
addq 0x8(%rcx), %rax
movq %rax, 0x8(%rcx)
cmpq $0x3b9aca00, %rax       # imm = 0x3B9ACA00
jl 0x82da
movl 0x25239b(%rip), %eax    # 0x25a624
movl $0x2, %ecx
cltd
idivl %ecx
movslq %eax, %rcx
leaq 0x34ba5(%rip), %rax     # 0x3ce40
shlq $0x4, %rcx
addq %rcx, %rax
movq (%rax), %rcx
addq $0x1, %rcx
movq %rcx, (%rax)
movl 0x252372(%rip), %eax    # 0x25a624
movl $0x2, %ecx
cltd
idivl %ecx
movslq %eax, %rcx
leaq 0x34b7c(%rip), %rax     # 0x3ce40
shlq $0x4, %rcx
addq %rcx, %rax
movq 0x8(%rax), %rcx
subq $0x3b9aca00, %rcx       # imm = 0x3B9ACA00
movq %rcx, 0x8(%rax)
jmp 0x82dc
movl 0x252342(%rip), %eax    # 0x25a624
movl $0x2, %ecx
cltd
idivl %ecx
cltq
leaq 0x33f9d(%rip), %rcx     # 0x3c290
shlq $0x4, %rax
addq %rax, %rcx
movq 0x8(%rcx), %rax
addq $0x1, %rax
movq %rax, 0x8(%rcx)
cmpq $0x3b9aca00, %rax       # imm = 0x3B9ACA00
jl 0x8365
movl 0x252310(%rip), %eax    # 0x25a624
movl $0x2, %ecx
cltd
idivl %ecx
movslq %eax, %rcx
leaq 0x33f6a(%rip), %rax     # 0x3c290
shlq $0x4, %rcx
addq %rcx, %rax
movq (%rax), %rcx
addq $0x1, %rcx
movq %rcx, (%rax)
movl 0x2522e7(%rip), %eax    # 0x25a624
movl $0x2, %ecx
cltd
idivl %ecx
movslq %eax, %rcx
leaq 0x33f41(%rip), %rax     # 0x3c290
shlq $0x4, %rcx
addq %rcx, %rax
movq 0x8(%rax), %rcx
subq $0x3b9aca00, %rcx       # imm = 0x3B9ACA00
movq %rcx, 0x8(%rax)
jmp 0x8367
cmpl $0x0, 0x33e42(%rip)     # 0x3c1b0
jne 0x8459
cmpl $0x0, 0x33e65(%rip)     # 0x3c1e0
je 0x83eb
movslq -0x14(%rbp), %rax
movslq 0x2a1ad8(%rip), %rdx    # 0x2a9e60
leaq 0x2a16c1(%rip), %rcx    # 0x2a9a50
shlq $0x4, %rdx
addq %rdx, %rcx
addq 0x8(%rcx), %rax
movq %rax, 0x8(%rcx)
cmpq $0x3b9aca00, %rax       # imm = 0x3B9ACA00
jl 0x83e9
movslq 0x2a1ab3(%rip), %rcx    # 0x2a9e60
leaq 0x2a169c(%rip), %rax    # 0x2a9a50
shlq $0x4, %rcx
addq %rcx, %rax
movq (%rax), %rcx
addq $0x1, %rcx
movq %rcx, (%rax)
movslq 0x2a1a94(%rip), %rcx    # 0x2a9e60
leaq 0x2a167d(%rip), %rax    # 0x2a9a50
shlq $0x4, %rcx
addq %rcx, %rax
movq 0x8(%rax), %rcx
subq $0x3b9aca00, %rcx       # imm = 0x3B9ACA00
movq %rcx, 0x8(%rax)
jmp 0x83eb
movslq 0x2a1a6e(%rip), %rax    # 0x2a9e60
leaq 0x2a1a77(%rip), %rcx    # 0x2a9e70
shlq $0x4, %rax
addq %rax, %rcx
movq 0x8(%rcx), %rax
addq $0x1, %rax
movq %rax, 0x8(%rcx)
cmpq $0x3b9aca00, %rax       # imm = 0x3B9ACA00
jl 0x8457
movslq 0x2a1a45(%rip), %rcx    # 0x2a9e60
leaq 0x2a1a4e(%rip), %rax    # 0x2a9e70
shlq $0x4, %rcx
addq %rcx, %rax
movq (%rax), %rcx
addq $0x1, %rcx
movq %rcx, (%rax)
movslq 0x2a1a26(%rip), %rcx    # 0x2a9e60
leaq 0x2a1a2f(%rip), %rax    # 0x2a9e70
shlq $0x4, %rcx
addq %rcx, %rax
movq 0x8(%rax), %rcx
subq $0x3b9aca00, %rcx       # imm = 0x3B9ACA00
movq %rcx, 0x8(%rax)
jmp 0x8459
cmpl $0x0, 0x33dd4(%rip)     # 0x3c234
jne 0x84a7
movl -0x8(%rbp), %eax
movl %eax, 0x2521ad(%rip)    # 0x25a618
movl -0x4(%rbp), %eax
movl %eax, 0x2521a8(%rip)    # 0x25a61c
cmpl $0x0, 0x33de1(%rip)     # 0x3c25c
je 0x8492
movq 0x252184(%rip), %rax    # 0x25a608
movq 0x252175(%rip), %rdi    # 0x25a600
movl -0x10(%rbp), %esi
callq *%rax
jmp 0x84a5
movq 0x252177(%rip), %rax    # 0x25a610
movq 0x252160(%rip), %rdi    # 0x25a600
movl -0x10(%rbp), %esi
callq *%rax
jmp 0x84a7
addq $0x20, %rsp
popq %rbp
retq
nopl (%rax)