LLM4Binary/decompile-bench-makefile huggingface dataset:
// File: /workspace/github_c_makefile_star2_O3/gplessis[P]dotdeb-redis/src/sparkline.c
// Function: freeSparklineSequence
void freeSparklineSequence(struct sequence *seq) {
    int j;

    for (j = 0; j < seq->length; j++)
        zfree(seq->samples[j].label);
    zfree(seq->samples);
    zfree(seq);
}

// Assembly:
pushq %r15
pushq %r14
pushq %rbx
movq %rdi, %rbx
cmpl $0x0, (%rdi)
jle 0x7fc31
movl $0x8, %r14d
xorl %r15d, %r15d
movq 0x8(%rbx), %rax
movq (%rax,%r14), %rdi
callq 0x38413
incq %r15
movslq (%rbx), %rax
addq $0x10, %r14
cmpq %rax, %r15
jl 0x7fc15
movq 0x8(%rbx), %rdi
callq 0x38413
movq %rbx, %rdi
popq %rbx
popq %r14
popq %r15
jmp 0x38413
// File: /workspace/github_c_makefile_star2_O3/gplessis[P]dotdeb-redis/src/sparkline.c
// Function: sparklineRender
sds sparklineRender(sds output, struct sequence *seq, int columns, int rows, int flags) {
    int j;

    for (j = 0; j < seq->length; j += columns) {
        int sublen = (seq->length-j) < columns ? (seq->length-j) : columns;

        if (j != 0) output = sdscatlen(output,"\n",1);
        output = sparklineRenderRange(output, seq, rows, j, sublen, flags);
    }
    return output;
}

// Assembly:
pushq %rbp
pushq %r15
pushq %r14
pushq %r13
pushq %r12
pushq %rbx
pushq %rax
movl %r8d, 0x4(%rsp)
movq %rdi, %rax
movl (%rsi), %r12d
testl %r12d, %r12d
jle 0x7ff36
movl %ecx, %ebp
movl %edx, %r14d
movq %rsi, %r15
xorl %ebx, %ebx
xorl %r13d, %r13d
addl %ebx, %r12d
cmpl %r14d, %r12d
cmovgel %r14d, %r12d
testl %r13d, %r13d
je 0x7ff11
movl $0x1, %edx
movq %rax, %rdi
leaq 0x3efca(%rip), %rsi     # 0xbeec9
callq 0x36ad1
movq %rax, %rdi
movq %r15, %rsi
movl %ebp, %edx
movl %r13d, %ecx
jmp 0x7ff1b
movq %rax, %rdi
movq %r15, %rsi
movl %ebp, %edx
xorl %ecx, %ecx
movl %r12d, %r8d
movl 0x4(%rsp), %r9d
callq 0x7fc47
addl %r14d, %r13d
movl (%r15), %r12d
subl %r14d, %ebx
cmpl %r12d, %r13d
jl 0x7fee1
addq $0x8, %rsp
popq %rbx
popq %r12
popq %r13
popq %r14
popq %r15
popq %rbp
retq
nopl (%rax)
// File: /workspace/github_c_makefile_star2_O3/gplessis[P]dotdeb-redis/src/redis-check-rdb.c
// Function: rdbCheckError
void rdbCheckError(const char *fmt, ...) {
    char msg[1024];
    va_list ap;

    va_start(ap, fmt);
    vsnprintf(msg, sizeof(msg), fmt, ap);
    va_end(ap);

    printf("--- RDB ERROR DETECTED ---\n");
    printf("[offset %llu] %s\n",
        (unsigned long long) (rdbstate.rio ?
            rdbstate.rio->processed_bytes : 0), msg);
    printf("[additional info] While doing: %s\n",
        rdb_check_doing_string[rdbstate.doing]);
    if (rdbstate.key)
        printf("[additional info] Reading key '%s'\n",
            (char*)rdbstate.key->ptr);
    if (rdbstate.key_type != -1)
        printf("[additional info] Reading type %d (%s)\n",
            rdbstate.key_type,
            ((unsigned)rdbstate.key_type <
             sizeof(rdb_type_string)/sizeof(char*)) ?
                rdb_type_string[rdbstate.key_type] : "unknown");
    rdbShowGenericInfo();
}

// Assembly:
subq $0x4d8, %rsp            # imm = 0x4D8
movq %rdi, %r10
leaq 0x20(%rsp), %rdi
movq %rsi, 0x8(%rdi)
movq %rdx, 0x10(%rdi)
movq %rcx, 0x18(%rdi)
movq %r8, 0x20(%rdi)
movq %r9, 0x28(%rdi)
testb %al, %al
je 0x7ffe7
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 %rsp, %rcx
movq %rdi, 0x10(%rcx)
leaq 0x4e0(%rsp), %rax
movq %rax, 0x8(%rcx)
movabsq $0x3000000008, %rax     # imm = 0x3000000008
movq %rax, (%rcx)
leaq 0xd0(%rsp), %rdi
movl $0x400, %esi            # imm = 0x400
movq %r10, %rdx
callq 0x26810
leaq 0x4f530(%rip), %rdi     # 0xcf553
callq 0x26250
movq 0x96969(%rip), %rax     # 0x116998
testq %rax, %rax
je 0x8003a
movq 0x30(%rax), %rsi
jmp 0x8003c
xorl %esi, %esi
leaq 0x4f3d0(%rip), %rdi     # 0xcf413
leaq 0xd0(%rsp), %rdx
xorl %eax, %eax
callq 0x260a0
movslq 0x9696f(%rip), %rax     # 0x1169c8
leaq 0x81650(%rip), %rcx     # 0x1016b0
movq (%rcx,%rax,8), %rsi
leaq 0x4f3ba(%rip), %rdi     # 0xcf425
xorl %eax, %eax
callq 0x260a0
movq 0x96927(%rip), %rax     # 0x1169a0
testq %rax, %rax
je 0x80090
movq 0x8(%rax), %rsi
leaq 0x4f3bf(%rip), %rdi     # 0xcf448
xorl %eax, %eax
callq 0x260a0
movl 0x96912(%rip), %esi     # 0x1169a8
movl $0xffffffff, %eax       # imm = 0xFFFFFFFF
cmpq %rax, %rsi
je 0x800c7
cmpl $0xe, %esi
ja 0x800b2
leaq 0x81644(%rip), %rax     # 0x1016f0
movq (%rax,%rsi,8), %rdx
jmp 0x800b9
leaq 0x40d2a(%rip), %rdx     # 0xc0de3
leaq 0x4f3ac(%rip), %rdi     # 0xcf46c
xorl %eax, %eax
callq 0x260a0
callq 0x7ff48
addq $0x4d8, %rsp            # imm = 0x4D8
retq
// File: /workspace/github_c_makefile_star2_O3/gplessis[P]dotdeb-redis/src/redis-check-rdb.c
// Function: rdbCheckInfo
void rdbCheckInfo(const char *fmt, ...) {
    char msg[1024];
    va_list ap;

    va_start(ap, fmt);
    vsnprintf(msg, sizeof(msg), fmt, ap);
    va_end(ap);

    printf("[offset %llu] %s\n",
        (unsigned long long) (rdbstate.rio ?
            rdbstate.rio->processed_bytes : 0), msg);
}

// Assembly:
subq $0x4d8, %rsp            # imm = 0x4D8
movq %rdi, %r10
leaq 0x20(%rsp), %rdi
movq %rsi, 0x8(%rdi)
movq %rdx, 0x10(%rdi)
movq %rcx, 0x18(%rdi)
movq %r8, 0x20(%rdi)
movq %r9, 0x28(%rdi)
testb %al, %al
je 0x80132
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 %rsp, %rcx
movq %rdi, 0x10(%rcx)
leaq 0x4e0(%rsp), %rax
movq %rax, 0x8(%rcx)
movabsq $0x3000000008, %rax     # imm = 0x3000000008
movq %rax, (%rcx)
leaq 0xd0(%rsp), %rdi
movl $0x400, %esi            # imm = 0x400
movq %r10, %rdx
callq 0x26810
movq 0x9682a(%rip), %rax     # 0x116998
testq %rax, %rax
je 0x80179
movq 0x30(%rax), %rsi
jmp 0x8017b
xorl %esi, %esi
leaq 0x4f291(%rip), %rdi     # 0xcf413
leaq 0xd0(%rsp), %rdx
xorl %eax, %eax
callq 0x260a0
addq $0x4d8, %rsp            # imm = 0x4D8
retq
// File: /workspace/github_c_makefile_star2_O3/gplessis[P]dotdeb-redis/src/redis-check-rdb.c
// Function: rdbCheckSetError
void rdbCheckSetError(const char *fmt, ...) {
    va_list ap;

    va_start(ap, fmt);
    vsnprintf(rdbstate.error, sizeof(rdbstate.error), fmt, ap);
    va_end(ap);
    rdbstate.error_set = 1;
}

