// File: /workspace/github_c_makefile_star2_O3/johsteffens[P]beth/lib/bcore/bcore_spect_hash.c
// Function: bcore_hash_default_fold_tp
tp_t bcore_hash_default_fold_tp( const bcore_hash_s* p, const bcore_hash* o, tp_t hash )
{
    if( o )
    {
        switch( p->header.o_type )
        {
            case TYPEOF_s3_t: return bcore_tp_fold_u3( hash, *( u3_t* )o );
            case TYPEOF_s2_t: return bcore_tp_fold_u2( hash, *( u2_t* )o );
            case TYPEOF_s1_t: return bcore_tp_fold_u1( hash, *( u1_t* )o );
            case TYPEOF_s0_t: return bcore_tp_fold_u0( hash, *( u0_t* )o );

            case TYPEOF_u3_t: return bcore_tp_fold_u3( hash, *( u3_t* )o );
            case TYPEOF_u2_t: return bcore_tp_fold_u2( hash, *( u2_t* )o );
            case TYPEOF_u1_t: return bcore_tp_fold_u1( hash, *( u1_t* )o );
            case TYPEOF_u0_t: return bcore_tp_fold_u0( hash, *( u0_t* )o );

            case TYPEOF_f3_t:
            {
                int exp = 0;
                s3_t man_s3 = frexp( *( f3_t* )o, &exp ) * 0x7FFFFFFFFFFFFFFF;
                s2_t exp_s2 = exp;
                hash = bcore_tp_fold_u3( hash, man_s3 );
                hash = bcore_tp_fold_u2( hash, exp_s2 );
                return hash;
            }

            case TYPEOF_f2_t:
            {
                int exp = 0;
                s3_t man_s3 = frexp( *( f2_t* )o, &exp ) * 0x7FFFFFFFFFFFFFFF;
                s2_t exp_s2 = exp;
                hash = bcore_tp_fold_u3( hash, man_s3 );
                hash = bcore_tp_fold_u2( hash, exp_s2 );
                return hash;
            }

            case TYPEOF_sz_t: return bcore_tp_fold_vc( hash, o, sizeof( sz_t ) );
            case TYPEOF_uz_t: return bcore_tp_fold_vc( hash, o, sizeof( uz_t ) );
            case TYPEOF_sd_t: return bcore_tp_fold_sc( hash, *( sd_t* )o );
            case TYPEOF_sc_t: return bcore_tp_fold_sc( hash, *( sc_t* )o );
            case TYPEOF_st_s: return bcore_tp_fold_sc( hash, ( ( st_s* )o )->sc );
            case TYPEOF_tp_t: return bcore_tp_fold_tp( hash, *( tp_t* )o );
            case TYPEOF_bl_t: return bcore_tp_fold_u0( hash, (*(bl_t*)o) ? 1 : 0 );
            case TYPEOF_aware_t: return bcore_tp_fold_tp( hash, *( tp_t* )o );

            default:
            {
                hash = bcore_tp_fold_tp( hash, p->header.o_type );
                if( bcore_via_p_is_pure_array( p->spect_via, ( bcore_via* )o ) )
                {
                    const bcore_array_s* arr_p = bcore_array_s_get_typed( p->spect_via->header.o_type );
                    uz_t size = bcore_array_p_get_size( arr_p, ( bcore_array* )o );
                    hash = bcore_tp_fold_uz( hash, size );
                    for( uz_t i = 0; i < size; i++ )
                    {
                        sr_s sr = bcore_array_p_get( arr_p, (bcore_array*)o, i );
                        hash = bcore_tp_fold_tp( hash, sr_s_type( &sr ) );
                        if( sr.p ) hash = bcore_hash_r_fold_tp( &sr, hash );
                        sr_down( sr );
                    }
                }
                else
                {
                    const bcore_via_s* via = p->spect_via;
                    uz_t size = via->size;
                    for( uz_t i = 0; i < size; i++ )
                    {
                        sr_s sr = bcore_via_p_iget( via, (bcore_via*)o, i );
                        hash = bcore_tp_fold_tp( hash, sr_s_type( &sr ) );
                        if( sr.p ) hash = bcore_hash_r_fold_tp( &sr, hash );
                        sr_down( sr );
                    }
                }
            }
        }
    }
    else
    {
        hash = bcore_tp_fold_tp( hash, p->header.o_type );
    }
    return hash;
}

