#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 */
int /*<<< orphan*/ isalpha(char);
int strlen(char *);
void password(char a[]) {
  int i, n = strlen(a);
  for (i = 0; i < n; i++) {
    if (!isalpha(a[i]))
      continue;
    if (a[i] >= 'a' && a[i] <= 'c')
      a[i] = '2';
    else if (a[i] >= 'd' && a[i] <= 'f')
      a[i] = '3';
    else if (a[i] >= 'g' && a[i] <= 'i')
      a[i] = '4';
    else if (a[i] >= 'j' && a[i] <= 'l')
      a[i] = '5';
    else if (a[i] >= 'm' && a[i] <= 'o')
      a[i] = '6';
    else if (a[i] >= 'p' && a[i] <= 's')
      a[i] = '7';
    else if (a[i] >= 't' && a[i] <= 'v')
      a[i] = '8';
    else if (a[i] >= 'w' && a[i] <= 'z')
      a[i] = '9';
    else if (a[i] == 'Z')
      a[i] = 'a';
    else
      a[i] = a[i] + 1 + 'a' - 'A';
  }
}


x86 assembly (clang, -O0):
<password>:
push   %rbp
mov    %rsp,%rbp
sub    $0x10,%rsp
mov    %rdi,-0x8(%rbp)
mov    -0x8(%rbp),%rdi
call   1030 <strlen@plt>
mov    %eax,-0x10(%rbp)
movl   $0x0,-0xc(%rbp)
mov    -0xc(%rbp),%eax
cmp    -0x10(%rbp),%eax
jge    13c5 <password+0x2a5>
mov    -0x8(%rbp),%rax
movslq -0xc(%rbp),%rcx
movsbl (%rax,%rcx,1),%edi
call   1040 <isalpha@plt>
cmp    $0x0,%eax
jne    116a <password+0x4a>
jmp    13b7 <password+0x297>
mov    -0x8(%rbp),%rax
movslq -0xc(%rbp),%rcx
movsbl (%rax,%rcx,1),%eax
cmp    $0x61,%eax
jl     11a5 <password+0x85>
mov    -0x8(%rbp),%rax
movslq -0xc(%rbp),%rcx
movsbl (%rax,%rcx,1),%eax
cmp    $0x63,%eax
jg     11a5 <password+0x85>
mov    -0x8(%rbp),%rax
movslq -0xc(%rbp),%rcx
movb   $0x32,(%rax,%rcx,1)
jmp    13b2 <password+0x292>
mov    -0x8(%rbp),%rax
movslq -0xc(%rbp),%rcx
movsbl (%rax,%rcx,1),%eax
cmp    $0x64,%eax
jl     11e0 <password+0xc0>
mov    -0x8(%rbp),%rax
movslq -0xc(%rbp),%rcx
movsbl (%rax,%rcx,1),%eax
cmp    $0x66,%eax
jg     11e0 <password+0xc0>
mov    -0x8(%rbp),%rax
movslq -0xc(%rbp),%rcx
movb   $0x33,(%rax,%rcx,1)
jmp    13ad <password+0x28d>
mov    -0x8(%rbp),%rax
movslq -0xc(%rbp),%rcx
movsbl (%rax,%rcx,1),%eax
cmp    $0x67,%eax
jl     121b <password+0xfb>
mov    -0x8(%rbp),%rax
movslq -0xc(%rbp),%rcx
movsbl (%rax,%rcx,1),%eax
cmp    $0x69,%eax
jg     121b <password+0xfb>
mov    -0x8(%rbp),%rax
movslq -0xc(%rbp),%rcx
movb   $0x34,(%rax,%rcx,1)
jmp    13a8 <password+0x288>
mov    -0x8(%rbp),%rax
movslq -0xc(%rbp),%rcx
movsbl (%rax,%rcx,1),%eax
cmp    $0x6a,%eax
jl     1256 <password+0x136>
mov    -0x8(%rbp),%rax
movslq -0xc(%rbp),%rcx
movsbl (%rax,%rcx,1),%eax
cmp    $0x6c,%eax
jg     1256 <password+0x136>
mov    -0x8(%rbp),%rax
movslq -0xc(%rbp),%rcx
movb   $0x35,(%rax,%rcx,1)
jmp    13a3 <password+0x283>
mov    -0x8(%rbp),%rax
movslq -0xc(%rbp),%rcx
movsbl (%rax,%rcx,1),%eax
cmp    $0x6d,%eax
jl     1291 <password+0x171>
mov    -0x8(%rbp),%rax
movslq -0xc(%rbp),%rcx
movsbl (%rax,%rcx,1),%eax
cmp    $0x6f,%eax
jg     1291 <password+0x171>
mov    -0x8(%rbp),%rax
movslq -0xc(%rbp),%rcx
movb   $0x36,(%rax,%rcx,1)
jmp    139e <password+0x27e>
mov    -0x8(%rbp),%rax
movslq -0xc(%rbp),%rcx
movsbl (%rax,%rcx,1),%eax
cmp    $0x70,%eax
jl     12cc <password+0x1ac>
mov    -0x8(%rbp),%rax
movslq -0xc(%rbp),%rcx
movsbl (%rax,%rcx,1),%eax
cmp    $0x73,%eax
jg     12cc <password+0x1ac>
mov    -0x8(%rbp),%rax
movslq -0xc(%rbp),%rcx
movb   $0x37,(%rax,%rcx,1)
jmp    1399 <password+0x279>
mov    -0x8(%rbp),%rax
movslq -0xc(%rbp),%rcx
movsbl (%rax,%rcx,1),%eax
cmp    $0x74,%eax
jl     1307 <password+0x1e7>
mov    -0x8(%rbp),%rax
movslq -0xc(%rbp),%rcx
movsbl (%rax,%rcx,1),%eax
cmp    $0x76,%eax
jg     1307 <password+0x1e7>
mov    -0x8(%rbp),%rax
movslq -0xc(%rbp),%rcx
movb   $0x38,(%rax,%rcx,1)
jmp    1394 <password+0x274>
mov    -0x8(%rbp),%rax
movslq -0xc(%rbp),%rcx
movsbl (%rax,%rcx,1),%eax
cmp    $0x77,%eax
jl     1342 <password+0x222>
mov    -0x8(%rbp),%rax
movslq -0xc(%rbp),%rcx
movsbl (%rax,%rcx,1),%eax
cmp    $0x7a,%eax
jg     1342 <password+0x222>
mov    -0x8(%rbp),%rax
movslq -0xc(%rbp),%rcx
movb   $0x39,(%rax,%rcx,1)
jmp    138f <password+0x26f>
mov    -0x8(%rbp),%rax
movslq -0xc(%rbp),%rcx
movsbl (%rax,%rcx,1),%eax
cmp    $0x5a,%eax
jne    1368 <password+0x248>
mov    -0x8(%rbp),%rax
movslq -0xc(%rbp),%rcx
movb   $0x61,(%rax,%rcx,1)
jmp    138a <password+0x26a>
mov    -0x8(%rbp),%rax
movslq -0xc(%rbp),%rcx
movsbl (%rax,%rcx,1),%eax
add    $0x1,%eax
add    $0x61,%eax
sub    $0x41,%eax
mov    %al,%dl
mov    -0x8(%rbp),%rax
movslq -0xc(%rbp),%rcx
mov    %dl,(%rax,%rcx,1)
jmp    138f <password+0x26f>
jmp    1394 <password+0x274>
jmp    1399 <password+0x279>
jmp    139e <password+0x27e>
jmp    13a3 <password+0x283>
jmp    13a8 <password+0x288>
jmp    13ad <password+0x28d>
jmp    13b2 <password+0x292>
jmp    13b7 <password+0x297>
mov    -0xc(%rbp),%eax
add    $0x1,%eax
mov    %eax,-0xc(%rbp)
jmp    113f <password+0x1f>
add    $0x10,%rsp
pop    %rbp
ret

