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


x86 assembly (clang, -O0):
<_ITF128I>:
push   %rbp
mov    %rsp,%rbp
mov    %rdi,-0x8(%rbp)
mov    %rsi,-0x10(%rbp)
mov    %rax,-0x30(%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,-0x28(%rbp)
mov    -0x8(%rbp),%rax
and    $0x1f,%rax
shl    $0x2b,%rax
mov    %rax,-0x20(%rbp)
mov    -0x8(%rbp),%rax
shl    $0x1,%rax
shr    $0x35,%rax
mov    %rax,-0x18(%rbp)
cmpq   $0x7ff,-0x18(%rbp)
jne    1196 <_ITF128I+0x96>
movq   $0x6000,-0x18(%rbp)
mov    -0x28(%rbp),%rax
cmp    -0x30(%rbp),%rax
je     1191 <_ITF128I+0x91>
movabs $0x3c4e614e3e0000,%rax
or     -0x30(%rbp),%rax
mov    %rax,-0x28(%rbp)
movq   $0x0,-0x20(%rbp)
jmp    11d1 <_ITF128I+0xd1>
cmpq   $0x0,-0x18(%rbp)
jne    11be <_ITF128I+0xbe>
movq   $0x0,-0x28(%rbp)
movq   $0x0,-0x20(%rbp)
movq   $0x0,-0x38(%rbp)
jmp    11cc <_ITF128I+0xcc>
mov    -0x18(%rbp),%rax
add    $0x3c02,%rax
mov    %rax,-0x18(%rbp)
jmp    11d1 <_ITF128I+0xd1>
mov    -0x28(%rbp),%rax
shr    $0x10,%rax
mov    %rax,-0x28(%rbp)
mov    -0x18(%rbp),%rax
shl    $0x30,%rax
mov    %rax,-0x18(%rbp)
mov    -0x38(%rbp),%rcx
mov    -0x18(%rbp),%rax
add    -0x28(%rbp),%rax
or     %rax,%rcx
mov    -0x10(%rbp),%rax
mov    %rcx,(%rax)
mov    -0x20(%rbp),%rcx
mov    -0x10(%rbp),%rax
mov    %rcx,0x8(%rax)
pop    %rbp
ret

x86 assembly (clang, -O2):
<_ITF128I>:
mov    %edi,%eax
and    $0x1f,%eax
shl    $0x2b,%rax
shr    $0x34,%rdi
and    $0x7ff,%edi
cmp    $0x7ff,%rdi
je     1127 <_ITF128I+0x27>
test   %rdi,%rdi
jne    1133 <_ITF128I+0x33>
xor    %eax,%eax
xor    %ecx,%ecx
jmp    1144 <_ITF128I+0x44>
movabs $0x6000000000000000,%rcx
jmp    1144 <_ITF128I+0x44>
shl    $0x30,%rdi
movabs $0x3c02000000000000,%rcx
add    %rdi,%rcx
mov    %rcx,(%rsi)
mov    %rax,0x8(%rsi)
ret

LLVM IR (-O0):
define void @_ITF128I(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
%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* %7
%18 = load i64, i64* %3
%19 = and i64 %18, 31
%20 = shl i64 %19, 43
store i64 %20, i64* %6
%21 = load i64, i64* %3
%22 = shl i64 %21, 1
%23 = lshr i64 %22, 53
store i64 %23, i64* %5
%24 = load i64, i64* %5
%25 = icmp eq i64 %24, 2047
br i1 %25, label %26, label %34
26: ; preds = %2
store i64 24576, i64* %5
%27 = load i64, i64* %7
%28 = load i64, i64* %8
%29 = icmp ne i64 %27, %28
br i1 %29, label %30, label %33
30: ; preds = %26
%31 = load i64, i64* %8
%32 = or i64 %31, 16974678434119680
store i64 %32, i64* %7
store i64 0, i64* %6
br label %33
33: ; preds = %30, %26
br label %42
34: ; preds = %2
%35 = load i64, i64* %5
%36 = icmp eq i64 %35, 0
br i1 %36, label %37, label %38
37: ; preds = %34
store i64 0, i64* %7
store i64 0, i64* %6
store i64 0, i64* %9
br label %41
38: ; preds = %34
%39 = load i64, i64* %5
%40 = add i64 %39, 15362
store i64 %40, i64* %5
br label %41
41: ; preds = %38, %37
br label %42
42: ; preds = %41, %33
%43 = load i64, i64* %7
%44 = lshr i64 %43, 16
store i64 %44, i64* %7
%45 = load i64, i64* %5
%46 = shl i64 %45, 48
store i64 %46, i64* %5
%47 = load i64, i64* %9
%48 = load i64, i64* %5
%49 = load i64, i64* %7
%50 = add i64 %48, %49
%51 = or i64 %47, %50
%52 = load i64*, i64** %4
store i64 %51, i64* %52
%53 = load i64, i64* %6
%54 = load i64*, i64** %4
%55 = getelementptr inbounds i64, i64* %54, i64 1
store i64 %53, i64* %55
ret void
}

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