#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 */
size_t strlen(char const *);
char *basename_r(const char *path, char *bname) {
  size_t path_len;
  int i;
  int ch;
  int slash_index;
  size_t bname_len;
  path_len = strlen(path);
  slash_index = -1;
  for (i = 0; i < path_len; i++) {
    ch = path[i];
    if (ch == '/') {
      slash_index = i;
    }
  }
  bname_len = 0;
  for (i = slash_index + 1; i < path_len; i++) {
    *bname++ = path[i];
    bname_len++;
  }
  *bname = '\0';
  return bname;
}


x86 assembly (clang, -O0):
<basename_r>:
push   %rbp
mov    %rsp,%rbp
sub    $0x30,%rsp
mov    %rdi,-0x8(%rbp)
mov    %rsi,-0x10(%rbp)
mov    -0x8(%rbp),%rdi
call   1030 <strlen@plt>
mov    %rax,-0x18(%rbp)
movl   $0xffffffff,-0x24(%rbp)
movl   $0x0,-0x1c(%rbp)
movslq -0x1c(%rbp),%rax
cmp    -0x18(%rbp),%rax
jae    117b <basename_r+0x6b>
mov    -0x8(%rbp),%rax
movslq -0x1c(%rbp),%rcx
movsbl (%rax,%rcx,1),%eax
mov    %eax,-0x20(%rbp)
cmpl   $0x2f,-0x20(%rbp)
jne    1168 <basename_r+0x58>
mov    -0x1c(%rbp),%eax
mov    %eax,-0x24(%rbp)
jmp    116d <basename_r+0x5d>
mov    -0x1c(%rbp),%eax
add    $0x1,%eax
mov    %eax,-0x1c(%rbp)
jmp    113b <basename_r+0x2b>
movq   $0x0,-0x30(%rbp)
mov    -0x24(%rbp),%eax
add    $0x1,%eax
mov    %eax,-0x1c(%rbp)
movslq -0x1c(%rbp),%rax
cmp    -0x18(%rbp),%rax
jae    11d0 <basename_r+0xc0>
mov    -0x8(%rbp),%rax
movslq -0x1c(%rbp),%rcx
mov    (%rax,%rcx,1),%cl
mov    -0x10(%rbp),%rax
mov    %rax,%rdx
add    $0x1,%rdx
mov    %rdx,-0x10(%rbp)
mov    %cl,(%rax)
mov    -0x30(%rbp),%rax
add    $0x1,%rax
mov    %rax,-0x30(%rbp)
mov    -0x1c(%rbp),%eax
add    $0x1,%eax
mov    %eax,-0x1c(%rbp)
jmp    118c <basename_r+0x7c>
mov    -0x10(%rbp),%rax
movb   $0x0,(%rax)
mov    -0x10(%rbp),%rax
add    $0x30,%rsp
pop    %rbp
ret

