float __floatsisf(long af) {
  unsigned long a;
  unsigned long as, ae;
  as = af >= 0 ? 0 : 1;
  af = af >= 0 ? af : -af;
  ae = 0x80 + 22;
  if (af == 0)
    return (*(float *)&(af));
  while (af & 0xff000000) {
    ++ae;
    af >>= 1;
  }
  while ((af & 0xff800000) == 0) {
    --ae;
    af <<= 1;
  }
  a = (as << 31) | (ae << 23) | (af & 0x007fffff);
  return (*(float *)&(a));
}


x86 assembly (clang, -O0):
<__floatsisf>:
push   %rbp
mov    %rsp,%rbp
mov    %rdi,-0x10(%rbp)
mov    -0x10(%rbp),%rdx
mov    $0x1,%eax
xor    %ecx,%ecx
cmp    $0x0,%rdx
cmovge %ecx,%eax
cltq
mov    %rax,-0x20(%rbp)
cmpq   $0x0,-0x10(%rbp)
jl     1138 <__floatsisf+0x38>
mov    -0x10(%rbp),%rax
mov    %rax,-0x30(%rbp)
jmp    1142 <__floatsisf+0x42>
xor    %eax,%eax
sub    -0x10(%rbp),%rax
mov    %rax,-0x30(%rbp)
mov    -0x30(%rbp),%rax
mov    %rax,-0x10(%rbp)
movq   $0x96,-0x28(%rbp)
cmpq   $0x0,-0x10(%rbp)
jne    116c <__floatsisf+0x6c>
movss  -0x10(%rbp),%xmm0
movss  %xmm0,-0x4(%rbp)
jmp    120f <__floatsisf+0x10f>
jmp    1171 <__floatsisf+0x71>
movabs $0xff000000,%rax
and    -0x10(%rbp),%rax
cmp    $0x0,%rax
je     11a6 <__floatsisf+0xa6>
mov    -0x28(%rbp),%rax
add    $0x1,%rax
mov    %rax,-0x28(%rbp)
mov    -0x10(%rbp),%rax
sar    $0x1,%rax
mov    %rax,-0x10(%rbp)
jmp    1171 <__floatsisf+0x71>
jmp    11ab <__floatsisf+0xab>
movabs $0xff800000,%rax
and    -0x10(%rbp),%rax
cmp    $0x0,%rax
jne    11e0 <__floatsisf+0xe0>
mov    -0x28(%rbp),%rax
add    $0xffffffffffffffff,%rax
mov    %rax,-0x28(%rbp)
mov    -0x10(%rbp),%rax
shl    $0x1,%rax
mov    %rax,-0x10(%rbp)
jmp    11ab <__floatsisf+0xab>
mov    -0x20(%rbp),%rax
shl    $0x1f,%rax
mov    -0x28(%rbp),%rcx
shl    $0x17,%rcx
or     %rcx,%rax
mov    -0x10(%rbp),%rcx
and    $0x7fffff,%rcx
or     %rcx,%rax
mov    %rax,-0x18(%rbp)
movss  -0x18(%rbp),%xmm0
movss  %xmm0,-0x4(%rbp)
movss  -0x4(%rbp),%xmm0
pop    %rbp
ret

x86 assembly (clang, -O2):
<__floatsisf>:
mov    %rdi,%rax
neg    %rax
cmovs  %rdi,%rax
jae    117b <__floatsisf+0x7b>
mov    $0x96,%ecx
test   $0xff000000,%eax
je     113f <__floatsisf+0x3f>
movabs $0x1fe000000,%rdx
cs nopw 0x0(%rax,%rax,1)
nopl   0x0(%rax)
mov    %rax,%rsi
add    $0x1,%rcx
shr    %rax
test   %rdx,%rsi
jne    1130 <__floatsisf+0x30>
mov    %eax,%edx
test   $0xff800000,%edx
jne    1165 <__floatsisf+0x65>
nopl   0x0(%rax)
add    $0xffffffffffffffff,%rcx
lea    (%rdx,%rdx,1),%rax
mov    %eax,%esi
test   $0x7fc00000,%edx
mov    %rsi,%rdx
je     1150 <__floatsisf+0x50>
shr    $0x20,%rdi
and    $0x80000000,%edi
shl    $0x17,%ecx
and    $0x7fffff,%eax
or     %edi,%eax
or     %ecx,%eax
movd   %eax,%xmm0
ret

