// File: /workspace/github_c_makefile_star2_O3/johsteffens[P]beth/lib/bcore/bcore.xo.c
// Function: x_hmap_tp_test_selftest
void x_hmap_tp_test_selftest( void )
{
    // bcore_x_hmap.x:54:5
    BLM_INIT_LEVEL(0);
    x_sink* log = x_sink_stdout();
    x_sink_push_fa(log,"#p80'='{== #<sc_t>_selftest }\n", bnameof( ((tp_t)(TYPEOF_x_hmap_tp_test)) ) );
    
    sz_t cycles = 200000;
    
    x_hmap_tp_test_map_s* map    = ((x_hmap_tp_test_map_s*)BLM_LEVEL_T_PUSH(0,x_hmap_tp_test_map_s,x_hmap_tp_test_map_s_create()));
    x_hmap_tp_test_kv_arr_s* kv_arr = ((x_hmap_tp_test_kv_arr_s*)BLM_LEVEL_T_PUSH(0,x_hmap_tp_test_kv_arr_s,x_hmap_tp_test_kv_arr_s_create()));
    x_array_set_space(((x_array*)(kv_arr)),cycles );
    
    clock_t time = clock();
    x_sink_push_fa(log,"Mixed access: " );
    
    x_hmap_tp_test_val_s mval;BLM_T_INIT_SPUSH(x_hmap_tp_test_val_s, &mval);;
    
    {
        u3_t rval1 = 1;
        u3_t rval2 = 12345;
        for(sz_t i = 0; i < cycles; i++ )
        {
            rval1 = bcore_lcg00_u3( rval1 );
            rval2 = bcore_lcg00_u3( rval2 );
            x_hmap_tp_test_kv_s* kv = ((x_hmap_tp_test_kv_s*)(x_array_push(((x_array*)(kv_arr)))));
            kv->key = ( tp_t )rval1;
            kv->val = rval2;
            mval.val = kv->val;
            x_hmap_tp_set_c(((x_hmap_tp*)(map)),kv->key,((const x_inst*)(&( mval ))));
    
            // retrieve
            rval1 = bcore_lcg00_u3( rval1 );
            kv = (&(kv_arr->data[ rval1 % kv_arr->size ]));
    
            u3_t val = ((const x_hmap_tp_test_val_s*)(x_hmap_tp_c_get(((const x_hmap_tp*)(map)),kv->key )))->val;
            if( kv->val != val ) ERR_fa( "value mismatch (#<u3_t> vs #<u3_t>)", kv->val, val );
    
            // delete
            rval1 = bcore_lcg00_u3( rval1 );
            if( ( ( rval1 >> 10 ) & 1 ) == 1 )
            {
                rval1 = bcore_lcg00_u3( rval1 );
                sz_t idx = rval1 % kv_arr->size;
                const x_hmap_tp_test_kv_s* kv =&( kv_arr->data[ idx ]);
                if( !((const x_hmap_tp_test_val_s*)(x_hmap_tp_c_get(((const x_hmap_tp*)(map)),kv->key ))) ) ERR_fa( "key #<tp_t> not found", kv->key );
                x_hmap_tp_remove(((x_hmap_tp*)(map)),kv->key );
                if( ((const x_hmap_tp_test_val_s*)(x_hmap_tp_c_get(((const x_hmap_tp*)(map)),kv->key ))) )  ERR_fa( "deleted key #<tp_t> still exists", kv->key );
                kv_arr->data[ idx ] = kv_arr->data[ kv_arr->size - 1 ];
                x_array_set_size(((x_array*)(kv_arr)),kv_arr->size - 1 );
            }
        }
    }
    
    time = clock() - time;
    x_sink_push_fa(log,"#<f3_t>s\n", ( f3_t )time/CLOCKS_PER_SEC );
    x_sink_push_st_d(log,x_hmap_tp_test_map_s_create_st_status(map) );
    
    time = clock();
    const x_hmap_tp_test_map_s* map_cloned = ((x_hmap_tp_test_map_s*)BLM_LEVEL_T_PUSH(0,x_hmap_tp_test_map_s,x_hmap_tp_test_map_s_clone(map)));
    time = clock() - time;
    x_sink_push_fa(log,"Clone .......... #<f3_t>s\n", ( f3_t )time/CLOCKS_PER_SEC );
    
    time = clock();
    if( bcore_compare_aware( map, map_cloned ) != 0 )
    {
        ERR( "comparison failed:\n%s", bcore_diff_aware( map, map_cloned )->sc );
    }
    
    time = clock() - time;
    x_sink_push_fa(log,"Comparison ..... #<f3_t>s\n", ( f3_t )time/CLOCKS_PER_SEC );
    
    {BLM_INIT_LEVEL(1);
        time = clock();
        x_hmap_tp_test_map_s* map_trans = ((x_hmap_tp_test_map_s*)BLM_LEVEL_T_PUSH(1,x_hmap_tp_test_map_s,x_hmap_tp_test_map_s_create()));
        BLM_TRY_EXIT(x_stamp_set_sr(((x_stamp*)(map_trans)),btypeof( "map" ), x_stamp_c_get_sr(((x_stamp*)(map)),btypeof( "map" ) ) ))
        time = clock() - time;
        x_sink_push_fa(log,"Stamp-assign ... #<f3_t>s\n", ( f3_t )time/CLOCKS_PER_SEC );
        time = clock();
        sz_t map_size = x_hmap_tp_size(((const x_hmap_tp*)(map)));
        for(uz_t i = 0; i < map_size; i++ )
        {
            tp_t key = x_hmap_tp_idx_key(((const x_hmap_tp*)(map)),i );
            if( key != 0 )
            {
                ASSERT( x_hmap_tp_exists(((const x_hmap_tp*)(map_trans)),key ) );
                ASSERT( ((const x_hmap_tp_test_val_s*)(x_hmap_tp_c_get(((const x_hmap_tp*)(map)),key )))->val == ((const x_hmap_tp_test_val_s*)(x_hmap_tp_c_get(((const x_hmap_tp*)(map_trans)),key )))->val );
            }
        }
        time = clock() - time;
        x_sink_push_fa(log,"verify assign .. #<f3_t>s\n", ( f3_t )time/CLOCKS_PER_SEC );
    BLM_DOWN();}
    
    {BLM_INIT_LEVEL(1);
        time = clock();
        x_hmap_tp_test_map_s* map_trans = ((x_hmap_tp_test_map_s*)BLM_LEVEL_T_PUSH(1,x_hmap_tp_test_map_s,x_hmap_tp_test_map_s_create()));
        st_s* buf = st_s_create();
        x_bbml_to_sink(((const x_bbml*)(map)),((x_sink*)(buf )));
        BLM_TRY_EXIT(x_bbml_from_source(((x_bbml*)(map_trans)),((x_source*)BLM_LEVEL_A_PUSH(1,x_source_create_from_st_d(buf ))) ))
        time = clock() - time;
        x_sink_push_fa(log,"BBML Transfer .. #<f3_t>s\n", ( f3_t )time/CLOCKS_PER_SEC );
        time = clock();
        sz_t map_size = x_hmap_tp_size(((const x_hmap_tp*)(map)));
        for(uz_t i = 0; i < map_size; i++ )
        {
            tp_t key = x_hmap_tp_idx_key(((const x_hmap_tp*)(map)),i );
            if( key != 0 )
            {
                ASSERT( x_hmap_tp_exists(((const x_hmap_tp*)(map_trans)),key ) );
                ASSERT( ((const x_hmap_tp_test_val_s*)(x_hmap_tp_c_get(((const x_hmap_tp*)(map)),key )))->val == ((const x_hmap_tp_test_val_s*)(x_hmap_tp_c_get(((const x_hmap_tp*)(map_trans)),key )))->val );
            }
        }
        time = clock() - time;
        x_sink_push_fa(log,"verify transfer  #<f3_t>s\n", ( f3_t )time/CLOCKS_PER_SEC );
    BLM_DOWN();}
    
    time = clock();
    x_sink_push_fa(log,"\nRead-access of #<sz_t> keys: ", kv_arr->size );
    uz_t read_cycles = 20;
    for(uz_t j = 0; j < read_cycles; j++ )
    {
        for(uz_t i = 0; i < kv_arr->size; i++ )
        {
            u3_t val = ((const x_hmap_tp_test_val_s*)(x_hmap_tp_c_get(((const x_hmap_tp*)(map)),kv_arr->data[ i ].key )))->val;
            if( val != kv_arr->data[ i ].val ) ERR_fa( "value mismatch (#<u3_t> vs #<u3_t>)", val, kv_arr->data[ i ].val );
        }
    }
    time = clock() - time;
    x_sink_push_fa(log,"(#<f3_t> per access)\n", ( ( f3_t )time/CLOCKS_PER_SEC ) / ( kv_arr->size * read_cycles ) );
    
    x_sink_push_fa(log,"\n" );
    x_sink_push_fa(log,"Removal: " );
    time = clock();
    while( kv_arr->size )
    {
        const x_hmap_tp_test_kv_s* kv =&( kv_arr->data[ kv_arr->size - 1 ]);
        if( !((const x_hmap_tp_test_val_s*)(x_hmap_tp_c_get(((const x_hmap_tp*)(map)),kv->key ))) ) ERR_fa( "key #<tp_t> not found", kv->key );
        x_hmap_tp_remove(((x_hmap_tp*)(map)),kv->key );
        if( ((const x_hmap_tp_test_val_s*)(x_hmap_tp_c_get(((const x_hmap_tp*)(map)),kv->key ))) ) ERR_fa( "deleted key #<tp_t> still exists", kv->key );
        x_array_set_size(((x_array*)(kv_arr)),kv_arr->size - 1 );
    }
    time = clock() - time;
    x_sink_push_fa(log,"(#<f3_t>s)\n", ( f3_t )time/CLOCKS_PER_SEC );
    x_sink_push_st_d(log,x_hmap_tp_test_map_s_create_st_status(map) );
    x_sink_push_fa(log,"#r80{=}\n" );
    BLM_DOWN();
}

