int flt_sum(a, bh, bl, ch, cl)
unsigned int *a;
unsigned int bh;
unsigned int bl;
unsigned int ch;
unsigned int cl;
{
  unsigned int guard = 0, w;
  int bx, cx;
  int shift;
  bx = (bh >> 20) & 0x7ff;
  cx = (ch >> 20) & 0x7ff;
  shift = bx - cx;
  if (shift < -54 || bx == 0) {
    a[0] = ch;
    a[1] = cl;
    return 1;
  }
  if (shift > 54 || cx == 0) {
    a[0] = bh;
    a[1] = bl;
    return 1;
  }
  bh = (bh & 0xfffff) | 0x100000;
  ch = (ch & 0xfffff) | 0x100000;
  if (shift > 0) {
    int rshift;
    if (shift > 32) {
      guard = cl;
      cl = ch;
      ch = 0;
      shift -= 32;
    }
    rshift = 32 - shift;
    if (guard == 0)
      guard = cl << rshift;
    else
      guard = (cl << rshift) | 1;
    cl = (ch << rshift) | (cl >> shift);
    ch = ch >> shift;
  } else if (shift < 0) {
    int rshift;
    if (shift < -32) {
      guard = bl;
      bl = bh;
      bh = 0;
      shift += 32;
    }
    shift = -shift;
    rshift = 32 - shift;
    if (guard == 0)
      guard = bl << rshift;
    else
      guard = (bl << rshift) | 1;
    bl = (bh << rshift) | (bl >> shift);
    bh = bh >> shift;
    bx = cx;
  } else
    guard = 0;
  w = (bl & 0xff) + (cl & 0xff);
  bl = (bl >> 8) + (cl >> 8) + (w >> 8);
  bh += ch + (bl >> 24);
  bl = (bl << 8) + (w & 0xff);
  if (bh & 0x00200000) {
    guard = (bl << 31) | (guard >> 1);
    bl = (bh << 31) | (bl >> 1);
    bh = bh >> 1;
    bx += 1;
    if (bx >= 0x7ff)
      return 0;
  }
  if ((guard & 0x80000000) && ((bl & 1) != 0 || guard != 0x80000000)) {
    if (bl == 0xffffffff) {
      bl = 0;
      bh += 1;
      if (bh & 0x00200000) {
        bh = 0x00100000;
        bx += 1;
        if (bx >= 0x7ff)
          return 0;
      }
    } else
      bl += 1;
  }
  a[0] = (bh & ~0x00100000) | (bx << 20);
  a[1] = bl;
  return 1;
}


