void os_normalize_path(char *path) {
  char *d, *s;
  if (!path || !*path)
    return;
  s = path;
  while (*s) {
    if (*s == '\\')
      *s = '/';
    s++;
  }
  s--;
  while (s >= path && *s == '/')
    *s-- = 0;
  if (!*path)
    *path = '/';
  s = d = path;
  while (*s) {
    if (*s == '/') {
      *d++ = *s++;
      while (*s == '/')
        s++;
    } else {
      *d++ = *s++;
    }
  }
  *d = *s;
}


x86 assembly (clang, -O0):
<os_normalize_path>:
push   %rbp
mov    %rsp,%rbp
mov    %rdi,-0x8(%rbp)
cmpq   $0x0,-0x8(%rbp)
je     1120 <os_normalize_path+0x20>
mov    -0x8(%rbp),%rax
cmpb   $0x0,(%rax)
jne    1125 <os_normalize_path+0x25>
jmp    1270 <os_normalize_path+0x170>
mov    -0x8(%rbp),%rax
mov    %rax,-0x18(%rbp)
mov    -0x18(%rbp),%rax
cmpb   $0x0,(%rax)
je     1162 <os_normalize_path+0x62>
mov    -0x18(%rbp),%rax
movsbl (%rax),%eax
cmp    $0x5c,%eax
jne    1151 <os_normalize_path+0x51>
mov    -0x18(%rbp),%rax
movb   $0x2f,(%rax)
mov    -0x18(%rbp),%rax
add    $0x1,%rax
mov    %rax,-0x18(%rbp)
jmp    112d <os_normalize_path+0x2d>
mov    -0x18(%rbp),%rax
add    $0xffffffffffffffff,%rax
mov    %rax,-0x18(%rbp)
mov    -0x18(%rbp),%rcx
xor    %eax,%eax
cmp    -0x8(%rbp),%rcx
mov    %al,-0x19(%rbp)
jb     1191 <os_normalize_path+0x91>
mov    -0x18(%rbp),%rax
movsbl (%rax),%eax
cmp    $0x2f,%eax
sete   %al
mov    %al,-0x19(%rbp)
mov    -0x19(%rbp),%al
test   $0x1,%al
jne    11a1 <os_normalize_path+0xa1>
jmp    11b8 <os_normalize_path+0xb8>
mov    -0x18(%rbp),%rax
mov    %rax,%rcx
add    $0xffffffffffffffff,%rcx
mov    %rcx,-0x18(%rbp)
movb   $0x0,(%rax)
jmp    116e <os_normalize_path+0x6e>
mov    -0x8(%rbp),%rax
cmpb   $0x0,(%rax)
jne    11cc <os_normalize_path+0xcc>
mov    -0x8(%rbp),%rax
movb   $0x2f,(%rax)
mov    -0x8(%rbp),%rax
mov    %rax,-0x10(%rbp)
mov    %rax,-0x18(%rbp)
mov    -0x18(%rbp),%rax
cmpb   $0x0,(%rax)
je     1264 <os_normalize_path+0x164>
mov    -0x18(%rbp),%rax
movsbl (%rax),%eax
cmp    $0x2f,%eax
jne    123d <os_normalize_path+0x13d>
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)
mov    -0x18(%rbp),%rax
movsbl (%rax),%eax
cmp    $0x2f,%eax
jne    1238 <os_normalize_path+0x138>
mov    -0x18(%rbp),%rax
add    $0x1,%rax
mov    %rax,-0x18(%rbp)
jmp    1217 <os_normalize_path+0x117>
jmp    125f <os_normalize_path+0x15f>
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    11d8 <os_normalize_path+0xd8>
mov    -0x18(%rbp),%rax
mov    (%rax),%cl
mov    -0x10(%rbp),%rax
mov    %cl,(%rax)
pop    %rbp
ret

