float LagrangeDerivative(float *x, float *y, int np) {
  int i, k;
  float dy, den;
  float P[2];
  dy = 0.0;
  for (k = 0; k < np; k++) {
    P[0] = 1.0;
    P[1] = 0.0;
    den = 1.0;
    for (i = 0; i < np; i++)
      if (i != k) {
        P[1] = P[0] + P[1] * -x[i];
        P[0] *= -x[i];
        den *= x[k] - x[i];
      }
    if (den != 0.0)
      dy += y[k] * P[1] / den;
  }
  return dy;
}


x86 assembly (clang, -O0):
<LagrangeDerivative>:
push   %rbp
mov    %rsp,%rbp
mov    %rdi,-0x8(%rbp)
mov    %rsi,-0x10(%rbp)
mov    %edx,-0x14(%rbp)
xorps  %xmm0,%xmm0
movss  %xmm0,-0x20(%rbp)
movl   $0x0,-0x1c(%rbp)
mov    -0x1c(%rbp),%eax
cmp    -0x14(%rbp),%eax
jge    124c <LagrangeDerivative+0x14c>
movss  0xece(%rip),%xmm0
movss  %xmm0,-0x2c(%rbp)
xorps  %xmm0,%xmm0
movss  %xmm0,-0x28(%rbp)
movss  0xeb9(%rip),%xmm0
movss  %xmm0,-0x24(%rbp)
movl   $0x0,-0x18(%rbp)
mov    -0x18(%rbp),%eax
cmp    -0x14(%rbp),%eax
jge    11f7 <LagrangeDerivative+0xf7>
mov    -0x18(%rbp),%eax
cmp    -0x1c(%rbp),%eax
je     11e4 <LagrangeDerivative+0xe4>
movss  -0x2c(%rbp),%xmm1
movss  -0x28(%rbp),%xmm0
mov    -0x8(%rbp),%rax
movslq -0x18(%rbp),%rcx
movss  (%rax,%rcx,4),%xmm2
movd   %xmm2,%eax
xor    $0x80000000,%eax
movd   %eax,%xmm2
mulss  %xmm2,%xmm0
addss  %xmm1,%xmm0
movss  %xmm0,-0x28(%rbp)
mov    -0x8(%rbp),%rax
movslq -0x18(%rbp),%rcx
movss  (%rax,%rcx,4),%xmm0
movd   %xmm0,%eax
xor    $0x80000000,%eax
movd   %eax,%xmm0
mulss  -0x2c(%rbp),%xmm0
movss  %xmm0,-0x2c(%rbp)
mov    -0x8(%rbp),%rax
movslq -0x1c(%rbp),%rcx
movss  (%rax,%rcx,4),%xmm0
mov    -0x8(%rbp),%rax
movslq -0x18(%rbp),%rcx
subss  (%rax,%rcx,4),%xmm0
mulss  -0x24(%rbp),%xmm0
movss  %xmm0,-0x24(%rbp)
jmp    11e9 <LagrangeDerivative+0xe9>
mov    -0x18(%rbp),%eax
add    $0x1,%eax
mov    %eax,-0x18(%rbp)
jmp    1153 <LagrangeDerivative+0x53>
movss  -0x24(%rbp),%xmm0
cvtss2sd %xmm0,%xmm0
xorps  %xmm1,%xmm1
ucomisd %xmm1,%xmm0
jne    1218 <LagrangeDerivative+0x118>
jp     1218 <LagrangeDerivative+0x118>
jmp    1239 <LagrangeDerivative+0x139>
mov    -0x10(%rbp),%rax
movslq -0x1c(%rbp),%rcx
movss  (%rax,%rcx,4),%xmm0
mulss  -0x28(%rbp),%xmm0
divss  -0x24(%rbp),%xmm0
addss  -0x20(%rbp),%xmm0
movss  %xmm0,-0x20(%rbp)
jmp    123e <LagrangeDerivative+0x13e>
mov    -0x1c(%rbp),%eax
add    $0x1,%eax
mov    %eax,-0x1c(%rbp)
jmp    111e <LagrangeDerivative+0x1e>
movss  -0x20(%rbp),%xmm0
pop    %rbp
ret

