// File: /workspace/github_c_makefile_star2_O1/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 %rbp
pushq %r15
pushq %r14
pushq %r13
pushq %r12
pushq %rbx
subq $0x88, %rsp
movq %rdx, %rbx
movq %rsi, %r14
movq %rdi, %r13
callq 0x8a9ee
movq %r14, %rdi
callq 0x8a9ee
testq %r13, %r13
je 0x96db0
movq 0x8(%r13), %rax
testq %rax, %rax
je 0x96db0
testq %r14, %r14
je 0x96db0
movabsq $0x7e995b597f71cb9a, %rcx # imm = 0x7E995B597F71CB9A
cmpq %rcx, 0x8(%rax)
jne 0x96db0
movq 0x8(%r14), %rax
testq %rax, %rax
je 0x96db0
movabsq $0x7313f38fdcab8a79, %rcx # imm = 0x7313F38FDCAB8A79
cmpq %rcx, 0x8(%rax)
jne 0x96db0
leaq 0x1120b7(%rip), %rax    # 0x1a8dd0
movq (%rax), %rsi
leaq 0x58(%rsp), %rdi
movq %rdi, 0x20(%rsp)
callq 0xe0431
movq 0x20(%rsp), %r15
movq $0x1, 0x10(%r15)
movq (%r13), %r12
movq (%r14), %r13
callq 0x95afd
movabsq $-0x19831b480b40fba0, %rdx # imm = 0xE67CE4B7F4BF0460
movl $0x1, %esi
movq %r15, %rdi
movq %rax, %rcx
callq 0xe0676
movq %rax, %r15
xorl %r14d, %r14d
movq %rax, %rdi
movq %r12, %rsi
movq %r13, %rdx
xorl %ecx, %ecx
callq 0x8b750
movq %r15, %rdi
callq 0xc8348
movq %rax, %r15
movq %rbx, %rdi
callq 0x112baf
testq %r15, %r15
je 0x96d97
movq (%r15), %rdi
callq 0x1123e1
movq %rax, %r14
movq %r15, (%rbx)
movq %r14, 0x8(%rbx)
movq $0x3, 0x10(%rbx)
leaq 0x20(%rsp), %rdi
jmp 0x96fe4
movq %r14, 0x48(%rsp)
movq %rbx, 0x50(%rsp)
leaq 0x11200f(%rip), %rax    # 0x1a8dd0
movq (%rax), %rsi
leaq 0x58(%rsp), %rdi
movq %rdi, 0x40(%rsp)
callq 0xe0431
movq 0x40(%rsp), %r15
movq $0x1, 0x10(%r15)
callq 0x94403
movabsq $-0x240ec4eb25c1f3e8, %rbx # imm = 0xDBF13B14DA3E0C18
movl $0x1, %esi
movq %r15, %rdi
movq %rbx, %rdx
movq %rax, %rcx
callq 0xe0676
movq %rax, 0x38(%rsp)
testq %r13, %r13
je 0x96e8a
movq 0x8(%r13), %rax
testq %rax, %rax
je 0x96e8a
cmpq %rbx, 0x8(%rax)
jne 0x96e8a
movq (%r13), %rbp
cmpq $0x0, 0x18(%rbp)
je 0x96eca
movq 0x38(%rsp), %rax
leaq 0x8(%rax), %r13
movl $0x10, %r12d
xorl %ebx, %ebx
movq 0x10(%rbp), %rax
movq -0x10(%rax,%r12), %rdi
movq -0x8(%rax,%r12), %r15
movq (%rax,%r12), %r14
callq 0xc8348
orq $0x2, %r14
movq %rax, 0x20(%rsp)
movq %r15, 0x28(%rsp)
movq %r14, 0x30(%rsp)
movq %r14, 0x10(%rsp)
movups 0x20(%rsp), %xmm0
movups %xmm0, (%rsp)
movq %r13, %rdi
callq 0xc4cee
incq %rbx
addq $0x18, %r12
cmpq 0x18(%rbp), %rbx
jb 0x96e3b
jmp 0x96eca
movq (%r13), %rdi
movq 0x8(%r13), %rbx
movq 0x10(%r13), %r14
callq 0xc8348
orq $0x2, %r14
movq %rax, 0x20(%rsp)
movq %rbx, 0x28(%rsp)
movq %r14, 0x30(%rsp)
movq 0x38(%rsp), %rax
leaq 0x8(%rax), %rdi
movq %r14, 0x10(%rsp)
movups 0x20(%rsp), %xmm0
movups %xmm0, (%rsp)
callq 0xc4cee
movq 0x48(%rsp), %rcx
testq %rcx, %rcx
je 0x96f66
movq 0x8(%rcx), %rax
testq %rax, %rax
je 0x96f66
movabsq $-0x240ec4eb25c1f3e8, %rdx # imm = 0xDBF13B14DA3E0C18
cmpq %rdx, 0x8(%rax)
jne 0x96f66
movq (%rcx), %r12
cmpq $0x0, 0x18(%r12)
je 0x96fa5
movq 0x38(%rsp), %r14
addq $0x8, %r14
movl $0x10, %r13d
xorl %ebx, %ebx
movq 0x10(%r12), %rax
movq -0x10(%rax,%r13), %rdi
movq -0x8(%rax,%r13), %r15
movq (%rax,%r13), %rbp
callq 0xc8348
orq $0x2, %rbp
movq %rax, 0x20(%rsp)
movq %r15, 0x28(%rsp)
movq %rbp, 0x30(%rsp)
movq %rbp, 0x10(%rsp)
movups 0x20(%rsp), %xmm0
movups %xmm0, (%rsp)
movq %r14, %rdi
callq 0xc4cee
incq %rbx
addq $0x18, %r13
cmpq 0x18(%r12), %rbx
jb 0x96f15
jmp 0x96fa5
movq (%rcx), %rdi
movq 0x8(%rcx), %rbx
movq 0x10(%rcx), %r14
callq 0xc8348
orq $0x2, %r14
movq %rax, 0x20(%rsp)
movq %rbx, 0x28(%rsp)
movq %r14, 0x30(%rsp)
movq 0x38(%rsp), %rdi
addq $0x8, %rdi
movq %r14, 0x10(%rsp)
movups 0x20(%rsp), %xmm0
movups %xmm0, (%rsp)
callq 0xc4cee
movq 0x38(%rsp), %rdi
callq 0xc8348
movq %rax, %r14
movq 0x50(%rsp), %rbx
movq %rbx, %rdi
callq 0x112baf
testq %r14, %r14
je 0x96fce
movq (%r14), %rdi
callq 0x1123e1
jmp 0x96fd0
xorl %eax, %eax
movq %r14, (%rbx)
movq %rax, 0x8(%rbx)
movq $0x3, 0x10(%rbx)
leaq 0x40(%rsp), %rdi
callq 0xe0b11
xorl %eax, %eax
addq $0x88, %rsp
popq %rbx
popq %r12
popq %r13
popq %r14
popq %r15
popq %rbp
retq