float LinearExtension(const float *Src, int Stride, int N, int n) {
  if (0 <= n) {
    if (n < N)
      return Src[Stride * n];
    else if (N == 1)
      return Src[0];
    else {
      Src += Stride * (N - 1);
      return Src[0] + (N - 1 - n) * (Src[-Stride] - Src[0]);
    }
  } else if (N == 1)
    return Src[0];
  else
    return Src[0] + n * (Src[Stride] - Src[0]);
}


x86 assembly (clang, -O0):
<LinearExtension>:
push   %rbp
mov    %rsp,%rbp
mov    %rdi,-0x10(%rbp)
mov    %esi,-0x14(%rbp)
mov    %edx,-0x18(%rbp)
mov    %ecx,-0x1c(%rbp)
xor    %eax,%eax
cmp    -0x1c(%rbp),%eax
jg     11bf <LinearExtension+0xbf>
mov    -0x1c(%rbp),%eax
cmp    -0x18(%rbp),%eax
jge    1145 <LinearExtension+0x45>
mov    -0x10(%rbp),%rax
mov    -0x14(%rbp),%ecx
imul   -0x1c(%rbp),%ecx
movslq %ecx,%rcx
movss  (%rax,%rcx,4),%xmm0
movss  %xmm0,-0x4(%rbp)
jmp    120a <LinearExtension+0x10a>
cmpl   $0x1,-0x18(%rbp)
jne    1161 <LinearExtension+0x61>
mov    -0x10(%rbp),%rax
movss  (%rax),%xmm0
movss  %xmm0,-0x4(%rbp)
jmp    120a <LinearExtension+0x10a>
mov    -0x14(%rbp),%ecx
mov    -0x18(%rbp),%eax
sub    $0x1,%eax
imul   %eax,%ecx
mov    -0x10(%rbp),%rax
movslq %ecx,%rcx
shl    $0x2,%rcx
add    %rcx,%rax
mov    %rax,-0x10(%rbp)
mov    -0x10(%rbp),%rax
movss  (%rax),%xmm1
mov    -0x18(%rbp),%eax
sub    $0x1,%eax
sub    -0x1c(%rbp),%eax
cvtsi2ss %eax,%xmm0
mov    -0x10(%rbp),%rax
xor    %ecx,%ecx
sub    -0x14(%rbp),%ecx
movslq %ecx,%rcx
movss  (%rax,%rcx,4),%xmm2
mov    -0x10(%rbp),%rax
subss  (%rax),%xmm2
mulss  %xmm2,%xmm0
addss  %xmm1,%xmm0
movss  %xmm0,-0x4(%rbp)
jmp    120a <LinearExtension+0x10a>
cmpl   $0x1,-0x18(%rbp)
jne    11db <LinearExtension+0xdb>
mov    -0x10(%rbp),%rax
movss  (%rax),%xmm0
movss  %xmm0,-0x4(%rbp)
jmp    120a <LinearExtension+0x10a>
mov    -0x10(%rbp),%rax
movss  (%rax),%xmm1
cvtsi2ssl -0x1c(%rbp),%xmm0
mov    -0x10(%rbp),%rax
movslq -0x14(%rbp),%rcx
movss  (%rax,%rcx,4),%xmm2
mov    -0x10(%rbp),%rax
subss  (%rax),%xmm2
mulss  %xmm2,%xmm0
addss  %xmm1,%xmm0
movss  %xmm0,-0x4(%rbp)
movss  -0x4(%rbp),%xmm0
pop    %rbp
ret

x86 assembly (clang, -O2):
<LinearExtension>:
test   %ecx,%ecx
js     1114 <LinearExtension+0x14>
cmp    %edx,%ecx
jge    1139 <LinearExtension+0x39>
imul   %esi,%ecx
movslq %ecx,%rax
movss  (%rdi,%rax,4),%xmm0
ret
movss  (%rdi),%xmm0
cmp    $0x1,%edx
je     1138 <LinearExtension+0x38>
cvtsi2ss %ecx,%xmm2
movslq %esi,%rax
movss  (%rdi,%rax,4),%xmm1
subss  %xmm0,%xmm1
mulss  %xmm2,%xmm1
addss  %xmm0,%xmm1
movaps %xmm1,%xmm0
ret
cmp    $0x1,%edx
jne    1143 <LinearExtension+0x43>
movss  (%rdi),%xmm0
ret
add    $0xffffffff,%edx
mov    %edx,%eax
imul   %esi,%eax
cltq
sub    %ecx,%edx
cvtsi2ss %edx,%xmm1
lea    (%rdi,%rax,4),%rcx
movss  (%rdi,%rax,4),%xmm2
neg    %esi
movslq %esi,%rax
movss  (%rcx,%rax,4),%xmm0
subss  %xmm2,%xmm0
mulss  %xmm1,%xmm0
addss  %xmm2,%xmm0
ret

