#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*/ isgraph(unsigned char);
long proofTokenLen(char *ptr) {
  long i = 0;
  char tmpchr;
  if (ptr[0] == ':')
    return (1);
  if (ptr[0] == '?')
    return (1);
  if (ptr[0] == '(')
    return (1);
  if (ptr[0] == ')')
    return (1);
  if (ptr[0] == '=')
    return (1);
  while (1) {
    tmpchr = ptr[i];
    if (tmpchr == '$') {
      if (ptr[i + 1] == '$') {
        i = i + 2;
        continue;
      } else {
        return (i);
      }
    }
    if (!isgraph((unsigned char)tmpchr))
      return (i);
    if (tmpchr == ':')
      return (i);
    if (tmpchr == '?')
      return (i);
    if (tmpchr == '(')
      return (i);
    if (tmpchr == ')')
      return (i);
    if (tmpchr == '=')
      return (i);
    i++;
  }
  return (0);
}


x86 assembly (clang, -O0):
<proofTokenLen>:
push   %rbp
mov    %rsp,%rbp
sub    $0x20,%rsp
mov    %rdi,-0x10(%rbp)
movq   $0x0,-0x18(%rbp)
mov    -0x10(%rbp),%rax
movsbl (%rax),%eax
cmp    $0x3a,%eax
jne    1141 <proofTokenLen+0x31>
movq   $0x1,-0x8(%rbp)
jmp    12bb <proofTokenLen+0x1ab>
mov    -0x10(%rbp),%rax
movsbl (%rax),%eax
cmp    $0x3f,%eax
jne    115e <proofTokenLen+0x4e>
movq   $0x1,-0x8(%rbp)
jmp    12bb <proofTokenLen+0x1ab>
mov    -0x10(%rbp),%rax
movsbl (%rax),%eax
cmp    $0x28,%eax
jne    117b <proofTokenLen+0x6b>
movq   $0x1,-0x8(%rbp)
jmp    12bb <proofTokenLen+0x1ab>
mov    -0x10(%rbp),%rax
movsbl (%rax),%eax
cmp    $0x29,%eax
jne    1198 <proofTokenLen+0x88>
movq   $0x1,-0x8(%rbp)
jmp    12bb <proofTokenLen+0x1ab>
mov    -0x10(%rbp),%rax
movsbl (%rax),%eax
cmp    $0x3d,%eax
jne    11b5 <proofTokenLen+0xa5>
movq   $0x1,-0x8(%rbp)
jmp    12bb <proofTokenLen+0x1ab>
jmp    11ba <proofTokenLen+0xaa>
mov    -0x10(%rbp),%rax
mov    -0x18(%rbp),%rcx
mov    (%rax,%rcx,1),%al
mov    %al,-0x19(%rbp)
movsbl -0x19(%rbp),%eax
cmp    $0x24,%eax
jne    1209 <proofTokenLen+0xf9>
mov    -0x10(%rbp),%rax
mov    -0x18(%rbp),%rcx
movsbl 0x1(%rax,%rcx,1),%eax
cmp    $0x24,%eax
jne    11fc <proofTokenLen+0xec>
mov    -0x18(%rbp),%rax
add    $0x2,%rax
mov    %rax,-0x18(%rbp)
jmp    11ba <proofTokenLen+0xaa>
mov    -0x18(%rbp),%rax
mov    %rax,-0x8(%rbp)
jmp    12bb <proofTokenLen+0x1ab>
movzbl -0x19(%rbp),%edi
call   1030 <isgraph@plt>
cmp    $0x0,%eax
jne    1228 <proofTokenLen+0x118>
mov    -0x18(%rbp),%rax
mov    %rax,-0x8(%rbp)
jmp    12bb <proofTokenLen+0x1ab>
movsbl -0x19(%rbp),%eax
cmp    $0x3a,%eax
jne    1242 <proofTokenLen+0x132>
mov    -0x18(%rbp),%rax
mov    %rax,-0x8(%rbp)
jmp    12bb <proofTokenLen+0x1ab>
movsbl -0x19(%rbp),%eax
cmp    $0x3f,%eax
jne    125c <proofTokenLen+0x14c>
mov    -0x18(%rbp),%rax
mov    %rax,-0x8(%rbp)
jmp    12bb <proofTokenLen+0x1ab>
movsbl -0x19(%rbp),%eax
cmp    $0x28,%eax
jne    1276 <proofTokenLen+0x166>
mov    -0x18(%rbp),%rax
mov    %rax,-0x8(%rbp)
jmp    12bb <proofTokenLen+0x1ab>
movsbl -0x19(%rbp),%eax
cmp    $0x29,%eax
jne    1290 <proofTokenLen+0x180>
mov    -0x18(%rbp),%rax
mov    %rax,-0x8(%rbp)
jmp    12bb <proofTokenLen+0x1ab>
movsbl -0x19(%rbp),%eax
cmp    $0x3d,%eax
jne    12aa <proofTokenLen+0x19a>
mov    -0x18(%rbp),%rax
mov    %rax,-0x8(%rbp)
jmp    12bb <proofTokenLen+0x1ab>
mov    -0x18(%rbp),%rax
add    $0x1,%rax
mov    %rax,-0x18(%rbp)
jmp    11ba <proofTokenLen+0xaa>
mov    -0x8(%rbp),%rax
add    $0x20,%rsp
pop    %rbp
ret