// Assembly:
subq $0xd8, %rsp
movq %rdi, %r10
leaq 0x20(%rsp), %rdi
movq %rsi, 0x8(%rdi)
movq %rdx, 0x10(%rdi)
movq %rcx, 0x18(%rdi)
movq %r8, 0x20(%rdi)
movq %r9, 0x28(%rdi)
testb %al, %al
je 0x801f7
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 %rsp, %rcx
movq %rdi, 0x10(%rcx)
leaq 0xe0(%rsp), %rax
movq %rax, 0x8(%rcx)
movabsq $0x3000000008, %rax     # imm = 0x3000000008
movq %rax, (%rcx)
leaq 0x967b2(%rip), %rdi     # 0x1169d0
movl $0x400, %esi            # imm = 0x400
movq %r10, %rdx
callq 0x26810
movl $0x1, 0x96797(%rip)     # 0x1169cc
addq $0xd8, %rsp
retq
// File: /workspace/github_c_makefile_star2_O3/gplessis[P]dotdeb-redis/src/redis-check-rdb.c
// Function: rdbCheckSetupSignals
void rdbCheckSetupSignals(void) {
    struct sigaction act;

    sigemptyset(&act.sa_mask);
    act.sa_flags = SA_NODEFER | SA_RESETHAND | SA_SIGINFO;
    act.sa_sigaction = rdbCheckHandleCrash;
    sigaction(SIGSEGV, &act, NULL);
    sigaction(SIGBUS, &act, NULL);
    sigaction(SIGFPE, &act, NULL);
    sigaction(SIGILL, &act, NULL);
}

// Assembly:
pushq %rbx
subq $0xa0, %rsp
leaq 0x10(%rsp), %rbx
movq %rbx, %rdi
callq 0x26ac0
movl $0xc0000004, 0x80(%rbx) # imm = 0xC0000004
leaq -0x3f(%rip), %rax       # 0x8023d
movq %rax, -0x8(%rbx)
leaq 0x8(%rsp), %rbx
movl $0xb, %edi
movq %rbx, %rsi
xorl %edx, %edx
callq 0x266c0
movl $0x7, %edi
movq %rbx, %rsi
xorl %edx, %edx
callq 0x266c0
movl $0x8, %edi
movq %rbx, %rsi
xorl %edx, %edx
callq 0x266c0
movl $0x4, %edi
movq %rbx, %rsi
xorl %edx, %edx
callq 0x266c0
addq $0xa0, %rsp
popq %rbx
retq
// File: /workspace/github_c_makefile_star2_O3/gplessis[P]dotdeb-redis/src/redis-check-rdb.c
// Function: redis_check_rdb_main
int redis_check_rdb_main(int argc, char **argv) {
    if (argc != 2) {
        fprintf(stderr, "Usage: %s <rdb-file-name>\n", argv[0]);
        exit(1);
    }
    createSharedObjects(); /* Needed for loading. */
    server.loading_process_events_interval_bytes = 0;
    rdbCheckMode = 1;
    rdbCheckInfo("Checking RDB file %s", argv[1]);
    rdbCheckSetupSignals();
    int retval = redis_check_rdb(argv[1]);
    if (retval == 0) {
        rdbCheckInfo("\\o/ RDB looks OK! \\o/");
        rdbShowGenericInfo();
    }
    exit(retval);
}

// Assembly:
pushq %rbx
movq %rsi, %rbx
cmpl $0x2, %edi
jne 0x807f3
callq 0x313cb
leaq 0x8110a(%rip), %rax     # 0x1018a8
movq $0x0, 0x338(%rax)
movl $0x1, 0x961dd(%rip)     # 0x116990
movq 0x8(%rbx), %rsi
leaq 0x4ed6a(%rip), %rdi     # 0xcf528
xorl %eax, %eax
callq 0x800d4
callq 0x80256
movq 0x8(%rbx), %rdi
callq 0x802ca
movl %eax, %ebx
testl %eax, %eax
jne 0x807ec
leaq 0x4ed5d(%rip), %rdi     # 0xcf53d
xorl %eax, %eax
callq 0x800d4
callq 0x7ff48
movl %ebx, %edi
callq 0x262c0
movq 0x7c7ce(%rip), %rax     # 0xfcfc8
movq (%rax), %rdi
movq (%rbx), %rdx
leaq 0x4ed06(%rip), %rsi     # 0xcf50d
xorl %eax, %eax
callq 0x26b90
movl $0x1, %edi
callq 0x262c0
// File: /workspace/github_c_makefile_star2_O3/gplessis[P]dotdeb-redis/src/geo.c
// Function: geoArrayCreate
geoArray *geoArrayCreate(void) {
    geoArray *ga = zmalloc(sizeof(*ga));
    /* It gets allocated on first geoArrayAppend() call. */
    ga->array = NULL;
    ga->buckets = 0;
    ga->used = 0;
    return ga;
}

// Assembly:
pushq %rax
movl $0x18, %edi
callq 0x382d1
xorps %xmm0, %xmm0
movups %xmm0, (%rax)
movq $0x0, 0x10(%rax)
popq %rcx
retq
// File: /workspace/github_c_makefile_star2_O3/gplessis[P]dotdeb-redis/src/geo.c
// Function: geoArrayAppend
geoPoint *geoArrayAppend(geoArray *ga) {
    if (ga->used == ga->buckets) {
        ga->buckets = (ga->buckets == 0) ? 8 : ga->buckets*2;
        ga->array = zrealloc(ga->array,sizeof(geoPoint)*ga->buckets);
    }
    geoPoint *gp = ga->array+ga->used;
    ga->used++;
    return gp;
}

// Assembly:
pushq %rbx
movq %rdi, %rbx
movq (%rdi), %rax
movq 0x10(%rdi), %rcx
cmpq 0x8(%rdi), %rcx
jne 0x8086f
leaq (%rcx,%rcx), %rdx
testq %rcx, %rcx
movl $0x8, %ecx
cmovneq %rdx, %rcx
movq %rcx, 0x8(%rbx)
shlq $0x3, %rcx
leaq (%rcx,%rcx,4), %rsi
movq %rax, %rdi
callq 0x3837d
movq %rax, (%rbx)
movq 0x10(%rbx), %rcx
leaq (%rcx,%rcx,4), %rdx
leaq (%rax,%rdx,8), %rax
incq %rcx
movq %rcx, 0x10(%rbx)
popq %rbx
retq
// File: /workspace/github_c_makefile_star2_O3/gplessis[P]dotdeb-redis/src/geo.c
// Function: geoArrayFree
void geoArrayFree(geoArray *ga) {
    size_t i;
    for (i = 0; i < ga->used; i++) sdsfree(ga->array[i].member);
    zfree(ga->array);
    zfree(ga);
}

// Assembly:
pushq %r15
pushq %r14
pushq %rbx
movq %rdi, %rbx
cmpq $0x0, 0x10(%rdi)
je 0x808b1
movl $0x20, %r14d
xorl %r15d, %r15d
movq (%rbx), %rax
movq (%rax,%r14), %rdi
callq 0x36330
incq %r15
addq $0x28, %r14
cmpq 0x10(%rbx), %r15
jb 0x80898
movq (%rbx), %rdi
callq 0x38413
movq %rbx, %rdi
popq %rbx
popq %r14
popq %r15
jmp 0x38413
// File: /workspace/github_c_makefile_star2_O3/gplessis[P]dotdeb-redis/src/geo.c
// Function: extractLongLatOrReply
int extractLongLatOrReply(client *c, robj **argv, double *xy) {
    int i;
    for (i = 0; i < 2; i++) {
        if (getDoubleFromObjectOrReply(c, argv[i], xy + i, NULL) !=
            C_OK) {
            return C_ERR;
        }
    }
    if (xy[0] < GEO_LONG_MIN || xy[0] > GEO_LONG_MAX ||
        xy[1] < GEO_LAT_MIN  || xy[1] > GEO_LAT_MAX) {
        addReplySds(c, sdscatprintf(sdsempty(),
            "-ERR invalid longitude,latitude pair %f,%f\r\n",xy[0],xy[1]));
        return C_ERR;
    }
    return C_OK;
}

