// File: /workspace/github_c_makefile_star2_O2/aremmell[P]libsir/tests/tests.c
// Function: sirtest_textstylesanity
bool sirtest_textstylesanity(void) {
    INIT(si, SIRL_ALL, 0, 0, 0);
    bool pass = si_init;

#if !defined(SIR_NO_TEXT_STYLING)
    TEST_MSG_0(SIR_WHITEB("--- explicitly invalid ---"));
    _sir_eqland(pass, !sir_settextstyle(SIRL_INFO, (sir_textattr)0xbbb, 800, 920));
    _sir_eqland(pass, sir_info("I have set an invalid text style."));

    _sir_eqland(pass, !sir_settextstyle(SIRL_DEBUG, SIRTA_NORMAL, SIRTC_BLACK, SIRTC_BLACK));
    _sir_eqland(pass, sir_info("oops, did it again..."));

    _sir_eqland(pass, !sir_settextstyle(SIRL_ALERT, SIRTA_NORMAL, 0xff, 0xff));
    _sir_eqland(pass, sir_info("and again."));
    PASSFAIL_MSG(pass, "\t--- explicitly invalid: %s ---" SIR_EOL SIR_EOL, PRN_PASS(pass));

    TEST_MSG_0(SIR_WHITEB("--- unusual but valid ---"));
    _sir_eqland(pass, sir_settextstyle(SIRL_INFO, SIRTA_NORMAL, SIRTC_DEFAULT, SIRTC_DEFAULT));
    _sir_eqland(pass, sir_info("system default fg and bg"));
    PASSFAIL_MSG(pass, "\t--- unusual but valid: %s ---" SIR_EOL SIR_EOL, PRN_PASS(pass));

    TEST_MSG_0(SIR_WHITEB("--- override defaults ---"));
    _sir_eqland(pass, sir_resettextstyles());

    _sir_eqland(pass, sir_debug("default style"));
    _sir_eqland(pass, sir_settextstyle(SIRL_DEBUG, SIRTA_NORMAL, SIRTC_BYELLOW, SIRTC_DGRAY));
    _sir_eqland(pass, sir_debug("override style"));

    _sir_eqland(pass, sir_info("default style"));
    _sir_eqland(pass, sir_settextstyle(SIRL_INFO, SIRTA_NORMAL, SIRTC_GREEN, SIRTC_MAGENTA));
    _sir_eqland(pass, sir_info("override style"));

    _sir_eqland(pass, sir_notice("default style"));
    _sir_eqland(pass, sir_settextstyle(SIRL_NOTICE, SIRTA_NORMAL, SIRTC_BLACK, SIRTC_BYELLOW));
    _sir_eqland(pass, sir_notice("override style"));

    _sir_eqland(pass, sir_warn("default style"));
    _sir_eqland(pass, sir_settextstyle(SIRL_WARN, SIRTA_NORMAL, SIRTC_BLACK, SIRTC_WHITE));
    _sir_eqland(pass, sir_warn("override style"));

    _sir_eqland(pass, sir_error("default style"));
    _sir_eqland(pass, sir_settextstyle(SIRL_ERROR, SIRTA_NORMAL, SIRTC_WHITE, SIRTC_BLUE));
    _sir_eqland(pass, sir_error("override style"));

    _sir_eqland(pass, sir_crit("default style"));
    _sir_eqland(pass, sir_settextstyle(SIRL_CRIT, SIRTA_EMPH, SIRTC_DGRAY, SIRTC_BGREEN));
    _sir_eqland(pass, sir_crit("override style"));

    _sir_eqland(pass, sir_alert("default style"));
    _sir_eqland(pass, sir_settextstyle(SIRL_ALERT, SIRTA_ULINE, SIRTC_BBLUE, SIRTC_DEFAULT));
    _sir_eqland(pass, sir_alert("override style"));

    _sir_eqland(pass, sir_emerg("default style"));
    _sir_eqland(pass, sir_settextstyle(SIRL_EMERG, SIRTA_BOLD, SIRTC_DGRAY, SIRTC_DEFAULT));
    _sir_eqland(pass, sir_emerg("override style"));
    PASSFAIL_MSG(pass, "\t--- override defaults: %s ---" SIR_EOL SIR_EOL, PRN_PASS(pass));

    TEST_MSG_0(SIR_WHITEB("--- reset to defaults ---"));
    _sir_eqland(pass, sir_resettextstyles());

    _sir_eqland(pass, sir_debug("default style (debug)"));
    _sir_eqland(pass, sir_info("default style (info)"));
    _sir_eqland(pass, sir_notice("default style (notice)"));
    _sir_eqland(pass, sir_warn("default style (warning)"));
    _sir_eqland(pass, sir_error("default style (error)"));
    _sir_eqland(pass, sir_crit("default style (crit)"));
    _sir_eqland(pass, sir_alert("default style (alert)"));
    _sir_eqland(pass, sir_emerg("default style (emergency)"));
    PASSFAIL_MSG(pass, "\t--- reset to defaults: %s ---" SIR_EOL SIR_EOL, PRN_PASS(pass));

    TEST_MSG_0(SIR_WHITEB("--- change mode: 256-color ---"));
    _sir_eqland(pass, sir_setcolormode(SIRCM_256));

    for (sir_textcolor fg = 0, bg = 255; (fg < 256 && bg > 0); fg++, bg--) {
        if (fg != bg) {
            _sir_eqland(pass, sir_settextstyle(SIRL_DEBUG, SIRTA_NORMAL, fg, bg));
            _sir_eqland(pass, sir_debug("this is 256-color mode (fg: %"PRIu32", bg: %"PRIu32")",
                fg, bg));
        }
    }

    PASSFAIL_MSG(pass, "\t--- change mode: 256-color: %s ---" SIR_EOL SIR_EOL, PRN_PASS(pass));

    TEST_MSG_0(SIR_WHITEB("--- change mode: RGB-color ---"));
    _sir_eqland(pass, sir_setcolormode(SIRCM_RGB));

    for (size_t n = 0; n < 256; n++) {
        sir_textcolor fg = sir_makergb(getrand(255U), getrand(255U), getrand(255U));
        sir_textcolor bg = sir_makergb(getrand(255U), getrand(255U), getrand(255U));
        _sir_eqland(pass, sir_settextstyle(SIRL_DEBUG, SIRTA_NORMAL, fg, bg));
        _sir_eqland(pass, sir_debug("this is RGB-color mode (fg: %"PRIu32", %"PRIu32", %"PRIu32
            ", bg: %"PRIu32", %"PRIu32", %"PRIu32")", _sir_getredfromcolor(fg),
            _sir_getgreenfromcolor(fg), _sir_getbluefromcolor(fg), _sir_getredfromcolor(bg),
            _sir_getgreenfromcolor(bg), _sir_getbluefromcolor(bg)));
    }
    PASSFAIL_MSG(pass, "\t--- change mode: RGB-color: %s ---" SIR_EOL SIR_EOL, PRN_PASS(pass));

    TEST_MSG_0(SIR_WHITEB("--- change mode: invalid mode ---"));
    _sir_eqland(pass, !sir_setcolormode(SIRCM_INVALID));
    sir_textcolor fg = sir_makergb(255, 0, 0);
    sir_textcolor bg = sir_makergb(0, 0, 0);
    _sir_eqland(pass, sir_settextstyle(SIRL_DEBUG, SIRTA_NORMAL, fg, bg));
    _sir_eqland(pass, sir_debug("this is still RGB color mode"));
    PASSFAIL_MSG(pass, "\t--- change mode: invalid mode %s ---" SIR_EOL SIR_EOL, PRN_PASS(pass));

    TEST_MSG_0(SIR_WHITEB("--- change mode: 16-color ---"));
    _sir_eqland(pass, sir_setcolormode(SIRCM_16));
    _sir_eqland(pass, sir_settextstyle(SIRL_DEBUG, SIRTA_EMPH, SIRTC_BMAGENTA, SIRTC_DEFAULT));
    _sir_eqland(pass, sir_debug("this is 16-color mode (fg: %"PRId32", bg: default)",
        SIRTC_BMAGENTA));
    PASSFAIL_MSG(pass, "\t--- change mode: 16-color: %s ---" SIR_EOL SIR_EOL, PRN_PASS(pass));
#else /* SIR_NO_TEXT_STYLING */
    TEST_MSG_0("SIR_NO_TEXT_STYLING is defined; skipping");
#endif

    _sir_eqland(pass, sir_cleanup());

    return PRINT_RESULT_RETURN(pass);
}