x86 assembly (clang, -O0):
<flt_sum>:
push   %rbp
mov    %rsp,%rbp
mov    %rdi,-0x10(%rbp)
mov    %esi,-0x14(%rbp)
mov    %edx,-0x18(%rbp)
mov    %ecx,-0x1c(%rbp)
mov    %r8d,-0x20(%rbp)
movl   $0x0,-0x24(%rbp)
mov    -0x14(%rbp),%eax
shr    $0x14,%eax
and    $0x7ff,%eax
mov    %eax,-0x2c(%rbp)
mov    -0x1c(%rbp),%eax
shr    $0x14,%eax
and    $0x7ff,%eax
mov    %eax,-0x30(%rbp)
mov    -0x2c(%rbp),%eax
sub    -0x30(%rbp),%eax
mov    %eax,-0x34(%rbp)
cmpl   $0xffffffca,-0x34(%rbp)
jl     1155 <flt_sum+0x55>
cmpl   $0x0,-0x2c(%rbp)
jne    1174 <flt_sum+0x74>
mov    -0x1c(%rbp),%ecx
mov    -0x10(%rbp),%rax
mov    %ecx,(%rax)
mov    -0x20(%rbp),%ecx
mov    -0x10(%rbp),%rax
mov    %ecx,0x4(%rax)
movl   $0x1,-0x4(%rbp)
jmp    146d <flt_sum+0x36d>
cmpl   $0x36,-0x34(%rbp)
jg     1188 <flt_sum+0x88>
cmpl   $0x0,-0x30(%rbp)
jne    11a7 <flt_sum+0xa7>
mov    -0x14(%rbp),%ecx
mov    -0x10(%rbp),%rax
mov    %ecx,(%rax)
mov    -0x18(%rbp),%ecx
mov    -0x10(%rbp),%rax
mov    %ecx,0x4(%rax)
movl   $0x1,-0x4(%rbp)
jmp    146d <flt_sum+0x36d>
mov    -0x14(%rbp),%eax
and    $0xfffff,%eax
or     $0x100000,%eax
mov    %eax,-0x14(%rbp)
mov    -0x1c(%rbp),%eax
and    $0xfffff,%eax
or     $0x100000,%eax
mov    %eax,-0x1c(%rbp)
cmpl   $0x0,-0x34(%rbp)
jle    1251 <flt_sum+0x151>
cmpl   $0x20,-0x34(%rbp)
jle    11f7 <flt_sum+0xf7>
mov    -0x20(%rbp),%eax
mov    %eax,-0x24(%rbp)
mov    -0x1c(%rbp),%eax
mov    %eax,-0x20(%rbp)
movl   $0x0,-0x1c(%rbp)
mov    -0x34(%rbp),%eax
sub    $0x20,%eax
mov    %eax,-0x34(%rbp)
mov    $0x20,%eax
sub    -0x34(%rbp),%eax
mov    %eax,-0x38(%rbp)
cmpl   $0x0,-0x24(%rbp)
jne    121c <flt_sum+0x11c>
mov    -0x20(%rbp),%eax
mov    -0x38(%rbp),%ecx
shl    %cl,%eax
mov    %eax,-0x24(%rbp)
jmp    122a <flt_sum+0x12a>
mov    -0x20(%rbp),%eax
mov    -0x38(%rbp),%ecx
shl    %cl,%eax
or     $0x1,%eax
mov    %eax,-0x24(%rbp)
mov    -0x1c(%rbp),%eax
mov    -0x38(%rbp),%ecx
shl    %cl,%eax
mov    -0x20(%rbp),%edx
mov    -0x34(%rbp),%ecx
shr    %cl,%edx
mov    %edx,%ecx
or     %ecx,%eax
mov    %eax,-0x20(%rbp)
mov    -0x1c(%rbp),%eax
mov    -0x34(%rbp),%ecx
shr    %cl,%eax
mov    %eax,-0x1c(%rbp)
jmp    12f5 <flt_sum+0x1f5>
cmpl   $0x0,-0x34(%rbp)
jge    12e9 <flt_sum+0x1e9>
cmpl   $0xffffffe0,-0x34(%rbp)
jge    1281 <flt_sum+0x181>
mov    -0x18(%rbp),%eax
mov    %eax,-0x24(%rbp)
mov    -0x14(%rbp),%eax
mov    %eax,-0x18(%rbp)
movl   $0x0,-0x14(%rbp)
mov    -0x34(%rbp),%eax
add    $0x20,%eax
mov    %eax,-0x34(%rbp)
xor    %eax,%eax
sub    -0x34(%rbp),%eax
mov    %eax,-0x34(%rbp)
mov    $0x20,%eax
sub    -0x34(%rbp),%eax
mov    %eax,-0x3c(%rbp)
cmpl   $0x0,-0x24(%rbp)
jne    12ae <flt_sum+0x1ae>
mov    -0x18(%rbp),%eax
mov    -0x3c(%rbp),%ecx
shl    %cl,%eax
mov    %eax,-0x24(%rbp)
jmp    12bc <flt_sum+0x1bc>
mov    -0x18(%rbp),%eax
mov    -0x3c(%rbp),%ecx
shl    %cl,%eax
or     $0x1,%eax
mov    %eax,-0x24(%rbp)
mov    -0x14(%rbp),%eax
mov    -0x3c(%rbp),%ecx
shl    %cl,%eax
mov    -0x18(%rbp),%edx
mov    -0x34(%rbp),%ecx
shr    %cl,%edx
mov    %edx,%ecx
or     %ecx,%eax
mov    %eax,-0x18(%rbp)
mov    -0x14(%rbp),%eax
mov    -0x34(%rbp),%ecx
shr    %cl,%eax
mov    %eax,-0x14(%rbp)
mov    -0x30(%rbp),%eax
mov    %eax,-0x2c(%rbp)
jmp    12f0 <flt_sum+0x1f0>
movl   $0x0,-0x24(%rbp)
jmp    12f5 <flt_sum+0x1f5>
mov    -0x18(%rbp),%eax
and    $0xff,%eax
mov    -0x20(%rbp),%ecx
and    $0xff,%ecx
add    %ecx,%eax
mov    %eax,-0x28(%rbp)
mov    -0x18(%rbp),%eax
shr    $0x8,%eax
mov    -0x20(%rbp),%ecx
shr    $0x8,%ecx
add    %ecx,%eax
mov    -0x28(%rbp),%ecx
shr    $0x8,%ecx
add    %ecx,%eax
mov    %eax,-0x18(%rbp)
mov    -0x1c(%rbp),%eax
mov    -0x18(%rbp),%ecx
shr    $0x18,%ecx
add    %ecx,%eax
add    -0x14(%rbp),%eax
mov    %eax,-0x14(%rbp)
mov    -0x18(%rbp),%eax
shl    $0x8,%eax
mov    -0x28(%rbp),%ecx
and    $0xff,%ecx
add    %ecx,%eax
mov    %eax,-0x18(%rbp)
mov    -0x14(%rbp),%eax
and    $0x200000,%eax
cmp    $0x0,%eax
je     13ac <flt_sum+0x2ac>
mov    -0x18(%rbp),%eax
shl    $0x1f,%eax
mov    -0x24(%rbp),%ecx
shr    $0x1,%ecx
or     %ecx,%eax
mov    %eax,-0x24(%rbp)
mov    -0x14(%rbp),%eax
shl    $0x1f,%eax
mov    -0x18(%rbp),%ecx
shr    $0x1,%ecx
or     %ecx,%eax
mov    %eax,-0x18(%rbp)
mov    -0x14(%rbp),%eax
shr    $0x1,%eax
mov    %eax,-0x14(%rbp)
mov    -0x2c(%rbp),%eax
add    $0x1,%eax
mov    %eax,-0x2c(%rbp)
cmpl   $0x7ff,-0x2c(%rbp)
jl     13a7 <flt_sum+0x2a7>
movl   $0x0,-0x4(%rbp)
jmp    146d <flt_sum+0x36d>
jmp    13ac <flt_sum+0x2ac>
mov    -0x24(%rbp),%eax
and    $0x80000000,%eax
cmp    $0x0,%eax
je     1445 <flt_sum+0x345>
mov    -0x18(%rbp),%eax
and    $0x1,%eax
cmp    $0x0,%eax
jne    13d9 <flt_sum+0x2d9>
cmpl   $0x80000000,-0x24(%rbp)
je     1445 <flt_sum+0x345>
cmpl   $0xffffffff,-0x18(%rbp)
jne    1437 <flt_sum+0x337>
movl   $0x0,-0x18(%rbp)
mov    -0x14(%rbp),%eax
add    $0x1,%eax
mov    %eax,-0x14(%rbp)
mov    -0x14(%rbp),%eax
and    $0x200000,%eax
cmp    $0x0,%eax
je     1432 <flt_sum+0x332>
movl   $0x100000,-0x14(%rbp)
mov    -0x2c(%rbp),%eax
add    $0x1,%eax
mov    %eax,-0x2c(%rbp)
cmpl   $0x7ff,-0x2c(%rbp)
jl     142d <flt_sum+0x32d>
movl   $0x0,-0x4(%rbp)
jmp    146d <flt_sum+0x36d>
jmp    1432 <flt_sum+0x332>
jmp    1440 <flt_sum+0x340>
mov    -0x18(%rbp),%eax
add    $0x1,%eax
mov    %eax,-0x18(%rbp)
jmp    1445 <flt_sum+0x345>
mov    -0x14(%rbp),%ecx
and    $0xffefffff,%ecx
mov    -0x2c(%rbp),%eax
shl    $0x14,%eax
or     %eax,%ecx
mov    -0x10(%rbp),%rax
mov    %ecx,(%rax)
mov    -0x18(%rbp),%ecx
mov    -0x10(%rbp),%rax
mov    %ecx,0x4(%rax)
movl   $0x1,-0x4(%rbp)
mov    -0x4(%rbp),%eax
pop    %rbp
ret

