void prox_linear(double *x, const int n, const double rho, const double *c) {
  int i;
#pragma omp parallel for
  for (i = 0; i < n; i++) {
    x[i] -= c[i] / rho;
  }
}


x86 assembly (clang, -O0):
<prox_linear>:
push   %rbp
mov    %rsp,%rbp
mov    %rdi,-0x8(%rbp)
mov    %esi,-0xc(%rbp)
movsd  %xmm0,-0x18(%rbp)
mov    %rdx,-0x20(%rbp)
movl   $0x0,-0x24(%rbp)
mov    -0x24(%rbp),%eax
cmp    -0xc(%rbp),%eax
jge    115d <prox_linear+0x5d>
mov    -0x20(%rbp),%rax
movslq -0x24(%rbp),%rcx
movsd  (%rax,%rcx,8),%xmm1
divsd  -0x18(%rbp),%xmm1
mov    -0x8(%rbp),%rax
movslq -0x24(%rbp),%rcx
movsd  (%rax,%rcx,8),%xmm0
subsd  %xmm1,%xmm0
movsd  %xmm0,(%rax,%rcx,8)
mov    -0x24(%rbp),%eax
add    $0x1,%eax
mov    %eax,-0x24(%rbp)
jmp    111b <prox_linear+0x1b>
pop    %rbp
ret

x86 assembly (clang, -O2):
<prox_linear>:
test   %esi,%esi
jle    1231 <prox_linear+0x131>
mov    %esi,%r9d
cmp    $0x1,%esi
je     1126 <prox_linear+0x26>
lea    (%rdx,%r9,8),%rax
cmp    %rdi,%rax
jbe    119f <prox_linear+0x9f>
lea    (%rdi,%r9,8),%rax
cmp    %rdx,%rax
jbe    119f <prox_linear+0x9f>
xor    %ecx,%ecx
mov    %rcx,%rax
not    %rax
test   $0x1,%r9b
je     114f <prox_linear+0x4f>
movsd  (%rdx,%rcx,8),%xmm1
divsd  %xmm0,%xmm1
movsd  (%rdi,%rcx,8),%xmm2
subsd  %xmm1,%xmm2
movsd  %xmm2,(%rdi,%rcx,8)
or     $0x1,%rcx
add    %r9,%rax
je     1231 <prox_linear+0x131>
nopl   0x0(%rax,%rax,1)
movsd  (%rdx,%rcx,8),%xmm1
divsd  %xmm0,%xmm1
movsd  (%rdi,%rcx,8),%xmm2
subsd  %xmm1,%xmm2
movsd  0x8(%rdi,%rcx,8),%xmm1
movsd  %xmm2,(%rdi,%rcx,8)
movsd  0x8(%rdx,%rcx,8),%xmm2
divsd  %xmm0,%xmm2
subsd  %xmm2,%xmm1
movsd  %xmm1,0x8(%rdi,%rcx,8)
add    $0x2,%rcx
cmp    %rcx,%r9
jne    1160 <prox_linear+0x60>
jmp    1231 <prox_linear+0x131>
mov    %r9d,%ecx
and    $0xfffffffe,%ecx
movapd %xmm0,%xmm1
unpcklpd %xmm0,%xmm1
lea    -0x2(%rcx),%rax
mov    %rax,%r8
shr    %r8
add    $0x1,%r8
test   %rax,%rax
je     1232 <prox_linear+0x132>
mov    %r8,%rax
and    $0xfffffffffffffffe,%rax
xor    %esi,%esi
nopl   0x0(%rax)
movupd (%rdx,%rsi,8),%xmm2
divpd  %xmm1,%xmm2
movupd (%rdi,%rsi,8),%xmm3
subpd  %xmm2,%xmm3
movupd 0x10(%rdi,%rsi,8),%xmm2
movupd %xmm3,(%rdi,%rsi,8)
movupd 0x10(%rdx,%rsi,8),%xmm3
divpd  %xmm1,%xmm3
subpd  %xmm3,%xmm2
movupd %xmm2,0x10(%rdi,%rsi,8)
add    $0x4,%rsi
add    $0xfffffffffffffffe,%rax
jne    11d0 <prox_linear+0xd0>
test   $0x1,%r8b
je     1228 <prox_linear+0x128>
movupd (%rdx,%rsi,8),%xmm2
divpd  %xmm1,%xmm2
movupd (%rdi,%rsi,8),%xmm1
subpd  %xmm2,%xmm1
movupd %xmm1,(%rdi,%rsi,8)
cmp    %r9,%rcx
jne    1128 <prox_linear+0x28>
ret
xor    %esi,%esi
test   $0x1,%r8b
jne    1211 <prox_linear+0x111>
jmp    1228 <prox_linear+0x128>

LLVM IR (-O0):
define void @prox_linear(double* %0, i32 %1, double %2, double* %3) {
%5 = alloca double*
%6 = alloca i32
%7 = alloca double
%8 = alloca double*
%9 = alloca i32
store double* %0, double** %5
store i32 %1, i32* %6
store double %2, double* %7
store double* %3, double** %8
store i32 0, i32* %9
br label %10
10: ; preds = %28, %4
%11 = load i32, i32* %9
%12 = load i32, i32* %6
%13 = icmp slt i32 %11, %12
br i1 %13, label %14, label %31
14: ; preds = %10
%15 = load double*, double** %8
%16 = load i32, i32* %9
%17 = sext i32 %16 to i64
%18 = getelementptr inbounds double, double* %15, i64 %17
%19 = load double, double* %18
%20 = load double, double* %7
%21 = fdiv double %19, %20
%22 = load double*, double** %5
%23 = load i32, i32* %9
%24 = sext i32 %23 to i64
%25 = getelementptr inbounds double, double* %22, i64 %24
%26 = load double, double* %25
%27 = fsub double %26, %21
store double %27, double* %25
br label %28
28: ; preds = %14
%29 = load i32, i32* %9
%30 = add nsw i32 %29, 1
store i32 %30, i32* %9
br label %10
31: ; preds = %10
ret void
}

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