int Kronecker(double **A, int a1, int a2, double **B, int b1, int b2,
              double **Res) {
  int inda1, inda2, indb1, indb2, indRes1, indRes2;
  int i;
  int n;
  n = a1 * b1 * a2 * b2;
  indRes1 = 0;
  indRes2 = -1;
  inda1 = 0;
  inda2 = 0;
  indb1 = 0;
  indb2 = -1;
  for (i = 0; i < n; i++) {
    indb2++;
    indRes2++;
    if (indb2 == b2) {
      indb2 = 0;
      inda2++;
      if (inda2 == a2) {
        inda2 = 0;
        indb1++;
        indRes1++;
        indRes2 = 0;
        if (indb1 == b1) {
          indb1 = 0;
          inda1++;
        }
      }
    }
    Res[indRes1][indRes2] = A[inda1][inda2] * B[indb1][indb2];
  }
  return 0;
}


x86 assembly (clang, -O0):
<Kronecker>:
push   %rbp
mov    %rsp,%rbp
mov    0x10(%rbp),%rax
mov    %rdi,-0x8(%rbp)
mov    %esi,-0xc(%rbp)
mov    %edx,-0x10(%rbp)
mov    %rcx,-0x18(%rbp)
mov    %r8d,-0x1c(%rbp)
mov    %r9d,-0x20(%rbp)
mov    -0xc(%rbp),%eax
imul   -0x1c(%rbp),%eax
imul   -0x10(%rbp),%eax
imul   -0x20(%rbp),%eax
mov    %eax,-0x40(%rbp)
movl   $0x0,-0x34(%rbp)
movl   $0xffffffff,-0x38(%rbp)
movl   $0x0,-0x24(%rbp)
movl   $0x0,-0x28(%rbp)
movl   $0x0,-0x2c(%rbp)
movl   $0xffffffff,-0x30(%rbp)
movl   $0x0,-0x3c(%rbp)
mov    -0x3c(%rbp),%eax
cmp    -0x40(%rbp),%eax
jge    123a <Kronecker+0x13a>
mov    -0x30(%rbp),%eax
add    $0x1,%eax
mov    %eax,-0x30(%rbp)
mov    -0x38(%rbp),%eax
add    $0x1,%eax
mov    %eax,-0x38(%rbp)
mov    -0x30(%rbp),%eax
cmp    -0x20(%rbp),%eax
jne    11ed <Kronecker+0xed>
movl   $0x0,-0x30(%rbp)
mov    -0x28(%rbp),%eax
add    $0x1,%eax
mov    %eax,-0x28(%rbp)
mov    -0x28(%rbp),%eax
cmp    -0x10(%rbp),%eax
jne    11e8 <Kronecker+0xe8>
movl   $0x0,-0x28(%rbp)
mov    -0x2c(%rbp),%eax
add    $0x1,%eax
mov    %eax,-0x2c(%rbp)
mov    -0x34(%rbp),%eax
add    $0x1,%eax
mov    %eax,-0x34(%rbp)
movl   $0x0,-0x38(%rbp)
mov    -0x2c(%rbp),%eax
cmp    -0x1c(%rbp),%eax
jne    11e3 <Kronecker+0xe3>
movl   $0x0,-0x2c(%rbp)
mov    -0x24(%rbp),%eax
add    $0x1,%eax
mov    %eax,-0x24(%rbp)
jmp    11e8 <Kronecker+0xe8>
jmp    11ed <Kronecker+0xed>
mov    -0x8(%rbp),%rax
movslq -0x24(%rbp),%rcx
mov    (%rax,%rcx,8),%rax
movslq -0x28(%rbp),%rcx
movsd  (%rax,%rcx,8),%xmm0
mov    -0x18(%rbp),%rax
movslq -0x2c(%rbp),%rcx
mov    (%rax,%rcx,8),%rax
movslq -0x30(%rbp),%rcx
mulsd  (%rax,%rcx,8),%xmm0
mov    0x10(%rbp),%rax
movslq -0x34(%rbp),%rcx
mov    (%rax,%rcx,8),%rax
movslq -0x38(%rbp),%rcx
movsd  %xmm0,(%rax,%rcx,8)
mov    -0x3c(%rbp),%eax
add    $0x1,%eax
mov    %eax,-0x3c(%rbp)
jmp    1161 <Kronecker+0x61>
xor    %eax,%eax
pop    %rbp
ret

