#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 *get_basename(char const *);
char *get_basename_nc(char *);
char *get_extension_nc(char *);
int /*<<< orphan*/ qe_isdigit(char);
scalar_t__ qe_islower(char);
int /*<<< orphan*/ qe_pstrcat(char *, int, char const *);
int /*<<< orphan*/ qe_pstrncpy(char *, int, char const *, int);
int /*<<< orphan*/ qe_strtolower(char *, int, char *);
int strlen(char *);
char *reduce_filename(char *dest, int size, const char *filename) {
  const char *base = get_basename(filename);
  char *dbase, *ext, *p;
  qe_pstrncpy(dest, size, filename, base - filename);
  if (base[0] == '.' && base[1] == '#' && base[2] != '\0')
    base += 2;
  qe_pstrcat(dest, size, base);
  dbase = get_basename_nc(dest);
  for (;;) {
    ext = get_extension_nc(dbase);
    if (*ext != '.' || !qe_isdigit(ext[1]))
      break;
    *ext = '\0';
  }
  if (*ext == '.') {
    for (p = dbase; *p; p++) {
      if (qe_islower(*p))
        break;
    }
    if (!*p) {
      qe_strtolower(dbase, dest + size - dbase, dbase);
    }
  }
  p = dbase + strlen(dbase);
  if (p > dbase + 1 && (p[-1] == '~' || p[-1] == '#'))
    *--p = '\0';
  return dest;
}


x86 assembly (clang, -O0):
<reduce_filename>:
push   %rbp
mov    %rsp,%rbp
sub    $0x40,%rsp
mov    %rdi,-0x8(%rbp)
mov    %esi,-0xc(%rbp)
mov    %rdx,-0x18(%rbp)
mov    -0x18(%rbp),%rdi
call   10a0 <get_basename@plt>
mov    %rax,-0x20(%rbp)
mov    -0x8(%rbp),%rdi
mov    -0xc(%rbp),%esi
mov    -0x18(%rbp),%rdx
mov    -0x20(%rbp),%rax
mov    -0x18(%rbp),%rcx
sub    %rcx,%rax
mov    %eax,%ecx
call   1070 <qe_pstrncpy@plt>
mov    -0x20(%rbp),%rax
movsbl (%rax),%eax
cmp    $0x2e,%eax
jne    120b <reduce_filename+0x7b>
mov    -0x20(%rbp),%rax
movsbl 0x1(%rax),%eax
cmp    $0x23,%eax
jne    120b <reduce_filename+0x7b>
mov    -0x20(%rbp),%rax
movsbl 0x2(%rax),%eax
cmp    $0x0,%eax
je     120b <reduce_filename+0x7b>
mov    -0x20(%rbp),%rax
add    $0x2,%rax
mov    %rax,-0x20(%rbp)
mov    -0x8(%rbp),%rdi
mov    -0xc(%rbp),%esi
mov    -0x20(%rbp),%rdx
call   1050 <qe_pstrcat@plt>
mov    -0x8(%rbp),%rdi
call   1040 <get_basename_nc@plt>
mov    %rax,-0x28(%rbp)
mov    -0x28(%rbp),%rdi
call   1090 <get_extension_nc@plt>
mov    %rax,-0x30(%rbp)
mov    -0x30(%rbp),%rax
movsbl (%rax),%eax
cmp    $0x2e,%eax
jne    125b <reduce_filename+0xcb>
mov    -0x30(%rbp),%rax
movsbl 0x1(%rax),%edi
call   1030 <qe_isdigit@plt>
cmp    $0x0,%eax
jne    1260 <reduce_filename+0xd0>
jmp    126c <reduce_filename+0xdc>
mov    -0x30(%rbp),%rax
movb   $0x0,(%rax)
jmp    1228 <reduce_filename+0x98>
mov    -0x30(%rbp),%rax
movsbl (%rax),%eax
cmp    $0x2e,%eax
jne    12f5 <reduce_filename+0x165>
mov    -0x28(%rbp),%rax
mov    %rax,-0x38(%rbp)
mov    -0x38(%rbp),%rax
cmpb   $0x0,(%rax)
je     12c2 <reduce_filename+0x132>
mov    -0x38(%rbp),%rax
movsbl (%rax),%edi
call   1080 <qe_islower@plt>
cmp    $0x0,%rax
je     12ac <reduce_filename+0x11c>
jmp    12c2 <reduce_filename+0x132>
jmp    12b1 <reduce_filename+0x121>
mov    -0x38(%rbp),%rax
add    $0x1,%rax
mov    %rax,-0x38(%rbp)
jmp    1284 <reduce_filename+0xf4>
mov    -0x38(%rbp),%rax
cmpb   $0x0,(%rax)
jne    12f0 <reduce_filename+0x160>
mov    -0x28(%rbp),%rdi
mov    -0x8(%rbp),%rax
movslq -0xc(%rbp),%rcx
add    %rcx,%rax
mov    -0x28(%rbp),%rcx
sub    %rcx,%rax
mov    %eax,%esi
mov    -0x28(%rbp),%rdx
call   10b0 <qe_strtolower@plt>
jmp    12f5 <reduce_filename+0x165>
mov    -0x28(%rbp),%rax
mov    %rax,-0x40(%rbp)
mov    -0x28(%rbp),%rdi
call   1060 <strlen@plt>
mov    %eax,%ecx
mov    -0x40(%rbp),%rax
movslq %ecx,%rcx
add    %rcx,%rax
mov    %rax,-0x38(%rbp)
mov    -0x38(%rbp),%rax
mov    -0x28(%rbp),%rcx
add    $0x1,%rcx
cmp    %rcx,%rax
jbe    1360 <reduce_filename+0x1d0>
mov    -0x38(%rbp),%rax
movsbl -0x1(%rax),%eax
cmp    $0x7e,%eax
je     134d <reduce_filename+0x1bd>
mov    -0x38(%rbp),%rax
movsbl -0x1(%rax),%eax
cmp    $0x23,%eax
jne    1360 <reduce_filename+0x1d0>
mov    -0x38(%rbp),%rax
mov    %rax,%rcx
add    $0xffffffffffffffff,%rcx
mov    %rcx,-0x38(%rbp)
movb   $0x0,-0x1(%rax)
mov    -0x8(%rbp),%rax
add    $0x40,%rsp
pop    %rbp
ret

