void make_mono(float *stereo, float *mono, int num) {
  unsigned int i;
  for (i = 0; i < num; i++)
    mono[i] = (float)((stereo[i * 2] + stereo[i * 2 + 1]) / 2);
}


x86 assembly (clang, -O0):
<make_mono>:
push   %rbp
mov    %rsp,%rbp
mov    %rdi,-0x8(%rbp)
mov    %rsi,-0x10(%rbp)
mov    %edx,-0x14(%rbp)
movl   $0x0,-0x18(%rbp)
mov    -0x18(%rbp),%eax
cmp    -0x14(%rbp),%eax
jae    116d <make_mono+0x6d>
mov    -0x8(%rbp),%rax
mov    -0x18(%rbp),%ecx
shl    $0x1,%ecx
mov    %ecx,%ecx
movss  (%rax,%rcx,4),%xmm0
mov    -0x8(%rbp),%rax
mov    -0x18(%rbp),%ecx
shl    $0x1,%ecx
add    $0x1,%ecx
mov    %ecx,%ecx
addss  (%rax,%rcx,4),%xmm0
movss  0xeb1(%rip),%xmm1
divss  %xmm1,%xmm0
mov    -0x10(%rbp),%rax
mov    -0x18(%rbp),%ecx
movss  %xmm0,(%rax,%rcx,4)
mov    -0x18(%rbp),%eax
add    $0x1,%eax
mov    %eax,-0x18(%rbp)
jmp    1116 <make_mono+0x16>
pop    %rbp
ret

x86 assembly (clang, -O2):
<make_mono>:
test   %edx,%edx
je     1245 <make_mono+0x145>
mov    %edx,%eax
cmp    $0x8,%edx
jb     1129 <make_mono+0x29>
lea    (%rdi,%rax,8),%rcx
cmp    %rsi,%rcx
jbe    11d4 <make_mono+0xd4>
lea    (%rsi,%rax,4),%rcx
cmp    %rdi,%rcx
jbe    11d4 <make_mono+0xd4>
xor    %r8d,%r8d
mov    %r8,%rcx
not    %rcx
test   $0x1,%al
je     115d <make_mono+0x5d>
lea    (%r8,%r8,1),%edx
movss  (%rdi,%rdx,4),%xmm0
lea    (%r8,%r8,1),%edx
add    $0x1,%edx
addss  (%rdi,%rdx,4),%xmm0
mulss  0xebd(%rip),%xmm0
movss  %xmm0,(%rsi,%r8,4)
or     $0x1,%r8
add    %rax,%rcx
je     1245 <make_mono+0x145>
sub    %r8,%rax
lea    (%rsi,%r8,4),%r9
add    $0x4,%r9
and    $0x7fffffff,%r8d
add    %r8,%r8
xor    %esi,%esi
movss  0xe8b(%rip),%xmm0
cs nopw 0x0(%rax,%rax,1)
nop
lea    (%r8,%rsi,1),%rcx
mov    %ecx,%edx
movss  (%rdi,%rdx,4),%xmm1
lea    0x1(%rcx),%edx
addss  (%rdi,%rdx,4),%xmm1
mulss  %xmm0,%xmm1
movss  %xmm1,-0x4(%r9,%rsi,2)
lea    0x2(%rcx),%edx
movss  (%rdi,%rdx,4),%xmm1
add    $0x3,%ecx
addss  (%rdi,%rcx,4),%xmm1
mulss  %xmm0,%xmm1
movss  %xmm1,(%r9,%rsi,2)
add    $0x4,%rsi
add    $0xfffffffffffffffe,%rax
jne    1190 <make_mono+0x90>
jmp    1245 <make_mono+0x145>
mov    %eax,%r8d
and    $0xfffffff8,%r8d
lea    (%rax,%rax,1),%r9
and    $0xfffffffffffffff0,%r9
xor    %edx,%edx
movaps 0xe14(%rip),%xmm0
nopl   0x0(%rax)
mov    %edx,%ecx
and    $0xfffffff0,%ecx
movups (%rdi,%rcx,4),%xmm1
movups 0x10(%rdi,%rcx,4),%xmm2
movups 0x20(%rdi,%rcx,4),%xmm3
movups 0x30(%rdi,%rcx,4),%xmm4
movaps %xmm1,%xmm5
shufps $0x88,%xmm2,%xmm5
movaps %xmm3,%xmm6
shufps $0x88,%xmm4,%xmm6
shufps $0xdd,%xmm2,%xmm1
addps  %xmm5,%xmm1
shufps $0xdd,%xmm4,%xmm3
addps  %xmm6,%xmm3
mulps  %xmm0,%xmm1
mulps  %xmm0,%xmm3
movups %xmm1,(%rsi,%rdx,2)
movups %xmm3,0x10(%rsi,%rdx,2)
add    $0x10,%rdx
cmp    %rdx,%r9
jne    11f0 <make_mono+0xf0>
cmp    %rax,%r8
jne    112c <make_mono+0x2c>
ret

