#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 */
typedef int /*<<< orphan*/ buf;

/* Variables and functions */
int eslib_file_path_check(char *);
int /*<<< orphan*/ memset(char *, char, int);
int test_path_check() {
  int r;
  char buf[2048 + 1];
  memset(buf, 'A', sizeof(buf));
  buf[0] = '/';
  r = eslib_file_path_check(buf);
  if (!r)
    return -1;
  buf[2048] = '\0';
  r = eslib_file_path_check(buf);
  if (!r)
    return -1;
  buf[2048 - 2] = '/';
  buf[2048 - 1] = '\0';
  r = eslib_file_path_check(buf);
  if (!r)
    return -1;
  r = eslib_file_path_check("an/invalid/path");
  if (!r)
    return -1;
  r = eslib_file_path_check("//invalid/double/slash");
  if (!r)
    return -1;
  r = eslib_file_path_check("/invalid/dbl//slash");
  if (!r)
    return -1;
  r = eslib_file_path_check("/invalid/trailing/slash//");
  if (!r)
    return -1;
  r = eslib_file_path_check("/double/../troubles");
  if (!r)
    return -1;
  r = eslib_file_path_check("/invalid/./dot");
  if (!r)
    return -1;
  r = eslib_file_path_check("/invalid/trailing/dot/.");
  if (!r)
    return -1;
  r = eslib_file_path_check("");
  if (!r)
    return -1;
  r = eslib_file_path_check("/././");
  if (!r)
    return -1;
  r = eslib_file_path_check("/a/valid/path");
  if (r)
    return -1;
  r = eslib_file_path_check("/.a");
  if (r)
    return -1;
  r = eslib_file_path_check("/a.");
  if (r)
    return -1;
  r = eslib_file_path_check("/a/valid/.path");
  if (r)
    return -1;
  r = eslib_file_path_check("/a/valid./.path.");
  if (r)
    return -1;
  r = eslib_file_path_check("/");
  if (r)
    return -1;
  memset(buf, 'A', sizeof(buf));
  buf[0] = '/';
  buf[2048 - 1] = '\0';
  r = eslib_file_path_check(buf);
  if (r)
    return -1;
  return 0;
}


