#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 uint32_t;

/* Variables and functions */
int /*<<< orphan*/ add_matrix(double *, double *, double *, int, int);
int /*<<< orphan*/ cross_vector(double *, double *, double *, int);
int /*<<< orphan*/ dot_vector(double *, double *, int);
int /*<<< orphan*/ printf(char *, ...);
int main() {
  double a[3 * 4] = {
      1.0, 2.0, 3.0, 4.0, 5.0, 6.0, 7.0, 8.0, 9.0, 10.0, 11.0, 12.0,
  };
  double b[3 * 4] = {
      2.0, 3.0, 4.0, 5.0, 6.0, 7.0, 8.0, 9.0, 10.0, 11.0, 12.0, 13.0,
  };
  double c[3 * 4] = {0.0};
  double d[3] = {1.0, 2.0, 3.0};
  double e[3] = {2.0, 5.0, 7.0};
  double f[3] = {0.0};
  uint32_t i = 0;
  uint32_t j = 0;
  printf("A\n");
  for (i = 0; i < 3; i++) {
    for (j = 0; j < 4; j++)
      printf("%15.5lf", a[i * 4 + j]);
    printf("\n");
  }
  printf("\n");
  printf("B\n");
  for (i = 0; i < 3; i++) {
    for (j = 0; j < 4; j++)
      printf("%15.5lf", b[i * 4 + j]);
    printf("\n");
  }
  printf("\n");
  add_matrix(a, b, c, 3, 4);
  printf("C = A + B\n");
  for (i = 0; i < 3; i++) {
    for (j = 0; j < 4; j++)
      printf("%15.5lf", c[i * 4 + j]);
    printf("\n");
  }
  printf("\n");
  printf("D\n");
  for (i = 0; i < 3; i++)
    printf("%15.5lf", d[i]);
  printf("\n\n");
  printf("E\n");
  for (i = 0; i < 3; i++)
    printf("%15.5lf", e[i]);
  printf("\n\n");
  printf("x = D dot E\n");
  printf("%15.5lf", dot_vector(d, e, 3));
  printf("\n\n");
  printf("D\n");
  for (i = 0; i < 3; i++)
    printf("%15.5lf", d[i]);
  printf("\n\n");
  printf("E\n");
  for (i = 0; i < 3; i++)
    printf("%15.5lf", e[i]);
  printf("\n\n");
  cross_vector(d, e, f, 3);
  printf("F = D x E\n");
  for (i = 0; i < 3; i++)
    printf("%15.5lf", f[i]);
  printf("\n");
  return 0;
}


