// File: /workspace/github_c_makefile_star2_O0/mohuangrui[P]ArtraCFD/case_loader.c
// Function: CheckCaseSettingData
static void CheckCaseSettingData(const Time *time, const Space *space, const Model *model)
{
    const Partition *const part = &(space->part);
    const Real zero = 0.0;
    /* space */
    if ((zero >= (part->domain[X][MAX] - part->domain[X][MIN])) ||
            (zero >= (part->domain[Y][MAX] - part->domain[Y][MIN])) ||
            (zero >= (part->domain[Z][MAX] - part->domain[Z][MIN]))) {
        ShowError("domain region should have max > min");
    }
    if ((1 > part->m[X]) || (1 > part->m[Y]) || (1 > part->m[Z])) {
        ShowError("mesh number should be positive");
    }
    if ((1 > part->proc[X]) || (1 > part->proc[Y]) || (1 > part->proc[Z])) {
        ShowError("processor number should be positive");
    }
    /* time */
    if ((0 > time->restart) || (zero >= time->end) || (zero >= time->numCFL)) {
        ShowError("values in time section should not be negative");
    }
    /* numerical method */
    if ((0 > model->tScheme) || (0 > model->sScheme) || (0 > model->multidim) ||
            (0 > model->jacobMean) || (0 > model->fluxSplit) || (0 > model->psi)) {
        ShowError("values in numerical section should not be negative");
    }
    /* material */
    if ((0 > model->mid)) {
        ShowError("material type should not be negative");
    }
    /* reference */
    if ((zero >= model->refL) || (zero >= model->refRho) ||
            (zero >= model->refV) || (zero >= model->refT)) {
        ShowError("reference values should be positive");
    }
    return;
}

// Assembly:
pushq %rbp
movq %rsp, %rbp
subq $0x30, %rsp
movq %rdi, -0x8(%rbp)
movq %rsi, -0x10(%rbp)
movq %rdx, -0x18(%rbp)
movq -0x10(%rbp), %rax
addq $0x28, %rax
movq %rax, -0x20(%rbp)
xorps %xmm0, %xmm0
movsd %xmm0, -0x28(%rbp)
movq -0x20(%rbp), %rax
movsd 0x3d0(%rax), %xmm1
movq -0x20(%rbp), %rax
subsd 0x3c8(%rax), %xmm1
xorps %xmm0, %xmm0
ucomisd %xmm1, %xmm0
jae 0x7e8b
movq -0x20(%rbp), %rax
movsd 0x3e0(%rax), %xmm1
movq -0x20(%rbp), %rax
subsd 0x3d8(%rax), %xmm1
xorps %xmm0, %xmm0
ucomisd %xmm1, %xmm0
jae 0x7e8b
movq -0x20(%rbp), %rax
movsd 0x3f0(%rax), %xmm1
movq -0x20(%rbp), %rax
subsd 0x3e8(%rax), %xmm1
xorps %xmm0, %xmm0
ucomisd %xmm1, %xmm0
jb 0x7e99
leaq 0x1f765(%rip), %rdi     # 0x275f7
movb $0x0, %al
callq 0xbbd0
movq -0x20(%rbp), %rcx
movl $0x1, %eax
cmpl (%rcx), %eax
jg 0x7ec2
movq -0x20(%rbp), %rcx
movl $0x1, %eax
cmpl 0x4(%rcx), %eax
jg 0x7ec2
movq -0x20(%rbp), %rcx
movl $0x1, %eax
cmpl 0x8(%rcx), %eax
jle 0x7ed0
leaq 0x1f752(%rip), %rdi     # 0x2761b
movb $0x0, %al
callq 0xbbd0
movq -0x20(%rbp), %rcx
movl $0x1, %eax
cmpl 0x3f8(%rcx), %eax
jg 0x7f03
movq -0x20(%rbp), %rcx
movl $0x1, %eax
cmpl 0x3fc(%rcx), %eax
jg 0x7f03
movq -0x20(%rbp), %rcx
movl $0x1, %eax
cmpl 0x400(%rcx), %eax
jle 0x7f11
leaq 0x1f730(%rip), %rdi     # 0x2763a
movb $0x0, %al
callq 0xbbd0
movq -0x8(%rbp), %rcx
xorl %eax, %eax
cmpl (%rcx), %eax
jg 0x7f37
movq -0x8(%rbp), %rax
xorps %xmm0, %xmm0
ucomisd 0x40(%rax), %xmm0
jae 0x7f37
movq -0x8(%rbp), %rax
xorps %xmm0, %xmm0
ucomisd 0x50(%rax), %xmm0
jb 0x7f45
leaq 0x1f720(%rip), %rdi     # 0x2765e
movb $0x0, %al
callq 0xbbd0
movq -0x18(%rbp), %rcx
xorl %eax, %eax
cmpl (%rcx), %eax
jg 0x7f86
movq -0x18(%rbp), %rcx
xorl %eax, %eax
cmpl 0x4(%rcx), %eax
jg 0x7f86
movq -0x18(%rbp), %rcx
xorl %eax, %eax
cmpl 0x10(%rcx), %eax
jg 0x7f86
movq -0x18(%rbp), %rcx
xorl %eax, %eax
cmpl 0x14(%rcx), %eax
jg 0x7f86
movq -0x18(%rbp), %rcx
xorl %eax, %eax
cmpl 0x18(%rcx), %eax
jg 0x7f86
movq -0x18(%rbp), %rcx
xorl %eax, %eax
cmpl 0x1c(%rcx), %eax
jle 0x7f94
leaq 0x1f6ff(%rip), %rdi     # 0x2768c
movb $0x0, %al
callq 0xbbd0
movq -0x18(%rbp), %rcx
xorl %eax, %eax
cmpl 0x24(%rcx), %eax
jle 0x7fad
leaq 0x1f719(%rip), %rdi     # 0x276bf
movb $0x0, %al
callq 0xbbd0
movq -0x18(%rbp), %rax
xorps %xmm0, %xmm0
ucomisd 0x58(%rax), %xmm0
jae 0x7fe5
movq -0x18(%rbp), %rax
xorps %xmm0, %xmm0
ucomisd 0x60(%rax), %xmm0
jae 0x7fe5
movq -0x18(%rbp), %rax
xorps %xmm0, %xmm0
ucomisd 0x68(%rax), %xmm0
jae 0x7fe5
movq -0x18(%rbp), %rax
xorps %xmm0, %xmm0
ucomisd 0x70(%rax), %xmm0
jb 0x7ff3
leaq 0x1f6f8(%rip), %rdi     # 0x276e4
movb $0x0, %al
callq 0xbbd0
addq $0x30, %rsp
popq %rbp
retq
nopl (%rax)