#define NULL ((void *)0)
typedef unsigned long size_t; // Customize by platform.
typedef long intptr_t;
typedef unsigned long uintptr_t;
typedef long scalar_t__; // Either arithmetic or pointer type.
/* By default, we understand bool (as a convenience). */
typedef int bool;
#define false 0
#define true 1

/* Forward declarations */

/* Type definitions */
typedef int ulong;

/* Variables and functions */
double __adddf3(double a, double b) {
  long lc[2];
  int expt = ((((const long *)&a)[1] >> 20) & 0x7ff);
  int shift = expt - ((((const long *)&b)[1] >> 20) & 0x7ff);
  long sign;
  ulong msa, lsa;
  ulong msb, lsb;
  if (shift < 0) {
    double temp = a;
    a = b, b = temp;
    expt += (shift = -shift);
  }
  if (shift >= 54)
    return a;
  if (!(((const long *)&b)[1] & 0x7fffffff))
    return a;
  sign = ((const long *)&a)[1] & 0x80000000;
  msa = (((const long *)&a)[1] & 0xfffff) + 0x100000,
  lsa = ((const long *)&a)[0];
  msb = (((const long *)&b)[1] & 0xfffff) + 0x100000,
  lsb = ((const long *)&b)[0];
  if ((((const long *)&a)[1] ^ ((const long *)&b)[1]) >= 0) {
    if (shift >= 32)
      lsb = msb, msb = 0, shift -= 32;
    if (shift) {
      --shift;
      lsb = (lsb >> shift) + (msb << (32 - shift));
      msb >>= shift;
      if (lsb == 0xffffffff)
        msb++, lsb = 0;
      else
        lsb++;
      lsb = (lsb >> 1) + (msb << 31);
      msb >>= 1;
    }
    if (lsb > (ulong)0xffffffff - lsa)
      msa++;
    lsa += lsb;
    msa += msb;
    if (msa > 0x1fffff) {
      if (lsa == 0xffffffff)
        msa++, lsa = 0;
      else
        lsa++;
      lsa = (lsa >> 1) + (msa << 31);
      msa >>= 1;
      ++expt;
    }
  } else {
    if (shift > 53)
      return a;
    if (shift == 0 && (msb > msa || (msb == msa && lsb >= lsa))) {
      sign ^= 0x80000000;
      msa = msb - msa;
      if (lsb < lsa)
        msa--;
      lsa = lsb - lsa;
    } else {
      if (shift >= 33) {
        lsb = ((msb >> (shift - 32)) + 1) >> 1;
        msb = 0;
      } else if (shift) {
        lsb = (lsb >> (shift - 1)) + (msb << (33 - shift));
        msb >>= shift - 1;
        if (lsb == 0xffffffff)
          msb++, lsb = 0;
        else
          lsb++;
        lsb = (lsb >> 1) + (msb << 31);
        msb >>= 1;
      }
      msa -= msb;
      if (lsb > lsa)
        msa--;
      lsa -= lsb;
    }
    if (!(msa | lsa))
      return 0;
    while (msa < 0x100000) {
      msa = (msa << 1) + (lsa >> 31);
      lsa <<= 1;
      expt -= 1;
    }
    if (expt <= 0) {
      lc[1] = sign;
      lc[0] = 0;
      return (*(const double *)lc);
    }
  }
  lc[1] = sign + ((ulong)expt << 20) + (msa & 0xfffff);
  lc[0] = lsa;
  return (*(const double *)lc);
}


