#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 doschar(char const);
int make_dos_name(char *dosname, const char *path, int *path_pointer) {
  int i;
  char c, ext_follows;
  dosname[11] = 0;
  c = doschar(*(path + (*path_pointer)++));
  for (i = 0; i < 8; i++) {
    if ((c == '/') || (c == 0)) {
      *(dosname + i) = ' ';
    } else if (c == '.') {
      if (i == 0) {
        *(dosname + i) = '.';
        c = doschar(*(path + (*path_pointer)++));
      } else if (i == 1) {
        if ((path[*path_pointer] == 0) ||
            (doschar(path[*path_pointer]) == '/')) {
          *(dosname + i) = '.';
          c = doschar(*(path + (*path_pointer)++));
        }
      } else {
        *(dosname + i) = ' ';
      }
    } else if (c == 1) {
      return -1;
    } else {
      *(dosname + i) = c;
      c = doschar(*(path + (*path_pointer)++));
    }
  }
  if (c == '.') {
    ext_follows = 1;
    c = doschar(*(path + (*path_pointer)++));
  } else if ((c == '/') || (c == 0)) {
    ext_follows = 0;
  } else {
    c = doschar(*(path + (*path_pointer)++));
    if (c == '.') {
      ext_follows = 1;
      c = doschar(*(path + (*path_pointer)++));
    } else if ((c == '/') || (c == 0)) {
      ext_follows = 0;
    } else {
      return -1;
    }
  }
  for (i = 0; i < 3; i++) {
    if (ext_follows) {
      if ((c == '/') || (c == 0)) {
        *(dosname + 8 + i) = ' ';
      } else if (c == 1) {
        return -1;
      } else if (c == '.') {
        return -1;
      } else {
        *(dosname + 8 + i) = c;
        c = doschar(*(path + (*path_pointer)++));
      }
    } else {
      *(dosname + 8 + i) = ' ';
    }
  }
  (*path_pointer)--;
  if ((c == '/') || (c == 0)) {
    return 0;
  } else {
    return -1;
  }
}


