float Blend33(float x_basis[], float y_basis[], int i_x, int i_y,
              const float P[], const int n) {
  float S = 0;
  float x_basis_k1;
  x_basis_k1 = x_basis[0];
  S += P[i_x * n + i_y] * x_basis_k1 * y_basis[0];
  S += P[i_x * n + i_y - 1] * x_basis_k1 * y_basis[1];
  S += P[i_x * n + i_y - 2] * x_basis_k1 * y_basis[2];
  x_basis_k1 = x_basis[1];
  S += P[(i_x - 1) * n + i_y] * x_basis_k1 * y_basis[0];
  S += P[(i_x - 1) * n + i_y - 1] * x_basis_k1 * y_basis[1];
  S += P[(i_x - 1) * n + i_y - 2] * x_basis_k1 * y_basis[2];
  x_basis_k1 = x_basis[2];
  S += P[(i_x - 2) * n + i_y] * x_basis_k1 * y_basis[0];
  S += P[(i_x - 2) * n + i_y - 1] * x_basis_k1 * y_basis[1];
  S += P[(i_x - 2) * n + i_y - 2] * x_basis_k1 * y_basis[2];
  return S;
}


x86 assembly (clang, -O0):
<Blend33>:
push   %rbp
mov    %rsp,%rbp
mov    %rdi,-0x8(%rbp)
mov    %rsi,-0x10(%rbp)
mov    %edx,-0x14(%rbp)
mov    %ecx,-0x18(%rbp)
mov    %r8,-0x20(%rbp)
mov    %r9d,-0x24(%rbp)
xorps  %xmm0,%xmm0
movss  %xmm0,-0x28(%rbp)
mov    -0x8(%rbp),%rax
movss  (%rax),%xmm0
movss  %xmm0,-0x2c(%rbp)
mov    -0x20(%rbp),%rax
mov    -0x14(%rbp),%ecx
imul   -0x24(%rbp),%ecx
add    -0x18(%rbp),%ecx
movslq %ecx,%rcx
movss  (%rax,%rcx,4),%xmm0
mulss  -0x2c(%rbp),%xmm0
mov    -0x10(%rbp),%rax
movss  (%rax),%xmm2
movss  -0x28(%rbp),%xmm1
mulss  %xmm2,%xmm0
addss  %xmm1,%xmm0
movss  %xmm0,-0x28(%rbp)
mov    -0x20(%rbp),%rax
mov    -0x14(%rbp),%ecx
imul   -0x24(%rbp),%ecx
add    -0x18(%rbp),%ecx
sub    $0x1,%ecx
movslq %ecx,%rcx
movss  (%rax,%rcx,4),%xmm0
mulss  -0x2c(%rbp),%xmm0
mov    -0x10(%rbp),%rax
movss  0x4(%rax),%xmm2
movss  -0x28(%rbp),%xmm1
mulss  %xmm2,%xmm0
addss  %xmm1,%xmm0
movss  %xmm0,-0x28(%rbp)
mov    -0x20(%rbp),%rax
mov    -0x14(%rbp),%ecx
imul   -0x24(%rbp),%ecx
add    -0x18(%rbp),%ecx
sub    $0x2,%ecx
movslq %ecx,%rcx
movss  (%rax,%rcx,4),%xmm0
mulss  -0x2c(%rbp),%xmm0
mov    -0x10(%rbp),%rax
movss  0x8(%rax),%xmm2
movss  -0x28(%rbp),%xmm1
mulss  %xmm2,%xmm0
addss  %xmm1,%xmm0
movss  %xmm0,-0x28(%rbp)
mov    -0x8(%rbp),%rax
movss  0x4(%rax),%xmm0
movss  %xmm0,-0x2c(%rbp)
mov    -0x20(%rbp),%rax
mov    -0x14(%rbp),%ecx
sub    $0x1,%ecx
imul   -0x24(%rbp),%ecx
add    -0x18(%rbp),%ecx
movslq %ecx,%rcx
movss  (%rax,%rcx,4),%xmm0
mulss  -0x2c(%rbp),%xmm0
mov    -0x10(%rbp),%rax
movss  (%rax),%xmm2
movss  -0x28(%rbp),%xmm1
mulss  %xmm2,%xmm0
addss  %xmm1,%xmm0
movss  %xmm0,-0x28(%rbp)
mov    -0x20(%rbp),%rax
mov    -0x14(%rbp),%ecx
sub    $0x1,%ecx
imul   -0x24(%rbp),%ecx
add    -0x18(%rbp),%ecx
sub    $0x1,%ecx
movslq %ecx,%rcx
movss  (%rax,%rcx,4),%xmm0
mulss  -0x2c(%rbp),%xmm0
mov    -0x10(%rbp),%rax
movss  0x4(%rax),%xmm2
movss  -0x28(%rbp),%xmm1
mulss  %xmm2,%xmm0
addss  %xmm1,%xmm0
movss  %xmm0,-0x28(%rbp)
mov    -0x20(%rbp),%rax
mov    -0x14(%rbp),%ecx
sub    $0x1,%ecx
imul   -0x24(%rbp),%ecx
add    -0x18(%rbp),%ecx
sub    $0x2,%ecx
movslq %ecx,%rcx
movss  (%rax,%rcx,4),%xmm0
mulss  -0x2c(%rbp),%xmm0
mov    -0x10(%rbp),%rax
movss  0x8(%rax),%xmm2
movss  -0x28(%rbp),%xmm1
mulss  %xmm2,%xmm0
addss  %xmm1,%xmm0
movss  %xmm0,-0x28(%rbp)
mov    -0x8(%rbp),%rax
movss  0x8(%rax),%xmm0
movss  %xmm0,-0x2c(%rbp)
mov    -0x20(%rbp),%rax
mov    -0x14(%rbp),%ecx
sub    $0x2,%ecx
imul   -0x24(%rbp),%ecx
add    -0x18(%rbp),%ecx
movslq %ecx,%rcx
movss  (%rax,%rcx,4),%xmm0
mulss  -0x2c(%rbp),%xmm0
mov    -0x10(%rbp),%rax
movss  (%rax),%xmm2
movss  -0x28(%rbp),%xmm1
mulss  %xmm2,%xmm0
addss  %xmm1,%xmm0
movss  %xmm0,-0x28(%rbp)
mov    -0x20(%rbp),%rax
mov    -0x14(%rbp),%ecx
sub    $0x2,%ecx
imul   -0x24(%rbp),%ecx
add    -0x18(%rbp),%ecx
sub    $0x1,%ecx
movslq %ecx,%rcx
movss  (%rax,%rcx,4),%xmm0
mulss  -0x2c(%rbp),%xmm0
mov    -0x10(%rbp),%rax
movss  0x4(%rax),%xmm2
movss  -0x28(%rbp),%xmm1
mulss  %xmm2,%xmm0
addss  %xmm1,%xmm0
movss  %xmm0,-0x28(%rbp)
mov    -0x20(%rbp),%rax
mov    -0x14(%rbp),%ecx
sub    $0x2,%ecx
imul   -0x24(%rbp),%ecx
add    -0x18(%rbp),%ecx
sub    $0x2,%ecx
movslq %ecx,%rcx
movss  (%rax,%rcx,4),%xmm0
mulss  -0x2c(%rbp),%xmm0
mov    -0x10(%rbp),%rax
movss  0x8(%rax),%xmm2
movss  -0x28(%rbp),%xmm1
mulss  %xmm2,%xmm0
addss  %xmm1,%xmm0
movss  %xmm0,-0x28(%rbp)
movss  -0x28(%rbp),%xmm0
pop    %rbp
ret

