#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 strlen(char const *);
int /*<<< orphan*/ strncpy(char *, char const *, int);
char *mc_base_name(char *outbuf, const char *path, char pathsep) {
  const char *endp, *startp;
  int len;
  if (path == NULL || *path == '\0') {
    outbuf[0] = '.';
    outbuf[1] = '\0';
    return outbuf;
  }
  endp = path + strlen(path) - 1;
  while (endp > path && *endp == pathsep) {
    endp--;
  }
  if (endp == path && *endp == pathsep) {
    outbuf[0] = pathsep;
    outbuf[1] = '\0';
    return outbuf;
  }
  startp = endp;
  while (startp > path && *(startp - 1) != pathsep) {
    startp--;
  }
  len = (int)(endp - startp + 1);
  strncpy(outbuf, startp, len);
  outbuf[len] = '\0';
  return outbuf;
}


x86 assembly (clang, -O0):
<mc_base_name>:
push   %rbp
mov    %rsp,%rbp
sub    $0x50,%rsp
mov    %dl,%al
mov    %rdi,-0x10(%rbp)
mov    %rsi,-0x18(%rbp)
mov    %al,-0x19(%rbp)
cmpq   $0x0,-0x18(%rbp)
je     1150 <mc_base_name+0x30>
mov    -0x18(%rbp),%rax
movsbl (%rax),%eax
cmp    $0x0,%eax
jne    116c <mc_base_name+0x4c>
mov    -0x10(%rbp),%rax
movb   $0x2e,(%rax)
mov    -0x10(%rbp),%rax
movb   $0x0,0x1(%rax)
mov    -0x10(%rbp),%rax
mov    %rax,-0x8(%rbp)
jmp    129d <mc_base_name+0x17d>
mov    -0x18(%rbp),%rax
mov    %rax,-0x40(%rbp)
mov    -0x18(%rbp),%rdi
call   1040 <strlen@plt>
mov    %eax,%ecx
mov    -0x40(%rbp),%rax
movslq %ecx,%rcx
add    %rcx,%rax
add    $0xffffffffffffffff,%rax
mov    %rax,-0x28(%rbp)
mov    -0x28(%rbp),%rcx
xor    %eax,%eax
cmp    -0x18(%rbp),%rcx
mov    %al,-0x41(%rbp)
jbe    11b7 <mc_base_name+0x97>
mov    -0x28(%rbp),%rax
movsbl (%rax),%eax
movsbl -0x19(%rbp),%ecx
cmp    %ecx,%eax
sete   %al
mov    %al,-0x41(%rbp)
mov    -0x41(%rbp),%al
test   $0x1,%al
jne    11c7 <mc_base_name+0xa7>
jmp    11d8 <mc_base_name+0xb8>
mov    -0x28(%rbp),%rax
add    $0xffffffffffffffff,%rax
mov    %rax,-0x28(%rbp)
jmp    1191 <mc_base_name+0x71>
mov    -0x28(%rbp),%rax
cmp    -0x18(%rbp),%rax
jne    1217 <mc_base_name+0xf7>
mov    -0x28(%rbp),%rax
movsbl (%rax),%eax
movsbl -0x19(%rbp),%ecx
cmp    %ecx,%eax
jne    1217 <mc_base_name+0xf7>
mov    -0x19(%rbp),%cl
mov    -0x10(%rbp),%rax
mov    %cl,(%rax)
mov    -0x10(%rbp),%rax
movb   $0x0,0x1(%rax)
mov    -0x10(%rbp),%rax
mov    %rax,-0x8(%rbp)
jmp    129d <mc_base_name+0x17d>
mov    -0x28(%rbp),%rax
mov    %rax,-0x30(%rbp)
mov    -0x30(%rbp),%rcx
xor    %eax,%eax
cmp    -0x18(%rbp),%rcx
mov    %al,-0x42(%rbp)
jbe    1246 <mc_base_name+0x126>
mov    -0x30(%rbp),%rax
movsbl -0x1(%rax),%eax
movsbl -0x19(%rbp),%ecx
cmp    %ecx,%eax
setne  %al
mov    %al,-0x42(%rbp)
mov    -0x42(%rbp),%al
test   $0x1,%al
jne    1256 <mc_base_name+0x136>
jmp    1267 <mc_base_name+0x147>
mov    -0x30(%rbp),%rax
add    $0xffffffffffffffff,%rax
mov    %rax,-0x30(%rbp)
jmp    121f <mc_base_name+0xff>
mov    -0x28(%rbp),%rax
mov    -0x30(%rbp),%rcx
sub    %rcx,%rax
add    $0x1,%rax
mov    %eax,-0x34(%rbp)
mov    -0x10(%rbp),%rdi
mov    -0x30(%rbp),%rsi
mov    -0x34(%rbp),%edx
call   1030 <strncpy@plt>
mov    -0x10(%rbp),%rax
movslq -0x34(%rbp),%rcx
movb   $0x0,(%rax,%rcx,1)
mov    -0x10(%rbp),%rax
mov    %rax,-0x8(%rbp)
mov    -0x8(%rbp),%rax
add    $0x50,%rsp
pop    %rbp
ret