x86 assembly (clang, -O0):
<make_dos_name>:
push   %rbp
mov    %rsp,%rbp
sub    $0x30,%rsp
mov    %rdi,-0x10(%rbp)
mov    %rsi,-0x18(%rbp)
mov    %rdx,-0x20(%rbp)
mov    -0x10(%rbp),%rax
movb   $0x0,0xb(%rax)
mov    -0x18(%rbp),%rax
mov    -0x20(%rbp),%rdx
mov    (%rdx),%ecx
mov    %ecx,%esi
add    $0x1,%esi
mov    %esi,(%rdx)
movslq %ecx,%rcx
movsbl (%rax,%rcx,1),%edi
call   1030 <doschar@plt>
mov    %al,-0x25(%rbp)
movl   $0x0,-0x24(%rbp)
cmpl   $0x8,-0x24(%rbp)
jge    12bd <make_dos_name+0x1ad>
movsbl -0x25(%rbp),%eax
cmp    $0x2f,%eax
je     1177 <make_dos_name+0x67>
movsbl -0x25(%rbp),%eax
cmp    $0x0,%eax
jne    1188 <make_dos_name+0x78>
mov    -0x10(%rbp),%rax
movslq -0x24(%rbp),%rcx
movb   $0x20,(%rax,%rcx,1)
jmp    12aa <make_dos_name+0x19a>
movsbl -0x25(%rbp),%eax
cmp    $0x2e,%eax
jne    1259 <make_dos_name+0x149>
cmpl   $0x0,-0x24(%rbp)
jne    11d0 <make_dos_name+0xc0>
mov    -0x10(%rbp),%rax
movslq -0x24(%rbp),%rcx
movb   $0x2e,(%rax,%rcx,1)
mov    -0x18(%rbp),%rax
mov    -0x20(%rbp),%rdx
mov    (%rdx),%ecx
mov    %ecx,%esi
add    $0x1,%esi
mov    %esi,(%rdx)
movslq %ecx,%rcx
movsbl (%rax,%rcx,1),%edi
call   1030 <doschar@plt>
mov    %al,-0x25(%rbp)
jmp    1254 <make_dos_name+0x144>
cmpl   $0x1,-0x24(%rbp)
jne    1243 <make_dos_name+0x133>
mov    -0x18(%rbp),%rax
mov    -0x20(%rbp),%rcx
movslq (%rcx),%rcx
movsbl (%rax,%rcx,1),%eax
cmp    $0x0,%eax
je     1212 <make_dos_name+0x102>
mov    -0x18(%rbp),%rax
mov    -0x20(%rbp),%rcx
movslq (%rcx),%rcx
movsbl (%rax,%rcx,1),%edi
call   1030 <doschar@plt>
movsbl %al,%eax
cmp    $0x2f,%eax
jne    123e <make_dos_name+0x12e>
mov    -0x10(%rbp),%rax
movslq -0x24(%rbp),%rcx
movb   $0x2e,(%rax,%rcx,1)
mov    -0x18(%rbp),%rax
mov    -0x20(%rbp),%rdx
mov    (%rdx),%ecx
mov    %ecx,%esi
add    $0x1,%esi
mov    %esi,(%rdx)
movslq %ecx,%rcx
movsbl (%rax,%rcx,1),%edi
call   1030 <doschar@plt>
mov    %al,-0x25(%rbp)
jmp    124f <make_dos_name+0x13f>
mov    -0x10(%rbp),%rax
movslq -0x24(%rbp),%rcx
movb   $0x20,(%rax,%rcx,1)
jmp    1254 <make_dos_name+0x144>
jmp    12a5 <make_dos_name+0x195>
movsbl -0x25(%rbp),%eax
cmp    $0x1,%eax
jne    1272 <make_dos_name+0x162>
movl   $0xffffffff,-0x4(%rbp)
jmp    14b9 <make_dos_name+0x3a9>
mov    -0x25(%rbp),%dl
mov    -0x10(%rbp),%rax
movslq -0x24(%rbp),%rcx
mov    %dl,(%rax,%rcx,1)
mov    -0x18(%rbp),%rax
mov    -0x20(%rbp),%rdx
mov    (%rdx),%ecx
mov    %ecx,%esi
add    $0x1,%esi
mov    %esi,(%rdx)
movslq %ecx,%rcx
movsbl (%rax,%rcx,1),%edi
call   1030 <doschar@plt>
mov    %al,-0x25(%rbp)
jmp    12a5 <make_dos_name+0x195>
jmp    12aa <make_dos_name+0x19a>
jmp    12af <make_dos_name+0x19f>
mov    -0x24(%rbp),%eax
add    $0x1,%eax
mov    %eax,-0x24(%rbp)
jmp    1153 <make_dos_name+0x43>
movsbl -0x25(%rbp),%eax
cmp    $0x2e,%eax
jne    12f3 <make_dos_name+0x1e3>
movb   $0x1,-0x26(%rbp)
mov    -0x18(%rbp),%rax
mov    -0x20(%rbp),%rdx
mov    (%rdx),%ecx
mov    %ecx,%esi
add    $0x1,%esi
mov    %esi,(%rdx)
movslq %ecx,%rcx
movsbl (%rax,%rcx,1),%edi
call   1030 <doschar@plt>
mov    %al,-0x25(%rbp)
jmp    13aa <make_dos_name+0x29a>
movsbl -0x25(%rbp),%eax
cmp    $0x2f,%eax
je     130d <make_dos_name+0x1fd>
movsbl -0x25(%rbp),%eax
cmp    $0x0,%eax
jne    1316 <make_dos_name+0x206>
movb   $0x0,-0x26(%rbp)
jmp    13a5 <make_dos_name+0x295>
mov    -0x18(%rbp),%rax
mov    -0x20(%rbp),%rdx
mov    (%rdx),%ecx
mov    %ecx,%esi
add    $0x1,%esi
mov    %esi,(%rdx)
movslq %ecx,%rcx
movsbl (%rax,%rcx,1),%edi
call   1030 <doschar@plt>
mov    %al,-0x25(%rbp)
movsbl -0x25(%rbp),%eax
cmp    $0x2e,%eax
jne    136c <make_dos_name+0x25c>
movb   $0x1,-0x26(%rbp)
mov    -0x18(%rbp),%rax
mov    -0x20(%rbp),%rdx
mov    (%rdx),%ecx
mov    %ecx,%esi
add    $0x1,%esi
mov    %esi,(%rdx)
movslq %ecx,%rcx
movsbl (%rax,%rcx,1),%edi
call   1030 <doschar@plt>
mov    %al,-0x25(%rbp)
jmp    13a0 <make_dos_name+0x290>
movsbl -0x25(%rbp),%eax
cmp    $0x2f,%eax
je     1386 <make_dos_name+0x276>
movsbl -0x25(%rbp),%eax
cmp    $0x0,%eax
jne    138f <make_dos_name+0x27f>
movb   $0x0,-0x26(%rbp)
jmp    139b <make_dos_name+0x28b>
movl   $0xffffffff,-0x4(%rbp)
jmp    14b9 <make_dos_name+0x3a9>
jmp    13a0 <make_dos_name+0x290>
jmp    13a5 <make_dos_name+0x295>
jmp    13aa <make_dos_name+0x29a>
movl   $0x0,-0x24(%rbp)
cmpl   $0x3,-0x24(%rbp)
jge    1481 <make_dos_name+0x371>
cmpb   $0x0,-0x26(%rbp)
je     1461 <make_dos_name+0x351>
movsbl -0x25(%rbp),%eax
cmp    $0x2f,%eax
je     13df <make_dos_name+0x2cf>
movsbl -0x25(%rbp),%eax
cmp    $0x0,%eax
jne    13f1 <make_dos_name+0x2e1>
mov    -0x10(%rbp),%rax
movslq -0x24(%rbp),%rcx
movb   $0x20,0x8(%rax,%rcx,1)
jmp    145c <make_dos_name+0x34c>
movsbl -0x25(%rbp),%eax
cmp    $0x1,%eax
jne    140a <make_dos_name+0x2fa>
movl   $0xffffffff,-0x4(%rbp)
jmp    14b9 <make_dos_name+0x3a9>
movsbl -0x25(%rbp),%eax
cmp    $0x2e,%eax
jne    1423 <make_dos_name+0x313>
movl   $0xffffffff,-0x4(%rbp)
jmp    14b9 <make_dos_name+0x3a9>
mov    -0x25(%rbp),%dl
mov    -0x10(%rbp),%rax
movslq -0x24(%rbp),%rcx
mov    %dl,0x8(%rax,%rcx,1)
mov    -0x18(%rbp),%rax
mov    -0x20(%rbp),%rdx
mov    (%rdx),%ecx
mov    %ecx,%esi
add    $0x1,%esi
mov    %esi,(%rdx)
movslq %ecx,%rcx
movsbl (%rax,%rcx,1),%edi
call   1030 <doschar@plt>
mov    %al,-0x25(%rbp)
jmp    1457 <make_dos_name+0x347>
jmp    145c <make_dos_name+0x34c>
jmp    146e <make_dos_name+0x35e>
mov    -0x10(%rbp),%rax
movslq -0x24(%rbp),%rcx
movb   $0x20,0x8(%rax,%rcx,1)
jmp    1473 <make_dos_name+0x363>
mov    -0x24(%rbp),%eax
add    $0x1,%eax
mov    %eax,-0x24(%rbp)
jmp    13b1 <make_dos_name+0x2a1>
mov    -0x20(%rbp),%rax
mov    (%rax),%ecx
add    $0xffffffff,%ecx
mov    %ecx,(%rax)
movsbl -0x25(%rbp),%eax
cmp    $0x2f,%eax
je     14a6 <make_dos_name+0x396>
movsbl -0x25(%rbp),%eax
cmp    $0x0,%eax
jne    14b2 <make_dos_name+0x3a2>
movl   $0x0,-0x4(%rbp)
jmp    14b9 <make_dos_name+0x3a9>
movl   $0xffffffff,-0x4(%rbp)
mov    -0x4(%rbp),%eax
add    $0x30,%rsp
pop    %rbp
ret

