__attribute__((always_)) int NoFLA_Copy(int m_A, int n_A, 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] = A[ldim_A * j + i];
    }
  }
  return 0;
}


x86 assembly (clang, -O0):
<NoFLA_Copy>:
push   %rbp
mov    %rsp,%rbp
mov    %edi,-0x4(%rbp)
mov    %esi,-0x8(%rbp)
mov    %rdx,-0x10(%rbp)
mov    %ecx,-0x14(%rbp)
mov    %r8,-0x20(%rbp)
mov    %r9d,-0x24(%rbp)
movl   $0x0,-0x2c(%rbp)
mov    -0x2c(%rbp),%eax
cmp    -0x8(%rbp),%eax
jge    118c <NoFLA_Copy+0x8c>
movl   $0x0,-0x28(%rbp)
mov    -0x28(%rbp),%eax
cmp    -0x4(%rbp),%eax
jge    1179 <NoFLA_Copy+0x79>
mov    -0x10(%rbp),%rax
mov    -0x14(%rbp),%ecx
imul   -0x2c(%rbp),%ecx
add    -0x28(%rbp),%ecx
movslq %ecx,%rcx
movsd  (%rax,%rcx,8),%xmm0
mov    -0x20(%rbp),%rax
mov    -0x24(%rbp),%ecx
imul   -0x2c(%rbp),%ecx
add    -0x28(%rbp),%ecx
movslq %ecx,%rcx
movsd  %xmm0,(%rax,%rcx,8)
mov    -0x28(%rbp),%eax
add    $0x1,%eax
mov    %eax,-0x28(%rbp)
jmp    1133 <NoFLA_Copy+0x33>
jmp    117e <NoFLA_Copy+0x7e>
mov    -0x2c(%rbp),%eax
add    $0x1,%eax
mov    %eax,-0x2c(%rbp)
jmp    1120 <NoFLA_Copy+0x20>
xor    %eax,%eax
pop    %rbp
ret

