#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*/ sprintf(char *, char *, char, char *);
int /*<<< orphan*/ strcat(char *, char *);
int /*<<< orphan*/ strcpy(char *, char *);
scalar_t__ tolower(char);
scalar_t__ wfile_eitherslash(char);
int /*<<< orphan*/ wfile_reslash(char *);
void wfile_relative_basename(char *basename, char *fullname, char *dir) {
  int id, i2, i, si;
  basename[0] = '\0';
  for (id = 0; dir[id] != '\0' && dir[id] != ':'; id++)
    ;
  if (dir[id] == '\0')
    id = 0;
  for (; wfile_eitherslash(dir[id]); id++)
    ;
  for (i2 = 0; fullname[i2] != '\0' && fullname[i2] != ':'; i2++)
    ;
  if (fullname[i2] == '\0')
    i2 = 0;
  if (dir[id] == '\0') {
    strcpy(basename, &fullname[i2]);
    return;
  }
  for (; wfile_eitherslash(fullname[i2]); i2++)
    ;
  for (si = i2, i = 0; 1; i++) {
    if (dir[id + i] == '\0') {
      if (wfile_eitherslash(fullname[i2 + i])) {
        strcpy(basename, &fullname[i2 + i + 1]);
        return;
      }
      sprintf(basename, "..%c%s", '/', &fullname[i2 + si]);
      return;
    }
    if (wfile_eitherslash(dir[id + i]) && wfile_eitherslash(fullname[i2 + i])) {
      si = i + 1;
      if (dir[id + i + 1] == '\0') {
        strcpy(basename, &fullname[i2 + i + 1]);
        return;
      }
      continue;
    }
    if (tolower(dir[id + i]) == tolower(fullname[i2 + i]))
      continue;
    break;
  }
  strcpy(basename, "../");
  for (; dir[id + i] != '\0'; i++)
    if (wfile_eitherslash(dir[id + i]) && dir[id + i + 1] != '\0')
      strcat(basename, "../");
  if (basename[0] == '\0')
    strcat(basename, "../");
  strcat(basename, &fullname[i2 + si]);
  wfile_reslash(basename);
}