x86 assembly (clang, -O2):
<make_dos_name>:
push   %rbp
push   %r15
push   %r14
push   %rbx
push   %rax
mov    %rdx,%r14
mov    %rsi,%r15
mov    %rdi,%rbx
movb   $0x0,0xb(%rdi)
movslq (%rdx),%rax
lea    0x1(%rax),%ecx
mov    %ecx,(%rdx)
movsbl (%rsi,%rax,1),%edi
call   1030 <doschar@plt>
xor    %ebp,%ebp
jmp    1152 <make_dos_name+0x42>
nopl   0x0(%rax)
test   %al,%al
jne    116e <make_dos_name+0x5e>
movb   $0x20,(%rbx,%rbp,1)
add    $0x1,%rbp
cmp    $0x8,%rbp
je     11b9 <make_dos_name+0xa9>
cmp    $0x2d,%al
jle    1140 <make_dos_name+0x30>
cmp    $0x2e,%al
je     1160 <make_dos_name+0x50>
cmp    $0x2f,%al
je     1144 <make_dos_name+0x34>
jmp    1176 <make_dos_name+0x66>
cmp    $0x1,%ebp
je     118e <make_dos_name+0x7e>
test   %ebp,%ebp
jne    11b1 <make_dos_name+0xa1>
movb   $0x2e,(%rbx)
jmp    1179 <make_dos_name+0x69>
cmp    $0x1,%al
je     1230 <make_dos_name+0x120>
mov    %al,(%rbx,%rbp,1)
movslq (%r14),%rax
lea    0x1(%rax),%ecx
mov    %ecx,(%r14)
movsbl (%r15,%rax,1),%edi
call   1030 <doschar@plt>
jmp    1148 <make_dos_name+0x38>
movslq (%r14),%rax
movzbl (%r15,%rax,1),%eax
test   %al,%al
je     11ab <make_dos_name+0x9b>
movsbl %al,%edi
call   1030 <doschar@plt>
mov    %eax,%ecx
mov    $0x2e,%al
cmp    $0x2f,%cl
jne    1148 <make_dos_name+0x38>
movb   $0x2e,0x1(%rbx)
jmp    1179 <make_dos_name+0x69>
movb   $0x20,(%rbx,%rbp,1)
mov    $0x2e,%al
jmp    1148 <make_dos_name+0x38>
test   %al,%al
je     120f <make_dos_name+0xff>
cmp    $0x2e,%al
je     11e9 <make_dos_name+0xd9>
cmp    $0x2f,%al
je     120f <make_dos_name+0xff>
movslq (%r14),%rax
lea    0x1(%rax),%ecx
mov    %ecx,(%r14)
movsbl (%r15,%rax,1),%edi
call   1030 <doschar@plt>
test   %al,%al
je     120f <make_dos_name+0xff>
cmp    $0x2f,%al
je     120f <make_dos_name+0xff>
mov    $0xffffffff,%ebp
cmp    $0x2e,%al
jne    1235 <make_dos_name+0x125>
movslq (%r14),%rax
lea    0x1(%rax),%ecx
mov    %ecx,(%r14)
movsbl (%r15,%rax,1),%edi
call   1030 <doschar@plt>
mov    $0xffffffff,%ebp
cmp    $0x2d,%al
jg     1242 <make_dos_name+0x132>
test   %al,%al
je     124a <make_dos_name+0x13a>
cmp    $0x1,%al
je     1235 <make_dos_name+0x125>
jmp    125c <make_dos_name+0x14c>
movw   $0x2020,0x8(%rbx)
movb   $0x20,0xa(%rbx)
addl   $0xffffffff,(%r14)
cmp    $0x2f,%al
setne  %cl
test   %al,%al
setne  %al
and    %cl,%al
movzbl %al,%ebp
neg    %ebp
jmp    1235 <make_dos_name+0x125>
mov    $0xffffffff,%ebp
mov    %ebp,%eax
add    $0x8,%rsp
pop    %rbx
pop    %r14
pop    %r15
pop    %rbp
ret
cmp    $0x2e,%al
je     1235 <make_dos_name+0x125>
cmp    $0x2f,%al
jne    125c <make_dos_name+0x14c>
movb   $0x20,0x8(%rbx)
cmp    $0x2d,%al
jg     1276 <make_dos_name+0x166>
test   %al,%al
je     127e <make_dos_name+0x16e>
cmp    $0x1,%al
je     1235 <make_dos_name+0x125>
jmp    1290 <make_dos_name+0x180>
mov    %al,0x8(%rbx)
movslq (%r14),%rax
lea    0x1(%rax),%ecx
mov    %ecx,(%r14)
movsbl (%r15,%rax,1),%edi
call   1030 <doschar@plt>
cmp    $0x2d,%al
jle    1252 <make_dos_name+0x142>
cmp    $0x2e,%al
je     1235 <make_dos_name+0x125>
cmp    $0x2f,%al
jne    1290 <make_dos_name+0x180>
movb   $0x20,0x9(%rbx)
cmp    $0x2d,%al
jg     12aa <make_dos_name+0x19a>
test   %al,%al
je     1215 <make_dos_name+0x105>
cmp    $0x1,%al
je     1235 <make_dos_name+0x125>
jmp    12b6 <make_dos_name+0x1a6>
mov    %al,0x9(%rbx)
movslq (%r14),%rax
lea    0x1(%rax),%ecx
mov    %ecx,(%r14)
movsbl (%r15,%rax,1),%edi
call   1030 <doschar@plt>
cmp    $0x2d,%al
jle    1286 <make_dos_name+0x176>
cmp    $0x2e,%al
je     1235 <make_dos_name+0x125>
cmp    $0x2f,%al
je     1215 <make_dos_name+0x105>
mov    %al,0xa(%rbx)
movslq (%r14),%rax
lea    0x1(%rax),%ecx
mov    %ecx,(%r14)
movsbl (%r15,%rax,1),%edi
call   1030 <doschar@plt>
jmp    1219 <make_dos_name+0x109>

