void pencil_ssyr2k_nn_u(int n_115_555, int k_116_556, float alpha_117_557,
                        int ldA_118_558,
                        float A_119_559[restrict const n_115_555][k_116_556],
                        int ldB_120_560,
                        float B_121_561[restrict const k_116_556][n_115_555],
                        float beta_122_562, int ldCT_123_563,
                        float CT_124_564[restrict const n_115_555][n_115_555]) {
#pragma scop
  {
#pragma pencil independent
    for (int i_236_382_1467_2001 = 0; i_236_382_1467_2001 <= (n_115_555 - 1);
         i_236_382_1467_2001 += 1) {
#pragma pencil independent
      for (int i_238_384_1468_2003 = 0;
           i_238_384_1468_2003 <=
           ((((n_115_555 - 1) - i_236_382_1467_2001) + 1) - 1);
           i_238_384_1468_2003 += 1) {
        float accum_239_385_1469_2000;
        accum_239_385_1469_2000 = 0.0f;
        for (int i_240_386_1470_2002 = 0;
             i_240_386_1470_2002 <= (k_116_556 - 1); i_240_386_1470_2002 += 1) {
          accum_239_385_1469_2000 =
              (accum_239_385_1469_2000 +
               ((A_119_559[i_236_382_1467_2001][i_240_386_1470_2002] *
                 B_121_561[(i_238_384_1468_2003 + i_236_382_1467_2001)]
                          [i_240_386_1470_2002]) +
                (B_121_561[i_236_382_1467_2001][i_240_386_1470_2002] *
                 A_119_559[(i_238_384_1468_2003 + i_236_382_1467_2001)]
                          [i_240_386_1470_2002])));
        }
        CT_124_564[i_236_382_1467_2001][(i_236_382_1467_2001 +
                                         i_238_384_1468_2003)] =
            ((beta_122_562 * CT_124_564[i_236_382_1467_2001][(
                                 i_236_382_1467_2001 + i_238_384_1468_2003)]) +
             (alpha_117_557 * accum_239_385_1469_2000));
      }
    }
  }
#pragma endscop
}


