char *xps_clean_path(char *name) {
  char *p, *q, *dotdot;
  int rooted;
  rooted = name[0] == '/';
  p = q = dotdot = name + rooted;
  while (*p) {
    if (p[0] == '/')
      p++;
    else if (p[0] == '.' && ((p[1]) == '/' || (p[1]) == 0))
      p += 1;
    else if (p[0] == '.' && p[1] == '.' && ((p[2]) == '/' || (p[2]) == 0)) {
      p += 2;
      if (q > dotdot) {
        while (--q > dotdot && *q != '/')
          ;
      } else if (!rooted) {
        if (q != name)
          *q++ = '/';
        *q++ = '.';
        *q++ = '.';
        dotdot = q;
      }
    } else {
      if (q != name + rooted)
        *q++ = '/';
      while ((*q = *p) != '/' && *q != 0)
        p++, q++;
    }
  }
  if (q == name)
    *q++ = '.';
  *q = '\0';
  return name;
}


x86 assembly (clang, -O0):
<xps_clean_path>:
push   %rbp
mov    %rsp,%rbp
mov    %rdi,-0x8(%rbp)
mov    -0x8(%rbp),%rax
movsbl (%rax),%eax
cmp    $0x2f,%eax
sete   %al
and    $0x1,%al
movzbl %al,%eax
mov    %eax,-0x24(%rbp)
mov    -0x8(%rbp),%rax
movslq -0x24(%rbp),%rcx
add    %rcx,%rax
mov    %rax,-0x20(%rbp)
mov    %rax,-0x18(%rbp)
mov    %rax,-0x10(%rbp)
mov    -0x10(%rbp),%rax
cmpb   $0x0,(%rax)
je     1349 <xps_clean_path+0x249>
mov    -0x10(%rbp),%rax
movsbl (%rax),%eax
cmp    $0x2f,%eax
jne    1162 <xps_clean_path+0x62>
mov    -0x10(%rbp),%rax
add    $0x1,%rax
mov    %rax,-0x10(%rbp)
jmp    1344 <xps_clean_path+0x244>
mov    -0x10(%rbp),%rax
movsbl (%rax),%eax
cmp    $0x2e,%eax
jne    11a5 <xps_clean_path+0xa5>
mov    -0x10(%rbp),%rax
movsbl 0x1(%rax),%eax
cmp    $0x2f,%eax
je     1194 <xps_clean_path+0x94>
mov    -0x10(%rbp),%rax
movsbl 0x1(%rax),%eax
cmp    $0x0,%eax
jne    11a5 <xps_clean_path+0xa5>
mov    -0x10(%rbp),%rax
add    $0x1,%rax
mov    %rax,-0x10(%rbp)
jmp    133f <xps_clean_path+0x23f>
mov    -0x10(%rbp),%rax
movsbl (%rax),%eax
cmp    $0x2e,%eax
jne    12ac <xps_clean_path+0x1ac>
mov    -0x10(%rbp),%rax
movsbl 0x1(%rax),%eax
cmp    $0x2e,%eax
jne    12ac <xps_clean_path+0x1ac>
mov    -0x10(%rbp),%rax
movsbl 0x2(%rax),%eax
cmp    $0x2f,%eax
je     11e8 <xps_clean_path+0xe8>
mov    -0x10(%rbp),%rax
movsbl 0x2(%rax),%eax
cmp    $0x0,%eax
jne    12ac <xps_clean_path+0x1ac>
mov    -0x10(%rbp),%rax
add    $0x2,%rax
mov    %rax,-0x10(%rbp)
mov    -0x18(%rbp),%rax
cmp    -0x20(%rbp),%rax
jbe    124c <xps_clean_path+0x14c>
jmp    1207 <xps_clean_path+0x107>
mov    -0x18(%rbp),%rcx
add    $0xffffffffffffffff,%rcx
mov    %rcx,-0x18(%rbp)
xor    %eax,%eax
cmp    -0x20(%rbp),%rcx
mov    %al,-0x25(%rbp)
jbe    1232 <xps_clean_path+0x132>
mov    -0x18(%rbp),%rax
movsbl (%rax),%eax
cmp    $0x2f,%eax
setne  %al
mov    %al,-0x25(%rbp)
mov    -0x25(%rbp),%al
test   $0x1,%al
jne    1242 <xps_clean_path+0x142>
jmp    1247 <xps_clean_path+0x147>
jmp    1207 <xps_clean_path+0x107>
jmp    12a7 <xps_clean_path+0x1a7>
cmpl   $0x0,-0x24(%rbp)
jne    12a2 <xps_clean_path+0x1a2>
mov    -0x18(%rbp),%rax
cmp    -0x8(%rbp),%rax
je     1276 <xps_clean_path+0x176>
mov    -0x18(%rbp),%rax
mov    %rax,%rcx
add    $0x1,%rcx
mov    %rcx,-0x18(%rbp)
movb   $0x2f,(%rax)
mov    -0x18(%rbp),%rax
mov    %rax,%rcx
add    $0x1,%rcx
mov    %rcx,-0x18(%rbp)
movb   $0x2e,(%rax)
mov    -0x18(%rbp),%rax
mov    %rax,%rcx
add    $0x1,%rcx
mov    %rcx,-0x18(%rbp)
movb   $0x2e,(%rax)
mov    -0x18(%rbp),%rax
mov    %rax,-0x20(%rbp)
jmp    12a7 <xps_clean_path+0x1a7>
jmp    133a <xps_clean_path+0x23a>
mov    -0x18(%rbp),%rax
mov    -0x8(%rbp),%rcx
movslq -0x24(%rbp),%rdx
add    %rdx,%rcx
cmp    %rcx,%rax
je     12d6 <xps_clean_path+0x1d6>
mov    -0x18(%rbp),%rax
mov    %rax,%rcx
add    $0x1,%rcx
mov    %rcx,-0x18(%rbp)
movb   $0x2f,(%rax)
jmp    12db <xps_clean_path+0x1db>
mov    -0x10(%rbp),%rax
mov    (%rax),%al
mov    -0x18(%rbp),%rcx
mov    %al,(%rcx)
movsbl %al,%ecx
xor    %eax,%eax
cmp    $0x2f,%ecx
mov    %al,-0x26(%rbp)
je     1308 <xps_clean_path+0x208>
mov    -0x18(%rbp),%rax
movsbl (%rax),%eax
cmp    $0x0,%eax
setne  %al
mov    %al,-0x26(%rbp)
mov    -0x26(%rbp),%al
test   $0x1,%al
jne    1318 <xps_clean_path+0x218>
jmp    1335 <xps_clean_path+0x235>
mov    -0x10(%rbp),%rax
add    $0x1,%rax
mov    %rax,-0x10(%rbp)
mov    -0x18(%rbp),%rax
add    $0x1,%rax
mov    %rax,-0x18(%rbp)
jmp    12db <xps_clean_path+0x1db>
jmp    133a <xps_clean_path+0x23a>
jmp    133f <xps_clean_path+0x23f>
jmp    1344 <xps_clean_path+0x244>
jmp    1134 <xps_clean_path+0x34>
mov    -0x18(%rbp),%rax
cmp    -0x8(%rbp),%rax
jne    1369 <xps_clean_path+0x269>
mov    -0x18(%rbp),%rax
mov    %rax,%rcx
add    $0x1,%rcx
mov    %rcx,-0x18(%rbp)
movb   $0x2e,(%rax)
mov    -0x18(%rbp),%rax
movb   $0x0,(%rax)
mov    -0x8(%rbp),%rax
pop    %rbp
ret

