#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 psX509ValidateGeneralName(char *n) {
  char *c;
  int atfound;
  int notip;
  if (n == NULL)
    return 0;
  if (*n == '\0')
    return -1;
  atfound = notip = 0;
  for (c = n; *c != '\0'; c++) {
    if (c != n) {
      if (*c == '.' && *(c - 1) == '.')
        return -1;
      if (*c == '.' && *(c - 1) == '-')
        return -1;
      if (*c == '.' && *(c - 1) == '@')
        return -1;
      if (*c == '-' && *(c - 1) == '.')
        return -1;
      if (*c == '-' && *(c - 1) == '-')
        return -1;
      if (*c == '-' && *(c - 1) == '@')
        return -1;
      if (*c == '@' && *(c - 1) == '.')
        return -1;
      if (*c == '@' && *(c - 1) == '-')
        return -1;
      if (*c == '@' && *(c - 1) == '@')
        return -1;
    }
    if (*c != '.' && (*c < '0' || *c > '9'))
      notip++;
    if (c != n && *(c + 1) != '\0' && (*c == '.' || *c == '-'))
      continue;
    if (*c == '@') {
      atfound++;
      if (c != n && *(c + 1) != '\0' && atfound == 1) {
        continue;
      }
    }
    if (*c >= '0' && *c <= '9')
      continue;
    if (*c >= 'A' && *c <= 'Z')
      continue;
    if (*c >= 'a' && *c <= 'z')
      continue;
    return -1;
  }
  if (atfound && (*n >= '0' && *n <= '9'))
    return -1;
  return 0;
}


