#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 */
typedef int wchar_t;

/* Variables and functions */
int /*<<< orphan*/ LC_CTYPE;
int /*<<< orphan*/ free(char *);
size_t mbstowcs(int *, char *, size_t);
char *realloc(char *, size_t);
char *setlocale(int /*<<< orphan*/, char *);
char *strdup(char *);
int wcstombs(char *, ...);
char *basename(char *path) {
  size_t len;
  static char *retfail = NULL;
  char *locale = setlocale(LC_CTYPE, NULL);
  if (locale != NULL)
    locale = strdup(locale);
  setlocale(LC_CTYPE, "");
  if (path && *path) {
    wchar_t refcopy[1 + (len = mbstowcs(NULL, path, 0))];
    wchar_t *refpath = refcopy;
    if (((len = mbstowcs(refpath, path, len)) > 1) && (refpath[1] == L':')) {
      refpath += 2;
    }
    refcopy[len] = L'\0';
    if (*refpath) {
      wchar_t *refname;
      for (refname = refpath; *refpath; ++refpath) {
        if ((*refpath == L'/') || (*refpath == L'\\')) {
          while ((*refpath == L'/') || (*refpath == L'\\'))
            ++refpath;
          if (*refpath)
            refname = refpath;
          else
            while ((refpath > refname) &&
                   ((*--refpath == L'/') || (*refpath == L'\\')))
              *refpath = L'\0';
        }
      }
      if (*refname) {
        if ((len = wcstombs(path, refcopy, len)) != (size_t)(-1))
          path[len] = '\0';
        *refname = L'\0';
        if ((len = wcstombs(NULL, refcopy, 0)) != (size_t)(-1))
          path += len;
      } else {
        retfail = realloc(retfail, len = 1 + wcstombs(NULL, L"/", 0));
        wcstombs(path = retfail, L"/", len);
      }
      setlocale(LC_CTYPE, locale);
      free(locale);
      return (path);
    }
  }
  retfail = realloc(retfail, len = 1 + wcstombs(NULL, L".", 0));
  wcstombs(retfail, L".", len);
  setlocale(LC_CTYPE, locale);
  free(locale);
  return (retfail);
}


