#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 */
int /*<<< orphan*/ strcat(char *, char *);
int strlen(char *);
int /*<<< orphan*/ strncat(char *, char const *, int);
char *strrchr(char *, char);
int /*<<< orphan*/ xerr(char *);
void path_add(char *buf, int bufsz, const char *add) {
  char *p;
  int len, exdepth;
  if (!add)
    return;
  exdepth = (buf[0] == '\0' ? -1 : 0);
  while (*add) {
    while (*add == '/')
      add++;
    len = 0;
    while (add[len] != '\0' && add[len] != '/')
      len++;
    if (len == 0 || (len == 1 && add[0] == '.'))
      goto next_component;
    if (len == 2 && add[0] == '.' && add[1] == '.') {
      if (exdepth-- == 0)
        xerr("unexpected /../ in path");
      if (!(p = strrchr(buf, '/')))
        p = buf;
      *p = '\0';
      goto next_component;
    }
    if (strlen(buf) + 1 + len + 1 > bufsz)
      xerr("path too long");
    if (buf[0])
      strcat(buf, "/");
    strncat(buf, add, len);
    if (exdepth >= 0)
      exdepth++;
  next_component:
    add += len;
  }
}


x86 assembly (clang, -O0):
<path_add>:
push   %rbp
mov    %rsp,%rbp
sub    $0x30,%rsp
mov    %rdi,-0x8(%rbp)
mov    %esi,-0xc(%rbp)
mov    %rdx,-0x18(%rbp)
cmpq   $0x0,-0x18(%rbp)
jne    1173 <path_add+0x23>
jmp    1337 <path_add+0x1e7>
mov    -0x8(%rbp),%rax
movsbl (%rax),%edx
xor    %eax,%eax
mov    $0xffffffff,%ecx
cmp    $0x0,%edx
cmove  %ecx,%eax
mov    %eax,-0x28(%rbp)
mov    -0x18(%rbp),%rax
cmpb   $0x0,(%rax)
je     1337 <path_add+0x1e7>
jmp    119c <path_add+0x4c>
mov    -0x18(%rbp),%rax
movsbl (%rax),%eax
cmp    $0x2f,%eax
jne    11bd <path_add+0x6d>
mov    -0x18(%rbp),%rax
add    $0x1,%rax
mov    %rax,-0x18(%rbp)
jmp    119c <path_add+0x4c>
movl   $0x0,-0x24(%rbp)
mov    -0x18(%rbp),%rax
movslq -0x24(%rbp),%rcx
movsbl (%rax,%rcx,1),%ecx
xor    %eax,%eax
cmp    $0x0,%ecx
mov    %al,-0x29(%rbp)
je     11f3 <path_add+0xa3>
mov    -0x18(%rbp),%rax
movslq -0x24(%rbp),%rcx
movsbl (%rax,%rcx,1),%eax
cmp    $0x2f,%eax
setne  %al
mov    %al,-0x29(%rbp)
mov    -0x29(%rbp),%al
test   $0x1,%al
jne    1203 <path_add+0xb3>
jmp    1211 <path_add+0xc1>
mov    -0x24(%rbp),%eax
add    $0x1,%eax
mov    %eax,-0x24(%rbp)
jmp    11c4 <path_add+0x74>
cmpl   $0x0,-0x24(%rbp)
je     1235 <path_add+0xe5>
cmpl   $0x1,-0x24(%rbp)
jne    123a <path_add+0xea>
mov    -0x18(%rbp),%rax
movsbl (%rax),%eax
cmp    $0x2e,%eax
jne    123a <path_add+0xea>
jmp    1321 <path_add+0x1d1>
cmpl   $0x2,-0x24(%rbp)
jne    12b5 <path_add+0x165>
mov    -0x18(%rbp),%rax
movsbl (%rax),%eax
cmp    $0x2e,%eax
jne    12b5 <path_add+0x165>
mov    -0x18(%rbp),%rax
movsbl 0x1(%rax),%eax
cmp    $0x2e,%eax
jne    12b5 <path_add+0x165>
mov    -0x28(%rbp),%eax
mov    %eax,%ecx
add    $0xffffffff,%ecx
mov    %ecx,-0x28(%rbp)
cmp    $0x0,%eax
jne    1285 <path_add+0x135>
lea    0xd80(%rip),%rdi
call   1060 <xerr@plt>
mov    -0x8(%rbp),%rdi
mov    $0x2f,%esi
call   1040 <strrchr@plt>
mov    %rax,-0x20(%rbp)
cmp    $0x0,%rax
jne    12a9 <path_add+0x159>
mov    -0x8(%rbp),%rax
mov    %rax,-0x20(%rbp)
mov    -0x20(%rbp),%rax
movb   $0x0,(%rax)
jmp    1321 <path_add+0x1d1>
mov    -0x8(%rbp),%rdi
call   1030 <strlen@plt>
add    $0x1,%eax
add    -0x24(%rbp),%eax
add    $0x1,%eax
cmp    -0xc(%rbp),%eax
jle    12dc <path_add+0x18c>
lea    0xd41(%rip),%rdi
call   1060 <xerr@plt>
mov    -0x8(%rbp),%rax
cmpb   $0x0,(%rax)
je     12f9 <path_add+0x1a9>
mov    -0x8(%rbp),%rdi
lea    0xd32(%rip),%rsi
call   1070 <strcat@plt>
mov    -0x8(%rbp),%rdi
mov    -0x18(%rbp),%rsi
mov    -0x24(%rbp),%edx
call   1050 <strncat@plt>
cmpl   $0x0,-0x28(%rbp)
jl     131c <path_add+0x1cc>
mov    -0x28(%rbp),%eax
add    $0x1,%eax
mov    %eax,-0x28(%rbp)
jmp    1321 <path_add+0x1d1>
mov    -0x24(%rbp),%ecx
mov    -0x18(%rbp),%rax
movslq %ecx,%rcx
add    %rcx,%rax
mov    %rax,-0x18(%rbp)
jmp    118a <path_add+0x3a>
add    $0x30,%rsp
pop    %rbp
ret

