float iirOutFloatL(float y[], float x[], float xin, float a[], float b[],
                   int Na, int Nb) {
  float *a_ptr, *y_ptr, *b_ptr, *x_ptr;
  float sum = 0;
  a_ptr = &a[Na - 1];
  y_ptr = &y[1];
  b_ptr = &b[Nb - 1];
  x_ptr = &x[0];
  int i, j;
  for (i = 0; i < Nb - 1; i++) {
    x[i] = x[i + 1];
    sum += *b_ptr-- * *x_ptr++;
  }
  x[Nb - 1] = xin;
  sum += *b_ptr-- * *x_ptr++;
  for (j = 1; j < Na - 1; j++) {
    sum -= *a_ptr-- * *y_ptr++;
    y[j] = y[j + 1];
  }
  if (Na > 1)
    sum -= *a_ptr-- * *y_ptr++;
  y[Na - 1] = sum;
  return sum;
}


x86 assembly (clang, -O0):
<iirOutFloatL>:
push   %rbp
mov    %rsp,%rbp
mov    %rdi,-0x8(%rbp)
mov    %rsi,-0x10(%rbp)
movss  %xmm0,-0x14(%rbp)
mov    %rdx,-0x20(%rbp)
mov    %rcx,-0x28(%rbp)
mov    %r8d,-0x2c(%rbp)
mov    %r9d,-0x30(%rbp)
xorps  %xmm0,%xmm0
movss  %xmm0,-0x54(%rbp)
mov    -0x20(%rbp),%rax
mov    -0x2c(%rbp),%ecx
sub    $0x1,%ecx
movslq %ecx,%rcx
shl    $0x2,%rcx
add    %rcx,%rax
mov    %rax,-0x38(%rbp)
mov    -0x8(%rbp),%rax
add    $0x4,%rax
mov    %rax,-0x40(%rbp)
mov    -0x28(%rbp),%rax
mov    -0x30(%rbp),%ecx
sub    $0x1,%ecx
movslq %ecx,%rcx
shl    $0x2,%rcx
add    %rcx,%rax
mov    %rax,-0x48(%rbp)
mov    -0x10(%rbp),%rax
mov    %rax,-0x50(%rbp)
movl   $0x0,-0x58(%rbp)
mov    -0x58(%rbp),%eax
mov    -0x30(%rbp),%ecx
sub    $0x1,%ecx
cmp    %ecx,%eax
jge    11ea <iirOutFloatL+0xea>
mov    -0x10(%rbp),%rax
mov    -0x58(%rbp),%ecx
add    $0x1,%ecx
movslq %ecx,%rcx
movss  (%rax,%rcx,4),%xmm0
mov    -0x10(%rbp),%rax
movslq -0x58(%rbp),%rcx
movss  %xmm0,(%rax,%rcx,4)
mov    -0x48(%rbp),%rax
mov    %rax,%rcx
add    $0xfffffffffffffffc,%rcx
mov    %rcx,-0x48(%rbp)
movss  (%rax),%xmm0
mov    -0x50(%rbp),%rax
mov    %rax,%rcx
add    $0x4,%rcx
mov    %rcx,-0x50(%rbp)
movss  (%rax),%xmm2
movss  -0x54(%rbp),%xmm1
mulss  %xmm2,%xmm0
addss  %xmm1,%xmm0
movss  %xmm0,-0x54(%rbp)
mov    -0x58(%rbp),%eax
add    $0x1,%eax
mov    %eax,-0x58(%rbp)
jmp    1174 <iirOutFloatL+0x74>
movss  -0x14(%rbp),%xmm0
mov    -0x10(%rbp),%rax
mov    -0x30(%rbp),%ecx
sub    $0x1,%ecx
movslq %ecx,%rcx
movss  %xmm0,(%rax,%rcx,4)
mov    -0x48(%rbp),%rax
mov    %rax,%rcx
add    $0xfffffffffffffffc,%rcx
mov    %rcx,-0x48(%rbp)
movss  (%rax),%xmm0
mov    -0x50(%rbp),%rax
mov    %rax,%rcx
add    $0x4,%rcx
mov    %rcx,-0x50(%rbp)
movss  (%rax),%xmm2
movss  -0x54(%rbp),%xmm1
mulss  %xmm2,%xmm0
addss  %xmm1,%xmm0
movss  %xmm0,-0x54(%rbp)
movl   $0x1,-0x5c(%rbp)
mov    -0x5c(%rbp),%eax
mov    -0x2c(%rbp),%ecx
sub    $0x1,%ecx
cmp    %ecx,%eax
jge    12c3 <iirOutFloatL+0x1c3>
mov    -0x38(%rbp),%rax
mov    %rax,%rcx
add    $0xfffffffffffffffc,%rcx
mov    %rcx,-0x38(%rbp)
movss  (%rax),%xmm0
mov    -0x40(%rbp),%rax
mov    %rax,%rcx
add    $0x4,%rcx
mov    %rcx,-0x40(%rbp)
movss  (%rax),%xmm2
movss  -0x54(%rbp),%xmm1
movd   %xmm0,%eax
xor    $0x80000000,%eax
movd   %eax,%xmm0
mulss  %xmm2,%xmm0
addss  %xmm1,%xmm0
movss  %xmm0,-0x54(%rbp)
mov    -0x8(%rbp),%rax
mov    -0x5c(%rbp),%ecx
add    $0x1,%ecx
movslq %ecx,%rcx
movss  (%rax,%rcx,4),%xmm0
mov    -0x8(%rbp),%rax
movslq -0x5c(%rbp),%rcx
movss  %xmm0,(%rax,%rcx,4)
mov    -0x5c(%rbp),%eax
add    $0x1,%eax
mov    %eax,-0x5c(%rbp)
jmp    1240 <iirOutFloatL+0x140>
cmpl   $0x1,-0x2c(%rbp)
jle    1312 <iirOutFloatL+0x212>
mov    -0x38(%rbp),%rax
mov    %rax,%rcx
add    $0xfffffffffffffffc,%rcx
mov    %rcx,-0x38(%rbp)
movss  (%rax),%xmm0
mov    -0x40(%rbp),%rax
mov    %rax,%rcx
add    $0x4,%rcx
mov    %rcx,-0x40(%rbp)
movss  (%rax),%xmm2
movss  -0x54(%rbp),%xmm1
movd   %xmm0,%eax
xor    $0x80000000,%eax
movd   %eax,%xmm0
mulss  %xmm2,%xmm0
addss  %xmm1,%xmm0
movss  %xmm0,-0x54(%rbp)
movss  -0x54(%rbp),%xmm0
mov    -0x8(%rbp),%rax
mov    -0x2c(%rbp),%ecx
sub    $0x1,%ecx
movslq %ecx,%rcx
movss  %xmm0,(%rax,%rcx,4)
movss  -0x54(%rbp),%xmm0
pop    %rbp
ret