x86 assembly (clang, -O0):
<basename>:
push   %rbp
mov    %rsp,%rbp
sub    $0x70,%rsp
mov    %rdi,-0x10(%rbp)
mov    0x2e75(%rip),%rax
mov    (%rax),%edi
xor    %eax,%eax
mov    %eax,%esi
call   1060 <setlocale@plt>
mov    %rax,-0x20(%rbp)
cmpq   $0x0,-0x20(%rbp)
je     119a <basename+0x3a>
mov    -0x20(%rbp),%rdi
call   1080 <strdup@plt>
mov    %rax,-0x20(%rbp)
mov    0x2e47(%rip),%rax
mov    (%rax),%edi
lea    0xe56(%rip),%rsi
call   1060 <setlocale@plt>
cmpq   $0x0,-0x10(%rbp)
je     149d <basename+0x33d>
mov    -0x10(%rbp),%rax
movsbl (%rax),%eax
cmp    $0x0,%eax
je     149d <basename+0x33d>
mov    -0x10(%rbp),%rsi
xor    %eax,%eax
mov    %eax,%edx
mov    %rdx,%rdi
call   1040 <mbstowcs@plt>
mov    %rax,-0x18(%rbp)
mov    %rax,%rcx
add    $0x1,%rcx
mov    %rsp,%rdx
mov    %rdx,-0x28(%rbp)
lea    0x13(,%rax,4),%rdx
and    $0xfffffffffffffff0,%rdx
mov    %rsp,%rax
sub    %rdx,%rax
mov    %rax,-0x50(%rbp)
mov    %rax,%rsp
mov    %rcx,-0x30(%rbp)
mov    %rax,-0x38(%rbp)
mov    -0x38(%rbp),%rdi
mov    -0x10(%rbp),%rsi
mov    -0x18(%rbp),%rdx
call   1040 <mbstowcs@plt>
mov    %rax,-0x18(%rbp)
cmp    $0x1,%rax
jbe    1246 <basename+0xe6>
mov    -0x38(%rbp),%rax
cmpl   $0x3a,0x4(%rax)
jne    1246 <basename+0xe6>
mov    -0x38(%rbp),%rax
add    $0x8,%rax
mov    %rax,-0x38(%rbp)
mov    -0x50(%rbp),%rax
mov    -0x18(%rbp),%rcx
movl   $0x0,(%rax,%rcx,4)
mov    -0x38(%rbp),%rax
cmpl   $0x0,(%rax)
je     1475 <basename+0x315>
mov    -0x38(%rbp),%rax
mov    %rax,-0x40(%rbp)
mov    -0x38(%rbp),%rax
cmpl   $0x0,(%rax)
je     1378 <basename+0x218>
mov    -0x38(%rbp),%rax
cmpl   $0x2f,(%rax)
je     1291 <basename+0x131>
mov    -0x38(%rbp),%rax
cmpl   $0x5c,(%rax)
jne    1362 <basename+0x202>
jmp    1296 <basename+0x136>
mov    -0x38(%rbp),%rcx
mov    $0x1,%al
cmpl   $0x2f,(%rcx)
mov    %al,-0x51(%rbp)
je     12b5 <basename+0x155>
mov    -0x38(%rbp),%rax
cmpl   $0x5c,(%rax)
sete   %al
mov    %al,-0x51(%rbp)
mov    -0x51(%rbp),%al
test   $0x1,%al
jne    12c5 <basename+0x165>
jmp    12d6 <basename+0x176>
mov    -0x38(%rbp),%rax
add    $0x4,%rax
mov    %rax,-0x38(%rbp)
jmp    1296 <basename+0x136>
mov    -0x38(%rbp),%rax
cmpl   $0x0,(%rax)
je     12f0 <basename+0x190>
mov    -0x38(%rbp),%rax
mov    %rax,-0x40(%rbp)
jmp    135d <basename+0x1fd>
jmp    12f5 <basename+0x195>
mov    -0x38(%rbp),%rcx
xor    %eax,%eax
cmp    -0x40(%rbp),%rcx
mov    %al,-0x52(%rbp)
jbe    1339 <basename+0x1d9>
mov    -0x38(%rbp),%rcx
mov    %rcx,%rax
add    $0xfffffffffffffffc,%rax
mov    %rax,-0x38(%rbp)
mov    $0x1,%al
cmpl   $0x2f,-0x4(%rcx)
mov    %al,-0x53(%rbp)
je     1333 <basename+0x1d3>
mov    -0x38(%rbp),%rax
cmpl   $0x5c,(%rax)
sete   %al
mov    %al,-0x53(%rbp)
mov    -0x53(%rbp),%al
mov    %al,-0x52(%rbp)
mov    -0x52(%rbp),%al
test   $0x1,%al
jne    1349 <basename+0x1e9>
jmp    1358 <basename+0x1f8>
mov    -0x38(%rbp),%rax
movl   $0x0,(%rax)
jmp    12f5 <basename+0x195>
jmp    135d <basename+0x1fd>
jmp    1362 <basename+0x202>
jmp    1367 <basename+0x207>
mov    -0x38(%rbp),%rax
add    $0x4,%rax
mov    %rax,-0x38(%rbp)
jmp    126a <basename+0x10a>
mov    -0x40(%rbp),%rax
cmpl   $0x0,(%rax)
je     13f0 <basename+0x290>
mov    -0x50(%rbp),%rsi
mov    -0x10(%rbp),%rdi
mov    -0x18(%rbp),%rdx
mov    $0x0,%al
call   1070 <wcstombs@plt>
cltq
mov    %rax,-0x18(%rbp)
cmp    $0xffffffffffffffff,%rax
je     13b4 <basename+0x254>
mov    -0x10(%rbp),%rax
mov    -0x18(%rbp),%rcx
movb   $0x0,(%rax,%rcx,1)
mov    -0x50(%rbp),%rsi
mov    -0x40(%rbp),%rax
movl   $0x0,(%rax)
xor    %eax,%eax
mov    %eax,%edi
xor    %edx,%edx
mov    $0x0,%al
call   1070 <wcstombs@plt>
cltq
mov    %rax,-0x18(%rbp)
cmp    $0xffffffffffffffff,%rax
je     13eb <basename+0x28b>
mov    -0x18(%rbp),%rax
add    -0x10(%rbp),%rax
mov    %rax,-0x10(%rbp)
jmp    1446 <basename+0x2e6>
mov    0x2c61(%rip),%rax
mov    %rax,-0x60(%rbp)
xor    %eax,%eax
mov    %eax,%edi
lea    0xbfe(%rip),%rsi
xor    %edx,%edx
mov    $0x0,%al
call   1070 <wcstombs@plt>
mov    -0x60(%rbp),%rdi
add    $0x1,%eax
movslq %eax,%rsi
mov    %rsi,-0x18(%rbp)
call   1050 <realloc@plt>
mov    %rax,0x2c2f(%rip)
mov    0x2c28(%rip),%rdi
mov    %rdi,-0x10(%rbp)
mov    -0x18(%rbp),%rdx
lea    0xbc5(%rip),%rsi
mov    $0x0,%al
call   1070 <wcstombs@plt>
mov    0x2b9b(%rip),%rax
mov    (%rax),%edi
mov    -0x20(%rbp),%rsi
call   1060 <setlocale@plt>
mov    -0x20(%rbp),%rdi
call   1030 <free@plt>
mov    -0x10(%rbp),%rax
mov    %rax,-0x8(%rbp)
movl   $0x1,-0x44(%rbp)
jmp    147c <basename+0x31c>
movl   $0x0,-0x44(%rbp)
mov    -0x28(%rbp),%rax
mov    %rax,%rsp
mov    -0x44(%rbp),%eax
test   %eax,%eax
je     1498 <basename+0x338>
jmp    1493 <basename+0x333>
jmp    1515 <basename+0x3b5>
jmp    149d <basename+0x33d>
mov    0x2bb4(%rip),%rax
mov    %rax,-0x68(%rbp)
xor    %eax,%eax
mov    %eax,%edi
lea    0xb59(%rip),%rsi
xor    %edx,%edx
mov    $0x0,%al
call   1070 <wcstombs@plt>
mov    -0x68(%rbp),%rdi
add    $0x1,%eax
movslq %eax,%rsi
mov    %rsi,-0x18(%rbp)
call   1050 <realloc@plt>
mov    %rax,0x2b82(%rip)
mov    0x2b7b(%rip),%rdi
mov    -0x18(%rbp),%rdx
lea    0xb24(%rip),%rsi
mov    $0x0,%al
call   1070 <wcstombs@plt>
mov    0x2af2(%rip),%rax
mov    (%rax),%edi
mov    -0x20(%rbp),%rsi
call   1060 <setlocale@plt>
mov    -0x20(%rbp),%rdi
call   1030 <free@plt>
mov    0x2b47(%rip),%rax
mov    %rax,-0x8(%rbp)
mov    -0x8(%rbp),%rax
mov    %rbp,%rsp
pop    %rbp
ret

