float Blend42(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];
  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];
  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];
  x_basis_k1 = x_basis[3];
  S += P[(i_x - 3) * n + i_y] * x_basis_k1 * y_basis[0];
  S += P[(i_x - 3) * n + i_y - 1] * x_basis_k1 * y_basis[1];
  return S;
}


x86 assembly (clang, -O0):
<Blend42>:
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    -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    -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    -0x8(%rbp),%rax
movss  0xc(%rax),%xmm0
movss  %xmm0,-0x2c(%rbp)
mov    -0x20(%rbp),%rax
mov    -0x14(%rbp),%ecx
sub    $0x3,%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    $0x3,%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)
movss  -0x28(%rbp),%xmm0
pop    %rbp
ret

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

LLVM IR (-O0):
define float @Blend42(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** %7
%52 = getelementptr inbounds float, float* %51, i64 1
%53 = load float, float* %52
store float %53, float* %14
%54 = load float*, float** %11
%55 = load i32, i32* %9
%56 = sub nsw i32 %55, 1
%57 = load i32, i32* %12
%58 = mul nsw i32 %56, %57
%59 = load i32, i32* %10
%60 = add nsw i32 %58, %59
%61 = sext i32 %60 to i64
%62 = getelementptr inbounds float, float* %54, i64 %61
%63 = load float, float* %62
%64 = load float, float* %14
%65 = fmul float %63, %64
%66 = load float*, float** %8
%67 = getelementptr inbounds float, float* %66, i64 0
%68 = load float, float* %67
%69 = load float, float* %13
%70 = call float @llvm.fmuladd.f32(float %65, float %68, float %69)
store float %70, float* %13
%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 = sub nsw i32 %77, 1
%79 = sext i32 %78 to i64
%80 = getelementptr inbounds float, float* %71, i64 %79
%81 = load float, float* %80
%82 = load float, float* %14
%83 = fmul float %81, %82
%84 = load float*, float** %8
%85 = getelementptr inbounds float, float* %84, i64 1
%86 = load float, float* %85
%87 = load float, float* %13
%88 = call float @llvm.fmuladd.f32(float %83, float %86, float %87)
store float %88, float* %13
%89 = load float*, float** %7
%90 = getelementptr inbounds float, float* %89, i64 2
%91 = load float, float* %90
store float %91, float* %14
%92 = load float*, float** %11
%93 = load i32, i32* %9
%94 = sub nsw i32 %93, 2
%95 = load i32, i32* %12
%96 = mul nsw i32 %94, %95
%97 = load i32, i32* %10
%98 = add nsw i32 %96, %97
%99 = sext i32 %98 to i64
%100 = getelementptr inbounds float, float* %92, i64 %99
%101 = load float, float* %100
%102 = load float, float* %14
%103 = fmul float %101, %102
%104 = load float*, float** %8
%105 = getelementptr inbounds float, float* %104, i64 0
%106 = load float, float* %105
%107 = load float, float* %13
%108 = call float @llvm.fmuladd.f32(float %103, float %106, float %107)
store float %108, float* %13
%109 = load float*, float** %11
%110 = load i32, i32* %9
%111 = sub nsw i32 %110, 2
%112 = load i32, i32* %12
%113 = mul nsw i32 %111, %112
%114 = load i32, i32* %10
%115 = add nsw i32 %113, %114
%116 = sub nsw i32 %115, 1
%117 = sext i32 %116 to i64
%118 = getelementptr inbounds float, float* %109, i64 %117
%119 = load float, float* %118
%120 = load float, float* %14
%121 = fmul float %119, %120
%122 = load float*, float** %8
%123 = getelementptr inbounds float, float* %122, i64 1
%124 = load float, float* %123
%125 = load float, float* %13
%126 = call float @llvm.fmuladd.f32(float %121, float %124, float %125)
store float %126, float* %13
%127 = load float*, float** %7
%128 = getelementptr inbounds float, float* %127, i64 3
%129 = load float, float* %128
store float %129, float* %14
%130 = load float*, float** %11
%131 = load i32, i32* %9
%132 = sub nsw i32 %131, 3
%133 = load i32, i32* %12
%134 = mul nsw i32 %132, %133
%135 = load i32, i32* %10
%136 = add nsw i32 %134, %135
%137 = sext i32 %136 to i64
%138 = getelementptr inbounds float, float* %130, i64 %137
%139 = load float, float* %138
%140 = load float, float* %14
%141 = fmul float %139, %140
%142 = load float*, float** %8
%143 = getelementptr inbounds float, float* %142, i64 0
%144 = load float, float* %143
%145 = load float, float* %13
%146 = call float @llvm.fmuladd.f32(float %141, float %144, float %145)
store float %146, float* %13
%147 = load float*, float** %11
%148 = load i32, i32* %9
%149 = sub nsw i32 %148, 3
%150 = load i32, i32* %12
%151 = mul nsw i32 %149, %150
%152 = load i32, i32* %10
%153 = add nsw i32 %151, %152
%154 = sub nsw i32 %153, 1
%155 = sext i32 %154 to i64
%156 = getelementptr inbounds float, float* %147, i64 %155
%157 = load float, float* %156
%158 = load float, float* %14
%159 = fmul float %157, %158
%160 = load float*, float** %8
%161 = getelementptr inbounds float, float* %160, i64 1
%162 = load float, float* %161
%163 = load float, float* %13
%164 = call float @llvm.fmuladd.f32(float %159, float %162, float %163)
store float %164, float* %13
%165 = load float, float* %13
ret float %165
}

