int bool_nextlen(const char *expr, int len) {
  int i, depth;
  if (!len)
    return -1;
  i = 0;
  if (expr[i] == '~') {
    i++;
    if (i >= len)
      return -1;
  }
  if (expr[i] == '(') {
    if (i + 2 >= len)
      return -1;
    i++;
    for (depth = 1; depth && i < len; i++) {
      if (expr[i] == '(')
        depth++;
      else if (expr[i] == ')')
        depth--;
    }
    if (depth)
      return -1;
    return i;
  }
  if (expr[i] == 'A') {
    i++;
    if (i >= len)
      return -1;
    if (expr[i] < '1' || expr[i] > '6')
      return -1;
    return i + 1;
  }
  if (expr[i] == '0' || expr[i] == '1')
    return i + 1;
  return -1;
}


x86 assembly (clang, -O0):
<bool_nextlen>:
push   %rbp
mov    %rsp,%rbp
mov    %rdi,-0x10(%rbp)
mov    %esi,-0x14(%rbp)
cmpl   $0x0,-0x14(%rbp)
jne    1121 <bool_nextlen+0x21>
movl   $0xffffffff,-0x4(%rbp)
jmp    1301 <bool_nextlen+0x201>
movl   $0x0,-0x18(%rbp)
mov    -0x10(%rbp),%rax
movslq -0x18(%rbp),%rcx
movsbl (%rax,%rcx,1),%eax
cmp    $0x7e,%eax
jne    1163 <bool_nextlen+0x63>
mov    -0x18(%rbp),%eax
add    $0x1,%eax
mov    %eax,-0x18(%rbp)
mov    -0x18(%rbp),%eax
cmp    -0x14(%rbp),%eax
jl     115e <bool_nextlen+0x5e>
movl   $0xffffffff,-0x4(%rbp)
jmp    1301 <bool_nextlen+0x201>
jmp    1163 <bool_nextlen+0x63>
mov    -0x10(%rbp),%rax
movslq -0x18(%rbp),%rcx
movsbl (%rax,%rcx,1),%eax
cmp    $0x28,%eax
jne    1248 <bool_nextlen+0x148>
mov    -0x18(%rbp),%eax
add    $0x2,%eax
cmp    -0x14(%rbp),%eax
jl     1193 <bool_nextlen+0x93>
movl   $0xffffffff,-0x4(%rbp)
jmp    1301 <bool_nextlen+0x201>
mov    -0x18(%rbp),%eax
add    $0x1,%eax
mov    %eax,-0x18(%rbp)
movl   $0x1,-0x1c(%rbp)
xor    %eax,%eax
cmpl   $0x0,-0x1c(%rbp)
mov    %al,-0x1d(%rbp)
je     11be <bool_nextlen+0xbe>
mov    -0x18(%rbp),%eax
cmp    -0x14(%rbp),%eax
setl   %al
mov    %al,-0x1d(%rbp)
mov    -0x1d(%rbp),%al
test   $0x1,%al
jne    11ce <bool_nextlen+0xce>
jmp    1227 <bool_nextlen+0x127>
mov    -0x10(%rbp),%rax
movslq -0x18(%rbp),%rcx
movsbl (%rax,%rcx,1),%eax
cmp    $0x28,%eax
jne    11f1 <bool_nextlen+0xf1>
mov    -0x1c(%rbp),%eax
add    $0x1,%eax
mov    %eax,-0x1c(%rbp)
jmp    1214 <bool_nextlen+0x114>
mov    -0x10(%rbp),%rax
movslq -0x18(%rbp),%rcx
movsbl (%rax,%rcx,1),%eax
cmp    $0x29,%eax
jne    120f <bool_nextlen+0x10f>
mov    -0x1c(%rbp),%eax
add    $0xffffffff,%eax
mov    %eax,-0x1c(%rbp)
jmp    1214 <bool_nextlen+0x114>
jmp    1219 <bool_nextlen+0x119>
mov    -0x18(%rbp),%eax
add    $0x1,%eax
mov    %eax,-0x18(%rbp)
jmp    11a3 <bool_nextlen+0xa3>
cmpl   $0x0,-0x1c(%rbp)
je     123d <bool_nextlen+0x13d>
movl   $0xffffffff,-0x4(%rbp)
jmp    1301 <bool_nextlen+0x201>
mov    -0x18(%rbp),%eax
mov    %eax,-0x4(%rbp)
jmp    1301 <bool_nextlen+0x201>
mov    -0x10(%rbp),%rax
movslq -0x18(%rbp),%rcx
movsbl (%rax,%rcx,1),%eax
cmp    $0x41,%eax
jne    12c2 <bool_nextlen+0x1c2>
mov    -0x18(%rbp),%eax
add    $0x1,%eax
mov    %eax,-0x18(%rbp)
mov    -0x18(%rbp),%eax
cmp    -0x14(%rbp),%eax
jl     127e <bool_nextlen+0x17e>
movl   $0xffffffff,-0x4(%rbp)
jmp    1301 <bool_nextlen+0x201>
mov    -0x10(%rbp),%rax
movslq -0x18(%rbp),%rcx
movsbl (%rax,%rcx,1),%eax
cmp    $0x31,%eax
jl     12a8 <bool_nextlen+0x1a8>
mov    -0x10(%rbp),%rax
movslq -0x18(%rbp),%rcx
movsbl (%rax,%rcx,1),%eax
cmp    $0x36,%eax
jle    12b4 <bool_nextlen+0x1b4>
movl   $0xffffffff,-0x4(%rbp)
jmp    1301 <bool_nextlen+0x201>
mov    -0x18(%rbp),%eax
add    $0x1,%eax
mov    %eax,-0x4(%rbp)
jmp    1301 <bool_nextlen+0x201>
mov    -0x10(%rbp),%rax
movslq -0x18(%rbp),%rcx
movsbl (%rax,%rcx,1),%eax
cmp    $0x30,%eax
je     12ec <bool_nextlen+0x1ec>
mov    -0x10(%rbp),%rax
movslq -0x18(%rbp),%rcx
movsbl (%rax,%rcx,1),%eax
cmp    $0x31,%eax
jne    12fa <bool_nextlen+0x1fa>
mov    -0x18(%rbp),%eax
add    $0x1,%eax
mov    %eax,-0x4(%rbp)
jmp    1301 <bool_nextlen+0x201>
movl   $0xffffffff,-0x4(%rbp)
mov    -0x4(%rbp),%eax
pop    %rbp
ret

