void finish_lazy_updates_ASVRG(double *w, double *wold, double *g,
                               long *last_seen, double stepSize, double lambda,
                               long iters, long d, double *y, double tau) {
  for (long j = 0; j < d; j++) {
    y[j] -=
        stepSize * (iters - last_seen[j]) * (g[j] + lambda * (w[j] - wold[j]));
    w[j] = y[j] * tau + wold[j] * (1 - tau);
  }
}


x86 assembly (clang, -O0):
<finish_lazy_updates_ASVRG>:
push   %rbp
mov    %rsp,%rbp
mov    0x10(%rbp),%rax
mov    %rdi,-0x8(%rbp)
mov    %rsi,-0x10(%rbp)
mov    %rdx,-0x18(%rbp)
mov    %rcx,-0x20(%rbp)
movsd  %xmm0,-0x28(%rbp)
movsd  %xmm1,-0x30(%rbp)
mov    %r8,-0x38(%rbp)
mov    %r9,-0x40(%rbp)
movsd  %xmm2,-0x48(%rbp)
movq   $0x0,-0x50(%rbp)
mov    -0x50(%rbp),%rax
cmp    -0x40(%rbp),%rax
jge    121e <finish_lazy_updates_ASVRG+0x11e>
movsd  -0x28(%rbp),%xmm0
mov    -0x38(%rbp),%rax
mov    -0x20(%rbp),%rcx
mov    -0x50(%rbp),%rdx
sub    (%rcx,%rdx,8),%rax
cvtsi2sd %rax,%xmm1
mulsd  %xmm1,%xmm0
mov    -0x18(%rbp),%rax
mov    -0x50(%rbp),%rcx
movsd  (%rax,%rcx,8),%xmm1
movsd  -0x30(%rbp),%xmm2
mov    -0x8(%rbp),%rax
mov    -0x50(%rbp),%rcx
movsd  (%rax,%rcx,8),%xmm3
mov    -0x10(%rbp),%rax
mov    -0x50(%rbp),%rcx
subsd  (%rax,%rcx,8),%xmm3
mulsd  %xmm3,%xmm2
addsd  %xmm1,%xmm2
mov    0x10(%rbp),%rax
mov    -0x50(%rbp),%rcx
movsd  (%rax,%rcx,8),%xmm1
movq   %xmm0,%rdx
movabs $0x8000000000000000,%rsi
xor    %rsi,%rdx
movq   %rdx,%xmm0
mulsd  %xmm2,%xmm0
addsd  %xmm1,%xmm0
movsd  %xmm0,(%rax,%rcx,8)
mov    0x10(%rbp),%rax
mov    -0x50(%rbp),%rcx
movsd  (%rax,%rcx,8),%xmm0
movsd  -0x48(%rbp),%xmm2
mov    -0x10(%rbp),%rax
mov    -0x50(%rbp),%rcx
movsd  (%rax,%rcx,8),%xmm1
movsd  0xe11(%rip),%xmm3
subsd  -0x48(%rbp),%xmm3
mulsd  %xmm3,%xmm1
mulsd  %xmm2,%xmm0
addsd  %xmm1,%xmm0
mov    -0x8(%rbp),%rax
mov    -0x50(%rbp),%rcx
movsd  %xmm0,(%rax,%rcx,8)
mov    -0x50(%rbp),%rax
add    $0x1,%rax
mov    %rax,-0x50(%rbp)
jmp    1137 <finish_lazy_updates_ASVRG+0x37>
pop    %rbp
ret

