void do_move(char *dst, char *src, int len) {
  int i;
  int *ldst, *lsrc;
  ldst = (int *)dst;
  lsrc = (int *)src;
  for (i = 0; i < (len >> 2); i++)
    *ldst++ = *lsrc++;
  dst = (char *)ldst;
  src = (char *)lsrc;
  for (i = 0; i < (len & 3); i++)
    *dst++ = *src++;
}


x86 assembly (clang, -O0):
<do_move>:
push   %rbp
mov    %rsp,%rbp
mov    %rdi,-0x8(%rbp)
mov    %rsi,-0x10(%rbp)
mov    %edx,-0x14(%rbp)
mov    -0x8(%rbp),%rax
mov    %rax,-0x20(%rbp)
mov    -0x10(%rbp),%rax
mov    %rax,-0x28(%rbp)
movl   $0x0,-0x18(%rbp)
mov    -0x18(%rbp),%eax
mov    -0x14(%rbp),%ecx
sar    $0x2,%ecx
cmp    %ecx,%eax
jge    1167 <do_move+0x67>
mov    -0x28(%rbp),%rax
mov    %rax,%rcx
add    $0x4,%rcx
mov    %rcx,-0x28(%rbp)
mov    (%rax),%ecx
mov    -0x20(%rbp),%rax
mov    %rax,%rdx
add    $0x4,%rdx
mov    %rdx,-0x20(%rbp)
mov    %ecx,(%rax)
mov    -0x18(%rbp),%eax
add    $0x1,%eax
mov    %eax,-0x18(%rbp)
jmp    1126 <do_move+0x26>
mov    -0x20(%rbp),%rax
mov    %rax,-0x8(%rbp)
mov    -0x28(%rbp),%rax
mov    %rax,-0x10(%rbp)
movl   $0x0,-0x18(%rbp)
mov    -0x18(%rbp),%eax
mov    -0x14(%rbp),%ecx
and    $0x3,%ecx
cmp    %ecx,%eax
jge    11bf <do_move+0xbf>
mov    -0x10(%rbp),%rax
mov    %rax,%rcx
add    $0x1,%rcx
mov    %rcx,-0x10(%rbp)
mov    (%rax),%cl
mov    -0x8(%rbp),%rax
mov    %rax,%rdx
add    $0x1,%rdx
mov    %rdx,-0x8(%rbp)
mov    %cl,(%rax)
mov    -0x18(%rbp),%eax
add    $0x1,%eax
mov    %eax,-0x18(%rbp)
jmp    117e <do_move+0x7e>
pop    %rbp
ret

