#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*/ EINVAL;
int /*<<< orphan*/ ERANGE;
int /*<<< orphan*/ errno;
int /*<<< orphan*/ strcmp(char const *, char *);
int /*<<< orphan*/ strcpy(char *, char const *);
int strlen(char const *);
int /*<<< orphan*/ strncmp(char const *, char *, int);
int /*<<< orphan*/ strncpy(char *, char const *, int);
char *rel2abs(const char *path, const char *base, char *result,
              const size_t size) {
  const char *pp, *bp;
  const char *endp = result + size - 1;
  char *rp;
  int length;
  if (*path == '/') {
    if (strlen(path) >= size)
      goto erange;
    strcpy(result, path);
    goto finish;
  } else if (*base != '/' || !size) {
    errno = EINVAL;
    return (NULL);
  } else if (size == 1)
    goto erange;
  length = strlen(base);
  if (!strcmp(path, ".") || !strcmp(path, "./")) {
    if (length >= size)
      goto erange;
    strcpy(result, base);
    rp = result + length - 1;
    if (*rp == '/') {
      if (length > 1)
        *rp = 0;
    } else
      rp++;
    if (*++path == '/') {
      *rp++ = '/';
      if (rp > endp)
        goto erange;
      *rp = 0;
    }
    goto finish;
  }
  bp = base + length;
  if (*(bp - 1) == '/')
    --bp;
  for (pp = path; *pp && *pp == '.';) {
    if (!strncmp(pp, "../", 3)) {
      pp += 3;
      while (bp > base && *--bp != '/')
        ;
    } else if (!strncmp(pp, "./", 2)) {
      pp += 2;
    } else if (!strncmp(pp, "..\0", 3)) {
      pp += 2;
      while (bp > base && *--bp != '/')
        ;
    } else
      break;
  }
  length = bp - base;
  if (length >= size)
    goto erange;
  strncpy(result, base, length);
  rp = result + length;
  if (*pp || *(pp - 1) == '/' || length == 0)
    *rp++ = '/';
  if (rp + strlen(pp) > endp)
    goto erange;
  strcpy(rp, pp);
finish:
  return result;
erange:
  errno = ERANGE;
  return (NULL);
}