// Assembly:
pushq %rbp
pushq %r15
pushq %r14
pushq %rbx
pushq %rax
movq %rdx, %r14
movq %rsi, %r15
movq %rdi, %rbx
movb $0x1, %bpl
xorl %eax, %eax
movq (%r15,%rax,8), %rsi
leaq (%r14,%rax,8), %rdx
movq %rbx, %rdi
xorl %ecx, %ecx
callq 0x41418
movl %eax, %ecx
movl $0xffffffff, %eax       # imm = 0xFFFFFFFF
testl %ecx, %ecx
jne 0x80996
movl $0x1, %eax
testb $0x1, %bpl
movl $0x0, %ebp
jne 0x80907
movsd (%r14), %xmm0
andpd 0x4ec6f(%rip), %xmm0    # 0xcf5b0
ucomisd 0x4ec27(%rip), %xmm0    # 0xcf570
ja 0x80965
movsd 0x8(%r14), %xmm0
andpd 0x4ec57(%rip), %xmm0    # 0xcf5b0
xorl %eax, %eax
ucomisd 0x4ec15(%rip), %xmm0    # 0xcf578
jbe 0x80996
callq 0x3628d
movsd (%r14), %xmm0
movsd 0x8(%r14), %xmm1
leaq 0x4ec78(%rip), %rsi     # 0xcf5f4
movq %rax, %rdi
movb $0x2, %al
callq 0x36f2d
movq %rbx, %rdi
movq %rax, %rsi
callq 0x3ca86
movl $0xffffffff, %eax       # imm = 0xFFFFFFFF
addq $0x8, %rsp
popq %rbx
popq %r14
popq %r15
popq %rbp
retq
// File: /workspace/github_c_makefile_star2_O3/gplessis[P]dotdeb-redis/src/geo.c
// Function: longLatFromMember
int longLatFromMember(robj *zobj, robj *member, double *xy) {
    double score = 0;

    if (zsetScore(zobj, member, &score) == C_ERR) return C_ERR;
    if (!decodeGeohash(score, xy)) return C_ERR;
    return C_OK;
}

// Assembly:
pushq %rbx
subq $0x10, %rsp
movq %rdx, %rbx
leaq 0x8(%rsp), %rdx
movq $0x0, (%rdx)
callq 0x51df0
cmpl $-0x1, %eax
je 0x809fc
movsd 0x8(%rsp), %xmm0
cvttsd2si %xmm0, %rax
movq %rax, %rcx
sarq $0x3f, %rcx
subsd 0x4d027(%rip), %xmm0    # 0xcda00
cvttsd2si %xmm0, %rdi
andq %rcx, %rdi
orq %rax, %rdi
movl $0x1a, %esi
movq %rbx, %rdx
callq 0x9db96
movl %eax, %ecx
xorl %eax, %eax
cmpl $0x1, %ecx
sbbl %eax, %eax
jmp 0x80a01
movl $0xffffffff, %eax       # imm = 0xFFFFFFFF
addq $0x10, %rsp
popq %rbx
retq
// File: /workspace/github_c_makefile_star2_O3/gplessis[P]dotdeb-redis/src/geo.c
// Function: extractUnitOrReply
double extractUnitOrReply(client *c, robj *unit) {
    char *u = unit->ptr;

    if (!strcmp(u, "m")) {
        return 1;
    } else if (!strcmp(u, "km")) {
        return 1000;
    } else if (!strcmp(u, "ft")) {
        return 0.3048;
    } else if (!strcmp(u, "mi")) {
        return 1609.34;
    } else {
        addReplyError(c,
            "unsupported unit provided. please use m, km, ft, mi");
        return -1;
    }
}

// Assembly:
movq 0x8(%rsi), %rax
movzbl (%rax), %ecx
cmpl $0x66, %ecx
je 0x80a4d
cmpl $0x6b, %ecx
je 0x80a38
cmpl $0x6d, %ecx
jne 0x80a59
cmpb $0x0, 0x1(%rax)
je 0x80a73
cmpb $0x69, 0x1(%rax)
jne 0x80a59
cmpb $0x0, 0x2(%rax)
jne 0x80a59
movsd 0x4eb59(%rip), %xmm0    # 0xcf590
retq
cmpb $0x6d, 0x1(%rax)
jne 0x80a59
cmpb $0x0, 0x2(%rax)
jne 0x80a59
movsd 0x4eb3c(%rip), %xmm0    # 0xcf588
retq
cmpb $0x74, 0x1(%rax)
jne 0x80a59
cmpb $0x0, 0x2(%rax)
je 0x80a7c
pushq %rax
leaq 0x4ebc0(%rip), %rsi     # 0xcf621
callq 0x3cc06
movsd 0x4eb2a(%rip), %xmm0    # 0xcf598
addq $0x8, %rsp
retq
movsd 0x3ffa5(%rip), %xmm0    # 0xc0a20
retq
movsd 0x4eafc(%rip), %xmm0    # 0xcf580
retq
// File: /workspace/github_c_makefile_star2_O3/gplessis[P]dotdeb-redis/src/geo.c
// Function: extractDistanceOrReply
double extractDistanceOrReply(client *c, robj **argv,
                                     double *conversion) {
    double distance;
    if (getDoubleFromObjectOrReply(c, argv[0], &distance,
                                   "need numeric radius") != C_OK) {
        return -1;
    }

    if (distance < 0) {
        addReplyError(c,"radius cannot be negative");
        return -1;
    }
    
    double to_meters = extractUnitOrReply(c,argv[1]);
    if (to_meters < 0) {
        return -1;
    }

    if (conversion) *conversion = to_meters;
    return distance * to_meters;
}

// Assembly:
pushq %r15
pushq %r14
pushq %rbx
subq $0x10, %rsp
movq %rdx, %rbx
movq %rsi, %r15
movq %rdi, %r14
movq (%rsi), %rsi
leaq 0x4ebb4(%rip), %rcx     # 0xcf655
leaq 0x8(%rsp), %rdx
callq 0x41418
movsd 0x4eae5(%rip), %xmm1    # 0xcf598
testl %eax, %eax
jne 0x80b0d
xorpd %xmm0, %xmm0
ucomisd 0x8(%rsp), %xmm0
jbe 0x80adc
leaq 0x4eb9f(%rip), %rsi     # 0xcf669
movq %r14, %rdi
callq 0x3cc06
movsd 0x4eabe(%rip), %xmm1    # 0xcf598
jmp 0x80b0d
movq 0x8(%r15), %rsi
movq %r14, %rdi
callq 0x80a07
xorpd %xmm1, %xmm1
ucomisd %xmm0, %xmm1
movsd 0x4eaa0(%rip), %xmm1    # 0xcf598
ja 0x80b0d
testq %rbx, %rbx
je 0x80b03
movsd %xmm0, (%rbx)
mulsd 0x8(%rsp), %xmm0
movapd %xmm0, %xmm1
movapd %xmm1, %xmm0
addq $0x10, %rsp
popq %rbx
popq %r14
popq %r15
retq
// File: /workspace/github_c_makefile_star2_O3/gplessis[P]dotdeb-redis/src/geo.c
// Function: geoAppendIfWithinRadius
int geoAppendIfWithinRadius(geoArray *ga, double lon, double lat, double radius, double score, sds member) {
    double distance, xy[2];

    if (!decodeGeohash(score,xy)) return C_ERR; /* Can't decode. */
    /* Note that geohashGetDistanceIfInRadiusWGS84() takes arguments in
     * reverse order: longitude first, latitude later. */
    if (!geohashGetDistanceIfInRadiusWGS84(lon,lat, xy[0], xy[1],
                                           radius, &distance))
    {
        return C_ERR;
    }

    /* Append the new element. */
    geoPoint *gp = geoArrayAppend(ga);
    gp->longitude = xy[0];
    gp->latitude = xy[1];
    gp->dist = distance;
    gp->member = member;
    gp->score = score;
    return C_OK;
}

// Assembly:
pushq %rbp
pushq %r14
pushq %rbx
subq $0x40, %rsp
movq %rsi, %rbx
movsd %xmm2, 0x20(%rsp)
movsd %xmm1, 0x18(%rsp)
movsd %xmm0, 0x10(%rsp)
movq %rdi, %r14
cvttsd2si %xmm3, %rax
movq %rax, %rcx
sarq $0x3f, %rcx
movapd %xmm3, 0x30(%rsp)
movapd %xmm3, %xmm0
subsd 0x4ce68(%rip), %xmm0    # 0xcda00
cvttsd2si %xmm0, %rdi
andq %rcx, %rdi
orq %rax, %rdi
movq %rsp, %rdx
movl $0x1a, %esi
callq 0x9db96
movl $0xffffffff, %ebp       # imm = 0xFFFFFFFF
testl %eax, %eax
je 0x80c1c
movsd (%rsp), %xmm2
movsd 0x8(%rsp), %xmm3
leaq 0x28(%rsp), %rdi
movsd 0x10(%rsp), %xmm0
movsd 0x18(%rsp), %xmm1
movsd 0x20(%rsp), %xmm4
callq 0x9e485
testl %eax, %eax
je 0x80c1c
movq %r14, %rdi
callq 0x80833
movsd (%rsp), %xmm0
movsd %xmm0, (%rax)
movsd 0x8(%rsp), %xmm0
movsd %xmm0, 0x8(%rax)
movsd 0x28(%rsp), %xmm0
movsd %xmm0, 0x10(%rax)
movq %rbx, 0x20(%rax)
movapd 0x30(%rsp), %xmm0
movsd %xmm0, 0x18(%rax)
xorl %ebp, %ebp
movl %ebp, %eax
addq $0x40, %rsp
popq %rbx
popq %r14
popq %rbp
retq
// File: /workspace/github_c_makefile_star2_O3/gplessis[P]dotdeb-redis/src/geo.c
// Function: geoposCommand
void geoposCommand(client *c) {
    int j;

    /* Look up the requested zset */
    robj *zobj = NULL;
    if ((zobj = lookupKeyReadOrReply(c, c->argv[1], shared.emptymultibulk))
        == NULL || checkType(c, zobj, OBJ_ZSET)) return;

    /* Report elements one after the other, using a null bulk reply for
     * missing elements. */
    addReplyMultiBulkLen(c,c->argc-2);
    for (j = 2; j < c->argc; j++) {
        double score;
        if (zsetScore(zobj, c->argv[j], &score) == C_ERR) {
            addReply(c,shared.nullmultibulk);
        } else {
            /* Decode... */
            double xy[2];
            if (!decodeGeohash(score,xy)) {
                addReply(c,shared.nullmultibulk);
                continue;
            }
            addReplyMultiBulkLen(c,2);
            addReplyHumanLongDouble(c,xy[0]);
            addReplyHumanLongDouble(c,xy[1]);
        }
    }
}