x86 assembly (clang, -O2):
<LagrangeDerivative>:
test   %edx,%edx
jle    122d <LagrangeDerivative+0x12d>
mov    %edx,%r8d
mov    %r8d,%r9d
and    $0xfffffffe,%r9d
xorps  %xmm8,%xmm8
xor    %r10d,%r10d
movss  0xede(%rip),%xmm9
movaps 0xee7(%rip),%xmm3
xorps  %xmm0,%xmm0
jmp    113d <LagrangeDerivative+0x3d>
xchg   %ax,%ax
add    $0x1,%r10
cmp    %r8,%r10
je     122c <LagrangeDerivative+0x12c>
cmp    $0x1,%edx
jne    1160 <LagrangeDerivative+0x60>
xor    %eax,%eax
movaps %xmm9,%xmm2
xorps  %xmm5,%xmm5
movaps %xmm9,%xmm4
test   $0x1,%r8b
jne    11ea <LagrangeDerivative+0xea>
jmp    120d <LagrangeDerivative+0x10d>
xchg   %ax,%ax
xorps  %xmm5,%xmm5
xor    %ecx,%ecx
movaps %xmm9,%xmm2
movaps %xmm9,%xmm4
jmp    1179 <LagrangeDerivative+0x79>
nop
add    $0x1,%rcx
cmp    %r9,%rcx
je     11e0 <LagrangeDerivative+0xe0>
mov    %rcx,%rax
cmp    %rcx,%r10
je     11a9 <LagrangeDerivative+0xa9>
movss  (%rdi,%rax,4),%xmm7
mulss  %xmm7,%xmm5
movss  (%rdi,%r10,4),%xmm1
subss  %xmm7,%xmm1
xorps  %xmm3,%xmm7
movaps %xmm2,%xmm6
subss  %xmm5,%xmm6
mulss  %xmm7,%xmm2
mulss  %xmm1,%xmm4
movaps %xmm6,%xmm5
lea    0x1(%rax),%rcx
cmp    %r10,%rcx
je     1170 <LagrangeDerivative+0x70>
movss  0x4(%rdi,%rax,4),%xmm1
mulss  %xmm1,%xmm5
movss  (%rdi,%r10,4),%xmm6
subss  %xmm1,%xmm6
xorps  %xmm3,%xmm1
movaps %xmm2,%xmm7
subss  %xmm5,%xmm7
mulss  %xmm1,%xmm2
mulss  %xmm6,%xmm4
movaps %xmm7,%xmm5
jmp    1170 <LagrangeDerivative+0x70>
nopl   (%rax)
add    $0x2,%rax
test   $0x1,%r8b
je     120d <LagrangeDerivative+0x10d>
cmp    %r10,%rax
je     120d <LagrangeDerivative+0x10d>
movss  (%rdi,%rax,4),%xmm1
mulss  %xmm1,%xmm5
subss  %xmm5,%xmm2
movss  (%rdi,%r10,4),%xmm5
subss  %xmm1,%xmm5
mulss  %xmm5,%xmm4
movaps %xmm2,%xmm5
ucomiss %xmm8,%xmm4
jne    1219 <LagrangeDerivative+0x119>
jnp    1130 <LagrangeDerivative+0x30>
mulss  (%rsi,%r10,4),%xmm5
divss  %xmm4,%xmm5
addss  %xmm5,%xmm0
jmp    1130 <LagrangeDerivative+0x30>
ret
xorps  %xmm0,%xmm0
ret

