// File: /workspace/github_cpp_makefile_star2_O1/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 0x5349e
movq %rsi, %r14
movq %rdi, %rbx
movzbl %al, %ecx
leaq 0x9e22(%rip), %rdx      # 0x5cfd0
movslq (%rdx,%rcx,4), %rcx
addq %rdx, %rcx
jmpq *%rcx
cmpb $0x0, 0x29(%rbx)
jne 0x5349e
addq $0x8, %rbx
leaq 0xabf5(%rip), %rsi      # 0x5ddc1
movq %rbx, %rdi
addq $0x38, %rsp
popq %rbx
popq %r12
popq %r13
popq %r14
popq %r15
popq %rbp
jmp 0x30e60
cmpb $0x4, %al
sete %cl
movq (%r14), %r14
testq %r14, %r14
setne %bpl
andb %cl, %bpl
cmpb $0x1, %bpl
jne 0x53454
btl $0x8, %eax
jb 0x53456
movq %r14, %rdi
callq 0x2e980
jmp 0x5345d
movq %r14, %rdi
callq 0x300f0
movq %rsp, %r14
movq %r14, %rdi
movq %rax, %rsi
callq 0x30790
addq $0x8, %rbx
movq (%r14), %rsi
movq 0x8(%r14), %rdx
movq %rbx, %rdi
callq 0x2e660
jmp 0x5348b
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 0x5348b
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 0x5333e
leaq 0x9286(%rip), %r13      # 0x5c529
leaq 0x9dd6(%rip), %r12      # 0x5d080
cmpq 0x20(%rsp), %rbp
je 0x532be
movq %r15, %rdi
movl $0x2c, %esi
callq 0x2f460
movq (%rbp), %rsi
movl 0x8(%rbp), %edx
movq %rsp, %rdi
callq 0x5350a
movq (%rsp), %rsi
movq 0x8(%rsp), %rdx
movq %r15, %rdi
callq 0x2e660
movq (%rsp), %rdi
leaq 0x10(%rsp), %rax
cmpq %rax, %rdi
je 0x532f1
callq 0x2f6c0
cmpb $0x0, 0x28(%rbx)
movq %r13, %rsi
jne 0x53301
leaq 0x973b(%rip), %rsi      # 0x5ca3c
movq %r15, %rdi
callq 0x30e60
movq (%rbp), %rsi
movq 0x8(%rbp), %rdx
addq %rsi, %rdx
movq %r14, %rdi
callq 0x2f5a0
movq %r12, %rsi
testq %rax, %rax
je 0x53327
movq %rax, %rsi
movq %rbx, %rdi
callq 0x2f340
addq $0x20, %rbp
cmpq 0x28(%rsp), %rbp
jne 0x532aa
movq %r15, %rdi
movl $0x7d, %esi
callq 0x2f460
leaq 0x20(%rsp), %rdi
callq 0x2f170
jmp 0x5349e
movq %r14, %rdi
callq 0x2e250
movq %rsp, %r14
movq %r14, %rdi
movq %rax, %rsi
callq 0x30dd0
addq $0x8, %rbx
movq (%r14), %rsi
movq 0x8(%r14), %rdx
movq %rbx, %rdi
callq 0x2e660
jmp 0x5348b
movq %r14, %rdi
callq 0x2fee0
leaq 0xa460(%rip), %rcx      # 0x5d7f7
leaq 0xa368(%rip), %rsi      # 0x5d706
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 0x53499
jmp 0x5349e
leaq 0x8(%rbx), %r15
movq %r15, %rdi
movl $0x5b, %esi
callq 0x2f460
movq %r14, %rdi
callq 0x30730
testl %eax, %eax
jle 0x53439
movl %eax, %ebp
xorl %r12d, %r12d
testl %r12d, %r12d
je 0x5341b
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 0x53409
movq %r15, %rdi
movl $0x5d, %esi
addq $0x38, %rsp
popq %rbx
popq %r12
popq %r13
popq %r14
popq %r15
popq %rbp
jmp 0x2f460
jmp 0x53462
movl (%r14), %eax
addq $0x4, %r14
movl %eax, %edx
addq %r14, %rdx
testb %bpl, %bpl
je 0x5349e
subl %r14d, %edx
movq %rsp, %r15
movq %r15, %rdi
movq %r14, %rsi
callq 0x5350a
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 0x5349e
callq 0x2f6c0
addq $0x38, %rsp
popq %rbx
popq %r12
popq %r13
popq %r14
popq %r15
popq %rbp
retq
jmp 0x534c1
movq %rax, %rbx
movq (%rsp), %rdi
cmpq %r15, %rdi
jne 0x534d2
jmp 0x53502
jmp 0x534c1
jmp 0x534c1
movq %rax, %rbx
leaq 0x10(%rsp), %rax
movq -0x10(%rax), %rdi
cmpq %rax, %rdi
je 0x53502
callq 0x2f6c0
jmp 0x53502
jmp 0x534f5
jmp 0x534f5
movq %rax, %rbx
movq (%rsp), %rdi
leaq 0x10(%rsp), %rax
cmpq %rax, %rdi
je 0x534f8
callq 0x2f6c0
jmp 0x534f8
movq %rax, %rbx
leaq 0x20(%rsp), %rdi
callq 0x2f170
movq %rbx, %rdi
callq 0x30a20