#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 */
scalar_t__ isupper(unsigned char);
unsigned char tolower(unsigned char);
int iso9660_name_translate(char *translated, char *old, unsigned len) {
  int i;
  for (i = 0; i < len; i++) {
    unsigned char c = old[i];
    if (!c)
      break;
    if (isupper(c))
      c = tolower(c);
    if (c == '.' && i == len - 3 && old[i + 1] == ';' && old[i + 2] == '1')
      break;
    if (c == ';' && i == len - 2 && old[i + 1] == '1')
      break;
    if (c == ';')
      c = '.';
    translated[i] = c;
  }
  translated[i] = '\0';
  return i;
}


x86 assembly (clang, -O0):
<iso9660_name_translate>:
push   %rbp
mov    %rsp,%rbp
sub    $0x20,%rsp
mov    %rdi,-0x8(%rbp)
mov    %rsi,-0x10(%rbp)
mov    %edx,-0x14(%rbp)
movl   $0x0,-0x18(%rbp)
mov    -0x18(%rbp),%eax
cmp    -0x14(%rbp),%eax
jae    1243 <iso9660_name_translate+0x123>
mov    -0x10(%rbp),%rax
movslq -0x18(%rbp),%rcx
mov    (%rax,%rcx,1),%al
mov    %al,-0x19(%rbp)
cmpb   $0x0,-0x19(%rbp)
jne    1163 <iso9660_name_translate+0x43>
jmp    1243 <iso9660_name_translate+0x123>
movzbl -0x19(%rbp),%edi
call   1040 <isupper@plt>
cmp    $0x0,%rax
je     1182 <iso9660_name_translate+0x62>
movzbl -0x19(%rbp),%edi
call   1030 <tolower@plt>
mov    %al,-0x19(%rbp)
movzbl -0x19(%rbp),%eax
cmp    $0x2e,%eax
jne    11d9 <iso9660_name_translate+0xb9>
mov    -0x18(%rbp),%eax
mov    -0x14(%rbp),%ecx
sub    $0x3,%ecx
cmp    %ecx,%eax
jne    11d9 <iso9660_name_translate+0xb9>
mov    -0x10(%rbp),%rax
mov    -0x18(%rbp),%ecx
add    $0x1,%ecx
movslq %ecx,%rcx
movsbl (%rax,%rcx,1),%eax
cmp    $0x3b,%eax
jne    11d9 <iso9660_name_translate+0xb9>
mov    -0x10(%rbp),%rax
mov    -0x18(%rbp),%ecx
add    $0x2,%ecx
movslq %ecx,%rcx
movsbl (%rax,%rcx,1),%eax
cmp    $0x31,%eax
jne    11d9 <iso9660_name_translate+0xb9>
jmp    1243 <iso9660_name_translate+0x123>
movzbl -0x19(%rbp),%eax
cmp    $0x3b,%eax
jne    1216 <iso9660_name_translate+0xf6>
mov    -0x18(%rbp),%eax
mov    -0x14(%rbp),%ecx
sub    $0x2,%ecx
cmp    %ecx,%eax
jne    1216 <iso9660_name_translate+0xf6>
mov    -0x10(%rbp),%rax
mov    -0x18(%rbp),%ecx
add    $0x1,%ecx
movslq %ecx,%rcx
movsbl (%rax,%rcx,1),%eax
cmp    $0x31,%eax
jne    1216 <iso9660_name_translate+0xf6>
jmp    1243 <iso9660_name_translate+0x123>
movzbl -0x19(%rbp),%eax
cmp    $0x3b,%eax
jne    1227 <iso9660_name_translate+0x107>
movb   $0x2e,-0x19(%rbp)
mov    -0x19(%rbp),%dl
mov    -0x8(%rbp),%rax
movslq -0x18(%rbp),%rcx
mov    %dl,(%rax,%rcx,1)
mov    -0x18(%rbp),%eax
add    $0x1,%eax
mov    %eax,-0x18(%rbp)
jmp    113a <iso9660_name_translate+0x1a>
mov    -0x8(%rbp),%rax
movslq -0x18(%rbp),%rcx
movb   $0x0,(%rax,%rcx,1)
mov    -0x18(%rbp),%eax
add    $0x20,%rsp
pop    %rbp
ret

