#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 */
int /*<<< orphan*/ EMLINK;
int PATH_MAX;
int chdir(char const *);
int /*<<< orphan*/ errno;
scalar_t__ getcwd(char *, int);
int /*<<< orphan*/ memcpy(char *, char const *, int);
scalar_t__ readlink(char const *, char *, int);
int strlen(char *);
char *strrchr(char const *, char);
char *myrealpath(const char *file, char *dest, int count) {
  char buf[PATH_MAX + 1];
  char *c;
  int i;
  if (count < 0) {
    errno = EMLINK;
    return 0;
  }
  if (chdir(file) == 0)
    return getcwd(dest, PATH_MAX);
  c = strrchr(file, '/');
  if (c) {
    if (c - file > PATH_MAX)
      return 0;
    memcpy(buf, file, c - file);
    buf[c - file] = 0;
    if (chdir(buf) == -1)
      return 0;
    file = c + 1;
  }
  if (readlink(file, buf, PATH_MAX) == 0)
    return myrealpath(buf, dest, count - 1);
  if (getcwd(dest, PATH_MAX) == 0)
    return 0;
  i = strlen(dest);
  dest[i] = '/';
  ++i;
  for (; i < PATH_MAX - 1; ++i) {
    if (!(dest[i] = *file))
      break;
    ++file;
  }
  dest[i] = 0;
  return dest;
}


x86 assembly (clang, -O0):
<myrealpath>:
push   %rbp
mov    %rsp,%rbp
sub    $0x50,%rsp
mov    %rdi,-0x10(%rbp)
mov    %rsi,-0x18(%rbp)
mov    %edx,-0x1c(%rbp)
mov    0x2e66(%rip),%rax
mov    (%rax),%eax
add    $0x1,%eax
mov    %rsp,%rcx
mov    %rcx,-0x28(%rbp)
mov    %rax,%rdx
add    $0xf,%rdx
and    $0xfffffffffffffff0,%rdx
mov    %rsp,%rcx
sub    %rdx,%rcx
mov    %rcx,-0x48(%rbp)
mov    %rcx,%rsp
mov    %rax,-0x30(%rbp)
cmpl   $0x0,-0x1c(%rbp)
jge    11e2 <myrealpath+0x72>
mov    0x2e25(%rip),%rax
mov    (%rax),%ecx
mov    0x2e04(%rip),%rax
mov    %ecx,(%rax)
movq   $0x0,-0x8(%rbp)
movl   $0x1,-0x40(%rbp)
jmp    13be <myrealpath+0x24e>
mov    -0x10(%rbp),%rdi
call   1050 <chdir@plt>
cmp    $0x0,%eax
jne    1216 <myrealpath+0xa6>
mov    -0x18(%rbp),%rdi
mov    0x2df1(%rip),%rax
mov    (%rax),%esi
call   1070 <getcwd@plt>
mov    %rax,-0x8(%rbp)
movl   $0x1,-0x40(%rbp)
jmp    13be <myrealpath+0x24e>
mov    -0x10(%rbp),%rdi
mov    $0x2f,%esi
call   1060 <strrchr@plt>
mov    %rax,-0x38(%rbp)
cmpq   $0x0,-0x38(%rbp)
je     12c0 <myrealpath+0x150>
mov    -0x38(%rbp),%rax
mov    -0x10(%rbp),%rcx
sub    %rcx,%rax
mov    0x2dab(%rip),%rcx
movslq (%rcx),%rcx
cmp    %rcx,%rax
jle    1265 <myrealpath+0xf5>
movq   $0x0,-0x8(%rbp)
movl   $0x1,-0x40(%rbp)
jmp    13be <myrealpath+0x24e>
mov    -0x48(%rbp),%rdi
mov    -0x10(%rbp),%rsi
mov    -0x38(%rbp),%rax
mov    -0x10(%rbp),%rcx
sub    %rcx,%rax
mov    %eax,%edx
call   1090 <memcpy@plt>
mov    -0x48(%rbp),%rdi
mov    -0x38(%rbp),%rax
mov    -0x10(%rbp),%rcx
sub    %rcx,%rax
movb   $0x0,(%rdi,%rax,1)
call   1050 <chdir@plt>
cmp    $0xffffffff,%eax
jne    12b4 <myrealpath+0x144>
movq   $0x0,-0x8(%rbp)
movl   $0x1,-0x40(%rbp)
jmp    13be <myrealpath+0x24e>
mov    -0x38(%rbp),%rax
add    $0x1,%rax
mov    %rax,-0x10(%rbp)
mov    -0x48(%rbp),%rsi
mov    -0x10(%rbp),%rdi
mov    0x2d21(%rip),%rax
mov    (%rax),%edx
call   1030 <readlink@plt>
cmp    $0x0,%rax
jne    1303 <myrealpath+0x193>
mov    -0x48(%rbp),%rdi
mov    -0x18(%rbp),%rsi
mov    -0x1c(%rbp),%edx
sub    $0x1,%edx
call   1080 <myrealpath@plt>
mov    %rax,-0x8(%rbp)
movl   $0x1,-0x40(%rbp)
jmp    13be <myrealpath+0x24e>
mov    -0x18(%rbp),%rdi
mov    0x2ce2(%rip),%rax
mov    (%rax),%esi
call   1070 <getcwd@plt>
cmp    $0x0,%rax
jne    1333 <myrealpath+0x1c3>
movq   $0x0,-0x8(%rbp)
movl   $0x1,-0x40(%rbp)
jmp    13be <myrealpath+0x24e>
mov    -0x18(%rbp),%rdi
call   1040 <strlen@plt>
mov    %eax,-0x3c(%rbp)
mov    -0x18(%rbp),%rax
movslq -0x3c(%rbp),%rcx
movb   $0x2f,(%rax,%rcx,1)
mov    -0x3c(%rbp),%eax
add    $0x1,%eax
mov    %eax,-0x3c(%rbp)
mov    -0x3c(%rbp),%eax
mov    0x2c92(%rip),%rcx
mov    (%rcx),%ecx
sub    $0x1,%ecx
cmp    %ecx,%eax
jge    13a3 <myrealpath+0x233>
mov    -0x10(%rbp),%rax
mov    (%rax),%al
mov    -0x18(%rbp),%rcx
movslq -0x3c(%rbp),%rdx
mov    %al,(%rcx,%rdx,1)
cmp    $0x0,%al
jne    1389 <myrealpath+0x219>
jmp    13a3 <myrealpath+0x233>
mov    -0x10(%rbp),%rax
add    $0x1,%rax
mov    %rax,-0x10(%rbp)
mov    -0x3c(%rbp),%eax
add    $0x1,%eax
mov    %eax,-0x3c(%rbp)
jmp    1354 <myrealpath+0x1e4>
mov    -0x18(%rbp),%rax
movslq -0x3c(%rbp),%rcx
movb   $0x0,(%rax,%rcx,1)
mov    -0x18(%rbp),%rax
mov    %rax,-0x8(%rbp)
movl   $0x1,-0x40(%rbp)
mov    -0x28(%rbp),%rax
mov    %rax,%rsp
mov    -0x8(%rbp),%rax
mov    %rbp,%rsp
pop    %rbp
ret

