// File: /workspace/github_c_makefile_star2_O2/johsteffens[P]beth/lib/bcore/bcore.xo.c
// Function: x_btcl_bop_cat_ab
er_t x_btcl_bop_cat_ab( sr_s* a, sr_s* b, sr_s* sr )
{
    // bcore_x_btcl_op.x:316:1
    
    x_btcl_clone_if_weak(a );
    x_btcl_clone_if_weak(b );
    if( sr_s_type(a) == ((tp_t)(TYPEOF_x_btcl_signature_s)) && sr_s_type(b) == ((tp_t)(TYPEOF_x_btcl_block_s)) )
    {BLM_INIT_LEVEL(1);
        x_btcl_signature_s* signature = ((x_btcl_signature_s*)(a->o));
        x_btcl_block_s* block     = ((x_btcl_block_s*)(b->o));
        x_btcl_function_s* function = x_btcl_function_s_setup(((x_btcl_function_s*)BLM_LEVEL_T_PUSH(1,x_btcl_function_s,x_btcl_function_s_create())),signature, block, NULL );
        sr_s_asc(sr,((x_btcl_function_s*)bcore_fork(function)) );
    BLM_DOWN();}
    else
    {BLM_INIT_LEVEL(1);
        x_btcl_list_s* list = ((x_btcl_list_s*)BLM_LEVEL_T_PUSH(1,x_btcl_list_s,x_btcl_list_s_create()));
        if( sr_s_type(a) == ((tp_t)(TYPEOF_x_btcl_list_s)) ) x_btcl_list_s_push_list_fork(list,((x_btcl_list_s*)(a->o)) ); else x_btcl_list_s_push_fork(list,a );
        if( sr_s_type(b) == ((tp_t)(TYPEOF_x_btcl_list_s)) ) x_btcl_list_s_push_list_fork(list,((x_btcl_list_s*)(b->o)) ); else x_btcl_list_s_push_fork(list,b );
        sr_s_asc(sr,((x_btcl_list_s*)bcore_fork(list)) );
    BLM_DOWN();}
    
    return  0;
}

// Assembly:
pushq %r15
pushq %r14
pushq %r13
pushq %r12
pushq %rbx
subq $0x40, %rsp
movq %rdx, %rbx
movq %rsi, %r14
movq %rdi, %r15
callq 0x3c21d
movq %r14, %rdi
callq 0x3c21d
testq %r15, %r15
je 0x42507
movq 0x8(%r15), %rax
testq %rax, %rax
je 0x42507
testq %r14, %r14
je 0x42507
movabsq $0x7e995b597f71cb9a, %rcx # imm = 0x7E995B597F71CB9A
cmpq %rcx, 0x8(%rax)
jne 0x42507
movq 0x8(%r14), %rax
testq %rax, %rax
je 0x42507
movabsq $0x7313f38fdcab8a79, %rcx # imm = 0x7313F38FDCAB8A79
cmpq %rcx, 0x8(%rax)
jne 0x42507
leaq 0xd593b(%rip), %rax     # 0x117dd0
movq (%rax), %rsi
leaq 0x10(%rsp), %r13
leaq 0x8(%rsp), %r12
movq %r13, (%r12)
movq %r13, %rdi
callq 0x717f5
movq $0x1, 0x10(%r13)
movq (%r15), %r15
movq (%r14), %r14
callq 0x41729
pushq $0x1
popq %rsi
movabsq $-0x19831b480b40fba0, %rdx # imm = 0xE67CE4B7F4BF0460
movq %r13, %rdi
movq %rax, %rcx
callq 0x71967
movq %rax, %r13
movq %rax, %rdi
movq %r15, %rsi
movq %r14, %rdx
xorl %ecx, %ecx
callq 0x3c700
movq %r13, %rdi
callq 0x6026d
movq %rbx, %rdi
movq %rax, %rsi
callq 0x3def0
movq %r12, %rdi
jmp 0x425bf
leaq 0xd58c2(%rip), %rax     # 0x117dd0
movq (%rax), %rsi
leaq 0x10(%rsp), %r12
movq %r12, 0x8(%rsp)
movq %r12, %rdi
callq 0x717f5
movq $0x1, 0x10(%r12)
callq 0x41317
pushq $0x1
popq %rsi
movabsq $-0x240ec4eb25c1f3e8, %r13 # imm = 0xDBF13B14DA3E0C18
movq %r12, %rdi
movq %r13, %rdx
movq %rax, %rcx
callq 0x71967
movq %rax, %r12
testq %r15, %r15
je 0x42570
movq 0x8(%r15), %rax
testq %rax, %rax
je 0x42570
cmpq %r13, 0x8(%rax)
jne 0x42570
movq (%r15), %rsi
movq %r12, %rdi
callq 0x425d4
jmp 0x4257b
movq %r12, %rdi
movq %r15, %rsi
callq 0x3d543
testq %r14, %r14
je 0x4259c
movq 0x8(%r14), %rax
testq %rax, %rax
je 0x4259c
cmpq %r13, 0x8(%rax)
jne 0x4259c
movq (%r14), %rsi
movq %r12, %rdi
callq 0x425d4
jmp 0x425a7
movq %r12, %rdi
movq %r14, %rsi
callq 0x3d543
movq %r12, %rdi
callq 0x6026d
movq %rbx, %rdi
movq %rax, %rsi
callq 0x3def0
leaq 0x8(%rsp), %rdi
callq 0x71b48
xorl %eax, %eax
addq $0x40, %rsp
popq %rbx
popq %r12
popq %r13
popq %r14
popq %r15
retq