#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__ isdigit(char);
scalar_t__ islower(char);
scalar_t__ isupper(char);
int /*<<< orphan*/ strcpy(char *, char *);
int strlen(char *);
int convertir(char palabra_entrada[81], char palabra_salida[81]) {
  int i, j = 0;
  char buff_palabra[81] = "";
  if (isupper(palabra_entrada[0]) && isupper(palabra_entrada[1])) {
    buff_palabra[0] = '|';
    buff_palabra[1] = '|';
    j = 2;
    for (i = 0; i < strlen(palabra_entrada); i++) {
      buff_palabra[j] = palabra_entrada[i];
      j++;
    }
  } else if (isupper(palabra_entrada[0]) && !isupper(palabra_entrada[1])) {
    buff_palabra[0] = '|';
    j = 1;
    for (i = 0; i < strlen(palabra_entrada); i++) {
      buff_palabra[j] = palabra_entrada[i];
      j++;
    }
  } else if (islower(palabra_entrada[0])) {
    for (i = 0; i < strlen(palabra_entrada); i++) {
      buff_palabra[i] = palabra_entrada[i];
    }
  }
  if (isdigit(palabra_entrada[0])) {
    buff_palabra[0] = '#';
    for (j = 1; j < strlen(palabra_entrada) + 1; j++) {
      switch (palabra_entrada[j - 1]) {
      case '1':
        buff_palabra[j] = 'a';
        break;
      case '2':
        buff_palabra[j] = 'b';
        break;
      case '3':
        buff_palabra[j] = 'c';
        break;
      case '4':
        buff_palabra[j] = 'd';
        break;
      case '5':
        buff_palabra[j] = 'e';
        break;
      case '6':
        buff_palabra[j] = 'f';
        break;
      case '7':
        buff_palabra[j] = 'g';
        break;
      case '8':
        buff_palabra[j] = 'h';
        break;
      case '9':
        buff_palabra[j] = 'i';
        break;
      case '0':
        buff_palabra[j] = 'j';
        break;
      default:
        buff_palabra[j] = palabra_entrada[j - 1];
        break;
      }
    }
  }
  strcpy(palabra_salida, buff_palabra);
  return 0;
}


