#define NULL ((void *)0)
typedef unsigned long size_t; // Customize by platform.
typedef long intptr_t;
typedef unsigned long uintptr_t;
typedef long scalar_t__; // Either arithmetic or pointer type.
/* By default, we understand bool (as a convenience). */
typedef int bool;
#define false 0
#define true 1

/* Forward declarations */

/* Type definitions */

/* Variables and functions */
void dottn(const float *a, const float *b, size_t m, size_t n, size_t o,
           float *d) {
  size_t i, j, k;
  for (i = 0; i < n * o; i++)
    d[i] = 0.0;
  for (k = 0; k < m; k++)
    for (i = 0; i < n; i++)
      for (j = 0; j < o; j++)
        d[i * o + j] += a[k * n + i] * b[k * o + j];
}


x86 assembly (clang, -O0):
<dottn>:
push   %rbp
mov    %rsp,%rbp
mov    %rdi,-0x8(%rbp)
mov    %rsi,-0x10(%rbp)
mov    %rdx,-0x18(%rbp)
mov    %rcx,-0x20(%rbp)
mov    %r8,-0x28(%rbp)
mov    %r9,-0x30(%rbp)
movq   $0x0,-0x38(%rbp)
mov    -0x38(%rbp),%rax
mov    -0x20(%rbp),%rcx
imul   -0x28(%rbp),%rcx
cmp    %rcx,%rax
jae    115b <dottn+0x5b>
mov    -0x30(%rbp),%rax
mov    -0x38(%rbp),%rcx
xorps  %xmm0,%xmm0
movss  %xmm0,(%rax,%rcx,4)
mov    -0x38(%rbp),%rax
add    $0x1,%rax
mov    %rax,-0x38(%rbp)
jmp    1124 <dottn+0x24>
movq   $0x0,-0x48(%rbp)
mov    -0x48(%rbp),%rax
cmp    -0x18(%rbp),%rax
jae    1229 <dottn+0x129>
movq   $0x0,-0x38(%rbp)
mov    -0x38(%rbp),%rax
cmp    -0x20(%rbp),%rax
jae    1213 <dottn+0x113>
movq   $0x0,-0x40(%rbp)
mov    -0x40(%rbp),%rax
cmp    -0x28(%rbp),%rax
jae    11fd <dottn+0xfd>
mov    -0x8(%rbp),%rax
mov    -0x48(%rbp),%rcx
imul   -0x20(%rbp),%rcx
add    -0x38(%rbp),%rcx
movss  (%rax,%rcx,4),%xmm0
mov    -0x10(%rbp),%rax
mov    -0x48(%rbp),%rcx
imul   -0x28(%rbp),%rcx
add    -0x40(%rbp),%rcx
movss  (%rax,%rcx,4),%xmm2
mov    -0x30(%rbp),%rax
mov    -0x38(%rbp),%rcx
imul   -0x28(%rbp),%rcx
add    -0x40(%rbp),%rcx
movss  (%rax,%rcx,4),%xmm1
mulss  %xmm2,%xmm0
addss  %xmm1,%xmm0
movss  %xmm0,(%rax,%rcx,4)
mov    -0x40(%rbp),%rax
add    $0x1,%rax
mov    %rax,-0x40(%rbp)
jmp    118f <dottn+0x8f>
jmp    1202 <dottn+0x102>
mov    -0x38(%rbp),%rax
add    $0x1,%rax
mov    %rax,-0x38(%rbp)
jmp    1179 <dottn+0x79>
jmp    1218 <dottn+0x118>
mov    -0x48(%rbp),%rax
add    $0x1,%rax
mov    %rax,-0x48(%rbp)
jmp    1163 <dottn+0x63>
pop    %rbp
ret

