void saxpy(int n, double sa, double *sx, int incx, double *sy, int incy) {
  int i, ix, iy;
  if (n <= 0)
    return;
  if (sa == 0.0)
    return;
  ix = 0;
  iy = 0;
  if (incx < 0)
    ix = -n * incx;
  if (incy < 0)
    iy = -n * incy;
  for (i = 0; i < n; i++, ix += incx, iy += incy)
    sy[iy] = sy[iy] + sa * sx[ix];
}


x86 assembly (clang, -O0):
<saxpy>:
push   %rbp
mov    %rsp,%rbp
mov    %edi,-0x4(%rbp)
movsd  %xmm0,-0x10(%rbp)
mov    %rsi,-0x18(%rbp)
mov    %edx,-0x1c(%rbp)
mov    %rcx,-0x28(%rbp)
mov    %r8d,-0x2c(%rbp)
cmpl   $0x0,-0x4(%rbp)
jg     112a <saxpy+0x2a>
jmp    11e8 <saxpy+0xe8>
movsd  -0x10(%rbp),%xmm0
xorps  %xmm1,%xmm1
ucomisd %xmm1,%xmm0
jne    1147 <saxpy+0x47>
jp     1147 <saxpy+0x47>
jmp    11e8 <saxpy+0xe8>
movl   $0x0,-0x34(%rbp)
movl   $0x0,-0x38(%rbp)
cmpl   $0x0,-0x1c(%rbp)
jge    116b <saxpy+0x6b>
xor    %eax,%eax
sub    -0x4(%rbp),%eax
imul   -0x1c(%rbp),%eax
mov    %eax,-0x34(%rbp)
cmpl   $0x0,-0x2c(%rbp)
jge    1181 <saxpy+0x81>
xor    %eax,%eax
sub    -0x4(%rbp),%eax
imul   -0x2c(%rbp),%eax
mov    %eax,-0x38(%rbp)
movl   $0x0,-0x30(%rbp)
mov    -0x30(%rbp),%eax
cmp    -0x4(%rbp),%eax
jge    11e8 <saxpy+0xe8>
mov    -0x28(%rbp),%rax
movslq -0x38(%rbp),%rcx
movsd  (%rax,%rcx,8),%xmm1
movsd  -0x10(%rbp),%xmm0
mov    -0x18(%rbp),%rax
movslq -0x34(%rbp),%rcx
movsd  (%rax,%rcx,8),%xmm2
mulsd  %xmm2,%xmm0
addsd  %xmm1,%xmm0
mov    -0x28(%rbp),%rax
movslq -0x38(%rbp),%rcx
movsd  %xmm0,(%rax,%rcx,8)
mov    -0x30(%rbp),%eax
add    $0x1,%eax
mov    %eax,-0x30(%rbp)
mov    -0x1c(%rbp),%eax
add    -0x34(%rbp),%eax
mov    %eax,-0x34(%rbp)
mov    -0x2c(%rbp),%eax
add    -0x38(%rbp),%eax
mov    %eax,-0x38(%rbp)
jmp    1188 <saxpy+0x88>
pop    %rbp
ret

