void TriSymGaxpy(double *t0, double *t1, double *x, int M, double *y) {
  int i;
  if (M == 1) {
    y[0] = t0[0] * x[0];
  } else {
    y[0] = t0[0] * x[0] + t1[0] * x[1];
    for (i = 1; i < M - 1; i++) {
      y[i] = t0[i] * x[i] + t1[i] * x[i + 1] + t1[i - 1] * x[i - 1];
    }
    y[M - 1] = t0[M - 1] * x[M - 1] + t1[M - 2] * x[M - 2];
  }
}


x86 assembly (clang, -O0):
<TriSymGaxpy>:
push   %rbp
mov    %rsp,%rbp
mov    %rdi,-0x8(%rbp)
mov    %rsi,-0x10(%rbp)
mov    %rdx,-0x18(%rbp)
mov    %ecx,-0x1c(%rbp)
mov    %r8,-0x28(%rbp)
cmpl   $0x1,-0x1c(%rbp)
jne    113e <TriSymGaxpy+0x3e>
mov    -0x8(%rbp),%rax
movsd  (%rax),%xmm0
mov    -0x18(%rbp),%rax
mulsd  (%rax),%xmm0
mov    -0x28(%rbp),%rax
movsd  %xmm0,(%rax)
jmp    1271 <TriSymGaxpy+0x171>
mov    -0x8(%rbp),%rax
movsd  (%rax),%xmm0
mov    -0x18(%rbp),%rax
movsd  (%rax),%xmm2
mov    -0x10(%rbp),%rax
movsd  (%rax),%xmm1
mov    -0x18(%rbp),%rax
mulsd  0x8(%rax),%xmm1
mulsd  %xmm2,%xmm0
addsd  %xmm1,%xmm0
mov    -0x28(%rbp),%rax
movsd  %xmm0,(%rax)
movl   $0x1,-0x2c(%rbp)
mov    -0x2c(%rbp),%eax
mov    -0x1c(%rbp),%ecx
sub    $0x1,%ecx
cmp    %ecx,%eax
jge    120f <TriSymGaxpy+0x10f>
mov    -0x8(%rbp),%rax
movslq -0x2c(%rbp),%rcx
movsd  (%rax,%rcx,8),%xmm1
mov    -0x18(%rbp),%rax
movslq -0x2c(%rbp),%rcx
movsd  (%rax,%rcx,8),%xmm2
mov    -0x10(%rbp),%rax
movslq -0x2c(%rbp),%rcx
movsd  (%rax,%rcx,8),%xmm0
mov    -0x18(%rbp),%rax
mov    -0x2c(%rbp),%ecx
add    $0x1,%ecx
movslq %ecx,%rcx
mulsd  (%rax,%rcx,8),%xmm0
mulsd  %xmm2,%xmm1
addsd  %xmm0,%xmm1
mov    -0x10(%rbp),%rax
mov    -0x2c(%rbp),%ecx
sub    $0x1,%ecx
movslq %ecx,%rcx
movsd  (%rax,%rcx,8),%xmm0
mov    -0x18(%rbp),%rax
mov    -0x2c(%rbp),%ecx
sub    $0x1,%ecx
movslq %ecx,%rcx
movsd  (%rax,%rcx,8),%xmm2
mulsd  %xmm2,%xmm0
addsd  %xmm1,%xmm0
mov    -0x28(%rbp),%rax
movslq -0x2c(%rbp),%rcx
movsd  %xmm0,(%rax,%rcx,8)
mov    -0x2c(%rbp),%eax
add    $0x1,%eax
mov    %eax,-0x2c(%rbp)
jmp    1176 <TriSymGaxpy+0x76>
mov    -0x8(%rbp),%rax
mov    -0x1c(%rbp),%ecx
sub    $0x1,%ecx
movslq %ecx,%rcx
movsd  (%rax,%rcx,8),%xmm0
mov    -0x18(%rbp),%rax
mov    -0x1c(%rbp),%ecx
sub    $0x1,%ecx
movslq %ecx,%rcx
movsd  (%rax,%rcx,8),%xmm2
mov    -0x10(%rbp),%rax
mov    -0x1c(%rbp),%ecx
sub    $0x2,%ecx
movslq %ecx,%rcx
movsd  (%rax,%rcx,8),%xmm1
mov    -0x18(%rbp),%rax
mov    -0x1c(%rbp),%ecx
sub    $0x2,%ecx
movslq %ecx,%rcx
mulsd  (%rax,%rcx,8),%xmm1
mulsd  %xmm2,%xmm0
addsd  %xmm1,%xmm0
mov    -0x28(%rbp),%rax
mov    -0x1c(%rbp),%ecx
sub    $0x1,%ecx
movslq %ecx,%rcx
movsd  %xmm0,(%rax,%rcx,8)
pop    %rbp
ret

