#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*/ strcpy(char *, char const *);
scalar_t__ 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 != '/') {
    if ((unsigned int)strlen(path) >= size)
      goto erange;
    strcpy(result, path);
    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 && *(bp + 1) != '/') {
      if (rp + 3 > endp)
        goto erange;
      *rp++ = '.';
      *rp++ = '.';
      *rp++ = '/';
    }
  if (rp > endp)
    goto erange;
  *rp = 0;
  if (*branch) {
    if (rp + (int)strlen(branch + 1) > endp)
      goto erange;
    strcpy(rp, branch + 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     1184 <abs2rel+0x64>
mov    -0x10(%rbp),%rdi
call   1040 <strlen@plt>
mov    %eax,%eax
cmp    -0x28(%rbp),%rax
jb     1172 <abs2rel+0x52>
jmp    14e3 <abs2rel+0x3c3>
mov    -0x20(%rbp),%rdi
mov    -0x10(%rbp),%rsi
call   1030 <strcpy@plt>
jmp    14d6 <abs2rel+0x3b6>
mov    -0x18(%rbp),%rax
movsbl (%rax),%eax
cmp    $0x2f,%eax
jne    119f <abs2rel+0x7f>
cmpq   $0x0,-0x28(%rbp)
jne    11be <abs2rel+0x9e>
mov    0x2e2a(%rip),%rax
mov    (%rax),%ecx
mov    0x2e29(%rip),%rax
mov    %ecx,(%rax)
movq   $0x0,-0x8(%rbp)
jmp    14fd <abs2rel+0x3dd>
cmpq   $0x1,-0x28(%rbp)
jne    11ce <abs2rel+0xae>
jmp    14e3 <abs2rel+0x3c3>
jmp    11d3 <abs2rel+0xb3>
jmp    11d8 <abs2rel+0xb8>
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,-0x51(%rbp)
je     1230 <abs2rel+0x110>
mov    -0x38(%rbp),%rax
movsbl (%rax),%ecx
xor    %eax,%eax
cmp    $0x0,%ecx
mov    %al,-0x51(%rbp)
je     1230 <abs2rel+0x110>
mov    -0x30(%rbp),%rax
movsbl (%rax),%eax
mov    -0x38(%rbp),%rcx
movsbl (%rcx),%ecx
cmp    %ecx,%eax
sete   %al
mov    %al,-0x51(%rbp)
mov    -0x51(%rbp),%al
test   $0x1,%al
jne    1240 <abs2rel+0x120>
jmp    127a <abs2rel+0x15a>
mov    -0x30(%rbp),%rax
movsbl (%rax),%eax
cmp    $0x2f,%eax
jne    1258 <abs2rel+0x138>
mov    -0x30(%rbp),%rax
mov    %rax,-0x40(%rbp)
jmp    125d <abs2rel+0x13d>
mov    -0x30(%rbp),%rax
add    $0x1,%rax
mov    %rax,-0x30(%rbp)
mov    -0x38(%rbp),%rax
add    $0x1,%rax
mov    %rax,-0x38(%rbp)
jmp    11f0 <abs2rel+0xd0>
mov    -0x30(%rbp),%rax
movsbl (%rax),%eax
cmp    $0x0,%eax
je     12ab <abs2rel+0x18b>
mov    -0x30(%rbp),%rax
movsbl (%rax),%eax
cmp    $0x2f,%eax
jne    1348 <abs2rel+0x228>
mov    -0x30(%rbp),%rax
movsbl 0x1(%rax),%eax
cmp    $0x0,%eax
jne    1348 <abs2rel+0x228>
mov    -0x38(%rbp),%rax
movsbl (%rax),%eax
cmp    $0x0,%eax
je     12dc <abs2rel+0x1bc>
mov    -0x38(%rbp),%rax
movsbl (%rax),%eax
cmp    $0x2f,%eax
jne    1348 <abs2rel+0x228>
mov    -0x38(%rbp),%rax
movsbl 0x1(%rax),%eax
cmp    $0x0,%eax
jne    1348 <abs2rel+0x228>
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     1317 <abs2rel+0x1f7>
mov    -0x30(%rbp),%rax
movsbl -0x1(%rax),%eax
cmp    $0x2f,%eax
jne    1329 <abs2rel+0x209>
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    133c <abs2rel+0x21c>
jmp    14e3 <abs2rel+0x3c3>
mov    -0x50(%rbp),%rax
movb   $0x0,(%rax)
jmp    14d6 <abs2rel+0x3b6>
mov    -0x30(%rbp),%rax
movsbl (%rax),%eax
cmp    $0x0,%eax
jne    1368 <abs2rel+0x248>
mov    -0x38(%rbp),%rax
movsbl (%rax),%eax
cmp    $0x2f,%eax
je     1388 <abs2rel+0x268>
mov    -0x30(%rbp),%rax
movsbl (%rax),%eax
cmp    $0x2f,%eax
jne    1390 <abs2rel+0x270>
mov    -0x38(%rbp),%rax
movsbl (%rax),%eax
cmp    $0x0,%eax
jne    1390 <abs2rel+0x270>
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     1450 <abs2rel+0x330>
mov    -0x38(%rbp),%rax
movsbl (%rax),%eax
cmp    $0x2f,%eax
jne    143a <abs2rel+0x31a>
mov    -0x38(%rbp),%rax
movsbl 0x1(%rax),%eax
cmp    $0x0,%eax
je     143a <abs2rel+0x31a>
mov    -0x38(%rbp),%rax
movsbl 0x1(%rax),%eax
cmp    $0x2f,%eax
je     143a <abs2rel+0x31a>
mov    -0x50(%rbp),%rax
add    $0x3,%rax
cmp    -0x48(%rbp),%rax
jbe    1404 <abs2rel+0x2e4>
jmp    14e3 <abs2rel+0x3c3>
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    143f <abs2rel+0x31f>
mov    -0x38(%rbp),%rax
add    $0x1,%rax
mov    %rax,-0x38(%rbp)
jmp    13ae <abs2rel+0x28e>
mov    -0x50(%rbp),%rax
cmp    -0x48(%rbp),%rax
jbe    1463 <abs2rel+0x343>
jmp    14e3 <abs2rel+0x3c3>
mov    -0x50(%rbp),%rax
movb   $0x0,(%rax)
mov    -0x40(%rbp),%rax
cmpb   $0x0,(%rax)
je     14be <abs2rel+0x39e>
mov    -0x50(%rbp),%rax
mov    %rax,-0x60(%rbp)
mov    -0x40(%rbp),%rdi
add    $0x1,%rdi
call   1040 <strlen@plt>
mov    %rax,%rcx
mov    -0x60(%rbp),%rax
movslq %ecx,%rcx
add    %rcx,%rax
cmp    -0x48(%rbp),%rax
jbe    14a8 <abs2rel+0x388>
jmp    14e3 <abs2rel+0x3c3>
mov    -0x50(%rbp),%rdi
mov    -0x40(%rbp),%rsi
add    $0x1,%rsi
call   1030 <strcpy@plt>
jmp    14d1 <abs2rel+0x3b1>
mov    -0x50(%rbp),%rax
mov    %rax,%rcx
add    $0xffffffffffffffff,%rcx
mov    %rcx,-0x50(%rbp)
movb   $0x0,-0x1(%rax)
jmp    14d6 <abs2rel+0x3b6>
mov    -0x20(%rbp),%rax
mov    %rax,-0x8(%rbp)
jmp    14fd <abs2rel+0x3dd>
mov    0x2afe(%rip),%rax
mov    (%rax),%ecx
mov    0x2ae5(%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     11fa <abs2rel+0xda>
cmpb   $0x2f,(%rsi)
jne    11fa <abs2rel+0xda>
cmp    $0x1,%rbx
je     12d8 <abs2rel+0x1b8>
lea    (%r14,%rbx,1),%r13
add    $0xffffffffffffffff,%r13
lea    0x1(%r15),%rax
lea    0x1(%rsi),%rdi
mov    $0x2f,%r9b
mov    $0x1,%dl
mov    %r15,%r12
nop
mov    %r12,%rbx
mov    %rax,%r8
mov    %rdi,%rcx
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(%r8),%rax
lea    0x1(%rcx),%rdi
test   %dl,%dl
jne    1170 <abs2rel+0x50>
cmp    $0x2f,%bl
jne    1247 <abs2rel+0x127>
cmpb   $0x0,(%rax)
jne    123f <abs2rel+0x11f>
mov    (%rcx),%r9b
test   %r9b,%r9b
je     1206 <abs2rel+0xe6>
cmp    $0x2f,%r9b
jne    1232 <abs2rel+0x112>
cmpb   $0x0,0x1(%rcx)
je     1206 <abs2rel+0xe6>
test   $0x1,%dl
jne    1244 <abs2rel+0x124>
jmp    123f <abs2rel+0x11f>
mov    %r15,%rdi
call   1040 <strlen@plt>
mov    %eax,%eax
cmp    %rbx,%rax
jae    12d8 <abs2rel+0x1b8>
mov    %r14,%rdi
mov    %r15,%rsi
call   1030 <strcpy@plt>
jmp    12ed <abs2rel+0x1cd>
mov    0x2dcf(%rip),%rax
jmp    12df <abs2rel+0x1bf>
movb   $0x2e,(%r14)
cmpb   $0x2f,(%r8)
je     121b <abs2rel+0xfb>
cmpb   $0x2f,-0x1(%r8)
jne    12cf <abs2rel+0x1af>
lea    0x2(%r14),%rax
movb   $0x2f,0x1(%r14)
cmp    %r13,%rax
ja     12d8 <abs2rel+0x1b8>
jmp    12fa <abs2rel+0x1da>
test   $0x1,%dl
je     123f <abs2rel+0x11f>
cmp    $0x2f,%r9b
jne    1247 <abs2rel+0x127>
jmp    1244 <abs2rel+0x124>
test   %r9b,%r9b
jne    1247 <abs2rel+0x127>
mov    %r8,%r12
mov    %r12,%rax
sub    %r15,%rax
add    %rsi,%rax
add    $0x1,%rax
mov    %r14,%rbx
jmp    126e <abs2rel+0x14e>
nopl   0x0(%rax)
test   %cl,%cl
je     1297 <abs2rel+0x177>
mov    %rbx,%rcx
add    $0x1,%rax
mov    %rcx,%rbx
movzbl -0x1(%rax),%ecx
cmp    $0x2f,%cl
jne    1260 <abs2rel+0x140>
movzbl (%rax),%ecx
test   %cl,%cl
je     1264 <abs2rel+0x144>
cmp    $0x2f,%cl
je     1264 <abs2rel+0x144>
lea    0x3(%rbx),%rcx
cmp    %r13,%rcx
ja     12d8 <abs2rel+0x1b8>
movw   $0x2e2e,(%rbx)
movb   $0x2f,0x2(%rbx)
jmp    1267 <abs2rel+0x147>
cmp    %r13,%rbx
ja     12d8 <abs2rel+0x1b8>
movb   $0x0,(%rbx)
cmpb   $0x0,(%r12)
je     12c9 <abs2rel+0x1a9>
add    $0x1,%r12
mov    %r12,%rdi
call   1040 <strlen@plt>
cltq
add    %rbx,%rax
cmp    %r13,%rax
ja     12d8 <abs2rel+0x1b8>
mov    %rbx,%rdi
mov    %r12,%rsi
call   1030 <strcpy@plt>
jmp    12ed <abs2rel+0x1cd>
movb   $0x0,-0x1(%rbx)
jmp    12ed <abs2rel+0x1cd>
lea    0x1(%r14),%rax
cmp    %r13,%rax
jbe    12fa <abs2rel+0x1da>
mov    0x2d09(%rip),%rax
mov    (%rax),%eax
mov    0x2cf0(%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    12ed <abs2rel+0x1cd>

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