void *my_strcpy(void *dst, const void *src, unsigned int strlen) {
  if (!(dst && src))
    return 0;
  char *pchdst = (char *)dst;
  char *pchsrc = (char *)src;
  while (strlen--)
    *pchdst++ = *pchsrc++;
  return dst;
}


x86 assembly (clang, -O0):
<my_strcpy>:
push   %rbp
mov    %rsp,%rbp
mov    %rdi,-0x10(%rbp)
mov    %rsi,-0x18(%rbp)
mov    %edx,-0x1c(%rbp)
cmpq   $0x0,-0x10(%rbp)
je     1125 <my_strcpy+0x25>
cmpq   $0x0,-0x18(%rbp)
jne    1132 <my_strcpy+0x32>
movq   $0x0,-0x8(%rbp)
jmp    1185 <my_strcpy+0x85>
mov    -0x10(%rbp),%rax
mov    %rax,-0x28(%rbp)
mov    -0x18(%rbp),%rax
mov    %rax,-0x30(%rbp)
mov    -0x1c(%rbp),%eax
mov    %eax,%ecx
add    $0xffffffff,%ecx
mov    %ecx,-0x1c(%rbp)
cmp    $0x0,%eax
je     117d <my_strcpy+0x7d>
mov    -0x30(%rbp),%rax
mov    %rax,%rcx
add    $0x1,%rcx
mov    %rcx,-0x30(%rbp)
mov    (%rax),%cl
mov    -0x28(%rbp),%rax
mov    %rax,%rdx
add    $0x1,%rdx
mov    %rdx,-0x28(%rbp)
mov    %cl,(%rax)
jmp    1142 <my_strcpy+0x42>
mov    -0x10(%rbp),%rax
mov    %rax,-0x8(%rbp)
mov    -0x8(%rbp),%rax
pop    %rbp
ret

