void buffer_sub(const float *a, const float *b, const float *c, int cnt) {
  int i;
  float *h;
  h = c;
  for (i = 0; i < cnt; ++i)
    *h++ = *a++ - *b++;
}


x86 assembly (clang, -O0):
<buffer_sub>:
push   %rbp
mov    %rsp,%rbp
mov    %rdi,-0x8(%rbp)
mov    %rsi,-0x10(%rbp)
mov    %rdx,-0x18(%rbp)
mov    %ecx,-0x1c(%rbp)
mov    -0x18(%rbp),%rax
mov    %rax,-0x28(%rbp)
movl   $0x0,-0x20(%rbp)
mov    -0x20(%rbp),%eax
cmp    -0x1c(%rbp),%eax
jge    1175 <buffer_sub+0x75>
mov    -0x8(%rbp),%rax
mov    %rax,%rcx
add    $0x4,%rcx
mov    %rcx,-0x8(%rbp)
movss  (%rax),%xmm0
mov    -0x10(%rbp),%rax
mov    %rax,%rcx
add    $0x4,%rcx
mov    %rcx,-0x10(%rbp)
subss  (%rax),%xmm0
mov    -0x28(%rbp),%rax
mov    %rax,%rcx
add    $0x4,%rcx
mov    %rcx,-0x28(%rbp)
movss  %xmm0,(%rax)
mov    -0x20(%rbp),%eax
add    $0x1,%eax
mov    %eax,-0x20(%rbp)
jmp    1122 <buffer_sub+0x22>
pop    %rbp
ret