x86 assembly (clang, -O2):
<Kronecker>:
push   %rbp
push   %r15
push   %r14
push   %r13
push   %r12
push   %rbx
imul   %edx,%esi
mov    %r8d,%eax
imul   %r9d,%eax
imul   %esi,%eax
test   %eax,%eax
jle    11ac <Kronecker+0xac>
mov    0x38(%rsp),%r10
mov    $0xffffffff,%r13d
xor    %r11d,%r11d
xor    %r14d,%r14d
mov    $0xffffffff,%ebx
xor    %r15d,%r15d
xor    %r12d,%r12d
jmp    1173 <Kronecker+0x73>
nopl   (%rax)
movslq %r11d,%rbp
mov    (%rdi,%rbp,8),%rbp
movslq %r12d,%rsi
movsd  0x0(%rbp,%rsi,8),%xmm0
movslq %r15d,%rsi
mov    (%rcx,%rsi,8),%rsi
movslq %ebx,%rbp
mulsd  (%rsi,%rbp,8),%xmm0
movslq %r14d,%rsi
mov    (%r10,%rsi,8),%rsi
movslq %r13d,%rbp
movsd  %xmm0,(%rsi,%rbp,8)
add    $0xffffffff,%eax
je     11ac <Kronecker+0xac>
add    $0x1,%ebx
add    $0x1,%r13d
cmp    %r9d,%ebx
jne    1140 <Kronecker+0x40>
add    $0x1,%r12d
xor    %ebx,%ebx
cmp    %edx,%r12d
jne    1140 <Kronecker+0x40>
add    $0x1,%r15d
add    $0x1,%r14d
xor    %r12d,%r12d
xor    %esi,%esi
cmp    %r8d,%r15d
cmove  %r12d,%r15d
sete   %sil
add    %esi,%r11d
xor    %ebx,%ebx
xor    %r13d,%r13d
jmp    1140 <Kronecker+0x40>
xor    %eax,%eax
pop    %rbx
pop    %r12
pop    %r13
pop    %r14
pop    %r15
pop    %rbp
ret

LLVM IR (-O0):
define i32 @Kronecker(double** %0, i32 %1, i32 %2, double** %3, i32 %4, i32 %5, double** %6) {
%8 = alloca double**
%9 = alloca i32
%10 = alloca i32
%11 = alloca double**
%12 = alloca i32
%13 = alloca i32
%14 = alloca double**
%15 = alloca i32
%16 = alloca i32
%17 = alloca i32
%18 = alloca i32
%19 = alloca i32
%20 = alloca i32
%21 = alloca i32
%22 = alloca i32
store double** %0, double*** %8
store i32 %1, i32* %9
store i32 %2, i32* %10
store double** %3, double*** %11
store i32 %4, i32* %12
store i32 %5, i32* %13
store double** %6, double*** %14
%23 = load i32, i32* %9
%24 = load i32, i32* %12
%25 = mul nsw i32 %23, %24
%26 = load i32, i32* %10
%27 = mul nsw i32 %25, %26
%28 = load i32, i32* %13
%29 = mul nsw i32 %27, %28
store i32 %29, i32* %22
store i32 0, i32* %19
store i32 -1, i32* %20
store i32 0, i32* %15
store i32 0, i32* %16
store i32 0, i32* %17
store i32 -1, i32* %18
store i32 0, i32* %21
br label %30
30: ; preds = %89, %7
%31 = load i32, i32* %21
%32 = load i32, i32* %22
%33 = icmp slt i32 %31, %32
br i1 %33, label %34, label %92
34: ; preds = %30
%35 = load i32, i32* %18
%36 = add nsw i32 %35, 1
store i32 %36, i32* %18
%37 = load i32, i32* %20
%38 = add nsw i32 %37, 1
store i32 %38, i32* %20
%39 = load i32, i32* %18
%40 = load i32, i32* %13
%41 = icmp eq i32 %39, %40
br i1 %41, label %42, label %61
42: ; preds = %34
store i32 0, i32* %18
%43 = load i32, i32* %16
%44 = add nsw i32 %43, 1
store i32 %44, i32* %16
%45 = load i32, i32* %16
%46 = load i32, i32* %10
%47 = icmp eq i32 %45, %46
br i1 %47, label %48, label %60
48: ; preds = %42
store i32 0, i32* %16
%49 = load i32, i32* %17
%50 = add nsw i32 %49, 1
store i32 %50, i32* %17
%51 = load i32, i32* %19
%52 = add nsw i32 %51, 1
store i32 %52, i32* %19
store i32 0, i32* %20
%53 = load i32, i32* %17
%54 = load i32, i32* %12
%55 = icmp eq i32 %53, %54
br i1 %55, label %56, label %59
56: ; preds = %48
store i32 0, i32* %17
%57 = load i32, i32* %15
%58 = add nsw i32 %57, 1
store i32 %58, i32* %15
br label %59
59: ; preds = %56, %48
br label %60
60: ; preds = %59, %42
br label %61
61: ; preds = %60, %34
%62 = load double**, double*** %8
%63 = load i32, i32* %15
%64 = sext i32 %63 to i64
%65 = getelementptr inbounds double*, double** %62, i64 %64
%66 = load double*, double** %65
%67 = load i32, i32* %16
%68 = sext i32 %67 to i64
%69 = getelementptr inbounds double, double* %66, i64 %68
%70 = load double, double* %69
%71 = load double**, double*** %11
%72 = load i32, i32* %17
%73 = sext i32 %72 to i64
%74 = getelementptr inbounds double*, double** %71, i64 %73
%75 = load double*, double** %74
%76 = load i32, i32* %18
%77 = sext i32 %76 to i64
%78 = getelementptr inbounds double, double* %75, i64 %77
%79 = load double, double* %78
%80 = fmul double %70, %79
%81 = load double**, double*** %14
%82 = load i32, i32* %19
%83 = sext i32 %82 to i64
%84 = getelementptr inbounds double*, double** %81, i64 %83
%85 = load double*, double** %84
%86 = load i32, i32* %20
%87 = sext i32 %86 to i64
%88 = getelementptr inbounds double, double* %85, i64 %87
store double %80, double* %88
br label %89
89: ; preds = %61
%90 = load i32, i32* %21
%91 = add nsw i32 %90, 1
store i32 %91, i32* %21
br label %30
92: ; preds = %30
ret i32 0
}

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