x86 assembly (clang, -O0):
<wfile_relative_basename>:
push   %rbp
mov    %rsp,%rbp
sub    $0x40,%rsp
mov    %rdi,-0x8(%rbp)
mov    %rsi,-0x10(%rbp)
mov    %rdx,-0x18(%rbp)
mov    -0x8(%rbp),%rax
movb   $0x0,(%rax)
movl   $0x0,-0x1c(%rbp)
mov    -0x18(%rbp),%rax
movslq -0x1c(%rbp),%rcx
movsbl (%rax,%rcx,1),%ecx
xor    %eax,%eax
cmp    $0x0,%ecx
mov    %al,-0x29(%rbp)
je     11b1 <wfile_relative_basename+0x51>
mov    -0x18(%rbp),%rax
movslq -0x1c(%rbp),%rcx
movsbl (%rax,%rcx,1),%eax
cmp    $0x3a,%eax
setne  %al
mov    %al,-0x29(%rbp)
mov    -0x29(%rbp),%al
test   $0x1,%al
jne    11c1 <wfile_relative_basename+0x61>
jmp    11d4 <wfile_relative_basename+0x74>
jmp    11c6 <wfile_relative_basename+0x66>
mov    -0x1c(%rbp),%eax
add    $0x1,%eax
mov    %eax,-0x1c(%rbp)
jmp    1182 <wfile_relative_basename+0x22>
mov    -0x18(%rbp),%rax
movslq -0x1c(%rbp),%rcx
movsbl (%rax,%rcx,1),%eax
cmp    $0x0,%eax
jne    11f0 <wfile_relative_basename+0x90>
movl   $0x0,-0x1c(%rbp)
jmp    11f5 <wfile_relative_basename+0x95>
mov    -0x18(%rbp),%rax
movslq -0x1c(%rbp),%rcx
movsbl (%rax,%rcx,1),%edi
call   1050 <wfile_eitherslash@plt>
cmp    $0x0,%rax
je     1223 <wfile_relative_basename+0xc3>
jmp    1215 <wfile_relative_basename+0xb5>
mov    -0x1c(%rbp),%eax
add    $0x1,%eax
mov    %eax,-0x1c(%rbp)
jmp    11f5 <wfile_relative_basename+0x95>
movl   $0x0,-0x20(%rbp)
mov    -0x10(%rbp),%rax
movslq -0x20(%rbp),%rcx
movsbl (%rax,%rcx,1),%ecx
xor    %eax,%eax
cmp    $0x0,%ecx
mov    %al,-0x2a(%rbp)
je     1259 <wfile_relative_basename+0xf9>
mov    -0x10(%rbp),%rax
movslq -0x20(%rbp),%rcx
movsbl (%rax,%rcx,1),%eax
cmp    $0x3a,%eax
setne  %al
mov    %al,-0x2a(%rbp)
mov    -0x2a(%rbp),%al
test   $0x1,%al
jne    1269 <wfile_relative_basename+0x109>
jmp    127c <wfile_relative_basename+0x11c>
jmp    126e <wfile_relative_basename+0x10e>
mov    -0x20(%rbp),%eax
add    $0x1,%eax
mov    %eax,-0x20(%rbp)
jmp    122a <wfile_relative_basename+0xca>
mov    -0x10(%rbp),%rax
movslq -0x20(%rbp),%rcx
movsbl (%rax,%rcx,1),%eax
cmp    $0x0,%eax
jne    1298 <wfile_relative_basename+0x138>
movl   $0x0,-0x20(%rbp)
mov    -0x18(%rbp),%rax
movslq -0x1c(%rbp),%rcx
movsbl (%rax,%rcx,1),%eax
cmp    $0x0,%eax
jne    12c6 <wfile_relative_basename+0x166>
mov    -0x8(%rbp),%rdi
mov    -0x10(%rbp),%rsi
movslq -0x20(%rbp),%rax
add    %rax,%rsi
call   1040 <strcpy@plt>
jmp    1546 <wfile_relative_basename+0x3e6>
jmp    12cb <wfile_relative_basename+0x16b>
mov    -0x10(%rbp),%rax
movslq -0x20(%rbp),%rcx
movsbl (%rax,%rcx,1),%edi
call   1050 <wfile_eitherslash@plt>
cmp    $0x0,%rax
je     12f9 <wfile_relative_basename+0x199>
jmp    12eb <wfile_relative_basename+0x18b>
mov    -0x20(%rbp),%eax
add    $0x1,%eax
mov    %eax,-0x20(%rbp)
jmp    12cb <wfile_relative_basename+0x16b>
mov    -0x20(%rbp),%eax
mov    %eax,-0x28(%rbp)
movl   $0x0,-0x24(%rbp)
mov    $0x1,%al
test   $0x1,%al
jne    1315 <wfile_relative_basename+0x1b5>
jmp    147b <wfile_relative_basename+0x31b>
mov    -0x18(%rbp),%rax
mov    -0x1c(%rbp),%ecx
add    -0x24(%rbp),%ecx
movslq %ecx,%rcx
movsbl (%rax,%rcx,1),%eax
cmp    $0x0,%eax
jne    1398 <wfile_relative_basename+0x238>
mov    -0x10(%rbp),%rax
mov    -0x20(%rbp),%ecx
add    -0x24(%rbp),%ecx
movslq %ecx,%rcx
movsbl (%rax,%rcx,1),%edi
call   1050 <wfile_eitherslash@plt>
cmp    $0x0,%rax
je     136f <wfile_relative_basename+0x20f>
mov    -0x8(%rbp),%rdi
mov    -0x10(%rbp),%rsi
mov    -0x20(%rbp),%eax
add    -0x24(%rbp),%eax
add    $0x1,%eax
cltq
add    %rax,%rsi
call   1040 <strcpy@plt>
jmp    1546 <wfile_relative_basename+0x3e6>
mov    -0x8(%rbp),%rdi
mov    -0x10(%rbp),%rcx
mov    -0x20(%rbp),%eax
add    -0x28(%rbp),%eax
cltq
add    %rax,%rcx
lea    0xc77(%rip),%rsi
mov    $0x2f,%edx
call   1080 <sprintf@plt>
jmp    1546 <wfile_relative_basename+0x3e6>
mov    -0x18(%rbp),%rax
mov    -0x1c(%rbp),%ecx
add    -0x24(%rbp),%ecx
movslq %ecx,%rcx
movsbl (%rax,%rcx,1),%edi
call   1050 <wfile_eitherslash@plt>
cmp    $0x0,%rax
je     1423 <wfile_relative_basename+0x2c3>
mov    -0x10(%rbp),%rax
mov    -0x20(%rbp),%ecx
add    -0x24(%rbp),%ecx
movslq %ecx,%rcx
movsbl (%rax,%rcx,1),%edi
call   1050 <wfile_eitherslash@plt>
cmp    $0x0,%rax
je     1423 <wfile_relative_basename+0x2c3>
mov    -0x24(%rbp),%eax
add    $0x1,%eax
mov    %eax,-0x28(%rbp)
mov    -0x18(%rbp),%rax
mov    -0x1c(%rbp),%ecx
add    -0x24(%rbp),%ecx
add    $0x1,%ecx
movslq %ecx,%rcx
movsbl (%rax,%rcx,1),%eax
cmp    $0x0,%eax
jne    141e <wfile_relative_basename+0x2be>
mov    -0x8(%rbp),%rdi
mov    -0x10(%rbp),%rsi
mov    -0x20(%rbp),%eax
add    -0x24(%rbp),%eax
add    $0x1,%eax
cltq
add    %rax,%rsi
call   1040 <strcpy@plt>
jmp    1546 <wfile_relative_basename+0x3e6>
jmp    146d <wfile_relative_basename+0x30d>
mov    -0x18(%rbp),%rax
mov    -0x1c(%rbp),%ecx
add    -0x24(%rbp),%ecx
movslq %ecx,%rcx
movsbl (%rax,%rcx,1),%edi
call   1060 <tolower@plt>
mov    %rax,-0x38(%rbp)
mov    -0x10(%rbp),%rax
mov    -0x20(%rbp),%ecx
add    -0x24(%rbp),%ecx
movslq %ecx,%rcx
movsbl (%rax,%rcx,1),%edi
call   1060 <tolower@plt>
mov    %rax,%rcx
mov    -0x38(%rbp),%rax
cmp    %rcx,%rax
jne    1468 <wfile_relative_basename+0x308>
jmp    146d <wfile_relative_basename+0x30d>
jmp    147b <wfile_relative_basename+0x31b>
mov    -0x24(%rbp),%eax
add    $0x1,%eax
mov    %eax,-0x24(%rbp)
jmp    1306 <wfile_relative_basename+0x1a6>
mov    -0x8(%rbp),%rdi
lea    0xb81(%rip),%rsi
call   1040 <strcpy@plt>
mov    -0x18(%rbp),%rax
mov    -0x1c(%rbp),%ecx
add    -0x24(%rbp),%ecx
movslq %ecx,%rcx
movsbl (%rax,%rcx,1),%eax
cmp    $0x0,%eax
je     1505 <wfile_relative_basename+0x3a5>
mov    -0x18(%rbp),%rax
mov    -0x1c(%rbp),%ecx
add    -0x24(%rbp),%ecx
movslq %ecx,%rcx
movsbl (%rax,%rcx,1),%edi
call   1050 <wfile_eitherslash@plt>
cmp    $0x0,%rax
je     14f2 <wfile_relative_basename+0x392>
mov    -0x18(%rbp),%rax
mov    -0x1c(%rbp),%ecx
add    -0x24(%rbp),%ecx
add    $0x1,%ecx
movslq %ecx,%rcx
movsbl (%rax,%rcx,1),%eax
cmp    $0x0,%eax
je     14f2 <wfile_relative_basename+0x392>
mov    -0x8(%rbp),%rdi
lea    0xb1a(%rip),%rsi
call   1070 <strcat@plt>
jmp    14f7 <wfile_relative_basename+0x397>
mov    -0x24(%rbp),%eax
add    $0x1,%eax
mov    %eax,-0x24(%rbp)
jmp    148b <wfile_relative_basename+0x32b>
mov    -0x8(%rbp),%rax
movsbl (%rax),%eax
cmp    $0x0,%eax
jne    1525 <wfile_relative_basename+0x3c5>
mov    -0x8(%rbp),%rdi
lea    0xae7(%rip),%rsi
call   1070 <strcat@plt>
mov    -0x8(%rbp),%rdi
mov    -0x10(%rbp),%rsi
mov    -0x20(%rbp),%eax
add    -0x28(%rbp),%eax
cltq
add    %rax,%rsi
call   1070 <strcat@plt>
mov    -0x8(%rbp),%rdi
call   1030 <wfile_reslash@plt>
add    $0x40,%rsp
pop    %rbp
ret