x86 assembly (clang, -O0):
<main>:
push   %rbp
mov    %rsp,%rbp
sub    $0x1a0,%rsp
movl   $0x0,-0x4(%rbp)
lea    -0x70(%rbp),%rdi
lea    0xe83(%rip),%rsi
mov    $0x60,%edx
call   1070 <memcpy@plt>
lea    -0xd0(%rbp),%rdi
lea    0xecb(%rip),%rsi
mov    $0x60,%edx
call   1070 <memcpy@plt>
lea    -0x130(%rbp),%rdi
xor    %esi,%esi
mov    $0x60,%edx
call   1040 <memset@plt>
mov    0xf07(%rip),%rax
mov    %rax,-0x150(%rbp)
mov    0xf01(%rip),%rax
mov    %rax,-0x148(%rbp)
mov    0xefb(%rip),%rax
mov    %rax,-0x140(%rbp)
mov    0xefd(%rip),%rax
mov    %rax,-0x170(%rbp)
mov    0xef7(%rip),%rax
mov    %rax,-0x168(%rbp)
mov    0xef1(%rip),%rax
mov    %rax,-0x160(%rbp)
lea    -0x190(%rbp),%rdi
xor    %esi,%esi
mov    $0x18,%edx
call   1040 <memset@plt>
movl   $0x0,-0x194(%rbp)
movl   $0x0,-0x198(%rbp)
lea    0xec4(%rip),%rdi
mov    $0x0,%al
call   1030 <printf@plt>
movl   $0x0,-0x194(%rbp)
cmpl   $0x3,-0x194(%rbp)
jge    12c4 <main+0x164>
movl   $0x0,-0x198(%rbp)
cmpl   $0x4,-0x198(%rbp)
jge    12a2 <main+0x142>
mov    -0x194(%rbp),%eax
shl    $0x2,%eax
add    -0x198(%rbp),%eax
cltq
movsd  -0x70(%rbp,%rax,8),%xmm0
lea    0xe74(%rip),%rdi
mov    $0x1,%al
call   1030 <printf@plt>
mov    -0x198(%rbp),%eax
add    $0x1,%eax
mov    %eax,-0x198(%rbp)
jmp    125c <main+0xfc>
lea    0xe69(%rip),%rdi
mov    $0x0,%al
call   1030 <printf@plt>
mov    -0x194(%rbp),%eax
add    $0x1,%eax
mov    %eax,-0x194(%rbp)
jmp    1245 <main+0xe5>
lea    0xe47(%rip),%rdi
mov    $0x0,%al
call   1030 <printf@plt>
lea    0xe32(%rip),%rdi
mov    $0x0,%al
call   1030 <printf@plt>
movl   $0x0,-0x194(%rbp)
cmpl   $0x3,-0x194(%rbp)
jge    136c <main+0x20c>
movl   $0x0,-0x198(%rbp)
cmpl   $0x4,-0x198(%rbp)
jge    134a <main+0x1ea>
mov    -0x194(%rbp),%eax
shl    $0x2,%eax
add    -0x198(%rbp),%eax
cltq
movsd  -0xd0(%rbp,%rax,8),%xmm0
ff ff
lea    0xdcc(%rip),%rdi
mov    $0x1,%al
call   1030 <printf@plt>
mov    -0x198(%rbp),%eax
add    $0x1,%eax
mov    %eax,-0x198(%rbp)
jmp    1301 <main+0x1a1>
lea    0xdc1(%rip),%rdi
mov    $0x0,%al
call   1030 <printf@plt>
mov    -0x194(%rbp),%eax
add    $0x1,%eax
mov    %eax,-0x194(%rbp)
jmp    12ea <main+0x18a>
lea    0xd9f(%rip),%rdi
mov    $0x0,%al
call   1030 <printf@plt>
lea    -0x70(%rbp),%rdi
lea    -0xd0(%rbp),%rsi
lea    -0x130(%rbp),%rdx
mov    $0x3,%ecx
mov    $0x4,%r8d
call   1080 <add_matrix@plt>
lea    0xd60(%rip),%rdi
mov    $0x0,%al
call   1030 <printf@plt>
movl   $0x0,-0x194(%rbp)
cmpl   $0x3,-0x194(%rbp)
jge    1436 <main+0x2d6>
movl   $0x0,-0x198(%rbp)
cmpl   $0x4,-0x198(%rbp)
jge    1414 <main+0x2b4>
mov    -0x194(%rbp),%eax
shl    $0x2,%eax
add    -0x198(%rbp),%eax
cltq
movsd  -0x130(%rbp,%rax,8),%xmm0
ff ff
lea    0xd02(%rip),%rdi
mov    $0x1,%al
call   1030 <printf@plt>
mov    -0x198(%rbp),%eax
add    $0x1,%eax
mov    %eax,-0x198(%rbp)
jmp    13cb <main+0x26b>
lea    0xcf7(%rip),%rdi
mov    $0x0,%al
call   1030 <printf@plt>
mov    -0x194(%rbp),%eax
add    $0x1,%eax
mov    %eax,-0x194(%rbp)
jmp    13b4 <main+0x254>
lea    0xcd5(%rip),%rdi
mov    $0x0,%al
call   1030 <printf@plt>
lea    0xcc3(%rip),%rdi
mov    $0x0,%al
call   1030 <printf@plt>
movl   $0x0,-0x194(%rbp)
cmpl   $0x3,-0x194(%rbp)
jge    149b <main+0x33b>
movslq -0x194(%rbp),%rax
movsd  -0x150(%rbp,%rax,8),%xmm0
ff ff
lea    0xc7b(%rip),%rdi
mov    $0x1,%al
call   1030 <printf@plt>
mov    -0x194(%rbp),%eax
add    $0x1,%eax
mov    %eax,-0x194(%rbp)
jmp    145c <main+0x2fc>
lea    0xc6f(%rip),%rdi
mov    $0x0,%al
call   1030 <printf@plt>
lea    0xc6e(%rip),%rdi
mov    $0x0,%al
call   1030 <printf@plt>
movl   $0x0,-0x194(%rbp)
cmpl   $0x3,-0x194(%rbp)
jge    1500 <main+0x3a0>
movslq -0x194(%rbp),%rax
movsd  -0x170(%rbp,%rax,8),%xmm0
ff ff
lea    0xc16(%rip),%rdi
mov    $0x1,%al
call   1030 <printf@plt>
mov    -0x194(%rbp),%eax
add    $0x1,%eax
mov    %eax,-0x194(%rbp)
jmp    14c1 <main+0x361>
lea    0xc0a(%rip),%rdi
mov    $0x0,%al
call   1030 <printf@plt>
lea    0xbff(%rip),%rdi
mov    $0x0,%al
call   1030 <printf@plt>
lea    -0x150(%rbp),%rdi
lea    -0x170(%rbp),%rsi
mov    $0x3,%edx
call   1050 <dot_vector@plt>
mov    %eax,%esi
lea    0xbbe(%rip),%rdi
mov    $0x0,%al
call   1030 <printf@plt>
lea    0xbc6(%rip),%rdi
mov    $0x0,%al
call   1030 <printf@plt>
lea    0xbb5(%rip),%rdi
mov    $0x0,%al
call   1030 <printf@plt>
movl   $0x0,-0x194(%rbp)
cmpl   $0x3,-0x194(%rbp)
jge    15a9 <main+0x449>
movslq -0x194(%rbp),%rax
movsd  -0x150(%rbp,%rax,8),%xmm0
ff ff
lea    0xb6d(%rip),%rdi
mov    $0x1,%al
call   1030 <printf@plt>
mov    -0x194(%rbp),%eax
add    $0x1,%eax
mov    %eax,-0x194(%rbp)
jmp    156a <main+0x40a>
lea    0xb61(%rip),%rdi
mov    $0x0,%al
call   1030 <printf@plt>
lea    0xb60(%rip),%rdi
mov    $0x0,%al
call   1030 <printf@plt>
movl   $0x0,-0x194(%rbp)
cmpl   $0x3,-0x194(%rbp)
jge    160e <main+0x4ae>
movslq -0x194(%rbp),%rax
movsd  -0x170(%rbp,%rax,8),%xmm0
ff ff
lea    0xb08(%rip),%rdi
mov    $0x1,%al
call   1030 <printf@plt>
mov    -0x194(%rbp),%eax
add    $0x1,%eax
mov    %eax,-0x194(%rbp)
jmp    15cf <main+0x46f>
lea    0xafc(%rip),%rdi
mov    $0x0,%al
call   1030 <printf@plt>
lea    -0x150(%rbp),%rdi
lea    -0x170(%rbp),%rsi
lea    -0x190(%rbp),%rdx
mov    $0x3,%ecx
call   1060 <cross_vector@plt>
lea    0xadf(%rip),%rdi
mov    $0x0,%al
call   1030 <printf@plt>
movl   $0x0,-0x194(%rbp)
cmpl   $0x3,-0x194(%rbp)
jge    1692 <main+0x532>
movslq -0x194(%rbp),%rax
movsd  -0x190(%rbp,%rax,8),%xmm0
ff ff
lea    0xa84(%rip),%rdi
mov    $0x1,%al
call   1030 <printf@plt>
mov    -0x194(%rbp),%eax
add    $0x1,%eax
mov    %eax,-0x194(%rbp)
jmp    1653 <main+0x4f3>
lea    0xa79(%rip),%rdi
mov    $0x0,%al
call   1030 <printf@plt>
xor    %eax,%eax
add    $0x1a0,%rsp
pop    %rbp
ret

