// File: /workspace/github_c_makefile_star2_O3/johsteffens[P]beth/xoico/src/xoico.xo.c
// Function: xoico_group_s_get_hash
tp_t xoico_group_s_get_hash( const xoico_group_s* o )
{
    // xoico_group.x:243:1
    
    tp_t hash = o->pre_hash;
    hash = bcore_tp_fold_tp( hash, o->tp_name );
    hash = bcore_tp_fold_tp( hash, o->trait_name );
    hash = bcore_tp_fold_bl( hash, o->is_retrievable );
    hash = bcore_tp_fold_bl( hash, o->expandable );
    hash = bcore_tp_fold_bl( hash, o->short_spect_name );
    hash = bcore_tp_fold_tp( hash, o->beta );
    hash = bcore_tp_fold_tp( hash, xoico_funcs_s_get_hash(&(o->funcs)) );
    {const xoico_group_s* __a=o ;if(__a)for(sz_t __i=0;__i<__a->size;__i++){xoico* e=__a->data[__i]; hash = bcore_tp_fold_tp( hash, xoico_a_get_hash(e) );}}
    
    hash = bcore_tp_fold_sz( hash, o->includes_in_declaration.size );
    {const bcore_arr_st_s* __a=&(o->includes_in_declaration );if(__a)for(sz_t __i=0;__i<__a->size;__i++){st_s* e=__a->data[__i]; hash = bcore_tp_fold_sc( hash, e->sc );}}
    
    hash = bcore_tp_fold_sz( hash, o->includes_in_definition.size );
    {const bcore_arr_st_s* __a=&(o->includes_in_definition  );if(__a)for(sz_t __i=0;__i<__a->size;__i++){st_s* e=__a->data[__i]; hash = bcore_tp_fold_sc( hash, e->sc );}}
    
    {const bcore_arr_st_s* __a=&(o->explicit_embeddings     );if(__a)for(sz_t __i=0;__i<__a->size;__i++){st_s* e=__a->data[__i]; hash = bcore_tp_fold_sc( hash, e->sc );}}
    return  hash;
}