x86 assembly (clang, -O2):
<iso9660_name_translate>:
push   %rbp
push   %r15
push   %r14
push   %r13
push   %r12
push   %rbx
sub    $0x18,%rsp
mov    %rdi,0x8(%rsp)
test   %edx,%edx
je     11db <iso9660_name_translate+0xbb>
mov    %rsi,%r12
mov    %edx,%r15d
lea    -0x3(%rdx),%r14d
add    $0xfffffffe,%edx
mov    %rdx,0x10(%rsp)
xor    %r13d,%r13d
jmp    1172 <iso9660_name_translate+0x52>
cs nopw 0x0(%rax,%rax,1)
nopl   0x0(%rax)
mov    0x8(%rsp),%rax
mov    %bl,(%rax,%r13,1)
add    $0x1,%r13
cmp    %r13,%r15
je     11e0 <iso9660_name_translate+0xc0>
movzbl (%r12,%r13,1),%ebx
test   %bl,%bl
je     11e3 <iso9660_name_translate+0xc3>
movzbl %bl,%ebp
mov    %ebp,%edi
call   1040 <isupper@plt>
test   %rax,%rax
je     1193 <iso9660_name_translate+0x73>
mov    %ebp,%edi
call   1030 <tolower@plt>
mov    %eax,%ebx
cmp    $0x2e,%bl
jne    11c0 <iso9660_name_translate+0xa0>
cmp    %r13,%r14
jne    11c0 <iso9660_name_translate+0xa0>
mov    $0x2e,%bl
cmpb   $0x3b,0x1(%r12,%r14,1)
jne    1160 <iso9660_name_translate+0x40>
cmpb   $0x31,0x2(%r12,%r14,1)
jne    1160 <iso9660_name_translate+0x40>
jmp    11e3 <iso9660_name_translate+0xc3>
cs nopw 0x0(%rax,%rax,1)
nopl   0x0(%rax,%rax,1)
cmp    $0x3b,%bl
jne    1160 <iso9660_name_translate+0x40>
mov    $0x2e,%bl
mov    0x10(%rsp),%rax
cmp    %r13,%rax
jne    1160 <iso9660_name_translate+0x40>
cmpb   $0x31,0x1(%r12,%rax,1)
jne    1160 <iso9660_name_translate+0x40>
jmp    11e3 <iso9660_name_translate+0xc3>
xor    %r13d,%r13d
jmp    11e3 <iso9660_name_translate+0xc3>
mov    %r15d,%r13d
mov    %r13d,%eax
mov    0x8(%rsp),%rcx
movb   $0x0,(%rcx,%rax,1)
mov    %r13d,%eax
add    $0x18,%rsp
pop    %rbx
pop    %r12
pop    %r13
pop    %r14
pop    %r15
pop    %rbp
ret

LLVM IR (-O0):
define i32 @iso9660_name_translate(i8* %0, i8* %1, i32 %2) {
%4 = alloca i8*
%5 = alloca i8*
%6 = alloca i32
%7 = alloca i32
%8 = alloca i8
store i8* %0, i8** %4
store i8* %1, i8** %5
store i32 %2, i32* %6
store i32 0, i32* %7
br label %9
9: ; preds = %87, %3
%10 = load i32, i32* %7
%11 = load i32, i32* %6
%12 = icmp ult i32 %10, %11
br i1 %12, label %13, label %90
13: ; preds = %9
%14 = load i8*, i8** %5
%15 = load i32, i32* %7
%16 = sext i32 %15 to i64
%17 = getelementptr inbounds i8, i8* %14, i64 %16
%18 = load i8, i8* %17
store i8 %18, i8* %8
%19 = load i8, i8* %8
%20 = icmp ne i8 %19, 0
br i1 %20, label %22, label %21
21: ; preds = %13
br label %90
22: ; preds = %13
%23 = load i8, i8* %8
%24 = call i64 @isupper(i8 zeroext %23)
%25 = icmp ne i64 %24, 0
br i1 %25, label %26, label %29
26: ; preds = %22
%27 = load i8, i8* %8
%28 = call zeroext i8 @tolower(i8 zeroext %27)
store i8 %28, i8* %8
br label %29
29: ; preds = %26, %22
%30 = load i8, i8* %8
%31 = zext i8 %30 to i32
%32 = icmp eq i32 %31, 46
br i1 %32, label %33, label %57
33: ; preds = %29
%34 = load i32, i32* %7
%35 = load i32, i32* %6
%36 = sub i32 %35, 3
%37 = icmp eq i32 %34, %36
br i1 %37, label %38, label %57
38: ; preds = %33
%39 = load i8*, i8** %5
%40 = load i32, i32* %7
%41 = add nsw i32 %40, 1
%42 = sext i32 %41 to i64
%43 = getelementptr inbounds i8, i8* %39, i64 %42
%44 = load i8, i8* %43
%45 = sext i8 %44 to i32
%46 = icmp eq i32 %45, 59
br i1 %46, label %47, label %57
47: ; preds = %38
%48 = load i8*, i8** %5
%49 = load i32, i32* %7
%50 = add nsw i32 %49, 2
%51 = sext i32 %50 to i64
%52 = getelementptr inbounds i8, i8* %48, i64 %51
%53 = load i8, i8* %52
%54 = sext i8 %53 to i32
%55 = icmp eq i32 %54, 49
br i1 %55, label %56, label %57
56: ; preds = %47
br label %90
57: ; preds = %47, %38, %33, %29
%58 = load i8, i8* %8
%59 = zext i8 %58 to i32
%60 = icmp eq i32 %59, 59
br i1 %60, label %61, label %76
61: ; preds = %57
%62 = load i32, i32* %7
%63 = load i32, i32* %6
%64 = sub i32 %63, 2
%65 = icmp eq i32 %62, %64
br i1 %65, label %66, label %76
66: ; preds = %61
%67 = load i8*, i8** %5
%68 = load i32, i32* %7
%69 = add nsw i32 %68, 1
%70 = sext i32 %69 to i64
%71 = getelementptr inbounds i8, i8* %67, i64 %70
%72 = load i8, i8* %71
%73 = sext i8 %72 to i32
%74 = icmp eq i32 %73, 49
br i1 %74, label %75, label %76
75: ; preds = %66
br label %90
76: ; preds = %66, %61, %57
%77 = load i8, i8* %8
%78 = zext i8 %77 to i32
%79 = icmp eq i32 %78, 59
br i1 %79, label %80, label %81
80: ; preds = %76
store i8 46, i8* %8
br label %81
81: ; preds = %80, %76
%82 = load i8, i8* %8
%83 = load i8*, i8** %4
%84 = load i32, i32* %7
%85 = sext i32 %84 to i64
%86 = getelementptr inbounds i8, i8* %83, i64 %85
store i8 %82, i8* %86
br label %87
87: ; preds = %81
%88 = load i32, i32* %7
%89 = add nsw i32 %88, 1
store i32 %89, i32* %7
br label %9
90: ; preds = %75, %56, %21, %9
%91 = load i8*, i8** %4
%92 = load i32, i32* %7
%93 = sext i32 %92 to i64
%94 = getelementptr inbounds i8, i8* %91, i64 %93
store i8 0, i8* %94
%95 = load i32, i32* %7
ret i32 %95
}