x86 assembly (clang, -O0):
<test_path_check>:
push   %rbp
mov    %rsp,%rbp
sub    $0x810,%rsp
lea    -0x810(%rbp),%rdi
mov    $0x41,%esi
mov    $0x801,%edx
call   1040 <memset@plt>
movb   $0x2f,-0x810(%rbp)
lea    -0x810(%rbp),%rdi
call   1030 <eslib_file_path_check@plt>
mov    %eax,-0x8(%rbp)
cmpl   $0x0,-0x8(%rbp)
jne    116d <test_path_check+0x4d>
movl   $0xffffffff,-0x4(%rbp)
jmp    143b <test_path_check+0x31b>
movb   $0x0,-0x10(%rbp)
lea    -0x810(%rbp),%rdi
call   1030 <eslib_file_path_check@plt>
mov    %eax,-0x8(%rbp)
cmpl   $0x0,-0x8(%rbp)
jne    1196 <test_path_check+0x76>
movl   $0xffffffff,-0x4(%rbp)
jmp    143b <test_path_check+0x31b>
movb   $0x2f,-0x12(%rbp)
movb   $0x0,-0x11(%rbp)
lea    -0x810(%rbp),%rdi
call   1030 <eslib_file_path_check@plt>
mov    %eax,-0x8(%rbp)
cmpl   $0x0,-0x8(%rbp)
jne    11c3 <test_path_check+0xa3>
movl   $0xffffffff,-0x4(%rbp)
jmp    143b <test_path_check+0x31b>
lea    0xe36(%rip),%rdi
call   1030 <eslib_file_path_check@plt>
mov    %eax,-0x8(%rbp)
cmpl   $0x0,-0x8(%rbp)
jne    11e8 <test_path_check+0xc8>
movl   $0xffffffff,-0x4(%rbp)
jmp    143b <test_path_check+0x31b>
lea    0xe21(%rip),%rdi
call   1030 <eslib_file_path_check@plt>
mov    %eax,-0x8(%rbp)
cmpl   $0x0,-0x8(%rbp)
jne    120d <test_path_check+0xed>
movl   $0xffffffff,-0x4(%rbp)
jmp    143b <test_path_check+0x31b>
lea    0xe13(%rip),%rdi
call   1030 <eslib_file_path_check@plt>
mov    %eax,-0x8(%rbp)
cmpl   $0x0,-0x8(%rbp)
jne    1232 <test_path_check+0x112>
movl   $0xffffffff,-0x4(%rbp)
jmp    143b <test_path_check+0x31b>
lea    0xe02(%rip),%rdi
call   1030 <eslib_file_path_check@plt>
mov    %eax,-0x8(%rbp)
cmpl   $0x0,-0x8(%rbp)
jne    1257 <test_path_check+0x137>
movl   $0xffffffff,-0x4(%rbp)
jmp    143b <test_path_check+0x31b>
lea    0xdf7(%rip),%rdi
call   1030 <eslib_file_path_check@plt>
mov    %eax,-0x8(%rbp)
cmpl   $0x0,-0x8(%rbp)
jne    127c <test_path_check+0x15c>
movl   $0xffffffff,-0x4(%rbp)
jmp    143b <test_path_check+0x31b>
lea    0xde6(%rip),%rdi
call   1030 <eslib_file_path_check@plt>
mov    %eax,-0x8(%rbp)
cmpl   $0x0,-0x8(%rbp)
jne    12a1 <test_path_check+0x181>
movl   $0xffffffff,-0x4(%rbp)
jmp    143b <test_path_check+0x31b>
lea    0xdd0(%rip),%rdi
call   1030 <eslib_file_path_check@plt>
mov    %eax,-0x8(%rbp)
cmpl   $0x0,-0x8(%rbp)
jne    12c6 <test_path_check+0x1a6>
movl   $0xffffffff,-0x4(%rbp)
jmp    143b <test_path_check+0x31b>
lea    0xdc2(%rip),%rdi
call   1030 <eslib_file_path_check@plt>
mov    %eax,-0x8(%rbp)
cmpl   $0x0,-0x8(%rbp)
jne    12eb <test_path_check+0x1cb>
movl   $0xffffffff,-0x4(%rbp)
jmp    143b <test_path_check+0x31b>
lea    0xd9e(%rip),%rdi
call   1030 <eslib_file_path_check@plt>
mov    %eax,-0x8(%rbp)
cmpl   $0x0,-0x8(%rbp)
jne    1310 <test_path_check+0x1f0>
movl   $0xffffffff,-0x4(%rbp)
jmp    143b <test_path_check+0x31b>
lea    0xd7f(%rip),%rdi
call   1030 <eslib_file_path_check@plt>
mov    %eax,-0x8(%rbp)
cmpl   $0x0,-0x8(%rbp)
je     1335 <test_path_check+0x215>
movl   $0xffffffff,-0x4(%rbp)
jmp    143b <test_path_check+0x31b>
lea    0xd68(%rip),%rdi
call   1030 <eslib_file_path_check@plt>
mov    %eax,-0x8(%rbp)
cmpl   $0x0,-0x8(%rbp)
je     135a <test_path_check+0x23a>
movl   $0xffffffff,-0x4(%rbp)
jmp    143b <test_path_check+0x31b>
lea    0xd47(%rip),%rdi
call   1030 <eslib_file_path_check@plt>
mov    %eax,-0x8(%rbp)
cmpl   $0x0,-0x8(%rbp)
je     137f <test_path_check+0x25f>
movl   $0xffffffff,-0x4(%rbp)
jmp    143b <test_path_check+0x31b>
lea    0xd26(%rip),%rdi
call   1030 <eslib_file_path_check@plt>
mov    %eax,-0x8(%rbp)
cmpl   $0x0,-0x8(%rbp)
je     13a4 <test_path_check+0x284>
movl   $0xffffffff,-0x4(%rbp)
jmp    143b <test_path_check+0x31b>
lea    0xd10(%rip),%rdi
call   1030 <eslib_file_path_check@plt>
mov    %eax,-0x8(%rbp)
cmpl   $0x0,-0x8(%rbp)
je     13c9 <test_path_check+0x2a9>
movl   $0xffffffff,-0x4(%rbp)
jmp    143b <test_path_check+0x31b>
lea    0xcc4(%rip),%rdi
call   1030 <eslib_file_path_check@plt>
mov    %eax,-0x8(%rbp)
cmpl   $0x0,-0x8(%rbp)
je     13ee <test_path_check+0x2ce>
movl   $0xffffffff,-0x4(%rbp)
jmp    143b <test_path_check+0x31b>
lea    -0x810(%rbp),%rdi
mov    $0x41,%esi
mov    $0x801,%edx
call   1040 <memset@plt>
movb   $0x2f,-0x810(%rbp)
movb   $0x0,-0x11(%rbp)
lea    -0x810(%rbp),%rdi
call   1030 <eslib_file_path_check@plt>
mov    %eax,-0x8(%rbp)
cmpl   $0x0,-0x8(%rbp)
je     1434 <test_path_check+0x314>
movl   $0xffffffff,-0x4(%rbp)
jmp    143b <test_path_check+0x31b>
movl   $0x0,-0x4(%rbp)
mov    -0x4(%rbp),%eax
add    $0x810,%rsp
pop    %rbp
ret

