#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 *dirname(char *path) {
  static const char null_or_empty_or_noslash[] = ".";
  register char *s;
  register char *last;
  char *first;
  last = s = path;
  if (s != NULL) {
  LOOP:
    while (*s && (*s != '/'))
      ++s;
    first = s;
    while (*s == '/')
      ++s;
    if (*s) {
      last = first;
      goto LOOP;
    }
    if (last == path) {
      if (*last != '/') {
        goto DOT;
      }
      if ((*++last == '/') && (last[1] == 0)) {
        ++last;
      }
    }
    *last = 0;
    return path;
  }
DOT:
  return (char *)null_or_empty_or_noslash;
}


x86 assembly (clang, -O0):
<dirname>:
push   %rbp
mov    %rsp,%rbp
mov    %rdi,-0x10(%rbp)
mov    -0x10(%rbp),%rax
mov    %rax,-0x18(%rbp)
mov    %rax,-0x20(%rbp)
cmpq   $0x0,-0x18(%rbp)
je     1227 <dirname+0x127>
jmp    1124 <dirname+0x24>
jmp    1129 <dirname+0x29>
mov    -0x18(%rbp),%rax
movsbl (%rax),%ecx
xor    %eax,%eax
cmp    $0x0,%ecx
mov    %al,-0x29(%rbp)
je     114e <dirname+0x4e>
mov    -0x18(%rbp),%rax
movsbl (%rax),%eax
cmp    $0x2f,%eax
setne  %al
mov    %al,-0x29(%rbp)
mov    -0x29(%rbp),%al
test   $0x1,%al
jne    115e <dirname+0x5e>
jmp    116f <dirname+0x6f>
mov    -0x18(%rbp),%rax
add    $0x1,%rax
mov    %rax,-0x18(%rbp)
jmp    1129 <dirname+0x29>
mov    -0x18(%rbp),%rax
mov    %rax,-0x28(%rbp)
mov    -0x18(%rbp),%rax
movsbl (%rax),%eax
cmp    $0x2f,%eax
jne    1198 <dirname+0x98>
mov    -0x18(%rbp),%rax
add    $0x1,%rax
mov    %rax,-0x18(%rbp)
jmp    1177 <dirname+0x77>
mov    -0x18(%rbp),%rax
cmpb   $0x0,(%rax)
je     11b2 <dirname+0xb2>
mov    -0x28(%rbp),%rax
mov    %rax,-0x20(%rbp)
jmp    1124 <dirname+0x24>
mov    -0x20(%rbp),%rax
cmp    -0x10(%rbp),%rax
jne    1213 <dirname+0x113>
mov    -0x20(%rbp),%rax
movsbl (%rax),%eax
cmp    $0x2f,%eax
je     11d5 <dirname+0xd5>
jmp    122c <dirname+0x12c>
mov    -0x20(%rbp),%rax
mov    %rax,%rcx
add    $0x1,%rcx
mov    %rcx,-0x20(%rbp)
movsbl 0x1(%rax),%eax
cmp    $0x2f,%eax
jne    120e <dirname+0x10e>
mov    -0x20(%rbp),%rax
movsbl 0x1(%rax),%eax
cmp    $0x0,%eax
jne    120e <dirname+0x10e>
mov    -0x20(%rbp),%rax
add    $0x1,%rax
mov    %rax,-0x20(%rbp)
jmp    1213 <dirname+0x113>
mov    -0x20(%rbp),%rax
movb   $0x0,(%rax)
mov    -0x10(%rbp),%rax
mov    %rax,-0x8(%rbp)
jmp    1237 <dirname+0x137>
jmp    122c <dirname+0x12c>
lea    0xdcd(%rip),%rax
mov    %rax,-0x8(%rbp)
mov    -0x8(%rbp),%rax
pop    %rbp
ret

