// File: /workspace/github_c_makefile_star2_O3/gplessis[P]dotdeb-redis/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 0x533e1
movq %rdx, %r14
movq %rsi, %r15
movq %rdi, %r12
movl 0x8(%rdi), %ecx
cmpl $0x3, %ecx
je 0x53351
cmpl $0x2, %ecx
jne 0x533ef
movl 0xc(%r12), %ecx
cmpl $0x2, %ecx
je 0x533b2
cmpl $0x6, %ecx
jne 0x53419
movq %r15, %rdi
callq 0x53117
testl %eax, %eax
je 0x533e1
movq (%r12), %rax
movq 0x8(%rax), %rdi
movq 0x40(%r15), %rsi
callq 0x64dc9
testb %al, %al
jne 0x533cf
jmp 0x533e1
movq %r15, %rdi
callq 0x531e3
movl 0xc(%r12), %eax
cmpl $0x7, %eax
je 0x5338a
cmpl $0x5, %eax
jne 0x53404
movq (%r12), %rax
movq 0x8(%rax), %rdi
movq 0x28(%r15), %rsi
movq %r14, %rdx
callq 0x51551
xorl %ebx, %ebx
testq %rax, %rax
setne %bl
jmp 0x533e1
movq (%r12), %rax
movq 0x8(%rax), %rax
movq (%rax), %rdi
movq 0x28(%r15), %rsi
callq 0x2ebca
testq %rax, %rax
je 0x533e1
movq 0x8(%rax), %rax
movsd (%rax), %xmm0
movsd %xmm0, (%r14)
jmp 0x533dc
movq 0x8(%rax), %r12
movq %r15, %rdi
callq 0x531e3
movq 0x28(%r15), %rsi
movq %r12, %rdi
callq 0x2ebca
testq %rax, %rax
je 0x533e1
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 0x7058f(%rip), %rdi     # 0xc3985
leaq 0x702d9(%rip), %rsi     # 0xc36d6
movl $0x773, %edx            # imm = 0x773
jmp 0x5342c
leaq 0x6d8bb(%rip), %rdi     # 0xc0cc6
leaq 0x702c4(%rip), %rsi     # 0xc36d6
movl $0x770, %edx            # imm = 0x770
jmp 0x5342c
leaq 0x6f64a(%rip), %rdi     # 0xc2a6a
leaq 0x702af(%rip), %rsi     # 0xc36d6
movl $0x75a, %edx            # imm = 0x75A
callq 0x619b4
movl $0x1, %edi
callq 0x263c0