void dsyrk_codegen_3(double *A, double *C) {
  const int n = 4 + 0 * 40 + 3 * 4;
  const int lda = 4 + 0 * 40 + 3 * 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_3>:
push   %rbp
mov    %rsp,%rbp
mov    %rdi,-0x8(%rbp)
mov    %rsi,-0x10(%rbp)
movl   $0x10,-0x14(%rbp)
movl   $0x10,-0x18(%rbp)
movl   $0x0,-0x28(%rbp)
cmpl   $0x10,-0x28(%rbp)
jge    11dc <dsyrk_codegen_3+0xdc>
movl   $0x0,-0x2c(%rbp)
cmpl   $0x10,-0x2c(%rbp)
jge    11c9 <dsyrk_codegen_3+0xc9>
mov    -0x8(%rbp),%rax
mov    -0x28(%rbp),%ecx
mov    -0x2c(%rbp),%edx
shl    $0x4,%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   $0x10,-0x24(%rbp)
jge    11b6 <dsyrk_codegen_3+0xb6>
movsd  -0x20(%rbp),%xmm0
mov    -0x8(%rbp),%rax
mov    -0x24(%rbp),%ecx
mov    -0x2c(%rbp),%edx
shl    $0x4,%edx
add    %edx,%ecx
movslq %ecx,%rcx
movsd  (%rax,%rcx,8),%xmm2
mov    -0x10(%rbp),%rax
mov    -0x24(%rbp),%ecx
mov    -0x28(%rbp),%edx
shl    $0x4,%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    115e <dsyrk_codegen_3+0x5e>
jmp    11bb <dsyrk_codegen_3+0xbb>
mov    -0x2c(%rbp),%eax
add    $0x1,%eax
mov    %eax,-0x2c(%rbp)
jmp    1132 <dsyrk_codegen_3+0x32>
jmp    11ce <dsyrk_codegen_3+0xce>
mov    -0x28(%rbp),%eax
add    $0x1,%eax
mov    %eax,-0x28(%rbp)
jmp    1121 <dsyrk_codegen_3+0x21>
pop    %rbp
ret

x86 assembly (clang, -O2):
<dsyrk_codegen_3>:
push   %rbp
push   %r15
push   %r14
push   %r13
push   %r12
push   %rbx
mov    %rdi,%r9
lea    0x10(%rsi),%rax
lea    0x10(%rdi),%r8
lea    0x8(%rsi),%rdx
mov    $0xe,%ecx
xor    %r12d,%r12d
jmp    115a <dsyrk_codegen_3+0x5a>
cs nopw 0x0(%rax,%rax,1)
nopl   (%rax)
add    $0x1,%r12
add    $0x88,%rax
mov    -0x30(%rsp),%r8
add    $0x8,%r8
mov    -0x38(%rsp),%rcx
add    $0xffffffffffffffff,%rcx
sub    $0xffffffffffffff80,%rdx
cmp    $0x10,%r12
je     1348 <dsyrk_codegen_3+0x248>
mov    %rcx,-0x38(%rsp)
shr    %rcx
add    $0x1,%rcx
and    $0xfffffffffffffffe,%rcx
mov    %rcx,-0x28(%rsp)
mov    $0xe,%ecx
sub    %r12,%rcx
mov    %rcx,-0x8(%rsp)
shr    %rcx
add    $0x1,%rcx
mov    %rcx,-0x10(%rsp)
mov    $0x10,%ebx
sub    %r12,%rbx
mov    %r12,%rcx
shl    $0x7,%rcx
lea    (%rcx,%r12,8),%r15
add    %rsi,%r15
mov    %r12,%r14
shl    $0x4,%r14
lea    (%rcx,%rsi,1),%r13
add    $0x80,%r13
mov    %rbx,%rcx
and    $0xfffffffffffffffe,%rcx
mov    %rcx,-0x18(%rsp)
add    %r12,%rcx
mov    %rcx,-0x20(%rsp)
mov    %r9,%rdi
mov    %r8,-0x30(%rsp)
xor    %r11d,%r11d
jmp    11f6 <dsyrk_codegen_3+0xf6>
cs nopw 0x0(%rax,%rax,1)
nopl   0x0(%rax,%rax,1)
add    $0x1,%r11
sub    $0xffffffffffffff80,%r8
sub    $0xffffffffffffff80,%rdi
cmp    $0x10,%r11
je     1130 <dsyrk_codegen_3+0x30>
mov    %r11,%r10
shl    $0x4,%r10
lea    (%r10,%r12,1),%rbp
movsd  (%r9,%rbp,8),%xmm0
mov    %r12,%rcx
cmp    $0x2,%rbx
jb     12d0 <dsyrk_codegen_3+0x1d0>
lea    (%r9,%r10,8),%rcx
add    $0x80,%rcx
cmp    %rcx,%r15
jae    1234 <dsyrk_codegen_3+0x134>
lea    (%r9,%rbp,8),%rbp
mov    %r12,%rcx
cmp    %r13,%rbp
jb     12d0 <dsyrk_codegen_3+0x1d0>
movapd %xmm0,%xmm1
unpcklpd %xmm0,%xmm1
cmpq   $0x2,-0x8(%rsp)
jae    1248 <dsyrk_codegen_3+0x148>
xor    %ebp,%ebp
jmp    128d <dsyrk_codegen_3+0x18d>
mov    -0x28(%rsp),%rcx
xor    %ebp,%ebp
nop
movupd -0x10(%r8,%rbp,8),%xmm2
mulpd  %xmm1,%xmm2
movupd -0x10(%rax,%rbp,8),%xmm3
addpd  %xmm2,%xmm3
movupd (%rax,%rbp,8),%xmm2
movupd %xmm3,-0x10(%rax,%rbp,8)
movupd (%r8,%rbp,8),%xmm3
mulpd  %xmm1,%xmm3
addpd  %xmm2,%xmm3
movupd %xmm3,(%rax,%rbp,8)
add    $0x4,%rbp
add    $0xfffffffffffffffe,%rcx
jne    1250 <dsyrk_codegen_3+0x150>
testb  $0x1,-0x10(%rsp)
je     12b6 <dsyrk_codegen_3+0x1b6>
add    %r12,%rbp
lea    (%r10,%rbp,1),%rcx
movupd (%r9,%rcx,8),%xmm2
add    %r14,%rbp
movupd (%rsi,%rbp,8),%xmm3
mulpd  %xmm2,%xmm1
addpd  %xmm3,%xmm1
movupd %xmm1,(%rsi,%rbp,8)
mov    -0x20(%rsp),%rcx
cmp    -0x18(%rsp),%rbx
je     11e0 <dsyrk_codegen_3+0xe0>
cs nopw 0x0(%rax,%rax,1)
mov    %rcx,%rbp
test   $0x1,%cl
je     12f7 <dsyrk_codegen_3+0x1f7>
add    %rcx,%r10
lea    (%rcx,%r14,1),%rbp
movsd  (%r9,%r10,8),%xmm1
mulsd  %xmm0,%xmm1
addsd  (%rsi,%rbp,8),%xmm1
movsd  %xmm1,(%rsi,%rbp,8)
lea    0x1(%rcx),%rbp
cmp    $0xf,%rcx
je     11e0 <dsyrk_codegen_3+0xe0>
cs nopw 0x0(%rax,%rax,1)
nopl   0x0(%rax,%rax,1)
movsd  (%rdi,%rbp,8),%xmm1
mulsd  %xmm0,%xmm1
addsd  -0x8(%rdx,%rbp,8),%xmm1
movsd  %xmm1,-0x8(%rdx,%rbp,8)
movsd  0x8(%rdi,%rbp,8),%xmm1
mulsd  %xmm0,%xmm1
addsd  (%rdx,%rbp,8),%xmm1
movsd  %xmm1,(%rdx,%rbp,8)
add    $0x2,%rbp
cmp    $0x10,%rbp
jne    1310 <dsyrk_codegen_3+0x210>
jmp    11e0 <dsyrk_codegen_3+0xe0>
pop    %rbx
pop    %r12
pop    %r13
pop    %r14
pop    %r15
pop    %rbp
ret

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