x86 assembly (clang, -O0):
<rel2abs>:
push   %rbp
mov    %rsp,%rbp
sub    $0x60,%rsp
mov    %rdi,-0x10(%rbp)
mov    %rsi,-0x18(%rbp)
mov    %rdx,-0x20(%rbp)
mov    %rcx,-0x28(%rbp)
mov    -0x20(%rbp),%rax
add    -0x28(%rbp),%rax
add    $0xffffffffffffffff,%rax
mov    %rax,-0x40(%rbp)
mov    -0x10(%rbp),%rax
movsbl (%rax),%eax
cmp    $0x2f,%eax
jne    11b4 <rel2abs+0x64>
mov    -0x10(%rbp),%rdi
call   1060 <strlen@plt>
cltq
cmp    -0x28(%rbp),%rax
jb     11a2 <rel2abs+0x52>
jmp    154d <rel2abs+0x3fd>
mov    -0x20(%rbp),%rdi
mov    -0x10(%rbp),%rsi
call   1050 <strcpy@plt>
jmp    1540 <rel2abs+0x3f0>
mov    -0x18(%rbp),%rax
movsbl (%rax),%eax
cmp    $0x2f,%eax
jne    11cf <rel2abs+0x7f>
cmpq   $0x0,-0x28(%rbp)
jne    11ee <rel2abs+0x9e>
mov    0x2dfa(%rip),%rax
mov    (%rax),%ecx
mov    0x2df9(%rip),%rax
mov    %ecx,(%rax)
movq   $0x0,-0x8(%rbp)
jmp    1567 <rel2abs+0x417>
cmpq   $0x1,-0x28(%rbp)
jne    11fe <rel2abs+0xae>
jmp    154d <rel2abs+0x3fd>
jmp    1203 <rel2abs+0xb3>
jmp    1208 <rel2abs+0xb8>
mov    -0x18(%rbp),%rdi
call   1060 <strlen@plt>
mov    %eax,-0x4c(%rbp)
mov    -0x10(%rbp),%rdi
lea    0xde1(%rip),%rsi
call   1070 <strcmp@plt>
cmp    $0x0,%eax
je     1246 <rel2abs+0xf6>
mov    -0x10(%rbp),%rdi
lea    0xdcb(%rip),%rsi
call   1070 <strcmp@plt>
cmp    $0x0,%eax
jne    12f8 <rel2abs+0x1a8>
movslq -0x4c(%rbp),%rax
cmp    -0x28(%rbp),%rax
jb     1259 <rel2abs+0x109>
jmp    154d <rel2abs+0x3fd>
mov    -0x20(%rbp),%rdi
mov    -0x18(%rbp),%rsi
call   1050 <strcpy@plt>
mov    -0x20(%rbp),%rax
movslq -0x4c(%rbp),%rcx
add    %rcx,%rax
add    $0xffffffffffffffff,%rax
mov    %rax,-0x48(%rbp)
mov    -0x48(%rbp),%rax
movsbl (%rax),%eax
cmp    $0x2f,%eax
jne    129f <rel2abs+0x14f>
cmpl   $0x1,-0x4c(%rbp)
jle    129a <rel2abs+0x14a>
mov    -0x48(%rbp),%rax
movb   $0x0,(%rax)
jmp    12ab <rel2abs+0x15b>
mov    -0x48(%rbp),%rax
add    $0x1,%rax
mov    %rax,-0x48(%rbp)
mov    -0x10(%rbp),%rax
mov    %rax,%rcx
add    $0x1,%rcx
mov    %rcx,-0x10(%rbp)
movsbl 0x1(%rax),%eax
cmp    $0x2f,%eax
jne    12f3 <rel2abs+0x1a3>
mov    -0x48(%rbp),%rax
mov    %rax,%rcx
add    $0x1,%rcx
mov    %rcx,-0x48(%rbp)
movb   $0x2f,(%rax)
mov    -0x48(%rbp),%rax
cmp    -0x40(%rbp),%rax
jbe    12ec <rel2abs+0x19c>
jmp    154d <rel2abs+0x3fd>
mov    -0x48(%rbp),%rax
movb   $0x0,(%rax)
jmp    1540 <rel2abs+0x3f0>
mov    -0x18(%rbp),%rax
movslq -0x4c(%rbp),%rcx
add    %rcx,%rax
mov    %rax,-0x38(%rbp)
mov    -0x38(%rbp),%rax
movsbl -0x1(%rax),%eax
cmp    $0x2f,%eax
jne    1324 <rel2abs+0x1d4>
mov    -0x38(%rbp),%rax
add    $0xffffffffffffffff,%rax
mov    %rax,-0x38(%rbp)
mov    -0x10(%rbp),%rax
mov    %rax,-0x30(%rbp)
mov    -0x30(%rbp),%rax
movsbl (%rax),%ecx
xor    %eax,%eax
cmp    $0x0,%ecx
mov    %al,-0x4d(%rbp)
je     1351 <rel2abs+0x201>
mov    -0x30(%rbp),%rax
movsbl (%rax),%eax
cmp    $0x2e,%eax
sete   %al
mov    %al,-0x4d(%rbp)
mov    -0x4d(%rbp),%al
test   $0x1,%al
jne    1361 <rel2abs+0x211>
jmp    148a <rel2abs+0x33a>
mov    -0x30(%rbp),%rdi
lea    0xc96(%rip),%rsi
mov    $0x3,%edx
call   1040 <strncmp@plt>
cmp    $0x0,%eax
jne    13d4 <rel2abs+0x284>
mov    -0x30(%rbp),%rax
add    $0x3,%rax
mov    %rax,-0x30(%rbp)
mov    -0x38(%rbp),%rcx
xor    %eax,%eax
cmp    -0x18(%rbp),%rcx
mov    %al,-0x4e(%rbp)
jbe    13ba <rel2abs+0x26a>
mov    -0x38(%rbp),%rax
mov    %rax,%rcx
add    $0xffffffffffffffff,%rcx
mov    %rcx,-0x38(%rbp)
movsbl -0x1(%rax),%eax
cmp    $0x2f,%eax
setne  %al
mov    %al,-0x4e(%rbp)
mov    -0x4e(%rbp),%al
test   $0x1,%al
jne    13ca <rel2abs+0x27a>
jmp    13cf <rel2abs+0x27f>
jmp    138b <rel2abs+0x23b>
jmp    1485 <rel2abs+0x335>
mov    -0x30(%rbp),%rdi
lea    0xc24(%rip),%rsi
mov    $0x2,%edx
call   1040 <strncmp@plt>
cmp    $0x0,%eax
jne    1403 <rel2abs+0x2b3>
mov    -0x30(%rbp),%rax
add    $0x2,%rax
mov    %rax,-0x30(%rbp)
jmp    1480 <rel2abs+0x330>
mov    -0x30(%rbp),%rdi
lea    0xbf8(%rip),%rsi
mov    $0x3,%edx
call   1040 <strncmp@plt>
cmp    $0x0,%eax
jne    1476 <rel2abs+0x326>
mov    -0x30(%rbp),%rax
add    $0x2,%rax
mov    %rax,-0x30(%rbp)
mov    -0x38(%rbp),%rcx
xor    %eax,%eax
cmp    -0x18(%rbp),%rcx
mov    %al,-0x4f(%rbp)
jbe    145c <rel2abs+0x30c>
mov    -0x38(%rbp),%rax
mov    %rax,%rcx
add    $0xffffffffffffffff,%rcx
mov    %rcx,-0x38(%rbp)
movsbl -0x1(%rax),%eax
cmp    $0x2f,%eax
setne  %al
mov    %al,-0x4f(%rbp)
mov    -0x4f(%rbp),%al
test   $0x1,%al
jne    146c <rel2abs+0x31c>
jmp    1471 <rel2abs+0x321>
jmp    142d <rel2abs+0x2dd>
jmp    147b <rel2abs+0x32b>
jmp    148a <rel2abs+0x33a>
jmp    1480 <rel2abs+0x330>
jmp    1485 <rel2abs+0x335>
jmp    132c <rel2abs+0x1dc>
mov    -0x38(%rbp),%rax
mov    -0x18(%rbp),%rcx
sub    %rcx,%rax
mov    %eax,-0x4c(%rbp)
movslq -0x4c(%rbp),%rax
cmp    -0x28(%rbp),%rax
jb     14ab <rel2abs+0x35b>
jmp    154d <rel2abs+0x3fd>
mov    -0x20(%rbp),%rdi
mov    -0x18(%rbp),%rsi
mov    -0x4c(%rbp),%edx
call   1030 <strncpy@plt>
mov    -0x20(%rbp),%rax
movslq -0x4c(%rbp),%rcx
add    %rcx,%rax
mov    %rax,-0x48(%rbp)
mov    -0x30(%rbp),%rax
movsbl (%rax),%eax
cmp    $0x0,%eax
jne    14f5 <rel2abs+0x3a5>
mov    -0x30(%rbp),%rax
movsbl -0x1(%rax),%eax
cmp    $0x2f,%eax
je     14f5 <rel2abs+0x3a5>
cmpl   $0x0,-0x4c(%rbp)
jne    1507 <rel2abs+0x3b7>
mov    -0x48(%rbp),%rax
mov    %rax,%rcx
add    $0x1,%rcx
mov    %rcx,-0x48(%rbp)
movb   $0x2f,(%rax)
mov    -0x48(%rbp),%rax
mov    %rax,-0x58(%rbp)
mov    -0x30(%rbp),%rdi
call   1060 <strlen@plt>
mov    %eax,%ecx
mov    -0x58(%rbp),%rax
movslq %ecx,%rcx
add    %rcx,%rax
cmp    -0x40(%rbp),%rax
jbe    1533 <rel2abs+0x3e3>
jmp    154d <rel2abs+0x3fd>
mov    -0x48(%rbp),%rdi
mov    -0x30(%rbp),%rsi
call   1050 <strcpy@plt>
mov    -0x20(%rbp),%rax
mov    %rax,-0x8(%rbp)
jmp    1567 <rel2abs+0x417>
mov    0x2a94(%rip),%rax
mov    (%rax),%ecx
mov    0x2a7b(%rip),%rax
mov    %ecx,(%rax)
movq   $0x0,-0x8(%rbp)
mov    -0x8(%rbp),%rax
add    $0x60,%rsp
pop    %rbp
ret

