// File: /workspace/github_c_makefile_star2_O3/nilyang[P]redis-tdd-annotation/src/bitops.c
// Function: setbitCommand
void setbitCommand(redisClient *c) {
    robj *o;
    char *err = "bit is not an integer or out of range";
    size_t bitoffset;
    int byte, bit;
    int byteval, bitval;
    long on;

    // 获取 offset 参数
    if (getBitOffsetFromArgument(c,c->argv[2],&bitoffset) != REDIS_OK)
        return;

    // 获取 value 参数
    if (getLongFromObjectOrReply(c,c->argv[3],&on,err) != REDIS_OK)
        return;

    /* Bits can only be set or cleared... */
    // value 参数的值只能是 0 或者 1 ，否则返回错误
    if (on & ~1) {
        addReplyError(c,err);
        return;
    }

    // 查找字符串对象
    o = lookupKeyWrite(c->db,c->argv[1]);
    if (o == NULL) {

        // 对象不存在，创建一个空字符串对象
        o = createObject(REDIS_STRING,sdsempty());

        // 并添加到数据库
        dbAdd(c->db,c->argv[1],o);

    } else {

        // 对象存在，检查类型是否字符串
        if (checkType(c,o,REDIS_STRING)) return;

        o = dbUnshareStringValue(c->db,c->argv[1],o);
    }

    /* Grow sds value to the right length if necessary */
    // 计算容纳 offset 参数所指定的偏移量所需的字节数
    // 如果 o 对象的字节不够长的话，就扩展它
    // 长度的计算公式是 bitoffset >> 3 + 1
    // 比如 30 >> 3 + 1 = 4 ，也即是为了设置 offset 30 ，
    // 我们需要创建一个 4 字节（32 位长的 SDS）
    byte = bitoffset >> 3;
    o->ptr = sdsgrowzero(o->ptr,byte+1);

    /* Get current values */
    // 将指针定位到要设置的位所在的字节上
    byteval = ((uint8_t*)o->ptr)[byte];
    // 定位到要设置的位上面
    bit = 7 - (bitoffset & 0x7);
    // 记录位现在的值
    bitval = byteval & (1 << bit);

    /* Update byte with new bit value and return original value */
    // 更新字节中的位，设置它的值为 on 参数的值
    byteval &= ~(1 << bit);
    byteval |= ((on & 0x1) << bit);
    ((uint8_t*)o->ptr)[byte] = byteval;

    // 发送数据库修改通知
    signalModifiedKey(c->db,c->argv[1]);
    notifyKeyspaceEvent(REDIS_NOTIFY_STRING,"setbit",c->argv[1],c->db->id);
    server.dirty++;

    // 向客户端返回位原来的值
    addReply(c, bitval ? shared.cone : shared.czero);
}

// Assembly:
pushq %rbp
pushq %r15
pushq %r14
pushq %rbx
subq $0x18, %rsp
movq %rdi, %rbx
movq 0x38(%rdi), %rax
movq 0x10(%rax), %rsi
leaq 0x10(%rsp), %rdx
callq 0x59813
testl %eax, %eax
jne 0x59808
movq 0x38(%rbx), %rax
movq 0x18(%rax), %rsi
leaq 0x45645(%rip), %rcx     # 0x9ecf9
leaq 0x8(%rsp), %rdx
movq %rbx, %rdi
callq 0x313b2
testl %eax, %eax
jne 0x59808
cmpq $0x2, 0x8(%rsp)
jae 0x59718
movq 0x8(%rbx), %rdi
movq 0x38(%rbx), %rax
movq 0x8(%rax), %rsi
callq 0x31724
testq %rax, %rax
je 0x5972c
movq %rax, %r14
movq %rbx, %rdi
movq %rax, %rsi
xorl %edx, %edx
callq 0x30bbf
testl %eax, %eax
jne 0x59808
movq 0x8(%rbx), %rdi
movq 0x38(%rbx), %rax
movq 0x8(%rax), %rsi
movq %r14, %rdx
callq 0x31ac2
movq %rax, %r15
jmp 0x59752
leaq 0x455da(%rip), %rsi     # 0x9ecf9
movq %rbx, %rdi
callq 0x2dc63
jmp 0x59808
callq 0x2845e
xorl %edi, %edi
movq %rax, %rsi
callq 0x3059c
movq %rax, %r15
movq 0x8(%rbx), %rdi
movq 0x38(%rbx), %rax
movq 0x8(%rax), %rsi
movq %r15, %rdx
callq 0x317f0
movq 0x10(%rsp), %r14
movq 0x8(%r15), %rdi
movq %r14, %rax
shlq $0x1d, %rax
movabsq $0x100000000, %rsi      # imm = 0x100000000
addq %rax, %rsi
sarq $0x20, %rsi
callq 0x28629
movq %rax, 0x8(%r15)
movq %r14, %rcx
shrq $0x3, %rcx
movslq %ecx, %rdx
movzbl (%rax,%rdx), %ebp
notb %r14b
andb $0x7, %r14b
movl %ebp, %esi
btrl %r14d, %esi
movl 0x8(%rsp), %edi
andl $0x1, %edi
movl %r14d, %ecx
shll %cl, %edi
orl %esi, %edi
movb %dil, (%rax,%rdx)
movq 0x8(%rbx), %rdi
movq 0x38(%rbx), %rax
movq 0x8(%rax), %rsi
callq 0x319b8
movq 0x8(%rbx), %rax
movq 0x38(%rbx), %rcx
movq 0x8(%rcx), %rdx
movl 0x30(%rax), %ecx
leaq 0x3ab01(%rip), %rsi     # 0x942d1
movl $0x8, %edi
callq 0x60371
leaq 0x707c7(%rip), %rax     # 0xc9fa8
incq 0x560(%rax)
movzbl %r14b, %eax
xorl %ecx, %ecx
btl %eax, %ebp
setb %cl
leaq 0x71005(%rip), %rax     # 0xca800
movq 0x20(%rax,%rcx,8), %rsi
movq %rbx, %rdi
callq 0x2d97c
addq $0x18, %rsp
popq %rbx
popq %r14
popq %r15
popq %rbp
retq