x86 assembly (clang, -O2):
<do_move>:
push   %rbx
cmp    $0x4,%edx
jl     12d1 <do_move+0x1d1>
mov    %edx,%r11d
shr    $0x2,%r11d
lea    -0x1(%r11),%r9d
xor    %r8d,%r8d
cmp    $0x7,%r9d
jb     122c <do_move+0x12c>
lea    (%rsi,%r9,4),%rax
add    $0x4,%rax
cmp    %rdi,%rax
jbe    1140 <do_move+0x40>
lea    (%rdi,%r9,4),%rax
add    $0x4,%rax
cmp    %rsi,%rax
ja     122c <do_move+0x12c>
add    $0x1,%r9
mov    %r9,%r8
and    $0xfffffffffffffff8,%r8
lea    -0x8(%r8),%rax
mov    %rax,%rcx
shr    $0x3,%rcx
add    $0x1,%rcx
mov    %ecx,%r10d
and    $0x3,%r10d
cmp    $0x18,%rax
jae    116b <do_move+0x6b>
xor    %eax,%eax
jmp    11d8 <do_move+0xd8>
and    $0xfffffffffffffffc,%rcx
xor    %eax,%eax
cs nopw 0x0(%rax,%rax,1)
nopl   0x0(%rax,%rax,1)
movups (%rsi,%rax,4),%xmm0
movups 0x10(%rsi,%rax,4),%xmm1
movups %xmm0,(%rdi,%rax,4)
movups %xmm1,0x10(%rdi,%rax,4)
movups 0x20(%rsi,%rax,4),%xmm0
movups 0x30(%rsi,%rax,4),%xmm1
movups %xmm0,0x20(%rdi,%rax,4)
movups %xmm1,0x30(%rdi,%rax,4)
movups 0x40(%rsi,%rax,4),%xmm0
movups 0x50(%rsi,%rax,4),%xmm1
movups %xmm0,0x40(%rdi,%rax,4)
movups %xmm1,0x50(%rdi,%rax,4)
movups 0x60(%rsi,%rax,4),%xmm0
movups 0x70(%rsi,%rax,4),%xmm1
movups %xmm0,0x60(%rdi,%rax,4)
movups %xmm1,0x70(%rdi,%rax,4)
add    $0x20,%rax
add    $0xfffffffffffffffc,%rcx
jne    1180 <do_move+0x80>
test   %r10,%r10
je     121b <do_move+0x11b>
lea    (%rdi,%rax,4),%rcx
add    $0x10,%rcx
lea    (%rsi,%rax,4),%rax
add    $0x10,%rax
shl    $0x5,%r10
xor    %ebx,%ebx
cs nopw 0x0(%rax,%rax,1)
nopl   (%rax)
movups -0x10(%rax,%rbx,1),%xmm0
movups (%rax,%rbx,1),%xmm1
movups %xmm0,-0x10(%rcx,%rbx,1)
movups %xmm1,(%rcx,%rbx,1)
add    $0x20,%rbx
cmp    %rbx,%r10
jne    1200 <do_move+0x100>
lea    (%rsi,%r8,4),%rsi
lea    (%rdi,%r8,4),%rdi
cmp    %r8,%r9
je     12d1 <do_move+0x1d1>
mov    %r11d,%eax
sub    %r8d,%eax
mov    %r8d,%r9d
not    %r9d
add    %r11d,%r9d
and    $0x7,%eax
je     1266 <do_move+0x166>
neg    %eax
xor    %ecx,%ecx
cs nopw 0x0(%rax,%rax,1)
xchg   %ax,%ax
mov    (%rsi),%ebx
add    $0x4,%rsi
mov    %ebx,(%rdi)
add    $0x4,%rdi
add    $0xffffffff,%ecx
cmp    %ecx,%eax
jne    1250 <do_move+0x150>
sub    %ecx,%r8d
cmp    $0x7,%r9d
jb     12d1 <do_move+0x1d1>
sub    %r8d,%r11d
xor    %ecx,%ecx
xor    %eax,%eax
cs nopw 0x0(%rax,%rax,1)
nopl   (%rax)
mov    (%rsi,%rcx,4),%ebx
mov    %ebx,(%rdi,%rcx,4)
mov    0x4(%rsi,%rcx,4),%ebx
mov    %ebx,0x4(%rdi,%rcx,4)
mov    0x8(%rsi,%rcx,4),%ebx
mov    %ebx,0x8(%rdi,%rcx,4)
mov    0xc(%rsi,%rcx,4),%ebx
mov    %ebx,0xc(%rdi,%rcx,4)
mov    0x10(%rsi,%rcx,4),%ebx
mov    %ebx,0x10(%rdi,%rcx,4)
mov    0x14(%rsi,%rcx,4),%ebx
mov    %ebx,0x14(%rdi,%rcx,4)
mov    0x18(%rsi,%rcx,4),%ebx
mov    %ebx,0x18(%rdi,%rcx,4)
mov    0x1c(%rsi,%rcx,4),%ebx
mov    %ebx,0x1c(%rdi,%rcx,4)
add    $0xffffffffffffffe0,%rax
add    $0x8,%rcx
cmp    %ecx,%r11d
jne    1280 <do_move+0x180>
sub    %rax,%rsi
sub    %rax,%rdi
and    $0x3,%edx
je     12f0 <do_move+0x1f0>
mov    (%rsi),%al
mov    %al,(%rdi)
cmp    $0x1,%edx
je     12f0 <do_move+0x1f0>
mov    0x1(%rsi),%al
mov    %al,0x1(%rdi)
cmp    $0x2,%edx
je     12f0 <do_move+0x1f0>
mov    0x2(%rsi),%al
mov    %al,0x2(%rdi)
pop    %rbx
ret

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

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