#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 */
int /*<<< orphan*/ memcpy(float **, float **, int);
void lib3ds_matrix_mult(float m[4][4], float a[4][4], float b[4][4]) {
  float tmp[4][4];
  int i, j, k;
  float ab;
  memcpy(tmp, a, 16 * sizeof(float));
  for (j = 0; j < 4; j++) {
    for (i = 0; i < 4; i++) {
      ab = 0.0f;
      for (k = 0; k < 4; k++)
        ab += tmp[k][i] * b[j][k];
      m[j][i] = ab;
    }
  }
}


x86 assembly (clang, -O0):
<lib3ds_matrix_mult>:
push   %rbp
mov    %rsp,%rbp
sub    $0x70,%rsp
mov    %rdi,-0x8(%rbp)
mov    %rsi,-0x10(%rbp)
mov    %rdx,-0x18(%rbp)
lea    -0x60(%rbp),%rdi
mov    -0x10(%rbp),%rsi
mov    $0x40,%edx
call   1030 <memcpy@plt>
movl   $0x0,-0x68(%rbp)
cmpl   $0x4,-0x68(%rbp)
jge    11ff <lib3ds_matrix_mult+0xef>
movl   $0x0,-0x64(%rbp)
cmpl   $0x4,-0x64(%rbp)
jge    11ec <lib3ds_matrix_mult+0xdc>
xorps  %xmm0,%xmm0
movss  %xmm0,-0x70(%rbp)
movl   $0x0,-0x6c(%rbp)
cmpl   $0x4,-0x6c(%rbp)
jge    11c1 <lib3ds_matrix_mult+0xb1>
movslq -0x6c(%rbp),%rcx
lea    -0x60(%rbp),%rax
shl    $0x4,%rcx
add    %rcx,%rax
movslq -0x64(%rbp),%rcx
movss  (%rax,%rcx,4),%xmm0
mov    -0x18(%rbp),%rax
movslq -0x68(%rbp),%rcx
shl    $0x4,%rcx
add    %rcx,%rax
movslq -0x6c(%rbp),%rcx
movss  (%rax,%rcx,4),%xmm2
movss  -0x70(%rbp),%xmm1
mulss  %xmm2,%xmm0
addss  %xmm1,%xmm0
movss  %xmm0,-0x70(%rbp)
mov    -0x6c(%rbp),%eax
add    $0x1,%eax
mov    %eax,-0x6c(%rbp)
jmp    1167 <lib3ds_matrix_mult+0x57>
movss  -0x70(%rbp),%xmm0
mov    -0x8(%rbp),%rax
movslq -0x68(%rbp),%rcx
shl    $0x4,%rcx
add    %rcx,%rax
movslq -0x64(%rbp),%rcx
movss  %xmm0,(%rax,%rcx,4)
mov    -0x64(%rbp),%eax
add    $0x1,%eax
mov    %eax,-0x64(%rbp)
jmp    114e <lib3ds_matrix_mult+0x3e>
jmp    11f1 <lib3ds_matrix_mult+0xe1>
mov    -0x68(%rbp),%eax
add    $0x1,%eax
mov    %eax,-0x68(%rbp)
jmp    113d <lib3ds_matrix_mult+0x2d>
add    $0x70,%rsp
pop    %rbp
ret

x86 assembly (clang, -O2):
<lib3ds_matrix_mult>:
push   %r14
push   %rbx
sub    $0x68,%rsp
mov    %rdx,%rbx
mov    %rdi,%r14
lea    0x20(%rsp),%rdi
mov    $0x40,%edx
call   1030 <memcpy@plt>
movss  0x20(%rsp),%xmm0
movss  %xmm0,0x1c(%rsp)
movss  0x24(%rsp),%xmm0
movss  %xmm0,0x18(%rsp)
movss  0x30(%rsp),%xmm0
movss  %xmm0,0x14(%rsp)
movss  0x40(%rsp),%xmm0
movss  %xmm0,0x10(%rsp)
movss  0x50(%rsp),%xmm0
movss  %xmm0,0xc(%rsp)
movss  0x34(%rsp),%xmm13
movss  0x44(%rsp),%xmm14
movss  0x54(%rsp),%xmm15
movss  0x28(%rsp),%xmm11
movss  0x38(%rsp),%xmm12
movss  0x48(%rsp),%xmm2
movss  0x58(%rsp),%xmm3
movss  0x2c(%rsp),%xmm4
movss  0x3c(%rsp),%xmm5
movss  0x4c(%rsp),%xmm6
xor    %eax,%eax
movss  0x5c(%rsp),%xmm7
xorps  %xmm8,%xmm8
cs nopw 0x0(%rax,%rax,1)
nop
movss  (%rbx,%rax,1),%xmm9
mulss  0x1c(%rsp),%xmm9
addss  %xmm8,%xmm9
movss  0x4(%rbx,%rax,1),%xmm10
mulss  0x14(%rsp),%xmm10
addss  %xmm9,%xmm10
movss  0x8(%rbx,%rax,1),%xmm0
mulss  0x10(%rsp),%xmm0
addss  %xmm10,%xmm0
movss  0xc(%rbx,%rax,1),%xmm1
mulss  0xc(%rsp),%xmm1
addss  %xmm0,%xmm1
movss  %xmm1,(%r14,%rax,1)
movss  (%rbx,%rax,1),%xmm0
mulss  0x18(%rsp),%xmm0
addss  %xmm8,%xmm0
movss  0x4(%rbx,%rax,1),%xmm1
mulss  %xmm13,%xmm1
addss  %xmm0,%xmm1
movss  0x8(%rbx,%rax,1),%xmm0
mulss  %xmm14,%xmm0
addss  %xmm1,%xmm0
movss  0xc(%rbx,%rax,1),%xmm1
mulss  %xmm15,%xmm1
addss  %xmm0,%xmm1
movss  %xmm1,0x4(%r14,%rax,1)
movss  (%rbx,%rax,1),%xmm0
mulss  %xmm11,%xmm0
addss  %xmm8,%xmm0
movss  0x4(%rbx,%rax,1),%xmm1
mulss  %xmm12,%xmm1
addss  %xmm0,%xmm1
movss  0x8(%rbx,%rax,1),%xmm0
mulss  %xmm2,%xmm0
addss  %xmm1,%xmm0
movss  0xc(%rbx,%rax,1),%xmm1
mulss  %xmm3,%xmm1
addss  %xmm0,%xmm1
movss  %xmm1,0x8(%r14,%rax,1)
movss  (%rbx,%rax,1),%xmm0
mulss  %xmm4,%xmm0
addss  %xmm8,%xmm0
movss  0x4(%rbx,%rax,1),%xmm1
mulss  %xmm5,%xmm1
addss  %xmm0,%xmm1
movss  0x8(%rbx,%rax,1),%xmm0
mulss  %xmm6,%xmm0
addss  %xmm1,%xmm0
movss  0xc(%rbx,%rax,1),%xmm1
mulss  %xmm7,%xmm1
addss  %xmm0,%xmm1
movss  %xmm1,0xc(%r14,%rax,1)
add    $0x10,%rax
cmp    $0x40,%rax
jne    11c0 <lib3ds_matrix_mult+0xb0>
add    $0x68,%rsp
pop    %rbx
pop    %r14
ret

