char *path_concat(char *s, const char *t) {
  char *c;
  c = s;
  while (*c++)
    ;
  c--;
  while (*t)
    if (*t == '/')
      *c++ = *t++;
    else if (*t != '.')
      while (*t && (*t != '/'))
        *c++ = *t++;
    else {
      t++;
      if ((*t == '/') || !*t)
        t++;
      else if (*t == '.') {
        if (c != s + 1) {
          c -= 2;
          while ((c != s) && (*c != '/'))
            c--;
          c++;
          t++;
          if (*t == '/')
            t++;
        }
      } else {
        *c++ = '.';
        while (*t && (*t != '/'))
          *c++ = *t++;
      }
    }
  *c = 0;
  if (((c - 1) != s) && (c[-1] == '/'))
    c[-1] = 0;
  return s;
}


x86 assembly (clang, -O0):
<path_concat>:
push   %rbp
mov    %rsp,%rbp
mov    %rdi,-0x8(%rbp)
mov    %rsi,-0x10(%rbp)
mov    -0x8(%rbp),%rax
mov    %rax,-0x18(%rbp)
mov    -0x18(%rbp),%rax
mov    %rax,%rcx
add    $0x1,%rcx
mov    %rcx,-0x18(%rbp)
cmpb   $0x0,(%rax)
je     1131 <path_concat+0x31>
jmp    1114 <path_concat+0x14>
mov    -0x18(%rbp),%rax
add    $0xffffffffffffffff,%rax
mov    %rax,-0x18(%rbp)
mov    -0x10(%rbp),%rax
cmpb   $0x0,(%rax)
je     136b <path_concat+0x26b>
mov    -0x10(%rbp),%rax
movsbl (%rax),%eax
cmp    $0x2f,%eax
jne    1181 <path_concat+0x81>
mov    -0x10(%rbp),%rax
mov    %rax,%rcx
add    $0x1,%rcx
mov    %rcx,-0x10(%rbp)
mov    (%rax),%cl
mov    -0x18(%rbp),%rax
mov    %rax,%rdx
add    $0x1,%rdx
mov    %rdx,-0x18(%rbp)
mov    %cl,(%rax)
jmp    1366 <path_concat+0x266>
mov    -0x10(%rbp),%rax
movsbl (%rax),%eax
cmp    $0x2e,%eax
je     11f7 <path_concat+0xf7>
jmp    1196 <path_concat+0x96>
mov    -0x10(%rbp),%rax
movsbl (%rax),%ecx
xor    %eax,%eax
cmp    $0x0,%ecx
mov    %al,-0x19(%rbp)
je     11bb <path_concat+0xbb>
mov    -0x10(%rbp),%rax
movsbl (%rax),%eax
cmp    $0x2f,%eax
setne  %al
mov    %al,-0x19(%rbp)
mov    -0x19(%rbp),%al
test   $0x1,%al
jne    11cb <path_concat+0xcb>
jmp    11f2 <path_concat+0xf2>
mov    -0x10(%rbp),%rax
mov    %rax,%rcx
add    $0x1,%rcx
mov    %rcx,-0x10(%rbp)
mov    (%rax),%cl
mov    -0x18(%rbp),%rax
mov    %rax,%rdx
add    $0x1,%rdx
mov    %rdx,-0x18(%rbp)
mov    %cl,(%rax)
jmp    1196 <path_concat+0x96>
jmp    1361 <path_concat+0x261>
mov    -0x10(%rbp),%rax
add    $0x1,%rax
mov    %rax,-0x10(%rbp)
mov    -0x10(%rbp),%rax
movsbl (%rax),%eax
cmp    $0x2f,%eax
je     1220 <path_concat+0x120>
mov    -0x10(%rbp),%rax
cmpb   $0x0,(%rax)
jne    1231 <path_concat+0x131>
mov    -0x10(%rbp),%rax
add    $0x1,%rax
mov    %rax,-0x10(%rbp)
jmp    135c <path_concat+0x25c>
mov    -0x10(%rbp),%rax
movsbl (%rax),%eax
cmp    $0x2e,%eax
jne    12e4 <path_concat+0x1e4>
mov    -0x18(%rbp),%rax
mov    -0x8(%rbp),%rcx
add    $0x1,%rcx
cmp    %rcx,%rax
je     12df <path_concat+0x1df>
mov    -0x18(%rbp),%rax
add    $0xfffffffffffffffe,%rax
mov    %rax,-0x18(%rbp)
mov    -0x18(%rbp),%rcx
xor    %eax,%eax
cmp    -0x8(%rbp),%rcx
mov    %al,-0x1a(%rbp)
je     1285 <path_concat+0x185>
mov    -0x18(%rbp),%rax
movsbl (%rax),%eax
cmp    $0x2f,%eax
setne  %al
mov    %al,-0x1a(%rbp)
mov    -0x1a(%rbp),%al
test   $0x1,%al
jne    1295 <path_concat+0x195>
jmp    12a6 <path_concat+0x1a6>
mov    -0x18(%rbp),%rax
add    $0xffffffffffffffff,%rax
mov    %rax,-0x18(%rbp)
jmp    1262 <path_concat+0x162>
mov    -0x18(%rbp),%rax
add    $0x1,%rax
mov    %rax,-0x18(%rbp)
mov    -0x10(%rbp),%rax
add    $0x1,%rax
mov    %rax,-0x10(%rbp)
mov    -0x10(%rbp),%rax
movsbl (%rax),%eax
cmp    $0x2f,%eax
jne    12da <path_concat+0x1da>
mov    -0x10(%rbp),%rax
add    $0x1,%rax
mov    %rax,-0x10(%rbp)
jmp    12df <path_concat+0x1df>
jmp    1357 <path_concat+0x257>
mov    -0x18(%rbp),%rax
mov    %rax,%rcx
add    $0x1,%rcx
mov    %rcx,-0x18(%rbp)
movb   $0x2e,(%rax)
mov    -0x10(%rbp),%rax
movsbl (%rax),%ecx
xor    %eax,%eax
cmp    $0x0,%ecx
mov    %al,-0x1b(%rbp)
je     131b <path_concat+0x21b>
mov    -0x10(%rbp),%rax
movsbl (%rax),%eax
cmp    $0x2f,%eax
setne  %al
mov    %al,-0x1b(%rbp)
mov    -0x1b(%rbp),%al
test   $0x1,%al
jne    132b <path_concat+0x22b>
jmp    1352 <path_concat+0x252>
mov    -0x10(%rbp),%rax
mov    %rax,%rcx
add    $0x1,%rcx
mov    %rcx,-0x10(%rbp)
mov    (%rax),%cl
mov    -0x18(%rbp),%rax
mov    %rax,%rdx
add    $0x1,%rdx
mov    %rdx,-0x18(%rbp)
mov    %cl,(%rax)
jmp    12f6 <path_concat+0x1f6>
jmp    1357 <path_concat+0x257>
jmp    135c <path_concat+0x25c>
jmp    1361 <path_concat+0x261>
jmp    1366 <path_concat+0x266>
jmp    113d <path_concat+0x3d>
mov    -0x18(%rbp),%rax
movb   $0x0,(%rax)
mov    -0x18(%rbp),%rax
add    $0xffffffffffffffff,%rax
cmp    -0x8(%rbp),%rax
je     139d <path_concat+0x29d>
mov    -0x18(%rbp),%rax
movsbl -0x1(%rax),%eax
cmp    $0x2f,%eax
jne    139d <path_concat+0x29d>
mov    -0x18(%rbp),%rax
movb   $0x0,-0x1(%rax)
mov    -0x8(%rbp),%rax
pop    %rbp
ret