x86 assembly (clang, -O0):
<psX509ValidateGeneralName>:
push   %rbp
mov    %rsp,%rbp
mov    %rdi,-0x10(%rbp)
cmpq   $0x0,-0x10(%rbp)
jne    111f <psX509ValidateGeneralName+0x1f>
movl   $0x0,-0x4(%rbp)
jmp    149b <psX509ValidateGeneralName+0x39b>
mov    -0x10(%rbp),%rax
movsbl (%rax),%eax
cmp    $0x0,%eax
jne    113b <psX509ValidateGeneralName+0x3b>
movl   $0xffffffff,-0x4(%rbp)
jmp    149b <psX509ValidateGeneralName+0x39b>
movl   $0x0,-0x20(%rbp)
movl   $0x0,-0x1c(%rbp)
mov    -0x10(%rbp),%rax
mov    %rax,-0x18(%rbp)
mov    -0x18(%rbp),%rax
movsbl (%rax),%eax
cmp    $0x0,%eax
je     145e <psX509ValidateGeneralName+0x35e>
mov    -0x18(%rbp),%rax
cmp    -0x10(%rbp),%rax
je     1309 <psX509ValidateGeneralName+0x209>
mov    -0x18(%rbp),%rax
movsbl (%rax),%eax
cmp    $0x2e,%eax
jne    119c <psX509ValidateGeneralName+0x9c>
mov    -0x18(%rbp),%rax
movsbl -0x1(%rax),%eax
cmp    $0x2e,%eax
jne    119c <psX509ValidateGeneralName+0x9c>
movl   $0xffffffff,-0x4(%rbp)
jmp    149b <psX509ValidateGeneralName+0x39b>
mov    -0x18(%rbp),%rax
movsbl (%rax),%eax
cmp    $0x2e,%eax
jne    11c9 <psX509ValidateGeneralName+0xc9>
mov    -0x18(%rbp),%rax
movsbl -0x1(%rax),%eax
cmp    $0x2d,%eax
jne    11c9 <psX509ValidateGeneralName+0xc9>
movl   $0xffffffff,-0x4(%rbp)
jmp    149b <psX509ValidateGeneralName+0x39b>
mov    -0x18(%rbp),%rax
movsbl (%rax),%eax
cmp    $0x2e,%eax
jne    11f6 <psX509ValidateGeneralName+0xf6>
mov    -0x18(%rbp),%rax
movsbl -0x1(%rax),%eax
cmp    $0x40,%eax
jne    11f6 <psX509ValidateGeneralName+0xf6>
movl   $0xffffffff,-0x4(%rbp)
jmp    149b <psX509ValidateGeneralName+0x39b>
mov    -0x18(%rbp),%rax
movsbl (%rax),%eax
cmp    $0x2d,%eax
jne    1223 <psX509ValidateGeneralName+0x123>
mov    -0x18(%rbp),%rax
movsbl -0x1(%rax),%eax
cmp    $0x2e,%eax
jne    1223 <psX509ValidateGeneralName+0x123>
movl   $0xffffffff,-0x4(%rbp)
jmp    149b <psX509ValidateGeneralName+0x39b>
mov    -0x18(%rbp),%rax
movsbl (%rax),%eax
cmp    $0x2d,%eax
jne    1250 <psX509ValidateGeneralName+0x150>
mov    -0x18(%rbp),%rax
movsbl -0x1(%rax),%eax
cmp    $0x2d,%eax
jne    1250 <psX509ValidateGeneralName+0x150>
movl   $0xffffffff,-0x4(%rbp)
jmp    149b <psX509ValidateGeneralName+0x39b>
mov    -0x18(%rbp),%rax
movsbl (%rax),%eax
cmp    $0x2d,%eax
jne    127d <psX509ValidateGeneralName+0x17d>
mov    -0x18(%rbp),%rax
movsbl -0x1(%rax),%eax
cmp    $0x40,%eax
jne    127d <psX509ValidateGeneralName+0x17d>
movl   $0xffffffff,-0x4(%rbp)
jmp    149b <psX509ValidateGeneralName+0x39b>
mov    -0x18(%rbp),%rax
movsbl (%rax),%eax
cmp    $0x40,%eax
jne    12aa <psX509ValidateGeneralName+0x1aa>
mov    -0x18(%rbp),%rax
movsbl -0x1(%rax),%eax
cmp    $0x2e,%eax
jne    12aa <psX509ValidateGeneralName+0x1aa>
movl   $0xffffffff,-0x4(%rbp)
jmp    149b <psX509ValidateGeneralName+0x39b>
mov    -0x18(%rbp),%rax
movsbl (%rax),%eax
cmp    $0x40,%eax
jne    12d7 <psX509ValidateGeneralName+0x1d7>
mov    -0x18(%rbp),%rax
movsbl -0x1(%rax),%eax
cmp    $0x2d,%eax
jne    12d7 <psX509ValidateGeneralName+0x1d7>
movl   $0xffffffff,-0x4(%rbp)
jmp    149b <psX509ValidateGeneralName+0x39b>
mov    -0x18(%rbp),%rax
movsbl (%rax),%eax
cmp    $0x40,%eax
jne    1304 <psX509ValidateGeneralName+0x204>
mov    -0x18(%rbp),%rax
movsbl -0x1(%rax),%eax
cmp    $0x40,%eax
jne    1304 <psX509ValidateGeneralName+0x204>
movl   $0xffffffff,-0x4(%rbp)
jmp    149b <psX509ValidateGeneralName+0x39b>
jmp    1309 <psX509ValidateGeneralName+0x209>
mov    -0x18(%rbp),%rax
movsbl (%rax),%eax
cmp    $0x2e,%eax
je     1342 <psX509ValidateGeneralName+0x242>
mov    -0x18(%rbp),%rax
movsbl (%rax),%eax
cmp    $0x30,%eax
jl     1339 <psX509ValidateGeneralName+0x239>
mov    -0x18(%rbp),%rax
movsbl (%rax),%eax
cmp    $0x39,%eax
jle    1342 <psX509ValidateGeneralName+0x242>
mov    -0x20(%rbp),%eax
add    $0x1,%eax
mov    %eax,-0x20(%rbp)
mov    -0x18(%rbp),%rax
cmp    -0x10(%rbp),%rax
je     1386 <psX509ValidateGeneralName+0x286>
mov    -0x18(%rbp),%rax
movsbl 0x1(%rax),%eax
cmp    $0x0,%eax
je     1386 <psX509ValidateGeneralName+0x286>
mov    -0x18(%rbp),%rax
movsbl (%rax),%eax
cmp    $0x2e,%eax
je     1381 <psX509ValidateGeneralName+0x281>
mov    -0x18(%rbp),%rax
movsbl (%rax),%eax
cmp    $0x2d,%eax
jne    1386 <psX509ValidateGeneralName+0x286>
jmp    144d <psX509ValidateGeneralName+0x34d>
mov    -0x18(%rbp),%rax
movsbl (%rax),%eax
cmp    $0x40,%eax
jne    13d2 <psX509ValidateGeneralName+0x2d2>
mov    -0x1c(%rbp),%eax
add    $0x1,%eax
mov    %eax,-0x1c(%rbp)
mov    -0x18(%rbp),%rax
cmp    -0x10(%rbp),%rax
je     13cd <psX509ValidateGeneralName+0x2cd>
mov    -0x18(%rbp),%rax
movsbl 0x1(%rax),%eax
cmp    $0x0,%eax
je     13cd <psX509ValidateGeneralName+0x2cd>
cmpl   $0x1,-0x1c(%rbp)
jne    13cd <psX509ValidateGeneralName+0x2cd>
jmp    144d <psX509ValidateGeneralName+0x34d>
jmp    13d2 <psX509ValidateGeneralName+0x2d2>
mov    -0x18(%rbp),%rax
movsbl (%rax),%eax
cmp    $0x30,%eax
jl     13f7 <psX509ValidateGeneralName+0x2f7>
mov    -0x18(%rbp),%rax
movsbl (%rax),%eax
cmp    $0x39,%eax
jg     13f7 <psX509ValidateGeneralName+0x2f7>
jmp    144d <psX509ValidateGeneralName+0x34d>
mov    -0x18(%rbp),%rax
movsbl (%rax),%eax
cmp    $0x41,%eax
jl     141c <psX509ValidateGeneralName+0x31c>
mov    -0x18(%rbp),%rax
movsbl (%rax),%eax
cmp    $0x5a,%eax
jg     141c <psX509ValidateGeneralName+0x31c>
jmp    144d <psX509ValidateGeneralName+0x34d>
mov    -0x18(%rbp),%rax
movsbl (%rax),%eax
cmp    $0x61,%eax
jl     1441 <psX509ValidateGeneralName+0x341>
mov    -0x18(%rbp),%rax
movsbl (%rax),%eax
cmp    $0x7a,%eax
jg     1441 <psX509ValidateGeneralName+0x341>
jmp    144d <psX509ValidateGeneralName+0x34d>
movl   $0xffffffff,-0x4(%rbp)
jmp    149b <psX509ValidateGeneralName+0x39b>
mov    -0x18(%rbp),%rax
add    $0x1,%rax
mov    %rax,-0x18(%rbp)
jmp    1151 <psX509ValidateGeneralName+0x51>
cmpl   $0x0,-0x1c(%rbp)
je     1494 <psX509ValidateGeneralName+0x394>
mov    -0x10(%rbp),%rax
movsbl (%rax),%eax
cmp    $0x30,%eax
jl     1494 <psX509ValidateGeneralName+0x394>
mov    -0x10(%rbp),%rax
movsbl (%rax),%eax
cmp    $0x39,%eax
jg     1494 <psX509ValidateGeneralName+0x394>
movl   $0xffffffff,-0x4(%rbp)
jmp    149b <psX509ValidateGeneralName+0x39b>
movl   $0x0,-0x4(%rbp)
mov    -0x4(%rbp),%eax
pop    %rbp
ret

