// File: /workspace/github_c_makefile_star2_O1/johsteffens[P]beth/lib/bcore/bcore.xo.c
// Function: x_bcml_push_leaf_arr
void x_bcml_push_leaf_arr( x_sink* sink, tp_t t, const x_inst* leaf, sz_t size )
{
    // bcore_x_bcml.h:367:1
    
    switch( t )
    {
        case TYPEOF_aware_t : x_sink_push_data(sink,leaf, size * sizeof( aware_t ) ); break;
        case TYPEOF_bl_t    : { for(sz_t i = 0; i < size; i++ ) x_sink_push_bl(sink,((const bl_t*)(leaf))[ i ] ); } break; // bl is converted
        case TYPEOF_f2_t    : x_sink_push_data(sink,leaf, size * sizeof( f2_t ) ); break;
        case TYPEOF_f3_t    : x_sink_push_data(sink,leaf, size * sizeof( f3_t ) ); break;
        case TYPEOF_s0_t    : x_sink_push_data(sink,leaf, size * sizeof( s0_t ) ); break;
        case TYPEOF_s1_t    : x_sink_push_data(sink,leaf, size * sizeof( s1_t ) ); break;
        case TYPEOF_s2_t    : x_sink_push_data(sink,leaf, size * sizeof( s2_t ) ); break;
        case TYPEOF_s3_t    : x_sink_push_data(sink,leaf, size * sizeof( s3_t ) ); break;
        case TYPEOF_sc_t    : break; // c-style constant strings are skipped over
        case TYPEOF_sz_t    : { for(sz_t i = 0; i < size; i++ ) x_sink_push_s3(sink,((const sz_t*)(leaf))[ i ] ); } break; // sz is converted
        case TYPEOF_uz_t    : { for(sz_t i = 0; i < size; i++ ) x_sink_push_u3(sink,((const uz_t*)(leaf))[ i ] ); } break; // uz is converted
        case TYPEOF_tp_t    : x_sink_push_data(sink,leaf, size * sizeof( tp_t ) ); break;
        case TYPEOF_u0_t    : x_sink_push_data(sink,leaf, size * sizeof( u0_t ) ); break;
        case TYPEOF_u1_t    : x_sink_push_data(sink,leaf, size * sizeof( u1_t ) ); break;
        case TYPEOF_u2_t    : x_sink_push_data(sink,leaf, size * sizeof( u2_t ) ); break;
        case TYPEOF_u3_t    : x_sink_push_data(sink,leaf, size * sizeof( u3_t ) ); break;
        default: ERR_fa( "Cannot convert array of type '#<sc_t>' into a binary stream.", bnameof( t ) );
    }
}

