#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 */
char *normalizePath(char *, int, int);
scalar_t__ strlen(char *);
char *normalize(char *path) {
  int n = (int)strlen(path);
  int i;
  char c = 0;
  int prev = 0;
  for (i = 0; i < n; i++) {
    char c = path[i];
    if (c == '/')
      return normalizePath(path, n, (prev == '\\') ? i - 1 : i);
    if ((c == '\\') && (prev == '\\') && (i > 1))
      return normalizePath(path, n, i - 1);
    if ((c == ':') && (i > 1))
      return normalizePath(path, n, 0);
    prev = c;
  }
  if (prev == '\\')
    return normalizePath(path, n, n - 1);
  return path;
}


x86 assembly (clang, -O0):
<normalize>:
push   %rbp
mov    %rsp,%rbp
sub    $0x40,%rsp
mov    %rdi,-0x10(%rbp)
mov    -0x10(%rbp),%rdi
call   1030 <strlen@plt>
mov    %eax,-0x14(%rbp)
movb   $0x0,-0x19(%rbp)
movl   $0x0,-0x20(%rbp)
movl   $0x0,-0x18(%rbp)
mov    -0x18(%rbp),%eax
cmp    -0x14(%rbp),%eax
jge    1234 <normalize+0x114>
mov    -0x10(%rbp),%rax
movslq -0x18(%rbp),%rcx
mov    (%rax,%rcx,1),%al
mov    %al,-0x21(%rbp)
movsbl -0x21(%rbp),%eax
cmp    $0x2f,%eax
jne    11b5 <normalize+0x95>
mov    -0x10(%rbp),%rax
mov    %rax,-0x30(%rbp)
mov    -0x14(%rbp),%eax
mov    %eax,-0x28(%rbp)
cmpl   $0x5c,-0x20(%rbp)
jne    1197 <normalize+0x77>
mov    -0x18(%rbp),%eax
sub    $0x1,%eax
mov    %eax,-0x34(%rbp)
jmp    119d <normalize+0x7d>
mov    -0x18(%rbp),%eax
mov    %eax,-0x34(%rbp)
mov    -0x28(%rbp),%esi
mov    -0x30(%rbp),%rdi
mov    -0x34(%rbp),%edx
call   1040 <normalizePath@plt>
mov    %rax,-0x8(%rbp)
jmp    1261 <normalize+0x141>
movsbl -0x21(%rbp),%eax
cmp    $0x5c,%eax
jne    11f1 <normalize+0xd1>
cmpl   $0x5c,-0x20(%rbp)
jne    11f1 <normalize+0xd1>
cmpl   $0x1,-0x18(%rbp)
jle    11f1 <normalize+0xd1>
mov    -0x10(%rbp),%rdi
mov    -0x14(%rbp),%esi
mov    -0x18(%rbp),%edx
sub    $0x1,%edx
call   1040 <normalizePath@plt>
mov    %rax,-0x8(%rbp)
jmp    1261 <normalize+0x141>
movsbl -0x21(%rbp),%eax
cmp    $0x3a,%eax
jne    121f <normalize+0xff>
cmpl   $0x1,-0x18(%rbp)
jle    121f <normalize+0xff>
mov    -0x10(%rbp),%rdi
mov    -0x14(%rbp),%esi
xor    %edx,%edx
call   1040 <normalizePath@plt>
mov    %rax,-0x8(%rbp)
jmp    1261 <normalize+0x141>
movsbl -0x21(%rbp),%eax
mov    %eax,-0x20(%rbp)
mov    -0x18(%rbp),%eax
add    $0x1,%eax
mov    %eax,-0x18(%rbp)
jmp    114a <normalize+0x2a>
cmpl   $0x5c,-0x20(%rbp)
jne    1259 <normalize+0x139>
mov    -0x10(%rbp),%rdi
mov    -0x14(%rbp),%esi
mov    -0x14(%rbp),%edx
sub    $0x1,%edx
call   1040 <normalizePath@plt>
mov    %rax,-0x8(%rbp)
jmp    1261 <normalize+0x141>
mov    -0x10(%rbp),%rax
mov    %rax,-0x8(%rbp)
mov    -0x8(%rbp),%rax
add    $0x40,%rsp
pop    %rbp
ret

