void cut(char *s, int pos, char *os1, char *os2) {
  int i = 0;
  while (i < pos) {
    *os1++ = *s++;
    i++;
  }
  os1[i] = '\0';
  while (*s != '\0') {
    *os2++ = *s++;
  }
  os2[i] = '\0';
}


x86 assembly (clang, -O0):
<cut>:
push   %rbp
mov    %rsp,%rbp
mov    %rdi,-0x8(%rbp)
mov    %esi,-0xc(%rbp)
mov    %rdx,-0x18(%rbp)
mov    %rcx,-0x20(%rbp)
movl   $0x0,-0x24(%rbp)
mov    -0x24(%rbp),%eax
cmp    -0xc(%rbp),%eax
jge    1156 <cut+0x56>
mov    -0x8(%rbp),%rax
mov    %rax,%rcx
add    $0x1,%rcx
mov    %rcx,-0x8(%rbp)
mov    (%rax),%cl
mov    -0x18(%rbp),%rax
mov    %rax,%rdx
add    $0x1,%rdx
mov    %rdx,-0x18(%rbp)
mov    %cl,(%rax)
mov    -0x24(%rbp),%eax
add    $0x1,%eax
mov    %eax,-0x24(%rbp)
jmp    111a <cut+0x1a>
mov    -0x18(%rbp),%rax
movslq -0x24(%rbp),%rcx
movb   $0x0,(%rax,%rcx,1)
mov    -0x8(%rbp),%rax
movsbl (%rax),%eax
cmp    $0x0,%eax
je     1199 <cut+0x99>
mov    -0x8(%rbp),%rax
mov    %rax,%rcx
add    $0x1,%rcx
mov    %rcx,-0x8(%rbp)
mov    (%rax),%cl
mov    -0x20(%rbp),%rax
mov    %rax,%rdx
add    $0x1,%rdx
mov    %rdx,-0x20(%rbp)
mov    %cl,(%rax)
jmp    1162 <cut+0x62>
mov    -0x20(%rbp),%rax
movslq -0x24(%rbp),%rcx
movb   $0x0,(%rax,%rcx,1)
pop    %rbp
ret

x86 assembly (clang, -O2):
<cut>:
push   %rbx
xor    %r9d,%r9d
test   %esi,%esi
jle    12b6 <cut+0x1b6>
lea    -0x1(%rsi),%r8d
cmp    $0x1f,%r8d
jb     121c <cut+0x11c>
lea    (%rdi,%r8,1),%rax
add    $0x1,%rax
cmp    %rdx,%rax
jbe    1138 <cut+0x38>
lea    (%rdx,%r8,1),%rax
add    $0x1,%rax
cmp    %rdi,%rax
ja     121c <cut+0x11c>
add    $0x1,%r8
mov    %r8,%r9
and    $0xffffffffffffffe0,%r9
lea    -0x20(%r9),%rax
mov    %rax,%r11
shr    $0x5,%r11
add    $0x1,%r11
mov    %r11d,%r10d
and    $0x3,%r10d
cmp    $0x60,%rax
jae    1163 <cut+0x63>
xor    %eax,%eax
jmp    11c8 <cut+0xc8>
and    $0xfffffffffffffffc,%r11
xor    %eax,%eax
nopl   0x0(%rax)
movups (%rdi,%rax,1),%xmm0
movups 0x10(%rdi,%rax,1),%xmm1
movups %xmm0,(%rdx,%rax,1)
movups %xmm1,0x10(%rdx,%rax,1)
movups 0x20(%rdi,%rax,1),%xmm0
movups 0x30(%rdi,%rax,1),%xmm1
movups %xmm0,0x20(%rdx,%rax,1)
movups %xmm1,0x30(%rdx,%rax,1)
movups 0x40(%rdi,%rax,1),%xmm0
movups 0x50(%rdi,%rax,1),%xmm1
movups %xmm0,0x40(%rdx,%rax,1)
movups %xmm1,0x50(%rdx,%rax,1)
movups 0x60(%rdi,%rax,1),%xmm0
movups 0x70(%rdi,%rax,1),%xmm1
movups %xmm0,0x60(%rdx,%rax,1)
movups %xmm1,0x70(%rdx,%rax,1)
sub    $0xffffffffffffff80,%rax
add    $0xfffffffffffffffc,%r11
jne    1170 <cut+0x70>
test   %r10,%r10
je     120d <cut+0x10d>
lea    (%rdi,%rax,1),%r11
add    $0x10,%r11
add    %rdx,%rax
add    $0x10,%rax
shl    $0x5,%r10
xor    %ebx,%ebx
cs nopw 0x0(%rax,%rax,1)
nopl   0x0(%rax)
movups -0x10(%r11,%rbx,1),%xmm0
movups (%r11,%rbx,1),%xmm1
movups %xmm0,-0x10(%rax,%rbx,1)
movups %xmm1,(%rax,%rbx,1)
add    $0x20,%rbx
cmp    %rbx,%r10
jne    11f0 <cut+0xf0>
add    %r9,%rdx
add    %r9,%rdi
cmp    %r9,%r8
je     12b3 <cut+0x1b3>
mov    %esi,%r10d
sub    %r9d,%r10d
mov    %r9d,%r8d
not    %r8d
add    %esi,%r8d
and    $0x7,%r10d
je     1259 <cut+0x159>
neg    %r10d
xor    %eax,%eax
cs nopw 0x0(%rax,%rax,1)
movzbl (%rdi),%ebx
add    $0x1,%rdi
mov    %bl,(%rdx)
add    $0x1,%rdx
add    $0xffffffffffffffff,%rax
cmp    %eax,%r10d
jne    1240 <cut+0x140>
sub    %eax,%r9d
cmp    $0x7,%r8d
jb     12b3 <cut+0x1b3>
mov    %esi,%eax
sub    %r9d,%eax
cs nopw 0x0(%rax,%rax,1)
xchg   %ax,%ax
movzbl (%rdi),%ebx
mov    %bl,(%rdx)
movzbl 0x1(%rdi),%ebx
mov    %bl,0x1(%rdx)
movzbl 0x2(%rdi),%ebx
mov    %bl,0x2(%rdx)
movzbl 0x3(%rdi),%ebx
mov    %bl,0x3(%rdx)
movzbl 0x4(%rdi),%ebx
mov    %bl,0x4(%rdx)
movzbl 0x5(%rdi),%ebx
mov    %bl,0x5(%rdx)
movzbl 0x6(%rdi),%ebx
mov    %bl,0x6(%rdx)
movzbl 0x7(%rdi),%ebx
add    $0x8,%rdi
mov    %bl,0x7(%rdx)
add    $0x8,%rdx
add    $0xfffffff8,%eax
jne    1270 <cut+0x170>
mov    %esi,%r9d
movb   $0x0,(%rdx,%r9,1)
mov    (%rdi),%al
test   %al,%al
je     12e1 <cut+0x1e1>
add    $0x1,%rdi
cs nopw 0x0(%rax,%rax,1)
nop
mov    %al,(%rcx)
add    $0x1,%rcx
movzbl (%rdi),%eax
add    $0x1,%rdi
test   %al,%al
jne    12d0 <cut+0x1d0>
movb   $0x0,(%rcx,%r9,1)
pop    %rbx
ret

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

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