x86 assembly (clang, -O2):
<path_add>:
push   %rbp
push   %r15
push   %r14
push   %r13
push   %r12
push   %rbx
push   %rax
test   %rdx,%rdx
je     127c <path_add+0x12c>
mov    %rdx,%r14
mov    (%rdx),%al
test   %al,%al
je     127c <path_add+0x12c>
mov    %esi,%r13d
mov    %rdi,%rbx
cmpb   $0x1,(%rdi)
sbb    %r15d,%r15d
jmp    11a4 <path_add+0x54>
nop
mov    %rbx,%rdi
mov    %rbp,%rsi
mov    %r12d,%edx
call   1050 <strncat@plt>
mov    %r15d,%eax
not    %eax
shr    $0x1f,%eax
add    %eax,%r15d
mov    (%r14),%al
test   %al,%al
je     127c <path_add+0x12c>
mov    %r14,%rbp
cmp    $0x2f,%al
jne    11bc <path_add+0x6c>
nopl   0x0(%rax,%rax,1)
movzbl 0x1(%rbp),%eax
add    $0x1,%rbp
cmp    $0x2f,%al
je     11b0 <path_add+0x60>
mov    %eax,%ecx
xor    %r12d,%r12d
test   %cl,%cl
je     11e3 <path_add+0x93>
cs nopw 0x0(%rax,%rax,1)
nop
cmp    $0x2f,%cl
je     11e3 <path_add+0x93>
movzbl 0x1(%rbp,%r12,1),%ecx
add    $0x1,%r12
test   %cl,%cl
jne    11d0 <path_add+0x80>
mov    %r12d,%r14d
add    %rbp,%r14
test   %r12d,%r12d
je     1199 <path_add+0x49>
cmp    $0x2,%r12d
je     1200 <path_add+0xb0>
cmp    $0x1,%r12d
jne    1240 <path_add+0xf0>
cmp    $0x2e,%al
je     1199 <path_add+0x49>
jmp    1240 <path_add+0xf0>
cmp    $0x2e,%al
jne    1240 <path_add+0xf0>
cmpb   $0x2e,0x1(%rbp)
jne    1240 <path_add+0xf0>
sub    $0x1,%r15d
jae    121c <path_add+0xcc>
lea    0xde9(%rip),%rdi
call   1060 <xerr@plt>
mov    %rbx,%rdi
mov    $0x2f,%esi
call   1040 <strrchr@plt>
test   %rax,%rax
cmove  %rbx,%rax
movb   $0x0,(%rax)
jmp    1199 <path_add+0x49>
nopl   0x0(%rax,%rax,1)
mov    %rbx,%rdi
call   1030 <strlen@plt>
add    %r12d,%eax
add    $0x1,%eax
cmp    %r13d,%eax
jl     125f <path_add+0x10f>
lea    0xdbe(%rip),%rdi
call   1060 <xerr@plt>
cmpb   $0x0,(%rbx)
je     1180 <path_add+0x30>
mov    %rbx,%rdi
lea    0xdb4(%rip),%rsi
call   1070 <strcat@plt>
jmp    1180 <path_add+0x30>
add    $0x8,%rsp
pop    %rbx
pop    %r12
pop    %r13
pop    %r14
pop    %r15
pop    %rbp
ret

