void pencil_dsyr2k_nn_u(
    int n_255_607, int k_256_608, double alpha_257_609, int ldA_258_610,
    double A_259_611[restrict const n_255_607][k_256_608], int ldB_260_612,
    double B_261_613[restrict const k_256_608][n_255_607], double beta_262_614,
    int ldCT_263_615, double CT_264_616[restrict const n_255_607][n_255_607]) {
#pragma scop
  {
#pragma pencil independent
    for (int i_323_273_1243_2069 = 0; i_323_273_1243_2069 <= (n_255_607 - 1);
         i_323_273_1243_2069 += 1) {
#pragma pencil independent
      for (int i_325_275_1244_2071 = 0;
           i_325_275_1244_2071 <=
           ((((n_255_607 - 1) - i_323_273_1243_2069) + 1) - 1);
           i_325_275_1244_2071 += 1) {
        double accum_326_276_1245_2068;
        accum_326_276_1245_2068 = 0.0;
        for (int i_327_277_1246_2070 = 0;
             i_327_277_1246_2070 <= (k_256_608 - 1); i_327_277_1246_2070 += 1) {
          accum_326_276_1245_2068 =
              (accum_326_276_1245_2068 +
               ((A_259_611[i_323_273_1243_2069][i_327_277_1246_2070] *
                 B_261_613[(i_325_275_1244_2071 + i_323_273_1243_2069)]
                          [i_327_277_1246_2070]) +
                (B_261_613[i_323_273_1243_2069][i_327_277_1246_2070] *
                 A_259_611[(i_325_275_1244_2071 + i_323_273_1243_2069)]
                          [i_327_277_1246_2070])));
        }
        CT_264_616[i_323_273_1243_2069][(i_323_273_1243_2069 +
                                         i_325_275_1244_2071)] =
            ((beta_262_614 * CT_264_616[i_323_273_1243_2069][(
                                 i_323_273_1243_2069 + i_325_275_1244_2071)]) +
             (alpha_257_609 * accum_326_276_1245_2068));
      }
    }
  }
#pragma endscop
}


x86 assembly (clang, -O0):
<pencil_dsyr2k_nn_u>:
push   %rbp
mov    %rsp,%rbp
mov    0x18(%rbp),%rax
mov    0x10(%rbp),%eax
mov    %edi,-0x4(%rbp)
mov    %esi,-0x8(%rbp)
movsd  %xmm0,-0x10(%rbp)
mov    %edx,-0x14(%rbp)
mov    %rcx,-0x20(%rbp)
mov    %r8d,-0x24(%rbp)
mov    %r9,-0x30(%rbp)
movsd  %xmm1,-0x38(%rbp)
mov    -0x8(%rbp),%eax
mov    %rax,-0x68(%rbp)
mov    -0x4(%rbp),%eax
mov    %rax,-0x60(%rbp)
mov    -0x4(%rbp),%eax
mov    %rax,-0x58(%rbp)
movl   $0x0,-0x3c(%rbp)
mov    -0x3c(%rbp),%eax
mov    -0x4(%rbp),%ecx
sub    $0x1,%ecx
cmp    %ecx,%eax
jg     12bc <pencil_dsyr2k_nn_u+0x1bc>
movl   $0x0,-0x40(%rbp)
mov    -0x40(%rbp),%eax
mov    -0x4(%rbp),%ecx
sub    $0x1,%ecx
sub    -0x3c(%rbp),%ecx
add    $0x1,%ecx
sub    $0x1,%ecx
cmp    %ecx,%eax
jg     12a9 <pencil_dsyr2k_nn_u+0x1a9>
xorps  %xmm0,%xmm0
movsd  %xmm0,-0x48(%rbp)
movl   $0x0,-0x4c(%rbp)
mov    -0x4c(%rbp),%eax
mov    -0x8(%rbp),%ecx
sub    $0x1,%ecx
cmp    %ecx,%eax
jg     123e <pencil_dsyr2k_nn_u+0x13e>
mov    -0x68(%rbp),%rdx
mov    -0x60(%rbp),%rsi
movsd  -0x48(%rbp),%xmm0
mov    -0x20(%rbp),%rax
movslq -0x3c(%rbp),%rcx
imul   %rdx,%rcx
shl    $0x3,%rcx
add    %rcx,%rax
movslq -0x4c(%rbp),%rcx
movsd  (%rax,%rcx,8),%xmm1
mov    -0x30(%rbp),%rax
mov    -0x40(%rbp),%ecx
add    -0x3c(%rbp),%ecx
movslq %ecx,%rcx
imul   %rsi,%rcx
shl    $0x3,%rcx
add    %rcx,%rax
movslq -0x4c(%rbp),%rcx
movsd  (%rax,%rcx,8),%xmm3
mov    -0x30(%rbp),%rax
movslq -0x3c(%rbp),%rcx
imul   %rsi,%rcx
shl    $0x3,%rcx
add    %rcx,%rax
movslq -0x4c(%rbp),%rcx
movsd  (%rax,%rcx,8),%xmm2
mov    -0x20(%rbp),%rax
mov    -0x40(%rbp),%ecx
add    -0x3c(%rbp),%ecx
movslq %ecx,%rcx
imul   %rdx,%rcx
shl    $0x3,%rcx
add    %rcx,%rax
movslq -0x4c(%rbp),%rcx
mulsd  (%rax,%rcx,8),%xmm2
mulsd  %xmm3,%xmm1
addsd  %xmm2,%xmm1
addsd  %xmm1,%xmm0
movsd  %xmm0,-0x48(%rbp)
mov    -0x4c(%rbp),%eax
add    $0x1,%eax
mov    %eax,-0x4c(%rbp)
jmp    1187 <pencil_dsyr2k_nn_u+0x87>
mov    -0x58(%rbp),%rdx
movsd  -0x38(%rbp),%xmm0
mov    0x18(%rbp),%rax
movslq -0x3c(%rbp),%rcx
imul   %rdx,%rcx
shl    $0x3,%rcx
add    %rcx,%rax
mov    -0x3c(%rbp),%ecx
add    -0x40(%rbp),%ecx
movslq %ecx,%rcx
movsd  (%rax,%rcx,8),%xmm2
movsd  -0x10(%rbp),%xmm1
mulsd  -0x48(%rbp),%xmm1
mulsd  %xmm2,%xmm0
addsd  %xmm1,%xmm0
mov    0x18(%rbp),%rax
movslq -0x3c(%rbp),%rcx
imul   %rdx,%rcx
shl    $0x3,%rcx
add    %rcx,%rax
mov    -0x3c(%rbp),%ecx
add    -0x40(%rbp),%ecx
movslq %ecx,%rcx
movsd  %xmm0,(%rax,%rcx,8)
mov    -0x40(%rbp),%eax
add    $0x1,%eax
mov    %eax,-0x40(%rbp)
jmp    115e <pencil_dsyr2k_nn_u+0x5e>
jmp    12ae <pencil_dsyr2k_nn_u+0x1ae>
mov    -0x3c(%rbp),%eax
add    $0x1,%eax
mov    %eax,-0x3c(%rbp)
jmp    1146 <pencil_dsyr2k_nn_u+0x46>
pop    %rbp
ret

