void movefr(int n, float *a, float *b) {
  int i;
  for (i = 0; i < n; i++)
    *b++ = *a++;
}


x86 assembly (clang, -O0):
<movefr>:
push   %rbp
mov    %rsp,%rbp
mov    %edi,-0x4(%rbp)
mov    %rsi,-0x10(%rbp)
mov    %rdx,-0x18(%rbp)
movl   $0x0,-0x1c(%rbp)
mov    -0x1c(%rbp),%eax
cmp    -0x4(%rbp),%eax
jge    1156 <movefr+0x56>
mov    -0x10(%rbp),%rax
mov    %rax,%rcx
add    $0x4,%rcx
mov    %rcx,-0x10(%rbp)
movss  (%rax),%xmm0
mov    -0x18(%rbp),%rax
mov    %rax,%rcx
add    $0x4,%rcx
mov    %rcx,-0x18(%rbp)
movss  %xmm0,(%rax)
mov    -0x1c(%rbp),%eax
add    $0x1,%eax
mov    %eax,-0x1c(%rbp)
jmp    1116 <movefr+0x16>
pop    %rbp
ret

x86 assembly (clang, -O2):
<movefr>:
test   %edi,%edi
jle    12d6 <movefr+0x1d6>
lea    -0x1(%rdi),%r9d
xor    %r8d,%r8d
cmp    $0x7,%r9d
jb     121e <movefr+0x11e>
lea    (%rsi,%r9,4),%rax
add    $0x4,%rax
cmp    %rdx,%rax
jbe    1137 <movefr+0x37>
lea    (%rdx,%r9,4),%rax
add    $0x4,%rax
cmp    %rsi,%rax
ja     121e <movefr+0x11e>
add    $0x1,%r9
mov    %r9,%r8
and    $0xfffffffffffffff8,%r8
lea    -0x8(%r8),%rcx
mov    %rcx,%rax
shr    $0x3,%rax
add    $0x1,%rax
mov    %eax,%r10d
and    $0x3,%r10d
cmp    $0x18,%rcx
jae    1162 <movefr+0x62>
xor    %ecx,%ecx
jmp    11c8 <movefr+0xc8>
and    $0xfffffffffffffffc,%rax
xor    %ecx,%ecx
nopl   0x0(%rax,%rax,1)
movups (%rsi,%rcx,4),%xmm0
movups 0x10(%rsi,%rcx,4),%xmm1
movups %xmm0,(%rdx,%rcx,4)
movups %xmm1,0x10(%rdx,%rcx,4)
movups 0x20(%rsi,%rcx,4),%xmm0
movups 0x30(%rsi,%rcx,4),%xmm1
movups %xmm0,0x20(%rdx,%rcx,4)
movups %xmm1,0x30(%rdx,%rcx,4)
movups 0x40(%rsi,%rcx,4),%xmm0
movups 0x50(%rsi,%rcx,4),%xmm1
movups %xmm0,0x40(%rdx,%rcx,4)
movups %xmm1,0x50(%rdx,%rcx,4)
movups 0x60(%rsi,%rcx,4),%xmm0
movups 0x70(%rsi,%rcx,4),%xmm1
movups %xmm0,0x60(%rdx,%rcx,4)
movups %xmm1,0x70(%rdx,%rcx,4)
add    $0x20,%rcx
add    $0xfffffffffffffffc,%rax
jne    1170 <movefr+0x70>
test   %r10,%r10
je     120d <movefr+0x10d>
lea    (%rsi,%rcx,4),%r11
add    $0x10,%r11
lea    (%rdx,%rcx,4),%rcx
add    $0x10,%rcx
shl    $0x5,%r10
xor    %eax,%eax
cs nopw 0x0(%rax,%rax,1)
nopl   (%rax)
movups -0x10(%r11,%rax,1),%xmm0
movups (%r11,%rax,1),%xmm1
movups %xmm0,-0x10(%rcx,%rax,1)
movups %xmm1,(%rcx,%rax,1)
add    $0x20,%rax
cmp    %rax,%r10
jne    11f0 <movefr+0xf0>
cmp    %r8,%r9
je     12d6 <movefr+0x1d6>
lea    (%rdx,%r8,4),%rdx
lea    (%rsi,%r8,4),%rsi
mov    %edi,%ecx
sub    %r8d,%ecx
mov    %r8d,%r9d
not    %r9d
add    %edi,%r9d
and    $0x7,%ecx
je     125a <movefr+0x15a>
neg    %ecx
xor    %eax,%eax
cs nopw 0x0(%rax,%rax,1)
nop
movss  (%rsi),%xmm0
add    $0x4,%rsi
movss  %xmm0,(%rdx)
add    $0x4,%rdx
add    $0xffffffff,%eax
cmp    %eax,%ecx
jne    1240 <movefr+0x140>
sub    %eax,%r8d
cmp    $0x7,%r9d
jb     12d6 <movefr+0x1d6>
sub    %r8d,%edi
xor    %eax,%eax
cs nopw 0x0(%rax,%rax,1)
nop
movss  (%rsi,%rax,4),%xmm0
movss  %xmm0,(%rdx,%rax,4)
movss  0x4(%rsi,%rax,4),%xmm0
movss  %xmm0,0x4(%rdx,%rax,4)
movss  0x8(%rsi,%rax,4),%xmm0
movss  %xmm0,0x8(%rdx,%rax,4)
movss  0xc(%rsi,%rax,4),%xmm0
movss  %xmm0,0xc(%rdx,%rax,4)
movss  0x10(%rsi,%rax,4),%xmm0
movss  %xmm0,0x10(%rdx,%rax,4)
movss  0x14(%rsi,%rax,4),%xmm0
movss  %xmm0,0x14(%rdx,%rax,4)
movss  0x18(%rsi,%rax,4),%xmm0
movss  %xmm0,0x18(%rdx,%rax,4)
movss  0x1c(%rsi,%rax,4),%xmm0
movss  %xmm0,0x1c(%rdx,%rax,4)
add    $0x8,%rax
cmp    %eax,%edi
jne    1270 <movefr+0x170>
ret

LLVM IR (-O0):
define void @movefr(i32 %0, float* %1, float* %2) {
%4 = alloca i32
%5 = alloca float*
%6 = alloca float*
%7 = alloca i32
store i32 %0, i32* %4
store float* %1, float** %5
store float* %2, float** %6
store i32 0, i32* %7
br label %8
8: ; preds = %18, %3
%9 = load i32, i32* %7
%10 = load i32, i32* %4
%11 = icmp slt i32 %9, %10
br i1 %11, label %12, label %21
12: ; preds = %8
%13 = load float*, float** %5
%14 = getelementptr inbounds float, float* %13, i32 1
store float* %14, float** %5
%15 = load float, float* %13
%16 = load float*, float** %6
%17 = getelementptr inbounds float, float* %16, i32 1
store float* %17, float** %6
store float %15, float* %16
br label %18
18: ; preds = %12
%19 = load i32, i32* %7
%20 = add nsw i32 %19, 1
store i32 %20, i32* %7
br label %8
21: ; preds = %8
ret void
}

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