LLVM IR (-O0):
define float @LagrangeDerivative(float* %0, float* %1, i32 %2) {
%4 = alloca float*
%5 = alloca float*
%6 = alloca i32
%7 = alloca i32
%8 = alloca i32
%9 = alloca float
%10 = alloca float
%11 = alloca [2 x float]
store float* %0, float** %4
store float* %1, float** %5
store i32 %2, i32* %6
store float 0.000000e+00, float* %9
store i32 0, i32* %8
br label %12
12: ; preds = %84, %3
%13 = load i32, i32* %8
%14 = load i32, i32* %6
%15 = icmp slt i32 %13, %14
br i1 %15, label %16, label %87
16: ; preds = %12
%17 = getelementptr inbounds [2 x float], [2 x float]* %11, i64 0, i64 0
store float 1.000000e+00, float* %17
%18 = getelementptr inbounds [2 x float], [2 x float]* %11, i64 0, i64 1
store float 0.000000e+00, float* %18
store float 1.000000e+00, float* %10
store i32 0, i32* %7
br label %19
19: ; preds = %63, %16
%20 = load i32, i32* %7
%21 = load i32, i32* %6
%22 = icmp slt i32 %20, %21
br i1 %22, label %23, label %66
23: ; preds = %19
%24 = load i32, i32* %7
%25 = load i32, i32* %8
%26 = icmp ne i32 %24, %25
br i1 %26, label %27, label %62
27: ; preds = %23
%28 = getelementptr inbounds [2 x float], [2 x float]* %11, i64 0, i64 0
%29 = load float, float* %28
%30 = getelementptr inbounds [2 x float], [2 x float]* %11, i64 0, i64 1
%31 = load float, float* %30
%32 = load float*, float** %4
%33 = load i32, i32* %7
%34 = sext i32 %33 to i64
%35 = getelementptr inbounds float, float* %32, i64 %34
%36 = load float, float* %35
%37 = fneg float %36
%38 = call float @llvm.fmuladd.f32(float %31, float %37, float %29)
%39 = getelementptr inbounds [2 x float], [2 x float]* %11, i64 0, i64 1
store float %38, float* %39
%40 = load float*, float** %4
%41 = load i32, i32* %7
%42 = sext i32 %41 to i64
%43 = getelementptr inbounds float, float* %40, i64 %42
%44 = load float, float* %43
%45 = fneg float %44
%46 = getelementptr inbounds [2 x float], [2 x float]* %11, i64 0, i64 0
%47 = load float, float* %46
%48 = fmul float %47, %45
store float %48, float* %46
%49 = load float*, float** %4
%50 = load i32, i32* %8
%51 = sext i32 %50 to i64
%52 = getelementptr inbounds float, float* %49, i64 %51
%53 = load float, float* %52
%54 = load float*, float** %4
%55 = load i32, i32* %7
%56 = sext i32 %55 to i64
%57 = getelementptr inbounds float, float* %54, i64 %56
%58 = load float, float* %57
%59 = fsub float %53, %58
%60 = load float, float* %10
%61 = fmul float %60, %59
store float %61, float* %10
br label %62
62: ; preds = %27, %23
br label %63
63: ; preds = %62
%64 = load i32, i32* %7
%65 = add nsw i32 %64, 1
store i32 %65, i32* %7
br label %19
66: ; preds = %19
%67 = load float, float* %10
%68 = fpext float %67 to double
%69 = fcmp une double %68, 0.000000e+00
br i1 %69, label %70, label %83
70: ; preds = %66
%71 = load float*, float** %5
%72 = load i32, i32* %8
%73 = sext i32 %72 to i64
%74 = getelementptr inbounds float, float* %71, i64 %73
%75 = load float, float* %74
%76 = getelementptr inbounds [2 x float], [2 x float]* %11, i64 0, i64 1
%77 = load float, float* %76
%78 = fmul float %75, %77
%79 = load float, float* %10
%80 = fdiv float %78, %79
%81 = load float, float* %9
%82 = fadd float %81, %80
store float %82, float* %9
br label %83
83: ; preds = %70, %66
br label %84
84: ; preds = %83
%85 = load i32, i32* %8
%86 = add nsw i32 %85, 1
store i32 %86, i32* %8
br label %12
87: ; preds = %12
%88 = load float, float* %9
ret float %88
}