x86 assembly (clang, -O0):
<pencil_ssyr2k_nn_u>:
push   %rbp
mov    %rsp,%rbp
mov    0x18(%rbp),%rax
mov    0x10(%rbp),%eax
mov    %edi,-0x4(%rbp)
mov    %esi,-0x8(%rbp)
movss  %xmm0,-0xc(%rbp)
mov    %edx,-0x10(%rbp)
mov    %rcx,-0x18(%rbp)
mov    %r8d,-0x1c(%rbp)
mov    %r9,-0x28(%rbp)
movss  %xmm1,-0x2c(%rbp)
mov    -0x8(%rbp),%eax
mov    %rax,-0x58(%rbp)
mov    -0x4(%rbp),%eax
mov    %rax,-0x50(%rbp)
mov    -0x4(%rbp),%eax
mov    %rax,-0x48(%rbp)
movl   $0x0,-0x30(%rbp)
mov    -0x30(%rbp),%eax
mov    -0x4(%rbp),%ecx
sub    $0x1,%ecx
cmp    %ecx,%eax
jg     12bc <pencil_ssyr2k_nn_u+0x1bc>
movl   $0x0,-0x34(%rbp)
mov    -0x34(%rbp),%eax
mov    -0x4(%rbp),%ecx
sub    $0x1,%ecx
sub    -0x30(%rbp),%ecx
add    $0x1,%ecx
sub    $0x1,%ecx
cmp    %ecx,%eax
jg     12a9 <pencil_ssyr2k_nn_u+0x1a9>
xorps  %xmm0,%xmm0
movss  %xmm0,-0x38(%rbp)
movl   $0x0,-0x3c(%rbp)
mov    -0x3c(%rbp),%eax
mov    -0x8(%rbp),%ecx
sub    $0x1,%ecx
cmp    %ecx,%eax
jg     123e <pencil_ssyr2k_nn_u+0x13e>
mov    -0x58(%rbp),%rdx
mov    -0x50(%rbp),%rsi
movss  -0x38(%rbp),%xmm0
mov    -0x18(%rbp),%rax
movslq -0x30(%rbp),%rcx
imul   %rdx,%rcx
shl    $0x2,%rcx
add    %rcx,%rax
movslq -0x3c(%rbp),%rcx
movss  (%rax,%rcx,4),%xmm1
mov    -0x28(%rbp),%rax
mov    -0x34(%rbp),%ecx
add    -0x30(%rbp),%ecx
movslq %ecx,%rcx
imul   %rsi,%rcx
shl    $0x2,%rcx
add    %rcx,%rax
movslq -0x3c(%rbp),%rcx
movss  (%rax,%rcx,4),%xmm3
mov    -0x28(%rbp),%rax
movslq -0x30(%rbp),%rcx
imul   %rsi,%rcx
shl    $0x2,%rcx
add    %rcx,%rax
movslq -0x3c(%rbp),%rcx
movss  (%rax,%rcx,4),%xmm2
mov    -0x18(%rbp),%rax
mov    -0x34(%rbp),%ecx
add    -0x30(%rbp),%ecx
movslq %ecx,%rcx
imul   %rdx,%rcx
shl    $0x2,%rcx
add    %rcx,%rax
movslq -0x3c(%rbp),%rcx
mulss  (%rax,%rcx,4),%xmm2
mulss  %xmm3,%xmm1
addss  %xmm2,%xmm1
addss  %xmm1,%xmm0
movss  %xmm0,-0x38(%rbp)
mov    -0x3c(%rbp),%eax
add    $0x1,%eax
mov    %eax,-0x3c(%rbp)
jmp    1187 <pencil_ssyr2k_nn_u+0x87>
mov    -0x48(%rbp),%rdx
movss  -0x2c(%rbp),%xmm0
mov    0x18(%rbp),%rax
movslq -0x30(%rbp),%rcx
imul   %rdx,%rcx
shl    $0x2,%rcx
add    %rcx,%rax
mov    -0x30(%rbp),%ecx
add    -0x34(%rbp),%ecx
movslq %ecx,%rcx
movss  (%rax,%rcx,4),%xmm2
movss  -0xc(%rbp),%xmm1
mulss  -0x38(%rbp),%xmm1
mulss  %xmm2,%xmm0
addss  %xmm1,%xmm0
mov    0x18(%rbp),%rax
movslq -0x30(%rbp),%rcx
imul   %rdx,%rcx
shl    $0x2,%rcx
add    %rcx,%rax
mov    -0x30(%rbp),%ecx
add    -0x34(%rbp),%ecx
movslq %ecx,%rcx
movss  %xmm0,(%rax,%rcx,4)
mov    -0x34(%rbp),%eax
add    $0x1,%eax
mov    %eax,-0x34(%rbp)
jmp    115e <pencil_ssyr2k_nn_u+0x5e>
jmp    12ae <pencil_ssyr2k_nn_u+0x1ae>
mov    -0x30(%rbp),%eax
add    $0x1,%eax
mov    %eax,-0x30(%rbp)
jmp    1146 <pencil_ssyr2k_nn_u+0x46>
pop    %rbp
ret

