// File: /workspace/github_cpp_makefile_star2_O3/tomfunkhouser[P]gaps/pkgs/RNBasics/json.cpp
// Function: Json::BuiltStyledStreamWriter::writeValue(Json::Value const&)
void BuiltStyledStreamWriter::writeValue(Value const& value) {
  switch (value.type()) {
  case nullValue:
    pushValue(nullSymbol_);
    break;
  case intValue:
    pushValue(valueToString(value.asLargestInt()));
    break;
  case uintValue:
    pushValue(valueToString(value.asLargestUInt()));
    break;
  case realValue:
    pushValue(valueToString(value.asDouble(), useSpecialFloats_, precision_));
    break;
  case stringValue:
  {
    // Is NULL is possible for value.string_?
    char const* str;
    char const* end;
    bool ok = value.getString(&str, &end);
    if (ok) pushValue(valueToQuotedStringN(str, static_cast<unsigned>(end-str)));
    else pushValue("");
    break;
  }
  case booleanValue:
    pushValue(valueToString(value.asBool()));
    break;
  case arrayValue:
    writeArrayValue(value);
    break;
  case objectValue: {
    Value::Members members(value.getMemberNames());
    if (members.empty())
      pushValue("{}");
    else {
      writeWithIndent("{");
      indent();
      Value::Members::iterator it = members.begin();
      for (;;) {
        std::string const& name = *it;
        Value const& childValue = value[name];
        writeCommentBeforeValue(childValue);
        writeWithIndent(valueToQuotedStringN(name.data(), static_cast<unsigned>(name.length())));
        *sout_ << colonSymbol_;
        writeValue(childValue);
        if (++it == members.end()) {
          writeCommentAfterValueOnSameLine(childValue);
          break;
        }
        *sout_ << ",";
        writeCommentAfterValueOnSameLine(childValue);
      }
      unindent();
      writeWithIndent("}");
    }
  } break;
  }
}