LLVM IR (-O0):
define float @LinearExtension(float* %0, i32 %1, i32 %2, i32 %3) {
%5 = alloca float
%6 = alloca float*
%7 = alloca i32
%8 = alloca i32
%9 = alloca i32
store float* %0, float** %6
store i32 %1, i32* %7
store i32 %2, i32* %8
store i32 %3, i32* %9
%10 = load i32, i32* %9
%11 = icmp sle i32 0, %10
br i1 %11, label %12, label %58
12: ; preds = %4
%13 = load i32, i32* %9
%14 = load i32, i32* %8
%15 = icmp slt i32 %13, %14
br i1 %15, label %16, label %24
16: ; preds = %12
%17 = load float*, float** %6
%18 = load i32, i32* %7
%19 = load i32, i32* %9
%20 = mul nsw i32 %18, %19
%21 = sext i32 %20 to i64
%22 = getelementptr inbounds float, float* %17, i64 %21
%23 = load float, float* %22
store float %23, float* %5
br label %81
24: ; preds = %12
%25 = load i32, i32* %8
%26 = icmp eq i32 %25, 1
br i1 %26, label %27, label %31
27: ; preds = %24
%28 = load float*, float** %6
%29 = getelementptr inbounds float, float* %28, i64 0
%30 = load float, float* %29
store float %30, float* %5
br label %81
31: ; preds = %24
%32 = load i32, i32* %7
%33 = load i32, i32* %8
%34 = sub nsw i32 %33, 1
%35 = mul nsw i32 %32, %34
%36 = load float*, float** %6
%37 = sext i32 %35 to i64
%38 = getelementptr inbounds float, float* %36, i64 %37
store float* %38, float** %6
%39 = load float*, float** %6
%40 = getelementptr inbounds float, float* %39, i64 0
%41 = load float, float* %40
%42 = load i32, i32* %8
%43 = sub nsw i32 %42, 1
%44 = load i32, i32* %9
%45 = sub nsw i32 %43, %44
%46 = sitofp i32 %45 to float
%47 = load float*, float** %6
%48 = load i32, i32* %7
%49 = sub nsw i32 0, %48
%50 = sext i32 %49 to i64
%51 = getelementptr inbounds float, float* %47, i64 %50
%52 = load float, float* %51
%53 = load float*, float** %6
%54 = getelementptr inbounds float, float* %53, i64 0
%55 = load float, float* %54
%56 = fsub float %52, %55
%57 = call float @llvm.fmuladd.f32(float %46, float %56, float %41)
store float %57, float* %5
br label %81
58: ; preds = %4
%59 = load i32, i32* %8
%60 = icmp eq i32 %59, 1
br i1 %60, label %61, label %65
61: ; preds = %58
%62 = load float*, float** %6
%63 = getelementptr inbounds float, float* %62, i64 0
%64 = load float, float* %63
store float %64, float* %5
br label %81
65: ; preds = %58
%66 = load float*, float** %6
%67 = getelementptr inbounds float, float* %66, i64 0
%68 = load float, float* %67
%69 = load i32, i32* %9
%70 = sitofp i32 %69 to float
%71 = load float*, float** %6
%72 = load i32, i32* %7
%73 = sext i32 %72 to i64
%74 = getelementptr inbounds float, float* %71, i64 %73
%75 = load float, float* %74
%76 = load float*, float** %6
%77 = getelementptr inbounds float, float* %76, i64 0
%78 = load float, float* %77
%79 = fsub float %75, %78
%80 = call float @llvm.fmuladd.f32(float %70, float %79, float %68)
store float %80, float* %5
br label %81
81: ; preds = %65, %61, %31, %27, %16
%82 = load float, float* %5
ret float %82
}

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