x86 assembly (clang, -O2):
<normalize>:
push   %r14
push   %rbx
push   %rax
mov    %rdi,%r14
call   1030 <strlen@plt>
test   %eax,%eax
jle    11a7 <normalize+0x87>
mov    %eax,%edx
xor    %ecx,%ecx
xor    %esi,%esi
xor    %ebx,%ebx
jmp    114e <normalize+0x2e>
nopw   0x0(%rax,%rax,1)
add    $0x1,%rsi
add    $0xffffffff,%ecx
mov    %edi,%ebx
cmp    %rsi,%rdx
je     118d <normalize+0x6d>
movsbl (%r14,%rsi,1),%edi
cmp    $0x2f,%edi
je     1179 <normalize+0x59>
cmp    $0x5c,%dil
jne    1169 <normalize+0x49>
cmp    $0x5c,%ebx
jne    1169 <normalize+0x49>
cmp    $0x2,%rsi
jae    1187 <normalize+0x67>
cmp    $0x3a,%dil
jne    1140 <normalize+0x20>
cmp    $0x1,%rsi
jbe    1140 <normalize+0x20>
xor    %edx,%edx
jmp    1196 <normalize+0x76>
xor    %edx,%edx
cmp    $0x5c,%ebx
sete   %dl
add    %ecx,%edx
neg    %edx
jmp    1196 <normalize+0x76>
not    %ecx
mov    %ecx,%edx
jmp    1196 <normalize+0x76>
cmp    $0x5c,%dil
jne    11a7 <normalize+0x87>
lea    -0x1(%rax),%edx
mov    %r14,%rdi
mov    %eax,%esi
add    $0x8,%rsp
pop    %rbx
pop    %r14
jmp    1040 <normalizePath@plt>
mov    %r14,%rax
add    $0x8,%rsp
pop    %rbx
pop    %r14
ret

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

LLVM IR (-O2):
define i8* @normalize(i8* %0) {
%2 = tail call i64 @strlen(i8* dereferenceable(1) %0)
%3 = trunc i64 %2 to i32
%4 = icmp sgt i32 %3, 0
br i1 %4, label %5, label %40
5: ; preds = %1
%6 = and i64 %2, 4294967295
br label %7
7: ; preds = %5, %31
%8 = phi i64 [ 0, %5 ], [ %32, %31 ]
%9 = phi i32 [ 0, %5 ], [ %12, %31 ]
%10 = getelementptr inbounds i8, i8* %0, i64 %8
%11 = load i8, i8* %10
%12 = sext i8 %11 to i32
%13 = icmp eq i8 %11, 47
br i1 %13, label %14, label %19
14: ; preds = %7
%15 = trunc i64 %8 to i32
%16 = icmp eq i32 %9, 92
%17 = sext i1 %16 to i32
%18 = add nsw i32 %15, %17
br label %37
19: ; preds = %7
%20 = icmp eq i8 %11, 92
%21 = icmp eq i32 %9, 92
%22 = select i1 %20, i1 %21, i1 false
%23 = icmp ugt i64 %8, 1
%24 = select i1 %22, i1 %23, i1 false
br i1 %24, label %25, label %28
25: ; preds = %19
%26 = trunc i64 %8 to i32
%27 = add nsw i32 %26, -1
br label %37
28: ; preds = %19
%29 = icmp eq i8 %11, 58
%30 = select i1 %29, i1 %23, i1 false
br i1 %30, label %37, label %31
31: ; preds = %28
%32 = add nuw nsw i64 %8, 1
%33 = icmp eq i64 %32, %6
br i1 %33, label %34, label %7
34: ; preds = %31
br i1 %20, label %35, label %40
35: ; preds = %34
%36 = add nsw i32 %3, -1
br label %37
37: ; preds = %28, %35, %14, %25
%38 = phi i32 [ %27, %25 ], [ %18, %14 ], [ %36, %35 ], [ 0, %28 ]
%39 = tail call i8* @normalizePath(i8* %0, i32 %3, i32 %38)
br label %40
40: ; preds = %37, %1, %34
%41 = phi i8* [ %0, %34 ], [ %0, %1 ], [ %39, %37 ]
ret i8* %41
}