#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 */
struct stat {
  int /*<<< orphan*/ st_mode;
};
typedef int /*<<< orphan*/ buf;

/* Variables and functions */
int PATH_MAX;
scalar_t__ S_ISLNK(int /*<<< orphan*/);
scalar_t__ lstat(char *, struct stat *);
scalar_t__ readlink(char *, char *, int);
int /*<<< orphan*/ strcat(char *, char *);
char *strchr(char *, char);
int /*<<< orphan*/ strcpy(char *, char *);
int resolve_path(char *path, char *result, char *pos) {
  if (*path == '/') {
    *result = '/';
    pos = result + 1;
    path++;
  }
  *pos = 0;
  if (!*path)
    return 0;
  while (1) {
    char *slash;
    struct stat st;
    slash = *path ? strchr(path, '/') : NULL;
    if (slash)
      *slash = 0;
    if (!path[0] ||
        (path[0] == '.' && (!path[1] || (path[1] == '.' && !path[2])))) {
      pos--;
      if (pos != result && path[0] && path[1])
        while (*--pos != '/')
          ;
    } else {
      strcpy(pos, path);
      if (lstat(result, &st) < 0)
        return -1;
      if (S_ISLNK(st.st_mode)) {
        char buf[PATH_MAX];
        if (readlink(result, buf, sizeof(buf)) < 0)
          return -1;
        *pos = 0;
        if (slash) {
          *slash = '/';
          strcat(buf, slash);
        }
        strcpy(path, buf);
        if (*path == '/')
          result[1] = 0;
        pos = strchr(result, 0);
        continue;
      }
      pos = strchr(result, 0);
    }
    if (slash) {
      *pos++ = '/';
      path = slash + 1;
    }
    *pos = 0;
    if (!slash)
      break;
  }
  return 0;
}


