double t_rev(double *y, unsigned long nmax, long del) {
  double squared = 0.0, cubed = 0.0, diff;
  unsigned long i;
  for (i = 0; i < nmax - del; i++) {
    diff = y[i + del] - y[i];
    squared += diff * diff;
    cubed += diff * diff * diff;
  }
  return (cubed / squared);
}


x86 assembly (clang, -O0):
<t_rev>:
push   %rbp
mov    %rsp,%rbp
mov    %rdi,-0x8(%rbp)
mov    %rsi,-0x10(%rbp)
mov    %rdx,-0x18(%rbp)
xorps  %xmm0,%xmm0
movsd  %xmm0,-0x20(%rbp)
xorps  %xmm0,%xmm0
movsd  %xmm0,-0x28(%rbp)
movq   $0x0,-0x38(%rbp)
mov    -0x38(%rbp),%rax
mov    -0x10(%rbp),%rcx
sub    -0x18(%rbp),%rcx
cmp    %rcx,%rax
jae    11ae <t_rev+0xae>
mov    -0x8(%rbp),%rax
mov    -0x38(%rbp),%rcx
add    -0x18(%rbp),%rcx
movsd  (%rax,%rcx,8),%xmm0
mov    -0x8(%rbp),%rax
mov    -0x38(%rbp),%rcx
subsd  (%rax,%rcx,8),%xmm0
movsd  %xmm0,-0x30(%rbp)
movsd  -0x30(%rbp),%xmm0
movsd  -0x30(%rbp),%xmm2
movsd  -0x20(%rbp),%xmm1
mulsd  %xmm2,%xmm0
addsd  %xmm1,%xmm0
movsd  %xmm0,-0x20(%rbp)
movsd  -0x30(%rbp),%xmm0
mulsd  -0x30(%rbp),%xmm0
movsd  -0x30(%rbp),%xmm2
movsd  -0x28(%rbp),%xmm1
mulsd  %xmm2,%xmm0
addsd  %xmm1,%xmm0
movsd  %xmm0,-0x28(%rbp)
mov    -0x38(%rbp),%rax
add    $0x1,%rax
mov    %rax,-0x38(%rbp)
jmp    1128 <t_rev+0x28>
movsd  -0x28(%rbp),%xmm0
divsd  -0x20(%rbp),%xmm0
pop    %rbp
ret

x86 assembly (clang, -O2):
<t_rev>:
mov    %rsi,%r8
sub    %rdx,%r8
je     111e <t_rev+0x1e>
mov    %rdx,%rax
not    %rax
add    %rsi,%rax
jne    1127 <t_rev+0x27>
xorpd  %xmm1,%xmm1
xor    %ecx,%ecx
jmp    119b <t_rev+0x9b>
movsd  0xeda(%rip),%xmm0
ret
mov    %r8,%rsi
and    $0xfffffffffffffffe,%rsi
lea    (%rdi,%rdx,8),%rax
add    $0x8,%rax
xorpd  %xmm0,%xmm0
xor    %ecx,%ecx
nopl   0x0(%rax)
movsd  -0x8(%rax,%rcx,8),%xmm2
movsd  (%rax,%rcx,8),%xmm1
subsd  (%rdi,%rcx,8),%xmm2
movapd %xmm2,%xmm3
mulsd  %xmm2,%xmm3
movapd %xmm2,%xmm4
unpcklpd %xmm3,%xmm4
unpcklpd %xmm2,%xmm2
mulpd  %xmm4,%xmm2
subsd  0x8(%rdi,%rcx,8),%xmm1
addpd  %xmm0,%xmm2
movapd %xmm1,%xmm0
mulsd  %xmm1,%xmm0
movapd %xmm1,%xmm3
unpcklpd %xmm0,%xmm3
unpcklpd %xmm1,%xmm1
mulpd  %xmm3,%xmm1
addpd  %xmm2,%xmm1
add    $0x2,%rcx
movapd %xmm1,%xmm0
cmp    %rcx,%rsi
jne    1140 <t_rev+0x40>
test   $0x1,%r8b
je     11ca <t_rev+0xca>
add    %rcx,%rdx
movsd  (%rdi,%rdx,8),%xmm0
subsd  (%rdi,%rcx,8),%xmm0
movapd %xmm0,%xmm2
mulsd  %xmm0,%xmm2
movapd %xmm0,%xmm3
unpcklpd %xmm2,%xmm3
unpcklpd %xmm0,%xmm0
mulpd  %xmm3,%xmm0
addpd  %xmm0,%xmm1
movapd %xmm1,%xmm0
unpckhpd %xmm1,%xmm0
divsd  %xmm1,%xmm0
ret