x86 assembly (clang, -O2):
<saxpy>:
push   %r15
push   %r14
push   %r13
push   %r12
push   %rbx
test   %edi,%edi
jle    1235 <saxpy+0x135>
xorpd  %xmm1,%xmm1
ucomisd %xmm1,%xmm0
jne    1121 <saxpy+0x21>
jnp    1235 <saxpy+0x135>
mov    %edi,%eax
imul   %r8d,%eax
neg    %eax
mov    %r8d,%r9d
sar    $0x1f,%r9d
and    %eax,%r9d
mov    %edi,%eax
imul   %edx,%eax
neg    %eax
mov    %edx,%ebx
sar    $0x1f,%ebx
and    %eax,%ebx
movslq %r9d,%r15
movslq %r8d,%r9
movslq %ebx,%rbx
movslq %edx,%r10
lea    -0x1(%rdi),%r14d
xor    %r11d,%r11d
cmp    $0x3,%r14d
jb     1197 <saxpy+0x97>
cmp    $0x1,%r8d
jne    1197 <saxpy+0x97>
cmp    $0x1,%edx
jne    1197 <saxpy+0x97>
lea    (%rcx,%r15,8),%rax
lea    (%rbx,%r14,1),%rdx
lea    (%rsi,%rdx,8),%rdx
add    $0x8,%rdx
cmp    %rdx,%rax
jae    123f <saxpy+0x13f>
lea    (%r15,%r14,1),%rax
lea    (%rcx,%rax,8),%rax
add    $0x8,%rax
lea    (%rsi,%rbx,8),%rdx
cmp    %rax,%rdx
jae    123f <saxpy+0x13f>
mov    %rbx,%r8
mov    %r15,%r12
mov    %edi,%edx
sub    %r11d,%edx
mov    %r11d,%eax
not    %eax
test   $0x1,%dl
je     11cc <saxpy+0xcc>
movsd  (%rsi,%r8,8),%xmm1
mulsd  %xmm0,%xmm1
addsd  (%rcx,%r12,8),%xmm1
movsd  %xmm1,(%rcx,%r12,8)
add    $0x1,%r11d
add    %r10,%r8
add    %r9,%r12
add    %edi,%eax
je     1235 <saxpy+0x135>
mov    %r10,%rbx
shl    $0x4,%rbx
shl    $0x3,%r10
lea    (%r10,%r8,8),%r10
shl    $0x3,%r8
mov    %r9,%rax
shl    $0x4,%rax
shl    $0x3,%r9
lea    (%r9,%r12,8),%rdx
shl    $0x3,%r12
sub    %r11d,%edi
nopl   0x0(%rax)
movsd  (%rsi,%r8,1),%xmm1
mulsd  %xmm0,%xmm1
addsd  (%rcx,%r12,1),%xmm1
movsd  %xmm1,(%rcx,%r12,1)
movsd  (%rsi,%r10,1),%xmm1
mulsd  %xmm0,%xmm1
addsd  (%rcx,%rdx,1),%xmm1
movsd  %xmm1,(%rcx,%rdx,1)
add    %rbx,%rsi
add    %rax,%rcx
add    $0xfffffffe,%edi
jne    1200 <saxpy+0x100>
pop    %rbx
pop    %r12
pop    %r13
pop    %r14
pop    %r15
ret
add    $0x1,%r14
mov    %r14,%r11
and    $0xfffffffffffffffc,%r11
mov    %r11,%r8
imul   %r10,%r8
add    %rbx,%r8
mov    %r11,%r12
imul   %r9,%r12
add    %r15,%r12
movapd %xmm0,%xmm1
unpcklpd %xmm0,%xmm1
lea    (%rcx,%r15,8),%rax
add    $0x10,%rax
mov    %r9,%r15
shl    $0x5,%r15
lea    (%rsi,%rbx,8),%rbx
add    $0x10,%rbx
mov    %r10,%r13
shl    $0x5,%r13
mov    %r11,%rdx
nopw   0x0(%rax,%rax,1)
movupd -0x10(%rax),%xmm2
movupd (%rax),%xmm3
movupd -0x10(%rbx),%xmm4
movupd (%rbx),%xmm5
mulpd  %xmm1,%xmm4
addpd  %xmm2,%xmm4
mulpd  %xmm1,%xmm5
addpd  %xmm3,%xmm5
movupd %xmm4,-0x10(%rax)
movupd %xmm5,(%rax)
add    %r15,%rax
add    %r13,%rbx
add    $0xfffffffffffffffc,%rdx
jne    1290 <saxpy+0x190>
cmp    %r11,%r14
jne    119d <saxpy+0x9d>
jmp    1235 <saxpy+0x135>

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