LLVM IR (-O2):
define float @LagrangeDerivative(float* nocapture %0, float* nocapture %1, i32 %2) {
%4 = icmp sgt i32 %2, 0
br i1 %4, label %5, label %84
5: ; preds = %3
%6 = zext i32 %2 to i64
%7 = and i64 %6, 1
%8 = icmp eq i32 %2, 1
%9 = and i64 %6, 4294967294
%10 = icmp eq i64 %7, 0
br label %11
11: ; preds = %80, %5
%12 = phi i64 [ 0, %5 ], [ %82, %80 ]
%13 = phi float [ 0.000000e+00, %5 ], [ %81, %80 ]
%14 = getelementptr inbounds float, float* %0, i64 %12
br i1 %8, label %53, label %15
15: ; preds = %11, %46
%16 = phi i64 [ %50, %46 ], [ 0, %11 ]
%17 = phi float [ %49, %46 ], [ 1.000000e+00, %11 ]
%18 = phi float [ %48, %46 ], [ 0.000000e+00, %11 ]
%19 = phi float [ %47, %46 ], [ 1.000000e+00, %11 ]
%20 = phi i64 [ %51, %46 ], [ 0, %11 ]
%21 = icmp eq i64 %16, %12
br i1 %21, label %31, label %22
22: ; preds = %15
%23 = getelementptr inbounds float, float* %0, i64 %16
%24 = load float, float* %23
%25 = fneg float %24
%26 = tail call float @llvm.fmuladd.f32(float %18, float %25, float %17)
%27 = fmul float %17, %25
%28 = load float, float* %14
%29 = fsub float %28, %24
%30 = fmul float %19, %29
br label %31
31: ; preds = %15, %22
%32 = phi float [ %30, %22 ], [ %19, %15 ]
%33 = phi float [ %26, %22 ], [ %18, %15 ]
%34 = phi float [ %27, %22 ], [ %17, %15 ]
%35 = or i64 %16, 1
%36 = icmp eq i64 %35, %12
br i1 %36, label %46, label %37
37: ; preds = %31
%38 = getelementptr inbounds float, float* %0, i64 %35
%39 = load float, float* %38
%40 = fneg float %39
%41 = tail call float @llvm.fmuladd.f32(float %33, float %40, float %34)
%42 = fmul float %34, %40
%43 = load float, float* %14
%44 = fsub float %43, %39
%45 = fmul float %32, %44
br label %46
46: ; preds = %37, %31
%47 = phi float [ %45, %37 ], [ %32, %31 ]
%48 = phi float [ %41, %37 ], [ %33, %31 ]
%49 = phi float [ %42, %37 ], [ %34, %31 ]
%50 = add nuw nsw i64 %16, 2
%51 = add i64 %20, 2
%52 = icmp eq i64 %51, %9
br i1 %52, label %53, label %15
53: ; preds = %46, %11
%54 = phi float [ undef, %11 ], [ %47, %46 ]
%55 = phi float [ undef, %11 ], [ %48, %46 ]
%56 = phi i64 [ 0, %11 ], [ %50, %46 ]
%57 = phi float [ 1.000000e+00, %11 ], [ %49, %46 ]
%58 = phi float [ 0.000000e+00, %11 ], [ %48, %46 ]
%59 = phi float [ 1.000000e+00, %11 ], [ %47, %46 ]
br i1 %10, label %70, label %60
60: ; preds = %53
%61 = icmp eq i64 %56, %12
br i1 %61, label %70, label %62
62: ; preds = %60
%63 = getelementptr inbounds float, float* %0, i64 %56
%64 = load float, float* %63
%65 = fneg float %64
%66 = tail call float @llvm.fmuladd.f32(float %58, float %65, float %57)
%67 = load float, float* %14
%68 = fsub float %67, %64
%69 = fmul float %59, %68
br label %70
70: ; preds = %60, %62, %53
%71 = phi float [ %54, %53 ], [ %69, %62 ], [ %59, %60 ]
%72 = phi float [ %55, %53 ], [ %66, %62 ], [ %58, %60 ]
%73 = fcmp une float %71, 0.000000e+00
br i1 %73, label %74, label %80
74: ; preds = %70
%75 = getelementptr inbounds float, float* %1, i64 %12
%76 = load float, float* %75
%77 = fmul float %72, %76
%78 = fdiv float %77, %71
%79 = fadd float %13, %78
br label %80
80: ; preds = %70, %74
%81 = phi float [ %79, %74 ], [ %13, %70 ]
%82 = add nuw nsw i64 %12, 1
%83 = icmp eq i64 %82, %6
br i1 %83, label %84, label %11
84: ; preds = %80, %3
%85 = phi float [ 0.000000e+00, %3 ], [ %81, %80 ]
ret float %85
}