x86 assembly (clang, -O2):
<myrealpath>:
push   %rbp
mov    %rsp,%rbp
push   %r15
push   %r14
push   %r13
push   %r12
push   %rbx
push   %rax
mov    0x2e6b(%rip),%r13
mov    0x0(%r13),%eax
add    $0x1,%eax
mov    %rsp,%r12
add    $0xf,%rax
and    $0xfffffffffffffff0,%rax
sub    %rax,%r12
mov    %r12,%rsp
test   %edx,%edx
js     1299 <myrealpath+0x129>
mov    %edx,%r15d
mov    %rsi,%r14
mov    %rdi,%rbx
call   1050 <chdir@plt>
test   %eax,%eax
je     12b0 <myrealpath+0x140>
mov    %r15d,-0x2c(%rbp)
mov    %rbx,%rdi
mov    $0x2f,%esi
call   1060 <strrchr@plt>
test   %rax,%rax
je     121b <myrealpath+0xab>
mov    %rax,%r15
mov    %r13,%rax
mov    %r15,%r13
sub    %rbx,%r13
movslq (%rax),%rax
cmp    %rax,%r13
jg     12ab <myrealpath+0x13b>
mov    %r12,%rdi
mov    %rbx,%rsi
mov    %r13d,%edx
call   1090 <memcpy@plt>
movb   $0x0,(%r12,%r13,1)
mov    %r12,%rdi
call   1050 <chdir@plt>
cmp    $0xffffffff,%eax
je     12ab <myrealpath+0x13b>
add    $0x1,%r15
mov    %r15,%rbx
mov    0x2dd5(%rip),%r13
mov    0x0(%r13),%edx
mov    %rbx,%rdi
mov    %r12,%rsi
call   1030 <readlink@plt>
test   %rax,%rax
mov    -0x2c(%rbp),%edx
je     12be <myrealpath+0x14e>
mov    0x0(%r13),%esi
mov    %r14,%rdi
call   1070 <getcwd@plt>
test   %rax,%rax
je     12ab <myrealpath+0x13b>
mov    %r14,%rdi
call   1040 <strlen@plt>
cltq
movb   $0x2f,(%r14,%rax,1)
add    $0x1,%eax
mov    0x0(%r13),%ecx
add    $0xffffffff,%ecx
cmp    %ecx,%eax
jge    1290 <myrealpath+0x120>
cltq
cs nopw 0x0(%rax,%rax,1)
movzbl (%rbx),%ecx
mov    %cl,(%r14,%rax,1)
test   %cl,%cl
je     1290 <myrealpath+0x120>
add    $0x1,%rbx
add    $0x1,%rax
movslq 0x0(%r13),%rcx
add    $0xffffffffffffffff,%rcx
cmp    %rcx,%rax
jl     1270 <myrealpath+0x100>
cltq
movb   $0x0,(%r14,%rax,1)
jmp    12cf <myrealpath+0x15f>
mov    0x2d48(%rip),%rax
mov    (%rax),%eax
mov    0x2d27(%rip),%rcx
mov    %eax,(%rcx)
xor    %r14d,%r14d
jmp    12cf <myrealpath+0x15f>
mov    0x0(%r13),%esi
mov    %r14,%rdi
call   1070 <getcwd@plt>
jmp    12cc <myrealpath+0x15c>
add    $0xffffffff,%edx
mov    %r12,%rdi
mov    %r14,%rsi
call   1080 <myrealpath@plt>
mov    %rax,%r14
mov    %r14,%rax
lea    -0x28(%rbp),%rsp
pop    %rbx
pop    %r12
pop    %r13
pop    %r14
pop    %r15
pop    %rbp
ret