x86 assembly (clang, -O2):
<pencil_dsyr2k_nn_u>:
push   %rbp
push   %r15
push   %r14
push   %r13
push   %r12
push   %rbx
mov    %r9,-0x40(%rsp)
mov    %rcx,-0x48(%rsp)
mov    %edi,-0x50(%rsp)
test   %edi,%edi
jle    1327 <pencil_dsyr2k_nn_u+0x227>
mov    %esi,%ecx
mov    %rcx,-0x30(%rsp)
mov    -0x50(%rsp),%edi
mov    %edi,%ebx
mov    %ecx,%edx
and    $0xfffffffe,%edx
mov    -0x48(%rsp),%rax
lea    0x8(%rax),%r9
lea    0x0(,%rcx,8),%r11
mov    -0x40(%rsp),%rax
lea    0x8(%rax),%rcx
mov    %rbx,-0x38(%rsp)
lea    0x0(,%rbx,8),%r15
xor    %r12d,%r12d
mov    %edi,-0x4c(%rsp)
jmp    118a <pencil_dsyr2k_nn_u+0x8a>
cs nopw 0x0(%rax,%rax,1)
nopl   0x0(%rax)
add    $0x1,%r12
addl   $0xffffffff,-0x4c(%rsp)
add    %r11,%r9
add    %r15,%rcx
cmp    -0x38(%rsp),%r12
je     1327 <pencil_dsyr2k_nn_u+0x227>
mov    %r12d,%eax
not    %eax
add    -0x50(%rsp),%eax
js     1170 <pencil_dsyr2k_nn_u+0x70>
mov    %r12,%rax
imul   -0x30(%rsp),%rax
mov    -0x48(%rsp),%rdi
lea    (%rdi,%rax,8),%rax
mov    %rax,-0x10(%rsp)
mov    %r12,%rax
imul   -0x38(%rsp),%rax
mov    -0x40(%rsp),%rdi
lea    (%rdi,%rax,8),%rdi
mov    %rdi,-0x18(%rsp)
mov    0x40(%rsp),%rdi
lea    (%rdi,%rax,8),%r13
mov    -0x4c(%rsp),%ebp
mov    %r9,%rax
mov    %rcx,%rbx
xor    %r10d,%r10d
mov    %r13,-0x20(%rsp)
mov    %rbp,-0x28(%rsp)
jmp    1221 <pencil_dsyr2k_nn_u+0x121>
cs nopw 0x0(%rax,%rax,1)
nop
xorpd  %xmm2,%xmm2
mulsd  %xmm0,%xmm2
movsd  0x0(%r13,%r14,8),%xmm3
mulsd  %xmm1,%xmm3
addsd  %xmm2,%xmm3
movsd  %xmm3,0x0(%r13,%r14,8)
add    $0x1,%r10
add    %r15,%rbx
add    %r11,%rax
cmp    %rbp,%r10
je     1170 <pencil_dsyr2k_nn_u+0x70>
lea    (%r10,%r12,1),%r14
test   %esi,%esi
jle    11f0 <pencil_dsyr2k_nn_u+0xf0>
cmp    $0x1,%esi
jne    1240 <pencil_dsyr2k_nn_u+0x140>
xorpd  %xmm2,%xmm2
xor    %r8d,%r8d
jmp    12a1 <pencil_dsyr2k_nn_u+0x1a1>
nopw   0x0(%rax,%rax,1)
xorpd  %xmm3,%xmm3
xor    %r8d,%r8d
nopw   0x0(%rax,%rax,1)
movsd  -0x8(%rcx,%r8,8),%xmm4
movsd  (%rcx,%r8,8),%xmm5
mulsd  -0x8(%rax,%r8,8),%xmm4
movsd  -0x8(%r9,%r8,8),%xmm6
movsd  (%r9,%r8,8),%xmm2
mulsd  -0x8(%rbx,%r8,8),%xmm6
addsd  %xmm4,%xmm6
addsd  %xmm3,%xmm6
mulsd  (%rax,%r8,8),%xmm5
mulsd  (%rbx,%r8,8),%xmm2
addsd  %xmm5,%xmm2
addsd  %xmm6,%xmm2
add    $0x2,%r8
movapd %xmm2,%xmm3
cmp    %r8,%rdx
jne    1250 <pencil_dsyr2k_nn_u+0x150>
testb  $0x1,-0x30(%rsp)
je     11f4 <pencil_dsyr2k_nn_u+0xf4>
mov    %r14,%rbp
imul   -0x38(%rsp),%rbp
mov    %r12,%r13
mov    %r15,%r12
mov    %r11,%r15
mov    %r14,%r11
imul   -0x30(%rsp),%r11
mov    -0x40(%rsp),%rdi
lea    (%rdi,%rbp,8),%rdi
mov    %rdi,-0x8(%rsp)
mov    -0x48(%rsp),%rdi
lea    (%rdi,%r11,8),%rdi
mov    %r15,%r11
mov    %r12,%r15
mov    %r13,%r12
mov    -0x20(%rsp),%r13
mov    -0x10(%rsp),%rbp
movsd  0x0(%rbp,%r8,8),%xmm3
mov    -0x18(%rsp),%rbp
movsd  0x0(%rbp,%r8,8),%xmm4
mov    -0x28(%rsp),%rbp
mulsd  (%rdi,%r8,8),%xmm4
mov    -0x8(%rsp),%rdi
mulsd  (%rdi,%r8,8),%xmm3
addsd  %xmm4,%xmm3
addsd  %xmm3,%xmm2
jmp    11f4 <pencil_dsyr2k_nn_u+0xf4>
pop    %rbx
pop    %r12
pop    %r13
pop    %r14
pop    %r15
pop    %rbp
ret

