#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*/ memcpy(char *, char const *, int);
int strlen(char const *);
char *abs2rel(const char *path, const char *base, char *result,
              const size_t size) {
  const char *pp, *bp, *branch;
  const char *endp = result + size - 1;
  char *rp;
  if (*path != '/') {
    int pathlen = strlen(path);
    if (pathlen >= size)
      goto erange;
    memcpy(result, path, pathlen + 1);
    goto finish;
  } else if (*base != '/' || !size) {
    errno = EINVAL;
    return (NULL);
  } else if (size == 1)
    goto erange;
  branch = path;
  for (pp = path, bp = base; *pp && *bp && *pp == *bp; pp++, bp++)
    if (*pp == '/')
      branch = pp;
  if ((*pp == 0 || (*pp == '/' && *(pp + 1) == 0)) &&
      (*bp == 0 || (*bp == '/' && *(bp + 1) == 0))) {
    rp = result;
    *rp++ = '.';
    if (*pp == '/' || *(pp - 1) == '/')
      *rp++ = '/';
    if (rp > endp)
      goto erange;
    *rp = 0;
    goto finish;
  }
  if ((*pp == 0 && *bp == '/') || (*pp == '/' && *bp == 0))
    branch = pp;
  rp = result;
  for (bp = base + (branch - path); *bp; bp++)
    if (*bp == '/' && *(bp + 1) != 0) {
      if (rp + 3 > endp)
        goto erange;
      *rp++ = '.';
      *rp++ = '.';
      *rp++ = '/';
    }
  if (rp > endp)
    goto erange;
  *rp = 0;
  if (*branch) {
    int brlen = strlen(branch + 1);
    if (rp + brlen > endp)
      goto erange;
    memcpy(rp, branch + 1, brlen + 1);
  } else
    *--rp = 0;
finish:
  return result;
erange:
  errno = ERANGE;
  return (NULL);
}