x86 assembly (clang, -O2):
<test_path_check>:
push   %rbx
sub    $0x810,%rsp
mov    %rsp,%rbx
mov    %rbx,%rdi
mov    $0x41,%esi
mov    $0x801,%edx
call   1040 <memset@plt>
movb   $0x2f,(%rsp)
mov    %rbx,%rdi
call   1030 <eslib_file_path_check@plt>
mov    $0xffffffff,%ebx
test   %eax,%eax
je     12c9 <test_path_check+0x1a9>
movb   $0x0,0x800(%rsp)
mov    %rsp,%rdi
call   1030 <eslib_file_path_check@plt>
test   %eax,%eax
je     12c9 <test_path_check+0x1a9>
movw   $0x2f,0x7fe(%rsp)
mov    %rsp,%rdi
call   1030 <eslib_file_path_check@plt>
test   %eax,%eax
je     12c9 <test_path_check+0x1a9>
lea    0xe71(%rip),%rdi
call   1030 <eslib_file_path_check@plt>
test   %eax,%eax
je     12c9 <test_path_check+0x1a9>
lea    0xe6d(%rip),%rdi
call   1030 <eslib_file_path_check@plt>
test   %eax,%eax
je     12c9 <test_path_check+0x1a9>
lea    0xe70(%rip),%rdi
call   1030 <eslib_file_path_check@plt>
test   %eax,%eax
je     12c9 <test_path_check+0x1a9>
lea    0xe70(%rip),%rdi
call   1030 <eslib_file_path_check@plt>
test   %eax,%eax
je     12c9 <test_path_check+0x1a9>
lea    0xe76(%rip),%rdi
call   1030 <eslib_file_path_check@plt>
test   %eax,%eax
je     12c9 <test_path_check+0x1a9>
lea    0xe76(%rip),%rdi
call   1030 <eslib_file_path_check@plt>
test   %eax,%eax
je     12c9 <test_path_check+0x1a9>
lea    0xe71(%rip),%rdi
call   1030 <eslib_file_path_check@plt>
test   %eax,%eax
je     12c9 <test_path_check+0x1a9>
lea    0xe74(%rip),%rdi
call   1030 <eslib_file_path_check@plt>
test   %eax,%eax
je     12c9 <test_path_check+0x1a9>
lea    0xe61(%rip),%rdi
call   1030 <eslib_file_path_check@plt>
test   %eax,%eax
je     12c9 <test_path_check+0x1a9>
lea    0xe53(%rip),%rdi
call   1030 <eslib_file_path_check@plt>
test   %eax,%eax
jne    12c9 <test_path_check+0x1a9>
lea    0xe51(%rip),%rdi
call   1030 <eslib_file_path_check@plt>
test   %eax,%eax
jne    12c9 <test_path_check+0x1a9>
lea    0xe45(%rip),%rdi
call   1030 <eslib_file_path_check@plt>
test   %eax,%eax
jne    12c9 <test_path_check+0x1a9>
lea    0xe39(%rip),%rdi
call   1030 <eslib_file_path_check@plt>
test   %eax,%eax
jne    12c9 <test_path_check+0x1a9>
lea    0xe38(%rip),%rdi
call   1030 <eslib_file_path_check@plt>
test   %eax,%eax
jne    12c9 <test_path_check+0x1a9>
lea    0xe01(%rip),%rdi
call   1030 <eslib_file_path_check@plt>
test   %eax,%eax
jne    12c9 <test_path_check+0x1a9>
mov    %rsp,%rbx
mov    %rbx,%rdi
mov    $0x41,%esi
mov    $0x801,%edx
call   1040 <memset@plt>
movb   $0x2f,(%rsp)
movb   $0x0,0x7ff(%rsp)
mov    %rbx,%rdi
call   1030 <eslib_file_path_check@plt>
neg    %eax
sbb    %ebx,%ebx
mov    %ebx,%eax
add    $0x810,%rsp
pop    %rbx
ret

