__attribute__((always_)) int NoFLA_Axpy(int m_A, int n_A, double alpha,
                                        double *A, int ldim_A, double *B,
                                        int ldim_B) {
  int i, j;
  for (j = 0; j < n_A; j++) {
    for (i = 0; i < m_A; i++) {
      B[ldim_B * j + i] += alpha * A[ldim_A * j + i];
    }
  }
  return 0;
}


x86 assembly (clang, -O0):
<NoFLA_Axpy>:
push   %rbp
mov    %rsp,%rbp
mov    %edi,-0x4(%rbp)
mov    %esi,-0x8(%rbp)
movsd  %xmm0,-0x10(%rbp)
mov    %rdx,-0x18(%rbp)
mov    %ecx,-0x1c(%rbp)
mov    %r8,-0x28(%rbp)
mov    %r9d,-0x2c(%rbp)
movl   $0x0,-0x34(%rbp)
mov    -0x34(%rbp),%eax
cmp    -0x8(%rbp),%eax
jge    11a3 <NoFLA_Axpy+0xa3>
movl   $0x0,-0x30(%rbp)
mov    -0x30(%rbp),%eax
cmp    -0x4(%rbp),%eax
jge    1190 <NoFLA_Axpy+0x90>
movsd  -0x10(%rbp),%xmm0
mov    -0x18(%rbp),%rax
mov    -0x1c(%rbp),%ecx
imul   -0x34(%rbp),%ecx
add    -0x30(%rbp),%ecx
movslq %ecx,%rcx
movsd  (%rax,%rcx,8),%xmm2
mov    -0x28(%rbp),%rax
mov    -0x2c(%rbp),%ecx
imul   -0x34(%rbp),%ecx
add    -0x30(%rbp),%ecx
movslq %ecx,%rcx
movsd  (%rax,%rcx,8),%xmm1
mulsd  %xmm2,%xmm0
addsd  %xmm1,%xmm0
movsd  %xmm0,(%rax,%rcx,8)
mov    -0x30(%rbp),%eax
add    $0x1,%eax
mov    %eax,-0x30(%rbp)
jmp    1138 <NoFLA_Axpy+0x38>
jmp    1195 <NoFLA_Axpy+0x95>
mov    -0x34(%rbp),%eax
add    $0x1,%eax
mov    %eax,-0x34(%rbp)
jmp    1125 <NoFLA_Axpy+0x25>
xor    %eax,%eax
pop    %rbp
ret

