#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*/ error(char *);
int strlen(char *);
void substr(char *s, char *str) {
  int i, j, len;
  extern int pos1, pos2;
  len = strlen(s);
  if (pos2 > 0 && len > pos2)
    len = pos2;
  else if (pos2 > 0 && len < pos2)
    error("substr: string too short");
  for (j = 0, i = pos1; i < len; i++, j++)
    str[j] = str[i];
  str[j] = '\0';
}


x86 assembly (clang, -O0):
<substr>:
push   %rbp
mov    %rsp,%rbp
sub    $0x20,%rsp
mov    %rdi,-0x8(%rbp)
mov    %rsi,-0x10(%rbp)
mov    -0x8(%rbp),%rdi
call   1030 <strlen@plt>
mov    %eax,-0x1c(%rbp)
mov    0x2ea5(%rip),%rax
cmpl   $0x0,(%rax)
jle    116f <substr+0x4f>
mov    -0x1c(%rbp),%eax
mov    0x2e92(%rip),%rcx
cmp    (%rcx),%eax
jle    116f <substr+0x4f>
mov    0x2e83(%rip),%rax
mov    (%rax),%eax
mov    %eax,-0x1c(%rbp)
jmp    11a2 <substr+0x82>
mov    0x2e72(%rip),%rax
cmpl   $0x0,(%rax)
jle    119d <substr+0x7d>
mov    -0x1c(%rbp),%eax
mov    0x2e5f(%rip),%rcx
cmp    (%rcx),%eax
jge    119d <substr+0x7d>
lea    0xe68(%rip),%rdi
call   1040 <error@plt>
jmp    11a2 <substr+0x82>
movl   $0x0,-0x18(%rbp)
mov    0x2e20(%rip),%rax
mov    (%rax),%eax
mov    %eax,-0x14(%rbp)
mov    -0x14(%rbp),%eax
cmp    -0x1c(%rbp),%eax
jge    11ee <substr+0xce>
mov    -0x10(%rbp),%rax
movslq -0x14(%rbp),%rcx
mov    (%rax,%rcx,1),%dl
mov    -0x10(%rbp),%rax
movslq -0x18(%rbp),%rcx
mov    %dl,(%rax,%rcx,1)
mov    -0x14(%rbp),%eax
add    $0x1,%eax
mov    %eax,-0x14(%rbp)
mov    -0x18(%rbp),%eax
add    $0x1,%eax
mov    %eax,-0x18(%rbp)
jmp    11b5 <substr+0x95>
mov    -0x10(%rbp),%rax
movslq -0x18(%rbp),%rcx
movb   $0x0,(%rax,%rcx,1)
add    $0x20,%rsp
pop    %rbp
ret

