double addBytes(double total, double add, int *index) {
  if (*index > 0)
    for (int i = 0; i < *index; i++)
      add /= 1024;
  total += add;
  while (total > 1024 && *index < 3) {
    total /= 1024;
    (*index)++;
  }
  return total;
}


x86 assembly (clang, -O0):
<addBytes>:
push   %rbp
mov    %rsp,%rbp
movsd  %xmm0,-0x8(%rbp)
movsd  %xmm1,-0x10(%rbp)
mov    %rdi,-0x18(%rbp)
mov    -0x18(%rbp),%rax
cmpl   $0x0,(%rax)
jle    115e <addBytes+0x5e>
movl   $0x0,-0x1c(%rbp)
mov    -0x1c(%rbp),%eax
mov    -0x18(%rbp),%rcx
cmp    (%rcx),%eax
jge    1159 <addBytes+0x59>
movsd  -0x10(%rbp),%xmm0
movsd  0xebe(%rip),%xmm1
divsd  %xmm1,%xmm0
movsd  %xmm0,-0x10(%rbp)
mov    -0x1c(%rbp),%eax
add    $0x1,%eax
mov    %eax,-0x1c(%rbp)
jmp    1126 <addBytes+0x26>
jmp    115e <addBytes+0x5e>
movsd  -0x10(%rbp),%xmm0
addsd  -0x8(%rbp),%xmm0
movsd  %xmm0,-0x8(%rbp)
movsd  -0x8(%rbp),%xmm0
xor    %eax,%eax
movsd  0xe84(%rip),%xmm1
ucomisd %xmm1,%xmm0
mov    %al,-0x1d(%rbp)
jbe    1196 <addBytes+0x96>
mov    -0x18(%rbp),%rax
cmpl   $0x3,(%rax)
setl   %al
mov    %al,-0x1d(%rbp)
mov    -0x1d(%rbp),%al
test   $0x1,%al
jne    11a6 <addBytes+0xa6>
jmp    11cc <addBytes+0xcc>
movsd  -0x8(%rbp),%xmm0
movsd  0xe4d(%rip),%xmm1
divsd  %xmm1,%xmm0
movsd  %xmm0,-0x8(%rbp)
mov    -0x18(%rbp),%rax
mov    (%rax),%ecx
add    $0x1,%ecx
mov    %ecx,(%rax)
jmp    116d <addBytes+0x6d>
movsd  -0x8(%rbp),%xmm0
pop    %rbp
ret

x86 assembly (clang, -O2):
<addBytes>:
mov    (%rdi),%eax
test   %eax,%eax
jle    1169 <addBytes+0x69>
lea    -0x1(%rax),%edx
mov    %eax,%ecx
and    $0x7,%ecx
cmp    $0x7,%edx
jb     1145 <addBytes+0x45>
mov    %eax,%edx
and    $0xfffffff8,%edx
movsd  0xee0(%rip),%xmm2
mulsd  %xmm2,%xmm1
mulsd  %xmm2,%xmm1
mulsd  %xmm2,%xmm1
mulsd  %xmm2,%xmm1
mulsd  %xmm2,%xmm1
mulsd  %xmm2,%xmm1
mulsd  %xmm2,%xmm1
mulsd  %xmm2,%xmm1
add    $0xfffffff8,%edx
jne    1120 <addBytes+0x20>
test   %ecx,%ecx
je     1169 <addBytes+0x69>
movsd  0xeaf(%rip),%xmm2
cs nopw 0x0(%rax,%rax,1)
nopl   0x0(%rax,%rax,1)
mulsd  %xmm2,%xmm1
add    $0xffffffff,%ecx
jne    1160 <addBytes+0x60>
addsd  %xmm0,%xmm1
ucomisd 0xe93(%rip),%xmm1
jbe    11b7 <addBytes+0xb7>
cmp    $0x4,%eax
mov    $0x3,%ecx
cmovge %eax,%ecx
neg    %ecx
add    $0x1,%eax
movsd  0xe71(%rip),%xmm0
movsd  0xe71(%rip),%xmm2
nopw   0x0(%rax,%rax,1)
lea    (%rcx,%rax,1),%edx
cmp    $0x1,%edx
je     11b7 <addBytes+0xb7>
mulsd  %xmm0,%xmm1
mov    %eax,(%rdi)
add    $0x1,%eax
ucomisd %xmm2,%xmm1
ja     11a0 <addBytes+0xa0>
movapd %xmm1,%xmm0
ret