x86 assembly (clang, -O2):
<NoFLA_Copy>:
push   %rbp
push   %r15
push   %r14
push   %r13
push   %r12
push   %rbx
mov    %edi,-0x4c(%rsp)
test   %esi,%esi
jle    1365 <NoFLA_Copy+0x265>
mov    %rdx,%r10
mov    %r8,%rbp
movslq %ecx,%rax
movslq %r9d,%rbx
mov    %esi,%edi
mov    -0x4c(%rsp),%r12d
mov    %r12d,%ecx
and    $0xfffffffc,%ecx
mov    %rcx,-0x18(%rsp)
add    $0xfffffffffffffffc,%rcx
mov    %rcx,-0x20(%rsp)
mov    %rcx,%rsi
shr    $0x2,%rsi
add    $0x1,%rsi
mov    %rsi,%rcx
mov    %rsi,-0x28(%rsp)
and    $0xfffffffffffffffe,%rsi
mov    %rsi,-0x30(%rsp)
mov    %r12d,%edx
and    $0x3,%edx
lea    0x30(%r10),%rcx
mov    %rax,-0x8(%rsp)
lea    0x0(,%rax,8),%r8
mov    %rbp,%rax
add    $0x30,%rbp
mov    %rbx,-0x10(%rsp)
lea    0x0(,%rbx,8),%r14
xor    %r11d,%r11d
mov    %r10,%r15
mov    %rax,%r13
mov    %r10,-0x40(%rsp)
mov    %rax,-0x48(%rsp)
mov    %r14,-0x38(%rsp)
jmp    11b9 <NoFLA_Copy+0xb9>
xchg   %ax,%ax
add    $0x1,%r11
add    %r8,%rcx
add    %r14,%rbp
add    %r14,%r13
add    %r8,%r15
cmp    %rdi,%r11
je     1365 <NoFLA_Copy+0x265>
cmpl   $0x0,-0x4c(%rsp)
jle    11a0 <NoFLA_Copy+0xa0>
cmpl   $0x4,-0x4c(%rsp)
jae    11d0 <NoFLA_Copy+0xd0>
xor    %ebx,%ebx
jmp    12d0 <NoFLA_Copy+0x1d0>
xchg   %ax,%ax
mov    %r8,%r14
mov    %r11,%r9
imul   -0x10(%rsp),%r9
mov    %r11,%rbx
imul   -0x8(%rsp),%rbx
mov    %r10,%r8
mov    %rax,%r10
lea    (%rbx,%r12,1),%rax
lea    (%r10,%r9,8),%rsi
lea    (%r8,%rax,8),%rax
cmp    %rax,%rsi
jae    1222 <NoFLA_Copy+0x122>
lea    (%r9,%r12,1),%rax
lea    (%r10,%rax,8),%rax
lea    (%r8,%rbx,8),%rsi
cmp    %rax,%rsi
jae    1222 <NoFLA_Copy+0x122>
xor    %ebx,%ebx
mov    %r10,%rax
mov    %r8,%r10
mov    %r14,%r8
mov    -0x38(%rsp),%r14
jmp    12d0 <NoFLA_Copy+0x1d0>
cmpq   $0x0,-0x20(%rsp)
je     127b <NoFLA_Copy+0x17b>
mov    -0x30(%rsp),%rsi
xor    %r10d,%r10d
mov    %r14,%r8
cs nopw 0x0(%rax,%rax,1)
nop
movups -0x30(%rcx,%r10,8),%xmm0
movups -0x20(%rcx,%r10,8),%xmm1
movups %xmm0,-0x30(%rbp,%r10,8)
movups %xmm1,-0x20(%rbp,%r10,8)
movups -0x10(%rcx,%r10,8),%xmm0
movups (%rcx,%r10,8),%xmm1
movups %xmm0,-0x10(%rbp,%r10,8)
movups %xmm1,0x0(%rbp,%r10,8)
add    $0x8,%r10
add    $0xfffffffffffffffe,%rsi
jne    1240 <NoFLA_Copy+0x140>
jmp    1281 <NoFLA_Copy+0x181>
xor    %r10d,%r10d
mov    %r14,%r8
testb  $0x1,-0x28(%rsp)
mov    -0x38(%rsp),%r14
je     12b1 <NoFLA_Copy+0x1b1>
add    %r10,%rbx
mov    -0x40(%rsp),%rax
movups (%rax,%rbx,8),%xmm0
movups 0x10(%rax,%rbx,8),%xmm1
add    %r10,%r9
mov    -0x48(%rsp),%rax
movups %xmm0,(%rax,%r9,8)
movups %xmm1,0x10(%rax,%r9,8)
mov    -0x18(%rsp),%rax
mov    %rax,%rbx
cmp    %r12,%rax
mov    -0x48(%rsp),%rax
mov    -0x40(%rsp),%r10
je     11a0 <NoFLA_Copy+0xa0>
nopl   0x0(%rax)
mov    %rax,%r9
mov    %rbx,%rsi
not    %rsi
add    %r12,%rsi
test   %rdx,%rdx
je     1307 <NoFLA_Copy+0x207>
mov    %rdx,%rax
cs nopw 0x0(%rax,%rax,1)
xchg   %ax,%ax
movsd  (%r15,%rbx,8),%xmm0
movsd  %xmm0,0x0(%r13,%rbx,8)
add    $0x1,%rbx
add    $0xffffffffffffffff,%rax
jne    12f0 <NoFLA_Copy+0x1f0>
cmp    $0x3,%rsi
mov    %r9,%rax
jb     11a0 <NoFLA_Copy+0xa0>
cs nopw 0x0(%rax,%rax,1)
xchg   %ax,%ax
movsd  (%r15,%rbx,8),%xmm0
movsd  %xmm0,0x0(%r13,%rbx,8)
movsd  0x8(%r15,%rbx,8),%xmm0
movsd  %xmm0,0x8(%r13,%rbx,8)
movsd  0x10(%r15,%rbx,8),%xmm0
movsd  %xmm0,0x10(%r13,%rbx,8)
movsd  0x18(%r15,%rbx,8),%xmm0
movsd  %xmm0,0x18(%r13,%rbx,8)
add    $0x4,%rbx
cmp    %rbx,%r12
jne    1320 <NoFLA_Copy+0x220>
jmp    11a0 <NoFLA_Copy+0xa0>
xor    %eax,%eax
pop    %rbx
pop    %r12
pop    %r13
pop    %r14
pop    %r15
pop    %rbp
ret

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

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