// File: /workspace/github_cpp_makefile_star2_O1/DoubleString[P]RtConverter/src/Json/json_value.cpp
// Function: Json::Value::resize(unsigned int)
void Value::resize(ArrayIndex newSize) {
  JSON_ASSERT_MESSAGE(type_ == nullValue || type_ == arrayValue,
                      "in Json::Value::resize(): requires arrayValue");
  if (type_ == nullValue)
    *this = Value(arrayValue);
  ArrayIndex oldSize = size();
  if (newSize == 0)
    clear();
  else if (newSize > oldSize)
    this->operator[](newSize - 1);
  else {
    for (ArrayIndex index = newSize; index < oldSize; ++index) {
      value_.map_->erase(index);
    }
    JSON_ASSERT(size() == newSize);
  }
}

// Assembly:
pushq %rbp
movq %rsp, %rbp
pushq %r15
pushq %r14
pushq %r13
pushq %r12
pushq %rbx
subq $0x1c8, %rsp            # imm = 0x1C8
movl %esi, %ebx
movq %rdi, %r14
movzwl 0x8(%rdi), %r12d
testb %r12b, %r12b
je 0x14b2e
movzbl %r12b, %eax
cmpl $0x6, %eax
je 0x14c02
leaq -0x1c8(%rbp), %rbx
movq %rbx, %rdi
callq 0x8870
leaq 0x5529e(%rip), %rsi     # 0x69da6
movl $0x2d, %edx
movq %rbx, %rdi
callq 0x8730
leaq -0x1c0(%rbp), %rsi
leaq -0x50(%rbp), %rdi
callq 0x8a00
leaq -0x50(%rbp), %rdi
callq 0x1288d
movzbl %r12b, %eax
movl %eax, -0x30(%rbp)
movl %ebx, -0x2c(%rbp)
movl $0xfffffe00, %ebx       # imm = 0xFFFFFE00
leaq -0x1f0(%rbp), %r15
andl 0x8(%r15), %ebx
leal 0x6(%rbx), %eax
movw %ax, 0x8(%r15)
xorps %xmm0, %xmm0
movups %xmm0, 0x10(%r15)
xorl %r13d, %r13d
movq %r13, 0x20(%r15)
movl $0x30, %edi
callq 0x8640
leaq 0x8(%rax), %rcx
xorps %xmm0, %xmm0
movaps %xmm0, 0x10(%rax)
movaps %xmm0, 0x20(%rax)
movaps %xmm0, (%rax)
movq %rcx, 0x18(%rax)
movq %rcx, 0x20(%rax)
movq %r13, 0x28(%rax)
movq %rax, (%r15)
movl %r12d, %eax
andl $0xffffff00, %eax       # imm = 0xFFFFFF00
orl $0x6, %eax
movw %ax, 0x8(%r14)
addl -0x30(%rbp), %ebx
movw %bx, 0x8(%r15)
movq (%r14), %rcx
movq (%r15), %rdx
movq %rdx, (%r14)
movq %rcx, (%r15)
andl $0xfe06, %eax           # imm = 0xFE06
movw %ax, 0x8(%r14)
andl $0x100, %r12d           # imm = 0x100
orl %ebx, %r12d
movl -0x2c(%rbp), %ebx
movw %r12w, 0x8(%r15)
movq 0x10(%r14), %rax
movq 0x10(%r15), %rcx
movq %rcx, 0x10(%r14)
movq %rax, 0x10(%r15)
movq 0x18(%r14), %rax
movq 0x18(%r15), %rcx
movq %rcx, 0x18(%r14)
movq %rax, 0x18(%r15)
movq 0x20(%r14), %rax
movq 0x20(%r15), %rcx
movq %rcx, 0x20(%r14)
movq %rax, 0x20(%r15)
movq %r15, %rdi
callq 0x13416
movq %r14, %rdi
callq 0x1493c
testl %ebx, %ebx
je 0x14c32
movl %eax, %r15d
cmpl %ebx, %eax
jae 0x14c4b
decl %ebx
movq %r14, %rdi
movl %ebx, %esi
addq $0x1c8, %rsp            # imm = 0x1C8
popq %rbx
popq %r12
popq %r13
popq %r14
popq %r15
popq %rbp
jmp 0x14d7c
movq %r14, %rdi
addq $0x1c8, %rsp            # imm = 0x1C8
popq %rbx
popq %r12
popq %r13
popq %r14
popq %r15
popq %rbp
jmp 0x149f6
movl %ebx, -0x2c(%rbp)
jbe 0x14caa
leaq -0x1c8(%rbp), %r12
movl -0x2c(%rbp), %ebx
movq (%r14), %r13
movq $0x0, -0x1c8(%rbp)
movl %ebx, -0x1c0(%rbp)
movq %r13, %rdi
movq %r12, %rsi
callq 0x17730
movq %r13, %rdi
movq %rax, %rsi
callq 0x177f6
movq -0x1c8(%rbp), %rdi
testq %rdi, %rdi
je 0x14ca3
movl -0x1c0(%rbp), %eax
andl $0x3, %eax
cmpl $0x1, %eax
jne 0x14ca3
callq 0x87b0
incl %ebx
cmpl %ebx, %r15d
jne 0x14c5a
movq %r14, %rdi
callq 0x1493c
cmpl -0x2c(%rbp), %eax
jne 0x14cc9
addq $0x1c8, %rsp            # imm = 0x1C8
popq %rbx
popq %r12
popq %r13
popq %r14
popq %r15
popq %rbp
retq
leaq -0x1b8(%rbp), %r14
movq %r14, -0x10(%r14)
leaq 0x54ccc(%rip), %rsi     # 0x699a7
leaq 0x54cd7(%rip), %rdx     # 0x699b9
leaq -0x1c8(%rbp), %rdi
callq 0x1126a
leaq -0x1c8(%rbp), %rdi
callq 0x1288d
movq %rax, %rbx
leaq -0x40(%rbp), %rax
movq -0x10(%rax), %rdi
cmpq %rax, %rdi
je 0x14d31
callq 0x85d0
jmp 0x14d31
jmp 0x14d2e
movq %rax, %rbx
movq -0x1c8(%rbp), %rdi
cmpq %r14, %rdi
je 0x14d74
callq 0x85d0
jmp 0x14d74
movq %rax, %rbx
jmp 0x14d74
movq %rax, %rbx
movq 0x79288(%rip), %rsi     # 0x8dfc0
leaq -0x1c8(%rbp), %rdi
callq 0x8370
leaq -0x158(%rbp), %rdi
callq 0x8220
jmp 0x14d74
movq %rax, %rbx
movq -0x1c8(%rbp), %rdi
testq %rdi, %rdi
je 0x14d74
movl -0x1c0(%rbp), %eax
andl $0x3, %eax
cmpl $0x1, %eax
jne 0x14d74
callq 0x87b0
movq %rbx, %rdi
callq 0x8b40