x86 assembly (clang, -O2):
<my_strcpy>:
push   %r14
push   %rbx
xor    %eax,%eax
test   %rdi,%rdi
je     11f9 <my_strcpy+0xf9>
test   %rsi,%rsi
je     11f9 <my_strcpy+0xf9>
test   %edx,%edx
je     11f6 <my_strcpy+0xf6>
lea    -0x1(%rdx),%r8d
cmp    $0x7,%r8d
jb     114b <my_strcpy+0x4b>
lea    (%rsi,%r8,1),%rax
add    $0x1,%rax
cmp    %rdi,%rax
jbe    11fd <my_strcpy+0xfd>
lea    (%rdi,%r8,1),%rax
add    $0x1,%rax
cmp    %rsi,%rax
jbe    11fd <my_strcpy+0xfd>
mov    %rsi,%rcx
mov    %rdi,%r11
lea    -0x1(%rdx),%r8d
test   $0x7,%dl
je     1188 <my_strcpy+0x88>
mov    %edx,%esi
and    $0x7,%esi
xor    %ebx,%ebx
cs nopw 0x0(%rax,%rax,1)
nopl   0x0(%rax,%rax,1)
movzbl (%rcx,%rbx,1),%eax
mov    %al,(%r11,%rbx,1)
add    $0x1,%rbx
cmp    %ebx,%esi
jne    1170 <my_strcpy+0x70>
add    %rbx,%rcx
add    %rbx,%r11
sub    %ebx,%edx
cmp    $0x7,%r8d
jb     11f6 <my_strcpy+0xf6>
mov    %edx,%edx
xor    %esi,%esi
cs nopw 0x0(%rax,%rax,1)
nopl   0x0(%rax)
movzbl (%rcx,%rsi,1),%eax
mov    %al,(%r11,%rsi,1)
movzbl 0x1(%rcx,%rsi,1),%eax
mov    %al,0x1(%r11,%rsi,1)
movzbl 0x2(%rcx,%rsi,1),%eax
mov    %al,0x2(%r11,%rsi,1)
movzbl 0x3(%rcx,%rsi,1),%eax
mov    %al,0x3(%r11,%rsi,1)
movzbl 0x4(%rcx,%rsi,1),%eax
mov    %al,0x4(%r11,%rsi,1)
movzbl 0x5(%rcx,%rsi,1),%eax
mov    %al,0x5(%r11,%rsi,1)
movzbl 0x6(%rcx,%rsi,1),%eax
mov    %al,0x6(%r11,%rsi,1)
movzbl 0x7(%rcx,%rsi,1),%eax
mov    %al,0x7(%r11,%rsi,1)
add    $0x8,%rsi
cmp    %esi,%edx
jne    11a0 <my_strcpy+0xa0>
mov    %rdi,%rax
pop    %rbx
pop    %r14
ret
movabs $0x1ffffffe0,%r9
cmp    $0x1f,%r8d
jae    1215 <my_strcpy+0x115>
xor    %r10d,%r10d
jmp    12fa <my_strcpy+0x1fa>
lea    0x1(%r8),%r11
mov    %r11,%r10
and    %r9,%r10
lea    -0x20(%r10),%rax
mov    %rax,%rcx
shr    $0x5,%rcx
add    $0x1,%rcx
mov    %ecx,%r14d
and    $0x3,%r14d
cmp    $0x60,%rax
jae    123f <my_strcpy+0x13f>
xor    %ebx,%ebx
jmp    12a8 <my_strcpy+0x1a8>
and    $0xfffffffffffffffc,%rcx
xor    %ebx,%ebx
cs nopw 0x0(%rax,%rax,1)
nop
movups (%rsi,%rbx,1),%xmm0
movups 0x10(%rsi,%rbx,1),%xmm1
movups %xmm0,(%rdi,%rbx,1)
movups %xmm1,0x10(%rdi,%rbx,1)
movups 0x20(%rsi,%rbx,1),%xmm0
movups 0x30(%rsi,%rbx,1),%xmm1
movups %xmm0,0x20(%rdi,%rbx,1)
movups %xmm1,0x30(%rdi,%rbx,1)
movups 0x40(%rsi,%rbx,1),%xmm0
movups 0x50(%rsi,%rbx,1),%xmm1
movups %xmm0,0x40(%rdi,%rbx,1)
movups %xmm1,0x50(%rdi,%rbx,1)
movups 0x60(%rsi,%rbx,1),%xmm0
movups 0x70(%rsi,%rbx,1),%xmm1
movups %xmm0,0x60(%rdi,%rbx,1)
movups %xmm1,0x70(%rdi,%rbx,1)
sub    $0xffffffffffffff80,%rbx
add    $0xfffffffffffffffc,%rcx
jne    1250 <my_strcpy+0x150>
test   %r14,%r14
je     12eb <my_strcpy+0x1eb>
lea    (%rdi,%rbx,1),%rcx
add    $0x10,%rcx
add    %rsi,%rbx
add    $0x10,%rbx
shl    $0x5,%r14
xor    %eax,%eax
cs nopw 0x0(%rax,%rax,1)
nopl   0x0(%rax)
movups -0x10(%rbx,%rax,1),%xmm0
movups (%rbx,%rax,1),%xmm1
movups %xmm0,-0x10(%rcx,%rax,1)
movups %xmm1,(%rcx,%rax,1)
add    $0x20,%rax
cmp    %rax,%r14
jne    12d0 <my_strcpy+0x1d0>
cmp    %r10,%r11
je     11f6 <my_strcpy+0xf6>
test   $0x18,%r11b
je     132f <my_strcpy+0x22f>
add    $0x1,%r8
add    $0x18,%r9
and    %r8,%r9
lea    (%rsi,%r9,1),%rcx
lea    (%rdi,%r9,1),%r11
sub    %r9d,%edx
mov    (%rsi,%r10,1),%rbx
mov    %rbx,(%rdi,%r10,1)
add    $0x8,%r10
cmp    %r10,%r9
jne    1310 <my_strcpy+0x210>
cmp    %r9,%r8
jne    1151 <my_strcpy+0x51>
jmp    11f6 <my_strcpy+0xf6>
sub    %r10d,%edx
lea    (%rdi,%r10,1),%r11
add    %r10,%rsi
mov    %rsi,%rcx
jmp    1151 <my_strcpy+0x51>

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

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