char *str_cpy(char *dest, const char *src, unsigned f_char, unsigned l_char) {
  unsigned i;
  for (i = f_char; i <= l_char; i++)
    dest[i - f_char] = src[i];
  dest[i - f_char] = '\0';
  return dest;
}


x86 assembly (clang, -O0):
<str_cpy>:
push   %rbp
mov    %rsp,%rbp
mov    %rdi,-0x8(%rbp)
mov    %rsi,-0x10(%rbp)
mov    %edx,-0x14(%rbp)
mov    %ecx,-0x18(%rbp)
mov    -0x14(%rbp),%eax
mov    %eax,-0x1c(%rbp)
mov    -0x1c(%rbp),%eax
cmp    -0x18(%rbp),%eax
ja     114b <str_cpy+0x4b>
mov    -0x10(%rbp),%rax
mov    -0x1c(%rbp),%ecx
mov    (%rax,%rcx,1),%dl
mov    -0x8(%rbp),%rax
mov    -0x1c(%rbp),%ecx
sub    -0x14(%rbp),%ecx
mov    %ecx,%ecx
mov    %dl,(%rax,%rcx,1)
mov    -0x1c(%rbp),%eax
add    $0x1,%eax
mov    %eax,-0x1c(%rbp)
jmp    1118 <str_cpy+0x18>
mov    -0x8(%rbp),%rax
mov    -0x1c(%rbp),%ecx
sub    -0x14(%rbp),%ecx
mov    %ecx,%ecx
movb   $0x0,(%rax,%rcx,1)
mov    -0x8(%rbp),%rax
pop    %rbp
ret

x86 assembly (clang, -O2):
<str_cpy>:
push   %rbp
push   %r15
push   %r14
push   %rbx
mov    %rdi,%rax
mov    %edx,%edi
cmp    %ecx,%edx
ja     1284 <str_cpy+0x184>
lea    0x1(%rcx),%r8d
lea    0x1(%rdx),%ebx
cmp    %ebx,%r8d
mov    %ebx,%r9d
cmova  %r8d,%r9d
sub    %edx,%r9d
mov    %edx,%edi
cmp    $0x20,%r9d
jb     1269 <str_cpy+0x169>
cmp    %ebx,%r8d
mov    %ebx,%ebp
cmova  %r8d,%ebp
add    $0xffffffff,%ebp
mov    %edx,%edi
cmp    %edx,%ebp
jb     1269 <str_cpy+0x169>
cmp    %ebx,%r8d
cmova  %r8d,%ebx
mov    %edx,%edi
not    %edi
add    %ebx,%edi
mov    %edx,%r11d
lea    (%r11,%rdi,1),%rbp
add    %rsi,%rbp
add    $0x1,%rbp
cmp    %rax,%rbp
jbe    1180 <str_cpy+0x80>
lea    (%rdi,%rax,1),%rbp
add    $0x1,%rbp
lea    (%rsi,%r11,1),%rbx
mov    %edx,%edi
cmp    %rbp,%rbx
jb     1269 <str_cpy+0x169>
mov    %r9d,%r8d
and    $0xffffffe0,%r8d
lea    -0x20(%r8),%ebp
mov    %ebp,%r10d
shr    $0x5,%r10d
lea    0x1(%r10),%r14d
xor    %edi,%edi
cmp    $0x60,%ebp
jb     1214 <str_cpy+0x114>
mov    %r14d,%r15d
and    $0xfffffffc,%r15d
xor    %edi,%edi
cs nopw 0x0(%rax,%rax,1)
lea    (%r11,%rdi,1),%rbx
mov    %ebx,%ebp
movups (%rsi,%rbp,1),%xmm0
movups 0x10(%rsi,%rbp,1),%xmm1
movups %xmm0,(%rax,%rdi,1)
movups %xmm1,0x10(%rax,%rdi,1)
lea    0x20(%rbx),%ebp
movups (%rsi,%rbp,1),%xmm0
movups 0x10(%rsi,%rbp,1),%xmm1
movups %xmm0,0x20(%rax,%rdi,1)
movups %xmm1,0x30(%rax,%rdi,1)
lea    0x40(%rbx),%ebp
movups (%rsi,%rbp,1),%xmm0
movups 0x10(%rsi,%rbp,1),%xmm1
movups %xmm0,0x40(%rax,%rdi,1)
movups %xmm1,0x50(%rax,%rdi,1)
add    $0x60,%ebx
movups (%rsi,%rbx,1),%xmm0
movups 0x10(%rsi,%rbx,1),%xmm1
movups %xmm0,0x60(%rax,%rdi,1)
movups %xmm1,0x70(%rax,%rdi,1)
sub    $0xffffffffffffff80,%rdi
add    $0xfffffffc,%r15d
jne    11b0 <str_cpy+0xb0>
test   $0x3,%r14b
je     1260 <str_cpy+0x160>
mov    %edi,%ebp
lea    (%rax,%rbp,1),%r11
add    $0x10,%r11
add    %edx,%edi
add    $0x1,%r10b
movzbl %r10b,%r10d
and    $0x3,%r10d
shl    $0x5,%r10
xor    %ebx,%ebx
nopl   0x0(%rax,%rax,1)
lea    (%rdi,%rbx,1),%ebp
movups (%rsi,%rbp,1),%xmm0
movups 0x10(%rsi,%rbp,1),%xmm1
movups %xmm0,-0x10(%r11,%rbx,1)
movups %xmm1,(%r11,%rbx,1)
add    $0x20,%rbx
cmp    %ebx,%r10d
jne    1240 <str_cpy+0x140>
lea    (%r8,%rdx,1),%edi
cmp    %r8d,%r9d
je     1284 <str_cpy+0x184>
mov    %edx,%r8d
neg    %r8d
nop
mov    %edi,%ebx
movzbl (%rsi,%rbx,1),%ebx
lea    (%r8,%rdi,1),%ebp
mov    %bl,(%rax,%rbp,1)
add    $0x1,%edi
cmp    %ecx,%edi
jbe    1270 <str_cpy+0x170>
sub    %edx,%edi
movb   $0x0,(%rax,%rdi,1)
pop    %rbx
pop    %r14
pop    %r15
pop    %rbp
ret

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

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