x86 assembly (clang, -O2):
<basename>:
push   %rbp
mov    %rsp,%rbp
push   %r15
push   %r14
push   %r13
push   %r12
push   %rbx
push   %rax
mov    %rdi,%r13
mov    0x2e70(%rip),%r12
mov    (%r12),%edi
xor    %r14d,%r14d
xor    %esi,%esi
call   1060 <setlocale@plt>
test   %rax,%rax
je     1196 <basename+0x36>
mov    %rax,%rdi
call   1080 <strdup@plt>
mov    %rax,%r14
mov    (%r12),%edi
lea    0xe5f(%rip),%rsi
call   1060 <setlocale@plt>
test   %r13,%r13
je     12d0 <basename+0x170>
cmpb   $0x0,0x0(%r13)
je     12d0 <basename+0x170>
xor    %edi,%edi
mov    %r13,%rsi
xor    %edx,%edx
call   1040 <mbstowcs@plt>
mov    %rsp,%rbx
lea    0x13(,%rax,4),%rcx
and    $0xfffffffffffffff0,%rcx
mov    %rsp,%r15
sub    %rcx,%r15
mov    %r15,%rsp
mov    %r15,%rdi
mov    %r13,%rsi
mov    %rax,%rdx
call   1040 <mbstowcs@plt>
mov    %r15,%rcx
cmp    $0x2,%rax
jb     1203 <basename+0xa3>
xor    %ecx,%ecx
cmpl   $0x3a,0x4(%r15)
sete   %cl
lea    (%r15,%rcx,8),%rcx
movl   $0x0,(%r15,%rax,4)
mov    (%rcx),%edx
test   %edx,%edx
je     12cd <basename+0x16d>
mov    %rbx,-0x30(%rbp)
mov    %rcx,%rbx
jmp    122b <basename+0xcb>
xchg   %ax,%ax
test   %edx,%edx
je     1280 <basename+0x120>
mov    0x4(%rcx),%edx
add    $0x4,%rcx
cmp    $0x2f,%edx
je     1235 <basename+0xd5>
cmp    $0x5c,%edx
jne    1220 <basename+0xc0>
lea    -0x4(%rcx),%rsi
jmp    124b <basename+0xeb>
nopl   0x0(%rax,%rax,1)
mov    0x4(%rcx),%edx
add    $0x4,%rcx
add    $0x4,%rsi
cmp    $0x2f,%edx
je     1240 <basename+0xe0>
cmp    $0x5c,%edx
je     1240 <basename+0xe0>
test   %edx,%edx
je     126a <basename+0x10a>
mov    %rcx,%rbx
jmp    1224 <basename+0xc4>
xchg   %ax,%ax
movl   $0x0,(%rcx)
lea    -0x4(%rcx),%rsi
cmp    %rbx,%rcx
jbe    1224 <basename+0xc4>
mov    %rsi,%rcx
mov    (%rsi),%edx
cmp    $0x5c,%edx
je     1260 <basename+0x100>
cmp    $0x2f,%edx
je     1260 <basename+0x100>
jmp    1224 <basename+0xc4>
cmpl   $0x0,(%rbx)
je     1334 <basename+0x1d4>
mov    %r13,%rdi
mov    %r15,%rsi
mov    %rax,%rdx
xor    %eax,%eax
call   1070 <wcstombs@plt>
cmp    $0xffffffff,%eax
je     12a6 <basename+0x146>
cltq
movb   $0x0,0x0(%r13,%rax,1)
movl   $0x0,(%rbx)
xor    %edi,%edi
mov    %r15,%rsi
xor    %edx,%edx
xor    %eax,%eax
call   1070 <wcstombs@plt>
cmp    $0xffffffff,%eax
je     1382 <basename+0x222>
cltq
add    %rax,%r13
jmp    1382 <basename+0x222>
mov    %rbx,%rsp
mov    %r12,%r13
mov    0x2d7e(%rip),%r12
lea    0xd2b(%rip),%r15
xor    %edi,%edi
mov    %r15,%rsi
xor    %edx,%edx
xor    %eax,%eax
call   1070 <wcstombs@plt>
add    $0x1,%eax
movslq %eax,%rbx
mov    %r12,%rdi
mov    %rbx,%rsi
call   1050 <realloc@plt>
mov    %rax,0x2d51(%rip)
mov    %rax,%rdi
mov    %r15,%rsi
mov    %rbx,%rdx
xor    %eax,%eax
call   1070 <wcstombs@plt>
mov    0x0(%r13),%edi
mov    %r14,%rsi
call   1060 <setlocale@plt>
mov    %r14,%rdi
call   1030 <free@plt>
mov    0x2d26(%rip),%r13
jmp    139d <basename+0x23d>
mov    0x2d1d(%rip),%rbx
lea    0xcc2(%rip),%r15
xor    %edi,%edi
mov    %r15,%rsi
xor    %edx,%edx
xor    %eax,%eax
call   1070 <wcstombs@plt>
add    $0x1,%eax
movslq %eax,%r12
mov    %rbx,%rdi
mov    %r12,%rsi
call   1050 <realloc@plt>
mov    %rax,%r13
mov    %rax,0x2ced(%rip)
mov    %rax,%rdi
mov    %r15,%rsi
mov    %r12,%rdx
mov    0x2c6d(%rip),%r12
xor    %eax,%eax
call   1070 <wcstombs@plt>
mov    -0x30(%rbp),%rbx
mov    (%r12),%edi
mov    %r14,%rsi
call   1060 <setlocale@plt>
mov    %r14,%rdi
call   1030 <free@plt>
mov    %rbx,%rsp
mov    %r13,%rax
lea    -0x28(%rbp),%rsp
pop    %rbx
pop    %r12
pop    %r13
pop    %r14
pop    %r15
pop    %rbp
ret

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