x86 assembly (clang, -O2):
<main>:
push   %rbp
push   %r15
push   %r14
push   %r13
push   %r12
push   %rbx
sub    $0x188,%rsp
movaps 0xf48(%rip),%xmm0
movaps %xmm0,0x170(%rsp)
movaps 0xf29(%rip),%xmm0
movaps %xmm0,0x160(%rsp)
movaps 0xf0a(%rip),%xmm0
movaps %xmm0,0x150(%rsp)
movaps 0xeeb(%rip),%xmm0
movaps %xmm0,0x140(%rsp)
movaps 0xecc(%rip),%xmm0
movaps %xmm0,0x130(%rsp)
movaps 0xead(%rip),%xmm0
movaps %xmm0,0x120(%rsp)
movaps 0xf4e(%rip),%xmm0
movaps %xmm0,0x110(%rsp)
movaps 0xf2f(%rip),%xmm0
movaps %xmm0,0x100(%rsp)
movaps 0xf10(%rip),%xmm0
movaps %xmm0,0xf0(%rsp)
movaps 0xef1(%rip),%xmm0
movaps %xmm0,0xe0(%rsp)
movaps 0xed2(%rip),%xmm0
movaps %xmm0,0xd0(%rsp)
movaps 0xeb3(%rip),%xmm0
movaps %xmm0,0xc0(%rsp)
xorps  %xmm0,%xmm0
movaps %xmm0,0xb0(%rsp)
movaps %xmm0,0xa0(%rsp)
movaps %xmm0,0x90(%rsp)
movaps %xmm0,0x80(%rsp)
movaps %xmm0,0x70(%rsp)
movaps %xmm0,0x60(%rsp)
mov    0xee7(%rip),%rax
mov    %rax,0x30(%rsp)
movaps 0xecb(%rip),%xmm1
movaps %xmm1,0x20(%rsp)
mov    0xeef(%rip),%rax
mov    %rax,0x10(%rsp)
movaps 0xed3(%rip),%xmm1
movaps %xmm1,(%rsp)
movaps %xmm0,0x40(%rsp)
movq   $0x0,0x50(%rsp)
lea    0xeda(%rip),%rdi
call   1040 <puts@plt>
lea    0xec6(%rip),%rbx
movsd  0xd56(%rip),%xmm0
mov    %rbx,%rdi
mov    $0x1,%al
call   1050 <printf@plt>
movsd  0xd4c(%rip),%xmm0
mov    %rbx,%rdi
mov    $0x1,%al
call   1050 <printf@plt>
movsd  0xd42(%rip),%xmm0
mov    %rbx,%rdi
mov    $0x1,%al
call   1050 <printf@plt>
movsd  0xd38(%rip),%xmm0
mov    %rbx,%rdi
mov    $0x1,%al
call   1050 <printf@plt>
mov    $0xa,%edi
call   1030 <putchar@plt>
movsd  0xd24(%rip),%xmm0
mov    %rbx,%rdi
mov    $0x1,%al
call   1050 <printf@plt>
movsd  0xd1a(%rip),%xmm0
mov    %rbx,%rdi
mov    $0x1,%al
call   1050 <printf@plt>
movsd  0xd10(%rip),%xmm0
mov    %rbx,%rdi
mov    $0x1,%al
call   1050 <printf@plt>
movsd  0xd06(%rip),%xmm0
mov    %rbx,%rdi
mov    $0x1,%al
call   1050 <printf@plt>
mov    $0xa,%edi
call   1030 <putchar@plt>
movsd  0xcf2(%rip),%xmm0
mov    %rbx,%rdi
mov    $0x1,%al
call   1050 <printf@plt>
movsd  0xce8(%rip),%xmm0
mov    %rbx,%rdi
mov    $0x1,%al
call   1050 <printf@plt>
movsd  0xcde(%rip),%xmm0
mov    %rbx,%rdi
mov    $0x1,%al
call   1050 <printf@plt>
movsd  0xcd4(%rip),%xmm0
mov    %rbx,%rdi
mov    $0x1,%al
call   1050 <printf@plt>
mov    $0xa,%edi
call   1030 <putchar@plt>
mov    $0xa,%edi
call   1030 <putchar@plt>
lea    0xdd1(%rip),%rdi
call   1040 <puts@plt>
mov    %rbx,%rdi
movsd  0xc4f(%rip),%xmm0
mov    $0x1,%al
call   1050 <printf@plt>
mov    %rbx,%rdi
movsd  0xc45(%rip),%xmm0
mov    $0x1,%al
call   1050 <printf@plt>
mov    %rbx,%rdi
movsd  0xc3b(%rip),%xmm0
mov    $0x1,%al
call   1050 <printf@plt>
mov    %rbx,%rdi
movsd  0xc31(%rip),%xmm0
mov    $0x1,%al
call   1050 <printf@plt>
mov    $0xa,%edi
call   1030 <putchar@plt>
mov    %rbx,%rdi
movsd  0xc1d(%rip),%xmm0
mov    $0x1,%al
call   1050 <printf@plt>
mov    %rbx,%rdi
movsd  0xc13(%rip),%xmm0
mov    $0x1,%al
call   1050 <printf@plt>
mov    %rbx,%rdi
movsd  0xc09(%rip),%xmm0
mov    $0x1,%al
call   1050 <printf@plt>
mov    %rbx,%rdi
movsd  0xbff(%rip),%xmm0
mov    $0x1,%al
call   1050 <printf@plt>
mov    $0xa,%edi
call   1030 <putchar@plt>
mov    %rbx,%rdi
movsd  0xbeb(%rip),%xmm0
mov    $0x1,%al
call   1050 <printf@plt>
mov    %rbx,%rdi
movsd  0xbe1(%rip),%xmm0
mov    $0x1,%al
call   1050 <printf@plt>
mov    %rbx,%rdi
movsd  0xbd7(%rip),%xmm0
mov    $0x1,%al
call   1050 <printf@plt>
movsd  0xbd0(%rip),%xmm0
mov    %rbx,%rdi
mov    $0x1,%al
call   1050 <printf@plt>
mov    $0xa,%edi
call   1030 <putchar@plt>
mov    $0xa,%edi
call   1030 <putchar@plt>
lea    0x120(%rsp),%rdi
lea    0xc0(%rsp),%rsi
lea    0x60(%rsp),%rdx
mov    $0x3,%ecx
mov    $0x4,%r8d
call   1080 <add_matrix@plt>
lea    0xc98(%rip),%rdi
call   1040 <puts@plt>
movsd  0x60(%rsp),%xmm0
mov    %rbx,%rdi
mov    $0x1,%al
call   1050 <printf@plt>
movsd  0x68(%rsp),%xmm0
mov    %rbx,%rdi
mov    $0x1,%al
call   1050 <printf@plt>
movsd  0x70(%rsp),%xmm0
mov    %rbx,%rdi
mov    $0x1,%al
call   1050 <printf@plt>
movsd  0x78(%rsp),%xmm0
mov    %rbx,%rdi
mov    $0x1,%al
call   1050 <printf@plt>
mov    $0xa,%edi
call   1030 <putchar@plt>
movsd  0x80(%rsp),%xmm0
mov    %rbx,%rdi
mov    $0x1,%al
call   1050 <printf@plt>
movsd  0x88(%rsp),%xmm0
mov    %rbx,%rdi
mov    $0x1,%al
call   1050 <printf@plt>
movsd  0x90(%rsp),%xmm0
mov    %rbx,%rdi
mov    $0x1,%al
call   1050 <printf@plt>
movsd  0x98(%rsp),%xmm0
mov    %rbx,%rdi
mov    $0x1,%al
call   1050 <printf@plt>
mov    $0xa,%edi
call   1030 <putchar@plt>
movsd  0xa0(%rsp),%xmm0
mov    %rbx,%rdi
mov    $0x1,%al
call   1050 <printf@plt>
movsd  0xa8(%rsp),%xmm0
mov    %rbx,%rdi
mov    $0x1,%al
call   1050 <printf@plt>
movsd  0xb0(%rsp),%xmm0
mov    %rbx,%rdi
mov    $0x1,%al
call   1050 <printf@plt>
movsd  0xb8(%rsp),%xmm0
mov    %rbx,%rdi
mov    $0x1,%al
call   1050 <printf@plt>
mov    $0xa,%edi
call   1030 <putchar@plt>
mov    $0xa,%edi
call   1030 <putchar@plt>
lea    0xba2(%rip),%r15
mov    %r15,%rdi
call   1040 <puts@plt>
movsd  0x20(%rsp),%xmm0
mov    %rbx,%rdi
mov    $0x1,%al
call   1050 <printf@plt>
movsd  0x28(%rsp),%xmm0
mov    %rbx,%rdi
mov    $0x1,%al
call   1050 <printf@plt>
movsd  0x30(%rsp),%xmm0
mov    %rbx,%rdi
mov    $0x1,%al
call   1050 <printf@plt>
lea    0xb65(%rip),%r14
mov    %r14,%rdi
call   1040 <puts@plt>
lea    0xb52(%rip),%r12
mov    %r12,%rdi
call   1040 <puts@plt>
movsd  (%rsp),%xmm0
mov    %rbx,%rdi
mov    $0x1,%al
call   1050 <printf@plt>
movsd  0x8(%rsp),%xmm0
mov    %rbx,%rdi
mov    $0x1,%al
call   1050 <printf@plt>
movsd  0x10(%rsp),%xmm0
mov    %rbx,%rdi
mov    $0x1,%al
call   1050 <printf@plt>
mov    %r14,%rdi
call   1040 <puts@plt>
lea    0xb02(%rip),%rdi
call   1040 <puts@plt>
lea    0x20(%rsp),%r13
mov    %rsp,%rbp
mov    %r13,%rdi
mov    %rbp,%rsi
mov    $0x3,%edx
call   1060 <dot_vector@plt>
mov    %rbx,%rdi
mov    %eax,%esi
xor    %eax,%eax
call   1050 <printf@plt>
mov    %r14,%rdi
call   1040 <puts@plt>
mov    %r15,%rdi
call   1040 <puts@plt>
movsd  0x20(%rsp),%xmm0
mov    %rbx,%rdi
mov    $0x1,%al
call   1050 <printf@plt>
movsd  0x28(%rsp),%xmm0
mov    %rbx,%rdi
mov    $0x1,%al
call   1050 <printf@plt>
movsd  0x30(%rsp),%xmm0
mov    %rbx,%rdi
mov    $0x1,%al
call   1050 <printf@plt>
mov    %r14,%rdi
call   1040 <puts@plt>
mov    %r12,%rdi
call   1040 <puts@plt>
movsd  (%rsp),%xmm0
mov    %rbx,%rdi
mov    $0x1,%al
call   1050 <printf@plt>
movsd  0x8(%rsp),%xmm0
mov    %rbx,%rdi
mov    $0x1,%al
call   1050 <printf@plt>
movsd  0x10(%rsp),%xmm0
mov    %rbx,%rdi
mov    $0x1,%al
call   1050 <printf@plt>
mov    %r14,%rdi
call   1040 <puts@plt>
lea    0x40(%rsp),%rdx
mov    %r13,%rdi
mov    %rbp,%rsi
mov    $0x3,%ecx
call   1070 <cross_vector@plt>
lea    0xa46(%rip),%rdi
call   1040 <puts@plt>
movsd  0x40(%rsp),%xmm0
mov    %rbx,%rdi
mov    $0x1,%al
call   1050 <printf@plt>
movsd  0x48(%rsp),%xmm0
mov    %rbx,%rdi
mov    $0x1,%al
call   1050 <printf@plt>
movsd  0x50(%rsp),%xmm0
mov    %rbx,%rdi
mov    $0x1,%al
call   1050 <printf@plt>
mov    $0xa,%edi
call   1030 <putchar@plt>
xor    %eax,%eax
add    $0x188,%rsp
pop    %rbx
pop    %r12
pop    %r13
pop    %r14
pop    %r15
pop    %rbp
ret