LLVM IR (-O0):
define void @lib3ds_matrix_mult([4 x float]* %0, [4 x float]* %1, [4 x float]* %2) {
%4 = alloca [4 x float]*
%5 = alloca [4 x float]*
%6 = alloca [4 x float]*
%7 = alloca [4 x [4 x float]]
%8 = alloca i32
%9 = alloca i32
%10 = alloca i32
%11 = alloca float
store [4 x float]* %0, [4 x float]** %4
store [4 x float]* %1, [4 x float]** %5
store [4 x float]* %2, [4 x float]** %6
%12 = getelementptr inbounds [4 x [4 x float]], [4 x [4 x float]]* %7, i64 0, i64 0
%13 = bitcast [4 x float]* %12 to float**
%14 = load [4 x float]*, [4 x float]** %5
%15 = bitcast [4 x float]* %14 to float**
%16 = call i32 @memcpy(float** %13, float** %15, i32 64)
store i32 0, i32* %9
br label %17
17: ; preds = %62, %3
%18 = load i32, i32* %9
%19 = icmp slt i32 %18, 4
br i1 %19, label %20, label %65
20: ; preds = %17
store i32 0, i32* %8
br label %21
21: ; preds = %58, %20
%22 = load i32, i32* %8
%23 = icmp slt i32 %22, 4
br i1 %23, label %24, label %61
24: ; preds = %21
store float 0.000000e+00, float* %11
store i32 0, i32* %10
br label %25
25: ; preds = %46, %24
%26 = load i32, i32* %10
%27 = icmp slt i32 %26, 4
br i1 %27, label %28, label %49
28: ; preds = %25
%29 = load i32, i32* %10
%30 = sext i32 %29 to i64
%31 = getelementptr inbounds [4 x [4 x float]], [4 x [4 x float]]* %7, i64 0, i64 %30
%32 = load i32, i32* %8
%33 = sext i32 %32 to i64
%34 = getelementptr inbounds [4 x float], [4 x float]* %31, i64 0, i64 %33
%35 = load float, float* %34
%36 = load [4 x float]*, [4 x float]** %6
%37 = load i32, i32* %9
%38 = sext i32 %37 to i64
%39 = getelementptr inbounds [4 x float], [4 x float]* %36, i64 %38
%40 = load i32, i32* %10
%41 = sext i32 %40 to i64
%42 = getelementptr inbounds [4 x float], [4 x float]* %39, i64 0, i64 %41
%43 = load float, float* %42
%44 = load float, float* %11
%45 = call float @llvm.fmuladd.f32(float %35, float %43, float %44)
store float %45, float* %11
br label %46
46: ; preds = %28
%47 = load i32, i32* %10
%48 = add nsw i32 %47, 1
store i32 %48, i32* %10
br label %25
49: ; preds = %25
%50 = load float, float* %11
%51 = load [4 x float]*, [4 x float]** %4
%52 = load i32, i32* %9
%53 = sext i32 %52 to i64
%54 = getelementptr inbounds [4 x float], [4 x float]* %51, i64 %53
%55 = load i32, i32* %8
%56 = sext i32 %55 to i64
%57 = getelementptr inbounds [4 x float], [4 x float]* %54, i64 0, i64 %56
store float %50, float* %57
br label %58
58: ; preds = %49
%59 = load i32, i32* %8
%60 = add nsw i32 %59, 1
store i32 %60, i32* %8
br label %21
61: ; preds = %21
br label %62
62: ; preds = %61
%63 = load i32, i32* %9
%64 = add nsw i32 %63, 1
store i32 %64, i32* %9
br label %17
65: ; preds = %17
ret void
}

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