x86 assembly (clang, -O0):
<abs2rel>:
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,-0x48(%rbp)
mov    -0x10(%rbp),%rax
movsbl (%rax),%eax
cmp    $0x2f,%eax
je     118f <abs2rel+0x6f>
mov    -0x10(%rbp),%rdi
call   1030 <strlen@plt>
mov    %eax,-0x54(%rbp)
movslq -0x54(%rbp),%rax
cmp    -0x28(%rbp),%rax
jb     1177 <abs2rel+0x57>
jmp    14dc <abs2rel+0x3bc>
mov    -0x20(%rbp),%rdi
mov    -0x10(%rbp),%rsi
mov    -0x54(%rbp),%edx
add    $0x1,%edx
call   1040 <memcpy@plt>
jmp    14cf <abs2rel+0x3af>
mov    -0x18(%rbp),%rax
movsbl (%rax),%eax
cmp    $0x2f,%eax
jne    11aa <abs2rel+0x8a>
cmpq   $0x0,-0x28(%rbp)
jne    11c9 <abs2rel+0xa9>
mov    0x2e1f(%rip),%rax
mov    (%rax),%ecx
mov    0x2e1e(%rip),%rax
mov    %ecx,(%rax)
movq   $0x0,-0x8(%rbp)
jmp    14f6 <abs2rel+0x3d6>
cmpq   $0x1,-0x28(%rbp)
jne    11d9 <abs2rel+0xb9>
jmp    14dc <abs2rel+0x3bc>
jmp    11de <abs2rel+0xbe>
jmp    11e3 <abs2rel+0xc3>
mov    -0x10(%rbp),%rax
mov    %rax,-0x40(%rbp)
mov    -0x10(%rbp),%rax
mov    %rax,-0x30(%rbp)
mov    -0x18(%rbp),%rax
mov    %rax,-0x38(%rbp)
mov    -0x30(%rbp),%rax
movsbl (%rax),%ecx
xor    %eax,%eax
cmp    $0x0,%ecx
mov    %al,-0x59(%rbp)
je     123b <abs2rel+0x11b>
mov    -0x38(%rbp),%rax
movsbl (%rax),%ecx
xor    %eax,%eax
cmp    $0x0,%ecx
mov    %al,-0x59(%rbp)
je     123b <abs2rel+0x11b>
mov    -0x30(%rbp),%rax
movsbl (%rax),%eax
mov    -0x38(%rbp),%rcx
movsbl (%rcx),%ecx
cmp    %ecx,%eax
sete   %al
mov    %al,-0x59(%rbp)
mov    -0x59(%rbp),%al
test   $0x1,%al
jne    124b <abs2rel+0x12b>
jmp    1285 <abs2rel+0x165>
mov    -0x30(%rbp),%rax
movsbl (%rax),%eax
cmp    $0x2f,%eax
jne    1263 <abs2rel+0x143>
mov    -0x30(%rbp),%rax
mov    %rax,-0x40(%rbp)
jmp    1268 <abs2rel+0x148>
mov    -0x30(%rbp),%rax
add    $0x1,%rax
mov    %rax,-0x30(%rbp)
mov    -0x38(%rbp),%rax
add    $0x1,%rax
mov    %rax,-0x38(%rbp)
jmp    11fb <abs2rel+0xdb>
mov    -0x30(%rbp),%rax
movsbl (%rax),%eax
cmp    $0x0,%eax
je     12b6 <abs2rel+0x196>
mov    -0x30(%rbp),%rax
movsbl (%rax),%eax
cmp    $0x2f,%eax
jne    1353 <abs2rel+0x233>
mov    -0x30(%rbp),%rax
movsbl 0x1(%rax),%eax
cmp    $0x0,%eax
jne    1353 <abs2rel+0x233>
mov    -0x38(%rbp),%rax
movsbl (%rax),%eax
cmp    $0x0,%eax
je     12e7 <abs2rel+0x1c7>
mov    -0x38(%rbp),%rax
movsbl (%rax),%eax
cmp    $0x2f,%eax
jne    1353 <abs2rel+0x233>
mov    -0x38(%rbp),%rax
movsbl 0x1(%rax),%eax
cmp    $0x0,%eax
jne    1353 <abs2rel+0x233>
mov    -0x20(%rbp),%rax
mov    %rax,-0x50(%rbp)
mov    -0x50(%rbp),%rax
mov    %rax,%rcx
add    $0x1,%rcx
mov    %rcx,-0x50(%rbp)
movb   $0x2e,(%rax)
mov    -0x30(%rbp),%rax
movsbl (%rax),%eax
cmp    $0x2f,%eax
je     1322 <abs2rel+0x202>
mov    -0x30(%rbp),%rax
movsbl -0x1(%rax),%eax
cmp    $0x2f,%eax
jne    1334 <abs2rel+0x214>
mov    -0x50(%rbp),%rax
mov    %rax,%rcx
add    $0x1,%rcx
mov    %rcx,-0x50(%rbp)
movb   $0x2f,(%rax)
mov    -0x50(%rbp),%rax
cmp    -0x48(%rbp),%rax
jbe    1347 <abs2rel+0x227>
jmp    14dc <abs2rel+0x3bc>
mov    -0x50(%rbp),%rax
movb   $0x0,(%rax)
jmp    14cf <abs2rel+0x3af>
mov    -0x30(%rbp),%rax
movsbl (%rax),%eax
cmp    $0x0,%eax
jne    1373 <abs2rel+0x253>
mov    -0x38(%rbp),%rax
movsbl (%rax),%eax
cmp    $0x2f,%eax
je     1393 <abs2rel+0x273>
mov    -0x30(%rbp),%rax
movsbl (%rax),%eax
cmp    $0x2f,%eax
jne    139b <abs2rel+0x27b>
mov    -0x38(%rbp),%rax
movsbl (%rax),%eax
cmp    $0x0,%eax
jne    139b <abs2rel+0x27b>
mov    -0x30(%rbp),%rax
mov    %rax,-0x40(%rbp)
mov    -0x20(%rbp),%rax
mov    %rax,-0x50(%rbp)
mov    -0x18(%rbp),%rax
mov    -0x40(%rbp),%rcx
mov    -0x10(%rbp),%rdx
sub    %rdx,%rcx
add    %rcx,%rax
mov    %rax,-0x38(%rbp)
mov    -0x38(%rbp),%rax
cmpb   $0x0,(%rax)
je     144a <abs2rel+0x32a>
mov    -0x38(%rbp),%rax
movsbl (%rax),%eax
cmp    $0x2f,%eax
jne    1434 <abs2rel+0x314>
mov    -0x38(%rbp),%rax
movsbl 0x1(%rax),%eax
cmp    $0x0,%eax
je     1434 <abs2rel+0x314>
mov    -0x50(%rbp),%rax
add    $0x3,%rax
cmp    -0x48(%rbp),%rax
jbe    13fe <abs2rel+0x2de>
jmp    14dc <abs2rel+0x3bc>
mov    -0x50(%rbp),%rax
mov    %rax,%rcx
add    $0x1,%rcx
mov    %rcx,-0x50(%rbp)
movb   $0x2e,(%rax)
mov    -0x50(%rbp),%rax
mov    %rax,%rcx
add    $0x1,%rcx
mov    %rcx,-0x50(%rbp)
movb   $0x2e,(%rax)
mov    -0x50(%rbp),%rax
mov    %rax,%rcx
add    $0x1,%rcx
mov    %rcx,-0x50(%rbp)
movb   $0x2f,(%rax)
jmp    1439 <abs2rel+0x319>
mov    -0x38(%rbp),%rax
add    $0x1,%rax
mov    %rax,-0x38(%rbp)
jmp    13b9 <abs2rel+0x299>
mov    -0x50(%rbp),%rax
cmp    -0x48(%rbp),%rax
jbe    145d <abs2rel+0x33d>
jmp    14dc <abs2rel+0x3bc>
mov    -0x50(%rbp),%rax
movb   $0x0,(%rax)
mov    -0x40(%rbp),%rax
cmpb   $0x0,(%rax)
je     14b7 <abs2rel+0x397>
mov    -0x40(%rbp),%rdi
add    $0x1,%rdi
call   1030 <strlen@plt>
mov    %eax,-0x58(%rbp)
mov    -0x50(%rbp),%rax
movslq -0x58(%rbp),%rcx
add    %rcx,%rax
cmp    -0x48(%rbp),%rax
jbe    149b <abs2rel+0x37b>
jmp    14dc <abs2rel+0x3bc>
mov    -0x50(%rbp),%rdi
mov    -0x40(%rbp),%rsi
add    $0x1,%rsi
mov    -0x58(%rbp),%edx
add    $0x1,%edx
call   1040 <memcpy@plt>
jmp    14ca <abs2rel+0x3aa>
mov    -0x50(%rbp),%rax
mov    %rax,%rcx
add    $0xffffffffffffffff,%rcx
mov    %rcx,-0x50(%rbp)
movb   $0x0,-0x1(%rax)
jmp    14cf <abs2rel+0x3af>
mov    -0x20(%rbp),%rax
mov    %rax,-0x8(%rbp)
jmp    14f6 <abs2rel+0x3d6>
mov    0x2b05(%rip),%rax
mov    (%rax),%ecx
mov    0x2aec(%rip),%rax
mov    %ecx,(%rax)
movq   $0x0,-0x8(%rbp)
mov    -0x8(%rbp),%rax
add    $0x60,%rsp
pop    %rbp
ret