LLVM IR (-O0):
@.str = [16 x i8] c"an/invalid/path\00"
@.str.1 = [23 x i8] c"//invalid/double/slash\00"
@.str.2 = [20 x i8] c"/invalid/dbl//slash\00"
@.str.3 = [26 x i8] c"/invalid/trailing/slash//\00"
@.str.4 = [20 x i8] c"/double/../troubles\00"
@.str.5 = [15 x i8] c"/invalid/./dot\00"
@.str.6 = [24 x i8] c"/invalid/trailing/dot/.\00"
@.str.7 = [1 x i8] zeroinitializer
@.str.8 = [6 x i8] c"/././\00"
@.str.9 = [14 x i8] c"/a/valid/path\00"
@.str.10 = [4 x i8] c"/.a\00"
@.str.11 = [4 x i8] c"/a.\00"
@.str.12 = [15 x i8] c"/a/valid/.path\00"
@.str.13 = [17 x i8] c"/a/valid./.path.\00"
@.str.14 = [2 x i8] c"/\00"
define i32 @test_path_check() {
%1 = alloca i32
%2 = alloca i32
%3 = alloca [2049 x i8]
%4 = getelementptr inbounds [2049 x i8], [2049 x i8]* %3, i64 0, i64 0
%5 = call i32 @memset(i8* %4, i8 signext 65, i32 2049)
%6 = getelementptr inbounds [2049 x i8], [2049 x i8]* %3, i64 0, i64 0
store i8 47, i8* %6
%7 = getelementptr inbounds [2049 x i8], [2049 x i8]* %3, i64 0, i64 0
%8 = call i32 @eslib_file_path_check(i8* %7)
store i32 %8, i32* %2
%9 = load i32, i32* %2
%10 = icmp ne i32 %9, 0
br i1 %10, label %12, label %11
11: ; preds = %0
store i32 -1, i32* %1
br label %113
12: ; preds = %0
%13 = getelementptr inbounds [2049 x i8], [2049 x i8]* %3, i64 0, i64 2048
store i8 0, i8* %13
%14 = getelementptr inbounds [2049 x i8], [2049 x i8]* %3, i64 0, i64 0
%15 = call i32 @eslib_file_path_check(i8* %14)
store i32 %15, i32* %2
%16 = load i32, i32* %2
%17 = icmp ne i32 %16, 0
br i1 %17, label %19, label %18
18: ; preds = %12
store i32 -1, i32* %1
br label %113
19: ; preds = %12
%20 = getelementptr inbounds [2049 x i8], [2049 x i8]* %3, i64 0, i64 2046
store i8 47, i8* %20
%21 = getelementptr inbounds [2049 x i8], [2049 x i8]* %3, i64 0, i64 2047
store i8 0, i8* %21
%22 = getelementptr inbounds [2049 x i8], [2049 x i8]* %3, i64 0, i64 0
%23 = call i32 @eslib_file_path_check(i8* %22)
store i32 %23, i32* %2
%24 = load i32, i32* %2
%25 = icmp ne i32 %24, 0
br i1 %25, label %27, label %26
26: ; preds = %19
store i32 -1, i32* %1
br label %113
27: ; preds = %19
%28 = call i32 @eslib_file_path_check(i8* getelementptr inbounds ([16 x i8], [16 x i8]* @.str, i64 0, i64 0))
store i32 %28, i32* %2
%29 = load i32, i32* %2
%30 = icmp ne i32 %29, 0
br i1 %30, label %32, label %31
31: ; preds = %27
store i32 -1, i32* %1
br label %113
32: ; preds = %27
%33 = call i32 @eslib_file_path_check(i8* getelementptr inbounds ([23 x i8], [23 x i8]* @.str.1, i64 0, i64 0))
store i32 %33, i32* %2
%34 = load i32, i32* %2
%35 = icmp ne i32 %34, 0
br i1 %35, label %37, label %36
36: ; preds = %32
store i32 -1, i32* %1
br label %113
37: ; preds = %32
%38 = call i32 @eslib_file_path_check(i8* getelementptr inbounds ([20 x i8], [20 x i8]* @.str.2, i64 0, i64 0))
store i32 %38, i32* %2
%39 = load i32, i32* %2
%40 = icmp ne i32 %39, 0
br i1 %40, label %42, label %41
41: ; preds = %37
store i32 -1, i32* %1
br label %113
42: ; preds = %37
%43 = call i32 @eslib_file_path_check(i8* getelementptr inbounds ([26 x i8], [26 x i8]* @.str.3, i64 0, i64 0))
store i32 %43, i32* %2
%44 = load i32, i32* %2
%45 = icmp ne i32 %44, 0
br i1 %45, label %47, label %46
46: ; preds = %42
store i32 -1, i32* %1
br label %113
47: ; preds = %42
%48 = call i32 @eslib_file_path_check(i8* getelementptr inbounds ([20 x i8], [20 x i8]* @.str.4, i64 0, i64 0))
store i32 %48, i32* %2
%49 = load i32, i32* %2
%50 = icmp ne i32 %49, 0
br i1 %50, label %52, label %51
51: ; preds = %47
store i32 -1, i32* %1
br label %113
52: ; preds = %47
%53 = call i32 @eslib_file_path_check(i8* getelementptr inbounds ([15 x i8], [15 x i8]* @.str.5, i64 0, i64 0))
store i32 %53, i32* %2
%54 = load i32, i32* %2
%55 = icmp ne i32 %54, 0
br i1 %55, label %57, label %56
56: ; preds = %52
store i32 -1, i32* %1
br label %113
57: ; preds = %52
%58 = call i32 @eslib_file_path_check(i8* getelementptr inbounds ([24 x i8], [24 x i8]* @.str.6, i64 0, i64 0))
store i32 %58, i32* %2
%59 = load i32, i32* %2
%60 = icmp ne i32 %59, 0
br i1 %60, label %62, label %61
61: ; preds = %57
store i32 -1, i32* %1
br label %113
62: ; preds = %57
%63 = call i32 @eslib_file_path_check(i8* getelementptr inbounds ([1 x i8], [1 x i8]* @.str.7, i64 0, i64 0))
store i32 %63, i32* %2
%64 = load i32, i32* %2
%65 = icmp ne i32 %64, 0
br i1 %65, label %67, label %66
66: ; preds = %62
store i32 -1, i32* %1
br label %113
67: ; preds = %62
%68 = call i32 @eslib_file_path_check(i8* getelementptr inbounds ([6 x i8], [6 x i8]* @.str.8, i64 0, i64 0))
store i32 %68, i32* %2
%69 = load i32, i32* %2
%70 = icmp ne i32 %69, 0
br i1 %70, label %72, label %71
71: ; preds = %67
store i32 -1, i32* %1
br label %113
72: ; preds = %67
%73 = call i32 @eslib_file_path_check(i8* getelementptr inbounds ([14 x i8], [14 x i8]* @.str.9, i64 0, i64 0))
store i32 %73, i32* %2
%74 = load i32, i32* %2
%75 = icmp ne i32 %74, 0
br i1 %75, label %76, label %77
76: ; preds = %72
store i32 -1, i32* %1
br label %113
77: ; preds = %72
%78 = call i32 @eslib_file_path_check(i8* getelementptr inbounds ([4 x i8], [4 x i8]* @.str.10, i64 0, i64 0))
store i32 %78, i32* %2
%79 = load i32, i32* %2
%80 = icmp ne i32 %79, 0
br i1 %80, label %81, label %82
81: ; preds = %77
store i32 -1, i32* %1
br label %113
82: ; preds = %77
%83 = call i32 @eslib_file_path_check(i8* getelementptr inbounds ([4 x i8], [4 x i8]* @.str.11, i64 0, i64 0))
store i32 %83, i32* %2
%84 = load i32, i32* %2
%85 = icmp ne i32 %84, 0
br i1 %85, label %86, label %87
86: ; preds = %82
store i32 -1, i32* %1
br label %113
87: ; preds = %82
%88 = call i32 @eslib_file_path_check(i8* getelementptr inbounds ([15 x i8], [15 x i8]* @.str.12, i64 0, i64 0))
store i32 %88, i32* %2
%89 = load i32, i32* %2
%90 = icmp ne i32 %89, 0
br i1 %90, label %91, label %92
91: ; preds = %87
store i32 -1, i32* %1
br label %113
92: ; preds = %87
%93 = call i32 @eslib_file_path_check(i8* getelementptr inbounds ([17 x i8], [17 x i8]* @.str.13, i64 0, i64 0))
store i32 %93, i32* %2
%94 = load i32, i32* %2
%95 = icmp ne i32 %94, 0
br i1 %95, label %96, label %97
96: ; preds = %92
store i32 -1, i32* %1
br label %113
97: ; preds = %92
%98 = call i32 @eslib_file_path_check(i8* getelementptr inbounds ([2 x i8], [2 x i8]* @.str.14, i64 0, i64 0))
store i32 %98, i32* %2
%99 = load i32, i32* %2
%100 = icmp ne i32 %99, 0
br i1 %100, label %101, label %102
101: ; preds = %97
store i32 -1, i32* %1
br label %113
102: ; preds = %97
%103 = getelementptr inbounds [2049 x i8], [2049 x i8]* %3, i64 0, i64 0
%104 = call i32 @memset(i8* %103, i8 signext 65, i32 2049)
%105 = getelementptr inbounds [2049 x i8], [2049 x i8]* %3, i64 0, i64 0
store i8 47, i8* %105
%106 = getelementptr inbounds [2049 x i8], [2049 x i8]* %3, i64 0, i64 2047
store i8 0, i8* %106
%107 = getelementptr inbounds [2049 x i8], [2049 x i8]* %3, i64 0, i64 0
%108 = call i32 @eslib_file_path_check(i8* %107)
store i32 %108, i32* %2
%109 = load i32, i32* %2
%110 = icmp ne i32 %109, 0
br i1 %110, label %111, label %112
111: ; preds = %102
store i32 -1, i32* %1
br label %113
112: ; preds = %102
store i32 0, i32* %1
br label %113
113: ; preds = %112, %111, %101, %96, %91, %86, %81, %76, %71, %66, %61, %56, %51, %46, %41, %36, %31, %26, %18, %11
%114 = load i32, i32* %1
ret i32 %114
}

