#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*/ copyPart(char *, int *, char const *, int *);
int identifyNamePart(char const *);
int /*<<< orphan*/ slashCount(char const *, int);
void normalizeRelFile(char *destination, const char *filename,
                      int filenameLen) {
  int di = 0;
  int si = 0;
  int parents = 0;
  int slashes = 0;
  int slash[slashCount(filename, filenameLen) + 1];
  while (si < filenameLen) {
    switch (identifyNamePart(filename + si)) {
    case 1:
      si += 2;
      break;
    case 2:
      if (slashes - parents > 0) {
        --slashes;
        di = slashes > 0 ? slash[slashes - 1] : 0;
      } else {
        if (slashes > 0) {
          destination[di++] = '/';
        }
        destination[di++] = '.';
        destination[di++] = '.';
        slash[slashes++] = di;
        ++parents;
      }
      si += 3;
      break;
    case 3:
      ++si;
      break;
    default:
      if (slashes > 0) {
        destination[di++] = '/';
      }
      copyPart(destination, &di, filename, &si);
      slash[slashes++] = di;
    }
  }
  if (di == 0) {
    destination[di++] = '.';
  }
  destination[di] = 0;
}


x86 assembly (clang, -O0):
<normalizeRelFile>:
push   %rbp
mov    %rsp,%rbp
sub    $0x50,%rsp
mov    %rdi,-0x8(%rbp)
mov    %rsi,-0x10(%rbp)
mov    %edx,-0x14(%rbp)
movl   $0x0,-0x18(%rbp)
movl   $0x0,-0x1c(%rbp)
movl   $0x0,-0x20(%rbp)
movl   $0x0,-0x24(%rbp)
mov    -0x10(%rbp),%rdi
mov    -0x14(%rbp),%esi
call   1050 <slashCount@plt>
add    $0x1,%eax
mov    %rsp,%rcx
mov    %rcx,-0x30(%rbp)
lea    0xf(,%rax,4),%rdx
and    $0xfffffffffffffff0,%rdx
mov    %rsp,%rcx
sub    %rdx,%rcx
mov    %rcx,-0x40(%rbp)
mov    %rcx,%rsp
mov    %rax,-0x38(%rbp)
mov    -0x1c(%rbp),%eax
cmp    -0x14(%rbp),%eax
jge    131b <normalizeRelFile+0x1eb>
mov    -0x10(%rbp),%rdi
movslq -0x1c(%rbp),%rax
add    %rax,%rdi
call   1030 <identifyNamePart@plt>
mov    %eax,%ecx
mov    %ecx,-0x44(%rbp)
sub    $0x1,%eax
je     11e3 <normalizeRelFile+0xb3>
jmp    11c1 <normalizeRelFile+0x91>
mov    -0x44(%rbp),%eax
sub    $0x2,%eax
je     11f1 <normalizeRelFile+0xc1>
jmp    11d2 <normalizeRelFile+0xa2>
mov    -0x44(%rbp),%eax
sub    $0x3,%eax
je     12bb <normalizeRelFile+0x18b>
jmp    12c9 <normalizeRelFile+0x199>
mov    -0x1c(%rbp),%eax
add    $0x2,%eax
mov    %eax,-0x1c(%rbp)
jmp    1316 <normalizeRelFile+0x1e6>
mov    -0x24(%rbp),%eax
sub    -0x20(%rbp),%eax
cmp    $0x0,%eax
jle    1240 <normalizeRelFile+0x110>
mov    -0x24(%rbp),%eax
add    $0xffffffff,%eax
mov    %eax,-0x24(%rbp)
cmpl   $0x0,-0x24(%rbp)
jle    122b <normalizeRelFile+0xfb>
mov    -0x40(%rbp),%rax
mov    -0x24(%rbp),%ecx
sub    $0x1,%ecx
movslq %ecx,%rcx
mov    (%rax,%rcx,4),%eax
mov    %eax,-0x48(%rbp)
jmp    1235 <normalizeRelFile+0x105>
xor    %eax,%eax
mov    %eax,-0x48(%rbp)
jmp    1235 <normalizeRelFile+0x105>
mov    -0x48(%rbp),%eax
mov    %eax,-0x18(%rbp)
jmp    12ad <normalizeRelFile+0x17d>
cmpl   $0x0,-0x24(%rbp)
jle    1260 <normalizeRelFile+0x130>
mov    -0x8(%rbp),%rax
mov    -0x18(%rbp),%ecx
mov    %ecx,%edx
add    $0x1,%edx
mov    %edx,-0x18(%rbp)
movslq %ecx,%rcx
movb   $0x2f,(%rax,%rcx,1)
mov    -0x40(%rbp),%rax
mov    -0x8(%rbp),%rcx
mov    -0x18(%rbp),%edx
mov    %edx,%esi
add    $0x1,%esi
mov    %esi,-0x18(%rbp)
movslq %edx,%rdx
movb   $0x2e,(%rcx,%rdx,1)
mov    -0x8(%rbp),%rcx
mov    -0x18(%rbp),%edx
mov    %edx,%esi
add    $0x1,%esi
mov    %esi,-0x18(%rbp)
movslq %edx,%rdx
movb   $0x2e,(%rcx,%rdx,1)
mov    -0x18(%rbp),%edx
mov    -0x24(%rbp),%ecx
mov    %ecx,%esi
add    $0x1,%esi
mov    %esi,-0x24(%rbp)
movslq %ecx,%rcx
mov    %edx,(%rax,%rcx,4)
mov    -0x20(%rbp),%eax
add    $0x1,%eax
mov    %eax,-0x20(%rbp)
mov    -0x1c(%rbp),%eax
add    $0x3,%eax
mov    %eax,-0x1c(%rbp)
jmp    1316 <normalizeRelFile+0x1e6>
mov    -0x1c(%rbp),%eax
add    $0x1,%eax
mov    %eax,-0x1c(%rbp)
jmp    1316 <normalizeRelFile+0x1e6>
cmpl   $0x0,-0x24(%rbp)
jle    12e9 <normalizeRelFile+0x1b9>
mov    -0x8(%rbp),%rax
mov    -0x18(%rbp),%ecx
mov    %ecx,%edx
add    $0x1,%edx
mov    %edx,-0x18(%rbp)
movslq %ecx,%rcx
movb   $0x2f,(%rax,%rcx,1)
mov    -0x8(%rbp),%rdi
mov    -0x10(%rbp),%rdx
lea    -0x18(%rbp),%rsi
lea    -0x1c(%rbp),%rcx
call   1040 <copyPart@plt>
mov    -0x40(%rbp),%rax
mov    -0x18(%rbp),%edx
mov    -0x24(%rbp),%ecx
mov    %ecx,%esi
add    $0x1,%esi
mov    %esi,-0x24(%rbp)
movslq %ecx,%rcx
mov    %edx,(%rax,%rcx,4)
jmp    1192 <normalizeRelFile+0x62>
cmpl   $0x0,-0x18(%rbp)
jne    133b <normalizeRelFile+0x20b>
mov    -0x8(%rbp),%rax
mov    -0x18(%rbp),%ecx
mov    %ecx,%edx
add    $0x1,%edx
mov    %edx,-0x18(%rbp)
movslq %ecx,%rcx
movb   $0x2e,(%rax,%rcx,1)
mov    -0x8(%rbp),%rax
movslq -0x18(%rbp),%rcx
movb   $0x0,(%rax,%rcx,1)
mov    -0x30(%rbp),%rax
mov    %rax,%rsp
mov    %rbp,%rsp
pop    %rbp
ret

