// File: /workspace/github_c_makefile_star2_O2/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
pushq %r14
pushq %rbx
subq $0x610, %rsp            # imm = 0x610
movl 0x1fdf7(%rip), %eax     # 0x241a8
testl %eax, %eax
jg 0x43c2
pushq $0x4
popq %rax
movl $0x4, 0x1fde6(%rip)     # 0x241a8
movl 0x1fcd8(%rip), %ecx     # 0x240a0
testl %ecx, %ecx
jg 0x43d9
pushq $0x3
popq %rcx
movl $0x3, 0x1fcc7(%rip)     # 0x240a0
movl 0x1fe81(%rip), %edx     # 0x24260
addl $-0x41, %edx
cmpl $-0x3c, %edx
jbe 0x454d
addl $-0x5, %ecx
cmpl $-0x3, %ecx
jbe 0x4584
cmpl $0x4, %eax
jne 0x45c6
cmpb $0x1, 0x1fc9d(%rip)     # 0x240a4
je 0x4605
cmpb $0x1, 0x1fd90(%rip)     # 0x241a4
je 0x462d
cmpl $0x0, 0x1fe2b(%rip)     # 0x2424c
jns 0x4655
cmpl $0x0, 0x1fe26(%rip)     # 0x24254
jns 0x467d
cmpb $0x1, 0x1fe01(%rip)     # 0x2423c
jne 0x445a
movabsq $0x73687061726720, %rax # imm = 0x73687061726720
movq %rax, 0x1fd97(%rip)     # 0x241e5
movabsq $0x7267206369627563, %rax # imm = 0x7267206369627563
jmp 0x4475
movabsq $0x736e6f6974616c, %rax # imm = 0x736E6F6974616C
movq %rax, 0x1fd7c(%rip)     # 0x241e7
movabsq $0x6c75676e61697274, %rax # imm = 0x6C75676E61697274
movq %rax, 0x1fd64(%rip)     # 0x241e0
callq 0x4ca5
movzbl 0x1fdac(%rip), %eax     # 0x24234
movl %eax, 0x21542(%rip)     # 0x259d0
movl 0x1fc0c(%rip), %eax     # 0x240a0
cmpl $0x4, %eax
jne 0x44a0
movb $0x1, 0x1fc08(%rip)     # 0x240a8
movl %eax, 0x1fdbe(%rip)     # 0x24264
movl 0x1fdb4(%rip), %edx     # 0x24260
xorl %eax, %eax
cmpl $0x14, %edx
setl %al
addl %edx, %eax
addl $-0x5, %eax
cmpl $0x11, %eax
pushq $0x11
popq %rsi
cmovll %eax, %esi
addl $-0x3, %edx
pushq $0x6
popq %rdi
callq 0x5017
movl 0x21501(%rip), %ebp     # 0x259d4
testl %ebp, %ebp
jne 0x44e0
cmpl $0x0, 0x1fd7a(%rip)     # 0x24258
jg 0x4541
callq 0xf2e6
leaq 0x216f4(%rip), %rdi     # 0x25be0
leaq 0xc(%rsp), %rbx
leaq 0x8(%rsp), %r14
movq %rbx, %rsi
movq %r14, %rdx
callq 0x52ed
movl (%rbx), %edi
movl (%r14), %esi
xorl %edx, %edx
cmpl $0x6, %ebp
sete %dl
cmpb $0x0, 0x1fb93(%rip)     # 0x240a8
jne 0x4532
cmpl $0x4, 0x1fb82(%rip)     # 0x240a0
je 0x4532
xorl %ecx, %ecx
addq $0x610, %rsp            # imm = 0x610
popq %rbx
popq %r14
popq %rbp
jmp 0xf629
leaq 0x10(%rsp), %r8
xorl %ecx, %ecx
xorl %r9d, %r9d
callq 0x1d629
addq $0x610, %rsp            # imm = 0x610
popq %rbx
popq %r14
popq %rbp
retq
movq 0x1faa4(%rip), %rbx     # 0x23ff8
movq (%rbx), %rdi
movq 0x1fb52(%rip), %rdx     # 0x240b0
leaq 0x19d50(%rip), %rsi     # 0x1e2b5
leaq 0x19e60(%rip), %rcx     # 0x1e3cc
xorl %eax, %eax
callq 0x1050
movq (%rbx), %rdi
leaq 0x19d58(%rip), %rsi     # 0x1e2d5
pushq $0x6
popq %rdx
pushq $0x40
jmp 0x45b9
movq 0x1fa6d(%rip), %rbx     # 0x23ff8
movq (%rbx), %rdi
movq 0x1fb1b(%rip), %rdx     # 0x240b0
leaq 0x19d19(%rip), %rsi     # 0x1e2b5
leaq 0x19d3a(%rip), %rcx     # 0x1e2dd
xorl %eax, %eax
callq 0x1050
movq (%rbx), %rdi
leaq 0x19d21(%rip), %rsi     # 0x1e2d5
pushq $0x3
popq %rdx
pushq $0x4
popq %rcx
xorl %eax, %eax
callq 0x1050
jmp 0x46aa
movq 0x1fa2b(%rip), %rbx     # 0x23ff8
movq (%rbx), %rdi
movq 0x1fad9(%rip), %rdx     # 0x240b0
leaq 0x19cd7(%rip), %rsi     # 0x1e2b5
leaq 0x19cfb(%rip), %rcx     # 0x1e2e0
xorl %eax, %eax
callq 0x1050
movq (%rbx), %rdi
leaq 0x19ee1(%rip), %rsi     # 0x1e4d7
pushq $0x4
popq %rdx
xorl %eax, %eax
callq 0x1050
jmp 0x46aa
movq 0x1f9ec(%rip), %rax     # 0x23ff8
movq (%rax), %rdi
movq 0x1fa9a(%rip), %rdx     # 0x240b0
leaq 0x19cc6(%rip), %rsi     # 0x1e2e3
leaq 0x1a0e7(%rip), %rcx     # 0x1e70b
leaq 0x19ce5(%rip), %r8      # 0x1e310
jmp 0x46a3
movq 0x1f9c4(%rip), %rax     # 0x23ff8
movq (%rax), %rdi
movq 0x1fa72(%rip), %rdx     # 0x240b0
leaq 0x19c9e(%rip), %rsi     # 0x1e2e3
leaq 0x1a0bf(%rip), %rcx     # 0x1e70b
leaq 0x19cba(%rip), %r8      # 0x1e30d
jmp 0x46a3
movq 0x1f99c(%rip), %rax     # 0x23ff8
movq (%rax), %rdi
movq 0x1fa4a(%rip), %rdx     # 0x240b0
leaq 0x19c76(%rip), %rsi     # 0x1e2e3
leaq 0x1a0a2(%rip), %rcx     # 0x1e716
leaq 0x19c9f(%rip), %r8      # 0x1e31a
jmp 0x46a3
movq 0x1f974(%rip), %rax     # 0x23ff8
movq (%rax), %rdi
movq 0x1fa22(%rip), %rdx     # 0x240b0
leaq 0x19c4e(%rip), %rsi     # 0x1e2e3
leaq 0x1a07a(%rip), %rcx     # 0x1e716
leaq 0x19cbc(%rip), %r8      # 0x1e35f
xorl %eax, %eax
callq 0x1050
pushq $0x1
popq %rdi
callq 0x10b0