#define NULL ((void *)0)
typedef unsigned long size_t; // Customize by platform.
typedef long intptr_t;
typedef unsigned long uintptr_t;
typedef long scalar_t__; // Either arithmetic or pointer type.
/* By default, we understand bool (as a convenience). */
typedef int bool;
#define false 0
#define true 1

/* Forward declarations */

/* Type definitions */

/* Variables and functions */
int strlen(char *);
int /*<<< orphan*/ xfree(char *);
char *xmalloc(unsigned int);
char *dosubstr(char *s, register int v1, register int v2) {
  register char *s1, *s2;
  char *p;
  if (!s)
    return (0);
  if (v2 >= strlen(s))
    v2 = strlen(s) - 1;
  if (v1 < 0 || v1 > v2) {
    xfree(s);
    p = xmalloc((unsigned)1);
    p[0] = 0;
    return (p);
  }
  s2 = p = xmalloc((unsigned)(v2 - v1 + 2));
  s1 = &s[v1];
  for (; v1 <= v2; s1++, s2++, v1++)
    *s2 = *s1;
  *s2 = 0;
  xfree(s);
  return (p);
}


x86 assembly (clang, -O0):
<dosubstr>:
push   %rbp
mov    %rsp,%rbp
sub    $0x40,%rsp
mov    %rdi,-0x10(%rbp)
mov    %esi,-0x14(%rbp)
mov    %edx,-0x18(%rbp)
cmpq   $0x0,-0x10(%rbp)
jne    115a <dosubstr+0x2a>
movq   $0x0,-0x8(%rbp)
jmp    1241 <dosubstr+0x111>
mov    -0x18(%rbp),%eax
mov    %eax,-0x34(%rbp)
mov    -0x10(%rbp),%rdi
call   1030 <strlen@plt>
mov    %eax,%ecx
mov    -0x34(%rbp),%eax
cmp    %ecx,%eax
jl     1185 <dosubstr+0x55>
mov    -0x10(%rbp),%rdi
call   1030 <strlen@plt>
sub    $0x1,%eax
mov    %eax,-0x18(%rbp)
cmpl   $0x0,-0x14(%rbp)
jl     119b <dosubstr+0x6b>
mov    -0x14(%rbp),%eax
cmp    -0x18(%rbp),%eax
jle    11c6 <dosubstr+0x96>
mov    -0x10(%rbp),%rdi
call   1040 <xfree@plt>
mov    $0x1,%edi
call   1050 <xmalloc@plt>
mov    %rax,-0x30(%rbp)
mov    -0x30(%rbp),%rax
movb   $0x0,(%rax)
mov    -0x30(%rbp),%rax
mov    %rax,-0x8(%rbp)
jmp    1241 <dosubstr+0x111>
mov    -0x18(%rbp),%edi
sub    -0x14(%rbp),%edi
add    $0x2,%edi
call   1050 <xmalloc@plt>
mov    %rax,-0x30(%rbp)
mov    %rax,-0x28(%rbp)
mov    -0x10(%rbp),%rax
movslq -0x14(%rbp),%rcx
add    %rcx,%rax
mov    %rax,-0x20(%rbp)
mov    -0x14(%rbp),%eax
cmp    -0x18(%rbp),%eax
jg     1229 <dosubstr+0xf9>
mov    -0x20(%rbp),%rax
mov    (%rax),%cl
mov    -0x28(%rbp),%rax
mov    %cl,(%rax)
mov    -0x20(%rbp),%rax
add    $0x1,%rax
mov    %rax,-0x20(%rbp)
mov    -0x28(%rbp),%rax
add    $0x1,%rax
mov    %rax,-0x28(%rbp)
mov    -0x14(%rbp),%eax
add    $0x1,%eax
mov    %eax,-0x14(%rbp)
jmp    11eb <dosubstr+0xbb>
mov    -0x28(%rbp),%rax
movb   $0x0,(%rax)
mov    -0x10(%rbp),%rdi
call   1040 <xfree@plt>
mov    -0x30(%rbp),%rax
mov    %rax,-0x8(%rbp)
mov    -0x8(%rbp),%rax
add    $0x40,%rsp
pop    %rbp
ret