// Assembly:
pushq %rbp
pushq %r15
pushq %r14
pushq %r13
pushq %r12
pushq %rbx
subq $0x38, %rsp
movq %rdi, %rbx
movq 0x40(%rdi), %rax
movq 0x8(%rax), %rsi
leaq 0x805ee(%rip), %r13     # 0x102310
movq 0x68(%r13), %rdx
callq 0x41af9
testq %rax, %rax
je 0x81e0f
movq %rax, %r14
movq %rbx, %rdi
movq %rax, %rsi
movl $0x3, %edx
callq 0x40d47
testl %eax, %eax
jne 0x81e0f
movslq 0x38(%rbx), %rsi
addq $-0x2, %rsi
movq %rbx, %rdi
callq 0x3d274
cmpl $0x3, 0x38(%rbx)
jl 0x81e0f
movl $0x2, %ebp
leaq 0x18(%rsp), %r15
leaq 0x20(%rsp), %r12
movq 0x40(%rbx), %rax
movq (%rax,%rbp,8), %rsi
movq %r14, %rdi
movq %r15, %rdx
callq 0x51df0
cmpl $-0x1, %eax
je 0x81df3
movsd 0x18(%rsp), %xmm0
cvttsd2si %xmm0, %rax
movq %rax, %rcx
sarq $0x3f, %rcx
subsd 0x4bc56(%rip), %xmm0    # 0xcda00
cvttsd2si %xmm0, %rdi
andq %rcx, %rdi
orq %rax, %rdi
movl $0x1a, %esi
movq %r12, %rdx
callq 0x9db96
testl %eax, %eax
je 0x81df3
movl $0x2, %esi
movq %rbx, %rdi
callq 0x3d274
fldl 0x20(%rsp)
fstpt (%rsp)
movq %rbx, %rdi
callq 0x3d138
fldl 0x28(%rsp)
fstpt (%rsp)
movq %rbx, %rdi
callq 0x3d138
jmp 0x81dff
movq 0x58(%r13), %rsi
movq %rbx, %rdi
callq 0x3c854
incq %rbp
movslq 0x38(%rbx), %rax
cmpq %rax, %rbp
jl 0x81d78
addq $0x38, %rsp
popq %rbx
popq %r12
popq %r13
popq %r14
popq %r15
popq %rbp
retq
// File: /workspace/github_c_makefile_star2_O3/gplessis[P]dotdeb-redis/src/geo.c
// Function: geodistCommand
void geodistCommand(client *c) {
    double to_meter = 1;

    /* Check if there is the unit to extract, otherwise assume meters. */
    if (c->argc == 5) {
        to_meter = extractUnitOrReply(c,c->argv[4]);
        if (to_meter < 0) return;
    } else if (c->argc > 5) {
        addReply(c,shared.syntaxerr);
        return;
    }

    /* Look up the requested zset */
    robj *zobj = NULL;
    if ((zobj = lookupKeyReadOrReply(c, c->argv[1], shared.emptybulk))
        == NULL || checkType(c, zobj, OBJ_ZSET)) return;

    /* Get the scores. We need both otherwise NULL is returned. */
    double score1, score2, xyxy[4];
    if (zsetScore(zobj, c->argv[2], &score1) == C_ERR ||
        zsetScore(zobj, c->argv[3], &score2) == C_ERR)
    {
        addReply(c,shared.nullbulk);
        return;
    }

    /* Decode & compute the distance. */
    if (!decodeGeohash(score1,xyxy) || !decodeGeohash(score2,xyxy+2))
        addReply(c,shared.nullbulk);
    else
        addReplyDoubleDistance(c,
            geohashGetDistance(xyxy[0],xyxy[1],xyxy[2],xyxy[3]) / to_meter);
}

// Assembly:
pushq %r15
pushq %r14
pushq %rbx
subq $0x40, %rsp
movq %rdi, %rbx
movl 0x38(%rdi), %eax
cmpl $0x5, %eax
jne 0x81e57
movq 0x40(%rbx), %rax
movq 0x20(%rax), %rsi
movq %rbx, %rdi
callq 0x80a07
xorpd %xmm1, %xmm1
movsd %xmm0, 0x8(%rsp)
ucomisd %xmm0, %xmm1
jbe 0x81e86
jmp 0x81faa
jle 0x81e78
leaq 0x804b0(%rip), %rax     # 0x102310
movq 0x80(%rax), %rsi
movq %rbx, %rdi
addq $0x40, %rsp
popq %rbx
popq %r14
popq %r15
jmp 0x3c854
movsd 0x3eba0(%rip), %xmm0    # 0xc0a20
movsd %xmm0, 0x8(%rsp)
movq 0x40(%rbx), %rax
movq 0x8(%rax), %rsi
leaq 0x8047b(%rip), %r15     # 0x102310
movq 0x18(%r15), %rdx
movq %rbx, %rdi
callq 0x41af9
testq %rax, %rax
je 0x81faa
movq %rax, %r14
movq %rbx, %rdi
movq %rax, %rsi
movl $0x3, %edx
callq 0x40d47
testl %eax, %eax
jne 0x81faa
movq 0x40(%rbx), %rax
movq 0x10(%rax), %rsi
leaq 0x18(%rsp), %rdx
movq %r14, %rdi
callq 0x51df0
cmpl $-0x1, %eax
je 0x81f9e
movq 0x40(%rbx), %rax
movq 0x18(%rax), %rsi
leaq 0x10(%rsp), %rdx
movq %r14, %rdi
callq 0x51df0
cmpl $-0x1, %eax
je 0x81f9e
movsd 0x18(%rsp), %xmm0
cvttsd2si %xmm0, %rax
movq %rax, %rcx
sarq $0x3f, %rcx
subsd 0x4bae5(%rip), %xmm0    # 0xcda00
cvttsd2si %xmm0, %rdi
andq %rcx, %rdi
orq %rax, %rdi
leaq 0x20(%rsp), %rdx
movl $0x1a, %esi
callq 0x9db96
testl %eax, %eax
je 0x81f9e
movsd 0x10(%rsp), %xmm0
leaq 0x30(%rsp), %rdx
cvttsd2si %xmm0, %rax
movq %rax, %rcx
sarq $0x3f, %rcx
subsd 0x4baa8(%rip), %xmm0    # 0xcda00
cvttsd2si %xmm0, %rdi
andq %rcx, %rdi
orq %rax, %rdi
movl $0x1a, %esi
callq 0x9db96
testl %eax, %eax
je 0x81f9e
movsd 0x20(%rsp), %xmm0
movsd 0x28(%rsp), %xmm1
movsd 0x30(%rsp), %xmm2
movsd 0x38(%rsp), %xmm3
callq 0x9e372
divsd 0x8(%rsp), %xmm0
movq %rbx, %rdi
callq 0x80b1b
jmp 0x81faa
movq 0x50(%r15), %rsi
movq %rbx, %rdi
callq 0x3c854
addq $0x40, %rsp
popq %rbx
popq %r14
popq %r15
retq
// File: /workspace/github_c_makefile_star2_O3/gplessis[P]dotdeb-redis/deps/hiredis/async.c
// Function: redisvAsyncCommand
int redisvAsyncCommand(redisAsyncContext *ac, redisCallbackFn *fn, void *privdata, const char *format, va_list ap) {
    char *cmd;
    int len;
    int status;
    len = redisvFormatCommand(&cmd,format,ap);
    status = __redisAsyncCommand(ac,fn,privdata,cmd,len);
    free(cmd);
    return status;
}

