// File: /workspace/github_c_makefile_star2_O1/BatchLabs[P]msgpack-dump/src/cmp.c
// Function: cmp_skip_object_flat
bool cmp_skip_object_flat(cmp_ctx_t *ctx, cmp_object_t *obj) {
  size_t element_count = 1;
  bool in_container = false;

  while (element_count) {
    uint8_t type_marker = 0;
    uint8_t cmp_type;
    uint32_t size = 0;

    if (!read_type_marker(ctx, &type_marker)) {
      return false;
    }

    if (!type_marker_to_cmp_type(type_marker, &cmp_type)) {
      ctx->error = INVALID_TYPE_ERROR;
      return false;
    }

    switch (cmp_type) {
      case CMP_TYPE_FIXARRAY:
      case CMP_TYPE_ARRAY16:
      case CMP_TYPE_ARRAY32:
      case CMP_TYPE_FIXMAP:
      case CMP_TYPE_MAP16:
      case CMP_TYPE_MAP32:
        if (in_container) {
          obj->type = cmp_type;

          if (!read_obj_data(ctx, type_marker, obj)) {
            return false;
          }

          ctx->error = SKIP_DEPTH_LIMIT_EXCEEDED_ERROR;
          return false;
        }

        in_container = true;

        break;
      default:
        if (!read_type_size(ctx, type_marker, cmp_type, &size)) {
          return false;
        }

        if (size) {
          switch (cmp_type) {
            case CMP_TYPE_FIXEXT1:
            case CMP_TYPE_FIXEXT2:
            case CMP_TYPE_FIXEXT4:
            case CMP_TYPE_FIXEXT8:
            case CMP_TYPE_FIXEXT16:
            case CMP_TYPE_EXT8:
            case CMP_TYPE_EXT16:
            case CMP_TYPE_EXT32:
              size++;
            default:
              break;
          }

          skip_bytes(ctx, size);
        }
    }

    element_count--;

    switch (cmp_type) {
      case CMP_TYPE_FIXARRAY:
      case CMP_TYPE_ARRAY16:
      case CMP_TYPE_ARRAY32:
        if (!read_type_size(ctx, type_marker, cmp_type, &size)) {
          return false;
        }
        element_count += size;
        break;
      case CMP_TYPE_FIXMAP:
      case CMP_TYPE_MAP16:
      case CMP_TYPE_MAP32:
        if (!read_type_size(ctx, type_marker, cmp_type, &size)) {
          return false;
        }
        element_count += ((size_t)size) * 2;
        break;
      default:
        break;
    }
  }

  return true;
}

// Assembly:
pushq %rbp
movq %rsp, %rbp
pushq %r15
pushq %r14
pushq %r13
pushq %r12
pushq %rbx
subq $0x18, %rsp
movq %rsi, -0x40(%rbp)
movq %rdi, %r14
movl $0x1, %r13d
movl $0x0, -0x30(%rbp)
leaq -0x29(%rbp), %r12
movq %r13, %rbx
testq %r13, %r13
je 0x4667
movb $0x0, -0x29(%rbp)
movl $0x0, -0x34(%rbp)
movl $0x1, %edx
movq %r14, %rdi
movq %r12, %rsi
callq *0x10(%r14)
testb %al, %al
je 0x4572
movzbl -0x29(%rbp), %r13d
movl %r13d, %edi
leaq -0x35(%rbp), %rsi
callq 0x3f93
testb %al, %al
je 0x4578
movzbl -0x35(%rbp), %r12d
cmpq $0x21, %r12
ja 0x4587
movabsq $0x3c0000006, %rax      # imm = 0x3C0000006
btq %r12, %rax
jae 0x4587
movb $0x1, %dl
testb $0x1, -0x30(%rbp)
je 0x45cf
movq -0x40(%rbp), %rdx
movb %r12b, (%rdx)
movq %r14, %rdi
movl %r13d, %esi
callq 0x3fee
testb %al, %al
je 0x4623
movb $0x10, (%r14)
jmp 0x4623
movb $0x7, (%r14)
jmp 0x457c
movb $0xd, (%r14)
xorl %r15d, %r15d
movq %rbx, %r13
jmp 0x4658
movzbl %r12b, %edx
movq %r14, %rdi
movl %r13d, %esi
leaq -0x34(%rbp), %rcx
callq 0x430c
testb %al, %al
je 0x4623
movl -0x34(%rbp), %eax
testl %eax, %eax
je 0x45ca
cmpl $0x1a, %r12d
ja 0x45bf
movl $0x7c00e00, %ecx        # imm = 0x7C00E00
btl %r12d, %ecx
jae 0x45bf
incl %eax
movl %eax, -0x34(%rbp)
movl -0x34(%rbp), %esi
movq %r14, %rdi
callq 0x4455
movl -0x30(%rbp), %eax
movl %eax, %edx
leaq -0x1(%rbx), %r13
movb $0x1, %r15b
cmpl $0x21, %r12d
ja 0x4663
movl %r12d, %eax
movl $0xc0000004, %ecx       # imm = 0xC0000004
btq %rax, %rcx
movb %dl, -0x30(%rbp)
jb 0x462b
movabsq $0x300000002, %rcx      # imm = 0x300000002
btq %rax, %rcx
jae 0x4663
movzbl -0x29(%rbp), %esi
movzbl %r12b, %edx
movq %r14, %rdi
leaq -0x34(%rbp), %rcx
callq 0x430c
testb %al, %al
je 0x464b
movl -0x34(%rbp), %eax
leaq (%r13,%rax,2), %r13
jmp 0x464e
xorl %r15d, %r15d
movq %rbx, %r13
jmp 0x4654
movzbl -0x29(%rbp), %esi
movzbl %r12b, %edx
movq %r14, %rdi
leaq -0x34(%rbp), %rcx
callq 0x430c
testb %al, %al
je 0x464b
movl -0x34(%rbp), %eax
addq %rax, %r13
jmp 0x464e
xorl %r15d, %r15d
movb -0x30(%rbp), %al
movl %eax, -0x30(%rbp)
leaq -0x29(%rbp), %r12
testb %r15b, %r15b
jne 0x44e9
jmp 0x4667
movl %edx, %eax
jmp 0x4651
testq %rbx, %rbx
sete %al
addq $0x18, %rsp
popq %rbx
popq %r12
popq %r13
popq %r14
popq %r15
popq %rbp
retq