// File: /workspace/github_c_makefile_star2_O1/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, %r13
movabsq $0x100000001b3, %rbx    # imm = 0x100000001B3
movq 0xa8(%rdi), %rcx
movq 0xb0(%rdi), %rax
movl $0xff, %r15d
movq %rcx, %rdx
andq %r15, %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 %r15, %rdx
xorq %rsi, %rdx
imulq %rbx, %rdx
movq %rcx, %rsi
shrq $0x28, %rsi
andq %r15, %rsi
xorq %rdx, %rsi
imulq %rbx, %rsi
movq %rcx, %rdx
shrq $0x30, %rdx
andq %r15, %rdx
xorq %rsi, %rdx
imulq %rbx, %rdx
shrq $0x38, %rcx
xorq %rdx, %rcx
imulq %rbx, %rcx
movq %rax, %rdx
andq %r15, %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 %r15, %rdx
xorq %rcx, %rdx
imulq %rbx, %rdx
movq %rax, %rcx
shrq $0x28, %rcx
andq %r15, %rcx
xorq %rdx, %rcx
imulq %rbx, %rcx
movq %rax, %rdx
shrq $0x30, %rdx
andq %r15, %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), %r12
movq %r12, %rax
andq %r15, %rax
xorq %rcx, %rax
imulq %rbx, %rax
movl %r12d, %ecx
shrl $0x8, %ecx
andl %ebp, %ecx
xorq %rax, %rcx
imulq %rbx, %rcx
movl %r12d, %eax
shrl $0x10, %eax
andl %ebp, %eax
xorq %rcx, %rax
imulq %rbx, %rax
movl %r12d, %ecx
shrl $0x18, %ecx
xorq %rax, %rcx
imulq %rbx, %rcx
movq %r12, %rax
shrq $0x20, %rax
andq %r15, %rax
xorq %rcx, %rax
imulq %rbx, %rax
movq %r12, %rcx
shrq $0x28, %rcx
andq %r15, %rcx
xorq %rax, %rcx
imulq %rbx, %rcx
movq %r12, %rax
shrq $0x30, %rax
andq %r15, %rax
xorq %rcx, %rax
imulq %rbx, %rax
shrq $0x38, %r12
xorq %rax, %r12
imulq %rbx, %r12
addq $0x118, %rdi            # imm = 0x118
callq 0x1c90a
movq %rax, %r14
andq %r15, %rax
xorq %r12, %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 %r15, %rax
xorq %rcx, %rax
imulq %rbx, %rax
movq %r14, %rcx
shrq $0x28, %rcx
andq %r15, %rcx
xorq %rax, %rcx
imulq %rbx, %rcx
movq %r14, %rax
shrq $0x30, %rax
andq %r15, %rax
xorq %rcx, %rax
imulq %rbx, %rax
shrq $0x38, %r14
xorq %rax, %r14
imulq %rbx, %r14
testq %r13, %r13
je 0x21b60
cmpq $0x0, 0x10(%r13)
je 0x21b60
xorl %r15d, %r15d
movq %r13, 0x10(%rsp)
movq 0x8(%r13), %rax
movq (%rax,%r15,8), %r13
movq (%r13), %rbp
movl 0x17da5a(%rip), %eax    # 0x19f488
cltq
leaq (%rax,%rax,2), %rax
leaq 0x17da4d(%rip), %rdx    # 0x19f488
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 0x21a8c
movq 0x10(%rax), %rdx
movl $0x18, %ecx
cmpq %rbp, %rdx
je 0x21a8c
movq 0x20(%rax), %rdx
movl $0x28, %ecx
cmpq %rbp, %rdx
je 0x21a8c
movq 0x30(%rax), %rdx
movl $0x38, %ecx
cmpq %rbp, %rdx
jne 0x21b58
movq (%rax,%rcx), %r12
testq %r12, %r12
jne 0x21abc
movabsq $0x5d91f496b6479859, %rdi # imm = 0x5D91F496B6479859
movq %rbp, %rsi
callq 0xf3f85
movq %rax, %r12
leaq 0x17d9d7(%rip), %rdi    # 0x19f488
movq %rbp, %rsi
movq %rax, %rdx
callq 0x12128c
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
imulq %rbx, %rax
incq %r15
movq %rax, %r14
movq 0x10(%rsp), %r13
cmpq 0x10(%r13), %r15
jb 0x21a1c
jmp 0x21b63
xorl %r12d, %r12d
jmp 0x21a90
movq %r14, %rax
movq 0x38(%r13), %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 0x21b6e
testq %rdx, %rdx
je 0x21bd5
movq 0x30(%r13), %rsi
xorl %edi, %edi
movq (%rsi,%rdi,8), %rcx
movq 0x8(%rcx), %r8
testq %r8, %r8
je 0x21bc1
movb (%r8), %r9b
testb %r9b, %r9b
je 0x21bc5
incq %r8
movzbl %r9b, %ecx
xorq %rax, %rcx
imulq %rbx, %rcx
movb (%r8), %r9b
incq %r8
movq %rcx, %rax
testb %r9b, %r9b
jne 0x21ba6
jmp 0x21bc8
imulq %rbx, %rax
movq %rax, %rcx
incq %rdi
movq %rcx, %rax
cmpq %rdx, %rdi
jne 0x21b8e
jmp 0x21bd8
movq %rax, %rcx
movq 0x58(%r13), %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 0x21be3
testq %rax, %rax
je 0x21c4a
movq 0x50(%r13), %rsi
xorl %edi, %edi
movq (%rsi,%rdi,8), %rdx
movq 0x8(%rdx), %r8
testq %r8, %r8
je 0x21c36
movb (%r8), %r9b
testb %r9b, %r9b
je 0x21c3a
incq %r8
movzbl %r9b, %edx
xorq %rcx, %rdx
imulq %rbx, %rdx
movb (%r8), %r9b
incq %r8
movq %rdx, %rcx
testb %r9b, %r9b
jne 0x21c1b
jmp 0x21c3d
imulq %rbx, %rcx
movq %rcx, %rdx
incq %rdi
movq %rdx, %rcx
cmpq %rax, %rdi
jne 0x21c03
jmp 0x21c4d
movq %rcx, %rdx
movq 0x78(%r13), %rcx
testq %rcx, %rcx
je 0x21ca3
movq 0x70(%r13), %rsi
xorl %edi, %edi
movq (%rsi,%rdi,8), %rax
movq 0x8(%rax), %r8
testq %r8, %r8
je 0x21c8f
movb (%r8), %r9b
testb %r9b, %r9b
je 0x21c93
incq %r8
movzbl %r9b, %eax
xorq %rdx, %rax
imulq %rbx, %rax
movb (%r8), %r9b
incq %r8
movq %rax, %rdx
testb %r9b, %r9b
jne 0x21c74
jmp 0x21c96
imulq %rbx, %rdx
movq %rdx, %rax
incq %rdi
movq %rax, %rdx
cmpq %rcx, %rdi
jne 0x21c5c
jmp 0x21ca6
movq %rdx, %rax
addq $0x18, %rsp
popq %rbx
popq %r12
popq %r13
popq %r14
popq %r15
popq %rbp
retq