LLVM IR (-O0):
define float @__floatsisf(i64 %0) {
%2 = alloca float
%3 = alloca i64
%4 = alloca i64
%5 = alloca i64
%6 = alloca i64
store i64 %0, i64* %3
%7 = load i64, i64* %3
%8 = icmp sge i64 %7, 0
%9 = zext i1 %8 to i64
%10 = select i1 %8, i32 0, i32 1
%11 = sext i32 %10 to i64
store i64 %11, i64* %5
%12 = load i64, i64* %3
%13 = icmp sge i64 %12, 0
br i1 %13, label %14, label %16
14: ; preds = %1
%15 = load i64, i64* %3
br label %19
16: ; preds = %1
%17 = load i64, i64* %3
%18 = sub nsw i64 0, %17
br label %19
19: ; preds = %16, %14
%20 = phi i64 [ %15, %14 ], [ %18, %16 ]
store i64 %20, i64* %3
store i64 150, i64* %6
%21 = load i64, i64* %3
%22 = icmp eq i64 %21, 0
br i1 %22, label %23, label %26
23: ; preds = %19
%24 = bitcast i64* %3 to float*
%25 = load float, float* %24
store float %25, float* %2
br label %57
26: ; preds = %19
br label %27
27: ; preds = %31, %26
%28 = load i64, i64* %3
%29 = and i64 %28, 4278190080
%30 = icmp ne i64 %29, 0
br i1 %30, label %31, label %36
31: ; preds = %27
%32 = load i64, i64* %6
%33 = add i64 %32, 1
store i64 %33, i64* %6
%34 = load i64, i64* %3
%35 = ashr i64 %34, 1
store i64 %35, i64* %3
br label %27
36: ; preds = %27
br label %37
37: ; preds = %41, %36
%38 = load i64, i64* %3
%39 = and i64 %38, 4286578688
%40 = icmp eq i64 %39, 0
br i1 %40, label %41, label %46
41: ; preds = %37
%42 = load i64, i64* %6
%43 = add i64 %42, -1
store i64 %43, i64* %6
%44 = load i64, i64* %3
%45 = shl i64 %44, 1
store i64 %45, i64* %3
br label %37
46: ; preds = %37
%47 = load i64, i64* %5
%48 = shl i64 %47, 31
%49 = load i64, i64* %6
%50 = shl i64 %49, 23
%51 = or i64 %48, %50
%52 = load i64, i64* %3
%53 = and i64 %52, 8388607
%54 = or i64 %51, %53
store i64 %54, i64* %4
%55 = bitcast i64* %4 to float*
%56 = load float, float* %55
store float %56, float* %2
br label %57
57: ; preds = %46, %23
%58 = load float, float* %2
ret float %58
}

LLVM IR (-O2):
define float @__floatsisf(i64 %0) {
%2 = tail call i64 @llvm.abs.i64(i64 %0, i1 true)
%3 = trunc i64 %2 to i32
%4 = icmp eq i64 %0, 0
br i1 %4, label %44, label %5
5: ; preds = %1
%6 = and i64 %2, 4278190080
%7 = icmp eq i64 %6, 0
br i1 %7, label %10, label %16
8: ; preds = %16
%9 = trunc i64 %20 to i32
br label %10
10: ; preds = %8, %5
%11 = phi i32 [ %9, %8 ], [ %3, %5 ]
%12 = phi i64 [ %19, %8 ], [ 150, %5 ]
%13 = zext i32 %11 to i64
%14 = and i64 %13, 4286578688
%15 = icmp eq i64 %14, 0
br i1 %15, label %23, label %33
16: ; preds = %5, %16
%17 = phi i64 [ %19, %16 ], [ 150, %5 ]
%18 = phi i64 [ %20, %16 ], [ %2, %5 ]
%19 = add i64 %17, 1
%20 = lshr i64 %18, 1
%21 = and i64 %18, 8556380160
%22 = icmp eq i64 %21, 0
br i1 %22, label %8, label %16
23: ; preds = %10, %23
%24 = phi i64 [ %28, %23 ], [ %13, %10 ]
%25 = phi i64 [ %26, %23 ], [ %12, %10 ]
%26 = add i64 %25, -1
%27 = shl nuw nsw i64 %24, 1
%28 = and i64 %27, 4294967294
%29 = and i64 %24, 2143289344
%30 = icmp eq i64 %29, 0
br i1 %30, label %23, label %31
31: ; preds = %23
%32 = trunc i64 %27 to i32
br label %33
33: ; preds = %31, %10
%34 = phi i32 [ %32, %31 ], [ %11, %10 ]
%35 = phi i64 [ %26, %31 ], [ %12, %10 ]
%36 = lshr i64 %0, 32
%37 = and i64 %36, 2147483648
%38 = shl i64 %35, 23
%39 = and i32 %34, 8388607
%40 = zext i32 %39 to i64
%41 = or i64 %37, %40
%42 = or i64 %41, %38
%43 = trunc i64 %42 to i32
br label %44
44: ; preds = %1, %33
%45 = phi i32 [ %43, %33 ], [ %3, %1 ]
%46 = bitcast i32 %45 to float
ret float %46
}