#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 */
scalar_t__ archdep_path_is_relative(char const *);
scalar_t__ ioutil_access(char *, int);
int /*<<< orphan*/ *ioutil_getcwd(char *, int);
scalar_t__ ioutil_maxpathlen();
int /*<<< orphan*/ lib_free(char *);
char *lib_malloc(size_t);
char *lib_stralloc(char *);
int /*<<< orphan*/ memcpy(char *, char const *, size_t);
char *strchr(char const *, char);
size_t strlen(char const *);
char *findpath(const char *cmd, const char *syspath, int mode) {
  char *pd = NULL;
  char *c, *buf;
  size_t maxpathlen;
  maxpathlen = (size_t)ioutil_maxpathlen();
  buf = lib_malloc(maxpathlen);
  buf[0] = '\0';
  if (strchr(cmd, '/')) {
    size_t l;
    int state;
    const char *ps;
    if (archdep_path_is_relative(cmd)) {
      if (ioutil_getcwd(buf + 1, (int)maxpathlen - 128) == NULL)
        goto fail;
      l = strlen(buf + 1);
    } else {
      l = 0;
    }
    if (l + strlen(cmd) >= maxpathlen - 5)
      goto fail;
    ps = cmd;
    pd = buf + l;
    if (*pd++ != '/')
      *pd++ = '/';
    state = 1;
    while (*ps) {
      switch (state) {
      case 0:
        if (*ps == '/')
          state = 1;
        else
          state = 0;
        break;
      case 1:
        if (*ps == '.') {
          state = 2;
          break;
        }
        if (*ps == '/')
          pd--;
        else
          state = 0;
        break;
      case 2:
        if (*ps == '/') {
          state = 1;
          pd -= 2;
          break;
        }
        if (*ps == '.')
          state = 3;
        else
          state = 0;
        break;
      case 3:
        if (*ps != '/') {
          state = 0;
          break;
        }
        state = 1;
        pd -= 4;
        while (*pd != '/' && *pd != '\0')
          pd--;
        if (*pd == '\0')
          pd++;
        state = 1;
        break;
      }
      *pd++ = *ps++;
    }
    *pd = '\0';
    pd = buf + 1;
  } else {
    const char *path = syspath;
    const char *s;
    size_t cl = strlen(cmd) + 1;
    for (s = path; s; path = s + 1) {
      char *p;
      int l;
      s = strchr(path, ':');
      l = s ? (int)(s - path) : (int)strlen(path);
      if (l + cl > maxpathlen - 5)
        continue;
      memcpy(buf + 1, path, l);
      p = buf + l;
      if (*p++ != '/')
        *p++ = '/';
      memcpy(p, cmd, cl);
      for (c = buf + 1; *c != '\0'; c++)
        if (*c == '\\')
          *c = '/';
      if (ioutil_access(buf + 1, mode) == 0) {
        pd = p;
        break;
      }
    }
  }
  if (pd) {
    char *tmpbuf;
    tmpbuf = lib_stralloc(buf + 1);
    lib_free(buf);
    return tmpbuf;
  }
fail:
  lib_free(buf);
  return NULL;
}