LLVM IR (-O2):
define void @saxpy(i32 %0, double %1, double* nocapture %2, i32 %3, double* nocapture %4, i32 %5) {
%7 = icmp slt i32 %0, 1
%8 = fcmp oeq double %1, 0.000000e+00
%9 = or i1 %7, %8
br i1 %9, label %125, label %10
10: ; preds = %6
%11 = icmp slt i32 %5, 0
%12 = mul i32 %0, %5
%13 = sub i32 0, %12
%14 = select i1 %11, i32 %13, i32 0
%15 = icmp slt i32 %3, 0
%16 = mul i32 %0, %3
%17 = sub i32 0, %16
%18 = select i1 %15, i32 %17, i32 0
%19 = sext i32 %14 to i64
%20 = sext i32 %5 to i64
%21 = sext i32 %18 to i64
%22 = sext i32 %3 to i64
%23 = add i32 %0, -1
%24 = zext i32 %23 to i64
%25 = add nuw nsw i64 %24, 1
%26 = icmp ult i32 %23, 3
br i1 %26, label %82, label %27
27: ; preds = %10
%28 = icmp ne i32 %5, 1
%29 = icmp ne i32 %3, 1
%30 = or i1 %28, %29
br i1 %30, label %82, label %31
31: ; preds = %27
%32 = getelementptr double, double* %4, i64 %19
%33 = add i32 %0, -1
%34 = zext i32 %33 to i64
%35 = add nsw i64 %19, %34
%36 = add nsw i64 %35, 1
%37 = getelementptr double, double* %4, i64 %36
%38 = getelementptr double, double* %2, i64 %21
%39 = add nsw i64 %21, %34
%40 = add nsw i64 %39, 1
%41 = getelementptr double, double* %2, i64 %40
%42 = icmp ult double* %32, %41
%43 = icmp ult double* %38, %37
%44 = and i1 %42, %43
br i1 %44, label %82, label %45
45: ; preds = %31
%46 = and i64 %25, 8589934588
%47 = mul i64 %46, %22
%48 = add i64 %47, %21
%49 = mul i64 %46, %20
%50 = add i64 %49, %19
%51 = trunc i64 %46 to i32
%52 = insertelement <2 x double> poison, double %1, i64 0
%53 = shufflevector <2 x double> %52, <2 x double> poison, <2 x i32> zeroinitializer
%54 = insertelement <2 x double> poison, double %1, i64 0
%55 = shufflevector <2 x double> %54, <2 x double> poison, <2 x i32> zeroinitializer
br label %56
56: ; preds = %56, %45
%57 = phi i64 [ 0, %45 ], [ %78, %56 ]
%58 = mul i64 %57, %22
%59 = add i64 %58, %21
%60 = mul i64 %57, %20
%61 = add i64 %60, %19
%62 = getelementptr inbounds double, double* %4, i64 %61
%63 = bitcast double* %62 to <2 x double>*
%64 = load <2 x double>, <2 x double>* %63
%65 = getelementptr inbounds double, double* %62, i64 2
%66 = bitcast double* %65 to <2 x double>*
%67 = load <2 x double>, <2 x double>* %66
%68 = getelementptr inbounds double, double* %2, i64 %59
%69 = bitcast double* %68 to <2 x double>*
%70 = load <2 x double>, <2 x double>* %69
%71 = getelementptr inbounds double, double* %68, i64 2
%72 = bitcast double* %71 to <2 x double>*
%73 = load <2 x double>, <2 x double>* %72
%74 = call <2 x double> @llvm.fmuladd.v2f64(<2 x double> %53, <2 x double> %70, <2 x double> %64)
%75 = call <2 x double> @llvm.fmuladd.v2f64(<2 x double> %55, <2 x double> %73, <2 x double> %67)
%76 = bitcast double* %62 to <2 x double>*
store <2 x double> %74, <2 x double>* %76
%77 = bitcast double* %65 to <2 x double>*
store <2 x double> %75, <2 x double>* %77
%78 = add nuw i64 %57, 4
%79 = icmp eq i64 %78, %46
br i1 %79, label %80, label %56
80: ; preds = %56
%81 = icmp eq i64 %25, %46
br i1 %81, label %125, label %82
82: ; preds = %31, %27, %10, %80
%83 = phi i64 [ %21, %31 ], [ %21, %27 ], [ %21, %10 ], [ %48, %80 ]
%84 = phi i64 [ %19, %31 ], [ %19, %27 ], [ %19, %10 ], [ %50, %80 ]
%85 = phi i32 [ 0, %31 ], [ 0, %27 ], [ 0, %10 ], [ %51, %80 ]
%86 = sub i32 %0, %85
%87 = xor i32 %85, -1
%88 = and i32 %86, 1
%89 = icmp eq i32 %88, 0
br i1 %89, label %99, label %90
90: ; preds = %82
%91 = getelementptr inbounds double, double* %4, i64 %84
%92 = load double, double* %91
%93 = getelementptr inbounds double, double* %2, i64 %83
%94 = load double, double* %93
%95 = tail call double @llvm.fmuladd.f64(double %1, double %94, double %92)
store double %95, double* %91
%96 = add nuw nsw i32 %85, 1
%97 = add i64 %83, %22
%98 = add i64 %84, %20
br label %99
99: ; preds = %90, %82
%100 = phi i64 [ %83, %82 ], [ %97, %90 ]
%101 = phi i64 [ %84, %82 ], [ %98, %90 ]
%102 = phi i32 [ %85, %82 ], [ %96, %90 ]
%103 = sub i32 0, %0
%104 = icmp eq i32 %87, %103
br i1 %104, label %125, label %105
105: ; preds = %99, %105
%106 = phi i64 [ %122, %105 ], [ %100, %99 ]
%107 = phi i64 [ %123, %105 ], [ %101, %99 ]
%108 = phi i32 [ %121, %105 ], [ %102, %99 ]
%109 = getelementptr inbounds double, double* %4, i64 %107
%110 = load double, double* %109
%111 = getelementptr inbounds double, double* %2, i64 %106
%112 = load double, double* %111
%113 = tail call double @llvm.fmuladd.f64(double %1, double %112, double %110)
store double %113, double* %109
%114 = add i64 %106, %22
%115 = add i64 %107, %20
%116 = getelementptr inbounds double, double* %4, i64 %115
%117 = load double, double* %116
%118 = getelementptr inbounds double, double* %2, i64 %114
%119 = load double, double* %118
%120 = tail call double @llvm.fmuladd.f64(double %1, double %119, double %117)
store double %120, double* %116
%121 = add nuw nsw i32 %108, 2
%122 = add i64 %114, %22
%123 = add i64 %115, %20
%124 = icmp eq i32 %121, %0
br i1 %124, label %125, label %105
125: ; preds = %99, %105, %80, %6
ret void
}