x86 assembly (clang, -O2):
<basename_r>:
push   %r15
push   %r14
push   %rbx
mov    %rsi,%r15
mov    %rdi,%r14
call   1030 <strlen@plt>
test   %rax,%rax
je     12d5 <basename_r+0x1c5>
lea    -0x1(%rax),%rdx
mov    %eax,%ecx
and    $0x3,%ecx
cmp    $0x3,%rdx
jae    1141 <basename_r+0x31>
mov    $0xffffffff,%esi
xor    %edx,%edx
jmp    1185 <basename_r+0x75>
mov    %rax,%r8
and    $0xfffffffffffffffc,%r8
mov    $0xffffffff,%esi
xor    %edx,%edx
nop
cmpb   $0x2f,(%r14,%rdx,1)
cmove  %edx,%esi
cmpb   $0x2f,0x1(%r14,%rdx,1)
lea    0x1(%rdx),%edi
cmovne %esi,%edi
lea    0x2(%rdx),%ebx
cmpb   $0x2f,0x2(%r14,%rdx,1)
cmovne %edi,%ebx
lea    0x3(%rdx),%esi
cmpb   $0x2f,0x3(%r14,%rdx,1)
cmovne %ebx,%esi
add    $0x4,%rdx
cmp    %r8,%rdx
jne    1150 <basename_r+0x40>
test   %rcx,%rcx
je     11a2 <basename_r+0x92>
nopw   0x0(%rax,%rax,1)
cmpb   $0x2f,(%r14,%rdx,1)
cmove  %edx,%esi
add    $0x1,%rdx
add    $0xffffffffffffffff,%rcx
jne    1190 <basename_r+0x80>
add    $0x1,%esi
movslq %esi,%rcx
mov    %rax,%r9
sub    %rcx,%r9
jbe    12d5 <basename_r+0x1c5>
cmp    $0x20,%r9
jb     12c0 <basename_r+0x1b0>
lea    (%r14,%rax,1),%rdx
cmp    %r15,%rdx
jbe    11d8 <basename_r+0xc8>
lea    (%r15,%r9,1),%rdx
lea    (%r14,%rcx,1),%rsi
cmp    %rdx,%rsi
jb     12c0 <basename_r+0x1b0>
mov    %r9,%r8
and    $0xffffffffffffffe0,%r8
lea    -0x20(%r8),%rdx
mov    %rdx,%rdi
shr    $0x5,%rdi
add    $0x1,%rdi
mov    %edi,%r10d
and    $0x3,%r10d
cmp    $0x60,%rdx
jae    11ff <basename_r+0xef>
xor    %edx,%edx
jmp    1270 <basename_r+0x160>
and    $0xfffffffffffffffc,%rdi
lea    (%rcx,%r14,1),%rsi
add    $0x70,%rsi
xor    %edx,%edx
nopl   (%rax)
movups -0x70(%rsi,%rdx,1),%xmm0
movups -0x60(%rsi,%rdx,1),%xmm1
movups %xmm0,(%r15,%rdx,1)
movups %xmm1,0x10(%r15,%rdx,1)
movups -0x50(%rsi,%rdx,1),%xmm0
movups -0x40(%rsi,%rdx,1),%xmm1
movups %xmm0,0x20(%r15,%rdx,1)
movups %xmm1,0x30(%r15,%rdx,1)
movups -0x30(%rsi,%rdx,1),%xmm0
movups -0x20(%rsi,%rdx,1),%xmm1
movups %xmm0,0x40(%r15,%rdx,1)
movups %xmm1,0x50(%r15,%rdx,1)
movups -0x10(%rsi,%rdx,1),%xmm0
movups (%rsi,%rdx,1),%xmm1
movups %xmm0,0x60(%r15,%rdx,1)
movups %xmm1,0x70(%r15,%rdx,1)
sub    $0xffffffffffffff80,%rdx
add    $0xfffffffffffffffc,%rdi
jne    1210 <basename_r+0x100>
test   %r10,%r10
je     12ab <basename_r+0x19b>
lea    (%rdx,%r15,1),%rsi
add    $0x10,%rsi
add    %rcx,%rdx
add    %r14,%rdx
add    $0x10,%rdx
shl    $0x5,%r10
xor    %edi,%edi
nopl   (%rax)
movups -0x10(%rdx,%rdi,1),%xmm0
movups (%rdx,%rdi,1),%xmm1
movups %xmm0,-0x10(%rsi,%rdi,1)
movups %xmm1,(%rsi,%rdi,1)
add    $0x20,%rdi
cmp    %rdi,%r10
jne    1290 <basename_r+0x180>
add    %r8,%r15
cmp    %r8,%r9
je     12d5 <basename_r+0x1c5>
add    %r8,%rcx
cs nopw 0x0(%rax,%rax,1)
movzbl (%r14,%rcx,1),%edx
mov    %dl,(%r15)
add    $0x1,%r15
add    $0x1,%rcx
cmp    %rcx,%rax
ja     12c0 <basename_r+0x1b0>
movb   $0x0,(%r15)
mov    %r15,%rax
pop    %rbx
pop    %r14
pop    %r15
ret

LLVM IR (-O0):
define i8* @basename_r(i8* %0, i8* %1) {
%3 = alloca i8*
%4 = alloca i8*
%5 = alloca i64
%6 = alloca i32
%7 = alloca i32
%8 = alloca i32
%9 = alloca i64
store i8* %0, i8** %3
store i8* %1, i8** %4
%10 = load i8*, i8** %3
%11 = call i64 @strlen(i8* %10)
store i64 %11, i64* %5
store i32 -1, i32* %8
store i32 0, i32* %6
br label %12
12: ; preds = %29, %2
%13 = load i32, i32* %6
%14 = sext i32 %13 to i64
%15 = load i64, i64* %5
%16 = icmp ult i64 %14, %15
br i1 %16, label %17, label %32
17: ; preds = %12
%18 = load i8*, i8** %3
%19 = load i32, i32* %6
%20 = sext i32 %19 to i64
%21 = getelementptr inbounds i8, i8* %18, i64 %20
%22 = load i8, i8* %21
%23 = sext i8 %22 to i32
store i32 %23, i32* %7
%24 = load i32, i32* %7
%25 = icmp eq i32 %24, 47
br i1 %25, label %26, label %28
26: ; preds = %17
%27 = load i32, i32* %6
store i32 %27, i32* %8
br label %28
28: ; preds = %26, %17
br label %29
29: ; preds = %28
%30 = load i32, i32* %6
%31 = add nsw i32 %30, 1
store i32 %31, i32* %6
br label %12
32: ; preds = %12
store i64 0, i64* %9
%33 = load i32, i32* %8
%34 = add nsw i32 %33, 1
store i32 %34, i32* %6
br label %35
35: ; preds = %50, %32
%36 = load i32, i32* %6
%37 = sext i32 %36 to i64
%38 = load i64, i64* %5
%39 = icmp ult i64 %37, %38
br i1 %39, label %40, label %53
40: ; preds = %35
%41 = load i8*, i8** %3
%42 = load i32, i32* %6
%43 = sext i32 %42 to i64
%44 = getelementptr inbounds i8, i8* %41, i64 %43
%45 = load i8, i8* %44
%46 = load i8*, i8** %4
%47 = getelementptr inbounds i8, i8* %46, i32 1
store i8* %47, i8** %4
store i8 %45, i8* %46
%48 = load i64, i64* %9
%49 = add i64 %48, 1
store i64 %49, i64* %9
br label %50
50: ; preds = %40
%51 = load i32, i32* %6
%52 = add nsw i32 %51, 1
store i32 %52, i32* %6
br label %35
53: ; preds = %35
%54 = load i8*, i8** %4
store i8 0, i8* %54
%55 = load i8*, i8** %4
ret i8* %55
}

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