x86 assembly (clang, -O2):
<TriSymGaxpy>:
push   %rbp
push   %r15
push   %r14
push   %r13
push   %r12
push   %rbx
movsd  (%rdi),%xmm0
movsd  (%rdx),%xmm1
cmp    $0x1,%ecx
jne    1125 <TriSymGaxpy+0x25>
mulsd  %xmm1,%xmm0
movsd  %xmm0,(%r8)
jmp    1287 <TriSymGaxpy+0x187>
movsd  (%rsi),%xmm2
mulsd  0x8(%rdx),%xmm2
mulsd  %xmm1,%xmm0
addsd  %xmm2,%xmm0
movsd  %xmm0,(%r8)
lea    -0x1(%rcx),%r9d
cmp    $0x3,%ecx
jl     1261 <TriSymGaxpy+0x161>
mov    %r9d,%r10d
lea    -0x1(%r10),%rax
mov    $0x1,%r11d
cmp    $0x2,%rax
jb     1220 <TriSymGaxpy+0x120>
lea    0x8(%r8),%rbp
lea    (%r8,%r10,8),%rbx
lea    0x8(%rdi),%r14
lea    (%rdi,%r10,8),%r15
lea    (%rdx,%r10,8),%r12
add    $0x8,%r12
lea    (%rsi,%r10,8),%r13
cmp    %r15,%rbp
setb   %r15b
cmp    %rbx,%r14
setb   %r14b
cmp    %r12,%rbp
setb   %r12b
cmp    %rdx,%rbx
seta   -0x1(%rsp)
cmp    %r13,%rbp
setb   %bpl
cmp    %rsi,%rbx
seta   %bl
test   %r14b,%r15b
jne    1220 <TriSymGaxpy+0x120>
and    -0x1(%rsp),%r12b
jne    1220 <TriSymGaxpy+0x120>
and    %bl,%bpl
jne    1220 <TriSymGaxpy+0x120>
mov    %rax,%r14
and    $0xfffffffffffffffe,%r14
mov    %rax,%r11
or     $0x1,%r11
xor    %ebx,%ebx
cs nopw 0x0(%rax,%rax,1)
movupd 0x8(%rdi,%rbx,8),%xmm0
movupd (%rsi,%rbx,8),%xmm1
movupd 0x8(%rsi,%rbx,8),%xmm2
movupd (%rdx,%rbx,8),%xmm3
mulpd  %xmm1,%xmm3
movupd 0x8(%rdx,%rbx,8),%xmm1
mulpd  %xmm0,%xmm1
movupd 0x10(%rdx,%rbx,8),%xmm0
mulpd  %xmm2,%xmm0
addpd  %xmm1,%xmm0
addpd  %xmm3,%xmm0
movupd %xmm0,0x8(%r8,%rbx,8)
add    $0x2,%rbx
cmp    %rbx,%r14
jne    11d0 <TriSymGaxpy+0xd0>
cmp    %r14,%rax
je     1261 <TriSymGaxpy+0x161>
nopl   0x0(%rax,%rax,1)
movsd  (%rdi,%r11,8),%xmm0
movsd  (%rsi,%r11,8),%xmm1
mulsd  0x8(%rdx,%r11,8),%xmm1
mulsd  (%rdx,%r11,8),%xmm0
movsd  -0x8(%rsi,%r11,8),%xmm2
addsd  %xmm1,%xmm0
mulsd  -0x8(%rdx,%r11,8),%xmm2
addsd  %xmm0,%xmm2
movsd  %xmm2,(%r8,%r11,8)
lea    0x1(%r11),%rax
mov    %rax,%r11
cmp    %rax,%r10
jne    1220 <TriSymGaxpy+0x120>
movslq %r9d,%rax
movsd  (%rdi,%rax,8),%xmm0
movslq %ecx,%rcx
movsd  -0x10(%rsi,%rcx,8),%xmm1
mulsd  -0x10(%rdx,%rcx,8),%xmm1
mulsd  (%rdx,%rax,8),%xmm0
addsd  %xmm1,%xmm0
movsd  %xmm0,(%r8,%rax,8)
pop    %rbx
pop    %r12
pop    %r13
pop    %r14
pop    %r15
pop    %rbp
ret