x86 assembly (clang, -O2):
<bool_nextlen>:
mov    $0xffffffff,%eax
test   %esi,%esi
je     119c <bool_nextlen+0x9c>
mov    (%rdi),%r8b
xor    %ecx,%ecx
cmp    $0x7e,%r8b
jne    1126 <bool_nextlen+0x26>
cmp    $0x2,%esi
jl     119c <bool_nextlen+0x9c>
mov    0x1(%rdi),%r8b
mov    $0x1,%ecx
lea    -0x30(%r8),%edx
cmp    $0x2,%dl
jb     1197 <bool_nextlen+0x97>
cmp    $0x41,%r8b
je     119d <bool_nextlen+0x9d>
cmp    $0x28,%r8b
jne    119c <bool_nextlen+0x9c>
lea    0x2(%rcx),%edx
cmp    %esi,%edx
jge    119c <bool_nextlen+0x9c>
add    $0x1,%ecx
cmp    %esi,%ecx
jge    119c <bool_nextlen+0x9c>
movslq %esi,%rsi
mov    $0x1,%eax
cs nopw 0x0(%rax,%rax,1)
nopl   0x0(%rax,%rax,1)
movzbl (%rdi,%rcx,1),%edx
cmp    $0x29,%dl
je     1180 <bool_nextlen+0x80>
cmp    $0x28,%dl
jne    1183 <bool_nextlen+0x83>
add    $0x1,%eax
jmp    1183 <bool_nextlen+0x83>
cs nopw 0x0(%rax,%rax,1)
nopl   (%rax)
add    $0xffffffff,%eax
add    $0x1,%rcx
test   %eax,%eax
je     1190 <bool_nextlen+0x90>
cmp    %rsi,%rcx
jl     1160 <bool_nextlen+0x60>
neg    %eax
sbb    %eax,%eax
or     %ecx,%eax
ret
add    $0x1,%ecx
mov    %ecx,%eax
ret
mov    %ecx,%edx
add    $0x1,%rdx
cmp    %esi,%edx
jge    119c <bool_nextlen+0x9c>
mov    (%rdi,%rdx,1),%al
add    $0xc9,%al
or     $0x2,%ecx
cmp    $0xfa,%al
mov    $0xffffffff,%eax
cmovae %ecx,%eax
ret