LLVM IR (-O0):
define double @t_rev(double* %0, i64 %1, i64 %2) {
%4 = alloca double*
%5 = alloca i64
%6 = alloca i64
%7 = alloca double
%8 = alloca double
%9 = alloca double
%10 = alloca i64
store double* %0, double** %4
store i64 %1, i64* %5
store i64 %2, i64* %6
store double 0.000000e+00, double* %7
store double 0.000000e+00, double* %8
store i64 0, i64* %10
br label %11
11: ; preds = %39, %3
%12 = load i64, i64* %10
%13 = load i64, i64* %5
%14 = load i64, i64* %6
%15 = sub i64 %13, %14
%16 = icmp ult i64 %12, %15
br i1 %16, label %17, label %42
17: ; preds = %11
%18 = load double*, double** %4
%19 = load i64, i64* %10
%20 = load i64, i64* %6
%21 = add i64 %19, %20
%22 = getelementptr inbounds double, double* %18, i64 %21
%23 = load double, double* %22
%24 = load double*, double** %4
%25 = load i64, i64* %10
%26 = getelementptr inbounds double, double* %24, i64 %25
%27 = load double, double* %26
%28 = fsub double %23, %27
store double %28, double* %9
%29 = load double, double* %9
%30 = load double, double* %9
%31 = load double, double* %7
%32 = call double @llvm.fmuladd.f64(double %29, double %30, double %31)
store double %32, double* %7
%33 = load double, double* %9
%34 = load double, double* %9
%35 = fmul double %33, %34
%36 = load double, double* %9
%37 = load double, double* %8
%38 = call double @llvm.fmuladd.f64(double %35, double %36, double %37)
store double %38, double* %8
br label %39
39: ; preds = %17
%40 = load i64, i64* %10
%41 = add i64 %40, 1
store i64 %41, i64* %10
br label %11
42: ; preds = %11
%43 = load double, double* %8
%44 = load double, double* %7
%45 = fdiv double %43, %44
ret double %45
}

LLVM IR (-O2):
define double @t_rev(double* nocapture %0, i64 %1, i64 %2) {
%4 = sub i64 %1, %2
%5 = icmp eq i64 %4, 0
br i1 %5, label %65, label %6
6: ; preds = %3
%7 = xor i64 %2, -1
%8 = and i64 %4, 1
%9 = sub i64 0, %1
%10 = icmp eq i64 %7, %9
br i1 %10, label %43, label %11
11: ; preds = %6
%12 = and i64 %4, -2
br label %13
13: ; preds = %13, %11
%14 = phi i64 [ 0, %11 ], [ %40, %13 ]
%15 = phi <2 x double> [ zeroinitializer, %11 ], [ %39, %13 ]
%16 = phi i64 [ 0, %11 ], [ %41, %13 ]
%17 = add i64 %14, %2
%18 = getelementptr inbounds double, double* %0, i64 %17
%19 = load double, double* %18
%20 = getelementptr inbounds double, double* %0, i64 %14
%21 = load double, double* %20
%22 = fsub double %19, %21
%23 = fmul double %22, %22
%24 = insertelement <2 x double> poison, double %22, i64 0
%25 = insertelement <2 x double> %24, double %23, i64 1
%26 = shufflevector <2 x double> %24, <2 x double> poison, <2 x i32> zeroinitializer
%27 = call <2 x double> @llvm.fmuladd.v2f64(<2 x double> %25, <2 x double> %26, <2 x double> %15)
%28 = or i64 %14, 1
%29 = add i64 %28, %2
%30 = getelementptr inbounds double, double* %0, i64 %29
%31 = load double, double* %30
%32 = getelementptr inbounds double, double* %0, i64 %28
%33 = load double, double* %32
%34 = fsub double %31, %33
%35 = fmul double %34, %34
%36 = insertelement <2 x double> poison, double %34, i64 0
%37 = insertelement <2 x double> %36, double %35, i64 1
%38 = shufflevector <2 x double> %36, <2 x double> poison, <2 x i32> zeroinitializer
%39 = call <2 x double> @llvm.fmuladd.v2f64(<2 x double> %37, <2 x double> %38, <2 x double> %27)
%40 = add nuw i64 %14, 2
%41 = add i64 %16, 2
%42 = icmp eq i64 %41, %12
br i1 %42, label %43, label %13
43: ; preds = %13, %6
%44 = phi <2 x double> [ undef, %6 ], [ %39, %13 ]
%45 = phi i64 [ 0, %6 ], [ %40, %13 ]
%46 = phi <2 x double> [ zeroinitializer, %6 ], [ %39, %13 ]
%47 = icmp eq i64 %8, 0
br i1 %47, label %60, label %48
48: ; preds = %43
%49 = add i64 %45, %2
%50 = getelementptr inbounds double, double* %0, i64 %49
%51 = load double, double* %50
%52 = getelementptr inbounds double, double* %0, i64 %45
%53 = load double, double* %52
%54 = fsub double %51, %53
%55 = fmul double %54, %54
%56 = insertelement <2 x double> poison, double %54, i64 0
%57 = insertelement <2 x double> %56, double %55, i64 1
%58 = shufflevector <2 x double> %56, <2 x double> poison, <2 x i32> zeroinitializer
%59 = call <2 x double> @llvm.fmuladd.v2f64(<2 x double> %57, <2 x double> %58, <2 x double> %46)
br label %60
60: ; preds = %43, %48
%61 = phi <2 x double> [ %44, %43 ], [ %59, %48 ]
%62 = extractelement <2 x double> %61, i64 0
%63 = extractelement <2 x double> %61, i64 1
%64 = fdiv double %63, %62
br label %65
65: ; preds = %60, %3
%66 = phi double [ %64, %60 ], [ 0x7FF8000000000000, %3 ]
ret double %66
}