#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*/ fprintf(int /*<<< orphan*/, char *);
int /*<<< orphan*/ stderr;
int strlen(char *);
int validate_password(char *pass) {
  int lower = 0;
  int upper = 0;
  int num = 0;
  int special = 0;
  int i;
  int passlen = strlen(pass);
  if (passlen < 9) {
    fprintf(stderr,
            ("BAD PASSWORD: The password is shorter than 9 characters\n"));
    return 1;
  }
  for (i = 0; i < passlen; i++) {
    if (pass[i] >= 48 && pass[i] <= 57)
      num = 1;
    else if (pass[i] >= 65 && pass[i] <= 90)
      upper = 1;
    else if (pass[i] >= 97 && pass[i] <= 122)
      lower = 1;
    else if (pass[i] >= 32 && pass[i] <= 47)
      special = 1;
    else if (pass[i] >= 58 && pass[i] <= 64)
      special = 1;
    else if (pass[i] >= 91 && pass[i] <= 96)
      special = 1;
    else if (pass[i] >= 123 && pass[i] <= 126)
      special = 1;
    if (lower + upper + num + special > 2)
      return 0;
  }
  fprintf(
      stderr,
      ("BAD PASSWORD: The password contains less than 3 character classes\n"));
  return 1;
}


x86 assembly (clang, -O0):
<validate_password>:
push   %rbp
mov    %rsp,%rbp
sub    $0x30,%rsp
mov    %rdi,-0x10(%rbp)
movl   $0x0,-0x14(%rbp)
movl   $0x0,-0x18(%rbp)
movl   $0x0,-0x1c(%rbp)
movl   $0x0,-0x20(%rbp)
mov    -0x10(%rbp),%rdi
call   1030 <strlen@plt>
mov    %eax,-0x28(%rbp)
cmpl   $0x9,-0x28(%rbp)
jge    117f <validate_password+0x5f>
mov    0x2e7b(%rip),%rax
mov    (%rax),%edi
lea    0xe92(%rip),%rsi
call   1040 <fprintf@plt>
movl   $0x1,-0x4(%rbp)
jmp    1375 <validate_password+0x255>
movl   $0x0,-0x24(%rbp)
mov    -0x24(%rbp),%eax
cmp    -0x28(%rbp),%eax
jge    1359 <validate_password+0x239>
mov    -0x10(%rbp),%rax
movslq -0x24(%rbp),%rcx
movsbl (%rax,%rcx,1),%eax
cmp    $0x30,%eax
jl     11c8 <validate_password+0xa8>
mov    -0x10(%rbp),%rax
movslq -0x24(%rbp),%rcx
movsbl (%rax,%rcx,1),%eax
cmp    $0x39,%eax
jg     11c8 <validate_password+0xa8>
movl   $0x1,-0x1c(%rbp)
jmp    1325 <validate_password+0x205>
mov    -0x10(%rbp),%rax
movslq -0x24(%rbp),%rcx
movsbl (%rax,%rcx,1),%eax
cmp    $0x41,%eax
jl     11fe <validate_password+0xde>
mov    -0x10(%rbp),%rax
movslq -0x24(%rbp),%rcx
movsbl (%rax,%rcx,1),%eax
cmp    $0x5a,%eax
jg     11fe <validate_password+0xde>
movl   $0x1,-0x18(%rbp)
jmp    1320 <validate_password+0x200>
mov    -0x10(%rbp),%rax
movslq -0x24(%rbp),%rcx
movsbl (%rax,%rcx,1),%eax
cmp    $0x61,%eax
jl     1234 <validate_password+0x114>
mov    -0x10(%rbp),%rax
movslq -0x24(%rbp),%rcx
movsbl (%rax,%rcx,1),%eax
cmp    $0x7a,%eax
jg     1234 <validate_password+0x114>
movl   $0x1,-0x14(%rbp)
jmp    131b <validate_password+0x1fb>
mov    -0x10(%rbp),%rax
movslq -0x24(%rbp),%rcx
movsbl (%rax,%rcx,1),%eax
cmp    $0x20,%eax
jl     126a <validate_password+0x14a>
mov    -0x10(%rbp),%rax
movslq -0x24(%rbp),%rcx
movsbl (%rax,%rcx,1),%eax
cmp    $0x2f,%eax
jg     126a <validate_password+0x14a>
movl   $0x1,-0x20(%rbp)
jmp    1316 <validate_password+0x1f6>
mov    -0x10(%rbp),%rax
movslq -0x24(%rbp),%rcx
movsbl (%rax,%rcx,1),%eax
cmp    $0x3a,%eax
jl     12a0 <validate_password+0x180>
mov    -0x10(%rbp),%rax
movslq -0x24(%rbp),%rcx
movsbl (%rax,%rcx,1),%eax
cmp    $0x40,%eax
jg     12a0 <validate_password+0x180>
movl   $0x1,-0x20(%rbp)
jmp    1311 <validate_password+0x1f1>
mov    -0x10(%rbp),%rax
movslq -0x24(%rbp),%rcx
movsbl (%rax,%rcx,1),%eax
cmp    $0x5b,%eax
jl     12d6 <validate_password+0x1b6>
mov    -0x10(%rbp),%rax
movslq -0x24(%rbp),%rcx
movsbl (%rax,%rcx,1),%eax
cmp    $0x60,%eax
jg     12d6 <validate_password+0x1b6>
movl   $0x1,-0x20(%rbp)
jmp    130c <validate_password+0x1ec>
mov    -0x10(%rbp),%rax
movslq -0x24(%rbp),%rcx
movsbl (%rax,%rcx,1),%eax
cmp    $0x7b,%eax
jl     1307 <validate_password+0x1e7>
mov    -0x10(%rbp),%rax
movslq -0x24(%rbp),%rcx
movsbl (%rax,%rcx,1),%eax
cmp    $0x7e,%eax
jg     1307 <validate_password+0x1e7>
movl   $0x1,-0x20(%rbp)
jmp    130c <validate_password+0x1ec>
jmp    1311 <validate_password+0x1f1>
jmp    1316 <validate_password+0x1f6>
jmp    131b <validate_password+0x1fb>
jmp    1320 <validate_password+0x200>
jmp    1325 <validate_password+0x205>
mov    -0x14(%rbp),%eax
add    -0x18(%rbp),%eax
add    -0x1c(%rbp),%eax
add    -0x20(%rbp),%eax
cmp    $0x2,%eax
jle    1346 <validate_password+0x226>
movl   $0x0,-0x4(%rbp)
jmp    1375 <validate_password+0x255>
jmp    134b <validate_password+0x22b>
mov    -0x24(%rbp),%eax
add    $0x1,%eax
mov    %eax,-0x24(%rbp)
jmp    1186 <validate_password+0x66>
mov    0x2c80(%rip),%rax
mov    (%rax),%edi
lea    0xcd0(%rip),%rsi
call   1040 <fprintf@plt>
movl   $0x1,-0x4(%rbp)
mov    -0x4(%rbp),%eax
add    $0x30,%rsp
pop    %rbp
ret

