#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;
int PATH_MAX;
scalar_t__ errno;
int /*<<< orphan*/ free(char *);
int /*<<< orphan*/ getcwd(char *, int);
char *malloc(int);
int /*<<< orphan*/ memcpy(char *, char const *, int);
int readlink(char *, char *, int);
int strlen(char const *);
char *myrealpath(const char *path, char *resolved_path, int maxreslth) {
  int readlinks = 0;
  char *npath;
  char *link_path;
  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++;
  }
  link_path = malloc(PATH_MAX + 1);
  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, PATH_MAX);
    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 = malloc(m + n + 1);
      if (!newbuf)
        goto err;
      memcpy(newbuf, link_path, n);
      memcpy(newbuf + n, path, m + 1);
      free(buf);
      path = buf = newbuf;
    }
    *npath++ = '/';
  }
  if (npath != resolved_path + 1 && npath[-1] == '/')
    npath--;
  *npath = '\0';
  free(link_path);
  free(buf);
  return resolved_path;
err:
  free(link_path);
  free(buf);
  return NULL;
}


x86 assembly (clang, -O0):
<myrealpath>:
push   %rbp
mov    %rsp,%rbp
sub    $0x60,%rsp
mov    %rdi,-0x10(%rbp)
mov    %rsi,-0x18(%rbp)
mov    %edx,-0x1c(%rbp)
movl   $0x0,-0x20(%rbp)
movq   $0x0,-0x40(%rbp)
mov    -0x18(%rbp),%rax
mov    %rax,-0x28(%rbp)
mov    -0x10(%rbp),%rax
movsbl (%rax),%eax
cmp    $0x2f,%eax
je     1200 <myrealpath+0xa0>
mov    -0x28(%rbp),%rdi
mov    -0x1c(%rbp),%esi
sub    $0x2,%esi
call   1060 <getcwd@plt>
cmp    $0x0,%eax
jne    11bf <myrealpath+0x5f>
movq   $0x0,-0x8(%rbp)
jmp    15a4 <myrealpath+0x444>
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     11fb <myrealpath+0x9b>
mov    -0x28(%rbp),%rax
mov    %rax,%rcx
add    $0x1,%rcx
mov    %rcx,-0x28(%rbp)
movb   $0x2f,(%rax)
jmp    121e <myrealpath+0xbe>
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)
mov    0x2dcb(%rip),%rax
mov    (%rax),%edi
add    $0x1,%edi
call   1080 <malloc@plt>
mov    %rax,-0x30(%rbp)
mov    -0x10(%rbp),%rax
movsbl (%rax),%eax
cmp    $0x0,%eax
je     1532 <myrealpath+0x3d2>
mov    -0x10(%rbp),%rax
movsbl (%rax),%eax
cmp    $0x2f,%eax
jne    1264 <myrealpath+0x104>
mov    -0x10(%rbp),%rax
add    $0x1,%rax
mov    %rax,-0x10(%rbp)
jmp    1233 <myrealpath+0xd3>
mov    -0x10(%rbp),%rax
movsbl (%rax),%eax
cmp    $0x2e,%eax
jne    12a7 <myrealpath+0x147>
mov    -0x10(%rbp),%rax
movsbl 0x1(%rax),%eax
cmp    $0x0,%eax
je     1296 <myrealpath+0x136>
mov    -0x10(%rbp),%rax
movsbl 0x1(%rax),%eax
cmp    $0x2f,%eax
jne    12a7 <myrealpath+0x147>
mov    -0x10(%rbp),%rax
add    $0x1,%rax
mov    %rax,-0x10(%rbp)
jmp    1233 <myrealpath+0xd3>
mov    -0x10(%rbp),%rax
movsbl (%rax),%eax
cmp    $0x2e,%eax
jne    1346 <myrealpath+0x1e6>
mov    -0x10(%rbp),%rax
movsbl 0x1(%rax),%eax
cmp    $0x2e,%eax
jne    1346 <myrealpath+0x1e6>
mov    -0x10(%rbp),%rax
movsbl 0x2(%rax),%eax
cmp    $0x0,%eax
je     12ea <myrealpath+0x18a>
mov    -0x10(%rbp),%rax
movsbl 0x2(%rax),%eax
cmp    $0x2f,%eax
jne    1346 <myrealpath+0x1e6>
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,-0x51(%rbp)
jbe    132c <myrealpath+0x1cc>
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,-0x51(%rbp)
mov    -0x51(%rbp),%al
test   $0x1,%al
jne    133c <myrealpath+0x1dc>
jmp    1341 <myrealpath+0x1e1>
jmp    12f6 <myrealpath+0x196>
jmp    1233 <myrealpath+0xd3>
jmp    134b <myrealpath+0x1eb>
mov    -0x10(%rbp),%rax
movsbl (%rax),%ecx
xor    %eax,%eax
cmp    $0x0,%ecx
mov    %al,-0x52(%rbp)
je     1370 <myrealpath+0x210>
mov    -0x10(%rbp),%rax
movsbl (%rax),%eax
cmp    $0x2f,%eax
setne  %al
mov    %al,-0x52(%rbp)
mov    -0x52(%rbp),%al
test   $0x1,%al
jne    1380 <myrealpath+0x220>
jmp    13dd <myrealpath+0x27d>
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    13b6 <myrealpath+0x256>
mov    0x2c1c(%rip),%rax
mov    (%rax),%rcx
mov    0x2c22(%rip),%rax
mov    %rcx,(%rax)
jmp    158a <myrealpath+0x42a>
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    134b <myrealpath+0x1eb>
mov    -0x20(%rbp),%eax
mov    %eax,%ecx
add    $0x1,%ecx
mov    %ecx,-0x20(%rbp)
cmp    $0x100,%eax
jle    140c <myrealpath+0x2ac>
mov    0x2be6(%rip),%rax
mov    (%rax),%rcx
mov    0x2bcc(%rip),%rax
mov    %rcx,(%rax)
jmp    158a <myrealpath+0x42a>
mov    -0x28(%rbp),%rax
movb   $0x0,(%rax)
mov    -0x18(%rbp),%rdi
mov    -0x30(%rbp),%rsi
mov    0x2bce(%rip),%rax
mov    (%rax),%edx
call   1040 <readlink@plt>
mov    %eax,-0x34(%rbp)
cmpl   $0x0,-0x34(%rbp)
jge    145a <myrealpath+0x2fa>
mov    0x2b93(%rip),%rax
mov    (%rax),%rax
mov    0x2b81(%rip),%rcx
cmp    (%rcx),%rax
je     1455 <myrealpath+0x2f5>
jmp    158a <myrealpath+0x42a>
jmp    151b <myrealpath+0x3bb>
mov    -0x30(%rbp),%rax
movslq -0x34(%rbp),%rcx
movb   $0x0,(%rax,%rcx,1)
mov    -0x30(%rbp),%rax
movsbl (%rax),%eax
cmp    $0x2f,%eax
jne    1483 <myrealpath+0x323>
mov    -0x18(%rbp),%rax
mov    %rax,-0x28(%rbp)
jmp    14ae <myrealpath+0x34e>
jmp    1488 <myrealpath+0x328>
mov    -0x28(%rbp),%rax
mov    %rax,%rcx
add    $0xffffffffffffffff,%rcx
mov    %rcx,-0x28(%rbp)
movsbl -0x1(%rax),%eax
cmp    $0x2f,%eax
je     14a9 <myrealpath+0x349>
jmp    1488 <myrealpath+0x328>
jmp    14ae <myrealpath+0x34e>
mov    -0x10(%rbp),%rdi
call   1050 <strlen@plt>
mov    %eax,-0x44(%rbp)
mov    -0x44(%rbp),%edi
add    -0x34(%rbp),%edi
add    $0x1,%edi
call   1080 <malloc@plt>
mov    %rax,-0x50(%rbp)
cmpq   $0x0,-0x50(%rbp)
jne    14dc <myrealpath+0x37c>
jmp    158a <myrealpath+0x42a>
mov    -0x50(%rbp),%rdi
mov    -0x30(%rbp),%rsi
mov    -0x34(%rbp),%edx
call   1070 <memcpy@plt>
mov    -0x50(%rbp),%rdi
movslq -0x34(%rbp),%rax
add    %rax,%rdi
mov    -0x10(%rbp),%rsi
mov    -0x44(%rbp),%edx
add    $0x1,%edx
call   1070 <memcpy@plt>
mov    -0x40(%rbp),%rdi
call   1030 <free@plt>
mov    -0x50(%rbp),%rax
mov    %rax,-0x40(%rbp)
mov    %rax,-0x10(%rbp)
mov    -0x28(%rbp),%rax
mov    %rax,%rcx
add    $0x1,%rcx
mov    %rcx,-0x28(%rbp)
movb   $0x2f,(%rax)
jmp    1233 <myrealpath+0xd3>
mov    -0x28(%rbp),%rax
mov    -0x18(%rbp),%rcx
add    $0x1,%rcx
cmp    %rcx,%rax
je     1564 <myrealpath+0x404>
mov    -0x28(%rbp),%rax
movsbl -0x1(%rax),%eax
cmp    $0x2f,%eax
jne    1564 <myrealpath+0x404>
mov    -0x28(%rbp),%rax
add    $0xffffffffffffffff,%rax
mov    %rax,-0x28(%rbp)
mov    -0x28(%rbp),%rax
movb   $0x0,(%rax)
mov    -0x30(%rbp),%rdi
call   1030 <free@plt>
mov    -0x40(%rbp),%rdi
call   1030 <free@plt>
mov    -0x18(%rbp),%rax
mov    %rax,-0x8(%rbp)
jmp    15a4 <myrealpath+0x444>
mov    -0x30(%rbp),%rdi
call   1030 <free@plt>
mov    -0x40(%rbp),%rdi
call   1030 <free@plt>
movq   $0x0,-0x8(%rbp)
mov    -0x8(%rbp),%rax
add    $0x60,%rsp
pop    %rbp
ret

