void substring(char s[], char sub[], int p, int l) {
  int c = 0;
  while (c < l) {
    sub[c] = s[p + c - 1];
    c++;
  }
  sub[c] = '\0';
}


x86 assembly (clang, -O0):
<substring>:
push   %rbp
mov    %rsp,%rbp
mov    %rdi,-0x8(%rbp)
mov    %rsi,-0x10(%rbp)
mov    %edx,-0x14(%rbp)
mov    %ecx,-0x18(%rbp)
movl   $0x0,-0x1c(%rbp)
mov    -0x1c(%rbp),%eax
cmp    -0x18(%rbp),%eax
jge    1151 <substring+0x51>
mov    -0x8(%rbp),%rax
mov    -0x14(%rbp),%ecx
add    -0x1c(%rbp),%ecx
sub    $0x1,%ecx
movslq %ecx,%rcx
mov    (%rax,%rcx,1),%dl
mov    -0x10(%rbp),%rax
movslq -0x1c(%rbp),%rcx
mov    %dl,(%rax,%rcx,1)
mov    -0x1c(%rbp),%eax
add    $0x1,%eax
mov    %eax,-0x1c(%rbp)
jmp    1119 <substring+0x19>
mov    -0x10(%rbp),%rax
movslq -0x1c(%rbp),%rcx
movb   $0x0,(%rax,%rcx,1)
pop    %rbp
ret