// Assembly:
pushq %r15
pushq %r14
pushq %r12
pushq %rbx
pushq %rax
movq %rdx, %rbx
movq %rsi, %r14
movq %rdi, %r15
movq %rsp, %r12
movq %r12, %rdi
movq %rcx, %rsi
movq %r8, %rdx
callq 0x8436a
movq (%r12), %rcx
movslq %eax, %r8
movq %r15, %rdi
movq %r14, %rsi
movq %rbx, %rdx
callq 0x82a72
movl %eax, %ebx
movq (%r12), %rdi
callq 0x264d0
movl %ebx, %eax
addq $0x8, %rsp
popq %rbx
popq %r12
popq %r14
popq %r15
retq
// File: /workspace/github_c_makefile_star2_O3/gplessis[P]dotdeb-redis/deps/hiredis/async.c
// Function: redisAsyncCommandArgv
int redisAsyncCommandArgv(redisAsyncContext *ac, redisCallbackFn *fn, void *privdata, int argc, const char **argv, const size_t *argvlen) {
    char *cmd;
    int len;
    int status;
    len = redisFormatCommandArgv(&cmd,argc,argv,argvlen);
    status = __redisAsyncCommand(ac,fn,privdata,cmd,len);
    free(cmd);
    return status;
}

// Assembly:
pushq %r15
pushq %r14
pushq %r12
pushq %rbx
pushq %rax
movq %rdx, %rbx
movq %rsi, %r14
movq %rdi, %r15
movq %rsp, %r12
movq %r12, %rdi
movl %ecx, %esi
movq %r8, %rdx
movq %r9, %rcx
callq 0x84bb1
movq (%r12), %rcx
movslq %eax, %r8
movq %r15, %rdi
movq %r14, %rsi
movq %rbx, %rdx
callq 0x82a72
movl %eax, %ebx
movq (%r12), %rdi
callq 0x264d0
movl %ebx, %eax
addq $0x8, %rsp
popq %rbx
popq %r12
popq %r14
popq %r15
retq
// File: /workspace/github_c_makefile_star2_O3/gplessis[P]dotdeb-redis/deps/hiredis/async.c
// Function: nextArgument
static char *nextArgument(char *start, char **str, size_t *len) {
    char *p = start;
    if (p[0] != '$') {
        p = strchr(p,'$');
        if (p == NULL) return NULL;
    }

    *len = (int)strtol(p+1,NULL,10);
    p = strchr(p,'\r');
    assert(p);
    *str = p+2;
    return p+2+(*len)+2;
}

// Assembly:
pushq %r15
pushq %r14
pushq %r12
pushq %rbx
pushq %rax
movq %rdx, %r14
movq %rsi, %rbx
movq %rdi, %r15
cmpb $0x24, (%rdi)
je 0x82fa5
movq %r15, %rdi
movl $0x24, %esi
callq 0x267f0
movq %rax, %r15
testq %rax, %rax
je 0x82fe7
leaq 0x1(%r15), %rdi
xorl %esi, %esi
movl $0xa, %edx
callq 0x26720
movslq %eax, %r12
movq %r12, (%r14)
movq %r15, %rdi
movl $0xd, %esi
callq 0x267f0
testq %rax, %rax
je 0x82feb
leaq 0x2(%rax), %rcx
movq %rcx, (%rbx)
addq %r12, %rax
addq $0x4, %rax
addq $0x8, %rsp
popq %rbx
popq %r12
popq %r14
popq %r15
retq
xorl %eax, %eax
jmp 0x82fdb
leaq 0x44de3(%rip), %rdi     # 0xc7dd5
leaq 0x4c868(%rip), %rsi     # 0xcf861
leaq 0x4ca55(%rip), %rcx     # 0xcfa55
movl $0x233, %edx            # imm = 0x233
callq 0x262d0
// File: /workspace/github_c_makefile_star2_O3/gplessis[P]dotdeb-redis/deps/lua/src/lua_cjson.c
// Function: luaopen_cjson
int luaopen_cjson(lua_State *l)
{
    lua_cjson_new(l);

#ifdef ENABLE_CJSON_GLOBAL
    /* Register a global "cjson" table. */
    lua_pushvalue(l, -1);
    lua_setglobal(l, CJSON_MODNAME);
#endif

    /* Return cjson table */
    return 1;
}

// Assembly:
pushq %rbx
movq %rdi, %rbx
callq 0x96db5
movq %rbx, %rdi
movl $0xffffffff, %esi       # imm = 0xFFFFFFFF
callq 0x8609a
leaq 0x32fe6(%rip), %rdx     # 0xc9d87
movq %rbx, %rdi
movl $0xffffd8ee, %esi       # imm = 0xFFFFD8EE
callq 0x8693b
movl $0x1, %eax
popq %rbx
retq
// File: /workspace/github_c_makefile_star2_O3/gplessis[P]dotdeb-redis/deps/lua/src/lua_cjson.c
// Function: lua_cjson_safe_new
static int lua_cjson_safe_new(lua_State *l)
{
    const char *func[] = { "decode", "encode", NULL };
    int i;

    lua_cjson_new(l);

    /* Fix new() method */
    lua_pushcfunction(l, lua_cjson_safe_new);
    lua_setfield(l, -2, "new");

    for (i = 0; func[i]; i++) {
        lua_getfield(l, -1, func[i]);
        lua_pushcclosure(l, json_protect_conversion, 1);
        lua_setfield(l, -2, func[i]);
    }

    return 1;
}

// Assembly:
pushq %r15
pushq %r14
pushq %r13
pushq %r12
pushq %rbx
movq %rdi, %rbx
callq 0x96db5
leaq -0x18(%rip), %rsi       # 0x970e1
xorl %r12d, %r12d
movq %rbx, %rdi
xorl %edx, %edx
callq 0x8664f
leaq 0x3a6e1(%rip), %rdx     # 0xd17ee
movq %rbx, %rdi
movl $0xfffffffe, %esi       # imm = 0xFFFFFFFE
callq 0x8693b
leaq 0x63fef(%rip), %r13     # 0xfb110
leaq 0x1579(%rip), %r14      # 0x986a1
movq (%r12,%r13), %r15
movq %rbx, %rdi
movl $0xffffffff, %esi       # imm = 0xFFFFFFFF
movq %r15, %rdx
callq 0x8675f
movq %rbx, %rdi
movq %r14, %rsi
movl $0x1, %edx
callq 0x8664f
movq %rbx, %rdi
movl $0xfffffffe, %esi       # imm = 0xFFFFFFFE
movq %r15, %rdx
callq 0x8693b
addq $0x8, %r12
cmpq $0x10, %r12
jne 0x97128
movl $0x1, %eax
popq %rbx
popq %r12
popq %r13
popq %r14
popq %r15
retq
// File: /workspace/github_c_makefile_star2_O3/gplessis[P]dotdeb-redis/deps/lua/src/lua_cjson.c
// Function: json_encode
static int json_encode(lua_State *l)
{
    json_config_t *cfg = json_fetch_config(l);
    strbuf_t local_encode_buf;
    strbuf_t *encode_buf;
    char *json;
    int len;

    luaL_argcheck(l, lua_gettop(l) == 1, 1, "expected 1 argument");

    if (!cfg->encode_keep_buffer) {
        /* Use private buffer */
        encode_buf = &local_encode_buf;
        strbuf_init(encode_buf, 0);
    } else {
        /* Reuse existing buffer */
        encode_buf = &cfg->encode_buf;
        strbuf_reset(encode_buf);
    }

    json_append_data(l, cfg, 0, encode_buf);
    json = strbuf_string(encode_buf, &len);

    lua_pushlstring(l, json, len);

    if (!cfg->encode_keep_buffer)
        strbuf_free(encode_buf);

    return 1;
}