LLVM IR (-O0):
define double @addBytes(double %0, double %1, i32* %2) {
%4 = alloca double
%5 = alloca double
%6 = alloca i32*
%7 = alloca i32
store double %0, double* %4
store double %1, double* %5
store i32* %2, i32** %6
%8 = load i32*, i32** %6
%9 = load i32, i32* %8
%10 = icmp sgt i32 %9, 0
br i1 %10, label %11, label %24
11: ; preds = %3
store i32 0, i32* %7
br label %12
12: ; preds = %20, %11
%13 = load i32, i32* %7
%14 = load i32*, i32** %6
%15 = load i32, i32* %14
%16 = icmp slt i32 %13, %15
br i1 %16, label %17, label %23
17: ; preds = %12
%18 = load double, double* %5
%19 = fdiv double %18, 1.024000e+03
store double %19, double* %5
br label %20
20: ; preds = %17
%21 = load i32, i32* %7
%22 = add nsw i32 %21, 1
store i32 %22, i32* %7
br label %12
23: ; preds = %12
br label %24
24: ; preds = %23, %3
%25 = load double, double* %5
%26 = load double, double* %4
%27 = fadd double %26, %25
store double %27, double* %4
br label %28
28: ; preds = %37, %24
%29 = load double, double* %4
%30 = fcmp ogt double %29, 1.024000e+03
br i1 %30, label %31, label %35
31: ; preds = %28
%32 = load i32*, i32** %6
%33 = load i32, i32* %32
%34 = icmp slt i32 %33, 3
br label %35
35: ; preds = %31, %28
%36 = phi i1 [ false, %28 ], [ %34, %31 ]
br i1 %36, label %37, label %43
37: ; preds = %35
%38 = load double, double* %4
%39 = fdiv double %38, 1.024000e+03
store double %39, double* %4
%40 = load i32*, i32** %6
%41 = load i32, i32* %40
%42 = add nsw i32 %41, 1
store i32 %42, i32* %40
br label %28
43: ; preds = %35
%44 = load double, double* %4
ret double %44
}

LLVM IR (-O2):
define double @addBytes(double %0, double %1, i32* nocapture %2) {
%4 = load i32, i32* %2
%5 = icmp sgt i32 %4, 0
br i1 %5, label %6, label %35
6: ; preds = %3
%7 = add i32 %4, -1
%8 = and i32 %4, 7
%9 = icmp ult i32 %7, 7
br i1 %9, label %25, label %10
10: ; preds = %6
%11 = and i32 %4, -8
br label %12
12: ; preds = %12, %10
%13 = phi double [ %1, %10 ], [ %22, %12 ]
%14 = phi i32 [ 0, %10 ], [ %23, %12 ]
%15 = fmul double %13, 0x3F50000000000000
%16 = fmul double %15, 0x3F50000000000000
%17 = fmul double %16, 0x3F50000000000000
%18 = fmul double %17, 0x3F50000000000000
%19 = fmul double %18, 0x3F50000000000000
%20 = fmul double %19, 0x3F50000000000000
%21 = fmul double %20, 0x3F50000000000000
%22 = fmul double %21, 0x3F50000000000000
%23 = add i32 %14, 8
%24 = icmp eq i32 %23, %11
br i1 %24, label %25, label %12
25: ; preds = %12, %6
%26 = phi double [ undef, %6 ], [ %22, %12 ]
%27 = phi double [ %1, %6 ], [ %22, %12 ]
%28 = icmp eq i32 %8, 0
br i1 %28, label %35, label %29
29: ; preds = %25, %29
%30 = phi double [ %32, %29 ], [ %27, %25 ]
%31 = phi i32 [ %33, %29 ], [ 0, %25 ]
%32 = fmul double %30, 0x3F50000000000000
%33 = add i32 %31, 1
%34 = icmp eq i32 %33, %8
br i1 %34, label %35, label %29
35: ; preds = %25, %29, %3
%36 = phi double [ %1, %3 ], [ %26, %25 ], [ %32, %29 ]
%37 = fadd double %36, %0
%38 = fcmp ogt double %37, 1.024000e+03
br i1 %38, label %39, label %49
39: ; preds = %35
%40 = call i32 @llvm.smax.i32(i32 %4, i32 3)
br label %41
41: ; preds = %39, %45
%42 = phi i32 [ %4, %39 ], [ %47, %45 ]
%43 = phi double [ %37, %39 ], [ %46, %45 ]
%44 = icmp eq i32 %42, %40
br i1 %44, label %49, label %45
45: ; preds = %41
%46 = fmul double %43, 0x3F50000000000000
%47 = add i32 %42, 1
store i32 %47, i32* %2
%48 = fcmp ogt double %46, 1.024000e+03
br i1 %48, label %41, label %49
49: ; preds = %41, %45, %35
%50 = phi double [ %37, %35 ], [ %46, %45 ], [ %43, %41 ]
ret double %50
}