// File: /workspace/github_c_makefile_star2_O0/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:
pushq %rbp
movq %rsp, %rbp
subq $0x20, %rsp
movq %rdi, -0x10(%rbp)
xorps %xmm0, %xmm0
movsd %xmm0, -0x18(%rbp)
movq -0x10(%rbp), %rax
cmpq $0x0, (%rax)
jne 0xfc6ad
movsd -0x18(%rbp), %xmm0
movsd %xmm0, -0x8(%rbp)
jmp 0xfca4b
movq -0x10(%rbp), %rdi
callq 0xfb800
movq %rax, %rcx
movq %rcx, -0x20(%rbp)
movabsq $-0x73f6ae1ad309fd45, %rcx # imm = 0x8C0951E52CF602BB
subq %rcx, %rax
je 0xfc833
jmp 0xfc6d2
movq -0x20(%rbp), %rax
movabsq $-0x6bce971ace902370, %rcx # imm = 0x943168E5316FDC90
subq %rcx, %rax
je 0xfc84b
jmp 0xfc6eb
movq -0x20(%rbp), %rax
movabsq $-0x6119581ac7eacd63, %rcx # imm = 0x9EE6A7E53815329D
subq %rcx, %rax
je 0xfc863
jmp 0xfc704
movq -0x20(%rbp), %rax
movabsq $-0x5fc2af85f419929b, %rcx # imm = 0xA03D507A0BE66D65
subq %rcx, %rax
je 0xfc926
jmp 0xfc71d
movq -0x20(%rbp), %rax
movabsq $-0x5aa4411ac4e2880e, %rcx # imm = 0xA55BBEE53B1D77F2
subq %rcx, %rax
je 0xfc87b
jmp 0xfc736
movq -0x20(%rbp), %rax
movabsq $-0x58737885f0577326, %rcx # imm = 0xA78C877A0FA88CDA
subq %rcx, %rax
je 0xfc90d
jmp 0xfc74f
movq -0x20(%rbp), %rax
movabsq $-0x4882601bdca6aefb, %rcx # imm = 0xB77D9FE423595105
subq %rcx, %rax
je 0xfc93b
jmp 0xfc768
movq -0x20(%rbp), %rax
movabsq $-0x3f1363e6d8155aed, %rcx # imm = 0xC0EC9C1927EAA513
subq %rcx, %rax
je 0xfc972
jmp 0xfc781
movq -0x20(%rbp), %rax
movabsq $-0x3ac242643d9c35a8, %rcx # imm = 0xC53DBD9BC263CA58
subq %rcx, %rax
je 0xfc988
jmp 0xfc79a
movq -0x20(%rbp), %rax
movabsq $-0x388c46b188de83fe, %rcx # imm = 0xC773B94E77217C02
subq %rcx, %rax
je 0xfc9d8
jmp 0xfc7b3
movq -0x20(%rbp), %rax
movabsq $0x510c2417c67dabeb, %rcx # imm = 0x510C2417C67DABEB
subq %rcx, %rax
je 0xfc8e2
jmp 0xfc7cc
movq -0x20(%rbp), %rax
movabsq $0x585a3b17ca3de200, %rcx # imm = 0x585A3B17CA3DE200
subq %rcx, %rax
je 0xfc8f7
jmp 0xfc7e5
movq -0x20(%rbp), %rax
movabsq $0x62367a17d02b474d, %rcx # imm = 0x62367A17D02B474D
subq %rcx, %rax
je 0xfc8b2
jmp 0xfc7fe
movq -0x20(%rbp), %rax
movabsq $0x69849117d3eb7d62, %rcx # imm = 0x69849117D3EB7D62
subq %rcx, %rax
je 0xfc8ca
jmp 0xfc817
movq -0x20(%rbp), %rax
movabsq $0x6d07f9ef5b68e8a2, %rcx # imm = 0x6D07F9EF5B68E8A2
subq %rcx, %rax
je 0xfc9a4
jmp 0xfca0c
movq -0x10(%rbp), %rax
movq (%rax), %rax
movzbl (%rax), %eax
cvtsi2sd %eax, %xmm0
movsd %xmm0, -0x18(%rbp)
jmp 0xfca41
movq -0x10(%rbp), %rax
movq (%rax), %rax
movzwl (%rax), %eax
cvtsi2sd %eax, %xmm0
movsd %xmm0, -0x18(%rbp)
jmp 0xfca41
movq -0x10(%rbp), %rax
movq (%rax), %rax
movl (%rax), %eax
cvtsi2sd %rax, %xmm0
movsd %xmm0, -0x18(%rbp)
jmp 0xfca41
movq -0x10(%rbp), %rax
movq (%rax), %rax
movq (%rax), %xmm0
movaps 0x42673(%rip), %xmm1    # 0x13ef00
punpckldq %xmm1, %xmm0    # xmm0 = xmm0[0],xmm1[0],xmm0[1],xmm1[1]
movapd 0x42677(%rip), %xmm1    # 0x13ef10
subpd %xmm1, %xmm0
movaps %xmm0, %xmm1
unpckhpd %xmm0, %xmm0            # xmm0 = xmm0[1,1]
addsd %xmm1, %xmm0
movsd %xmm0, -0x18(%rbp)
jmp 0xfca41
movq -0x10(%rbp), %rax
movq (%rax), %rax
movsbl (%rax), %eax
cvtsi2sd %eax, %xmm0
movsd %xmm0, -0x18(%rbp)
jmp 0xfca41
movq -0x10(%rbp), %rax
movq (%rax), %rax
movswl (%rax), %eax
cvtsi2sd %eax, %xmm0
movsd %xmm0, -0x18(%rbp)
jmp 0xfca41
movq -0x10(%rbp), %rax
movq (%rax), %rax
cvtsi2sdl (%rax), %xmm0
movsd %xmm0, -0x18(%rbp)
jmp 0xfca41
movq -0x10(%rbp), %rax
movq (%rax), %rax
cvtsi2sdq (%rax), %xmm0
movsd %xmm0, -0x18(%rbp)
jmp 0xfca41
movq -0x10(%rbp), %rax
movq (%rax), %rax
movss (%rax), %xmm0
cvtss2sd %xmm0, %xmm0
movsd %xmm0, -0x18(%rbp)
jmp 0xfca41
movq -0x10(%rbp), %rax
movq (%rax), %rax
movsd (%rax), %xmm0
movsd %xmm0, -0x18(%rbp)
jmp 0xfca41
movq -0x10(%rbp), %rax
movq (%rax), %rax
movq (%rax), %xmm0
movaps 0x425b3(%rip), %xmm1    # 0x13ef00
punpckldq %xmm1, %xmm0    # xmm0 = xmm0[0],xmm1[0],xmm0[1],xmm1[1]
movapd 0x425b7(%rip), %xmm1    # 0x13ef10
subpd %xmm1, %xmm0
movaps %xmm0, %xmm1
unpckhpd %xmm0, %xmm0            # xmm0 = xmm0[1,1]
addsd %xmm1, %xmm0
movsd %xmm0, -0x18(%rbp)
jmp 0xfca41
movq -0x10(%rbp), %rax
movq (%rax), %rax
cvtsi2sdq (%rax), %xmm0
movsd %xmm0, -0x18(%rbp)
jmp 0xfca41
movq -0x10(%rbp), %rax
movq (%rax), %rax
movb (%rax), %al
andb $0x1, %al
movzbl %al, %eax
cvtsi2sd %eax, %xmm0
movsd %xmm0, -0x18(%rbp)
jmp 0xfca41
movq -0x10(%rbp), %rax
movq (%rax), %rax
movq (%rax), %xmm0
movaps 0x4254a(%rip), %xmm1    # 0x13ef00
punpckldq %xmm1, %xmm0    # xmm0 = xmm0[0],xmm1[0],xmm0[1],xmm1[1]
movapd 0x4254e(%rip), %xmm1    # 0x13ef10
subpd %xmm1, %xmm0
movaps %xmm0, %xmm1
unpckhpd %xmm0, %xmm0            # xmm0 = xmm0[1,1]
addsd %xmm1, %xmm0
movsd %xmm0, -0x18(%rbp)
jmp 0xfca41
movq -0x10(%rbp), %rax
movq (%rax), %rax
movq (%rax), %xmm0
movaps 0x42516(%rip), %xmm1    # 0x13ef00
punpckldq %xmm1, %xmm0    # xmm0 = xmm0[0],xmm1[0],xmm0[1],xmm1[1]
movapd 0x4251a(%rip), %xmm1    # 0x13ef10
subpd %xmm1, %xmm0
movaps %xmm0, %xmm1
unpckhpd %xmm0, %xmm0            # xmm0 = xmm0[1,1]
addsd %xmm1, %xmm0
movsd %xmm0, -0x18(%rbp)
jmp 0xfca41
movq -0x10(%rbp), %rdi
callq 0xfb800
movq %rax, %rdi
callq 0xfca60
movq %rax, %r8
leaq 0x598d6(%rip), %rdi     # 0x1562fd
leaq 0x598da(%rip), %rsi     # 0x156308
movl $0xf3, %edx
leaq 0x598d9(%rip), %rcx     # 0x156313
movb $0x0, %al
callq 0x9d0f0
movsd -0x18(%rbp), %xmm0
movsd %xmm0, -0x8(%rbp)
movsd -0x8(%rbp), %xmm0
addq $0x20, %rsp
popq %rbp
retq
nopw %cs:(%rax,%rax)