x86 assembly (clang, -O2):
<dosubstr>:
push   %rbp
push   %r15
push   %r14
push   %r13
push   %r12
push   %rbx
push   %rax
test   %rdi,%rdi
je     1257 <dosubstr+0x127>
mov    %edx,%r15d
mov    %esi,%ebx
mov    %rdi,%r14
call   1030 <strlen@plt>
cmp    %r15d,%eax
jg     1165 <dosubstr+0x35>
mov    %r14,%rdi
call   1030 <strlen@plt>
mov    %eax,%r15d
add    $0xffffffff,%r15d
test   %ebx,%ebx
js     125f <dosubstr+0x12f>
mov    %r15d,%r13d
sub    %ebx,%r13d
jl     125f <dosubstr+0x12f>
lea    0x2(%r13),%edi
call   1050 <xmalloc@plt>
mov    %rax,%r12
mov    %ebx,%r9d
lea    (%r14,%r9,1),%rcx
cmp    $0x1f,%r13d
jb     11b7 <dosubstr+0x87>
lea    (%r9,%r13,1),%rdx
add    %r14,%rdx
add    $0x1,%rdx
cmp    %rdx,%rax
jae    127c <dosubstr+0x14c>
lea    (%rax,%r13,1),%rdx
add    $0x1,%rdx
cmp    %rdx,%rcx
jae    127c <dosubstr+0x14c>
mov    %r12,%rax
mov    %r15d,%ebp
sub    %ebx,%ebp
lea    0x1(%rbp),%esi
and    $0x7,%esi
je     11e7 <dosubstr+0xb7>
neg    %esi
xor    %edi,%edi
nopl   0x0(%rax,%rax,1)
movzbl (%rcx),%edx
mov    %dl,(%rax)
add    $0x1,%rcx
add    $0x1,%rax
add    $0xffffffffffffffff,%rdi
cmp    %edi,%esi
jne    11d0 <dosubstr+0xa0>
sub    %edi,%ebx
cmp    $0x7,%ebp
jb     1363 <dosubstr+0x233>
sub    %ebx,%r15d
add    $0x1,%r15d
xor    %edx,%edx
nopl   0x0(%rax)
movzbl (%rcx,%rdx,1),%ebx
mov    %bl,(%rax,%rdx,1)
movzbl 0x1(%rcx,%rdx,1),%ebx
mov    %bl,0x1(%rax,%rdx,1)
movzbl 0x2(%rcx,%rdx,1),%ebx
mov    %bl,0x2(%rax,%rdx,1)
movzbl 0x3(%rcx,%rdx,1),%ebx
mov    %bl,0x3(%rax,%rdx,1)
movzbl 0x4(%rcx,%rdx,1),%ebx
mov    %bl,0x4(%rax,%rdx,1)
movzbl 0x5(%rcx,%rdx,1),%ebx
mov    %bl,0x5(%rax,%rdx,1)
movzbl 0x6(%rcx,%rdx,1),%ebx
mov    %bl,0x6(%rax,%rdx,1)
movzbl 0x7(%rcx,%rdx,1),%ebx
mov    %bl,0x7(%rax,%rdx,1)
add    $0x8,%rdx
cmp    %edx,%r15d
jne    1200 <dosubstr+0xd0>
add    %rdx,%rax
jmp    1363 <dosubstr+0x233>
xor    %r12d,%r12d
jmp    136e <dosubstr+0x23e>
mov    %r14,%rdi
call   1040 <xfree@plt>
mov    $0x1,%edi
call   1050 <xmalloc@plt>
mov    %rax,%r12
movb   $0x0,(%rax)
jmp    136e <dosubstr+0x23e>
add    $0x1,%r13
mov    %r13,%r8
and    $0xffffffffffffffe0,%r8
lea    -0x20(%r8),%rsi
mov    %rsi,%rdi
shr    $0x5,%rdi
add    $0x1,%rdi
mov    %edi,%edx
and    $0x3,%edx
cmp    $0x60,%rsi
jae    12a5 <dosubstr+0x175>
xor    %esi,%esi
jmp    1321 <dosubstr+0x1f1>
and    $0xfffffffffffffffc,%rdi
lea    (%r9,%r14,1),%rbp
add    $0x70,%rbp
xor    %esi,%esi
cs nopw 0x0(%rax,%rax,1)
nopl   (%rax)
movups -0x70(%rbp,%rsi,1),%xmm0
movups -0x60(%rbp,%rsi,1),%xmm1
movups %xmm0,(%r12,%rsi,1)
movups %xmm1,0x10(%r12,%rsi,1)
movups -0x50(%rbp,%rsi,1),%xmm0
movups -0x40(%rbp,%rsi,1),%xmm1
movups %xmm0,0x20(%r12,%rsi,1)
movups %xmm1,0x30(%r12,%rsi,1)
movups -0x30(%rbp,%rsi,1),%xmm0
movups -0x20(%rbp,%rsi,1),%xmm1
movups %xmm0,0x40(%r12,%rsi,1)
movups %xmm1,0x50(%r12,%rsi,1)
movups -0x10(%rbp,%rsi,1),%xmm0
movups 0x0(%rbp,%rsi,1),%xmm1
movups %xmm0,0x60(%r12,%rsi,1)
movups %xmm1,0x70(%r12,%rsi,1)
sub    $0xffffffffffffff80,%rsi
add    $0xfffffffffffffffc,%rdi
jne    12c0 <dosubstr+0x190>
test   %rdx,%rdx
je     135b <dosubstr+0x22b>
add    %rsi,%r9
lea    (%r14,%r9,1),%rdi
add    $0x10,%rdi
add    %rax,%rsi
add    $0x10,%rsi
shl    $0x5,%rdx
xor    %ebp,%ebp
xchg   %ax,%ax
movups -0x10(%rdi,%rbp,1),%xmm0
movups (%rdi,%rbp,1),%xmm1
movups %xmm0,-0x10(%rsi,%rbp,1)
movups %xmm1,(%rsi,%rbp,1)
add    $0x20,%rbp
cmp    %rbp,%rdx
jne    1340 <dosubstr+0x210>
add    %r8,%rax
cmp    %r8,%r13
jne    1380 <dosubstr+0x250>
movb   $0x0,(%rax)
mov    %r14,%rdi
call   1040 <xfree@plt>
mov    %r12,%rax
add    $0x8,%rsp
pop    %rbx
pop    %r12
pop    %r13
pop    %r14
pop    %r15
pop    %rbp
ret
add    %r8,%rcx
add    %r8d,%ebx
jmp    11ba <dosubstr+0x8a>

