void sanitize_path(char *path) {
  int dots = 0;
  char *out = path;
  for (char *in = path; *in != '\0'; ++in) {
    switch (*in) {
    case '.':
      ++dots;
      break;
    case '/':
      while (dots--) {
        if (out != path) {
          --out;
        }
        while (out != path && *out != '/')
          --out;
      }
    default:
      dots = 0;
      break;
    }
    *out++ = *in;
  }
  while (dots--) {
    if (out != path) {
      --out;
    }
    while (out != path && *out != '/')
      --out;
  }
  *out = '\0';
}


x86 assembly (clang, -O0):
<sanitize_path>:
push   %rbp
mov    %rsp,%rbp
mov    %rdi,-0x8(%rbp)
movl   $0x0,-0xc(%rbp)
mov    -0x8(%rbp),%rax
mov    %rax,-0x18(%rbp)
mov    -0x8(%rbp),%rax
mov    %rax,-0x20(%rbp)
mov    -0x20(%rbp),%rax
movsbl (%rax),%eax
cmp    $0x0,%eax
je     121b <sanitize_path+0x11b>
mov    -0x20(%rbp),%rax
movsbl (%rax),%eax
mov    %eax,-0x24(%rbp)
sub    $0x2e,%eax
je     1158 <sanitize_path+0x58>
jmp    1147 <sanitize_path+0x47>
mov    -0x24(%rbp),%eax
sub    $0x2f,%eax
je     1166 <sanitize_path+0x66>
jmp    11ec <sanitize_path+0xec>
mov    -0xc(%rbp),%eax
add    $0x1,%eax
mov    %eax,-0xc(%rbp)
jmp    11f3 <sanitize_path+0xf3>
jmp    116b <sanitize_path+0x6b>
mov    -0xc(%rbp),%eax
mov    %eax,%ecx
add    $0xffffffff,%ecx
mov    %ecx,-0xc(%rbp)
cmp    $0x0,%eax
je     11e7 <sanitize_path+0xe7>
mov    -0x18(%rbp),%rax
cmp    -0x8(%rbp),%rax
je     1199 <sanitize_path+0x99>
mov    -0x18(%rbp),%rax
add    $0xffffffffffffffff,%rax
mov    %rax,-0x18(%rbp)
jmp    119e <sanitize_path+0x9e>
mov    -0x18(%rbp),%rcx
xor    %eax,%eax
cmp    -0x8(%rbp),%rcx
mov    %al,-0x25(%rbp)
je     11c1 <sanitize_path+0xc1>
mov    -0x18(%rbp),%rax
movsbl (%rax),%eax
cmp    $0x2f,%eax
setne  %al
mov    %al,-0x25(%rbp)
mov    -0x25(%rbp),%al
test   $0x1,%al
jne    11d1 <sanitize_path+0xd1>
jmp    11e2 <sanitize_path+0xe2>
mov    -0x18(%rbp),%rax
add    $0xffffffffffffffff,%rax
mov    %rax,-0x18(%rbp)
jmp    119e <sanitize_path+0x9e>
jmp    116b <sanitize_path+0x6b>
jmp    11ec <sanitize_path+0xec>
movl   $0x0,-0xc(%rbp)
mov    -0x20(%rbp),%rax
mov    (%rax),%cl
mov    -0x18(%rbp),%rax
mov    %rax,%rdx
add    $0x1,%rdx
mov    %rdx,-0x18(%rbp)
mov    %cl,(%rax)
mov    -0x20(%rbp),%rax
add    $0x1,%rax
mov    %rax,-0x20(%rbp)
jmp    111f <sanitize_path+0x1f>
jmp    1220 <sanitize_path+0x120>
mov    -0xc(%rbp),%eax
mov    %eax,%ecx
add    $0xffffffff,%ecx
mov    %ecx,-0xc(%rbp)
cmp    $0x0,%eax
je     129c <sanitize_path+0x19c>
mov    -0x18(%rbp),%rax
cmp    -0x8(%rbp),%rax
je     124e <sanitize_path+0x14e>
mov    -0x18(%rbp),%rax
add    $0xffffffffffffffff,%rax
mov    %rax,-0x18(%rbp)
jmp    1253 <sanitize_path+0x153>
mov    -0x18(%rbp),%rcx
xor    %eax,%eax
cmp    -0x8(%rbp),%rcx
mov    %al,-0x26(%rbp)
je     1276 <sanitize_path+0x176>
mov    -0x18(%rbp),%rax
movsbl (%rax),%eax
cmp    $0x2f,%eax
setne  %al
mov    %al,-0x26(%rbp)
mov    -0x26(%rbp),%al
test   $0x1,%al
jne    1286 <sanitize_path+0x186>
jmp    1297 <sanitize_path+0x197>
mov    -0x18(%rbp),%rax
add    $0xffffffffffffffff,%rax
mov    %rax,-0x18(%rbp)
jmp    1253 <sanitize_path+0x153>
jmp    1220 <sanitize_path+0x120>
mov    -0x18(%rbp),%rax
movb   $0x0,(%rax)
pop    %rbp
ret

