// File: /workspace/github_c_makefile_star2_O0/gplessis[P]dotdeb-redis/src/server.c
// Function: redisAsciiArt
void redisAsciiArt(void) {
#include "asciilogo.h"
    char *buf = zmalloc(1024*16);
    char *mode;

    if (server.cluster_enabled) mode = "cluster";
    else if (server.sentinel_mode) mode = "sentinel";
    else mode = "standalone";

    if (server.syslog_enabled) {
        serverLog(LL_NOTICE,
            "Redis %s (%s/%d) %s bit, %s mode, port %d, pid %ld ready to start.",
            REDIS_VERSION,
            redisGitSHA1(),
            strtol(redisGitDirty(),NULL,10) > 0,
            (sizeof(long) == 8) ? "64" : "32",
            mode, server.port,
            (long) getpid()
        );
    } else {
        snprintf(buf,1024*16,ascii_logo,
            REDIS_VERSION,
            redisGitSHA1(),
            strtol(redisGitDirty(),NULL,10) > 0,
            (sizeof(long) == 8) ? "64" : "32",
            mode, server.port,
            (long) getpid()
        );
        serverLogRaw(LL_NOTICE|LL_RAW,buf);
    }
    zfree(buf);
}

// Assembly:
pushq %rbp
movq %rsp, %rbp
pushq %rbx
subq $0x88, %rsp
leaq 0x1025bb(%rip), %rax    # 0x1399ce
movq %rax, -0x10(%rbp)
movl $0x4000, %edi           # imm = 0x4000
callq 0x3acd0
movq %rax, -0x18(%rbp)
cmpl $0x0, 0x141748(%rip)    # 0x178b74
je 0x3743b
leaq 0x10042f(%rip), %rax    # 0x137864
movq %rax, -0x20(%rbp)
jmp 0x3745e
cmpl $0x0, 0x140e32(%rip)    # 0x178274
je 0x37451
leaq 0x10f487(%rip), %rax    # 0x1468d2
movq %rax, -0x20(%rbp)
jmp 0x3745c
leaq 0x1014f3(%rip), %rax    # 0x13894b
movq %rax, -0x20(%rbp)
jmp 0x3745e
cmpl $0x0, 0x14151b(%rip)    # 0x178980
je 0x374f5
callq 0x41c10
movq %rax, -0x40(%rbp)
callq 0x41c20
movq %rax, %rdi
xorl %eax, %eax
movl %eax, %esi
movl $0xa, %edx
callq 0x26720
cmpq $0x0, %rax
setg %al
andb $0x1, %al
movzbl %al, %eax
movl %eax, -0x34(%rbp)
movq -0x20(%rbp), %rax
movq %rax, -0x30(%rbp)
movl 0x140dd1(%rip), %eax    # 0x178278
movl %eax, -0x24(%rbp)
callq 0x26420
movq -0x40(%rbp), %rcx
movl -0x34(%rbp), %r8d
movq -0x30(%rbp), %r11
movl -0x24(%rbp), %r10d
cltq
movl $0x2, %edi
leaq 0x10296e(%rip), %rsi    # 0x139e3b
leaq 0x102d8e(%rip), %rdx    # 0x13a262
leaq 0x1029a3(%rip), %r9     # 0x139e7e
movq %r11, (%rsp)
movl %r10d, 0x8(%rsp)
movq %rax, 0x10(%rsp)
movb $0x0, %al
callq 0x2fc60
jmp 0x3759e
movq -0x18(%rbp), %rax
movq %rax, -0x70(%rbp)
movq -0x10(%rbp), %rax
movq %rax, -0x68(%rbp)
callq 0x41c10
movq %rax, -0x60(%rbp)
callq 0x41c20
movq %rax, %rdi
xorl %eax, %eax
movl %eax, %esi
movl $0xa, %edx
callq 0x26720
cmpq $0x0, %rax
setg %al
andb $0x1, %al
movzbl %al, %eax
movl %eax, -0x54(%rbp)
movq -0x20(%rbp), %rax
movq %rax, -0x50(%rbp)
movl 0x140d37(%rip), %eax    # 0x178278
movl %eax, -0x44(%rbp)
callq 0x26420
movq -0x70(%rbp), %rdi
movq -0x68(%rbp), %rdx
movq -0x60(%rbp), %r8
movl -0x54(%rbp), %r9d
movq -0x50(%rbp), %r11
movl -0x44(%rbp), %r10d
cltq
movl $0x4000, %esi           # imm = 0x4000
leaq 0x102cf3(%rip), %rcx    # 0x13a262
leaq 0x102908(%rip), %rbx    # 0x139e7e
movq %rbx, (%rsp)
movq %r11, 0x8(%rsp)
movl %r10d, 0x10(%rsp)
movq %rax, 0x18(%rsp)
movb $0x0, %al
callq 0x26120
movq -0x18(%rbp), %rsi
movl $0x402, %edi            # imm = 0x402
callq 0x2fa20
movq -0x18(%rbp), %rdi
callq 0x3afa0
addq $0x88, %rsp
popq %rbx
popq %rbp
retq
nopw %cs:(%rax,%rax)