x86 assembly (clang, -O2):
<myrealpath>:
push   %rbp
push   %r15
push   %r14
push   %r13
push   %r12
push   %rbx
sub    $0x38,%rsp
mov    %edx,%r15d
mov    %rsi,%r14
mov    %rdi,%rbx
cmpb   $0x2f,(%rdi)
jne    118f <myrealpath+0x2f>
movb   $0x2f,(%r14)
add    $0x1,%rbx
add    $0xfffffffe,%r15d
mov    $0x1,%ebp
jmp    11c2 <myrealpath+0x62>
add    $0xfffffffe,%r15d
mov    %r14,%rdi
mov    %r15d,%esi
call   1060 <getcwd@plt>
test   %eax,%eax
je     140c <myrealpath+0x2ac>
mov    %r14,%rdi
call   1050 <strlen@plt>
movslq %eax,%rbp
cmpb   $0x2f,-0x1(%r14,%rbp,1)
je     11c2 <myrealpath+0x62>
movb   $0x2f,(%r14,%rbp,1)
add    $0x1,%rbp
mov    0x2e27(%rip),%r13
mov    0x0(%r13),%edi
add    $0x1,%edi
call   1080 <malloc@plt>
mov    %rax,%r12
movslq %r15d,%rdi
mov    0x2dee(%rip),%r9
mov    0x2dd7(%rip),%r8
xor    %esi,%esi
xor    %r15d,%r15d
jmp    11f8 <myrealpath+0x98>
cmp    $0x2f,%al
jne    125e <myrealpath+0xfe>
add    $0x1,%rbx
mov    %rbx,%rcx
mov    %rcx,%rbx
movzbl (%rcx),%eax
cmp    $0x2e,%al
jne    11f0 <myrealpath+0x90>
lea    0x1(%rbx),%rcx
movzbl 0x1(%rbx),%edx
test   %dl,%dl
je     11fb <myrealpath+0x9b>
cmp    $0x2f,%dl
je     11fb <myrealpath+0x9b>
cmp    $0x2e,%dl
jne    1270 <myrealpath+0x110>
mov    0x2(%rbx),%cl
cmp    $0x2f,%cl
je     1227 <myrealpath+0xc7>
test   %cl,%cl
jne    1270 <myrealpath+0x110>
add    $0x2,%rbx
test   %rbp,%rbp
mov    $0x1,%eax
cmovle %rbp,%rax
nopw   0x0(%rax,%rax,1)
cmp    $0x2,%rbp
jl     13bb <myrealpath+0x25b>
lea    -0x1(%rbp),%rcx
cmpb   $0x2f,-0x2(%r14,%rbp,1)
mov    %rcx,%rbp
jne    1240 <myrealpath+0xe0>
mov    %rcx,%rbp
jmp    11f8 <myrealpath+0x98>
test   %al,%al
je     13c3 <myrealpath+0x263>
cs nopw 0x0(%rax,%rax,1)
test   %al,%al
je     1295 <myrealpath+0x135>
cmp    $0x2f,%al
je     1295 <myrealpath+0x135>
cmp    %rdi,%rbp
jg     13de <myrealpath+0x27e>
mov    %al,(%r14,%rbp,1)
add    $0x1,%rbp
movzbl 0x1(%rbx),%eax
add    $0x1,%rbx
test   %al,%al
jne    1274 <myrealpath+0x114>
cmp    $0x101,%esi
je     1411 <myrealpath+0x2b1>
mov    %esi,0xc(%rsp)
mov    %rdi,0x20(%rsp)
movb   $0x0,(%r14,%rbp,1)
mov    0x0(%r13),%edx
mov    %r14,%rdi
mov    %r12,%rsi
call   1040 <readlink@plt>
test   %eax,%eax
js     1377 <myrealpath+0x217>
mov    %rax,0x30(%rsp)
mov    %eax,%eax
mov    %rax,0x28(%rsp)
movb   $0x0,(%r12,%rax,1)
cmpb   $0x2f,(%r12)
mov    %r12,0x10(%rsp)
mov    %r15,0x18(%rsp)
jne    12f0 <myrealpath+0x190>
xor    %r13d,%r13d
jmp    12ff <myrealpath+0x19f>
nopl   (%rax)
lea    -0x1(%rbp),%r13
cmpb   $0x2f,-0x1(%r14,%rbp,1)
mov    %r13,%rbp
jne    12f0 <myrealpath+0x190>
mov    %rbx,%rdi
call   1050 <strlen@plt>
mov    %eax,%r15d
mov    0x30(%rsp),%rbp
lea    (%r15,%rbp,1),%edi
add    $0x1,%edi
call   1080 <malloc@plt>
test   %rax,%rax
je     141a <myrealpath+0x2ba>
mov    %rax,%r12
add    $0x1,%r15d
mov    %rax,%rdi
mov    0x10(%rsp),%rsi
mov    %ebp,%edx
call   1070 <memcpy@plt>
mov    0x28(%rsp),%rdi
add    %r12,%rdi
mov    %rbx,%rsi
mov    %r15d,%edx
call   1070 <memcpy@plt>
mov    0x18(%rsp),%rdi
call   1030 <free@plt>
mov    %r12,%r15
mov    %r12,%rbx
mov    0x10(%rsp),%r12
mov    0x2c67(%rip),%r9
mov    0x20(%rsp),%rdi
mov    0x2c4b(%rip),%r8
jmp    139c <myrealpath+0x23c>
mov    0x2c52(%rip),%r9
mov    (%r9),%rax
mov    0x2c40(%rip),%rcx
cmp    (%rcx),%rax
mov    0x2c2e(%rip),%r8
jne    13e7 <myrealpath+0x287>
mov    %rbp,%r13
mov    0x20(%rsp),%rdi
mov    0xc(%rsp),%esi
add    $0x1,%esi
movb   $0x2f,(%r14,%r13,1)
add    $0x1,%r13
mov    %r13,%rbp
mov    0x2c3a(%rip),%r13
jmp    11f8 <myrealpath+0x98>
mov    %rax,%rbp
jmp    11f8 <myrealpath+0x98>
lea    (%r14,%rbp,1),%rax
cmp    $0x1,%rbp
je     13d9 <myrealpath+0x279>
lea    -0x1(%rax),%rcx
cmpb   $0x2f,-0x1(%rax)
cmove  %rcx,%rax
movb   $0x0,(%rax)
jmp    13ea <myrealpath+0x28a>
mov    %r8,%rax
mov    (%rax),%rax
mov    %rax,(%r9)
xor    %r14d,%r14d
mov    %r12,%rdi
call   1030 <free@plt>
mov    %r15,%rdi
call   1030 <free@plt>
mov    %r14,%rax
add    $0x38,%rsp
pop    %rbx
pop    %r12
pop    %r13
pop    %r14
pop    %r15
pop    %rbp
ret
xor    %r14d,%r14d
jmp    13fa <myrealpath+0x29a>
mov    0x2bc8(%rip),%rax
jmp    13e1 <myrealpath+0x281>
xor    %r14d,%r14d
mov    0x10(%rsp),%r12
mov    0x18(%rsp),%r15
jmp    13ea <myrealpath+0x28a>

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

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