#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 */
typedef char wchar_t;

/* Variables and functions */
char get_unichar(char *, char **, int /*<<< orphan*/);
scalar_t__ isalnum(char);
scalar_t__ isalpha(char);
scalar_t__ isdigit(char);
scalar_t__ isfspace(char);
int /*<<< orphan*/ strchr(char *, char);
int is_good_recog(char *c) {
  wchar_t wc;
  while (*c) {
    wc = get_unichar(c, &c, 0);
    if (!wc)
      return 0;
    if (wc == '"') {
      for (;;) {
        wc = get_unichar(c, &c, 0);
        if (!wc)
          return 0;
        if (wc == '"')
          break;
        if (wc == '\\') {
          wc = get_unichar(c, &c, 0);
          if (!wc)
            return 0;
        }
      }
      continue;
    }
    if (isfspace(wc))
      continue;
    if (wc >= 0x7f)
      return 0;
    if (isalpha(wc)) {
      if (*c++ != '{')
        return 0;
      if (*c == 'c') {
        c++;
        if (!isalnum(*c))
          return 0;
        while (*c && isalnum(*c))
          c++;
        if (*c++ != '}')
          return 0;
        continue;
      }
      if (isdigit(*c))
        c++;
      if (*c != 'r' && *c != 'd' && *c != 'x')
        return 0;
      c++;
      if (isdigit(*c)) {
        c++;
        while (*c && isdigit(*c))
          c++;
        if (*c++ != '-')
          return 0;
        if (!*c || !isdigit(*c))
          return 0;
        c++;
        while (*c && isdigit(*c))
          c++;
      }
      if (*c++ != '}')
        return 0;
      continue;
    }
    if (!strchr(":,.-_/", wc))
      return 0;
  }
  return 1;
}


