void simplify_path(pathx) char *pathx;
{
  char *cur;
  char *t;
  int isrooted;
  char *very_start = pathx;
  char *start;
  if (!*pathx)
    return;
  if ((isrooted = (((pathx)[0]) == '/')))
    very_start++;
  for (cur = t = start = very_start;;) {
    while (((*t) == '/'))
      t++;
    if (*t == '\0') {
      if (cur == pathx)
        *cur++ = '.';
      *cur = '\0';
      break;
    }
    if (t[0] == '.') {
      if (!t[1] || ((t[1]) == '/')) {
        t += 1;
        continue;
      } else if (t[1] == '.' && (!t[2] || ((t[2]) == '/'))) {
        if (!isrooted && cur == start) {
          if (cur != very_start)
            *cur++ = '/';
          *cur++ = '.';
          *cur++ = '.';
          start = cur;
        } else if (cur != start)
          while (--cur > start && !((*cur) == '/'))
            ;
        t += 2;
        continue;
      }
    }
    if (cur != very_start)
      *cur++ = '/';
    while (*t && !((*t) == '/'))
      *cur++ = *t++;
  }
}


x86 assembly (clang, -O0):
<simplify_path>:
push   %rbp
mov    %rsp,%rbp
mov    %rdi,-0x8(%rbp)
mov    -0x8(%rbp),%rax
mov    %rax,-0x28(%rbp)
mov    -0x8(%rbp),%rax
cmpb   $0x0,(%rax)
jne    1122 <simplify_path+0x22>
jmp    13a0 <simplify_path+0x2a0>
mov    -0x8(%rbp),%rax
movsbl (%rax),%eax
cmp    $0x2f,%eax
sete   %al
mov    %al,%cl
and    $0x1,%cl
movzbl %cl,%ecx
mov    %ecx,-0x1c(%rbp)
test   $0x1,%al
jne    1147 <simplify_path+0x47>
jmp    1153 <simplify_path+0x53>
mov    -0x28(%rbp),%rax
add    $0x1,%rax
mov    %rax,-0x28(%rbp)
mov    -0x28(%rbp),%rax
mov    %rax,-0x30(%rbp)
mov    %rax,-0x18(%rbp)
mov    %rax,-0x10(%rbp)
jmp    1168 <simplify_path+0x68>
mov    -0x18(%rbp),%rax
movsbl (%rax),%eax
cmp    $0x2f,%eax
jne    1189 <simplify_path+0x89>
mov    -0x18(%rbp),%rax
add    $0x1,%rax
mov    %rax,-0x18(%rbp)
jmp    1168 <simplify_path+0x68>
mov    -0x18(%rbp),%rax
movsbl (%rax),%eax
cmp    $0x0,%eax
jne    11c5 <simplify_path+0xc5>
mov    -0x10(%rbp),%rax
cmp    -0x8(%rbp),%rax
jne    11b9 <simplify_path+0xb9>
mov    -0x10(%rbp),%rax
mov    %rax,%rcx
add    $0x1,%rcx
mov    %rcx,-0x10(%rbp)
movb   $0x2e,(%rax)
mov    -0x10(%rbp),%rax
movb   $0x0,(%rax)
jmp    13a0 <simplify_path+0x2a0>
mov    -0x18(%rbp),%rax
movsbl (%rax),%eax
cmp    $0x2e,%eax
jne    1318 <simplify_path+0x218>
mov    -0x18(%rbp),%rax
cmpb   $0x0,0x1(%rax)
je     11f4 <simplify_path+0xf4>
mov    -0x18(%rbp),%rax
movsbl 0x1(%rax),%eax
cmp    $0x2f,%eax
jne    1205 <simplify_path+0x105>
mov    -0x18(%rbp),%rax
add    $0x1,%rax
mov    %rax,-0x18(%rbp)
jmp    1163 <simplify_path+0x63>
mov    -0x18(%rbp),%rax
movsbl 0x1(%rax),%eax
cmp    $0x2e,%eax
jne    130e <simplify_path+0x20e>
mov    -0x18(%rbp),%rax
cmpb   $0x0,0x2(%rax)
je     1235 <simplify_path+0x135>
mov    -0x18(%rbp),%rax
movsbl 0x2(%rax),%eax
cmp    $0x2f,%eax
jne    130e <simplify_path+0x20e>
cmpl   $0x0,-0x1c(%rbp)
jne    129e <simplify_path+0x19e>
mov    -0x10(%rbp),%rax
cmp    -0x30(%rbp),%rax
jne    129e <simplify_path+0x19e>
mov    -0x10(%rbp),%rax
cmp    -0x28(%rbp),%rax
je     126d <simplify_path+0x16d>
mov    -0x10(%rbp),%rax
mov    %rax,%rcx
add    $0x1,%rcx
mov    %rcx,-0x10(%rbp)
movb   $0x2f,(%rax)
mov    -0x10(%rbp),%rax
mov    %rax,%rcx
add    $0x1,%rcx
mov    %rcx,-0x10(%rbp)
movb   $0x2e,(%rax)
mov    -0x10(%rbp),%rax
mov    %rax,%rcx
add    $0x1,%rcx
mov    %rcx,-0x10(%rbp)
movb   $0x2e,(%rax)
mov    -0x10(%rbp),%rax
mov    %rax,-0x30(%rbp)
jmp    12fd <simplify_path+0x1fd>
mov    -0x10(%rbp),%rax
cmp    -0x30(%rbp),%rax
je     12f8 <simplify_path+0x1f8>
jmp    12b1 <simplify_path+0x1b1>
mov    -0x10(%rbp),%rcx
add    $0xffffffffffffffff,%rcx
mov    %rcx,-0x10(%rbp)
xor    %eax,%eax
cmp    -0x30(%rbp),%rcx
mov    %al,-0x31(%rbp)
jbe    12de <simplify_path+0x1de>
mov    -0x10(%rbp),%rax
movsbl (%rax),%eax
cmp    $0x2f,%eax
sete   %al
xor    $0xff,%al
mov    %al,-0x31(%rbp)
mov    -0x31(%rbp),%al
test   $0x1,%al
jne    12ee <simplify_path+0x1ee>
jmp    12f3 <simplify_path+0x1f3>
jmp    12b1 <simplify_path+0x1b1>
jmp    12f8 <simplify_path+0x1f8>
jmp    12fd <simplify_path+0x1fd>
mov    -0x18(%rbp),%rax
add    $0x2,%rax
mov    %rax,-0x18(%rbp)
jmp    1163 <simplify_path+0x63>
jmp    1313 <simplify_path+0x213>
jmp    1318 <simplify_path+0x218>
mov    -0x10(%rbp),%rax
cmp    -0x28(%rbp),%rax
je     1338 <simplify_path+0x238>
mov    -0x10(%rbp),%rax
mov    %rax,%rcx
add    $0x1,%rcx
mov    %rcx,-0x10(%rbp)
movb   $0x2f,(%rax)
jmp    133d <simplify_path+0x23d>
mov    -0x18(%rbp),%rax
movsbl (%rax),%ecx
xor    %eax,%eax
cmp    $0x0,%ecx
mov    %al,-0x32(%rbp)
je     1364 <simplify_path+0x264>
mov    -0x18(%rbp),%rax
movsbl (%rax),%eax
cmp    $0x2f,%eax
sete   %al
xor    $0xff,%al
mov    %al,-0x32(%rbp)
mov    -0x32(%rbp),%al
test   $0x1,%al
jne    1374 <simplify_path+0x274>
jmp    139b <simplify_path+0x29b>
mov    -0x18(%rbp),%rax
mov    %rax,%rcx
add    $0x1,%rcx
mov    %rcx,-0x18(%rbp)
mov    (%rax),%cl
mov    -0x10(%rbp),%rax
mov    %rax,%rdx
add    $0x1,%rdx
mov    %rdx,-0x10(%rbp)
mov    %cl,(%rax)
jmp    133d <simplify_path+0x23d>
jmp    1163 <simplify_path+0x63>
pop    %rbp
ret