LLVM IR (-O0):
define void @make_mono(float* %0, float* %1, i32 %2) {
%4 = alloca float*
%5 = alloca float*
%6 = alloca i32
%7 = alloca i32
store float* %0, float** %4
store float* %1, float** %5
store i32 %2, i32* %6
store i32 0, i32* %7
br label %8
8: ; preds = %32, %3
%9 = load i32, i32* %7
%10 = load i32, i32* %6
%11 = icmp ult i32 %9, %10
br i1 %11, label %12, label %35
12: ; preds = %8
%13 = load float*, float** %4
%14 = load i32, i32* %7
%15 = mul i32 %14, 2
%16 = zext i32 %15 to i64
%17 = getelementptr inbounds float, float* %13, i64 %16
%18 = load float, float* %17
%19 = load float*, float** %4
%20 = load i32, i32* %7
%21 = mul i32 %20, 2
%22 = add i32 %21, 1
%23 = zext i32 %22 to i64
%24 = getelementptr inbounds float, float* %19, i64 %23
%25 = load float, float* %24
%26 = fadd float %18, %25
%27 = fdiv float %26, 2.000000e+00
%28 = load float*, float** %5
%29 = load i32, i32* %7
%30 = zext i32 %29 to i64
%31 = getelementptr inbounds float, float* %28, i64 %30
store float %27, float* %31
br label %32
32: ; preds = %12
%33 = load i32, i32* %7
%34 = add i32 %33, 1
store i32 %34, i32* %7
br label %8
35: ; preds = %8
ret void
}