LLVM IR (-O0):
@.str = [24 x i8] c"unexpected /../ in path\00"
@.str.1 = [14 x i8] c"path too long\00"
@.str.2 = [2 x i8] c"/\00"
define void @path_add(i8* %0, i32 %1, i8* %2) {
%4 = alloca i8*
%5 = alloca i32
%6 = alloca i8*
%7 = alloca i8*
%8 = alloca i32
%9 = alloca i32
store i8* %0, i8** %4
store i32 %1, i32* %5
store i8* %2, i8** %6
%10 = load i8*, i8** %6
%11 = icmp ne i8* %10, null
br i1 %11, label %13, label %12
12: ; preds = %3
br label %133
13: ; preds = %3
%14 = load i8*, i8** %4
%15 = getelementptr inbounds i8, i8* %14, i64 0
%16 = load i8, i8* %15
%17 = sext i8 %16 to i32
%18 = icmp eq i32 %17, 0
%19 = zext i1 %18 to i64
%20 = select i1 %18, i32 -1, i32 0
store i32 %20, i32* %9
br label %21
21: ; preds = %128, %13
%22 = load i8*, i8** %6
%23 = load i8, i8* %22
%24 = icmp ne i8 %23, 0
br i1 %24, label %25, label %133
25: ; preds = %21
br label %26
26: ; preds = %31, %25
%27 = load i8*, i8** %6
%28 = load i8, i8* %27
%29 = sext i8 %28 to i32
%30 = icmp eq i32 %29, 47
br i1 %30, label %31, label %34
31: ; preds = %26
%32 = load i8*, i8** %6
%33 = getelementptr inbounds i8, i8* %32, i32 1
store i8* %33, i8** %6
br label %26
34: ; preds = %26
store i32 0, i32* %8
br label %35
35: ; preds = %53, %34
%36 = load i8*, i8** %6
%37 = load i32, i32* %8
%38 = sext i32 %37 to i64
%39 = getelementptr inbounds i8, i8* %36, i64 %38
%40 = load i8, i8* %39
%41 = sext i8 %40 to i32
%42 = icmp ne i32 %41, 0
br i1 %42, label %43, label %51
43: ; preds = %35
%44 = load i8*, i8** %6
%45 = load i32, i32* %8
%46 = sext i32 %45 to i64
%47 = getelementptr inbounds i8, i8* %44, i64 %46
%48 = load i8, i8* %47
%49 = sext i8 %48 to i32
%50 = icmp ne i32 %49, 47
br label %51
51: ; preds = %43, %35
%52 = phi i1 [ false, %35 ], [ %50, %43 ]
br i1 %52, label %53, label %56
53: ; preds = %51
%54 = load i32, i32* %8
%55 = add nsw i32 %54, 1
store i32 %55, i32* %8
br label %35
56: ; preds = %51
%57 = load i32, i32* %8
%58 = icmp eq i32 %57, 0
br i1 %58, label %68, label %59
59: ; preds = %56
%60 = load i32, i32* %8
%61 = icmp eq i32 %60, 1
br i1 %61, label %62, label %69
62: ; preds = %59
%63 = load i8*, i8** %6
%64 = getelementptr inbounds i8, i8* %63, i64 0
%65 = load i8, i8* %64
%66 = sext i8 %65 to i32
%67 = icmp eq i32 %66, 46
br i1 %67, label %68, label %69
68: ; preds = %62, %56
br label %128
69: ; preds = %62, %59
%70 = load i32, i32* %8
%71 = icmp eq i32 %70, 2
br i1 %71, label %72, label %98
72: ; preds = %69
%73 = load i8*, i8** %6
%74 = getelementptr inbounds i8, i8* %73, i64 0
%75 = load i8, i8* %74
%76 = sext i8 %75 to i32
%77 = icmp eq i32 %76, 46
br i1 %77, label %78, label %98
78: ; preds = %72
%79 = load i8*, i8** %6
%80 = getelementptr inbounds i8, i8* %79, i64 1
%81 = load i8, i8* %80
%82 = sext i8 %81 to i32
%83 = icmp eq i32 %82, 46
br i1 %83, label %84, label %98
84: ; preds = %78
%85 = load i32, i32* %9
%86 = add nsw i32 %85, -1
store i32 %86, i32* %9
%87 = icmp eq i32 %85, 0
br i1 %87, label %88, label %90
88: ; preds = %84
%89 = call i32 @xerr(i8* getelementptr inbounds ([24 x i8], [24 x i8]* @.str, i64 0, i64 0))
br label %90
90: ; preds = %88, %84
%91 = load i8*, i8** %4
%92 = call i8* @strrchr(i8* %91, i8 signext 47)
store i8* %92, i8** %7
%93 = icmp ne i8* %92, null
br i1 %93, label %96, label %94
94: ; preds = %90
%95 = load i8*, i8** %4
store i8* %95, i8** %7
br label %96
96: ; preds = %94, %90
%97 = load i8*, i8** %7
store i8 0, i8* %97
br label %128
98: ; preds = %78, %72, %69
%99 = load i8*, i8** %4
%100 = call i32 @strlen(i8* %99)
%101 = add nsw i32 %100, 1
%102 = load i32, i32* %8
%103 = add nsw i32 %101, %102
%104 = add nsw i32 %103, 1
%105 = load i32, i32* %5
%106 = icmp sgt i32 %104, %105
br i1 %106, label %107, label %109
107: ; preds = %98
%108 = call i32 @xerr(i8* getelementptr inbounds ([14 x i8], [14 x i8]* @.str.1, i64 0, i64 0))
br label %109
109: ; preds = %107, %98
%110 = load i8*, i8** %4
%111 = getelementptr inbounds i8, i8* %110, i64 0
%112 = load i8, i8* %111
%113 = icmp ne i8 %112, 0
br i1 %113, label %114, label %117
114: ; preds = %109
%115 = load i8*, i8** %4
%116 = call i32 @strcat(i8* %115, i8* getelementptr inbounds ([2 x i8], [2 x i8]* @.str.2, i64 0, i64 0))
br label %117
117: ; preds = %114, %109
%118 = load i8*, i8** %4
%119 = load i8*, i8** %6
%120 = load i32, i32* %8
%121 = call i32 @strncat(i8* %118, i8* %119, i32 %120)
%122 = load i32, i32* %9
%123 = icmp sge i32 %122, 0
br i1 %123, label %124, label %127
124: ; preds = %117
%125 = load i32, i32* %9
%126 = add nsw i32 %125, 1
store i32 %126, i32* %9
br label %127
127: ; preds = %124, %117
br label %128
128: ; preds = %127, %96, %68
%129 = load i32, i32* %8
%130 = load i8*, i8** %6
%131 = sext i32 %129 to i64
%132 = getelementptr inbounds i8, i8* %130, i64 %131
store i8* %132, i8** %6
br label %21
133: ; preds = %12, %21
ret void
}