x86 assembly (clang, -O2):
<reduce_filename>:
push   %rbp
push   %r15
push   %r14
push   %rbx
push   %rax
mov    %rdx,%rbx
mov    %esi,%r14d
mov    %rdi,%r15
mov    %rdx,%rdi
call   10a0 <get_basename@plt>
mov    %rax,%rbp
mov    %ebp,%ecx
sub    %ebx,%ecx
mov    %r15,%rdi
mov    %r14d,%esi
mov    %rbx,%rdx
call   1070 <qe_pstrncpy@plt>
cmpb   $0x2e,0x0(%rbp)
jne    11d5 <reduce_filename+0x45>
cmpb   $0x23,0x1(%rbp)
jne    11d5 <reduce_filename+0x45>
lea    0x2(%rbp),%rax
cmpb   $0x0,0x2(%rbp)
cmovne %rax,%rbp
mov    %r15,%rdi
mov    %r14d,%esi
mov    %rbp,%rdx
call   1050 <qe_pstrcat@plt>
mov    %r15,%rdi
call   1040 <get_basename_nc@plt>
mov    %rax,%rbp
mov    %rax,%rdi
call   1090 <get_extension_nc@plt>
cmpb   $0x2e,(%rax)
jne    1274 <reduce_filename+0xe4>
mov    %rax,%rbx
xchg   %ax,%ax
movsbl 0x1(%rbx),%edi
call   1030 <qe_isdigit@plt>
test   %eax,%eax
je     1222 <reduce_filename+0x92>
movb   $0x0,(%rbx)
mov    %rbp,%rdi
call   1090 <get_extension_nc@plt>
mov    %rax,%rbx
cmpb   $0x2e,(%rax)
je     1200 <reduce_filename+0x70>
jmp    1274 <reduce_filename+0xe4>
cmpb   $0x2e,(%rbx)
jne    1274 <reduce_filename+0xe4>
mov    0x0(%rbp),%al
test   %al,%al
je     1260 <reduce_filename+0xd0>
mov    %rbp,%rbx
add    $0x1,%rbx
cs nopw 0x0(%rax,%rax,1)
nop
movsbl %al,%edi
call   1080 <qe_islower@plt>
test   %rax,%rax
jne    125a <reduce_filename+0xca>
movzbl (%rbx),%eax
add    $0x1,%rbx
test   %al,%al
jne    1240 <reduce_filename+0xb0>
jmp    1260 <reduce_filename+0xd0>
cmpb   $0x0,-0x1(%rbx)
jne    1274 <reduce_filename+0xe4>
add    %r15d,%r14d
sub    %ebp,%r14d
mov    %rbp,%rdi
mov    %r14d,%esi
mov    %rbp,%rdx
call   10b0 <qe_strtolower@plt>
mov    %rbp,%rdi
call   1060 <strlen@plt>
cmp    $0x2,%eax
jl     1296 <reduce_filename+0x106>
mov    %eax,%eax
mov    -0x1(%rbp,%rax,1),%cl
cmp    $0x7e,%cl
je     1291 <reduce_filename+0x101>
cmp    $0x23,%cl
jne    1296 <reduce_filename+0x106>
movb   $0x0,-0x1(%rbp,%rax,1)
mov    %r15,%rax
add    $0x8,%rsp
pop    %rbx
pop    %r14
pop    %r15
pop    %rbp
ret

