void _ITF64I(unsigned long datum, long *lp) {
  unsigned long exp, man, nbit, sbit, sign;
  sbit = 1 << 63;
  nbit = 1 << 47;
  sign = datum & sbit;
  man = sbit | ((datum << 12) >> 1);
  exp = (datum << 1) >> 53;
  if (exp == 2047) {
    exp = 24576;
    if (man != sbit)
      man = sbit | (0x3C4E614E3E << 16);
  } else if (exp == 0) {
    man = 0;
    nbit = 0;
    sign = 0;
  } else
    exp = exp + (16384 - 1023 + 1);
  man = (((man >> 15) + 1) >> 1) | nbit;
  exp = exp << 48;
  *lp = sign | (exp + man);
  return;
}


x86 assembly (clang, -O0):
<_ITF64I>:
push   %rbp
mov    %rsp,%rbp
mov    %rdi,-0x8(%rbp)
mov    %rsi,-0x10(%rbp)
mov    %rax,-0x30(%rbp)
mov    %rax,-0x28(%rbp)
mov    -0x8(%rbp),%rax
and    -0x30(%rbp),%rax
mov    %rax,-0x38(%rbp)
mov    -0x30(%rbp),%rax
mov    -0x8(%rbp),%rcx
shl    $0xc,%rcx
shr    $0x1,%rcx
or     %rcx,%rax
mov    %rax,-0x20(%rbp)
mov    -0x8(%rbp),%rax
shl    $0x1,%rax
shr    $0x35,%rax
mov    %rax,-0x18(%rbp)
cmpq   $0x7ff,-0x18(%rbp)
jne    1182 <_ITF64I+0x82>
movq   $0x6000,-0x18(%rbp)
mov    -0x20(%rbp),%rax
cmp    -0x30(%rbp),%rax
je     117d <_ITF64I+0x7d>
movabs $0x3c4e614e3e0000,%rax
or     -0x30(%rbp),%rax
mov    %rax,-0x20(%rbp)
jmp    11bd <_ITF64I+0xbd>
cmpq   $0x0,-0x18(%rbp)
jne    11aa <_ITF64I+0xaa>
movq   $0x0,-0x20(%rbp)
movq   $0x0,-0x28(%rbp)
movq   $0x0,-0x38(%rbp)
jmp    11b8 <_ITF64I+0xb8>
mov    -0x18(%rbp),%rax
add    $0x3c02,%rax
mov    %rax,-0x18(%rbp)
jmp    11bd <_ITF64I+0xbd>
mov    -0x20(%rbp),%rax
shr    $0xf,%rax
add    $0x1,%rax
shr    $0x1,%rax
or     -0x28(%rbp),%rax
mov    %rax,-0x20(%rbp)
mov    -0x18(%rbp),%rax
shl    $0x30,%rax
mov    %rax,-0x18(%rbp)
mov    -0x38(%rbp),%rcx
mov    -0x18(%rbp),%rax
add    -0x20(%rbp),%rax
or     %rax,%rcx
mov    -0x10(%rbp),%rax
mov    %rcx,(%rax)
pop    %rbp
ret

x86 assembly (clang, -O2):
<_ITF64I>:
shr    $0x34,%rdi
and    $0x7ff,%edi
cmp    $0x7ff,%rdi
je     111e <_ITF64I+0x1e>
test   %rdi,%rdi
jne    112c <_ITF64I+0x2c>
xor    %eax,%eax
mov    %rax,(%rsi)
ret
movabs $0x6000000000000000,%rax
mov    %rax,(%rsi)
ret
shl    $0x30,%rdi
movabs $0x3c02000000000000,%rax
add    %rdi,%rax
mov    %rax,(%rsi)
ret

LLVM IR (-O0):
define void @_ITF64I(i64 %0, i64* %1) {
%3 = alloca i64
%4 = alloca i64*
%5 = alloca i64
%6 = alloca i64
%7 = alloca i64
%8 = alloca i64
%9 = alloca i64
store i64 %0, i64* %3
store i64* %1, i64** %4
store i64 poison, i64* %8
store i64 poison, i64* %7
%10 = load i64, i64* %3
%11 = load i64, i64* %8
%12 = and i64 %10, %11
store i64 %12, i64* %9
%13 = load i64, i64* %8
%14 = load i64, i64* %3
%15 = shl i64 %14, 12
%16 = lshr i64 %15, 1
%17 = or i64 %13, %16
store i64 %17, i64* %6
%18 = load i64, i64* %3
%19 = shl i64 %18, 1
%20 = lshr i64 %19, 53
store i64 %20, i64* %5
%21 = load i64, i64* %5
%22 = icmp eq i64 %21, 2047
br i1 %22, label %23, label %31
23: ; preds = %2
store i64 24576, i64* %5
%24 = load i64, i64* %6
%25 = load i64, i64* %8
%26 = icmp ne i64 %24, %25
br i1 %26, label %27, label %30
27: ; preds = %23
%28 = load i64, i64* %8
%29 = or i64 %28, 16974678434119680
store i64 %29, i64* %6
br label %30
30: ; preds = %27, %23
br label %39
31: ; preds = %2
%32 = load i64, i64* %5
%33 = icmp eq i64 %32, 0
br i1 %33, label %34, label %35
34: ; preds = %31
store i64 0, i64* %6
store i64 0, i64* %7
store i64 0, i64* %9
br label %38
35: ; preds = %31
%36 = load i64, i64* %5
%37 = add i64 %36, 15362
store i64 %37, i64* %5
br label %38
38: ; preds = %35, %34
br label %39
39: ; preds = %38, %30
%40 = load i64, i64* %6
%41 = lshr i64 %40, 15
%42 = add i64 %41, 1
%43 = lshr i64 %42, 1
%44 = load i64, i64* %7
%45 = or i64 %43, %44
store i64 %45, i64* %6
%46 = load i64, i64* %5
%47 = shl i64 %46, 48
store i64 %47, i64* %5
%48 = load i64, i64* %9
%49 = load i64, i64* %5
%50 = load i64, i64* %6
%51 = add i64 %49, %50
%52 = or i64 %48, %51
%53 = load i64*, i64** %4
store i64 %52, i64* %53
ret void
}

LLVM IR (-O2):
define void @_ITF64I(i64 %0, i64* nocapture writeonly %1) {
%3 = lshr i64 %0, 52
%4 = and i64 %3, 2047
switch i64 %4, label %6 [
i64 2047, label %9
i64 0, label %5
]
5: ; preds = %2
br label %9
6: ; preds = %2
%7 = shl nuw nsw i64 %4, 48
%8 = add nuw nsw i64 %7, 4324018592229097472
br label %9
9: ; preds = %2, %5, %6
%10 = phi i64 [ 0, %5 ], [ %8, %6 ], [ 6917529027641081856, %2 ]
store i64 %10, i64* %1
ret void
}