LLVM IR (-O2):
@basename.retfail = internal unnamed_addr global i8* null
@LC_CTYPE = global i32 0
@.str = [1 x i8] zeroinitializer
@.str.1 = [2 x i32] [i32 47, i32 0]
@.str.2 = [2 x i32] [i32 46, i32 0]
define i8* @basename(i8* %0) {
%2 = load i32, i32* @LC_CTYPE
%3 = tail call i8* @setlocale(i32 %2, i8* null)
%4 = icmp eq i8* %3, null
br i1 %4, label %7, label %5
5: ; preds = %1
%6 = tail call i8* @strdup(i8* %3)
br label %7
7: ; preds = %5, %1
%8 = phi i8* [ %6, %5 ], [ null, %1 ]
%9 = load i32, i32* @LC_CTYPE
%10 = tail call i8* @setlocale(i32 %9, i8* getelementptr inbounds ([1 x i8], [1 x i8]* @.str, i64 0, i64 0))
%11 = icmp eq i8* %0, null
br i1 %11, label %85, label %12
12: ; preds = %7
%13 = load i8, i8* %0
%14 = icmp eq i8 %13, 0
br i1 %14, label %85, label %15
15: ; preds = %12
%16 = tail call i64 @mbstowcs(i32* null, i8* %0, i64 0)
%17 = add i64 %16, 1
%18 = tail call i8* @llvm.stacksave()
%19 = alloca i32, i64 %17
%20 = call i64 @mbstowcs(i32* %19, i8* %0, i64 %16)
%21 = icmp ugt i64 %20, 1
br i1 %21, label %22, label %28
22: ; preds = %15
%23 = getelementptr inbounds i32, i32* %19, i64 1
%24 = load i32, i32* %23
%25 = icmp eq i32 %24, 58
%26 = select i1 %25, i64 2, i64 0
%27 = getelementptr i32, i32* %19, i64 %26
br label %28
28: ; preds = %22, %15
%29 = phi i32* [ %19, %15 ], [ %27, %22 ]
%30 = getelementptr inbounds i32, i32* %19, i64 %20
store i32 0, i32* %30
%31 = load i32, i32* %29
%32 = icmp eq i32 %31, 0
br i1 %32, label %33, label %34
33: ; preds = %28
br label %85
34: ; preds = %28, %53
%35 = phi i32 [ %57, %53 ], [ %31, %28 ]
%36 = phi i32* [ %56, %53 ], [ %29, %28 ]
%37 = phi i32* [ %55, %53 ], [ %29, %28 ]
switch i32 %35, label %53 [
i32 0, label %58
i32 47, label %38
i32 92, label %38
]
38: ; preds = %34, %34
br label %39
39: ; preds = %38, %44
%40 = phi i32 [ %46, %44 ], [ %35, %38 ]
%41 = phi i32* [ %45, %44 ], [ %36, %38 ]
switch i32 %40, label %53 [
i32 47, label %44
i32 92, label %44
i32 0, label %42
]
42: ; preds = %39
%43 = icmp ugt i32* %41, %37
br i1 %43, label %47, label %53
44: ; preds = %39, %39
%45 = getelementptr inbounds i32, i32* %41, i64 1
%46 = load i32, i32* %45
br label %39
47: ; preds = %42, %51
%48 = phi i32* [ %49, %51 ], [ %41, %42 ]
%49 = getelementptr inbounds i32, i32* %48, i64 -1
%50 = load i32, i32* %49
switch i32 %50, label %53 [
i32 47, label %51
i32 92, label %51
]
51: ; preds = %47, %47
store i32 0, i32* %49
%52 = icmp ugt i32* %49, %37
br i1 %52, label %47, label %53
53: ; preds = %39, %51, %47, %42, %34
%54 = phi i32* [ %36, %34 ], [ %41, %42 ], [ %49, %47 ], [ %49, %51 ], [ %41, %39 ]
%55 = phi i32* [ %37, %34 ], [ %37, %42 ], [ %37, %47 ], [ %37, %51 ], [ %41, %39 ]
%56 = getelementptr inbounds i32, i32* %54, i64 1
%57 = load i32, i32* %56
br label %34
58: ; preds = %34
%59 = load i32, i32* %37
%60 = icmp eq i32 %59, 0
br i1 %60, label %73, label %61
61: ; preds = %58
%62 = call i32 (i8*, ...) @wcstombs(i8* %0, i32* %19, i64 %20)
%63 = icmp eq i32 %62, -1
br i1 %63, label %67, label %64
64: ; preds = %61
%65 = sext i32 %62 to i64
%66 = getelementptr inbounds i8, i8* %0, i64 %65
store i8 0, i8* %66
br label %67
67: ; preds = %64, %61
store i32 0, i32* %37
%68 = call i32 (i8*, ...) @wcstombs(i8* null, i32* %19, i32 0)
%69 = icmp eq i32 %68, -1
br i1 %69, label %80, label %70
70: ; preds = %67
%71 = sext i32 %68 to i64
%72 = getelementptr inbounds i8, i8* %0, i64 %71
br label %80
73: ; preds = %58
%74 = load i8*, i8** @basename.retfail
%75 = call i32 (i8*, ...) @wcstombs(i8* null, i32* getelementptr inbounds ([2 x i32], [2 x i32]* @.str.1, i64 0, i64 0), i32 0)
%76 = add nsw i32 %75, 1
%77 = sext i32 %76 to i64
%78 = call i8* @realloc(i8* %74, i64 %77)
store i8* %78, i8** @basename.retfail
%79 = call i32 (i8*, ...) @wcstombs(i8* %78, i32* getelementptr inbounds ([2 x i32], [2 x i32]* @.str.1, i64 0, i64 0), i64 %77)
br label %80
80: ; preds = %73, %70, %67
%81 = phi i8* [ %72, %70 ], [ %0, %67 ], [ %78, %73 ]
%82 = load i32, i32* @LC_CTYPE
%83 = call i8* @setlocale(i32 %82, i8* %8)
%84 = call i32 @free(i8* %8)
br label %96
85: ; preds = %33, %12, %7
%86 = load i8*, i8** @basename.retfail
%87 = call i32 (i8*, ...) @wcstombs(i8* null, i32* getelementptr inbounds ([2 x i32], [2 x i32]* @.str.2, i64 0, i64 0), i32 0)
%88 = add nsw i32 %87, 1
%89 = sext i32 %88 to i64
%90 = call i8* @realloc(i8* %86, i64 %89)
store i8* %90, i8** @basename.retfail
%91 = call i32 (i8*, ...) @wcstombs(i8* %90, i32* getelementptr inbounds ([2 x i32], [2 x i32]* @.str.2, i64 0, i64 0), i64 %89)
%92 = load i32, i32* @LC_CTYPE
%93 = call i8* @setlocale(i32 %92, i8* %8)
%94 = call i32 @free(i8* %8)
%95 = load i8*, i8** @basename.retfail
br label %96
96: ; preds = %80, %85
%97 = phi i8* [ %95, %85 ], [ %81, %80 ]
ret i8* %97
}