x86 assembly (clang, -O2):
<pencil_ssyr2k_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    1326 <pencil_ssyr2k_nn_u+0x226>
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    0x4(%rax),%r9
lea    0x0(,%rcx,4),%r11
mov    -0x40(%rsp),%rax
lea    0x4(%rax),%rcx
mov    %rbx,-0x38(%rsp)
lea    0x0(,%rbx,4),%r15
xor    %r12d,%r12d
mov    %edi,-0x4c(%rsp)
jmp    118a <pencil_ssyr2k_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     1326 <pencil_ssyr2k_nn_u+0x226>
mov    %r12d,%eax
not    %eax
add    -0x50(%rsp),%eax
js     1170 <pencil_ssyr2k_nn_u+0x70>
mov    %r12,%rax
imul   -0x30(%rsp),%rax
mov    -0x48(%rsp),%rdi
lea    (%rdi,%rax,4),%rax
mov    %rax,-0x10(%rsp)
mov    %r12,%rax
imul   -0x38(%rsp),%rax
mov    -0x40(%rsp),%rdi
lea    (%rdi,%rax,4),%rdi
mov    %rdi,-0x18(%rsp)
mov    0x40(%rsp),%rdi
lea    (%rdi,%rax,4),%r13
mov    -0x4c(%rsp),%ebp
mov    %r9,%rax
mov    %rcx,%rbx
xor    %r10d,%r10d
mov    %r13,-0x20(%rsp)
mov    %rbp,-0x28(%rsp)
jmp    1220 <pencil_ssyr2k_nn_u+0x120>
cs nopw 0x0(%rax,%rax,1)
nop
xorps  %xmm2,%xmm2
mulss  %xmm0,%xmm2
movss  0x0(%r13,%r14,4),%xmm3
mulss  %xmm1,%xmm3
addss  %xmm2,%xmm3
movss  %xmm3,0x0(%r13,%r14,4)
add    $0x1,%r10
add    %r15,%rbx
add    %r11,%rax
cmp    %rbp,%r10
je     1170 <pencil_ssyr2k_nn_u+0x70>
lea    (%r10,%r12,1),%r14
test   %esi,%esi
jle    11f0 <pencil_ssyr2k_nn_u+0xf0>
cmp    $0x1,%esi
jne    1240 <pencil_ssyr2k_nn_u+0x140>
xorps  %xmm2,%xmm2
xor    %r8d,%r8d
jmp    12a0 <pencil_ssyr2k_nn_u+0x1a0>
cs nopw 0x0(%rax,%rax,1)
nop
xorps  %xmm3,%xmm3
xor    %r8d,%r8d
cs nopw 0x0(%rax,%rax,1)
movss  -0x4(%rcx,%r8,4),%xmm4
movss  (%rcx,%r8,4),%xmm5
mulss  -0x4(%rax,%r8,4),%xmm4
movss  -0x4(%r9,%r8,4),%xmm6
movss  (%r9,%r8,4),%xmm2
mulss  -0x4(%rbx,%r8,4),%xmm6
addss  %xmm4,%xmm6
addss  %xmm3,%xmm6
mulss  (%rax,%r8,4),%xmm5
mulss  (%rbx,%r8,4),%xmm2
addss  %xmm5,%xmm2
addss  %xmm6,%xmm2
add    $0x2,%r8
movaps %xmm2,%xmm3
cmp    %r8,%rdx
jne    1250 <pencil_ssyr2k_nn_u+0x150>
testb  $0x1,-0x30(%rsp)
je     11f3 <pencil_ssyr2k_nn_u+0xf3>
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,4),%rdi
mov    %rdi,-0x8(%rsp)
mov    -0x48(%rsp),%rdi
lea    (%rdi,%r11,4),%rdi
mov    %r15,%r11
mov    %r12,%r15
mov    %r13,%r12
mov    -0x20(%rsp),%r13
mov    -0x10(%rsp),%rbp
movss  0x0(%rbp,%r8,4),%xmm3
mov    -0x18(%rsp),%rbp
movss  0x0(%rbp,%r8,4),%xmm4
mov    -0x28(%rsp),%rbp
mulss  (%rdi,%r8,4),%xmm4
mov    -0x8(%rsp),%rdi
mulss  (%rdi,%r8,4),%xmm3
addss  %xmm4,%xmm3
addss  %xmm3,%xmm2
jmp    11f3 <pencil_ssyr2k_nn_u+0xf3>
pop    %rbx
pop    %r12
pop    %r13
pop    %r14
pop    %r15
pop    %rbp
ret