x86 assembly (clang, -O2):
<flt_sum>:
push   %rbp
push   %r14
push   %rbx
mov    %ecx,%r9d
mov    %esi,%ebp
shr    $0x14,%ebp
and    $0x7ff,%ebp
je     12d6 <flt_sum+0x1d6>
mov    %r9d,%ebx
shr    $0x14,%ebx
and    $0x7ff,%ebx
mov    %ebp,%eax
sub    %ebx,%eax
cmp    $0xffffffca,%eax
jl     12d6 <flt_sum+0x1d6>
test   %ebx,%ebx
je     1181 <flt_sum+0x81>
cmp    $0x36,%eax
jg     1181 <flt_sum+0x81>
and    $0xfffff,%esi
or     $0x100000,%esi
and    $0xfffff,%r9d
or     $0x100000,%r9d
test   %eax,%eax
jle    118c <flt_sum+0x8c>
cmp    $0x20,%eax
jbe    11c4 <flt_sum+0xc4>
lea    -0x20(%rax),%r11d
mov    $0x40,%r10d
sub    %eax,%r10d
neg    %eax
mov    %r9d,%r14d
mov    %eax,%ecx
shl    %cl,%r14d
xor    %ebx,%ebx
test   %r8d,%r8d
je     11df <flt_sum+0xdf>
or     $0x1,%r14d
jmp    11e5 <flt_sum+0xe5>
mov    %esi,%r9d
mov    %edx,%r8d
jmp    12d6 <flt_sum+0x1d6>
xor    %r14d,%r14d
test   %eax,%eax
jns    11fd <flt_sum+0xfd>
cmp    $0xffffffe0,%eax
jae    1272 <flt_sum+0x172>
mov    $0xffffffe0,%r10d
mov    %esi,%r14d
mov    %eax,%ecx
shl    %cl,%r14d
sub    %eax,%r10d
lea    0x40(%rax),%r11d
xor    %eax,%eax
test   %edx,%edx
je     1288 <flt_sum+0x188>
or     $0x1,%r14d
jmp    1288 <flt_sum+0x188>
mov    $0x20,%r10d
sub    %eax,%r10d
mov    %eax,%ecx
neg    %ecx
mov    %r8d,%r14d
shl    %cl,%r14d
mov    %r9d,%ebx
mov    %r8d,%r9d
jmp    11e2 <flt_sum+0xe2>
mov    %r11d,%eax
mov    %eax,%r11d
mov    %ebx,%eax
mov    %r10d,%ecx
shl    %cl,%eax
mov    %r11d,%ecx
shr    %cl,%r9d
or     %eax,%r9d
shr    %cl,%ebx
mov    %r9d,%r8d
mov    %ebx,%r9d
add    %esi,%r9d
movzbl %dl,%eax
movzbl %r8b,%esi
add    %eax,%esi
shr    $0x8,%edx
shr    $0x8,%r8d
add    %edx,%r8d
mov    %esi,%eax
shr    $0x8,%eax
add    %r8d,%eax
mov    %eax,%ecx
shr    $0x18,%ecx
add    %r9d,%ecx
shl    $0x8,%eax
movzbl %sil,%r8d
or     %eax,%r8d
test   $0x200000,%ecx
je     1252 <flt_sum+0x152>
xor    %eax,%eax
cmp    $0x7fd,%ebp
ja     12e2 <flt_sum+0x1e2>
shrd   $0x1,%esi,%r14d
shrd   $0x1,%ecx,%r8d
shr    %ecx
add    $0x1,%ebp
test   %r14d,%r14d
jns    12c8 <flt_sum+0x1c8>
test   $0x1,%r8b
jne    1266 <flt_sum+0x166>
cmp    $0x80000000,%r14d
je     12c8 <flt_sum+0x1c8>
cmp    $0xffffffff,%r8d
je     12a3 <flt_sum+0x1a3>
add    $0x1,%r8d
jmp    12c8 <flt_sum+0x1c8>
mov    %eax,%r10d
neg    %r10d
lea    0x20(%rax),%r11d
mov    %edx,%r14d
mov    %eax,%ecx
shl    %cl,%r14d
mov    %esi,%eax
mov    %edx,%esi
mov    %eax,%edx
mov    %r11d,%ecx
shl    %cl,%edx
mov    %r10d,%ecx
shr    %cl,%esi
or     %edx,%esi
shr    %cl,%eax
mov    %ebx,%ebp
mov    %esi,%edx
mov    %eax,%esi
jmp    11fd <flt_sum+0xfd>
add    $0x1,%ecx
xor    %r8d,%r8d
test   $0x200000,%ecx
je     12c8 <flt_sum+0x1c8>
xor    %r8d,%r8d
cmp    $0x7fd,%ebp
jbe    12c0 <flt_sum+0x1c0>
xor    %eax,%eax
jmp    12e2 <flt_sum+0x1e2>
add    $0x1,%ebp
mov    $0x100000,%ecx
and    $0xefffff,%ecx
shl    $0x14,%ebp
or     %ecx,%ebp
mov    %ebp,%r9d
mov    %r9d,(%rdi)
mov    %r8d,0x4(%rdi)
mov    $0x1,%eax
pop    %rbx
pop    %r14
pop    %rbp
ret