x86 assembly (clang, -O0):
<findpath>:
push   %rbp
mov    %rsp,%rbp
sub    $0xa0,%rsp
mov    %rdi,-0x10(%rbp)
mov    %rsi,-0x18(%rbp)
mov    %edx,-0x1c(%rbp)
movq   $0x0,-0x28(%rbp)
mov    $0x0,%al
call   10a0 <ioutil_maxpathlen@plt>
mov    %rax,-0x40(%rbp)
mov    -0x40(%rbp),%rdi
call   1030 <lib_malloc@plt>
mov    %rax,-0x38(%rbp)
mov    -0x38(%rbp),%rax
movb   $0x0,(%rax)
mov    -0x10(%rbp),%rdi
mov    $0x2f,%esi
call   1090 <strchr@plt>
cmp    $0x0,%rax
je     14a6 <findpath+0x306>
mov    -0x10(%rbp),%rdi
call   1040 <archdep_path_is_relative@plt>
cmp    $0x0,%rax
je     1246 <findpath+0xa6>
mov    -0x38(%rbp),%rdi
add    $0x1,%rdi
mov    -0x40(%rbp),%rax
mov    %eax,%esi
sub    $0x80,%esi
call   10b0 <ioutil_getcwd@plt>
cmp    $0x0,%rax
jne    1230 <findpath+0x90>
jmp    1665 <findpath+0x4c5>
mov    -0x38(%rbp),%rdi
add    $0x1,%rdi
call   1080 <strlen@plt>
mov    %rax,-0x48(%rbp)
jmp    124e <findpath+0xae>
movq   $0x0,-0x48(%rbp)
mov    -0x48(%rbp),%rax
mov    %rax,-0x90(%rbp)
mov    -0x10(%rbp),%rdi
call   1080 <strlen@plt>
mov    %rax,%rcx
mov    -0x90(%rbp),%rax
add    %rcx,%rax
mov    -0x40(%rbp),%rcx
sub    $0x5,%rcx
cmp    %rcx,%rax
jb     1285 <findpath+0xe5>
jmp    1665 <findpath+0x4c5>
mov    -0x10(%rbp),%rax
mov    %rax,-0x58(%rbp)
mov    -0x38(%rbp),%rax
add    -0x48(%rbp),%rax
mov    %rax,-0x28(%rbp)
mov    -0x28(%rbp),%rax
mov    %rax,%rcx
add    $0x1,%rcx
mov    %rcx,-0x28(%rbp)
movsbl (%rax),%eax
cmp    $0x2f,%eax
je     12c6 <findpath+0x126>
mov    -0x28(%rbp),%rax
mov    %rax,%rcx
add    $0x1,%rcx
mov    %rcx,-0x28(%rbp)
movb   $0x2f,(%rax)
movl   $0x1,-0x4c(%rbp)
mov    -0x58(%rbp),%rax
cmpb   $0x0,(%rax)
je     148e <findpath+0x2ee>
mov    -0x4c(%rbp),%eax
mov    %rax,-0x98(%rbp)
sub    $0x3,%rax
ja     1467 <findpath+0x2c7>
mov    -0x98(%rbp),%rax
lea    0xd04(%rip),%rcx
movslq (%rcx,%rax,4),%rax
add    %rcx,%rax
jmp    *%rax
mov    -0x58(%rbp),%rax
movsbl (%rax),%eax
cmp    $0x2f,%eax
jne    1321 <findpath+0x181>
movl   $0x1,-0x4c(%rbp)
jmp    1328 <findpath+0x188>
movl   $0x0,-0x4c(%rbp)
jmp    1467 <findpath+0x2c7>
mov    -0x58(%rbp),%rax
movsbl (%rax),%eax
cmp    $0x2e,%eax
jne    1349 <findpath+0x1a9>
movl   $0x2,-0x4c(%rbp)
jmp    1467 <findpath+0x2c7>
mov    -0x58(%rbp),%rax
movsbl (%rax),%eax
cmp    $0x2f,%eax
jne    136a <findpath+0x1ca>
mov    -0x28(%rbp),%rax
add    $0xffffffffffffffff,%rax
mov    %rax,-0x28(%rbp)
jmp    1371 <findpath+0x1d1>
movl   $0x0,-0x4c(%rbp)
jmp    1467 <findpath+0x2c7>
mov    -0x58(%rbp),%rax
movsbl (%rax),%eax
cmp    $0x2f,%eax
jne    139e <findpath+0x1fe>
movl   $0x1,-0x4c(%rbp)
mov    -0x28(%rbp),%rax
add    $0xfffffffffffffffe,%rax
mov    %rax,-0x28(%rbp)
jmp    1467 <findpath+0x2c7>
mov    -0x58(%rbp),%rax
movsbl (%rax),%eax
cmp    $0x2e,%eax
jne    13ba <findpath+0x21a>
movl   $0x3,-0x4c(%rbp)
jmp    13c1 <findpath+0x221>
movl   $0x0,-0x4c(%rbp)
jmp    1467 <findpath+0x2c7>
mov    -0x58(%rbp),%rax
movsbl (%rax),%eax
cmp    $0x2f,%eax
je     13e2 <findpath+0x242>
movl   $0x0,-0x4c(%rbp)
jmp    1467 <findpath+0x2c7>
movl   $0x1,-0x4c(%rbp)
mov    -0x28(%rbp),%rax
add    $0xfffffffffffffffc,%rax
mov    %rax,-0x28(%rbp)
mov    -0x28(%rbp),%rax
movsbl (%rax),%ecx
xor    %eax,%eax
cmp    $0x2f,%ecx
mov    %al,-0x99(%rbp)
je     1420 <findpath+0x280>
mov    -0x28(%rbp),%rax
movsbl (%rax),%eax
cmp    $0x0,%eax
setne  %al
mov    %al,-0x99(%rbp)
mov    -0x99(%rbp),%al
test   $0x1,%al
jne    1433 <findpath+0x293>
jmp    1444 <findpath+0x2a4>
mov    -0x28(%rbp),%rax
add    $0xffffffffffffffff,%rax
mov    %rax,-0x28(%rbp)
jmp    13f5 <findpath+0x255>
mov    -0x28(%rbp),%rax
movsbl (%rax),%eax
cmp    $0x0,%eax
jne    1460 <findpath+0x2c0>
mov    -0x28(%rbp),%rax
add    $0x1,%rax
mov    %rax,-0x28(%rbp)
movl   $0x1,-0x4c(%rbp)
mov    -0x58(%rbp),%rax
mov    %rax,%rcx
add    $0x1,%rcx
mov    %rcx,-0x58(%rbp)
mov    (%rax),%cl
mov    -0x28(%rbp),%rax
mov    %rax,%rdx
add    $0x1,%rdx
mov    %rdx,-0x28(%rbp)
mov    %cl,(%rax)
jmp    12cd <findpath+0x12d>
mov    -0x28(%rbp),%rax
movb   $0x0,(%rax)
mov    -0x38(%rbp),%rax
add    $0x1,%rax
mov    %rax,-0x28(%rbp)
jmp    1628 <findpath+0x488>
mov    -0x18(%rbp),%rax
mov    %rax,-0x60(%rbp)
mov    -0x10(%rbp),%rdi
call   1080 <strlen@plt>
add    $0x1,%rax
mov    %rax,-0x70(%rbp)
mov    -0x60(%rbp),%rax
mov    %rax,-0x68(%rbp)
cmpq   $0x0,-0x68(%rbp)
je     1623 <findpath+0x483>
mov    -0x60(%rbp),%rdi
mov    $0x3a,%esi
call   1090 <strchr@plt>
mov    %rax,-0x68(%rbp)
cmpq   $0x0,-0x68(%rbp)
je     1505 <findpath+0x365>
mov    -0x68(%rbp),%rax
mov    -0x60(%rbp),%rcx
sub    %rcx,%rax
mov    %eax,-0xa0(%rbp)
jmp    1514 <findpath+0x374>
mov    -0x60(%rbp),%rdi
call   1080 <strlen@plt>
mov    %eax,-0xa0(%rbp)
mov    -0xa0(%rbp),%eax
mov    %eax,-0x7c(%rbp)
movslq -0x7c(%rbp),%rax
add    -0x70(%rbp),%rax
mov    -0x40(%rbp),%rcx
sub    $0x5,%rcx
cmp    %rcx,%rax
jbe    153b <findpath+0x39b>
jmp    1612 <findpath+0x472>
mov    -0x38(%rbp),%rdi
add    $0x1,%rdi
mov    -0x60(%rbp),%rsi
movslq -0x7c(%rbp),%rdx
call   10c0 <memcpy@plt>
mov    -0x38(%rbp),%rax
movslq -0x7c(%rbp),%rcx
add    %rcx,%rax
mov    %rax,-0x78(%rbp)
mov    -0x78(%rbp),%rax
mov    %rax,%rcx
add    $0x1,%rcx
mov    %rcx,-0x78(%rbp)
movsbl (%rax),%eax
cmp    $0x2f,%eax
je     158c <findpath+0x3ec>
mov    -0x78(%rbp),%rax
mov    %rax,%rcx
add    $0x1,%rcx
mov    %rcx,-0x78(%rbp)
movb   $0x2f,(%rax)
mov    -0x78(%rbp),%rdi
mov    -0x10(%rbp),%rsi
mov    -0x70(%rbp),%rdx
call   10c0 <memcpy@plt>
mov    -0x38(%rbp),%rax
add    $0x1,%rax
mov    %rax,-0x30(%rbp)
mov    -0x30(%rbp),%rax
movsbl (%rax),%eax
cmp    $0x0,%eax
je     15e6 <findpath+0x446>
mov    -0x30(%rbp),%rax
movsbl (%rax),%eax
cmp    $0x5c,%eax
jne    15d0 <findpath+0x430>
mov    -0x30(%rbp),%rax
movb   $0x2f,(%rax)
jmp    15d5 <findpath+0x435>
mov    -0x30(%rbp),%rax
add    $0x1,%rax
mov    %rax,-0x30(%rbp)
jmp    15a9 <findpath+0x409>
mov    -0x38(%rbp),%rdi
add    $0x1,%rdi
mov    -0x1c(%rbp),%esi
call   1070 <ioutil_access@plt>
cmp    $0x0,%rax
jne    160d <findpath+0x46d>
mov    -0x78(%rbp),%rax
mov    %rax,-0x28(%rbp)
jmp    1623 <findpath+0x483>
jmp    1612 <findpath+0x472>
mov    -0x68(%rbp),%rax
add    $0x1,%rax
mov    %rax,-0x60(%rbp)
jmp    14c7 <findpath+0x327>
jmp    1628 <findpath+0x488>
cmpq   $0x0,-0x28(%rbp)
je     1660 <findpath+0x4c0>
mov    -0x38(%rbp),%rdi
add    $0x1,%rdi
call   1050 <lib_stralloc@plt>
mov    %rax,-0x88(%rbp)
mov    -0x38(%rbp),%rdi
call   1060 <lib_free@plt>
mov    -0x88(%rbp),%rax
mov    %rax,-0x8(%rbp)
jmp    1676 <findpath+0x4d6>
jmp    1665 <findpath+0x4c5>
mov    -0x38(%rbp),%rdi
call   1060 <lib_free@plt>
movq   $0x0,-0x8(%rbp)
mov    -0x8(%rbp),%rax
add    $0xa0,%rsp
pop    %rbp
ret

