// File: /workspace/github_c_makefile_star2_O0/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
movq %rsp, %rbp
subq $0xe0, %rsp
movq %rdi, -0x10(%rbp)
movq %rsi, -0x18(%rbp)
movq %rdx, -0x20(%rbp)
cmpq $0x0, -0x18(%rbp)
je 0xe397c
movq -0x10(%rbp), %rax
movq 0x8(%rax), %rax
movq %rax, -0xb0(%rbp)
movabsq $-0x73f6ae1ad309fd45, %rcx # imm = 0x8C0951E52CF602BB
subq %rcx, %rax
je 0xe35da
jmp 0xe3356
movq -0xb0(%rbp), %rax
movabsq $-0x6bce971ace902370, %rcx # imm = 0x943168E5316FDC90
subq %rcx, %rax
je 0xe35c1
jmp 0xe3372
movq -0xb0(%rbp), %rax
movabsq $-0x6119581ac7eacd63, %rcx # imm = 0x9EE6A7E53815329D
subq %rcx, %rax
je 0xe35a9
jmp 0xe338e
movq -0xb0(%rbp), %rax
movabsq $-0x5fc2af85f419929b, %rcx # imm = 0xA03D507A0BE66D65
subq %rcx, %rax
je 0xe35f3
jmp 0xe33aa
movq -0xb0(%rbp), %rax
movabsq $-0x5aa4411ac4e2880e, %rcx # imm = 0xA55BBEE53B1D77F2
subq %rcx, %rax
je 0xe3590
jmp 0xe33c6
movq -0xb0(%rbp), %rax
movabsq $-0x58737885f0577326, %rcx # imm = 0xA78C877A0FA88CDA
subq %rcx, %rax
je 0xe3654
jmp 0xe33e2
movq -0xb0(%rbp), %rax
movabsq $-0x503db0e6e1c2e704, %rcx # imm = 0xAFC24F191E3D18FC
subq %rcx, %rax
je 0xe3721
jmp 0xe33fe
movq -0xb0(%rbp), %rax
movabsq $-0x4882601bdca6aefb, %rcx # imm = 0xB77D9FE423595105
subq %rcx, %rax
je 0xe36d4
jmp 0xe341a
movq -0xb0(%rbp), %rax
movabsq $-0x3f1363e6d8155aed, %rcx # imm = 0xC0EC9C1927EAA513
subq %rcx, %rax
je 0xe36b9
jmp 0xe3436
movq -0xb0(%rbp), %rax
movabsq $-0x3ac242643d9c35a8, %rcx # imm = 0xC53DBD9BC263CA58
subq %rcx, %rax
je 0xe3754
jmp 0xe3452
movq -0xb0(%rbp), %rax
movabsq $-0x388c46b188de83fe, %rcx # imm = 0xC773B94E77217C02
subq %rcx, %rax
je 0xe377c
jmp 0xe346e
movq -0xb0(%rbp), %rax
movabsq $-0x84b14e74a9e1ff0, %rcx # imm = 0xF7B4EB18B561E010
subq %rcx, %rax
je 0xe3708
jmp 0xe348a
movq -0xb0(%rbp), %rax
movabsq $0x230abe18cdeefc99, %rcx # imm = 0x230ABE18CDEEFC99
subq %rcx, %rax
je 0xe36ef
jmp 0xe34a6
movq -0xb0(%rbp), %rax
movabsq $0x510c2417c67dabeb, %rcx # imm = 0x510C2417C67DABEB
subq %rcx, %rax
je 0xe3546
jmp 0xe34c2
movq -0xb0(%rbp), %rax
movabsq $0x585a3b17ca3de200, %rcx # imm = 0x585A3B17CA3DE200
subq %rcx, %rax
je 0xe352d
jmp 0xe34da
movq -0xb0(%rbp), %rax
movabsq $0x62367a17d02b474d, %rcx # imm = 0x62367A17D02B474D
subq %rcx, %rax
je 0xe3577
jmp 0xe34f6
movq -0xb0(%rbp), %rax
movabsq $0x69849117d3eb7d62, %rcx # imm = 0x69849117D3EB7D62
subq %rcx, %rax
je 0xe355e
jmp 0xe350e
movq -0xb0(%rbp), %rax
movabsq $0x6d07f9ef5b68e8a2, %rcx # imm = 0x6D07F9EF5B68E8A2
subq %rcx, %rax
je 0xe373b
jmp 0xe3795
movq -0x20(%rbp), %rdi
movq -0x18(%rbp), %rax
movq (%rax), %rsi
callq 0xe39b0
movq %rax, -0x8(%rbp)
jmp 0xe3999
movq -0x20(%rbp), %rdi
movq -0x18(%rbp), %rax
movl (%rax), %esi
callq 0xe39f0
movq %rax, -0x8(%rbp)
jmp 0xe3999
movq -0x20(%rbp), %rdi
movq -0x18(%rbp), %rax
movzwl (%rax), %esi
callq 0xe3a30
movq %rax, -0x8(%rbp)
jmp 0xe3999
movq -0x20(%rbp), %rdi
movq -0x18(%rbp), %rax
movzbl (%rax), %esi
callq 0xe3a70
movq %rax, -0x8(%rbp)
jmp 0xe3999
movq -0x20(%rbp), %rdi
movq -0x18(%rbp), %rax
movq (%rax), %rsi
callq 0xe39b0
movq %rax, -0x8(%rbp)
jmp 0xe3999
movq -0x20(%rbp), %rdi
movq -0x18(%rbp), %rax
movl (%rax), %esi
callq 0xe39f0
movq %rax, -0x8(%rbp)
jmp 0xe3999
movq -0x20(%rbp), %rdi
movq -0x18(%rbp), %rax
movzwl (%rax), %esi
callq 0xe3a30
movq %rax, -0x8(%rbp)
jmp 0xe3999
movq -0x20(%rbp), %rdi
movq -0x18(%rbp), %rax
movzbl (%rax), %esi
callq 0xe3a70
movq %rax, -0x8(%rbp)
jmp 0xe3999
movl $0x0, -0x24(%rbp)
movq -0x18(%rbp), %rax
movsd (%rax), %xmm0
leaq -0x24(%rbp), %rdi
callq 0x4070
movsd 0x5b805(%rip), %xmm1    # 0x13ee18
mulsd %xmm1, %xmm0
cvttsd2si %xmm0, %rax
movq %rax, -0x30(%rbp)
movl -0x24(%rbp), %eax
movl %eax, -0x34(%rbp)
movq -0x20(%rbp), %rdi
movq -0x30(%rbp), %rsi
callq 0xe39b0
movq %rax, -0x20(%rbp)
movq -0x20(%rbp), %rdi
movl -0x34(%rbp), %esi
callq 0xe39f0
movq %rax, -0x20(%rbp)
movq -0x20(%rbp), %rax
movq %rax, -0x8(%rbp)
jmp 0xe3999
movl $0x0, -0x38(%rbp)
movq -0x18(%rbp), %rax
movss (%rax), %xmm0
cvtss2sd %xmm0, %xmm0
leaq -0x38(%rbp), %rdi
callq 0x4070
movsd 0x5b7a0(%rip), %xmm1    # 0x13ee18
mulsd %xmm1, %xmm0
cvttsd2si %xmm0, %rax
movq %rax, -0x40(%rbp)
movl -0x38(%rbp), %eax
movl %eax, -0x44(%rbp)
movq -0x20(%rbp), %rdi
movq -0x40(%rbp), %rsi
callq 0xe39b0
movq %rax, -0x20(%rbp)
movq -0x20(%rbp), %rdi
movl -0x44(%rbp), %esi
callq 0xe39f0
movq %rax, -0x20(%rbp)
movq -0x20(%rbp), %rax
movq %rax, -0x8(%rbp)
jmp 0xe3999
movq -0x20(%rbp), %rdi
movq -0x18(%rbp), %rsi
movl $0x8, %edx
callq 0xe3aa0
movq %rax, -0x8(%rbp)
jmp 0xe3999
movq -0x20(%rbp), %rdi
movq -0x18(%rbp), %rsi
movl $0x8, %edx
callq 0xe3aa0
movq %rax, -0x8(%rbp)
jmp 0xe3999
movq -0x20(%rbp), %rdi
movq -0x18(%rbp), %rax
movq (%rax), %rsi
callq 0xe3b00
movq %rax, -0x8(%rbp)
jmp 0xe3999
movq -0x20(%rbp), %rdi
movq -0x18(%rbp), %rax
movq (%rax), %rsi
callq 0xe3b00
movq %rax, -0x8(%rbp)
jmp 0xe3999
movq -0x20(%rbp), %rdi
movq -0x18(%rbp), %rax
movq 0x8(%rax), %rsi
callq 0xe3b00
movq %rax, -0x8(%rbp)
jmp 0xe3999
movq -0x20(%rbp), %rdi
movq -0x18(%rbp), %rax
movq (%rax), %rsi
callq 0xe3b70
movq %rax, -0x8(%rbp)
jmp 0xe3999
movq -0x20(%rbp), %rdi
movq -0x18(%rbp), %rax
movb (%rax), %dl
xorl %eax, %eax
movl $0x1, %ecx
testb $0x1, %dl
cmovnel %ecx, %eax
movzbl %al, %esi
callq 0xe3a70
movq %rax, -0x8(%rbp)
jmp 0xe3999
movq -0x20(%rbp), %rdi
movq -0x18(%rbp), %rax
movq (%rax), %rsi
callq 0xe3b70
movq %rax, -0x8(%rbp)
jmp 0xe3999
movq -0x20(%rbp), %rdi
movq -0x10(%rbp), %rax
movq 0x8(%rax), %rsi
callq 0xe3b70
movq %rax, -0x20(%rbp)
movq -0x10(%rbp), %rax
movq 0x10(%rax), %rdi
movq -0x18(%rbp), %rsi
callq 0xe3ba0
testb $0x1, %al
jne 0xe37c4
jmp 0xe389d
movq -0x10(%rbp), %rax
movq 0x10(%rax), %rax
movq 0x8(%rax), %rdi
callq 0xe3bd0
movq %rax, -0x50(%rbp)
movq -0x50(%rbp), %rdi
movq -0x18(%rbp), %rsi
callq 0xe3c40
movq %rax, -0x58(%rbp)
movq -0x20(%rbp), %rdi
movq -0x58(%rbp), %rsi
callq 0xe3c70
movq %rax, -0x20(%rbp)
movq $0x0, -0x60(%rbp)
movq -0x60(%rbp), %rax
cmpq -0x58(%rbp), %rax
jae 0xe3898
movq -0x50(%rbp), %rsi
movq -0x18(%rbp), %rdx
movq -0x60(%rbp), %rcx
leaq -0x78(%rbp), %rdi
callq 0xe3ca0
movq -0x20(%rbp), %rax
movq %rax, -0xb8(%rbp)
leaq -0x78(%rbp), %rdi
callq 0xe3ce0
movq -0xb8(%rbp), %rdi
movq %rax, %rsi
callq 0xe3b70
movq %rax, -0x20(%rbp)
cmpq $0x0, -0x70(%rbp)
je 0xe3865
movq -0x20(%rbp), %rsi
leaq -0x78(%rbp), %rdi
callq 0xe3d00
movq %rax, -0x20(%rbp)
leaq -0x78(%rbp), %rax
movq (%rax), %rcx
movq %rcx, (%rsp)
movq 0x8(%rax), %rcx
movq %rcx, 0x8(%rsp)
movq 0x10(%rax), %rax
movq %rax, 0x10(%rsp)
callq 0xe3d70
movq -0x60(%rbp), %rax
addq $0x1, %rax
movq %rax, -0x60(%rbp)
jmp 0xe3803
jmp 0xe3978
movq -0x10(%rbp), %rax
movq 0x10(%rax), %rax
movq %rax, -0x80(%rbp)
movq -0x80(%rbp), %rax
movq 0x20(%rax), %rax
movq %rax, -0x88(%rbp)
movq $0x0, -0x90(%rbp)
movq -0x90(%rbp), %rax
cmpq -0x88(%rbp), %rax
jae 0xe3976
movq -0x80(%rbp), %rsi
movq -0x18(%rbp), %rdx
movq -0x90(%rbp), %rcx
leaq -0xa8(%rbp), %rdi
callq 0xe3dc0
movq -0x20(%rbp), %rax
movq %rax, -0xc0(%rbp)
leaq -0xa8(%rbp), %rdi
callq 0xe3ce0
movq -0xc0(%rbp), %rdi
movq %rax, %rsi
callq 0xe3b70
movq %rax, -0x20(%rbp)
cmpq $0x0, -0xa0(%rbp)
je 0xe393a
movq -0x20(%rbp), %rsi
leaq -0xa8(%rbp), %rdi
callq 0xe3d00
movq %rax, -0x20(%rbp)
leaq -0xa8(%rbp), %rax
movq (%rax), %rcx
movq %rcx, (%rsp)
movq 0x8(%rax), %rcx
movq %rcx, 0x8(%rsp)
movq 0x10(%rax), %rax
movq %rax, 0x10(%rsp)
callq 0xe3d70
movq -0x90(%rbp), %rax
addq $0x1, %rax
movq %rax, -0x90(%rbp)
jmp 0xe38c3
jmp 0xe3978
jmp 0xe397a
jmp 0xe3991
movq -0x20(%rbp), %rdi
movq -0x10(%rbp), %rax
movq 0x8(%rax), %rsi
callq 0xe3b70
movq %rax, -0x20(%rbp)
movq -0x20(%rbp), %rax
movq %rax, -0x8(%rbp)
movq -0x8(%rbp), %rax
addq $0xe0, %rsp
popq %rbp
retq
nopw %cs:(%rax,%rax)