#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);
  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);
    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    1284 <proofTokenLen+0x174>
mov    -0x10(%rbp),%rax
movsbl (%rax),%eax
cmp    $0x3f,%eax
jne    115e <proofTokenLen+0x4e>
movq   $0x1,-0x8(%rbp)
jmp    1284 <proofTokenLen+0x174>
mov    -0x10(%rbp),%rax
movsbl (%rax),%eax
cmp    $0x28,%eax
jne    117b <proofTokenLen+0x6b>
movq   $0x1,-0x8(%rbp)
jmp    1284 <proofTokenLen+0x174>
mov    -0x10(%rbp),%rax
movsbl (%rax),%eax
cmp    $0x29,%eax
jne    1198 <proofTokenLen+0x88>
movq   $0x1,-0x8(%rbp)
jmp    1284 <proofTokenLen+0x174>
jmp    119d <proofTokenLen+0x8d>
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    11ec <proofTokenLen+0xdc>
mov    -0x10(%rbp),%rax
mov    -0x18(%rbp),%rcx
movsbl 0x1(%rax,%rcx,1),%eax
cmp    $0x24,%eax
jne    11df <proofTokenLen+0xcf>
mov    -0x18(%rbp),%rax
add    $0x2,%rax
mov    %rax,-0x18(%rbp)
jmp    119d <proofTokenLen+0x8d>
mov    -0x18(%rbp),%rax
mov    %rax,-0x8(%rbp)
jmp    1284 <proofTokenLen+0x174>
movzbl -0x19(%rbp),%edi
call   1030 <isgraph@plt>
cmp    $0x0,%eax
jne    120b <proofTokenLen+0xfb>
mov    -0x18(%rbp),%rax
mov    %rax,-0x8(%rbp)
jmp    1284 <proofTokenLen+0x174>
movsbl -0x19(%rbp),%eax
cmp    $0x3a,%eax
jne    1225 <proofTokenLen+0x115>
mov    -0x18(%rbp),%rax
mov    %rax,-0x8(%rbp)
jmp    1284 <proofTokenLen+0x174>
movsbl -0x19(%rbp),%eax
cmp    $0x3f,%eax
jne    123f <proofTokenLen+0x12f>
mov    -0x18(%rbp),%rax
mov    %rax,-0x8(%rbp)
jmp    1284 <proofTokenLen+0x174>
movsbl -0x19(%rbp),%eax
cmp    $0x28,%eax
jne    1259 <proofTokenLen+0x149>
mov    -0x18(%rbp),%rax
mov    %rax,-0x8(%rbp)
jmp    1284 <proofTokenLen+0x174>
movsbl -0x19(%rbp),%eax
cmp    $0x29,%eax
jne    1273 <proofTokenLen+0x163>
mov    -0x18(%rbp),%rax
mov    %rax,-0x8(%rbp)
jmp    1284 <proofTokenLen+0x174>
mov    -0x18(%rbp),%rax
add    $0x1,%rax
mov    %rax,-0x18(%rbp)
jmp    119d <proofTokenLen+0x8d>
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 $0x8400030000000000,%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 %88
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 %88
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 %88
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 %88
33: ; preds = %26
br label %34
34: ; preds = %33, %50, %85
%35 = load i8*, i8** %3
%36 = load i64, i64* %4
%37 = getelementptr inbounds i8, i8* %35, i64 %36
%38 = load i8, i8* %37
store i8 %38, i8* %5
%39 = load i8, i8* %5
%40 = sext i8 %39 to i32
%41 = icmp eq i32 %40, 36
br i1 %41, label %42, label %55
42: ; preds = %34
%43 = load i8*, i8** %3
%44 = load i64, i64* %4
%45 = add nsw i64 %44, 1
%46 = getelementptr inbounds i8, i8* %43, i64 %45
%47 = load i8, i8* %46
%48 = sext i8 %47 to i32
%49 = icmp eq i32 %48, 36
br i1 %49, label %50, label %53
50: ; preds = %42
%51 = load i64, i64* %4
%52 = add nsw i64 %51, 2
store i64 %52, i64* %4
br label %34
53: ; preds = %42
%54 = load i64, i64* %4
store i64 %54, i64* %2
br label %88
55: ; preds = %34
%56 = load i8, i8* %5
%57 = call i32 @isgraph(i8 zeroext %56)
%58 = icmp ne i32 %57, 0
br i1 %58, label %61, label %59
59: ; preds = %55
%60 = load i64, i64* %4
store i64 %60, i64* %2
br label %88
61: ; preds = %55
%62 = load i8, i8* %5
%63 = sext i8 %62 to i32
%64 = icmp eq i32 %63, 58
br i1 %64, label %65, label %67
65: ; preds = %61
%66 = load i64, i64* %4
store i64 %66, i64* %2
br label %88
67: ; preds = %61
%68 = load i8, i8* %5
%69 = sext i8 %68 to i32
%70 = icmp eq i32 %69, 63
br i1 %70, label %71, label %73
71: ; preds = %67
%72 = load i64, i64* %4
store i64 %72, i64* %2
br label %88
73: ; preds = %67
%74 = load i8, i8* %5
%75 = sext i8 %74 to i32
%76 = icmp eq i32 %75, 40
br i1 %76, label %77, label %79
77: ; preds = %73
%78 = load i64, i64* %4
store i64 %78, i64* %2
br label %88
79: ; preds = %73
%80 = load i8, i8* %5
%81 = sext i8 %80 to i32
%82 = icmp eq i32 %81, 41
br i1 %82, label %83, label %85
83: ; preds = %79
%84 = load i64, i64* %4
store i64 %84, i64* %2
br label %88
85: ; preds = %79
%86 = load i64, i64* %4
%87 = add nsw i64 %86, 1
store i64 %87, i64* %4
br label %34
88: ; preds = %83, %77, %71, %65, %59, %53, %32, %25, %18, %11
%89 = load i64, i64* %2
ret i64 %89
}

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
]
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
]
21: ; preds = %20, %20, %20, %20, %17, %7, %1, %1, %1, %1
%22 = phi i64 [ 1, %1 ], [ 1, %1 ], [ 1, %1 ], [ 1, %1 ], [ %5, %7 ], [ %5, %17 ], [ %5, %20 ], [ %5, %20 ], [ %5, %20 ], [ %5, %20 ]
ret i64 %22
}