#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*/ t_error(char *);
void dsprsax(double sa[], long ija[], double x[], double b[], long n) {
  long i, k;
  if (ija[1] != n + 2)
    t_error("dsprsax: mismatched vector and matrix");
  for (i = 1; i <= n; i++) {
    b[i] = sa[i] * x[i];
    for (k = ija[i]; k <= ija[i + 1] - 1; k++)
      b[i] += sa[k] * x[ija[k]];
  }
}


x86 assembly (clang, -O0):
<dsprsax>:
push   %rbp
mov    %rsp,%rbp
sub    $0x40,%rsp
mov    %rdi,-0x8(%rbp)
mov    %rsi,-0x10(%rbp)
mov    %rdx,-0x18(%rbp)
mov    %rcx,-0x20(%rbp)
mov    %r8,-0x28(%rbp)
mov    -0x10(%rbp),%rax
mov    0x8(%rax),%rax
mov    -0x28(%rbp),%rcx
add    $0x2,%rcx
cmp    %rcx,%rax
je     1151 <dsprsax+0x41>
lea    0xeb4(%rip),%rdi
call   1030 <t_error@plt>
movq   $0x1,-0x30(%rbp)
mov    -0x30(%rbp),%rax
cmp    -0x28(%rbp),%rax
jg     121f <dsprsax+0x10f>
mov    -0x8(%rbp),%rax
mov    -0x30(%rbp),%rcx
movsd  (%rax,%rcx,8),%xmm0
mov    -0x18(%rbp),%rax
mov    -0x30(%rbp),%rcx
mulsd  (%rax,%rcx,8),%xmm0
mov    -0x20(%rbp),%rax
mov    -0x30(%rbp),%rcx
movsd  %xmm0,(%rax,%rcx,8)
mov    -0x10(%rbp),%rax
mov    -0x30(%rbp),%rcx
mov    (%rax,%rcx,8),%rax
mov    %rax,-0x38(%rbp)
mov    -0x38(%rbp),%rax
mov    -0x10(%rbp),%rcx
mov    -0x30(%rbp),%rdx
mov    0x8(%rcx,%rdx,8),%rcx
sub    $0x1,%rcx
cmp    %rcx,%rax
jg     1209 <dsprsax+0xf9>
mov    -0x8(%rbp),%rax
mov    -0x38(%rbp),%rcx
movsd  (%rax,%rcx,8),%xmm0
mov    -0x18(%rbp),%rax
mov    -0x10(%rbp),%rcx
mov    -0x38(%rbp),%rdx
mov    (%rcx,%rdx,8),%rcx
movsd  (%rax,%rcx,8),%xmm2
mov    -0x20(%rbp),%rax
mov    -0x30(%rbp),%rcx
movsd  (%rax,%rcx,8),%xmm1
mulsd  %xmm2,%xmm0
addsd  %xmm1,%xmm0
movsd  %xmm0,(%rax,%rcx,8)
mov    -0x38(%rbp),%rax
add    $0x1,%rax
mov    %rax,-0x38(%rbp)
jmp    119e <dsprsax+0x8e>
jmp    120e <dsprsax+0xfe>
mov    -0x30(%rbp),%rax
add    $0x1,%rax
mov    %rax,-0x30(%rbp)
jmp    1159 <dsprsax+0x49>
add    $0x40,%rsp
pop    %rbp
ret