LLVM IR (-O2):
@.str = [24 x i8] c"unexpected /../ in path\00"
@.str.1 = [14 x i8] c"path too long\00"
@.str.2 = [2 x i8] c"/\00"
define void @path_add(i8* %0, i32 %1, i8* %2) {
%4 = icmp eq i8* %2, null
br i1 %4, label %74, label %5
5: ; preds = %3
%6 = load i8, i8* %2
%7 = icmp eq i8 %6, 0
br i1 %7, label %74, label %8
8: ; preds = %5
%9 = load i8, i8* %0
%10 = icmp eq i8 %9, 0
%11 = sext i1 %10 to i32
br label %12
12: ; preds = %8, %70
%13 = phi i8 [ %72, %70 ], [ %6, %8 ]
%14 = phi i32 [ %71, %70 ], [ %11, %8 ]
%15 = phi i8* [ %35, %70 ], [ %2, %8 ]
%16 = icmp eq i8 %13, 47
br i1 %16, label %20, label %17
17: ; preds = %20, %12
%18 = phi i8 [ %13, %12 ], [ %23, %20 ]
%19 = phi i8* [ %15, %12 ], [ %22, %20 ]
br label %25
20: ; preds = %12, %20
%21 = phi i8* [ %22, %20 ], [ %15, %12 ]
%22 = getelementptr inbounds i8, i8* %21, i64 1
%23 = load i8, i8* %22
%24 = icmp eq i8 %23, 47
br i1 %24, label %20, label %17
25: ; preds = %17, %28
%26 = phi i8 [ %18, %17 ], [ %31, %28 ]
%27 = phi i64 [ 0, %17 ], [ %29, %28 ]
switch i8 %26, label %28 [
i8 0, label %32
i8 47, label %32
]
28: ; preds = %25
%29 = add nuw i64 %27, 1
%30 = getelementptr inbounds i8, i8* %19, i64 %29
%31 = load i8, i8* %30
br label %25
32: ; preds = %25, %25
%33 = trunc i64 %27 to i32
%34 = and i64 %27, 4294967295
%35 = getelementptr inbounds i8, i8* %19, i64 %34
switch i32 %33, label %53 [
i32 0, label %70
i32 1, label %36
i32 2, label %38
]
36: ; preds = %32
%37 = icmp eq i8 %18, 46
br i1 %37, label %70, label %53
38: ; preds = %32
%39 = icmp eq i8 %18, 46
br i1 %39, label %40, label %53
40: ; preds = %38
%41 = getelementptr inbounds i8, i8* %19, i64 1
%42 = load i8, i8* %41
%43 = icmp eq i8 %42, 46
br i1 %43, label %44, label %53
44: ; preds = %40
%45 = add nsw i32 %14, -1
%46 = icmp eq i32 %14, 0
br i1 %46, label %47, label %49
47: ; preds = %44
%48 = tail call i32 @xerr(i8* getelementptr inbounds ([24 x i8], [24 x i8]* @.str, i64 0, i64 0))
br label %49
49: ; preds = %47, %44
%50 = tail call i8* @strrchr(i8* %0, i8 signext 47)
%51 = icmp eq i8* %50, null
%52 = select i1 %51, i8* %0, i8* %50
store i8 0, i8* %52
br label %70
53: ; preds = %36, %32, %40, %38
%54 = tail call i32 @strlen(i8* %0)
%55 = add nuw i32 %33, 1
%56 = add i32 %55, %54
%57 = icmp slt i32 %56, %1
br i1 %57, label %60, label %58
58: ; preds = %53
%59 = tail call i32 @xerr(i8* getelementptr inbounds ([14 x i8], [14 x i8]* @.str.1, i64 0, i64 0))
br label %60
60: ; preds = %58, %53
%61 = load i8, i8* %0
%62 = icmp eq i8 %61, 0
br i1 %62, label %65, label %63
63: ; preds = %60
%64 = tail call i32 @strcat(i8* %0, i8* getelementptr inbounds ([2 x i8], [2 x i8]* @.str.2, i64 0, i64 0))
br label %65
65: ; preds = %63, %60
%66 = tail call i32 @strncat(i8* %0, i8* %19, i32 %33)
%67 = xor i32 %14, -1
%68 = lshr i32 %67, 31
%69 = add nsw i32 %68, %14
br label %70
70: ; preds = %65, %32, %36, %49
%71 = phi i32 [ %14, %32 ], [ %14, %36 ], [ %45, %49 ], [ %69, %65 ]
%72 = load i8, i8* %35
%73 = icmp eq i8 %72, 0
br i1 %73, label %74, label %12
74: ; preds = %70, %5, %3
ret void
}