x86 assembly (clang, -O2):
<dirname>:
lea    0xef9(%rip),%rax
test   %rdi,%rdi
je     1172 <dirname+0x72>
mov    %rdi,%rsi
mov    %rdi,%r8
mov    %rsi,%rdx
cs nopw 0x0(%rax,%rax,1)
nop
movzbl (%rdx),%ecx
cmp    $0x2f,%cl
je     1140 <dirname+0x40>
test   %cl,%cl
je     1140 <dirname+0x40>
add    $0x1,%rdx
jmp    1120 <dirname+0x20>
cs nopw 0x0(%rax,%rax,1)
nopl   0x0(%rax)
mov    %rdx,%rsi
cmp    $0x2f,%cl
jne    115d <dirname+0x5d>
nopl   0x0(%rax,%rax,1)
movzbl 0x1(%rsi),%ecx
add    $0x1,%rsi
cmp    $0x2f,%cl
je     1150 <dirname+0x50>
test   %cl,%cl
je     1166 <dirname+0x66>
mov    %rdx,%r8
jmp    1112 <dirname+0x12>
cmp    %rdi,%r8
je     1173 <dirname+0x73>
movb   $0x0,(%r8)
mov    %rdi,%rax
ret
cmpb   $0x2f,(%rdi)
jne    1172 <dirname+0x72>
lea    0x1(%rdi),%r8
cmpb   $0x2f,0x1(%rdi)
jne    116b <dirname+0x6b>
lea    0x2(%rdi),%rax
cmpb   $0x0,0x2(%rdi)
cmove  %rax,%r8
jmp    116b <dirname+0x6b>

LLVM IR (-O0):
@dirname.null_or_empty_or_noslash = internal constant [2 x i8] c".\00"
define i8* @dirname(i8* %0) {
%2 = alloca i8*
%3 = alloca i8*
%4 = alloca i8*
%5 = alloca i8*
%6 = alloca i8*
store i8* %0, i8** %3
%7 = load i8*, i8** %3
store i8* %7, i8** %4
store i8* %7, i8** %5
%8 = load i8*, i8** %4
%9 = icmp ne i8* %8, null
br i1 %9, label %10, label %72
10: ; preds = %1
br label %11
11: ; preds = %41, %10
br label %12
12: ; preds = %24, %11
%13 = load i8*, i8** %4
%14 = load i8, i8* %13
%15 = sext i8 %14 to i32
%16 = icmp ne i32 %15, 0
br i1 %16, label %17, label %22
17: ; preds = %12
%18 = load i8*, i8** %4
%19 = load i8, i8* %18
%20 = sext i8 %19 to i32
%21 = icmp ne i32 %20, 47
br label %22
22: ; preds = %17, %12
%23 = phi i1 [ false, %12 ], [ %21, %17 ]
br i1 %23, label %24, label %27
24: ; preds = %22
%25 = load i8*, i8** %4
%26 = getelementptr inbounds i8, i8* %25, i32 1
store i8* %26, i8** %4
br label %12
27: ; preds = %22
%28 = load i8*, i8** %4
store i8* %28, i8** %6
br label %29
29: ; preds = %34, %27
%30 = load i8*, i8** %4
%31 = load i8, i8* %30
%32 = sext i8 %31 to i32
%33 = icmp eq i32 %32, 47
br i1 %33, label %34, label %37
34: ; preds = %29
%35 = load i8*, i8** %4
%36 = getelementptr inbounds i8, i8* %35, i32 1
store i8* %36, i8** %4
br label %29
37: ; preds = %29
%38 = load i8*, i8** %4
%39 = load i8, i8* %38
%40 = icmp ne i8 %39, 0
br i1 %40, label %41, label %43
41: ; preds = %37
%42 = load i8*, i8** %6
store i8* %42, i8** %5
br label %11
43: ; preds = %37
%44 = load i8*, i8** %5
%45 = load i8*, i8** %3
%46 = icmp eq i8* %44, %45
br i1 %46, label %47, label %69
47: ; preds = %43
%48 = load i8*, i8** %5
%49 = load i8, i8* %48
%50 = sext i8 %49 to i32
%51 = icmp ne i32 %50, 47
br i1 %51, label %52, label %53
52: ; preds = %47
br label %73
53: ; preds = %47
%54 = load i8*, i8** %5
%55 = getelementptr inbounds i8, i8* %54, i32 1
store i8* %55, i8** %5
%56 = load i8, i8* %55
%57 = sext i8 %56 to i32
%58 = icmp eq i32 %57, 47
br i1 %58, label %59, label %68
59: ; preds = %53
%60 = load i8*, i8** %5
%61 = getelementptr inbounds i8, i8* %60, i64 1
%62 = load i8, i8* %61
%63 = sext i8 %62 to i32
%64 = icmp eq i32 %63, 0
br i1 %64, label %65, label %68
65: ; preds = %59
%66 = load i8*, i8** %5
%67 = getelementptr inbounds i8, i8* %66, i32 1
store i8* %67, i8** %5
br label %68
68: ; preds = %65, %59, %53
br label %69
69: ; preds = %68, %43
%70 = load i8*, i8** %5
store i8 0, i8* %70
%71 = load i8*, i8** %3
store i8* %71, i8** %2
br label %74
72: ; preds = %1
br label %73
73: ; preds = %72, %52
store i8* getelementptr inbounds ([2 x i8], [2 x i8]* @dirname.null_or_empty_or_noslash, i64 0, i64 0), i8** %2
br label %74
74: ; preds = %73, %69
%75 = load i8*, i8** %2
ret i8* %75
}