x86 assembly (clang, -O2):
<Blend33>:
mov    %r9d,%eax
imul   %edx,%eax
add    %ecx,%eax
cltq
movss  (%rdi),%xmm0
movss  0x4(%rdi),%xmm2
movss  (%r8,%rax,4),%xmm4
mulss  %xmm0,%xmm4
movss  (%rsi),%xmm3
movss  0x4(%rsi),%xmm1
mulss  %xmm3,%xmm4
xorps  %xmm5,%xmm5
addss  %xmm4,%xmm5
movss  -0x4(%r8,%rax,4),%xmm6
mulss  %xmm0,%xmm6
mulss  %xmm1,%xmm6
addss  %xmm5,%xmm6
mulss  -0x8(%r8,%rax,4),%xmm0
movss  0x8(%rsi),%xmm4
mulss  %xmm4,%xmm0
addss  %xmm6,%xmm0
lea    -0x1(%rdx),%eax
imul   %r9d,%eax
add    %ecx,%eax
cltq
movss  (%r8,%rax,4),%xmm5
mulss  %xmm2,%xmm5
mulss  %xmm3,%xmm5
addss  %xmm0,%xmm5
movss  -0x4(%r8,%rax,4),%xmm0
mulss  %xmm2,%xmm0
mulss  %xmm1,%xmm0
mulss  -0x8(%r8,%rax,4),%xmm2
addss  %xmm5,%xmm0
mulss  %xmm4,%xmm2
addss  %xmm0,%xmm2
movss  0x8(%rdi),%xmm0
add    $0xfffffffe,%edx
imul   %r9d,%edx
add    %ecx,%edx
movslq %edx,%rax
movss  (%r8,%rax,4),%xmm5
mulss  %xmm0,%xmm5
mulss  %xmm3,%xmm5
addss  %xmm2,%xmm5
movss  -0x4(%r8,%rax,4),%xmm2
mulss  %xmm0,%xmm2
mulss  %xmm1,%xmm2
addss  %xmm5,%xmm2
mulss  -0x8(%r8,%rax,4),%xmm0
mulss  %xmm4,%xmm0
addss  %xmm2,%xmm0
ret

