// File: /workspace/github_c_makefile_star2_O1/johsteffens[P]beth/xoico/src/xoico.xo.c
// Function: xoico_func_s_push_flect_decl_to_sink
er_t xoico_func_s_push_flect_decl_to_sink( const xoico_func_s* o, const xoico_host* host, x_sink* sink )
{
    // xoico_func.x:202:1
    
    xoico_compiler_s* compiler = xoico_host_a_compiler(host);
    x_sink_push_sc(sink,"func " );
    if( host->_ == ((tp_t)(TYPEOF_xoico_stamp_s)) && o->signature->base_name == ((const xoico_stamp_s*)(host))->trait_name )
    {
        x_sink_push_fa(sink,"^:#<sc_t>", xoico_compiler_s_nameof(compiler,o->name ) );
    }
    else
    {
        x_sink_push_fa(sink,"#<sc_t>:#<sc_t>", xoico_compiler_s_nameof(compiler,o->signature->base_name ), xoico_compiler_s_nameof(compiler,o->name ) );
    }
    x_sink_push_sc(sink,";" );
    return  0;
}

// Assembly:
pushq %rbp
pushq %r15
pushq %r14
pushq %r13
pushq %r12
pushq %rbx
pushq %rax
movq %rdx, %rbx
movq %rsi, %r15
movq (%rsi), %r12
leaq 0x18412d(%rip), %rax    # 0x19f6a0
movl 0x184127(%rip), %ecx    # 0x19f6a0
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 0x1b5d1
movq 0x10(%rax), %rdx
movl $0x18, %ecx
cmpq %r12, %rdx
je 0x1b5d1
movq 0x20(%rax), %rdx
movl $0x28, %ecx
cmpq %r12, %rdx
je 0x1b5d1
movq 0x30(%rax), %rdx
movl $0x38, %ecx
cmpq %r12, %rdx
jne 0x1b7df
movq (%rax,%rcx), %r13
movq %rdi, (%rsp)
testq %r13, %r13
jne 0x1b605
movabsq $-0x1e682f89ce03d7c8, %rdi # imm = 0xE197D07631FC2838
movq %r12, %rsi
callq 0xf3f85
movq %rax, %r13
leaq 0x1840a6(%rip), %rdi    # 0x19f6a0
movq %r12, %rsi
movq %rax, %rdx
callq 0x12128c
movq %r15, %rdi
callq *0x20(%r13)
movq %rax, %r12
movq %rbx, %r14
movq (%rbx), %r13
leaq 0x18e494(%rip), %rbx    # 0x1a9ab0
movl (%rbx), %eax
cltq
leaq (%rax,%rax,2), %rax
movq 0x20(%rbx,%rax,8), %rcx
movq 0x18(%rbx,%rax,8), %rdx
andq %r13, %rdx
shlq $0x4, %rdx
leaq (%rcx,%rdx), %rax
movq (%rcx,%rdx), %rdx
movl $0x8, %ecx
cmpq %r13, %rdx
je 0x1b675
movq 0x10(%rax), %rdx
movl $0x18, %ecx
cmpq %r13, %rdx
je 0x1b675
movq 0x20(%rax), %rdx
movl $0x28, %ecx
cmpq %r13, %rdx
je 0x1b675
movq 0x30(%rax), %rdx
movl $0x38, %ecx
cmpq %r13, %rdx
jne 0x1b7e7
movq (%rax,%rcx), %rbp
testq %rbp, %rbp
jne 0x1b6a5
movabsq $0x5ea8cabb93ff3b7e, %rdi # imm = 0x5EA8CABB93FF3B7E
movq %r13, %rsi
callq 0xf3f85
movq %rax, %rbp
leaq 0x18e416(%rip), %rdi    # 0x1a9ab0
movq %r13, %rsi
movq %rax, %rdx
callq 0x12128c
leaq 0x11d075(%rip), %rdx    # 0x138721
movq %rbp, %rdi
movq %r14, %r13
movq %r14, %rsi
callq 0x10908b
movabsq $0x12d01d78049fae7, %rax # imm = 0x12D01D78049FAE7
cmpq %rax, (%r15)
movq (%rsp), %r14
jne 0x1b6fd
movq 0x40(%r14), %rax
movq 0x10(%rax), %rax
cmpq 0x30(%r15), %rax
jne 0x1b6fd
movq 0x8(%r14), %rsi
movq %r12, %rdi
callq 0xe39f
leaq 0x11d039(%rip), %rsi    # 0x138727
movq %r13, %rdi
movq %rax, %rdx
xorl %eax, %eax
callq 0xee2a
jmp 0x1b733
movq 0x40(%r14), %rax
movq 0x10(%rax), %rsi
movq %r12, %rdi
callq 0xe39f
movq %rax, %r15
movq 0x8(%r14), %rsi
movq %r12, %rdi
callq 0xe39f
leaq 0x11d00e(%rip), %rsi    # 0x138731
movq %r13, %rdi
movq %r15, %rdx
movq %rax, %rcx
xorl %eax, %eax
callq 0xee2a
movq (%r13), %r14
movl (%rbx), %eax
cltq
leaq (%rax,%rax,2), %rax
movq 0x20(%rbx,%rax,8), %rcx
movq 0x18(%rbx,%rax,8), %rdx
andq %r14, %rdx
shlq $0x4, %rdx
leaq (%rcx,%rdx), %rax
movq (%rcx,%rdx), %rdx
movl $0x8, %ecx
cmpq %r14, %rdx
je 0x1b78c
movq 0x10(%rax), %rdx
movl $0x18, %ecx
cmpq %r14, %rdx
je 0x1b78c
movq 0x20(%rax), %rdx
movl $0x28, %ecx
cmpq %r14, %rdx
je 0x1b78c
movq 0x30(%rax), %rdx
movl $0x38, %ecx
cmpq %r14, %rdx
jne 0x1b7ee
movq (%rax,%rcx), %r15
testq %r15, %r15
jne 0x1b7bc
movabsq $0x5ea8cabb93ff3b7e, %rdi # imm = 0x5EA8CABB93FF3B7E
movq %r14, %rsi
callq 0xf3f85
movq %rax, %r15
leaq 0x18e2ff(%rip), %rdi    # 0x1a9ab0
movq %r14, %rsi
movq %rax, %rdx
callq 0x12128c
leaq 0x121105(%rip), %rdx    # 0x13c8c8
movq %r15, %rdi
movq %r13, %rsi
callq 0x10908b
xorl %eax, %eax
addq $0x8, %rsp
popq %rbx
popq %r12
popq %r13
popq %r14
popq %r15
popq %rbp
retq
xorl %r13d, %r13d
jmp 0x1b5d5
xorl %ebp, %ebp
jmp 0x1b679
xorl %r15d, %r15d
jmp 0x1b790