#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*/ error(char *, char *);
double dot(double *a, int na, double *b, int nb) {
  int j;
  if (na != nb)
    error("Error: length mismatch in 'dot'\n", "");
  double val = 0.;
  for (j = 0; j < na; j++)
    val += a[j] * b[j];
  return val;
}


x86 assembly (clang, -O0):
<dot>:
push   %rbp
mov    %rsp,%rbp
sub    $0x30,%rsp
mov    %rdi,-0x8(%rbp)
mov    %esi,-0xc(%rbp)
mov    %rdx,-0x18(%rbp)
mov    %ecx,-0x1c(%rbp)
mov    -0xc(%rbp),%eax
cmp    -0x1c(%rbp),%eax
je     1145 <dot+0x35>
lea    0xec7(%rip),%rdi
lea    0xee0(%rip),%rsi
call   1030 <error@plt>
xorps  %xmm0,%xmm0
movsd  %xmm0,-0x28(%rbp)
movl   $0x0,-0x20(%rbp)
mov    -0x20(%rbp),%eax
cmp    -0xc(%rbp),%eax
jge    119a <dot+0x8a>
mov    -0x8(%rbp),%rax
movslq -0x20(%rbp),%rcx
movsd  (%rax,%rcx,8),%xmm0
mov    -0x18(%rbp),%rax
movslq -0x20(%rbp),%rcx
movsd  (%rax,%rcx,8),%xmm2
movsd  -0x28(%rbp),%xmm1
mulsd  %xmm2,%xmm0
addsd  %xmm1,%xmm0
movsd  %xmm0,-0x28(%rbp)
mov    -0x20(%rbp),%eax
add    $0x1,%eax
mov    %eax,-0x20(%rbp)
jmp    1154 <dot+0x44>
movsd  -0x28(%rbp),%xmm0
add    $0x30,%rsp
pop    %rbp
ret

x86 assembly (clang, -O2):
<dot>:
push   %rbp
push   %r14
push   %rbx
mov    %rdx,%r14
mov    %esi,%ebp
mov    %rdi,%rbx
cmp    %ecx,%esi
je     1133 <dot+0x23>
lea    0xed9(%rip),%rdi
lea    0xef2(%rip),%rsi
call   1030 <error@plt>
test   %ebp,%ebp
jle    1150 <dot+0x40>
mov    %ebp,%edx
lea    -0x1(%rdx),%rcx
mov    %edx,%eax
and    $0x3,%eax
cmp    $0x3,%rcx
jae    1159 <dot+0x49>
xorpd  %xmm0,%xmm0
xor    %ecx,%ecx
jmp    11bb <dot+0xab>
xorpd  %xmm0,%xmm0
jmp    11e7 <dot+0xd7>
and    $0xfffffffc,%edx
xorpd  %xmm0,%xmm0
xor    %ecx,%ecx
cs nopw 0x0(%rax,%rax,1)
nopl   0x0(%rax)
movsd  (%rbx,%rcx,8),%xmm1
movsd  0x8(%rbx,%rcx,8),%xmm2
mulsd  (%r14,%rcx,8),%xmm1
mulsd  0x8(%r14,%rcx,8),%xmm2
addsd  %xmm0,%xmm1
movsd  0x10(%rbx,%rcx,8),%xmm3
mulsd  0x10(%r14,%rcx,8),%xmm3
addsd  %xmm1,%xmm2
movsd  0x18(%rbx,%rcx,8),%xmm0
mulsd  0x18(%r14,%rcx,8),%xmm0
addsd  %xmm2,%xmm3
addsd  %xmm3,%xmm0
add    $0x4,%rcx
cmp    %rcx,%rdx
jne    1170 <dot+0x60>
test   %rax,%rax
je     11e7 <dot+0xd7>
lea    (%r14,%rcx,8),%rdx
lea    (%rbx,%rcx,8),%rcx
xor    %esi,%esi
nopw   0x0(%rax,%rax,1)
movsd  (%rcx,%rsi,8),%xmm1
mulsd  (%rdx,%rsi,8),%xmm1
addsd  %xmm1,%xmm0
add    $0x1,%rsi
cmp    %rsi,%rax
jne    11d0 <dot+0xc0>
pop    %rbx
pop    %r14
pop    %rbp
ret

