// File: /workspace/github_c_makefile_star2_O1/johsteffens[P]beth/lib/bcore/bcore.xo.c
// Function: x_btcl_functor_f3_s_copy_typed
er_t x_btcl_functor_f3_s_copy_typed( x_btcl_functor_f3_s* o, tp_t type, vc_t src )
{
    // bcore_x_btcl_functor_f3.x:44:5
    
    switch( type )
    {
        case ((tp_t)(TYPEOF_x_btcl_functor_f3_s)): x_btcl_functor_f3_s_copy(o,((const x_btcl_functor_f3_s*)(src)) ); break;
        case ((tp_t)(TYPEOF_x_btcl_functor_s)): BLM_TRY(x_btcl_functor_f3_s_from_functor(o,((const x_btcl_functor_s*)(src)) )) break;
        default:
        {
            if( bcore_tp_is_numeric( type ) )
            {BLM_INIT_LEVEL(4);
                x_btcl_operator_f3_const_nop_s* nop = ((x_btcl_operator_f3_const_nop_s*)BLM_LEVEL_T_PUSH(4,x_btcl_operator_f3_const_nop_s,x_btcl_operator_f3_const_nop_s_create()));
                nop->val = sr_s_to_f3(sr_s_twc( ((sr_s*)BLM_LEVEL_T_PUSH(4,sr_s,sr_s_create())),type, src ));
                x_btcl_operator_f3_a_attach( &(o->op_tree ), (x_btcl_operator_f3*)( ((x_btcl_operator_f3_const_nop_s*)bcore_fork(nop))));
            BLM_DOWN();}
            else
            {
                BLM_TRY(GERR_fa("Cannot convert from #<sc_t>.", bnameof( type ) ))
            }
        }
        break;
    }
    return  0;
}

// Assembly:
pushq %rbp
pushq %r15
pushq %r14
pushq %r13
pushq %r12
pushq %rbx
subq $0x38, %rsp
movq %rdx, %r14
movq %rdi, %rbx
movabsq $0x73f13731f3140e07, %rax # imm = 0x73F13731F3140E07
cmpq %rax, %rsi
je 0xa538c
movq %rsi, %r15
movabsq $-0x1c14cd2ad50d125, %rax # imm = 0xFE3EB32D52AF2EDB
cmpq %rax, %rsi
jne 0xa53b7
movq %rbx, %rdi
movq %r14, %rsi
callq 0xa4d97
jmp 0xa5548
movq %rbx, %rdi
movq %r14, %rsi
callq 0xa55ae
testq %rax, %rax
je 0xa5548
movq %rax, %rbx
leaq 0x103a26(%rip), %rax    # 0x1a8dd0
movq (%rax), %rdi
callq 0xe0b30
jmp 0xa554a
movq %r15, %rdi
callq 0x120be0
testq %rax, %rax
je 0xa555c
leaq 0x103a01(%rip), %rax    # 0x1a8dd0
movq (%rax), %rsi
leaq 0x8(%rsp), %rdi
movq %rdi, (%rsp)
callq 0xe0431
movq (%rsp), %rbp
movq $0x4, 0x10(%rbp)
callq 0x9d9a2
movabsq $0x50e723bc207f24dc, %rdx # imm = 0x50E723BC207F24DC
movl $0x4, %esi
movq %rbp, %rdi
movq %rax, %rcx
callq 0xe0676
movq %rax, %r12
xorl %r13d, %r13d
xorl %eax, %eax
callq 0x112d0e
movabsq $0x79b76918ff0af12a, %rdx # imm = 0x79B76918FF0AF12A
movl $0x4, %esi
movq %rbp, %rdi
movq %rax, %rcx
callq 0xe0676
movq %rax, %rbp
movq %rax, %rdi
callq 0x112baf
testq %r15, %r15
je 0xa544d
movq %r15, %rdi
callq 0x1123e1
movq %rax, %r13
movq %r14, (%rbp)
movq %r13, 0x8(%rbp)
movq $0x1, 0x10(%rbp)
movq %rbp, %rdi
callq 0x1133ac
movsd %xmm0, 0x8(%r12)
movq %r12, %rdi
callq 0xc8348
movq %rax, %r14
testq %rax, %rax
je 0xa548e
movq (%r14), %rsi
movabsq $0x1fba9a06a1e203d8, %rdi # imm = 0x1FBA9A06A1E203D8
callq 0x1222bd
movq 0x28(%rbx), %r15
testq %r15, %r15
je 0xa553c
movq (%r15), %r12
leaq 0x103fc3(%rip), %rax    # 0x1a9468
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 0xa54ff
movq 0x10(%rax), %rdx
movl $0x18, %ecx
cmpq %r12, %rdx
je 0xa54ff
movq 0x20(%rax), %rdx
movl $0x28, %ecx
cmpq %r12, %rdx
je 0xa54ff
movq 0x30(%rax), %rdx
movl $0x38, %ecx
cmpq %r12, %rdx
jne 0xa55a6
movq (%rax,%rcx), %r13
testq %r13, %r13
jne 0xa552f
movabsq $0x782b96602f424981, %rdi # imm = 0x782B96602F424981
movq %r12, %rsi
callq 0xf3f85
movq %rax, %r13
leaq 0x103f44(%rip), %rdi    # 0x1a9468
movq %r12, %rsi
movq %rax, %rdx
callq 0x12128c
movq %r13, %rdi
movq %r15, %rsi
callq *0xb8(%r13)
movq %r14, 0x28(%rbx)
movq %rsp, %rdi
callq 0xe0b11
xorl %ebx, %ebx
movq %rbx, %rax
addq $0x38, %rsp
popq %rbx
popq %r12
popq %r13
popq %r14
popq %r15
popq %rbp
retq
movq %r15, %rdi
callq 0xe0cbc
leaq 0x9f196(%rip), %rdi     # 0x144701
leaq 0x9cf44(%rip), %rsi     # 0x1424b6
leaq 0x9f1a7(%rip), %rcx     # 0x144720
xorl %ebx, %ebx
movl $0x2212, %edx           # imm = 0x2212
movq %rax, %r8
xorl %eax, %eax
callq 0xc8949
testq %rax, %rax
je 0xa554a
movq %rax, %r14
leaq 0x103837(%rip), %rax    # 0x1a8dd0
movq (%rax), %rdi
callq 0xe0b30
movq %r14, %rbx
jmp 0xa554a
xorl %r13d, %r13d
jmp 0xa5503