float fa_conv(const float *x, const float h[], int h_len) {
  int i, j;
  float y;
  const float *xp;
  y = 0.0;
  xp = x - (h_len - 1);
  for (i = 0, j = h_len - 1; i < h_len; i++, j--)
    y += h[i] * xp[j];
  return y;
}


x86 assembly (clang, -O0):
<fa_conv>:
push   %rbp
mov    %rsp,%rbp
mov    %rdi,-0x8(%rbp)
mov    %rsi,-0x10(%rbp)
mov    %edx,-0x14(%rbp)
xorps  %xmm0,%xmm0
movss  %xmm0,-0x20(%rbp)
mov    -0x8(%rbp),%rax
mov    -0x14(%rbp),%ecx
sub    $0x1,%ecx
movslq %ecx,%rdx
xor    %ecx,%ecx
sub    %rdx,%rcx
shl    $0x2,%rcx
add    %rcx,%rax
mov    %rax,-0x28(%rbp)
movl   $0x0,-0x18(%rbp)
mov    -0x14(%rbp),%eax
sub    $0x1,%eax
mov    %eax,-0x1c(%rbp)
mov    -0x18(%rbp),%eax
cmp    -0x14(%rbp),%eax
jge    1193 <fa_conv+0x93>
mov    -0x10(%rbp),%rax
movslq -0x18(%rbp),%rcx
movss  (%rax,%rcx,4),%xmm0
mov    -0x28(%rbp),%rax
movslq -0x1c(%rbp),%rcx
movss  (%rax,%rcx,4),%xmm2
movss  -0x20(%rbp),%xmm1
mulss  %xmm2,%xmm0
addss  %xmm1,%xmm0
movss  %xmm0,-0x20(%rbp)
mov    -0x18(%rbp),%eax
add    $0x1,%eax
mov    %eax,-0x18(%rbp)
mov    -0x1c(%rbp),%eax
add    $0xffffffff,%eax
mov    %eax,-0x1c(%rbp)
jmp    1144 <fa_conv+0x44>
movss  -0x20(%rbp),%xmm0
pop    %rbp
ret

x86 assembly (clang, -O2):
<fa_conv>:
test   %edx,%edx
jle    112d <fa_conv+0x2d>
lea    -0x1(%rdx),%eax
movslq %eax,%r8
mov    %edx,%r9d
lea    -0x1(%r9),%rax
mov    %r9d,%r10d
and    $0x3,%r10d
cmp    $0x3,%rax
jae    1131 <fa_conv+0x31>
xorps  %xmm0,%xmm0
xor    %ecx,%ecx
test   %r10,%r10
jne    119f <fa_conv+0x9f>
jmp    11ca <fa_conv+0xca>
xorps  %xmm0,%xmm0
ret
mov    %r9d,%edx
and    $0xfffffffc,%edx
mov    %r9,%rax
sub    %r8,%rax
lea    (%rdi,%rax,4),%rax
add    $0xfffffffffffffffc,%rax
xorps  %xmm0,%xmm0
xor    %ecx,%ecx
nopw   0x0(%rax,%rax,1)
movss  (%rsi,%rcx,4),%xmm1
mulss  (%rax),%xmm1
movss  0x4(%rsi,%rcx,4),%xmm2
addss  %xmm0,%xmm1
mulss  -0x4(%rax),%xmm2
addss  %xmm1,%xmm2
movss  0x8(%rsi,%rcx,4),%xmm1
mulss  -0x8(%rax),%xmm1
addss  %xmm2,%xmm1
movss  0xc(%rsi,%rcx,4),%xmm0
mulss  -0xc(%rax),%xmm0
addss  %xmm1,%xmm0
add    $0x4,%rcx
add    $0xfffffffffffffff0,%rax
cmp    %rcx,%rdx
jne    1150 <fa_conv+0x50>
sub    %rcx,%r9
test   %r10,%r10
je     11ca <fa_conv+0xca>
sub    %r8,%r9
lea    (%rdi,%r9,4),%rax
add    $0xfffffffffffffffc,%rax
lea    (%rsi,%rcx,4),%rcx
xor    %edx,%edx
movss  (%rcx,%rdx,4),%xmm1
mulss  (%rax),%xmm1
addss  %xmm1,%xmm0
add    $0x1,%rdx
add    $0xfffffffffffffffc,%rax
cmp    %rdx,%r10
jne    11b0 <fa_conv+0xb0>
ret