x86 assembly (clang, -O0):
<is_good_recog>:
push   %rbp
mov    %rsp,%rbp
sub    $0x20,%rsp
mov    %rdi,-0x10(%rbp)
mov    -0x10(%rbp),%rax
cmpb   $0x0,(%rax)
je     1538 <is_good_recog+0x3d8>
mov    -0x10(%rbp),%rdi
lea    -0x10(%rbp),%rsi
xor    %edx,%edx
call   1060 <get_unichar@plt>
mov    %al,-0x11(%rbp)
cmpb   $0x0,-0x11(%rbp)
jne    11a1 <is_good_recog+0x41>
movl   $0x0,-0x4(%rbp)
jmp    153f <is_good_recog+0x3df>
movsbl -0x11(%rbp),%eax
cmp    $0x22,%eax
jne    1231 <is_good_recog+0xd1>
jmp    11b3 <is_good_recog+0x53>
mov    -0x10(%rbp),%rdi
lea    -0x10(%rbp),%rsi
xor    %edx,%edx
call   1060 <get_unichar@plt>
mov    %al,-0x11(%rbp)
cmpb   $0x0,-0x11(%rbp)
jne    11db <is_good_recog+0x7b>
movl   $0x0,-0x4(%rbp)
jmp    153f <is_good_recog+0x3df>
movsbl -0x11(%rbp),%eax
cmp    $0x22,%eax
jne    11ed <is_good_recog+0x8d>
jmp    122c <is_good_recog+0xcc>
movsbl -0x11(%rbp),%eax
cmp    $0x5c,%eax
jne    1227 <is_good_recog+0xc7>
mov    -0x10(%rbp),%rdi
lea    -0x10(%rbp),%rsi
xor    %edx,%edx
call   1060 <get_unichar@plt>
mov    %al,-0x11(%rbp)
cmpb   $0x0,-0x11(%rbp)
jne    1222 <is_good_recog+0xc2>
movl   $0x0,-0x4(%rbp)
jmp    153f <is_good_recog+0x3df>
jmp    1227 <is_good_recog+0xc7>
jmp    11b3 <is_good_recog+0x53>
jmp    116c <is_good_recog+0xc>
movsbl -0x11(%rbp),%edi
call   1070 <isfspace@plt>
cmp    $0x0,%rax
je     1249 <is_good_recog+0xe9>
jmp    116c <is_good_recog+0xc>
movsbl -0x11(%rbp),%eax
cmp    $0x7f,%eax
jl     1262 <is_good_recog+0x102>
movl   $0x0,-0x4(%rbp)
jmp    153f <is_good_recog+0x3df>
movsbl -0x11(%rbp),%edi
call   1080 <isalpha@plt>
cmp    $0x0,%rax
je     150e <is_good_recog+0x3ae>
mov    -0x10(%rbp),%rax
mov    %rax,%rcx
add    $0x1,%rcx
mov    %rcx,-0x10(%rbp)
movsbl (%rax),%eax
cmp    $0x7b,%eax
je     129c <is_good_recog+0x13c>
movl   $0x0,-0x4(%rbp)
jmp    153f <is_good_recog+0x3df>
mov    -0x10(%rbp),%rax
movsbl (%rax),%eax
cmp    $0x63,%eax
jne    1357 <is_good_recog+0x1f7>
mov    -0x10(%rbp),%rax
add    $0x1,%rax
mov    %rax,-0x10(%rbp)
mov    -0x10(%rbp),%rax
movsbl (%rax),%edi
call   1050 <isalnum@plt>
cmp    $0x0,%rax
jne    12da <is_good_recog+0x17a>
movl   $0x0,-0x4(%rbp)
jmp    153f <is_good_recog+0x3df>
jmp    12df <is_good_recog+0x17f>
mov    -0x10(%rbp),%rax
movsbl (%rax),%ecx
xor    %eax,%eax
cmp    $0x0,%ecx
mov    %al,-0x12(%rbp)
je     130a <is_good_recog+0x1aa>
mov    -0x10(%rbp),%rax
movsbl (%rax),%edi
call   1050 <isalnum@plt>
cmp    $0x0,%rax
setne  %al
mov    %al,-0x12(%rbp)
mov    -0x12(%rbp),%al
test   $0x1,%al
jne    131a <is_good_recog+0x1ba>
jmp    132b <is_good_recog+0x1cb>
mov    -0x10(%rbp),%rax
add    $0x1,%rax
mov    %rax,-0x10(%rbp)
jmp    12df <is_good_recog+0x17f>
mov    -0x10(%rbp),%rax
mov    %rax,%rcx
add    $0x1,%rcx
mov    %rcx,-0x10(%rbp)
movsbl (%rax),%eax
cmp    $0x7d,%eax
je     1352 <is_good_recog+0x1f2>
movl   $0x0,-0x4(%rbp)
jmp    153f <is_good_recog+0x3df>
jmp    116c <is_good_recog+0xc>
mov    -0x10(%rbp),%rax
movsbl (%rax),%edi
call   1030 <isdigit@plt>
cmp    $0x0,%rax
je     1379 <is_good_recog+0x219>
mov    -0x10(%rbp),%rax
add    $0x1,%rax
mov    %rax,-0x10(%rbp)
mov    -0x10(%rbp),%rax
movsbl (%rax),%eax
cmp    $0x72,%eax
je     13b5 <is_good_recog+0x255>
mov    -0x10(%rbp),%rax
movsbl (%rax),%eax
cmp    $0x64,%eax
je     13b5 <is_good_recog+0x255>
mov    -0x10(%rbp),%rax
movsbl (%rax),%eax
cmp    $0x78,%eax
je     13b5 <is_good_recog+0x255>
movl   $0x0,-0x4(%rbp)
jmp    153f <is_good_recog+0x3df>
mov    -0x10(%rbp),%rax
add    $0x1,%rax
mov    %rax,-0x10(%rbp)
mov    -0x10(%rbp),%rax
movsbl (%rax),%edi
call   1030 <isdigit@plt>
cmp    $0x0,%rax
je     14e2 <is_good_recog+0x382>
mov    -0x10(%rbp),%rax
add    $0x1,%rax
mov    %rax,-0x10(%rbp)
mov    -0x10(%rbp),%rax
movsbl (%rax),%ecx
xor    %eax,%eax
cmp    $0x0,%ecx
mov    %al,-0x13(%rbp)
je     140e <is_good_recog+0x2ae>
mov    -0x10(%rbp),%rax
movsbl (%rax),%edi
call   1030 <isdigit@plt>
cmp    $0x0,%rax
setne  %al
mov    %al,-0x13(%rbp)
mov    -0x13(%rbp),%al
test   $0x1,%al
jne    141e <is_good_recog+0x2be>
jmp    142f <is_good_recog+0x2cf>
mov    -0x10(%rbp),%rax
add    $0x1,%rax
mov    %rax,-0x10(%rbp)
jmp    13e3 <is_good_recog+0x283>
mov    -0x10(%rbp),%rax
mov    %rax,%rcx
add    $0x1,%rcx
mov    %rcx,-0x10(%rbp)
movsbl (%rax),%eax
cmp    $0x2d,%eax
je     1456 <is_good_recog+0x2f6>
movl   $0x0,-0x4(%rbp)
jmp    153f <is_good_recog+0x3df>
mov    -0x10(%rbp),%rax
cmpb   $0x0,(%rax)
je     1479 <is_good_recog+0x319>
mov    -0x10(%rbp),%rax
movsbl (%rax),%edi
call   1030 <isdigit@plt>
cmp    $0x0,%rax
jne    1485 <is_good_recog+0x325>
movl   $0x0,-0x4(%rbp)
jmp    153f <is_good_recog+0x3df>
mov    -0x10(%rbp),%rax
add    $0x1,%rax
mov    %rax,-0x10(%rbp)
mov    -0x10(%rbp),%rax
movsbl (%rax),%ecx
xor    %eax,%eax
cmp    $0x0,%ecx
mov    %al,-0x14(%rbp)
je     14bc <is_good_recog+0x35c>
mov    -0x10(%rbp),%rax
movsbl (%rax),%edi
call   1030 <isdigit@plt>
cmp    $0x0,%rax
setne  %al
mov    %al,-0x14(%rbp)
mov    -0x14(%rbp),%al
test   $0x1,%al
jne    14cc <is_good_recog+0x36c>
jmp    14dd <is_good_recog+0x37d>
mov    -0x10(%rbp),%rax
add    $0x1,%rax
mov    %rax,-0x10(%rbp)
jmp    1491 <is_good_recog+0x331>
jmp    14e2 <is_good_recog+0x382>
mov    -0x10(%rbp),%rax
mov    %rax,%rcx
add    $0x1,%rcx
mov    %rcx,-0x10(%rbp)
movsbl (%rax),%eax
cmp    $0x7d,%eax
je     1509 <is_good_recog+0x3a9>
movl   $0x0,-0x4(%rbp)
jmp    153f <is_good_recog+0x3df>
jmp    116c <is_good_recog+0xc>
lea    0xaeb(%rip),%rdi
movsbl -0x11(%rbp),%esi
call   1040 <strchr@plt>
cmp    $0x0,%eax
jne    1533 <is_good_recog+0x3d3>
movl   $0x0,-0x4(%rbp)
jmp    153f <is_good_recog+0x3df>
jmp    116c <is_good_recog+0xc>
movl   $0x1,-0x4(%rbp)
mov    -0x4(%rbp),%eax
add    $0x20,%rsp
pop    %rbp
ret