x86 assembly (clang, -O2):
<findpath>:
push   %rbp
push   %r15
push   %r14
push   %r13
push   %r12
push   %rbx
sub    $0x28,%rsp
mov    %edx,%ebp
mov    %rsi,%r14
mov    %rdi,%rbx
xor    %eax,%eax
call   10a0 <ioutil_maxpathlen@plt>
mov    %rax,0x10(%rsp)
mov    %rax,%rdi
call   1030 <lib_malloc@plt>
mov    %rax,%r12
movb   $0x0,(%rax)
mov    %rbx,%rdi
mov    $0x2f,%esi
call   1090 <strchr@plt>
mov    %rbx,%rdi
test   %rax,%rax
je     1221 <findpath+0x81>
call   1040 <archdep_path_is_relative@plt>
test   %rax,%rax
je     131e <findpath+0x17e>
lea    0x1(%r12),%rbp
mov    0x10(%rsp),%rax
lea    -0x80(%rax),%esi
mov    %rbp,%rdi
call   10b0 <ioutil_getcwd@plt>
test   %rax,%rax
je     143d <findpath+0x29d>
mov    %rbp,%rdi
call   1080 <strlen@plt>
mov    %rax,%rbp
jmp    1320 <findpath+0x180>
call   1080 <strlen@plt>
test   %r14,%r14
je     143d <findpath+0x29d>
mov    %rax,%r15
mov    %ebp,0xc(%rsp)
add    $0x1,%r15
addq   $0xfffffffffffffffb,0x10(%rsp)
mov    %r12,0x20(%rsp)
lea    0x1(%r12),%rax
mov    %rax,0x18(%rsp)
jmp    126e <findpath+0xce>
cs nopw 0x0(%rax,%rax,1)
nopl   0x0(%rax,%rax,1)
lea    0x1(%r12),%r14
test   %r12,%r12
je     1420 <findpath+0x280>
mov    %r14,%rdi
mov    $0x3a,%esi
call   1090 <strchr@plt>
mov    %rax,%r12
test   %rax,%rax
je     1290 <findpath+0xf0>
mov    %r12,%rax
sub    %r14,%rax
jmp    1298 <findpath+0xf8>
nopl   0x0(%rax,%rax,1)
mov    %r14,%rdi
call   1080 <strlen@plt>
movslq %eax,%r13
lea    (%r15,%r13,1),%rax
cmp    0x10(%rsp),%rax
ja     1260 <findpath+0xc0>
mov    0x18(%rsp),%rdi
mov    %r14,%rsi
mov    %r13,%rdx
call   10c0 <memcpy@plt>
mov    0x20(%rsp),%rax
lea    (%rax,%r13,1),%rbp
add    $0x1,%rbp
cmpb   $0x2f,(%rax,%r13,1)
je     12d2 <findpath+0x132>
movb   $0x2f,0x0(%rbp)
add    $0x1,%rbp
mov    0xc(%rsp),%r14d
mov    %rbp,%rdi
mov    %rbx,%rsi
mov    %r15,%rdx
call   10c0 <memcpy@plt>
mov    0x18(%rsp),%rax
jmp    12f7 <findpath+0x157>
nopl   0x0(%rax)
movb   $0x2f,(%rax)
add    $0x1,%rax
movzbl (%rax),%ecx
cmp    $0x5c,%cl
je     12f0 <findpath+0x150>
test   %cl,%cl
jne    12f3 <findpath+0x153>
mov    0x18(%rsp),%rdi
mov    %r14d,%esi
call   1070 <ioutil_access@plt>
test   %rax,%rax
jne    1260 <findpath+0xc0>
jmp    1422 <findpath+0x282>
xor    %ebp,%ebp
mov    %rbx,%rdi
call   1080 <strlen@plt>
add    %rbp,%rax
mov    0x10(%rsp),%rcx
add    $0xfffffffffffffffb,%rcx
cmp    %rcx,%rax
jae    143d <findpath+0x29d>
lea    (%r12,%rbp,1),%rax
add    $0x1,%rax
cmpb   $0x2f,(%r12,%rbp,1)
je     1353 <findpath+0x1b3>
movb   $0x2f,(%rax)
add    $0x1,%rax
mov    (%rbx),%cl
test   %cl,%cl
je     141b <findpath+0x27b>
mov    $0x1,%esi
lea    0xc97(%rip),%rdi
jmp    1395 <findpath+0x1f5>
nopl   0x0(%rax,%rax,1)
xor    %esi,%esi
cmp    $0x2f,%cl
sete   %sil
nopl   0x0(%rax)
mov    %cl,(%rax)
add    $0x1,%rax
mov    0x1(%rbx),%cl
add    $0x1,%rbx
test   %cl,%cl
je     141b <findpath+0x27b>
cmp    $0x3,%esi
ja     1380 <findpath+0x1e0>
mov    %esi,%edx
movslq (%rdi,%rdx,4),%rdx
add    %rdi,%rdx
jmp    *%rdx
cmp    $0x2e,%cl
je     1407 <findpath+0x267>
cmp    $0x2f,%cl
jne    13f2 <findpath+0x252>
add    $0xffffffffffffffff,%rax
jmp    13fd <findpath+0x25d>
cs nopw 0x0(%rax,%rax,1)
nop
cmp    $0x2e,%cl
je     1411 <findpath+0x271>
cmp    $0x2f,%cl
jne    13f2 <findpath+0x252>
add    $0xfffffffffffffffe,%rax
jmp    13fd <findpath+0x25d>
xor    %esi,%esi
cmp    $0x2f,%cl
jne    1380 <findpath+0x1e0>
add    $0xfffffffffffffffc,%rax
nopl   0x0(%rax,%rax,1)
movzbl (%rax),%edx
test   %dl,%dl
je     13f6 <findpath+0x256>
cmp    $0x2f,%dl
je     13f6 <findpath+0x256>
add    $0xffffffffffffffff,%rax
jmp    13e0 <findpath+0x240>
xor    %esi,%esi
jmp    1380 <findpath+0x1e0>
cmp    $0x1,%dl
adc    $0x0,%rax
mov    $0x1,%esi
jmp    1380 <findpath+0x1e0>
mov    $0x2,%esi
jmp    1380 <findpath+0x1e0>
mov    $0x3,%esi
jmp    1380 <findpath+0x1e0>
movb   $0x0,(%rax)
jmp    142c <findpath+0x28c>
xor    %ebp,%ebp
test   %rbp,%rbp
mov    0x20(%rsp),%r12
je     143d <findpath+0x29d>
mov    %r12,%rdi
add    $0x1,%rdi
call   1050 <lib_stralloc@plt>
mov    %rax,%rbx
jmp    143f <findpath+0x29f>
xor    %ebx,%ebx
mov    %r12,%rdi
call   1060 <lib_free@plt>
mov    %rbx,%rax
add    $0x28,%rsp
pop    %rbx
pop    %r12
pop    %r13
pop    %r14
pop    %r15
pop    %rbp
ret