x86 assembly (clang, -O2):
<simplify_path>:
mov    (%rdi),%al
test   %al,%al
je     1218 <simplify_path+0x118>
xor    %r10d,%r10d
cmp    $0x2f,%al
setne  %r8b
sete   %r10b
add    %rdi,%r10
mov    %r10,%rdx
mov    %r10,%r9
mov    %r9,%rsi
mov    %rsi,%rcx
jmp    1138 <simplify_path+0x38>
nopl   0x0(%rax,%rax,1)
cmp    $0x2f,%al
jne    1166 <simplify_path+0x66>
add    $0x1,%rdx
mov    %rdx,%rsi
mov    %rsi,%rdx
movzbl (%rsi),%eax
cmp    $0x2e,%al
jne    1130 <simplify_path+0x30>
lea    0x1(%rdx),%rsi
movzbl 0x1(%rdx),%eax
test   %al,%al
je     113b <simplify_path+0x3b>
cmp    $0x2f,%al
je     113b <simplify_path+0x3b>
cmp    $0x2e,%al
jne    116e <simplify_path+0x6e>
mov    0x2(%rdx),%al
cmp    $0x2f,%al
je     11a7 <simplify_path+0xa7>
test   %al,%al
jne    116e <simplify_path+0x6e>
jmp    11a7 <simplify_path+0xa7>
test   %al,%al
je     1206 <simplify_path+0x106>
mov    %r10,%rax
cmp    %r10,%rcx
je     1180 <simplify_path+0x80>
movb   $0x2f,(%rcx)
add    $0x1,%rcx
mov    %rcx,%rax
mov    %rax,%rcx
cs nopw 0x0(%rax,%rax,1)
nopl   (%rax)
movzbl (%rdx),%eax
test   %al,%al
je     1138 <simplify_path+0x38>
cmp    $0x2f,%al
je     1138 <simplify_path+0x38>
add    $0x1,%rdx
mov    %al,(%rcx)
add    $0x1,%rcx
jmp    1190 <simplify_path+0x90>
add    $0x2,%rdx
cmp    %r9,%rcx
sete   %al
and    %r8b,%al
cmp    $0x1,%al
je     11e2 <simplify_path+0xe2>
mov    %r9,%rsi
cmp    %r9,%rcx
je     1123 <simplify_path+0x23>
add    $0xffffffffffffffff,%rcx
mov    %rcx,%rsi
cmp    %r9,%rcx
jbe    1123 <simplify_path+0x23>
lea    -0x1(%rsi),%rcx
cmpb   $0x2f,(%rsi)
jne    11c8 <simplify_path+0xc8>
jmp    1123 <simplify_path+0x23>
mov    %r10,%rax
cmp    %r10,%r9
je     11f5 <simplify_path+0xf5>
movb   $0x2f,(%r9)
add    $0x1,%r9
mov    %r9,%rax
movw   $0x2e2e,(%rax)
add    $0x2,%rax
mov    %rax,%r9
jmp    1120 <simplify_path+0x20>
cmp    %rdi,%rcx
jne    1215 <simplify_path+0x115>
movb   $0x2e,(%rdi)
add    $0x1,%rdi
mov    %rdi,%rcx
movb   $0x0,(%rcx)
ret