x86 assembly (clang, -O2):
<dottn>:
push   %rbp
push   %r15
push   %r14
push   %r13
push   %r12
push   %rbx
sub    $0x68,%rsp
mov    %r9,%r15
mov    %r8,%rbx
mov    %rdx,0x18(%rsp)
mov    %rsi,0x8(%rsp)
mov    %rcx,%rsi
mov    %rdi,%rbp
mov    %r8,%rdx
imul   %rcx,%rdx
test   %rdx,%rdx
mov    %rcx,0x10(%rsp)
je     1158 <dottn+0x48>
shl    $0x2,%rdx
mov    %r15,%rdi
xor    %esi,%esi
call   1030 <memset@plt>
mov    0x10(%rsp),%rsi
cmpq   $0x0,0x18(%rsp)
je     13c3 <dottn+0x2b3>
mov    %rbx,%r12
and    $0xfffffffffffffff8,%r12
mov    %rbx,%rax
neg    %rax
mov    %rax,0x58(%rsp)
mov    0x8(%rsp),%rax
lea    0x10(%rax),%rdx
lea    0x0(,%rbx,4),%rcx
mov    %rcx,0x28(%rsp)
lea    0x10(%r15),%rcx
mov    %rcx,0x30(%rsp)
lea    0x4(%rax),%rdi
xor    %eax,%eax
mov    %rax,(%rsp)
mov    %r15,0x20(%rsp)
jmp    11d5 <dottn+0xc5>
cs nopw 0x0(%rax,%rax,1)
mov    (%rsp),%rcx
add    $0x1,%rcx
mov    0x28(%rsp),%rax
add    %rax,%rdx
add    %rax,%rdi
mov    %rcx,%rax
mov    %rcx,(%rsp)
cmp    0x18(%rsp),%rcx
je     13c3 <dottn+0x2b3>
test   %rsi,%rsi
je     11b0 <dottn+0xa0>
mov    (%rsp),%rax
mov    %rax,%rcx
imul   %rsi,%rcx
mov    %rcx,0x60(%rsp)
add    $0x1,%rcx
mov    %rcx,0x50(%rsp)
imul   %rbx,%rax
lea    (%rax,%rbx,1),%r8
mov    0x8(%rsp),%rcx
mov    %rax,0x38(%rsp)
lea    (%rcx,%rax,4),%rax
mov    %rax,0x48(%rsp)
lea    (%rcx,%r8,4),%rax
mov    %rax,0x40(%rsp)
mov    %r15,%r14
mov    0x30(%rsp),%r11
xor    %r13d,%r13d
jmp    1248 <dottn+0x138>
cs nopw 0x0(%rax,%rax,1)
xchg   %ax,%ax
add    $0x1,%r13
mov    0x28(%rsp),%rax
add    %rax,%r11
add    %rax,%r14
cmp    %rsi,%r13
je     11b0 <dottn+0xa0>
test   %rbx,%rbx
je     1230 <dottn+0x120>
mov    %r13,%r9
imul   %rbx,%r9
mov    0x60(%rsp),%rax
lea    (%rax,%r13,1),%r8
cmp    $0x8,%rbx
jae    1270 <dottn+0x160>
xor    %eax,%eax
jmp    1330 <dottn+0x220>
nopw   0x0(%rax,%rax,1)
lea    (%r9,%rbx,1),%rax
mov    0x50(%rsp),%rcx
lea    (%rcx,%r13,1),%r10
lea    (%r15,%r9,4),%rsi
lea    (%r15,%rax,4),%rax
lea    0x0(,%r8,4),%r15
add    %rbp,%r15
lea    0x0(,%r10,4),%rcx
add    %rbp,%rcx
cmp    %rcx,%rsi
setb   %cl
cmp    %rax,%r15
setb   %r15b
cmp    0x40(%rsp),%rsi
setb   %r10b
cmp    %rax,0x48(%rsp)
setb   %sil
test   %r15b,%cl
jne    1322 <dottn+0x212>
mov    $0x0,%eax
and    %sil,%r10b
mov    0x20(%rsp),%r15
mov    0x10(%rsp),%rsi
jne    1330 <dottn+0x220>
movss  0x0(%rbp,%r8,4),%xmm0
shufps $0x0,%xmm0,%xmm0
xor    %eax,%eax
movups -0x10(%rdx,%rax,4),%xmm1
movups (%rdx,%rax,4),%xmm2
movups -0x10(%r11,%rax,4),%xmm3
movups (%r11,%rax,4),%xmm4
mulps  %xmm0,%xmm1
addps  %xmm3,%xmm1
mulps  %xmm0,%xmm2
addps  %xmm4,%xmm2
movups %xmm1,-0x10(%r11,%rax,4)
movups %xmm2,(%r11,%rax,4)
add    $0x8,%rax
cmp    %rax,%r12
jne    12e0 <dottn+0x1d0>
mov    %r12,%rax
cmp    %rbx,%r12
je     1230 <dottn+0x120>
jmp    1330 <dottn+0x220>
xor    %eax,%eax
mov    0x20(%rsp),%r15
mov    0x10(%rsp),%rsi
xchg   %ax,%ax
mov    %rax,%r10
test   $0x1,%bl
je     136f <dottn+0x25f>
movss  0x0(%rbp,%r8,4),%xmm0
mov    0x38(%rsp),%rcx
lea    (%rax,%rcx,1),%r10
add    %rax,%r9
mov    %rsi,%rcx
mov    0x8(%rsp),%rsi
mulss  (%rsi,%r10,4),%xmm0
mov    %rcx,%rsi
addss  (%r15,%r9,4),%xmm0
movss  %xmm0,(%r15,%r9,4)
mov    %rax,%r10
or     $0x1,%r10
not    %rax
cmp    0x58(%rsp),%rax
je     1230 <dottn+0x120>
nopl   (%rax)
movss  0x0(%rbp,%r8,4),%xmm0
mulss  -0x4(%rdi,%r10,4),%xmm0
addss  (%r14,%r10,4),%xmm0
movss  %xmm0,(%r14,%r10,4)
movss  0x0(%rbp,%r8,4),%xmm0
mulss  (%rdi,%r10,4),%xmm0
addss  0x4(%r14,%r10,4),%xmm0
movss  %xmm0,0x4(%r14,%r10,4)
add    $0x2,%r10
cmp    %r10,%rbx
jne    1380 <dottn+0x270>
jmp    1230 <dottn+0x120>
add    $0x68,%rsp
pop    %rbx
pop    %r12
pop    %r13
pop    %r14
pop    %r15
pop    %rbp
ret