LLVM IR (-O2):
@dirname.null_or_empty_or_noslash = internal constant [2 x i8] c".\00"
define i8* @dirname(i8* %0) {
%2 = icmp eq i8* %0, null
br i1 %2, label %34, label %3
3: ; preds = %12, %1
%4 = phi i8* [ %0, %1 ], [ %14, %12 ]
%5 = phi i8* [ %0, %1 ], [ %7, %12 ]
br label %6
6: ; preds = %10, %3
%7 = phi i8* [ %4, %3 ], [ %11, %10 ]
%8 = load i8, i8* %7
switch i8 %8, label %10 [
i8 0, label %9
i8 47, label %9
]
9: ; preds = %6, %6
br label %12
10: ; preds = %6
%11 = getelementptr inbounds i8, i8* %7, i64 1
br label %6
12: ; preds = %9, %15
%13 = phi i8 [ %17, %15 ], [ %8, %9 ]
%14 = phi i8* [ %16, %15 ], [ %7, %9 ]
switch i8 %13, label %3 [
i8 47, label %15
i8 0, label %18
]
15: ; preds = %12
%16 = getelementptr inbounds i8, i8* %14, i64 1
%17 = load i8, i8* %16
br label %12
18: ; preds = %12
%19 = icmp eq i8* %5, %0
br i1 %19, label %20, label %32
20: ; preds = %18
%21 = load i8, i8* %0
%22 = icmp eq i8 %21, 47
br i1 %22, label %23, label %34
23: ; preds = %20
%24 = getelementptr inbounds i8, i8* %0, i64 1
%25 = load i8, i8* %24
%26 = icmp eq i8 %25, 47
br i1 %26, label %27, label %32
27: ; preds = %23
%28 = getelementptr inbounds i8, i8* %0, i64 2
%29 = load i8, i8* %28
%30 = icmp eq i8 %29, 0
%31 = select i1 %30, i8* %28, i8* %24
br label %32
32: ; preds = %27, %23, %18
%33 = phi i8* [ %24, %23 ], [ %5, %18 ], [ %31, %27 ]
store i8 0, i8* %33
br label %34
34: ; preds = %20, %1, %32
%35 = phi i8* [ %0, %32 ], [ getelementptr inbounds ([2 x i8], [2 x i8]* @dirname.null_or_empty_or_noslash, i64 0, i64 0), %1 ], [ getelementptr inbounds ([2 x i8], [2 x i8]* @dirname.null_or_empty_or_noslash, i64 0, i64 0), %20 ]
ret i8* %35
}