x86 assembly (clang, -O2):
<substr>:
push   %r15
push   %r14
push   %rbx
mov    %rsi,%r15
call   1030 <strlen@plt>
mov    %eax,%r14d
mov    0x2eb1(%rip),%rax
mov    (%rax),%eax
test   %eax,%eax
jle    1147 <substr+0x27>
cmp    %eax,%r14d
jle    1147 <substr+0x27>
mov    %eax,%r14d
jmp    115c <substr+0x3c>
test   %eax,%eax
jle    115c <substr+0x3c>
cmp    %eax,%r14d
jge    115c <substr+0x3c>
lea    0xea9(%rip),%rdi
call   1040 <error@plt>
mov    0x2e6d(%rip),%rax
movslq (%rax),%rcx
cmp    %ecx,%r14d
jle    122d <substr+0x10d>
sub    %ecx,%r14d
cmp    $0x8,%r14d
jb     1199 <substr+0x79>
lea    (%rcx,%r14,1),%rax
add    %r15,%rax
cmp    %r15,%rax
jbe    123b <substr+0x11b>
lea    (%r15,%r14,1),%rax
lea    (%r15,%rcx,1),%rdx
cmp    %rax,%rdx
jae    123b <substr+0x11b>
xor    %eax,%eax
mov    %rcx,%rdx
mov    %rax,%r8
not    %r8
add    %r14,%r8
mov    %r14,%rsi
and    $0x3,%rsi
je     11da <substr+0xba>
neg    %rsi
xor    %edi,%edi
mov    %r15,%rbx
nopl   0x0(%rax,%rax,1)
movzbl (%rbx,%rdx,1),%ecx
mov    %cl,(%rbx,%rax,1)
add    $0xffffffffffffffff,%rdi
add    $0x1,%rbx
cmp    %rdi,%rsi
jne    11c0 <substr+0xa0>
sub    %rdi,%rdx
sub    %rdi,%rax
cmp    $0x3,%r8
jb     1230 <substr+0x110>
lea    (%rdx,%r15,1),%rcx
add    $0x3,%rcx
mov    %r14,%rdx
sub    %rax,%rdx
add    %r15,%rax
add    $0x3,%rax
xor    %esi,%esi
nopw   0x0(%rax,%rax,1)
movzbl -0x3(%rcx,%rsi,1),%ebx
mov    %bl,-0x3(%rax,%rsi,1)
movzbl -0x2(%rcx,%rsi,1),%ebx
mov    %bl,-0x2(%rax,%rsi,1)
movzbl -0x1(%rcx,%rsi,1),%ebx
mov    %bl,-0x1(%rax,%rsi,1)
movzbl (%rcx,%rsi,1),%ebx
mov    %bl,(%rax,%rsi,1)
add    $0x4,%rsi
cmp    %rsi,%rdx
jne    1200 <substr+0xe0>
jmp    1230 <substr+0x110>
xor    %r14d,%r14d
movb   $0x0,(%r15,%r14,1)
pop    %rbx
pop    %r14
pop    %r15
ret
cmp    $0x20,%r14d
jae    1248 <substr+0x128>
xor    %eax,%eax
jmp    1319 <substr+0x1f9>
mov    %r14d,%eax
and    $0xffffffe0,%eax
lea    -0x20(%rax),%rdi
mov    %rdi,%rsi
shr    $0x5,%rsi
add    $0x1,%rsi
mov    %esi,%edx
and    $0x3,%edx
cmp    $0x60,%rdi
jae    126c <substr+0x14c>
xor    %edi,%edi
jmp    12e0 <substr+0x1c0>
and    $0xfffffffffffffffc,%rsi
lea    (%rcx,%r15,1),%rbx
add    $0x70,%rbx
xor    %edi,%edi
nopw   0x0(%rax,%rax,1)
movups -0x70(%rbx,%rdi,1),%xmm0
movups -0x60(%rbx,%rdi,1),%xmm1
movups %xmm0,(%r15,%rdi,1)
movups %xmm1,0x10(%r15,%rdi,1)
movups -0x50(%rbx,%rdi,1),%xmm0
movups -0x40(%rbx,%rdi,1),%xmm1
movups %xmm0,0x20(%r15,%rdi,1)
movups %xmm1,0x30(%r15,%rdi,1)
movups -0x30(%rbx,%rdi,1),%xmm0
movups -0x20(%rbx,%rdi,1),%xmm1
movups %xmm0,0x40(%r15,%rdi,1)
movups %xmm1,0x50(%r15,%rdi,1)
movups -0x10(%rbx,%rdi,1),%xmm0
movups (%rbx,%rdi,1),%xmm1
movups %xmm0,0x60(%r15,%rdi,1)
movups %xmm1,0x70(%r15,%rdi,1)
sub    $0xffffffffffffff80,%rdi
add    $0xfffffffffffffffc,%rsi
jne    1280 <substr+0x160>
test   %rdx,%rdx
je     130a <substr+0x1ea>
lea    (%rdi,%r15,1),%rsi
add    $0x10,%rsi
nopl   (%rax)
movups -0x10(%rsi,%rcx,1),%xmm0
movups (%rsi,%rcx,1),%xmm1
movups %xmm0,-0x10(%rsi)
movups %xmm1,(%rsi)
add    $0x20,%rsi
add    $0xffffffffffffffff,%rdx
jne    12f0 <substr+0x1d0>
cmp    %r14,%rax
je     1230 <substr+0x110>
test   $0x18,%r14b
je     134f <substr+0x22f>
mov    %rax,%rsi
mov    %r14d,%eax
and    $0xfffffff8,%eax
lea    (%rax,%rcx,1),%rdx
lea    (%r15,%rsi,1),%rdi
sub    %rax,%rsi
nopl   (%rax)
mov    (%rdi,%rcx,1),%rbx
mov    %rbx,(%rdi)
add    $0x8,%rdi
add    $0x8,%rsi
jne    1330 <substr+0x210>
cmp    %r14,%rax
jne    119e <substr+0x7e>
jmp    1230 <substr+0x110>
add    %rax,%rcx
jmp    119b <substr+0x7b>

