// File: /workspace/github_cpp_makefile_star2_O3/mh0fm4[P]SCDC/src/components/compcoup/compcoup_transport.cc
// Function: scdc_dataset_transport::read_state_end(scdc_transport_connection_t*)
static bool read_state_end(scdc_transport_connection_t *transport_connection_)
    {
      bool ret = true;

      char c;
      ret = ret && read_bytes(transport_connection_, &c, 1);
      SCDC_ASSERT(c == state_end);

      ret = ret && read_bytes(transport_connection_, &c, 1);
      SCDC_ASSERT(c == default_delim);

      return ret;
    }

// Assembly:
pushq %rbp
pushq %r15
pushq %r14
pushq %r13
pushq %r12
pushq %rbx
subq $0x18, %rsp
movq %rdi, %rbx
leaq 0x30(%rdi), %r14
movl $0x1, %r13d
leaq 0xf(%rsp), %r15
movq 0x50(%rbx), %r12
movq 0x58(%rbx), %rbp
movq 0x38(%rbx), %rsi
addq %rbp, %rsi
subq %rbp, %r12
cmpq %r13, %r12
cmovgeq %r13, %r12
movq %r15, %rdi
movq %r12, %rdx
callq 0xb3f0
addq %r12, %rbp
movq %rbp, 0x58(%rbx)
subq %r12, %r13
jle 0x6708b
movq 0x68(%rbx), %rax
testq %rax, %rax
je 0x6708b
addq %r12, %r15
movq %r14, %rdi
callq *%rax
testb %al, %al
jne 0x67046
movb 0xf(%rsp), %r12b
cmpb $0x3e, %r12b
je 0x67169
leaq 0x254cf(%rip), %rbp     # 0x8c570
movq (%rbp), %rdi
cmpq $0x0, 0x18(%rdi)
je 0x67169
addq $0x20, %rdi
callq 0xb7d0
movq (%rbp), %rax
movq 0x18(%rax), %r15
leaq 0x34a1(%rip), %rsi      # 0x6a569
movl $0xd, %edx
movq %r15, %rdi
callq 0xb5f0
leaq 0x6dd1(%rip), %rsi      # 0x6dead
movl $0x1e, %edx
movq %r15, %rdi
callq 0xb5f0
leaq 0x3274(%rip), %rsi      # 0x6a364
movl $0x1, %edx
movq %r15, %rdi
callq 0xb5f0
movq %r15, %rdi
movl $0x5e, %esi
callq 0xb9a0
movq %rax, %r15
leaq 0x7432(%rip), %rsi      # 0x6e546
movl $0x11, %edx
movq %rax, %rdi
callq 0xb5f0
leaq 0x4dd8(%rip), %rsi      # 0x6bf00
movl $0x8, %edx
movq %r15, %rdi
callq 0xb5f0
movq (%r15), %rax
movq -0x18(%rax), %rdi
addq %r15, %rdi
movl $0xa, %esi
callq 0xb4d0
movsbl %al, %esi
movq %r15, %rdi
callq 0xb050
movq %rax, %rdi
callq 0xb340
movq (%rbp), %rdi
addq $0x20, %rdi
callq 0xb3b0
testq %r13, %r13
jle 0x67172
xorl %ebp, %ebp
jmp 0x671db
movq %r14, 0x10(%rsp)
movl $0x1, %r13d
leaq 0xf(%rsp), %r15
movq 0x50(%rbx), %r12
movq 0x58(%rbx), %r14
movq 0x38(%rbx), %rsi
addq %r14, %rsi
subq %r14, %r12
cmpq %r13, %r12
cmovgeq %r13, %r12
movq %r15, %rdi
movq %r12, %rdx
callq 0xb3f0
addq %r12, %r14
movq %r13, %rax
subq %r12, %rax
testq %rax, %rax
setle %bpl
movq %r14, 0x58(%rbx)
subq %r12, %r13
jle 0x671d6
movq 0x68(%rbx), %rax
testq %rax, %rax
je 0x671d6
addq %r12, %r15
movq 0x10(%rsp), %rdi
callq *%rax
testb %al, %al
jne 0x67182
movb 0xf(%rsp), %r12b
cmpb $0x20, %r12b
je 0x672b1
leaq 0x25384(%rip), %r14     # 0x8c570
movq (%r14), %rdi
cmpq $0x0, 0x18(%rdi)
je 0x672b1
addq $0x20, %rdi
callq 0xb7d0
movq (%r14), %rax
movq 0x18(%rax), %rbx
leaq 0x3358(%rip), %rsi      # 0x6a569
movl $0xd, %edx
movq %rbx, %rdi
callq 0xb5f0
leaq 0x6c88(%rip), %rsi      # 0x6dead
movl $0x1e, %edx
movq %rbx, %rdi
callq 0xb5f0
leaq 0x312b(%rip), %rsi      # 0x6a364
movl $0x1, %edx
movq %rbx, %rdi
callq 0xb5f0
movq %rbx, %rdi
movl $0x61, %esi
callq 0xb9a0
movq %rax, %rbx
leaq 0x725d(%rip), %rsi      # 0x6e4ba
movl $0x15, %edx
movq %rax, %rdi
callq 0xb5f0
leaq 0x4c8f(%rip), %rsi      # 0x6bf00
movl $0x8, %edx
movq %rbx, %rdi
callq 0xb5f0
movq (%rbx), %rax
movq -0x18(%rax), %rdi
addq %rbx, %rdi
movl $0xa, %esi
callq 0xb4d0
movsbl %al, %esi
movq %rbx, %rdi
callq 0xb050
movq %rax, %rdi
callq 0xb340
movq (%r14), %rdi
addq $0x20, %rdi
callq 0xb3b0
movl %ebp, %eax
addq $0x18, %rsp
popq %rbx
popq %r12
popq %r13
popq %r14
popq %r15
popq %rbp
retq