// File: /workspace/github_c_makefile_star2_O0/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
subq $0x30, %rsp
movq %rdi, -0x8(%rbp)
movq -0x8(%rbp), %rcx
leaq -0xa(%rbp), %rdi
movl $0x1, %esi
movl $0x2, %edx
callq 0x1050
movzwl -0xa(%rbp), %eax
shll $0x8, %eax
andl $0xff00, %eax           # imm = 0xFF00
movzwl -0xa(%rbp), %ecx
sarl $0x8, %ecx
andl $0xff, %ecx
orl %ecx, %eax
movw %ax, -0xa(%rbp)
movzwl -0xa(%rbp), %esi
leaq 0x77d0(%rip), %rdi      # 0xcb5d
movb $0x0, %al
callq 0x1090
movzwl -0xa(%rbp), %eax
cmpl $0x0, %eax
jle 0x5723
movw $0x0, -0xc(%rbp)
movzwl -0xc(%rbp), %eax
movzwl -0xa(%rbp), %ecx
cmpl %ecx, %eax
jge 0x5721
movq -0x8(%rbp), %rcx
leaq -0xd(%rbp), %rdi
movl $0x1, %edx
movq %rdx, %rsi
callq 0x1050
movzbl -0xd(%rbp), %esi
leaq 0x779f(%rip), %rdi      # 0xcb76
movb $0x0, %al
callq 0x1090
movzbl -0xd(%rbp), %eax
cmpl $0x0, %eax
jl 0x53f5
movzbl -0xd(%rbp), %eax
cmpl $0x3f, %eax
jg 0x53f5
jmp 0x570e
movzbl -0xd(%rbp), %eax
cmpl $0x40, %eax
jl 0x5415
movzbl -0xd(%rbp), %eax
cmpl $0x7f, %eax
jg 0x5415
movq -0x8(%rbp), %rdi
callq 0x7230
jmp 0x570c
movzbl -0xd(%rbp), %eax
cmpl $0xf7, %eax
jne 0x5476
movq -0x8(%rbp), %rcx
leaq -0x10(%rbp), %rdi
movl $0x1, %esi
movl $0x2, %edx
callq 0x1050
movzwl -0x10(%rbp), %eax
shll $0x8, %eax
andl $0xff00, %eax           # imm = 0xFF00
movzwl -0x10(%rbp), %ecx
sarl $0x8, %ecx
andl $0xff, %ecx
orl %ecx, %eax
movw %ax, -0x10(%rbp)
movzwl -0x10(%rbp), %esi
leaq 0x7727(%rip), %rdi      # 0xcb88
movb $0x0, %al
callq 0x1090
movq -0x8(%rbp), %rdi
callq 0x7230
jmp 0x570a
movzbl -0xd(%rbp), %eax
cmpl $0xf8, %eax
jl 0x54d9
movzbl -0xd(%rbp), %eax
cmpl $0xfa, %eax
jg 0x54d9
movq -0x8(%rbp), %rcx
leaq -0x12(%rbp), %rdi
movl $0x1, %esi
movl $0x2, %edx
callq 0x1050
movzwl -0x12(%rbp), %eax
shll $0x8, %eax
andl $0xff00, %eax           # imm = 0xFF00
movzwl -0x12(%rbp), %ecx
sarl $0x8, %ecx
andl $0xff, %ecx
orl %ecx, %eax
movw %ax, -0x12(%rbp)
movzwl -0x12(%rbp), %esi
leaq 0x76bb(%rip), %rdi      # 0xcb88
movb $0x0, %al
callq 0x1090
jmp 0x5708
movzbl -0xd(%rbp), %eax
cmpl $0xfb, %eax
jne 0x5531
movq -0x8(%rbp), %rcx
leaq -0x14(%rbp), %rdi
movl $0x1, %esi
movl $0x2, %edx
callq 0x1050
movzwl -0x14(%rbp), %eax
shll $0x8, %eax
andl $0xff00, %eax           # imm = 0xFF00
movzwl -0x14(%rbp), %ecx
sarl $0x8, %ecx
andl $0xff, %ecx
orl %ecx, %eax
movw %ax, -0x14(%rbp)
movzwl -0x14(%rbp), %esi
leaq 0x7663(%rip), %rdi      # 0xcb88
movb $0x0, %al
callq 0x1090
jmp 0x5706
movzbl -0xd(%rbp), %eax
cmpl $0xfc, %eax
jl 0x55c7
movzbl -0xd(%rbp), %eax
cmpl $0xfe, %eax
jg 0x55c7
movq -0x8(%rbp), %rcx
leaq -0x16(%rbp), %rdi
movl $0x1, %esi
movl $0x2, %edx
callq 0x1050
movzwl -0x16(%rbp), %eax
shll $0x8, %eax
andl $0xff00, %eax           # imm = 0xFF00
movzwl -0x16(%rbp), %ecx
sarl $0x8, %ecx
andl $0xff, %ecx
orl %ecx, %eax
movw %ax, -0x16(%rbp)
movzwl -0x16(%rbp), %esi
leaq 0x75fc(%rip), %rdi      # 0xcb88
movb $0x0, %al
callq 0x1090
movb $0x0, -0x17(%rbp)
movzbl -0xd(%rbp), %eax
subl $0xfb, %eax
movb %al, -0x18(%rbp)
movzbl -0x17(%rbp), %eax
movzbl -0x18(%rbp), %ecx
cmpl %ecx, %eax
jge 0x55c2
movq -0x8(%rbp), %rdi
callq 0x7230
movb -0x17(%rbp), %al
addb $0x1, %al
movb %al, -0x17(%rbp)
jmp 0x55a3
jmp 0x5704
movzbl -0xd(%rbp), %eax
cmpl $0xff, %eax
jne 0x5702
movq -0x8(%rbp), %rcx
leaq -0x1a(%rbp), %rdi
movl $0x1, %esi
movl $0x2, %edx
callq 0x1050
movzwl -0x1a(%rbp), %eax
shll $0x8, %eax
andl $0xff00, %eax           # imm = 0xFF00
movzwl -0x1a(%rbp), %ecx
sarl $0x8, %ecx
andl $0xff, %ecx
orl %ecx, %eax
movw %ax, -0x1a(%rbp)
movzwl -0x1a(%rbp), %esi
leaq 0x7571(%rip), %rdi      # 0xcb88
movb $0x0, %al
callq 0x1090
movq -0x8(%rbp), %rcx
leaq -0x1c(%rbp), %rdi
movl $0x1, %esi
movl $0x2, %edx
callq 0x1050
movzwl -0x1c(%rbp), %eax
shll $0x8, %eax
andl $0xff00, %eax           # imm = 0xFF00
movzwl -0x1c(%rbp), %ecx
sarl $0x8, %ecx
andl $0xff, %ecx
orl %ecx, %eax
movw %ax, -0x1c(%rbp)
movzwl -0x1c(%rbp), %esi
leaq 0x753d(%rip), %rdi      # 0xcb9c
movb $0x0, %al
callq 0x1090
movw $0x0, -0x1e(%rbp)
movzwl -0x1e(%rbp), %eax
movzwl -0x1c(%rbp), %ecx
cmpl %ecx, %eax
jge 0x568f
movq -0x8(%rbp), %rdi
callq 0x7230
movw -0x1e(%rbp), %ax
addw $0x1, %ax
movw %ax, -0x1e(%rbp)
jmp 0x566c
movq -0x8(%rbp), %rcx
leaq -0x20(%rbp), %rdi
movl $0x1, %esi
movl $0x2, %edx
callq 0x1050
movzwl -0x20(%rbp), %eax
shll $0x8, %eax
andl $0xff00, %eax           # imm = 0xFF00
movzwl -0x20(%rbp), %ecx
sarl $0x8, %ecx
andl $0xff, %ecx
orl %ecx, %eax
movw %ax, -0x20(%rbp)
movzwl -0x20(%rbp), %esi
leaq 0x74e4(%rip), %rdi      # 0xcbb4
movb $0x0, %al
callq 0x1090
movw $0x0, -0x22(%rbp)
movzwl -0x22(%rbp), %eax
movzwl -0x20(%rbp), %ecx
cmpl %ecx, %eax
jge 0x5700
movq -0x8(%rbp), %rdi
callq 0x7230
movw -0x22(%rbp), %ax
addw $0x1, %ax
movw %ax, -0x22(%rbp)
jmp 0x56dd
jmp 0x5702
jmp 0x5704
jmp 0x5706
jmp 0x5708
jmp 0x570a
jmp 0x570c
jmp 0x570e
jmp 0x5710
movw -0xc(%rbp), %ax
addw $0x1, %ax
movw %ax, -0xc(%rbp)
jmp 0x53a7
jmp 0x5723
addq $0x30, %rsp
popq %rbp
retq
nopl (%rax)