x86 assembly (clang, -O2):
<NoFLA_Axpy>:
push   %rbp
push   %r15
push   %r14
push   %r13
push   %r12
push   %rbx
test   %esi,%esi
jle    139f <NoFLA_Axpy+0x29f>
mov    %r9d,%eax
mov    %rdx,%r13
movslq %ecx,%rdx
movslq %r9d,%rbx
mov    %esi,%eax
mov    %rax,-0x8(%rsp)
mov    %edi,%eax
mov    %eax,%ecx
and    $0xfffffffc,%ecx
mov    %rcx,-0x28(%rsp)
add    $0xfffffffffffffffc,%rcx
mov    %rcx,-0x30(%rsp)
mov    %rcx,%rsi
shr    $0x2,%rsi
add    $0x1,%rsi
movapd %xmm0,%xmm1
unpcklpd %xmm0,%xmm1
mov    %rsi,%rcx
mov    %rsi,-0x38(%rsp)
and    $0xfffffffffffffffe,%rsi
mov    %rsi,-0x40(%rsp)
mov    %rax,%rcx
neg    %rcx
mov    %rcx,-0x20(%rsp)
lea    0x30(%r13),%rcx
mov    %rdx,-0x10(%rsp)
lea    0x0(,%rdx,8),%rdx
lea    0x30(%r8),%rbp
mov    %rbx,-0x18(%rsp)
lea    0x0(,%rbx,8),%r14
lea    0x8(%r8),%r11
xor    %r15d,%r15d
mov    %r13,%r10
mov    %edi,-0x44(%rsp)
jmp    11bb <NoFLA_Axpy+0xbb>
nopl   0x0(%rax,%rax,1)
add    $0x1,%r15
add    %rdx,%rcx
add    %r14,%rbp
add    %r14,%r11
add    %rdx,%r10
cmp    -0x8(%rsp),%r15
je     139f <NoFLA_Axpy+0x29f>
test   %edi,%edi
jle    11a0 <NoFLA_Axpy+0xa0>
mov    %r15,%r9
imul   -0x18(%rsp),%r9
mov    %r15,%r12
imul   -0x10(%rsp),%r12
cmp    $0x4,%edi
jb     120e <NoFLA_Axpy+0x10e>
lea    (%r12,%rax,1),%rsi
lea    (%r8,%r9,8),%rbx
lea    0x0(,%rsi,8),%rsi
add    %r13,%rsi
cmp    %rsi,%rbx
jae    128d <NoFLA_Axpy+0x18d>
lea    (%r9,%rax,1),%rsi
lea    (%r8,%rsi,8),%rsi
lea    0x0(,%r12,8),%rbx
add    %r13,%rbx
cmp    %rsi,%rbx
jae    128d <NoFLA_Axpy+0x18d>
xor    %ebx,%ebx
mov    %rbx,%rsi
test   $0x1,%al
je     123b <NoFLA_Axpy+0x13b>
add    %rbx,%r12
add    %rbx,%r9
movsd  0x0(%r13,%r12,8),%xmm2
mulsd  %xmm0,%xmm2
addsd  (%r8,%r9,8),%xmm2
movsd  %xmm2,(%r8,%r9,8)
mov    %rbx,%rsi
or     $0x1,%rsi
not    %rbx
cmp    -0x20(%rsp),%rbx
je     11a0 <NoFLA_Axpy+0xa0>
nopl   0x0(%rax)
movsd  (%r10,%rsi,8),%xmm2
mulsd  %xmm0,%xmm2
addsd  -0x8(%r11,%rsi,8),%xmm2
movsd  %xmm2,-0x8(%r11,%rsi,8)
movsd  0x8(%r10,%rsi,8),%xmm2
mulsd  %xmm0,%xmm2
addsd  (%r11,%rsi,8),%xmm2
movsd  %xmm2,(%r11,%rsi,8)
add    $0x2,%rsi
cmp    %rsi,%rax
jne    1250 <NoFLA_Axpy+0x150>
jmp    11a0 <NoFLA_Axpy+0xa0>
mov    %r13,%rdi
cmpq   $0x0,-0x30(%rsp)
je     1393 <NoFLA_Axpy+0x293>
mov    -0x40(%rsp),%rsi
xor    %r13d,%r13d
cs nopw 0x0(%rax,%rax,1)
xchg   %ax,%ax
movupd -0x30(%rcx,%r13,8),%xmm2
movupd -0x20(%rcx,%r13,8),%xmm3
mulpd  %xmm1,%xmm2
movupd -0x30(%rbp,%r13,8),%xmm4
addpd  %xmm2,%xmm4
movupd -0x20(%rbp,%r13,8),%xmm2
movupd -0x10(%rbp,%r13,8),%xmm5
movupd 0x0(%rbp,%r13,8),%xmm6
mulpd  %xmm1,%xmm3
addpd  %xmm2,%xmm3
movupd %xmm4,-0x30(%rbp,%r13,8)
movupd %xmm3,-0x20(%rbp,%r13,8)
movupd -0x10(%rcx,%r13,8),%xmm2
movupd (%rcx,%r13,8),%xmm3
mulpd  %xmm1,%xmm2
addpd  %xmm5,%xmm2
mulpd  %xmm1,%xmm3
addpd  %xmm6,%xmm3
movupd %xmm2,-0x10(%rbp,%r13,8)
movupd %xmm3,0x0(%rbp,%r13,8)
add    $0x8,%r13
add    $0xfffffffffffffffe,%rsi
jne    12b0 <NoFLA_Axpy+0x1b0>
testb  $0x1,-0x38(%rsp)
je     1376 <NoFLA_Axpy+0x276>
lea    (%r12,%r13,1),%rsi
mov    %rdi,%rbx
movupd (%rdi,%rsi,8),%xmm2
movupd 0x10(%rdi,%rsi,8),%xmm3
add    %r9,%r13
mov    %r8,%rsi
movupd (%r8,%r13,8),%xmm4
movupd 0x10(%r8,%r13,8),%xmm5
mulpd  %xmm1,%xmm2
addpd  %xmm4,%xmm2
mulpd  %xmm1,%xmm3
addpd  %xmm5,%xmm3
movupd %xmm2,(%r8,%r13,8)
movupd %xmm3,0x10(%r8,%r13,8)
mov    -0x28(%rsp),%rsi
mov    %rsi,%rbx
cmp    %rax,%rsi
mov    %rdi,%r13
mov    -0x44(%rsp),%edi
je     11a0 <NoFLA_Axpy+0xa0>
jmp    1210 <NoFLA_Axpy+0x110>
xor    %r13d,%r13d
testb  $0x1,-0x38(%rsp)
jne    1334 <NoFLA_Axpy+0x234>
jmp    1376 <NoFLA_Axpy+0x276>
xor    %eax,%eax
pop    %rbx
pop    %r12
pop    %r13
pop    %r14
pop    %r15
pop    %rbp
ret