x86 assembly (clang, -O2):
<iirOutFloatL>:
push   %r15
push   %r14
push   %rbx
lea    -0x1(%r8),%r11d
movslq %r11d,%r10
lea    -0x1(%r9),%eax
movslq %eax,%r14
lea    (%rcx,%r14,4),%rcx
xorps  %xmm1,%xmm1
cmp    $0x2,%r9d
jl     1132 <iirOutFloatL+0x32>
mov    %eax,%r9d
cmp    $0x1,%eax
jne    1137 <iirOutFloatL+0x37>
xorps  %xmm1,%xmm1
xor    %ebx,%ebx
mov    %rsi,%rax
jmp    1188 <iirOutFloatL+0x88>
mov    %rsi,%rax
jmp    11ad <iirOutFloatL+0xad>
mov    %r9d,%r15d
and    $0xfffffffe,%r15d
xorps  %xmm1,%xmm1
xor    %ebx,%ebx
mov    %rsi,%rax
cs nopw 0x0(%rax,%rax,1)
movss  0x4(%rax),%xmm2
movss  0x8(%rax),%xmm3
movss  %xmm2,(%rax)
mulss  (%rcx),%xmm2
addss  %xmm1,%xmm2
add    $0x2,%rbx
movss  %xmm3,0x4(%rax)
mulss  -0x4(%rcx),%xmm3
add    $0x8,%rax
add    $0xfffffffffffffff8,%rcx
movaps %xmm3,%xmm1
addss  %xmm2,%xmm1
cmp    %rbx,%r15
jne    1150 <iirOutFloatL+0x50>
test   $0x1,%r9b
je     11ad <iirOutFloatL+0xad>
movss  0x4(%rsi,%rbx,4),%xmm2
movss  %xmm2,(%rsi,%rbx,4)
movss  (%rcx),%xmm2
add    $0xfffffffffffffffc,%rcx
mulss  (%rax),%xmm2
add    $0x4,%rax
addss  %xmm2,%xmm1
movss  %xmm0,(%rsi,%r14,4)
movss  (%rcx),%xmm0
mulss  (%rax),%xmm0
lea    (%rdx,%r10,4),%rcx
addss  %xmm1,%xmm0
lea    0x4(%rdi),%rdx
cmp    $0x3,%r8d
jl     1267 <iirOutFloatL+0x167>
mov    %r11d,%r9d
add    $0xffffffffffffffff,%r9
cmp    $0x2,%r11d
jne    11e5 <iirOutFloatL+0xe5>
mov    $0x1,%eax
jmp    1242 <iirOutFloatL+0x142>
mov    %r9,%rsi
and    $0xfffffffffffffffe,%rsi
neg    %rsi
mov    $0x1,%eax
cs nopw 0x0(%rax,%rax,1)
xchg   %ax,%ax
movss  (%rcx),%xmm1
mulss  (%rdx),%xmm1
movss  0x4(%rdx),%xmm2
movss  0x8(%rdx),%xmm3
movss  %xmm2,(%rdx)
mulss  -0x4(%rcx),%xmm2
subss  %xmm1,%xmm0
add    $0xfffffffffffffff8,%rcx
subss  %xmm2,%xmm0
movss  %xmm3,0x4(%rdx)
add    $0x8,%rdx
lea    (%rsi,%rax,1),%rbx
add    $0x2,%rbx
add    $0x2,%rax
cmp    $0x1,%rbx
jne    1200 <iirOutFloatL+0x100>
test   $0x1,%r9b
je     1267 <iirOutFloatL+0x167>
movss  (%rcx),%xmm1
add    $0xfffffffffffffffc,%rcx
mulss  (%rdx),%xmm1
subss  %xmm1,%xmm0
movss  0x4(%rdi,%rax,4),%xmm1
movss  %xmm1,(%rdi,%rax,4)
add    $0x4,%rdx
cmp    $0x2,%r8d
jl     1279 <iirOutFloatL+0x179>
movss  (%rcx),%xmm1
mulss  (%rdx),%xmm1
subss  %xmm1,%xmm0
movss  %xmm0,(%rdi,%r10,4)
pop    %rbx
pop    %r14
pop    %r15
ret