LLVM IR (-O0):
define void @dottn(float* %0, float* %1, i64 %2, i64 %3, i64 %4, float* %5) {
%7 = alloca float*
%8 = alloca float*
%9 = alloca i64
%10 = alloca i64
%11 = alloca i64
%12 = alloca float*
%13 = alloca i64
%14 = alloca i64
%15 = alloca i64
store float* %0, float** %7
store float* %1, float** %8
store i64 %2, i64* %9
store i64 %3, i64* %10
store i64 %4, i64* %11
store float* %5, float** %12
store i64 0, i64* %13
br label %16
16: ; preds = %26, %6
%17 = load i64, i64* %13
%18 = load i64, i64* %10
%19 = load i64, i64* %11
%20 = mul i64 %18, %19
%21 = icmp ult i64 %17, %20
br i1 %21, label %22, label %29
22: ; preds = %16
%23 = load float*, float** %12
%24 = load i64, i64* %13
%25 = getelementptr inbounds float, float* %23, i64 %24
store float 0.000000e+00, float* %25
br label %26
26: ; preds = %22
%27 = load i64, i64* %13
%28 = add i64 %27, 1
store i64 %28, i64* %13
br label %16
29: ; preds = %16
store i64 0, i64* %15
br label %30
30: ; preds = %78, %29
%31 = load i64, i64* %15
%32 = load i64, i64* %9
%33 = icmp ult i64 %31, %32
br i1 %33, label %34, label %81
34: ; preds = %30
store i64 0, i64* %13
br label %35
35: ; preds = %74, %34
%36 = load i64, i64* %13
%37 = load i64, i64* %10
%38 = icmp ult i64 %36, %37
br i1 %38, label %39, label %77
39: ; preds = %35
store i64 0, i64* %14
br label %40
40: ; preds = %70, %39
%41 = load i64, i64* %14
%42 = load i64, i64* %11
%43 = icmp ult i64 %41, %42
br i1 %43, label %44, label %73
44: ; preds = %40
%45 = load float*, float** %7
%46 = load i64, i64* %15
%47 = load i64, i64* %10
%48 = mul i64 %46, %47
%49 = load i64, i64* %13
%50 = add i64 %48, %49
%51 = getelementptr inbounds float, float* %45, i64 %50
%52 = load float, float* %51
%53 = load float*, float** %8
%54 = load i64, i64* %15
%55 = load i64, i64* %11
%56 = mul i64 %54, %55
%57 = load i64, i64* %14
%58 = add i64 %56, %57
%59 = getelementptr inbounds float, float* %53, i64 %58
%60 = load float, float* %59
%61 = load float*, float** %12
%62 = load i64, i64* %13
%63 = load i64, i64* %11
%64 = mul i64 %62, %63
%65 = load i64, i64* %14
%66 = add i64 %64, %65
%67 = getelementptr inbounds float, float* %61, i64 %66
%68 = load float, float* %67
%69 = call float @llvm.fmuladd.f32(float %52, float %60, float %68)
store float %69, float* %67
br label %70
70: ; preds = %44
%71 = load i64, i64* %14
%72 = add i64 %71, 1
store i64 %72, i64* %14
br label %40
73: ; preds = %40
br label %74
74: ; preds = %73
%75 = load i64, i64* %13
%76 = add i64 %75, 1
store i64 %76, i64* %13
br label %35
77: ; preds = %35
br label %78
78: ; preds = %77
%79 = load i64, i64* %15
%80 = add i64 %79, 1
store i64 %80, i64* %15
br label %30
81: ; preds = %30
ret void
}

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