// Assembly:
pushq %rbp
pushq %r15
pushq %r14
pushq %r13
pushq %r12
pushq %rbx
subq $0x18, %rsp
movq %rcx, %rbx
movq %rdx, (%rsp)
movq %rdi, %rbp
movabsq $-0x3ac242643d9c35a9, %rax # imm = 0xC53DBD9BC263CA57
cmpq %rax, %rsi
movq %rcx, 0x8(%rsp)
movq %rdi, %r15
jg 0x8466c
movabsq $-0x5aa4411ac4e2880f, %rax # imm = 0xA55BBEE53B1D77F1
cmpq %rax, %rsi
jg 0x846b0
movabsq $-0x6119581ac7eacd64, %rax # imm = 0x9EE6A7E53815329C
cmpq %rax, %rsi
jg 0x847bc
movabsq $-0x73f6ae1ad309fd45, %rax # imm = 0x8C0951E52CF602BB
cmpq %rax, %rsi
je 0x8471e
movabsq $-0x6bce971ace902370, %rax # imm = 0x943168E5316FDC90
cmpq %rax, %rsi
jne 0x84e5f
movq (%rbp), %r12
leaq 0x1254d6(%rip), %rax    # 0x1a9ab0
movl (%rax), %ecx
movslq %ecx, %rcx
leaq (%rcx,%rcx,2), %rcx
movq 0x20(%rax,%rcx,8), %rdx
movq 0x18(%rax,%rcx,8), %rcx
andq %r12, %rcx
shlq $0x4, %rcx
leaq (%rdx,%rcx), %rax
movq (%rdx,%rcx), %rdx
movl $0x8, %ecx
cmpq %r12, %rdx
je 0x84634
movq 0x10(%rax), %rdx
movl $0x18, %ecx
cmpq %r12, %rdx
je 0x84634
movq 0x20(%rax), %rdx
movl $0x28, %ecx
cmpq %r12, %rdx
je 0x84634
movq 0x30(%rax), %rdx
movl $0x38, %ecx
cmpq %r12, %rdx
jne 0x84eb9
movq (%rax,%rcx), %r14
testq %r14, %r14
jne 0x84664
movabsq $0x5ea8cabb93ff3b7e, %rdi # imm = 0x5EA8CABB93FF3B7E
movq %r12, %rsi
callq 0xf3f85
movq %rax, %r14
leaq 0x125457(%rip), %rdi    # 0x1a9ab0
movq %r12, %rsi
movq %rax, %rdx
callq 0x12128c
addq %rbx, %rbx
jmp 0x84c7d
movabsq $0x585a3b17ca3de1ff, %rax # imm = 0x585A3B17CA3DE1FF
cmpq %rax, %rsi
jg 0x846e5
movabsq $-0x84b14e74a9e1ff1, %rax # imm = 0xF7B4EB18B561E00F
cmpq %rax, %rsi
jg 0x84880
movabsq $-0x3ac242643d9c35a8, %rax # imm = 0xC53DBD9BC263CA58
cmpq %rax, %rsi
je 0x84b19
movabsq $-0x388c46b188de83fe, %rax # imm = 0xC773B94E77217C02
jmp 0x847d9
movabsq $-0x4882601bdca6aefc, %rax # imm = 0xB77D9FE423595104
cmpq %rax, %rsi
jg 0x84944
movabsq $-0x5aa4411ac4e2880e, %rax # imm = 0xA55BBEE53B1D77F2
cmpq %rax, %rsi
je 0x84a7b
movabsq $-0x58737885f0577326, %rax # imm = 0xA78C877A0FA88CDA
jmp 0x8489d
movabsq $0x69849117d3eb7d61, %rax # imm = 0x69849117D3EB7D61
cmpq %rax, %rsi
jg 0x84a55
movabsq $0x585a3b17ca3de200, %rax # imm = 0x585A3B17CA3DE200
cmpq %rax, %rsi
je 0x847e2
movabsq $0x62367a17d02b474d, %rax # imm = 0x62367A17D02B474D
cmpq %rax, %rsi
jne 0x84e5f
movq (%rbp), %r12
leaq 0x125387(%rip), %rax    # 0x1a9ab0
movl (%rax), %ecx
movslq %ecx, %rcx
leaq (%rcx,%rcx,2), %rcx
movq 0x20(%rax,%rcx,8), %rdx
movq 0x18(%rax,%rcx,8), %rcx
andq %r12, %rcx
shlq $0x4, %rcx
leaq (%rdx,%rcx), %rax
movq (%rdx,%rcx), %rdx
movl $0x8, %ecx
cmpq %r12, %rdx
je 0x84783
movq 0x10(%rax), %rdx
movl $0x18, %ecx
cmpq %r12, %rdx
je 0x84783
movq 0x20(%rax), %rdx
movl $0x28, %ecx
cmpq %r12, %rdx
je 0x84783
movq 0x30(%rax), %rdx
movl $0x38, %ecx
cmpq %r12, %rdx
jne 0x84ea9
movq (%rax,%rcx), %r14
testq %r14, %r14
jne 0x84c7d
movabsq $0x5ea8cabb93ff3b7e, %rdi # imm = 0x5EA8CABB93FF3B7E
movq %r12, %rsi
callq 0xf3f85
movq %rax, %r14
leaq 0x125304(%rip), %rdi    # 0x1a9ab0
movq %r12, %rsi
movq %rax, %rdx
callq 0x12128c
jmp 0x84c7d
movabsq $-0x6119581ac7eacd63, %rax # imm = 0x9EE6A7E53815329D
cmpq %rax, %rsi
je 0x84be4
movabsq $-0x5fc2af85f419929b, %rax # imm = 0xA03D507A0BE66D65
cmpq %rax, %rsi
jne 0x84e5f
movq (%rbp), %r12
leaq 0x1252c3(%rip), %rax    # 0x1a9ab0
movl (%rax), %ecx
movslq %ecx, %rcx
leaq (%rcx,%rcx,2), %rcx
movq 0x20(%rax,%rcx,8), %rdx
movq 0x18(%rax,%rcx,8), %rcx
andq %r12, %rcx
shlq $0x4, %rcx
leaq (%rdx,%rcx), %rax
movq (%rdx,%rcx), %rdx
movl $0x8, %ecx
cmpq %r12, %rdx
je 0x84847
movq 0x10(%rax), %rdx
movl $0x18, %ecx
cmpq %r12, %rdx
je 0x84847
movq 0x20(%rax), %rdx
movl $0x28, %ecx
cmpq %r12, %rdx
je 0x84847
movq 0x30(%rax), %rdx
movl $0x38, %ecx
cmpq %r12, %rdx
jne 0x84e99
movq (%rax,%rcx), %r13
testq %r13, %r13
jne 0x84877
movabsq $0x5ea8cabb93ff3b7e, %rdi # imm = 0x5EA8CABB93FF3B7E
movq %r12, %rsi
callq 0xf3f85
movq %rax, %r13
leaq 0x125244(%rip), %rdi    # 0x1a9ab0
movq %r12, %rsi
movq %rax, %rdx
callq 0x12128c
shlq $0x3, %rbx
jmp 0x84e2b
movabsq $-0x84b14e74a9e1ff0, %rax # imm = 0xF7B4EB18B561E010
cmpq %rax, %rsi
je 0x84d84
movabsq $0x510c2417c67dabeb, %rax # imm = 0x510C2417C67DABEB
cmpq %rax, %rsi
jne 0x84e5f
movq (%rbp), %r12
leaq 0x1251ff(%rip), %rax    # 0x1a9ab0
movl (%rax), %ecx
movslq %ecx, %rcx
leaq (%rcx,%rcx,2), %rcx
movq 0x20(%rax,%rcx,8), %rdx
movq 0x18(%rax,%rcx,8), %rcx
andq %r12, %rcx
shlq $0x4, %rcx
leaq (%rdx,%rcx), %rax
movq (%rdx,%rcx), %rdx
movl $0x8, %ecx
cmpq %r12, %rdx
je 0x8490b
movq 0x10(%rax), %rdx
movl $0x18, %ecx
cmpq %r12, %rdx
je 0x8490b
movq 0x20(%rax), %rdx
movl $0x28, %ecx
cmpq %r12, %rdx
je 0x8490b
movq 0x30(%rax), %rdx
movl $0x38, %ecx
cmpq %r12, %rdx
jne 0x84ea1
movq (%rax,%rcx), %r13
testq %r13, %r13
jne 0x8493b
movabsq $0x5ea8cabb93ff3b7e, %rdi # imm = 0x5EA8CABB93FF3B7E
movq %r12, %rsi
callq 0xf3f85
movq %rax, %r13
leaq 0x125180(%rip), %rdi    # 0x1a9ab0
movq %r12, %rsi
movq %rax, %rdx
callq 0x12128c
shlq $0x2, %rbx
jmp 0x84e2b
movabsq $-0x4882601bdca6aefb, %rax # imm = 0xB77D9FE423595105
cmpq %rax, %rsi
je 0x84c9c
movabsq $-0x3f1363e6d8155aed, %rax # imm = 0xC0EC9C1927EAA513
cmpq %rax, %rsi
jne 0x84e5f
testq %rbx, %rbx
jle 0x84d84
xorl %ebx, %ebx
leaq 0x125134(%rip), %r13    # 0x1a9ab0
leaq 0x10(%rsp), %r12
movq (%rsp), %rax
movq (%rax,%rbx,8), %rax
movq %rax, 0x10(%rsp)
movq (%rbp), %rbp
movl (%r13), %eax
cltq
leaq (%rax,%rax,2), %rax
movq 0x20(%r13,%rax,8), %rcx
movq 0x18(%r13,%rax,8), %rdx
andq %rbp, %rdx
shlq $0x4, %rdx
leaq (%rcx,%rdx), %rax
movq (%rcx,%rdx), %rdx
movl $0x8, %ecx
cmpq %rbp, %rdx
je 0x849e9
movq 0x10(%rax), %rdx
movl $0x18, %ecx
cmpq %rbp, %rdx
je 0x849e9
movq 0x20(%rax), %rdx
movl $0x28, %ecx
cmpq %rbp, %rdx
je 0x849e9
movq 0x30(%rax), %rdx
movl $0x38, %ecx
cmpq %rbp, %rdx
jne 0x84a50
movq (%rax,%rcx), %r14
testq %r14, %r14
jne 0x84a15
movabsq $0x5ea8cabb93ff3b7e, %rdi # imm = 0x5EA8CABB93FF3B7E
movq %rbp, %rsi
callq 0xf3f85
movq %rax, %r14
movq %r13, %rdi
movq %rbp, %rsi
movq %rax, %rdx
callq 0x12128c
cmpq $0x0, 0x10(%r14)
jne 0x84a2b
movq %r14, %rdi
leaq 0xc0898(%rip), %rsi     # 0x1452be
callq 0xf592c
movl $0x8, %edx
movq %r15, %rbp
movq %r15, %rdi
movq %r12, %rsi
callq *0x10(%r14)
incq %rbx
cmpq %rbx, 0x8(%rsp)
jne 0x84981
jmp 0x84d84
xorl %r14d, %r14d
jmp 0x849ed
movabsq $0x69849117d3eb7d62, %rax # imm = 0x69849117D3EB7D62
cmpq %rax, %rsi
je 0x84d93
movabsq $0x6d07f9ef5b68e8a2, %rax # imm = 0x6D07F9EF5B68E8A2
cmpq %rax, %rsi
jne 0x84e5f
movq (%rbp), %r12
leaq 0x12502a(%rip), %rax    # 0x1a9ab0
movl (%rax), %ecx
movslq %ecx, %rcx
leaq (%rcx,%rcx,2), %rcx
movq 0x20(%rax,%rcx,8), %rdx
movq 0x18(%rax,%rcx,8), %rcx
andq %r12, %rcx
shlq $0x4, %rcx
leaq (%rdx,%rcx), %rax
movq (%rdx,%rcx), %rdx
movl $0x8, %ecx
cmpq %r12, %rdx
je 0x84ae0
movq 0x10(%rax), %rdx
movl $0x18, %ecx
cmpq %r12, %rdx
je 0x84ae0
movq 0x20(%rax), %rdx
movl $0x28, %ecx
cmpq %r12, %rdx
je 0x84ae0
movq 0x30(%rax), %rdx
movl $0x38, %ecx
cmpq %r12, %rdx
jne 0x84eb1
movq (%rax,%rcx), %r14
testq %r14, %r14
jne 0x84b10
movabsq $0x5ea8cabb93ff3b7e, %rdi # imm = 0x5EA8CABB93FF3B7E
movq %r12, %rsi
callq 0xf3f85
movq %rax, %r14
leaq 0x124fab(%rip), %rdi    # 0x1a9ab0
movq %r12, %rsi
movq %rax, %rdx
callq 0x12128c
shlq $0x3, %rbx
jmp 0x84c7d
testq %rbx, %rbx
jle 0x84d84
xorl %ebx, %ebx
leaq 0x124f85(%rip), %r13    # 0x1a9ab0
movq (%rsp), %rax
movb (%rax,%rbx), %r12b
movq (%rbp), %rbp
movl (%r13), %eax
cltq
leaq (%rax,%rax,2), %rax
movq 0x20(%r13,%rax,8), %rcx
movq 0x18(%r13,%rax,8), %rdx
andq %rbp, %rdx
shlq $0x4, %rdx
leaq (%rcx,%rdx), %rax
movq (%rcx,%rdx), %rdx
movl $0x8, %ecx
cmpq %rbp, %rdx
je 0x84b8e
movq 0x10(%rax), %rdx
movl $0x18, %ecx
cmpq %rbp, %rdx
je 0x84b8e
movq 0x20(%rax), %rdx
movl $0x28, %ecx
cmpq %rbp, %rdx
je 0x84b8e
movq 0x30(%rax), %rdx
movl $0x38, %ecx
cmpq %rbp, %rdx
jne 0x84bdf
movq (%rax,%rcx), %r14
testq %r14, %r14
jne 0x84bba
movabsq $0x5ea8cabb93ff3b7e, %rdi # imm = 0x5EA8CABB93FF3B7E
movq %rbp, %rsi
callq 0xf3f85
movq %rax, %r14
movq %r13, %rdi
movq %rbp, %rsi
movq %rax, %rdx
callq 0x12128c
movzbl %r12b, %edx
movq %r14, %rdi
movq %r15, %rbp
movq %r15, %rsi
callq 0x10903f
incq %rbx
cmpq %rbx, 0x8(%rsp)
jne 0x84b2b
jmp 0x84d84
xorl %r14d, %r14d
jmp 0x84b92
movq (%rbp), %r12
leaq 0x124ec1(%rip), %rax    # 0x1a9ab0
movl (%rax), %ecx
movslq %ecx, %rcx
leaq (%rcx,%rcx,2), %rcx
movq 0x20(%rax,%rcx,8), %rdx
movq 0x18(%rax,%rcx,8), %rcx
andq %r12, %rcx
shlq $0x4, %rcx
leaq (%rdx,%rcx), %rax
movq (%rdx,%rcx), %rdx
movl $0x8, %ecx
cmpq %r12, %rdx
je 0x84c49
movq 0x10(%rax), %rdx
movl $0x18, %ecx
cmpq %r12, %rdx
je 0x84c49
movq 0x20(%rax), %rdx
movl $0x28, %ecx
cmpq %r12, %rdx
je 0x84c49
movq 0x30(%rax), %rdx
movl $0x38, %ecx
cmpq %r12, %rdx
jne 0x84ec1
movq (%rax,%rcx), %r14
testq %r14, %r14
jne 0x84c79
movabsq $0x5ea8cabb93ff3b7e, %rdi # imm = 0x5EA8CABB93FF3B7E
movq %r12, %rsi
callq 0xf3f85
movq %rax, %r14
leaq 0x124e42(%rip), %rdi    # 0x1a9ab0
movq %r12, %rsi
movq %rax, %rdx
callq 0x12128c
shlq $0x2, %rbx
cmpq $0x0, 0x10(%r14)
jne 0x84c93
leaq 0xc0633(%rip), %rsi     # 0x1452be
movq %r14, %rdi
callq 0xf592c
movq 0x10(%r14), %rax
jmp 0x84e45
testq %rbx, %rbx
jle 0x84d84
xorl %ebx, %ebx
leaq 0x124e02(%rip), %r13    # 0x1a9ab0
leaq 0x10(%rsp), %r12
movq (%rsp), %rax
movq (%rax,%rbx,8), %rax
movq %rax, 0x10(%rsp)
movq (%rbp), %rbp
movl (%r13), %eax
cltq
leaq (%rax,%rax,2), %rax
movq 0x20(%r13,%rax,8), %rcx
movq 0x18(%r13,%rax,8), %rdx
andq %rbp, %rdx
shlq $0x4, %rdx
leaq (%rcx,%rdx), %rax
movq (%rcx,%rdx), %rdx
movl $0x8, %ecx
cmpq %rbp, %rdx
je 0x84d1b
movq 0x10(%rax), %rdx
movl $0x18, %ecx
cmpq %rbp, %rdx
je 0x84d1b
movq 0x20(%rax), %rdx
movl $0x28, %ecx
cmpq %rbp, %rdx
je 0x84d1b
movq 0x30(%rax), %rdx
movl $0x38, %ecx
cmpq %rbp, %rdx
jne 0x84d7f
movq (%rax,%rcx), %r14
testq %r14, %r14
jne 0x84d47
movabsq $0x5ea8cabb93ff3b7e, %rdi # imm = 0x5EA8CABB93FF3B7E
movq %rbp, %rsi
callq 0xf3f85
movq %rax, %r14
movq %r13, %rdi
movq %rbp, %rsi
movq %rax, %rdx
callq 0x12128c
cmpq $0x0, 0x10(%r14)
jne 0x84d5d
movq %r14, %rdi
leaq 0xc0566(%rip), %rsi     # 0x1452be
callq 0xf592c
movl $0x8, %edx
movq %r15, %rbp
movq %r15, %rdi
movq %r12, %rsi
callq *0x10(%r14)
incq %rbx
cmpq %rbx, 0x8(%rsp)
jne 0x84cb3
jmp 0x84d84
xorl %r14d, %r14d
jmp 0x84d1f
addq $0x18, %rsp
popq %rbx
popq %r12
popq %r13
popq %r14
popq %r15
popq %rbp
retq
movq (%rbp), %r12
leaq 0x124d12(%rip), %rax    # 0x1a9ab0
movl (%rax), %ecx
movslq %ecx, %rcx
leaq (%rcx,%rcx,2), %rcx
movq 0x20(%rax,%rcx,8), %rdx
movq 0x18(%rax,%rcx,8), %rcx
andq %r12, %rcx
shlq $0x4, %rcx
leaq (%rdx,%rcx), %rax
movq (%rdx,%rcx), %rdx
movl $0x8, %ecx
cmpq %r12, %rdx
je 0x84df8
movq 0x10(%rax), %rdx
movl $0x18, %ecx
cmpq %r12, %rdx
je 0x84df8
movq 0x20(%rax), %rdx
movl $0x28, %ecx
cmpq %r12, %rdx
je 0x84df8
movq 0x30(%rax), %rdx
movl $0x38, %ecx
cmpq %r12, %rdx
jne 0x84ec9
movq (%rax,%rcx), %r13
testq %r13, %r13
jne 0x84e28
movabsq $0x5ea8cabb93ff3b7e, %rdi # imm = 0x5EA8CABB93FF3B7E
movq %r12, %rsi
callq 0xf3f85
movq %rax, %r13
leaq 0x124c93(%rip), %rdi    # 0x1a9ab0
movq %r12, %rsi
movq %rax, %rdx
callq 0x12128c
addq %rbx, %rbx
cmpq $0x0, 0x10(%r13)
jne 0x84e41
leaq 0xc0485(%rip), %rsi     # 0x1452be
movq %r13, %rdi
callq 0xf592c
movq 0x10(%r13), %rax
movq %rbp, %rdi
movq (%rsp), %rsi
movq %rbx, %rdx
addq $0x18, %rsp
popq %rbx
popq %r12
popq %r13
popq %r14
popq %r15
popq %rbp
jmpq *%rax
movq %rsi, %rdi
callq 0xe0cbc
leaq 0xbe393(%rip), %rdi     # 0x143201
leaq 0xbd641(%rip), %rsi     # 0x1424b6
leaq 0xbe39a(%rip), %rcx     # 0x143216
movl $0x11cd, %edx           # imm = 0x11CD
movq %rax, %r8
xorl %eax, %eax
addq $0x18, %rsp
popq %rbx
popq %r12
popq %r13
popq %r14
popq %r15
popq %rbp
jmp 0xc825d
xorl %r13d, %r13d
jmp 0x8484b
xorl %r13d, %r13d
jmp 0x8490f
xorl %r14d, %r14d
jmp 0x84787
xorl %r14d, %r14d
jmp 0x84ae4
xorl %r14d, %r14d
jmp 0x84638
xorl %r14d, %r14d
jmp 0x84c4d
xorl %r13d, %r13d
jmp 0x84dfc