x86 assembly (clang, -O2):
<validate_password>:
push   %r14
push   %rbx
push   %rax
mov    %rdi,%r14
call   1030 <strlen@plt>
cmp    $0x9,%eax
jge    113d <validate_password+0x1d>
lea    0xec8(%rip),%rsi
jmp    11ea <validate_password+0xca>
mov    %eax,%r9d
xor    %ecx,%ecx
lea    0xef0(%rip),%rsi
mov    $0x1,%r8d
xor    %ebx,%ebx
xor    %edi,%edi
xor    %r11d,%r11d
xor    %r10d,%r10d
nopl   0x0(%rax)
movzbl (%r14,%rcx,1),%edx
lea    -0x30(%rdx),%eax
cmp    $0xa,%al
jae    1180 <validate_password+0x60>
mov    $0x1,%edi
jmp    11d0 <validate_password+0xb0>
cs nopw 0x0(%rax,%rax,1)
nopl   (%rax)
lea    -0x41(%rdx),%eax
cmp    $0x1a,%al
jae    1190 <validate_password+0x70>
mov    $0x1,%r11d
jmp    11d0 <validate_password+0xb0>
nop
lea    -0x61(%rdx),%eax
cmp    $0x1a,%al
jae    119f <validate_password+0x7f>
mov    $0x1,%r10d
jmp    11d0 <validate_password+0xb0>
mov    %edx,%eax
and    $0xf0,%al
cmp    $0x20,%al
je     11c1 <validate_password+0xa1>
lea    -0x3a(%rdx),%eax
cmp    $0x7,%al
jb     11c1 <validate_password+0xa1>
lea    -0x5b(%rdx),%eax
cmp    $0x6,%al
jb     11c1 <validate_password+0xa1>
add    $0x81,%dl
cmp    $0xfc,%dl
cmovae %r8d,%ebx
jmp    11d0 <validate_password+0xb0>
mov    $0x1,%ebx
cs nopw 0x0(%rax,%rax,1)
lea    (%r11,%r10,1),%eax
add    %edi,%eax
add    %ebx,%eax
cmp    $0x2,%eax
jg     11ff <validate_password+0xdf>
add    $0x1,%rcx
cmp    %rcx,%r9
jne    1160 <validate_password+0x40>
mov    0x2def(%rip),%rax
mov    (%rax),%edi
call   1040 <fprintf@plt>
mov    $0x1,%eax
jmp    1201 <validate_password+0xe1>
xor    %eax,%eax
add    $0x8,%rsp
pop    %rbx
pop    %r14
ret

