// File: /workspace/github_cpp_makefile_star2_O3/tomfunkhouser[P]gaps/pkgs/RNBasics/json.cpp
// Function: Json::StyledWriter::writeArrayValue(Json::Value const&)
void StyledWriter::writeArrayValue(const Value& value) {
  unsigned size = value.size();
  if (size == 0)
    pushValue("[]");
  else {
    bool isArrayMultiLine = isMultineArray(value);
    if (isArrayMultiLine) {
      writeWithIndent("[");
      indent();
      bool hasChildValue = !childValues_.empty();
      unsigned index = 0;
      for (;;) {
        const Value& childValue = value[index];
        writeCommentBeforeValue(childValue);
        if (hasChildValue)
          writeWithIndent(childValues_[index]);
        else {
          writeIndent();
          writeValue(childValue);
        }
        if (++index == size) {
          writeCommentAfterValueOnSameLine(childValue);
          break;
        }
        document_ += ',';
        writeCommentAfterValueOnSameLine(childValue);
      }
      unindent();
      writeWithIndent("]");
    } else // output on a single line
    {
      assert(childValues_.size() == size);
      document_ += "[ ";
      for (unsigned index = 0; index < size; ++index) {
        if (index > 0)
          document_ += ", ";
        document_ += childValues_[index];
      }
      document_ += " ]";
    }
  }
}

// Assembly:
pushq %rbp
pushq %r15
pushq %r14
pushq %r13
pushq %r12
pushq %rbx
subq $0x48, %rsp
movq %rsi, %r12
movq %rdi, %rbx
movq %rsi, %rdi
callq 0x7f26c
movq %rax, 0x28(%rsp)
testl %eax, %eax
je 0x84993
movq %rbx, %rdi
movq %r12, %rsi
callq 0x84ba6
testb %al, %al
je 0x849c6
leaq 0x18(%rsp), %r14
movq %r14, -0x10(%r14)
leaq 0x37488(%rip), %rsi     # 0xbbd14
leaq 0x37482(%rip), %rdx     # 0xbbd15
leaq 0x8(%rsp), %rdi
callq 0x1a88c
movq %rbx, %rdi
callq 0x84ce8
leaq 0x20(%rbx), %rdi
movq 0x8(%rsp), %rsi
movq 0x10(%rsp), %rdx
movq %rdi, 0x30(%rsp)
callq 0x111e0
movq 0x8(%rsp), %rdi
cmpq %r14, %rdi
je 0x848d4
movq 0x18(%rsp), %rsi
incq %rsi
callq 0x115c0
movq %rbx, %rdi
callq 0x84b12
movq 0x8(%rbx), %rax
movq %rax, 0x40(%rsp)
movq 0x10(%rbx), %rax
movq %rax, 0x38(%rsp)
movq 0x28(%rsp), %rax
decl %eax
movq %rax, 0x28(%rsp)
movl $0x8, %r15d
xorl %r13d, %r13d
movq %r12, %r14
movq %r12, %rdi
movl %r13d, %esi
callq 0x81c1c
movq %rax, %rbp
movq %rbx, %rdi
movq %rax, %rsi
callq 0x840de
movq 0x38(%rsp), %rax
cmpq %rax, 0x40(%rsp)
je 0x8494c
movq 0x8(%rbx), %r12
movq %rbx, %rdi
callq 0x84ce8
movq -0x8(%r12,%r15), %rsi
movq (%r12,%r15), %rdx
movq 0x30(%rsp), %rdi
callq 0x111e0
jmp 0x8495f
movq %rbx, %rdi
callq 0x84ce8
movq %rbx, %rdi
movq %rbp, %rsi
callq 0x841f0
cmpq %r13, 0x28(%rsp)
je 0x84a37
incq %r13
movq 0x30(%rsp), %rdi
movl $0x2c, %esi
callq 0x114e0
movq %rbx, %rdi
movq %rbp, %rsi
callq 0x84674
addq $0x20, %r15
movq %r14, %r12
jmp 0x84903
leaq 0x18(%rsp), %r14
movq %r14, -0x10(%r14)
leaq 0x3b0ba(%rip), %rsi     # 0xbfa5d
leaq 0x3b0b5(%rip), %rdx     # 0xbfa5f
leaq 0x8(%rsp), %rdi
callq 0x1a88c
leaq 0x8(%rsp), %rsi
movq %rbx, %rdi
callq 0x8481e
jmp 0x84a93
leaq 0x20(%rbx), %r15
leaq 0x3b08f(%rip), %rsi     # 0xbfa60
movq %r15, %rdi
callq 0x11b50
movl 0x28(%rsp), %r12d
shlq $0x5, %r12
xorl %r13d, %r13d
leaq 0x3b077(%rip), %r14     # 0xbfa63
testq %r13, %r13
je 0x849fc
movq %r15, %rdi
movq %r14, %rsi
callq 0x11b50
movq 0x8(%rbx), %rax
movq (%rax,%r13), %rsi
movq 0x8(%rax,%r13), %rdx
movq %r15, %rdi
callq 0x111e0
addq $0x20, %r13
cmpq %r13, %r12
jne 0x849ec
leaq 0x3731d(%rip), %rsi     # 0xbbd3e
movq %r15, %rdi
addq $0x48, %rsp
popq %rbx
popq %r12
popq %r13
popq %r14
popq %r15
popq %rbp
jmp 0x11b50
movq %rbx, %rdi
movq %rbp, %rsi
callq 0x84674
leaq 0x40(%rbx), %rdi
movq 0x48(%rbx), %rsi
movl 0x64(%rbx), %eax
subq %rax, %rsi
xorl %edx, %edx
callq 0x111d0
leaq 0x8(%rsp), %rdi
leaq 0x18(%rsp), %r14
movq %r14, (%rdi)
leaq 0x372d4(%rip), %rsi     # 0xbbd3f
leaq 0x372ce(%rip), %rdx     # 0xbbd40
callq 0x1a88c
movq %rbx, %rdi
callq 0x84ce8
movq 0x8(%rsp), %rsi
movq 0x10(%rsp), %rdx
movq 0x30(%rsp), %rdi
callq 0x111e0
movq 0x8(%rsp), %rdi
cmpq %r14, %rdi
je 0x84aaa
movq 0x18(%rsp), %rsi
incq %rsi
callq 0x115c0
addq $0x48, %rsp
popq %rbx
popq %r12
popq %r13
popq %r14
popq %r15
popq %rbp
retq
jmp 0x84abf
jmp 0x84abf
jmp 0x84ac6
movq %rax, %rbx
jmp 0x84ae0
jmp 0x84ac6
movq %rax, %rbx
movq 0x8(%rsp), %rdi
cmpq %r14, %rdi
je 0x84ae0
movq 0x18(%rsp), %rsi
incq %rsi
callq 0x115c0
movq %rbx, %rdi
callq 0x11a60