int flt_multiply(a, b, c)
double *a;
double *b;
double *c;
{
  unsigned int bh = ((unsigned int *)b)[0];
  unsigned int bl = ((unsigned int *)b)[1];
  unsigned int ch = ((unsigned int *)c)[0];
  unsigned int cl = ((unsigned int *)c)[1];
  int ax, bx, cx, as;
  unsigned int ah, al, carry;
  unsigned int aa[7], bb[4], cc[4];
  int i, j;
  as = (bh ^ ch) & 0x80000000;
  bx = (bh >> 20) & 0x7ff;
  cx = (ch >> 20) & 0x7ff;
  if (bx == 0 || cx == 0) {
    ((unsigned int *)a)[0] = as;
    ((unsigned int *)a)[1] = 0;
    return 1;
  }
  bh = (bh & 0xfffff) | 0x100000;
  ch = (ch & 0xfffff) | 0x100000;
  bb[0] = bh >> 7;
  bb[1] = ((bh & 0x7f) << 7) | (bl >> 25);
  bb[2] = (bl >> 11) & ~0x003fc000;
  bb[3] = (bl << 3) & 0x3fff;
  cc[0] = ch >> 7;
  cc[1] = ((ch & 0x7f) << 7) | (cl >> 25);
  cc[2] = (cl >> 11) & ~0x003fc000;
  cc[3] = (cl << 3) & 0x3fff;
  aa[0] = aa[1] = aa[2] = aa[3] = aa[4] = aa[5] = aa[6] = 0;
  for (i = 0; i < 4; i++)
    for (j = 0; j < 4; j++)
      aa[i + j] += bb[i] * cc[j];
  carry = 0;
  for (i = 6; i != 0; i--) {
    unsigned int w = aa[i] + carry;
    aa[i] = w & 0x3fff;
    carry = w >> 14;
  }
  carry = aa[0] + carry;
  ax = bx + cx - 0x3fe;
  if ((carry & 0x08000000) == 0) {
    carry = (carry << 1) | (aa[1] >> 13);
    aa[1] = ((aa[1] << 1) & ~0xc000) | (aa[2] >> 13);
    aa[2] = ((aa[2] << 1) & ~0xc000) | (aa[3] >> 13);
    ax -= 1;
  }
  ah = carry >> 7;
  al = ((carry & 0x7f) << 25) | (aa[1] << 11) | (aa[2] >> 3);
  carry =
      ((aa[2] & 0x3) | aa[3] | aa[4] | aa[5] | aa[6]) | ((aa[2] & 0x4) << 29);
  if ((carry & 0x80000000) && ((al & 1) != 0 || carry != 0x80000000)) {
    if (al == 0xffffffff) {
      al = 0;
      ah += 1;
      if (ah & 0x00200000) {
        ah = 0x00100000;
        ax += 1;
      }
    } else
      al += 1;
  }
  if (ax >= 0x7ff)
    return 0;
  else if (ax <= 0) {
    ((unsigned int *)a)[0] = as;
    ((unsigned int *)a)[1] = 0;
    return 1;
  }
  ((unsigned int *)a)[0] = (ah & ~0x00100000) | (ax << 20) | as;
  ((unsigned int *)a)[1] = al;
  return 1;
}


