long double ldexpd(long double c1, int expo) {
  int xexp, xsign;
  unsigned long long mant;
  long double x;
  xsign = ((*(unsigned long long *)(&c1)) >> (63)) & 1;
  xexp = ((*(unsigned long long *)(&c1)) >> (52)) & 0x7ff;
  mant = ((*(unsigned long long *)(&c1)) & 0xFFFFFFFFFFFFF);
  if (xexp == 0)
    return (0);
  else if (xexp == 2047)
    return (c1);
  xexp += expo;
  if (xexp > 2046) {
    xexp = 0x7FF;
    mant = 0;
  } else if (xexp < 0) {
    xexp = 0;
    mant = 0;
  }
  *((unsigned int *)&x) = (unsigned int)mant;
  *((unsigned int *)&x + 1) = (xsign << 31) + (((unsigned int)xexp) << 20) +
                              (unsigned int)(mant >> (32));
  return (x);
}


x86 assembly (clang, -O0):
<ldexpd>:
push   %rbp
mov    %rsp,%rbp
fldt   0x10(%rbp)
fstpt  -0x20(%rbp)
mov    %edi,-0x24(%rbp)
mov    -0x20(%rbp),%rax
shr    $0x3f,%rax
and    $0x1,%rax
mov    %eax,-0x2c(%rbp)
mov    -0x20(%rbp),%rax
shr    $0x34,%rax
and    $0x7ff,%rax
mov    %eax,-0x28(%rbp)
movabs $0xfffffffffffff,%rax
and    -0x20(%rbp),%rax
mov    %rax,-0x38(%rbp)
cmpl   $0x0,-0x28(%rbp)
jne    1153 <ldexpd+0x53>
fldz
fstpt  -0x10(%rbp)
jmp    11da <ldexpd+0xda>
cmpl   $0x7ff,-0x28(%rbp)
jne    116b <ldexpd+0x6b>
fldt   -0x20(%rbp)
fstpt  -0x10(%rbp)
jmp    11da <ldexpd+0xda>
jmp    1170 <ldexpd+0x70>
mov    -0x24(%rbp),%eax
add    -0x28(%rbp),%eax
mov    %eax,-0x28(%rbp)
cmpl   $0x7fe,-0x28(%rbp)
jle    119a <ldexpd+0x9a>
movl   $0x7ff,-0x28(%rbp)
movq   $0x0,-0x38(%rbp)
jmp    11b8 <ldexpd+0xb8>
cmpl   $0x0,-0x28(%rbp)
jge    11b3 <ldexpd+0xb3>
movl   $0x0,-0x28(%rbp)
movq   $0x0,-0x38(%rbp)
jmp    11b8 <ldexpd+0xb8>
mov    -0x38(%rbp),%eax
mov    %eax,-0x50(%rbp)
mov    -0x2c(%rbp),%eax
shl    $0x1f,%eax
mov    -0x28(%rbp),%ecx
shl    $0x14,%ecx
add    %ecx,%eax
mov    -0x34(%rbp),%ecx
add    %ecx,%eax
mov    %eax,-0x4c(%rbp)
fldt   -0x50(%rbp)
fstpt  -0x10(%rbp)
fldt   -0x10(%rbp)
pop    %rbp
ret

x86 assembly (clang, -O2):
<ldexpd>:
fldt   0x8(%rsp)
fld    %st(0)
fstpt  -0x18(%rsp)
mov    -0x18(%rsp),%rax
mov    %rax,%rcx
shr    $0x34,%rcx
fldz
and    $0x7ff,%ecx
je     112e <ldexpd+0x2e>
fstp   %st(0)
cmp    $0x7ff,%ecx
fldz
fxch   %st(1)
jne    1131 <ldexpd+0x31>
fstp   %st(1)
ret
fstp   %st(1)
fstp   %st(0)
movabs $0xfffffffffffff,%rdx
and    %rax,%rdx
xor    %esi,%esi
add    %edi,%ecx
mov    $0x0,%edi
cmovns %ecx,%edi
shr    $0x20,%rax
and    $0x80000000,%eax
shl    $0x14,%edi
cmp    $0x7ff,%ecx
cmovb  %rdx,%rsi
mov    $0x7ff00000,%ecx
cmovl  %edi,%ecx
add    %eax,%ecx
mov    %esi,%eax
shr    $0x20,%rsi
or     %ecx,%esi
shl    $0x20,%rsi
or     %rsi,%rax
mov    %rax,-0x28(%rsp)
movw   $0x0,-0x20(%rsp)
fldt   -0x28(%rsp)
fldz
fxch   %st(1)
fstp   %st(1)
ret

