int strcopy(char from[], int from_end, char to[], int to_start) {
  int to_end = from_end + to_start;
  to[to_end] = '\0';
  while (--from_end > -1) {
    to[from_end + to_start] = from[from_end];
  }
  return to_end;
}


x86 assembly (clang, -O0):
<strcopy>:
push   %rbp
mov    %rsp,%rbp
mov    %rdi,-0x8(%rbp)
mov    %esi,-0xc(%rbp)
mov    %rdx,-0x18(%rbp)
mov    %ecx,-0x1c(%rbp)
mov    -0xc(%rbp),%eax
add    -0x1c(%rbp),%eax
mov    %eax,-0x20(%rbp)
mov    -0x18(%rbp),%rax
movslq -0x20(%rbp),%rcx
movb   $0x0,(%rax,%rcx,1)
mov    -0xc(%rbp),%eax
add    $0xffffffff,%eax
mov    %eax,-0xc(%rbp)
cmp    $0xffffffff,%eax
jle    1159 <strcopy+0x59>
mov    -0x8(%rbp),%rax
movslq -0xc(%rbp),%rcx
mov    (%rax,%rcx,1),%dl
mov    -0x18(%rbp),%rax
mov    -0xc(%rbp),%ecx
add    -0x1c(%rbp),%ecx
movslq %ecx,%rcx
mov    %dl,(%rax,%rcx,1)
jmp    1127 <strcopy+0x27>
mov    -0x20(%rbp),%eax
pop    %rbp
ret

x86 assembly (clang, -O2):
<strcopy>:
push   %rbp
push   %r15
push   %r14
push   %rbx
lea    (%rcx,%rsi,1),%eax
movslq %eax,%rbx
movb   $0x0,(%rdx,%rbx,1)
test   %esi,%esi
jle    1163 <strcopy+0x63>
mov    %esi,%r8d
movslq %ecx,%r10
cmp    $0x4,%esi
jb     1139 <strcopy+0x39>
lea    (%rdx,%r10,1),%rcx
lea    (%r10,%r8,1),%r9
lea    (%rdi,%r8,1),%rbx
cmp    %rbx,%rcx
jae    116a <strcopy+0x6a>
lea    (%rdx,%r9,1),%rcx
cmp    %rdi,%rcx
jbe    116a <strcopy+0x6a>
mov    %r8,%rcx
add    $0x1,%rcx
add    %r10,%rdx
cs nopw 0x0(%rax,%rax,1)
nopl   (%rax)
movzbl -0x2(%rdi,%rcx,1),%ebx
mov    %bl,-0x2(%rdx,%rcx,1)
add    $0xffffffffffffffff,%rcx
cmp    $0x1,%rcx
ja     1150 <strcopy+0x50>
pop    %rbx
pop    %r14
pop    %r15
pop    %rbp
ret
cmp    $0x10,%esi
jae    1176 <strcopy+0x76>
xor    %esi,%esi
jmp    1255 <strcopy+0x155>
mov    %r8d,%esi
and    $0xfffffff0,%esi
lea    -0x10(%rsi),%rcx
mov    %rcx,%rbx
shr    $0x4,%rbx
add    $0x1,%rbx
mov    %ebx,%r11d
and    $0x3,%r11d
cmp    $0x30,%rcx
jae    119c <strcopy+0x9c>
xor    %ecx,%ecx
jmp    11fb <strcopy+0xfb>
and    $0xfffffffffffffffc,%rbx
lea    (%rdx,%r9,1),%r14
add    $0xfffffffffffffff0,%r14
lea    (%r8,%rdi,1),%r15
add    $0xfffffffffffffff0,%r15
xor    %ecx,%ecx
cs nopw 0x0(%rax,%rax,1)
nopl   0x0(%rax)
movups (%r15,%rcx,1),%xmm0
movups %xmm0,(%r14,%rcx,1)
movups -0x10(%r15,%rcx,1),%xmm0
movups %xmm0,-0x10(%r14,%rcx,1)
movups -0x20(%r15,%rcx,1),%xmm0
movups %xmm0,-0x20(%r14,%rcx,1)
movups -0x30(%r15,%rcx,1),%xmm0
movups %xmm0,-0x30(%r14,%rcx,1)
add    $0xffffffffffffffc0,%rcx
add    $0xfffffffffffffffc,%rbx
jne    11c0 <strcopy+0xc0>
neg    %rcx
test   %r11,%r11
je     1246 <strcopy+0x146>
mov    %r9,%rbx
sub    %rcx,%rbx
lea    (%rbx,%rdx,1),%r14
add    $0xfffffffffffffff0,%r14
mov    %r8,%rbx
sub    %rcx,%rbx
lea    (%rbx,%rdi,1),%r15
add    $0xfffffffffffffff0,%r15
shl    $0x4,%r11
xor    %ebx,%ebx
cs nopw 0x0(%rax,%rax,1)
nopl   0x0(%rax)
movups (%r15,%rbx,1),%xmm0
movups %xmm0,(%r14,%rbx,1)
add    $0xfffffffffffffff0,%rbx
mov    %r11,%rcx
add    %rbx,%rcx
jne    1230 <strcopy+0x130>
cmp    %r8,%rsi
je     1163 <strcopy+0x63>
test   $0xc,%r8b
je     129f <strcopy+0x19f>
mov    %r8d,%r11d
and    $0xfffffffc,%r11d
mov    %r8d,%ecx
and    $0x3,%ecx
lea    (%r8,%rdi,1),%r14
add    $0xfffffffffffffffc,%r14
neg    %rsi
add    %rdx,%r9
add    $0xfffffffffffffffc,%r9
mov    %r11,%rbx
neg    %rbx
nopw   0x0(%rax,%rax,1)
mov    (%r14,%rsi,1),%ebp
mov    %ebp,(%r9,%rsi,1)
add    $0xfffffffffffffffc,%rsi
cmp    %rsi,%rbx
jne    1280 <strcopy+0x180>
cmp    %r8,%r11
jne    113c <strcopy+0x3c>
jmp    1163 <strcopy+0x63>
and    $0xf,%r8d
jmp    1139 <strcopy+0x39>