x86 assembly (clang, -O2):
<is_good_recog>:
push   %rbp
push   %r15
push   %r14
push   %r13
push   %r12
push   %rbx
push   %rax
mov    %rdi,(%rsp)
cmpb   $0x0,(%rdi)
je     138d <is_good_recog+0x22d>
mov    %rsp,%r14
lea    0xe7e(%rip),%r15
mov    $0x104001,%r13d
jmp    11ad <is_good_recog+0x4d>
mov    %r15,%rdi
mov    %ebp,%esi
call   1040 <strchr@plt>
test   %eax,%eax
je     1392 <is_good_recog+0x232>
nopl   0x0(%rax)
mov    (%rsp),%rdi
cmpb   $0x0,(%rdi)
je     138d <is_good_recog+0x22d>
xor    %ebx,%ebx
mov    %r14,%rsi
xor    %edx,%edx
call   1060 <get_unichar@plt>
cmp    $0x22,%al
je     1288 <is_good_recog+0x128>
mov    %eax,%r12d
test   %al,%al
je     1392 <is_good_recog+0x232>
movsbl %r12b,%ebp
mov    %ebp,%edi
call   1070 <isfspace@plt>
test   %rax,%rax
jne    11a0 <is_good_recog+0x40>
cmp    $0x7f,%r12b
je     1392 <is_good_recog+0x232>
mov    %ebp,%edi
call   1080 <isalpha@plt>
test   %rax,%rax
je     118a <is_good_recog+0x2a>
mov    (%rsp),%rax
lea    0x1(%rax),%rcx
mov    %rcx,(%rsp)
cmpb   $0x7b,(%rax)
jne    1392 <is_good_recog+0x232>
mov    (%rcx),%cl
cmp    $0x63,%cl
jne    12ad <is_good_recog+0x14d>
lea    0x2(%rax),%rcx
mov    %rcx,(%rsp)
movsbl 0x2(%rax),%edi
call   1050 <isalnum@plt>
test   %rax,%rax
je     1392 <is_good_recog+0x232>
mov    (%rsp),%rax
mov    (%rax),%cl
test   %cl,%cl
je     137a <is_good_recog+0x21a>
nopw   0x0(%rax,%rax,1)
movsbl %cl,%edi
call   1050 <isalnum@plt>
mov    (%rsp),%rcx
test   %rax,%rax
je     1377 <is_good_recog+0x217>
lea    0x1(%rcx),%rax
mov    %rax,(%rsp)
movzbl 0x1(%rcx),%ecx
test   %cl,%cl
jne    1240 <is_good_recog+0xe0>
jmp    137a <is_good_recog+0x21a>
nopw   0x0(%rax,%rax,1)
mov    (%rsp),%rdi
xor    %ebx,%ebx
mov    %r14,%rsi
xor    %edx,%edx
call   1060 <get_unichar@plt>
test   %al,%al
je     1392 <is_good_recog+0x232>
mov    (%rsp),%rdi
xor    %ebx,%ebx
mov    %r14,%rsi
xor    %edx,%edx
call   1060 <get_unichar@plt>
cmp    $0x5c,%al
je     1270 <is_good_recog+0x110>
test   %al,%al
je     1392 <is_good_recog+0x232>
cmp    $0x22,%al
jne    1288 <is_good_recog+0x128>
jmp    11a0 <is_good_recog+0x40>
movsbl %cl,%edi
call   1030 <isdigit@plt>
mov    (%rsp),%rcx
test   %rax,%rax
je     12c6 <is_good_recog+0x166>
add    $0x1,%rcx
mov    %rcx,(%rsp)
mov    (%rcx),%al
add    $0x9c,%al
cmp    $0x14,%al
ja     1392 <is_good_recog+0x232>
movzbl %al,%eax
bt     %rax,%r13
jae    1392 <is_good_recog+0x232>
lea    0x1(%rcx),%rax
mov    %rax,(%rsp)
movsbl 0x1(%rcx),%edi
call   1030 <isdigit@plt>
test   %rax,%rax
je     1371 <is_good_recog+0x211>
cs nopw 0x0(%rax,%rax,1)
nop
mov    (%rsp),%rcx
lea    0x1(%rcx),%rax
mov    %rax,(%rsp)
movzbl 0x1(%rcx),%ecx
test   %cl,%cl
je     1325 <is_good_recog+0x1c5>
movsbl %cl,%edi
call   1030 <isdigit@plt>
test   %rax,%rax
jne    1300 <is_good_recog+0x1a0>
mov    (%rsp),%rax
lea    0x1(%rax),%rcx
mov    %rcx,(%rsp)
cmpb   $0x2d,(%rax)
jne    1392 <is_good_recog+0x232>
mov    (%rcx),%al
test   %al,%al
je     1392 <is_good_recog+0x232>
movsbl %al,%edi
call   1030 <isdigit@plt>
test   %rax,%rax
je     1392 <is_good_recog+0x232>
cs nopw 0x0(%rax,%rax,1)
nop
mov    (%rsp),%rax
lea    0x1(%rax),%rcx
mov    %rcx,(%rsp)
movzbl 0x1(%rax),%eax
test   %al,%al
je     1371 <is_good_recog+0x211>
movsbl %al,%edi
call   1030 <isdigit@plt>
test   %rax,%rax
jne    1350 <is_good_recog+0x1f0>
mov    (%rsp),%rax
jmp    137a <is_good_recog+0x21a>
mov    %rcx,%rax
lea    0x1(%rax),%rcx
mov    %rcx,(%rsp)
cmpb   $0x7d,(%rax)
je     11a0 <is_good_recog+0x40>
jmp    1392 <is_good_recog+0x232>
mov    $0x1,%ebx
mov    %ebx,%eax
add    $0x8,%rsp
pop    %rbx
pop    %r12
pop    %r13
pop    %r14
pop    %r15
pop    %rbp
ret

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