LLVM IR (-O0):
define void @TriSymGaxpy(double* %0, double* %1, double* %2, i32 %3, double* %4) {
%6 = alloca double*
%7 = alloca double*
%8 = alloca double*
%9 = alloca i32
%10 = alloca double*
%11 = alloca i32
store double* %0, double** %6
store double* %1, double** %7
store double* %2, double** %8
store i32 %3, i32* %9
store double* %4, double** %10
%12 = load i32, i32* %9
%13 = icmp eq i32 %12, 1
br i1 %13, label %14, label %24
14: ; preds = %5
%15 = load double*, double** %6
%16 = getelementptr inbounds double, double* %15, i64 0
%17 = load double, double* %16
%18 = load double*, double** %8
%19 = getelementptr inbounds double, double* %18, i64 0
%20 = load double, double* %19
%21 = fmul double %17, %20
%22 = load double*, double** %10
%23 = getelementptr inbounds double, double* %22, i64 0
store double %21, double* %23
br label %122
24: ; preds = %5
%25 = load double*, double** %6
%26 = getelementptr inbounds double, double* %25, i64 0
%27 = load double, double* %26
%28 = load double*, double** %8
%29 = getelementptr inbounds double, double* %28, i64 0
%30 = load double, double* %29
%31 = load double*, double** %7
%32 = getelementptr inbounds double, double* %31, i64 0
%33 = load double, double* %32
%34 = load double*, double** %8
%35 = getelementptr inbounds double, double* %34, i64 1
%36 = load double, double* %35
%37 = fmul double %33, %36
%38 = call double @llvm.fmuladd.f64(double %27, double %30, double %37)
%39 = load double*, double** %10
%40 = getelementptr inbounds double, double* %39, i64 0
store double %38, double* %40
store i32 1, i32* %11
br label %41
41: ; preds = %87, %24
%42 = load i32, i32* %11
%43 = load i32, i32* %9
%44 = sub nsw i32 %43, 1
%45 = icmp slt i32 %42, %44
br i1 %45, label %46, label %90
46: ; preds = %41
%47 = load double*, double** %6
%48 = load i32, i32* %11
%49 = sext i32 %48 to i64
%50 = getelementptr inbounds double, double* %47, i64 %49
%51 = load double, double* %50
%52 = load double*, double** %8
%53 = load i32, i32* %11
%54 = sext i32 %53 to i64
%55 = getelementptr inbounds double, double* %52, i64 %54
%56 = load double, double* %55
%57 = load double*, double** %7
%58 = load i32, i32* %11
%59 = sext i32 %58 to i64
%60 = getelementptr inbounds double, double* %57, i64 %59
%61 = load double, double* %60
%62 = load double*, double** %8
%63 = load i32, i32* %11
%64 = add nsw i32 %63, 1
%65 = sext i32 %64 to i64
%66 = getelementptr inbounds double, double* %62, i64 %65
%67 = load double, double* %66
%68 = fmul double %61, %67
%69 = call double @llvm.fmuladd.f64(double %51, double %56, double %68)
%70 = load double*, double** %7
%71 = load i32, i32* %11
%72 = sub nsw i32 %71, 1
%73 = sext i32 %72 to i64
%74 = getelementptr inbounds double, double* %70, i64 %73
%75 = load double, double* %74
%76 = load double*, double** %8
%77 = load i32, i32* %11
%78 = sub nsw i32 %77, 1
%79 = sext i32 %78 to i64
%80 = getelementptr inbounds double, double* %76, i64 %79
%81 = load double, double* %80
%82 = call double @llvm.fmuladd.f64(double %75, double %81, double %69)
%83 = load double*, double** %10
%84 = load i32, i32* %11
%85 = sext i32 %84 to i64
%86 = getelementptr inbounds double, double* %83, i64 %85
store double %82, double* %86
br label %87
87: ; preds = %46
%88 = load i32, i32* %11
%89 = add nsw i32 %88, 1
store i32 %89, i32* %11
br label %41
90: ; preds = %41
%91 = load double*, double** %6
%92 = load i32, i32* %9
%93 = sub nsw i32 %92, 1
%94 = sext i32 %93 to i64
%95 = getelementptr inbounds double, double* %91, i64 %94
%96 = load double, double* %95
%97 = load double*, double** %8
%98 = load i32, i32* %9
%99 = sub nsw i32 %98, 1
%100 = sext i32 %99 to i64
%101 = getelementptr inbounds double, double* %97, i64 %100
%102 = load double, double* %101
%103 = load double*, double** %7
%104 = load i32, i32* %9
%105 = sub nsw i32 %104, 2
%106 = sext i32 %105 to i64
%107 = getelementptr inbounds double, double* %103, i64 %106
%108 = load double, double* %107
%109 = load double*, double** %8
%110 = load i32, i32* %9
%111 = sub nsw i32 %110, 2
%112 = sext i32 %111 to i64
%113 = getelementptr inbounds double, double* %109, i64 %112
%114 = load double, double* %113
%115 = fmul double %108, %114
%116 = call double @llvm.fmuladd.f64(double %96, double %102, double %115)
%117 = load double*, double** %10
%118 = load i32, i32* %9
%119 = sub nsw i32 %118, 1
%120 = sext i32 %119 to i64
%121 = getelementptr inbounds double, double* %117, i64 %120
store double %116, double* %121
br label %122
122: ; preds = %90, %14
ret void
}