LLVM IR (-O2):
define i32 @iso9660_name_translate(i8* nocapture writeonly %0, i8* nocapture %1, i32 %2) {
%4 = icmp eq i32 %2, 0
br i1 %4, label %56, label %5
5: ; preds = %3
%6 = add i32 %2, -3
%7 = add i32 %2, -2
%8 = zext i32 %6 to i64
%9 = zext i32 %7 to i64
%10 = zext i32 %2 to i64
%11 = add nuw nsw i64 %9, 1
%12 = getelementptr inbounds i8, i8* %1, i64 %11
%13 = add nuw nsw i64 %8, 2
%14 = getelementptr inbounds i8, i8* %1, i64 %13
%15 = add nuw nsw i64 %8, 1
%16 = getelementptr inbounds i8, i8* %1, i64 %15
br label %17
17: ; preds = %5, %45
%18 = phi i64 [ 0, %5 ], [ %48, %45 ]
%19 = getelementptr inbounds i8, i8* %1, i64 %18
%20 = load i8, i8* %19
%21 = icmp eq i8 %20, 0
br i1 %21, label %54, label %22
22: ; preds = %17
%23 = tail call i64 @isupper(i8 zeroext %20)
%24 = icmp eq i64 %23, 0
br i1 %24, label %27, label %25
25: ; preds = %22
%26 = tail call zeroext i8 @tolower(i8 zeroext %20)
br label %27
27: ; preds = %25, %22
%28 = phi i8 [ %26, %25 ], [ %20, %22 ]
%29 = icmp eq i8 %28, 46
%30 = icmp eq i64 %18, %8
%31 = select i1 %29, i1 %30, i1 false
br i1 %31, label %32, label %38
32: ; preds = %27
%33 = load i8, i8* %16
%34 = icmp eq i8 %33, 59
br i1 %34, label %35, label %45
35: ; preds = %32
%36 = load i8, i8* %14
%37 = icmp eq i8 %36, 49
br i1 %37, label %52, label %45
38: ; preds = %27
%39 = icmp eq i8 %28, 59
br i1 %39, label %40, label %45
40: ; preds = %38
%41 = icmp eq i64 %18, %9
br i1 %41, label %42, label %45
42: ; preds = %40
%43 = load i8, i8* %12
%44 = icmp eq i8 %43, 49
br i1 %44, label %50, label %45
45: ; preds = %32, %35, %42, %40, %38
%46 = phi i8 [ 46, %42 ], [ 46, %40 ], [ %28, %38 ], [ 46, %35 ], [ 46, %32 ]
%47 = getelementptr inbounds i8, i8* %0, i64 %18
store i8 %46, i8* %47
%48 = add nuw nsw i64 %18, 1
%49 = icmp eq i64 %48, %10
br i1 %49, label %56, label %17
50: ; preds = %42
%51 = trunc i64 %18 to i32
br label %56
52: ; preds = %35
%53 = trunc i64 %18 to i32
br label %56
54: ; preds = %17
%55 = trunc i64 %18 to i32
br label %56
56: ; preds = %45, %50, %52, %54, %3
%57 = phi i32 [ 0, %3 ], [ %51, %50 ], [ %53, %52 ], [ %55, %54 ], [ %2, %45 ]
%58 = zext i32 %57 to i64
%59 = getelementptr inbounds i8, i8* %0, i64 %58
store i8 0, i8* %59
ret i32 %57
}