LLVM IR (-O0):
@PATH_MAX = global i32 0
@EMLINK = global i32 0
@errno = global i32 0
define i8* @myrealpath(i8* %0, i8* %1, i32 %2) {
%4 = alloca i8*
%5 = alloca i8*
%6 = alloca i8*
%7 = alloca i32
%8 = alloca i8*
%9 = alloca i64
%10 = alloca i8*
%11 = alloca i32
%12 = alloca i32
store i8* %0, i8** %5
store i8* %1, i8** %6
store i32 %2, i32* %7
%13 = load i32, i32* @PATH_MAX
%14 = add nsw i32 %13, 1
%15 = zext i32 %14 to i64
%16 = call i8* @llvm.stacksave()
store i8* %16, i8** %8
%17 = alloca i8, i64 %15
store i64 %15, i64* %9
%18 = load i32, i32* %7
%19 = icmp slt i32 %18, 0
br i1 %19, label %20, label %22
20: ; preds = %3
%21 = load i32, i32* @EMLINK
store i32 %21, i32* @errno
store i8* null, i8** %4
store i32 1, i32* %12
br label %118
22: ; preds = %3
%23 = load i8*, i8** %5
%24 = call i32 @chdir(i8* %23)
%25 = icmp eq i32 %24, 0
br i1 %25, label %26, label %31
26: ; preds = %22
%27 = load i8*, i8** %6
%28 = load i32, i32* @PATH_MAX
%29 = call i64 @getcwd(i8* %27, i32 %28)
%30 = inttoptr i64 %29 to i8*
store i8* %30, i8** %4
store i32 1, i32* %12
br label %118
31: ; preds = %22
%32 = load i8*, i8** %5
%33 = call i8* @strrchr(i8* %32, i8 signext 47)
store i8* %33, i8** %10
%34 = load i8*, i8** %10
%35 = icmp ne i8* %34, null
br i1 %35, label %36, label %67
36: ; preds = %31
%37 = load i8*, i8** %10
%38 = load i8*, i8** %5
%39 = ptrtoint i8* %37 to i64
%40 = ptrtoint i8* %38 to i64
%41 = sub i64 %39, %40
%42 = load i32, i32* @PATH_MAX
%43 = sext i32 %42 to i64
%44 = icmp sgt i64 %41, %43
br i1 %44, label %45, label %46
45: ; preds = %36
store i8* null, i8** %4
store i32 1, i32* %12
br label %118
46: ; preds = %36
%47 = load i8*, i8** %5
%48 = load i8*, i8** %10
%49 = load i8*, i8** %5
%50 = ptrtoint i8* %48 to i64
%51 = ptrtoint i8* %49 to i64
%52 = sub i64 %50, %51
%53 = trunc i64 %52 to i32
%54 = call i32 @memcpy(i8* %17, i8* %47, i32 %53)
%55 = load i8*, i8** %10
%56 = load i8*, i8** %5
%57 = ptrtoint i8* %55 to i64
%58 = ptrtoint i8* %56 to i64
%59 = sub i64 %57, %58
%60 = getelementptr inbounds i8, i8* %17, i64 %59
store i8 0, i8* %60
%61 = call i32 @chdir(i8* %17)
%62 = icmp eq i32 %61, -1
br i1 %62, label %63, label %64
63: ; preds = %46
store i8* null, i8** %4
store i32 1, i32* %12
br label %118
64: ; preds = %46
%65 = load i8*, i8** %10
%66 = getelementptr inbounds i8, i8* %65, i64 1
store i8* %66, i8** %5
br label %67
67: ; preds = %64, %31
%68 = load i8*, i8** %5
%69 = load i32, i32* @PATH_MAX
%70 = call i64 @readlink(i8* %68, i8* %17, i32 %69)
%71 = icmp eq i64 %70, 0
br i1 %71, label %72, label %77
72: ; preds = %67
%73 = load i8*, i8** %6
%74 = load i32, i32* %7
%75 = sub nsw i32 %74, 1
%76 = call i8* @myrealpath(i8* %17, i8* %73, i32 %75)
store i8* %76, i8** %4
store i32 1, i32* %12
br label %118
77: ; preds = %67
%78 = load i8*, i8** %6
%79 = load i32, i32* @PATH_MAX
%80 = call i64 @getcwd(i8* %78, i32 %79)
%81 = icmp eq i64 %80, 0
br i1 %81, label %82, label %83
82: ; preds = %77
store i8* null, i8** %4
store i32 1, i32* %12
br label %118
83: ; preds = %77
%84 = load i8*, i8** %6
%85 = call i32 @strlen(i8* %84)
store i32 %85, i32* %11
%86 = load i8*, i8** %6
%87 = load i32, i32* %11
%88 = sext i32 %87 to i64
%89 = getelementptr inbounds i8, i8* %86, i64 %88
store i8 47, i8* %89
%90 = load i32, i32* %11
%91 = add nsw i32 %90, 1
store i32 %91, i32* %11
br label %92
92: ; preds = %109, %83
%93 = load i32, i32* %11
%94 = load i32, i32* @PATH_MAX
%95 = sub nsw i32 %94, 1
%96 = icmp slt i32 %93, %95
br i1 %96, label %97, label %112
97: ; preds = %92
%98 = load i8*, i8** %5
%99 = load i8, i8* %98
%100 = load i8*, i8** %6
%101 = load i32, i32* %11
%102 = sext i32 %101 to i64
%103 = getelementptr inbounds i8, i8* %100, i64 %102
store i8 %99, i8* %103
%104 = icmp ne i8 %99, 0
br i1 %104, label %106, label %105
105: ; preds = %97
br label %112
106: ; preds = %97
%107 = load i8*, i8** %5
%108 = getelementptr inbounds i8, i8* %107, i32 1
store i8* %108, i8** %5
br label %109
109: ; preds = %106
%110 = load i32, i32* %11
%111 = add nsw i32 %110, 1
store i32 %111, i32* %11
br label %92
112: ; preds = %105, %92
%113 = load i8*, i8** %6
%114 = load i32, i32* %11
%115 = sext i32 %114 to i64
%116 = getelementptr inbounds i8, i8* %113, i64 %115
store i8 0, i8* %116
%117 = load i8*, i8** %6
store i8* %117, i8** %4
store i32 1, i32* %12
br label %118
118: ; preds = %112, %82, %72, %63, %45, %26, %20
%119 = load i8*, i8** %8
%120 = load i8*, i8** %4
ret i8* %120
}