LLVM IR (-O2):
define float @Blend42(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 = getelementptr inbounds float, float* %0, i64 1
%25 = load float, float* %24
%26 = add nsw i32 %2, -1
%27 = mul nsw i32 %26, %5
%28 = add nsw i32 %27, %3
%29 = sext i32 %28 to i64
%30 = getelementptr inbounds float, float* %4, i64 %29
%31 = load float, float* %30
%32 = fmul float %25, %31
%33 = tail call float @llvm.fmuladd.f32(float %32, float %14, float %23)
%34 = add nsw i32 %28, -1
%35 = sext i32 %34 to i64
%36 = getelementptr inbounds float, float* %4, i64 %35
%37 = load float, float* %36
%38 = fmul float %25, %37
%39 = tail call float @llvm.fmuladd.f32(float %38, float %22, float %33)
%40 = getelementptr inbounds float, float* %0, i64 2
%41 = load float, float* %40
%42 = add nsw i32 %2, -2
%43 = mul nsw i32 %42, %5
%44 = add nsw i32 %43, %3
%45 = sext i32 %44 to i64
%46 = getelementptr inbounds float, float* %4, i64 %45
%47 = load float, float* %46
%48 = fmul float %41, %47
%49 = tail call float @llvm.fmuladd.f32(float %48, float %14, float %39)
%50 = add nsw i32 %44, -1
%51 = sext i32 %50 to i64
%52 = getelementptr inbounds float, float* %4, i64 %51
%53 = load float, float* %52
%54 = fmul float %41, %53
%55 = tail call float @llvm.fmuladd.f32(float %54, float %22, float %49)
%56 = getelementptr inbounds float, float* %0, i64 3
%57 = load float, float* %56
%58 = add nsw i32 %2, -3
%59 = mul nsw i32 %58, %5
%60 = add nsw i32 %59, %3
%61 = sext i32 %60 to i64
%62 = getelementptr inbounds float, float* %4, i64 %61
%63 = load float, float* %62
%64 = fmul float %57, %63
%65 = tail call float @llvm.fmuladd.f32(float %64, float %14, float %55)
%66 = add nsw i32 %60, -1
%67 = sext i32 %66 to i64
%68 = getelementptr inbounds float, float* %4, i64 %67
%69 = load float, float* %68
%70 = fmul float %57, %69
%71 = tail call float @llvm.fmuladd.f32(float %70, float %22, float %65)
ret float %71
}