x86 assembly (clang, -O2):
<substring>:
push   %rbp
push   %rbx
test   %ecx,%ecx
jle    11b4 <substring+0xb4>
lea    -0x1(%rdx),%r9d
mov    %ecx,%r8d
cmp    $0x8,%ecx
jae    11bf <substring+0xbf>
xor    %r11d,%r11d
mov    %r11,%rax
not    %rax
add    %r8,%rax
mov    %r8,%rcx
and    $0x3,%rcx
je     1149 <substring+0x49>
nop
lea    (%r9,%r11,1),%ebp
movslq %ebp,%rbp
movzbl (%rdi,%rbp,1),%ebx
mov    %bl,(%rsi,%r11,1)
add    $0x1,%r11
add    $0xffffffffffffffff,%rcx
jne    1130 <substring+0x30>
cmp    $0x3,%rax
jb     11b7 <substring+0xb7>
lea    0x3(%rsi),%rcx
mov    %edx,%edx
mov    %r8,%rax
nopl   0x0(%rax,%rax,1)
lea    (%r11,%r9,1),%ebp
movslq %ebp,%rbp
movzbl (%rdi,%rbp,1),%ebx
mov    %bl,-0x3(%rcx,%r11,1)
lea    (%r11,%rdx,1),%rbp
movslq %ebp,%rbp
movzbl (%rdi,%rbp,1),%ebx
mov    %bl,-0x2(%rcx,%r11,1)
lea    0x1(%rbp),%ebx
movslq %ebx,%rbx
movzbl (%rdi,%rbx,1),%ebx
mov    %bl,-0x1(%rcx,%r11,1)
add    $0x2,%ebp
movslq %ebp,%rbp
movzbl (%rdi,%rbp,1),%ebx
mov    %bl,(%rcx,%r11,1)
add    $0xfffffffffffffffc,%rax
add    $0x4,%rcx
add    $0x4,%rdx
add    $0x4,%r9
cmp    %rax,%r11
jne    1160 <substring+0x60>
jmp    11b7 <substring+0xb7>
xor    %r8d,%r8d
movb   $0x0,(%rsi,%r8,1)
pop    %rbx
pop    %rbp
ret
lea    -0x1(%r8),%rax
lea    (%rdx,%rax,1),%ebx
add    $0xffffffff,%ebx
xor    %r11d,%r11d
cmp    %r9d,%ebx
jl     111d <substring+0x1d>
shr    $0x20,%rax
jne    111d <substring+0x1d>
movslq %r9d,%rax
lea    (%rax,%r8,1),%rbx
add    %rdi,%rbx
cmp    %rsi,%rbx
jbe    11fe <substring+0xfe>
lea    (%rsi,%r8,1),%rbx
add    %rdi,%rax
cmp    %rbx,%rax
jb     111a <substring+0x1a>
cmp    $0x20,%ecx
jae    120b <substring+0x10b>
xor    %r11d,%r11d
jmp    12b0 <substring+0x1b0>
mov    %r8d,%r11d
and    $0xffffffe0,%r11d
lea    -0x20(%r11),%rax
mov    %rax,%r10
shr    $0x5,%r10
add    $0x1,%r10
test   %rax,%rax
je     127d <substring+0x17d>
mov    %r10,%rax
and    $0xfffffffffffffffe,%rax
lea    0x1f(%rdx),%ebx
xor    %ecx,%ecx
cs nopw 0x0(%rax,%rax,1)
nopl   0x0(%rax)
lea    -0x20(%rbx),%ebp
movslq %ebp,%rbp
movups (%rdi,%rbp,1),%xmm0
movups 0x10(%rdi,%rbp,1),%xmm1
movups %xmm0,(%rsi,%rcx,1)
movups %xmm1,0x10(%rsi,%rcx,1)
movslq %ebx,%rbx
movups (%rdi,%rbx,1),%xmm0
movups 0x10(%rdi,%rbx,1),%xmm1
movups %xmm0,0x20(%rsi,%rcx,1)
movups %xmm1,0x30(%rsi,%rcx,1)
add    $0x40,%rcx
add    $0x40,%ebx
add    $0xfffffffffffffffe,%rax
jne    1240 <substring+0x140>
jmp    127f <substring+0x17f>
xor    %ecx,%ecx
test   $0x1,%r10b
je     129d <substring+0x19d>
lea    (%r9,%rcx,1),%eax
cltq
movups (%rdi,%rax,1),%xmm0
movups 0x10(%rdi,%rax,1),%xmm1
movups %xmm0,(%rsi,%rcx,1)
movups %xmm1,0x10(%rsi,%rcx,1)
cmp    %r8,%r11
je     11b7 <substring+0xb7>
test   $0x18,%r8b
je     111d <substring+0x1d>
mov    %r11,%rax
mov    %r8d,%r11d
and    $0xfffffff8,%r11d
nopw   0x0(%rax,%rax,1)
lea    (%r9,%rax,1),%ecx
movslq %ecx,%rcx
mov    (%rdi,%rcx,1),%rcx
mov    %rcx,(%rsi,%rax,1)
add    $0x8,%rax
cmp    %rax,%r11
jne    12c0 <substring+0x1c0>
cmp    %r8,%r11
jne    111d <substring+0x1d>
jmp    11b7 <substring+0xb7>

LLVM IR (-O0):
define void @substring(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
store i32 0, i32* %9
br label %10
10: ; preds = %14, %4
%11 = load i32, i32* %9
%12 = load i32, i32* %8
%13 = icmp slt i32 %11, %12
br i1 %13, label %14, label %29
14: ; preds = %10
%15 = load i8*, i8** %5
%16 = load i32, i32* %7
%17 = load i32, i32* %9
%18 = add nsw i32 %16, %17
%19 = sub nsw i32 %18, 1
%20 = sext i32 %19 to i64
%21 = getelementptr inbounds i8, i8* %15, i64 %20
%22 = load i8, i8* %21
%23 = load i8*, i8** %6
%24 = load i32, i32* %9
%25 = sext i32 %24 to i64
%26 = getelementptr inbounds i8, i8* %23, i64 %25
store i8 %22, i8* %26
%27 = load i32, i32* %9
%28 = add nsw i32 %27, 1
store i32 %28, i32* %9
br label %10
29: ; preds = %10
%30 = load i8*, i8** %6
%31 = load i32, i32* %9
%32 = sext i32 %31 to i64
%33 = getelementptr inbounds i8, i8* %30, i64 %32
store i8 0, i8* %33
ret void
}

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