LLVM IR (-O0):
define x86_fp80 @ldexpd(x86_fp80 %0, i32 %1) {
%3 = alloca x86_fp80
%4 = alloca x86_fp80
%5 = alloca i32
%6 = alloca i32
%7 = alloca i32
%8 = alloca i64
%9 = alloca x86_fp80
store x86_fp80 %0, x86_fp80* %4
store i32 %1, i32* %5
%10 = bitcast x86_fp80* %4 to i64*
%11 = load i64, i64* %10
%12 = lshr i64 %11, 63
%13 = and i64 %12, 1
%14 = trunc i64 %13 to i32
store i32 %14, i32* %7
%15 = bitcast x86_fp80* %4 to i64*
%16 = load i64, i64* %15
%17 = lshr i64 %16, 52
%18 = and i64 %17, 2047
%19 = trunc i64 %18 to i32
store i32 %19, i32* %6
%20 = bitcast x86_fp80* %4 to i64*
%21 = load i64, i64* %20
%22 = and i64 %21, 4503599627370495
store i64 %22, i64* %8
%23 = load i32, i32* %6
%24 = icmp eq i32 %23, 0
br i1 %24, label %25, label %26
25: ; preds = %2
store x86_fp80 0xK00000000000000000000, x86_fp80* %3
br label %60
26: ; preds = %2
%27 = load i32, i32* %6
%28 = icmp eq i32 %27, 2047
br i1 %28, label %29, label %31
29: ; preds = %26
%30 = load x86_fp80, x86_fp80* %4
store x86_fp80 %30, x86_fp80* %3
br label %60
31: ; preds = %26
br label %32
32: ; preds = %31
%33 = load i32, i32* %5
%34 = load i32, i32* %6
%35 = add nsw i32 %34, %33
store i32 %35, i32* %6
%36 = load i32, i32* %6
%37 = icmp sgt i32 %36, 2046
br i1 %37, label %38, label %39
38: ; preds = %32
store i32 2047, i32* %6
store i64 0, i64* %8
br label %44
39: ; preds = %32
%40 = load i32, i32* %6
%41 = icmp slt i32 %40, 0
br i1 %41, label %42, label %43
42: ; preds = %39
store i32 0, i32* %6
store i64 0, i64* %8
br label %43
43: ; preds = %42, %39
br label %44
44: ; preds = %43, %38
%45 = load i64, i64* %8
%46 = trunc i64 %45 to i32
%47 = bitcast x86_fp80* %9 to i32*
store i32 %46, i32* %47
%48 = load i32, i32* %7
%49 = shl i32 %48, 31
%50 = load i32, i32* %6
%51 = shl i32 %50, 20
%52 = add i32 %49, %51
%53 = load i64, i64* %8
%54 = lshr i64 %53, 32
%55 = trunc i64 %54 to i32
%56 = add i32 %52, %55
%57 = bitcast x86_fp80* %9 to i32*
%58 = getelementptr inbounds i32, i32* %57, i64 1
store i32 %56, i32* %58
%59 = load x86_fp80, x86_fp80* %9
store x86_fp80 %59, x86_fp80* %3
br label %60
60: ; preds = %44, %29, %25
%61 = load x86_fp80, x86_fp80* %3
ret x86_fp80 %61
}

LLVM IR (-O2):
define x86_fp80 @ldexpd(x86_fp80 %0, i32 %1) {
%3 = bitcast x86_fp80 %0 to i80
%4 = trunc i80 %3 to i64
%5 = lshr i64 %4, 52
%6 = trunc i64 %5 to i32
%7 = and i32 %6, 2047
switch i32 %7, label %9 [
i32 0, label %32
i32 2047, label %8
]
8: ; preds = %2
br label %32
9: ; preds = %2
%10 = and i64 %4, 4503599627370495
%11 = add nsw i32 %7, %1
%12 = icmp sgt i32 %11, 2046
%13 = icmp sgt i32 %11, 0
%14 = select i1 %13, i32 %11, i32 0
%15 = icmp ugt i32 %11, 2046
%16 = select i1 %15, i64 0, i64 %10
%17 = lshr i80 %3, 32
%18 = trunc i80 %17 to i32
%19 = and i32 %18, -2147483648
%20 = shl i32 %14, 20
%21 = select i1 %12, i32 2146435072, i32 %20
%22 = add i32 %21, %19
%23 = lshr i64 %16, 32
%24 = trunc i64 %23 to i32
%25 = or i32 %22, %24
%26 = zext i32 %25 to i80
%27 = shl nuw nsw i80 %26, 32
%28 = and i64 %16, 4294967295
%29 = zext i64 %28 to i80
%30 = or i80 %27, %29
%31 = bitcast i80 %30 to x86_fp80
br label %32
32: ; preds = %2, %9, %8
%33 = phi x86_fp80 [ %0, %8 ], [ %31, %9 ], [ 0xK00000000000000000000, %2 ]
ret x86_fp80 %33
}