x86 assembly (clang, -O2):
<mc_base_name>:
push   %rbp
push   %r15
push   %r14
push   %rbx
push   %rax
mov    %rdi,%r14
test   %rsi,%rsi
je     1174 <mc_base_name+0x54>
mov    %rsi,%rbx
cmpb   $0x0,(%rsi)
je     1174 <mc_base_name+0x54>
mov    %edx,%r15d
mov    %rbx,%rdi
call   1040 <strlen@plt>
movslq %eax,%rdx
add    $0xffffffffffffffff,%rdx
nopl   0x0(%rax)
mov    %rdx,%rcx
lea    (%rbx,%rdx,1),%rax
cmp    %rbx,%rax
jbe    1165 <mc_base_name+0x45>
lea    -0x1(%rcx),%rdx
cmp    %r15b,(%rax)
je     1150 <mc_base_name+0x30>
test   %rcx,%rcx
jne    117f <mc_base_name+0x5f>
cmp    %r15b,(%rbx)
jne    117f <mc_base_name+0x5f>
mov    %r15b,(%r14)
jmp    1178 <mc_base_name+0x58>
movb   $0x2e,(%r14)
mov    $0x1,%eax
jmp    11b4 <mc_base_name+0x94>
mov    $0x1,%ecx
cs nopw 0x0(%rax,%rax,1)
xchg   %ax,%ax
mov    %rax,%rsi
mov    %ecx,%ebp
cmp    %rbx,%rax
jbe    11a7 <mc_base_name+0x87>
lea    -0x1(%rsi),%rax
lea    0x1(%rbp),%ecx
cmp    %r15b,-0x1(%rsi)
jne    1190 <mc_base_name+0x70>
mov    %r14,%rdi
mov    %ebp,%edx
call   1030 <strncpy@plt>
movslq %ebp,%rax
movb   $0x0,(%r14,%rax,1)
mov    %r14,%rax
add    $0x8,%rsp
pop    %rbx
pop    %r14
pop    %r15
pop    %rbp
ret

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

LLVM IR (-O2):
define i8* @mc_base_name(i8* returned %0, i8* %1, i8 signext %2) {
%4 = icmp eq i8* %1, null
br i1 %4, label %8, label %5
5: ; preds = %3
%6 = load i8, i8* %1
%7 = icmp eq i8 %6, 0
br i1 %7, label %8, label %9
8: ; preds = %5, %3
store i8 46, i8* %0
br label %42
9: ; preds = %5
%10 = tail call i32 @strlen(i8* %1)
%11 = sext i32 %10 to i64
%12 = getelementptr inbounds i8, i8* %1, i64 %11
br label %13
13: ; preds = %17, %9
%14 = phi i8* [ %12, %9 ], [ %15, %17 ]
%15 = getelementptr inbounds i8, i8* %14, i64 -1
%16 = icmp ugt i8* %15, %1
br i1 %16, label %17, label %20
17: ; preds = %13
%18 = load i8, i8* %15
%19 = icmp eq i8 %18, %2
br i1 %19, label %13, label %20
20: ; preds = %13, %17
%21 = icmp eq i8* %15, %1
br i1 %21, label %23, label %22
22: ; preds = %23, %20
br label %27
23: ; preds = %20
%24 = load i8, i8* %1
%25 = icmp eq i8 %24, %2
br i1 %25, label %26, label %22
26: ; preds = %23
store i8 %2, i8* %0
br label %42
27: ; preds = %22, %30
%28 = phi i8* [ %31, %30 ], [ %15, %22 ]
%29 = icmp ugt i8* %28, %1
br i1 %29, label %30, label %34
30: ; preds = %27
%31 = getelementptr inbounds i8, i8* %28, i64 -1
%32 = load i8, i8* %31
%33 = icmp eq i8 %32, %2
br i1 %33, label %34, label %27
34: ; preds = %27, %30
%35 = ptrtoint i8* %15 to i64
%36 = ptrtoint i8* %28 to i64
%37 = sub i64 %35, %36
%38 = trunc i64 %37 to i32
%39 = add i32 %38, 1
%40 = tail call i32 @strncpy(i8* %0, i8* %28, i32 %39)
%41 = sext i32 %39 to i64
br label %42
42: ; preds = %34, %26, %8
%43 = phi i64 [ %41, %34 ], [ 1, %26 ], [ 1, %8 ]
%44 = getelementptr inbounds i8, i8* %0, i64 %43
store i8 0, i8* %44
ret i8* %0
}