x86 assembly (clang, -O2):
<rel2abs>:
push   %rbp
push   %r15
push   %r14
push   %r13
push   %r12
push   %rbx
push   %rax
mov    %rcx,%r12
mov    %rdx,%r14
mov    %rdi,%r15
cmpb   $0x2f,(%rdi)
jne    118c <rel2abs+0x3c>
mov    %r15,%rdi
call   1060 <strlen@plt>
cltq
cmp    %r12,%rax
jae    135d <rel2abs+0x20d>
mov    %r14,%rdi
mov    %r15,%rsi
call   1050 <strcpy@plt>
jmp    1372 <rel2abs+0x222>
test   %r12,%r12
je     1217 <rel2abs+0xc7>
mov    %rsi,%rbx
cmpb   $0x2f,(%rsi)
jne    1217 <rel2abs+0xc7>
cmp    $0x1,%r12
je     135d <rel2abs+0x20d>
lea    (%r14,%r12,1),%rax
add    $0xffffffffffffffff,%rax
mov    %rax,(%rsp)
mov    %rbx,%rdi
call   1060 <strlen@plt>
mov    %eax,%r13d
lea    0xe3b(%rip),%rsi
mov    %r15,%rdi
call   1070 <strcmp@plt>
test   %eax,%eax
je     12cf <rel2abs+0x17f>
lea    0xe27(%rip),%rsi
mov    %r15,%rdi
call   1070 <strcmp@plt>
test   %eax,%eax
je     12cf <rel2abs+0x17f>
movslq %r13d,%rax
lea    (%rbx,%rax,1),%rcx
lea    (%rbx,%rax,1),%r13
add    $0xffffffffffffffff,%r13
cmpb   $0x2f,-0x1(%rbx,%rax,1)
cmovne %rcx,%r13
cmpb   $0x2e,(%r15)
jne    1301 <rel2abs+0x1b1>
lea    0xded(%rip),%rbp
jmp    1231 <rel2abs+0xe1>
mov    0x2db2(%rip),%rax
jmp    1364 <rel2abs+0x214>
add    $0x2,%r15
cmpb   $0x2e,(%r15)
jne    1301 <rel2abs+0x1b1>
mov    %r15,%rdi
mov    %rbp,%rsi
mov    $0x3,%edx
call   1040 <strncmp@plt>
test   %eax,%eax
je     12a0 <rel2abs+0x150>
mov    %r15,%rdi
lea    0xdb4(%rip),%rsi
mov    $0x2,%edx
call   1040 <strncmp@plt>
test   %eax,%eax
je     1223 <rel2abs+0xd3>
mov    %r15,%rdi
lea    0xd9f(%rip),%rsi
mov    $0x3,%edx
call   1040 <strncmp@plt>
test   %eax,%eax
jne    1301 <rel2abs+0x1b1>
add    $0x2,%r15
nopl   (%rax)
cmp    %rbx,%r13
jbe    1227 <rel2abs+0xd7>
lea    -0x1(%r13),%rax
cmpb   $0x2f,-0x1(%r13)
mov    %rax,%r13
jne    1280 <rel2abs+0x130>
jmp    12c7 <rel2abs+0x177>
cs nopw 0x0(%rax,%rax,1)
nop
add    $0x3,%r15
cs nopw 0x0(%rax,%rax,1)
xchg   %ax,%ax
cmp    %rbx,%r13
jbe    1227 <rel2abs+0xd7>
lea    -0x1(%r13),%rax
cmpb   $0x2f,-0x1(%r13)
mov    %rax,%r13
jne    12b0 <rel2abs+0x160>
mov    %rax,%r13
jmp    1227 <rel2abs+0xd7>
movslq %r13d,%rbp
cmp    %r12,%rbp
jae    135d <rel2abs+0x20d>
mov    %r14,%rdi
mov    %rbx,%rsi
call   1050 <strcpy@plt>
lea    (%r14,%rbp,1),%rax
add    $0xffffffffffffffff,%rax
cmpb   $0x2f,-0x1(%r14,%rbp,1)
jne    1345 <rel2abs+0x1f5>
cmp    $0x2,%r13d
jl     1349 <rel2abs+0x1f9>
movb   $0x0,(%rax)
jmp    1349 <rel2abs+0x1f9>
sub    %rbx,%r13
movslq %r13d,%rbp
cmp    %r12,%rbp
jae    135d <rel2abs+0x20d>
mov    %r14,%rdi
mov    %rbx,%rsi
mov    %ebp,%edx
call   1030 <strncpy@plt>
add    %r14,%rbp
cmpb   $0x0,(%r15)
je     1389 <rel2abs+0x239>
movb   $0x2f,0x0(%rbp)
add    $0x1,%rbp
mov    %r15,%rdi
call   1060 <strlen@plt>
cltq
add    %rbp,%rax
cmp    (%rsp),%rax
ja     135d <rel2abs+0x20d>
mov    %rbp,%rdi
jmp    117f <rel2abs+0x2f>
add    $0x1,%rax
cmpb   $0x2f,0x1(%r15)
jne    1372 <rel2abs+0x222>
movb   $0x2f,(%rax)
add    $0x1,%rax
cmp    (%rsp),%rax
jbe    1384 <rel2abs+0x234>
mov    0x2c84(%rip),%rax
mov    (%rax),%eax
mov    0x2c6b(%rip),%rcx
mov    %eax,(%rcx)
xor    %r14d,%r14d
mov    %r14,%rax
add    $0x8,%rsp
pop    %rbx
pop    %r12
pop    %r13
pop    %r14
pop    %r15
pop    %rbp
ret
movb   $0x0,(%rax)
jmp    1372 <rel2abs+0x222>
cmpb   $0x2f,-0x1(%r15)
je     1322 <rel2abs+0x1d2>
test   %r13d,%r13d
jne    132a <rel2abs+0x1da>
jmp    1322 <rel2abs+0x1d2>

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

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