x86 assembly (clang, -O0):
<__adddf3>:
push   %rbp
mov    %rsp,%rbp
movsd  %xmm0,-0x10(%rbp)
movsd  %xmm1,-0x18(%rbp)
mov    -0x8(%rbp),%rax
sar    $0x14,%rax
and    $0x7ff,%rax
mov    %eax,-0x34(%rbp)
movslq -0x34(%rbp),%rax
mov    -0x10(%rbp),%rcx
sar    $0x14,%rcx
and    $0x7ff,%rcx
sub    %rcx,%rax
mov    %eax,-0x38(%rbp)
cmpl   $0x0,-0x38(%rbp)
jge    116e <__adddf3+0x6e>
movsd  -0x10(%rbp),%xmm0
movsd  %xmm0,-0x58(%rbp)
movsd  -0x18(%rbp),%xmm0
movsd  %xmm0,-0x10(%rbp)
movsd  -0x58(%rbp),%xmm0
movsd  %xmm0,-0x18(%rbp)
xor    %eax,%eax
sub    -0x38(%rbp),%eax
mov    %eax,-0x38(%rbp)
add    -0x34(%rbp),%eax
mov    %eax,-0x34(%rbp)
cmpl   $0x36,-0x38(%rbp)
jl     1187 <__adddf3+0x87>
movsd  -0x10(%rbp),%xmm0
movsd  %xmm0,-0x8(%rbp)
jmp    153a <__adddf3+0x43a>
mov    -0x10(%rbp),%rax
and    $0x7fffffff,%rax
cmp    $0x0,%rax
jne    11aa <__adddf3+0xaa>
movsd  -0x10(%rbp),%xmm0
movsd  %xmm0,-0x8(%rbp)
jmp    153a <__adddf3+0x43a>
movabs $0x80000000,%rax
and    -0x8(%rbp),%rax
mov    %rax,-0x40(%rbp)
mov    -0x8(%rbp),%rax
and    $0xfffff,%rax
add    $0x100000,%rax
mov    %eax,-0x44(%rbp)
mov    -0x10(%rbp),%rax
mov    %eax,-0x48(%rbp)
mov    -0x10(%rbp),%rax
and    $0xfffff,%rax
add    $0x100000,%rax
mov    %eax,-0x4c(%rbp)
mov    -0x18(%rbp),%rax
mov    %eax,-0x50(%rbp)
mov    -0x8(%rbp),%rax
xor    -0x10(%rbp),%rax
cmp    $0x0,%rax
jl     1329 <__adddf3+0x229>
cmpl   $0x20,-0x38(%rbp)
jl     1222 <__adddf3+0x122>
mov    -0x4c(%rbp),%eax
mov    %eax,-0x50(%rbp)
movl   $0x0,-0x4c(%rbp)
mov    -0x38(%rbp),%eax
sub    $0x20,%eax
mov    %eax,-0x38(%rbp)
cmpl   $0x0,-0x38(%rbp)
je     129e <__adddf3+0x19e>
mov    -0x38(%rbp),%eax
add    $0xffffffff,%eax
mov    %eax,-0x38(%rbp)
mov    -0x50(%rbp),%eax
mov    -0x38(%rbp),%ecx
sar    %cl,%eax
mov    -0x4c(%rbp),%edx
mov    $0x20,%ecx
sub    -0x38(%rbp),%ecx
shl    %cl,%edx
mov    %edx,%ecx
add    %ecx,%eax
mov    %eax,-0x50(%rbp)
mov    -0x38(%rbp),%ecx
mov    -0x4c(%rbp),%eax
sar    %cl,%eax
mov    %eax,-0x4c(%rbp)
cmpl   $0xffffffff,-0x50(%rbp)
jne    127b <__adddf3+0x17b>
mov    -0x4c(%rbp),%eax
add    $0x1,%eax
mov    %eax,-0x4c(%rbp)
movl   $0x0,-0x50(%rbp)
jmp    1284 <__adddf3+0x184>
mov    -0x50(%rbp),%eax
add    $0x1,%eax
mov    %eax,-0x50(%rbp)
mov    -0x50(%rbp),%eax
sar    $0x1,%eax
mov    -0x4c(%rbp),%ecx
shl    $0x1f,%ecx
add    %ecx,%eax
mov    %eax,-0x50(%rbp)
mov    -0x4c(%rbp),%eax
sar    $0x1,%eax
mov    %eax,-0x4c(%rbp)
mov    -0x50(%rbp),%eax
mov    $0xffffffff,%ecx
sub    -0x48(%rbp),%ecx
cmp    %ecx,%eax
jle    12ba <__adddf3+0x1ba>
mov    -0x44(%rbp),%eax
add    $0x1,%eax
mov    %eax,-0x44(%rbp)
mov    -0x50(%rbp),%eax
add    -0x48(%rbp),%eax
mov    %eax,-0x48(%rbp)
mov    -0x4c(%rbp),%eax
add    -0x44(%rbp),%eax
mov    %eax,-0x44(%rbp)
cmpl   $0x1fffff,-0x44(%rbp)
jle    1324 <__adddf3+0x224>
cmpl   $0xffffffff,-0x48(%rbp)
jne    12f8 <__adddf3+0x1f8>
mov    -0x44(%rbp),%eax
add    $0x1,%eax
mov    %eax,-0x44(%rbp)
movl   $0x0,-0x48(%rbp)
jmp    1301 <__adddf3+0x201>
mov    -0x48(%rbp),%eax
add    $0x1,%eax
mov    %eax,-0x48(%rbp)
mov    -0x48(%rbp),%eax
sar    $0x1,%eax
mov    -0x44(%rbp),%ecx
shl    $0x1f,%ecx
add    %ecx,%eax
mov    %eax,-0x48(%rbp)
mov    -0x44(%rbp),%eax
sar    $0x1,%eax
mov    %eax,-0x44(%rbp)
mov    -0x34(%rbp),%eax
add    $0x1,%eax
mov    %eax,-0x34(%rbp)
jmp    1505 <__adddf3+0x405>
cmpl   $0x35,-0x38(%rbp)
jle    1342 <__adddf3+0x242>
movsd  -0x10(%rbp),%xmm0
movsd  %xmm0,-0x8(%rbp)
jmp    153a <__adddf3+0x43a>
cmpl   $0x0,-0x38(%rbp)
jne    13ae <__adddf3+0x2ae>
mov    -0x4c(%rbp),%eax
cmp    -0x44(%rbp),%eax
jg     1370 <__adddf3+0x270>
mov    -0x4c(%rbp),%eax
cmp    -0x44(%rbp),%eax
jne    13ae <__adddf3+0x2ae>
mov    -0x50(%rbp),%eax
cmp    -0x48(%rbp),%eax
jl     13ae <__adddf3+0x2ae>
movabs $0x80000000,%rax
xor    -0x40(%rbp),%rax
mov    %rax,-0x40(%rbp)
mov    -0x4c(%rbp),%eax
sub    -0x44(%rbp),%eax
mov    %eax,-0x44(%rbp)
mov    -0x50(%rbp),%eax
cmp    -0x48(%rbp),%eax
jge    13a0 <__adddf3+0x2a0>
mov    -0x44(%rbp),%eax
add    $0xffffffff,%eax
mov    %eax,-0x44(%rbp)
mov    -0x50(%rbp),%eax
sub    -0x48(%rbp),%eax
mov    %eax,-0x48(%rbp)
jmp    1481 <__adddf3+0x381>
cmpl   $0x21,-0x38(%rbp)
jl     13d8 <__adddf3+0x2d8>
mov    -0x4c(%rbp),%eax
mov    -0x38(%rbp),%ecx
sub    $0x20,%ecx
sar    %cl,%eax
add    $0x1,%eax
sar    $0x1,%eax
mov    %eax,-0x50(%rbp)
movl   $0x0,-0x4c(%rbp)
jmp    1456 <__adddf3+0x356>
cmpl   $0x0,-0x38(%rbp)
je     1451 <__adddf3+0x351>
mov    -0x50(%rbp),%eax
mov    -0x38(%rbp),%ecx
sub    $0x1,%ecx
sar    %cl,%eax
mov    -0x4c(%rbp),%edx
mov    $0x21,%ecx
sub    -0x38(%rbp),%ecx
shl    %cl,%edx
mov    %edx,%ecx
add    %ecx,%eax
mov    %eax,-0x50(%rbp)
mov    -0x38(%rbp),%ecx
sub    $0x1,%ecx
mov    -0x4c(%rbp),%eax
sar    %cl,%eax
mov    %eax,-0x4c(%rbp)
cmpl   $0xffffffff,-0x50(%rbp)
jne    142e <__adddf3+0x32e>
mov    -0x4c(%rbp),%eax
add    $0x1,%eax
mov    %eax,-0x4c(%rbp)
movl   $0x0,-0x50(%rbp)
jmp    1437 <__adddf3+0x337>
mov    -0x50(%rbp),%eax
add    $0x1,%eax
mov    %eax,-0x50(%rbp)
mov    -0x50(%rbp),%eax
sar    $0x1,%eax
mov    -0x4c(%rbp),%ecx
shl    $0x1f,%ecx
add    %ecx,%eax
mov    %eax,-0x50(%rbp)
mov    -0x4c(%rbp),%eax
sar    $0x1,%eax
mov    %eax,-0x4c(%rbp)
jmp    1456 <__adddf3+0x356>
mov    -0x4c(%rbp),%ecx
mov    -0x44(%rbp),%eax
sub    %ecx,%eax
mov    %eax,-0x44(%rbp)
mov    -0x50(%rbp),%eax
cmp    -0x48(%rbp),%eax
jle    1476 <__adddf3+0x376>
mov    -0x44(%rbp),%eax
add    $0xffffffff,%eax
mov    %eax,-0x44(%rbp)
mov    -0x50(%rbp),%ecx
mov    -0x48(%rbp),%eax
sub    %ecx,%eax
mov    %eax,-0x48(%rbp)
mov    -0x44(%rbp),%eax
or     -0x48(%rbp),%eax
cmp    $0x0,%eax
jne    149d <__adddf3+0x39d>
xorps  %xmm0,%xmm0
movsd  %xmm0,-0x8(%rbp)
jmp    153a <__adddf3+0x43a>
jmp    14a2 <__adddf3+0x3a2>
cmpl   $0x100000,-0x44(%rbp)
jge    14d7 <__adddf3+0x3d7>
mov    -0x44(%rbp),%eax
shl    $0x1,%eax
mov    -0x48(%rbp),%ecx
sar    $0x1f,%ecx
add    %ecx,%eax
mov    %eax,-0x44(%rbp)
mov    -0x48(%rbp),%eax
shl    $0x1,%eax
mov    %eax,-0x48(%rbp)
mov    -0x34(%rbp),%eax
sub    $0x1,%eax
mov    %eax,-0x34(%rbp)
jmp    14a2 <__adddf3+0x3a2>
cmpl   $0x0,-0x34(%rbp)
jg     1500 <__adddf3+0x400>
mov    -0x40(%rbp),%rax
mov    %rax,-0x28(%rbp)
movq   $0x0,-0x30(%rbp)
movsd  -0x30(%rbp),%xmm0
movsd  %xmm0,-0x8(%rbp)
jmp    153a <__adddf3+0x43a>
jmp    1505 <__adddf3+0x405>
mov    -0x40(%rbp),%rax
mov    -0x34(%rbp),%ecx
shl    $0x14,%ecx
movslq %ecx,%rcx
add    %rcx,%rax
mov    -0x44(%rbp),%ecx
and    $0xfffff,%ecx
movslq %ecx,%rcx
add    %rcx,%rax
mov    %rax,-0x28(%rbp)
movslq -0x48(%rbp),%rax
mov    %rax,-0x30(%rbp)
movsd  -0x30(%rbp),%xmm0
movsd  %xmm0,-0x8(%rbp)
movsd  -0x8(%rbp),%xmm0
pop    %rbp
ret