x86 assembly (clang, -O2):
<path_concat>:
mov    %rdi,%rax
mov    $0xffffffffffffffff,%rdx
nopw   0x0(%rax,%rax,1)
cmpb   $0x0,0x1(%rax,%rdx,1)
lea    0x1(%rdx),%rdx
jne    1110 <path_concat+0x10>
jmp    112b <path_concat+0x2b>
nopl   (%rax)
movb   $0x2f,(%rax,%rcx,1)
add    $0x1,%rcx
mov    %rcx,%rdx
mov    %rdx,%rcx
add    $0x1,%rsi
jmp    1144 <path_concat+0x44>
cs nopw 0x0(%rax,%rax,1)
xchg   %ax,%ax
add    $0x2,%rsi
movzbl -0x1(%rsi),%edx
cmp    $0x2e,%dl
jne    11b0 <path_concat+0xb0>
movzbl (%rsi),%edx
test   %dl,%dl
je     1140 <path_concat+0x40>
cmp    $0x2f,%dl
je     1140 <path_concat+0x40>
cmp    $0x2e,%dl
jne    11f8 <path_concat+0xf8>
mov    $0x1,%edx
cmp    $0x1,%rcx
je     112b <path_concat+0x2b>
add    $0xfffffffffffffffe,%rcx
je     118c <path_concat+0x8c>
cs nopw 0x0(%rax,%rax,1)
nopl   (%rax)
cmpb   $0x2f,(%rax,%rcx,1)
je     118e <path_concat+0x8e>
add    $0xffffffffffffffff,%rcx
jne    1180 <path_concat+0x80>
xor    %ecx,%ecx
add    $0x1,%rcx
cmpb   $0x2f,0x1(%rsi)
lea    0x2(%rsi),%rdx
lea    0x1(%rsi),%rsi
cmove  %rdx,%rsi
mov    %rcx,%rdx
jmp    112b <path_concat+0x2b>
nopw   0x0(%rax,%rax,1)
test   %dl,%dl
je     1231 <path_concat+0x131>
cmp    $0x2f,%dl
je     1120 <path_concat+0x20>
add    $0xffffffffffffffff,%rsi
test   %dl,%dl
je     11e8 <path_concat+0xe8>
cs nopw 0x0(%rax,%rax,1)
nop
cmp    $0x2f,%dl
je     11f0 <path_concat+0xf0>
mov    %dl,(%rax,%rcx,1)
add    $0x1,%rcx
movzbl 0x1(%rsi),%edx
add    $0x1,%rsi
test   %dl,%dl
jne    11d0 <path_concat+0xd0>
mov    %rcx,%rdx
jmp    112b <path_concat+0x2b>
mov    %rcx,%rdx
jmp    112b <path_concat+0x2b>
movb   $0x2e,(%rax,%rcx,1)
add    $0x1,%rcx
mov    %rcx,%rdx
cs nopw 0x0(%rax,%rax,1)
nopl   (%rax)
movzbl (%rsi),%ecx
test   %cl,%cl
je     112b <path_concat+0x2b>
cmp    $0x2f,%cl
je     112b <path_concat+0x2b>
add    $0x1,%rsi
mov    %cl,(%rax,%rdx,1)
add    $0x1,%rdx
jmp    1210 <path_concat+0x110>
movb   $0x0,(%rax,%rcx,1)
add    %rax,%rcx
add    $0xffffffffffffffff,%rcx
cmp    %rax,%rcx
je     1249 <path_concat+0x149>
cmpb   $0x2f,(%rcx)
jne    1249 <path_concat+0x149>
movb   $0x0,(%rcx)
ret

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

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