LLVM IR (-O0):
define float @Blend33(float* %0, float* %1, i32 %2, i32 %3, float* %4, i32 %5) {
%7 = alloca float*
%8 = alloca float*
%9 = alloca i32
%10 = alloca i32
%11 = alloca float*
%12 = alloca i32
%13 = alloca float
%14 = alloca float
store float* %0, float** %7
store float* %1, float** %8
store i32 %2, i32* %9
store i32 %3, i32* %10
store float* %4, float** %11
store i32 %5, i32* %12
store float 0.000000e+00, float* %13
%15 = load float*, float** %7
%16 = getelementptr inbounds float, float* %15, i64 0
%17 = load float, float* %16
store float %17, float* %14
%18 = load float*, float** %11
%19 = load i32, i32* %9
%20 = load i32, i32* %12
%21 = mul nsw i32 %19, %20
%22 = load i32, i32* %10
%23 = add nsw i32 %21, %22
%24 = sext i32 %23 to i64
%25 = getelementptr inbounds float, float* %18, i64 %24
%26 = load float, float* %25
%27 = load float, float* %14
%28 = fmul float %26, %27
%29 = load float*, float** %8
%30 = getelementptr inbounds float, float* %29, i64 0
%31 = load float, float* %30
%32 = load float, float* %13
%33 = call float @llvm.fmuladd.f32(float %28, float %31, float %32)
store float %33, float* %13
%34 = load float*, float** %11
%35 = load i32, i32* %9
%36 = load i32, i32* %12
%37 = mul nsw i32 %35, %36
%38 = load i32, i32* %10
%39 = add nsw i32 %37, %38
%40 = sub nsw i32 %39, 1
%41 = sext i32 %40 to i64
%42 = getelementptr inbounds float, float* %34, i64 %41
%43 = load float, float* %42
%44 = load float, float* %14
%45 = fmul float %43, %44
%46 = load float*, float** %8
%47 = getelementptr inbounds float, float* %46, i64 1
%48 = load float, float* %47
%49 = load float, float* %13
%50 = call float @llvm.fmuladd.f32(float %45, float %48, float %49)
store float %50, float* %13
%51 = load float*, float** %11
%52 = load i32, i32* %9
%53 = load i32, i32* %12
%54 = mul nsw i32 %52, %53
%55 = load i32, i32* %10
%56 = add nsw i32 %54, %55
%57 = sub nsw i32 %56, 2
%58 = sext i32 %57 to i64
%59 = getelementptr inbounds float, float* %51, i64 %58
%60 = load float, float* %59
%61 = load float, float* %14
%62 = fmul float %60, %61
%63 = load float*, float** %8
%64 = getelementptr inbounds float, float* %63, i64 2
%65 = load float, float* %64
%66 = load float, float* %13
%67 = call float @llvm.fmuladd.f32(float %62, float %65, float %66)
store float %67, float* %13
%68 = load float*, float** %7
%69 = getelementptr inbounds float, float* %68, i64 1
%70 = load float, float* %69
store float %70, float* %14
%71 = load float*, float** %11
%72 = load i32, i32* %9
%73 = sub nsw i32 %72, 1
%74 = load i32, i32* %12
%75 = mul nsw i32 %73, %74
%76 = load i32, i32* %10
%77 = add nsw i32 %75, %76
%78 = sext i32 %77 to i64
%79 = getelementptr inbounds float, float* %71, i64 %78
%80 = load float, float* %79
%81 = load float, float* %14
%82 = fmul float %80, %81
%83 = load float*, float** %8
%84 = getelementptr inbounds float, float* %83, i64 0
%85 = load float, float* %84
%86 = load float, float* %13
%87 = call float @llvm.fmuladd.f32(float %82, float %85, float %86)
store float %87, float* %13
%88 = load float*, float** %11
%89 = load i32, i32* %9
%90 = sub nsw i32 %89, 1
%91 = load i32, i32* %12
%92 = mul nsw i32 %90, %91
%93 = load i32, i32* %10
%94 = add nsw i32 %92, %93
%95 = sub nsw i32 %94, 1
%96 = sext i32 %95 to i64
%97 = getelementptr inbounds float, float* %88, i64 %96
%98 = load float, float* %97
%99 = load float, float* %14
%100 = fmul float %98, %99
%101 = load float*, float** %8
%102 = getelementptr inbounds float, float* %101, i64 1
%103 = load float, float* %102
%104 = load float, float* %13
%105 = call float @llvm.fmuladd.f32(float %100, float %103, float %104)
store float %105, float* %13
%106 = load float*, float** %11
%107 = load i32, i32* %9
%108 = sub nsw i32 %107, 1
%109 = load i32, i32* %12
%110 = mul nsw i32 %108, %109
%111 = load i32, i32* %10
%112 = add nsw i32 %110, %111
%113 = sub nsw i32 %112, 2
%114 = sext i32 %113 to i64
%115 = getelementptr inbounds float, float* %106, i64 %114
%116 = load float, float* %115
%117 = load float, float* %14
%118 = fmul float %116, %117
%119 = load float*, float** %8
%120 = getelementptr inbounds float, float* %119, i64 2
%121 = load float, float* %120
%122 = load float, float* %13
%123 = call float @llvm.fmuladd.f32(float %118, float %121, float %122)
store float %123, float* %13
%124 = load float*, float** %7
%125 = getelementptr inbounds float, float* %124, i64 2
%126 = load float, float* %125
store float %126, float* %14
%127 = load float*, float** %11
%128 = load i32, i32* %9
%129 = sub nsw i32 %128, 2
%130 = load i32, i32* %12
%131 = mul nsw i32 %129, %130
%132 = load i32, i32* %10
%133 = add nsw i32 %131, %132
%134 = sext i32 %133 to i64
%135 = getelementptr inbounds float, float* %127, i64 %134
%136 = load float, float* %135
%137 = load float, float* %14
%138 = fmul float %136, %137
%139 = load float*, float** %8
%140 = getelementptr inbounds float, float* %139, i64 0
%141 = load float, float* %140
%142 = load float, float* %13
%143 = call float @llvm.fmuladd.f32(float %138, float %141, float %142)
store float %143, float* %13
%144 = load float*, float** %11
%145 = load i32, i32* %9
%146 = sub nsw i32 %145, 2
%147 = load i32, i32* %12
%148 = mul nsw i32 %146, %147
%149 = load i32, i32* %10
%150 = add nsw i32 %148, %149
%151 = sub nsw i32 %150, 1
%152 = sext i32 %151 to i64
%153 = getelementptr inbounds float, float* %144, i64 %152
%154 = load float, float* %153
%155 = load float, float* %14
%156 = fmul float %154, %155
%157 = load float*, float** %8
%158 = getelementptr inbounds float, float* %157, i64 1
%159 = load float, float* %158
%160 = load float, float* %13
%161 = call float @llvm.fmuladd.f32(float %156, float %159, float %160)
store float %161, float* %13
%162 = load float*, float** %11
%163 = load i32, i32* %9
%164 = sub nsw i32 %163, 2
%165 = load i32, i32* %12
%166 = mul nsw i32 %164, %165
%167 = load i32, i32* %10
%168 = add nsw i32 %166, %167
%169 = sub nsw i32 %168, 2
%170 = sext i32 %169 to i64
%171 = getelementptr inbounds float, float* %162, i64 %170
%172 = load float, float* %171
%173 = load float, float* %14
%174 = fmul float %172, %173
%175 = load float*, float** %8
%176 = getelementptr inbounds float, float* %175, i64 2
%177 = load float, float* %176
%178 = load float, float* %13
%179 = call float @llvm.fmuladd.f32(float %174, float %177, float %178)
store float %179, float* %13
%180 = load float, float* %13
ret float %180
}

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