LLVM IR (-O0):
define float @fa_conv(float* %0, float* %1, i32 %2) {
%4 = alloca float*
%5 = alloca float*
%6 = alloca i32
%7 = alloca i32
%8 = alloca i32
%9 = alloca float
%10 = alloca float*
store float* %0, float** %4
store float* %1, float** %5
store i32 %2, i32* %6
store float 0.000000e+00, float* %9
%11 = load float*, float** %4
%12 = load i32, i32* %6
%13 = sub nsw i32 %12, 1
%14 = sext i32 %13 to i64
%15 = sub i64 0, %14
%16 = getelementptr inbounds float, float* %11, i64 %15
store float* %16, float** %10
store i32 0, i32* %7
%17 = load i32, i32* %6
%18 = sub nsw i32 %17, 1
store i32 %18, i32* %8
br label %19
19: ; preds = %36, %3
%20 = load i32, i32* %7
%21 = load i32, i32* %6
%22 = icmp slt i32 %20, %21
br i1 %22, label %23, label %41
23: ; preds = %19
%24 = load float*, float** %5
%25 = load i32, i32* %7
%26 = sext i32 %25 to i64
%27 = getelementptr inbounds float, float* %24, i64 %26
%28 = load float, float* %27
%29 = load float*, float** %10
%30 = load i32, i32* %8
%31 = sext i32 %30 to i64
%32 = getelementptr inbounds float, float* %29, i64 %31
%33 = load float, float* %32
%34 = load float, float* %9
%35 = call float @llvm.fmuladd.f32(float %28, float %33, float %34)
store float %35, float* %9
br label %36
36: ; preds = %23
%37 = load i32, i32* %7
%38 = add nsw i32 %37, 1
store i32 %38, i32* %7
%39 = load i32, i32* %8
%40 = add nsw i32 %39, -1
store i32 %40, i32* %8
br label %19
41: ; preds = %19
%42 = load float, float* %9
ret float %42
}

LLVM IR (-O2):
define float @fa_conv(float* nocapture %0, float* nocapture %1, i32 %2) {
%4 = add nsw i32 %2, -1
%5 = sext i32 %4 to i64
%6 = sub nsw i64 0, %5
%7 = getelementptr inbounds float, float* %0, i64 %6
%8 = icmp sgt i32 %2, 0
br i1 %8, label %9, label %72
9: ; preds = %3
%10 = zext i32 %2 to i64
%11 = zext i32 %2 to i64
%12 = add nsw i64 %11, -1
%13 = and i64 %11, 3
%14 = icmp ult i64 %12, 3
br i1 %14, label %52, label %15
15: ; preds = %9
%16 = and i64 %11, 4294967292
br label %17
17: ; preds = %17, %15
%18 = phi i64 [ %10, %15 ], [ %43, %17 ]
%19 = phi i64 [ 0, %15 ], [ %49, %17 ]
%20 = phi float [ 0.000000e+00, %15 ], [ %48, %17 ]
%21 = phi i64 [ 0, %15 ], [ %50, %17 ]
%22 = add nsw i64 %18, -1
%23 = getelementptr inbounds float, float* %1, i64 %19
%24 = load float, float* %23
%25 = getelementptr inbounds float, float* %7, i64 %22
%26 = load float, float* %25
%27 = tail call float @llvm.fmuladd.f32(float %24, float %26, float %20)
%28 = or i64 %19, 1
%29 = add nsw i64 %18, -2
%30 = getelementptr inbounds float, float* %1, i64 %28
%31 = load float, float* %30
%32 = getelementptr inbounds float, float* %7, i64 %29
%33 = load float, float* %32
%34 = tail call float @llvm.fmuladd.f32(float %31, float %33, float %27)
%35 = or i64 %19, 2
%36 = add nsw i64 %18, -3
%37 = getelementptr inbounds float, float* %1, i64 %35
%38 = load float, float* %37
%39 = getelementptr inbounds float, float* %7, i64 %36
%40 = load float, float* %39
%41 = tail call float @llvm.fmuladd.f32(float %38, float %40, float %34)
%42 = or i64 %19, 3
%43 = add nsw i64 %18, -4
%44 = getelementptr inbounds float, float* %1, i64 %42
%45 = load float, float* %44
%46 = getelementptr inbounds float, float* %7, i64 %43
%47 = load float, float* %46
%48 = tail call float @llvm.fmuladd.f32(float %45, float %47, float %41)
%49 = add nuw nsw i64 %19, 4
%50 = add i64 %21, 4
%51 = icmp eq i64 %50, %16
br i1 %51, label %52, label %17
52: ; preds = %17, %9
%53 = phi float [ undef, %9 ], [ %48, %17 ]
%54 = phi i64 [ %10, %9 ], [ %43, %17 ]
%55 = phi i64 [ 0, %9 ], [ %49, %17 ]
%56 = phi float [ 0.000000e+00, %9 ], [ %48, %17 ]
%57 = icmp eq i64 %13, 0
br i1 %57, label %72, label %58
58: ; preds = %52, %58
%59 = phi i64 [ %63, %58 ], [ %54, %52 ]
%60 = phi i64 [ %69, %58 ], [ %55, %52 ]
%61 = phi float [ %68, %58 ], [ %56, %52 ]
%62 = phi i64 [ %70, %58 ], [ 0, %52 ]
%63 = add nsw i64 %59, -1
%64 = getelementptr inbounds float, float* %1, i64 %60
%65 = load float, float* %64
%66 = getelementptr inbounds float, float* %7, i64 %63
%67 = load float, float* %66
%68 = tail call float @llvm.fmuladd.f32(float %65, float %67, float %61)
%69 = add nuw nsw i64 %60, 1
%70 = add i64 %62, 1
%71 = icmp eq i64 %70, %13
br i1 %71, label %72, label %58
72: ; preds = %52, %58, %3
%73 = phi float [ 0.000000e+00, %3 ], [ %53, %52 ], [ %68, %58 ]
ret float %73
}