// File: /workspace/github_cpp_makefile_star2_O2/AndreRenaud[P]simple_uart/./acutest.h
// Function: acutest_check_
acutest_check_(int cond, const char* file, int line, const char* fmt, ...)
{
    const char *result_str;
    int result_color;
    int verbose_level;

    if(acutest_test_skip_count_) {
        /* We've skipped the test. We shouldn't be here: The test implementation
         * should have already return before. So lets suppress the following
         * output. */
        cond = 1;
        goto skip_check;
    }

    if(cond) {
        result_str = "ok";
        result_color = ACUTEST_COLOR_GREEN_;
        verbose_level = 3;
    } else {
        if(!acutest_test_already_logged_  &&  acutest_current_test_ != NULL)
            acutest_finish_test_line_(ACUTEST_STATE_FAILED);

        acutest_test_failures_++;
        acutest_test_already_logged_++;

        result_str = "failed";
        result_color = ACUTEST_COLOR_RED_;
        verbose_level = 2;
    }

    if(acutest_verbose_level_ >= verbose_level) {
        va_list args;

        if(!acutest_case_already_logged_  &&  acutest_case_name_[0]) {
            acutest_line_indent_(1);
            acutest_colored_printf_(ACUTEST_COLOR_DEFAULT_INTENSIVE_, "Case %s:\n", acutest_case_name_);
            acutest_test_already_logged_++;
            acutest_case_already_logged_++;
        }

        acutest_line_indent_(acutest_case_name_[0] ? 2 : 1);
        if(file != NULL) {
            file = acutest_basename_(file);
            printf("%s:%d: ", file, line);
        }

        va_start(args, fmt);
        vprintf(fmt, args);
        va_end(args);

        printf("... ");
        acutest_colored_printf_(result_color, "%s", result_str);
        printf("\n");
        acutest_test_already_logged_++;
    }

    acutest_test_check_count_++;

skip_check:
    acutest_cond_failed_ = (cond == 0);
    return !acutest_cond_failed_;
}

// Assembly:
pushq %rbp
pushq %r15
pushq %r14
pushq %r13
pushq %r12
pushq %rbx
subq $0xd8, %rsp
testb %al, %al
je 0x26e6
movaps %xmm0, 0x50(%rsp)
movaps %xmm1, 0x60(%rsp)
movaps %xmm2, 0x70(%rsp)
movaps %xmm3, 0x80(%rsp)
movaps %xmm4, 0x90(%rsp)
movaps %xmm5, 0xa0(%rsp)
movaps %xmm6, 0xb0(%rsp)
movaps %xmm7, 0xc0(%rsp)
movq %r8, 0x40(%rsp)
movq %r9, 0x48(%rsp)
cmpl $0x0, 0x8c59(%rip)      # 0xb350
je 0x2701
xorl %r13d, %r13d
jmp 0x2849
movq %rcx, %rbx
movl %edx, %ebp
movq %rsi, %r15
testl %edi, %edi
sete %r13b
je 0x2721
pushq $0x3
popq %rax
pushq $0x2
popq %r14
leaq 0x518c(%rip), %r12      # 0x78ab
jmp 0x275f
movl 0x8c1d(%rip), %eax      # 0xb344
testl %eax, %eax
jne 0x2743
cmpq $0x0, 0x8c15(%rip)      # 0xb348
je 0x2743
pushq $0x1
popq %rdi
callq 0x286a
movl 0x8c01(%rip), %eax      # 0xb344
pushq $0x1
popq %r14
incl 0x8c07(%rip)            # 0xb354
incl %eax
movl %eax, 0x8bef(%rip)      # 0xb344
pushq $0x2
popq %rax
leaq 0x49fc(%rip), %r12      # 0x715b
cmpl %eax, 0x8abb(%rip)      # 0xb220
jl 0x2843
cmpl $0x0, 0x8be6(%rip)      # 0xb358
sete %cl
movb 0x8be5(%rip), %al       # 0xb360
testb %al, %al
setne %dl
andb %cl, %dl
cmpb $0x1, %dl
jne 0x27b9
pushq $0x1
popq %rdi
callq 0x2965
leaq 0x49cc(%rip), %rsi      # 0x7162
leaq 0x8bc3(%rip), %rdx      # 0xb360
pushq $0xa
popq %rdi
xorl %eax, %eax
callq 0x29de
incl 0x8b97(%rip)            # 0xb344
incl 0x8ba5(%rip)            # 0xb358
movb 0x8ba7(%rip), %al       # 0xb360
cmpb $0x1, %al
pushq $0x2
popq %rdi
sbbl $0x0, %edi
callq 0x2965
testq %r15, %r15
je 0x27e6
movq %r15, %rdi
callq 0x29c2
leaq 0x4979(%rip), %rdi      # 0x7153
movq %rax, %rsi
movl %ebp, %edx
xorl %eax, %eax
callq 0x2180
leaq 0x20(%rsp), %rax
movq %rsp, %rsi
movq %rax, 0x10(%rsi)
leaq 0x110(%rsp), %rax
movq %rax, 0x8(%rsi)
movabsq $0x3000000020, %rax     # imm = 0x3000000020
movq %rax, (%rsi)
movq %rbx, %rdi
callq 0x22b0
leaq 0x5457(%rip), %rdi      # 0x7c71
xorl %eax, %eax
callq 0x2180
leaq 0x50ff(%rip), %rsi      # 0x7927
movl %r14d, %edi
movq %r12, %rdx
xorl %eax, %eax
callq 0x29de
pushq $0xa
popq %rdi
callq 0x2050
incl 0x8b01(%rip)            # 0xb344
incl 0x8af7(%rip)            # 0xb340
movzbl %r13b, %eax
movl %eax, 0x8b4d(%rip)      # 0xb3a0
xorb $0x1, %al
movzbl %al, %eax
addq $0xd8, %rsp
popq %rbx
popq %r12
popq %r13
popq %r14
popq %r15
popq %rbp
retq