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


x86 assembly (clang, -O0):
<Blend24>:
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    -0x20(%rbp),%rax
mov    -0x14(%rbp),%ecx
imul   -0x24(%rbp),%ecx
add    -0x18(%rbp),%ecx
sub    $0x3,%ecx
movslq %ecx,%rcx
movss  (%rax,%rcx,4),%xmm0
mulss  -0x2c(%rbp),%xmm0
mov    -0x10(%rbp),%rax
movss  0xc(%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    -0x20(%rbp),%rax
mov    -0x14(%rbp),%ecx
sub    $0x1,%ecx
imul   -0x24(%rbp),%ecx
add    -0x18(%rbp),%ecx
sub    $0x3,%ecx
movslq %ecx,%rcx
movss  (%rax,%rcx,4),%xmm0
mulss  -0x2c(%rbp),%xmm0
mov    -0x10(%rbp),%rax
movss  0xc(%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):
<Blend24>:
mov    %r9d,%eax
imul   %edx,%eax
add    %ecx,%eax
cltq
movss  (%rdi),%xmm1
movss  0x4(%rdi),%xmm0
movss  (%r8,%rax,4),%xmm4
mulss  %xmm1,%xmm4
movss  (%rsi),%xmm3
movss  0x4(%rsi),%xmm2
mulss  %xmm3,%xmm4
xorps  %xmm5,%xmm5
addss  %xmm4,%xmm5
movss  -0x4(%r8,%rax,4),%xmm6
mulss  %xmm1,%xmm6
mulss  %xmm2,%xmm6
addss  %xmm5,%xmm6
movss  -0x8(%r8,%rax,4),%xmm7
mulss  %xmm1,%xmm7
movss  0x8(%rsi),%xmm4
mulss  %xmm4,%xmm7
mulss  -0xc(%r8,%rax,4),%xmm1
addss  %xmm6,%xmm7
movss  0xc(%rsi),%xmm5
mulss  %xmm5,%xmm1
addss  %xmm7,%xmm1
add    $0xffffffff,%edx
imul   %r9d,%edx
add    %ecx,%edx
movslq %edx,%rax
movss  (%r8,%rax,4),%xmm6
mulss  %xmm0,%xmm6
mulss  %xmm3,%xmm6
addss  %xmm1,%xmm6
movss  -0x4(%r8,%rax,4),%xmm1
mulss  %xmm0,%xmm1
mulss  %xmm2,%xmm1
addss  %xmm6,%xmm1
movss  -0x8(%r8,%rax,4),%xmm2
mulss  %xmm0,%xmm2
mulss  %xmm4,%xmm2
addss  %xmm1,%xmm2
mulss  -0xc(%r8,%rax,4),%xmm0
mulss  %xmm5,%xmm0
addss  %xmm2,%xmm0
ret

LLVM IR (-O0):
define float @Blend24(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** %11
%69 = load i32, i32* %9
%70 = load i32, i32* %12
%71 = mul nsw i32 %69, %70
%72 = load i32, i32* %10
%73 = add nsw i32 %71, %72
%74 = sub nsw i32 %73, 3
%75 = sext i32 %74 to i64
%76 = getelementptr inbounds float, float* %68, i64 %75
%77 = load float, float* %76
%78 = load float, float* %14
%79 = fmul float %77, %78
%80 = load float*, float** %8
%81 = getelementptr inbounds float, float* %80, i64 3
%82 = load float, float* %81
%83 = load float, float* %13
%84 = call float @llvm.fmuladd.f32(float %79, float %82, float %83)
store float %84, float* %13
%85 = load float*, float** %7
%86 = getelementptr inbounds float, float* %85, i64 1
%87 = load float, float* %86
store float %87, float* %14
%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 = sext i32 %94 to i64
%96 = getelementptr inbounds float, float* %88, i64 %95
%97 = load float, float* %96
%98 = load float, float* %14
%99 = fmul float %97, %98
%100 = load float*, float** %8
%101 = getelementptr inbounds float, float* %100, i64 0
%102 = load float, float* %101
%103 = load float, float* %13
%104 = call float @llvm.fmuladd.f32(float %99, float %102, float %103)
store float %104, float* %13
%105 = load float*, float** %11
%106 = load i32, i32* %9
%107 = sub nsw i32 %106, 1
%108 = load i32, i32* %12
%109 = mul nsw i32 %107, %108
%110 = load i32, i32* %10
%111 = add nsw i32 %109, %110
%112 = sub nsw i32 %111, 1
%113 = sext i32 %112 to i64
%114 = getelementptr inbounds float, float* %105, i64 %113
%115 = load float, float* %114
%116 = load float, float* %14
%117 = fmul float %115, %116
%118 = load float*, float** %8
%119 = getelementptr inbounds float, float* %118, i64 1
%120 = load float, float* %119
%121 = load float, float* %13
%122 = call float @llvm.fmuladd.f32(float %117, float %120, float %121)
store float %122, float* %13
%123 = load float*, float** %11
%124 = load i32, i32* %9
%125 = sub nsw i32 %124, 1
%126 = load i32, i32* %12
%127 = mul nsw i32 %125, %126
%128 = load i32, i32* %10
%129 = add nsw i32 %127, %128
%130 = sub nsw i32 %129, 2
%131 = sext i32 %130 to i64
%132 = getelementptr inbounds float, float* %123, i64 %131
%133 = load float, float* %132
%134 = load float, float* %14
%135 = fmul float %133, %134
%136 = load float*, float** %8
%137 = getelementptr inbounds float, float* %136, i64 2
%138 = load float, float* %137
%139 = load float, float* %13
%140 = call float @llvm.fmuladd.f32(float %135, float %138, float %139)
store float %140, float* %13
%141 = load float*, float** %11
%142 = load i32, i32* %9
%143 = sub nsw i32 %142, 1
%144 = load i32, i32* %12
%145 = mul nsw i32 %143, %144
%146 = load i32, i32* %10
%147 = add nsw i32 %145, %146
%148 = sub nsw i32 %147, 3
%149 = sext i32 %148 to i64
%150 = getelementptr inbounds float, float* %141, i64 %149
%151 = load float, float* %150
%152 = load float, float* %14
%153 = fmul float %151, %152
%154 = load float*, float** %8
%155 = getelementptr inbounds float, float* %154, i64 3
%156 = load float, float* %155
%157 = load float, float* %13
%158 = call float @llvm.fmuladd.f32(float %153, float %156, float %157)
store float %158, float* %13
%159 = load float, float* %13
ret float %159
}

LLVM IR (-O2):
define float @Blend24(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 = add nsw i32 %9, -3
%33 = sext i32 %32 to i64
%34 = getelementptr inbounds float, float* %4, i64 %33
%35 = load float, float* %34
%36 = fmul float %7, %35
%37 = getelementptr inbounds float, float* %1, i64 3
%38 = load float, float* %37
%39 = tail call float @llvm.fmuladd.f32(float %36, float %38, float %31)
%40 = getelementptr inbounds float, float* %0, i64 1
%41 = load float, float* %40
%42 = add nsw i32 %2, -1
%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 = add nsw i32 %44, -2
%57 = sext i32 %56 to i64
%58 = getelementptr inbounds float, float* %4, i64 %57
%59 = load float, float* %58
%60 = fmul float %41, %59
%61 = tail call float @llvm.fmuladd.f32(float %60, float %30, float %55)
%62 = add nsw i32 %44, -3
%63 = sext i32 %62 to i64
%64 = getelementptr inbounds float, float* %4, i64 %63
%65 = load float, float* %64
%66 = fmul float %41, %65
%67 = tail call float @llvm.fmuladd.f32(float %66, float %38, float %61)
ret float %67
}