// Assembly:
pushq %rbp
pushq %r15
pushq %r14
pushq %r13
pushq %r12
pushq %rbx
subq $0x128, %rsp            # imm = 0x128
leaq 0x20(%rsp), %rbx
movl $0x108, %edx            # imm = 0x108
movq %rbx, %rdi
xorl %esi, %esi
callq 0x31f0
movl $0x100000, %eax         # imm = 0x100000
movl %eax, 0x4(%rbx)
movw $0xff, (%rbx)
movl %eax, 0xc(%rbx)
movq %rbx, %rdi
callq 0x94a9
movb %al, 0xd(%rsp)
leaq 0xb2c3(%rip), %rsi      # 0x10e67
pushq $0x1
popq %rdi
xorl %eax, %eax
callq 0x3410
pushq $0x40
popq %rdi
movl $0xbbb, %esi            # imm = 0xBBB
movl $0x320, %edx            # imm = 0x320
movl $0x398, %ecx            # imm = 0x398
callq 0x9afc
movl %eax, %ebx
xorb $0x1, %bl
leaq 0xb2c7(%rip), %rdi      # 0x10e98
xorl %eax, %eax
callq 0x95a2
movl %eax, %r12d
movl $0x80, %edi
xorl %esi, %esi
xorl %edx, %edx
xorl %ecx, %ecx
callq 0x9afc
movl %eax, %r13d
xorb $0x1, %r13b
leaq 0xb2c1(%rip), %rdi      # 0x10eba
xorl %eax, %eax
callq 0x95a2
movl %eax, %r15d
pushq $0x2
popq %rdi
movl $0xff, %ebp
xorl %esi, %esi
movl $0xff, %edx
movl $0xff, %ecx
callq 0x9afc
movl %eax, %r14d
xorb $0x1, %r14b
leaq 0xb2a6(%rip), %rdi      # 0x10ed0
xorl %eax, %eax
callq 0x95a2
andb %r15b, %al
andb %r14b, %al
andb %r12b, %r13b
andb %al, %r13b
andb 0xd(%rsp), %bl
andb %r13b, %bl
leaq 0xb290(%rip), %rax      # 0x10edb
leaq 0xb2bf(%rip), %rsi      # 0x10f11
testb $0x1, %bl
cmovneq %rax, %rsi
leaq 0xa456(%rip), %rax      # 0x100b6
leaq 0xa468(%rip), %rcx      # 0x100cf
movq %rcx, %rdx
movq %rcx, %r12
cmovneq %rax, %rdx
movq %rax, %r15
pushq $0x1
popq %r14
movl %r14d, %edi
xorl %eax, %eax
callq 0x3410
leaq 0xb2be(%rip), %rsi      # 0x10f47
movl %r14d, %edi
movl %r14d, %r13d
xorl %eax, %eax
callq 0x3410
pushq $0x40
popq %rdi
xorl %esi, %esi
movl $0x100, %edx            # imm = 0x100
movl $0x100, %ecx            # imm = 0x100
callq 0x9afc
movl %eax, %r14d
andb %bl, %r14b
leaq 0xb2c0(%rip), %rdi      # 0x10f77
xorl %eax, %eax
callq 0x95a2
movl %eax, %ebx
andb %r14b, %bl
leaq 0xb2c6(%rip), %rax      # 0x10f90
leaq 0xb2f4(%rip), %rsi      # 0x10fc5
cmovneq %rax, %rsi
movq %r12, %rdx
cmovneq %r15, %rdx
movl %r13d, %edi
xorl %eax, %eax
callq 0x3410
leaq 0xb30d(%rip), %rsi      # 0x10ffa
movl %r13d, %edi
xorl %eax, %eax
callq 0x3410
callq 0x9b1a
andb %bl, %al
movb %al, 0xd(%rsp)
leaq 0xb321(%rip), %r14      # 0x1102a
movq %r14, %rdi
xorl %eax, %eax
callq 0x94cd
movb %al, 0xf(%rsp)
pushq $0xb
popq %rbx
pushq $0x8
popq %rcx
movl $0x80, %edi
xorl %esi, %esi
movl %ebx, %edx
callq 0x9afc
movb %al, 0xe(%rsp)
leaq 0xb302(%rip), %r12      # 0x11038
movq %r12, %rdi
xorl %eax, %eax
callq 0x94cd
movb %al, 0x1f(%rsp)
movq %r14, %rdi
xorl %eax, %eax
callq 0x95a2
movb %al, 0x1e(%rsp)
pushq $0x5
popq %rcx
pushq $0x40
popq %rdi
xorl %esi, %esi
pushq $0x2
popq %rdx
callq 0x9afc
movb %al, 0x1d(%rsp)
movq %r12, %rdi
xorl %eax, %eax
callq 0x95a2
movb %al, 0x1c(%rsp)
movq %r14, %rdi
xorl %eax, %eax
callq 0x9651
movb %al, 0x1b(%rsp)
pushq $0x20
popq %rdi
xorl %esi, %esi
xorl %edx, %edx
movl %ebx, %ecx
callq 0x9afc
movl %eax, %r15d
movq %r12, %rdi
movq %r12, %rbx
xorl %eax, %eax
callq 0x9651
movb %al, 0x1a(%rsp)
movq %r14, %rdi
xorl %eax, %eax
callq 0x9700
movb %al, 0x19(%rsp)
pushq $0x10
popq %rdi
pushq $0xf
popq %rcx
xorl %esi, %esi
xorl %edx, %edx
callq 0x9afc
movb %al, 0x18(%rsp)
movq %r12, %rdi
xorl %eax, %eax
callq 0x9700
movb %al, 0x17(%rsp)
movq %r14, %rdi
xorl %eax, %eax
callq 0x97af
movl %eax, %r13d
pushq $0x4
popq %r14
pushq $0x8
popq %r12
movl %r12d, %edi
xorl %esi, %esi
pushq $0xf
popq %rdx
movl %r14d, %ecx
callq 0x9afc
movb %al, 0x16(%rsp)
movq %rbx, %rdi
xorl %eax, %eax
callq 0x97af
movb %al, 0x15(%rsp)
leaq 0xb219(%rip), %rbx      # 0x1102a
movq %rbx, %rdi
xorl %eax, %eax
callq 0x985e
movb %al, 0x14(%rsp)
pushq $0x3
popq %rsi
pushq $0xa
popq %rcx
movl %r14d, %edi
movl %r12d, %edx
callq 0x9afc
movl %eax, %r14d
leaq 0xb1fe(%rip), %rdi      # 0x11038
movq %rdi, %r12
xorl %eax, %eax
callq 0x985e
movb %al, 0x13(%rsp)
movq %rbx, %rdi
xorl %eax, %eax
callq 0x990d
movb %al, 0x12(%rsp)
pushq $0xc
popq %rdx
pushq $0x2
popq %rdi
pushq $0x4
popq %rsi
movl $0x100, %ecx            # imm = 0x100
callq 0x9afc
movl %eax, %ebx
movq %r12, %rdi
xorl %eax, %eax
callq 0x990d
movb %al, 0x11(%rsp)
leaq 0xb1aa(%rip), %rdi      # 0x1102a
xorl %eax, %eax
callq 0x99bc
movl %eax, %r12d
pushq $0x1
popq %rdi
movl %edi, %esi
pushq $0x8
popq %rdx
movl $0x100, %ecx            # imm = 0x100
callq 0x9afc
movb %al, 0x10(%rsp)
leaq 0xb191(%rip), %rdi      # 0x11038
xorl %eax, %eax
callq 0x99bc
andb 0x10(%rsp), %al
andb 0x11(%rsp), %r12b
andb %al, %r12b
andb 0x12(%rsp), %bl
andb 0x13(%rsp), %bl
andb %r12b, %bl
andb 0x14(%rsp), %r14b
andb 0x15(%rsp), %r14b
andb 0x16(%rsp), %r14b
andb %bl, %r14b
andb 0x17(%rsp), %r13b
andb 0x18(%rsp), %r13b
andb 0x19(%rsp), %r13b
andb 0x1a(%rsp), %r13b
andb %r14b, %r13b
andb 0x1b(%rsp), %r15b
andb 0x1c(%rsp), %r15b
andb 0x1d(%rsp), %r15b
andb 0x1e(%rsp), %r15b
andb 0x1f(%rsp), %r15b
andb %r13b, %r15b
movb 0xe(%rsp), %cl
andb 0xf(%rsp), %cl
andb %r15b, %cl
andb 0xd(%rsp), %cl
leaq 0xb127(%rip), %rax      # 0x11047
leaq 0xb155(%rip), %rsi      # 0x1107c
testb $0x1, %cl
movl %ecx, %r14d
cmovneq %rax, %rsi
leaq 0xa197(%rip), %rdx      # 0x100cf
leaq 0xa177(%rip), %rax      # 0x100b6
cmovneq %rax, %rdx
pushq $0x1
popq %rbx
movl %ebx, %edi
xorl %eax, %eax
callq 0x3410
leaq 0xb15b(%rip), %rsi      # 0x110b1
movl %ebx, %edi
xorl %eax, %eax
callq 0x3410
callq 0x9b1a
movl %eax, %ebx
andb %r14b, %bl
leaq 0xb171(%rip), %rdi      # 0x110e1
xorl %eax, %eax
callq 0x94cd
movb %al, 0xd(%rsp)
leaq 0xb175(%rip), %rdi      # 0x110f7
xorl %eax, %eax
callq 0x95a2
movb %al, 0xf(%rsp)
leaq 0xb178(%rip), %rdi      # 0x1110c
xorl %eax, %eax
callq 0x9651
movb %al, 0xe(%rsp)
leaq 0xb17d(%rip), %rdi      # 0x11123
xorl %eax, %eax
callq 0x9700
movl %eax, %r14d
leaq 0xb184(%rip), %rdi      # 0x1113b
xorl %eax, %eax
callq 0x97af
movl %eax, %r15d
leaq 0xb189(%rip), %rdi      # 0x11151
xorl %eax, %eax
callq 0x985e
movl %eax, %r12d
leaq 0xb18d(%rip), %rdi      # 0x11166
xorl %eax, %eax
callq 0x990d
movl %eax, %r13d
leaq 0xb192(%rip), %rdi      # 0x1117c
xorl %eax, %eax
callq 0x99bc
andb %r13b, %al
andb %r15b, %r12b
andb %al, %r12b
andb 0xe(%rsp), %r14b
andb 0xf(%rsp), %r14b
andb %r12b, %r14b
andb 0xd(%rsp), %r14b
andb %bl, %r14b
leaq 0xb180(%rip), %rax      # 0x11196
leaq 0xb1ae(%rip), %rsi      # 0x111cb
testb $0x1, %r14b
cmovneq %rax, %rsi
leaq 0xa0a3(%rip), %rdx      # 0x100cf
leaq 0xa083(%rip), %rax      # 0x100b6
cmovneq %rax, %rdx
pushq $0x1
popq %rbx
movl %ebx, %edi
xorl %eax, %eax
callq 0x3410
leaq 0xb1b6(%rip), %rsi      # 0x11200
movl %ebx, %edi
xorl %eax, %eax
callq 0x3410
movl %ebx, %edi
callq 0x9b36
movl %eax, %ebx
andb %r14b, %bl
leaq 0xb1cf(%rip), %r14      # 0x11235
xorl %r15d, %r15d
cmpl $0xff, %r15d
je 0x60a6
cmpl %ebp, %r15d
je 0x609f
movl $0x80, %edi
xorl %esi, %esi
movl %r15d, %edx
movl %ebp, %ecx
callq 0x9afc
movl %eax, %r12d
movq %r14, %rdi
movl %r15d, %esi
movl %ebp, %edx
xorl %eax, %eax
callq 0x94cd
andb %r12b, %al
andb %al, %bl
incl %r15d
decl %ebp
jmp 0x6069
leaq 0xb1b0(%rip), %rax      # 0x1125d
leaq 0xb1e3(%rip), %rsi      # 0x11297
testb $0x1, %bl
cmovneq %rax, %rsi
leaq 0xa00d(%rip), %rdx      # 0x100cf
leaq 0x9fed(%rip), %rax      # 0x100b6
cmovneq %rax, %rdx
pushq $0x1
popq %rbp
movl %ebp, %edi
xorl %eax, %eax
callq 0x3410
leaq 0xb1f1(%rip), %rsi      # 0x112d1
movl %ebp, %edi
xorl %eax, %eax
callq 0x3410
pushq $0x2
popq %rdi
callq 0x9b36
movl %eax, %ebp
andb %bl, %bpl
movl $0x100, %r13d           # imm = 0x100
movl $0xff, %ebx
subq $0x1, %r13
jb 0x61d4
movl $0xff, %edi
callq 0x3fab
movl %eax, %r14d
movl $0xff, %edi
callq 0x3fab
movl %eax, %r15d
movl $0xff, %edi
callq 0x3fab
movl %r14d, %edi
movl %r15d, %esi
movl %eax, %edx
callq 0x9b1f
movl %eax, %r14d
movl $0xff, %edi
callq 0x3fab
movl %eax, %r15d
movl $0xff, %edi
callq 0x3fab
movl %eax, %r12d
movl $0xff, %edi
callq 0x3fab
movl %r15d, %edi
movl %r12d, %esi
movl %eax, %edx
callq 0x9b1f
movl %eax, %r12d
movl $0x80, %edi
xorl %esi, %esi
movl %r14d, %edx
movl %eax, %ecx
callq 0x9afc
movl %eax, %r15d
movl %r14d, %esi
shrl $0x10, %esi
andl %ebx, %esi
movl %r14d, %edx
shrl $0x8, %edx
andl %ebx, %edx
andl %ebx, %r14d
movl %r12d, %r8d
shrl $0x10, %r8d
andl %ebx, %r8d
movl %r12d, %r9d
shrl $0x8, %r9d
andl %ebx, %r9d
andl %ebx, %r12d
movl %r12d, (%rsp)
leaq 0xb14a(%rip), %rdi      # 0x11306
movl %r14d, %ecx
xorl %eax, %eax
callq 0x94cd
andb %bpl, %r15b
andb %al, %r15b
movl %r15d, %ebp
jmp 0x6101
leaq 0xb163(%rip), %rax      # 0x1133e
leaq 0xb196(%rip), %rsi      # 0x11378
testb $0x1, %bpl
cmovneq %rax, %rsi
leaq 0x9ede(%rip), %r13      # 0x100cf
movq %r13, %rdx
leaq 0x9ebb(%rip), %rax      # 0x100b6
cmovneq %rax, %rdx
pushq $0x1
popq %rbx
movl %ebx, %edi
xorl %eax, %eax
callq 0x3410
leaq 0xb1a0(%rip), %rsi      # 0x113b2
movl %ebx, %edi
xorl %eax, %eax
callq 0x3410
pushq $0x3
popq %r14
movl %r14d, %edi
callq 0x9b36
movl %eax, %r15d
xorb $0x1, %r15b
movl $0xff, %edi
xorl %esi, %esi
xorl %edx, %edx
callq 0x9b1f
movl %eax, %r12d
xorl %edi, %edi
xorl %esi, %esi
xorl %edx, %edx
callq 0x9b1f
movl $0x80, %edi
xorl %esi, %esi
movl %r12d, %edx
movl %eax, %ecx
callq 0x9afc
movl %eax, %r12d
leaq 0xb185(%rip), %rdi      # 0x113ea
xorl %eax, %eax
callq 0x94cd
andb %r12b, %al
andb %bpl, %r15b
andb %al, %r15b
leaq 0xb18b(%rip), %rax      # 0x11407
leaq 0xb1c0(%rip), %rsi      # 0x11443
cmovneq %rax, %rsi
movq %r13, %rdx
leaq 0x9e25(%rip), %r12      # 0x100b6
cmovneq %r12, %rdx
movl %ebx, %edi
xorl %eax, %eax
callq 0x3410
leaq 0xb1da(%rip), %rsi      # 0x1147f
movl %ebx, %edi
xorl %eax, %eax
callq 0x3410
xorl %edi, %edi
callq 0x9b36
movl %eax, %ebp
andb %r15b, %bpl
pushq $0xd
popq %r15
movl $0x80, %edi
movl %r14d, %esi
movl %r15d, %edx
movl $0x100, %ecx            # imm = 0x100
callq 0x9afc
movl %eax, %r14d
leaq 0xb1d6(%rip), %rdi      # 0x114b3
movl %r15d, %esi
xorl %eax, %eax
callq 0x94cd
movl %eax, %r15d
andb %r14b, %r15b
andb %bpl, %r15b
leaq 0xb1e8(%rip), %rax      # 0x114df
leaq 0xb21a(%rip), %rsi      # 0x11518
cmovneq %rax, %rsi
cmovneq %r12, %r13
movl %ebx, %edi
movq %r13, %rdx
xorl %eax, %eax
callq 0x3410
callq 0x94ae
andb %r15b, %al
movzbl %al, %edi
xorl %esi, %esi
callq 0x3ac9
addq $0x128, %rsp            # imm = 0x128
popq %rbx
popq %r12
popq %r13
popq %r14
popq %r15
popq %rbp
retq