LLVM IR (-O0):
define i32 @NoFLA_Axpy(i32 %0, i32 %1, double %2, double* %3, i32 %4, double* %5, i32 %6) {
%8 = alloca i32
%9 = alloca i32
%10 = alloca double
%11 = alloca double*
%12 = alloca i32
%13 = alloca double*
%14 = alloca i32
%15 = alloca i32
%16 = alloca i32
store i32 %0, i32* %8
store i32 %1, i32* %9
store double %2, double* %10
store double* %3, double** %11
store i32 %4, i32* %12
store double* %5, double** %13
store i32 %6, i32* %14
store i32 0, i32* %16
br label %17
17: ; preds = %51, %7
%18 = load i32, i32* %16
%19 = load i32, i32* %9
%20 = icmp slt i32 %18, %19
br i1 %20, label %21, label %54
21: ; preds = %17
store i32 0, i32* %15
br label %22
22: ; preds = %47, %21
%23 = load i32, i32* %15
%24 = load i32, i32* %8
%25 = icmp slt i32 %23, %24
br i1 %25, label %26, label %50
26: ; preds = %22
%27 = load double, double* %10
%28 = load double*, double** %11
%29 = load i32, i32* %12
%30 = load i32, i32* %16
%31 = mul nsw i32 %29, %30
%32 = load i32, i32* %15
%33 = add nsw i32 %31, %32
%34 = sext i32 %33 to i64
%35 = getelementptr inbounds double, double* %28, i64 %34
%36 = load double, double* %35
%37 = load double*, double** %13
%38 = load i32, i32* %14
%39 = load i32, i32* %16
%40 = mul nsw i32 %38, %39
%41 = load i32, i32* %15
%42 = add nsw i32 %40, %41
%43 = sext i32 %42 to i64
%44 = getelementptr inbounds double, double* %37, i64 %43
%45 = load double, double* %44
%46 = call double @llvm.fmuladd.f64(double %27, double %36, double %45)
store double %46, double* %44
br label %47
47: ; preds = %26
%48 = load i32, i32* %15
%49 = add nsw i32 %48, 1
store i32 %49, i32* %15
br label %22
50: ; preds = %22
br label %51
51: ; preds = %50
%52 = load i32, i32* %16
%53 = add nsw i32 %52, 1
store i32 %53, i32* %16
br label %17
54: ; preds = %17
ret i32 0
}