LLVM IR (-O0):
define i32 @strcopy(i8* %0, i32 %1, i8* %2, i32 %3) {
%5 = alloca i8*
%6 = alloca i32
%7 = alloca i8*
%8 = alloca i32
%9 = alloca i32
store i8* %0, i8** %5
store i32 %1, i32* %6
store i8* %2, i8** %7
store i32 %3, i32* %8
%10 = load i32, i32* %6
%11 = load i32, i32* %8
%12 = add nsw i32 %10, %11
store i32 %12, i32* %9
%13 = load i8*, i8** %7
%14 = load i32, i32* %9
%15 = sext i32 %14 to i64
%16 = getelementptr inbounds i8, i8* %13, i64 %15
store i8 0, i8* %16
br label %17
17: ; preds = %21, %4
%18 = load i32, i32* %6
%19 = add nsw i32 %18, -1
store i32 %19, i32* %6
%20 = icmp sgt i32 %19, -1
br i1 %20, label %21, label %33
21: ; preds = %17
%22 = load i8*, i8** %5
%23 = load i32, i32* %6
%24 = sext i32 %23 to i64
%25 = getelementptr inbounds i8, i8* %22, i64 %24
%26 = load i8, i8* %25
%27 = load i8*, i8** %7
%28 = load i32, i32* %6
%29 = load i32, i32* %8
%30 = add nsw i32 %28, %29
%31 = sext i32 %30 to i64
%32 = getelementptr inbounds i8, i8* %27, i64 %31
store i8 %26, i8* %32
br label %17
33: ; preds = %17
%34 = load i32, i32* %9
ret i32 %34
}

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