// Assembly:
pushq %rbp
pushq %r15
pushq %r14
pushq %r13
pushq %r12
pushq %rbx
subq $0x18, %rsp
movq %rdi, %r12
movabsq $0x100000001b3, %rbx    # imm = 0x100000001B3
movq 0xa8(%rdi), %rcx
movq 0xb0(%rdi), %rax
movl $0xff, %r13d
movq %rcx, %rdx
andq %r13, %rdx
xorq 0xb8(%rdi), %rdx
imulq %rbx, %rdx
movl %ecx, %esi
shrl $0x8, %esi
movl $0xff, %ebp
andl %ebp, %esi
xorq %rdx, %rsi
imulq %rbx, %rsi
movl %ecx, %edx
shrl $0x10, %edx
andl %ebp, %edx
xorq %rsi, %rdx
imulq %rbx, %rdx
movl %ecx, %esi
shrl $0x18, %esi
xorq %rdx, %rsi
imulq %rbx, %rsi
movq %rcx, %rdx
shrq $0x20, %rdx
andq %r13, %rdx
xorq %rsi, %rdx
imulq %rbx, %rdx
movq %rcx, %rsi
shrq $0x28, %rsi
andq %r13, %rsi
xorq %rdx, %rsi
imulq %rbx, %rsi
movq %rcx, %rdx
shrq $0x30, %rdx
andq %r13, %rdx
xorq %rsi, %rdx
imulq %rbx, %rdx
shrq $0x38, %rcx
xorq %rdx, %rcx
imulq %rbx, %rcx
movq %rax, %rdx
andq %r13, %rdx
xorq %rcx, %rdx
imulq %rbx, %rdx
movl %eax, %ecx
shrl $0x8, %ecx
andl %ebp, %ecx
xorq %rdx, %rcx
imulq %rbx, %rcx
movl %eax, %edx
shrl $0x10, %edx
andl %ebp, %edx
xorq %rcx, %rdx
imulq %rbx, %rdx
movl %eax, %ecx
shrl $0x18, %ecx
xorq %rdx, %rcx
imulq %rbx, %rcx
movq %rax, %rdx
shrq $0x20, %rdx
andq %r13, %rdx
xorq %rcx, %rdx
imulq %rbx, %rdx
movq %rax, %rcx
shrq $0x28, %rcx
andq %r13, %rcx
xorq %rdx, %rcx
imulq %rbx, %rcx
movq %rax, %rdx
shrq $0x30, %rdx
andq %r13, %rdx
xorq %rcx, %rdx
imulq %rbx, %rdx
shrq $0x38, %rax
xorq %rdx, %rax
imulq %rbx, %rax
movzbl 0xca(%rdi), %ecx
xorq %rax, %rcx
imulq %rbx, %rcx
movzbl 0xc8(%rdi), %eax
xorq %rcx, %rax
imulq %rbx, %rax
movzbl 0xd8(%rdi), %ecx
xorq %rax, %rcx
imulq %rbx, %rcx
movq 0xc0(%rdi), %r15
movq %r15, %rax
andq %r13, %rax
xorq %rcx, %rax
imulq %rbx, %rax
movl %r15d, %ecx
shrl $0x8, %ecx
andl %ebp, %ecx
xorq %rax, %rcx
imulq %rbx, %rcx
movl %r15d, %eax
shrl $0x10, %eax
andl %ebp, %eax
xorq %rcx, %rax
imulq %rbx, %rax
movl %r15d, %ecx
shrl $0x18, %ecx
xorq %rax, %rcx
imulq %rbx, %rcx
movq %r15, %rax
shrq $0x20, %rax
andq %r13, %rax
xorq %rcx, %rax
imulq %rbx, %rax
movq %r15, %rcx
shrq $0x28, %rcx
andq %r13, %rcx
xorq %rax, %rcx
imulq %rbx, %rcx
movq %r15, %rax
shrq $0x30, %rax
andq %r13, %rax
xorq %rcx, %rax
imulq %rbx, %rax
shrq $0x38, %r15
xorq %rax, %r15
imulq %rbx, %r15
addq $0x118, %rdi            # imm = 0x118
callq 0x1c098
movq %rax, %r14
andq %r13, %rax
xorq %r15, %rax
imulq %rbx, %rax
movl %r14d, %ecx
shrl $0x8, %ecx
andl %ebp, %ecx
xorq %rax, %rcx
imulq %rbx, %rcx
movl %r14d, %eax
shrl $0x10, %eax
andl %ebp, %eax
xorq %rcx, %rax
imulq %rbx, %rax
movl %r14d, %ecx
shrl $0x18, %ecx
xorq %rax, %rcx
imulq %rbx, %rcx
movq %r14, %rax
shrq $0x20, %rax
andq %r13, %rax
xorq %rcx, %rax
imulq %rbx, %rax
movq %r14, %rcx
shrq $0x28, %rcx
andq %r13, %rcx
xorq %rax, %rcx
imulq %rbx, %rcx
movq %r14, %rax
shrq $0x30, %rax
andq %r13, %rax
xorq %rcx, %rax
imulq %rbx, %rax
shrq $0x38, %r14
xorq %rax, %r14
imulq %rbx, %r14
cmpq $0x0, 0x10(%r12)
je 0x21071
xorl %r15d, %r15d
movq %r12, 0x10(%rsp)
movq 0x8(%r12), %rax
movq (%rax,%r15,8), %r13
movq (%r13), %rbp
movl 0x17153e(%rip), %eax    # 0x192488
cltq
leaq (%rax,%rax,2), %rax
leaq 0x171531(%rip), %rdx    # 0x192488
movq 0x20(%rdx,%rax,8), %rcx
movq 0x18(%rdx,%rax,8), %rdx
andq %rbp, %rdx
shlq $0x4, %rdx
leaq (%rcx,%rdx), %rax
movq (%rcx,%rdx), %rdx
movl $0x8, %ecx
cmpq %rbp, %rdx
je 0x20fa4
movq 0x10(%rax), %rdx
movl $0x18, %ecx
cmpq %rbp, %rdx
je 0x20fa4
movq 0x20(%rax), %rdx
movl $0x28, %ecx
cmpq %rbp, %rdx
je 0x20fa4
movq 0x30(%rax), %rdx
movl $0x38, %ecx
cmpq %rbp, %rdx
jne 0x20fad
movq (%rax,%rcx), %r12
testq %r12, %r12
jne 0x20fd4
movabsq $0x5d91f496b6479859, %rdi # imm = 0x5D91F496B6479859
movq %rbp, %rsi
callq 0xe9bc5
movq %rax, %r12
leaq 0x1714bf(%rip), %rdi    # 0x192488
movq %rbp, %rsi
movq %rax, %rdx
callq 0x115fac
movq %r13, %rdi
callq *0x18(%r12)
movq %rax, %rcx
movl $0xff, %esi
andq %rsi, %rcx
xorq %r14, %rcx
imulq %rbx, %rcx
movl %eax, %edx
shrl $0x8, %edx
movl $0xff, %edi
andl %edi, %edx
xorq %rcx, %rdx
imulq %rbx, %rdx
movl %eax, %ecx
shrl $0x10, %ecx
andl %edi, %ecx
xorq %rdx, %rcx
imulq %rbx, %rcx
movl %eax, %edx
shrl $0x18, %edx
xorq %rcx, %rdx
imulq %rbx, %rdx
movq %rax, %rcx
shrq $0x20, %rcx
andq %rsi, %rcx
xorq %rdx, %rcx
imulq %rbx, %rcx
movq %rax, %rdx
shrq $0x28, %rdx
andq %rsi, %rdx
xorq %rcx, %rdx
imulq %rbx, %rdx
movq %rax, %rcx
shrq $0x30, %rcx
andq %rsi, %rcx
xorq %rdx, %rcx
imulq %rbx, %rcx
shrq $0x38, %rax
xorq %rcx, %rax
incq %r15
imulq %rbx, %rax
movq %rax, %r14
movq 0x10(%rsp), %r12
cmpq 0x10(%r12), %r15
jb 0x20f37
jmp 0x21074
movq %r14, %rax
movq 0x38(%r12), %rdx
movq %rdx, 0x8(%rsp)
xorl %ecx, %ecx
movzbl 0x8(%rsp,%rcx), %esi
xorq %rsi, %rax
imulq %rbx, %rax
incq %rcx
cmpq $0x8, %rcx
jne 0x21080
testq %rdx, %rdx
je 0x210e8
movq 0x30(%r12), %rsi
xorl %edi, %edi
movq (%rsi,%rdi,8), %rcx
movq 0x8(%rcx), %r8
testq %r8, %r8
je 0x210d4
movb (%r8), %r9b
testb %r9b, %r9b
je 0x210d8
incq %r8
movzbl %r9b, %ecx
xorq %rax, %rcx
imulq %rbx, %rcx
movb (%r8), %r9b
incq %r8
movq %rcx, %rax
testb %r9b, %r9b
jne 0x210b9
jmp 0x210db
imulq %rbx, %rax
movq %rax, %rcx
incq %rdi
movq %rcx, %rax
cmpq %rdx, %rdi
jne 0x210a1
jmp 0x210eb
movq %rax, %rcx
movq 0x58(%r12), %rax
movq %rax, 0x8(%rsp)
xorl %edx, %edx
movzbl 0x8(%rsp,%rdx), %esi
xorq %rsi, %rcx
imulq %rbx, %rcx
incq %rdx
cmpq $0x8, %rdx
jne 0x210f7
testq %rax, %rax
je 0x2115f
movq 0x50(%r12), %rsi
xorl %edi, %edi
movq (%rsi,%rdi,8), %rdx
movq 0x8(%rdx), %r8
testq %r8, %r8
je 0x2114b
movb (%r8), %r9b
testb %r9b, %r9b
je 0x2114f
incq %r8
movzbl %r9b, %edx
xorq %rcx, %rdx
imulq %rbx, %rdx
movb (%r8), %r9b
incq %r8
movq %rdx, %rcx
testb %r9b, %r9b
jne 0x21130
jmp 0x21152
imulq %rbx, %rcx
movq %rcx, %rdx
incq %rdi
movq %rdx, %rcx
cmpq %rax, %rdi
jne 0x21118
jmp 0x21162
movq %rcx, %rdx
movq 0x78(%r12), %rcx
testq %rcx, %rcx
je 0x211ba
movq 0x70(%r12), %rsi
xorl %edi, %edi
movq (%rsi,%rdi,8), %rax
movq 0x8(%rax), %r8
testq %r8, %r8
je 0x211a6
movb (%r8), %r9b
testb %r9b, %r9b
je 0x211aa
incq %r8
movzbl %r9b, %eax
xorq %rdx, %rax
imulq %rbx, %rax
movb (%r8), %r9b
incq %r8
movq %rax, %rdx
testb %r9b, %r9b
jne 0x2118b
jmp 0x211ad
imulq %rbx, %rdx
movq %rdx, %rax
incq %rdi
movq %rax, %rdx
cmpq %rcx, %rdi
jne 0x21173
jmp 0x211bd
movq %rdx, %rax
addq $0x18, %rsp
popq %rbx
popq %r12
popq %r13
popq %r14
popq %r15
popq %rbp
retq