LLVM IR (-O0):
@pos2 = external global i32
@.str = [25 x i8] c"substr: string too short\00"
@pos1 = external global i32
define void @substr(i8* %0, i8* %1) {
%3 = alloca i8*
%4 = alloca i8*
%5 = alloca i32
%6 = alloca i32
%7 = alloca i32
store i8* %0, i8** %3
store i8* %1, i8** %4
%8 = load i8*, i8** %3
%9 = call i32 @strlen(i8* %8)
store i32 %9, i32* %7
%10 = load i32, i32* @pos2
%11 = icmp sgt i32 %10, 0
br i1 %11, label %12, label %18
12: ; preds = %2
%13 = load i32, i32* %7
%14 = load i32, i32* @pos2
%15 = icmp sgt i32 %13, %14
br i1 %15, label %16, label %18
16: ; preds = %12
%17 = load i32, i32* @pos2
store i32 %17, i32* %7
br label %28
18: ; preds = %12, %2
%19 = load i32, i32* @pos2
%20 = icmp sgt i32 %19, 0
br i1 %20, label %21, label %27
21: ; preds = %18
%22 = load i32, i32* %7
%23 = load i32, i32* @pos2
%24 = icmp slt i32 %22, %23
br i1 %24, label %25, label %27
25: ; preds = %21
%26 = call i32 @error(i8* getelementptr inbounds ([25 x i8], [25 x i8]* @.str, i64 0, i64 0))
br label %27
27: ; preds = %25, %21, %18
br label %28
28: ; preds = %27, %16
store i32 0, i32* %6
%29 = load i32, i32* @pos1
store i32 %29, i32* %5
br label %30
30: ; preds = %44, %28
%31 = load i32, i32* %5
%32 = load i32, i32* %7
%33 = icmp slt i32 %31, %32
br i1 %33, label %34, label %49
34: ; preds = %30
%35 = load i8*, i8** %4
%36 = load i32, i32* %5
%37 = sext i32 %36 to i64
%38 = getelementptr inbounds i8, i8* %35, i64 %37
%39 = load i8, i8* %38
%40 = load i8*, i8** %4
%41 = load i32, i32* %6
%42 = sext i32 %41 to i64
%43 = getelementptr inbounds i8, i8* %40, i64 %42
store i8 %39, i8* %43
br label %44
44: ; preds = %34
%45 = load i32, i32* %5
%46 = add nsw i32 %45, 1
store i32 %46, i32* %5
%47 = load i32, i32* %6
%48 = add nsw i32 %47, 1
store i32 %48, i32* %6
br label %30
49: ; preds = %30
%50 = load i8*, i8** %4
%51 = load i32, i32* %6
%52 = sext i32 %51 to i64
%53 = getelementptr inbounds i8, i8* %50, i64 %52
store i8 0, i8* %53
ret void
}

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