x86 assembly (clang, -O2):
<password>:
push   %rbp
push   %r15
push   %r14
push   %rbx
push   %rax
mov    %rdi,%r15
call   1030 <strlen@plt>
test   %eax,%eax
jle    11cf <password+0xaf>
mov    %eax,%r14d
xor    %ebx,%ebx
mov    $0x61,%ebp
jmp    115d <password+0x3d>
cs nopw 0x0(%rax,%rax,1)
nopl   (%rax)
mov    %cl,(%r15,%rbx,1)
add    $0x1,%rbx
cmp    %rbx,%r14
je     11cf <password+0xaf>
movsbl (%r15,%rbx,1),%edi
call   1040 <isalpha@plt>
test   %eax,%eax
je     1154 <password+0x34>
movzbl (%r15,%rbx,1),%eax
lea    -0x61(%rax),%edx
mov    $0x32,%cl
cmp    $0x3,%dl
jb     1150 <password+0x30>
lea    -0x64(%rax),%edx
mov    $0x33,%cl
cmp    $0x3,%dl
jb     1150 <password+0x30>
lea    -0x67(%rax),%edx
mov    $0x34,%cl
cmp    $0x3,%dl
jb     1150 <password+0x30>
lea    -0x6a(%rax),%edx
mov    $0x35,%cl
cmp    $0x3,%dl
jb     1150 <password+0x30>
lea    -0x6d(%rax),%edx
mov    $0x36,%cl
cmp    $0x3,%dl
jb     1150 <password+0x30>
mov    %eax,%edx
and    $0xfc,%dl
mov    $0x37,%cl
cmp    $0x70,%dl
je     1150 <password+0x30>
lea    -0x74(%rax),%edx
mov    $0x38,%cl
cmp    $0x3,%dl
jb     1150 <password+0x30>
lea    -0x77(%rax),%edx
mov    $0x39,%cl
cmp    $0x4,%dl
jb     1150 <password+0x30>
lea    0x21(%rax),%ecx
cmp    $0x5a,%al
movzbl %cl,%ecx
cmove  %ebp,%ecx
jmp    1150 <password+0x30>
add    $0x8,%rsp
pop    %rbx
pop    %r14
pop    %r15
pop    %rbp
ret

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