LLVM IR (-O2):
@.str = [16 x i8] c"an/invalid/path\00"
@.str.1 = [23 x i8] c"//invalid/double/slash\00"
@.str.2 = [20 x i8] c"/invalid/dbl//slash\00"
@.str.3 = [26 x i8] c"/invalid/trailing/slash//\00"
@.str.4 = [20 x i8] c"/double/../troubles\00"
@.str.5 = [15 x i8] c"/invalid/./dot\00"
@.str.6 = [24 x i8] c"/invalid/trailing/dot/.\00"
@.str.7 = [1 x i8] zeroinitializer
@.str.8 = [6 x i8] c"/././\00"
@.str.9 = [14 x i8] c"/a/valid/path\00"
@.str.10 = [4 x i8] c"/.a\00"
@.str.11 = [4 x i8] c"/a.\00"
@.str.12 = [15 x i8] c"/a/valid/.path\00"
@.str.13 = [17 x i8] c"/a/valid./.path.\00"
@.str.14 = [2 x i8] c"/\00"
define i32 @test_path_check() {
%1 = alloca [2049 x i8]
%2 = getelementptr inbounds [2049 x i8], [2049 x i8]* %1, i64 0, i64 0
%3 = call i32 @memset(i8* %2, i8 signext 65, i32 2049)
store i8 47, i8* %2
%4 = call i32 @eslib_file_path_check(i8* %2)
%5 = icmp eq i32 %4, 0
br i1 %5, label %65, label %6
6: ; preds = %0
%7 = getelementptr inbounds [2049 x i8], [2049 x i8]* %1, i64 0, i64 2048
store i8 0, i8* %7
%8 = call i32 @eslib_file_path_check(i8* %2)
%9 = icmp eq i32 %8, 0
br i1 %9, label %65, label %10
10: ; preds = %6
%11 = getelementptr inbounds [2049 x i8], [2049 x i8]* %1, i64 0, i64 2046
store i8 47, i8* %11
%12 = getelementptr inbounds [2049 x i8], [2049 x i8]* %1, i64 0, i64 2047
store i8 0, i8* %12
%13 = call i32 @eslib_file_path_check(i8* %2)
%14 = icmp eq i32 %13, 0
br i1 %14, label %65, label %15
15: ; preds = %10
%16 = call i32 @eslib_file_path_check(i8* getelementptr inbounds ([16 x i8], [16 x i8]* @.str, i64 0, i64 0))
%17 = icmp eq i32 %16, 0
br i1 %17, label %65, label %18
18: ; preds = %15
%19 = call i32 @eslib_file_path_check(i8* getelementptr inbounds ([23 x i8], [23 x i8]* @.str.1, i64 0, i64 0))
%20 = icmp eq i32 %19, 0
br i1 %20, label %65, label %21
21: ; preds = %18
%22 = call i32 @eslib_file_path_check(i8* getelementptr inbounds ([20 x i8], [20 x i8]* @.str.2, i64 0, i64 0))
%23 = icmp eq i32 %22, 0
br i1 %23, label %65, label %24
24: ; preds = %21
%25 = call i32 @eslib_file_path_check(i8* getelementptr inbounds ([26 x i8], [26 x i8]* @.str.3, i64 0, i64 0))
%26 = icmp eq i32 %25, 0
br i1 %26, label %65, label %27
27: ; preds = %24
%28 = call i32 @eslib_file_path_check(i8* getelementptr inbounds ([20 x i8], [20 x i8]* @.str.4, i64 0, i64 0))
%29 = icmp eq i32 %28, 0
br i1 %29, label %65, label %30
30: ; preds = %27
%31 = call i32 @eslib_file_path_check(i8* getelementptr inbounds ([15 x i8], [15 x i8]* @.str.5, i64 0, i64 0))
%32 = icmp eq i32 %31, 0
br i1 %32, label %65, label %33
33: ; preds = %30
%34 = call i32 @eslib_file_path_check(i8* getelementptr inbounds ([24 x i8], [24 x i8]* @.str.6, i64 0, i64 0))
%35 = icmp eq i32 %34, 0
br i1 %35, label %65, label %36
36: ; preds = %33
%37 = call i32 @eslib_file_path_check(i8* getelementptr inbounds ([1 x i8], [1 x i8]* @.str.7, i64 0, i64 0))
%38 = icmp eq i32 %37, 0
br i1 %38, label %65, label %39
39: ; preds = %36
%40 = call i32 @eslib_file_path_check(i8* getelementptr inbounds ([6 x i8], [6 x i8]* @.str.8, i64 0, i64 0))
%41 = icmp eq i32 %40, 0
br i1 %41, label %65, label %42
42: ; preds = %39
%43 = call i32 @eslib_file_path_check(i8* getelementptr inbounds ([14 x i8], [14 x i8]* @.str.9, i64 0, i64 0))
%44 = icmp eq i32 %43, 0
br i1 %44, label %45, label %65
45: ; preds = %42
%46 = call i32 @eslib_file_path_check(i8* getelementptr inbounds ([4 x i8], [4 x i8]* @.str.10, i64 0, i64 0))
%47 = icmp eq i32 %46, 0
br i1 %47, label %48, label %65
48: ; preds = %45
%49 = call i32 @eslib_file_path_check(i8* getelementptr inbounds ([4 x i8], [4 x i8]* @.str.11, i64 0, i64 0))
%50 = icmp eq i32 %49, 0
br i1 %50, label %51, label %65
51: ; preds = %48
%52 = call i32 @eslib_file_path_check(i8* getelementptr inbounds ([15 x i8], [15 x i8]* @.str.12, i64 0, i64 0))
%53 = icmp eq i32 %52, 0
br i1 %53, label %54, label %65
54: ; preds = %51
%55 = call i32 @eslib_file_path_check(i8* getelementptr inbounds ([17 x i8], [17 x i8]* @.str.13, i64 0, i64 0))
%56 = icmp eq i32 %55, 0
br i1 %56, label %57, label %65
57: ; preds = %54
%58 = call i32 @eslib_file_path_check(i8* getelementptr inbounds ([2 x i8], [2 x i8]* @.str.14, i64 0, i64 0))
%59 = icmp eq i32 %58, 0
br i1 %59, label %60, label %65
60: ; preds = %57
%61 = call i32 @memset(i8* %2, i8 signext 65, i32 2049)
store i8 47, i8* %2
store i8 0, i8* %12
%62 = call i32 @eslib_file_path_check(i8* %2)
%63 = icmp ne i32 %62, 0
%64 = sext i1 %63 to i32
br label %65
65: ; preds = %60, %57, %54, %51, %48, %45, %42, %39, %36, %33, %30, %27, %24, %21, %18, %15, %10, %6, %0
%66 = phi i32 [ -1, %0 ], [ -1, %6 ], [ -1, %10 ], [ -1, %15 ], [ -1, %18 ], [ -1, %21 ], [ -1, %24 ], [ -1, %27 ], [ -1, %30 ], [ -1, %33 ], [ -1, %36 ], [ -1, %39 ], [ -1, %42 ], [ -1, %45 ], [ -1, %48 ], [ -1, %51 ], [ -1, %54 ], [ -1, %57 ], [ %64, %60 ]
ret i32 %66
}