x86 assembly (clang, -O2):
<proofTokenLen>:
push   %r15
push   %r14
push   %r13
push   %r12
push   %rbx
mov    %rdi,%r14
movzbl (%rdi),%ebx
movabs $0xa400030000000000,%r12
cmp    $0x3f,%rbx
ja     1148 <proofTokenLen+0x38>
mov    $0x1,%r15d
bt     %rbx,%r12
jae    1148 <proofTokenLen+0x38>
mov    %r15,%rax
pop    %rbx
pop    %r12
pop    %r13
pop    %r14
pop    %r15
ret
xor    %r15d,%r15d
jmp    1165 <proofTokenLen+0x55>
nopl   (%rax)
mov    $0x2,%eax
cmpb   $0x24,0x1(%r15,%r14,1)
jne    113b <proofTokenLen+0x2b>
add    %rax,%r15
movzbl (%r14,%r15,1),%ebx
cmp    $0x24,%bl
je     1150 <proofTokenLen+0x40>
movzbl %bl,%r13d
mov    %r13d,%edi
call   1030 <isgraph@plt>
test   %eax,%eax
je     113b <proofTokenLen+0x2b>
mov    $0x1,%eax
cmp    $0x3f,%bl
ja     115d <proofTokenLen+0x4d>
bt     %r13,%r12
jae    115d <proofTokenLen+0x4d>
jmp    113b <proofTokenLen+0x2b>

