#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__ EINVAL;
scalar_t__ ELOOP;
scalar_t__ ENAMETOOLONG;
scalar_t__ errno;
int /*<<< orphan*/ free(char *);
int /*<<< orphan*/ getcwd(char *, int);
int /*<<< orphan*/ memcpy(char *, char const *, int);
int readlink(char *, char *, int);
int strlen(char const *);
char *xmalloc(int);
char *myrealpath(const char *path, char *resolved_path, int maxreslth) {
  int readlinks = 0;
  char *npath;
  char link_path[4096 + 1];
  int n;
  char *buf = NULL;
  npath = resolved_path;
  if (*path != '/') {
    if (!getcwd(npath, maxreslth - 2))
      return NULL;
    npath += strlen(npath);
    if (npath[-1] != '/')
      *npath++ = '/';
  } else {
    *npath++ = '/';
    path++;
  }
  while (*path != '\0') {
    if (*path == '/') {
      path++;
      continue;
    }
    if (*path == '.' && (path[1] == '\0' || path[1] == '/')) {
      path++;
      continue;
    }
    if (*path == '.' && path[1] == '.' && (path[2] == '\0' || path[2] == '/')) {
      path += 2;
      while (npath > resolved_path + 1 && (--npath)[-1] != '/')
        ;
      continue;
    }
    while (*path != '\0' && *path != '/') {
      if (npath - resolved_path > maxreslth - 2) {
        errno = ENAMETOOLONG;
        goto err;
      }
      *npath++ = *path++;
    }
    if (readlinks++ > 256) {
      errno = ELOOP;
      goto err;
    }
    *npath = '\0';
    n = readlink(resolved_path, link_path, 4096);
    if (n < 0) {
      if (errno != EINVAL)
        goto err;
    } else {
      int m;
      char *newbuf;
      link_path[n] = '\0';
      if (*link_path == '/')
        npath = resolved_path;
      else
        while (*(--npath) != '/')
          ;
      m = strlen(path);
      newbuf = xmalloc(m + n + 1);
      memcpy(newbuf, link_path, n);
      memcpy(newbuf + n, path, m + 1);
      if (buf)
        free(buf);
      path = buf = newbuf;
    }
    *npath++ = '/';
  }
  if (npath != resolved_path + 1 && npath[-1] == '/')
    npath--;
  *npath = '\0';
  if (buf)
    free(buf);
  return resolved_path;
err:
  if (buf)
    free(buf);
  return NULL;
}


