// File: /workspace/github_c_makefile_star2_O2/CBaquero[P]random/Random.cc
// Function: RandomLNorm_RedisCommand(RedisModuleCtx*, RedisModuleString**, int)
int RandomLNorm_RedisCommand(RedisModuleCtx *ctx, RedisModuleString **argv, int argc) {
  double mean=0.0, sd=1.0;
  if (argc > 5) return RedisModule_WrongArity(ctx);
  if (argc >= 4) /* Get mean */
  {
    if (RedisModule_StringToDouble(argv[3],&mean) != REDISMODULE_OK)
      return RedisModule_ReplyWithError(ctx,"ERR invalid mean");
  }
  if (argc == 5) /* get stddev */
  {
    if (RedisModule_StringToDouble(argv[4],&sd) != REDISMODULE_OK)
      return RedisModule_ReplyWithError(ctx,"ERR invalid standard deviation");
  }

  /* Open key */
  RedisModuleKey *key = (RedisModuleKey *) RedisModule_OpenKey(ctx, argv[1], REDISMODULE_READ | REDISMODULE_WRITE);
 /* Key must be empty or list */
  if ((RedisModule_KeyType(key) != REDISMODULE_KEYTYPE_LIST &&
       RedisModule_KeyType(key) != REDISMODULE_KEYTYPE_EMPTY)) 
  {
     RedisModule_CloseKey(key);
     return RedisModule_ReplyWithError(ctx,REDISMODULE_ERRORMSG_WRONGTYPE);
  }

  /* Get count */
  long long count;
  if ((RedisModule_StringToLongLong(argv[2],&count) != REDISMODULE_OK) ||
        (count < 0)) 
  {
     RedisModule_CloseKey(key);
     return RedisModule_ReplyWithError(ctx,"ERR invalid count");
  }

  /* Push count randoms */
  std::normal_distribution<double> rnorm(mean,sd);
  while (count-- > 0)
  {
    RedisModuleString *ele;
    /* Make string with the same 19 digita precision of ReplyWithDouble */
    ele=RedisModule_CreateStringPrintf(ctx,"%.19f",rnorm(gen));
    RedisModule_ListPush(key,REDISMODULE_LIST_HEAD,ele);
    RedisModule_FreeString(ctx,ele);
  }
 
  size_t len = RedisModule_ValueLength(key);
  RedisModule_CloseKey(key);
  RedisModule_ReplyWithLongLong(ctx, len);
  return REDISMODULE_OK;
}

// Assembly:
pushq %rbp
movq %rsp, %rbp
pushq %r15
pushq %r14
pushq %r13
pushq %r12
pushq %rbx
subq $0x38, %rsp
andq $0x0, -0x40(%rbp)
movq %rdi, %rbx
movabsq $0x3ff0000000000000, %rax # imm = 0x3FF0000000000000
movq %rax, -0x38(%rbp)
cmpl $0x6, %edx
jl 0x57c5
movq 0x578e(%rip), %rax      # 0xaf40
movq %rbx, %rdi
addq $0x38, %rsp
popq %rbx
popq %r12
popq %r13
popq %r14
popq %r15
popq %rbp
jmpq *(%rax)
movl %edx, %r14d
movq %rsi, %r15
cmpl $0x4, %edx
jl 0x5823
movq 0x5709(%rip), %r12      # 0xaee0
movq 0x18(%r15), %rdi
leaq -0x40(%rbp), %rsi
callq *(%r12)
testl %eax, %eax
je 0x57fa
movq 0x5582(%rip), %rax      # 0xad70
leaq 0x288d(%rip), %rsi      # 0x8082
jmp 0x58b6
cmpl $0x5, %r14d
jne 0x5823
movq 0x20(%r15), %rdi
leaq -0x38(%rbp), %rsi
callq *(%r12)
testl %eax, %eax
je 0x5823
movq 0x5559(%rip), %rax      # 0xad70
leaq 0x2875(%rip), %rsi      # 0x8093
jmp 0x58b6
movq 0x55de(%rip), %rax      # 0xae08
movq 0x8(%r15), %rsi
pushq $0x3
popq %rdx
movq %rbx, %rdi
callq *(%rax)
movq %rax, %r14
movq 0x55f0(%rip), %r12      # 0xae30
movq %rax, %rdi
callq *(%r12)
cmpl $0x2, %eax
je 0x5873
movq %r14, %rdi
callq *(%r12)
testl %eax, %eax
je 0x5873
movq 0x578a(%rip), %rax      # 0xafe8
movq %r14, %rdi
callq *(%rax)
movq 0x5506(%rip), %rax      # 0xad70
leaq 0x2863(%rip), %rsi      # 0x80d4
jmp 0x58b6
movq 0x56a6(%rip), %rax      # 0xaf20
movq 0x10(%r15), %rdi
leaq -0x30(%rbp), %r15
movq %r15, %rsi
callq *(%rax)
testl %eax, %eax
setne %cl
movq (%r15), %rax
testq %rax, %rax
sets %dl
orb %cl, %dl
cmpb $0x1, %dl
jne 0x58c0
movq 0x5745(%rip), %rax      # 0xafe8
movq %r14, %rdi
callq *(%rax)
movq 0x54c1(%rip), %rax      # 0xad70
leaq 0x2860(%rip), %rsi      # 0x8116
movq %rbx, %rdi
callq *(%rax)
jmp 0x596e
movsd -0x40(%rbp), %xmm0
movsd -0x38(%rbp), %xmm1
leaq -0x60(%rbp), %rcx
movsd %xmm0, (%rcx)
movsd %xmm1, 0x8(%rcx)
andq $0x0, 0x10(%rcx)
movb $0x0, 0x18(%rcx)
movq 0x5649(%rip), %r13      # 0xaf30
movq 0x5382(%rip), %r15      # 0xac70
leaq -0x1(%rax), %rcx
movq %rcx, -0x30(%rbp)
testq %rax, %rax
jle 0x5942
movq 0x551e(%rip), %rax      # 0xae20
movq (%rax), %r12
leaq -0x60(%rbp), %rdi
movq 0x5688(%rip), %rsi      # 0xaf98
callq 0x5130
movq %rbx, %rdi
leaq 0x2809(%rip), %rsi      # 0x8128
movb $0x1, %al
callq *%r12
movq %rax, %r12
movq %r14, %rdi
xorl %esi, %esi
movq %rax, %rdx
callq *(%r13)
movq %rbx, %rdi
movq %r12, %rsi
callq *(%r15)
movq -0x30(%rbp), %rax
jmp 0x58ee
movq 0x52cf(%rip), %rax      # 0xac18
movq %r14, %rdi
callq *(%rax)
movq %rax, %r15
movq 0x5690(%rip), %rax      # 0xafe8
movq %r14, %rdi
callq *(%rax)
movq 0x560c(%rip), %rax      # 0xaf70
movq %rbx, %rdi
movq %r15, %rsi
callq *(%rax)
xorl %eax, %eax
addq $0x38, %rsp
popq %rbx
popq %r12
popq %r13
popq %r14
popq %r15
popq %rbp
retq