x86 assembly (clang, -O0):
<convertir>:
push   %rbp
mov    %rsp,%rbp
sub    $0x90,%rsp
mov    %rdi,-0x8(%rbp)
mov    %rsi,-0x10(%rbp)
movl   $0x0,-0x18(%rbp)
lea    -0x70(%rbp),%rdi
xor    %esi,%esi
mov    $0x51,%edx
call   1070 <memset@plt>
mov    -0x8(%rbp),%rax
movsbl (%rax),%edi
call   1080 <isupper@plt>
cmp    $0x0,%rax
je     1218 <convertir+0xb8>
mov    -0x8(%rbp),%rax
movsbl 0x1(%rax),%edi
call   1080 <isupper@plt>
cmp    $0x0,%rax
je     1218 <convertir+0xb8>
movb   $0x7c,-0x70(%rbp)
movb   $0x7c,-0x6f(%rbp)
movl   $0x2,-0x18(%rbp)
movl   $0x0,-0x14(%rbp)
mov    -0x14(%rbp),%eax
mov    %eax,-0x74(%rbp)
mov    -0x8(%rbp),%rdi
call   1060 <strlen@plt>
mov    %eax,%ecx
mov    -0x74(%rbp),%eax
cmp    %ecx,%eax
jge    1213 <convertir+0xb3>
mov    -0x8(%rbp),%rax
movslq -0x14(%rbp),%rcx
mov    (%rax,%rcx,1),%cl
movslq -0x18(%rbp),%rax
mov    %cl,-0x70(%rbp,%rax,1)
mov    -0x18(%rbp),%eax
add    $0x1,%eax
mov    %eax,-0x18(%rbp)
mov    -0x14(%rbp),%eax
add    $0x1,%eax
mov    %eax,-0x14(%rbp)
jmp    11cd <convertir+0x6d>
jmp    130b <convertir+0x1ab>
mov    -0x8(%rbp),%rax
movsbl (%rax),%edi
call   1080 <isupper@plt>
cmp    $0x0,%rax
je     12a2 <convertir+0x142>
mov    -0x8(%rbp),%rax
movsbl 0x1(%rax),%edi
call   1080 <isupper@plt>
cmp    $0x0,%rax
jne    12a2 <convertir+0x142>
movb   $0x7c,-0x70(%rbp)
movl   $0x1,-0x18(%rbp)
movl   $0x0,-0x14(%rbp)
mov    -0x14(%rbp),%eax
mov    %eax,-0x78(%rbp)
mov    -0x8(%rbp),%rdi
call   1060 <strlen@plt>
mov    %eax,%ecx
mov    -0x78(%rbp),%eax
cmp    %ecx,%eax
jge    129d <convertir+0x13d>
mov    -0x8(%rbp),%rax
movslq -0x14(%rbp),%rcx
mov    (%rax,%rcx,1),%cl
movslq -0x18(%rbp),%rax
mov    %cl,-0x70(%rbp,%rax,1)
mov    -0x18(%rbp),%eax
add    $0x1,%eax
mov    %eax,-0x18(%rbp)
mov    -0x14(%rbp),%eax
add    $0x1,%eax
mov    %eax,-0x14(%rbp)
jmp    1257 <convertir+0xf7>
jmp    1306 <convertir+0x1a6>
mov    -0x8(%rbp),%rax
movsbl (%rax),%edi
call   1050 <islower@plt>
cmp    $0x0,%rax
je     1301 <convertir+0x1a1>
movl   $0x0,-0x14(%rbp)
mov    -0x14(%rbp),%eax
mov    %eax,-0x7c(%rbp)
mov    -0x8(%rbp),%rdi
call   1060 <strlen@plt>
mov    %eax,%ecx
mov    -0x7c(%rbp),%eax
cmp    %ecx,%eax
jge    12fc <convertir+0x19c>
mov    -0x8(%rbp),%rax
movslq -0x14(%rbp),%rcx
mov    (%rax,%rcx,1),%cl
movslq -0x14(%rbp),%rax
mov    %cl,-0x70(%rbp,%rax,1)
mov    -0x14(%rbp),%eax
add    $0x1,%eax
mov    %eax,-0x14(%rbp)
jmp    12bf <convertir+0x15f>
jmp    1301 <convertir+0x1a1>
jmp    1306 <convertir+0x1a6>
jmp    130b <convertir+0x1ab>
mov    -0x8(%rbp),%rax
movsbl (%rax),%edi
call   1030 <isdigit@plt>
cmp    $0x0,%rax
je     1444 <convertir+0x2e4>
movb   $0x23,-0x70(%rbp)
movl   $0x1,-0x18(%rbp)
mov    -0x18(%rbp),%eax
mov    %eax,-0x80(%rbp)
mov    -0x8(%rbp),%rdi
call   1060 <strlen@plt>
mov    %eax,%ecx
mov    -0x80(%rbp),%eax
add    $0x1,%ecx
cmp    %ecx,%eax
jge    143f <convertir+0x2df>
mov    -0x8(%rbp),%rax
mov    -0x18(%rbp),%ecx
add    $0xffffffff,%ecx
movslq %ecx,%rcx
movsbl (%rax,%rcx,1),%eax
add    $0xffffffd0,%eax
mov    %eax,%ecx
mov    %rcx,-0x88(%rbp)
sub    $0x9,%eax
ja     1414 <convertir+0x2b4>
mov    -0x88(%rbp),%rax
lea    0xc81(%rip),%rcx
movslq (%rcx,%rax,4),%rax
add    %rcx,%rax
jmp    *%rax
movslq -0x18(%rbp),%rax
movb   $0x61,-0x70(%rbp,%rax,1)
jmp    142c <convertir+0x2cc>
movslq -0x18(%rbp),%rax
movb   $0x62,-0x70(%rbp,%rax,1)
jmp    142c <convertir+0x2cc>
movslq -0x18(%rbp),%rax
movb   $0x63,-0x70(%rbp,%rax,1)
jmp    142c <convertir+0x2cc>
movslq -0x18(%rbp),%rax
movb   $0x64,-0x70(%rbp,%rax,1)
jmp    142c <convertir+0x2cc>
movslq -0x18(%rbp),%rax
movb   $0x65,-0x70(%rbp,%rax,1)
jmp    142c <convertir+0x2cc>
movslq -0x18(%rbp),%rax
movb   $0x66,-0x70(%rbp,%rax,1)
jmp    142c <convertir+0x2cc>
movslq -0x18(%rbp),%rax
movb   $0x67,-0x70(%rbp,%rax,1)
jmp    142c <convertir+0x2cc>
movslq -0x18(%rbp),%rax
movb   $0x68,-0x70(%rbp,%rax,1)
jmp    142c <convertir+0x2cc>
movslq -0x18(%rbp),%rax
movb   $0x69,-0x70(%rbp,%rax,1)
jmp    142c <convertir+0x2cc>
movslq -0x18(%rbp),%rax
movb   $0x6a,-0x70(%rbp,%rax,1)
jmp    142c <convertir+0x2cc>
mov    -0x8(%rbp),%rax
mov    -0x18(%rbp),%ecx
sub    $0x1,%ecx
movslq %ecx,%rcx
mov    (%rax,%rcx,1),%cl
movslq -0x18(%rbp),%rax
mov    %cl,-0x70(%rbp,%rax,1)
jmp    1431 <convertir+0x2d1>
mov    -0x18(%rbp),%eax
add    $0x1,%eax
mov    %eax,-0x18(%rbp)
jmp    132c <convertir+0x1cc>
jmp    1444 <convertir+0x2e4>
mov    -0x10(%rbp),%rdi
lea    -0x70(%rbp),%rsi
call   1040 <strcpy@plt>
xor    %eax,%eax
add    $0x90,%rsp
pop    %rbp
ret