LLVM IR (-O0):
define void @simplify_path(i8* %0) {
%2 = alloca i8*
%3 = alloca i8*
%4 = alloca i8*
%5 = alloca i32
%6 = alloca i8*
%7 = alloca i8*
store i8* %0, i8** %2
%8 = load i8*, i8** %2
store i8* %8, i8** %6
%9 = load i8*, i8** %2
%10 = load i8, i8* %9
%11 = icmp ne i8 %10, 0
br i1 %11, label %13, label %12
12: ; preds = %1
br label %159
13: ; preds = %1
%14 = load i8*, i8** %2
%15 = getelementptr inbounds i8, i8* %14, i64 0
%16 = load i8, i8* %15
%17 = sext i8 %16 to i32
%18 = icmp eq i32 %17, 47
%19 = zext i1 %18 to i32
store i32 %19, i32* %5
br i1 %18, label %20, label %23
20: ; preds = %13
%21 = load i8*, i8** %6
%22 = getelementptr inbounds i8, i8* %21, i32 1
store i8* %22, i8** %6
br label %23
23: ; preds = %20, %13
%24 = load i8*, i8** %6
store i8* %24, i8** %7
store i8* %24, i8** %4
store i8* %24, i8** %3
br label %25
25: ; preds = %158, %126, %65, %23
br label %26
26: ; preds = %31, %25
%27 = load i8*, i8** %4
%28 = load i8, i8* %27
%29 = sext i8 %28 to i32
%30 = icmp eq i32 %29, 47
br i1 %30, label %31, label %34
31: ; preds = %26
%32 = load i8*, i8** %4
%33 = getelementptr inbounds i8, i8* %32, i32 1
store i8* %33, i8** %4
br label %26
34: ; preds = %26
%35 = load i8*, i8** %4
%36 = load i8, i8* %35
%37 = sext i8 %36 to i32
%38 = icmp eq i32 %37, 0
br i1 %38, label %39, label %48
39: ; preds = %34
%40 = load i8*, i8** %3
%41 = load i8*, i8** %2
%42 = icmp eq i8* %40, %41
br i1 %42, label %43, label %46
43: ; preds = %39
%44 = load i8*, i8** %3
%45 = getelementptr inbounds i8, i8* %44, i32 1
store i8* %45, i8** %3
store i8 46, i8* %44
br label %46
46: ; preds = %43, %39
%47 = load i8*, i8** %3
store i8 0, i8* %47
br label %159
48: ; preds = %34
%49 = load i8*, i8** %4
%50 = getelementptr inbounds i8, i8* %49, i64 0
%51 = load i8, i8* %50
%52 = sext i8 %51 to i32
%53 = icmp eq i32 %52, 46
br i1 %53, label %54, label %131
54: ; preds = %48
%55 = load i8*, i8** %4
%56 = getelementptr inbounds i8, i8* %55, i64 1
%57 = load i8, i8* %56
%58 = icmp ne i8 %57, 0
br i1 %58, label %59, label %65
59: ; preds = %54
%60 = load i8*, i8** %4
%61 = getelementptr inbounds i8, i8* %60, i64 1
%62 = load i8, i8* %61
%63 = sext i8 %62 to i32
%64 = icmp eq i32 %63, 47
br i1 %64, label %65, label %68
65: ; preds = %59, %54
%66 = load i8*, i8** %4
%67 = getelementptr inbounds i8, i8* %66, i64 1
store i8* %67, i8** %4
br label %25
68: ; preds = %59
%69 = load i8*, i8** %4
%70 = getelementptr inbounds i8, i8* %69, i64 1
%71 = load i8, i8* %70
%72 = sext i8 %71 to i32
%73 = icmp eq i32 %72, 46
br i1 %73, label %74, label %129
74: ; preds = %68
%75 = load i8*, i8** %4
%76 = getelementptr inbounds i8, i8* %75, i64 2
%77 = load i8, i8* %76
%78 = icmp ne i8 %77, 0
br i1 %78, label %79, label %85
79: ; preds = %74
%80 = load i8*, i8** %4
%81 = getelementptr inbounds i8, i8* %80, i64 2
%82 = load i8, i8* %81
%83 = sext i8 %82 to i32
%84 = icmp eq i32 %83, 47
br i1 %84, label %85, label %129
85: ; preds = %79, %74
%86 = load i32, i32* %5
%87 = icmp ne i32 %86, 0
br i1 %87, label %105, label %88
88: ; preds = %85
%89 = load i8*, i8** %3
%90 = load i8*, i8** %7
%91 = icmp eq i8* %89, %90
br i1 %91, label %92, label %105
92: ; preds = %88
%93 = load i8*, i8** %3
%94 = load i8*, i8** %6
%95 = icmp ne i8* %93, %94
br i1 %95, label %96, label %99
96: ; preds = %92
%97 = load i8*, i8** %3
%98 = getelementptr inbounds i8, i8* %97, i32 1
store i8* %98, i8** %3
store i8 47, i8* %97
br label %99
99: ; preds = %96, %92
%100 = load i8*, i8** %3
%101 = getelementptr inbounds i8, i8* %100, i32 1
store i8* %101, i8** %3
store i8 46, i8* %100
%102 = load i8*, i8** %3
%103 = getelementptr inbounds i8, i8* %102, i32 1
store i8* %103, i8** %3
store i8 46, i8* %102
%104 = load i8*, i8** %3
store i8* %104, i8** %7
br label %126
105: ; preds = %88, %85
%106 = load i8*, i8** %3
%107 = load i8*, i8** %7
%108 = icmp ne i8* %106, %107
br i1 %108, label %109, label %125
109: ; preds = %105
br label %110
110: ; preds = %123, %109
%111 = load i8*, i8** %3
%112 = getelementptr inbounds i8, i8* %111, i32 -1
store i8* %112, i8** %3
%113 = load i8*, i8** %7
%114 = icmp ugt i8* %112, %113
br i1 %114, label %115, label %121
115: ; preds = %110
%116 = load i8*, i8** %3
%117 = load i8, i8* %116
%118 = sext i8 %117 to i32
%119 = icmp eq i32 %118, 47
%120 = xor i1 %119, true
br label %121
121: ; preds = %115, %110
%122 = phi i1 [ false, %110 ], [ %120, %115 ]
br i1 %122, label %123, label %124
123: ; preds = %121
br label %110
124: ; preds = %121
br label %125
125: ; preds = %124, %105
br label %126
126: ; preds = %125, %99
%127 = load i8*, i8** %4
%128 = getelementptr inbounds i8, i8* %127, i64 2
store i8* %128, i8** %4
br label %25
129: ; preds = %79, %68
br label %130
130: ; preds = %129
br label %131
131: ; preds = %130, %48
%132 = load i8*, i8** %3
%133 = load i8*, i8** %6
%134 = icmp ne i8* %132, %133
br i1 %134, label %135, label %138
135: ; preds = %131
%136 = load i8*, i8** %3
%137 = getelementptr inbounds i8, i8* %136, i32 1
store i8* %137, i8** %3
store i8 47, i8* %136
br label %138
138: ; preds = %135, %131
br label %139
139: ; preds = %152, %138
%140 = load i8*, i8** %4
%141 = load i8, i8* %140
%142 = sext i8 %141 to i32
%143 = icmp ne i32 %142, 0
br i1 %143, label %144, label %150
144: ; preds = %139
%145 = load i8*, i8** %4
%146 = load i8, i8* %145
%147 = sext i8 %146 to i32
%148 = icmp eq i32 %147, 47
%149 = xor i1 %148, true
br label %150
150: ; preds = %144, %139
%151 = phi i1 [ false, %139 ], [ %149, %144 ]
br i1 %151, label %152, label %158
152: ; preds = %150
%153 = load i8*, i8** %4
%154 = getelementptr inbounds i8, i8* %153, i32 1
store i8* %154, i8** %4
%155 = load i8, i8* %153
%156 = load i8*, i8** %3
%157 = getelementptr inbounds i8, i8* %156, i32 1
store i8* %157, i8** %3
store i8 %155, i8* %156
br label %139
158: ; preds = %150
br label %25
159: ; preds = %12, %46
ret void
}