LLVM IR (-O0):
define void @pencil_ssyr2k_nn_u(i32 %0, i32 %1, float %2, i32 %3, float* noalias %4, i32 %5, float* noalias %6, float %7, i32 %8, float* noalias %9) {
%11 = alloca i32
%12 = alloca i32
%13 = alloca float
%14 = alloca i32
%15 = alloca float*
%16 = alloca i32
%17 = alloca float*
%18 = alloca float
%19 = alloca i32
%20 = alloca float*
%21 = alloca i32
%22 = alloca i32
%23 = alloca float
%24 = alloca i32
store i32 %0, i32* %11
store i32 %1, i32* %12
store float %2, float* %13
store i32 %3, i32* %14
store float* %4, float** %15
store i32 %5, i32* %16
store float* %6, float** %17
store float %7, float* %18
store i32 %8, i32* %19
store float* %9, float** %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 float 0.000000e+00, float* %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 float, float* %23
%60 = load float*, float** %15
%61 = load i32, i32* %21
%62 = sext i32 %61 to i64
%63 = mul nsw i64 %62, %28
%64 = getelementptr inbounds float, float* %60, i64 %63
%65 = load i32, i32* %24
%66 = sext i32 %65 to i64
%67 = getelementptr inbounds float, float* %64, i64 %66
%68 = load float, float* %67
%69 = load float*, float** %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 float, float* %69, i64 %74
%76 = load i32, i32* %24
%77 = sext i32 %76 to i64
%78 = getelementptr inbounds float, float* %75, i64 %77
%79 = load float, float* %78
%80 = load float*, float** %17
%81 = load i32, i32* %21
%82 = sext i32 %81 to i64
%83 = mul nsw i64 %82, %32
%84 = getelementptr inbounds float, float* %80, i64 %83
%85 = load i32, i32* %24
%86 = sext i32 %85 to i64
%87 = getelementptr inbounds float, float* %84, i64 %86
%88 = load float, float* %87
%89 = load float*, float** %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 float, float* %89, i64 %94
%96 = load i32, i32* %24
%97 = sext i32 %96 to i64
%98 = getelementptr inbounds float, float* %95, i64 %97
%99 = load float, float* %98
%100 = fmul float %88, %99
%101 = call float @llvm.fmuladd.f32(float %68, float %79, float %100)
%102 = fadd float %59, %101
store float %102, float* %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 float, float* %18
%108 = load float*, float** %20
%109 = load i32, i32* %21
%110 = sext i32 %109 to i64
%111 = mul nsw i64 %110, %36
%112 = getelementptr inbounds float, float* %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 float, float* %112, i64 %116
%118 = load float, float* %117
%119 = load float, float* %13
%120 = load float, float* %23
%121 = fmul float %119, %120
%122 = call float @llvm.fmuladd.f32(float %107, float %118, float %121)
%123 = load float*, float** %20
%124 = load i32, i32* %21
%125 = sext i32 %124 to i64
%126 = mul nsw i64 %125, %36
%127 = getelementptr inbounds float, float* %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 float, float* %127, i64 %131
store float %122, float* %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_ssyr2k_nn_u(i32 %0, i32 %1, float %2, i32 %3, float* noalias nocapture %4, i32 %5, float* noalias nocapture %6, float %7, i32 %8, float* 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 float, float* %4, i64 %28
%30 = mul nuw nsw i64 %21, %12
%31 = getelementptr inbounds float, float* %6, i64 %30
%32 = getelementptr inbounds float, float* %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 float, float* %6, i64 %39
%41 = mul nuw nsw i64 %37, %11
%42 = getelementptr inbounds float, float* %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 float [ undef, %38 ], [ %97, %71 ]
%49 = phi i64 [ 0, %38 ], [ %98, %71 ]
%50 = phi float [ 0.000000e+00, %38 ], [ %97, %71 ]
br i1 %19, label %63, label %51
51: ; preds = %47
%52 = getelementptr inbounds float, float* %29, i64 %49
%53 = load float, float* %52
%54 = getelementptr inbounds float, float* %40, i64 %49
%55 = load float, float* %54
%56 = getelementptr inbounds float, float* %31, i64 %49
%57 = load float, float* %56
%58 = getelementptr inbounds float, float* %42, i64 %49
%59 = load float, float* %58
%60 = fmul float %57, %59
%61 = tail call float @llvm.fmuladd.f32(float %53, float %55, float %60)
%62 = fadd float %50, %61
br label %63
63: ; preds = %51, %47, %35
%64 = phi float [ 0.000000e+00, %35 ], [ %48, %47 ], [ %62, %51 ]
%65 = getelementptr inbounds float, float* %32, i64 %37
%66 = load float, float* %65
%67 = fmul float %64, %2
%68 = tail call float @llvm.fmuladd.f32(float %7, float %66, float %67)
store float %68, float* %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 float [ %97, %71 ], [ 0.000000e+00, %38 ]
%74 = phi i64 [ %99, %71 ], [ 0, %38 ]
%75 = getelementptr inbounds float, float* %29, i64 %72
%76 = load float, float* %75
%77 = getelementptr inbounds float, float* %40, i64 %72
%78 = load float, float* %77
%79 = getelementptr inbounds float, float* %31, i64 %72
%80 = load float, float* %79
%81 = getelementptr inbounds float, float* %42, i64 %72
%82 = load float, float* %81
%83 = fmul float %80, %82
%84 = tail call float @llvm.fmuladd.f32(float %76, float %78, float %83)
%85 = fadd float %73, %84
%86 = or i64 %72, 1
%87 = getelementptr inbounds float, float* %29, i64 %86
%88 = load float, float* %87
%89 = getelementptr inbounds float, float* %40, i64 %86
%90 = load float, float* %89
%91 = getelementptr inbounds float, float* %31, i64 %86
%92 = load float, float* %91
%93 = getelementptr inbounds float, float* %42, i64 %86
%94 = load float, float* %93
%95 = fmul float %92, %94
%96 = tail call float @llvm.fmuladd.f32(float %88, float %90, float %95)
%97 = fadd float %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
}