void DVaxpy31(int n, double y0[], double y1[], double y2[], double alpha[],
              double x0[]) {
  register double a00, a10, a20;
  register double x0i;
  int ii;
  a00 = alpha[0];
  a10 = alpha[1];
  a20 = alpha[2];
  for (ii = 0; ii < n; ii++) {
    x0i = x0[ii];
    y0[ii] += a00 * x0i;
    y1[ii] += a10 * x0i;
    y2[ii] += a20 * x0i;
  }
  return;
}


x86 assembly (clang, -O0):
<DVaxpy31>:
push   %rbp
mov    %rsp,%rbp
mov    %edi,-0x4(%rbp)
mov    %rsi,-0x10(%rbp)
mov    %rdx,-0x18(%rbp)
mov    %rcx,-0x20(%rbp)
mov    %r8,-0x28(%rbp)
mov    %r9,-0x30(%rbp)
mov    -0x28(%rbp),%rax
movsd  (%rax),%xmm0
movsd  %xmm0,-0x38(%rbp)
mov    -0x28(%rbp),%rax
movsd  0x8(%rax),%xmm0
movsd  %xmm0,-0x40(%rbp)
mov    -0x28(%rbp),%rax
movsd  0x10(%rax),%xmm0
movsd  %xmm0,-0x48(%rbp)
movl   $0x0,-0x54(%rbp)
mov    -0x54(%rbp),%eax
cmp    -0x4(%rbp),%eax
jge    11e3 <DVaxpy31+0xe3>
mov    -0x30(%rbp),%rax
movslq -0x54(%rbp),%rcx
movsd  (%rax,%rcx,8),%xmm0
movsd  %xmm0,-0x50(%rbp)
movsd  -0x38(%rbp),%xmm0
movsd  -0x50(%rbp),%xmm2
mov    -0x10(%rbp),%rax
movslq -0x54(%rbp),%rcx
movsd  (%rax,%rcx,8),%xmm1
mulsd  %xmm2,%xmm0
addsd  %xmm1,%xmm0
movsd  %xmm0,(%rax,%rcx,8)
movsd  -0x40(%rbp),%xmm0
movsd  -0x50(%rbp),%xmm2
mov    -0x18(%rbp),%rax
movslq -0x54(%rbp),%rcx
movsd  (%rax,%rcx,8),%xmm1
mulsd  %xmm2,%xmm0
addsd  %xmm1,%xmm0
movsd  %xmm0,(%rax,%rcx,8)
movsd  -0x48(%rbp),%xmm0
movsd  -0x50(%rbp),%xmm2
mov    -0x20(%rbp),%rax
movslq -0x54(%rbp),%rcx
movsd  (%rax,%rcx,8),%xmm1
mulsd  %xmm2,%xmm0
addsd  %xmm1,%xmm0
movsd  %xmm0,(%rax,%rcx,8)
mov    -0x54(%rbp),%eax
add    $0x1,%eax
mov    %eax,-0x54(%rbp)
jmp    114b <DVaxpy31+0x4b>
pop    %rbp
ret