LLVM IR (-O0):
define i8* @reduce_filename(i8* %0, i32 %1, i8* %2) {
%4 = alloca i8*
%5 = alloca i32
%6 = alloca i8*
%7 = alloca i8*
%8 = alloca i8*
%9 = alloca i8*
%10 = alloca i8*
store i8* %0, i8** %4
store i32 %1, i32* %5
store i8* %2, i8** %6
%11 = load i8*, i8** %6
%12 = call i8* @get_basename(i8* %11)
store i8* %12, i8** %7
%13 = load i8*, i8** %4
%14 = load i32, i32* %5
%15 = load i8*, i8** %6
%16 = load i8*, i8** %7
%17 = load i8*, i8** %6
%18 = ptrtoint i8* %16 to i64
%19 = ptrtoint i8* %17 to i64
%20 = sub i64 %18, %19
%21 = trunc i64 %20 to i32
%22 = call i32 @qe_pstrncpy(i8* %13, i32 %14, i8* %15, i32 %21)
%23 = load i8*, i8** %7
%24 = getelementptr inbounds i8, i8* %23, i64 0
%25 = load i8, i8* %24
%26 = sext i8 %25 to i32
%27 = icmp eq i32 %26, 46
br i1 %27, label %28, label %43
28: ; preds = %3
%29 = load i8*, i8** %7
%30 = getelementptr inbounds i8, i8* %29, i64 1
%31 = load i8, i8* %30
%32 = sext i8 %31 to i32
%33 = icmp eq i32 %32, 35
br i1 %33, label %34, label %43
34: ; preds = %28
%35 = load i8*, i8** %7
%36 = getelementptr inbounds i8, i8* %35, i64 2
%37 = load i8, i8* %36
%38 = sext i8 %37 to i32
%39 = icmp ne i32 %38, 0
br i1 %39, label %40, label %43
40: ; preds = %34
%41 = load i8*, i8** %7
%42 = getelementptr inbounds i8, i8* %41, i64 2
store i8* %42, i8** %7
br label %43
43: ; preds = %40, %34, %28, %3
%44 = load i8*, i8** %4
%45 = load i32, i32* %5
%46 = load i8*, i8** %7
%47 = call i32 @qe_pstrcat(i8* %44, i32 %45, i8* %46)
%48 = load i8*, i8** %4
%49 = call i8* @get_basename_nc(i8* %48)
store i8* %49, i8** %8
br label %50
50: ; preds = %64, %43
%51 = load i8*, i8** %8
%52 = call i8* @get_extension_nc(i8* %51)
store i8* %52, i8** %9
%53 = load i8*, i8** %9
%54 = load i8, i8* %53
%55 = sext i8 %54 to i32
%56 = icmp ne i32 %55, 46
br i1 %56, label %63, label %57
57: ; preds = %50
%58 = load i8*, i8** %9
%59 = getelementptr inbounds i8, i8* %58, i64 1
%60 = load i8, i8* %59
%61 = call i32 @qe_isdigit(i8 signext %60)
%62 = icmp ne i32 %61, 0
br i1 %62, label %64, label %63
63: ; preds = %57, %50
br label %66
64: ; preds = %57
%65 = load i8*, i8** %9
store i8 0, i8* %65
br label %50
66: ; preds = %63
%67 = load i8*, i8** %9
%68 = load i8, i8* %67
%69 = sext i8 %68 to i32
%70 = icmp eq i32 %69, 46
br i1 %70, label %71, label %105
71: ; preds = %66
%72 = load i8*, i8** %8
store i8* %72, i8** %10
br label %73
73: ; preds = %84, %71
%74 = load i8*, i8** %10
%75 = load i8, i8* %74
%76 = icmp ne i8 %75, 0
br i1 %76, label %77, label %87
77: ; preds = %73
%78 = load i8*, i8** %10
%79 = load i8, i8* %78
%80 = call i64 @qe_islower(i8 signext %79)
%81 = icmp ne i64 %80, 0
br i1 %81, label %82, label %83
82: ; preds = %77
br label %87
83: ; preds = %77
br label %84
84: ; preds = %83
%85 = load i8*, i8** %10
%86 = getelementptr inbounds i8, i8* %85, i32 1
store i8* %86, i8** %10
br label %73
87: ; preds = %82, %73
%88 = load i8*, i8** %10
%89 = load i8, i8* %88
%90 = icmp ne i8 %89, 0
br i1 %90, label %104, label %91
91: ; preds = %87
%92 = load i8*, i8** %8
%93 = load i8*, i8** %4
%94 = load i32, i32* %5
%95 = sext i32 %94 to i64
%96 = getelementptr inbounds i8, i8* %93, i64 %95
%97 = load i8*, i8** %8
%98 = ptrtoint i8* %96 to i64
%99 = ptrtoint i8* %97 to i64
%100 = sub i64 %98, %99
%101 = trunc i64 %100 to i32
%102 = load i8*, i8** %8
%103 = call i32 @qe_strtolower(i8* %92, i32 %101, i8* %102)
br label %104
104: ; preds = %91, %87
br label %105
105: ; preds = %104, %66
%106 = load i8*, i8** %8
%107 = load i8*, i8** %8
%108 = call i32 @strlen(i8* %107)
%109 = sext i32 %108 to i64
%110 = getelementptr inbounds i8, i8* %106, i64 %109
store i8* %110, i8** %10
%111 = load i8*, i8** %10
%112 = load i8*, i8** %8
%113 = getelementptr inbounds i8, i8* %112, i64 1
%114 = icmp ugt i8* %111, %113
br i1 %114, label %115, label %130
115: ; preds = %105
%116 = load i8*, i8** %10
%117 = getelementptr inbounds i8, i8* %116, i64 -1
%118 = load i8, i8* %117
%119 = sext i8 %118 to i32
%120 = icmp eq i32 %119, 126
br i1 %120, label %127, label %121
121: ; preds = %115
%122 = load i8*, i8** %10
%123 = getelementptr inbounds i8, i8* %122, i64 -1
%124 = load i8, i8* %123
%125 = sext i8 %124 to i32
%126 = icmp eq i32 %125, 35
br i1 %126, label %127, label %130
127: ; preds = %121, %115
%128 = load i8*, i8** %10
%129 = getelementptr inbounds i8, i8* %128, i32 -1
store i8* %129, i8** %10
store i8 0, i8* %129
br label %130
130: ; preds = %127, %121, %105
%131 = load i8*, i8** %4
ret i8* %131
}

