// File: /workspace/github_c_makefile_star2_O2/nilyang[P]redis-tdd-annotation/src/redis.c
// Function: evictionPoolPopulate
void evictionPoolPopulate(dict *sampledict, dict *keydict, struct evictionPoolEntry *pool) {
    int j, k, count;
    dictEntry *_samples[EVICTION_SAMPLES_ARRAY_SIZE];
    dictEntry **samples;

    /* Try to use a static buffer: this function is a big hit...
     * Note: it was actually measured that this helps. */
    if (server.maxmemory_samples <= EVICTION_SAMPLES_ARRAY_SIZE) {
        samples = _samples;
    } else {
        samples = zmalloc(sizeof(samples[0])*server.maxmemory_samples);
    }

#if 1 /* Use bulk get by default. */
    count = dictGetRandomKeys(sampledict,samples,server.maxmemory_samples);
#else
    count = server.maxmemory_samples;
    for (j = 0; j < count; j++) samples[j] = dictGetRandomKey(sampledict);
#endif

    for (j = 0; j < count; j++) {
        unsigned long long idle;
        sds key;
        robj *o;
        dictEntry *de;

        de = samples[j];
        key = dictGetKey(de);
        /* If the dictionary we are sampling from is not the main
         * dictionary (but the expires one) we need to lookup the key
         * again in the key dictionary to obtain the value object. */
        if (sampledict != keydict) de = dictFind(keydict, key);
        o = dictGetVal(de);
        idle = estimateObjectIdleTime(o);

        /* Insert the element inside the pool.
         * First, find the first empty bucket or the first populated
         * bucket that has an idle time smaller than our idle time. */
        k = 0;
        while (k < REDIS_EVICTION_POOL_SIZE &&
               pool[k].key &&
               pool[k].idle < idle) k++;
        if (k == 0 && pool[REDIS_EVICTION_POOL_SIZE-1].key != NULL) {
            /* Can't insert if the element is < the worst element we have
             * and there are no empty buckets. */
            continue;
        } else if (k < REDIS_EVICTION_POOL_SIZE && pool[k].key == NULL) {
            /* Inserting into empty position. No setup needed before insert. */
        } else {
            /* Inserting in the middle. Now k points to the first element
             * greater than the element to insert.  */
            if (pool[REDIS_EVICTION_POOL_SIZE-1].key == NULL) {
                /* Free space on the right? Insert at k shifting
                 * all the elements from k to end to the right. */
                memmove(pool+k+1,pool+k,
                    sizeof(pool[0])*(REDIS_EVICTION_POOL_SIZE-k-1));
            } else {
                /* No free space on right? Insert at k-1 */
                k--;
                /* Shift all elements on the left of k (included) to the
                 * left, so we discard the element with smaller idle time. */
                sdsfree(pool[0].key);
                memmove(pool,pool+1,sizeof(pool[0])*k);
            }
        }
        pool[k].key = sdsdup(key);
        pool[k].idle = idle;
    }
    if (samples != _samples) zfree(samples);
}

// Assembly:
pushq %rbp
pushq %r15
pushq %r14
pushq %r13
pushq %r12
pushq %rbx
subq $0xb8, %rsp
movq %rdx, %rbx
movq %rsi, %r12
movq %rdi, %rbp
movslq 0xa0fe3(%rip), %rdx     # 0xc76d4
cmpq $0x11, %rdx
jge 0x266fe
leaq 0x30(%rsp), %r14
jmp 0x26713
shlq $0x3, %rdx
movq %rdx, %rdi
callq 0x2828d
movq %rax, %r14
movl 0xa0fc1(%rip), %edx     # 0xc76d4
movq %rbp, %rdi
movq %r14, %rsi
callq 0x220f9
leaq 0x8(%rbx), %rcx
movq %rcx, 0x10(%rsp)
leaq 0x10(%rbx), %rcx
movq %rcx, (%rsp)
xorl %r13d, %r13d
testl %eax, %eax
cmovlel %r13d, %eax
movq %rax, 0x20(%rsp)
movq %rbp, 0x8(%rsp)
movq %r14, 0x18(%rsp)
cmpq 0x20(%rsp), %r13
je 0x26847
movq (%r14,%r13,8), %rax
movq (%rax), %r14
cmpq %r12, %rbp
je 0x26769
movq %r12, %rdi
movq %r14, %rsi
callq 0x21b64
movq %r14, 0x28(%rsp)
movq 0x8(%rax), %rdi
callq 0x2f6bb
movq %rax, %r15
movq 0x10(%rsp), %rax
xorl %r14d, %r14d
cmpq $0x10, %r14
je 0x267ae
cmpq $0x0, (%rax)
je 0x2679d
cmpq %r15, -0x8(%rax)
jae 0x2679d
incq %r14
addq $0x10, %rax
jmp 0x26782
testq %r14, %r14
je 0x26838
cmpq $0x0, (%rax)
jne 0x267b4
jmp 0x26811
pushq $0x10
popq %rax
movl %eax, %r14d
cmpq $0x0, 0xf8(%rbx)
je 0x267ec
movq %r12, %rbp
movslq %r14d, %r12
decl %r14d
shlq $0x4, %r12
movq 0x8(%rbx), %rdi
callq 0x271f7
addq $-0x10, %r12
movq %rbx, %rdi
movq (%rsp), %rsi
movq %r12, %rdx
movq %rbp, %r12
movq 0x8(%rsp), %rbp
jmp 0x2680c
movl %r14d, %eax
shlq $0x4, %rax
leaq (%rbx,%rax), %rsi
leaq (%rbx,%rax), %rdi
addq $0x10, %rdi
pushq $0xf
popq %rax
subl %r14d, %eax
movslq %eax, %rdx
shlq $0x4, %rdx
callq 0x1f780
movq 0x28(%rsp), %rdi
callq 0x271ee
movslq %r14d, %rcx
shlq $0x4, %rcx
movq %rax, 0x8(%rbx,%rcx)
movq %r15, (%rbx,%rcx)
incq %r13
movq 0x18(%rsp), %r14
jmp 0x26747
cmpq $0x0, 0xf8(%rbx)
jne 0x2682b
jmp 0x267a6
leaq 0x30(%rsp), %rax
cmpq %rax, %r14
je 0x26859
movq %r14, %rdi
callq 0x283cd
addq $0xb8, %rsp
popq %rbx
popq %r12
popq %r13
popq %r14
popq %r15
popq %rbp
retq