x86 assembly (clang, -O0):
<resolve_path>:
push   %rbp
mov    %rsp,%rbp
sub    $0x60,%rsp
mov    %rdi,-0x10(%rbp)
mov    %rsi,-0x18(%rbp)
mov    %rdx,-0x20(%rbp)
mov    -0x10(%rbp),%rax
movsbl (%rax),%eax
cmp    $0x2f,%eax
jne    11a3 <resolve_path+0x43>
mov    -0x18(%rbp),%rax
movb   $0x2f,(%rax)
mov    -0x18(%rbp),%rax
add    $0x1,%rax
mov    %rax,-0x20(%rbp)
mov    -0x10(%rbp),%rax
add    $0x1,%rax
mov    %rax,-0x10(%rbp)
mov    -0x20(%rbp),%rax
movb   $0x0,(%rax)
mov    -0x10(%rbp),%rax
cmpb   $0x0,(%rax)
jne    11c3 <resolve_path+0x63>
movl   $0x0,-0x4(%rbp)
jmp    1438 <resolve_path+0x2d8>
jmp    11c8 <resolve_path+0x68>
mov    -0x10(%rbp),%rax
movsbl (%rax),%eax
cmp    $0x0,%eax
je     11ef <resolve_path+0x8f>
mov    -0x10(%rbp),%rdi
mov    $0x2f,%esi
call   1060 <strchr@plt>
mov    %rax,-0x50(%rbp)
jmp    11fa <resolve_path+0x9a>
xor    %eax,%eax
mov    %rax,-0x50(%rbp)
jmp    11fa <resolve_path+0x9a>
mov    -0x50(%rbp),%rax
mov    %rax,-0x28(%rbp)
cmpq   $0x0,-0x28(%rbp)
je     1214 <resolve_path+0xb4>
mov    -0x28(%rbp),%rax
movb   $0x0,(%rax)
mov    -0x10(%rbp),%rax
cmpb   $0x0,(%rax)
je     125e <resolve_path+0xfe>
mov    -0x10(%rbp),%rax
movsbl (%rax),%eax
cmp    $0x2e,%eax
jne    12c9 <resolve_path+0x169>
mov    -0x10(%rbp),%rax
cmpb   $0x0,0x1(%rax)
je     125e <resolve_path+0xfe>
mov    -0x10(%rbp),%rax
movsbl 0x1(%rax),%eax
cmp    $0x2e,%eax
jne    12c9 <resolve_path+0x169>
mov    -0x10(%rbp),%rax
cmpb   $0x0,0x2(%rax)
jne    12c9 <resolve_path+0x169>
mov    -0x20(%rbp),%rax
add    $0xffffffffffffffff,%rax
mov    %rax,-0x20(%rbp)
mov    -0x20(%rbp),%rax
cmp    -0x18(%rbp),%rax
je     12c4 <resolve_path+0x164>
mov    -0x10(%rbp),%rax
movsbl (%rax),%eax
cmp    $0x0,%eax
je     12c4 <resolve_path+0x164>
mov    -0x10(%rbp),%rax
movsbl 0x1(%rax),%eax
cmp    $0x0,%eax
je     12c4 <resolve_path+0x164>
jmp    129e <resolve_path+0x13e>
mov    -0x20(%rbp),%rax
mov    %rax,%rcx
add    $0xffffffffffffffff,%rcx
mov    %rcx,-0x20(%rbp)
movsbl -0x1(%rax),%eax
cmp    $0x2f,%eax
je     12bf <resolve_path+0x15f>
jmp    129e <resolve_path+0x13e>
jmp    12c4 <resolve_path+0x164>
jmp    13ec <resolve_path+0x28c>
mov    -0x20(%rbp),%rdi
mov    -0x10(%rbp),%rsi
call   1030 <strcpy@plt>
mov    -0x18(%rbp),%rdi
lea    -0x30(%rbp),%rsi
call   1070 <lstat@plt>
cmp    $0x0,%rax
jge    12f9 <resolve_path+0x199>
movl   $0xffffffff,-0x4(%rbp)
jmp    1438 <resolve_path+0x2d8>
mov    -0x30(%rbp),%edi
call   1040 <S_ISLNK@plt>
cmp    $0x0,%rax
je     13dd <resolve_path+0x27d>
mov    0x2cde(%rip),%rax
mov    (%rax),%eax
mov    %rsp,%rcx
mov    %rcx,-0x38(%rbp)
mov    %rax,%rcx
add    $0xf,%rcx
and    $0xfffffffffffffff0,%rcx
mov    %rsp,%rsi
sub    %rcx,%rsi
mov    %rsi,-0x58(%rbp)
mov    %rsi,%rsp
mov    %rax,-0x40(%rbp)
mov    -0x18(%rbp),%rdi
mov    %eax,%edx
call   1050 <readlink@plt>
cmp    $0x0,%rax
jge    135f <resolve_path+0x1ff>
movl   $0xffffffff,-0x4(%rbp)
movl   $0x1,-0x44(%rbp)
jmp    13c0 <resolve_path+0x260>
mov    -0x20(%rbp),%rax
movb   $0x0,(%rax)
cmpq   $0x0,-0x28(%rbp)
je     1385 <resolve_path+0x225>
mov    -0x58(%rbp),%rdi
mov    -0x28(%rbp),%rax
movb   $0x2f,(%rax)
mov    -0x28(%rbp),%rsi
call   1080 <strcat@plt>
mov    -0x58(%rbp),%rsi
mov    -0x10(%rbp),%rdi
call   1030 <strcpy@plt>
mov    -0x10(%rbp),%rax
movsbl (%rax),%eax
cmp    $0x2f,%eax
jne    13aa <resolve_path+0x24a>
mov    -0x18(%rbp),%rax
movb   $0x0,0x1(%rax)
mov    -0x18(%rbp),%rdi
xor    %esi,%esi
call   1060 <strchr@plt>
mov    %rax,-0x20(%rbp)
movl   $0x2,-0x44(%rbp)
mov    -0x38(%rbp),%rax
mov    %rax,%rsp
mov    -0x44(%rbp),%eax
sub    $0x1,%eax
je     1438 <resolve_path+0x2d8>
jmp    13d8 <resolve_path+0x278>
jmp    11c8 <resolve_path+0x68>
mov    -0x18(%rbp),%rdi
xor    %esi,%esi
call   1060 <strchr@plt>
mov    %rax,-0x20(%rbp)
cmpq   $0x0,-0x28(%rbp)
je     1415 <resolve_path+0x2b5>
mov    -0x20(%rbp),%rax
mov    %rax,%rcx
add    $0x1,%rcx
mov    %rcx,-0x20(%rbp)
movb   $0x2f,(%rax)
mov    -0x28(%rbp),%rax
add    $0x1,%rax
mov    %rax,-0x10(%rbp)
mov    -0x20(%rbp),%rax
movb   $0x0,(%rax)
cmpq   $0x0,-0x28(%rbp)
jne    142c <resolve_path+0x2cc>
jmp    1431 <resolve_path+0x2d1>
jmp    11c8 <resolve_path+0x68>
movl   $0x0,-0x4(%rbp)
mov    -0x4(%rbp),%eax
mov    %rbp,%rsp
pop    %rbp
ret