x86 assembly (clang, -O0):
<myrealpath>:
push   %rbp
mov    %rsp,%rbp
sub    $0x1060,%rsp
mov    %rdi,-0x10(%rbp)
mov    %rsi,-0x18(%rbp)
mov    %edx,-0x1c(%rbp)
movl   $0x0,-0x20(%rbp)
movq   $0x0,-0x1040(%rbp)
mov    -0x18(%rbp),%rax
mov    %rax,-0x28(%rbp)
mov    -0x10(%rbp),%rax
movsbl (%rax),%eax
cmp    $0x2f,%eax
je     1206 <myrealpath+0xa6>
mov    -0x28(%rbp),%rdi
mov    -0x1c(%rbp),%esi
sub    $0x2,%esi
call   1060 <getcwd@plt>
cmp    $0x0,%eax
jne    11c5 <myrealpath+0x65>
movq   $0x0,-0x8(%rbp)
jmp    15e9 <myrealpath+0x489>
mov    -0x28(%rbp),%rdi
call   1050 <strlen@plt>
mov    %eax,%ecx
mov    -0x28(%rbp),%rax
movslq %ecx,%rcx
add    %rcx,%rax
mov    %rax,-0x28(%rbp)
mov    -0x28(%rbp),%rax
movsbl -0x1(%rax),%eax
cmp    $0x2f,%eax
je     1201 <myrealpath+0xa1>
mov    -0x28(%rbp),%rax
mov    %rax,%rcx
add    $0x1,%rcx
mov    %rcx,-0x28(%rbp)
movb   $0x2f,(%rax)
jmp    1224 <myrealpath+0xc4>
mov    -0x28(%rbp),%rax
mov    %rax,%rcx
add    $0x1,%rcx
mov    %rcx,-0x28(%rbp)
movb   $0x2f,(%rax)
mov    -0x10(%rbp),%rax
add    $0x1,%rax
mov    %rax,-0x10(%rbp)
jmp    1229 <myrealpath+0xc9>
mov    -0x10(%rbp),%rax
movsbl (%rax),%eax
cmp    $0x0,%eax
je     1567 <myrealpath+0x407>
mov    -0x10(%rbp),%rax
movsbl (%rax),%eax
cmp    $0x2f,%eax
jne    125a <myrealpath+0xfa>
mov    -0x10(%rbp),%rax
add    $0x1,%rax
mov    %rax,-0x10(%rbp)
jmp    1229 <myrealpath+0xc9>
mov    -0x10(%rbp),%rax
movsbl (%rax),%eax
cmp    $0x2e,%eax
jne    129d <myrealpath+0x13d>
mov    -0x10(%rbp),%rax
movsbl 0x1(%rax),%eax
cmp    $0x0,%eax
je     128c <myrealpath+0x12c>
mov    -0x10(%rbp),%rax
movsbl 0x1(%rax),%eax
cmp    $0x2f,%eax
jne    129d <myrealpath+0x13d>
mov    -0x10(%rbp),%rax
add    $0x1,%rax
mov    %rax,-0x10(%rbp)
jmp    1229 <myrealpath+0xc9>
mov    -0x10(%rbp),%rax
movsbl (%rax),%eax
cmp    $0x2e,%eax
jne    1345 <myrealpath+0x1e5>
mov    -0x10(%rbp),%rax
movsbl 0x1(%rax),%eax
cmp    $0x2e,%eax
jne    1345 <myrealpath+0x1e5>
mov    -0x10(%rbp),%rax
movsbl 0x2(%rax),%eax
cmp    $0x0,%eax
je     12e0 <myrealpath+0x180>
mov    -0x10(%rbp),%rax
movsbl 0x2(%rax),%eax
cmp    $0x2f,%eax
jne    1345 <myrealpath+0x1e5>
mov    -0x10(%rbp),%rax
add    $0x2,%rax
mov    %rax,-0x10(%rbp)
mov    -0x28(%rbp),%rcx
mov    -0x18(%rbp),%rdx
add    $0x1,%rdx
xor    %eax,%eax
cmp    %rdx,%rcx
mov    %al,-0x1051(%rbp)
jbe    1328 <myrealpath+0x1c8>
mov    -0x28(%rbp),%rax
mov    %rax,%rcx
add    $0xffffffffffffffff,%rcx
mov    %rcx,-0x28(%rbp)
movsbl -0x2(%rax),%eax
cmp    $0x2f,%eax
setne  %al
mov    %al,-0x1051(%rbp)
mov    -0x1051(%rbp),%al
test   $0x1,%al
jne    133b <myrealpath+0x1db>
jmp    1340 <myrealpath+0x1e0>
jmp    12ec <myrealpath+0x18c>
jmp    1229 <myrealpath+0xc9>
jmp    134a <myrealpath+0x1ea>
mov    -0x10(%rbp),%rax
movsbl (%rax),%ecx
xor    %eax,%eax
cmp    $0x0,%ecx
mov    %al,-0x1052(%rbp)
je     1375 <myrealpath+0x215>
mov    -0x10(%rbp),%rax
movsbl (%rax),%eax
cmp    $0x2f,%eax
setne  %al
mov    %al,-0x1052(%rbp)
mov    -0x1052(%rbp),%al
test   $0x1,%al
jne    1388 <myrealpath+0x228>
jmp    13e5 <myrealpath+0x285>
mov    -0x28(%rbp),%rax
mov    -0x18(%rbp),%rcx
sub    %rcx,%rax
mov    -0x1c(%rbp),%ecx
sub    $0x2,%ecx
movslq %ecx,%rcx
cmp    %rcx,%rax
jle    13be <myrealpath+0x25e>
mov    0x2c1c(%rip),%rax
mov    (%rax),%rcx
mov    0x2c22(%rip),%rax
mov    %rcx,(%rax)
jmp    15c7 <myrealpath+0x467>
mov    -0x10(%rbp),%rax
mov    %rax,%rcx
add    $0x1,%rcx
mov    %rcx,-0x10(%rbp)
mov    (%rax),%cl
mov    -0x28(%rbp),%rax
mov    %rax,%rdx
add    $0x1,%rdx
mov    %rdx,-0x28(%rbp)
mov    %cl,(%rax)
jmp    134a <myrealpath+0x1ea>
mov    -0x20(%rbp),%eax
mov    %eax,%ecx
add    $0x1,%ecx
mov    %ecx,-0x20(%rbp)
cmp    $0x100,%eax
jle    1414 <myrealpath+0x2b4>
mov    0x2be6(%rip),%rax
mov    (%rax),%rcx
mov    0x2bcc(%rip),%rax
mov    %rcx,(%rax)
jmp    15c7 <myrealpath+0x467>
mov    -0x28(%rbp),%rax
movb   $0x0,(%rax)
mov    -0x18(%rbp),%rdi
lea    -0x1030(%rbp),%rsi
mov    $0x1000,%edx
call   1040 <readlink@plt>
mov    %eax,-0x1034(%rbp)
cmpl   $0x0,-0x1034(%rbp)
jge    1467 <myrealpath+0x307>
mov    0x2b8e(%rip),%rax
mov    (%rax),%rax
mov    0x2b7c(%rip),%rcx
cmp    (%rcx),%rax
je     1462 <myrealpath+0x302>
jmp    15c7 <myrealpath+0x467>
jmp    1550 <myrealpath+0x3f0>
movslq -0x1034(%rbp),%rax
movb   $0x0,-0x1030(%rbp,%rax,1)
movsbl -0x1030(%rbp),%eax
cmp    $0x2f,%eax
jne    1493 <myrealpath+0x333>
mov    -0x18(%rbp),%rax
mov    %rax,-0x28(%rbp)
jmp    14be <myrealpath+0x35e>
jmp    1498 <myrealpath+0x338>
mov    -0x28(%rbp),%rax
mov    %rax,%rcx
add    $0xffffffffffffffff,%rcx
mov    %rcx,-0x28(%rbp)
movsbl -0x1(%rax),%eax
cmp    $0x2f,%eax
je     14b9 <myrealpath+0x359>
jmp    1498 <myrealpath+0x338>
jmp    14be <myrealpath+0x35e>
mov    -0x10(%rbp),%rdi
call   1050 <strlen@plt>
mov    %eax,-0x1044(%rbp)
mov    -0x1044(%rbp),%edi
add    -0x1034(%rbp),%edi
add    $0x1,%edi
call   1070 <xmalloc@plt>
mov    %rax,-0x1050(%rbp)
mov    -0x1050(%rbp),%rdi
lea    -0x1030(%rbp),%rsi
mov    -0x1034(%rbp),%edx
call   1080 <memcpy@plt>
mov    -0x1050(%rbp),%rdi
movslq -0x1034(%rbp),%rax
add    %rax,%rdi
mov    -0x10(%rbp),%rsi
mov    -0x1044(%rbp),%edx
add    $0x1,%edx
call   1080 <memcpy@plt>
cmpq   $0x0,-0x1040(%rbp)
je     153e <myrealpath+0x3de>
mov    -0x1040(%rbp),%rdi
call   1030 <free@plt>
mov    -0x1050(%rbp),%rax
mov    %rax,-0x1040(%rbp)
mov    %rax,-0x10(%rbp)
mov    -0x28(%rbp),%rax
mov    %rax,%rcx
add    $0x1,%rcx
mov    %rcx,-0x28(%rbp)
movb   $0x2f,(%rax)
jmp    1229 <myrealpath+0xc9>
mov    -0x28(%rbp),%rax
mov    -0x18(%rbp),%rcx
add    $0x1,%rcx
cmp    %rcx,%rax
je     1599 <myrealpath+0x439>
mov    -0x28(%rbp),%rax
movsbl -0x1(%rax),%eax
cmp    $0x2f,%eax
jne    1599 <myrealpath+0x439>
mov    -0x28(%rbp),%rax
add    $0xffffffffffffffff,%rax
mov    %rax,-0x28(%rbp)
mov    -0x28(%rbp),%rax
movb   $0x0,(%rax)
cmpq   $0x0,-0x1040(%rbp)
je     15ba <myrealpath+0x45a>
mov    -0x1040(%rbp),%rdi
call   1030 <free@plt>
mov    -0x18(%rbp),%rax
mov    %rax,-0x8(%rbp)
jmp    15e9 <myrealpath+0x489>
cmpq   $0x0,-0x1040(%rbp)
je     15e1 <myrealpath+0x481>
mov    -0x1040(%rbp),%rdi
call   1030 <free@plt>
movq   $0x0,-0x8(%rbp)
mov    -0x8(%rbp),%rax
add    $0x1060,%rsp
pop    %rbp
ret

