// File: /workspace/github_c_makefile_star2_O3/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 %rdi, (%rsp)
movq (%rsi), %r12
leaq 0x177823(%rip), %rax    # 0x1926a0
movl 0x17781d(%rip), %ecx    # 0x1926a0
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 0x1aed7
movq 0x10(%rax), %rdx
movl $0x18, %ecx
cmpq %r12, %rdx
je 0x1aed7
movq 0x20(%rax), %rdx
movl $0x28, %ecx
cmpq %r12, %rdx
je 0x1aed7
movq 0x30(%rax), %rdx
movl $0x38, %ecx
cmpq %r12, %rdx
jne 0x1aee0
movq (%rax,%rcx), %r13
testq %r13, %r13
jne 0x1af07
movabsq $-0x1e682f89ce03d7c8, %rdi # imm = 0xE197D07631FC2838
movq %r12, %rsi
callq 0xe9bc5
movq %rax, %r13
leaq 0x1777a4(%rip), %rdi    # 0x1926a0
movq %r12, %rsi
movq %rax, %rdx
callq 0x115fac
movq %r15, %rdi
callq *0x20(%r13)
movq %rax, %r12
movq %rbx, %r14
movq (%rbx), %r13
leaq 0x181b92(%rip), %rbx    # 0x19cab0
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 0x1af73
movq 0x10(%rax), %rdx
movl $0x18, %ecx
cmpq %r13, %rdx
je 0x1af73
movq 0x20(%rax), %rdx
movl $0x28, %ecx
cmpq %r13, %rdx
je 0x1af73
movq 0x30(%rax), %rdx
movl $0x38, %ecx
cmpq %r13, %rdx
jne 0x1af7c
movq (%rax,%rcx), %rbp
testq %rbp, %rbp
jne 0x1afa3
movabsq $0x5ea8cabb93ff3b7e, %rdi # imm = 0x5EA8CABB93FF3B7E
movq %r13, %rsi
callq 0xe9bc5
movq %rax, %rbp
leaq 0x181b18(%rip), %rdi    # 0x19cab0
movq %r13, %rsi
movq %rax, %rdx
callq 0x115fac
leaq 0x112777(%rip), %rdx    # 0x12d721
movq %rbp, %rdi
movq %r14, %r13
movq %r14, %rsi
callq 0xfe4f3
movabsq $0x12d01d78049fae7, %rax # imm = 0x12D01D78049FAE7
movq (%rsp), %r14
movq 0x40(%r14), %rcx
movq 0x10(%rcx), %rsi
cmpq %rax, (%r15)
jne 0x1affb
cmpq 0x30(%r15), %rsi
jne 0x1affb
movq 0x8(%r14), %rsi
movq %r12, %rdi
callq 0xe3d7
leaq 0x11273b(%rip), %rsi    # 0x12d727
movq %r13, %rdi
movq %rax, %rdx
xorl %eax, %eax
callq 0xed3f
jmp 0x1b029
movq %r12, %rdi
callq 0xe3d7
movq %rax, %r15
movq 0x8(%r14), %rsi
movq %r12, %rdi
callq 0xe3d7
leaq 0x112718(%rip), %rsi    # 0x12d731
movq %r13, %rdi
movq %r15, %rdx
movq %rax, %rcx
xorl %eax, %eax
callq 0xed3f
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 0x1b082
movq 0x10(%rax), %rdx
movl $0x18, %ecx
cmpq %r14, %rdx
je 0x1b082
movq 0x20(%rax), %rdx
movl $0x28, %ecx
cmpq %r14, %rdx
je 0x1b082
movq 0x30(%rax), %rdx
movl $0x38, %ecx
cmpq %r14, %rdx
jne 0x1b08b
movq (%rax,%rcx), %r15
testq %r15, %r15
jne 0x1b0b2
movabsq $0x5ea8cabb93ff3b7e, %rdi # imm = 0x5EA8CABB93FF3B7E
movq %r14, %rsi
callq 0xe9bc5
movq %rax, %r15
leaq 0x181a09(%rip), %rdi    # 0x19cab0
movq %r14, %rsi
movq %rax, %rdx
callq 0x115fac
leaq 0x11680f(%rip), %rdx    # 0x1318c8
movq %r15, %rdi
movq %r13, %rsi
callq 0xfe4f3
xorl %eax, %eax
addq $0x8, %rsp
popq %rbx
popq %r12
popq %r13
popq %r14
popq %r15
popq %rbp
retq