x86 assembly (clang, -O2):
<wfile_relative_basename>:
push   %rbp
push   %r15
push   %r14
push   %r13
push   %r12
push   %rbx
sub    $0x38,%rsp
mov    %rdx,%r13
mov    %rsi,%r15
mov    %rdi,%r14
movb   $0x0,(%rdi)
xor    %eax,%eax
nopl   0x0(%rax)
movzbl 0x0(%r13,%rax,1),%ecx
test   %cl,%cl
je     1195 <wfile_relative_basename+0x35>
cmp    $0x3a,%cl
je     1195 <wfile_relative_basename+0x35>
add    $0x1,%rax
jmp    1180 <wfile_relative_basename+0x20>
xor    %ebx,%ebx
test   %cl,%cl
mov    %eax,%eax
cmovne %rax,%rbx
add    $0xffffffffffffffff,%rbx
cs nopw 0x0(%rax,%rax,1)
nopl   (%rax)
movsbl 0x1(%r13,%rbx,1),%edi
call   1050 <wfile_eitherslash@plt>
add    $0x1,%rbx
test   %rax,%rax
jne    11b0 <wfile_relative_basename+0x50>
mov    %ebx,%eax
mov    %rax,0x28(%rsp)
lea    (%rax,%r13,1),%r12
xor    %eax,%eax
cs nopw 0x0(%rax,%rax,1)
nopl   0x0(%rax,%rax,1)
movzbl (%r15,%rax,1),%ecx
test   %cl,%cl
je     11f4 <wfile_relative_basename+0x94>
cmp    $0x3a,%cl
je     11f4 <wfile_relative_basename+0x94>
add    $0x1,%rax
jmp    11e0 <wfile_relative_basename+0x80>
xor    %ebp,%ebp
test   %cl,%cl
mov    %eax,%eax
cmovne %rax,%rbp
cmpb   $0x0,(%r12)
je     130b <wfile_relative_basename+0x1ab>
add    $0xffffffffffffffff,%rbp
nopl   (%rax)
movsbl 0x1(%r15,%rbp,1),%edi
call   1050 <wfile_eitherslash@plt>
add    $0x1,%rbp
test   %rax,%rax
jne    1210 <wfile_relative_basename+0xb0>
mov    (%r12),%al
test   %al,%al
mov    %r14,0x8(%rsp)
je     1313 <wfile_relative_basename+0x1b3>
mov    %r15,0x18(%rsp)
mov    %ebp,%ecx
mov    %rcx,0x20(%rsp)
xor    %r14d,%r14d
mov    %rbx,%r15
mov    %ebp,%ecx
mov    %rcx,0x10(%rsp)
jmp    1287 <wfile_relative_basename+0x127>
add    $0x1,%r14
add    $0x1,%r15d
cmpb   $0x0,0x0(%r13,%r15,1)
mov    %r14d,%eax
mov    %rax,0x10(%rsp)
je     144a <wfile_relative_basename+0x2ea>
mov    0x28(%rsp),%rax
lea    (%r14,%rax,1),%r15
lea    (%r15,%r13,1),%r12
movzbl 0x0(%r13,%r15,1),%eax
test   %al,%al
je     131a <wfile_relative_basename+0x1ba>
movsbl %al,%edi
call   1050 <wfile_eitherslash@plt>
mov    0x20(%rsp),%rcx
add    %r14,%rcx
test   %rax,%rax
je     12cb <wfile_relative_basename+0x16b>
mov    0x18(%rsp),%rax
movsbl (%rax,%rcx,1),%edi
mov    %r14,0x30(%rsp)
mov    %r13,%r14
mov    %r12,%r13
mov    %rcx,%r12
call   1050 <wfile_eitherslash@plt>
mov    %r12,%rcx
mov    %r13,%r12
mov    %r14,%r13
mov    0x30(%rsp),%r14
test   %rax,%rax
jne    1250 <wfile_relative_basename+0xf0>
mov    0x10(%rsp),%rax
mov    %eax,%eax
mov    %rax,0x10(%rsp)
movsbl (%r12),%edi
mov    %rcx,%r15
call   1060 <tolower@plt>
mov    %rax,%r12
mov    0x18(%rsp),%rax
movsbl (%rax,%r15,1),%edi
mov    %rax,%r15
call   1060 <tolower@plt>
cmp    %rax,%r12
jne    138b <wfile_relative_basename+0x22b>
add    $0x1,%r14
jmp    126c <wfile_relative_basename+0x10c>
add    %rbp,%r15
mov    %r14,%rdi
jmp    1346 <wfile_relative_basename+0x1e6>
xor    %r14d,%r14d
mov    %ebp,%ebx
jmp    1324 <wfile_relative_basename+0x1c4>
mov    0x18(%rsp),%r15
mov    0x10(%rsp),%rbx
lea    (%r14,%rbp,1),%eax
movsbl (%r15,%rax,1),%edi
call   1050 <wfile_eitherslash@plt>
test   %rax,%rax
je     135c <wfile_relative_basename+0x1fc>
lea    (%r14,%rbp,1),%eax
add    $0x1,%eax
add    %rax,%r15
mov    0x8(%rsp),%rdi
mov    %r15,%rsi
add    $0x38,%rsp
pop    %rbx
pop    %r12
pop    %r13
pop    %r14
pop    %r15
pop    %rbp
jmp    1040 <strcpy@plt>
add    %ebp,%ebx
movslq %ebx,%rax
add    %rax,%r15
lea    0xc95(%rip),%rsi
mov    0x8(%rsp),%rdi
mov    $0x2f,%edx
mov    %r15,%rcx
add    $0x38,%rsp
pop    %rbx
pop    %r12
pop    %r13
pop    %r14
pop    %r15
pop    %rbp
jmp    1080 <sprintf@plt>
lea    0xc75(%rip),%rsi
mov    0x8(%rsp),%rdi
call   1040 <strcpy@plt>
lea    (%r14,%rbx,1),%eax
mov    0x0(%r13,%rax,1),%al
test   %al,%al
je     1406 <wfile_relative_basename+0x2a6>
mov    %r14d,%ecx
add    %ebx,%r14d
add    $0x1,%r14d
mov    %ebx,%edx
add    %r13,%rdx
lea    (%rcx,%rdx,1),%rbx
add    $0x1,%rbx
lea    0xc40(%rip),%r12
jmp    13df <wfile_relative_basename+0x27f>
nopl   0x0(%rax)
movzbl (%rbx),%eax
add    $0x1,%r14d
add    $0x1,%rbx
test   %al,%al
je     1406 <wfile_relative_basename+0x2a6>
movsbl %al,%edi
call   1050 <wfile_eitherslash@plt>
test   %rax,%rax
je     13d0 <wfile_relative_basename+0x270>
mov    %r14d,%eax
cmpb   $0x0,0x0(%r13,%rax,1)
je     13d0 <wfile_relative_basename+0x270>
mov    0x8(%rsp),%rdi
mov    %r12,%rsi
call   1070 <strcat@plt>
jmp    13d0 <wfile_relative_basename+0x270>
mov    0x8(%rsp),%rbx
cmpb   $0x0,(%rbx)
jne    141f <wfile_relative_basename+0x2bf>
lea    0xbf0(%rip),%rsi
mov    %rbx,%rdi
call   1070 <strcat@plt>
add    0x10(%rsp),%ebp
movslq %ebp,%rax
add    %rax,%r15
mov    %rbx,%rdi
mov    %r15,%rsi
call   1070 <strcat@plt>
mov    %rbx,%rdi
add    $0x38,%rsp
pop    %rbx
pop    %r12
pop    %r13
pop    %r14
pop    %r15
pop    %rbp
jmp    1030 <wfile_reslash@plt>
add    $0x1,%ecx
mov    0x18(%rsp),%rsi
add    %rcx,%rsi
mov    0x8(%rsp),%rdi
jmp    1349 <wfile_relative_basename+0x1e9>