// Assembly:
pushq %r15
pushq %r14
pushq %rbx
subq $0x20, %rsp
movq %rdi, %rbx
callq 0x974c4
movq %rax, %r14
movq %rbx, %rdi
callq 0x85d4c
cmpl $0x1, %eax
je 0x971aa
leaq 0x3a661(%rip), %rdx     # 0xd17fe
movq %rbx, %rdi
movl $0x1, %esi
callq 0x91090
cmpl $0x0, 0x538(%r14)
je 0x971cb
movq %r14, %r15
addq $0x500, %r15            # imm = 0x500
movl $0x0, 0x50c(%r14)
jmp 0x971d8
movq %rsp, %r15
movq %r15, %rdi
xorl %esi, %esi
callq 0x9cf7c
movq %rbx, %rdi
movq %r14, %rsi
xorl %edx, %edx
movq %r15, %rcx
callq 0x974f9
movslq 0xc(%r15), %rdx
movq (%r15), %rsi
movq %rbx, %rdi
callq 0x864ca
cmpl $0x0, 0x538(%r14)
jne 0x97209
movq %r15, %rdi
callq 0x9d0c9
movl $0x1, %eax
addq $0x20, %rsp
popq %rbx
popq %r14
popq %r15
retq
// File: /workspace/github_c_makefile_star2_O3/gplessis[P]dotdeb-redis/deps/lua/src/lua_cjson.c
// Function: json_decode
static int json_decode(lua_State *l)
{
    json_parse_t json;
    json_token_t token;
    size_t json_len;

    luaL_argcheck(l, lua_gettop(l) == 1, 1, "expected 1 argument");

    json.cfg = json_fetch_config(l);
    json.data = luaL_checklstring(l, 1, &json_len);
    json.current_depth = 0;
    json.ptr = json.data;

    /* Detect Unicode other than UTF-8 (see RFC 4627, Sec 3)
     *
     * CJSON can support any simple data type, hence only the first
     * character is guaranteed to be ASCII (at worst: '"'). This is
     * still enough to detect whether the wrong encoding is in use. */
    if (json_len >= 2 && (!json.data[0] || !json.data[1]))
        luaL_error(l, "JSON parser does not support UTF-16 or UTF-32");

    /* Ensure the temporary buffer can hold the entire string.
     * This means we no longer need to do length checks since the decoded
     * string must be smaller than the entire json string */
    json.tmp = strbuf_new(json_len);

    json_next_token(&json, &token);
    json_process_value(l, &json, &token);

    /* Ensure there is no more input left */
    json_next_token(&json, &token);

    if (token.type != T_END)
        json_throw_parse_error(l, &json, "the end", &token);

    strbuf_free(json.tmp);

    return 1;
}

// Assembly:
pushq %r15
pushq %r14
pushq %rbx
subq $0x50, %rsp
movq %rdi, %rbx
callq 0x85d4c
cmpl $0x1, %eax
je 0x97242
leaq 0x3a5c9(%rip), %rdx     # 0xd17fe
movq %rbx, %rdi
movl $0x1, %esi
callq 0x91090
movq %rbx, %rdi
callq 0x974c4
movq %rax, 0x28(%rsp)
leaq 0x8(%rsp), %r14
movq %rbx, %rdi
movl $0x1, %esi
movq %r14, %rdx
callq 0x91394
movq %rax, 0x10(%rsp)
movl $0x0, 0x30(%rsp)
movq %rax, 0x18(%rsp)
movq (%r14), %rdi
cmpq $0x2, %rdi
jb 0x972a0
cmpb $0x0, (%rax)
je 0x9728a
cmpb $0x0, 0x1(%rax)
jne 0x972a0
leaq 0x3a723(%rip), %rsi     # 0xd19b4
movq %rbx, %rdi
xorl %eax, %eax
callq 0x91147
movq 0x8(%rsp), %rdi
callq 0x9d06b
leaq 0x10(%rsp), %r14
movq %rax, 0x10(%r14)
leaq 0x38(%rsp), %r15
movq %r14, %rdi
movq %r15, %rsi
callq 0x97c96
movq %rbx, %rdi
movq %r14, %rsi
movq %r15, %rdx
callq 0x980cd
movq %r14, %rdi
movq %r15, %rsi
callq 0x97c96
cmpl $0xa, (%r15)
je 0x972f6
movq 0x20(%rsp), %rsi
leaq 0x3a6f9(%rip), %rdx     # 0xd19e2
leaq 0x38(%rsp), %rcx
movq %rbx, %rdi
callq 0x98338
movq 0x20(%rsp), %rdi
callq 0x9d0c9
movl $0x1, %eax
addq $0x50, %rsp
popq %rbx
popq %r14
popq %r15
retq
// File: /workspace/github_c_makefile_star2_O3/gplessis[P]dotdeb-redis/deps/lua/src/lua_cjson.c
// Function: json_cfg_encode_sparse_array
static int json_cfg_encode_sparse_array(lua_State *l)
{
    json_config_t *cfg = json_arg_init(l, 3);

    json_enum_option(l, 1, &cfg->encode_sparse_convert, NULL, 1);
    json_integer_option(l, 2, &cfg->encode_sparse_ratio, 0, INT_MAX);
    json_integer_option(l, 3, &cfg->encode_sparse_safe, 0, INT_MAX);

    return 3;
}

// Assembly:
pushq %r14
pushq %rbx
pushq %rax
movq %rdi, %rbx
movl $0x3, %esi
callq 0x98523
movq %rax, %r14
leaq 0x520(%rax), %rsi
movq %rbx, %rdi
xorl %edx, %edx
callq 0x98570
leaq 0x524(%r14), %rdx
movq %rbx, %rdi
movl $0x2, %esi
xorl %ecx, %ecx
movl $0x7fffffff, %r8d       # imm = 0x7FFFFFFF
callq 0x985f1
addq $0x528, %r14            # imm = 0x528
movq %rbx, %rdi
movl $0x3, %esi
movq %r14, %rdx
xorl %ecx, %ecx
movl $0x7fffffff, %r8d       # imm = 0x7FFFFFFF
callq 0x985f1
movl $0x3, %eax
addq $0x8, %rsp
popq %rbx
popq %r14
retq
// File: /workspace/github_c_makefile_star2_O3/gplessis[P]dotdeb-redis/deps/lua/src/lua_cjson.c
// Function: json_cfg_encode_keep_buffer
static int json_cfg_encode_keep_buffer(lua_State *l)
{
    json_config_t *cfg = json_arg_init(l, 1);
    int old_value;

    old_value = cfg->encode_keep_buffer;

    json_enum_option(l, 1, &cfg->encode_keep_buffer, NULL, 1);

    /* Init / free the buffer if the setting has changed */
    if (old_value ^ cfg->encode_keep_buffer) {
        if (cfg->encode_keep_buffer)
            strbuf_init(&cfg->encode_buf, 0);
        else
            strbuf_free(&cfg->encode_buf);
    }

    return 1;
}

// Assembly:
pushq %rbp
pushq %r14
pushq %rbx
movq %rdi, %r14
movl $0x1, %esi
callq 0x98523
movq %rax, %rbx
leaq 0x538(%rax), %rsi
movl 0x538(%rax), %ebp
movq %r14, %rdi
xorl %edx, %edx
callq 0x98570
movl 0x538(%rbx), %eax
cmpl %eax, %ebp
je 0x97469
addq $0x500, %rbx            # imm = 0x500
movq %rbx, %rdi
testl %eax, %eax
je 0x97464
xorl %esi, %esi
callq 0x9cf7c
jmp 0x97469
callq 0x9d0c9
movl $0x1, %eax
popq %rbx
popq %r14
popq %rbp
retq
// File: /workspace/github_c_makefile_star2_O3/gplessis[P]dotdeb-redis/deps/lua/src/lua_cjson.c
// Function: json_fetch_config
static json_config_t *json_fetch_config(lua_State *l)
{
    json_config_t *cfg;

    cfg = lua_touserdata(l, lua_upvalueindex(1));
    if (!cfg)
        luaL_error(l, "BUG: Unable to fetch CJSON configuration");

    return cfg;
}

// Assembly:
pushq %r14
pushq %rbx
pushq %rax
movq %rdi, %r14
movl $0xffffd8ed, %esi       # imm = 0xFFFFD8ED
callq 0x863eb
movq %rax, %rbx
testq %rax, %rax
jne 0x974ee
leaq 0x3a32e(%rip), %rsi     # 0xd1812
movq %r14, %rdi
xorl %eax, %eax
callq 0x91147
movq %rbx, %rax
addq $0x8, %rsp
popq %rbx
popq %r14
retq
// File: /workspace/github_c_makefile_star2_O3/gplessis[P]dotdeb-redis/deps/lua/src/lua_cjson.c
// Function: json_append_string
static void json_append_string(lua_State *l, strbuf_t *json, int lindex)
{
    const char *escstr;
    int i;
    const char *str;
    size_t len;

    str = lua_tolstring(l, lindex, &len);

    /* Worst case is len * 6 (all unicode escapes).
     * This buffer is reused constantly for small strings
     * If there are any excess pages, they won't be hit anyway.
     * This gains ~5% speedup. */
    strbuf_ensure_empty_length(json, len * 6 + 2);

    strbuf_append_char_unsafe(json, '\"');
    for (i = 0; i < len; i++) {
        escstr = char2escape[(unsigned char)str[i]];
        if (escstr)
            strbuf_append_string(json, escstr);
        else
            strbuf_append_char_unsafe(json, str[i]);
    }
    strbuf_append_char_unsafe(json, '\"');
}