LLVM IR (-O0):
define i32 @make_dos_name(i8* %0, i8* %1, i32* %2) {
%4 = alloca i32
%5 = alloca i8*
%6 = alloca i8*
%7 = alloca i32*
%8 = alloca i32
%9 = alloca i8
%10 = alloca i8
store i8* %0, i8** %5
store i8* %1, i8** %6
store i32* %2, i32** %7
%11 = load i8*, i8** %5
%12 = getelementptr inbounds i8, i8* %11, i64 11
store i8 0, i8* %12
%13 = load i8*, i8** %6
%14 = load i32*, i32** %7
%15 = load i32, i32* %14
%16 = add nsw i32 %15, 1
store i32 %16, i32* %14
%17 = sext i32 %15 to i64
%18 = getelementptr inbounds i8, i8* %13, i64 %17
%19 = load i8, i8* %18
%20 = call signext i8 @doschar(i8 signext %19)
store i8 %20, i8* %9
store i32 0, i32* %8
br label %21
21: ; preds = %122, %3
%22 = load i32, i32* %8
%23 = icmp slt i32 %22, 8
br i1 %23, label %24, label %125
24: ; preds = %21
%25 = load i8, i8* %9
%26 = sext i8 %25 to i32
%27 = icmp eq i32 %26, 47
br i1 %27, label %32, label %28
28: ; preds = %24
%29 = load i8, i8* %9
%30 = sext i8 %29 to i32
%31 = icmp eq i32 %30, 0
br i1 %31, label %32, label %37
32: ; preds = %28, %24
%33 = load i8*, i8** %5
%34 = load i32, i32* %8
%35 = sext i32 %34 to i64
%36 = getelementptr inbounds i8, i8* %33, i64 %35
store i8 32, i8* %36
br label %121
37: ; preds = %28
%38 = load i8, i8* %9
%39 = sext i8 %38 to i32
%40 = icmp eq i32 %39, 46
br i1 %40, label %41, label %100
41: ; preds = %37
%42 = load i32, i32* %8
%43 = icmp eq i32 %42, 0
br i1 %43, label %44, label %57
44: ; preds = %41
%45 = load i8*, i8** %5
%46 = load i32, i32* %8
%47 = sext i32 %46 to i64
%48 = getelementptr inbounds i8, i8* %45, i64 %47
store i8 46, i8* %48
%49 = load i8*, i8** %6
%50 = load i32*, i32** %7
%51 = load i32, i32* %50
%52 = add nsw i32 %51, 1
store i32 %52, i32* %50
%53 = sext i32 %51 to i64
%54 = getelementptr inbounds i8, i8* %49, i64 %53
%55 = load i8, i8* %54
%56 = call signext i8 @doschar(i8 signext %55)
store i8 %56, i8* %9
br label %99
57: ; preds = %41
%58 = load i32, i32* %8
%59 = icmp eq i32 %58, 1
br i1 %59, label %60, label %93
60: ; preds = %57
%61 = load i8*, i8** %6
%62 = load i32*, i32** %7
%63 = load i32, i32* %62
%64 = sext i32 %63 to i64
%65 = getelementptr inbounds i8, i8* %61, i64 %64
%66 = load i8, i8* %65
%67 = sext i8 %66 to i32
%68 = icmp eq i32 %67, 0
br i1 %68, label %79, label %69
69: ; preds = %60
%70 = load i8*, i8** %6
%71 = load i32*, i32** %7
%72 = load i32, i32* %71
%73 = sext i32 %72 to i64
%74 = getelementptr inbounds i8, i8* %70, i64 %73
%75 = load i8, i8* %74
%76 = call signext i8 @doschar(i8 signext %75)
%77 = sext i8 %76 to i32
%78 = icmp eq i32 %77, 47
br i1 %78, label %79, label %92
79: ; preds = %69, %60
%80 = load i8*, i8** %5
%81 = load i32, i32* %8
%82 = sext i32 %81 to i64
%83 = getelementptr inbounds i8, i8* %80, i64 %82
store i8 46, i8* %83
%84 = load i8*, i8** %6
%85 = load i32*, i32** %7
%86 = load i32, i32* %85
%87 = add nsw i32 %86, 1
store i32 %87, i32* %85
%88 = sext i32 %86 to i64
%89 = getelementptr inbounds i8, i8* %84, i64 %88
%90 = load i8, i8* %89
%91 = call signext i8 @doschar(i8 signext %90)
store i8 %91, i8* %9
br label %92
92: ; preds = %79, %69
br label %98
93: ; preds = %57
%94 = load i8*, i8** %5
%95 = load i32, i32* %8
%96 = sext i32 %95 to i64
%97 = getelementptr inbounds i8, i8* %94, i64 %96
store i8 32, i8* %97
br label %98
98: ; preds = %93, %92
br label %99
99: ; preds = %98, %44
br label %120
100: ; preds = %37
%101 = load i8, i8* %9
%102 = sext i8 %101 to i32
%103 = icmp eq i32 %102, 1
br i1 %103, label %104, label %105
104: ; preds = %100
store i32 -1, i32* %4
br label %253
105: ; preds = %100
%106 = load i8, i8* %9
%107 = load i8*, i8** %5
%108 = load i32, i32* %8
%109 = sext i32 %108 to i64
%110 = getelementptr inbounds i8, i8* %107, i64 %109
store i8 %106, i8* %110
%111 = load i8*, i8** %6
%112 = load i32*, i32** %7
%113 = load i32, i32* %112
%114 = add nsw i32 %113, 1
store i32 %114, i32* %112
%115 = sext i32 %113 to i64
%116 = getelementptr inbounds i8, i8* %111, i64 %115
%117 = load i8, i8* %116
%118 = call signext i8 @doschar(i8 signext %117)
store i8 %118, i8* %9
br label %119
119: ; preds = %105
br label %120
120: ; preds = %119, %99
br label %121
121: ; preds = %120, %32
br label %122
122: ; preds = %121
%123 = load i32, i32* %8
%124 = add nsw i32 %123, 1
store i32 %124, i32* %8
br label %21
125: ; preds = %21
%126 = load i8, i8* %9
%127 = sext i8 %126 to i32
%128 = icmp eq i32 %127, 46
br i1 %128, label %129, label %138
129: ; preds = %125
store i8 1, i8* %10
%130 = load i8*, i8** %6
%131 = load i32*, i32** %7
%132 = load i32, i32* %131
%133 = add nsw i32 %132, 1
store i32 %133, i32* %131
%134 = sext i32 %132 to i64
%135 = getelementptr inbounds i8, i8* %130, i64 %134
%136 = load i8, i8* %135
%137 = call signext i8 @doschar(i8 signext %136)
store i8 %137, i8* %9
br label %181
138: ; preds = %125
%139 = load i8, i8* %9
%140 = sext i8 %139 to i32
%141 = icmp eq i32 %140, 47
br i1 %141, label %146, label %142
142: ; preds = %138
%143 = load i8, i8* %9
%144 = sext i8 %143 to i32
%145 = icmp eq i32 %144, 0
br i1 %145, label %146, label %147
146: ; preds = %142, %138
store i8 0, i8* %10
br label %180
147: ; preds = %142
%148 = load i8*, i8** %6
%149 = load i32*, i32** %7
%150 = load i32, i32* %149
%151 = add nsw i32 %150, 1
store i32 %151, i32* %149
%152 = sext i32 %150 to i64
%153 = getelementptr inbounds i8, i8* %148, i64 %152
%154 = load i8, i8* %153
%155 = call signext i8 @doschar(i8 signext %154)
store i8 %155, i8* %9
%156 = load i8, i8* %9
%157 = sext i8 %156 to i32
%158 = icmp eq i32 %157, 46
br i1 %158, label %159, label %168
159: ; preds = %147
store i8 1, i8* %10
%160 = load i8*, i8** %6
%161 = load i32*, i32** %7
%162 = load i32, i32* %161
%163 = add nsw i32 %162, 1
store i32 %163, i32* %161
%164 = sext i32 %162 to i64
%165 = getelementptr inbounds i8, i8* %160, i64 %164
%166 = load i8, i8* %165
%167 = call signext i8 @doschar(i8 signext %166)
store i8 %167, i8* %9
br label %179
168: ; preds = %147
%169 = load i8, i8* %9
%170 = sext i8 %169 to i32
%171 = icmp eq i32 %170, 47
br i1 %171, label %176, label %172
172: ; preds = %168
%173 = load i8, i8* %9
%174 = sext i8 %173 to i32
%175 = icmp eq i32 %174, 0
br i1 %175, label %176, label %177
176: ; preds = %172, %168
store i8 0, i8* %10
br label %178
177: ; preds = %172
store i32 -1, i32* %4
br label %253
178: ; preds = %176
br label %179
179: ; preds = %178, %159
br label %180
180: ; preds = %179, %146
br label %181
181: ; preds = %180, %129
store i32 0, i32* %8
br label %182
182: ; preds = %237, %181
%183 = load i32, i32* %8
%184 = icmp slt i32 %183, 3
br i1 %184, label %185, label %240
185: ; preds = %182
%186 = load i8, i8* %10
%187 = icmp ne i8 %186, 0
br i1 %187, label %188, label %230
188: ; preds = %185
%189 = load i8, i8* %9
%190 = sext i8 %189 to i32
%191 = icmp eq i32 %190, 47
br i1 %191, label %196, label %192
192: ; preds = %188
%193 = load i8, i8* %9
%194 = sext i8 %193 to i32
%195 = icmp eq i32 %194, 0
br i1 %195, label %196, label %202
196: ; preds = %192, %188
%197 = load i8*, i8** %5
%198 = getelementptr inbounds i8, i8* %197, i64 8
%199 = load i32, i32* %8
%200 = sext i32 %199 to i64
%201 = getelementptr inbounds i8, i8* %198, i64 %200
store i8 32, i8* %201
br label %229
202: ; preds = %192
%203 = load i8, i8* %9
%204 = sext i8 %203 to i32
%205 = icmp eq i32 %204, 1
br i1 %205, label %206, label %207
206: ; preds = %202
store i32 -1, i32* %4
br label %253
207: ; preds = %202
%208 = load i8, i8* %9
%209 = sext i8 %208 to i32
%210 = icmp eq i32 %209, 46
br i1 %210, label %211, label %212
211: ; preds = %207
store i32 -1, i32* %4
br label %253
212: ; preds = %207
%213 = load i8, i8* %9
%214 = load i8*, i8** %5
%215 = getelementptr inbounds i8, i8* %214, i64 8
%216 = load i32, i32* %8
%217 = sext i32 %216 to i64
%218 = getelementptr inbounds i8, i8* %215, i64 %217
store i8 %213, i8* %218
%219 = load i8*, i8** %6
%220 = load i32*, i32** %7
%221 = load i32, i32* %220
%222 = add nsw i32 %221, 1
store i32 %222, i32* %220
%223 = sext i32 %221 to i64
%224 = getelementptr inbounds i8, i8* %219, i64 %223
%225 = load i8, i8* %224
%226 = call signext i8 @doschar(i8 signext %225)
store i8 %226, i8* %9
br label %227
227: ; preds = %212
br label %228
228: ; preds = %227
br label %229
229: ; preds = %228, %196
br label %236
230: ; preds = %185
%231 = load i8*, i8** %5
%232 = getelementptr inbounds i8, i8* %231, i64 8
%233 = load i32, i32* %8
%234 = sext i32 %233 to i64
%235 = getelementptr inbounds i8, i8* %232, i64 %234
store i8 32, i8* %235
br label %236
236: ; preds = %230, %229
br label %237
237: ; preds = %236
%238 = load i32, i32* %8
%239 = add nsw i32 %238, 1
store i32 %239, i32* %8
br label %182
240: ; preds = %182
%241 = load i32*, i32** %7
%242 = load i32, i32* %241
%243 = add nsw i32 %242, -1
store i32 %243, i32* %241
%244 = load i8, i8* %9
%245 = sext i8 %244 to i32
%246 = icmp eq i32 %245, 47
br i1 %246, label %251, label %247
247: ; preds = %240
%248 = load i8, i8* %9
%249 = sext i8 %248 to i32
%250 = icmp eq i32 %249, 0
br i1 %250, label %251, label %252
251: ; preds = %247, %240
store i32 0, i32* %4
br label %253
252: ; preds = %247
store i32 -1, i32* %4
br label %253
253: ; preds = %252, %251, %211, %206, %177, %104
%254 = load i32, i32* %4
ret i32 %254
}

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