LLVM IR (-O2):
define void @TriSymGaxpy(double* nocapture %0, double* nocapture %1, double* nocapture %2, i32 %3, double* nocapture writeonly %4) {
%6 = icmp eq i32 %3, 1
%7 = load double, double* %0
%8 = load double, double* %2
br i1 %6, label %9, label %11
9: ; preds = %5
%10 = fmul double %7, %8
store double %10, double* %4
br label %114
11: ; preds = %5
%12 = load double, double* %1
%13 = getelementptr inbounds double, double* %2, i64 1
%14 = load double, double* %13
%15 = fmul double %12, %14
%16 = tail call double @llvm.fmuladd.f64(double %7, double %8, double %15)
store double %16, double* %4
%17 = add i32 %3, -1
%18 = icmp sgt i32 %3, 2
br i1 %18, label %19, label %99
19: ; preds = %11
%20 = zext i32 %17 to i64
%21 = add nsw i64 %20, -1
%22 = icmp ult i64 %21, 2
br i1 %22, label %76, label %23
23: ; preds = %19
%24 = getelementptr double, double* %4, i64 1
%25 = getelementptr double, double* %4, i64 %20
%26 = getelementptr double, double* %0, i64 1
%27 = getelementptr double, double* %0, i64 %20
%28 = add nuw nsw i64 %20, 1
%29 = getelementptr double, double* %2, i64 %28
%30 = getelementptr double, double* %1, i64 %20
%31 = icmp ult double* %24, %27
%32 = icmp ult double* %26, %25
%33 = and i1 %31, %32
%34 = icmp ult double* %24, %29
%35 = icmp ugt double* %25, %2
%36 = and i1 %34, %35
%37 = or i1 %33, %36
%38 = icmp ult double* %24, %30
%39 = icmp ugt double* %25, %1
%40 = and i1 %38, %39
%41 = or i1 %37, %40
br i1 %41, label %76, label %42
42: ; preds = %23
%43 = and i64 %21, -2
%44 = or i64 %21, 1
br label %45
45: ; preds = %45, %42
%46 = phi i64 [ 0, %42 ], [ %72, %45 ]
%47 = or i64 %46, 1
%48 = getelementptr inbounds double, double* %0, i64 %47
%49 = bitcast double* %48 to <2 x double>*
%50 = load <2 x double>, <2 x double>* %49
%51 = getelementptr inbounds double, double* %2, i64 %47
%52 = bitcast double* %51 to <2 x double>*
%53 = load <2 x double>, <2 x double>* %52
%54 = getelementptr inbounds double, double* %1, i64 %47
%55 = bitcast double* %54 to <2 x double>*
%56 = load <2 x double>, <2 x double>* %55
%57 = add i64 %46, 2
%58 = getelementptr inbounds double, double* %2, i64 %57
%59 = bitcast double* %58 to <2 x double>*
%60 = load <2 x double>, <2 x double>* %59
%61 = fmul <2 x double> %56, %60
%62 = call <2 x double> @llvm.fmuladd.v2f64(<2 x double> %50, <2 x double> %53, <2 x double> %61)
%63 = getelementptr inbounds double, double* %1, i64 %46
%64 = bitcast double* %63 to <2 x double>*
%65 = load <2 x double>, <2 x double>* %64
%66 = getelementptr inbounds double, double* %2, i64 %46
%67 = bitcast double* %66 to <2 x double>*
%68 = load <2 x double>, <2 x double>* %67
%69 = call <2 x double> @llvm.fmuladd.v2f64(<2 x double> %65, <2 x double> %68, <2 x double> %62)
%70 = getelementptr inbounds double, double* %4, i64 %47
%71 = bitcast double* %70 to <2 x double>*
store <2 x double> %69, <2 x double>* %71
%72 = add nuw i64 %46, 2
%73 = icmp eq i64 %72, %43
br i1 %73, label %74, label %45
74: ; preds = %45
%75 = icmp eq i64 %21, %43
br i1 %75, label %99, label %76
76: ; preds = %23, %19, %74
%77 = phi i64 [ 1, %23 ], [ 1, %19 ], [ %44, %74 ]
br label %78
78: ; preds = %76, %78
%79 = phi i64 [ %86, %78 ], [ %77, %76 ]
%80 = getelementptr inbounds double, double* %0, i64 %79
%81 = load double, double* %80
%82 = getelementptr inbounds double, double* %2, i64 %79
%83 = load double, double* %82
%84 = getelementptr inbounds double, double* %1, i64 %79
%85 = load double, double* %84
%86 = add nuw nsw i64 %79, 1
%87 = getelementptr inbounds double, double* %2, i64 %86
%88 = load double, double* %87
%89 = fmul double %85, %88
%90 = tail call double @llvm.fmuladd.f64(double %81, double %83, double %89)
%91 = add nsw i64 %79, -1
%92 = getelementptr inbounds double, double* %1, i64 %91
%93 = load double, double* %92
%94 = getelementptr inbounds double, double* %2, i64 %91
%95 = load double, double* %94
%96 = tail call double @llvm.fmuladd.f64(double %93, double %95, double %90)
%97 = getelementptr inbounds double, double* %4, i64 %79
store double %96, double* %97
%98 = icmp eq i64 %86, %20
br i1 %98, label %99, label %78
99: ; preds = %78, %74, %11
%100 = sext i32 %17 to i64
%101 = getelementptr inbounds double, double* %0, i64 %100
%102 = load double, double* %101
%103 = getelementptr inbounds double, double* %2, i64 %100
%104 = load double, double* %103
%105 = add nsw i32 %3, -2
%106 = sext i32 %105 to i64
%107 = getelementptr inbounds double, double* %1, i64 %106
%108 = load double, double* %107
%109 = getelementptr inbounds double, double* %2, i64 %106
%110 = load double, double* %109
%111 = fmul double %108, %110
%112 = tail call double @llvm.fmuladd.f64(double %102, double %104, double %111)
%113 = getelementptr inbounds double, double* %4, i64 %100
store double %112, double* %113
br label %114
114: ; preds = %99, %9
ret void
}