x86 assembly (clang, -O2):
<__adddf3>:
ret

LLVM IR (-O0):
define double @__adddf3(double %0, double %1) {
%3 = alloca double
%4 = alloca double
%5 = alloca double
%6 = alloca [2 x i64]
%7 = alloca i32
%8 = alloca i32
%9 = alloca i64
%10 = alloca i32
%11 = alloca i32
%12 = alloca i32
%13 = alloca i32
%14 = alloca double
store double %0, double* %4
store double %1, double* %5
%15 = bitcast double* %4 to i64*
%16 = getelementptr inbounds i64, i64* %15, i64 1
%17 = load i64, i64* %16
%18 = ashr i64 %17, 20
%19 = and i64 %18, 2047
%20 = trunc i64 %19 to i32
store i32 %20, i32* %7
%21 = load i32, i32* %7
%22 = sext i32 %21 to i64
%23 = bitcast double* %5 to i64*
%24 = getelementptr inbounds i64, i64* %23, i64 1
%25 = load i64, i64* %24
%26 = ashr i64 %25, 20
%27 = and i64 %26, 2047
%28 = sub nsw i64 %22, %27
%29 = trunc i64 %28 to i32
store i32 %29, i32* %8
%30 = load i32, i32* %8
%31 = icmp slt i32 %30, 0
br i1 %31, label %32, label %40
32: ; preds = %2
%33 = load double, double* %4
store double %33, double* %14
%34 = load double, double* %5
store double %34, double* %4
%35 = load double, double* %14
store double %35, double* %5
%36 = load i32, i32* %8
%37 = sub nsw i32 0, %36
store i32 %37, i32* %8
%38 = load i32, i32* %7
%39 = add nsw i32 %38, %37
store i32 %39, i32* %7
br label %40
40: ; preds = %32, %2
%41 = load i32, i32* %8
%42 = icmp sge i32 %41, 54
br i1 %42, label %43, label %45
43: ; preds = %40
%44 = load double, double* %4
store double %44, double* %3
br label %305
45: ; preds = %40
%46 = bitcast double* %5 to i64*
%47 = getelementptr inbounds i64, i64* %46, i64 1
%48 = load i64, i64* %47
%49 = and i64 %48, 2147483647
%50 = icmp ne i64 %49, 0
br i1 %50, label %53, label %51
51: ; preds = %45
%52 = load double, double* %4
store double %52, double* %3
br label %305
53: ; preds = %45
%54 = bitcast double* %4 to i64*
%55 = getelementptr inbounds i64, i64* %54, i64 1
%56 = load i64, i64* %55
%57 = and i64 %56, 2147483648
store i64 %57, i64* %9
%58 = bitcast double* %4 to i64*
%59 = getelementptr inbounds i64, i64* %58, i64 1
%60 = load i64, i64* %59
%61 = and i64 %60, 1048575
%62 = add nsw i64 %61, 1048576
%63 = trunc i64 %62 to i32
store i32 %63, i32* %10
%64 = bitcast double* %4 to i64*
%65 = getelementptr inbounds i64, i64* %64, i64 0
%66 = load i64, i64* %65
%67 = trunc i64 %66 to i32
store i32 %67, i32* %11
%68 = bitcast double* %5 to i64*
%69 = getelementptr inbounds i64, i64* %68, i64 1
%70 = load i64, i64* %69
%71 = and i64 %70, 1048575
%72 = add nsw i64 %71, 1048576
%73 = trunc i64 %72 to i32
store i32 %73, i32* %12
%74 = bitcast double* %5 to i64*
%75 = getelementptr inbounds i64, i64* %74, i64 0
%76 = load i64, i64* %75
%77 = trunc i64 %76 to i32
store i32 %77, i32* %13
%78 = bitcast double* %4 to i64*
%79 = getelementptr inbounds i64, i64* %78, i64 1
%80 = load i64, i64* %79
%81 = bitcast double* %5 to i64*
%82 = getelementptr inbounds i64, i64* %81, i64 1
%83 = load i64, i64* %82
%84 = xor i64 %80, %83
%85 = icmp sge i64 %84, 0
br i1 %85, label %86, label %163
86: ; preds = %53
%87 = load i32, i32* %8
%88 = icmp sge i32 %87, 32
br i1 %88, label %89, label %93
89: ; preds = %86
%90 = load i32, i32* %12
store i32 %90, i32* %13
store i32 0, i32* %12
%91 = load i32, i32* %8
%92 = sub nsw i32 %91, 32
store i32 %92, i32* %8
br label %93
93: ; preds = %89, %86
%94 = load i32, i32* %8
%95 = icmp ne i32 %94, 0
br i1 %95, label %96, label %126
96: ; preds = %93
%97 = load i32, i32* %8
%98 = add nsw i32 %97, -1
store i32 %98, i32* %8
%99 = load i32, i32* %13
%100 = load i32, i32* %8
%101 = ashr i32 %99, %100
%102 = load i32, i32* %12
%103 = load i32, i32* %8
%104 = sub nsw i32 32, %103
%105 = shl i32 %102, %104
%106 = add nsw i32 %101, %105
store i32 %106, i32* %13
%107 = load i32, i32* %8
%108 = load i32, i32* %12
%109 = ashr i32 %108, %107
store i32 %109, i32* %12
%110 = load i32, i32* %13
%111 = icmp eq i32 %110, -1
br i1 %111, label %112, label %115
112: ; preds = %96
%113 = load i32, i32* %12
%114 = add nsw i32 %113, 1
store i32 %114, i32* %12
store i32 0, i32* %13
br label %118
115: ; preds = %96
%116 = load i32, i32* %13
%117 = add nsw i32 %116, 1
store i32 %117, i32* %13
br label %118
118: ; preds = %115, %112
%119 = load i32, i32* %13
%120 = ashr i32 %119, 1
%121 = load i32, i32* %12
%122 = shl i32 %121, 31
%123 = add nsw i32 %120, %122
store i32 %123, i32* %13
%124 = load i32, i32* %12
%125 = ashr i32 %124, 1
store i32 %125, i32* %12
br label %126
126: ; preds = %118, %93
%127 = load i32, i32* %13
%128 = load i32, i32* %11
%129 = sub nsw i32 -1, %128
%130 = icmp sgt i32 %127, %129
br i1 %130, label %131, label %134
131: ; preds = %126
%132 = load i32, i32* %10
%133 = add nsw i32 %132, 1
store i32 %133, i32* %10
br label %134
134: ; preds = %131, %126
%135 = load i32, i32* %13
%136 = load i32, i32* %11
%137 = add nsw i32 %136, %135
store i32 %137, i32* %11
%138 = load i32, i32* %12
%139 = load i32, i32* %10
%140 = add nsw i32 %139, %138
store i32 %140, i32* %10
%141 = load i32, i32* %10
%142 = icmp sgt i32 %141, 2097151
br i1 %142, label %143, label %162
143: ; preds = %134
%144 = load i32, i32* %11
%145 = icmp eq i32 %144, -1
br i1 %145, label %146, label %149
146: ; preds = %143
%147 = load i32, i32* %10
%148 = add nsw i32 %147, 1
store i32 %148, i32* %10
store i32 0, i32* %11
br label %152
149: ; preds = %143
%150 = load i32, i32* %11
%151 = add nsw i32 %150, 1
store i32 %151, i32* %11
br label %152
152: ; preds = %149, %146
%153 = load i32, i32* %11
%154 = ashr i32 %153, 1
%155 = load i32, i32* %10
%156 = shl i32 %155, 31
%157 = add nsw i32 %154, %156
store i32 %157, i32* %11
%158 = load i32, i32* %10
%159 = ashr i32 %158, 1
store i32 %159, i32* %10
%160 = load i32, i32* %7
%161 = add nsw i32 %160, 1
store i32 %161, i32* %7
br label %162
162: ; preds = %152, %134
br label %288
163: ; preds = %53
%164 = load i32, i32* %8
%165 = icmp sgt i32 %164, 53
br i1 %165, label %166, label %168
166: ; preds = %163
%167 = load double, double* %4
store double %167, double* %3
br label %305
168: ; preds = %163
%169 = load i32, i32* %8
%170 = icmp eq i32 %169, 0
br i1 %170, label %171, label %199
171: ; preds = %168
%172 = load i32, i32* %12
%173 = load i32, i32* %10
%174 = icmp sgt i32 %172, %173
br i1 %174, label %183, label %175
175: ; preds = %171
%176 = load i32, i32* %12
%177 = load i32, i32* %10
%178 = icmp eq i32 %176, %177
br i1 %178, label %179, label %199
179: ; preds = %175
%180 = load i32, i32* %13
%181 = load i32, i32* %11
%182 = icmp sge i32 %180, %181
br i1 %182, label %183, label %199
183: ; preds = %179, %171
%184 = load i64, i64* %9
%185 = xor i64 %184, 2147483648
store i64 %185, i64* %9
%186 = load i32, i32* %12
%187 = load i32, i32* %10
%188 = sub nsw i32 %186, %187
store i32 %188, i32* %10
%189 = load i32, i32* %13
%190 = load i32, i32* %11
%191 = icmp slt i32 %189, %190
br i1 %191, label %192, label %195
192: ; preds = %183
%193 = load i32, i32* %10
%194 = add nsw i32 %193, -1
store i32 %194, i32* %10
br label %195
195: ; preds = %192, %183
%196 = load i32, i32* %13
%197 = load i32, i32* %11
%198 = sub nsw i32 %196, %197
store i32 %198, i32* %11
br label %257
199: ; preds = %179, %175, %168
%200 = load i32, i32* %8
%201 = icmp sge i32 %200, 33
br i1 %201, label %202, label %209
202: ; preds = %199
%203 = load i32, i32* %12
%204 = load i32, i32* %8
%205 = sub nsw i32 %204, 32
%206 = ashr i32 %203, %205
%207 = add nsw i32 %206, 1
%208 = ashr i32 %207, 1
store i32 %208, i32* %13
store i32 0, i32* %12
br label %243
209: ; preds = %199
%210 = load i32, i32* %8
%211 = icmp ne i32 %210, 0
br i1 %211, label %212, label %242
212: ; preds = %209
%213 = load i32, i32* %13
%214 = load i32, i32* %8
%215 = sub nsw i32 %214, 1
%216 = ashr i32 %213, %215
%217 = load i32, i32* %12
%218 = load i32, i32* %8
%219 = sub nsw i32 33, %218
%220 = shl i32 %217, %219
%221 = add nsw i32 %216, %220
store i32 %221, i32* %13
%222 = load i32, i32* %8
%223 = sub nsw i32 %222, 1
%224 = load i32, i32* %12
%225 = ashr i32 %224, %223
store i32 %225, i32* %12
%226 = load i32, i32* %13
%227 = icmp eq i32 %226, -1
br i1 %227, label %228, label %231
228: ; preds = %212
%229 = load i32, i32* %12
%230 = add nsw i32 %229, 1
store i32 %230, i32* %12
store i32 0, i32* %13
br label %234
231: ; preds = %212
%232 = load i32, i32* %13
%233 = add nsw i32 %232, 1
store i32 %233, i32* %13
br label %234
234: ; preds = %231, %228
%235 = load i32, i32* %13
%236 = ashr i32 %235, 1
%237 = load i32, i32* %12
%238 = shl i32 %237, 31
%239 = add nsw i32 %236, %238
store i32 %239, i32* %13
%240 = load i32, i32* %12
%241 = ashr i32 %240, 1
store i32 %241, i32* %12
br label %242
242: ; preds = %234, %209
br label %243
243: ; preds = %242, %202
%244 = load i32, i32* %12
%245 = load i32, i32* %10
%246 = sub nsw i32 %245, %244
store i32 %246, i32* %10
%247 = load i32, i32* %13
%248 = load i32, i32* %11
%249 = icmp sgt i32 %247, %248
br i1 %249, label %250, label %253
250: ; preds = %243
%251 = load i32, i32* %10
%252 = add nsw i32 %251, -1
store i32 %252, i32* %10
br label %253
253: ; preds = %250, %243
%254 = load i32, i32* %13
%255 = load i32, i32* %11
%256 = sub nsw i32 %255, %254
store i32 %256, i32* %11
br label %257
257: ; preds = %253, %195
%258 = load i32, i32* %10
%259 = load i32, i32* %11
%260 = or i32 %258, %259
%261 = icmp ne i32 %260, 0
br i1 %261, label %263, label %262
262: ; preds = %257
store double 0.000000e+00, double* %3
br label %305
263: ; preds = %257
br label %264
264: ; preds = %267, %263
%265 = load i32, i32* %10
%266 = icmp slt i32 %265, 1048576
br i1 %266, label %267, label %277
267: ; preds = %264
%268 = load i32, i32* %10
%269 = shl i32 %268, 1
%270 = load i32, i32* %11
%271 = ashr i32 %270, 31
%272 = add nsw i32 %269, %271
store i32 %272, i32* %10
%273 = load i32, i32* %11
%274 = shl i32 %273, 1
store i32 %274, i32* %11
%275 = load i32, i32* %7
%276 = sub nsw i32 %275, 1
store i32 %276, i32* %7
br label %264
277: ; preds = %264
%278 = load i32, i32* %7
%279 = icmp sle i32 %278, 0
br i1 %279, label %280, label %287
280: ; preds = %277
%281 = load i64, i64* %9
%282 = getelementptr inbounds [2 x i64], [2 x i64]* %6, i64 0, i64 1
store i64 %281, i64* %282
%283 = getelementptr inbounds [2 x i64], [2 x i64]* %6, i64 0, i64 0
store i64 0, i64* %283
%284 = getelementptr inbounds [2 x i64], [2 x i64]* %6, i64 0, i64 0
%285 = bitcast i64* %284 to double*
%286 = load double, double* %285
store double %286, double* %3
br label %305
287: ; preds = %277
br label %288
288: ; preds = %287, %162
%289 = load i64, i64* %9
%290 = load i32, i32* %7
%291 = shl i32 %290, 20
%292 = sext i32 %291 to i64
%293 = add nsw i64 %289, %292
%294 = load i32, i32* %10
%295 = and i32 %294, 1048575
%296 = sext i32 %295 to i64
%297 = add nsw i64 %293, %296
%298 = getelementptr inbounds [2 x i64], [2 x i64]* %6, i64 0, i64 1
store i64 %297, i64* %298
%299 = load i32, i32* %11
%300 = sext i32 %299 to i64
%301 = getelementptr inbounds [2 x i64], [2 x i64]* %6, i64 0, i64 0
store i64 %300, i64* %301
%302 = getelementptr inbounds [2 x i64], [2 x i64]* %6, i64 0, i64 0
%303 = bitcast i64* %302 to double*
%304 = load double, double* %303
store double %304, double* %3
br label %305
305: ; preds = %288, %280, %262, %166, %51, %43
%306 = load double, double* %3
ret double %306
}

LLVM IR (-O2):
define double @__adddf3(double returned %0, double %1) {
ret double %0
}