// File: /workspace/github_cpp_makefile_star2_O3/xjrueda[P]fixprime/src/jsoncpp.cpp
// Function: Json::FastWriter::writeValue(Json::Value const&)
void FastWriter::writeValue(const Value& value) {
  switch (value.type()) {
  case nullValue:
    if (!dropNullPlaceholders_)
      document_ += "null";
    break;
  case intValue:
    document_ += valueToString(value.asLargestInt());
    break;
  case uintValue:
    document_ += valueToString(value.asLargestUInt());
    break;
  case realValue:
    document_ += valueToString(value.asDouble());
    break;
  case stringValue:
  {
    // Is NULL possible for value.string_?
    char const* str;
    char const* end;
    bool ok = value.getString(&str, &end);
    if (ok) document_ += valueToQuotedStringN(str, static_cast<unsigned>(end-str));
    break;
  }
  case booleanValue:
    document_ += valueToString(value.asBool());
    break;
  case arrayValue: {
    document_ += '[';
    int size = value.size();
    for (int index = 0; index < size; ++index) {
      if (index > 0)
        document_ += ',';
      writeValue(value[index]);
    }
    document_ += ']';
  } break;
  case objectValue: {
    Value::Members members(value.getMemberNames());
    document_ += '{';
    for (Value::Members::iterator it = members.begin(); it != members.end();
         ++it) {
      const std::string& name = *it;
      if (it != members.begin())
        document_ += ',';
      document_ += valueToQuotedStringN(name.data(), name.length());
      document_ += yamlCompatiblityEnabled_ ? ": " : ":";
      writeValue(value[name]);
    }
    document_ += '}';
  } break;
  }
}