LLVM IR (-O2):
define void @password(i8* %0) {
%2 = tail call i32 @strlen(i8* %0)
%3 = icmp sgt i32 %2, 0
br i1 %3, label %4, label %46
4: ; preds = %1
%5 = zext i32 %2 to i64
br label %6
6: ; preds = %4, %43
%7 = phi i64 [ 0, %4 ], [ %44, %43 ]
%8 = getelementptr inbounds i8, i8* %0, i64 %7
%9 = load i8, i8* %8
%10 = tail call i32 @isalpha(i8 signext %9)
%11 = icmp eq i32 %10, 0
br i1 %11, label %43, label %12
12: ; preds = %6
%13 = load i8, i8* %8
%14 = add i8 %13, -97
%15 = icmp ult i8 %14, 3
br i1 %15, label %41, label %16
16: ; preds = %12
%17 = add i8 %13, -100
%18 = icmp ult i8 %17, 3
br i1 %18, label %41, label %19
19: ; preds = %16
%20 = add i8 %13, -103
%21 = icmp ult i8 %20, 3
br i1 %21, label %41, label %22
22: ; preds = %19
%23 = add i8 %13, -106
%24 = icmp ult i8 %23, 3
br i1 %24, label %41, label %25
25: ; preds = %22
%26 = add i8 %13, -109
%27 = icmp ult i8 %26, 3
br i1 %27, label %41, label %28
28: ; preds = %25
%29 = and i8 %13, -4
%30 = icmp eq i8 %29, 112
br i1 %30, label %41, label %31
31: ; preds = %28
%32 = add i8 %13, -116
%33 = icmp ult i8 %32, 3
br i1 %33, label %41, label %34
34: ; preds = %31
%35 = add i8 %13, -119
%36 = icmp ult i8 %35, 4
br i1 %36, label %41, label %37
37: ; preds = %34
%38 = icmp eq i8 %13, 90
%39 = add i8 %13, 33
%40 = select i1 %38, i8 97, i8 %39
br label %41
41: ; preds = %37, %34, %31, %28, %25, %22, %19, %16, %12
%42 = phi i8 [ 50, %12 ], [ 51, %16 ], [ 52, %19 ], [ 53, %22 ], [ 54, %25 ], [ 55, %28 ], [ 56, %31 ], [ 57, %34 ], [ %40, %37 ]
store i8 %42, i8* %8
br label %43
43: ; preds = %41, %6
%44 = add nuw nsw i64 %7, 1
%45 = icmp eq i64 %44, %5
br i1 %45, label %46, label %6
46: ; preds = %43, %1
ret void
}