// Assembly:
pushq %r15
pushq %r14
pushq %r12
pushq %rbx
pushq %rax
movq %rsi, %rbx
movq %rsp, %r15
movl %edx, %esi
movq %r15, %rdx
callq 0x862f8
movq %rax, %r14
movl (%r15), %eax
leal (%rax,%rax,2), %eax
leal 0x2(,%rax,2), %esi
movl 0xc(%rbx), %eax
movl %eax, %ecx
notl %ecx
addl 0x8(%rbx), %ecx
cmpl %esi, %ecx
jge 0x97a81
addl %eax, %esi
movq %rbx, %rdi
callq 0x9d14d
movl 0xc(%rbx), %eax
movq (%rbx), %rcx
leal 0x1(%rax), %edx
movl %edx, 0xc(%rbx)
cltq
movb $0x22, (%rcx,%rax)
cmpq $0x0, (%rsp)
je 0x97ad2
xorl %r15d, %r15d
leaq 0x62def(%rip), %r12     # 0xfa890
movzbl (%r14,%r15), %eax
movq (%r12,%rax,8), %rsi
testq %rsi, %rsi
je 0x97ab9
movq %rbx, %rdi
callq 0x9d1e4
jmp 0x97ac9
movq (%rbx), %rcx
movslq 0xc(%rbx), %rdx
leal 0x1(%rdx), %esi
movl %esi, 0xc(%rbx)
movb %al, (%rcx,%rdx)
incq %r15
cmpq %r15, (%rsp)
ja 0x97aa1
movq (%rbx), %rax
movslq 0xc(%rbx), %rcx
leal 0x1(%rcx), %edx
movl %edx, 0xc(%rbx)
movb $0x22, (%rax,%rcx)
addq $0x8, %rsp
popq %rbx
popq %r12
popq %r14
popq %r15
retq
// File: /workspace/github_c_makefile_star2_O3/gplessis[P]dotdeb-redis/deps/lua/src/lua_cjson.c
// Function: json_append_number
static void json_append_number(lua_State *l, json_config_t *cfg,
                               strbuf_t *json, int lindex)
{
    double num = lua_tonumber(l, lindex);
    int len;

    if (cfg->encode_invalid_numbers == 0) {
        /* Prevent encoding invalid numbers */
        if (isinf(num) || isnan(num))
            json_encode_exception(l, cfg, json, lindex, "must not be NaN or Inf");
    } else if (cfg->encode_invalid_numbers == 1) {
        /* Encode invalid numbers, but handle "nan" separately
         * since some platforms may encode as "-nan". */
        if (isnan(num)) {
            strbuf_append_mem(json, "nan", 3);
            return;
        }
    } else {
        /* Encode invalid numbers as "null" */
        if (isinf(num) || isnan(num)) {
            strbuf_append_mem(json, "null", 4);
            return;
        }
    }

    strbuf_ensure_empty_length(json, FPCONV_G_FMT_BUFSIZE);
    len = fpconv_g_fmt(strbuf_empty_ptr(json), num, cfg->encode_number_precision);
    strbuf_extend_length(json, len);
}

// Assembly:
pushq %rbp
pushq %r15
pushq %r14
pushq %rbx
pushq %rax
movl %ecx, %ebp
movq %rdx, %rbx
movq %rsi, %r14
movq %rdi, %r15
movl %ecx, %esi
callq 0x86274
movl 0x530(%r14), %eax
cmpl $0x1, %eax
je 0x97b5c
testl %eax, %eax
jne 0x97b80
movq %xmm0, %rax
btrq $0x3f, %rax
movabsq $0x7ff0000000000000, %rcx # imm = 0x7FF0000000000000
cmpq %rcx, %rax
jl 0x97bc7
movl 0x538(%r14), %esi
leaq 0x39ddb(%rip), %r8      # 0xd191e
movq %r15, %rdi
movq %rbx, %rdx
movl %ebp, %ecx
movq %xmm0, (%rsp)
callq 0x97c4f
movsd (%rsp), %xmm0
jmp 0x97bc7
ucomisd %xmm0, %xmm0
jnp 0x97bc7
leaq 0x28f23(%rip), %rsi     # 0xc0a8c
movq %rbx, %rdi
movl $0x3, %edx
addq $0x8, %rsp
popq %rbx
popq %r14
popq %r15
popq %rbp
jmp 0x97c0c
movq %xmm0, %rax
btrq $0x3f, %rax
movabsq $0x7ff0000000000000, %rcx # imm = 0x7FF0000000000000
cmpq %rcx, %rax
jl 0x97bc7
movl 0xc(%rbx), %esi
movl %esi, %eax
subl 0x8(%rbx), %eax
cmpl $-0x4, %eax
jl 0x97bb4
addl $0x4, %esi
movq %rbx, %rdi
callq 0x9d14d
movl 0xc(%rbx), %esi
movq (%rbx), %rax
movslq %esi, %rcx
movl $0x6c6c756e, (%rax,%rcx) # imm = 0x6C6C756E
addl $0x4, 0xc(%rbx)
jmp 0x97c01
movl 0xc(%rbx), %esi
movl %esi, %eax
subl 0x8(%rbx), %eax
cmpl $-0x20, %eax
jl 0x97bec
addl $0x20, %esi
movq %rbx, %rdi
movsd %xmm0, (%rsp)
callq 0x9d14d
movsd (%rsp), %xmm0
movl 0xc(%rbx), %esi
movslq %esi, %rdi
addq (%rbx), %rdi
movl 0x534(%r14), %esi
callq 0x9d55c
addl %eax, 0xc(%rbx)
addq $0x8, %rsp
popq %rbx
popq %r14
popq %r15
popq %rbp
retq
// File: /workspace/github_c_makefile_star2_O3/gplessis[P]dotdeb-redis/deps/lua/src/lua_cjson.c
// Function: json_encode_exception
static void json_encode_exception(lua_State *l, json_config_t *cfg, strbuf_t *json, int lindex,
                                  const char *reason)
{
    if (!cfg->encode_keep_buffer)
        strbuf_free(json);
    luaL_error(l, "Cannot serialise %s: %s",
                  lua_typename(l, lua_type(l, lindex)), reason);
}

// Assembly:
pushq %rbp
pushq %r14
pushq %rbx
movq %r8, %rbx
movl %ecx, %ebp
movq %rdi, %r14
testl %esi, %esi
jne 0x97c67
movq %rdx, %rdi
callq 0x9d0c9
movq %r14, %rdi
movl %ebp, %esi
callq 0x860ba
movq %r14, %rdi
movl %eax, %esi
callq 0x860d8
leaq 0x39d1a(%rip), %rsi     # 0xd199c
movq %r14, %rdi
movq %rax, %rdx
movq %rbx, %rcx
xorl %eax, %eax
popq %rbx
popq %r14
popq %rbp
jmp 0x91147
// File: /workspace/github_c_makefile_star2_O3/gplessis[P]dotdeb-redis/deps/lua/src/lua_cjson.c
// Function: json_throw_parse_error
static void json_throw_parse_error(lua_State *l, json_parse_t *json,
                                   const char *exp, json_token_t *token)
{
    const char *found;

    strbuf_free(json->tmp);

    if (token->type == T_ERROR)
        found = token->value.string;
    else
        found = json_token_type_name[token->type];

    /* Note: token->index is 0 based, display starting from 1 */
    luaL_error(l, "Expected %s but found %s at character %d",
               exp, found, token->index + 1);
}

// Assembly:
pushq %r15
pushq %r14
pushq %rbx
movq %rcx, %rbx
movq %rdx, %r14
movq %rdi, %r15
movq %rsi, %rdi
callq 0x9d0c9
movl (%rbx), %eax
movl 0x4(%rbx), %r8d
addq $0x8, %rbx
cmpq $0xc, %rax
leaq 0x62d2d(%rip), %rcx     # 0xfb090
leaq (%rcx,%rax,8), %rax
cmoveq %rbx, %rax
movq (%rax), %rcx
incl %r8d
leaq 0x397ac(%rip), %rsi     # 0xd1b24
movq %r15, %rdi
movq %r14, %rdx
xorl %eax, %eax
popq %rbx
popq %r14
popq %r15
jmp 0x91147
// File: /workspace/github_c_makefile_star2_O3/gplessis[P]dotdeb-redis/deps/lua/src/lua_cjson.c
// Function: json_is_invalid_number
static int json_is_invalid_number(json_parse_t *json)
{
    const char *p = json->ptr;

    /* Reject numbers starting with + */
    if (*p == '+')
        return 1;

    /* Skip minus sign if it exists */
    if (*p == '-')
        p++;

    /* Reject numbers starting with 0x, or leading zeros */
    if (*p == '0') {
        int ch2 = *(p + 1);

        if ((ch2 | 0x20) == 'x' ||          /* Hex */
            ('0' <= ch2 && ch2 <= '9'))     /* Leading zero */
            return 1;

        return 0;
    } else if (*p <= '9') {
        return 0;                           /* Ordinary number */
    }

    /* Reject inf/nan */
    if (!strncasecmp(p, "inf", 3))
        return 1;
    if (!strncasecmp(p, "nan", 3))
        return 1;

    /* Pass all other numbers which may still be invalid, but
     * strtod() will catch them. */
    return 0;
}