x86 assembly (clang, -O2):
<buffer_sub>:
push   %rbp
push   %rbx
test   %ecx,%ecx
jle    12cb <buffer_sub+0x1cb>
lea    -0x1(%rcx),%r9d
xor    %r8d,%r8d
cmp    $0x7,%r9d
jae    11d2 <buffer_sub+0xd2>
mov    %ecx,%r10d
sub    %r8d,%r10d
mov    %r8d,%r9d
not    %r9d
add    %ecx,%r9d
and    $0x3,%r10d
je     1163 <buffer_sub+0x63>
neg    %r10d
xor    %eax,%eax
cs nopw 0x0(%rax,%rax,1)
nop
movss  (%rdi),%xmm0
add    $0x4,%rdi
subss  (%rsi),%xmm0
add    $0x4,%rsi
movss  %xmm0,(%rdx)
add    $0x4,%rdx
add    $0xffffffff,%eax
cmp    %eax,%r10d
jne    1140 <buffer_sub+0x40>
sub    %eax,%r8d
cmp    $0x3,%r9d
jb     12cb <buffer_sub+0x1cb>
sub    %r8d,%ecx
xor    %eax,%eax
cs nopw 0x0(%rax,%rax,1)
nopl   0x0(%rax)
movss  (%rdi,%rax,4),%xmm0
subss  (%rsi,%rax,4),%xmm0
movss  %xmm0,(%rdx,%rax,4)
movss  0x4(%rdi,%rax,4),%xmm0
subss  0x4(%rsi,%rax,4),%xmm0
movss  %xmm0,0x4(%rdx,%rax,4)
movss  0x8(%rdi,%rax,4),%xmm0
subss  0x8(%rsi,%rax,4),%xmm0
movss  %xmm0,0x8(%rdx,%rax,4)
movss  0xc(%rdi,%rax,4),%xmm0
subss  0xc(%rsi,%rax,4),%xmm0
movss  %xmm0,0xc(%rdx,%rax,4)
add    $0x4,%rax
cmp    %eax,%ecx
jne    1180 <buffer_sub+0x80>
jmp    12cb <buffer_sub+0x1cb>
lea    (%rdi,%r9,4),%rax
add    $0x4,%rax
cmp    %rdx,%rax
seta   %r11b
lea    (%rdx,%r9,4),%rax
add    $0x4,%rax
cmp    %rdi,%rax
seta   %bpl
lea    (%rsi,%r9,4),%rbx
add    $0x4,%rbx
cmp    %rdx,%rbx
seta   %bl
cmp    %rsi,%rax
seta   %r10b
test   %bpl,%r11b
jne    111b <buffer_sub+0x1b>
and    %r10b,%bl
jne    111b <buffer_sub+0x1b>
add    $0x1,%r9
mov    %r9,%r8
and    $0xfffffffffffffff8,%r8
lea    -0x8(%r8),%rax
mov    %rax,%r10
shr    $0x3,%r10
add    $0x1,%r10
test   %rax,%rax
je     12df <buffer_sub+0x1df>
mov    %r10,%r11
and    $0xfffffffffffffffe,%r11
xor    %eax,%eax
cs nopw 0x0(%rax,%rax,1)
nopl   (%rax)
movups (%rdi,%rax,4),%xmm0
movups 0x10(%rdi,%rax,4),%xmm1
movups (%rsi,%rax,4),%xmm2
subps  %xmm2,%xmm0
movups 0x10(%rsi,%rax,4),%xmm2
subps  %xmm2,%xmm1
movups %xmm0,(%rdx,%rax,4)
movups %xmm1,0x10(%rdx,%rax,4)
movups 0x20(%rdi,%rax,4),%xmm0
movups 0x30(%rdi,%rax,4),%xmm1
movups 0x20(%rsi,%rax,4),%xmm2
subps  %xmm2,%xmm0
movups 0x30(%rsi,%rax,4),%xmm2
subps  %xmm2,%xmm1
movups %xmm0,0x20(%rdx,%rax,4)
movups %xmm1,0x30(%rdx,%rax,4)
add    $0x10,%rax
add    $0xfffffffffffffffe,%r11
jne    1250 <buffer_sub+0x150>
test   $0x1,%r10b
je     12c6 <buffer_sub+0x1c6>
movups (%rdi,%rax,4),%xmm0
movups 0x10(%rdi,%rax,4),%xmm1
movups (%rsi,%rax,4),%xmm2
subps  %xmm2,%xmm0
movups 0x10(%rsi,%rax,4),%xmm2
subps  %xmm2,%xmm1
movups %xmm0,(%rdx,%rax,4)
movups %xmm1,0x10(%rdx,%rax,4)
cmp    %r8,%r9
jne    12ce <buffer_sub+0x1ce>
pop    %rbx
pop    %rbp
ret
lea    (%rdx,%r8,4),%rdx
lea    (%rdi,%r8,4),%rdi
lea    (%rsi,%r8,4),%rsi
jmp    111b <buffer_sub+0x1b>
xor    %eax,%eax
test   $0x1,%r10b
jne    12a5 <buffer_sub+0x1a5>
jmp    12c6 <buffer_sub+0x1c6>

LLVM IR (-O0):
define void @buffer_sub(float* %0, float* %1, float* %2, i32 %3) {
%5 = alloca float*
%6 = alloca float*
%7 = alloca float*
%8 = alloca i32
%9 = alloca i32
%10 = alloca float*
store float* %0, float** %5
store float* %1, float** %6
store float* %2, float** %7
store i32 %3, i32* %8
%11 = load float*, float** %7
store float* %11, float** %10
store i32 0, i32* %9
br label %12
12: ; preds = %26, %4
%13 = load i32, i32* %9
%14 = load i32, i32* %8
%15 = icmp slt i32 %13, %14
br i1 %15, label %16, label %29
16: ; preds = %12
%17 = load float*, float** %5
%18 = getelementptr inbounds float, float* %17, i32 1
store float* %18, float** %5
%19 = load float, float* %17
%20 = load float*, float** %6
%21 = getelementptr inbounds float, float* %20, i32 1
store float* %21, float** %6
%22 = load float, float* %20
%23 = fsub float %19, %22
%24 = load float*, float** %10
%25 = getelementptr inbounds float, float* %24, i32 1
store float* %25, float** %10
store float %23, float* %24
br label %26
26: ; preds = %16
%27 = load i32, i32* %9
%28 = add nsw i32 %27, 1
store i32 %28, i32* %9
br label %12
29: ; preds = %12
ret void
}

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