LLVM IR (-O2):
define void @simplify_path(i8* %0) {
%2 = load i8, i8* %0
%3 = icmp eq i8 %2, 0
br i1 %3, label %73, label %4
4: ; preds = %1
%5 = icmp eq i8 %2, 47
%6 = zext i1 %5 to i64
%7 = getelementptr i8, i8* %0, i64 %6
%8 = xor i1 %5, true
br label %9
9: ; preds = %46, %4
%10 = phi i8* [ %39, %46 ], [ %7, %4 ]
%11 = phi i8* [ %49, %46 ], [ %7, %4 ]
br label %12
12: ; preds = %51, %9
%13 = phi i8* [ %10, %9 ], [ %39, %51 ]
%14 = phi i8* [ %11, %9 ], [ %52, %51 ]
br label %16
15: ; preds = %66, %66
br label %16
16: ; preds = %15, %12
%17 = phi i8* [ %13, %12 ], [ %67, %15 ]
%18 = phi i8* [ %14, %12 ], [ %68, %15 ]
br label %19
19: ; preds = %24, %16
%20 = phi i8* [ %17, %16 ], [ %25, %24 ]
%21 = load i8, i8* %20
switch i8 %21, label %60 [
i8 47, label %22
i8 0, label %26
i8 46, label %32
]
22: ; preds = %19
%23 = getelementptr inbounds i8, i8* %20, i64 1
br label %24
24: ; preds = %22, %32, %32
%25 = phi i8* [ %23, %22 ], [ %33, %32 ], [ %33, %32 ]
br label %19
26: ; preds = %19
%27 = icmp eq i8* %18, %0
br i1 %27, label %28, label %30
28: ; preds = %26
%29 = getelementptr inbounds i8, i8* %0, i64 1
store i8 46, i8* %0
br label %30
30: ; preds = %28, %26
%31 = phi i8* [ %29, %28 ], [ %18, %26 ]
store i8 0, i8* %31
br label %73
32: ; preds = %19
%33 = getelementptr inbounds i8, i8* %20, i64 1
%34 = load i8, i8* %33
switch i8 %34, label %60 [
i8 0, label %24
i8 47, label %24
i8 46, label %35
]
35: ; preds = %32
%36 = getelementptr inbounds i8, i8* %20, i64 2
%37 = load i8, i8* %36
switch i8 %37, label %60 [
i8 0, label %38
i8 47, label %38
]
38: ; preds = %35, %35
%39 = getelementptr inbounds i8, i8* %20, i64 2
%40 = icmp eq i8* %18, %11
%41 = select i1 %8, i1 %40, i1 false
br i1 %41, label %42, label %50
42: ; preds = %38
%43 = icmp eq i8* %11, %7
br i1 %43, label %46, label %44
44: ; preds = %42
%45 = getelementptr inbounds i8, i8* %11, i64 1
store i8 47, i8* %11
br label %46
46: ; preds = %44, %42
%47 = phi i8* [ %45, %44 ], [ %7, %42 ]
%48 = getelementptr inbounds i8, i8* %47, i64 1
store i8 46, i8* %47
%49 = getelementptr inbounds i8, i8* %47, i64 2
store i8 46, i8* %48
br label %9
50: ; preds = %38
br i1 %40, label %51, label %53
51: ; preds = %57, %53, %50
%52 = phi i8* [ %11, %50 ], [ %55, %53 ], [ %55, %57 ]
br label %12
53: ; preds = %50, %57
%54 = phi i8* [ %55, %57 ], [ %18, %50 ]
%55 = getelementptr inbounds i8, i8* %54, i64 -1
%56 = icmp ugt i8* %55, %11
br i1 %56, label %57, label %51
57: ; preds = %53
%58 = load i8, i8* %55
%59 = icmp eq i8 %58, 47
br i1 %59, label %51, label %53
60: ; preds = %32, %19, %35
%61 = icmp eq i8* %18, %7
br i1 %61, label %64, label %62
62: ; preds = %60
%63 = getelementptr inbounds i8, i8* %18, i64 1
store i8 47, i8* %18
br label %64
64: ; preds = %62, %60
%65 = phi i8* [ %7, %60 ], [ %63, %62 ]
br label %66
66: ; preds = %64, %70
%67 = phi i8* [ %71, %70 ], [ %20, %64 ]
%68 = phi i8* [ %72, %70 ], [ %65, %64 ]
%69 = load i8, i8* %67
switch i8 %69, label %70 [
i8 0, label %15
i8 47, label %15
]
70: ; preds = %66
%71 = getelementptr inbounds i8, i8* %67, i64 1
%72 = getelementptr inbounds i8, i8* %68, i64 1
store i8 %69, i8* %68
br label %66
73: ; preds = %1, %30
ret void
}