x86 assembly (clang, -O2):
<sanitize_path>:
mov    (%rdi),%r9b
test   %r9b,%r9b
je     1223 <sanitize_path+0x123>
xor    %r8d,%r8d
mov    %rdi,%rdx
mov    %rdi,%rcx
jmp    113b <sanitize_path+0x3b>
nopw   0x0(%rax,%rax,1)
xor    %r8d,%r8d
mov    %r9b,(%rcx)
add    $0x1,%rcx
mov    0x1(%rdx),%r9b
add    $0x1,%rdx
test   %r9b,%r9b
je     1213 <sanitize_path+0x113>
movsbl %r9b,%eax
cmp    $0x2e,%eax
je     1160 <sanitize_path+0x60>
cmp    $0x2f,%eax
jne    1120 <sanitize_path+0x20>
test   %r8d,%r8d
je     1120 <sanitize_path+0x20>
test   $0x1,%r8b
jne    1166 <sanitize_path+0x66>
mov    %r8d,%esi
jmp    1191 <sanitize_path+0x91>
nopl   0x0(%rax)
add    $0x1,%r8d
jmp    1123 <sanitize_path+0x23>
lea    -0x1(%r8),%esi
xor    %eax,%eax
cmp    %rdi,%rcx
setne  %al
sub    %rax,%rcx
cmp    %rdi,%rcx
je     118e <sanitize_path+0x8e>
nopw   0x0(%rax,%rax,1)
cmpb   $0x2f,(%rcx)
je     1191 <sanitize_path+0x91>
add    $0xffffffffffffffff,%rcx
cmp    %rdi,%rcx
jne    1180 <sanitize_path+0x80>
mov    %rdi,%rcx
cmp    $0x1,%r8d
mov    $0x0,%r8d
jne    11ab <sanitize_path+0xab>
jmp    1123 <sanitize_path+0x23>
nop
mov    %rax,%rcx
test   %esi,%esi
je     1120 <sanitize_path+0x20>
xor    %eax,%eax
cmp    %rdi,%rcx
setne  %al
sub    %rax,%rcx
mov    %rdi,%rax
cmp    %rdi,%rcx
je     11e3 <sanitize_path+0xe3>
xchg   %ax,%ax
cmpb   $0x2f,(%rcx)
je     11e0 <sanitize_path+0xe0>
add    $0xffffffffffffffff,%rcx
cmp    %rdi,%rcx
jne    11c0 <sanitize_path+0xc0>
mov    %rdi,%rax
jmp    11e3 <sanitize_path+0xe3>
cs nopw 0x0(%rax,%rax,1)
nopl   (%rax)
mov    %rcx,%rax
add    $0xfffffffe,%esi
xor    %ecx,%ecx
cmp    %rdi,%rax
setne  %cl
sub    %rcx,%rax
mov    %rdi,%rcx
cmp    %rdi,%rax
je     11a3 <sanitize_path+0xa3>
nopl   0x0(%rax)
cmpb   $0x2f,(%rax)
je     11a0 <sanitize_path+0xa0>
add    $0xffffffffffffffff,%rax
cmp    %rdi,%rax
jne    1200 <sanitize_path+0x100>
mov    %rdi,%rcx
jmp    11a3 <sanitize_path+0xa3>
test   %r8d,%r8d
je     1257 <sanitize_path+0x157>
test   $0x1,%r8b
jne    1227 <sanitize_path+0x127>
mov    %r8d,%eax
jmp    1251 <sanitize_path+0x151>
movb   $0x0,(%rdi)
ret
lea    -0x1(%r8),%eax
xor    %edx,%edx
cmp    %rdi,%rcx
setne  %dl
sub    %rdx,%rcx
cmp    %rdi,%rcx
je     124e <sanitize_path+0x14e>
nopl   0x0(%rax,%rax,1)
cmpb   $0x2f,(%rcx)
je     1251 <sanitize_path+0x151>
add    $0xffffffffffffffff,%rcx
cmp    %rdi,%rcx
jne    1240 <sanitize_path+0x140>
mov    %rdi,%rcx
cmp    $0x1,%r8d
jne    1267 <sanitize_path+0x167>
movb   $0x0,(%rcx)
ret
nopl   0x0(%rax,%rax,1)
mov    %rdx,%rcx
test   %eax,%eax
je     1257 <sanitize_path+0x157>
xor    %edx,%edx
cmp    %rdi,%rcx
setne  %dl
sub    %rdx,%rcx
mov    %rdi,%rdx
cmp    %rdi,%rcx
je     12a3 <sanitize_path+0x1a3>
nopw   0x0(%rax,%rax,1)
cmpb   $0x2f,(%rcx)
je     12a0 <sanitize_path+0x1a0>
add    $0xffffffffffffffff,%rcx
cmp    %rdi,%rcx
jne    1280 <sanitize_path+0x180>
mov    %rdi,%rdx
jmp    12a3 <sanitize_path+0x1a3>
cs nopw 0x0(%rax,%rax,1)
nopl   (%rax)
mov    %rcx,%rdx
add    $0xfffffffe,%eax
xor    %ecx,%ecx
cmp    %rdi,%rdx
setne  %cl
sub    %rcx,%rdx
mov    %rdi,%rcx
cmp    %rdi,%rdx
je     1263 <sanitize_path+0x163>
nopl   0x0(%rax)
cmpb   $0x2f,(%rdx)
je     1260 <sanitize_path+0x160>
add    $0xffffffffffffffff,%rdx
cmp    %rdi,%rdx
jne    12c0 <sanitize_path+0x1c0>
mov    %rdi,%rcx
jmp    1263 <sanitize_path+0x163>

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

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