x86 assembly (clang, -O0):
<flt_multiply>:
push   %rbp
mov    %rsp,%rbp
sub    $0x20,%rsp
mov    %rdi,-0x10(%rbp)
mov    %rsi,-0x18(%rbp)
mov    %rdx,-0x20(%rbp)
mov    -0x18(%rbp),%rax
mov    (%rax),%eax
mov    %eax,-0x24(%rbp)
mov    -0x18(%rbp),%rax
mov    0x4(%rax),%eax
mov    %eax,-0x28(%rbp)
mov    -0x20(%rbp),%rax
mov    (%rax),%eax
mov    %eax,-0x2c(%rbp)
mov    -0x20(%rbp),%rax
mov    0x4(%rax),%eax
mov    %eax,-0x30(%rbp)
mov    -0x24(%rbp),%eax
xor    -0x2c(%rbp),%eax
and    $0x80000000,%eax
mov    %eax,-0x40(%rbp)
mov    -0x24(%rbp),%eax
shr    $0x14,%eax
and    $0x7ff,%eax
mov    %eax,-0x38(%rbp)
mov    -0x2c(%rbp),%eax
shr    $0x14,%eax
and    $0x7ff,%eax
mov    %eax,-0x3c(%rbp)
cmpl   $0x0,-0x38(%rbp)
je     1178 <flt_multiply+0x78>
cmpl   $0x0,-0x3c(%rbp)
jne    1198 <flt_multiply+0x98>
mov    -0x40(%rbp),%ecx
mov    -0x10(%rbp),%rax
mov    %ecx,(%rax)
mov    -0x10(%rbp),%rax
movl   $0x0,0x4(%rax)
movl   $0x1,-0x4(%rbp)
jmp    14fc <flt_multiply+0x3fc>
mov    -0x24(%rbp),%eax
and    $0xfffff,%eax
or     $0x100000,%eax
mov    %eax,-0x24(%rbp)
mov    -0x2c(%rbp),%eax
and    $0xfffff,%eax
or     $0x100000,%eax
mov    %eax,-0x2c(%rbp)
mov    -0x24(%rbp),%eax
shr    $0x7,%eax
mov    %eax,-0x80(%rbp)
mov    -0x24(%rbp),%eax
and    $0x7f,%eax
shl    $0x7,%eax
mov    -0x28(%rbp),%ecx
shr    $0x19,%ecx
or     %ecx,%eax
mov    %eax,-0x7c(%rbp)
mov    -0x28(%rbp),%eax
shr    $0xb,%eax
and    $0xffc03fff,%eax
mov    %eax,-0x78(%rbp)
mov    -0x28(%rbp),%eax
shl    $0x3,%eax
and    $0x3fff,%eax
mov    %eax,-0x74(%rbp)
mov    -0x2c(%rbp),%eax
shr    $0x7,%eax
mov    %eax,-0x90(%rbp)
mov    -0x2c(%rbp),%eax
and    $0x7f,%eax
shl    $0x7,%eax
mov    -0x30(%rbp),%ecx
shr    $0x19,%ecx
or     %ecx,%eax
mov    %eax,-0x8c(%rbp)
mov    -0x30(%rbp),%eax
shr    $0xb,%eax
and    $0xffc03fff,%eax
mov    %eax,-0x88(%rbp)
mov    -0x30(%rbp),%eax
shl    $0x3,%eax
and    $0x3fff,%eax
mov    %eax,-0x84(%rbp)
movl   $0x0,-0x58(%rbp)
movl   $0x0,-0x5c(%rbp)
movl   $0x0,-0x60(%rbp)
movl   $0x0,-0x64(%rbp)
movl   $0x0,-0x68(%rbp)
movl   $0x0,-0x6c(%rbp)
movl   $0x0,-0x70(%rbp)
movl   $0x0,-0x94(%rbp)
cmpl   $0x4,-0x94(%rbp)
jge    12f2 <flt_multiply+0x1f2>
movl   $0x0,-0x98(%rbp)
cmpl   $0x4,-0x98(%rbp)
jge    12d9 <flt_multiply+0x1d9>
movslq -0x94(%rbp),%rax
mov    -0x80(%rbp,%rax,4),%ecx
movslq -0x98(%rbp),%rax
imul   -0x90(%rbp,%rax,4),%ecx
ff
mov    -0x94(%rbp),%eax
add    -0x98(%rbp),%eax
cltq
add    -0x70(%rbp,%rax,4),%ecx
mov    %ecx,-0x70(%rbp,%rax,4)
mov    -0x98(%rbp),%eax
add    $0x1,%eax
mov    %eax,-0x98(%rbp)
jmp    1288 <flt_multiply+0x188>
jmp    12de <flt_multiply+0x1de>
mov    -0x94(%rbp),%eax
add    $0x1,%eax
mov    %eax,-0x94(%rbp)
jmp    1271 <flt_multiply+0x171>
movl   $0x0,-0x4c(%rbp)
movl   $0x6,-0x94(%rbp)
cmpl   $0x0,-0x94(%rbp)
je     135b <flt_multiply+0x25b>
movslq -0x94(%rbp),%rax
mov    -0x70(%rbp,%rax,4),%eax
add    -0x4c(%rbp),%eax
mov    %eax,-0x9c(%rbp)
mov    -0x9c(%rbp),%ecx
and    $0x3fff,%ecx
movslq -0x94(%rbp),%rax
mov    %ecx,-0x70(%rbp,%rax,4)
mov    -0x9c(%rbp),%eax
shr    $0xe,%eax
mov    %eax,-0x4c(%rbp)
mov    -0x94(%rbp),%eax
add    $0xffffffff,%eax
mov    %eax,-0x94(%rbp)
jmp    1303 <flt_multiply+0x203>
mov    -0x70(%rbp),%eax
add    -0x4c(%rbp),%eax
mov    %eax,-0x4c(%rbp)
mov    -0x38(%rbp),%eax
add    -0x3c(%rbp),%eax
sub    $0x3fe,%eax
mov    %eax,-0x34(%rbp)
mov    -0x4c(%rbp),%eax
and    $0x8000000,%eax
cmp    $0x0,%eax
jne    13c9 <flt_multiply+0x2c9>
mov    -0x4c(%rbp),%eax
shl    $0x1,%eax
mov    -0x6c(%rbp),%ecx
shr    $0xd,%ecx
or     %ecx,%eax
mov    %eax,-0x4c(%rbp)
mov    -0x6c(%rbp),%eax
shl    $0x1,%eax
and    $0xffff3fff,%eax
mov    -0x68(%rbp),%ecx
shr    $0xd,%ecx
or     %ecx,%eax
mov    %eax,-0x6c(%rbp)
mov    -0x68(%rbp),%eax
shl    $0x1,%eax
and    $0xffff3fff,%eax
mov    -0x64(%rbp),%ecx
shr    $0xd,%ecx
or     %ecx,%eax
mov    %eax,-0x68(%rbp)
mov    -0x34(%rbp),%eax
sub    $0x1,%eax
mov    %eax,-0x34(%rbp)
mov    -0x4c(%rbp),%eax
shr    $0x7,%eax
mov    %eax,-0x44(%rbp)
mov    -0x4c(%rbp),%eax
and    $0x7f,%eax
shl    $0x19,%eax
mov    -0x6c(%rbp),%ecx
shl    $0xb,%ecx
or     %ecx,%eax
mov    -0x68(%rbp),%ecx
shr    $0x3,%ecx
or     %ecx,%eax
mov    %eax,-0x48(%rbp)
mov    -0x68(%rbp),%eax
and    $0x3,%eax
or     -0x64(%rbp),%eax
or     -0x60(%rbp),%eax
or     -0x5c(%rbp),%eax
or     -0x58(%rbp),%eax
mov    -0x68(%rbp),%ecx
and    $0x4,%ecx
shl    $0x1d,%ecx
or     %ecx,%eax
mov    %eax,-0x4c(%rbp)
mov    -0x4c(%rbp),%eax
and    $0x80000000,%eax
cmp    $0x0,%eax
je     1489 <flt_multiply+0x389>
mov    -0x48(%rbp),%eax
and    $0x1,%eax
cmp    $0x0,%eax
jne    143b <flt_multiply+0x33b>
cmpl   $0x80000000,-0x4c(%rbp)
je     1489 <flt_multiply+0x389>
cmpl   $0xffffffff,-0x48(%rbp)
jne    147b <flt_multiply+0x37b>
movl   $0x0,-0x48(%rbp)
mov    -0x44(%rbp),%eax
add    $0x1,%eax
mov    %eax,-0x44(%rbp)
mov    -0x44(%rbp),%eax
and    $0x200000,%eax
cmp    $0x0,%eax
je     1476 <flt_multiply+0x376>
movl   $0x100000,-0x44(%rbp)
mov    -0x34(%rbp),%eax
add    $0x1,%eax
mov    %eax,-0x34(%rbp)
jmp    1484 <flt_multiply+0x384>
mov    -0x48(%rbp),%eax
add    $0x1,%eax
mov    %eax,-0x48(%rbp)
jmp    1489 <flt_multiply+0x389>
cmpl   $0x7ff,-0x34(%rbp)
jl     14a2 <flt_multiply+0x3a2>
movl   $0x0,-0x4(%rbp)
jmp    14fc <flt_multiply+0x3fc>
cmpl   $0x0,-0x34(%rbp)
jg     14cc <flt_multiply+0x3cc>
mov    -0x40(%rbp),%ecx
mov    -0x10(%rbp),%rax
mov    %ecx,(%rax)
mov    -0x10(%rbp),%rax
movl   $0x0,0x4(%rax)
movl   $0x1,-0x4(%rbp)
jmp    14fc <flt_multiply+0x3fc>
jmp    14d1 <flt_multiply+0x3d1>
mov    -0x44(%rbp),%ecx
and    $0xffefffff,%ecx
mov    -0x34(%rbp),%eax
shl    $0x14,%eax
or     %eax,%ecx
or     -0x40(%rbp),%ecx
mov    -0x10(%rbp),%rax
mov    %ecx,(%rax)
mov    -0x48(%rbp),%ecx
mov    -0x10(%rbp),%rax
mov    %ecx,0x4(%rax)
movl   $0x1,-0x4(%rbp)
mov    -0x4(%rbp),%eax
add    $0x20,%rsp
pop    %rbp
ret