x86 assembly (clang, -O2):
<os_normalize_path>:
test   %rdi,%rdi
je     11a5 <os_normalize_path+0xa5>
mov    (%rdi),%cl
test   %cl,%cl
je     11a5 <os_normalize_path+0xa5>
lea    -0x1(%rdi),%rax
jmp    112c <os_normalize_path+0x2c>
nopl   0x0(%rax)
movb   $0x2f,0x1(%rax)
movzbl 0x2(%rax),%ecx
add    $0x1,%rax
cmp    $0x5c,%cl
je     1120 <os_normalize_path+0x20>
test   %cl,%cl
jne    1124 <os_normalize_path+0x24>
jmp    114c <os_normalize_path+0x4c>
nopw   0x0(%rax,%rax,1)
cmpb   $0x2f,(%rax)
jne    1151 <os_normalize_path+0x51>
movb   $0x0,(%rax)
add    $0xffffffffffffffff,%rax
cmp    %rdi,%rax
jae    1140 <os_normalize_path+0x40>
mov    (%rdi),%al
test   %al,%al
jne    115c <os_normalize_path+0x5c>
movb   $0x2f,(%rdi)
mov    $0x2f,%al
mov    %rdi,%rcx
nop
cmp    $0x2f,%al
je     1180 <os_normalize_path+0x80>
test   %al,%al
je     11a2 <os_normalize_path+0xa2>
mov    %al,(%rdi)
mov    0x1(%rcx),%al
add    $0x1,%rcx
add    $0x1,%rdi
jmp    1160 <os_normalize_path+0x60>
nopw   0x0(%rax,%rax,1)
movb   $0x2f,(%rdi)
cs nopw 0x0(%rax,%rax,1)
nopl   (%rax)
movzbl 0x1(%rcx),%eax
add    $0x1,%rcx
cmp    $0x2f,%al
je     1190 <os_normalize_path+0x90>
add    $0x1,%rdi
jmp    1160 <os_normalize_path+0x60>
movb   $0x0,(%rdi)
ret

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

LLVM IR (-O2):
define void @os_normalize_path(i8* %0) {
%2 = icmp eq i8* %0, null
br i1 %2, label %47, label %3
3: ; preds = %1
%4 = load i8, i8* %0
%5 = icmp eq i8 %4, 0
br i1 %5, label %47, label %6
6: ; preds = %3, %13
%7 = phi i8 [ %15, %13 ], [ %4, %3 ]
%8 = phi i8* [ %14, %13 ], [ %0, %3 ]
switch i8 %7, label %13 [
i8 0, label %9
i8 92, label %12
]
9: ; preds = %6
%10 = getelementptr inbounds i8, i8* %8, i64 -1
%11 = icmp ult i8* %10, %0
br i1 %11, label %23, label %16
12: ; preds = %6
store i8 47, i8* %8
br label %13
13: ; preds = %6, %12
%14 = getelementptr inbounds i8, i8* %8, i64 1
%15 = load i8, i8* %14
br label %6
16: ; preds = %9, %20
%17 = phi i8* [ %21, %20 ], [ %10, %9 ]
%18 = load i8, i8* %17
%19 = icmp eq i8 %18, 47
br i1 %19, label %20, label %23
20: ; preds = %16
store i8 0, i8* %17
%21 = getelementptr inbounds i8, i8* %17, i64 -1
%22 = icmp ult i8* %21, %0
br i1 %22, label %23, label %16
23: ; preds = %16, %20, %9
%24 = load i8, i8* %0
%25 = icmp eq i8 %24, 0
br i1 %25, label %26, label %27
26: ; preds = %23
store i8 47, i8* %0
br label %27
27: ; preds = %26, %23
%28 = phi i8 [ %24, %23 ], [ 47, %26 ]
br label %29
29: ; preds = %27, %42
%30 = phi i8 [ %43, %42 ], [ %28, %27 ]
%31 = phi i8* [ %45, %42 ], [ %0, %27 ]
%32 = phi i8* [ %44, %42 ], [ %0, %27 ]
switch i8 %30, label %39 [
i8 0, label %46
i8 47, label %33
]
33: ; preds = %29
store i8 47, i8* %31
br label %34
34: ; preds = %34, %33
%35 = phi i8* [ %32, %33 ], [ %36, %34 ]
%36 = getelementptr inbounds i8, i8* %35, i64 1
%37 = load i8, i8* %36
%38 = icmp eq i8 %37, 47
br i1 %38, label %34, label %42
39: ; preds = %29
%40 = getelementptr inbounds i8, i8* %32, i64 1
store i8 %30, i8* %31
%41 = load i8, i8* %40
br label %42
42: ; preds = %34, %39
%43 = phi i8 [ %41, %39 ], [ %37, %34 ]
%44 = phi i8* [ %40, %39 ], [ %36, %34 ]
%45 = getelementptr inbounds i8, i8* %31, i64 1
br label %29
46: ; preds = %29
store i8 0, i8* %31
br label %47
47: ; preds = %1, %3, %46
ret void
}