LLVM IR (-O0):
@__const.main.a = [12 x double] [double 1.000000e+00, double 2.000000e+00, double 3.000000e+00, double 4.000000e+00, double 5.000000e+00, double 6.000000e+00, double 7.000000e+00, double 8.000000e+00, double 9.000000e+00, double 1.000000e+01, double 1.100000e+01, double 1.200000e+01]
@__const.main.b = [12 x double] [double 2.000000e+00, double 3.000000e+00, double 4.000000e+00, double 5.000000e+00, double 6.000000e+00, double 7.000000e+00, double 8.000000e+00, double 9.000000e+00, double 1.000000e+01, double 1.100000e+01, double 1.200000e+01, double 1.300000e+01]
@__const.main.d = [3 x double] [double 1.000000e+00, double 2.000000e+00, double 3.000000e+00]
@__const.main.e = [3 x double] [double 2.000000e+00, double 5.000000e+00, double 7.000000e+00]
@.str = [3 x i8] c"A\0A\00"
@.str.1 = [8 x i8] c"%15.5lf\00"
@.str.2 = [2 x i8] c"\0A\00"
@.str.3 = [3 x i8] c"B\0A\00"
@.str.4 = [11 x i8] c"C = A + B\0A\00"
@.str.5 = [3 x i8] c"D\0A\00"
@.str.6 = [3 x i8] c"\0A\0A\00"
@.str.7 = [3 x i8] c"E\0A\00"
@.str.8 = [13 x i8] c"x = D dot E\0A\00"
@.str.9 = [11 x i8] c"F = D x E\0A\00"
define i32 @main() {
%1 = alloca i32
%2 = alloca [12 x double]
%3 = alloca [12 x double]
%4 = alloca [12 x double]
%5 = alloca [3 x double]
%6 = alloca [3 x double]
%7 = alloca [3 x double]
%8 = alloca i32
%9 = alloca i32
store i32 0, i32* %1
%10 = bitcast [12 x double]* %2 to i8*
%11 = bitcast [12 x double]* %3 to i8*
%12 = bitcast [12 x double]* %4 to i8*
%13 = bitcast [3 x double]* %5 to i8*
%14 = bitcast [3 x double]* %6 to i8*
%15 = bitcast [3 x double]* %7 to i8*
store i32 0, i32* %8
store i32 0, i32* %9
%16 = call i32 (i8*, ...) @printf(i8* getelementptr inbounds ([3 x i8], [3 x i8]* @.str, i64 0, i64 0))
store i32 0, i32* %8
br label %17
17: ; preds = %38, %0
%18 = load i32, i32* %8
%19 = icmp slt i32 %18, 3
br i1 %19, label %20, label %41
20: ; preds = %17
store i32 0, i32* %9
br label %21
21: ; preds = %33, %20
%22 = load i32, i32* %9
%23 = icmp slt i32 %22, 4
br i1 %23, label %24, label %36
24: ; preds = %21
%25 = load i32, i32* %8
%26 = mul nsw i32 %25, 4
%27 = load i32, i32* %9
%28 = add nsw i32 %26, %27
%29 = sext i32 %28 to i64
%30 = getelementptr inbounds [12 x double], [12 x double]* %2, i64 0, i64 %29
%31 = load double, double* %30
%32 = call i32 (i8*, ...) @printf(i8* getelementptr inbounds ([8 x i8], [8 x i8]* @.str.1, i64 0, i64 0), double %31)
br label %33
33: ; preds = %24
%34 = load i32, i32* %9
%35 = add nsw i32 %34, 1
store i32 %35, i32* %9
br label %21
36: ; preds = %21
%37 = call i32 (i8*, ...) @printf(i8* getelementptr inbounds ([2 x i8], [2 x i8]* @.str.2, i64 0, i64 0))
br label %38
38: ; preds = %36
%39 = load i32, i32* %8
%40 = add nsw i32 %39, 1
store i32 %40, i32* %8
br label %17
41: ; preds = %17
%42 = call i32 (i8*, ...) @printf(i8* getelementptr inbounds ([2 x i8], [2 x i8]* @.str.2, i64 0, i64 0))
%43 = call i32 (i8*, ...) @printf(i8* getelementptr inbounds ([3 x i8], [3 x i8]* @.str.3, i64 0, i64 0))
store i32 0, i32* %8
br label %44
44: ; preds = %65, %41
%45 = load i32, i32* %8
%46 = icmp slt i32 %45, 3
br i1 %46, label %47, label %68
47: ; preds = %44
store i32 0, i32* %9
br label %48
48: ; preds = %60, %47
%49 = load i32, i32* %9
%50 = icmp slt i32 %49, 4
br i1 %50, label %51, label %63
51: ; preds = %48
%52 = load i32, i32* %8
%53 = mul nsw i32 %52, 4
%54 = load i32, i32* %9
%55 = add nsw i32 %53, %54
%56 = sext i32 %55 to i64
%57 = getelementptr inbounds [12 x double], [12 x double]* %3, i64 0, i64 %56
%58 = load double, double* %57
%59 = call i32 (i8*, ...) @printf(i8* getelementptr inbounds ([8 x i8], [8 x i8]* @.str.1, i64 0, i64 0), double %58)
br label %60
60: ; preds = %51
%61 = load i32, i32* %9
%62 = add nsw i32 %61, 1
store i32 %62, i32* %9
br label %48
63: ; preds = %48
%64 = call i32 (i8*, ...) @printf(i8* getelementptr inbounds ([2 x i8], [2 x i8]* @.str.2, i64 0, i64 0))
br label %65
65: ; preds = %63
%66 = load i32, i32* %8
%67 = add nsw i32 %66, 1
store i32 %67, i32* %8
br label %44
68: ; preds = %44
%69 = call i32 (i8*, ...) @printf(i8* getelementptr inbounds ([2 x i8], [2 x i8]* @.str.2, i64 0, i64 0))
%70 = getelementptr inbounds [12 x double], [12 x double]* %2, i64 0, i64 0
%71 = getelementptr inbounds [12 x double], [12 x double]* %3, i64 0, i64 0
%72 = getelementptr inbounds [12 x double], [12 x double]* %4, i64 0, i64 0
%73 = call i32 @add_matrix(double* %70, double* %71, double* %72, i32 3, i32 4)
%74 = call i32 (i8*, ...) @printf(i8* getelementptr inbounds ([11 x i8], [11 x i8]* @.str.4, i64 0, i64 0))
store i32 0, i32* %8
br label %75
75: ; preds = %96, %68
%76 = load i32, i32* %8
%77 = icmp slt i32 %76, 3
br i1 %77, label %78, label %99
78: ; preds = %75
store i32 0, i32* %9
br label %79
79: ; preds = %91, %78
%80 = load i32, i32* %9
%81 = icmp slt i32 %80, 4
br i1 %81, label %82, label %94
82: ; preds = %79
%83 = load i32, i32* %8
%84 = mul nsw i32 %83, 4
%85 = load i32, i32* %9
%86 = add nsw i32 %84, %85
%87 = sext i32 %86 to i64
%88 = getelementptr inbounds [12 x double], [12 x double]* %4, i64 0, i64 %87
%89 = load double, double* %88
%90 = call i32 (i8*, ...) @printf(i8* getelementptr inbounds ([8 x i8], [8 x i8]* @.str.1, i64 0, i64 0), double %89)
br label %91
91: ; preds = %82
%92 = load i32, i32* %9
%93 = add nsw i32 %92, 1
store i32 %93, i32* %9
br label %79
94: ; preds = %79
%95 = call i32 (i8*, ...) @printf(i8* getelementptr inbounds ([2 x i8], [2 x i8]* @.str.2, i64 0, i64 0))
br label %96
96: ; preds = %94
%97 = load i32, i32* %8
%98 = add nsw i32 %97, 1
store i32 %98, i32* %8
br label %75
99: ; preds = %75
%100 = call i32 (i8*, ...) @printf(i8* getelementptr inbounds ([2 x i8], [2 x i8]* @.str.2, i64 0, i64 0))
%101 = call i32 (i8*, ...) @printf(i8* getelementptr inbounds ([3 x i8], [3 x i8]* @.str.5, i64 0, i64 0))
store i32 0, i32* %8
br label %102
102: ; preds = %111, %99
%103 = load i32, i32* %8
%104 = icmp slt i32 %103, 3
br i1 %104, label %105, label %114
105: ; preds = %102
%106 = load i32, i32* %8
%107 = sext i32 %106 to i64
%108 = getelementptr inbounds [3 x double], [3 x double]* %5, i64 0, i64 %107
%109 = load double, double* %108
%110 = call i32 (i8*, ...) @printf(i8* getelementptr inbounds ([8 x i8], [8 x i8]* @.str.1, i64 0, i64 0), double %109)
br label %111
111: ; preds = %105
%112 = load i32, i32* %8
%113 = add nsw i32 %112, 1
store i32 %113, i32* %8
br label %102
114: ; preds = %102
%115 = call i32 (i8*, ...) @printf(i8* getelementptr inbounds ([3 x i8], [3 x i8]* @.str.6, i64 0, i64 0))
%116 = call i32 (i8*, ...) @printf(i8* getelementptr inbounds ([3 x i8], [3 x i8]* @.str.7, i64 0, i64 0))
store i32 0, i32* %8
br label %117
117: ; preds = %126, %114
%118 = load i32, i32* %8
%119 = icmp slt i32 %118, 3
br i1 %119, label %120, label %129
120: ; preds = %117
%121 = load i32, i32* %8
%122 = sext i32 %121 to i64
%123 = getelementptr inbounds [3 x double], [3 x double]* %6, i64 0, i64 %122
%124 = load double, double* %123
%125 = call i32 (i8*, ...) @printf(i8* getelementptr inbounds ([8 x i8], [8 x i8]* @.str.1, i64 0, i64 0), double %124)
br label %126
126: ; preds = %120
%127 = load i32, i32* %8
%128 = add nsw i32 %127, 1
store i32 %128, i32* %8
br label %117
129: ; preds = %117
%130 = call i32 (i8*, ...) @printf(i8* getelementptr inbounds ([3 x i8], [3 x i8]* @.str.6, i64 0, i64 0))
%131 = call i32 (i8*, ...) @printf(i8* getelementptr inbounds ([13 x i8], [13 x i8]* @.str.8, i64 0, i64 0))
%132 = getelementptr inbounds [3 x double], [3 x double]* %5, i64 0, i64 0
%133 = getelementptr inbounds [3 x double], [3 x double]* %6, i64 0, i64 0
%134 = call i32 @dot_vector(double* %132, double* %133, i32 3)
%135 = call i32 (i8*, ...) @printf(i8* getelementptr inbounds ([8 x i8], [8 x i8]* @.str.1, i64 0, i64 0), i32 %134)
%136 = call i32 (i8*, ...) @printf(i8* getelementptr inbounds ([3 x i8], [3 x i8]* @.str.6, i64 0, i64 0))
%137 = call i32 (i8*, ...) @printf(i8* getelementptr inbounds ([3 x i8], [3 x i8]* @.str.5, i64 0, i64 0))
store i32 0, i32* %8
br label %138
138: ; preds = %147, %129
%139 = load i32, i32* %8
%140 = icmp slt i32 %139, 3
br i1 %140, label %141, label %150
141: ; preds = %138
%142 = load i32, i32* %8
%143 = sext i32 %142 to i64
%144 = getelementptr inbounds [3 x double], [3 x double]* %5, i64 0, i64 %143
%145 = load double, double* %144
%146 = call i32 (i8*, ...) @printf(i8* getelementptr inbounds ([8 x i8], [8 x i8]* @.str.1, i64 0, i64 0), double %145)
br label %147
147: ; preds = %141
%148 = load i32, i32* %8
%149 = add nsw i32 %148, 1
store i32 %149, i32* %8
br label %138
150: ; preds = %138
%151 = call i32 (i8*, ...) @printf(i8* getelementptr inbounds ([3 x i8], [3 x i8]* @.str.6, i64 0, i64 0))
%152 = call i32 (i8*, ...) @printf(i8* getelementptr inbounds ([3 x i8], [3 x i8]* @.str.7, i64 0, i64 0))
store i32 0, i32* %8
br label %153
153: ; preds = %162, %150
%154 = load i32, i32* %8
%155 = icmp slt i32 %154, 3
br i1 %155, label %156, label %165
156: ; preds = %153
%157 = load i32, i32* %8
%158 = sext i32 %157 to i64
%159 = getelementptr inbounds [3 x double], [3 x double]* %6, i64 0, i64 %158
%160 = load double, double* %159
%161 = call i32 (i8*, ...) @printf(i8* getelementptr inbounds ([8 x i8], [8 x i8]* @.str.1, i64 0, i64 0), double %160)
br label %162
162: ; preds = %156
%163 = load i32, i32* %8
%164 = add nsw i32 %163, 1
store i32 %164, i32* %8
br label %153
165: ; preds = %153
%166 = call i32 (i8*, ...) @printf(i8* getelementptr inbounds ([3 x i8], [3 x i8]* @.str.6, i64 0, i64 0))
%167 = getelementptr inbounds [3 x double], [3 x double]* %5, i64 0, i64 0
%168 = getelementptr inbounds [3 x double], [3 x double]* %6, i64 0, i64 0
%169 = getelementptr inbounds [3 x double], [3 x double]* %7, i64 0, i64 0
%170 = call i32 @cross_vector(double* %167, double* %168, double* %169, i32 3)
%171 = call i32 (i8*, ...) @printf(i8* getelementptr inbounds ([11 x i8], [11 x i8]* @.str.9, i64 0, i64 0))
store i32 0, i32* %8
br label %172
172: ; preds = %181, %165
%173 = load i32, i32* %8
%174 = icmp slt i32 %173, 3
br i1 %174, label %175, label %184
175: ; preds = %172
%176 = load i32, i32* %8
%177 = sext i32 %176 to i64
%178 = getelementptr inbounds [3 x double], [3 x double]* %7, i64 0, i64 %177
%179 = load double, double* %178
%180 = call i32 (i8*, ...) @printf(i8* getelementptr inbounds ([8 x i8], [8 x i8]* @.str.1, i64 0, i64 0), double %179)
br label %181
181: ; preds = %175
%182 = load i32, i32* %8
%183 = add nsw i32 %182, 1
store i32 %183, i32* %8
br label %172
184: ; preds = %172
%185 = call i32 (i8*, ...) @printf(i8* getelementptr inbounds ([2 x i8], [2 x i8]* @.str.2, i64 0, i64 0))
ret i32 0
}

