// File: /workspace/github_c_makefile_star2_O0/mishun[P]plantri/plantri.c
// Function: min4_dispatch
static void
min4_dispatch(void)

/* Case of minimum degree >= 4, except for polygons and polytopes. */
{
    int startingsize,nbtot,nbop,hint;
    triangle nft[MAXN];

    if (minimumdeg <= 0) minimumdeg = 4;
    if (minconnec <= 0) minconnec = 3;
    startingsize = 6;

    CHECKRANGE(maxnv,"n",startingsize,MAXN);
    CHECKRANGE(minconnec,"-c",3,4);
    CHECKRANGE(minimumdeg,"-m",4,4);

    INCOMPAT(tswitch,"-m4 or -c4","-t");
    INCOMPAT(qswitch,"-m4 or -c4","-q");
    INCOMPAT(edgebound[0]>=0,"-m4 without -p","-e");
    INCOMPAT(maxfacesize>=0,"-m4 without -p","-f");
    
    if (dswitch) strcpy(outtypename,"cubic graphs");
    else         strcpy(outtypename,"triangulations");

    open_output_file();

    needgroup = Gswitch;
    if (minconnec == 4) xswitch = TRUE;

    xconnec = minconnec;

    hint = MIN(maxnv <= 19 ? maxnv-4 : maxnv-5, 17);
    initialize_splitting(startingsize,hint,maxnv-3);
    if (splitlevel == 0 && res > 0) return;

    initialize_min4();
    canon(degree,numbering,&nbtot,&nbop);
    
#ifdef FAST_FILTER_MIN4
    if (FAST_FILTER_MIN4)
#endif
    {
        if (xswitch || minconnec == 4)
	    scanmin4c(nbtot,nbop,splitlevel==6,NULL,nft,0);
        else
	    scanmin4(nbtot,nbop,splitlevel==6,NULL);
    }
}