LLVM IR (-O0):
@stderr = global i32 0
@.str = [57 x i8] c"BAD PASSWORD: The password is shorter than 9 characters\0A\00"
@.str.1 = [67 x i8] c"BAD PASSWORD: The password contains less than 3 character classes\0A\00"
define i32 @validate_password(i8* %0) {
%2 = alloca i32
%3 = alloca i8*
%4 = alloca i32
%5 = alloca i32
%6 = alloca i32
%7 = alloca i32
%8 = alloca i32
%9 = alloca i32
store i8* %0, i8** %3
store i32 0, i32* %4
store i32 0, i32* %5
store i32 0, i32* %6
store i32 0, i32* %7
%10 = load i8*, i8** %3
%11 = call i32 @strlen(i8* %10)
store i32 %11, i32* %9
%12 = load i32, i32* %9
%13 = icmp slt i32 %12, 9
br i1 %13, label %14, label %17
14: ; preds = %1
%15 = load i32, i32* @stderr
%16 = call i32 @fprintf(i32 %15, i8* getelementptr inbounds ([57 x i8], [57 x i8]* @.str, i64 0, i64 0))
store i32 1, i32* %2
br label %164
17: ; preds = %1
store i32 0, i32* %8
br label %18
18: ; preds = %158, %17
%19 = load i32, i32* %8
%20 = load i32, i32* %9
%21 = icmp slt i32 %19, %20
br i1 %21, label %22, label %161
22: ; preds = %18
%23 = load i8*, i8** %3
%24 = load i32, i32* %8
%25 = sext i32 %24 to i64
%26 = getelementptr inbounds i8, i8* %23, i64 %25
%27 = load i8, i8* %26
%28 = sext i8 %27 to i32
%29 = icmp sge i32 %28, 48
br i1 %29, label %30, label %39
30: ; preds = %22
%31 = load i8*, i8** %3
%32 = load i32, i32* %8
%33 = sext i32 %32 to i64
%34 = getelementptr inbounds i8, i8* %31, i64 %33
%35 = load i8, i8* %34
%36 = sext i8 %35 to i32
%37 = icmp sle i32 %36, 57
br i1 %37, label %38, label %39
38: ; preds = %30
store i32 1, i32* %6
br label %147
39: ; preds = %30, %22
%40 = load i8*, i8** %3
%41 = load i32, i32* %8
%42 = sext i32 %41 to i64
%43 = getelementptr inbounds i8, i8* %40, i64 %42
%44 = load i8, i8* %43
%45 = sext i8 %44 to i32
%46 = icmp sge i32 %45, 65
br i1 %46, label %47, label %56
47: ; preds = %39
%48 = load i8*, i8** %3
%49 = load i32, i32* %8
%50 = sext i32 %49 to i64
%51 = getelementptr inbounds i8, i8* %48, i64 %50
%52 = load i8, i8* %51
%53 = sext i8 %52 to i32
%54 = icmp sle i32 %53, 90
br i1 %54, label %55, label %56
55: ; preds = %47
store i32 1, i32* %5
br label %146
56: ; preds = %47, %39
%57 = load i8*, i8** %3
%58 = load i32, i32* %8
%59 = sext i32 %58 to i64
%60 = getelementptr inbounds i8, i8* %57, i64 %59
%61 = load i8, i8* %60
%62 = sext i8 %61 to i32
%63 = icmp sge i32 %62, 97
br i1 %63, label %64, label %73
64: ; preds = %56
%65 = load i8*, i8** %3
%66 = load i32, i32* %8
%67 = sext i32 %66 to i64
%68 = getelementptr inbounds i8, i8* %65, i64 %67
%69 = load i8, i8* %68
%70 = sext i8 %69 to i32
%71 = icmp sle i32 %70, 122
br i1 %71, label %72, label %73
72: ; preds = %64
store i32 1, i32* %4
br label %145
73: ; preds = %64, %56
%74 = load i8*, i8** %3
%75 = load i32, i32* %8
%76 = sext i32 %75 to i64
%77 = getelementptr inbounds i8, i8* %74, i64 %76
%78 = load i8, i8* %77
%79 = sext i8 %78 to i32
%80 = icmp sge i32 %79, 32
br i1 %80, label %81, label %90
81: ; preds = %73
%82 = load i8*, i8** %3
%83 = load i32, i32* %8
%84 = sext i32 %83 to i64
%85 = getelementptr inbounds i8, i8* %82, i64 %84
%86 = load i8, i8* %85
%87 = sext i8 %86 to i32
%88 = icmp sle i32 %87, 47
br i1 %88, label %89, label %90
89: ; preds = %81
store i32 1, i32* %7
br label %144
90: ; preds = %81, %73
%91 = load i8*, i8** %3
%92 = load i32, i32* %8
%93 = sext i32 %92 to i64
%94 = getelementptr inbounds i8, i8* %91, i64 %93
%95 = load i8, i8* %94
%96 = sext i8 %95 to i32
%97 = icmp sge i32 %96, 58
br i1 %97, label %98, label %107
98: ; preds = %90
%99 = load i8*, i8** %3
%100 = load i32, i32* %8
%101 = sext i32 %100 to i64
%102 = getelementptr inbounds i8, i8* %99, i64 %101
%103 = load i8, i8* %102
%104 = sext i8 %103 to i32
%105 = icmp sle i32 %104, 64
br i1 %105, label %106, label %107
106: ; preds = %98
store i32 1, i32* %7
br label %143
107: ; preds = %98, %90
%108 = load i8*, i8** %3
%109 = load i32, i32* %8
%110 = sext i32 %109 to i64
%111 = getelementptr inbounds i8, i8* %108, i64 %110
%112 = load i8, i8* %111
%113 = sext i8 %112 to i32
%114 = icmp sge i32 %113, 91
br i1 %114, label %115, label %124
115: ; preds = %107
%116 = load i8*, i8** %3
%117 = load i32, i32* %8
%118 = sext i32 %117 to i64
%119 = getelementptr inbounds i8, i8* %116, i64 %118
%120 = load i8, i8* %119
%121 = sext i8 %120 to i32
%122 = icmp sle i32 %121, 96
br i1 %122, label %123, label %124
123: ; preds = %115
store i32 1, i32* %7
br label %142
124: ; preds = %115, %107
%125 = load i8*, i8** %3
%126 = load i32, i32* %8
%127 = sext i32 %126 to i64
%128 = getelementptr inbounds i8, i8* %125, i64 %127
%129 = load i8, i8* %128
%130 = sext i8 %129 to i32
%131 = icmp sge i32 %130, 123
br i1 %131, label %132, label %141
132: ; preds = %124
%133 = load i8*, i8** %3
%134 = load i32, i32* %8
%135 = sext i32 %134 to i64
%136 = getelementptr inbounds i8, i8* %133, i64 %135
%137 = load i8, i8* %136
%138 = sext i8 %137 to i32
%139 = icmp sle i32 %138, 126
br i1 %139, label %140, label %141
140: ; preds = %132
store i32 1, i32* %7
br label %141
141: ; preds = %140, %132, %124
br label %142
142: ; preds = %141, %123
br label %143
143: ; preds = %142, %106
br label %144
144: ; preds = %143, %89
br label %145
145: ; preds = %144, %72
br label %146
146: ; preds = %145, %55
br label %147
147: ; preds = %146, %38
%148 = load i32, i32* %4
%149 = load i32, i32* %5
%150 = add nsw i32 %148, %149
%151 = load i32, i32* %6
%152 = add nsw i32 %150, %151
%153 = load i32, i32* %7
%154 = add nsw i32 %152, %153
%155 = icmp sgt i32 %154, 2
br i1 %155, label %156, label %157
156: ; preds = %147
store i32 0, i32* %2
br label %164
157: ; preds = %147
br label %158
158: ; preds = %157
%159 = load i32, i32* %8
%160 = add nsw i32 %159, 1
store i32 %160, i32* %8
br label %18
161: ; preds = %18
%162 = load i32, i32* @stderr
%163 = call i32 @fprintf(i32 %162, i8* getelementptr inbounds ([67 x i8], [67 x i8]* @.str.1, i64 0, i64 0))
store i32 1, i32* %2
br label %164
164: ; preds = %161, %156, %14
%165 = load i32, i32* %2
ret i32 %165
}