LLVM IR (-O0):
@.str = [33 x i8] c"Error: length mismatch in 'dot'\0A\00"
@.str.1 = [1 x i8] zeroinitializer
define double @dot(double* %0, i32 %1, double* %2, i32 %3) {
%5 = alloca double*
%6 = alloca i32
%7 = alloca double*
%8 = alloca i32
%9 = alloca i32
%10 = alloca double
store double* %0, double** %5
store i32 %1, i32* %6
store double* %2, double** %7
store i32 %3, i32* %8
%11 = load i32, i32* %6
%12 = load i32, i32* %8
%13 = icmp ne i32 %11, %12
br i1 %13, label %14, label %16
14: ; preds = %4
%15 = call i32 @error(i8* getelementptr inbounds ([33 x i8], [33 x i8]* @.str, i64 0, i64 0), i8* getelementptr inbounds ([1 x i8], [1 x i8]* @.str.1, i64 0, i64 0))
br label %16
16: ; preds = %14, %4
store double 0.000000e+00, double* %10
store i32 0, i32* %9
br label %17
17: ; preds = %34, %16
%18 = load i32, i32* %9
%19 = load i32, i32* %6
%20 = icmp slt i32 %18, %19
br i1 %20, label %21, label %37
21: ; preds = %17
%22 = load double*, double** %5
%23 = load i32, i32* %9
%24 = sext i32 %23 to i64
%25 = getelementptr inbounds double, double* %22, i64 %24
%26 = load double, double* %25
%27 = load double*, double** %7
%28 = load i32, i32* %9
%29 = sext i32 %28 to i64
%30 = getelementptr inbounds double, double* %27, i64 %29
%31 = load double, double* %30
%32 = load double, double* %10
%33 = call double @llvm.fmuladd.f64(double %26, double %31, double %32)
store double %33, double* %10
br label %34
34: ; preds = %21
%35 = load i32, i32* %9
%36 = add nsw i32 %35, 1
store i32 %36, i32* %9
br label %17
37: ; preds = %17
%38 = load double, double* %10
ret double %38
}

LLVM IR (-O2):
@.str = [33 x i8] c"Error: length mismatch in 'dot'\0A\00"
@.str.1 = [1 x i8] zeroinitializer
define double @dot(double* nocapture %0, i32 %1, double* nocapture %2, i32 %3) {
%5 = icmp eq i32 %1, %3
br i1 %5, label %8, label %6
6: ; preds = %4
%7 = tail call i32 @error(i8* getelementptr inbounds ([33 x i8], [33 x i8]* @.str, i64 0, i64 0), i8* getelementptr inbounds ([1 x i8], [1 x i8]* @.str.1, i64 0, i64 0))
br label %8
8: ; preds = %6, %4
%9 = icmp sgt i32 %1, 0
br i1 %9, label %10, label %64
10: ; preds = %8
%11 = zext i32 %1 to i64
%12 = add nsw i64 %11, -1
%13 = and i64 %11, 3
%14 = icmp ult i64 %12, 3
br i1 %14, label %47, label %15
15: ; preds = %10
%16 = and i64 %11, 4294967292
br label %17
17: ; preds = %17, %15
%18 = phi i64 [ 0, %15 ], [ %44, %17 ]
%19 = phi double [ 0.000000e+00, %15 ], [ %43, %17 ]
%20 = phi i64 [ 0, %15 ], [ %45, %17 ]
%21 = getelementptr inbounds double, double* %0, i64 %18
%22 = load double, double* %21
%23 = getelementptr inbounds double, double* %2, i64 %18
%24 = load double, double* %23
%25 = tail call double @llvm.fmuladd.f64(double %22, double %24, double %19)
%26 = or i64 %18, 1
%27 = getelementptr inbounds double, double* %0, i64 %26
%28 = load double, double* %27
%29 = getelementptr inbounds double, double* %2, i64 %26
%30 = load double, double* %29
%31 = tail call double @llvm.fmuladd.f64(double %28, double %30, double %25)
%32 = or i64 %18, 2
%33 = getelementptr inbounds double, double* %0, i64 %32
%34 = load double, double* %33
%35 = getelementptr inbounds double, double* %2, i64 %32
%36 = load double, double* %35
%37 = tail call double @llvm.fmuladd.f64(double %34, double %36, double %31)
%38 = or i64 %18, 3
%39 = getelementptr inbounds double, double* %0, i64 %38
%40 = load double, double* %39
%41 = getelementptr inbounds double, double* %2, i64 %38
%42 = load double, double* %41
%43 = tail call double @llvm.fmuladd.f64(double %40, double %42, double %37)
%44 = add nuw nsw i64 %18, 4
%45 = add i64 %20, 4
%46 = icmp eq i64 %45, %16
br i1 %46, label %47, label %17
47: ; preds = %17, %10
%48 = phi double [ undef, %10 ], [ %43, %17 ]
%49 = phi i64 [ 0, %10 ], [ %44, %17 ]
%50 = phi double [ 0.000000e+00, %10 ], [ %43, %17 ]
%51 = icmp eq i64 %13, 0
br i1 %51, label %64, label %52
52: ; preds = %47, %52
%53 = phi i64 [ %61, %52 ], [ %49, %47 ]
%54 = phi double [ %60, %52 ], [ %50, %47 ]
%55 = phi i64 [ %62, %52 ], [ 0, %47 ]
%56 = getelementptr inbounds double, double* %0, i64 %53
%57 = load double, double* %56
%58 = getelementptr inbounds double, double* %2, i64 %53
%59 = load double, double* %58
%60 = tail call double @llvm.fmuladd.f64(double %57, double %59, double %54)
%61 = add nuw nsw i64 %53, 1
%62 = add i64 %55, 1
%63 = icmp eq i64 %62, %13
br i1 %63, label %64, label %52
64: ; preds = %47, %52, %8
%65 = phi double [ 0.000000e+00, %8 ], [ %48, %47 ], [ %60, %52 ]
ret double %65
}