// Assembly:
pushq %rbp
movq %rsp, %rbp
subq $0x620, %rsp            # imm = 0x620
cmpl $0x0, 0x36456(%rip)     # 0x3c1b8
jg 0x5d6e
movl $0x4, 0x3644a(%rip)     # 0x3c1b8
cmpl $0x0, 0x3633b(%rip)     # 0x3c0b0
jg 0x5d81
movl $0x3, 0x3632f(%rip)     # 0x3c0b0
movl $0x6, -0x4(%rbp)
movl 0x364f2(%rip), %eax     # 0x3c280
cmpl -0x4(%rbp), %eax
jl 0x5d9c
cmpl $0x40, 0x364e6(%rip)    # 0x3c280
jle 0x5e0f
movq 0x36255(%rip), %rax     # 0x3bff8
movq (%rax), %rdi
movq 0x36313(%rip), %rdx     # 0x3c0c0
leaq 0x3242e(%rip), %rsi     # 0x381e2
leaq 0x3253e(%rip), %rcx     # 0x382f9
movb $0x0, %al
callq 0x1060
cmpl $0x40, -0x4(%rbp)
jne 0x5de5
movq 0x36229(%rip), %rax     # 0x3bff8
movq (%rax), %rdi
movl -0x4(%rbp), %edx
leaq 0x328a5(%rip), %rsi     # 0x38681
movb $0x0, %al
callq 0x1060
jmp 0x5e05
movq 0x3620c(%rip), %rax     # 0x3bff8
movq (%rax), %rdi
movl -0x4(%rbp), %edx
leaq 0x32409(%rip), %rsi     # 0x38202
movl $0x40, %ecx
movb $0x0, %al
callq 0x1060
movl $0x1, %edi
callq 0x10c0
cmpl $0x3, 0x3629a(%rip)     # 0x3c0b0
jl 0x5e21
cmpl $0x4, 0x36291(%rip)     # 0x3c0b0
jle 0x5e73
movq 0x361d0(%rip), %rax     # 0x3bff8
movq (%rax), %rdi
movq 0x3628e(%rip), %rdx     # 0x3c0c0
leaq 0x323a9(%rip), %rsi     # 0x381e2
leaq 0x323ca(%rip), %rcx     # 0x3820a
movb $0x0, %al
callq 0x1060
movq 0x361aa(%rip), %rax     # 0x3bff8
movq (%rax), %rdi
leaq 0x323aa(%rip), %rsi     # 0x38202
movl $0x3, %edx
movl $0x4, %ecx
movb $0x0, %al
callq 0x1060
movl $0x1, %edi
callq 0x10c0
cmpl $0x4, 0x3633e(%rip)     # 0x3c1b8
jl 0x5e85
cmpl $0x4, 0x36335(%rip)     # 0x3c1b8
jle 0x5ed2
movq 0x3616c(%rip), %rax     # 0x3bff8
movq (%rax), %rdi
movq 0x3622a(%rip), %rdx     # 0x3c0c0
leaq 0x32345(%rip), %rsi     # 0x381e2
leaq 0x32369(%rip), %rcx     # 0x3820d
movb $0x0, %al
callq 0x1060
movq 0x36146(%rip), %rax     # 0x3bff8
movq (%rax), %rdi
leaq 0x327c5(%rip), %rsi     # 0x38681
movl $0x4, %edx
movb $0x0, %al
callq 0x1060
movl $0x1, %edi
callq 0x10c0
cmpl $0x0, 0x361db(%rip)     # 0x3c0b4
je 0x5f12
movq 0x36116(%rip), %rax     # 0x3bff8
movq (%rax), %rdi
movq 0x361d4(%rip), %rdx     # 0x3c0c0
leaq 0x3231d(%rip), %rsi     # 0x38210
leaq 0x32740(%rip), %rcx     # 0x3863a
leaq 0x3233c(%rip), %r8      # 0x3823d
movb $0x0, %al
callq 0x1060
movl $0x1, %edi
callq 0x10c0
cmpl $0x0, 0x3629b(%rip)     # 0x3c1b4
je 0x5f52
movq 0x360d6(%rip), %rax     # 0x3bff8
movq (%rax), %rdi
movq 0x36194(%rip), %rdx     # 0x3c0c0
leaq 0x322dd(%rip), %rsi     # 0x38210
leaq 0x32700(%rip), %rcx     # 0x3863a
leaq 0x322f9(%rip), %r8      # 0x3823a
movb $0x0, %al
callq 0x1060
movl $0x1, %edi
callq 0x10c0
cmpl $0x0, 0x36313(%rip)     # 0x3c26c
jl 0x5f92
movq 0x36096(%rip), %rax     # 0x3bff8
movq (%rax), %rdi
movq 0x36154(%rip), %rdx     # 0x3c0c0
leaq 0x3229d(%rip), %rsi     # 0x38210
leaq 0x326cb(%rip), %rcx     # 0x38645
leaq 0x322c6(%rip), %r8      # 0x38247
movb $0x0, %al
callq 0x1060
movl $0x1, %edi
callq 0x10c0
cmpl $0x0, 0x362db(%rip)     # 0x3c274
jl 0x5fd2
movq 0x36056(%rip), %rax     # 0x3bff8
movq (%rax), %rdi
movq 0x36114(%rip), %rdx     # 0x3c0c0
leaq 0x3225d(%rip), %rsi     # 0x38210
leaq 0x3268b(%rip), %rcx     # 0x38645
leaq 0x322cb(%rip), %r8      # 0x3828c
movb $0x0, %al
callq 0x1060
movl $0x1, %edi
callq 0x10c0
cmpl $0x0, 0x36283(%rip)     # 0x3c25c
je 0x5ff0
leaq 0x3621e(%rip), %rdi     # 0x3c200
leaq 0x3259d(%rip), %rsi     # 0x38586
callq 0x1030
jmp 0x6003
leaq 0x36209(%rip), %rdi     # 0x3c200
leaq 0x32554(%rip), %rsi     # 0x38552
callq 0x1030
callq 0x6af0
movl 0x36246(%rip), %eax     # 0x3c254
movl %eax, 0x379dc(%rip)     # 0x3d9f0
cmpl $0x4, 0x36095(%rip)     # 0x3c0b0
jne 0x6027
movl $0x1, 0x36091(%rip)     # 0x3c0b8
movl 0x36083(%rip), %eax     # 0x3c0b0
movl %eax, 0x36251(%rip)     # 0x3c284
cmpl $0x13, 0x36246(%rip)    # 0x3c280
jg 0x604d
movl 0x3623e(%rip), %eax     # 0x3c280
subl $0x4, %eax
movl %eax, -0x614(%rbp)
jmp 0x605c
movl 0x3622d(%rip), %eax     # 0x3c280
subl $0x5, %eax
movl %eax, -0x614(%rbp)
movl -0x614(%rbp), %eax
cmpl $0x11, %eax
jle 0x6074
movl $0x11, %eax
movl %eax, -0x618(%rbp)
jmp 0x60a9
cmpl $0x13, 0x36205(%rip)    # 0x3c280
jg 0x608e
movl 0x361fd(%rip), %eax     # 0x3c280
subl $0x4, %eax
movl %eax, -0x61c(%rbp)
jmp 0x609d
movl 0x361ec(%rip), %eax     # 0x3c280
subl $0x5, %eax
movl %eax, -0x61c(%rbp)
movl -0x61c(%rbp), %eax
movl %eax, -0x618(%rbp)
movl -0x618(%rbp), %eax
movl %eax, -0x10(%rbp)
movl -0x4(%rbp), %edi
movl -0x10(%rbp), %esi
movl 0x361c2(%rip), %edx     # 0x3c280
subl $0x3, %edx
callq 0x6f50
cmpl $0x0, 0x37927(%rip)     # 0x3d9f4
jne 0x60da
cmpl $0x0, 0x361a2(%rip)     # 0x3c278
jle 0x60da
jmp 0x6154
callq 0x19500
leaq 0x37b1a(%rip), %rdi     # 0x3dc00
leaq 0x37c13(%rip), %rsi     # 0x3dd00
leaq -0x8(%rbp), %rdx
leaq -0xc(%rbp), %rcx
callq 0x7410
cmpl $0x0, 0x35fb7(%rip)     # 0x3c0b8
jne 0x610c
cmpl $0x4, 0x35fa6(%rip)     # 0x3c0b0
jne 0x6136
movl -0x8(%rbp), %edi
movl -0xc(%rbp), %esi
cmpl $0x6, 0x378db(%rip)     # 0x3d9f4
sete %al
andb $0x1, %al
movzbl %al, %edx
leaq -0x610(%rbp), %r8
xorl %eax, %eax
movl %eax, %ecx
xorl %r9d, %r9d
callq 0x36360
jmp 0x6154
movl -0x8(%rbp), %edi
movl -0xc(%rbp), %esi
cmpl $0x6, 0x378b1(%rip)     # 0x3d9f4
sete %al
andb $0x1, %al
movzbl %al, %edx
xorl %eax, %eax
movl %eax, %ecx
callq 0x19be0
addq $0x620, %rsp            # imm = 0x620
popq %rbp
retq
nopl (%rax)