x86 assembly (clang, -O2):
<flt_multiply>:
push   %rbp
push   %r15
push   %r14
push   %r13
push   %r12
push   %rbx
mov    (%rsi),%r12d
mov    (%rdx),%r8d
mov    %r8d,%r14d
xor    %r12d,%r14d
and    $0x80000000,%r14d
mov    %r12d,%r10d
shr    $0x14,%r10d
xor    %r11d,%r11d
and    $0x7ff,%r10d
je     134e <flt_multiply+0x24e>
mov    %r8d,%r9d
shr    $0x14,%r9d
and    $0x7ff,%r9d
je     134e <flt_multiply+0x24e>
mov    %rdi,-0x8(%rsp)
mov    0x4(%rsi),%r11d
mov    0x4(%rdx),%eax
mov    %r12d,%ebx
shr    $0x7,%ebx
and    $0x1fff,%ebx
shld   $0x7,%r11d,%r12d
or     $0x2000,%ebx
and    $0x3fff,%r12d
mov    %r11d,%esi
shr    $0xb,%esi
and    $0x3fff,%esi
shl    $0x3,%r11d
and    $0x3ff8,%r11d
mov    %r8d,%ecx
shr    $0x7,%ecx
and    $0x1fff,%ecx
or     $0x2000,%ecx
shld   $0x7,%eax,%r8d
and    $0x3fff,%r8d
mov    %eax,%edx
shr    $0xb,%edx
and    $0x3fff,%edx
shl    $0x3,%eax
and    $0x3ff8,%eax
mov    %ecx,%edi
imul   %ebx,%edi
mov    %edi,-0xc(%rsp)
mov    %r8d,%edi
imul   %ebx,%edi
mov    %edx,%r15d
imul   %ebx,%r15d
imul   %eax,%ebx
mov    %ecx,%r13d
imul   %r12d,%r13d
add    %edi,%r13d
mov    %r8d,%edi
imul   %r12d,%edi
add    %r15d,%edi
mov    %edx,%ebp
imul   %r12d,%ebp
add    %ebx,%ebp
imul   %eax,%r12d
mov    %ecx,%ebx
imul   %esi,%ebx
add    %edi,%ebx
mov    %r8d,%edi
imul   %esi,%edi
add    %ebp,%edi
mov    %edx,%ebp
imul   %esi,%ebp
add    %r12d,%ebp
imul   %eax,%esi
imul   %r11d,%ecx
add    %edi,%ecx
imul   %r11d,%r8d
add    %ebp,%r8d
imul   %r11d,%edx
add    %esi,%edx
imul   %r11d,%eax
mov    %eax,%edi
and    $0x3fc0,%edi
shr    $0xe,%eax
add    %edx,%eax
mov    %eax,%r15d
and    $0x3fff,%r15d
shr    $0xe,%eax
add    %r8d,%eax
mov    %eax,%ebp
and    $0x3fff,%ebp
shr    $0xe,%eax
add    %ecx,%eax
mov    %eax,%esi
and    $0x3fff,%esi
shr    $0xe,%eax
add    %ebx,%eax
mov    %eax,%ebx
and    $0x3fff,%ebx
shr    $0xe,%eax
add    %r13d,%eax
mov    %eax,%edx
and    $0x3fff,%edx
shr    $0xe,%eax
add    -0xc(%rsp),%eax
test   $0x8000000,%eax
jne    12af <flt_multiply+0x1af>
add    %r10d,%r9d
mov    %edx,%ecx
shr    $0xd,%ecx
lea    (%rcx,%rax,2),%eax
and    $0x1fff,%edx
mov    %ebx,%ecx
shr    $0xd,%ecx
lea    (%rcx,%rdx,2),%edx
and    $0x1fff,%ebx
mov    %esi,%ecx
shr    $0xd,%ecx
lea    (%rcx,%rbx,2),%ebx
add    $0xfffffc01,%r9d
jmp    12b9 <flt_multiply+0x1b9>
add    %r10d,%r9d
add    $0xfffffc02,%r9d
mov    %eax,%ecx
shr    $0x7,%ecx
shl    $0x19,%eax
shl    $0xb,%edx
or     %eax,%edx
mov    %ebx,%r11d
shr    $0x3,%r11d
or     %edx,%r11d
mov    %ebx,%edx
and    $0x3,%edx
or     %esi,%edx
or     %ebp,%edx
mov    %ebx,%eax
and    $0xfffffffc,%eax
shl    $0x1d,%eax
or     %edx,%eax
or     %r15d,%eax
or     %edi,%eax
jns    1321 <flt_multiply+0x221>
test   $0x8,%bl
jne    12f6 <flt_multiply+0x1f6>
cmp    $0x80000000,%eax
je     1321 <flt_multiply+0x221>
cmp    $0xffffffff,%r11d
je     1302 <flt_multiply+0x202>
add    $0x1,%r11d
jmp    1321 <flt_multiply+0x221>
add    $0x1,%ecx
mov    %ecx,%eax
and    $0x200000,%eax
mov    %eax,%edx
shr    $0x15,%edx
add    %edx,%r9d
test   %eax,%eax
mov    $0x100000,%eax
cmovne %eax,%ecx
xor    %r11d,%r11d
xor    %eax,%eax
cmp    $0x7fe,%r9d
jg     135a <flt_multiply+0x25a>
test   %r9d,%r9d
jle    1346 <flt_multiply+0x246>
and    $0xefffff,%ecx
shl    $0x14,%r9d
or     %r14d,%r9d
or     %ecx,%r9d
mov    %r9d,%r14d
jmp    1349 <flt_multiply+0x249>
xor    %r11d,%r11d
mov    -0x8(%rsp),%rdi
mov    %r14d,(%rdi)
mov    %r11d,0x4(%rdi)
mov    $0x1,%eax
pop    %rbx
pop    %r12
pop    %r13
pop    %r14
pop    %r15
pop    %rbp
ret

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

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