LLVM IR (-O0):
define i32 @flt_sum(i32* %0, i32 %1, i32 %2, i32 %3, i32 %4) {
%6 = alloca i32
%7 = alloca i32*
%8 = alloca i32
%9 = alloca i32
%10 = alloca i32
%11 = alloca i32
%12 = alloca i32
%13 = alloca i32
%14 = alloca i32
%15 = alloca i32
%16 = alloca i32
%17 = alloca i32
%18 = alloca i32
store i32* %0, i32** %7
store i32 %1, i32* %8
store i32 %2, i32* %9
store i32 %3, i32* %10
store i32 %4, i32* %11
store i32 0, i32* %12
%19 = load i32, i32* %8
%20 = lshr i32 %19, 20
%21 = and i32 %20, 2047
store i32 %21, i32* %14
%22 = load i32, i32* %10
%23 = lshr i32 %22, 20
%24 = and i32 %23, 2047
store i32 %24, i32* %15
%25 = load i32, i32* %14
%26 = load i32, i32* %15
%27 = sub nsw i32 %25, %26
store i32 %27, i32* %16
%28 = load i32, i32* %16
%29 = icmp slt i32 %28, -54
br i1 %29, label %33, label %30
30: ; preds = %5
%31 = load i32, i32* %14
%32 = icmp eq i32 %31, 0
br i1 %32, label %33, label %40
33: ; preds = %30, %5
%34 = load i32, i32* %10
%35 = load i32*, i32** %7
%36 = getelementptr inbounds i32, i32* %35, i64 0
store i32 %34, i32* %36
%37 = load i32, i32* %11
%38 = load i32*, i32** %7
%39 = getelementptr inbounds i32, i32* %38, i64 1
store i32 %37, i32* %39
store i32 1, i32* %6
br label %226
40: ; preds = %30
%41 = load i32, i32* %16
%42 = icmp sgt i32 %41, 54
br i1 %42, label %46, label %43
43: ; preds = %40
%44 = load i32, i32* %15
%45 = icmp eq i32 %44, 0
br i1 %45, label %46, label %53
46: ; preds = %43, %40
%47 = load i32, i32* %8
%48 = load i32*, i32** %7
%49 = getelementptr inbounds i32, i32* %48, i64 0
store i32 %47, i32* %49
%50 = load i32, i32* %9
%51 = load i32*, i32** %7
%52 = getelementptr inbounds i32, i32* %51, i64 1
store i32 %50, i32* %52
store i32 1, i32* %6
br label %226
53: ; preds = %43
%54 = load i32, i32* %8
%55 = and i32 %54, 1048575
%56 = or i32 %55, 1048576
store i32 %56, i32* %8
%57 = load i32, i32* %10
%58 = and i32 %57, 1048575
%59 = or i32 %58, 1048576
store i32 %59, i32* %10
%60 = load i32, i32* %16
%61 = icmp sgt i32 %60, 0
br i1 %61, label %62, label %95
62: ; preds = %53
%63 = load i32, i32* %16
%64 = icmp sgt i32 %63, 32
br i1 %64, label %65, label %70
65: ; preds = %62
%66 = load i32, i32* %11
store i32 %66, i32* %12
%67 = load i32, i32* %10
store i32 %67, i32* %11
store i32 0, i32* %10
%68 = load i32, i32* %16
%69 = sub nsw i32 %68, 32
store i32 %69, i32* %16
br label %70
70: ; preds = %65, %62
%71 = load i32, i32* %16
%72 = sub nsw i32 32, %71
store i32 %72, i32* %17
%73 = load i32, i32* %12
%74 = icmp eq i32 %73, 0
br i1 %74, label %75, label %79
75: ; preds = %70
%76 = load i32, i32* %11
%77 = load i32, i32* %17
%78 = shl i32 %76, %77
store i32 %78, i32* %12
br label %84
79: ; preds = %70
%80 = load i32, i32* %11
%81 = load i32, i32* %17
%82 = shl i32 %80, %81
%83 = or i32 %82, 1
store i32 %83, i32* %12
br label %84
84: ; preds = %79, %75
%85 = load i32, i32* %10
%86 = load i32, i32* %17
%87 = shl i32 %85, %86
%88 = load i32, i32* %11
%89 = load i32, i32* %16
%90 = lshr i32 %88, %89
%91 = or i32 %87, %90
store i32 %91, i32* %11
%92 = load i32, i32* %10
%93 = load i32, i32* %16
%94 = lshr i32 %92, %93
store i32 %94, i32* %10
br label %136
95: ; preds = %53
%96 = load i32, i32* %16
%97 = icmp slt i32 %96, 0
br i1 %97, label %98, label %134
98: ; preds = %95
%99 = load i32, i32* %16
%100 = icmp slt i32 %99, -32
br i1 %100, label %101, label %106
101: ; preds = %98
%102 = load i32, i32* %9
store i32 %102, i32* %12
%103 = load i32, i32* %8
store i32 %103, i32* %9
store i32 0, i32* %8
%104 = load i32, i32* %16
%105 = add nsw i32 %104, 32
store i32 %105, i32* %16
br label %106
106: ; preds = %101, %98
%107 = load i32, i32* %16
%108 = sub nsw i32 0, %107
store i32 %108, i32* %16
%109 = load i32, i32* %16
%110 = sub nsw i32 32, %109
store i32 %110, i32* %18
%111 = load i32, i32* %12
%112 = icmp eq i32 %111, 0
br i1 %112, label %113, label %117
113: ; preds = %106
%114 = load i32, i32* %9
%115 = load i32, i32* %18
%116 = shl i32 %114, %115
store i32 %116, i32* %12
br label %122
117: ; preds = %106
%118 = load i32, i32* %9
%119 = load i32, i32* %18
%120 = shl i32 %118, %119
%121 = or i32 %120, 1
store i32 %121, i32* %12
br label %122
122: ; preds = %117, %113
%123 = load i32, i32* %8
%124 = load i32, i32* %18
%125 = shl i32 %123, %124
%126 = load i32, i32* %9
%127 = load i32, i32* %16
%128 = lshr i32 %126, %127
%129 = or i32 %125, %128
store i32 %129, i32* %9
%130 = load i32, i32* %8
%131 = load i32, i32* %16
%132 = lshr i32 %130, %131
store i32 %132, i32* %8
%133 = load i32, i32* %15
store i32 %133, i32* %14
br label %135
134: ; preds = %95
store i32 0, i32* %12
br label %135
135: ; preds = %134, %122
br label %136
136: ; preds = %135, %84
%137 = load i32, i32* %9
%138 = and i32 %137, 255
%139 = load i32, i32* %11
%140 = and i32 %139, 255
%141 = add i32 %138, %140
store i32 %141, i32* %13
%142 = load i32, i32* %9
%143 = lshr i32 %142, 8
%144 = load i32, i32* %11
%145 = lshr i32 %144, 8
%146 = add i32 %143, %145
%147 = load i32, i32* %13
%148 = lshr i32 %147, 8
%149 = add i32 %146, %148
store i32 %149, i32* %9
%150 = load i32, i32* %10
%151 = load i32, i32* %9
%152 = lshr i32 %151, 24
%153 = add i32 %150, %152
%154 = load i32, i32* %8
%155 = add i32 %154, %153
store i32 %155, i32* %8
%156 = load i32, i32* %9
%157 = shl i32 %156, 8
%158 = load i32, i32* %13
%159 = and i32 %158, 255
%160 = add i32 %157, %159
store i32 %160, i32* %9
%161 = load i32, i32* %8
%162 = and i32 %161, 2097152
%163 = icmp ne i32 %162, 0
br i1 %163, label %164, label %183
164: ; preds = %136
%165 = load i32, i32* %9
%166 = shl i32 %165, 31
%167 = load i32, i32* %12
%168 = lshr i32 %167, 1
%169 = or i32 %166, %168
store i32 %169, i32* %12
%170 = load i32, i32* %8
%171 = shl i32 %170, 31
%172 = load i32, i32* %9
%173 = lshr i32 %172, 1
%174 = or i32 %171, %173
store i32 %174, i32* %9
%175 = load i32, i32* %8
%176 = lshr i32 %175, 1
store i32 %176, i32* %8
%177 = load i32, i32* %14
%178 = add nsw i32 %177, 1
store i32 %178, i32* %14
%179 = load i32, i32* %14
%180 = icmp sge i32 %179, 2047
br i1 %180, label %181, label %182
181: ; preds = %164
store i32 0, i32* %6
br label %226
182: ; preds = %164
br label %183
183: ; preds = %182, %136
%184 = load i32, i32* %12
%185 = and i32 %184, -2147483648
%186 = icmp ne i32 %185, 0
br i1 %186, label %187, label %215
187: ; preds = %183
%188 = load i32, i32* %9
%189 = and i32 %188, 1
%190 = icmp ne i32 %189, 0
br i1 %190, label %194, label %191
191: ; preds = %187
%192 = load i32, i32* %12
%193 = icmp ne i32 %192, -2147483648
br i1 %193, label %194, label %215
194: ; preds = %191, %187
%195 = load i32, i32* %9
%196 = icmp eq i32 %195, -1
br i1 %196, label %197, label %211
197: ; preds = %194
store i32 0, i32* %9
%198 = load i32, i32* %8
%199 = add i32 %198, 1
store i32 %199, i32* %8
%200 = load i32, i32* %8
%201 = and i32 %200, 2097152
%202 = icmp ne i32 %201, 0
br i1 %202, label %203, label %210
203: ; preds = %197
store i32 1048576, i32* %8
%204 = load i32, i32* %14
%205 = add nsw i32 %204, 1
store i32 %205, i32* %14
%206 = load i32, i32* %14
%207 = icmp sge i32 %206, 2047
br i1 %207, label %208, label %209
208: ; preds = %203
store i32 0, i32* %6
br label %226
209: ; preds = %203
br label %210
210: ; preds = %209, %197
br label %214
211: ; preds = %194
%212 = load i32, i32* %9
%213 = add i32 %212, 1
store i32 %213, i32* %9
br label %214
214: ; preds = %211, %210
br label %215
215: ; preds = %214, %191, %183
%216 = load i32, i32* %8
%217 = and i32 %216, -1048577
%218 = load i32, i32* %14
%219 = shl i32 %218, 20
%220 = or i32 %217, %219
%221 = load i32*, i32** %7
%222 = getelementptr inbounds i32, i32* %221, i64 0
store i32 %220, i32* %222
%223 = load i32, i32* %9
%224 = load i32*, i32** %7
%225 = getelementptr inbounds i32, i32* %224, i64 1
store i32 %223, i32* %225
store i32 1, i32* %6
br label %226
226: ; preds = %215, %208, %181, %46, %33
%227 = load i32, i32* %6
ret i32 %227
}