x86 assembly (clang, -O2):
<psX509ValidateGeneralName>:
test   %rdi,%rdi
je     11d4 <psX509ValidateGeneralName+0xd4>
mov    (%rdi),%r9b
mov    $0xffffffff,%eax
test   %r9b,%r9b
je     11ef <psX509ValidateGeneralName+0xef>
xor    %esi,%esi
mov    $0x80003,%r8d
xor    %r10d,%r10d
mov    %r9d,%ecx
jmp    1143 <psX509ValidateGeneralName+0x43>
nopw   0x0(%rax,%rax,1)
movzbl 0x1(%rdi,%rsi,1),%edx
add    $0x1,%rsi
mov    %edx,%ecx
test   %dl,%dl
je     11d7 <psX509ValidateGeneralName+0xd7>
test   %rsi,%rsi
je     1180 <psX509ValidateGeneralName+0x80>
cmp    $0x2d,%cl
je     1157 <psX509ValidateGeneralName+0x57>
cmp    $0x40,%cl
je     11a4 <psX509ValidateGeneralName+0xa4>
cmp    $0x2e,%cl
jne    118a <psX509ValidateGeneralName+0x8a>
movzbl -0x1(%rdi,%rsi,1),%edx
add    $0xd3,%dl
cmp    $0x13,%dl
ja     1171 <psX509ValidateGeneralName+0x71>
movzbl %dl,%edx
bt     %rdx,%r8
jb     11ef <psX509ValidateGeneralName+0xef>
movzbl 0x1(%rdi,%rsi,1),%edx
test   %dl,%dl
jne    1135 <psX509ValidateGeneralName+0x35>
jmp    118a <psX509ValidateGeneralName+0x8a>
nopl   0x0(%rax)
cmp    $0x2e,%cl
je     11ef <psX509ValidateGeneralName+0xef>
cmp    $0x40,%cl
je     11ef <psX509ValidateGeneralName+0xef>
lea    -0x30(%rcx),%edx
cmp    $0xa,%dl
jb     1130 <psX509ValidateGeneralName+0x30>
lea    -0x41(%rcx),%edx
cmp    $0x1a,%dl
jb     1130 <psX509ValidateGeneralName+0x30>
add    $0x9f,%cl
cmp    $0x19,%cl
jbe    1130 <psX509ValidateGeneralName+0x30>
jmp    11ef <psX509ValidateGeneralName+0xef>
movzbl -0x1(%rdi,%rsi,1),%ecx
add    $0xd3,%cl
cmp    $0x13,%cl
ja     11ba <psX509ValidateGeneralName+0xba>
movzbl %cl,%ecx
bt     %rcx,%r8
jb     11ef <psX509ValidateGeneralName+0xef>
movzbl 0x1(%rdi,%rsi,1),%edx
test   %dl,%dl
je     11ef <psX509ValidateGeneralName+0xef>
test   %r10d,%r10d
mov    $0x1,%r10d
je     1135 <psX509ValidateGeneralName+0x35>
jmp    11ef <psX509ValidateGeneralName+0xef>
xor    %eax,%eax
ret
test   %r10d,%r10d
setne  %al
add    $0xd0,%r9b
cmp    $0xa,%r9b
setb   %cl
and    %al,%cl
movzbl %cl,%eax
neg    %eax
ret

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