LLVM IR (-O2):
define void @make_mono(float* nocapture %0, float* nocapture writeonly %1, i32 %2) {
%4 = icmp eq i32 %2, 0
br i1 %4, label %98, label %5
5: ; preds = %3
%6 = zext i32 %2 to i64
%7 = icmp ult i32 %2, 8
br i1 %7, label %46, label %8
8: ; preds = %5
%9 = getelementptr float, float* %1, i64 %6
%10 = shl nuw nsw i64 %6, 1
%11 = getelementptr float, float* %0, i64 %10
%12 = icmp ugt float* %11, %1
%13 = icmp ugt float* %9, %0
%14 = and i1 %12, %13
br i1 %14, label %46, label %15
15: ; preds = %8
%16 = and i64 %6, 4294967288
br label %17
17: ; preds = %17, %15
%18 = phi i64 [ 0, %15 ], [ %42, %17 ]
%19 = shl i64 %18, 1
%20 = shl i64 %18, 1
%21 = and i64 %19, 4294967280
%22 = and i64 %20, 4294967280
%23 = or i64 %22, 8
%24 = getelementptr inbounds float, float* %0, i64 %21
%25 = getelementptr inbounds float, float* %0, i64 %23
%26 = bitcast float* %24 to <8 x float>*
%27 = bitcast float* %25 to <8 x float>*
%28 = load <8 x float>, <8 x float>* %26
%29 = load <8 x float>, <8 x float>* %27
%30 = shufflevector <8 x float> %28, <8 x float> poison, <4 x i32> <i32 0, i32 2, i32 4, i32 6>
%31 = shufflevector <8 x float> %29, <8 x float> poison, <4 x i32> <i32 0, i32 2, i32 4, i32 6>
%32 = shufflevector <8 x float> %28, <8 x float> poison, <4 x i32> <i32 1, i32 3, i32 5, i32 7>
%33 = shufflevector <8 x float> %29, <8 x float> poison, <4 x i32> <i32 1, i32 3, i32 5, i32 7>
%34 = fadd <4 x float> %30, %32
%35 = fadd <4 x float> %31, %33
%36 = fmul <4 x float> %34, <float 5.000000e-01, float 5.000000e-01, float 5.000000e-01, float 5.000000e-01>
%37 = fmul <4 x float> %35, <float 5.000000e-01, float 5.000000e-01, float 5.000000e-01, float 5.000000e-01>
%38 = getelementptr inbounds float, float* %1, i64 %18
%39 = bitcast float* %38 to <4 x float>*
store <4 x float> %36, <4 x float>* %39
%40 = getelementptr inbounds float, float* %38, i64 4
%41 = bitcast float* %40 to <4 x float>*
store <4 x float> %37, <4 x float>* %41
%42 = add nuw i64 %18, 8
%43 = icmp eq i64 %42, %16
br i1 %43, label %44, label %17
44: ; preds = %17
%45 = icmp eq i64 %16, %6
br i1 %45, label %98, label %46
46: ; preds = %8, %5, %44
%47 = phi i64 [ 0, %8 ], [ 0, %5 ], [ %16, %44 ]
%48 = xor i64 %47, -1
%49 = and i64 %6, 1
%50 = icmp eq i64 %49, 0
br i1 %50, label %65, label %51
51: ; preds = %46
%52 = trunc i64 %47 to i32
%53 = shl i32 %52, 1
%54 = zext i32 %53 to i64
%55 = getelementptr inbounds float, float* %0, i64 %54
%56 = load float, float* %55
%57 = or i32 %53, 1
%58 = zext i32 %57 to i64
%59 = getelementptr inbounds float, float* %0, i64 %58
%60 = load float, float* %59
%61 = fadd float %56, %60
%62 = fmul float %61, 5.000000e-01
%63 = getelementptr inbounds float, float* %1, i64 %47
store float %62, float* %63
%64 = or i64 %47, 1
br label %65
65: ; preds = %51, %46
%66 = phi i64 [ %47, %46 ], [ %64, %51 ]
%67 = sub nsw i64 0, %6
%68 = icmp eq i64 %48, %67
br i1 %68, label %98, label %69
69: ; preds = %65, %69
%70 = phi i64 [ %96, %69 ], [ %66, %65 ]
%71 = trunc i64 %70 to i32
%72 = shl i32 %71, 1
%73 = zext i32 %72 to i64
%74 = getelementptr inbounds float, float* %0, i64 %73
%75 = load float, float* %74
%76 = or i32 %72, 1
%77 = zext i32 %76 to i64
%78 = getelementptr inbounds float, float* %0, i64 %77
%79 = load float, float* %78
%80 = fadd float %75, %79
%81 = fmul float %80, 5.000000e-01
%82 = getelementptr inbounds float, float* %1, i64 %70
store float %81, float* %82
%83 = add nuw nsw i64 %70, 1
%84 = trunc i64 %83 to i32
%85 = shl i32 %84, 1
%86 = zext i32 %85 to i64
%87 = getelementptr inbounds float, float* %0, i64 %86
%88 = load float, float* %87
%89 = or i32 %85, 1
%90 = zext i32 %89 to i64
%91 = getelementptr inbounds float, float* %0, i64 %90
%92 = load float, float* %91
%93 = fadd float %88, %92
%94 = fmul float %93, 5.000000e-01
%95 = getelementptr inbounds float, float* %1, i64 %83
store float %94, float* %95
%96 = add nuw nsw i64 %70, 2
%97 = icmp eq i64 %96, %6
br i1 %97, label %98, label %69
98: ; preds = %65, %69, %44, %3
ret void
}