LLVM IR (-O0):
define i8* @findpath(i8* %0, i8* %1, i32 %2) {
%4 = alloca i8*
%5 = alloca i8*
%6 = alloca i8*
%7 = alloca i32
%8 = alloca i8*
%9 = alloca i8*
%10 = alloca i8*
%11 = alloca i64
%12 = alloca i64
%13 = alloca i32
%14 = alloca i8*
%15 = alloca i8*
%16 = alloca i8*
%17 = alloca i64
%18 = alloca i8*
%19 = alloca i32
%20 = alloca i8*
store i8* %0, i8** %5
store i8* %1, i8** %6
store i32 %2, i32* %7
store i8* null, i8** %8
%21 = call i64 (...) @ioutil_maxpathlen()
store i64 %21, i64* %11
%22 = load i64, i64* %11
%23 = call i8* @lib_malloc(i64 %22)
store i8* %23, i8** %10
%24 = load i8*, i8** %10
%25 = getelementptr inbounds i8, i8* %24, i64 0
store i8 0, i8* %25
%26 = load i8*, i8** %5
%27 = call i8* @strchr(i8* %26, i8 signext 47)
%28 = icmp ne i8* %27, null
br i1 %28, label %29, label %159
29: ; preds = %3
%30 = load i8*, i8** %5
%31 = call i64 @archdep_path_is_relative(i8* %30)
%32 = icmp ne i64 %31, 0
br i1 %32, label %33, label %46
33: ; preds = %29
%34 = load i8*, i8** %10
%35 = getelementptr inbounds i8, i8* %34, i64 1
%36 = load i64, i64* %11
%37 = trunc i64 %36 to i32
%38 = sub nsw i32 %37, 128
%39 = call i32* @ioutil_getcwd(i8* %35, i32 %38)
%40 = icmp eq i32* %39, null
br i1 %40, label %41, label %42
41: ; preds = %33
br label %260
42: ; preds = %33
%43 = load i8*, i8** %10
%44 = getelementptr inbounds i8, i8* %43, i64 1
%45 = call i64 @strlen(i8* %44)
store i64 %45, i64* %12
br label %47
46: ; preds = %29
store i64 0, i64* %12
br label %47
47: ; preds = %46, %42
%48 = load i64, i64* %12
%49 = load i8*, i8** %5
%50 = call i64 @strlen(i8* %49)
%51 = add i64 %48, %50
%52 = load i64, i64* %11
%53 = sub i64 %52, 5
%54 = icmp uge i64 %51, %53
br i1 %54, label %55, label %56
55: ; preds = %47
br label %260
56: ; preds = %47
%57 = load i8*, i8** %5
store i8* %57, i8** %14
%58 = load i8*, i8** %10
%59 = load i64, i64* %12
%60 = getelementptr inbounds i8, i8* %58, i64 %59
store i8* %60, i8** %8
%61 = load i8*, i8** %8
%62 = getelementptr inbounds i8, i8* %61, i32 1
store i8* %62, i8** %8
%63 = load i8, i8* %61
%64 = sext i8 %63 to i32
%65 = icmp ne i32 %64, 47
br i1 %65, label %66, label %69
66: ; preds = %56
%67 = load i8*, i8** %8
%68 = getelementptr inbounds i8, i8* %67, i32 1
store i8* %68, i8** %8
store i8 47, i8* %67
br label %69
69: ; preds = %66, %56
store i32 1, i32* %13
br label %70
70: ; preds = %149, %69
%71 = load i8*, i8** %14
%72 = load i8, i8* %71
%73 = icmp ne i8 %72, 0
br i1 %73, label %74, label %155
74: ; preds = %70
%75 = load i32, i32* %13
switch i32 %75, label %149 [
i32 0, label %76
i32 1, label %84
i32 2, label %100
i32 3, label %116
]
76: ; preds = %74
%77 = load i8*, i8** %14
%78 = load i8, i8* %77
%79 = sext i8 %78 to i32
%80 = icmp eq i32 %79, 47
br i1 %80, label %81, label %82
81: ; preds = %76
store i32 1, i32* %13
br label %83
82: ; preds = %76
store i32 0, i32* %13
br label %83
83: ; preds = %82, %81
br label %149
84: ; preds = %74
%85 = load i8*, i8** %14
%86 = load i8, i8* %85
%87 = sext i8 %86 to i32
%88 = icmp eq i32 %87, 46
br i1 %88, label %89, label %90
89: ; preds = %84
store i32 2, i32* %13
br label %149
90: ; preds = %84
%91 = load i8*, i8** %14
%92 = load i8, i8* %91
%93 = sext i8 %92 to i32
%94 = icmp eq i32 %93, 47
br i1 %94, label %95, label %98
95: ; preds = %90
%96 = load i8*, i8** %8
%97 = getelementptr inbounds i8, i8* %96, i32 -1
store i8* %97, i8** %8
br label %99
98: ; preds = %90
store i32 0, i32* %13
br label %99
99: ; preds = %98, %95
br label %149
100: ; preds = %74
%101 = load i8*, i8** %14
%102 = load i8, i8* %101
%103 = sext i8 %102 to i32
%104 = icmp eq i32 %103, 47
br i1 %104, label %105, label %108
105: ; preds = %100
store i32 1, i32* %13
%106 = load i8*, i8** %8
%107 = getelementptr inbounds i8, i8* %106, i64 -2
store i8* %107, i8** %8
br label %149
108: ; preds = %100
%109 = load i8*, i8** %14
%110 = load i8, i8* %109
%111 = sext i8 %110 to i32
%112 = icmp eq i32 %111, 46
br i1 %112, label %113, label %114
113: ; preds = %108
store i32 3, i32* %13
br label %115
114: ; preds = %108
store i32 0, i32* %13
br label %115
115: ; preds = %114, %113
br label %149
116: ; preds = %74
%117 = load i8*, i8** %14
%118 = load i8, i8* %117
%119 = sext i8 %118 to i32
%120 = icmp ne i32 %119, 47
br i1 %120, label %121, label %122
121: ; preds = %116
store i32 0, i32* %13
br label %149
122: ; preds = %116
store i32 1, i32* %13
%123 = load i8*, i8** %8
%124 = getelementptr inbounds i8, i8* %123, i64 -4
store i8* %124, i8** %8
br label %125
125: ; preds = %137, %122
%126 = load i8*, i8** %8
%127 = load i8, i8* %126
%128 = sext i8 %127 to i32
%129 = icmp ne i32 %128, 47
br i1 %129, label %130, label %135
130: ; preds = %125
%131 = load i8*, i8** %8
%132 = load i8, i8* %131
%133 = sext i8 %132 to i32
%134 = icmp ne i32 %133, 0
br label %135
135: ; preds = %130, %125
%136 = phi i1 [ false, %125 ], [ %134, %130 ]
br i1 %136, label %137, label %140
137: ; preds = %135
%138 = load i8*, i8** %8
%139 = getelementptr inbounds i8, i8* %138, i32 -1
store i8* %139, i8** %8
br label %125
140: ; preds = %135
%141 = load i8*, i8** %8
%142 = load i8, i8* %141
%143 = sext i8 %142 to i32
%144 = icmp eq i32 %143, 0
br i1 %144, label %145, label %148
145: ; preds = %140
%146 = load i8*, i8** %8
%147 = getelementptr inbounds i8, i8* %146, i32 1
store i8* %147, i8** %8
br label %148
148: ; preds = %145, %140
store i32 1, i32* %13
br label %149
149: ; preds = %74, %148, %121, %115, %105, %99, %89, %83
%150 = load i8*, i8** %14
%151 = getelementptr inbounds i8, i8* %150, i32 1
store i8* %151, i8** %14
%152 = load i8, i8* %150
%153 = load i8*, i8** %8
%154 = getelementptr inbounds i8, i8* %153, i32 1
store i8* %154, i8** %8
store i8 %152, i8* %153
br label %70
155: ; preds = %70
%156 = load i8*, i8** %8
store i8 0, i8* %156
%157 = load i8*, i8** %10
%158 = getelementptr inbounds i8, i8* %157, i64 1
store i8* %158, i8** %8
br label %249
159: ; preds = %3
%160 = load i8*, i8** %6
store i8* %160, i8** %15
%161 = load i8*, i8** %5
%162 = call i64 @strlen(i8* %161)
%163 = add i64 %162, 1
store i64 %163, i64* %17
%164 = load i8*, i8** %15
store i8* %164, i8** %16
br label %165
165: ; preds = %245, %159
%166 = load i8*, i8** %16
%167 = icmp ne i8* %166, null
br i1 %167, label %168, label %248
168: ; preds = %165
%169 = load i8*, i8** %15
%170 = call i8* @strchr(i8* %169, i8 signext 58)
store i8* %170, i8** %16
%171 = load i8*, i8** %16
%172 = icmp ne i8* %171, null
br i1 %172, label %173, label %180
173: ; preds = %168
%174 = load i8*, i8** %16
%175 = load i8*, i8** %15
%176 = ptrtoint i8* %174 to i64
%177 = ptrtoint i8* %175 to i64
%178 = sub i64 %176, %177
%179 = trunc i64 %178 to i32
br label %184
180: ; preds = %168
%181 = load i8*, i8** %15
%182 = call i64 @strlen(i8* %181)
%183 = trunc i64 %182 to i32
br label %184
184: ; preds = %180, %173
%185 = phi i32 [ %179, %173 ], [ %183, %180 ]
store i32 %185, i32* %19
%186 = load i32, i32* %19
%187 = sext i32 %186 to i64
%188 = load i64, i64* %17
%189 = add i64 %187, %188
%190 = load i64, i64* %11
%191 = sub i64 %190, 5
%192 = icmp ugt i64 %189, %191
br i1 %192, label %193, label %194
193: ; preds = %184
br label %245
194: ; preds = %184
%195 = load i8*, i8** %10
%196 = getelementptr inbounds i8, i8* %195, i64 1
%197 = load i8*, i8** %15
%198 = load i32, i32* %19
%199 = sext i32 %198 to i64
%200 = call i32 @memcpy(i8* %196, i8* %197, i64 %199)
%201 = load i8*, i8** %10
%202 = load i32, i32* %19
%203 = sext i32 %202 to i64
%204 = getelementptr inbounds i8, i8* %201, i64 %203
store i8* %204, i8** %18
%205 = load i8*, i8** %18
%206 = getelementptr inbounds i8, i8* %205, i32 1
store i8* %206, i8** %18
%207 = load i8, i8* %205
%208 = sext i8 %207 to i32
%209 = icmp ne i32 %208, 47
br i1 %209, label %210, label %213
210: ; preds = %194
%211 = load i8*, i8** %18
%212 = getelementptr inbounds i8, i8* %211, i32 1
store i8* %212, i8** %18
store i8 47, i8* %211
br label %213
213: ; preds = %210, %194
%214 = load i8*, i8** %18
%215 = load i8*, i8** %5
%216 = load i64, i64* %17
%217 = call i32 @memcpy(i8* %214, i8* %215, i64 %216)
%218 = load i8*, i8** %10
%219 = getelementptr inbounds i8, i8* %218, i64 1
store i8* %219, i8** %9
br label %220
220: ; preds = %233, %213
%221 = load i8*, i8** %9
%222 = load i8, i8* %221
%223 = sext i8 %222 to i32
%224 = icmp ne i32 %223, 0
br i1 %224, label %225, label %236
225: ; preds = %220
%226 = load i8*, i8** %9
%227 = load i8, i8* %226
%228 = sext i8 %227 to i32
%229 = icmp eq i32 %228, 92
br i1 %229, label %230, label %232
230: ; preds = %225
%231 = load i8*, i8** %9
store i8 47, i8* %231
br label %232
232: ; preds = %230, %225
br label %233
233: ; preds = %232
%234 = load i8*, i8** %9
%235 = getelementptr inbounds i8, i8* %234, i32 1
store i8* %235, i8** %9
br label %220
236: ; preds = %220
%237 = load i8*, i8** %10
%238 = getelementptr inbounds i8, i8* %237, i64 1
%239 = load i32, i32* %7
%240 = call i64 @ioutil_access(i8* %238, i32 %239)
%241 = icmp eq i64 %240, 0
br i1 %241, label %242, label %244
242: ; preds = %236
%243 = load i8*, i8** %18
store i8* %243, i8** %8
br label %248
244: ; preds = %236
br label %245
245: ; preds = %244, %193
%246 = load i8*, i8** %16
%247 = getelementptr inbounds i8, i8* %246, i64 1
store i8* %247, i8** %15
br label %165
248: ; preds = %242, %165
br label %249
249: ; preds = %248, %155
%250 = load i8*, i8** %8
%251 = icmp ne i8* %250, null
br i1 %251, label %252, label %259
252: ; preds = %249
%253 = load i8*, i8** %10
%254 = getelementptr inbounds i8, i8* %253, i64 1
%255 = call i8* @lib_stralloc(i8* %254)
store i8* %255, i8** %20
%256 = load i8*, i8** %10
%257 = call i32 @lib_free(i8* %256)
%258 = load i8*, i8** %20
store i8* %258, i8** %4
br label %263
259: ; preds = %249
br label %260
260: ; preds = %259, %55, %41
%261 = load i8*, i8** %10
%262 = call i32 @lib_free(i8* %261)
store i8* null, i8** %4
br label %263
263: ; preds = %260, %252
%264 = load i8*, i8** %4
ret i8* %264
}