LLVM IR (-O2):
define i32 @psX509ValidateGeneralName(i8* %0) {
%2 = icmp eq i8* %0, null
br i1 %2, label %55, label %3
3: ; preds = %1
%4 = load i8, i8* %0
%5 = icmp eq i8 %4, 0
br i1 %5, label %55, label %6
6: ; preds = %3, %44
%7 = phi i32 [ %46, %44 ], [ 0, %3 ]
%8 = phi i8* [ %47, %44 ], [ %0, %3 ]
%9 = phi i8 [ %45, %44 ], [ %4, %3 ]
%10 = icmp eq i8* %8, %0
br i1 %10, label %27, label %11
11: ; preds = %6
switch i8 %9, label %32 [
i8 46, label %12
i8 45, label %15
i8 64, label %18
]
12: ; preds = %11
%13 = getelementptr inbounds i8, i8* %8, i64 -1
%14 = load i8, i8* %13
switch i8 %14, label %28 [
i8 46, label %55
i8 45, label %55
i8 64, label %55
]
15: ; preds = %11
%16 = getelementptr inbounds i8, i8* %8, i64 -1
%17 = load i8, i8* %16
switch i8 %17, label %28 [
i8 46, label %55
i8 45, label %55
i8 64, label %55
]
18: ; preds = %11
%19 = getelementptr inbounds i8, i8* %8, i64 -1
%20 = load i8, i8* %19
switch i8 %20, label %21 [
i8 46, label %55
i8 45, label %55
i8 64, label %55
]
21: ; preds = %18
%22 = getelementptr inbounds i8, i8* %8, i64 1
%23 = load i8, i8* %22
%24 = icmp ne i8 %23, 0
%25 = icmp eq i32 %7, 0
%26 = select i1 %24, i1 %25, i1 false
br i1 %26, label %44, label %55
27: ; preds = %6
switch i8 %9, label %32 [
i8 46, label %55
i8 64, label %55
]
28: ; preds = %15, %12
%29 = getelementptr inbounds i8, i8* %8, i64 1
%30 = load i8, i8* %29
%31 = icmp eq i8 %30, 0
br i1 %31, label %32, label %44
32: ; preds = %11, %27, %28
%33 = add i8 %9, -48
%34 = icmp ult i8 %33, 10
%35 = add i8 %9, -65
%36 = icmp ult i8 %35, 26
%37 = or i1 %34, %36
%38 = add i8 %9, -97
%39 = icmp ult i8 %38, 26
%40 = select i1 %37, i1 true, i1 %39
br i1 %40, label %41, label %55
41: ; preds = %32
%42 = getelementptr inbounds i8, i8* %8, i64 1
%43 = load i8, i8* %42
br label %44
44: ; preds = %41, %28, %21
%45 = phi i8 [ %23, %21 ], [ %43, %41 ], [ %30, %28 ]
%46 = phi i32 [ 1, %21 ], [ %7, %41 ], [ %7, %28 ]
%47 = getelementptr inbounds i8, i8* %8, i64 1
%48 = icmp eq i8 %45, 0
br i1 %48, label %49, label %6
49: ; preds = %44
%50 = icmp ne i32 %46, 0
%51 = add i8 %4, -48
%52 = icmp ult i8 %51, 10
%53 = select i1 %50, i1 %52, i1 false
%54 = sext i1 %53 to i32
br label %55
55: ; preds = %32, %21, %12, %12, %12, %15, %15, %15, %18, %18, %18, %27, %27, %49, %3, %1
%56 = phi i32 [ 0, %1 ], [ -1, %3 ], [ %54, %49 ], [ -1, %27 ], [ -1, %27 ], [ -1, %18 ], [ -1, %18 ], [ -1, %18 ], [ -1, %15 ], [ -1, %15 ], [ -1, %15 ], [ -1, %12 ], [ -1, %12 ], [ -1, %12 ], [ -1, %21 ], [ -1, %32 ]
ret i32 %56
}