LLVM IR (-O2):
define i32 @NoFLA_Axpy(i32 %0, i32 %1, double %2, double* nocapture %3, i32 %4, double* nocapture %5, i32 %6) {
%8 = icmp sgt i32 %1, 0
br i1 %8, label %9, label %153
9: ; preds = %7
%10 = icmp sgt i32 %0, 0
%11 = sext i32 %4 to i64
%12 = sext i32 %6 to i64
%13 = zext i32 %1 to i64
%14 = zext i32 %0 to i64
%15 = and i64 %14, 4294967292
%16 = add nsw i64 %15, -4
%17 = lshr exact i64 %16, 2
%18 = add nuw nsw i64 %17, 1
%19 = icmp ult i32 %0, 4
%20 = and i64 %14, 4294967292
%21 = insertelement <2 x double> poison, double %2, i64 0
%22 = shufflevector <2 x double> %21, <2 x double> poison, <2 x i32> zeroinitializer
%23 = insertelement <2 x double> poison, double %2, i64 0
%24 = shufflevector <2 x double> %23, <2 x double> poison, <2 x i32> zeroinitializer
%25 = and i64 %18, 1
%26 = icmp eq i64 %16, 0
%27 = and i64 %18, 9223372036854775806
%28 = icmp eq i64 %25, 0
%29 = icmp eq i64 %20, %14
%30 = and i64 %14, 1
%31 = icmp eq i64 %30, 0
%32 = sub nsw i64 0, %14
br label %33
33: ; preds = %9, %150
%34 = phi i64 [ 0, %9 ], [ %151, %150 ]
%35 = mul i64 %34, %12
%36 = getelementptr double, double* %5, i64 %35
%37 = add i64 %35, %14
%38 = getelementptr double, double* %5, i64 %37
%39 = mul i64 %34, %11
%40 = getelementptr double, double* %3, i64 %39
%41 = add i64 %39, %14
%42 = getelementptr double, double* %3, i64 %41
br i1 %10, label %43, label %150
43: ; preds = %33
%44 = mul nsw i64 %34, %11
%45 = mul nsw i64 %34, %12
br i1 %19, label %116, label %46
46: ; preds = %43
%47 = icmp ult double* %36, %42
%48 = icmp ult double* %40, %38
%49 = and i1 %47, %48
br i1 %49, label %116, label %50
50: ; preds = %46
br i1 %26, label %94, label %51
51: ; preds = %50, %51
%52 = phi i64 [ %91, %51 ], [ 0, %50 ]
%53 = phi i64 [ %92, %51 ], [ 0, %50 ]
%54 = add nsw i64 %52, %44
%55 = getelementptr inbounds double, double* %3, i64 %54
%56 = bitcast double* %55 to <2 x double>*
%57 = load <2 x double>, <2 x double>* %56
%58 = getelementptr inbounds double, double* %55, i64 2
%59 = bitcast double* %58 to <2 x double>*
%60 = load <2 x double>, <2 x double>* %59
%61 = add nsw i64 %52, %45
%62 = getelementptr inbounds double, double* %5, 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 = call <2 x double> @llvm.fmuladd.v2f64(<2 x double> %22, <2 x double> %57, <2 x double> %64)
%69 = call <2 x double> @llvm.fmuladd.v2f64(<2 x double> %24, <2 x double> %60, <2 x double> %67)
%70 = bitcast double* %62 to <2 x double>*
store <2 x double> %68, <2 x double>* %70
%71 = bitcast double* %65 to <2 x double>*
store <2 x double> %69, <2 x double>* %71
%72 = or i64 %52, 4
%73 = add nsw i64 %72, %44
%74 = getelementptr inbounds double, double* %3, i64 %73
%75 = bitcast double* %74 to <2 x double>*
%76 = load <2 x double>, <2 x double>* %75
%77 = getelementptr inbounds double, double* %74, i64 2
%78 = bitcast double* %77 to <2 x double>*
%79 = load <2 x double>, <2 x double>* %78
%80 = add nsw i64 %72, %45
%81 = getelementptr inbounds double, double* %5, i64 %80
%82 = bitcast double* %81 to <2 x double>*
%83 = load <2 x double>, <2 x double>* %82
%84 = getelementptr inbounds double, double* %81, i64 2
%85 = bitcast double* %84 to <2 x double>*
%86 = load <2 x double>, <2 x double>* %85
%87 = call <2 x double> @llvm.fmuladd.v2f64(<2 x double> %22, <2 x double> %76, <2 x double> %83)
%88 = call <2 x double> @llvm.fmuladd.v2f64(<2 x double> %24, <2 x double> %79, <2 x double> %86)
%89 = bitcast double* %81 to <2 x double>*
store <2 x double> %87, <2 x double>* %89
%90 = bitcast double* %84 to <2 x double>*
store <2 x double> %88, <2 x double>* %90
%91 = add nuw i64 %52, 8
%92 = add i64 %53, 2
%93 = icmp eq i64 %92, %27
br i1 %93, label %94, label %51
94: ; preds = %51, %50
%95 = phi i64 [ 0, %50 ], [ %91, %51 ]
br i1 %28, label %115, label %96
96: ; preds = %94
%97 = add nsw i64 %95, %44
%98 = getelementptr inbounds double, double* %3, i64 %97
%99 = bitcast double* %98 to <2 x double>*
%100 = load <2 x double>, <2 x double>* %99
%101 = getelementptr inbounds double, double* %98, i64 2
%102 = bitcast double* %101 to <2 x double>*
%103 = load <2 x double>, <2 x double>* %102
%104 = add nsw i64 %95, %45
%105 = getelementptr inbounds double, double* %5, i64 %104
%106 = bitcast double* %105 to <2 x double>*
%107 = load <2 x double>, <2 x double>* %106
%108 = getelementptr inbounds double, double* %105, i64 2
%109 = bitcast double* %108 to <2 x double>*
%110 = load <2 x double>, <2 x double>* %109
%111 = call <2 x double> @llvm.fmuladd.v2f64(<2 x double> %22, <2 x double> %100, <2 x double> %107)
%112 = call <2 x double> @llvm.fmuladd.v2f64(<2 x double> %24, <2 x double> %103, <2 x double> %110)
%113 = bitcast double* %105 to <2 x double>*
store <2 x double> %111, <2 x double>* %113
%114 = bitcast double* %108 to <2 x double>*
store <2 x double> %112, <2 x double>* %114
br label %115
115: ; preds = %94, %96
br i1 %29, label %150, label %116
116: ; preds = %46, %43, %115
%117 = phi i64 [ 0, %46 ], [ 0, %43 ], [ %20, %115 ]
%118 = xor i64 %117, -1
br i1 %31, label %128, label %119
119: ; preds = %116
%120 = add nsw i64 %117, %44
%121 = getelementptr inbounds double, double* %3, i64 %120
%122 = load double, double* %121
%123 = add nsw i64 %117, %45
%124 = getelementptr inbounds double, double* %5, i64 %123
%125 = load double, double* %124
%126 = tail call double @llvm.fmuladd.f64(double %2, double %122, double %125)
store double %126, double* %124
%127 = or i64 %117, 1
br label %128
128: ; preds = %119, %116
%129 = phi i64 [ %117, %116 ], [ %127, %119 ]
%130 = icmp eq i64 %118, %32
br i1 %130, label %150, label %131
131: ; preds = %128, %131
%132 = phi i64 [ %148, %131 ], [ %129, %128 ]
%133 = add nsw i64 %132, %44
%134 = getelementptr inbounds double, double* %3, i64 %133
%135 = load double, double* %134
%136 = add nsw i64 %132, %45
%137 = getelementptr inbounds double, double* %5, i64 %136
%138 = load double, double* %137
%139 = tail call double @llvm.fmuladd.f64(double %2, double %135, double %138)
store double %139, double* %137
%140 = add nuw nsw i64 %132, 1
%141 = add nsw i64 %140, %44
%142 = getelementptr inbounds double, double* %3, i64 %141
%143 = load double, double* %142
%144 = add nsw i64 %140, %45
%145 = getelementptr inbounds double, double* %5, i64 %144
%146 = load double, double* %145
%147 = tail call double @llvm.fmuladd.f64(double %2, double %143, double %146)
store double %147, double* %145
%148 = add nuw nsw i64 %132, 2
%149 = icmp eq i64 %148, %14
br i1 %149, label %150, label %131
150: ; preds = %128, %131, %115, %33
%151 = add nuw nsw i64 %34, 1
%152 = icmp eq i64 %151, %13
br i1 %152, label %153, label %33
153: ; preds = %150, %7
ret i32 0
}