LLVM IR (-O2):
define i8* @findpath(i8* %0, i8* %1, i32 %2) {
%4 = tail call i64 (...) @ioutil_maxpathlen()
%5 = tail call i8* @lib_malloc(i64 %4)
store i8 0, i8* %5
%6 = tail call i8* @strchr(i8* dereferenceable(1) %0, i8 signext 47)
%7 = icmp eq i8* %6, null
br i1 %7, label %74, label %8
8: ; preds = %3
%9 = tail call i64 @archdep_path_is_relative(i8* %0)
%10 = icmp eq i64 %9, 0
br i1 %10, label %19, label %11
11: ; preds = %8
%12 = getelementptr inbounds i8, i8* %5, i64 1
%13 = trunc i64 %4 to i32
%14 = add nsw i32 %13, -128
%15 = tail call i32* @ioutil_getcwd(i8* %12, i32 %14)
%16 = icmp eq i32* %15, null
br i1 %16, label %125, label %17
17: ; preds = %11
%18 = tail call i64 @strlen(i8* %12)
br label %19
19: ; preds = %8, %17
%20 = phi i64 [ %18, %17 ], [ 0, %8 ]
%21 = tail call i64 @strlen(i8* dereferenceable(1) %0)
%22 = add i64 %21, %20
%23 = add i64 %4, -5
%24 = icmp ult i64 %22, %23
br i1 %24, label %25, label %125
25: ; preds = %19
%26 = getelementptr inbounds i8, i8* %5, i64 %20
%27 = getelementptr inbounds i8, i8* %26, i64 1
%28 = load i8, i8* %26
%29 = icmp eq i8 %28, 47
br i1 %29, label %32, label %30
30: ; preds = %25
%31 = getelementptr inbounds i8, i8* %27, i64 1
store i8 47, i8* %27
br label %32
32: ; preds = %30, %25
%33 = phi i8* [ %31, %30 ], [ %27, %25 ]
%34 = load i8, i8* %0
%35 = icmp eq i8 %34, 0
br i1 %35, label %72, label %36
36: ; preds = %32, %65
%37 = phi i8 [ %70, %65 ], [ %34, %32 ]
%38 = phi i8* [ %69, %65 ], [ %33, %32 ]
%39 = phi i8* [ %68, %65 ], [ %0, %32 ]
%40 = phi i32 [ %66, %65 ], [ 1, %32 ]
switch i32 %40, label %65 [
i32 0, label %41
i32 1, label %44
i32 2, label %48
i32 3, label %52
]
41: ; preds = %36
%42 = icmp eq i8 %37, 47
%43 = zext i1 %42 to i32
br label %65
44: ; preds = %36
switch i8 %37, label %47 [
i8 46, label %65
i8 47, label %45
]
45: ; preds = %44
%46 = getelementptr inbounds i8, i8* %38, i64 -1
br label %65
47: ; preds = %44
br label %65
48: ; preds = %36
switch i8 %37, label %51 [
i8 47, label %49
i8 46, label %65
]
49: ; preds = %48
%50 = getelementptr inbounds i8, i8* %38, i64 -2
br label %65
51: ; preds = %48
br label %65
52: ; preds = %36
%53 = icmp eq i8 %37, 47
br i1 %53, label %54, label %65
54: ; preds = %52
%55 = getelementptr inbounds i8, i8* %38, i64 -4
br label %56
56: ; preds = %59, %54
%57 = phi i8* [ %55, %54 ], [ %60, %59 ]
%58 = load i8, i8* %57
switch i8 %58, label %59 [
i8 47, label %61
i8 0, label %61
]
59: ; preds = %56
%60 = getelementptr inbounds i8, i8* %57, i64 -1
br label %56
61: ; preds = %56, %56
%62 = icmp eq i8 %58, 0
%63 = zext i1 %62 to i64
%64 = getelementptr i8, i8* %57, i64 %63
br label %65
65: ; preds = %52, %48, %44, %41, %51, %45, %47, %36, %61, %49
%66 = phi i32 [ %40, %36 ], [ 1, %61 ], [ 1, %49 ], [ 0, %51 ], [ 1, %45 ], [ 0, %47 ], [ %43, %41 ], [ 2, %44 ], [ 3, %48 ], [ 0, %52 ]
%67 = phi i8* [ %38, %36 ], [ %64, %61 ], [ %50, %49 ], [ %38, %51 ], [ %46, %45 ], [ %38, %47 ], [ %38, %41 ], [ %38, %44 ], [ %38, %48 ], [ %38, %52 ]
%68 = getelementptr inbounds i8, i8* %39, i64 1
%69 = getelementptr inbounds i8, i8* %67, i64 1
store i8 %37, i8* %67
%70 = load i8, i8* %68
%71 = icmp eq i8 %70, 0
br i1 %71, label %72, label %36
72: ; preds = %65, %32
%73 = phi i8* [ %33, %32 ], [ %69, %65 ]
store i8 0, i8* %73
br label %122
74: ; preds = %3
%75 = tail call i64 @strlen(i8* dereferenceable(1) %0)
%76 = add i64 %75, 1
%77 = icmp eq i8* %1, null
br i1 %77, label %125, label %78
78: ; preds = %74
%79 = add i64 %4, -5
%80 = getelementptr inbounds i8, i8* %5, i64 1
br label %81
81: ; preds = %78, %117
%82 = phi i8* [ %1, %78 ], [ %118, %117 ]
%83 = tail call i8* @strchr(i8* dereferenceable(1) %82, i8 signext 58)
%84 = icmp eq i8* %83, null
br i1 %84, label %89, label %85
85: ; preds = %81
%86 = ptrtoint i8* %83 to i64
%87 = ptrtoint i8* %82 to i64
%88 = sub i64 %86, %87
br label %91
89: ; preds = %81
%90 = tail call i64 @strlen(i8* dereferenceable(1) %82)
br label %91
91: ; preds = %89, %85
%92 = phi i64 [ %88, %85 ], [ %90, %89 ]
%93 = shl i64 %92, 32
%94 = ashr exact i64 %93, 32
%95 = add i64 %94, %76
%96 = icmp ugt i64 %95, %79
br i1 %96, label %117, label %97
97: ; preds = %91
%98 = tail call i32 @memcpy(i8* %80, i8* %82, i64 %94)
%99 = getelementptr inbounds i8, i8* %5, i64 %94
%100 = getelementptr inbounds i8, i8* %99, i64 1
%101 = load i8, i8* %99
%102 = icmp eq i8 %101, 47
br i1 %102, label %105, label %103
103: ; preds = %97
%104 = getelementptr inbounds i8, i8* %100, i64 1
store i8 47, i8* %100
br label %105
105: ; preds = %103, %97
%106 = phi i8* [ %104, %103 ], [ %100, %97 ]
%107 = tail call i32 @memcpy(i8* %106, i8* %0, i64 %76)
br label %108
108: ; preds = %112, %105
%109 = phi i8* [ %80, %105 ], [ %113, %112 ]
%110 = load i8, i8* %109
switch i8 %110, label %112 [
i8 0, label %114
i8 92, label %111
]
111: ; preds = %108
store i8 47, i8* %109
br label %112
112: ; preds = %108, %111
%113 = getelementptr inbounds i8, i8* %109, i64 1
br label %108
114: ; preds = %108
%115 = tail call i64 @ioutil_access(i8* %80, i32 %2)
%116 = icmp eq i64 %115, 0
br i1 %116, label %119, label %117
117: ; preds = %91, %114
%118 = getelementptr inbounds i8, i8* %83, i64 1
br i1 %84, label %119, label %81
119: ; preds = %114, %117
%120 = phi i8* [ %106, %114 ], [ null, %117 ]
%121 = icmp eq i8* %120, null
br i1 %121, label %125, label %122
122: ; preds = %72, %119
%123 = getelementptr inbounds i8, i8* %5, i64 1
%124 = tail call i8* @lib_stralloc(i8* %123)
br label %125
125: ; preds = %119, %11, %19, %74, %122
%126 = phi i8* [ %124, %122 ], [ null, %74 ], [ null, %19 ], [ null, %11 ], [ null, %119 ]
%127 = tail call i32 @lib_free(i8* %5)
ret i8* %126
}