// Assembly:
pushq %rbp
pushq %r15
pushq %r14
pushq %r13
pushq %r12
pushq %rbx
subq $0x48, %rsp
movq %rdx, %r15
movq 0x8(%rdi), %rbx
testq %rsi, %rsi
je 0xf6590
movq %rsi, %r14
movq %rdi, %r12
movabsq $-0x3ac242643d9c35a9, %rax # imm = 0xC53DBD9BC263CA57
cmpq %rax, %rbx
jg 0xf62cb
movabsq $-0x5aa4411ac4e2880f, %rax # imm = 0xA55BBEE53B1D77F1
cmpq %rax, %rbx
jle 0xf6322
movabsq $-0x503db0e6e1c2e705, %rax # imm = 0xAFC24F191E3D18FB
cmpq %rax, %rbx
jle 0xf6460
movabsq $-0x503db0e6e1c2e704, %rax # imm = 0xAFC24F191E3D18FC
cmpq %rax, %rbx
je 0xf66d1
movabsq $-0x4882601bdca6aefb, %rax # imm = 0xB77D9FE423595105
cmpq %rax, %rbx
je 0xf66a8
movabsq $-0x3f1363e6d8155aed, %rax # imm = 0xC0EC9C1927EAA513
cmpq %rax, %rbx
jne 0xf671e
movabsq $0x100000001b3, %rax    # imm = 0x100000001B3
xorl %ecx, %ecx
movzbl (%r14,%rcx), %ebx
xorq %r15, %rbx
imulq %rax, %rbx
incq %rcx
movq %rbx, %r15
cmpq $0x8, %rcx
jne 0xf62ae
jmp 0xf6617
movabsq $0x510c2417c67dabea, %rax # imm = 0x510C2417C67DABEA
cmpq %rax, %rbx
jle 0xf637e
movabsq $0x62367a17d02b474c, %rax # imm = 0x62367A17D02B474C
cmpq %rax, %rbx
jle 0xf6567
movabsq $0x62367a17d02b474d, %rax # imm = 0x62367A17D02B474D
cmpq %rax, %rbx
je 0xf63ab
movabsq $0x69849117d3eb7d62, %rax # imm = 0x69849117D3EB7D62
cmpq %rax, %rbx
je 0xf6357
movabsq $0x6d07f9ef5b68e8a2, %rax # imm = 0x6D07F9EF5B68E8A2
jmp 0xf6584
movabsq $-0x6119581ac7eacd64, %rax # imm = 0x9EE6A7E53815329C
cmpq %rax, %rbx
jg 0xf63c1
movabsq $-0x73f6ae1ad309fd45, %rax # imm = 0x8C0951E52CF602BB
cmpq %rax, %rbx
je 0xf63ab
movabsq $-0x6bce971ace902370, %rax # imm = 0x943168E5316FDC90
cmpq %rax, %rbx
jne 0xf671e
movzwl (%r14), %ebx
movzbl %bl, %eax
xorq %r15, %rax
movabsq $0x100000001b3, %rcx    # imm = 0x100000001B3
imulq %rcx, %rax
shrl $0x8, %ebx
xorq %rax, %rbx
imulq %rcx, %rbx
jmp 0xf6617
movabsq $-0x84b14e74a9e1ff1, %rax # imm = 0xF7B4EB18B561E00F
cmpq %rax, %rbx
jg 0xf63fc
movabsq $-0x3ac242643d9c35a8, %rax # imm = 0xC53DBD9BC263CA58
cmpq %rax, %rbx
je 0xf63ab
movabsq $-0x388c46b188de83fe, %rax # imm = 0xC773B94E77217C02
jmp 0xf6584
movzbl (%r14), %eax
xorq %r15, %rax
movabsq $0x100000001b3, %rbx    # imm = 0x100000001B3
jmp 0xf6613
movabsq $-0x6119581ac7eacd63, %rax # imm = 0x9EE6A7E53815329D
cmpq %rax, %rbx
je 0xf6629
movabsq $-0x5fc2af85f419929b, %rax # imm = 0xA03D507A0BE66D65
cmpq %rax, %rbx
jne 0xf671e
leaq 0x20(%rsp), %rbx
movl $0x0, (%rbx)
movsd (%r14), %xmm0
jmp 0xf6496
movabsq $-0x84b14e74a9e1ff0, %rax # imm = 0xF7B4EB18B561E010
cmpq %rax, %rbx
je 0xf666a
movabsq $0x230abe18cdeefc99, %rax # imm = 0x230ABE18CDEEFC99
cmpq %rax, %rbx
jne 0xf671e
movq (%r14), %rax
testq %rax, %rax
je 0xf6708
movb (%rax), %dl
testb %dl, %dl
je 0xf6716
movabsq $0x100000001b3, %rcx    # imm = 0x100000001B3
incq %rax
movzbl %dl, %ebx
xorq %r15, %rbx
imulq %rcx, %rbx
movb (%rax), %dl
incq %rax
movq %rbx, %r15
testb %dl, %dl
jne 0xf6445
jmp 0xf6617
movabsq $-0x5aa4411ac4e2880e, %rax # imm = 0xA55BBEE53B1D77F2
cmpq %rax, %rbx
je 0xf658d
movabsq $-0x58737885f0577326, %rax # imm = 0xA78C877A0FA88CDA
cmpq %rax, %rbx
jne 0xf671e
leaq 0x20(%rsp), %rbx
movl $0x0, (%rbx)
cvtss2sd (%r14), %xmm0
movq %rbx, %rdi
callq 0xd070
mulsd 0x40dd2(%rip), %xmm0    # 0x137278
cvttsd2si %xmm0, %rdx
movl (%rbx), %ebx
movl $0xff, %esi
movq %rdx, %rdi
andq %rsi, %rdi
xorq %r15, %rdi
movabsq $0x100000001b3, %rax    # imm = 0x100000001B3
imulq %rax, %rdi
movl %edx, %r8d
shrl $0x8, %r8d
movl $0xff, %ecx
andl %ecx, %r8d
xorq %rdi, %r8
imulq %rax, %r8
movl %edx, %edi
shrl $0x10, %edi
andl %ecx, %edi
xorq %r8, %rdi
imulq %rax, %rdi
movl %edx, %r8d
shrl $0x18, %r8d
xorq %rdi, %r8
imulq %rax, %r8
movq %rdx, %rdi
shrq $0x20, %rdi
andq %rsi, %rdi
xorq %r8, %rdi
imulq %rax, %rdi
movq %rdx, %r8
shrq $0x28, %r8
andq %rsi, %r8
xorq %rdi, %r8
imulq %rax, %r8
movq %rdx, %rdi
shrq $0x30, %rdi
andq %rsi, %rdi
xorq %r8, %rdi
imulq %rax, %rdi
shrq $0x38, %rdx
xorq %rdi, %rdx
imulq %rax, %rdx
movl %ebx, %esi
andl %ecx, %esi
xorq %rdx, %rsi
imulq %rax, %rsi
movzbl %bh, %edx
xorq %rsi, %rdx
imulq %rax, %rdx
movl %ebx, %esi
shrl $0x10, %esi
andl %ecx, %esi
xorq %rdx, %rsi
imulq %rax, %rsi
shrl $0x18, %ebx
xorq %rsi, %rbx
jmp 0xf6613
movabsq $0x510c2417c67dabeb, %rax # imm = 0x510C2417C67DABEB
cmpq %rax, %rbx
je 0xf6629
movabsq $0x585a3b17ca3de200, %rax # imm = 0x585A3B17CA3DE200
cmpq %rax, %rbx
jne 0xf671e
movq (%r14), %rbx
movl $0xff, %ecx
movq %rbx, %rdx
andq %rcx, %rdx
xorq %r15, %rdx
movabsq $0x100000001b3, %rax    # imm = 0x100000001B3
imulq %rax, %rdx
movl %ebx, %esi
shrl $0x8, %esi
movl $0xff, %edi
andl %edi, %esi
xorq %rdx, %rsi
imulq %rax, %rsi
movl %ebx, %edx
shrl $0x10, %edx
andl %edi, %edx
xorq %rsi, %rdx
imulq %rax, %rdx
movl %ebx, %esi
shrl $0x18, %esi
xorq %rdx, %rsi
imulq %rax, %rsi
movq %rbx, %rdx
shrq $0x20, %rdx
andq %rcx, %rdx
xorq %rsi, %rdx
imulq %rax, %rdx
movq %rbx, %rsi
shrq $0x28, %rsi
andq %rcx, %rsi
xorq %rdx, %rsi
imulq %rax, %rsi
movq %rbx, %rdx
shrq $0x30, %rdx
andq %rcx, %rdx
xorq %rsi, %rdx
imulq %rax, %rdx
shrq $0x38, %rbx
xorq %rdx, %rbx
imulq %rax, %rbx
movq %rbx, %rax
addq $0x48, %rsp
popq %rbx
popq %r12
popq %r13
popq %r14
popq %r15
popq %rbp
retq
movl (%r14), %ebx
movl $0xff, %eax
movl %ebx, %ecx
andl %eax, %ecx
xorq %r15, %rcx
movabsq $0x100000001b3, %rdx    # imm = 0x100000001B3
imulq %rdx, %rcx
movzbl %bh, %esi
xorq %rcx, %rsi
imulq %rdx, %rsi
movl %ebx, %ecx
shrl $0x10, %ecx
andl %eax, %ecx
xorq %rsi, %rcx
imulq %rdx, %rcx
shrl $0x18, %ebx
xorq %rcx, %rbx
imulq %rdx, %rbx
jmp 0xf6617
movq (%r14), %rax
testq %rax, %rax
je 0xf6708
movb (%rax), %dl
testb %dl, %dl
je 0xf6716
movabsq $0x100000001b3, %rcx    # imm = 0x100000001B3
incq %rax
movzbl %dl, %ebx
xorq %r15, %rbx
imulq %rcx, %rbx
movb (%rax), %dl
incq %rax
movq %rbx, %r15
testb %dl, %dl
jne 0xf668d
jmp 0xf6617
movabsq $0x100000001b3, %rax    # imm = 0x100000001B3
xorl %ecx, %ecx
movzbl (%r14,%rcx), %ebx
xorq %r15, %rbx
imulq %rax, %rbx
incq %rcx
movq %rbx, %r15
cmpq $0x8, %rcx
jne 0xf66b4
jmp 0xf6617
movq 0x8(%r14), %rax
testq %rax, %rax
je 0xf6708
movb (%rax), %dl
testb %dl, %dl
je 0xf6716
movabsq $0x100000001b3, %rcx    # imm = 0x100000001B3
incq %rax
movzbl %dl, %ebx
xorq %r15, %rbx
imulq %rcx, %rbx
movb (%rax), %dl
incq %rax
movq %rbx, %r15
testb %dl, %dl
jne 0xf66ed
jmp 0xf6617
movabsq $0x100000001b3, %rax    # imm = 0x100000001B3
imulq %rax, %r15
movq %r15, %rbx
jmp 0xf6617
movabsq $0x100000001b3, %r13    # imm = 0x100000001B3
movl $0xff, %eax
movq %rbx, %rcx
andq %rax, %rcx
xorq %r15, %rcx
imulq %r13, %rcx
movl %ebx, %edx
shrl $0x8, %edx
movl $0xff, %esi
andl %esi, %edx
xorq %rcx, %rdx
imulq %r13, %rdx
movl %ebx, %ecx
shrl $0x10, %ecx
andl %esi, %ecx
xorq %rdx, %rcx
imulq %r13, %rcx
movl %ebx, %edx
shrl $0x18, %edx
xorq %rcx, %rdx
imulq %r13, %rdx
movq %rbx, %rcx
shrq $0x20, %rcx
andq %rax, %rcx
xorq %rdx, %rcx
imulq %r13, %rcx
movq %rbx, %rdx
shrq $0x28, %rdx
andq %rax, %rdx
xorq %rcx, %rdx
imulq %r13, %rdx
movq %rbx, %rcx
shrq $0x30, %rcx
andq %rax, %rcx
xorq %rdx, %rcx
imulq %r13, %rcx
shrq $0x38, %rbx
xorq %rcx, %rbx
imulq %r13, %rbx
movq 0x10(%r12), %rdi
movq %r14, %rsi
callq 0x103275
movq 0x10(%r12), %r15
testb %al, %al
je 0xf69b0
movq 0x8(%r15), %rdi
callq 0xf6b70
movq %rax, 0x40(%rsp)
movq %rax, %rdi
movq %r14, %rsi
callq 0xede4d
movq %rax, 0x38(%rsp)
movq %rax, 0x20(%rsp)
xorl %eax, %eax
movzbl 0x20(%rsp,%rax), %ecx
xorq %rcx, %rbx
imulq %r13, %rbx
incq %rax
cmpq $0x8, %rax
jne 0xf67e4
cmpq $0x0, 0x38(%rsp)
je 0xf6617
xorl %ebp, %ebp
movl $0xff, %r12d
leaq 0x20(%rsp), %rdi
movq 0x40(%rsp), %rsi
movq %r14, %rdx
movq %rbp, %rcx
callq 0xede75
movq 0x28(%rsp), %r13
testq %r13, %r13
je 0xf6832
movq 0x8(%r13), %rax
jmp 0xf6834
xorl %eax, %eax
movq %rax, %rcx
andq %r12, %rcx
xorq %rbx, %rcx
movabsq $0x100000001b3, %rsi    # imm = 0x100000001B3
imulq %rsi, %rcx
movl %eax, %edx
shrl $0x8, %edx
movl $0xff, %edi
andl %edi, %edx
xorq %rcx, %rdx
imulq %rsi, %rdx
movl %eax, %ecx
shrl $0x10, %ecx
andl %edi, %ecx
xorq %rdx, %rcx
imulq %rsi, %rcx
movl %eax, %edx
shrl $0x18, %edx
xorq %rcx, %rdx
imulq %rsi, %rdx
movq %rax, %rcx
shrq $0x20, %rcx
andq %r12, %rcx
xorq %rdx, %rcx
imulq %rsi, %rcx
movq %rax, %rdx
shrq $0x28, %rdx
andq %r12, %rdx
xorq %rcx, %rdx
imulq %rsi, %rdx
movq %rax, %rcx
shrq $0x30, %rcx
andq %r12, %rcx
xorq %rdx, %rcx
imulq %rsi, %rcx
shrq $0x38, %rax
xorq %rcx, %rax
movq %rax, %rbx
imulq %rsi, %rbx
testq %r13, %r13
je 0xf697c
movq 0x8(%r13), %r15
movabsq $0x57ef6ea4efc111b5, %rax # imm = 0x57EF6EA4EFC111B5
cmpq %rax, %r15
je 0xf6969
movl 0xa5971(%rip), %eax     # 0x19c250
cltq
leaq (%rax,%rax,2), %rax
leaq 0xa5964(%rip), %rdx     # 0x19c250
movq 0x20(%rdx,%rax,8), %rcx
movq 0x18(%rdx,%rax,8), %rdx
andq %r15, %rdx
shlq $0x4, %rdx
leaq (%rcx,%rdx), %rax
movq (%rcx,%rdx), %rdx
movl $0x8, %ecx
cmpq %r15, %rdx
je 0xf6939
movq 0x10(%rax), %rdx
movl $0x18, %ecx
cmpq %r15, %rdx
je 0xf6939
movq 0x20(%rax), %rdx
movl $0x28, %ecx
cmpq %r15, %rdx
je 0xf6939
movq 0x30(%rax), %rdx
movl $0x38, %ecx
cmpq %r15, %rdx
jne 0xf6942
movq (%rax,%rcx), %r13
testq %r13, %r13
jne 0xf6969
movabsq $0x57ef6ea4efc111b5, %rdi # imm = 0x57EF6EA4EFC111B5
movq %r15, %rsi
callq 0xe9bc5
movq %rax, %r13
leaq 0xa58f2(%rip), %rdi     # 0x19c250
movq %r15, %rsi
movq %rax, %rdx
callq 0x115fac
movq 0x20(%rsp), %rsi
movq %r13, %rdi
movq %rbx, %rdx
callq 0xf620c
movq %rax, %rbx
testb $0x2, 0x30(%rsp)
je 0xf699d
movq 0x30(%rsp), %rax
movq %rax, 0x10(%rsp)
movupd 0x20(%rsp), %xmm0
movupd %xmm0, (%rsp)
callq 0x107590
incq %rbp
cmpq %rbp, 0x38(%rsp)
jne 0xf680d
jmp 0xf6617
movq 0x20(%r15), %rax
movq %rax, 0x38(%rsp)
testq %rax, %rax
je 0xf6617
xorl %r13d, %r13d
leaq 0x20(%rsp), %rdi
movq %r15, %rsi
movq %r14, %rdx
movq %r13, %rcx
callq 0x101e10
movq 0x28(%rsp), %r12
testq %r12, %r12
je 0xf69e9
movq 0x8(%r12), %rax
jmp 0xf69eb
xorl %eax, %eax
movq %rax, %rcx
movl $0xff, %edi
andq %rdi, %rcx
xorq %rbx, %rcx
movabsq $0x100000001b3, %rsi    # imm = 0x100000001B3
imulq %rsi, %rcx
movl %eax, %edx
shrl $0x8, %edx
movl $0xff, %r8d
andl %r8d, %edx
xorq %rcx, %rdx
imulq %rsi, %rdx
movl %eax, %ecx
shrl $0x10, %ecx
andl %r8d, %ecx
xorq %rdx, %rcx
imulq %rsi, %rcx
movl %eax, %edx
shrl $0x18, %edx
xorq %rcx, %rdx
imulq %rsi, %rdx
movq %rax, %rcx
shrq $0x20, %rcx
andq %rdi, %rcx
xorq %rdx, %rcx
imulq %rsi, %rcx
movq %rax, %rdx
shrq $0x28, %rdx
andq %rdi, %rdx
xorq %rcx, %rdx
imulq %rsi, %rdx
movq %rax, %rcx
shrq $0x30, %rcx
andq %rdi, %rcx
xorq %rdx, %rcx
imulq %rsi, %rcx
shrq $0x38, %rax
xorq %rcx, %rax
movq %rax, %rbx
imulq %rsi, %rbx
testq %r12, %r12
je 0xf6b3c
movq 0x8(%r12), %rbp
movabsq $0x57ef6ea4efc111b5, %rax # imm = 0x57EF6EA4EFC111B5
cmpq %rax, %rbp
je 0xf6b29
movl 0xa57b1(%rip), %eax     # 0x19c250
cltq
leaq (%rax,%rax,2), %rax
leaq 0xa57a4(%rip), %rdx     # 0x19c250
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 0xf6af9
movq 0x10(%rax), %rdx
movl $0x18, %ecx
cmpq %rbp, %rdx
je 0xf6af9
movq 0x20(%rax), %rdx
movl $0x28, %ecx
cmpq %rbp, %rdx
je 0xf6af9
movq 0x30(%rax), %rdx
movl $0x38, %ecx
cmpq %rbp, %rdx
jne 0xf6b02
movq (%rax,%rcx), %r12
testq %r12, %r12
jne 0xf6b29
movabsq $0x57ef6ea4efc111b5, %rdi # imm = 0x57EF6EA4EFC111B5
movq %rbp, %rsi
callq 0xe9bc5
movq %rax, %r12
leaq 0xa5732(%rip), %rdi     # 0x19c250
movq %rbp, %rsi
movq %rax, %rdx
callq 0x115fac
movq 0x20(%rsp), %rsi
movq %r12, %rdi
movq %rbx, %rdx
callq 0xf620c
movq %rax, %rbx
testb $0x2, 0x30(%rsp)
je 0xf6b5d
movq 0x30(%rsp), %rax
movq %rax, 0x10(%rsp)
movupd 0x20(%rsp), %xmm0
movupd %xmm0, (%rsp)
callq 0x107590
incq %r13
cmpq %r13, 0x38(%rsp)
jne 0xf69c5
jmp 0xf6617