x86 assembly (clang, -O2):
<normalizeRelFile>:
push   %rbp
mov    %rsp,%rbp
push   %r15
push   %r14
push   %r13
push   %r12
push   %rbx
sub    $0x18,%rsp
mov    %edx,%r15d
mov    %rsi,%rbx
mov    %rdi,%r14
movl   $0x0,-0x2c(%rbp)
movl   $0x0,-0x30(%rbp)
mov    %rsi,%rdi
mov    %edx,%esi
call   1050 <slashCount@plt>
mov    %rsp,%rcx
add    $0x1,%eax
lea    0xf(,%rax,4),%rax
and    $0xfffffffffffffff0,%rax
mov    %rsp,%r12
sub    %rax,%r12
mov    %r12,%rsp
test   %r15d,%r15d
jle    128e <normalizeRelFile+0x15e>
mov    %rcx,-0x40(%rbp)
xor    %eax,%eax
movl   $0x0,-0x34(%rbp)
xor    %r13d,%r13d
jmp    11b2 <normalizeRelFile+0x82>
nopl   0x0(%rax,%rax,1)
mov    -0x30(%rbp),%eax
add    $0x1,%eax
mov    %eax,-0x30(%rbp)
cmp    %r15d,%eax
jge    1283 <normalizeRelFile+0x153>
movslq %eax,%rdi
add    %rbx,%rdi
call   1030 <identifyNamePart@plt>
cmp    $0x3,%eax
je     11a0 <normalizeRelFile+0x70>
cmp    $0x2,%eax
je     11e0 <normalizeRelFile+0xb0>
cmp    $0x1,%eax
jne    1200 <normalizeRelFile+0xd0>
mov    -0x30(%rbp),%eax
add    $0x2,%eax
jmp    11a6 <normalizeRelFile+0x76>
cs nopw 0x0(%rax,%rax,1)
xchg   %ax,%ax
cmp    -0x34(%rbp),%r13d
jle    1243 <normalizeRelFile+0x113>
xor    %eax,%eax
cmp    $0x2,%r13d
jl     11f6 <normalizeRelFile+0xc6>
lea    -0x2(%r13),%eax
mov    (%r12,%rax,4),%eax
add    $0xffffffff,%r13d
mov    %eax,-0x2c(%rbp)
jmp    1278 <normalizeRelFile+0x148>
nop
test   %r13d,%r13d
jle    1214 <normalizeRelFile+0xe4>
movslq -0x2c(%rbp),%rax
lea    0x1(%rax),%ecx
mov    %ecx,-0x2c(%rbp)
movb   $0x2f,(%r14,%rax,1)
mov    %r14,%rdi
lea    -0x2c(%rbp),%rsi
mov    %rbx,%rdx
lea    -0x30(%rbp),%rcx
call   1040 <copyPart@plt>
mov    -0x2c(%rbp),%eax
movslq %r13d,%rcx
add    $0x1,%r13d
mov    %eax,(%r12,%rcx,4)
mov    -0x30(%rbp),%eax
cmp    %r15d,%eax
jl     11b2 <normalizeRelFile+0x82>
jmp    1283 <normalizeRelFile+0x153>
mov    -0x2c(%rbp),%eax
test   %r13d,%r13d
jle    1256 <normalizeRelFile+0x126>
movslq %eax,%rcx
lea    0x1(%rcx),%eax
movb   $0x2f,(%r14,%rcx,1)
cltq
movb   $0x2e,(%r14,%rax,1)
lea    0x2(%rax),%ecx
mov    %ecx,-0x2c(%rbp)
movb   $0x2e,0x1(%r14,%rax,1)
movslq %r13d,%rax
add    $0x1,%r13d
mov    %ecx,(%r12,%rax,4)
addl   $0x1,-0x34(%rbp)
mov    -0x30(%rbp),%eax
add    $0x3,%eax
jmp    11a6 <normalizeRelFile+0x76>
mov    -0x2c(%rbp),%eax
test   %eax,%eax
mov    -0x40(%rbp),%rcx
jne    129e <normalizeRelFile+0x16e>
movl   $0x1,-0x2c(%rbp)
movb   $0x2e,(%r14)
mov    $0x1,%eax
cltq
movb   $0x0,(%r14,%rax,1)
mov    %rcx,%rsp
lea    -0x28(%rbp),%rsp
pop    %rbx
pop    %r12
pop    %r13
pop    %r14
pop    %r15
pop    %rbp
ret

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