LLVM IR (-O0):
define void @pencil_dsyr2k_nn_u(i32 %0, i32 %1, double %2, i32 %3, double* noalias %4, i32 %5, double* noalias %6, double %7, i32 %8, double* noalias %9) {
%11 = alloca i32
%12 = alloca i32
%13 = alloca double
%14 = alloca i32
%15 = alloca double*
%16 = alloca i32
%17 = alloca double*
%18 = alloca double
%19 = alloca i32
%20 = alloca double*
%21 = alloca i32
%22 = alloca i32
%23 = alloca double
%24 = alloca i32
store i32 %0, i32* %11
store i32 %1, i32* %12
store double %2, double* %13
store i32 %3, i32* %14
store double* %4, double** %15
store i32 %5, i32* %16
store double* %6, double** %17
store double %7, double* %18
store i32 %8, i32* %19
store double* %9, double** %20
%25 = load i32, i32* %11
%26 = zext i32 %25 to i64
%27 = load i32, i32* %12
%28 = zext i32 %27 to i64
%29 = load i32, i32* %12
%30 = zext i32 %29 to i64
%31 = load i32, i32* %11
%32 = zext i32 %31 to i64
%33 = load i32, i32* %11
%34 = zext i32 %33 to i64
%35 = load i32, i32* %11
%36 = zext i32 %35 to i64
store i32 0, i32* %21
br label %37
37: ; preds = %137, %10
%38 = load i32, i32* %21
%39 = load i32, i32* %11
%40 = sub nsw i32 %39, 1
%41 = icmp sle i32 %38, %40
br i1 %41, label %42, label %140
42: ; preds = %37
store i32 0, i32* %22
br label %43
43: ; preds = %133, %42
%44 = load i32, i32* %22
%45 = load i32, i32* %11
%46 = sub nsw i32 %45, 1
%47 = load i32, i32* %21
%48 = sub nsw i32 %46, %47
%49 = add nsw i32 %48, 1
%50 = sub nsw i32 %49, 1
%51 = icmp sle i32 %44, %50
br i1 %51, label %52, label %136
52: ; preds = %43
store double 0.000000e+00, double* %23
store i32 0, i32* %24
br label %53
53: ; preds = %103, %52
%54 = load i32, i32* %24
%55 = load i32, i32* %12
%56 = sub nsw i32 %55, 1
%57 = icmp sle i32 %54, %56
br i1 %57, label %58, label %106
58: ; preds = %53
%59 = load double, double* %23
%60 = load double*, double** %15
%61 = load i32, i32* %21
%62 = sext i32 %61 to i64
%63 = mul nsw i64 %62, %28
%64 = getelementptr inbounds double, double* %60, i64 %63
%65 = load i32, i32* %24
%66 = sext i32 %65 to i64
%67 = getelementptr inbounds double, double* %64, i64 %66
%68 = load double, double* %67
%69 = load double*, double** %17
%70 = load i32, i32* %22
%71 = load i32, i32* %21
%72 = add nsw i32 %70, %71
%73 = sext i32 %72 to i64
%74 = mul nsw i64 %73, %32
%75 = getelementptr inbounds double, double* %69, i64 %74
%76 = load i32, i32* %24
%77 = sext i32 %76 to i64
%78 = getelementptr inbounds double, double* %75, i64 %77
%79 = load double, double* %78
%80 = load double*, double** %17
%81 = load i32, i32* %21
%82 = sext i32 %81 to i64
%83 = mul nsw i64 %82, %32
%84 = getelementptr inbounds double, double* %80, i64 %83
%85 = load i32, i32* %24
%86 = sext i32 %85 to i64
%87 = getelementptr inbounds double, double* %84, i64 %86
%88 = load double, double* %87
%89 = load double*, double** %15
%90 = load i32, i32* %22
%91 = load i32, i32* %21
%92 = add nsw i32 %90, %91
%93 = sext i32 %92 to i64
%94 = mul nsw i64 %93, %28
%95 = getelementptr inbounds double, double* %89, i64 %94
%96 = load i32, i32* %24
%97 = sext i32 %96 to i64
%98 = getelementptr inbounds double, double* %95, i64 %97
%99 = load double, double* %98
%100 = fmul double %88, %99
%101 = call double @llvm.fmuladd.f64(double %68, double %79, double %100)
%102 = fadd double %59, %101
store double %102, double* %23
br label %103
103: ; preds = %58
%104 = load i32, i32* %24
%105 = add nsw i32 %104, 1
store i32 %105, i32* %24
br label %53
106: ; preds = %53
%107 = load double, double* %18
%108 = load double*, double** %20
%109 = load i32, i32* %21
%110 = sext i32 %109 to i64
%111 = mul nsw i64 %110, %36
%112 = getelementptr inbounds double, double* %108, i64 %111
%113 = load i32, i32* %21
%114 = load i32, i32* %22
%115 = add nsw i32 %113, %114
%116 = sext i32 %115 to i64
%117 = getelementptr inbounds double, double* %112, i64 %116
%118 = load double, double* %117
%119 = load double, double* %13
%120 = load double, double* %23
%121 = fmul double %119, %120
%122 = call double @llvm.fmuladd.f64(double %107, double %118, double %121)
%123 = load double*, double** %20
%124 = load i32, i32* %21
%125 = sext i32 %124 to i64
%126 = mul nsw i64 %125, %36
%127 = getelementptr inbounds double, double* %123, i64 %126
%128 = load i32, i32* %21
%129 = load i32, i32* %22
%130 = add nsw i32 %128, %129
%131 = sext i32 %130 to i64
%132 = getelementptr inbounds double, double* %127, i64 %131
store double %122, double* %132
br label %133
133: ; preds = %106
%134 = load i32, i32* %22
%135 = add nsw i32 %134, 1
store i32 %135, i32* %22
br label %43
136: ; preds = %43
br label %137
137: ; preds = %136
%138 = load i32, i32* %21
%139 = add nsw i32 %138, 1
store i32 %139, i32* %21
br label %37
140: ; preds = %37
ret void
}

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