x86 assembly (clang, -O2):
<myrealpath>:
push   %rbp
push   %r15
push   %r14
push   %r13
push   %r12
push   %rbx
sub    $0x1028,%rsp
mov    %edx,%ebp
mov    %rsi,%r14
mov    %rdi,%rbx
cmpb   $0x2f,(%rdi)
jne    1191 <myrealpath+0x31>
movb   $0x2f,(%r14)
add    $0x1,%rbx
add    $0xfffffffe,%ebp
mov    $0x1,%r13d
jmp    11c2 <myrealpath+0x62>
add    $0xfffffffe,%ebp
mov    %r14,%rdi
mov    %ebp,%esi
call   1060 <getcwd@plt>
test   %eax,%eax
je     13ca <myrealpath+0x26a>
mov    %r14,%rdi
call   1050 <strlen@plt>
movslq %eax,%r13
cmpb   $0x2f,-0x1(%r14,%r13,1)
je     11c2 <myrealpath+0x62>
movb   $0x2f,(%r14,%r13,1)
add    $0x1,%r13
movslq %ebp,%r12
xor    %esi,%esi
mov    0x2e0a(%rip),%r15
mov    0x2df3(%rip),%r8
xor    %edi,%edi
mov    %r13,%rbp
nopw   0x0(%rax,%rax,1)
mov    %rbx,%rcx
mov    %rcx,%rbx
movzbl (%rcx),%eax
cmp    $0x2e,%al
jne    1240 <myrealpath+0xe0>
lea    0x1(%rbx),%rcx
movzbl 0x1(%rbx),%edx
test   %dl,%dl
je     11e3 <myrealpath+0x83>
cmp    $0x2f,%dl
je     11e3 <myrealpath+0x83>
cmp    $0x2e,%dl
jne    1260 <myrealpath+0x100>
mov    0x2(%rbx),%cl
cmp    $0x2f,%cl
je     120f <myrealpath+0xaf>
test   %cl,%cl
jne    1260 <myrealpath+0x100>
add    $0x2,%rbx
test   %rbp,%rbp
mov    $0x1,%eax
cmovle %rbp,%rax
nop
cmp    $0x2,%rbp
jl     124a <myrealpath+0xea>
lea    -0x1(%rbp),%rcx
cmpb   $0x2f,-0x2(%r14,%rbp,1)
mov    %rcx,%rbp
jne    1220 <myrealpath+0xc0>
mov    %rcx,%rbp
jmp    11e0 <myrealpath+0x80>
nopw   0x0(%rax,%rax,1)
cmp    $0x2f,%al
jne    1250 <myrealpath+0xf0>
add    $0x1,%rbx
jmp    11e0 <myrealpath+0x80>
mov    %rax,%rbp
jmp    11e0 <myrealpath+0x80>
nop
test   %al,%al
je     1392 <myrealpath+0x232>
nopl   0x0(%rax,%rax,1)
test   %al,%al
je     1285 <myrealpath+0x125>
cmp    $0x2f,%al
je     1285 <myrealpath+0x125>
cmp    %r12,%rbp
jg     13b2 <myrealpath+0x252>
mov    %al,(%r14,%rbp,1)
add    $0x1,%rbp
movzbl 0x1(%rbx),%eax
add    $0x1,%rbx
test   %al,%al
jne    1264 <myrealpath+0x104>
cmp    $0x101,%esi
je     13e2 <myrealpath+0x282>
mov    %rsi,(%rsp)
mov    %rdi,0x10(%rsp)
movb   $0x0,(%r14,%rbp,1)
mov    %r14,%rdi
lea    0x20(%rsp),%rsi
mov    $0x1000,%edx
call   1040 <readlink@plt>
test   %eax,%eax
js     1352 <myrealpath+0x1f2>
mov    %rax,%r15
mov    %eax,%eax
mov    %rax,0x18(%rsp)
movb   $0x0,0x20(%rsp,%rax,1)
cmpb   $0x2f,0x20(%rsp)
jne    12e0 <myrealpath+0x180>
xor    %r13d,%r13d
jmp    12ef <myrealpath+0x18f>
cs nopw 0x0(%rax,%rax,1)
xchg   %ax,%ax
lea    -0x1(%rbp),%r13
cmpb   $0x2f,-0x1(%r14,%rbp,1)
mov    %r13,%rbp
jne    12e0 <myrealpath+0x180>
mov    %rbx,%rdi
call   1050 <strlen@plt>
lea    0x1(%rax),%ecx
mov    %ecx,0xc(%rsp)
mov    %r15,%rbp
lea    (%rax,%r15,1),%edi
add    $0x1,%edi
call   1070 <xmalloc@plt>
mov    %rax,%r15
mov    %rax,%rdi
lea    0x20(%rsp),%rsi
mov    %ebp,%edx
call   1080 <memcpy@plt>
mov    0x18(%rsp),%rdi
add    %r15,%rdi
mov    %rbx,%rsi
mov    0xc(%rsp),%edx
call   1080 <memcpy@plt>
mov    0x10(%rsp),%rdi
test   %rdi,%rdi
je     1342 <myrealpath+0x1e2>
call   1030 <free@plt>
mov    %r15,%rbx
mov    (%rsp),%rsi
mov    0x2c78(%rip),%r8
jmp    1377 <myrealpath+0x217>
mov    (%r15),%rax
mov    0x2c74(%rip),%rcx
cmp    (%rcx),%rax
mov    0x10(%rsp),%rdi
mov    0x2c5d(%rip),%r8
jne    13bb <myrealpath+0x25b>
mov    %rbp,%r13
mov    %rdi,%r15
mov    (%rsp),%rsi
add    $0x1,%esi
movb   $0x2f,(%r14,%r13,1)
add    $0x1,%r13
mov    %r15,%rdi
mov    0x2c4b(%rip),%r15
jmp    11d7 <myrealpath+0x77>
lea    (%r14,%rbp,1),%rax
cmp    $0x1,%rbp
je     13a8 <myrealpath+0x248>
lea    -0x1(%rax),%rcx
cmpb   $0x2f,-0x1(%rax)
cmove  %rcx,%rax
movb   $0x0,(%rax)
test   %rdi,%rdi
jne    13c3 <myrealpath+0x263>
jmp    13cd <myrealpath+0x26d>
mov    %r8,%rax
mov    (%rax),%rax
mov    %rax,(%r15)
xor    %r14d,%r14d
test   %rdi,%rdi
je     13cd <myrealpath+0x26d>
call   1030 <free@plt>
jmp    13cd <myrealpath+0x26d>
xor    %r14d,%r14d
mov    %r14,%rax
add    $0x1028,%rsp
pop    %rbx
pop    %r12
pop    %r13
pop    %r14
pop    %r15
pop    %rbp
ret
mov    0x2bff(%rip),%rax
jmp    13b5 <myrealpath+0x255>

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

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