x86 assembly (clang, -O2):
<convertir>:
push   %r15
push   %r14
push   %r12
push   %rbx
sub    $0x58,%rsp
mov    %rsi,%r14
mov    %rdi,%r15
xorps  %xmm0,%xmm0
movaps %xmm0,0x40(%rsp)
movaps %xmm0,0x30(%rsp)
movaps %xmm0,0x20(%rsp)
movaps %xmm0,0x10(%rsp)
movaps %xmm0,(%rsp)
movb   $0x0,0x50(%rsp)
movsbl (%rdi),%edi
call   1070 <isupper@plt>
test   %rax,%rax
je     11e1 <convertir+0x91>
movsbl 0x1(%r15),%edi
call   1070 <isupper@plt>
test   %rax,%rax
je     11e1 <convertir+0x91>
movw   $0x7c7c,(%rsp)
mov    %r15,%rdi
call   1060 <strlen@plt>
test   %eax,%eax
jle    126c <convertir+0x11c>
xor    %ebx,%ebx
cs nopw 0x0(%rax,%rax,1)
nop
movzbl (%r15,%rbx,1),%eax
mov    %al,0x2(%rsp,%rbx,1)
add    $0x1,%rbx
mov    %r15,%rdi
call   1060 <strlen@plt>
cltq
cmp    %rax,%rbx
jl     11c0 <convertir+0x70>
jmp    126c <convertir+0x11c>
movsbl (%r15),%edi
call   1070 <isupper@plt>
test   %rax,%rax
je     11fe <convertir+0xae>
movsbl 0x1(%r15),%edi
call   1070 <isupper@plt>
test   %rax,%rax
je     123d <convertir+0xed>
movsbl (%r15),%edi
call   1050 <islower@plt>
test   %rax,%rax
je     126c <convertir+0x11c>
mov    %r15,%rdi
call   1060 <strlen@plt>
test   %eax,%eax
jle    126c <convertir+0x11c>
xor    %ebx,%ebx
nopw   0x0(%rax,%rax,1)
movzbl (%r15,%rbx,1),%eax
mov    %al,(%rsp,%rbx,1)
add    $0x1,%rbx
mov    %r15,%rdi
call   1060 <strlen@plt>
cltq
cmp    %rax,%rbx
jl     1220 <convertir+0xd0>
jmp    126c <convertir+0x11c>
movb   $0x7c,(%rsp)
mov    %r15,%rdi
call   1060 <strlen@plt>
test   %eax,%eax
jle    126c <convertir+0x11c>
xor    %ebx,%ebx
nop
movzbl (%r15,%rbx,1),%eax
mov    %al,0x1(%rsp,%rbx,1)
add    $0x1,%rbx
mov    %r15,%rdi
call   1060 <strlen@plt>
cltq
cmp    %rax,%rbx
jl     1250 <convertir+0x100>
movsbl (%r15),%edi
call   1030 <isdigit@plt>
test   %rax,%rax
je     12cf <convertir+0x17f>
movb   $0x23,(%rsp)
mov    %r15,%rdi
call   1060 <strlen@plt>
test   %eax,%eax
jle    12cf <convertir+0x17f>
xor    %ebx,%ebx
lea    0xd6d(%rip),%r12
jmp    12b7 <convertir+0x167>
cs nopw 0x0(%rax,%rax,1)
nop
mov    %al,0x1(%rsp,%rbx,1)
mov    %r15,%rdi
call   1060 <strlen@plt>
cltq
add    $0x1,%rbx
cmp    %rax,%rbx
jge    12cf <convertir+0x17f>
movsbq (%r15,%rbx,1),%rax
mov    %rax,%rcx
add    $0xffffffffffffffd0,%rcx
cmp    $0x9,%ecx
ja     12a0 <convertir+0x150>
movzbl (%rcx,%r12,1),%eax
jmp    12a0 <convertir+0x150>
mov    %rsp,%rsi
mov    %r14,%rdi
call   1040 <strcpy@plt>
xor    %eax,%eax
add    $0x58,%rsp
pop    %rbx
pop    %r12
pop    %r14
pop    %r15
ret

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

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