LLVM IR (-O2):
@stderr = global i32 0
@.str = [57 x i8] c"BAD PASSWORD: The password is shorter than 9 characters\0A\00"
@.str.1 = [67 x i8] c"BAD PASSWORD: The password contains less than 3 character classes\0A\00"
define i32 @validate_password(i8* %0) {
%2 = tail call i32 @strlen(i8* %0)
%3 = icmp slt i32 %2, 9
br i1 %3, label %47, label %4
4: ; preds = %1
%5 = zext i32 %2 to i64
br label %8
6: ; preds = %37
%7 = icmp eq i64 %46, %5
br i1 %7, label %47, label %8
8: ; preds = %4, %6
%9 = phi i64 [ 0, %4 ], [ %46, %6 ]
%10 = phi i32 [ 0, %4 ], [ %41, %6 ]
%11 = phi i32 [ 0, %4 ], [ %40, %6 ]
%12 = phi i32 [ 0, %4 ], [ %39, %6 ]
%13 = phi i32 [ 0, %4 ], [ %38, %6 ]
%14 = getelementptr inbounds i8, i8* %0, i64 %9
%15 = load i8, i8* %14
%16 = add i8 %15, -48
%17 = icmp ult i8 %16, 10
br i1 %17, label %37, label %18
18: ; preds = %8
%19 = add i8 %15, -65
%20 = icmp ult i8 %19, 26
br i1 %20, label %37, label %21
21: ; preds = %18
%22 = add i8 %15, -97
%23 = icmp ult i8 %22, 26
br i1 %23, label %37, label %24
24: ; preds = %21
%25 = and i8 %15, -16
%26 = icmp eq i8 %25, 32
%27 = add i8 %15, -58
%28 = icmp ult i8 %27, 7
%29 = or i1 %26, %28
%30 = add i8 %15, -91
%31 = icmp ult i8 %30, 6
%32 = select i1 %29, i1 true, i1 %31
br i1 %32, label %37, label %33
33: ; preds = %24
%34 = add i8 %15, -127
%35 = icmp ult i8 %34, -4
%36 = select i1 %35, i32 %10, i32 1
br label %37
37: ; preds = %33, %24, %21, %18, %8
%38 = phi i32 [ %13, %8 ], [ %13, %18 ], [ 1, %21 ], [ %13, %24 ], [ %13, %33 ]
%39 = phi i32 [ %12, %8 ], [ 1, %18 ], [ %12, %21 ], [ %12, %24 ], [ %12, %33 ]
%40 = phi i32 [ 1, %8 ], [ %11, %18 ], [ %11, %21 ], [ %11, %24 ], [ %11, %33 ]
%41 = phi i32 [ %10, %8 ], [ %10, %18 ], [ %10, %21 ], [ 1, %24 ], [ %36, %33 ]
%42 = add nsw i32 %39, %38
%43 = add nsw i32 %42, %40
%44 = add nsw i32 %43, %41
%45 = icmp sgt i32 %44, 2
%46 = add nuw nsw i64 %9, 1
br i1 %45, label %51, label %6
47: ; preds = %6, %1
%48 = phi i8* [ getelementptr inbounds ([57 x i8], [57 x i8]* @.str, i64 0, i64 0), %1 ], [ getelementptr inbounds ([67 x i8], [67 x i8]* @.str.1, i64 0, i64 0), %6 ]
%49 = load i32, i32* @stderr
%50 = tail call i32 @fprintf(i32 %49, i8* %48)
br label %51
51: ; preds = %37, %47
%52 = phi i32 [ 1, %47 ], [ 0, %37 ]
ret i32 %52
}