x86 assembly (clang, -O2):
<DVaxpy31>:
push   %rbp
push   %r15
push   %r14
push   %r13
push   %r12
push   %rbx
test   %edi,%edi
jle    12a1 <DVaxpy31+0x1a1>
movsd  (%r8),%xmm0
movsd  0x8(%r8),%xmm1
movsd  0x10(%r8),%xmm2
mov    %edi,%r8d
cmp    $0x1,%edi
jne    1132 <DVaxpy31+0x32>
xor    %edi,%edi
jmp    1260 <DVaxpy31+0x160>
lea    (%rdx,%r8,8),%rdi
cmp    %rsi,%rdi
seta   -0x1(%rsp)
lea    (%rsi,%r8,8),%rbp
cmp    %rdx,%rbp
seta   %r12b
lea    (%rcx,%r8,8),%r13
cmp    %rsi,%r13
seta   %al
cmp    %rcx,%rbp
seta   %r14b
lea    (%r9,%r8,8),%r15
cmp    %rsi,%r15
seta   %r10b
cmp    %r9,%rbp
seta   -0x2(%rsp)
cmp    %rdx,%r13
seta   %r11b
cmp    %rcx,%rdi
seta   -0x3(%rsp)
cmp    %rdx,%r15
seta   %bl
cmp    %r9,%rdi
seta   -0x4(%rsp)
cmp    %rcx,%r15
seta   %bpl
cmp    %r9,%r13
seta   %r15b
xor    %edi,%edi
test   %r12b,-0x1(%rsp)
jne    1260 <DVaxpy31+0x160>
and    %r14b,%al
jne    1260 <DVaxpy31+0x160>
and    -0x2(%rsp),%r10b
jne    1260 <DVaxpy31+0x160>
and    -0x3(%rsp),%r11b
jne    1260 <DVaxpy31+0x160>
and    -0x4(%rsp),%bl
jne    1260 <DVaxpy31+0x160>
and    %r15b,%bpl
jne    1260 <DVaxpy31+0x160>
mov    %r8d,%edi
and    $0xfffffffe,%edi
movapd %xmm0,%xmm8
unpcklpd %xmm0,%xmm8
movapd %xmm1,%xmm4
unpcklpd %xmm1,%xmm4
movapd %xmm2,%xmm5
unpcklpd %xmm2,%xmm5
xor    %eax,%eax
nopl   0x0(%rax)
movupd (%r9,%rax,8),%xmm6
movupd (%rsi,%rax,8),%xmm7
movapd %xmm8,%xmm3
mulpd  %xmm6,%xmm3
addpd  %xmm7,%xmm3
movupd %xmm3,(%rsi,%rax,8)
movupd (%rdx,%rax,8),%xmm3
movapd %xmm4,%xmm7
mulpd  %xmm6,%xmm7
addpd  %xmm3,%xmm7
movupd %xmm7,(%rdx,%rax,8)
movupd (%rcx,%rax,8),%xmm3
mulpd  %xmm5,%xmm6
addpd  %xmm3,%xmm6
movupd %xmm6,(%rcx,%rax,8)
add    $0x2,%rax
cmp    %rax,%rdi
jne    1200 <DVaxpy31+0x100>
cmp    %r8,%rdi
je     12a1 <DVaxpy31+0x1a1>
cs nopw 0x0(%rax,%rax,1)
nopl   (%rax)
movsd  (%r9,%rdi,8),%xmm3
movapd %xmm0,%xmm4
mulsd  %xmm3,%xmm4
addsd  (%rsi,%rdi,8),%xmm4
movsd  %xmm4,(%rsi,%rdi,8)
movapd %xmm1,%xmm4
mulsd  %xmm3,%xmm4
addsd  (%rdx,%rdi,8),%xmm4
movsd  %xmm4,(%rdx,%rdi,8)
mulsd  %xmm2,%xmm3
addsd  (%rcx,%rdi,8),%xmm3
movsd  %xmm3,(%rcx,%rdi,8)
add    $0x1,%rdi
cmp    %rdi,%r8
jne    1260 <DVaxpy31+0x160>
pop    %rbx
pop    %r12
pop    %r13
pop    %r14
pop    %r15
pop    %rbp
ret

LLVM IR (-O0):
define void @DVaxpy31(i32 %0, double* %1, double* %2, double* %3, double* %4, double* %5) {
%7 = alloca i32
%8 = alloca double*
%9 = alloca double*
%10 = alloca double*
%11 = alloca double*
%12 = alloca double*
%13 = alloca double
%14 = alloca double
%15 = alloca double
%16 = alloca double
%17 = alloca i32
store i32 %0, i32* %7
store double* %1, double** %8
store double* %2, double** %9
store double* %3, double** %10
store double* %4, double** %11
store double* %5, double** %12
%18 = load double*, double** %11
%19 = getelementptr inbounds double, double* %18, i64 0
%20 = load double, double* %19
store double %20, double* %13
%21 = load double*, double** %11
%22 = getelementptr inbounds double, double* %21, i64 1
%23 = load double, double* %22
store double %23, double* %14
%24 = load double*, double** %11
%25 = getelementptr inbounds double, double* %24, i64 2
%26 = load double, double* %25
store double %26, double* %15
store i32 0, i32* %17
br label %27
27: ; preds = %61, %6
%28 = load i32, i32* %17
%29 = load i32, i32* %7
%30 = icmp slt i32 %28, %29
br i1 %30, label %31, label %64
31: ; preds = %27
%32 = load double*, double** %12
%33 = load i32, i32* %17
%34 = sext i32 %33 to i64
%35 = getelementptr inbounds double, double* %32, i64 %34
%36 = load double, double* %35
store double %36, double* %16
%37 = load double, double* %13
%38 = load double, double* %16
%39 = load double*, double** %8
%40 = load i32, i32* %17
%41 = sext i32 %40 to i64
%42 = getelementptr inbounds double, double* %39, i64 %41
%43 = load double, double* %42
%44 = call double @llvm.fmuladd.f64(double %37, double %38, double %43)
store double %44, double* %42
%45 = load double, double* %14
%46 = load double, double* %16
%47 = load double*, double** %9
%48 = load i32, i32* %17
%49 = sext i32 %48 to i64
%50 = getelementptr inbounds double, double* %47, i64 %49
%51 = load double, double* %50
%52 = call double @llvm.fmuladd.f64(double %45, double %46, double %51)
store double %52, double* %50
%53 = load double, double* %15
%54 = load double, double* %16
%55 = load double*, double** %10
%56 = load i32, i32* %17
%57 = sext i32 %56 to i64
%58 = getelementptr inbounds double, double* %55, i64 %57
%59 = load double, double* %58
%60 = call double @llvm.fmuladd.f64(double %53, double %54, double %59)
store double %60, double* %58
br label %61
61: ; preds = %31
%62 = load i32, i32* %17
%63 = add nsw i32 %62, 1
store i32 %63, i32* %17
br label %27
64: ; preds = %27
ret void
}

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