// Assembly:
pushq %rbp
pushq %rbx
pushq %rax
movzbl (%rdi), %eax
movb $0x1, %bpl
cmpl $0x2b, %eax
je 0x983ff
movq %rdi, %rbx
cmpl $0x2d, %eax
jne 0x983a6
movb 0x1(%rbx), %al
incq %rbx
cmpb $0x30, %al
jne 0x983c5
movb 0x1(%rbx), %al
movl %eax, %ecx
andb $-0x21, %cl
cmpb $0x58, %cl
sete %cl
addb $-0x30, %al
cmpb $0xa, %al
setb %bpl
orb %cl, %bpl
jmp 0x983ff
cmpb $0x3a, %al
jge 0x983cd
xorl %ebp, %ebp
jmp 0x983ff
leaq 0x27bd7(%rip), %rsi     # 0xbffab
movl $0x3, %edx
movq %rbx, %rdi
callq 0x268d0
testl %eax, %eax
je 0x983ff
leaq 0x286a0(%rip), %rsi     # 0xc0a8c
movl $0x3, %edx
movq %rbx, %rdi
callq 0x268d0
testl %eax, %eax
sete %bpl
movzbl %bpl, %eax
addq $0x8, %rsp
popq %rbx
popq %rbp
retq
// File: /workspace/github_c_makefile_star2_O3/gplessis[P]dotdeb-redis/deps/lua/src/lua_cjson.c
// Function: json_next_number_token
static void json_next_number_token(json_parse_t *json, json_token_t *token)
{
    char *endptr;

    token->type = T_NUMBER;
    token->value.number = fpconv_strtod(json->ptr, &endptr);
    if (json->ptr == endptr)
        json_set_token_error(token, json, "invalid number");
    else
        json->ptr = endptr;     /* Skip the processed number */

    return;
}

// Assembly:
pushq %r15
pushq %r14
pushq %rbx
subq $0x10, %rsp
movq %rsi, %rbx
movq %rdi, %r14
movl $0x5, (%rsi)
movq 0x8(%rdi), %rdi
leaq 0x8(%rsp), %r15
movq %r15, %rsi
callq 0x9d43c
movsd %xmm0, 0x8(%rbx)
movq 0x8(%r14), %rax
movq (%r15), %rcx
cmpq %rcx, %rax
je 0x98447
movq %rcx, 0x8(%r14)
jmp 0x9845e
subl (%r14), %eax
movl $0xc, (%rbx)
movl %eax, 0x4(%rbx)
leaq 0x3959e(%rip), %rax     # 0xd19f8
movq %rax, 0x8(%rbx)
addq $0x10, %rsp
popq %rbx
popq %r14
popq %r15
retq
// File: /workspace/github_c_makefile_star2_O3/gplessis[P]dotdeb-redis/deps/lua/src/lua_cjson.c
// Function: decode_hex4
static int decode_hex4(const char *hex)
{
    int digit[4];
    int i;

    /* Convert ASCII hex digit to numeric digit
     * Note: this returns an error for invalid hex digits, including
     *       NULL */
    for (i = 0; i < 4; i++) {
        digit[i] = hexdigit2int(hex[i]);
        if (digit[i] < 0) {
            return -1;
        }
    }

    return (digit[0] << 12) +
           (digit[1] << 8) +
           (digit[2] << 4) +
            digit[3];
}

// Assembly:
xorl %eax, %eax
movb (%rdi,%rax), %cl
leal -0x30(%rcx), %esi
movl $0xffffffd0, %edx       # imm = 0xFFFFFFD0
cmpb $0xa, %sil
jb 0x9848c
orb $0x20, %cl
leal -0x61(%rcx), %esi
movl $0xffffffa9, %edx       # imm = 0xFFFFFFA9
cmpb $0x5, %sil
ja 0x984bc
movzbl %cl, %ecx
addl %edx, %ecx
movl %ecx, -0x18(%rsp,%rax,4)
incq %rax
cmpq $0x4, %rax
jne 0x9846a
movl -0x18(%rsp), %eax
movl -0x14(%rsp), %ecx
shll $0xc, %eax
shll $0x8, %ecx
addl %eax, %ecx
movl -0x10(%rsp), %eax
shll $0x4, %eax
addl %ecx, %eax
addl -0xc(%rsp), %eax
retq
movl $0xffffffff, %eax       # imm = 0xFFFFFFFF
retq
// File: /workspace/github_c_makefile_star2_O3/gplessis[P]dotdeb-redis/deps/lua/src/lua_cjson.c
// Function: json_decode_descend
static void json_decode_descend(lua_State *l, json_parse_t *json, int slots)
{
    json->current_depth++;

    if (json->current_depth <= json->cfg->decode_max_depth &&
        lua_checkstack(l, slots)) {
        return;
    }

    strbuf_free(json->tmp);
    luaL_error(l, "Found too many nested data structures (%d) at character %d",
        json->current_depth, json->ptr - json->data);
}

// Assembly:
pushq %r14
pushq %rbx
pushq %rax
movq %rsi, %r14
movq %rdi, %rbx
movl 0x20(%rsi), %eax
leal 0x1(%rax), %ecx
movl %ecx, 0x20(%rsi)
movq 0x18(%rsi), %rcx
cmpl 0x540(%rcx), %eax
jge 0x984f7
movq %rbx, %rdi
movl %edx, %esi
callq 0x85c3e
testl %eax, %eax
je 0x984f7
addq $0x8, %rsp
popq %rbx
popq %r14
retq
movq 0x10(%r14), %rdi
callq 0x9d0c9
movl 0x20(%r14), %edx
movq 0x8(%r14), %rcx
subq (%r14), %rcx
leaq 0x395c4(%rip), %rsi     # 0xd1ad6
movq %rbx, %rdi
xorl %eax, %eax
addq $0x8, %rsp
popq %rbx
popq %r14
jmp 0x91147
// File: /workspace/github_c_makefile_star2_O3/gplessis[P]dotdeb-redis/deps/lua/src/lua_cjson.c
// Function: json_arg_init
static json_config_t *json_arg_init(lua_State *l, int args)
{
    luaL_argcheck(l, lua_gettop(l) <= args, args + 1,
                  "found too many arguments");

    while (lua_gettop(l) < args)
        lua_pushnil(l);

    return json_fetch_config(l);
}

// Assembly:
pushq %r14
pushq %rbx
pushq %rax
movl %esi, %r14d
movq %rdi, %rbx
callq 0x85d4c
cmpl %r14d, %eax
jle 0x98554
leal 0x1(%r14), %esi
leaq 0x3968f(%rip), %rdx     # 0xd1bd1
movq %rbx, %rdi
callq 0x91090
jmp 0x98554
movq %rbx, %rdi
callq 0x86487
movq %rbx, %rdi
callq 0x85d4c
cmpl %r14d, %eax
jl 0x9854c
movq %rbx, %rdi
addq $0x8, %rsp
popq %rbx
popq %r14
jmp 0x974c4
// File: /workspace/github_c_makefile_star2_O3/gplessis[P]dotdeb-redis/deps/lua/src/lua_cjson.c
// Function: json_enum_option
static int json_enum_option(lua_State *l, int optindex, int *setting,
                            const char **options, int bool_true)
{
    static const char *bool_options[] = { "off", "on", NULL };

    if (!options) {
        options = bool_options;
        bool_true = 1;
    }

    if (!lua_isnil(l, optindex)) {
        if (bool_true && lua_isboolean(l, optindex))
            *setting = lua_toboolean(l, optindex) * bool_true;
        else
            *setting = luaL_checkoption(l, optindex, NULL, options);
    }

    if (bool_true && (*setting == 0 || *setting == bool_true))
        lua_pushboolean(l, *setting);
    else
        lua_pushstring(l, options[*setting]);

    return 1;
}

// Assembly:
pushq %r15
pushq %r14
pushq %rbx
movq %rsi, %r15
movq %rdi, %rbx
testq %rdx, %rdx
leaq 0x6923b(%rip), %r14     # 0x1017c0
cmovneq %rdx, %r14
movl $0x1, %esi
callq 0x860ba
testl %eax, %eax
je 0x985b8
movq %rbx, %rdi
movl $0x1, %esi
callq 0x860ba
movq %rbx, %rdi
movl $0x1, %esi
cmpl $0x1, %eax
jne 0x985bd
callq 0x862d2
jmp 0x985c7
movl (%r15), %eax
jmp 0x985ca
xorl %edx, %edx
movq %r14, %rcx
callq 0x912aa
movl %eax, (%r15)
cmpl $0x1, %eax
ja 0x985de
movq %rbx, %rdi
movl %eax, %esi
popq %rbx
popq %r14
popq %r15
jmp 0x866ed
cltq
movq (%r14,%rax,8), %rsi
movq %rbx, %rdi
popq %rbx
popq %r14
popq %r15
jmp 0x86521