LLVM IR (-O2):
define i32 @flt_sum(i32* nocapture writeonly %0, i32 %1, i32 %2, i32 %3, i32 %4) {
%6 = lshr i32 %1, 20
%7 = and i32 %6, 2047
%8 = lshr i32 %3, 20
%9 = and i32 %8, 2047
%10 = sub nsw i32 %7, %9
%11 = icmp slt i32 %10, -54
%12 = icmp eq i32 %7, 0
%13 = or i1 %12, %11
br i1 %13, label %139, label %14
14: ; preds = %5
%15 = icmp sgt i32 %10, 54
%16 = icmp eq i32 %9, 0
%17 = or i1 %16, %15
br i1 %17, label %139, label %18
18: ; preds = %14
%19 = and i32 %1, 1048575
%20 = or i32 %19, 1048576
%21 = and i32 %3, 1048575
%22 = or i32 %21, 1048576
%23 = icmp sgt i32 %10, 0
br i1 %23, label %24, label %51
24: ; preds = %18
%25 = icmp ugt i32 %10, 32
br i1 %25, label %29, label %26
26: ; preds = %24
%27 = sub nuw nsw i32 32, %10
%28 = shl i32 %4, %27
br label %35
29: ; preds = %24
%30 = add nsw i32 %10, -32
%31 = icmp eq i32 %4, 0
%32 = sub nuw nsw i32 64, %10
%33 = shl i32 %22, %32
%34 = or i32 %33, 1
br i1 %31, label %35, label %41
35: ; preds = %26, %29
%36 = phi i32 [ %28, %26 ], [ %33, %29 ]
%37 = phi i32 [ %27, %26 ], [ %32, %29 ]
%38 = phi i32 [ %10, %26 ], [ %30, %29 ]
%39 = phi i32 [ %22, %26 ], [ 0, %29 ]
%40 = phi i32 [ %4, %26 ], [ %22, %29 ]
br label %41
41: ; preds = %29, %35
%42 = phi i32 [ %37, %35 ], [ %32, %29 ]
%43 = phi i32 [ %38, %35 ], [ %30, %29 ]
%44 = phi i32 [ %39, %35 ], [ 0, %29 ]
%45 = phi i32 [ %40, %35 ], [ %22, %29 ]
%46 = phi i32 [ %36, %35 ], [ %34, %29 ]
%47 = shl i32 %44, %42
%48 = lshr i32 %45, %43
%49 = or i32 %48, %47
%50 = lshr i32 %44, %43
br label %81
51: ; preds = %18
%52 = icmp slt i32 %10, 0
br i1 %52, label %53, label %81
53: ; preds = %51
%54 = icmp ult i32 %10, -32
br i1 %54, label %59, label %55
55: ; preds = %53
%56 = sub nsw i32 0, %10
%57 = add nsw i32 %10, 32
%58 = shl i32 %2, %57
br label %65
59: ; preds = %53
%60 = icmp eq i32 %2, 0
%61 = sub nuw nsw i32 -32, %10
%62 = add nsw i32 %10, 64
%63 = shl i32 %20, %62
%64 = or i32 %63, 1
br i1 %60, label %65, label %71
65: ; preds = %55, %59
%66 = phi i32 [ %58, %55 ], [ %63, %59 ]
%67 = phi i32 [ %57, %55 ], [ %62, %59 ]
%68 = phi i32 [ %56, %55 ], [ %61, %59 ]
%69 = phi i32 [ %20, %55 ], [ 0, %59 ]
%70 = phi i32 [ %2, %55 ], [ %20, %59 ]
br label %71
71: ; preds = %59, %65
%72 = phi i32 [ %67, %65 ], [ %62, %59 ]
%73 = phi i32 [ %68, %65 ], [ %61, %59 ]
%74 = phi i32 [ %69, %65 ], [ 0, %59 ]
%75 = phi i32 [ %70, %65 ], [ %20, %59 ]
%76 = phi i32 [ %66, %65 ], [ %64, %59 ]
%77 = shl i32 %74, %72
%78 = lshr i32 %75, %73
%79 = or i32 %78, %77
%80 = lshr i32 %74, %73
br label %81
81: ; preds = %51, %71, %41
%82 = phi i32 [ %49, %41 ], [ %4, %71 ], [ %4, %51 ]
%83 = phi i32 [ %46, %41 ], [ %76, %71 ], [ 0, %51 ]
%84 = phi i32 [ %50, %41 ], [ %22, %71 ], [ %22, %51 ]
%85 = phi i32 [ %7, %41 ], [ %9, %71 ], [ %7, %51 ]
%86 = phi i32 [ %2, %41 ], [ %79, %71 ], [ %2, %51 ]
%87 = phi i32 [ %20, %41 ], [ %80, %71 ], [ %20, %51 ]
%88 = and i32 %86, 255
%89 = and i32 %82, 255
%90 = add nuw nsw i32 %88, %89
%91 = lshr i32 %86, 8
%92 = lshr i32 %82, 8
%93 = add nuw nsw i32 %91, %92
%94 = lshr i32 %90, 8
%95 = add nuw nsw i32 %93, %94
%96 = lshr i32 %95, 24
%97 = add i32 %87, %84
%98 = add i32 %97, %96
%99 = shl i32 %95, 8
%100 = and i32 %90, 255
%101 = or i32 %99, %100
%102 = and i32 %98, 2097152
%103 = icmp eq i32 %102, 0
br i1 %103, label %110, label %104
104: ; preds = %81
%105 = tail call i32 @llvm.fshl.i32(i32 %90, i32 %83, i32 31)
%106 = tail call i32 @llvm.fshl.i32(i32 %98, i32 %101, i32 31)
%107 = lshr i32 %98, 1
%108 = add nuw nsw i32 %85, 1
%109 = icmp ugt i32 %85, 2045
br i1 %109, label %143, label %110
110: ; preds = %104, %81
%111 = phi i32 [ %105, %104 ], [ %83, %81 ]
%112 = phi i32 [ %108, %104 ], [ %85, %81 ]
%113 = phi i32 [ %106, %104 ], [ %101, %81 ]
%114 = phi i32 [ %107, %104 ], [ %98, %81 ]
%115 = icmp sgt i32 %111, -1
br i1 %115, label %132, label %116
116: ; preds = %110
%117 = and i32 %113, 1
%118 = icmp ne i32 %117, 0
%119 = icmp ne i32 %111, -2147483648
%120 = select i1 %118, i1 true, i1 %119
br i1 %120, label %121, label %132
121: ; preds = %116
%122 = icmp eq i32 %113, -1
br i1 %122, label %123, label %130
123: ; preds = %121
%124 = add nuw i32 %114, 1
%125 = and i32 %124, 2097152
%126 = icmp eq i32 %125, 0
br i1 %126, label %132, label %127
127: ; preds = %123
%128 = add nuw nsw i32 %112, 1
%129 = icmp ugt i32 %112, 2045
br i1 %129, label %143, label %132
130: ; preds = %121
%131 = add nuw i32 %113, 1
br label %132
132: ; preds = %130, %127, %123, %116, %110
%133 = phi i32 [ %128, %127 ], [ %112, %123 ], [ %112, %130 ], [ %112, %116 ], [ %112, %110 ]
%134 = phi i32 [ 0, %127 ], [ 0, %123 ], [ %131, %130 ], [ %113, %116 ], [ %113, %110 ]
%135 = phi i32 [ 1048576, %127 ], [ %124, %123 ], [ %114, %130 ], [ %114, %116 ], [ %114, %110 ]
%136 = and i32 %135, -1048577
%137 = shl nuw nsw i32 %133, 20
%138 = or i32 %136, %137
br label %139
139: ; preds = %14, %5, %132
%140 = phi i32 [ %138, %132 ], [ %3, %5 ], [ %1, %14 ]
%141 = phi i32 [ %134, %132 ], [ %4, %5 ], [ %2, %14 ]
store i32 %140, i32* %0
%142 = getelementptr inbounds i32, i32* %0, i64 1
store i32 %141, i32* %142
br label %143
143: ; preds = %139, %127, %104
%144 = phi i32 [ 0, %104 ], [ 0, %127 ], [ 1, %139 ]
ret i32 %144
}