x86 assembly (clang, -O2):
<dsprsax>:
push   %r15
push   %r14
push   %r13
push   %r12
push   %rbx
mov    %r8,%r14
mov    %rcx,%r15
mov    %rdx,%r12
mov    %rsi,%r13
mov    %rdi,%rbx
lea    0x2(%r8),%rax
cmp    %rax,0x8(%rsi)
je     113e <dsprsax+0x2e>
lea    0xec7(%rip),%rdi
call   1030 <t_error@plt>
test   %r14,%r14
jle    1203 <dsprsax+0xf3>
mov    0x8(%r13),%rax
mov    $0x1,%ecx
jmp    1170 <dsprsax+0x60>
cs nopw 0x0(%rax,%rax,1)
nopl   0x0(%rax)
lea    0x1(%rcx),%rdx
cmp    %r14,%rcx
mov    %rdx,%rcx
je     1203 <dsprsax+0xf3>
movsd  (%rbx,%rcx,8),%xmm0
mulsd  (%r12,%rcx,8),%xmm0
mov    %rax,%rdx
movsd  %xmm0,(%r15,%rcx,8)
mov    0x8(%r13,%rcx,8),%rax
cmp    %rdx,%rax
jle    1160 <dsprsax+0x50>
mov    %eax,%edi
sub    %edx,%edi
lea    0x1(%rdx),%rsi
test   $0x1,%dil
je     11b9 <dsprsax+0xa9>
movsd  (%rbx,%rdx,8),%xmm1
mov    0x0(%r13,%rdx,8),%rdx
mulsd  (%r12,%rdx,8),%xmm1
addsd  %xmm1,%xmm0
movsd  %xmm0,(%r15,%rcx,8)
mov    %rsi,%rdx
cmp    %rsi,%rax
je     1160 <dsprsax+0x50>
xchg   %ax,%ax
movsd  (%rbx,%rdx,8),%xmm1
mov    0x0(%r13,%rdx,8),%rsi
mulsd  (%r12,%rsi,8),%xmm1
addsd  %xmm0,%xmm1
movsd  %xmm1,(%r15,%rcx,8)
movsd  0x8(%rbx,%rdx,8),%xmm0
mov    0x8(%r13,%rdx,8),%rsi
mulsd  (%r12,%rsi,8),%xmm0
addsd  %xmm1,%xmm0
movsd  %xmm0,(%r15,%rcx,8)
add    $0x2,%rdx
cmp    %rdx,%rax
jne    11c0 <dsprsax+0xb0>
jmp    1160 <dsprsax+0x50>
pop    %rbx
pop    %r12
pop    %r13
pop    %r14
pop    %r15
ret

LLVM IR (-O0):
@.str = [38 x i8] c"dsprsax: mismatched vector and matrix\00"
define void @dsprsax(double* %0, i64* %1, double* %2, double* %3, i64 %4) {
%6 = alloca double*
%7 = alloca i64*
%8 = alloca double*
%9 = alloca double*
%10 = alloca i64
%11 = alloca i64
%12 = alloca i64
store double* %0, double** %6
store i64* %1, i64** %7
store double* %2, double** %8
store double* %3, double** %9
store i64 %4, i64* %10
%13 = load i64*, i64** %7
%14 = getelementptr inbounds i64, i64* %13, i64 1
%15 = load i64, i64* %14
%16 = load i64, i64* %10
%17 = add nsw i64 %16, 2
%18 = icmp ne i64 %15, %17
br i1 %18, label %19, label %21
19: ; preds = %5
%20 = call i32 @t_error(i8* getelementptr inbounds ([38 x i8], [38 x i8]* @.str, i64 0, i64 0))
br label %21
21: ; preds = %19, %5
store i64 1, i64* %11
br label %22
22: ; preds = %73, %21
%23 = load i64, i64* %11
%24 = load i64, i64* %10
%25 = icmp sle i64 %23, %24
br i1 %25, label %26, label %76
26: ; preds = %22
%27 = load double*, double** %6
%28 = load i64, i64* %11
%29 = getelementptr inbounds double, double* %27, i64 %28
%30 = load double, double* %29
%31 = load double*, double** %8
%32 = load i64, i64* %11
%33 = getelementptr inbounds double, double* %31, i64 %32
%34 = load double, double* %33
%35 = fmul double %30, %34
%36 = load double*, double** %9
%37 = load i64, i64* %11
%38 = getelementptr inbounds double, double* %36, i64 %37
store double %35, double* %38
%39 = load i64*, i64** %7
%40 = load i64, i64* %11
%41 = getelementptr inbounds i64, i64* %39, i64 %40
%42 = load i64, i64* %41
store i64 %42, i64* %12
br label %43
43: ; preds = %69, %26
%44 = load i64, i64* %12
%45 = load i64*, i64** %7
%46 = load i64, i64* %11
%47 = add nsw i64 %46, 1
%48 = getelementptr inbounds i64, i64* %45, i64 %47
%49 = load i64, i64* %48
%50 = sub nsw i64 %49, 1
%51 = icmp sle i64 %44, %50
br i1 %51, label %52, label %72
52: ; preds = %43
%53 = load double*, double** %6
%54 = load i64, i64* %12
%55 = getelementptr inbounds double, double* %53, i64 %54
%56 = load double, double* %55
%57 = load double*, double** %8
%58 = load i64*, i64** %7
%59 = load i64, i64* %12
%60 = getelementptr inbounds i64, i64* %58, i64 %59
%61 = load i64, i64* %60
%62 = getelementptr inbounds double, double* %57, i64 %61
%63 = load double, double* %62
%64 = load double*, double** %9
%65 = load i64, i64* %11
%66 = getelementptr inbounds double, double* %64, i64 %65
%67 = load double, double* %66
%68 = call double @llvm.fmuladd.f64(double %56, double %63, double %67)
store double %68, double* %66
br label %69
69: ; preds = %52
%70 = load i64, i64* %12
%71 = add nsw i64 %70, 1
store i64 %71, i64* %12
br label %43
72: ; preds = %43
br label %73
73: ; preds = %72
%74 = load i64, i64* %11
%75 = add nsw i64 %74, 1
store i64 %75, i64* %11
br label %22
76: ; preds = %22
ret void
}

