#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 /*<<< orphan*/ free(char *);
scalar_t__ malloc(int);
int /*<<< orphan*/ strcpy(char *, char *);
int strlen(char *);
char *ssubstr(char *str, int start, int len) {
  int l = strlen(str);
  int i, z = 0;
  if (start < 0 || len + start > l || len < 0) {
    return str;
  }
  char *tmp = (char *)malloc(len);
  for (i = start; i < start + len; ++i) {
    tmp[z] = str[i];
    ++z;
  }
  tmp[z] = '\0';
  strcpy(str, tmp);
  free(tmp);
  return str;
}


x86 assembly (clang, -O0):
<ssubstr>:
push   %rbp
mov    %rsp,%rbp
sub    $0x30,%rsp
mov    %rdi,-0x10(%rbp)
mov    %esi,-0x14(%rbp)
mov    %edx,-0x18(%rbp)
mov    -0x10(%rbp),%rdi
call   1050 <strlen@plt>
mov    %eax,-0x1c(%rbp)
movl   $0x0,-0x24(%rbp)
cmpl   $0x0,-0x14(%rbp)
jl     1188 <ssubstr+0x48>
mov    -0x18(%rbp),%eax
add    -0x14(%rbp),%eax
cmp    -0x1c(%rbp),%eax
jg     1188 <ssubstr+0x48>
cmpl   $0x0,-0x18(%rbp)
jge    1195 <ssubstr+0x55>
mov    -0x10(%rbp),%rax
mov    %rax,-0x8(%rbp)
jmp    120f <ssubstr+0xcf>
mov    -0x18(%rbp),%edi
call   1060 <malloc@plt>
mov    %rax,-0x30(%rbp)
mov    -0x14(%rbp),%eax
mov    %eax,-0x20(%rbp)
mov    -0x20(%rbp),%eax
mov    -0x14(%rbp),%ecx
add    -0x18(%rbp),%ecx
cmp    %ecx,%eax
jge    11e5 <ssubstr+0xa5>
mov    -0x10(%rbp),%rax
movslq -0x20(%rbp),%rcx
mov    (%rax,%rcx,1),%dl
mov    -0x30(%rbp),%rax
movslq -0x24(%rbp),%rcx
mov    %dl,(%rax,%rcx,1)
mov    -0x24(%rbp),%eax
add    $0x1,%eax
mov    %eax,-0x24(%rbp)
mov    -0x20(%rbp),%eax
add    $0x1,%eax
mov    %eax,-0x20(%rbp)
jmp    11a7 <ssubstr+0x67>
mov    -0x30(%rbp),%rax
movslq -0x24(%rbp),%rcx
movb   $0x0,(%rax,%rcx,1)
mov    -0x10(%rbp),%rdi
mov    -0x30(%rbp),%rsi
call   1040 <strcpy@plt>
mov    -0x30(%rbp),%rdi
call   1030 <free@plt>
mov    -0x10(%rbp),%rax
mov    %rax,-0x8(%rbp)
mov    -0x8(%rbp),%rax
add    $0x30,%rsp
pop    %rbp
ret

