// File: /workspace/github_c_makefile_star2_O2/CheneyThinker[P]jbyte/src/jbyte_attribute.c
// Function: StackMapTable_attribute
void StackMapTable_attribute(FILE* pReadFile) {
  PRINTF_U2(number_of_entries)
  if (number_of_entries > 0) {
    for (u2 number_of_entries_index = 0; number_of_entries_index < number_of_entries; number_of_entries_index++) {
      PRINTF_U1(frame_type)
      if (frame_type >= 0x00 && frame_type <= 0x3f) {
      } else if (frame_type >= 0x40 && frame_type <= 0x7f) {
        verification_type_info(pReadFile);
      } else if (frame_type == 0xf7) {
        PRINTF_U2(offset_delta)
        verification_type_info(pReadFile);
      } else if (frame_type >= 0xf8 && frame_type <= 0xfa) {
        PRINTF_U2(offset_delta)
      } else if (frame_type == 0xfb) {
        PRINTF_U2(offset_delta)
      } else if (frame_type >= 0xfc && frame_type <= 0xfe) {
        PRINTF_U2(offset_delta)
        for (u1 frame_type_index = 0, frame_type_ = frame_type - 251; frame_type_index < frame_type_; frame_type_index++) {
          verification_type_info(pReadFile);
        }
      } else if (frame_type == 0xff) {
        PRINTF_U2(offset_delta)
        PRINTF_U2(number_of_locals)
        for (u2 number_of_locals_index = 0; number_of_locals_index < number_of_locals; number_of_locals_index++) {
          verification_type_info(pReadFile);
        }
        PRINTF_U2(number_of_stack_items)
        for (u2 number_of_stack_items_index = 0; number_of_stack_items_index < number_of_stack_items; number_of_stack_items_index++) {
          verification_type_info(pReadFile);
        }
      }
    }
  }
}

// Assembly:
pushq %rbp
movq %rsp, %rbp
pushq %r15
pushq %r14
pushq %r13
pushq %r12
pushq %rbx
subq $0x18, %rsp
movq %rdi, %rbx
leaq -0x32(%rbp), %r14
pushq $0x1
popq %rsi
pushq $0x2
popq %rdx
movq %r14, %rdi
movq %rbx, %rcx
callq 0x1080
movzwl (%r14), %r15d
movl %r15d, %r14d
rolw $0x8, %r14w
movzwl %r14w, %esi
leaq 0x49fa(%rip), %rdi      # 0x84c0
xorl %eax, %eax
callq 0x10b0
testw %r15w, %r15w
je 0x3c96
pushq $0x1
popq %r15
xorl %r12d, %r12d
cmpw %r14w, %r12w
je 0x3c96
leaq -0x2b(%rbp), %rdi
movq %r15, %rsi
movq %r15, %rdx
movq %rbx, %rcx
callq 0x1080
movzbl -0x2b(%rbp), %r13d
leaq 0x49d3(%rip), %rdi      # 0x84d9
movl %r13d, %esi
xorl %eax, %eax
callq 0x10b0
cmpl $0x40, %r13d
jb 0x3b54
testb %r13b, %r13b
jns 0x3b4c
cmpb $-0x9, %r13b
jne 0x3b59
leaq -0x2a(%rbp), %rdi
movq %r15, %rsi
pushq $0x2
popq %rdx
movq %rbx, %rcx
callq 0x1080
movzwl -0x2a(%rbp), %eax
rolw $0x8, %ax
movzwl %ax, %esi
leaq 0x49a6(%rip), %rdi      # 0x84eb
xorl %eax, %eax
callq 0x10b0
movq %rbx, %rdi
callq 0x4d8d
incl %r12d
jmp 0x3ade
leal 0x8(%r13), %eax
cmpb $0x2, %al
jbe 0x3b67
cmpb $-0x5, %r13b
jne 0x3b94
leaq -0x2a(%rbp), %rdi
movq %r15, %rsi
pushq $0x2
popq %rdx
movq %rbx, %rcx
callq 0x1080
movzwl -0x2a(%rbp), %eax
rolw $0x8, %ax
movzwl %ax, %esi
leaq 0x4960(%rip), %rdi      # 0x84eb
xorl %eax, %eax
callq 0x10b0
jmp 0x3b54
leal 0x4(%r13), %eax
cmpb $0x2, %al
ja 0x3bdb
leaq -0x2a(%rbp), %rdi
movq %r15, %rsi
pushq $0x2
popq %rdx
movq %rbx, %rcx
callq 0x1080
movzwl -0x2a(%rbp), %eax
rolw $0x8, %ax
movzwl %ax, %esi
leaq 0x492b(%rip), %rdi      # 0x84eb
xorl %eax, %eax
callq 0x10b0
addb $0x5, %r13b
subb $0x1, %r13b
jb 0x3b54
movq %rbx, %rdi
callq 0x4d8d
jmp 0x3bcb
cmpb $-0x1, %r13b
jne 0x3b54
leaq -0x2a(%rbp), %rdi
movq %r15, %rsi
pushq $0x2
popq %r13
movq %r13, %rdx
movq %rbx, %rcx
callq 0x1080
movzwl -0x2a(%rbp), %eax
rolw $0x8, %ax
movzwl %ax, %esi
leaq 0x48de(%rip), %rdi      # 0x84eb
xorl %eax, %eax
callq 0x10b0
leaq -0x30(%rbp), %rdi
movq %r15, %rsi
movq %r13, %rdx
movq %rbx, %rcx
callq 0x1080
movzwl -0x30(%rbp), %r13d
rolw $0x8, %r13w
movzwl %r13w, %esi
leaq 0x48c4(%rip), %rdi      # 0x84ff
xorl %eax, %eax
callq 0x10b0
subw $0x1, %r13w
jb 0x3c53
movq %rbx, %rdi
callq 0x4d8d
jmp 0x3c42
leaq -0x2e(%rbp), %rdi
movq %r15, %rsi
pushq $0x2
popq %rdx
movq %rbx, %rcx
callq 0x1080
movzwl -0x2e(%rbp), %r13d
rolw $0x8, %r13w
movzwl %r13w, %esi
leaq 0x489d(%rip), %rdi      # 0x8517
xorl %eax, %eax
callq 0x10b0
subw $0x1, %r13w
jb 0x3b54
movq %rbx, %rdi
callq 0x4d8d
jmp 0x3c81
addq $0x18, %rsp
popq %rbx
popq %r12
popq %r13
popq %r14
popq %r15
popq %rbp
retq