LLVM IR (-O2):
@.str = [38 x i8] c"dsprsax: mismatched vector and matrix\00"
define void @dsprsax(double* nocapture %0, i64* nocapture %1, double* nocapture %2, double* nocapture %3, i64 %4) {
%6 = getelementptr inbounds i64, i64* %1, i64 1
%7 = load i64, i64* %6
%8 = add nsw i64 %4, 2
%9 = icmp eq i64 %7, %8
br i1 %9, label %12, label %10
10: ; preds = %5
%11 = tail call i32 @t_error(i8* getelementptr inbounds ([38 x i8], [38 x i8]* @.str, i64 0, i64 0))
br label %12
12: ; preds = %10, %5
%13 = icmp slt i64 %4, 1
br i1 %13, label %69, label %14
14: ; preds = %12
%15 = load i64, i64* %6
br label %18
16: ; preds = %45, %49, %18
%17 = icmp eq i64 %20, %4
br i1 %17, label %69, label %18
18: ; preds = %14, %16
%19 = phi i64 [ %29, %16 ], [ %15, %14 ]
%20 = phi i64 [ %27, %16 ], [ 1, %14 ]
%21 = getelementptr inbounds double, double* %0, i64 %20
%22 = load double, double* %21
%23 = getelementptr inbounds double, double* %2, i64 %20
%24 = load double, double* %23
%25 = fmul double %22, %24
%26 = getelementptr inbounds double, double* %3, i64 %20
store double %25, double* %26
%27 = add nuw nsw i64 %20, 1
%28 = getelementptr inbounds i64, i64* %1, i64 %27
%29 = load i64, i64* %28
%30 = icmp sgt i64 %29, %19
br i1 %30, label %31, label %16
31: ; preds = %18
%32 = sub i64 %29, %19
%33 = add i64 %19, 1
%34 = and i64 %32, 1
%35 = icmp eq i64 %34, 0
br i1 %35, label %45, label %36
36: ; preds = %31
%37 = getelementptr inbounds double, double* %0, i64 %19
%38 = load double, double* %37
%39 = getelementptr inbounds i64, i64* %1, i64 %19
%40 = load i64, i64* %39
%41 = getelementptr inbounds double, double* %2, i64 %40
%42 = load double, double* %41
%43 = tail call double @llvm.fmuladd.f64(double %38, double %42, double %25)
store double %43, double* %26
%44 = add nsw i64 %19, 1
br label %45
45: ; preds = %36, %31
%46 = phi double [ %25, %31 ], [ %43, %36 ]
%47 = phi i64 [ %19, %31 ], [ %44, %36 ]
%48 = icmp eq i64 %29, %33
br i1 %48, label %16, label %49
49: ; preds = %45, %49
%50 = phi double [ %66, %49 ], [ %46, %45 ]
%51 = phi i64 [ %67, %49 ], [ %47, %45 ]
%52 = getelementptr inbounds double, double* %0, i64 %51
%53 = load double, double* %52
%54 = getelementptr inbounds i64, i64* %1, i64 %51
%55 = load i64, i64* %54
%56 = getelementptr inbounds double, double* %2, i64 %55
%57 = load double, double* %56
%58 = tail call double @llvm.fmuladd.f64(double %53, double %57, double %50)
store double %58, double* %26
%59 = add nsw i64 %51, 1
%60 = getelementptr inbounds double, double* %0, i64 %59
%61 = load double, double* %60
%62 = getelementptr inbounds i64, i64* %1, i64 %59
%63 = load i64, i64* %62
%64 = getelementptr inbounds double, double* %2, i64 %63
%65 = load double, double* %64
%66 = tail call double @llvm.fmuladd.f64(double %61, double %65, double %58)
store double %66, double* %26
%67 = add nsw i64 %51, 2
%68 = icmp eq i64 %67, %29
br i1 %68, label %16, label %49
69: ; preds = %16, %12
ret void
}