x86 assembly (clang, -O2):
<finish_lazy_updates_ASVRG>:
push   %rbp
push   %r15
push   %r14
push   %r13
push   %r12
push   %rbx
test   %r9,%r9
jle    12f9 <finish_lazy_updates_ASVRG+0x1f9>
mov    0x38(%rsp),%r10
movsd  0xee0(%rip),%xmm3
subsd  %xmm2,%xmm3
cmp    $0x1,%r9
jne    1131 <finish_lazy_updates_ASVRG+0x31>
xor    %eax,%eax
jmp    12a0 <finish_lazy_updates_ASVRG+0x1a0>
lea    (%rdi,%r9,8),%rax
cmp    %r10,%rax
seta   -0x1(%rsp)
lea    (%r10,%r9,8),%rbp
cmp    %rdi,%rbp
seta   %r12b
lea    (%rdx,%r9,8),%rbx
cmp    %r10,%rbx
seta   %r11b
cmp    %rdx,%rbp
seta   %r15b
lea    (%rsi,%r9,8),%r14
cmp    %r10,%r14
seta   %r13b
cmp    %rsi,%rbp
seta   -0x2(%rsp)
cmp    %rdi,%rbx
seta   %bpl
cmp    %rdx,%rax
seta   %bl
cmp    %rdi,%r14
seta   %r14b
cmp    %rsi,%rax
seta   -0x3(%rsp)
xor    %eax,%eax
test   %r12b,-0x1(%rsp)
jne    12a0 <finish_lazy_updates_ASVRG+0x1a0>
and    %r15b,%r11b
jne    12a0 <finish_lazy_updates_ASVRG+0x1a0>
and    -0x2(%rsp),%r13b
jne    12a0 <finish_lazy_updates_ASVRG+0x1a0>
and    %bl,%bpl
jne    12a0 <finish_lazy_updates_ASVRG+0x1a0>
and    -0x3(%rsp),%r14b
jne    12a0 <finish_lazy_updates_ASVRG+0x1a0>
mov    %r9,%rax
and    $0xfffffffffffffffe,%rax
movq   %r8,%xmm4
pshufd $0x44,%xmm4,%xmm8
movapd %xmm1,%xmm9
unpcklpd %xmm1,%xmm9
movapd %xmm0,%xmm10
unpcklpd %xmm0,%xmm10
movapd %xmm3,%xmm11
unpcklpd %xmm3,%xmm11
movapd %xmm2,%xmm12
unpcklpd %xmm2,%xmm12
xor    %r11d,%r11d
nopl   0x0(%rax,%rax,1)
movdqu (%rcx,%r11,8),%xmm5
movdqa %xmm8,%xmm6
psubq  %xmm5,%xmm6
movq   %xmm6,%rbx
xorps  %xmm5,%xmm5
cvtsi2sd %rbx,%xmm5
pshufd $0xee,%xmm6,%xmm6
movq   %xmm6,%rbx
xorps  %xmm6,%xmm6
cvtsi2sd %rbx,%xmm6
unpcklpd %xmm6,%xmm5
mulpd  %xmm10,%xmm5
movupd (%rdx,%r11,8),%xmm6
movupd (%rdi,%r11,8),%xmm7
movupd (%rsi,%r11,8),%xmm4
subpd  %xmm4,%xmm7
mulpd  %xmm9,%xmm7
addpd  %xmm6,%xmm7
mulpd  %xmm5,%xmm7
movupd (%r10,%r11,8),%xmm4
subpd  %xmm7,%xmm4
movupd %xmm4,(%r10,%r11,8)
movupd (%rsi,%r11,8),%xmm5
mulpd  %xmm11,%xmm5
mulpd  %xmm12,%xmm4
addpd  %xmm5,%xmm4
movupd %xmm4,(%rdi,%r11,8)
add    $0x2,%r11
cmp    %r11,%rax
jne    1200 <finish_lazy_updates_ASVRG+0x100>
cmp    %r9,%rax
je     12f9 <finish_lazy_updates_ASVRG+0x1f9>
cs nopw 0x0(%rax,%rax,1)
mov    %r8,%rbp
sub    (%rcx,%rax,8),%rbp
xorps  %xmm4,%xmm4
cvtsi2sd %rbp,%xmm4
movsd  (%rdi,%rax,8),%xmm5
subsd  (%rsi,%rax,8),%xmm5
mulsd  %xmm1,%xmm5
addsd  (%rdx,%rax,8),%xmm5
movsd  (%r10,%rax,8),%xmm6
mulsd  %xmm0,%xmm4
mulsd  %xmm5,%xmm4
subsd  %xmm4,%xmm6
movsd  %xmm6,(%r10,%rax,8)
movsd  (%rsi,%rax,8),%xmm4
mulsd  %xmm3,%xmm4
mulsd  %xmm2,%xmm6
addsd  %xmm4,%xmm6
movsd  %xmm6,(%rdi,%rax,8)
add    $0x1,%rax
cmp    %rax,%r9
jne    12a0 <finish_lazy_updates_ASVRG+0x1a0>
pop    %rbx
pop    %r12
pop    %r13
pop    %r14
pop    %r15
pop    %rbp
ret

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

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