LLVM IR (-O2):
define void @normalizeRelFile(i8* %0, i8* %1, i32 %2) {
%4 = alloca i32
%5 = alloca i32
%6 = bitcast i32* %4 to i8*
store i32 0, i32* %4
%7 = bitcast i32* %5 to i8*
store i32 0, i32* %5
%8 = tail call i32 @slashCount(i8* %1, i32 %2)
%9 = add nsw i32 %8, 1
%10 = zext i32 %9 to i64
%11 = tail call i8* @llvm.stacksave()
%12 = alloca i32, i64 %10
%13 = icmp sgt i32 %2, 0
br i1 %13, label %14, label %85
14: ; preds = %3, %77
%15 = phi i32 [ %78, %77 ], [ 0, %3 ]
%16 = phi i32 [ %80, %77 ], [ 0, %3 ]
%17 = phi i32 [ %79, %77 ], [ 0, %3 ]
%18 = sext i32 %15 to i64
%19 = getelementptr inbounds i8, i8* %1, i64 %18
%20 = call i32 @identifyNamePart(i8* %19)
switch i32 %20, label %63 [
i32 1, label %21
i32 2, label %24
i32 3, label %60
]
21: ; preds = %14
%22 = load i32, i32* %5
%23 = add nsw i32 %22, 2
store i32 %23, i32* %5
br label %77
24: ; preds = %14
%25 = icmp sgt i32 %17, %16
br i1 %25, label %26, label %36
26: ; preds = %24
%27 = add nsw i32 %17, -1
%28 = icmp sgt i32 %17, 1
br i1 %28, label %29, label %34
29: ; preds = %26
%30 = add nsw i32 %17, -2
%31 = zext i32 %30 to i64
%32 = getelementptr inbounds i32, i32* %12, i64 %31
%33 = load i32, i32* %32
br label %34
34: ; preds = %26, %29
%35 = phi i32 [ %33, %29 ], [ 0, %26 ]
store i32 %35, i32* %4
br label %55
36: ; preds = %24
%37 = icmp sgt i32 %17, 0
%38 = load i32, i32* %4
br i1 %37, label %39, label %43
39: ; preds = %36
%40 = add nsw i32 %38, 1
%41 = sext i32 %38 to i64
%42 = getelementptr inbounds i8, i8* %0, i64 %41
store i8 47, i8* %42
br label %43
43: ; preds = %36, %39
%44 = phi i32 [ %40, %39 ], [ %38, %36 ]
%45 = add nsw i32 %44, 1
%46 = sext i32 %44 to i64
%47 = getelementptr inbounds i8, i8* %0, i64 %46
store i8 46, i8* %47
%48 = add nsw i32 %44, 2
store i32 %48, i32* %4
%49 = sext i32 %45 to i64
%50 = getelementptr inbounds i8, i8* %0, i64 %49
store i8 46, i8* %50
%51 = add nsw i32 %17, 1
%52 = sext i32 %17 to i64
%53 = getelementptr inbounds i32, i32* %12, i64 %52
store i32 %48, i32* %53
%54 = add nsw i32 %16, 1
br label %55
55: ; preds = %43, %34
%56 = phi i32 [ %27, %34 ], [ %51, %43 ]
%57 = phi i32 [ %16, %34 ], [ %54, %43 ]
%58 = load i32, i32* %5
%59 = add nsw i32 %58, 3
store i32 %59, i32* %5
br label %77
60: ; preds = %14
%61 = load i32, i32* %5
%62 = add nsw i32 %61, 1
store i32 %62, i32* %5
br label %77
63: ; preds = %14
%64 = icmp sgt i32 %17, 0
br i1 %64, label %65, label %70
65: ; preds = %63
%66 = load i32, i32* %4
%67 = add nsw i32 %66, 1
store i32 %67, i32* %4
%68 = sext i32 %66 to i64
%69 = getelementptr inbounds i8, i8* %0, i64 %68
store i8 47, i8* %69
br label %70
70: ; preds = %65, %63
%71 = call i32 @copyPart(i8* %0, i32* %4, i8* %1, i32* %5)
%72 = load i32, i32* %4
%73 = add nsw i32 %17, 1
%74 = sext i32 %17 to i64
%75 = getelementptr inbounds i32, i32* %12, i64 %74
store i32 %72, i32* %75
%76 = load i32, i32* %5
br label %77
77: ; preds = %70, %60, %55, %21
%78 = phi i32 [ %76, %70 ], [ %62, %60 ], [ %59, %55 ], [ %23, %21 ]
%79 = phi i32 [ %73, %70 ], [ %17, %60 ], [ %56, %55 ], [ %17, %21 ]
%80 = phi i32 [ %16, %70 ], [ %16, %60 ], [ %57, %55 ], [ %16, %21 ]
%81 = icmp slt i32 %78, %2
br i1 %81, label %14, label %82
82: ; preds = %77
%83 = load i32, i32* %4
%84 = icmp eq i32 %83, 0
br i1 %84, label %85, label %86
85: ; preds = %3, %82
store i32 1, i32* %4
store i8 46, i8* %0
br label %86
86: ; preds = %85, %82
%87 = phi i32 [ 1, %85 ], [ %83, %82 ]
%88 = sext i32 %87 to i64
%89 = getelementptr inbounds i8, i8* %0, i64 %88
store i8 0, i8* %89
ret void
}