x86 assembly (clang, -O2):
<resolve_path>:
push   %rbp
mov    %rsp,%rbp
push   %r15
push   %r14
push   %r13
push   %r12
push   %rbx
sub    $0x18,%rsp
mov    %rsi,%r15
mov    %rdi,%r14
cmpb   $0x2f,(%rdi)
jne    119a <resolve_path+0x2a>
movb   $0x2f,(%r15)
lea    0x1(%r15),%r12
add    $0x1,%r14
jmp    119d <resolve_path+0x2d>
mov    %rdx,%r12
movb   $0x0,(%r12)
mov    (%r14),%bl
xor    %eax,%eax
test   %bl,%bl
jne    11cd <resolve_path+0x5d>
jmp    134e <resolve_path+0x1de>
mov    %r15,%rdi
call   1060 <strlen@plt>
mov    %rax,%r12
add    %r15,%r12
mov    -0x38(%rbp),%rsp
mov    (%r14),%bl
test   %bl,%bl
je     1337 <resolve_path+0x1c7>
mov    %r14,%rdi
mov    $0x2f,%esi
call   1070 <strchr@plt>
mov    %rax,%r13
test   %rax,%rax
je     11ea <resolve_path+0x7a>
movb   $0x0,0x0(%r13)
mov    (%r14),%bl
test   %bl,%bl
je     12d0 <resolve_path+0x160>
cmp    $0x2e,%bl
jne    1220 <resolve_path+0xb0>
mov    0x1(%r14),%al
test   %al,%al
je     12f0 <resolve_path+0x180>
cmp    $0x2e,%al
jne    1220 <resolve_path+0xb0>
cmpb   $0x0,0x2(%r14)
je     12f0 <resolve_path+0x180>
cs nopw 0x0(%rax,%rax,1)
nopl   0x0(%rax)
mov    %r12,%rdi
mov    %r14,%rsi
call   1030 <strcpy@plt>
mov    %r15,%rdi
lea    -0x30(%rbp),%rsi
call   1080 <lstat@plt>
test   %rax,%rax
js     1349 <resolve_path+0x1d9>
mov    -0x30(%rbp),%edi
call   1040 <S_ISLNK@plt>
test   %rax,%rax
je     12de <resolve_path+0x16e>
mov    %rsp,-0x38(%rbp)
mov    0x2d94(%rip),%rax
mov    (%rax),%edx
mov    %r15,%rdi
mov    %rsp,%r15
mov    %rdx,%rax
add    $0xf,%rax
and    $0xfffffffffffffff0,%rax
sub    %rax,%r15
mov    %r15,%rsp
mov    %rdi,%rbx
mov    %r15,%rsi
call   1050 <readlink@plt>
test   %rax,%rax
js     1345 <resolve_path+0x1d5>
movb   $0x0,(%r12)
test   %r13,%r13
je     12a3 <resolve_path+0x133>
movb   $0x2f,0x0(%r13)
mov    %r15,%rdi
mov    %r13,%rsi
call   1090 <strcat@plt>
mov    %r14,%rdi
mov    %r15,%rsi
call   1030 <strcpy@plt>
cmpb   $0x2f,(%r14)
mov    %rbx,%r15
jne    11b0 <resolve_path+0x40>
movb   $0x0,0x1(%r15)
jmp    11b0 <resolve_path+0x40>
cs nopw 0x0(%rax,%rax,1)
nop
add    $0xffffffffffffffff,%r12
mov    %r12,%rax
test   %r13,%r13
jne    1315 <resolve_path+0x1a5>
jmp    133e <resolve_path+0x1ce>
mov    %r15,%rdi
call   1060 <strlen@plt>
add    %r15,%rax
test   %r13,%r13
jne    1315 <resolve_path+0x1a5>
jmp    133e <resolve_path+0x1ce>
add    $0xffffffffffffffff,%r12
cmp    %r15,%r12
je     132d <resolve_path+0x1bd>
cmpb   $0x0,0x1(%r14)
je     12d4 <resolve_path+0x164>
lea    -0x1(%r12),%rax
cmpb   $0x2f,-0x1(%r12)
mov    %rax,%r12
jne    1300 <resolve_path+0x190>
test   %r13,%r13
je     133e <resolve_path+0x1ce>
movw   $0x2f,(%rax)
add    $0x1,%rax
add    $0x1,%r13
mov    %r13,%r14
mov    %rax,%r12
jmp    11c2 <resolve_path+0x52>
mov    %r12,%rax
test   %r13,%r13
jne    1315 <resolve_path+0x1a5>
jmp    133e <resolve_path+0x1ce>
add    $0xffffffffffffffff,%r12
mov    %r12,%rax
movb   $0x0,(%rax)
xor    %eax,%eax
jmp    134e <resolve_path+0x1de>
mov    -0x38(%rbp),%rsp
mov    $0xffffffff,%eax
lea    -0x28(%rbp),%rsp
pop    %rbx
pop    %r12
pop    %r13
pop    %r14
pop    %r15
pop    %rbp
ret

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