LLVM IR (-O0):
define float @iirOutFloatL(float* %0, float* %1, float %2, float* %3, float* %4, i32 %5, i32 %6) {
%8 = alloca float*
%9 = alloca float*
%10 = alloca float
%11 = alloca float*
%12 = alloca float*
%13 = alloca i32
%14 = alloca i32
%15 = alloca float*
%16 = alloca float*
%17 = alloca float*
%18 = alloca float*
%19 = alloca float
%20 = alloca i32
%21 = alloca i32
store float* %0, float** %8
store float* %1, float** %9
store float %2, float* %10
store float* %3, float** %11
store float* %4, float** %12
store i32 %5, i32* %13
store i32 %6, i32* %14
store float 0.000000e+00, float* %19
%22 = load float*, float** %11
%23 = load i32, i32* %13
%24 = sub nsw i32 %23, 1
%25 = sext i32 %24 to i64
%26 = getelementptr inbounds float, float* %22, i64 %25
store float* %26, float** %15
%27 = load float*, float** %8
%28 = getelementptr inbounds float, float* %27, i64 1
store float* %28, float** %16
%29 = load float*, float** %12
%30 = load i32, i32* %14
%31 = sub nsw i32 %30, 1
%32 = sext i32 %31 to i64
%33 = getelementptr inbounds float, float* %29, i64 %32
store float* %33, float** %17
%34 = load float*, float** %9
%35 = getelementptr inbounds float, float* %34, i64 0
store float* %35, float** %18
store i32 0, i32* %20
br label %36
36: ; preds = %60, %7
%37 = load i32, i32* %20
%38 = load i32, i32* %14
%39 = sub nsw i32 %38, 1
%40 = icmp slt i32 %37, %39
br i1 %40, label %41, label %63
41: ; preds = %36
%42 = load float*, float** %9
%43 = load i32, i32* %20
%44 = add nsw i32 %43, 1
%45 = sext i32 %44 to i64
%46 = getelementptr inbounds float, float* %42, i64 %45
%47 = load float, float* %46
%48 = load float*, float** %9
%49 = load i32, i32* %20
%50 = sext i32 %49 to i64
%51 = getelementptr inbounds float, float* %48, i64 %50
store float %47, float* %51
%52 = load float*, float** %17
%53 = getelementptr inbounds float, float* %52, i32 -1
store float* %53, float** %17
%54 = load float, float* %52
%55 = load float*, float** %18
%56 = getelementptr inbounds float, float* %55, i32 1
store float* %56, float** %18
%57 = load float, float* %55
%58 = load float, float* %19
%59 = call float @llvm.fmuladd.f32(float %54, float %57, float %58)
store float %59, float* %19
br label %60
60: ; preds = %41
%61 = load i32, i32* %20
%62 = add nsw i32 %61, 1
store i32 %62, i32* %20
br label %36
63: ; preds = %36
%64 = load float, float* %10
%65 = load float*, float** %9
%66 = load i32, i32* %14
%67 = sub nsw i32 %66, 1
%68 = sext i32 %67 to i64
%69 = getelementptr inbounds float, float* %65, i64 %68
store float %64, float* %69
%70 = load float*, float** %17
%71 = getelementptr inbounds float, float* %70, i32 -1
store float* %71, float** %17
%72 = load float, float* %70
%73 = load float*, float** %18
%74 = getelementptr inbounds float, float* %73, i32 1
store float* %74, float** %18
%75 = load float, float* %73
%76 = load float, float* %19
%77 = call float @llvm.fmuladd.f32(float %72, float %75, float %76)
store float %77, float* %19
store i32 1, i32* %21
br label %78
78: ; preds = %103, %63
%79 = load i32, i32* %21
%80 = load i32, i32* %13
%81 = sub nsw i32 %80, 1
%82 = icmp slt i32 %79, %81
br i1 %82, label %83, label %106
83: ; preds = %78
%84 = load float*, float** %15
%85 = getelementptr inbounds float, float* %84, i32 -1
store float* %85, float** %15
%86 = load float, float* %84
%87 = load float*, float** %16
%88 = getelementptr inbounds float, float* %87, i32 1
store float* %88, float** %16
%89 = load float, float* %87
%90 = load float, float* %19
%91 = fneg float %86
%92 = call float @llvm.fmuladd.f32(float %91, float %89, float %90)
store float %92, float* %19
%93 = load float*, float** %8
%94 = load i32, i32* %21
%95 = add nsw i32 %94, 1
%96 = sext i32 %95 to i64
%97 = getelementptr inbounds float, float* %93, i64 %96
%98 = load float, float* %97
%99 = load float*, float** %8
%100 = load i32, i32* %21
%101 = sext i32 %100 to i64
%102 = getelementptr inbounds float, float* %99, i64 %101
store float %98, float* %102
br label %103
103: ; preds = %83
%104 = load i32, i32* %21
%105 = add nsw i32 %104, 1
store i32 %105, i32* %21
br label %78
106: ; preds = %78
%107 = load i32, i32* %13
%108 = icmp sgt i32 %107, 1
br i1 %108, label %109, label %119
109: ; preds = %106
%110 = load float*, float** %15
%111 = getelementptr inbounds float, float* %110, i32 -1
store float* %111, float** %15
%112 = load float, float* %110
%113 = load float*, float** %16
%114 = getelementptr inbounds float, float* %113, i32 1
store float* %114, float** %16
%115 = load float, float* %113
%116 = load float, float* %19
%117 = fneg float %112
%118 = call float @llvm.fmuladd.f32(float %117, float %115, float %116)
store float %118, float* %19
br label %119
119: ; preds = %109, %106
%120 = load float, float* %19
%121 = load float*, float** %8
%122 = load i32, i32* %13
%123 = sub nsw i32 %122, 1
%124 = sext i32 %123 to i64
%125 = getelementptr inbounds float, float* %121, i64 %124
store float %120, float* %125
%126 = load float, float* %19
ret float %126
}