LLVM IR (-O2):
define i8* @reduce_filename(i8* returned %0, i32 %1, i8* %2) {
%4 = tail call i8* @get_basename(i8* %2)
%5 = ptrtoint i8* %4 to i64
%6 = ptrtoint i8* %2 to i64
%7 = sub i64 %5, %6
%8 = trunc i64 %7 to i32
%9 = tail call i32 @qe_pstrncpy(i8* %0, i32 %1, i8* %2, i32 %8)
%10 = load i8, i8* %4
%11 = icmp eq i8 %10, 46
br i1 %11, label %12, label %21
12: ; preds = %3
%13 = getelementptr inbounds i8, i8* %4, i64 1
%14 = load i8, i8* %13
%15 = icmp eq i8 %14, 35
br i1 %15, label %16, label %21
16: ; preds = %12
%17 = getelementptr inbounds i8, i8* %4, i64 2
%18 = load i8, i8* %17
%19 = icmp eq i8 %18, 0
%20 = select i1 %19, i8* %4, i8* %17
br label %21
21: ; preds = %16, %12, %3
%22 = phi i8* [ %4, %12 ], [ %4, %3 ], [ %20, %16 ]
%23 = tail call i32 @qe_pstrcat(i8* %0, i32 %1, i8* %22)
%24 = tail call i8* @get_basename_nc(i8* %0)
%25 = tail call i8* @get_extension_nc(i8* %24)
%26 = load i8, i8* %25
%27 = icmp eq i8 %26, 46
br i1 %27, label %28, label %64
28: ; preds = %21, %34
%29 = phi i8* [ %35, %34 ], [ %25, %21 ]
%30 = getelementptr inbounds i8, i8* %29, i64 1
%31 = load i8, i8* %30
%32 = tail call i32 @qe_isdigit(i8 signext %31)
%33 = icmp eq i32 %32, 0
br i1 %33, label %38, label %34
34: ; preds = %28
store i8 0, i8* %29
%35 = tail call i8* @get_extension_nc(i8* %24)
%36 = load i8, i8* %35
%37 = icmp eq i8 %36, 46
br i1 %37, label %28, label %64
38: ; preds = %28
%39 = load i8, i8* %29
%40 = icmp eq i8 %39, 46
br i1 %40, label %41, label %64
41: ; preds = %38
%42 = load i8, i8* %24
%43 = icmp eq i8 %42, 0
br i1 %43, label %56, label %44
44: ; preds = %41, %49
%45 = phi i8 [ %51, %49 ], [ %42, %41 ]
%46 = phi i8* [ %50, %49 ], [ %24, %41 ]
%47 = tail call i64 @qe_islower(i8 signext %45)
%48 = icmp eq i64 %47, 0
br i1 %48, label %49, label %53
49: ; preds = %44
%50 = getelementptr inbounds i8, i8* %46, i64 1
%51 = load i8, i8* %50
%52 = icmp eq i8 %51, 0
br i1 %52, label %56, label %44
53: ; preds = %44
%54 = load i8, i8* %46
%55 = icmp eq i8 %54, 0
br i1 %55, label %56, label %64
56: ; preds = %49, %41, %53
%57 = sext i32 %1 to i64
%58 = getelementptr inbounds i8, i8* %0, i64 %57
%59 = ptrtoint i8* %58 to i64
%60 = ptrtoint i8* %24 to i64
%61 = sub i64 %59, %60
%62 = trunc i64 %61 to i32
%63 = tail call i32 @qe_strtolower(i8* %24, i32 %62, i8* %24)
br label %64
64: ; preds = %34, %21, %53, %56, %38
%65 = tail call i32 @strlen(i8* %24)
%66 = icmp sgt i32 %65, 1
br i1 %66, label %67, label %73
67: ; preds = %64
%68 = zext i32 %65 to i64
%69 = getelementptr inbounds i8, i8* %24, i64 %68
%70 = getelementptr inbounds i8, i8* %69, i64 -1
%71 = load i8, i8* %70
switch i8 %71, label %73 [
i8 126, label %72
i8 35, label %72
]
72: ; preds = %67, %67
store i8 0, i8* %70
br label %73
73: ; preds = %67, %72, %64
ret i8* %0
}