void dsyrk_codegen_2(double *A, double *C) {
  const int n = 4 + 0 * 40 + 2 * 4;
  const int lda = 4 + 0 * 40 + 2 * 4;
  double temp;
  int ii, jj, kk;
  for (jj = 0; jj < n; jj++) {
    for (kk = 0; kk < n; kk++) {
      temp = A[jj + lda * kk];
      for (ii = jj; ii < n; ii++) {
        C[ii + lda * jj] += temp * A[ii + lda * kk];
      }
    }
  }
}


x86 assembly (clang, -O0):
<dsyrk_codegen_2>:
push   %rbp
mov    %rsp,%rbp
mov    %rdi,-0x8(%rbp)
mov    %rsi,-0x10(%rbp)
movl   $0xc,-0x14(%rbp)
movl   $0xc,-0x18(%rbp)
movl   $0x0,-0x28(%rbp)
cmpl   $0xc,-0x28(%rbp)
jge    11d6 <dsyrk_codegen_2+0xd6>
movl   $0x0,-0x2c(%rbp)
cmpl   $0xc,-0x2c(%rbp)
jge    11c3 <dsyrk_codegen_2+0xc3>
mov    -0x8(%rbp),%rax
mov    -0x28(%rbp),%ecx
imul   $0xc,-0x2c(%rbp),%edx
add    %edx,%ecx
movslq %ecx,%rcx
movsd  (%rax,%rcx,8),%xmm0
movsd  %xmm0,-0x20(%rbp)
mov    -0x28(%rbp),%eax
mov    %eax,-0x24(%rbp)
cmpl   $0xc,-0x24(%rbp)
jge    11b0 <dsyrk_codegen_2+0xb0>
movsd  -0x20(%rbp),%xmm0
mov    -0x8(%rbp),%rax
mov    -0x24(%rbp),%ecx
imul   $0xc,-0x2c(%rbp),%edx
add    %edx,%ecx
movslq %ecx,%rcx
movsd  (%rax,%rcx,8),%xmm2
mov    -0x10(%rbp),%rax
mov    -0x24(%rbp),%ecx
imul   $0xc,-0x28(%rbp),%edx
add    %edx,%ecx
movslq %ecx,%rcx
movsd  (%rax,%rcx,8),%xmm1
mulsd  %xmm2,%xmm0
addsd  %xmm1,%xmm0
movsd  %xmm0,(%rax,%rcx,8)
mov    -0x24(%rbp),%eax
add    $0x1,%eax
mov    %eax,-0x24(%rbp)
jmp    115c <dsyrk_codegen_2+0x5c>
jmp    11b5 <dsyrk_codegen_2+0xb5>
mov    -0x2c(%rbp),%eax
add    $0x1,%eax
mov    %eax,-0x2c(%rbp)
jmp    1132 <dsyrk_codegen_2+0x32>
jmp    11c8 <dsyrk_codegen_2+0xc8>
mov    -0x28(%rbp),%eax
add    $0x1,%eax
mov    %eax,-0x28(%rbp)
jmp    1121 <dsyrk_codegen_2+0x21>
pop    %rbp
ret

x86 assembly (clang, -O2):
<dsyrk_codegen_2>:
xor    %r10d,%r10d
mov    %rdi,%r8
cs nopw 0x0(%rax,%rax,1)
mov    %r8,%rdx
xor    %r9d,%r9d
cs nopw 0x0(%rax,%rax,1)
lea    (%r9,%r9,2),%rcx
lea    (%r10,%rcx,4),%rcx
movsd  (%rdi,%rcx,8),%xmm0
mov    $0xfffffffffffffff4,%rcx
cs nopw 0x0(%rax,%rax,1)
xchg   %ax,%ax
movsd  0x60(%rdx,%rcx,8),%xmm1
mulsd  %xmm0,%xmm1
addsd  0x60(%rsi,%rcx,8),%xmm1
movsd  %xmm1,0x60(%rsi,%rcx,8)
add    $0x1,%rcx
mov    %r10,%rax
add    %rcx,%rax
jne    1140 <dsyrk_codegen_2+0x40>
add    $0x1,%r9
add    $0x60,%rdx
cmp    $0xc,%r9
jne    1120 <dsyrk_codegen_2+0x20>
add    $0x1,%r10
add    $0x68,%rsi
add    $0x8,%r8
cmp    $0xc,%r10
jne    1110 <dsyrk_codegen_2+0x10>
ret

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

LLVM IR (-O2):
define void @dsyrk_codegen_2(double* nocapture %0, double* nocapture %1) {
br label %3
3: ; preds = %2, %26
%4 = phi i64 [ 0, %2 ], [ %27, %26 ]
%5 = mul nuw nsw i64 %4, 12
br label %6
6: ; preds = %23, %3
%7 = phi i64 [ 0, %3 ], [ %24, %23 ]
%8 = mul nuw nsw i64 %7, 12
%9 = add nuw nsw i64 %8, %4
%10 = getelementptr inbounds double, double* %0, i64 %9
%11 = load double, double* %10
br label %12
12: ; preds = %6, %12
%13 = phi i64 [ %4, %6 ], [ %21, %12 ]
%14 = add nuw nsw i64 %13, %8
%15 = getelementptr inbounds double, double* %0, i64 %14
%16 = load double, double* %15
%17 = add nuw nsw i64 %13, %5
%18 = getelementptr inbounds double, double* %1, i64 %17
%19 = load double, double* %18
%20 = tail call double @llvm.fmuladd.f64(double %11, double %16, double %19)
store double %20, double* %18
%21 = add nuw nsw i64 %13, 1
%22 = icmp eq i64 %21, 12
br i1 %22, label %23, label %12
23: ; preds = %12
%24 = add nuw nsw i64 %7, 1
%25 = icmp eq i64 %24, 12
br i1 %25, label %26, label %6
26: ; preds = %23
%27 = add nuw nsw i64 %4, 1
%28 = icmp eq i64 %27, 12
br i1 %28, label %29, label %3
29: ; preds = %26
ret void
}