// Assembly:
pushq %rbp
pushq %r15
pushq %r14
pushq %r13
pushq %r12
pushq %rbx
subq $0x38, %rsp
movzwl 0x8(%rsi), %eax
cmpb $0x7, %al
ja 0x52b4f
movq %rsi, %r14
movq %rdi, %rbx
movzbl %al, %ecx
leaq 0x9762(%rip), %rdx      # 0x5bfd0
movslq (%rdx,%rcx,4), %rcx
addq %rdx, %rcx
jmpq *%rcx
cmpb $0x0, 0x29(%rbx)
jne 0x52b4f
addq $0x8, %rbx
leaq 0xa532(%rip), %rsi      # 0x5cdbe
movq %rbx, %rdi
addq $0x38, %rsp
popq %rbx
popq %r12
popq %r13
popq %r14
popq %r15
popq %rbp
jmp 0x30e50
cmpb $0x4, %al
sete %cl
movq (%r14), %r14
testq %r14, %r14
setne %dl
andb %cl, %dl
cmpb $0x1, %dl
jne 0x52b4f
btl $0x8, %eax
jb 0x52b14
movq %r14, %rdi
callq 0x2e980
movq %rax, %rdx
jmp 0x52b1b
movq %r14, %rdi
callq 0x300e0
movq %rsp, %r14
movq %r14, %rdi
movq %rax, %rsi
callq 0x30780
addq $0x8, %rbx
movq (%r14), %rsi
movq 0x8(%r14), %rdx
movq %rbx, %rdi
callq 0x2e660
jmp 0x52b3c
movq %r14, %rdi
callq 0x2f120
movq %rsp, %r14
movq %r14, %rdi
callq 0x2f870
addq $0x8, %rbx
movq (%r14), %rsi
movq 0x8(%r14), %rdx
movq %rbx, %rdi
callq 0x2e660
jmp 0x52b3c
leaq 0x20(%rsp), %rdi
movq %r14, %rsi
callq 0x2f2c0
leaq 0x8(%rbx), %r15
movq %r15, %rdi
movl $0x7b, %esi
callq 0x2f460
movq 0x20(%rsp), %rbp
cmpq 0x28(%rsp), %rbp
je 0x529fe
leaq 0x8bc6(%rip), %r13      # 0x5b529
leaq 0x9716(%rip), %r12      # 0x5c080
cmpq 0x20(%rsp), %rbp
je 0x5297e
movq %r15, %rdi
movl $0x2c, %esi
callq 0x2f460
movq (%rbp), %rsi
movl 0x8(%rbp), %edx
movq %rsp, %rdi
callq 0x52bbb
movq (%rsp), %rsi
movq 0x8(%rsp), %rdx
movq %r15, %rdi
callq 0x2e660
movq (%rsp), %rdi
leaq 0x10(%rsp), %rax
cmpq %rax, %rdi
je 0x529b1
callq 0x2f6c0
cmpb $0x0, 0x28(%rbx)
movq %r13, %rsi
jne 0x529c1
leaq 0x907b(%rip), %rsi      # 0x5ba3c
movq %r15, %rdi
callq 0x30e50
movq (%rbp), %rsi
movq 0x8(%rbp), %rdx
addq %rsi, %rdx
movq %r14, %rdi
callq 0x2f5a0
movq %r12, %rsi
testq %rax, %rax
je 0x529e7
movq %rax, %rsi
movq %rbx, %rdi
callq 0x2f340
addq $0x20, %rbp
cmpq 0x28(%rsp), %rbp
jne 0x5296a
movq %r15, %rdi
movl $0x7d, %esi
callq 0x2f460
leaq 0x20(%rsp), %rdi
callq 0x2f170
jmp 0x52b4f
movq %r14, %rdi
callq 0x2e250
movq %rsp, %r14
movq %r14, %rdi
movq %rax, %rsi
callq 0x30dc0
addq $0x8, %rbx
movq (%r14), %rsi
movq 0x8(%r14), %rdx
movq %rbx, %rdi
callq 0x2e660
jmp 0x52b3c
movq %r14, %rdi
callq 0x2fed0
leaq 0x9da0(%rip), %rcx      # 0x5c7f7
leaq 0x9ca8(%rip), %rsi      # 0x5c706
testb %al, %al
cmovneq %rcx, %rsi
leaq 0x10(%rsp), %r15
movq %r15, -0x10(%r15)
movzbl %al, %edx
xorq $0x5, %rdx
addq %rsi, %rdx
movq %rsp, %r14
movq %r14, %rdi
callq 0x2e860
addq $0x8, %rbx
movq (%r14), %rsi
movq 0x8(%r14), %rdx
movq %rbx, %rdi
callq 0x2e660
movq (%rsp), %rdi
cmpq %r15, %rdi
jne 0x52b4a
jmp 0x52b4f
leaq 0x8(%rbx), %r15
movq %r15, %rdi
movl $0x5b, %esi
callq 0x2f460
movq %r14, %rdi
callq 0x30720
testl %eax, %eax
jle 0x52af9
movl %eax, %ebp
xorl %r12d, %r12d
testl %r12d, %r12d
je 0x52adb
movq %r15, %rdi
movl $0x2c, %esi
callq 0x2f460
movq %r14, %rdi
movl %r12d, %esi
callq 0x2e3c0
movq %rbx, %rdi
movq %rax, %rsi
callq 0x2f340
incl %r12d
cmpl %r12d, %ebp
jne 0x52ac9
movq %r15, %rdi
movl $0x5d, %esi
addq $0x38, %rsp
popq %rbx
popq %r12
popq %r13
popq %r14
popq %r15
popq %rbp
jmp 0x2f460
movl (%r14), %edx
addq $0x4, %r14
movq %rsp, %r15
movq %r15, %rdi
movq %r14, %rsi
callq 0x52bbb
addq $0x8, %rbx
movq (%r15), %rsi
movq 0x8(%r15), %rdx
movq %rbx, %rdi
callq 0x2e660
leaq 0x10(%rsp), %rax
movq -0x10(%rax), %rdi
cmpq %rax, %rdi
je 0x52b4f
callq 0x2f6c0
addq $0x38, %rsp
popq %rbx
popq %r12
popq %r13
popq %r14
popq %r15
popq %rbp
retq
jmp 0x52b72
movq %rax, %rbx
movq (%rsp), %rdi
cmpq %r15, %rdi
jne 0x52b83
jmp 0x52bb3
jmp 0x52b72
jmp 0x52b72
movq %rax, %rbx
leaq 0x10(%rsp), %rax
movq -0x10(%rax), %rdi
cmpq %rax, %rdi
je 0x52bb3
callq 0x2f6c0
jmp 0x52bb3
jmp 0x52ba6
jmp 0x52ba6
movq %rax, %rbx
movq (%rsp), %rdi
leaq 0x10(%rsp), %rax
cmpq %rax, %rdi
je 0x52ba9
callq 0x2f6c0
jmp 0x52ba9
movq %rax, %rbx
leaq 0x20(%rsp), %rdi
callq 0x2f170
movq %rbx, %rdi
callq 0x30a10