x86 assembly (clang, -O2):
<abs2rel>:
push   %r15
push   %r14
push   %r13
push   %r12
push   %rbx
mov    %rcx,%rbx
mov    %rdx,%r14
mov    %rdi,%r15
cmpb   $0x2f,(%rdi)
jne    11d7 <abs2rel+0xb7>
test   %rbx,%rbx
je     1200 <abs2rel+0xe0>
cmpb   $0x2f,(%rsi)
jne    1200 <abs2rel+0xe0>
cmp    $0x1,%rbx
je     12d3 <abs2rel+0x1b3>
lea    (%r14,%rbx,1),%r13
add    $0xffffffffffffffff,%r13
lea    0x1(%rsi),%rdi
lea    0x1(%r15),%rax
mov    $0x2f,%r9b
mov    $0x1,%dl
mov    %r15,%r12
nop
mov    %r12,%rbx
mov    %rdi,%rcx
mov    %rax,%r8
lea    -0x1(%rax),%r12
cmp    $0x2f,%r9b
cmovne %rbx,%r12
movzbl (%rax),%ebx
test   %bl,%bl
je     11bc <abs2rel+0x9c>
movzbl (%rcx),%r9d
test   %r9b,%r9b
setne  %al
cmp    %r9b,%bl
sete   %dl
and    %al,%dl
lea    0x1(%rcx),%rdi
lea    0x1(%r8),%rax
test   %dl,%dl
jne    1170 <abs2rel+0x50>
cmp    $0x2f,%bl
jne    124d <abs2rel+0x12d>
cmpb   $0x0,(%rax)
jne    1245 <abs2rel+0x125>
mov    (%rcx),%r9b
test   %r9b,%r9b
je     120c <abs2rel+0xec>
cmp    $0x2f,%r9b
jne    1238 <abs2rel+0x118>
cmpb   $0x0,0x1(%rcx)
je     120c <abs2rel+0xec>
test   $0x1,%dl
jne    124a <abs2rel+0x12a>
jmp    1245 <abs2rel+0x125>
mov    %r15,%rdi
call   1030 <strlen@plt>
movslq %eax,%rcx
cmp    %rbx,%rcx
jae    12d3 <abs2rel+0x1b3>
add    $0x1,%eax
mov    %r14,%rdi
mov    %r15,%rsi
mov    %eax,%edx
call   1040 <memcpy@plt>
jmp    12e8 <abs2rel+0x1c8>
mov    0x2dc9(%rip),%rax
jmp    12da <abs2rel+0x1ba>
movb   $0x2e,(%r14)
cmpb   $0x2f,(%r8)
je     1221 <abs2rel+0x101>
cmpb   $0x2f,-0x1(%r8)
jne    12ca <abs2rel+0x1aa>
lea    0x2(%r14),%rax
movb   $0x2f,0x1(%r14)
cmp    %r13,%rax
ja     12d3 <abs2rel+0x1b3>
jmp    12f5 <abs2rel+0x1d5>
test   $0x1,%dl
je     1245 <abs2rel+0x125>
cmp    $0x2f,%r9b
jne    124d <abs2rel+0x12d>
jmp    124a <abs2rel+0x12a>
test   %r9b,%r9b
jne    124d <abs2rel+0x12d>
mov    %r8,%r12
mov    %r12,%rax
sub    %r15,%rax
add    %rsi,%rax
add    $0x1,%rax
mov    %r14,%rbx
jmp    126e <abs2rel+0x14e>
nop
test   %cl,%cl
je     1290 <abs2rel+0x170>
mov    %rbx,%rcx
add    $0x1,%rax
mov    %rcx,%rbx
movzbl -0x1(%rax),%ecx
cmp    $0x2f,%cl
jne    1260 <abs2rel+0x140>
cmpb   $0x0,(%rax)
je     1264 <abs2rel+0x144>
lea    0x3(%rbx),%rcx
cmp    %r13,%rcx
ja     12d3 <abs2rel+0x1b3>
movw   $0x2e2e,(%rbx)
movb   $0x2f,0x2(%rbx)
jmp    1267 <abs2rel+0x147>
cmp    %r13,%rbx
ja     12d3 <abs2rel+0x1b3>
movb   $0x0,(%rbx)
cmpb   $0x0,(%r12)
je     12c4 <abs2rel+0x1a4>
add    $0x1,%r12
mov    %r12,%rdi
call   1030 <strlen@plt>
movslq %eax,%rcx
add    %rbx,%rcx
cmp    %r13,%rcx
ja     12d3 <abs2rel+0x1b3>
add    $0x1,%eax
mov    %rbx,%rdi
mov    %r12,%rsi
jmp    11f4 <abs2rel+0xd4>
movb   $0x0,-0x1(%rbx)
jmp    12e8 <abs2rel+0x1c8>
lea    0x1(%r14),%rax
cmp    %r13,%rax
jbe    12f5 <abs2rel+0x1d5>
mov    0x2d0e(%rip),%rax
mov    (%rax),%eax
mov    0x2cf5(%rip),%rcx
mov    %eax,(%rcx)
xor    %r14d,%r14d
mov    %r14,%rax
pop    %rbx
pop    %r12
pop    %r13
pop    %r14
pop    %r15
ret
movb   $0x0,(%rax)
jmp    12e8 <abs2rel+0x1c8>

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

