void strpiece(char *dest, char *src, int i0, int ie) {
  int i;
  for (i = i0; i <= ie; i++)
    dest[i - i0] = src[i];
  dest[ie - i0 + 1] = 0;
}


x86 assembly (clang, -O0):
<strpiece>:
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
jg     114d <strpiece+0x4d>
mov    -0x10(%rbp),%rax
movslq -0x1c(%rbp),%rcx
mov    (%rax,%rcx,1),%dl
mov    -0x8(%rbp),%rax
mov    -0x1c(%rbp),%ecx
sub    -0x14(%rbp),%ecx
movslq %ecx,%rcx
mov    %dl,(%rax,%rcx,1)
mov    -0x1c(%rbp),%eax
add    $0x1,%eax
mov    %eax,-0x1c(%rbp)
jmp    1118 <strpiece+0x18>
mov    -0x8(%rbp),%rax
mov    -0x18(%rbp),%ecx
sub    -0x14(%rbp),%ecx
add    $0x1,%ecx
movslq %ecx,%rcx
movb   $0x0,(%rax,%rcx,1)
pop    %rbp
ret

x86 assembly (clang, -O2):
<strpiece>:
push   %r15
push   %r14
push   %r12
push   %rbx
mov    %ecx,%r11d
sub    %edx,%r11d
jl     12fa <strpiece+0x1fa>
movslq %edx,%r8
mov    %r8,%rdx
cmp    $0x7,%r11d
jb     1281 <strpiece+0x181>
lea    (%rsi,%r8,1),%r9
lea    (%r8,%r11,1),%rax
add    %rsi,%rax
add    $0x1,%rax
cmp    %rdi,%rax
jbe    114b <strpiece+0x4b>
lea    (%r11,%rdi,1),%rax
add    $0x1,%rax
mov    %r8,%rdx
cmp    %rax,%r9
jb     1281 <strpiece+0x181>
movabs $0x1ffffffe0,%r10
cmp    $0x1f,%r11d
jae    1162 <strpiece+0x62>
xor    %eax,%eax
jmp    124c <strpiece+0x14c>
lea    0x1(%r11),%r14
mov    %r14,%rax
and    %r10,%rax
lea    -0x20(%rax),%rdx
mov    %rdx,%r12
shr    $0x5,%r12
add    $0x1,%r12
mov    %r12d,%r15d
and    $0x3,%r15d
cmp    $0x60,%rdx
jae    118c <strpiece+0x8c>
xor    %edx,%edx
jmp    11f8 <strpiece+0xf8>
and    $0xfffffffffffffffc,%r12
lea    (%r8,%rsi,1),%rbx
add    $0x70,%rbx
xor    %edx,%edx
nopw   0x0(%rax,%rax,1)
movups -0x70(%rbx,%rdx,1),%xmm0
movups -0x60(%rbx,%rdx,1),%xmm1
movups %xmm0,(%rdi,%rdx,1)
movups %xmm1,0x10(%rdi,%rdx,1)
movups -0x50(%rbx,%rdx,1),%xmm0
movups -0x40(%rbx,%rdx,1),%xmm1
movups %xmm0,0x20(%rdi,%rdx,1)
movups %xmm1,0x30(%rdi,%rdx,1)
movups -0x30(%rbx,%rdx,1),%xmm0
movups -0x20(%rbx,%rdx,1),%xmm1
movups %xmm0,0x40(%rdi,%rdx,1)
movups %xmm1,0x50(%rdi,%rdx,1)
movups -0x10(%rbx,%rdx,1),%xmm0
movups (%rbx,%rdx,1),%xmm1
movups %xmm0,0x60(%rdi,%rdx,1)
movups %xmm1,0x70(%rdi,%rdx,1)
sub    $0xffffffffffffff80,%rdx
add    $0xfffffffffffffffc,%r12
jne    11a0 <strpiece+0xa0>
test   %r15,%r15
je     123d <strpiece+0x13d>
lea    (%rdx,%rdi,1),%r12
add    $0x10,%r12
add    %r8,%rdx
add    %rsi,%rdx
add    $0x10,%rdx
shl    $0x5,%r15
xor    %ebx,%ebx
cs nopw 0x0(%rax,%rax,1)
nop
movups -0x10(%rdx,%rbx,1),%xmm0
movups (%rdx,%rbx,1),%xmm1
movups %xmm0,-0x10(%r12,%rbx,1)
movups %xmm1,(%r12,%rbx,1)
add    $0x20,%rbx
cmp    %rbx,%r15
jne    1220 <strpiece+0x120>
cmp    %rax,%r14
je     12fa <strpiece+0x1fa>
test   $0x18,%r14b
je     127b <strpiece+0x17b>
lea    0x1(%r11),%r14
add    $0x18,%r10
and    %r14,%r10
lea    (%r10,%r8,1),%rdx
nopl   0x0(%rax,%rax,1)
mov    (%r9,%rax,1),%rbx
mov    %rbx,(%rdi,%rax,1)
add    $0x8,%rax
cmp    %rax,%r10
jne    1260 <strpiece+0x160>
cmp    %r10,%r14
jne    1281 <strpiece+0x181>
jmp    12fa <strpiece+0x1fa>
add    %r8,%rax
mov    %rax,%rdx
lea    0x1(%rcx),%r9d
mov    %r9d,%eax
sub    %edx,%eax
sub    %edx,%ecx
and    $0x3,%eax
je     12b1 <strpiece+0x1b1>
mov    %rdi,%r10
sub    %r8,%r10
nopw   0x0(%rax,%rax,1)
movzbl (%rsi,%rdx,1),%ebx
mov    %bl,(%r10,%rdx,1)
add    $0x1,%rdx
add    $0xffffffff,%eax
jne    12a0 <strpiece+0x1a0>
cmp    $0x3,%ecx
jb     12fa <strpiece+0x1fa>
mov    %r9d,%eax
mov    %rdi,%rcx
sub    %r8,%rcx
add    $0x3,%rcx
cs nopw 0x0(%rax,%rax,1)
nopl   (%rax)
movzbl (%rsi,%rdx,1),%ebx
mov    %bl,-0x3(%rcx,%rdx,1)
movzbl 0x1(%rsi,%rdx,1),%ebx
mov    %bl,-0x2(%rcx,%rdx,1)
movzbl 0x2(%rsi,%rdx,1),%ebx
mov    %bl,-0x1(%rcx,%rdx,1)
movzbl 0x3(%rsi,%rdx,1),%ebx
mov    %bl,(%rcx,%rdx,1)
add    $0x4,%rdx
cmp    %edx,%eax
jne    12d0 <strpiece+0x1d0>
add    $0x1,%r11d
movslq %r11d,%rax
movb   $0x0,(%rdi,%rax,1)
pop    %rbx
pop    %r12
pop    %r14
pop    %r15
ret

LLVM IR (-O0):
define void @strpiece(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 sle i32 %12, %13
br i1 %14, label %15, label %30
15: ; preds = %11
%16 = load i8*, i8** %6
%17 = load i32, i32* %9
%18 = sext 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 nsw i32 %22, %23
%25 = sext 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 nsw i32 %28, 1
store i32 %29, i32* %9
br label %11
30: ; preds = %11
%31 = load i8*, i8** %5
%32 = load i32, i32* %8
%33 = load i32, i32* %7
%34 = sub nsw i32 %32, %33
%35 = add nsw i32 %34, 1
%36 = sext i32 %35 to i64
%37 = getelementptr inbounds i8, i8* %31, i64 %36
store i8 0, i8* %37
ret void
}

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