LLVM IR (-O2):
%struct.stat = type { i32 }
@PATH_MAX = global i32 0
define i32 @resolve_path(i8* %0, i8* %1, i8* %2) {
%4 = alloca %struct.stat
%5 = load i8, i8* %0
%6 = icmp eq i8 %5, 47
br i1 %6, label %7, label %10
7: ; preds = %3
store i8 47, i8* %1
%8 = getelementptr inbounds i8, i8* %1, i64 1
%9 = getelementptr inbounds i8, i8* %0, i64 1
br label %10
10: ; preds = %7, %3
%11 = phi i8* [ %8, %7 ], [ %2, %3 ]
%12 = phi i8* [ %9, %7 ], [ %0, %3 ]
store i8 0, i8* %11
%13 = load i8, i8* %12
%14 = icmp eq i8 %13, 0
br i1 %14, label %96, label %15
15: ; preds = %10
%16 = bitcast %struct.stat* %4 to i8*
%17 = getelementptr inbounds %struct.stat, %struct.stat* %4, i64 0, i32 0
%18 = getelementptr inbounds i8, i8* %1, i64 1
br label %21
19: ; preds = %90
%20 = getelementptr inbounds i8, i8* %92, i64 -1
br label %85
21: ; preds = %15, %90
%22 = phi i8* [ %12, %15 ], [ %91, %90 ]
%23 = phi i8* [ %11, %15 ], [ %92, %90 ]
%24 = phi i8 [ %13, %15 ], [ %93, %90 ]
%25 = call i8* @strchr(i8* %22, i8 signext 47)
%26 = icmp eq i8* %25, null
br i1 %26, label %29, label %27
27: ; preds = %21
store i8 0, i8* %25
%28 = load i8, i8* %22
br label %29
29: ; preds = %27, %21
%30 = phi i8 [ %28, %27 ], [ %24, %21 ]
switch i8 %30, label %52 [
i8 0, label %38
i8 46, label %31
]
31: ; preds = %29
%32 = getelementptr inbounds i8, i8* %22, i64 1
%33 = load i8, i8* %32
switch i8 %33, label %52 [
i8 0, label %40
i8 46, label %34
]
34: ; preds = %31
%35 = getelementptr inbounds i8, i8* %22, i64 2
%36 = load i8, i8* %35
%37 = icmp eq i8 %36, 0
br i1 %37, label %40, label %52
38: ; preds = %29
%39 = getelementptr inbounds i8, i8* %23, i64 -1
br i1 %26, label %85, label %81
40: ; preds = %31, %34
%41 = getelementptr inbounds i8, i8* %23, i64 -1
%42 = icmp eq i8* %41, %1
br i1 %42, label %79, label %43
43: ; preds = %40
%44 = getelementptr inbounds i8, i8* %22, i64 1
%45 = load i8, i8* %44
%46 = icmp eq i8 %45, 0
br i1 %46, label %79, label %47
47: ; preds = %43, %47
%48 = phi i8* [ %49, %47 ], [ %41, %43 ]
%49 = getelementptr inbounds i8, i8* %48, i64 -1
%50 = load i8, i8* %49
%51 = icmp eq i8 %50, 47
br i1 %51, label %79, label %47
52: ; preds = %31, %29, %34
%53 = call i32 @strcpy(i8* %23, i8* %22)
%54 = call i64 @lstat(i8* %1, %struct.stat* %4)
%55 = icmp slt i64 %54, 0
br i1 %55, label %56, label %57
56: ; preds = %52
br label %96
57: ; preds = %52
%58 = load i32, i32* %17
%59 = call i64 @S_ISLNK(i32 %58)
%60 = icmp eq i64 %59, 0
br i1 %60, label %76, label %61
61: ; preds = %57
%62 = load i32, i32* @PATH_MAX
%63 = zext i32 %62 to i64
%64 = call i8* @llvm.stacksave()
%65 = alloca i8, i64 %63
%66 = call i64 @readlink(i8* %1, i8* %65, i32 %62)
%67 = icmp slt i64 %66, 0
br i1 %67, label %95, label %68
68: ; preds = %61
store i8 0, i8* %23
br i1 %26, label %71, label %69
69: ; preds = %68
store i8 47, i8* %25
%70 = call i32 @strcat(i8* %65, i8* %25)
br label %71
71: ; preds = %69, %68
%72 = call i32 @strcpy(i8* %22, i8* %65)
%73 = load i8, i8* %22
%74 = icmp eq i8 %73, 47
br i1 %74, label %75, label %87
75: ; preds = %71
store i8 0, i8* %18
br label %87
76: ; preds = %57
%77 = call i64 @strlen(i8* dereferenceable(1) %1)
%78 = getelementptr i8, i8* %1, i64 %77
br i1 %26, label %85, label %81
79: ; preds = %47, %40, %43
%80 = phi i8* [ %41, %43 ], [ %41, %40 ], [ %49, %47 ]
br i1 %26, label %85, label %81
81: ; preds = %76, %79, %38
%82 = phi i8* [ %78, %76 ], [ %80, %79 ], [ %39, %38 ]
%83 = getelementptr inbounds i8, i8* %82, i64 1
store i8 47, i8* %82
%84 = getelementptr inbounds i8, i8* %25, i64 1
store i8 0, i8* %83
br label %90
85: ; preds = %38, %76, %79, %19
%86 = phi i8* [ %20, %19 ], [ %39, %38 ], [ %80, %79 ], [ %78, %76 ]
store i8 0, i8* %86
br label %96
87: ; preds = %71, %75
%88 = call i64 @strlen(i8* dereferenceable(1) %1)
%89 = getelementptr i8, i8* %1, i64 %88
br label %90
90: ; preds = %87, %81
%91 = phi i8* [ %84, %81 ], [ %22, %87 ]
%92 = phi i8* [ %83, %81 ], [ %89, %87 ]
%93 = load i8, i8* %91
%94 = icmp eq i8 %93, 0
br i1 %94, label %19, label %21
95: ; preds = %61
br label %96
96: ; preds = %95, %56, %10, %85
%97 = phi i32 [ 0, %85 ], [ 0, %10 ], [ -1, %56 ], [ -1, %95 ]
ret i32 %97
}