LLVM IR (-O2):
@.str = [7 x i8] c":,.-_/\00"
define i32 @is_good_recog(i8* %0) {
%2 = alloca i8*
store i8* %0, i8** %2
%3 = load i8, i8* %0
%4 = icmp eq i8 %3, 0
br i1 %4, label %114, label %5
5: ; preds = %1, %19
%6 = phi i8* [ %20, %19 ], [ %0, %1 ]
%7 = call signext i8 @get_unichar(i8* %6, i8** %2, i32 0)
switch i8 %7, label %16 [
i8 0, label %114
i8 34, label %8
]
8: ; preds = %5, %11
%9 = load i8*, i8** %2
%10 = call signext i8 @get_unichar(i8* %9, i8** %2, i32 0)
switch i8 %10, label %11 [
i8 0, label %114
i8 34, label %19
i8 92, label %12
]
11: ; preds = %8, %12
br label %8
12: ; preds = %8
%13 = load i8*, i8** %2
%14 = call signext i8 @get_unichar(i8* %13, i8** %2, i32 0)
%15 = icmp eq i8 %14, 0
br i1 %15, label %114, label %11
16: ; preds = %5
%17 = call i64 @isfspace(i8 signext %7)
%18 = icmp eq i64 %17, 0
br i1 %18, label %23, label %19
19: ; preds = %8, %16, %56, %106, %111
%20 = load i8*, i8** %2
%21 = load i8, i8* %20
%22 = icmp eq i8 %21, 0
br i1 %22, label %114, label %5
23: ; preds = %16
%24 = icmp eq i8 %7, 127
br i1 %24, label %114, label %25
25: ; preds = %23
%26 = call i64 @isalpha(i8 signext %7)
%27 = icmp eq i64 %26, 0
br i1 %27, label %111, label %28
28: ; preds = %25
%29 = load i8*, i8** %2
%30 = getelementptr inbounds i8, i8* %29, i64 1
store i8* %30, i8** %2
%31 = load i8, i8* %29
%32 = icmp eq i8 %31, 123
br i1 %32, label %33, label %114
33: ; preds = %28
%34 = load i8, i8* %30
%35 = icmp eq i8 %34, 99
br i1 %35, label %36, label %61
36: ; preds = %33
%37 = getelementptr inbounds i8, i8* %29, i64 2
store i8* %37, i8** %2
%38 = load i8, i8* %37
%39 = call i64 @isalnum(i8 signext %38)
%40 = icmp eq i64 %39, 0
br i1 %40, label %114, label %41
41: ; preds = %36
%42 = load i8*, i8** %2
%43 = load i8, i8* %42
%44 = icmp eq i8 %43, 0
br i1 %44, label %56, label %45
45: ; preds = %41, %50
%46 = phi i8 [ %52, %50 ], [ %43, %41 ]
%47 = call i64 @isalnum(i8 signext %46)
%48 = icmp eq i64 %47, 0
%49 = load i8*, i8** %2
br i1 %48, label %56, label %50
50: ; preds = %45
%51 = getelementptr inbounds i8, i8* %49, i64 1
store i8* %51, i8** %2
%52 = load i8, i8* %51
%53 = icmp eq i8 %52, 0
br i1 %53, label %54, label %45
54: ; preds = %50
%55 = getelementptr inbounds i8, i8* %49, i64 1
br label %56
56: ; preds = %45, %54, %41
%57 = phi i8* [ %42, %41 ], [ %55, %54 ], [ %49, %45 ]
%58 = getelementptr inbounds i8, i8* %57, i64 1
store i8* %58, i8** %2
%59 = load i8, i8* %57
%60 = icmp eq i8 %59, 125
br i1 %60, label %19, label %114
61: ; preds = %33
%62 = call i64 @isdigit(i8 signext %34)
%63 = icmp eq i64 %62, 0
%64 = load i8*, i8** %2
br i1 %63, label %67, label %65
65: ; preds = %61
%66 = getelementptr inbounds i8, i8* %64, i64 1
store i8* %66, i8** %2
br label %67
67: ; preds = %61, %65
%68 = phi i8* [ %66, %65 ], [ %64, %61 ]
%69 = load i8, i8* %68
switch i8 %69, label %114 [
i8 114, label %70
i8 100, label %70
i8 120, label %70
]
70: ; preds = %67, %67, %67
%71 = getelementptr inbounds i8, i8* %68, i64 1
store i8* %71, i8** %2
%72 = load i8, i8* %71
%73 = call i64 @isdigit(i8 signext %72)
%74 = icmp eq i64 %73, 0
br i1 %74, label %106, label %75
75: ; preds = %70, %80
%76 = load i8*, i8** %2
%77 = getelementptr inbounds i8, i8* %76, i64 1
store i8* %77, i8** %2
%78 = load i8, i8* %77
%79 = icmp eq i8 %78, 0
br i1 %79, label %85, label %80
80: ; preds = %75
%81 = call i64 @isdigit(i8 signext %78)
%82 = icmp eq i64 %81, 0
br i1 %82, label %83, label %75
83: ; preds = %80
%84 = load i8*, i8** %2
br label %87
85: ; preds = %75
%86 = getelementptr inbounds i8, i8* %76, i64 1
br label %87
87: ; preds = %85, %83
%88 = phi i8* [ %84, %83 ], [ %86, %85 ]
%89 = getelementptr inbounds i8, i8* %88, i64 1
store i8* %89, i8** %2
%90 = load i8, i8* %88
%91 = icmp eq i8 %90, 45
br i1 %91, label %92, label %114
92: ; preds = %87
%93 = load i8, i8* %89
%94 = icmp eq i8 %93, 0
br i1 %94, label %114, label %95
95: ; preds = %92
%96 = call i64 @isdigit(i8 signext %93)
%97 = icmp eq i64 %96, 0
br i1 %97, label %114, label %98
98: ; preds = %95, %103
%99 = load i8*, i8** %2
%100 = getelementptr inbounds i8, i8* %99, i64 1
store i8* %100, i8** %2
%101 = load i8, i8* %100
%102 = icmp eq i8 %101, 0
br i1 %102, label %106, label %103
103: ; preds = %98
%104 = call i64 @isdigit(i8 signext %101)
%105 = icmp eq i64 %104, 0
br i1 %105, label %106, label %98
106: ; preds = %103, %98, %70
%107 = load i8*, i8** %2
%108 = getelementptr inbounds i8, i8* %107, i64 1
store i8* %108, i8** %2
%109 = load i8, i8* %107
%110 = icmp eq i8 %109, 125
br i1 %110, label %19, label %114
111: ; preds = %25
%112 = call i32 @strchr(i8* getelementptr inbounds ([7 x i8], [7 x i8]* @.str, i64 0, i64 0), i8 signext %7)
%113 = icmp eq i32 %112, 0
br i1 %113, label %114, label %19
114: ; preds = %5, %23, %28, %36, %56, %67, %87, %95, %92, %106, %111, %19, %12, %8, %1
%115 = phi i32 [ 1, %1 ], [ 0, %8 ], [ 0, %12 ], [ 0, %5 ], [ 0, %23 ], [ 0, %28 ], [ 0, %36 ], [ 0, %56 ], [ 0, %67 ], [ 0, %87 ], [ 0, %95 ], [ 0, %92 ], [ 0, %106 ], [ 0, %111 ], [ 1, %19 ]
ret i32 %115
}