x86 assembly (clang, -O2):
<xps_clean_path>:
mov    %rdi,%rax
mov    (%rdi),%r9b
xor    %r8d,%r8d
cmp    $0x2f,%r9b
sete   %r8b
add    %rdi,%r8
mov    %r8,%r10
mov    %r8,%rdi
mov    %r8,%rcx
nopl   (%rax)
mov    %rcx,%rsi
mov    %rsi,%rcx
movzbl (%rsi),%edx
cmp    $0x2e,%dl
jne    1190 <xps_clean_path+0x90>
lea    0x1(%rcx),%rsi
movzbl 0x1(%rcx),%edx
test   %dl,%dl
je     1123 <xps_clean_path+0x23>
cmp    $0x2f,%dl
je     1123 <xps_clean_path+0x23>
cmp    $0x2e,%dl
jne    119f <xps_clean_path+0x9f>
movzbl 0x2(%rcx),%edx
cmp    $0x2f,%dl
je     1151 <xps_clean_path+0x51>
test   %dl,%dl
jne    119f <xps_clean_path+0x9f>
add    $0x2,%rcx
cmp    %r10,%rdi
ja     11e0 <xps_clean_path+0xe0>
mov    %rcx,%rsi
cmp    $0x2f,%r9b
je     1123 <xps_clean_path+0x23>
mov    %rax,%r10
cmp    %rax,%rdi
je     1179 <xps_clean_path+0x79>
movb   $0x2f,(%rdi)
add    $0x1,%rdi
mov    %rdi,%r10
movw   $0x2e2e,(%r10)
add    $0x2,%r10
mov    %r10,%rdi
jmp    1120 <xps_clean_path+0x20>
nopl   0x0(%rax,%rax,1)
cmp    $0x2f,%dl
jne    119b <xps_clean_path+0x9b>
add    $0x1,%rcx
jmp    1120 <xps_clean_path+0x20>
test   %dl,%dl
je     1212 <xps_clean_path+0x112>
mov    %r8,%rdx
cmp    %r8,%rdi
je     11b1 <xps_clean_path+0xb1>
movb   $0x2f,(%rdi)
add    $0x1,%rdi
mov    %rdi,%rdx
mov    %rdx,%rdi
cs nopw 0x0(%rax,%rax,1)
xchg   %ax,%ax
movzbl (%rcx),%edx
mov    %dl,(%rdi)
test   %dl,%dl
je     1120 <xps_clean_path+0x20>
cmp    $0x2f,%dl
je     1120 <xps_clean_path+0x20>
add    $0x1,%rcx
add    $0x1,%rdi
jmp    11c0 <xps_clean_path+0xc0>
add    $0xffffffffffffffff,%rdi
mov    %rdi,%rdx
nopw   0x0(%rax,%rax,1)
cmp    %r10,%rdx
jbe    120a <xps_clean_path+0x10a>
lea    -0x1(%rdx),%rdi
cmpb   $0x2f,(%rdx)
mov    %rdi,%rdx
jne    11f0 <xps_clean_path+0xf0>
add    $0x1,%rdi
jmp    1120 <xps_clean_path+0x20>
mov    %r10,%rdi
jmp    1120 <xps_clean_path+0x20>
cmp    %rax,%rdi
je     121b <xps_clean_path+0x11b>
movb   $0x0,(%rdi)
ret
lea    0x1(%rax),%rdi
movb   $0x2e,(%rax)
movb   $0x0,(%rdi)
ret

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

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