LLVM IR (-O0):
define i32 @bool_nextlen(i8* %0, i32 %1) {
%3 = alloca i32
%4 = alloca i8*
%5 = alloca i32
%6 = alloca i32
%7 = alloca i32
store i8* %0, i8** %4
store i32 %1, i32* %5
%8 = load i32, i32* %5
%9 = icmp ne i32 %8, 0
br i1 %9, label %11, label %10
10: ; preds = %2
store i32 -1, i32* %3
br label %141
11: ; preds = %2
store i32 0, i32* %6
%12 = load i8*, i8** %4
%13 = load i32, i32* %6
%14 = sext i32 %13 to i64
%15 = getelementptr inbounds i8, i8* %12, i64 %14
%16 = load i8, i8* %15
%17 = sext i8 %16 to i32
%18 = icmp eq i32 %17, 126
br i1 %18, label %19, label %27
19: ; preds = %11
%20 = load i32, i32* %6
%21 = add nsw i32 %20, 1
store i32 %21, i32* %6
%22 = load i32, i32* %6
%23 = load i32, i32* %5
%24 = icmp sge i32 %22, %23
br i1 %24, label %25, label %26
25: ; preds = %19
store i32 -1, i32* %3
br label %141
26: ; preds = %19
br label %27
27: ; preds = %26, %11
%28 = load i8*, i8** %4
%29 = load i32, i32* %6
%30 = sext i32 %29 to i64
%31 = getelementptr inbounds i8, i8* %28, i64 %30
%32 = load i8, i8* %31
%33 = sext i8 %32 to i32
%34 = icmp eq i32 %33, 40
br i1 %34, label %35, label %86
35: ; preds = %27
%36 = load i32, i32* %6
%37 = add nsw i32 %36, 2
%38 = load i32, i32* %5
%39 = icmp sge i32 %37, %38
br i1 %39, label %40, label %41
40: ; preds = %35
store i32 -1, i32* %3
br label %141
41: ; preds = %35
%42 = load i32, i32* %6
%43 = add nsw i32 %42, 1
store i32 %43, i32* %6
store i32 1, i32* %7
br label %44
44: ; preds = %77, %41
%45 = load i32, i32* %7
%46 = icmp ne i32 %45, 0
br i1 %46, label %47, label %51
47: ; preds = %44
%48 = load i32, i32* %6
%49 = load i32, i32* %5
%50 = icmp slt i32 %48, %49
br label %51
51: ; preds = %47, %44
%52 = phi i1 [ false, %44 ], [ %50, %47 ]
br i1 %52, label %53, label %80
53: ; preds = %51
%54 = load i8*, i8** %4
%55 = load i32, i32* %6
%56 = sext i32 %55 to i64
%57 = getelementptr inbounds i8, i8* %54, i64 %56
%58 = load i8, i8* %57
%59 = sext i8 %58 to i32
%60 = icmp eq i32 %59, 40
br i1 %60, label %61, label %64
61: ; preds = %53
%62 = load i32, i32* %7
%63 = add nsw i32 %62, 1
store i32 %63, i32* %7
br label %76
64: ; preds = %53
%65 = load i8*, i8** %4
%66 = load i32, i32* %6
%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 eq i32 %70, 41
br i1 %71, label %72, label %75
72: ; preds = %64
%73 = load i32, i32* %7
%74 = add nsw i32 %73, -1
store i32 %74, i32* %7
br label %75
75: ; preds = %72, %64
br label %76
76: ; preds = %75, %61
br label %77
77: ; preds = %76
%78 = load i32, i32* %6
%79 = add nsw i32 %78, 1
store i32 %79, i32* %6
br label %44
80: ; preds = %51
%81 = load i32, i32* %7
%82 = icmp ne i32 %81, 0
br i1 %82, label %83, label %84
83: ; preds = %80
store i32 -1, i32* %3
br label %141
84: ; preds = %80
%85 = load i32, i32* %6
store i32 %85, i32* %3
br label %141
86: ; preds = %27
%87 = load i8*, i8** %4
%88 = load i32, i32* %6
%89 = sext i32 %88 to i64
%90 = getelementptr inbounds i8, i8* %87, i64 %89
%91 = load i8, i8* %90
%92 = sext i8 %91 to i32
%93 = icmp eq i32 %92, 65
br i1 %93, label %94, label %121
94: ; preds = %86
%95 = load i32, i32* %6
%96 = add nsw i32 %95, 1
store i32 %96, i32* %6
%97 = load i32, i32* %6
%98 = load i32, i32* %5
%99 = icmp sge i32 %97, %98
br i1 %99, label %100, label %101
100: ; preds = %94
store i32 -1, i32* %3
br label %141
101: ; preds = %94
%102 = load i8*, i8** %4
%103 = load i32, i32* %6
%104 = sext i32 %103 to i64
%105 = getelementptr inbounds i8, i8* %102, i64 %104
%106 = load i8, i8* %105
%107 = sext i8 %106 to i32
%108 = icmp slt i32 %107, 49
br i1 %108, label %117, label %109
109: ; preds = %101
%110 = load i8*, i8** %4
%111 = load i32, i32* %6
%112 = sext i32 %111 to i64
%113 = getelementptr inbounds i8, i8* %110, i64 %112
%114 = load i8, i8* %113
%115 = sext i8 %114 to i32
%116 = icmp sgt i32 %115, 54
br i1 %116, label %117, label %118
117: ; preds = %109, %101
store i32 -1, i32* %3
br label %141
118: ; preds = %109
%119 = load i32, i32* %6
%120 = add nsw i32 %119, 1
store i32 %120, i32* %3
br label %141
121: ; preds = %86
%122 = load i8*, i8** %4
%123 = load i32, i32* %6
%124 = sext i32 %123 to i64
%125 = getelementptr inbounds i8, i8* %122, i64 %124
%126 = load i8, i8* %125
%127 = sext i8 %126 to i32
%128 = icmp eq i32 %127, 48
br i1 %128, label %137, label %129
129: ; preds = %121
%130 = load i8*, i8** %4
%131 = load i32, i32* %6
%132 = sext i32 %131 to i64
%133 = getelementptr inbounds i8, i8* %130, i64 %132
%134 = load i8, i8* %133
%135 = sext i8 %134 to i32
%136 = icmp eq i32 %135, 49
br i1 %136, label %137, label %140
137: ; preds = %129, %121
%138 = load i32, i32* %6
%139 = add nsw i32 %138, 1
store i32 %139, i32* %3
br label %141
140: ; preds = %129
store i32 -1, i32* %3
br label %141
141: ; preds = %140, %137, %118, %117, %100, %84, %83, %40, %25, %10
%142 = load i32, i32* %3
ret i32 %142
}

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