// Assembly:
pushq %rbp
pushq %r15
pushq %r14
pushq %r13
pushq %r12
pushq %rbx
subq $0xd8, %rsp
movabsq $-0x6834659aae9abc39, %r15 # imm = 0x97CB9A65516543C7
leaq 0xfb9f1(%rip), %rax     # 0x19bdd0
movq (%rax), %rsi
leaq 0xa8(%rsp), %rbx
movq %rbx, 0x40(%rsp)
movq %rbx, %rdi
callq 0xd6675
movq $0x0, 0x10(%rbx)
leaq 0xfb9e2(%rip), %rax     # 0x19bde8
movq (%rax), %r14
movabsq $-0x742a684e9742d474, %rdi # imm = 0x8BD597B168BD2B8C
callq 0xd6ec4
leaq 0x99431(%rip), %rsi     # 0x139850
movq %r14, 0x18(%rsp)
movq %r14, %rdi
movq %rax, %rdx
xorl %eax, %eax
callq 0x55790
callq 0xa00c2
movq %rbx, %rdi
xorl %esi, %esi
movq %r15, %rdx
movq %rax, %rcx
callq 0xd68a8
movq %rax, %r15
callq 0x9f80e
movabsq $-0x2dd2b458a7f76c66, %rdx # imm = 0xD22D4BA75808939A
movq %rbx, %rdi
xorl %esi, %esi
movq %rax, %rcx
callq 0xd68a8
movq %rax, %r12
movq (%rax), %rbx
leaq 0xfb9ae(%rip), %rdx     # 0x19be20
movl (%rdx), %eax
cltq
leaq (%rax,%rax,2), %rax
movq 0x20(%rdx,%rax,8), %rcx
movq 0x18(%rdx,%rax,8), %rdx
andq %rbx, %rdx
shlq $0x4, %rdx
leaq (%rcx,%rdx), %rax
movq (%rcx,%rdx), %rdx
movl $0x8, %ecx
cmpq %rbx, %rdx
je 0xa04c7
movq 0x10(%rax), %rdx
movl $0x18, %ecx
cmpq %rbx, %rdx
je 0xa04c7
movq 0x20(%rax), %rdx
movl $0x28, %ecx
cmpq %rbx, %rdx
je 0xa04c7
movq 0x30(%rax), %rdx
movl $0x38, %ecx
cmpq %rbx, %rdx
jne 0xa04d0
movq (%rax,%rcx), %r14
testq %r14, %r14
jne 0xa04f7
movabsq $-0x5073d588c3beb52e, %rdi # imm = 0xAF8C2A773C414AD2
movq %rbx, %rsi
callq 0xe9bc5
movq %rax, %r14
leaq 0xfb934(%rip), %rdi     # 0x19be20
movq %rbx, %rsi
movq %rax, %rdx
callq 0x115fac
movabsq $0x1c140000000001cd, %r13 # imm = 0x1C140000000001CD
movl $0x30d40, %ebx          # imm = 0x30D40
movl $0x30d40, %edx          # imm = 0x30D40
movq %r14, %rdi
movq %r12, %rsi
callq 0xebeb6
callq 0xd340
movq %rax, 0x48(%rsp)
leaq 0x99348(%rip), %rsi     # 0x13986f
movq 0x18(%rsp), %rdi
xorl %eax, %eax
callq 0x55790
leaq 0x50(%rsp), %r14
movq %r14, %rdi
callq 0x9fa35
leaq 0xa8(%rsp), %rdi
movabsq $0x33f73e3560adac2, %rsi # imm = 0x33F73E3560ADAC2
movq %r14, %rdx
callq 0xd68d9
movl $0x3039, %r14d          # imm = 0x3039
movl $0x1, %ebp
movq %r15, 0x28(%rsp)
movq %rbx, 0x20(%rsp)
imulq %r13, %rbp
incq %rbp
imulq %r13, %r14
incq %r14
movq (%r12), %rsi
movq %r12, %rdi
callq 0x55f9e
movq %rbp, (%rax)
movq %r14, 0x8(%rax)
movq %r14, 0x30(%rsp)
movq %r14, 0x58(%rsp)
movq %r15, %rdi
callq 0x9ee42
leaq 0x8(%rax), %rdi
movq %rbp, %rsi
leaq 0x50(%rsp), %rdx
callq 0xcc7dc
imulq %r13, %rbp
incq %rbp
movq %r15, %rdi
movq 0x8(%r12), %r15
movq %rbp, %rax
xorl %edx, %edx
divq 0x10(%r12)
movq %rdx, %rbx
shlq $0x4, %rbx
movq (%r15,%rbx), %r14
callq 0x9ef36
leaq 0x8(%rax), %rdi
movq %r14, %rsi
callq 0xcc468
movq (%rax), %rax
movq 0x8(%rax), %r9
movq 0x8(%r15,%rbx), %r8
cmpq %r9, %r8
je 0xa061a
leaq 0x9927e(%rip), %rdi     # 0x13987e
leaq 0x96d27(%rip), %rsi     # 0x13732e
movl $0x240d, %edx           # imm = 0x240D
leaq 0x99283(%rip), %rcx     # 0x139896
xorl %eax, %eax
callq 0xbe6f9
imulq %r13, %rbp
incq %rbp
btl $0xa, %ebp
jb 0xa0631
movq 0x28(%rsp), %r15
jmp 0xa07c6
imulq %r13, %rbp
incq %rbp
movq %rbp, %rax
xorl %edx, %edx
divq 0x10(%r12)
movq %rdx, %rbx
movq 0x8(%r12), %r13
shlq $0x4, %rbx
movq (%r13,%rbx), %r14
addq %rbx, %r13
movq 0x28(%rsp), %r15
movq %r15, %rdi
callq 0x9ef36
leaq 0x8(%rax), %rdi
movq %r14, %rsi
callq 0xcc468
testq %rax, %rax
je 0xa067a
cmpq $0x0, (%rax)
jne 0xa069f
movq (%r13), %r8
leaq 0x991f9(%rip), %rdi     # 0x13987e
leaq 0x96ca2(%rip), %rsi     # 0x13732e
movl $0x2416, %edx           # imm = 0x2416
leaq 0x99222(%rip), %rcx     # 0x1398ba
xorl %eax, %eax
callq 0xbe6f9
movq (%r13), %r14
movq %r15, %rdi
callq 0x9ee42
leaq 0x8(%rax), %rdi
movq %r14, %rsi
callq 0xcc8af
movq (%r13), %r14
movq %r15, %rdi
callq 0x9ef36
leaq 0x8(%rax), %rdi
movq %r14, %rsi
callq 0xcc468
testq %rax, %rax
je 0xa06ff
cmpq $0x0, (%rax)
je 0xa06ff
movq (%r13), %r8
leaq 0x99199(%rip), %rdi     # 0x13987e
leaq 0x96c42(%rip), %rsi     # 0x13732e
movl $0x2418, %edx           # imm = 0x2418
leaq 0x991d8(%rip), %rcx     # 0x1398d0
xorl %eax, %eax
callq 0xbe6f9
movq 0x8(%r12), %rax
movq 0x10(%r12), %rcx
shlq $0x4, %rcx
movups -0x10(%rax,%rcx), %xmm0
movups %xmm0, (%rax,%rbx)
movq (%r12), %r13
movq 0x10(%r12), %rbx
leaq 0xfb6fa(%rip), %rdx     # 0x19be20
movl (%rdx), %eax
cltq
leaq (%rax,%rax,2), %rax
movq 0x20(%rdx,%rax,8), %rcx
movq 0x18(%rdx,%rax,8), %rdx
andq %r13, %rdx
shlq $0x4, %rdx
leaq (%rcx,%rdx), %rax
movq (%rcx,%rdx), %rdx
movl $0x8, %ecx
cmpq %r13, %rdx
je 0xa077b
movq 0x10(%rax), %rdx
movl $0x18, %ecx
cmpq %r13, %rdx
je 0xa077b
movq 0x20(%rax), %rdx
movl $0x28, %ecx
cmpq %r13, %rdx
je 0xa077b
movq 0x30(%rax), %rdx
movl $0x38, %ecx
cmpq %r13, %rdx
jne 0xa0784
movq (%rax,%rcx), %r14
testq %r14, %r14
jne 0xa07ab
movabsq $-0x5073d588c3beb52e, %rdi # imm = 0xAF8C2A773C414AD2
movq %r13, %rsi
callq 0xe9bc5
movq %rax, %r14
leaq 0xfb680(%rip), %rdi     # 0x19be20
movq %r13, %rsi
movq %rax, %rdx
callq 0x115fac
decq %rbx
movq %r14, %rdi
movq %r12, %rsi
movq %rbx, %rdx
callq 0xec548
movabsq $0x1c140000000001cd, %r13 # imm = 0x1C140000000001CD
movq 0x20(%rsp), %rbx
movq 0x30(%rsp), %r14
decq %rbx
jne 0xa056a
callq 0xd340
subq 0x48(%rsp), %rax
xorps %xmm0, %xmm0
cvtsi2sd %rax, %xmm0
divsd 0x8c87d(%rip), %xmm0    # 0x12d070
leaq 0x99291(%rip), %rsi     # 0x139a8b
movq 0x18(%rsp), %r14
movq %r14, %rdi
movb $0x1, %al
callq 0x55790
movq %r15, %rdi
callq 0xa02e9
movq %rax, %rbx
movq (%r14), %r14
leaq 0xfc292(%rip), %rdx     # 0x19cab0
movl (%rdx), %eax
cltq
leaq (%rax,%rax,2), %rax
movq 0x20(%rdx,%rax,8), %rcx
movq 0x18(%rdx,%rax,8), %rdx
andq %r14, %rdx
shlq $0x4, %rdx
leaq (%rcx,%rdx), %rax
movq (%rcx,%rdx), %rdx
movl $0x8, %ecx
cmpq %r14, %rdx
je 0xa0873
movq 0x10(%rax), %rdx
movl $0x18, %ecx
cmpq %r14, %rdx
je 0xa0873
movq 0x20(%rax), %rdx
movl $0x28, %ecx
cmpq %r14, %rdx
je 0xa0873
movq 0x30(%rax), %rdx
movl $0x38, %ecx
cmpq %r14, %rdx
jne 0xa087c
movq (%rax,%rcx), %r13
testq %r13, %r13
jne 0xa08a3
movabsq $0x5ea8cabb93ff3b7e, %rdi # imm = 0x5EA8CABB93FF3B7E
movq %r14, %rsi
callq 0xe9bc5
movq %rax, %r13
leaq 0xfc218(%rip), %rdi     # 0x19cab0
movq %r14, %rsi
movq %rax, %rdx
callq 0x115fac
movq %r13, %rdi
movq 0x18(%rsp), %r15
movq %r15, %rsi
movq %rbx, %rdx
callq 0xfe558
callq 0xd340
movq %rax, %r14
movq 0x28(%rsp), %r13
movq %r13, %rdi
callq 0xa022a
leaq 0xa8(%rsp), %rdi
xorl %esi, %esi
movabsq $-0x6834659aae9abc39, %rdx # imm = 0x97CB9A65516543C7
movq %rax, %rcx
callq 0xd68a8
movq %rax, %rbx
callq 0xd340
subq %r14, %rax
xorps %xmm0, %xmm0
cvtsi2sd %rax, %xmm0
divsd 0x8c76e(%rip), %xmm0    # 0x12d070
leaq 0x98fe8(%rip), %rsi     # 0x1398f1
movq %r15, %rdi
movq %r13, %r15
movb $0x1, %al
callq 0x55790
callq 0xd340
movq %rax, %r14
movq %r13, %rdi
movq %rbx, %rsi
callq 0xf431d
testl %eax, %eax
je 0xa095d
movq %r15, %rdi
movq %rbx, %rsi
callq 0xf4ddb
movq 0x8(%rax), %r8
leaq 0x98f3b(%rip), %rdi     # 0x13987e
leaq 0x969e4(%rip), %rsi     # 0x13732e
leaq 0x98fbb(%rip), %rcx     # 0x13990c
movl $0x242b, %edx           # imm = 0x242B
xorl %eax, %eax
callq 0xbe592
movabsq $0x80f5919176d2d91, %rbx # imm = 0x80F5919176D2D91
callq 0xd340
subq %r14, %rax
xorps %xmm0, %xmm0
cvtsi2sd %rax, %xmm0
divsd 0x8c6f1(%rip), %xmm0    # 0x12d070
leaq 0x98f9c(%rip), %rsi     # 0x139922
movq 0x18(%rsp), %rdi
movb $0x1, %al
callq 0x55790
movq 0x40(%rsp), %rsi
leaq 0x78(%rsp), %rdi
movq %rdi, 0x38(%rsp)
movq %rsi, 0x20(%rsp)
callq 0xd6675
movq 0x38(%rsp), %r13
movq $0x1, 0x10(%r13)
callq 0xd340
movq %rax, %r14
callq 0xa00c2
movl $0x1, %esi
movq %r13, %rdi
movabsq $-0x6834659aae9abc39, %rdx # imm = 0x97CB9A65516543C7
movq %rax, %rcx
callq 0xd68a8
movq %rax, %r13
movq (%r15), %rdx
leaq 0x60(%rsp), %rbp
movq %rbp, %rdi
movq %r15, %rsi
movq %rbx, %rcx
callq 0x584a7
movq 0x10(%rbp), %rax
testb $0x2, %al
jne 0xa0a09
orq $0x1, %rax
movq %rax, 0x70(%rsp)
movq (%r13), %rsi
movq 0x70(%rsp), %rax
movq %rax, 0x10(%rsp)
movups 0x60(%rsp), %xmm0
movups %xmm0, (%rsp)
movq %r13, %rdi
movq %rbx, %rdx
callq 0x58665
testq %rax, %rax
je 0xa0a44
movq %rax, %rbx
movq 0x38(%rsp), %rdi
callq 0xd6d2c
movl %ebx, %edi
callq 0x54258
callq 0xd340
subq %r14, %rax
xorps %xmm0, %xmm0
cvtsi2sd %rax, %xmm0
divsd 0x8c614(%rip), %xmm0    # 0x12d070
leaq 0x98eda(%rip), %rsi     # 0x13993d
movq 0x18(%rsp), %rdi
movb $0x1, %al
callq 0x55790
callq 0xd340
movq %rax, 0x30(%rsp)
movq %r15, %rdi
callq 0x9ef36
leaq 0x8(%rax), %rdi
callq 0xccb0a
testq %rax, %rax
je 0xa0b6b
movq %rax, %r14
xorl %ebp, %ebp
movq %r15, %rdi
callq 0x9ef36
leaq 0x8(%rax), %rdi
movq %rbp, %rsi
callq 0xccb0f
testq %rax, %rax
je 0xa0b5f
movq %rax, %rbx
movq %r13, %rdi
callq 0x9ef36
leaq 0x8(%rax), %rdi
movq %rbx, %rsi
callq 0xcc99f
testb %al, %al
jne 0xa0af9
leaq 0x8cb70(%rip), %rdi     # 0x12d647
leaq 0x98e7a(%rip), %rsi     # 0x139958
leaq 0x98d99(%rip), %rdx     # 0x13987e
leaq 0x96842(%rip), %rcx     # 0x13732e
movl $0x243e, %r8d           # imm = 0x243E
xorl %eax, %eax
callq 0xbe4ef
movq %r15, %rdi
callq 0x9ef36
leaq 0x8(%rax), %rdi
movq %rbx, %rsi
callq 0xcc468
movq (%rax), %rax
movq 0x8(%rax), %r15
movq %r13, %rdi
callq 0x9ef36
leaq 0x8(%rax), %rdi
movq %rbx, %rsi
callq 0xcc468
movq (%rax), %rax
cmpq 0x8(%rax), %r15
movq 0x28(%rsp), %r15
je 0xa0b5f
leaq 0x8cb0a(%rip), %rdi     # 0x12d647
leaq 0x98e4b(%rip), %rsi     # 0x13998f
leaq 0x98d33(%rip), %rdx     # 0x13987e
leaq 0x967dc(%rip), %rcx     # 0x13732e
movl $0x243f, %r8d           # imm = 0x243F
xorl %eax, %eax
callq 0xbe4ef
incq %rbp
cmpq %rbp, %r14
jne 0xa0a98
callq 0xd340
subq 0x30(%rsp), %rax
xorps %xmm0, %xmm0
cvtsi2sd %rax, %xmm0
divsd 0x8c4eb(%rip), %xmm0    # 0x12d070
leaq 0x98eb8(%rip), %rsi     # 0x139a44
movq 0x18(%rsp), %rdi
movb $0x1, %al
callq 0x55790
leaq 0x38(%rsp), %rbx
movq %rbx, %rdi
callq 0xd6d0d
leaq 0x78(%rsp), %rbp
movq %rbp, (%rbx)
movq %rbp, %rdi
movq 0x20(%rsp), %rsi
callq 0xd6675
movq $0x1, 0x88(%rsp)
callq 0xd340
movq %rax, %r14
callq 0xa00c2
movl $0x1, %esi
movq %rbp, %rdi
movabsq $-0x6834659aae9abc39, %rdx # imm = 0x97CB9A65516543C7
movq %rax, %rcx
callq 0xd68a8
movq %rax, %rbx
xorl %eax, %eax
callq 0x109c82
movq %rax, %r13
movq (%r15), %rsi
movq %r15, %rdi
xorl %edx, %edx
movl $0x1, %ecx
movq %rax, %r8
callq 0x7467f
movq %r13, %rdi
callq 0xe4679
movl $0x1, %esi
movq %rbp, %rdi
movq %rax, %rdx
callq 0xd6b17
movq (%rbx), %rsi
movq %rbx, %rdi
movq %rax, %rdx
callq 0x73ff3
testq %rax, %rax
je 0xa0c4f
movq %rax, %r13
leaq 0x78(%rsp), %rdi
callq 0xd6d2c
movl %r13d, %edi
callq 0x54258
callq 0xd340
subq %r14, %rax
xorps %xmm0, %xmm0
cvtsi2sd %rax, %xmm0
divsd 0x8c409(%rip), %xmm0    # 0x12d070
leaq 0x98df1(%rip), %rsi     # 0x139a5f
movq 0x18(%rsp), %rdi
movb $0x1, %al
callq 0x55790
callq 0xd340
movq %rax, 0x20(%rsp)
movq %r15, %rdi
callq 0x9ef36
leaq 0x8(%rax), %rdi
callq 0xccb0a
testq %rax, %rax
je 0xa0d77
movq %rax, %r13
xorl %r14d, %r14d
movq %r15, %rdi
callq 0x9ef36
leaq 0x8(%rax), %rdi
movq %r14, %rsi
callq 0xccb0f
testq %rax, %rax
je 0xa0d6b
movq %rax, %rbp
movq %rbx, %rdi
callq 0x9ef36
leaq 0x8(%rax), %rdi
movq %rbp, %rsi
callq 0xcc99f
testb %al, %al
jne 0xa0d05
leaq 0x8c964(%rip), %rdi     # 0x12d647
leaq 0x98c6e(%rip), %rsi     # 0x139958
leaq 0x98b8d(%rip), %rdx     # 0x13987e
leaq 0x96636(%rip), %rcx     # 0x13732e
movl $0x2455, %r8d           # imm = 0x2455
xorl %eax, %eax
callq 0xbe4ef
movq %r15, %rdi
callq 0x9ef36
leaq 0x8(%rax), %rdi
movq %rbp, %rsi
callq 0xcc468
movq (%rax), %rax
movq 0x8(%rax), %r15
movq %rbx, %rdi
callq 0x9ef36
leaq 0x8(%rax), %rdi
movq %rbp, %rsi
callq 0xcc468
movq (%rax), %rax
cmpq 0x8(%rax), %r15
movq 0x28(%rsp), %r15
je 0xa0d6b
leaq 0x8c8fe(%rip), %rdi     # 0x12d647
leaq 0x98c3f(%rip), %rsi     # 0x13998f
leaq 0x98b27(%rip), %rdx     # 0x13987e
leaq 0x965d0(%rip), %rcx     # 0x13732e
movl $0x2456, %r8d           # imm = 0x2456
xorl %eax, %eax
callq 0xbe4ef
incq %r14
cmpq %r14, %r13
jne 0xa0ca4
callq 0xd340
subq 0x20(%rsp), %rax
xorps %xmm0, %xmm0
cvtsi2sd %rax, %xmm0
divsd 0x8c2df(%rip), %xmm0    # 0x12d070
leaq 0x98ce2(%rip), %rsi     # 0x139a7a
movq 0x18(%rsp), %rbx
movq %rbx, %rdi
movb $0x1, %al
callq 0x55790
leaq 0x38(%rsp), %rdi
callq 0xd6d0d
callq 0xd340
movq %rax, 0x20(%rsp)
movq 0x10(%r12), %rdx
leaq 0x98cce(%rip), %rsi     # 0x139a95
movq %rbx, %rdi
xorl %eax, %eax
callq 0x55790
movq 0x10(%r12), %rax
leaq 0x98ab9(%rip), %rbp     # 0x139896
xorl %r15d, %r15d
testq %rax, %rax
je 0xa0e50
xorl %r14d, %r14d
xorl %r13d, %r13d
movq 0x8(%r12), %rax
movq (%rax,%r14), %rbx
movq 0x28(%rsp), %rdi
callq 0x9ef36
leaq 0x8(%rax), %rdi
movq %rbx, %rsi
callq 0xcc468
movq (%rax), %rax
movq 0x8(%rax), %r8
movq 0x8(%r12), %rax
movq 0x8(%rax,%r14), %r9
cmpq %r9, %r8
je 0xa0e3d
leaq 0x98a57(%rip), %rdi     # 0x13987e
leaq 0x96500(%rip), %rsi     # 0x13732e
movl $0x2465, %edx           # imm = 0x2465
movq %rbp, %rcx
xorl %eax, %eax
callq 0xbe6f9
incq %r13
movq 0x10(%r12), %rax
addq $0x10, %r14
cmpq %rax, %r13
jb 0xa0deb
jmp 0xa0e52
xorl %eax, %eax
incq %r15
cmpq $0x14, %r15
jne 0xa0de0
callq 0xd340
subq 0x20(%rsp), %rax
xorps %xmm0, %xmm0
cvtsi2sd %rax, %xmm0
divsd 0x8c1fb(%rip), %xmm0    # 0x12d070
movq 0x10(%r12), %rax
shlq $0x2, %rax
leaq (%rax,%rax,4), %rax
movq %rax, %xmm1
punpckldq 0x96451(%rip), %xmm1 # xmm1 = xmm1[0],mem[0],xmm1[1],mem[1]
subpd 0x96459(%rip), %xmm1    # 0x1372f0
movapd %xmm1, %xmm2
unpckhpd %xmm1, %xmm2            # xmm2 = xmm2[1],xmm1[1]
addsd %xmm1, %xmm2
divsd %xmm2, %xmm0
leaq 0x98c06(%rip), %rsi     # 0x139ab4
movq 0x18(%rsp), %rbx
movq %rbx, %rdi
movb $0x1, %al
callq 0x55790
leaq 0xa7850(%rip), %rsi     # 0x148714
movq %rbx, %rdi
xorl %eax, %eax
callq 0x55790
leaq 0x98bf5(%rip), %rsi     # 0x139aca
movq %rbx, %rdi
xorl %eax, %eax
callq 0x55790
callq 0xd340
movq %rax, 0x20(%rsp)
movq 0x10(%r12), %rax
testq %rax, %rax
movq 0x28(%rsp), %r15
je 0xa1065
leaq 0x9642b(%rip), %r13     # 0x13732e
movq 0x8(%r12), %rcx
shlq $0x4, %rax
leaq (%rcx,%rax), %r14
movq -0x10(%rcx,%rax), %rbx
movq %r15, %rdi
callq 0x9ef36
leaq 0x8(%rax), %rdi
movq %rbx, %rsi
callq 0xcc468
testq %rax, %rax
je 0xa0f34
cmpq $0x0, (%rax)
jne 0xa0f55
movq -0x10(%r14), %r8
leaq 0x9893f(%rip), %rdi     # 0x13987e
movq %r13, %rsi
movl $0x2471, %edx           # imm = 0x2471
leaq 0x9896c(%rip), %rcx     # 0x1398ba
xorl %eax, %eax
callq 0xbe6f9
movq -0x10(%r14), %rbx
movq %r15, %rdi
callq 0x9ee42
leaq 0x8(%rax), %rdi
movq %rbx, %rsi
callq 0xcc8af
movq -0x10(%r14), %rbx
movq %r15, %rdi
callq 0x9ef36
leaq 0x8(%rax), %rdi
movq %rbx, %rsi
callq 0xcc468
testq %rax, %rax
je 0xa0fb1
cmpq $0x0, (%rax)
je 0xa0fb1
movq -0x10(%r14), %r8
leaq 0x988e3(%rip), %rdi     # 0x13987e
movq %r13, %rsi
movl $0x2473, %edx           # imm = 0x2473
leaq 0x98926(%rip), %rcx     # 0x1398d0
xorl %eax, %eax
callq 0xbe6f9
movq (%r12), %rbp
movq 0x10(%r12), %rbx
leaq 0xfae5f(%rip), %rdx     # 0x19be20
movl (%rdx), %eax
cltq
leaq (%rax,%rax,2), %rax
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 0xa1016
movq 0x10(%rax), %rdx
movl $0x18, %ecx
cmpq %rbp, %rdx
je 0xa1016
movq 0x20(%rax), %rdx
movl $0x28, %ecx
cmpq %rbp, %rdx
je 0xa1016
movq 0x30(%rax), %rdx
movl $0x38, %ecx
cmpq %rbp, %rdx
jne 0xa101f
movq (%rax,%rcx), %r14
testq %r14, %r14
jne 0xa1046
movabsq $-0x5073d588c3beb52e, %rdi # imm = 0xAF8C2A773C414AD2
movq %rbp, %rsi
callq 0xe9bc5
movq %rax, %r14
leaq 0xfade5(%rip), %rdi     # 0x19be20
movq %rbp, %rsi
movq %rax, %rdx
callq 0x115fac
decq %rbx
movq %r14, %rdi
movq %r12, %rsi
movq %rbx, %rdx
callq 0xec548
movq 0x10(%r12), %rax
testq %rax, %rax
jne 0xa0f03
callq 0xd340
subq 0x20(%rsp), %rax
xorps %xmm0, %xmm0
cvtsi2sd %rax, %xmm0
divsd 0x8bff1(%rip), %xmm0    # 0x12d070
leaq 0x98a4e(%rip), %rsi     # 0x139ad4
movq 0x18(%rsp), %r14
movq %r14, %rdi
movb $0x1, %al
callq 0x55790
movq %r15, %rdi
callq 0xa02e9
movq %rax, %rbx
movq (%r14), %r14
leaq 0xfba06(%rip), %rdx     # 0x19cab0
movl (%rdx), %eax
cltq
leaq (%rax,%rax,2), %rax
movq 0x20(%rdx,%rax,8), %rcx
movq 0x18(%rdx,%rax,8), %rdx
andq %r14, %rdx
shlq $0x4, %rdx
leaq (%rcx,%rdx), %rax
movq (%rcx,%rdx), %rdx
movl $0x8, %ecx
cmpq %r14, %rdx
je 0xa10ff
movq 0x10(%rax), %rdx
movl $0x18, %ecx
cmpq %r14, %rdx
je 0xa10ff
movq 0x20(%rax), %rdx
movl $0x28, %ecx
cmpq %r14, %rdx
je 0xa10ff
movq 0x30(%rax), %rdx
movl $0x38, %ecx
cmpq %r14, %rdx
jne 0xa1108
movq (%rax,%rcx), %r15
testq %r15, %r15
jne 0xa112f
movabsq $0x5ea8cabb93ff3b7e, %rdi # imm = 0x5EA8CABB93FF3B7E
movq %r14, %rsi
callq 0xe9bc5
movq %rax, %r15
leaq 0xfb98c(%rip), %rdi     # 0x19cab0
movq %r14, %rsi
movq %rax, %rdx
callq 0x115fac
movq %r15, %rdi
movq 0x18(%rsp), %r14
movq %r14, %rsi
movq %rbx, %rdx
callq 0xfe558
leaq 0x98997(%rip), %rsi     # 0x139ae0
movq %r14, %rdi
xorl %eax, %eax
callq 0x55790
leaq 0x40(%rsp), %rdi
callq 0xd6d0d
addq $0xd8, %rsp
popq %rbx
popq %r12
popq %r13
popq %r14
popq %r15
popq %rbp
retq