LLVM IR (-O2):
define float @iirOutFloatL(float* nocapture %0, float* nocapture %1, float %2, float* nocapture %3, float* nocapture %4, i32 %5, i32 %6) {
%8 = add i32 %5, -1
%9 = sext i32 %8 to i64
%10 = getelementptr inbounds float, float* %3, i64 %9
%11 = add i32 %6, -1
%12 = sext i32 %11 to i64
%13 = getelementptr inbounds float, float* %4, i64 %12
%14 = icmp sgt i32 %6, 1
br i1 %14, label %15, label %66
15: ; preds = %7
%16 = zext i32 %11 to i64
%17 = and i64 %16, 1
%18 = icmp eq i32 %11, 1
br i1 %18, label %47, label %19
19: ; preds = %15
%20 = and i64 %16, 4294967294
br label %21
21: ; preds = %21, %19
%22 = phi i64 [ 0, %19 ], [ %36, %21 ]
%23 = phi float [ 0.000000e+00, %19 ], [ %44, %21 ]
%24 = phi float* [ %1, %19 ], [ %42, %21 ]
%25 = phi float* [ %13, %19 ], [ %40, %21 ]
%26 = phi i64 [ 0, %19 ], [ %45, %21 ]
%27 = or i64 %22, 1
%28 = getelementptr inbounds float, float* %1, i64 %27
%29 = load float, float* %28
%30 = getelementptr inbounds float, float* %1, i64 %22
store float %29, float* %30
%31 = getelementptr inbounds float, float* %25, i64 -1
%32 = load float, float* %25
%33 = getelementptr inbounds float, float* %24, i64 1
%34 = load float, float* %24
%35 = tail call float @llvm.fmuladd.f32(float %32, float %34, float %23)
%36 = add nuw nsw i64 %22, 2
%37 = getelementptr inbounds float, float* %1, i64 %36
%38 = load float, float* %37
%39 = getelementptr inbounds float, float* %1, i64 %27
store float %38, float* %39
%40 = getelementptr inbounds float, float* %25, i64 -2
%41 = load float, float* %31
%42 = getelementptr inbounds float, float* %24, i64 2
%43 = load float, float* %33
%44 = tail call float @llvm.fmuladd.f32(float %41, float %43, float %35)
%45 = add i64 %26, 2
%46 = icmp eq i64 %45, %20
br i1 %46, label %47, label %21
47: ; preds = %21, %15
%48 = phi float* [ undef, %15 ], [ %40, %21 ]
%49 = phi float* [ undef, %15 ], [ %42, %21 ]
%50 = phi float [ undef, %15 ], [ %44, %21 ]
%51 = phi i64 [ 0, %15 ], [ %36, %21 ]
%52 = phi float [ 0.000000e+00, %15 ], [ %44, %21 ]
%53 = phi float* [ %1, %15 ], [ %42, %21 ]
%54 = phi float* [ %13, %15 ], [ %40, %21 ]
%55 = icmp eq i64 %17, 0
br i1 %55, label %66, label %56
56: ; preds = %47
%57 = add nuw nsw i64 %51, 1
%58 = getelementptr inbounds float, float* %1, i64 %57
%59 = load float, float* %58
%60 = getelementptr inbounds float, float* %1, i64 %51
store float %59, float* %60
%61 = getelementptr inbounds float, float* %54, i64 -1
%62 = load float, float* %54
%63 = getelementptr inbounds float, float* %53, i64 1
%64 = load float, float* %53
%65 = tail call float @llvm.fmuladd.f32(float %62, float %64, float %52)
br label %66
66: ; preds = %56, %47, %7
%67 = phi float* [ %13, %7 ], [ %48, %47 ], [ %61, %56 ]
%68 = phi float* [ %1, %7 ], [ %49, %47 ], [ %63, %56 ]
%69 = phi float [ 0.000000e+00, %7 ], [ %50, %47 ], [ %65, %56 ]
%70 = getelementptr inbounds float, float* %1, i64 %12
store float %2, float* %70
%71 = load float, float* %67
%72 = load float, float* %68
%73 = tail call float @llvm.fmuladd.f32(float %71, float %72, float %69)
%74 = getelementptr inbounds float, float* %0, i64 1
%75 = icmp sgt i32 %5, 2
br i1 %75, label %76, label %131
76: ; preds = %66
%77 = zext i32 %8 to i64
%78 = add nsw i64 %77, -1
%79 = and i64 %78, 1
%80 = icmp eq i32 %8, 2
br i1 %80, label %111, label %81
81: ; preds = %76
%82 = and i64 %78, -2
br label %83
83: ; preds = %83, %81
%84 = phi i64 [ 1, %81 ], [ %104, %83 ]
%85 = phi float* [ %74, %81 ], [ %108, %83 ]
%86 = phi float [ %73, %81 ], [ %103, %83 ]
%87 = phi float* [ %10, %81 ], [ %99, %83 ]
%88 = phi i64 [ 0, %81 ], [ %109, %83 ]
%89 = getelementptr inbounds float, float* %87, i64 -1
%90 = load float, float* %87
%91 = load float, float* %85
%92 = fneg float %90
%93 = tail call float @llvm.fmuladd.f32(float %92, float %91, float %86)
%94 = add nuw nsw i64 %84, 1
%95 = getelementptr inbounds float, float* %0, i64 %94
%96 = load float, float* %95
%97 = getelementptr inbounds float, float* %0, i64 %84
store float %96, float* %97
%98 = getelementptr inbounds float, float* %85, i64 1
%99 = getelementptr inbounds float, float* %87, i64 -2
%100 = load float, float* %89
%101 = load float, float* %98
%102 = fneg float %100
%103 = tail call float @llvm.fmuladd.f32(float %102, float %101, float %93)
%104 = add nuw nsw i64 %84, 2
%105 = getelementptr inbounds float, float* %0, i64 %104
%106 = load float, float* %105
%107 = getelementptr inbounds float, float* %0, i64 %94
store float %106, float* %107
%108 = getelementptr inbounds float, float* %85, i64 2
%109 = add i64 %88, 2
%110 = icmp eq i64 %109, %82
br i1 %110, label %111, label %83
111: ; preds = %83, %76
%112 = phi float* [ undef, %76 ], [ %99, %83 ]
%113 = phi float [ undef, %76 ], [ %103, %83 ]
%114 = phi float* [ undef, %76 ], [ %108, %83 ]
%115 = phi i64 [ 1, %76 ], [ %104, %83 ]
%116 = phi float* [ %74, %76 ], [ %108, %83 ]
%117 = phi float [ %73, %76 ], [ %103, %83 ]
%118 = phi float* [ %10, %76 ], [ %99, %83 ]
%119 = icmp eq i64 %79, 0
br i1 %119, label %131, label %120
120: ; preds = %111
%121 = getelementptr inbounds float, float* %118, i64 -1
%122 = load float, float* %118
%123 = load float, float* %116
%124 = fneg float %122
%125 = tail call float @llvm.fmuladd.f32(float %124, float %123, float %117)
%126 = add nuw nsw i64 %115, 1
%127 = getelementptr inbounds float, float* %0, i64 %126
%128 = load float, float* %127
%129 = getelementptr inbounds float, float* %0, i64 %115
store float %128, float* %129
%130 = getelementptr inbounds float, float* %116, i64 1
br label %131
131: ; preds = %120, %111, %66
%132 = phi float* [ %10, %66 ], [ %112, %111 ], [ %121, %120 ]
%133 = phi float [ %73, %66 ], [ %113, %111 ], [ %125, %120 ]
%134 = phi float* [ %74, %66 ], [ %114, %111 ], [ %130, %120 ]
%135 = icmp sgt i32 %5, 1
br i1 %135, label %136, label %141
136: ; preds = %131
%137 = load float, float* %132
%138 = load float, float* %134
%139 = fneg float %137
%140 = tail call float @llvm.fmuladd.f32(float %139, float %138, float %133)
br label %141
141: ; preds = %136, %131
%142 = phi float [ %140, %136 ], [ %133, %131 ]
%143 = getelementptr inbounds float, float* %0, i64 %9
store float %142, float* %143
ret float %142
}