LLVM IR (-O0):
define i64 @proofTokenLen(i8* %0) {
%2 = alloca i64
%3 = alloca i8*
%4 = alloca i64
%5 = alloca i8
store i8* %0, i8** %3
store i64 0, i64* %4
%6 = load i8*, i8** %3
%7 = getelementptr inbounds i8, i8* %6, i64 0
%8 = load i8, i8* %7
%9 = sext i8 %8 to i32
%10 = icmp eq i32 %9, 58
br i1 %10, label %11, label %12
11: ; preds = %1
store i64 1, i64* %2
br label %101
12: ; preds = %1
%13 = load i8*, i8** %3
%14 = getelementptr inbounds i8, i8* %13, i64 0
%15 = load i8, i8* %14
%16 = sext i8 %15 to i32
%17 = icmp eq i32 %16, 63
br i1 %17, label %18, label %19
18: ; preds = %12
store i64 1, i64* %2
br label %101
19: ; preds = %12
%20 = load i8*, i8** %3
%21 = getelementptr inbounds i8, i8* %20, i64 0
%22 = load i8, i8* %21
%23 = sext i8 %22 to i32
%24 = icmp eq i32 %23, 40
br i1 %24, label %25, label %26
25: ; preds = %19
store i64 1, i64* %2
br label %101
26: ; preds = %19
%27 = load i8*, i8** %3
%28 = getelementptr inbounds i8, i8* %27, i64 0
%29 = load i8, i8* %28
%30 = sext i8 %29 to i32
%31 = icmp eq i32 %30, 41
br i1 %31, label %32, label %33
32: ; preds = %26
store i64 1, i64* %2
br label %101
33: ; preds = %26
%34 = load i8*, i8** %3
%35 = getelementptr inbounds i8, i8* %34, i64 0
%36 = load i8, i8* %35
%37 = sext i8 %36 to i32
%38 = icmp eq i32 %37, 61
br i1 %38, label %39, label %40
39: ; preds = %33
store i64 1, i64* %2
br label %101
40: ; preds = %33
br label %41
41: ; preds = %40, %57, %98
%42 = load i8*, i8** %3
%43 = load i64, i64* %4
%44 = getelementptr inbounds i8, i8* %42, i64 %43
%45 = load i8, i8* %44
store i8 %45, i8* %5
%46 = load i8, i8* %5
%47 = sext i8 %46 to i32
%48 = icmp eq i32 %47, 36
br i1 %48, label %49, label %62
49: ; preds = %41
%50 = load i8*, i8** %3
%51 = load i64, i64* %4
%52 = add nsw i64 %51, 1
%53 = getelementptr inbounds i8, i8* %50, i64 %52
%54 = load i8, i8* %53
%55 = sext i8 %54 to i32
%56 = icmp eq i32 %55, 36
br i1 %56, label %57, label %60
57: ; preds = %49
%58 = load i64, i64* %4
%59 = add nsw i64 %58, 2
store i64 %59, i64* %4
br label %41
60: ; preds = %49
%61 = load i64, i64* %4
store i64 %61, i64* %2
br label %101
62: ; preds = %41
%63 = load i8, i8* %5
%64 = call i32 @isgraph(i8 zeroext %63)
%65 = icmp ne i32 %64, 0
br i1 %65, label %68, label %66
66: ; preds = %62
%67 = load i64, i64* %4
store i64 %67, i64* %2
br label %101
68: ; preds = %62
%69 = load i8, i8* %5
%70 = sext i8 %69 to i32
%71 = icmp eq i32 %70, 58
br i1 %71, label %72, label %74
72: ; preds = %68
%73 = load i64, i64* %4
store i64 %73, i64* %2
br label %101
74: ; preds = %68
%75 = load i8, i8* %5
%76 = sext i8 %75 to i32
%77 = icmp eq i32 %76, 63
br i1 %77, label %78, label %80
78: ; preds = %74
%79 = load i64, i64* %4
store i64 %79, i64* %2
br label %101
80: ; preds = %74
%81 = load i8, i8* %5
%82 = sext i8 %81 to i32
%83 = icmp eq i32 %82, 40
br i1 %83, label %84, label %86
84: ; preds = %80
%85 = load i64, i64* %4
store i64 %85, i64* %2
br label %101
86: ; preds = %80
%87 = load i8, i8* %5
%88 = sext i8 %87 to i32
%89 = icmp eq i32 %88, 41
br i1 %89, label %90, label %92
90: ; preds = %86
%91 = load i64, i64* %4
store i64 %91, i64* %2
br label %101
92: ; preds = %86
%93 = load i8, i8* %5
%94 = sext i8 %93 to i32
%95 = icmp eq i32 %94, 61
br i1 %95, label %96, label %98
96: ; preds = %92
%97 = load i64, i64* %4
store i64 %97, i64* %2
br label %101
98: ; preds = %92
%99 = load i64, i64* %4
%100 = add nsw i64 %99, 1
store i64 %100, i64* %4
br label %41
101: ; preds = %96, %90, %84, %78, %72, %66, %60, %39, %32, %25, %18, %11
%102 = load i64, i64* %2
ret i64 %102
}

LLVM IR (-O2):
define i64 @proofTokenLen(i8* nocapture %0) {
%2 = load i8, i8* %0
switch i8 %2, label %3 [
i8 58, label %21
i8 63, label %21
i8 40, label %21
i8 41, label %21
i8 61, label %21
]
3: ; preds = %1, %12
%4 = phi i8 [ %16, %12 ], [ %2, %1 ]
%5 = phi i64 [ %14, %12 ], [ 0, %1 ]
%6 = icmp eq i8 %4, 36
br i1 %6, label %7, label %17
7: ; preds = %3
%8 = add nuw nsw i64 %5, 1
%9 = getelementptr inbounds i8, i8* %0, i64 %8
%10 = load i8, i8* %9
%11 = icmp eq i8 %10, 36
br i1 %11, label %12, label %21
12: ; preds = %7, %20
%13 = phi i64 [ 1, %20 ], [ 2, %7 ]
%14 = add nuw nsw i64 %5, %13
%15 = getelementptr inbounds i8, i8* %0, i64 %14
%16 = load i8, i8* %15
br label %3
17: ; preds = %3
%18 = tail call i32 @isgraph(i8 zeroext %4)
%19 = icmp eq i32 %18, 0
br i1 %19, label %21, label %20
20: ; preds = %17
switch i8 %4, label %12 [
i8 58, label %21
i8 63, label %21
i8 40, label %21
i8 41, label %21
i8 61, label %21
]
21: ; preds = %20, %20, %20, %20, %20, %17, %7, %1, %1, %1, %1, %1
%22 = phi i64 [ 1, %1 ], [ 1, %1 ], [ 1, %1 ], [ 1, %1 ], [ 1, %1 ], [ %5, %7 ], [ %5, %17 ], [ %5, %20 ], [ %5, %20 ], [ %5, %20 ], [ %5, %20 ], [ %5, %20 ]
ret i64 %22
}