// File: /workspace/github_c_makefile_star2_O1/johsteffens[P]beth/lib/bcore/bcore.xo.c
// Function: x_btcl_operator_top_s_signal
x_btcl_operator_top_s* x_btcl_operator_top_s_signal( x_btcl_operator_top_s* o, tp_t name, x_inst* arg )
{
    // bcore_x_btcl_operator.x:790:5
    
    if( x_btcl_operator_sr_is_operator(&(o->a )) ) x_btcl_operator_a_signal(((x_btcl_operator*)(o->a.o)),name, arg );
    if( x_btcl_operator_sr_is_operator(&(o->b )) ) x_btcl_operator_a_signal(((x_btcl_operator*)(o->b.o)),name, arg );
    if( x_btcl_operator_sr_is_operator(&(o->c )) ) x_btcl_operator_a_signal(((x_btcl_operator*)(o->c.o)),name, arg );
    return o;
}

// Assembly:
pushq %rbp
pushq %r15
pushq %r14
pushq %r13
pushq %r12
pushq %rbx
pushq %rax
movq %rdx, (%rsp)
movq %rsi, %r15
movq %rdi, %rbx
movq 0x10(%rdi), %r13
testq %r13, %r13
je 0x9be2e
movq 0x18(%rbx), %rax
testq %rax, %rax
je 0x9bce4
movq 0x8(%rax), %rbp
jmp 0x9bce6
xorl %ebp, %ebp
leaq 0x10b9a3(%rip), %r14    # 0x1a7690
movl 0x10b99d(%rip), %eax    # 0x1a7690
cltq
leaq (%rax,%rax,2), %rax
movq 0x20(%r14,%rax,8), %rcx
movq 0x18(%r14,%rax,8), %rdx
andq %rbp, %rdx
shlq $0x4, %rdx
leaq (%rcx,%rdx), %rax
movq (%rcx,%rdx), %rdx
movl $0x8, %ecx
cmpq %rbp, %rdx
je 0x9bd4a
movq 0x10(%rax), %rdx
movl $0x18, %ecx
cmpq %rbp, %rdx
je 0x9bd4a
movq 0x20(%rax), %rdx
movl $0x28, %ecx
cmpq %rbp, %rdx
je 0x9bd4a
movq 0x30(%rax), %rdx
movl $0x38, %ecx
cmpq %rbp, %rdx
jne 0x9c108
movq (%rax,%rcx), %r12
testq %r12, %r12
jne 0x9bd7a
movabsq $-0x2d60bfcb4cae7a7a, %rdi # imm = 0xD29F4034B3518586
movq %rbp, %rsi
callq 0xf3f85
movq %rax, %r12
leaq 0x10b921(%rip), %rdi    # 0x1a7690
movq %rbp, %rsi
movq %rax, %rdx
callq 0x12128c
movq %r13, %rdi
callq *0x10(%r12)
testb %al, %al
je 0x9be2e
movq 0x10(%rbx), %r13
movq (%r13), %rbp
movl 0x10b8f8(%rip), %eax    # 0x1a7690
cltq
leaq (%rax,%rax,2), %rax
movq 0x20(%r14,%rax,8), %rcx
movq 0x18(%r14,%rax,8), %rdx
andq %rbp, %rdx
shlq $0x4, %rdx
leaq (%rcx,%rdx), %rax
movq (%rcx,%rdx), %rdx
movl $0x8, %ecx
cmpq %rbp, %rdx
je 0x9bdef
movq 0x10(%rax), %rdx
movl $0x18, %ecx
cmpq %rbp, %rdx
je 0x9bdef
movq 0x20(%rax), %rdx
movl $0x28, %ecx
cmpq %rbp, %rdx
je 0x9bdef
movq 0x30(%rax), %rdx
movl $0x38, %ecx
cmpq %rbp, %rdx
jne 0x9c120
movq (%rax,%rcx), %r12
testq %r12, %r12
jne 0x9be1f
movabsq $-0x2d60bfcb4cae7a7a, %rdi # imm = 0xD29F4034B3518586
movq %rbp, %rsi
callq 0xf3f85
movq %rax, %r12
leaq 0x10b87c(%rip), %rdi    # 0x1a7690
movq %rbp, %rsi
movq %rax, %rdx
callq 0x12128c
movq %r13, %rdi
movq %r15, %rsi
movq (%rsp), %rdx
callq *0x28(%r12)
movq 0x28(%rbx), %r13
testq %r13, %r13
je 0x9bf94
movq 0x30(%rbx), %rax
testq %rax, %rax
je 0x9be4a
movq 0x8(%rax), %rbp
jmp 0x9be4c
xorl %ebp, %ebp
leaq 0x10b83d(%rip), %r14    # 0x1a7690
movl 0x10b837(%rip), %eax    # 0x1a7690
cltq
leaq (%rax,%rax,2), %rax
movq 0x20(%r14,%rax,8), %rcx
movq 0x18(%r14,%rax,8), %rdx
andq %rbp, %rdx
shlq $0x4, %rdx
leaq (%rcx,%rdx), %rax
movq (%rcx,%rdx), %rdx
movl $0x8, %ecx
cmpq %rbp, %rdx
je 0x9beb0
movq 0x10(%rax), %rdx
movl $0x18, %ecx
cmpq %rbp, %rdx
je 0x9beb0
movq 0x20(%rax), %rdx
movl $0x28, %ecx
cmpq %rbp, %rdx
je 0x9beb0
movq 0x30(%rax), %rdx
movl $0x38, %ecx
cmpq %rbp, %rdx
jne 0x9c110
movq (%rax,%rcx), %r12
testq %r12, %r12
jne 0x9bee0
movabsq $-0x2d60bfcb4cae7a7a, %rdi # imm = 0xD29F4034B3518586
movq %rbp, %rsi
callq 0xf3f85
movq %rax, %r12
leaq 0x10b7bb(%rip), %rdi    # 0x1a7690
movq %rbp, %rsi
movq %rax, %rdx
callq 0x12128c
movq %r13, %rdi
callq *0x10(%r12)
testb %al, %al
je 0x9bf94
movq 0x28(%rbx), %r13
movq (%r13), %rbp
movl 0x10b792(%rip), %eax    # 0x1a7690
cltq
leaq (%rax,%rax,2), %rax
movq 0x20(%r14,%rax,8), %rcx
movq 0x18(%r14,%rax,8), %rdx
andq %rbp, %rdx
shlq $0x4, %rdx
leaq (%rcx,%rdx), %rax
movq (%rcx,%rdx), %rdx
movl $0x8, %ecx
cmpq %rbp, %rdx
je 0x9bf55
movq 0x10(%rax), %rdx
movl $0x18, %ecx
cmpq %rbp, %rdx
je 0x9bf55
movq 0x20(%rax), %rdx
movl $0x28, %ecx
cmpq %rbp, %rdx
je 0x9bf55
movq 0x30(%rax), %rdx
movl $0x38, %ecx
cmpq %rbp, %rdx
jne 0x9c128
movq (%rax,%rcx), %r12
testq %r12, %r12
jne 0x9bf85
movabsq $-0x2d60bfcb4cae7a7a, %rdi # imm = 0xD29F4034B3518586
movq %rbp, %rsi
callq 0xf3f85
movq %rax, %r12
leaq 0x10b716(%rip), %rdi    # 0x1a7690
movq %rbp, %rsi
movq %rax, %rdx
callq 0x12128c
movq %r13, %rdi
movq %r15, %rsi
movq (%rsp), %rdx
callq *0x28(%r12)
movq 0x40(%rbx), %r13
testq %r13, %r13
je 0x9c0f6
movq 0x48(%rbx), %rax
testq %rax, %rax
je 0x9bfb0
movq 0x8(%rax), %rbp
jmp 0x9bfb2
xorl %ebp, %ebp
leaq 0x10b6d7(%rip), %r14    # 0x1a7690
movl 0x10b6d1(%rip), %eax    # 0x1a7690
cltq
leaq (%rax,%rax,2), %rax
movq 0x20(%r14,%rax,8), %rcx
movq 0x18(%r14,%rax,8), %rdx
andq %rbp, %rdx
shlq $0x4, %rdx
leaq (%rcx,%rdx), %rax
movq (%rcx,%rdx), %rdx
movl $0x8, %ecx
cmpq %rbp, %rdx
je 0x9c016
movq 0x10(%rax), %rdx
movl $0x18, %ecx
cmpq %rbp, %rdx
je 0x9c016
movq 0x20(%rax), %rdx
movl $0x28, %ecx
cmpq %rbp, %rdx
je 0x9c016
movq 0x30(%rax), %rdx
movl $0x38, %ecx
cmpq %rbp, %rdx
jne 0x9c118
movq (%rax,%rcx), %r12
testq %r12, %r12
jne 0x9c046
movabsq $-0x2d60bfcb4cae7a7a, %rdi # imm = 0xD29F4034B3518586
movq %rbp, %rsi
callq 0xf3f85
movq %rax, %r12
leaq 0x10b655(%rip), %rdi    # 0x1a7690
movq %rbp, %rsi
movq %rax, %rdx
callq 0x12128c
movq %r13, %rdi
callq *0x10(%r12)
testb %al, %al
je 0x9c0f6
movq 0x40(%rbx), %r13
movq (%r13), %rbp
movl 0x10b62c(%rip), %eax    # 0x1a7690
cltq
leaq (%rax,%rax,2), %rax
movq 0x20(%r14,%rax,8), %rcx
movq 0x18(%r14,%rax,8), %rdx
andq %rbp, %rdx
shlq $0x4, %rdx
leaq (%rcx,%rdx), %rax
movq (%rcx,%rdx), %rdx
movl $0x8, %ecx
cmpq %rbp, %rdx
je 0x9c0b7
movq 0x10(%rax), %rdx
movl $0x18, %ecx
cmpq %rbp, %rdx
je 0x9c0b7
movq 0x20(%rax), %rdx
movl $0x28, %ecx
cmpq %rbp, %rdx
je 0x9c0b7
movq 0x30(%rax), %rdx
movl $0x38, %ecx
cmpq %rbp, %rdx
jne 0x9c130
movq (%rax,%rcx), %r12
testq %r12, %r12
jne 0x9c0e7
movabsq $-0x2d60bfcb4cae7a7a, %rdi # imm = 0xD29F4034B3518586
movq %rbp, %rsi
callq 0xf3f85
movq %rax, %r12
leaq 0x10b5b4(%rip), %rdi    # 0x1a7690
movq %rbp, %rsi
movq %rax, %rdx
callq 0x12128c
movq %r13, %rdi
movq %r15, %rsi
movq (%rsp), %rdx
callq *0x28(%r12)
movq %rbx, %rax
addq $0x8, %rsp
popq %rbx
popq %r12
popq %r13
popq %r14
popq %r15
popq %rbp
retq
xorl %r12d, %r12d
jmp 0x9bd4e
xorl %r12d, %r12d
jmp 0x9beb4
xorl %r12d, %r12d
jmp 0x9c01a
xorl %r12d, %r12d
jmp 0x9bdf3
xorl %r12d, %r12d
jmp 0x9bf59
xorl %r12d, %r12d
jmp 0x9c0bb