LLVM IR (-O0):
define i8* @dosubstr(i8* %0, i32 %1, i32 %2) {
%4 = alloca i8*
%5 = alloca i8*
%6 = alloca i32
%7 = alloca i32
%8 = alloca i8*
%9 = alloca i8*
%10 = alloca i8*
store i8* %0, i8** %5
store i32 %1, i32* %6
store i32 %2, i32* %7
%11 = load i8*, i8** %5
%12 = icmp ne i8* %11, null
br i1 %12, label %14, label %13
13: ; preds = %3
store i8* null, i8** %4
br label %67
14: ; preds = %3
%15 = load i32, i32* %7
%16 = load i8*, i8** %5
%17 = call i32 @strlen(i8* %16)
%18 = icmp sge i32 %15, %17
br i1 %18, label %19, label %23
19: ; preds = %14
%20 = load i8*, i8** %5
%21 = call i32 @strlen(i8* %20)
%22 = sub nsw i32 %21, 1
store i32 %22, i32* %7
br label %23
23: ; preds = %19, %14
%24 = load i32, i32* %6
%25 = icmp slt i32 %24, 0
br i1 %25, label %30, label %26
26: ; preds = %23
%27 = load i32, i32* %6
%28 = load i32, i32* %7
%29 = icmp sgt i32 %27, %28
br i1 %29, label %30, label %37
30: ; preds = %26, %23
%31 = load i8*, i8** %5
%32 = call i32 @xfree(i8* %31)
%33 = call i8* @xmalloc(i32 1)
store i8* %33, i8** %10
%34 = load i8*, i8** %10
%35 = getelementptr inbounds i8, i8* %34, i64 0
store i8 0, i8* %35
%36 = load i8*, i8** %10
store i8* %36, i8** %4
br label %67
37: ; preds = %26
%38 = load i32, i32* %7
%39 = load i32, i32* %6
%40 = sub nsw i32 %38, %39
%41 = add nsw i32 %40, 2
%42 = call i8* @xmalloc(i32 %41)
store i8* %42, i8** %10
store i8* %42, i8** %9
%43 = load i8*, i8** %5
%44 = load i32, i32* %6
%45 = sext i32 %44 to i64
%46 = getelementptr inbounds i8, i8* %43, i64 %45
store i8* %46, i8** %8
br label %47
47: ; preds = %55, %37
%48 = load i32, i32* %6
%49 = load i32, i32* %7
%50 = icmp sle i32 %48, %49
br i1 %50, label %51, label %62
51: ; preds = %47
%52 = load i8*, i8** %8
%53 = load i8, i8* %52
%54 = load i8*, i8** %9
store i8 %53, i8* %54
br label %55
55: ; preds = %51
%56 = load i8*, i8** %8
%57 = getelementptr inbounds i8, i8* %56, i32 1
store i8* %57, i8** %8
%58 = load i8*, i8** %9
%59 = getelementptr inbounds i8, i8* %58, i32 1
store i8* %59, i8** %9
%60 = load i32, i32* %6
%61 = add nsw i32 %60, 1
store i32 %61, i32* %6
br label %47
62: ; preds = %47
%63 = load i8*, i8** %9
store i8 0, i8* %63
%64 = load i8*, i8** %5
%65 = call i32 @xfree(i8* %64)
%66 = load i8*, i8** %10
store i8* %66, i8** %4
br label %67
67: ; preds = %62, %30, %13
%68 = load i8*, i8** %4
ret i8* %68
}

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