// File: /workspace/github_c_makefile_star2_O1/johsteffens[P]beth/lib/bcore/bcore_sr.c
// Function: sr_s_to_f3
f3_t sr_s_to_f3( const sr_s* o )
{
    f3_t v = 0;
    if( !o->o ) return v;
    switch( sr_s_type( o ) )
    {
        case TYPEOF_u0_t: v = *( u0_t* )o->o; break;
        case TYPEOF_u1_t: v = *( u1_t* )o->o; break;
        case TYPEOF_u2_t: v = *( u2_t* )o->o; break;
        case TYPEOF_u3_t: v = *( u3_t* )o->o; break;
        case TYPEOF_s0_t: v = *( s0_t* )o->o; break;
        case TYPEOF_s1_t: v = *( s1_t* )o->o; break;
        case TYPEOF_s2_t: v = *( s2_t* )o->o; break;
        case TYPEOF_s3_t: v = *( s3_t* )o->o; break;
        case TYPEOF_f2_t: v = *( f2_t* )o->o; break;
        case TYPEOF_f3_t: v = *( f3_t* )o->o; break;

        case TYPEOF_uz_t: v = *( uz_t* )o->o; break;
        case TYPEOF_sz_t: v = *( sz_t* )o->o; break;

        case TYPEOF_bl_t: v = *( bl_t* )o->o; break;
        case TYPEOF_tp_t: v = *( tp_t* )o->o; break;
        case TYPEOF_aware_t: v = *( aware_t* )o->o; break;
        default: ERR_fa( "Cannot convert '#<sc_t>' to f3_t.", ifnameof( sr_s_type( o ) ) );
    }
    return v;
}

// Assembly:
movq (%rdi), %rax
xorps %xmm0, %xmm0
testq %rax, %rax
je 0x1135dc
movq 0x8(%rdi), %rcx
testq %rcx, %rcx
je 0x1133ca
movq 0x8(%rcx), %rcx
jmp 0x1133cc
xorl %ecx, %ecx
movabsq $-0x3f1363e6d8155aee, %rdx # imm = 0xC0EC9C1927EAA512
cmpq %rdx, %rcx
jle 0x11341c
movabsq $0x585a3b17ca3de1ff, %rdx # imm = 0x585A3B17CA3DE1FF
cmpq %rdx, %rcx
jg 0x113460
movabsq $-0x388c46b188de83ff, %rdx # imm = 0xC773B94E77217C01
cmpq %rdx, %rcx
jg 0x113500
movabsq $-0x3f1363e6d8155aed, %rdx # imm = 0xC0EC9C1927EAA513
cmpq %rdx, %rcx
je 0x113564
movabsq $-0x3ac242643d9c35a8, %rdx # imm = 0xC53DBD9BC263CA58
jmp 0x113490
movabsq $-0x5fc2af85f419929c, %rdx # imm = 0xA03D507A0BE66D64
cmpq %rdx, %rcx
jle 0x1134a1
movabsq $-0x58737885f0577327, %rdx # imm = 0xA78C877A0FA88CD9
cmpq %rdx, %rcx
jg 0x1134e5
movabsq $-0x5fc2af85f419929b, %rdx # imm = 0xA03D507A0BE66D65
cmpq %rdx, %rcx
je 0x11356d
movabsq $-0x5aa4411ac4e2880e, %rdx # imm = 0xA55BBEE53B1D77F2
jmp 0x11353f
movabsq $0x69849117d3eb7d61, %rdx # imm = 0x69849117D3EB7D61
cmpq %rdx, %rcx
jg 0x113526
movabsq $0x585a3b17ca3de200, %rdx # imm = 0x585A3B17CA3DE200
cmpq %rdx, %rcx
je 0x113564
movabsq $0x62367a17d02b474d, %rdx # imm = 0x62367A17D02B474D
cmpq %rdx, %rcx
jne 0x11358f
movsbl (%rax), %eax
jmp 0x113587
movabsq $-0x73f6ae1ad309fd45, %rdx # imm = 0x8C0951E52CF602BB
cmpq %rdx, %rcx
je 0x113584
movabsq $-0x6bce971ace902370, %rdx # imm = 0x943168E5316FDC90
cmpq %rdx, %rcx
je 0x11357a
movabsq $-0x6119581ac7eacd63, %rdx # imm = 0x9EE6A7E53815329D
cmpq %rdx, %rcx
jne 0x11358f
movl (%rax), %eax
xorps %xmm0, %xmm0
cvtsi2sd %rax, %xmm0
retq
movabsq $-0x58737885f0577326, %rdx # imm = 0xA78C877A0FA88CDA
cmpq %rdx, %rcx
je 0x113572
movabsq $-0x4882601bdca6aefb, %rdx # imm = 0xB77D9FE423595105
jmp 0x11353f
movabsq $-0x388c46b188de83fe, %rdx # imm = 0xC773B94E77217C02
cmpq %rdx, %rcx
je 0x113544
movabsq $0x510c2417c67dabeb, %rdx # imm = 0x510C2417C67DABEB
cmpq %rdx, %rcx
jne 0x11358f
xorps %xmm0, %xmm0
cvtsi2sdl (%rax), %xmm0
retq
movabsq $0x69849117d3eb7d62, %rdx # imm = 0x69849117D3EB7D62
cmpq %rdx, %rcx
je 0x11357f
movabsq $0x6d07f9ef5b68e8a2, %rdx # imm = 0x6D07F9EF5B68E8A2
cmpq %rdx, %rcx
jne 0x11358f
movsd (%rax), %xmm1
unpcklps 0x2ed41(%rip), %xmm1    # xmm1 = xmm1[0],mem[0],xmm1[1],mem[1]
subpd 0x2ed49(%rip), %xmm1    # 0x1422a0
movapd %xmm1, %xmm0
unpckhpd %xmm1, %xmm0            # xmm0 = xmm0[1],xmm1[1]
addsd %xmm1, %xmm0
retq
xorps %xmm0, %xmm0
cvtsi2sdq (%rax), %xmm0
retq
movsd (%rax), %xmm0
retq
xorps %xmm0, %xmm0
cvtss2sd (%rax), %xmm0
retq
movzwl (%rax), %eax
jmp 0x113587
movswl (%rax), %eax
jmp 0x113587
movzbl (%rax), %eax
xorps %xmm0, %xmm0
cvtsi2sd %eax, %xmm0
retq
movq 0x8(%rdi), %rax
testq %rax, %rax
je 0x11359e
movq 0x8(%rax), %rdi
jmp 0x1135a0
xorl %edi, %edi
pushq %rax
callq 0xe0cbc
testq %rax, %rax
leaq 0x4013f(%rip), %r8      # 0x1536ef
cmovneq %rax, %r8
leaq 0x437f4(%rip), %rdi     # 0x156daf
leaq 0x437f8(%rip), %rsi     # 0x156dba
leaq 0x437fc(%rip), %rcx     # 0x156dc5
movl $0xf3, %edx
xorl %eax, %eax
callq 0xc825d
xorps %xmm0, %xmm0
addq $0x8, %rsp
retq