LLVM IR (-O2):
@PATH_MAX = global i32 0
@EMLINK = global i32 0
@errno = global i32 0
define i8* @myrealpath(i8* %0, i8* %1, i32 %2) {
%4 = load i32, i32* @PATH_MAX
%5 = add nsw i32 %4, 1
%6 = zext i32 %5 to i64
%7 = alloca i8, i64 %6
%8 = icmp slt i32 %2, 0
br i1 %8, label %9, label %11
9: ; preds = %3
%10 = load i32, i32* @EMLINK
store i32 %10, i32* @errno
br label %78
11: ; preds = %3
%12 = tail call i32 @chdir(i8* %0)
%13 = icmp eq i32 %12, 0
br i1 %13, label %14, label %18
14: ; preds = %11
%15 = load i32, i32* @PATH_MAX
%16 = tail call i64 @getcwd(i8* %1, i32 %15)
%17 = inttoptr i64 %16 to i8*
br label %78
18: ; preds = %11
%19 = tail call i8* @strrchr(i8* dereferenceable(1) %0, i8 signext 47)
%20 = icmp eq i8* %19, null
br i1 %20, label %36, label %21
21: ; preds = %18
%22 = ptrtoint i8* %19 to i64
%23 = ptrtoint i8* %0 to i64
%24 = sub i64 %22, %23
%25 = load i32, i32* @PATH_MAX
%26 = sext i32 %25 to i64
%27 = icmp sgt i64 %24, %26
br i1 %27, label %78, label %28
28: ; preds = %21
%29 = trunc i64 %24 to i32
%30 = call i32 @memcpy(i8* %7, i8* %0, i32 %29)
%31 = getelementptr inbounds i8, i8* %7, i64 %24
store i8 0, i8* %31
%32 = call i32 @chdir(i8* %7)
%33 = icmp eq i32 %32, -1
br i1 %33, label %78, label %34
34: ; preds = %28
%35 = getelementptr inbounds i8, i8* %19, i64 1
br label %36
36: ; preds = %34, %18
%37 = phi i8* [ %35, %34 ], [ %0, %18 ]
%38 = load i32, i32* @PATH_MAX
%39 = call i64 @readlink(i8* %37, i8* %7, i32 %38)
%40 = icmp eq i64 %39, 0
br i1 %40, label %41, label %44
41: ; preds = %36
%42 = add nsw i32 %2, -1
%43 = call i8* @myrealpath(i8* %7, i8* %1, i32 %42)
br label %78
44: ; preds = %36
%45 = load i32, i32* @PATH_MAX
%46 = call i64 @getcwd(i8* %1, i32 %45)
%47 = icmp eq i64 %46, 0
br i1 %47, label %78, label %48
48: ; preds = %44
%49 = call i32 @strlen(i8* %1)
%50 = sext i32 %49 to i64
%51 = getelementptr inbounds i8, i8* %1, i64 %50
store i8 47, i8* %51
%52 = add i32 %49, 1
%53 = load i32, i32* @PATH_MAX
%54 = add nsw i32 %53, -1
%55 = icmp slt i32 %52, %54
br i1 %55, label %56, label %74
56: ; preds = %48
%57 = sext i32 %52 to i64
br label %65
58: ; preds = %65
%59 = getelementptr inbounds i8, i8* %67, i64 1
%60 = add nsw i64 %66, 1
%61 = load i32, i32* @PATH_MAX
%62 = add nsw i32 %61, -1
%63 = sext i32 %62 to i64
%64 = icmp slt i64 %60, %63
br i1 %64, label %65, label %71
65: ; preds = %56, %58
%66 = phi i64 [ %57, %56 ], [ %60, %58 ]
%67 = phi i8* [ %37, %56 ], [ %59, %58 ]
%68 = load i8, i8* %67
%69 = getelementptr inbounds i8, i8* %1, i64 %66
store i8 %68, i8* %69
%70 = icmp eq i8 %68, 0
br i1 %70, label %71, label %58
71: ; preds = %65, %58
%72 = phi i64 [ %60, %58 ], [ %66, %65 ]
%73 = trunc i64 %72 to i32
br label %74
74: ; preds = %71, %48
%75 = phi i32 [ %52, %48 ], [ %73, %71 ]
%76 = sext i32 %75 to i64
%77 = getelementptr inbounds i8, i8* %1, i64 %76
store i8 0, i8* %77
br label %78
78: ; preds = %44, %28, %21, %74, %41, %14, %9
%79 = phi i8* [ null, %9 ], [ %17, %14 ], [ %43, %41 ], [ %1, %74 ], [ null, %21 ], [ null, %28 ], [ null, %44 ]
ret i8* %79
}