LLVM IR (-O2):
@EINVAL = global i32 0
@errno = global i32 0
@ERANGE = global i32 0
define i8* @abs2rel(i8* %0, i8* nocapture %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 %16, label %9
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 %115
13: ; preds = %9
%14 = add nsw i32 %10, 1
%15 = tail call i32 @memcpy(i8* %2, i8* %0, i32 %14)
br label %117
16: ; preds = %4
%17 = load i8, i8* %1
%18 = icmp eq i8 %17, 47
%19 = icmp ne i64 %3, 0
%20 = and i1 %19, %18
br i1 %20, label %23, label %21
21: ; preds = %16
%22 = load i32, i32* @EINVAL
store i32 %22, i32* @errno
br label %117
23: ; preds = %16
%24 = icmp eq i64 %3, 1
br i1 %24, label %115, label %25
25: ; preds = %23, %37
%26 = phi i1 [ %41, %37 ], [ true, %23 ]
%27 = phi i8* [ %32, %37 ], [ %0, %23 ]
%28 = phi i8* [ %34, %37 ], [ %1, %23 ]
%29 = phi i8* [ %33, %37 ], [ %0, %23 ]
%30 = phi i8 [ %38, %37 ], [ 47, %23 ]
%31 = icmp eq i8 %30, 47
%32 = select i1 %31, i8* %29, i8* %27
%33 = getelementptr inbounds i8, i8* %29, i64 1
%34 = getelementptr inbounds i8, i8* %28, i64 1
%35 = load i8, i8* %33
%36 = icmp eq i8 %35, 0
br i1 %36, label %48, label %37
37: ; preds = %25
%38 = load i8, i8* %34
%39 = icmp ne i8 %38, 0
%40 = icmp eq i8 %35, %38
%41 = select i1 %39, i1 %40, i1 false
br i1 %41, label %25, label %42
42: ; preds = %37
%43 = icmp eq i8 %35, 47
br i1 %43, label %44, label %76
44: ; preds = %42
%45 = getelementptr inbounds i8, i8* %29, i64 2
%46 = load i8, i8* %45
%47 = icmp eq i8 %46, 0
br i1 %47, label %48, label %72
48: ; preds = %25, %44
%49 = phi i1 [ %41, %44 ], [ %26, %25 ]
%50 = load i8, i8* %34
switch i8 %50, label %68 [
i8 0, label %55
i8 47, label %51
]
51: ; preds = %48
%52 = getelementptr inbounds i8, i8* %28, i64 2
%53 = load i8, i8* %52
%54 = icmp eq i8 %53, 0
br i1 %54, label %55, label %69
55: ; preds = %48, %51
%56 = getelementptr inbounds i8, i8* %2, i64 1
store i8 46, i8* %2
%57 = load i8, i8* %33
%58 = icmp eq i8 %57, 47
br i1 %58, label %62, label %59
59: ; preds = %55
%60 = load i8, i8* %29
%61 = icmp eq i8 %60, 47
br i1 %61, label %62, label %64
62: ; preds = %59, %55
%63 = getelementptr inbounds i8, i8* %2, i64 2
store i8 47, i8* %56
br label %64
64: ; preds = %62, %59
%65 = phi i8* [ %63, %62 ], [ %56, %59 ]
%66 = icmp ugt i8* %65, %6
br i1 %66, label %115, label %67
67: ; preds = %64
store i8 0, i8* %65
br label %117
68: ; preds = %48
br i1 %49, label %70, label %72
69: ; preds = %51
br i1 %49, label %75, label %72
70: ; preds = %68
%71 = icmp eq i8 %50, 47
br i1 %71, label %75, label %76
72: ; preds = %69, %68, %44
%73 = phi i8 [ %38, %44 ], [ %50, %68 ], [ %50, %69 ]
%74 = icmp eq i8 %73, 0
br i1 %74, label %75, label %76
75: ; preds = %69, %72, %70
br label %76
76: ; preds = %42, %70, %75, %72
%77 = phi i8* [ %33, %75 ], [ %32, %72 ], [ %32, %70 ], [ %32, %42 ]
%78 = ptrtoint i8* %77 to i64
%79 = ptrtoint i8* %0 to i64
%80 = sub i64 %78, %79
%81 = getelementptr inbounds i8, i8* %1, i64 %80
br label %82
82: ; preds = %96, %76
%83 = phi i8* [ %81, %76 ], [ %98, %96 ]
%84 = phi i8* [ %2, %76 ], [ %97, %96 ]
%85 = load i8, i8* %83
switch i8 %85, label %96 [
i8 0, label %99
i8 47, label %86
]
86: ; preds = %82
%87 = getelementptr inbounds i8, i8* %83, i64 1
%88 = load i8, i8* %87
%89 = icmp eq i8 %88, 0
br i1 %89, label %96, label %90
90: ; preds = %86
%91 = getelementptr inbounds i8, i8* %84, i64 3
%92 = icmp ugt i8* %91, %6
br i1 %92, label %115, label %93
93: ; preds = %90
%94 = getelementptr inbounds i8, i8* %84, i64 1
store i8 46, i8* %84
%95 = getelementptr inbounds i8, i8* %84, i64 2
store i8 46, i8* %94
store i8 47, i8* %95
br label %96
96: ; preds = %82, %86, %93
%97 = phi i8* [ %91, %93 ], [ %84, %86 ], [ %84, %82 ]
%98 = getelementptr inbounds i8, i8* %83, i64 1
br label %82
99: ; preds = %82
%100 = icmp ugt i8* %84, %6
br i1 %100, label %115, label %101
101: ; preds = %99
store i8 0, i8* %84
%102 = load i8, i8* %77
%103 = icmp eq i8 %102, 0
br i1 %103, label %113, label %104
104: ; preds = %101
%105 = getelementptr inbounds i8, i8* %77, i64 1
%106 = tail call i32 @strlen(i8* %105)
%107 = sext i32 %106 to i64
%108 = getelementptr inbounds i8, i8* %84, i64 %107
%109 = icmp ugt i8* %108, %6
br i1 %109, label %115, label %110
110: ; preds = %104
%111 = add nsw i32 %106, 1
%112 = tail call i32 @memcpy(i8* %84, i8* %105, i32 %111)
br label %117
113: ; preds = %101
%114 = getelementptr inbounds i8, i8* %84, i64 -1
store i8 0, i8* %114
br label %117
115: ; preds = %90, %9, %104, %99, %64, %23
%116 = load i32, i32* @ERANGE
store i32 %116, i32* @errno
br label %117
117: ; preds = %110, %13, %67, %113, %115, %21
%118 = phi i8* [ null, %115 ], [ null, %21 ], [ %2, %113 ], [ %2, %67 ], [ %2, %13 ], [ %2, %110 ]
ret i8* %118
}