// File: /workspace/github_c_makefile_star2_O1/zhou-yuxin[P]redis-aof-no-cow/src/t_zset.c
// Function: zuiFind
int zuiFind(zsetopsrc *op, zsetopval *val, double *score) {
    if (op->subject == NULL)
        return 0;

    if (op->type == OBJ_SET) {
        if (op->encoding == OBJ_ENCODING_INTSET) {
            if (zuiLongLongFromValue(val) &&
                intsetFind(op->subject->ptr,val->ell))
            {
                *score = 1.0;
                return 1;
            } else {
                return 0;
            }
        } else if (op->encoding == OBJ_ENCODING_HT) {
            dict *ht = op->subject->ptr;
            zuiObjectFromValue(val);
            if (dictFind(ht,val->ele) != NULL) {
                *score = 1.0;
                return 1;
            } else {
                return 0;
            }
        } else {
            serverPanic("Unknown set encoding");
        }
    } else if (op->type == OBJ_ZSET) {
        zuiObjectFromValue(val);

        if (op->encoding == OBJ_ENCODING_ZIPLIST) {
            if (zzlFind(op->subject->ptr,val->ele,score) != NULL) {
                /* Score is already set by zzlFind. */
                return 1;
            } else {
                return 0;
            }
        } else if (op->encoding == OBJ_ENCODING_SKIPLIST) {
            zset *zs = op->subject->ptr;
            dictEntry *de;
            if ((de = dictFind(zs->dict,val->ele)) != NULL) {
                *score = *(double*)dictGetVal(de);
                return 1;
            } else {
                return 0;
            }
        } else {
            serverPanic("Unknown sorted set encoding");
        }
    } else {
        serverPanic("Unsupported type");
    }
}

// Assembly:
pushq %r15
pushq %r14
pushq %r12
pushq %rbx
pushq %rax
movq (%rdi), %rax
xorl %ebx, %ebx
testq %rax, %rax
je 0x56c11
movq %rdx, %r14
movq %rsi, %r15
movq %rdi, %r12
movl 0x8(%rdi), %ecx
cmpl $0x3, %ecx
je 0x56b81
cmpl $0x2, %ecx
jne 0x56c1f
movl 0xc(%r12), %ecx
cmpl $0x2, %ecx
je 0x56be2
cmpl $0x6, %ecx
jne 0x56c49
movq %r15, %rdi
callq 0x56946
testl %eax, %eax
je 0x56c11
movq (%r12), %rax
movq 0x8(%rax), %rdi
movq 0x40(%r15), %rsi
callq 0x689dc
testb %al, %al
jne 0x56bff
jmp 0x56c11
movq %r15, %rdi
callq 0x56a12
movl 0xc(%r12), %eax
cmpl $0x7, %eax
je 0x56bba
cmpl $0x5, %eax
jne 0x56c34
movq (%r12), %rax
movq 0x8(%rax), %rdi
movq 0x28(%r15), %rsi
movq %r14, %rdx
callq 0x54c26
xorl %ebx, %ebx
testq %rax, %rax
setne %bl
jmp 0x56c11
movq (%r12), %rax
movq 0x8(%rax), %rax
movq (%rax), %rdi
movq 0x28(%r15), %rsi
callq 0x31cca
testq %rax, %rax
je 0x56c11
movq 0x8(%rax), %rax
movsd (%rax), %xmm0
movsd %xmm0, (%r14)
jmp 0x56c0c
movq 0x8(%rax), %r12
movq %r15, %rdi
callq 0x56a12
movq 0x28(%r15), %rsi
movq %r12, %rdi
callq 0x31cca
testq %rax, %rax
je 0x56c11
movabsq $0x3ff0000000000000, %rax # imm = 0x3FF0000000000000
movq %rax, (%r14)
movl $0x1, %ebx
movl %ebx, %eax
addq $0x8, %rsp
popq %rbx
popq %r12
popq %r14
popq %r15
retq
leaq 0x6fcdf(%rip), %rdi     # 0xc6905
leaq 0x6fa29(%rip), %rsi     # 0xc6656
movl $0x773, %edx            # imm = 0x773
jmp 0x56c5c
leaq 0x6d03b(%rip), %rdi     # 0xc3c76
leaq 0x6fa14(%rip), %rsi     # 0xc6656
movl $0x770, %edx            # imm = 0x770
jmp 0x56c5c
leaq 0x6ed9a(%rip), %rdi     # 0xc59ea
leaq 0x6f9ff(%rip), %rsi     # 0xc6656
movl $0x75a, %edx            # imm = 0x75A
callq 0x6558d
movl $0x1, %edi
callq 0x263d0