LLVM IR (-O0):
@.str = [7 x i8] c"..%c%s\00"
@.str.1 = [4 x i8] c"../\00"
define void @wfile_relative_basename(i8* %0, i8* %1, i8* %2) {
%4 = alloca i8*
%5 = alloca i8*
%6 = alloca i8*
%7 = alloca i32
%8 = alloca i32
%9 = alloca i32
%10 = alloca i32
store i8* %0, i8** %4
store i8* %1, i8** %5
store i8* %2, i8** %6
%11 = load i8*, i8** %4
%12 = getelementptr inbounds i8, i8* %11, i64 0
store i8 0, i8* %12
store i32 0, i32* %7
br label %13
13: ; preds = %32, %3
%14 = load i8*, i8** %6
%15 = load i32, i32* %7
%16 = sext i32 %15 to i64
%17 = getelementptr inbounds i8, i8* %14, i64 %16
%18 = load i8, i8* %17
%19 = sext i8 %18 to i32
%20 = icmp ne i32 %19, 0
br i1 %20, label %21, label %29
21: ; preds = %13
%22 = load i8*, i8** %6
%23 = load i32, i32* %7
%24 = sext i32 %23 to i64
%25 = getelementptr inbounds i8, i8* %22, i64 %24
%26 = load i8, i8* %25
%27 = sext i8 %26 to i32
%28 = icmp ne i32 %27, 58
br label %29
29: ; preds = %21, %13
%30 = phi i1 [ false, %13 ], [ %28, %21 ]
br i1 %30, label %31, label %35
31: ; preds = %29
br label %32
32: ; preds = %31
%33 = load i32, i32* %7
%34 = add nsw i32 %33, 1
store i32 %34, i32* %7
br label %13
35: ; preds = %29
%36 = load i8*, i8** %6
%37 = load i32, i32* %7
%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 eq i32 %41, 0
br i1 %42, label %43, label %44
43: ; preds = %35
store i32 0, i32* %7
br label %44
44: ; preds = %43, %35
br label %45
45: ; preds = %54, %44
%46 = load i8*, i8** %6
%47 = load i32, i32* %7
%48 = sext i32 %47 to i64
%49 = getelementptr inbounds i8, i8* %46, i64 %48
%50 = load i8, i8* %49
%51 = call i64 @wfile_eitherslash(i8 signext %50)
%52 = icmp ne i64 %51, 0
br i1 %52, label %53, label %57
53: ; preds = %45
br label %54
54: ; preds = %53
%55 = load i32, i32* %7
%56 = add nsw i32 %55, 1
store i32 %56, i32* %7
br label %45
57: ; preds = %45
store i32 0, i32* %8
br label %58
58: ; preds = %77, %57
%59 = load i8*, i8** %5
%60 = load i32, i32* %8
%61 = sext i32 %60 to i64
%62 = getelementptr inbounds i8, i8* %59, i64 %61
%63 = load i8, i8* %62
%64 = sext i8 %63 to i32
%65 = icmp ne i32 %64, 0
br i1 %65, label %66, label %74
66: ; preds = %58
%67 = load i8*, i8** %5
%68 = load i32, i32* %8
%69 = sext i32 %68 to i64
%70 = getelementptr inbounds i8, i8* %67, i64 %69
%71 = load i8, i8* %70
%72 = sext i8 %71 to i32
%73 = icmp ne i32 %72, 58
br label %74
74: ; preds = %66, %58
%75 = phi i1 [ false, %58 ], [ %73, %66 ]
br i1 %75, label %76, label %80
76: ; preds = %74
br label %77
77: ; preds = %76
%78 = load i32, i32* %8
%79 = add nsw i32 %78, 1
store i32 %79, i32* %8
br label %58
80: ; preds = %74
%81 = load i8*, i8** %5
%82 = load i32, i32* %8
%83 = sext i32 %82 to i64
%84 = getelementptr inbounds i8, i8* %81, i64 %83
%85 = load i8, i8* %84
%86 = sext i8 %85 to i32
%87 = icmp eq i32 %86, 0
br i1 %87, label %88, label %89
88: ; preds = %80
store i32 0, i32* %8
br label %89
89: ; preds = %88, %80
%90 = load i8*, i8** %6
%91 = load i32, i32* %7
%92 = sext i32 %91 to i64
%93 = getelementptr inbounds i8, i8* %90, i64 %92
%94 = load i8, i8* %93
%95 = sext i8 %94 to i32
%96 = icmp eq i32 %95, 0
br i1 %96, label %97, label %104
97: ; preds = %89
%98 = load i8*, i8** %4
%99 = load i8*, i8** %5
%100 = load i32, i32* %8
%101 = sext i32 %100 to i64
%102 = getelementptr inbounds i8, i8* %99, i64 %101
%103 = call i32 @strcpy(i8* %98, i8* %102)
br label %287
104: ; preds = %89
br label %105
105: ; preds = %114, %104
%106 = load i8*, i8** %5
%107 = load i32, i32* %8
%108 = sext i32 %107 to i64
%109 = getelementptr inbounds i8, i8* %106, i64 %108
%110 = load i8, i8* %109
%111 = call i64 @wfile_eitherslash(i8 signext %110)
%112 = icmp ne i64 %111, 0
br i1 %112, label %113, label %117
113: ; preds = %105
br label %114
114: ; preds = %113
%115 = load i32, i32* %8
%116 = add nsw i32 %115, 1
store i32 %116, i32* %8
br label %105
117: ; preds = %105
%118 = load i32, i32* %8
store i32 %118, i32* %10
store i32 0, i32* %9
br label %119
119: ; preds = %223, %117
br i1 true, label %120, label %226
120: ; preds = %119
%121 = load i8*, i8** %6
%122 = load i32, i32* %7
%123 = load i32, i32* %9
%124 = add nsw i32 %122, %123
%125 = sext i32 %124 to i64
%126 = getelementptr inbounds i8, i8* %121, i64 %125
%127 = load i8, i8* %126
%128 = sext i8 %127 to i32
%129 = icmp eq i32 %128, 0
br i1 %129, label %130, label %159
130: ; preds = %120
%131 = load i8*, i8** %5
%132 = load i32, i32* %8
%133 = load i32, i32* %9
%134 = add nsw i32 %132, %133
%135 = sext i32 %134 to i64
%136 = getelementptr inbounds i8, i8* %131, i64 %135
%137 = load i8, i8* %136
%138 = call i64 @wfile_eitherslash(i8 signext %137)
%139 = icmp ne i64 %138, 0
br i1 %139, label %140, label %150
140: ; preds = %130
%141 = load i8*, i8** %4
%142 = load i8*, i8** %5
%143 = load i32, i32* %8
%144 = load i32, i32* %9
%145 = add nsw i32 %143, %144
%146 = add nsw i32 %145, 1
%147 = sext i32 %146 to i64
%148 = getelementptr inbounds i8, i8* %142, i64 %147
%149 = call i32 @strcpy(i8* %141, i8* %148)
br label %287
150: ; preds = %130
%151 = load i8*, i8** %4
%152 = load i8*, i8** %5
%153 = load i32, i32* %8
%154 = load i32, i32* %10
%155 = add nsw i32 %153, %154
%156 = sext i32 %155 to i64
%157 = getelementptr inbounds i8, i8* %152, i64 %156
%158 = call i32 @sprintf(i8* %151, i8* getelementptr inbounds ([7 x i8], [7 x i8]* @.str, i64 0, i64 0), i8 signext 47, i8* %157)
br label %287
159: ; preds = %120
%160 = load i8*, i8** %6
%161 = load i32, i32* %7
%162 = load i32, i32* %9
%163 = add nsw i32 %161, %162
%164 = sext i32 %163 to i64
%165 = getelementptr inbounds i8, i8* %160, i64 %164
%166 = load i8, i8* %165
%167 = call i64 @wfile_eitherslash(i8 signext %166)
%168 = icmp ne i64 %167, 0
br i1 %168, label %169, label %203
169: ; preds = %159
%170 = load i8*, i8** %5
%171 = load i32, i32* %8
%172 = load i32, i32* %9
%173 = add nsw i32 %171, %172
%174 = sext i32 %173 to i64
%175 = getelementptr inbounds i8, i8* %170, i64 %174
%176 = load i8, i8* %175
%177 = call i64 @wfile_eitherslash(i8 signext %176)
%178 = icmp ne i64 %177, 0
br i1 %178, label %179, label %203
179: ; preds = %169
%180 = load i32, i32* %9
%181 = add nsw i32 %180, 1
store i32 %181, i32* %10
%182 = load i8*, i8** %6
%183 = load i32, i32* %7
%184 = load i32, i32* %9
%185 = add nsw i32 %183, %184
%186 = add nsw i32 %185, 1
%187 = sext i32 %186 to i64
%188 = getelementptr inbounds i8, i8* %182, i64 %187
%189 = load i8, i8* %188
%190 = sext i8 %189 to i32
%191 = icmp eq i32 %190, 0
br i1 %191, label %192, label %202
192: ; preds = %179
%193 = load i8*, i8** %4
%194 = load i8*, i8** %5
%195 = load i32, i32* %8
%196 = load i32, i32* %9
%197 = add nsw i32 %195, %196
%198 = add nsw i32 %197, 1
%199 = sext i32 %198 to i64
%200 = getelementptr inbounds i8, i8* %194, i64 %199
%201 = call i32 @strcpy(i8* %193, i8* %200)
br label %287
202: ; preds = %179
br label %223
203: ; preds = %169, %159
%204 = load i8*, i8** %6
%205 = load i32, i32* %7
%206 = load i32, i32* %9
%207 = add nsw i32 %205, %206
%208 = sext i32 %207 to i64
%209 = getelementptr inbounds i8, i8* %204, i64 %208
%210 = load i8, i8* %209
%211 = call i64 @tolower(i8 signext %210)
%212 = load i8*, i8** %5
%213 = load i32, i32* %8
%214 = load i32, i32* %9
%215 = add nsw i32 %213, %214
%216 = sext i32 %215 to i64
%217 = getelementptr inbounds i8, i8* %212, i64 %216
%218 = load i8, i8* %217
%219 = call i64 @tolower(i8 signext %218)
%220 = icmp eq i64 %211, %219
br i1 %220, label %221, label %222
221: ; preds = %203
br label %223
222: ; preds = %203
br label %226
223: ; preds = %221, %202
%224 = load i32, i32* %9
%225 = add nsw i32 %224, 1
store i32 %225, i32* %9
br label %119
226: ; preds = %222, %119
%227 = load i8*, i8** %4
%228 = call i32 @strcpy(i8* %227, i8* getelementptr inbounds ([4 x i8], [4 x i8]* @.str.1, i64 0, i64 0))
br label %229
229: ; preds = %264, %226
%230 = load i8*, i8** %6
%231 = load i32, i32* %7
%232 = load i32, i32* %9
%233 = add nsw i32 %231, %232
%234 = sext i32 %233 to i64
%235 = getelementptr inbounds i8, i8* %230, i64 %234
%236 = load i8, i8* %235
%237 = sext i8 %236 to i32
%238 = icmp ne i32 %237, 0
br i1 %238, label %239, label %267
239: ; preds = %229
%240 = load i8*, i8** %6
%241 = load i32, i32* %7
%242 = load i32, i32* %9
%243 = add nsw i32 %241, %242
%244 = sext i32 %243 to i64
%245 = getelementptr inbounds i8, i8* %240, i64 %244
%246 = load i8, i8* %245
%247 = call i64 @wfile_eitherslash(i8 signext %246)
%248 = icmp ne i64 %247, 0
br i1 %248, label %249, label %263
249: ; preds = %239
%250 = load i8*, i8** %6
%251 = load i32, i32* %7
%252 = load i32, i32* %9
%253 = add nsw i32 %251, %252
%254 = add nsw i32 %253, 1
%255 = sext i32 %254 to i64
%256 = getelementptr inbounds i8, i8* %250, i64 %255
%257 = load i8, i8* %256
%258 = sext i8 %257 to i32
%259 = icmp ne i32 %258, 0
br i1 %259, label %260, label %263
260: ; preds = %249
%261 = load i8*, i8** %4
%262 = call i32 @strcat(i8* %261, i8* getelementptr inbounds ([4 x i8], [4 x i8]* @.str.1, i64 0, i64 0))
br label %263
263: ; preds = %260, %249, %239
br label %264
264: ; preds = %263
%265 = load i32, i32* %9
%266 = add nsw i32 %265, 1
store i32 %266, i32* %9
br label %229
267: ; preds = %229
%268 = load i8*, i8** %4
%269 = getelementptr inbounds i8, i8* %268, i64 0
%270 = load i8, i8* %269
%271 = sext i8 %270 to i32
%272 = icmp eq i32 %271, 0
br i1 %272, label %273, label %276
273: ; preds = %267
%274 = load i8*, i8** %4
%275 = call i32 @strcat(i8* %274, i8* getelementptr inbounds ([4 x i8], [4 x i8]* @.str.1, i64 0, i64 0))
br label %276
276: ; preds = %273, %267
%277 = load i8*, i8** %4
%278 = load i8*, i8** %5
%279 = load i32, i32* %8
%280 = load i32, i32* %10
%281 = add nsw i32 %279, %280
%282 = sext i32 %281 to i64
%283 = getelementptr inbounds i8, i8* %278, i64 %282
%284 = call i32 @strcat(i8* %277, i8* %283)
%285 = load i8*, i8** %4
%286 = call i32 @wfile_reslash(i8* %285)
br label %287
287: ; preds = %276, %192, %150, %140, %97
ret void
}

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