#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 */
typedef int /*<<< orphan*/ FILE;

/* Variables and functions */
int matvecprod(float **A, float *C, float *B, FILE *OUTPUT) {
  int i, j, k;
  float temp;
  float t[3];
  for (j = 0; j < 3; ++j) {
    t[j] = 0.0;
    for (k = 0; k < 3; ++k) {
      t[j] += A[j][k] * B[k];
    }
  }
  for (i = 0; i < 3; ++i)
    C[i] = t[i];
  return 0;
}


x86 assembly (clang, -O0):
<matvecprod>:
push   %rbp
mov    %rsp,%rbp
mov    %rdi,-0x8(%rbp)
mov    %rsi,-0x10(%rbp)
mov    %rdx,-0x18(%rbp)
mov    %rcx,-0x20(%rbp)
movl   $0x0,-0x28(%rbp)
cmpl   $0x3,-0x28(%rbp)
jge    119e <matvecprod+0x9e>
movslq -0x28(%rbp),%rax
xorps  %xmm0,%xmm0
movss  %xmm0,-0x3c(%rbp,%rax,4)
movl   $0x0,-0x2c(%rbp)
cmpl   $0x3,-0x2c(%rbp)
jge    118b <matvecprod+0x8b>
mov    -0x8(%rbp),%rax
movslq -0x28(%rbp),%rcx
mov    (%rax,%rcx,8),%rax
movslq -0x2c(%rbp),%rcx
movss  (%rax,%rcx,4),%xmm0
mov    -0x18(%rbp),%rax
movslq -0x2c(%rbp),%rcx
movss  (%rax,%rcx,4),%xmm2
movslq -0x28(%rbp),%rax
movss  -0x3c(%rbp,%rax,4),%xmm1
mulss  %xmm2,%xmm0
addss  %xmm1,%xmm0
movss  %xmm0,-0x3c(%rbp,%rax,4)
mov    -0x2c(%rbp),%eax
add    $0x1,%eax
mov    %eax,-0x2c(%rbp)
jmp    1139 <matvecprod+0x39>
jmp    1190 <matvecprod+0x90>
mov    -0x28(%rbp),%eax
add    $0x1,%eax
mov    %eax,-0x28(%rbp)
jmp    111b <matvecprod+0x1b>
movl   $0x0,-0x24(%rbp)
cmpl   $0x3,-0x24(%rbp)
jge    11d4 <matvecprod+0xd4>
movslq -0x24(%rbp),%rax
movss  -0x3c(%rbp,%rax,4),%xmm0
mov    -0x10(%rbp),%rax
movslq -0x24(%rbp),%rcx
movss  %xmm0,(%rax,%rcx,4)
mov    -0x24(%rbp),%eax
add    $0x1,%eax
mov    %eax,-0x24(%rbp)
jmp    11a5 <matvecprod+0xa5>
xor    %eax,%eax
pop    %rbp
ret

x86 assembly (clang, -O2):
<matvecprod>:
movss  (%rdx),%xmm1
movss  0x4(%rdx),%xmm0
mov    (%rdi),%rax
mov    0x8(%rdi),%rcx
movss  (%rax),%xmm2
mulss  %xmm1,%xmm2
xorps  %xmm3,%xmm3
addss  %xmm3,%xmm2
movss  0x4(%rax),%xmm5
mulss  %xmm0,%xmm5
addss  %xmm2,%xmm5
movss  0x8(%rdx),%xmm2
movss  0x8(%rax),%xmm4
mulss  %xmm2,%xmm4
addss  %xmm5,%xmm4
movss  (%rcx),%xmm5
mulss  %xmm1,%xmm5
addss  %xmm3,%xmm5
movss  0x4(%rcx),%xmm6
mulss  %xmm0,%xmm6
addss  %xmm5,%xmm6
movss  0x8(%rcx),%xmm5
mulss  %xmm2,%xmm5
mov    0x10(%rdi),%rax
mulss  (%rax),%xmm1
addss  %xmm6,%xmm5
addss  %xmm3,%xmm1
mulss  0x4(%rax),%xmm0
addss  %xmm1,%xmm0
mulss  0x8(%rax),%xmm2
addss  %xmm0,%xmm2
movss  %xmm4,(%rsi)
movss  %xmm5,0x4(%rsi)
movss  %xmm2,0x8(%rsi)
xor    %eax,%eax
ret

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

LLVM IR (-O2):
define i32 @matvecprod(float** nocapture %0, float* nocapture writeonly %1, float* nocapture %2, i32* nocapture readnone %3) {
%5 = load float*, float** %0
%6 = load float, float* %5
%7 = load float, float* %2
%8 = tail call float @llvm.fmuladd.f32(float %6, float %7, float 0.000000e+00)
%9 = getelementptr inbounds float, float* %5, i64 1
%10 = load float, float* %9
%11 = getelementptr inbounds float, float* %2, i64 1
%12 = load float, float* %11
%13 = tail call float @llvm.fmuladd.f32(float %10, float %12, float %8)
%14 = getelementptr inbounds float, float* %5, i64 2
%15 = load float, float* %14
%16 = getelementptr inbounds float, float* %2, i64 2
%17 = load float, float* %16
%18 = tail call float @llvm.fmuladd.f32(float %15, float %17, float %13)
%19 = getelementptr inbounds float*, float** %0, i64 1
%20 = load float*, float** %19
%21 = load float, float* %20
%22 = tail call float @llvm.fmuladd.f32(float %21, float %7, float 0.000000e+00)
%23 = getelementptr inbounds float, float* %20, i64 1
%24 = load float, float* %23
%25 = tail call float @llvm.fmuladd.f32(float %24, float %12, float %22)
%26 = getelementptr inbounds float, float* %20, i64 2
%27 = load float, float* %26
%28 = tail call float @llvm.fmuladd.f32(float %27, float %17, float %25)
%29 = getelementptr inbounds float*, float** %0, i64 2
%30 = load float*, float** %29
%31 = load float, float* %30
%32 = tail call float @llvm.fmuladd.f32(float %31, float %7, float 0.000000e+00)
%33 = getelementptr inbounds float, float* %30, i64 1
%34 = load float, float* %33
%35 = tail call float @llvm.fmuladd.f32(float %34, float %12, float %32)
%36 = getelementptr inbounds float, float* %30, i64 2
%37 = load float, float* %36
%38 = tail call float @llvm.fmuladd.f32(float %37, float %17, float %35)
store float %18, float* %1
%39 = getelementptr inbounds float, float* %1, i64 1
store float %28, float* %39
%40 = getelementptr inbounds float, float* %1, i64 2
store float %38, float* %40
ret i32 0
}