void foo(char *x, char *y, char *z, int a) {
  int i;
  for (i = a; i > 0; i--)
    *x++ = *y++ = *z++;
}


x86 assembly (clang, -O0):
<foo>:
push   %rbp
mov    %rsp,%rbp
mov    %rdi,-0x8(%rbp)
mov    %rsi,-0x10(%rbp)
mov    %rdx,-0x18(%rbp)
mov    %ecx,-0x1c(%rbp)
mov    -0x1c(%rbp),%eax
mov    %eax,-0x20(%rbp)
cmpl   $0x0,-0x20(%rbp)
jle    1164 <foo+0x64>
mov    -0x18(%rbp),%rax
mov    %rax,%rcx
add    $0x1,%rcx
mov    %rcx,-0x18(%rbp)
mov    (%rax),%cl
mov    -0x10(%rbp),%rax
mov    %rax,%rdx
add    $0x1,%rdx
mov    %rdx,-0x10(%rbp)
mov    %cl,(%rax)
mov    -0x8(%rbp),%rax
mov    %rax,%rdx
add    $0x1,%rdx
mov    %rdx,-0x8(%rbp)
mov    %cl,(%rax)
mov    -0x20(%rbp),%eax
add    $0xffffffff,%eax
mov    %eax,-0x20(%rbp)
jmp    1119 <foo+0x19>
pop    %rbp
ret

x86 assembly (clang, -O2):
<foo>:
push   %rbp
push   %r15
push   %r14
push   %r12
push   %rbx
test   %ecx,%ecx
jle    1148 <foo+0x48>
lea    -0x1(%rcx),%r8d
cmp    $0x7,%r8d
jae    1151 <foo+0x51>
mov    %rdi,%r10
mov    %rdx,%r11
mov    %rsi,%rbx
add    $0x1,%ecx
xor    %eax,%eax
cs nopw 0x0(%rax,%rax,1)
xchg   %ax,%ax
movzbl (%r11,%rax,1),%edx
mov    %dl,(%rbx,%rax,1)
mov    %dl,(%r10,%rax,1)
add    $0xffffffff,%ecx
add    $0x1,%rax
cmp    $0x1,%ecx
ja     1130 <foo+0x30>
pop    %rbx
pop    %r12
pop    %r14
pop    %r15
pop    %rbp
ret
lea    (%rdi,%r8,1),%rbx
add    $0x1,%rbx
cmp    %rsi,%rbx
seta   %r14b
lea    (%rsi,%r8,1),%rbp
add    $0x1,%rbp
cmp    %rdi,%rbp
seta   %r15b
lea    (%rdx,%r8,1),%rax
add    $0x1,%rax
cmp    %rsi,%rax
seta   %r12b
cmp    %rdx,%rbp
seta   %r9b
cmp    %rdi,%rax
seta   %r11b
cmp    %rdx,%rbx
seta   %r10b
test   %r15b,%r14b
jne    1116 <foo+0x16>
and    %r9b,%r12b
jne    1116 <foo+0x16>
and    %r10b,%r11b
jne    1116 <foo+0x16>
movabs $0x1ffffffe0,%r9
cmp    $0x1f,%r8d
jae    11c5 <foo+0xc5>
xor    %eax,%eax
jmp    1263 <foo+0x163>
lea    0x1(%r8),%r10
mov    %r10,%rax
and    %r9,%rax
lea    -0x20(%rax),%rbx
mov    %rbx,%r11
shr    $0x5,%r11
add    $0x1,%r11
test   %rbx,%rbx
je     12a3 <foo+0x1a3>
mov    %r11,%r14
and    $0xfffffffffffffffe,%r14
xor    %ebx,%ebx
movups (%rdx,%rbx,1),%xmm0
movups 0x10(%rdx,%rbx,1),%xmm1
movups %xmm0,(%rsi,%rbx,1)
movups %xmm1,0x10(%rsi,%rbx,1)
movups %xmm0,(%rdi,%rbx,1)
movups %xmm1,0x10(%rdi,%rbx,1)
movups 0x20(%rdx,%rbx,1),%xmm0
movups 0x30(%rdx,%rbx,1),%xmm1
movups %xmm0,0x20(%rsi,%rbx,1)
movups %xmm1,0x30(%rsi,%rbx,1)
movups %xmm0,0x20(%rdi,%rbx,1)
movups %xmm1,0x30(%rdi,%rbx,1)
add    $0x40,%rbx
add    $0xfffffffffffffffe,%r14
jne    11f0 <foo+0xf0>
test   $0x1,%r11b
je     1254 <foo+0x154>
movups (%rdx,%rbx,1),%xmm0
movups 0x10(%rdx,%rbx,1),%xmm1
movups %xmm0,(%rsi,%rbx,1)
movups %xmm1,0x10(%rsi,%rbx,1)
movups %xmm0,(%rdi,%rbx,1)
movups %xmm1,0x10(%rdi,%rbx,1)
cmp    %rax,%r10
je     1148 <foo+0x48>
test   $0x18,%r10b
je     12ad <foo+0x1ad>
add    $0x1,%r8
add    $0x18,%r9
and    %r8,%r9
sub    %r9d,%ecx
lea    (%rdi,%r9,1),%r10
lea    (%rdx,%r9,1),%r11
lea    (%rsi,%r9,1),%rbx
nopl   (%rax)
mov    (%rdx,%rax,1),%rbp
mov    %rbp,(%rsi,%rax,1)
mov    %rbp,(%rdi,%rax,1)
add    $0x8,%rax
cmp    %rax,%r9
jne    1280 <foo+0x180>
cmp    %r9,%r8
jne    111f <foo+0x1f>
jmp    1148 <foo+0x48>
xor    %ebx,%ebx
test   $0x1,%r11b
jne    1239 <foo+0x139>
jmp    1254 <foo+0x154>
add    %rax,%rsi
add    %rax,%rdx
add    %rax,%rdi
sub    %eax,%ecx
jmp    1116 <foo+0x16>

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

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