x86 assembly (clang, -O2):
<ssubstr>:
push   %rbp
push   %r15
push   %r14
push   %r12
push   %rbx
mov    %edx,%r12d
mov    %esi,%r15d
mov    %rdi,%r14
call   1050 <strlen@plt>
test   %r15d,%r15d
js     12ee <ssubstr+0x1ae>
test   %r12d,%r12d
js     12ee <ssubstr+0x1ae>
lea    (%r12,%r15,1),%ebp
cmp    %eax,%ebp
jg     12ee <ssubstr+0x1ae>
mov    %r12d,%edi
call   1060 <malloc@plt>
mov    %rax,%rbx
test   %r12d,%r12d
je     11a8 <ssubstr+0x68>
mov    %r15d,%eax
movslq %ebp,%r10
lea    0x1(%rax),%rcx
cmp    %r10,%rcx
mov    %r10,%r8
cmovg  %rcx,%r8
sub    %rax,%r8
cmp    $0x20,%r8
jae    11af <ssubstr+0x6f>
xor    %edx,%edx
jmp    12c0 <ssubstr+0x180>
xor    %eax,%eax
jmp    12d7 <ssubstr+0x197>
cmp    %r10,%rcx
cmovle %r10,%rcx
lea    (%r14,%rcx,1),%rdx
cmp    %rbx,%rdx
jbe    11d5 <ssubstr+0x95>
sub    %rax,%rcx
add    %rbx,%rcx
lea    (%r14,%rax,1),%rdx
cmp    %rcx,%rdx
jae    11d5 <ssubstr+0x95>
xor    %edx,%edx
jmp    12c0 <ssubstr+0x180>
mov    %r8,%rdx
and    $0xffffffffffffffe0,%rdx
lea    -0x20(%rdx),%rcx
mov    %rcx,%rdi
shr    $0x5,%rdi
add    $0x1,%rdi
mov    %edi,%r9d
and    $0x3,%r9d
cmp    $0x60,%rcx
jae    11fc <ssubstr+0xbc>
xor    %esi,%esi
jmp    1268 <ssubstr+0x128>
and    $0xfffffffffffffffc,%rdi
lea    (%rax,%r14,1),%rcx
add    $0x70,%rcx
xor    %esi,%esi
nopw   0x0(%rax,%rax,1)
movups -0x70(%rcx,%rsi,1),%xmm0
movups -0x60(%rcx,%rsi,1),%xmm1
movups %xmm0,(%rbx,%rsi,1)
movups %xmm1,0x10(%rbx,%rsi,1)
movups -0x50(%rcx,%rsi,1),%xmm0
movups -0x40(%rcx,%rsi,1),%xmm1
movups %xmm0,0x20(%rbx,%rsi,1)
movups %xmm1,0x30(%rbx,%rsi,1)
movups -0x30(%rcx,%rsi,1),%xmm0
movups -0x20(%rcx,%rsi,1),%xmm1
movups %xmm0,0x40(%rbx,%rsi,1)
movups %xmm1,0x50(%rbx,%rsi,1)
movups -0x10(%rcx,%rsi,1),%xmm0
movups (%rcx,%rsi,1),%xmm1
movups %xmm0,0x60(%rbx,%rsi,1)
movups %xmm1,0x70(%rbx,%rsi,1)
sub    $0xffffffffffffff80,%rsi
add    $0xfffffffffffffffc,%rdi
jne    1210 <ssubstr+0xd0>
test   %r9,%r9
je     12ab <ssubstr+0x16b>
lea    (%rsi,%rbx,1),%rcx
add    $0x10,%rcx
add    %rax,%rsi
add    %r14,%rsi
add    $0x10,%rsi
shl    $0x5,%r9
xor    %edi,%edi
cs nopw 0x0(%rax,%rax,1)
nop
movups -0x10(%rsi,%rdi,1),%xmm0
movups (%rsi,%rdi,1),%xmm1
movups %xmm0,-0x10(%rcx,%rdi,1)
movups %xmm1,(%rcx,%rdi,1)
add    $0x20,%rdi
cmp    %rdi,%r9
jne    1290 <ssubstr+0x150>
cmp    %rdx,%r8
je     12d5 <ssubstr+0x195>
add    %rdx,%rax
cs nopw 0x0(%rax,%rax,1)
nopl   (%rax)
movzbl (%r14,%rax,1),%ecx
mov    %cl,(%rbx,%rdx,1)
add    $0x1,%rdx
add    $0x1,%rax
cmp    %r10,%rax
jl     12c0 <ssubstr+0x180>
mov    %edx,%eax
movb   $0x0,(%rbx,%rax,1)
mov    %r14,%rdi
mov    %rbx,%rsi
call   1040 <strcpy@plt>
mov    %rbx,%rdi
call   1030 <free@plt>
mov    %r14,%rax
pop    %rbx
pop    %r12
pop    %r14
pop    %r15
pop    %rbp
ret

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

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