// Assembly:
pushq %rbp
pushq %r15
pushq %r14
pushq %r13
pushq %r12
pushq %rbx
subq $0x48, %rsp
movzwl 0x8(%rsi), %eax
cmpb $0x7, %al
ja 0x86185
movq %rsi, %r14
movq %rdi, %rbx
movzbl %al, %ecx
leaq 0x3914a(%rip), %rdx     # 0xbef10
movslq (%rdx,%rcx,4), %rcx
addq %rdx, %rcx
jmpq *%rcx
leaq 0x98(%rbx), %rsi
movq %rbx, %rdi
addq $0x48, %rsp
popq %rbx
popq %r12
popq %r13
popq %r14
popq %r15
popq %rbp
jmp 0x863e0
cmpb $0x4, %al
sete %cl
movq (%r14), %r14
testq %r14, %r14
setne %dl
andb %cl, %dl
cmpb $0x1, %dl
jne 0x860d1
btl $0x8, %eax
jb 0x86148
movq %r14, %rdi
callq 0x11260
movq %rax, %rdx
jmp 0x8614f
movq %r14, %rdi
callq 0x8112a
leaq 0x8(%rsp), %r14
movq %r14, %rdi
movq %rax, %rsi
callq 0x80c69
movq %rbx, %rdi
movq %r14, %rsi
callq 0x863e0
jmp 0x8616a
movq %r14, %rdi
callq 0x8131c
movb 0xd8(%rbx), %al
andb $0x4, %al
shrb $0x2, %al
movl 0xdc(%rbx), %edx
movzbl %al, %esi
leaq 0x8(%rsp), %r14
movq %r14, %rdi
callq 0x832ea
movq %rbx, %rdi
movq %r14, %rsi
callq 0x863e0
jmp 0x8616a
leaq 0x30(%rsp), %r15
movq %r15, %rdi
movq %r14, %rsi
callq 0x7f0c4
movq (%r15), %rax
cmpq 0x8(%r15), %rax
je 0x86107
leaq 0x18(%rsp), %rax
movq %rax, -0x10(%rax)
leaq 0x39baa(%rip), %rsi     # 0xbfa57
leaq 0x39ba4(%rip), %rdx     # 0xbfa58
leaq 0x8(%rsp), %rdi
callq 0x1a88c
leaq 0x8(%rsp), %rsi
movq %rbx, %rdi
callq 0x866cc
movq 0x8(%rsp), %rdi
leaq 0x18(%rsp), %rax
cmpq %rax, %rdi
je 0x85ee7
movq 0x18(%rsp), %rsi
incq %rsi
callq 0x115c0
leaq 0x28(%rbx), %rdi
movq 0x50(%rbx), %rsi
movq 0x58(%rbx), %rdx
movq %rdi, 0x28(%rsp)
callq 0x111e0
movq 0x30(%rsp), %r15
leaq 0x39047(%rip), %r13     # 0xbef50
leaq 0x8(%rsp), %r12
movq (%r15), %rsi
movq 0x8(%r15), %rdx
addq %rsi, %rdx
movq %r14, %rdi
callq 0x82296
movq %r13, %rbp
testq %rax, %rax
je 0x85f2b
movq %rax, %rbp
movq %rbx, %rdi
movq %rbp, %rsi
callq 0x85c40
movq (%r15), %rsi
movl 0x8(%r15), %edx
movq %r12, %rdi
callq 0x83c70
movq %rbx, %rdi
movq %r12, %rsi
callq 0x866cc
movq 0x8(%rsp), %rdi
leaq 0x18(%rsp), %rax
cmpq %rax, %rdi
je 0x85f6c
movq 0x18(%rsp), %rsi
incq %rsi
callq 0x115c0
movq 0x8(%rbx), %rdi
movq 0x78(%rbx), %rsi
movq 0x80(%rbx), %rdx
callq 0x116c0
movq %rbx, %rdi
movq %rbp, %rsi
callq 0x85d9c
addq $0x20, %r15
cmpq 0x38(%rsp), %r15
je 0x8605a
movq 0x8(%rbx), %rdi
movl $0x1, %edx
leaq 0x36964(%rip), %rsi     # 0xbc90e
callq 0x116c0
movq %rbx, %rdi
movq %rbp, %rsi
callq 0x86234
jmp 0x85f0e
movq %r14, %rdi
callq 0x80f5c
leaq 0x8(%rsp), %r14
movq %r14, %rdi
movq %rax, %rsi
callq 0x80b6c
movq %rbx, %rdi
movq %r14, %rsi
callq 0x863e0
jmp 0x8616a
movq %r14, %rdi
callq 0x7e8b8
leaq 0x3954c(%rip), %rcx     # 0xbf542
leaq 0x3954a(%rip), %rsi     # 0xbf547
testb %al, %al
cmovneq %rcx, %rsi
leaq 0x18(%rsp), %r15
movq %r15, -0x10(%r15)
movzbl %al, %edx
xorq $0x5, %rdx
addq %rsi, %rdx
leaq 0x8(%rsp), %r14
movq %r14, %rdi
callq 0x1a88c
movq %rbx, %rdi
movq %r14, %rsi
callq 0x863e0
movq 0x8(%rsp), %rdi
cmpq %r15, %rdi
jne 0x86178
jmp 0x86185
movq %rbx, %rdi
movq %r14, %rsi
addq $0x48, %rsp
popq %rbx
popq %r12
popq %r13
popq %r14
popq %r15
popq %rbp
jmp 0x86406
movq %rbx, %rdi
movq %rbp, %rsi
callq 0x86234
movq 0x30(%rbx), %rsi
subq 0x58(%rbx), %rsi
movq 0x28(%rsp), %rdi
xorl %edx, %edx
callq 0x111d0
leaq 0x8(%rsp), %rdi
leaq 0x18(%rsp), %rax
movq %rax, (%rdi)
leaq 0x399c8(%rip), %rsi     # 0xbfa55
leaq 0x399c2(%rip), %rdx     # 0xbfa56
callq 0x1a88c
leaq 0x8(%rsp), %rsi
movq %rbx, %rdi
callq 0x866cc
movq 0x8(%rsp), %rdi
leaq 0x18(%rsp), %rax
cmpq %rax, %rdi
je 0x860c2
movq 0x18(%rsp), %rsi
incq %rsi
callq 0x115c0
leaq 0x30(%rsp), %rdi
callq 0x87b52
jmp 0x86185
leaq 0x18(%rsp), %r14
movq %r14, -0x10(%r14)
leaq 0x36553(%rip), %rdx     # 0xbc634
leaq 0x8(%rsp), %rdi
movq %rdx, %rsi
callq 0x1a88c
leaq 0x8(%rsp), %rsi
movq %rbx, %rdi
callq 0x863e0
movq 0x8(%rsp), %rdi
cmpq %r14, %rdi
jne 0x86178
jmp 0x86185
leaq 0x18(%rsp), %r14
movq %r14, -0x10(%r14)
leaq 0x3993d(%rip), %rsi     # 0xbfa54
leaq 0x39938(%rip), %rdx     # 0xbfa56
leaq 0x8(%rsp), %rdi
callq 0x1a88c
leaq 0x8(%rsp), %rsi
movq %rbx, %rdi
callq 0x863e0
movq 0x8(%rsp), %rdi
cmpq %r14, %rdi
jne 0x860b5
jmp 0x860c2
movl (%r14), %edx
addq $0x4, %r14
leaq 0x8(%rsp), %r15
movq %r15, %rdi
movq %r14, %rsi
callq 0x83c70
movq %rbx, %rdi
movq %r15, %rsi
callq 0x863e0
leaq 0x18(%rsp), %rax
movq -0x10(%rax), %rdi
cmpq %rax, %rdi
je 0x86185
movq 0x18(%rsp), %rsi
incq %rsi
callq 0x115c0
addq $0x48, %rsp
popq %rbx
popq %r12
popq %r13
popq %r14
popq %r15
popq %rbp
retq
movq %rax, %rbx
movq 0x8(%rsp), %rdi
cmpq %r14, %rdi
jne 0x86210
jmp 0x86222
jmp 0x8621f
movq %rax, %rbx
movq 0x8(%rsp), %rdi
cmpq %r14, %rdi
jne 0x861ed
jmp 0x8622c
jmp 0x861dc
movq %rax, %rbx
jmp 0x8622c
jmp 0x861fe
jmp 0x8621f
jmp 0x8621f
jmp 0x8621f
jmp 0x8621f
jmp 0x861fe
jmp 0x8621f
movq %rax, %rbx
movq 0x8(%rsp), %rdi
cmpq %r15, %rdi
jne 0x861ed
jmp 0x8622c
jmp 0x861dc
jmp 0x861dc
movq %rax, %rbx
leaq 0x18(%rsp), %rax
movq -0x10(%rax), %rdi
cmpq %rax, %rdi
je 0x8622c
movq 0x18(%rsp), %rsi
incq %rsi
callq 0x115c0
jmp 0x8622c
jmp 0x8621f
movq %rax, %rbx
movq 0x8(%rsp), %rdi
leaq 0x18(%rsp), %rax
cmpq %rax, %rdi
je 0x86222
movq 0x18(%rsp), %rsi
incq %rsi
callq 0x115c0
jmp 0x86222
movq %rax, %rbx
leaq 0x30(%rsp), %rdi
callq 0x87b52
movq %rbx, %rdi
callq 0x11a60