LLVM IR (-O2):
@__const.main.a = [12 x double] [double 1.000000e+00, double 2.000000e+00, double 3.000000e+00, double 4.000000e+00, double 5.000000e+00, double 6.000000e+00, double 7.000000e+00, double 8.000000e+00, double 9.000000e+00, double 1.000000e+01, double 1.100000e+01, double 1.200000e+01]
@__const.main.b = [12 x double] [double 2.000000e+00, double 3.000000e+00, double 4.000000e+00, double 5.000000e+00, double 6.000000e+00, double 7.000000e+00, double 8.000000e+00, double 9.000000e+00, double 1.000000e+01, double 1.100000e+01, double 1.200000e+01, double 1.300000e+01]
@__const.main.d = [3 x double] [double 1.000000e+00, double 2.000000e+00, double 3.000000e+00]
@__const.main.e = [3 x double] [double 2.000000e+00, double 5.000000e+00, double 7.000000e+00]
@.str.1 = [8 x i8] c"%15.5lf\00"
@str = [2 x i8] c"A\00"
@str.10 = [2 x i8] c"B\00"
@str.11 = [10 x i8] c"C = A + B\00"
@str.16 = [12 x i8] c"x = D dot E\00"
@str.18 = [2 x i8] c"D\00"
@str.20 = [2 x i8] c"E\00"
@str.21 = [2 x i8] c"\0A\00"
@str.22 = [10 x i8] c"F = D x E\00"
define i32 @main() {
%1 = alloca [12 x double]
%2 = alloca [12 x double]
%3 = alloca [12 x double]
%4 = alloca [3 x double]
%5 = alloca [3 x double]
%6 = alloca [3 x double]
%7 = bitcast [12 x double]* %1 to i8*
%8 = bitcast [12 x double]* %2 to i8*
%9 = bitcast [12 x double]* %3 to i8*
%10 = bitcast [3 x double]* %4 to i8*
%11 = bitcast [3 x double]* %5 to i8*
%12 = bitcast [3 x double]* %6 to i8*
%13 = tail call i32 @puts(i8* dereferenceable(1) getelementptr inbounds ([2 x i8], [2 x i8]* @str, i64 0, i64 0))
%14 = getelementptr inbounds [12 x double], [12 x double]* %1, i64 0, i64 0
%15 = tail call i32 (i8*, ...) @printf(i8* dereferenceable(1) getelementptr inbounds ([8 x i8], [8 x i8]* @.str.1, i64 0, i64 0), double 1.000000e+00)
%16 = tail call i32 (i8*, ...) @printf(i8* dereferenceable(1) getelementptr inbounds ([8 x i8], [8 x i8]* @.str.1, i64 0, i64 0), double 2.000000e+00)
%17 = tail call i32 (i8*, ...) @printf(i8* dereferenceable(1) getelementptr inbounds ([8 x i8], [8 x i8]* @.str.1, i64 0, i64 0), double 3.000000e+00)
%18 = tail call i32 (i8*, ...) @printf(i8* dereferenceable(1) getelementptr inbounds ([8 x i8], [8 x i8]* @.str.1, i64 0, i64 0), double 4.000000e+00)
%19 = tail call i32 @putchar(i32 10)
%20 = tail call i32 (i8*, ...) @printf(i8* dereferenceable(1) getelementptr inbounds ([8 x i8], [8 x i8]* @.str.1, i64 0, i64 0), double 5.000000e+00)
%21 = tail call i32 (i8*, ...) @printf(i8* dereferenceable(1) getelementptr inbounds ([8 x i8], [8 x i8]* @.str.1, i64 0, i64 0), double 6.000000e+00)
%22 = tail call i32 (i8*, ...) @printf(i8* dereferenceable(1) getelementptr inbounds ([8 x i8], [8 x i8]* @.str.1, i64 0, i64 0), double 7.000000e+00)
%23 = tail call i32 (i8*, ...) @printf(i8* dereferenceable(1) getelementptr inbounds ([8 x i8], [8 x i8]* @.str.1, i64 0, i64 0), double 8.000000e+00)
%24 = tail call i32 @putchar(i32 10)
%25 = tail call i32 (i8*, ...) @printf(i8* dereferenceable(1) getelementptr inbounds ([8 x i8], [8 x i8]* @.str.1, i64 0, i64 0), double 9.000000e+00)
%26 = tail call i32 (i8*, ...) @printf(i8* dereferenceable(1) getelementptr inbounds ([8 x i8], [8 x i8]* @.str.1, i64 0, i64 0), double 1.000000e+01)
%27 = tail call i32 (i8*, ...) @printf(i8* dereferenceable(1) getelementptr inbounds ([8 x i8], [8 x i8]* @.str.1, i64 0, i64 0), double 1.100000e+01)
%28 = tail call i32 (i8*, ...) @printf(i8* dereferenceable(1) getelementptr inbounds ([8 x i8], [8 x i8]* @.str.1, i64 0, i64 0), double 1.200000e+01)
%29 = tail call i32 @putchar(i32 10)
%30 = tail call i32 @putchar(i32 10)
%31 = tail call i32 @puts(i8* dereferenceable(1) getelementptr inbounds ([2 x i8], [2 x i8]* @str.10, i64 0, i64 0))
%32 = getelementptr inbounds [12 x double], [12 x double]* %2, i64 0, i64 0
%33 = tail call i32 (i8*, ...) @printf(i8* dereferenceable(1) getelementptr inbounds ([8 x i8], [8 x i8]* @.str.1, i64 0, i64 0), double 2.000000e+00)
%34 = tail call i32 (i8*, ...) @printf(i8* dereferenceable(1) getelementptr inbounds ([8 x i8], [8 x i8]* @.str.1, i64 0, i64 0), double 3.000000e+00)
%35 = tail call i32 (i8*, ...) @printf(i8* dereferenceable(1) getelementptr inbounds ([8 x i8], [8 x i8]* @.str.1, i64 0, i64 0), double 4.000000e+00)
%36 = tail call i32 (i8*, ...) @printf(i8* dereferenceable(1) getelementptr inbounds ([8 x i8], [8 x i8]* @.str.1, i64 0, i64 0), double 5.000000e+00)
%37 = tail call i32 @putchar(i32 10)
%38 = tail call i32 (i8*, ...) @printf(i8* dereferenceable(1) getelementptr inbounds ([8 x i8], [8 x i8]* @.str.1, i64 0, i64 0), double 6.000000e+00)
%39 = tail call i32 (i8*, ...) @printf(i8* dereferenceable(1) getelementptr inbounds ([8 x i8], [8 x i8]* @.str.1, i64 0, i64 0), double 7.000000e+00)
%40 = tail call i32 (i8*, ...) @printf(i8* dereferenceable(1) getelementptr inbounds ([8 x i8], [8 x i8]* @.str.1, i64 0, i64 0), double 8.000000e+00)
%41 = tail call i32 (i8*, ...) @printf(i8* dereferenceable(1) getelementptr inbounds ([8 x i8], [8 x i8]* @.str.1, i64 0, i64 0), double 9.000000e+00)
%42 = tail call i32 @putchar(i32 10)
%43 = tail call i32 (i8*, ...) @printf(i8* dereferenceable(1) getelementptr inbounds ([8 x i8], [8 x i8]* @.str.1, i64 0, i64 0), double 1.000000e+01)
%44 = tail call i32 (i8*, ...) @printf(i8* dereferenceable(1) getelementptr inbounds ([8 x i8], [8 x i8]* @.str.1, i64 0, i64 0), double 1.100000e+01)
%45 = tail call i32 (i8*, ...) @printf(i8* dereferenceable(1) getelementptr inbounds ([8 x i8], [8 x i8]* @.str.1, i64 0, i64 0), double 1.200000e+01)
%46 = tail call i32 (i8*, ...) @printf(i8* dereferenceable(1) getelementptr inbounds ([8 x i8], [8 x i8]* @.str.1, i64 0, i64 0), double 1.300000e+01)
%47 = tail call i32 @putchar(i32 10)
%48 = tail call i32 @putchar(i32 10)
%49 = getelementptr inbounds [12 x double], [12 x double]* %3, i64 0, i64 0
%50 = call i32 @add_matrix(double* %14, double* %32, double* %49, i32 3, i32 4)
%51 = call i32 @puts(i8* dereferenceable(1) getelementptr inbounds ([10 x i8], [10 x i8]* @str.11, i64 0, i64 0))
%52 = load double, double* %49
%53 = call i32 (i8*, ...) @printf(i8* dereferenceable(1) getelementptr inbounds ([8 x i8], [8 x i8]* @.str.1, i64 0, i64 0), double %52)
%54 = getelementptr inbounds [12 x double], [12 x double]* %3, i64 0, i64 1
%55 = load double, double* %54
%56 = call i32 (i8*, ...) @printf(i8* dereferenceable(1) getelementptr inbounds ([8 x i8], [8 x i8]* @.str.1, i64 0, i64 0), double %55)
%57 = getelementptr inbounds [12 x double], [12 x double]* %3, i64 0, i64 2
%58 = load double, double* %57
%59 = call i32 (i8*, ...) @printf(i8* dereferenceable(1) getelementptr inbounds ([8 x i8], [8 x i8]* @.str.1, i64 0, i64 0), double %58)
%60 = getelementptr inbounds [12 x double], [12 x double]* %3, i64 0, i64 3
%61 = load double, double* %60
%62 = call i32 (i8*, ...) @printf(i8* dereferenceable(1) getelementptr inbounds ([8 x i8], [8 x i8]* @.str.1, i64 0, i64 0), double %61)
%63 = call i32 @putchar(i32 10)
%64 = getelementptr inbounds [12 x double], [12 x double]* %3, i64 0, i64 4
%65 = load double, double* %64
%66 = call i32 (i8*, ...) @printf(i8* dereferenceable(1) getelementptr inbounds ([8 x i8], [8 x i8]* @.str.1, i64 0, i64 0), double %65)
%67 = getelementptr inbounds [12 x double], [12 x double]* %3, i64 0, i64 5
%68 = load double, double* %67
%69 = call i32 (i8*, ...) @printf(i8* dereferenceable(1) getelementptr inbounds ([8 x i8], [8 x i8]* @.str.1, i64 0, i64 0), double %68)
%70 = getelementptr inbounds [12 x double], [12 x double]* %3, i64 0, i64 6
%71 = load double, double* %70
%72 = call i32 (i8*, ...) @printf(i8* dereferenceable(1) getelementptr inbounds ([8 x i8], [8 x i8]* @.str.1, i64 0, i64 0), double %71)
%73 = getelementptr inbounds [12 x double], [12 x double]* %3, i64 0, i64 7
%74 = load double, double* %73
%75 = call i32 (i8*, ...) @printf(i8* dereferenceable(1) getelementptr inbounds ([8 x i8], [8 x i8]* @.str.1, i64 0, i64 0), double %74)
%76 = call i32 @putchar(i32 10)
%77 = getelementptr inbounds [12 x double], [12 x double]* %3, i64 0, i64 8
%78 = load double, double* %77
%79 = call i32 (i8*, ...) @printf(i8* dereferenceable(1) getelementptr inbounds ([8 x i8], [8 x i8]* @.str.1, i64 0, i64 0), double %78)
%80 = getelementptr inbounds [12 x double], [12 x double]* %3, i64 0, i64 9
%81 = load double, double* %80
%82 = call i32 (i8*, ...) @printf(i8* dereferenceable(1) getelementptr inbounds ([8 x i8], [8 x i8]* @.str.1, i64 0, i64 0), double %81)
%83 = getelementptr inbounds [12 x double], [12 x double]* %3, i64 0, i64 10
%84 = load double, double* %83
%85 = call i32 (i8*, ...) @printf(i8* dereferenceable(1) getelementptr inbounds ([8 x i8], [8 x i8]* @.str.1, i64 0, i64 0), double %84)
%86 = getelementptr inbounds [12 x double], [12 x double]* %3, i64 0, i64 11
%87 = load double, double* %86
%88 = call i32 (i8*, ...) @printf(i8* dereferenceable(1) getelementptr inbounds ([8 x i8], [8 x i8]* @.str.1, i64 0, i64 0), double %87)
%89 = call i32 @putchar(i32 10)
%90 = call i32 @putchar(i32 10)
%91 = call i32 @puts(i8* dereferenceable(1) getelementptr inbounds ([2 x i8], [2 x i8]* @str.18, i64 0, i64 0))
%92 = getelementptr inbounds [3 x double], [3 x double]* %4, i64 0, i64 0
%93 = load double, double* %92
%94 = call i32 (i8*, ...) @printf(i8* dereferenceable(1) getelementptr inbounds ([8 x i8], [8 x i8]* @.str.1, i64 0, i64 0), double %93)
%95 = getelementptr inbounds [3 x double], [3 x double]* %4, i64 0, i64 1
%96 = load double, double* %95
%97 = call i32 (i8*, ...) @printf(i8* dereferenceable(1) getelementptr inbounds ([8 x i8], [8 x i8]* @.str.1, i64 0, i64 0), double %96)
%98 = getelementptr inbounds [3 x double], [3 x double]* %4, i64 0, i64 2
%99 = load double, double* %98
%100 = call i32 (i8*, ...) @printf(i8* dereferenceable(1) getelementptr inbounds ([8 x i8], [8 x i8]* @.str.1, i64 0, i64 0), double %99)
%101 = call i32 @puts(i8* dereferenceable(1) getelementptr inbounds ([2 x i8], [2 x i8]* @str.21, i64 0, i64 0))
%102 = call i32 @puts(i8* dereferenceable(1) getelementptr inbounds ([2 x i8], [2 x i8]* @str.20, i64 0, i64 0))
%103 = getelementptr inbounds [3 x double], [3 x double]* %5, i64 0, i64 0
%104 = load double, double* %103
%105 = call i32 (i8*, ...) @printf(i8* dereferenceable(1) getelementptr inbounds ([8 x i8], [8 x i8]* @.str.1, i64 0, i64 0), double %104)
%106 = getelementptr inbounds [3 x double], [3 x double]* %5, i64 0, i64 1
%107 = load double, double* %106
%108 = call i32 (i8*, ...) @printf(i8* dereferenceable(1) getelementptr inbounds ([8 x i8], [8 x i8]* @.str.1, i64 0, i64 0), double %107)
%109 = getelementptr inbounds [3 x double], [3 x double]* %5, i64 0, i64 2
%110 = load double, double* %109
%111 = call i32 (i8*, ...) @printf(i8* dereferenceable(1) getelementptr inbounds ([8 x i8], [8 x i8]* @.str.1, i64 0, i64 0), double %110)
%112 = call i32 @puts(i8* dereferenceable(1) getelementptr inbounds ([2 x i8], [2 x i8]* @str.21, i64 0, i64 0))
%113 = call i32 @puts(i8* dereferenceable(1) getelementptr inbounds ([12 x i8], [12 x i8]* @str.16, i64 0, i64 0))
%114 = call i32 @dot_vector(double* %92, double* %103, i32 3)
%115 = call i32 (i8*, ...) @printf(i8* dereferenceable(1) getelementptr inbounds ([8 x i8], [8 x i8]* @.str.1, i64 0, i64 0), i32 %114)
%116 = call i32 @puts(i8* dereferenceable(1) getelementptr inbounds ([2 x i8], [2 x i8]* @str.21, i64 0, i64 0))
%117 = call i32 @puts(i8* dereferenceable(1) getelementptr inbounds ([2 x i8], [2 x i8]* @str.18, i64 0, i64 0))
%118 = load double, double* %92
%119 = call i32 (i8*, ...) @printf(i8* dereferenceable(1) getelementptr inbounds ([8 x i8], [8 x i8]* @.str.1, i64 0, i64 0), double %118)
%120 = load double, double* %95
%121 = call i32 (i8*, ...) @printf(i8* dereferenceable(1) getelementptr inbounds ([8 x i8], [8 x i8]* @.str.1, i64 0, i64 0), double %120)
%122 = load double, double* %98
%123 = call i32 (i8*, ...) @printf(i8* dereferenceable(1) getelementptr inbounds ([8 x i8], [8 x i8]* @.str.1, i64 0, i64 0), double %122)
%124 = call i32 @puts(i8* dereferenceable(1) getelementptr inbounds ([2 x i8], [2 x i8]* @str.21, i64 0, i64 0))
%125 = call i32 @puts(i8* dereferenceable(1) getelementptr inbounds ([2 x i8], [2 x i8]* @str.20, i64 0, i64 0))
%126 = load double, double* %103
%127 = call i32 (i8*, ...) @printf(i8* dereferenceable(1) getelementptr inbounds ([8 x i8], [8 x i8]* @.str.1, i64 0, i64 0), double %126)
%128 = load double, double* %106
%129 = call i32 (i8*, ...) @printf(i8* dereferenceable(1) getelementptr inbounds ([8 x i8], [8 x i8]* @.str.1, i64 0, i64 0), double %128)
%130 = load double, double* %109
%131 = call i32 (i8*, ...) @printf(i8* dereferenceable(1) getelementptr inbounds ([8 x i8], [8 x i8]* @.str.1, i64 0, i64 0), double %130)
%132 = call i32 @puts(i8* dereferenceable(1) getelementptr inbounds ([2 x i8], [2 x i8]* @str.21, i64 0, i64 0))
%133 = getelementptr inbounds [3 x double], [3 x double]* %6, i64 0, i64 0
%134 = call i32 @cross_vector(double* %92, double* %103, double* %133, i32 3)
%135 = call i32 @puts(i8* dereferenceable(1) getelementptr inbounds ([10 x i8], [10 x i8]* @str.22, i64 0, i64 0))
%136 = load double, double* %133
%137 = call i32 (i8*, ...) @printf(i8* dereferenceable(1) getelementptr inbounds ([8 x i8], [8 x i8]* @.str.1, i64 0, i64 0), double %136)
%138 = getelementptr inbounds [3 x double], [3 x double]* %6, i64 0, i64 1
%139 = load double, double* %138
%140 = call i32 (i8*, ...) @printf(i8* dereferenceable(1) getelementptr inbounds ([8 x i8], [8 x i8]* @.str.1, i64 0, i64 0), double %139)
%141 = getelementptr inbounds [3 x double], [3 x double]* %6, i64 0, i64 2
%142 = load double, double* %141
%143 = call i32 (i8*, ...) @printf(i8* dereferenceable(1) getelementptr inbounds ([8 x i8], [8 x i8]* @.str.1, i64 0, i64 0), double %142)
%144 = call i32 @putchar(i32 10)
ret i32 0
}