int is_binary(const char *string, int length, int *bindex) {
  int op = 0, op_index = -1;
  char c, p = '\0';
  int i, pcount = 0;
  char str0 = string[0];
  for (i = 0; i < length; i++) {
    c = string[i];
    if (c == '(') {
      pcount++;
    } else if (c == ')') {
      pcount--;
    }
    if (pcount > 0)
      continue;
    if (c == '+') {
      if (p != '*' && p != '/' && p != '+' && p != '-' && p != '^' &&
          p != '\0') {
        op = 1;
        op_index = i;
      }
    } else if (c == '-') {
      if (p != '*' && p != '/' && p != '+' && p != '-' && p != '^' &&
          p != '\0') {
        op = 2;
        op_index = i;
      }
    } else if (c == '*') {
      if (op == 0 || op == 3 || op == 4 || op == 5) {
        op = 3;
        op_index = i;
      }
    } else if (c == '/') {
      if (op == 0 || op == 3 || op == 4 || op == 5) {
        op = 4;
        op_index = i;
      }
    } else if (c == '^') {
      if (op == 0 && (str0 != '-' && str0 != '+')) {
        op = 5;
        op_index = i;
      }
    }
    p = c;
  }
  *bindex = op_index;
  return op;
}


x86 assembly (clang, -O0):
<is_binary>:
push   %rbp
mov    %rsp,%rbp
mov    %rdi,-0x8(%rbp)
mov    %esi,-0xc(%rbp)
mov    %rdx,-0x18(%rbp)
movl   $0x0,-0x1c(%rbp)
movl   $0xffffffff,-0x20(%rbp)
movb   $0x0,-0x22(%rbp)
movl   $0x0,-0x2c(%rbp)
mov    -0x8(%rbp),%rax
mov    (%rax),%al
mov    %al,-0x2d(%rbp)
movl   $0x0,-0x28(%rbp)
mov    -0x28(%rbp),%eax
cmp    -0xc(%rbp),%eax
jge    136a <is_binary+0x26a>
mov    -0x8(%rbp),%rax
movslq -0x28(%rbp),%rcx
mov    (%rax,%rcx,1),%al
mov    %al,-0x21(%rbp)
movsbl -0x21(%rbp),%eax
cmp    $0x28,%eax
jne    116d <is_binary+0x6d>
mov    -0x2c(%rbp),%eax
add    $0x1,%eax
mov    %eax,-0x2c(%rbp)
jmp    1188 <is_binary+0x88>
movsbl -0x21(%rbp),%eax
cmp    $0x29,%eax
jne    1183 <is_binary+0x83>
mov    -0x2c(%rbp),%eax
add    $0xffffffff,%eax
mov    %eax,-0x2c(%rbp)
jmp    1188 <is_binary+0x88>
cmpl   $0x0,-0x2c(%rbp)
jle    1197 <is_binary+0x97>
jmp    135c <is_binary+0x25c>
movsbl -0x21(%rbp),%eax
cmp    $0x2b,%eax
jne    1204 <is_binary+0x104>
movsbl -0x22(%rbp),%eax
cmp    $0x2a,%eax
je     11ff <is_binary+0xff>
movsbl -0x22(%rbp),%eax
cmp    $0x2f,%eax
je     11ff <is_binary+0xff>
movsbl -0x22(%rbp),%eax
cmp    $0x2b,%eax
je     11ff <is_binary+0xff>
movsbl -0x22(%rbp),%eax
cmp    $0x2d,%eax
je     11ff <is_binary+0xff>
movsbl -0x22(%rbp),%eax
cmp    $0x5e,%eax
je     11ff <is_binary+0xff>
movsbl -0x22(%rbp),%eax
cmp    $0x0,%eax
je     11ff <is_binary+0xff>
movl   $0x1,-0x1c(%rbp)
mov    -0x28(%rbp),%eax
mov    %eax,-0x20(%rbp)
jmp    1356 <is_binary+0x256>
movsbl -0x21(%rbp),%eax
cmp    $0x2d,%eax
jne    1271 <is_binary+0x171>
movsbl -0x22(%rbp),%eax
cmp    $0x2a,%eax
je     126c <is_binary+0x16c>
movsbl -0x22(%rbp),%eax
cmp    $0x2f,%eax
je     126c <is_binary+0x16c>
movsbl -0x22(%rbp),%eax
cmp    $0x2b,%eax
je     126c <is_binary+0x16c>
movsbl -0x22(%rbp),%eax
cmp    $0x2d,%eax
je     126c <is_binary+0x16c>
movsbl -0x22(%rbp),%eax
cmp    $0x5e,%eax
je     126c <is_binary+0x16c>
movsbl -0x22(%rbp),%eax
cmp    $0x0,%eax
je     126c <is_binary+0x16c>
movl   $0x2,-0x1c(%rbp)
mov    -0x28(%rbp),%eax
mov    %eax,-0x20(%rbp)
jmp    1351 <is_binary+0x251>
movsbl -0x21(%rbp),%eax
cmp    $0x2a,%eax
jne    12b8 <is_binary+0x1b8>
cmpl   $0x0,-0x1c(%rbp)
je     12a6 <is_binary+0x1a6>
cmpl   $0x3,-0x1c(%rbp)
je     12a6 <is_binary+0x1a6>
cmpl   $0x4,-0x1c(%rbp)
je     12a6 <is_binary+0x1a6>
cmpl   $0x5,-0x1c(%rbp)
jne    12b3 <is_binary+0x1b3>
movl   $0x3,-0x1c(%rbp)
mov    -0x28(%rbp),%eax
mov    %eax,-0x20(%rbp)
jmp    134c <is_binary+0x24c>
movsbl -0x21(%rbp),%eax
cmp    $0x2f,%eax
jne    12ff <is_binary+0x1ff>
cmpl   $0x0,-0x1c(%rbp)
je     12ed <is_binary+0x1ed>
cmpl   $0x3,-0x1c(%rbp)
je     12ed <is_binary+0x1ed>
cmpl   $0x4,-0x1c(%rbp)
je     12ed <is_binary+0x1ed>
cmpl   $0x5,-0x1c(%rbp)
jne    12fa <is_binary+0x1fa>
movl   $0x4,-0x1c(%rbp)
mov    -0x28(%rbp),%eax
mov    %eax,-0x20(%rbp)
jmp    1347 <is_binary+0x247>
movsbl -0x21(%rbp),%eax
cmp    $0x5e,%eax
jne    1342 <is_binary+0x242>
cmpl   $0x0,-0x1c(%rbp)
jne    133d <is_binary+0x23d>
movsbl -0x2d(%rbp),%eax
cmp    $0x2d,%eax
je     133d <is_binary+0x23d>
movsbl -0x2d(%rbp),%eax
cmp    $0x2b,%eax
je     133d <is_binary+0x23d>
movl   $0x5,-0x1c(%rbp)
mov    -0x28(%rbp),%eax
mov    %eax,-0x20(%rbp)
jmp    1342 <is_binary+0x242>
jmp    1347 <is_binary+0x247>
jmp    134c <is_binary+0x24c>
jmp    1351 <is_binary+0x251>
jmp    1356 <is_binary+0x256>
mov    -0x21(%rbp),%al
mov    %al,-0x22(%rbp)
mov    -0x28(%rbp),%eax
add    $0x1,%eax
mov    %eax,-0x28(%rbp)
jmp    1138 <is_binary+0x38>
mov    -0x20(%rbp),%ecx
mov    -0x18(%rbp),%rax
mov    %ecx,(%rax)
mov    -0x1c(%rbp),%eax
pop    %rbp
ret

x86 assembly (clang, -O2):
<is_binary>:
push   %rbp
push   %r15
push   %r14
push   %r12
push   %rbx
test   %esi,%esi
jle    1240 <is_binary+0x140>
mov    (%rdi),%r8b
mov    %esi,%r15d
add    $0xffffffffffffffff,%r15
mov    $0xffffffff,%r10d
xor    %ebp,%ebp
lea    0xed7(%rip),%r9
mov    $0x39,%r11d
movabs $0x1000000000002b,%r14
mov    %r8d,%ecx
xor    %eax,%eax
xor    %r12d,%r12d
xor    %esi,%esi
cs nopw 0x0(%rax,%rax,1)
nopl   (%rax)
mov    %ecx,%ebx
cmp    $0x29,%cl
je     1180 <is_binary+0x80>
cmp    $0x28,%bl
jne    1160 <is_binary+0x60>
add    $0x1,%r12d
test   %r12d,%r12d
jle    1189 <is_binary+0x89>
mov    %esi,%ebx
cmp    %rbp,%r15
je     1248 <is_binary+0x148>
movzbl 0x1(%rdi,%rbp,1),%ecx
add    $0x1,%rbp
mov    %ebx,%esi
jmp    1150 <is_binary+0x50>
nopl   (%rax)
add    $0xffffffff,%r12d
test   %r12d,%r12d
jg     1165 <is_binary+0x65>
lea    -0x2a(%rbx),%ecx
cmp    $0x5,%cl
ja     11b4 <is_binary+0xb4>
movzbl %cl,%ecx
movslq (%r9,%rcx,4),%rcx
add    %r9,%rcx
jmp    *%rcx
mov    $0x2a,%bl
cmp    $0x5,%eax
ja     1167 <is_binary+0x67>
bt     %eax,%r11d
jae    1167 <is_binary+0x67>
mov    $0x3,%eax
jmp    1238 <is_binary+0x138>
cmp    $0x5e,%bl
jne    1167 <is_binary+0x67>
mov    $0x5e,%bl
test   %eax,%eax
jne    1167 <is_binary+0x67>
xor    %eax,%eax
cmp    $0x2b,%r8b
je     1167 <is_binary+0x67>
cmp    $0x2d,%r8b
je     1167 <is_binary+0x67>
mov    $0x5,%eax
jmp    1238 <is_binary+0x138>
mov    $0x2b,%bl
lea    -0x2a(%rsi),%ecx
cmp    $0x34,%cl
ja     11e7 <is_binary+0xe7>
movzbl %cl,%ecx
bt     %rcx,%r14
jb     1167 <is_binary+0x67>
test   %sil,%sil
je     1167 <is_binary+0x67>
mov    $0x1,%eax
jmp    1238 <is_binary+0x138>
mov    $0x2d,%bl
lea    -0x2a(%rsi),%ecx
cmp    $0x34,%cl
ja     120e <is_binary+0x10e>
movzbl %cl,%ecx
bt     %rcx,%r14
jb     1167 <is_binary+0x67>
test   %sil,%sil
je     1167 <is_binary+0x67>
mov    $0x2,%eax
jmp    1238 <is_binary+0x138>
mov    $0x2f,%bl
cmp    $0x5,%eax
ja     1167 <is_binary+0x67>
bt     %eax,%r11d
jae    1167 <is_binary+0x67>
mov    $0x4,%eax
mov    %ebp,%r10d
jmp    1167 <is_binary+0x67>
xor    %eax,%eax
mov    $0xffffffff,%r10d
mov    %r10d,(%rdx)
pop    %rbx
pop    %r12
pop    %r14
pop    %r15
pop    %rbp
ret

LLVM IR (-O0):
define i32 @is_binary(i8* %0, i32 %1, i32* %2) {
%4 = alloca i8*
%5 = alloca i32
%6 = alloca i32*
%7 = alloca i32
%8 = alloca i32
%9 = alloca i8
%10 = alloca i8
%11 = alloca i32
%12 = alloca i32
%13 = alloca i8
store i8* %0, i8** %4
store i32 %1, i32* %5
store i32* %2, i32** %6
store i32 0, i32* %7
store i32 -1, i32* %8
store i8 0, i8* %10
store i32 0, i32* %12
%14 = load i8*, i8** %4
%15 = getelementptr inbounds i8, i8* %14, i64 0
%16 = load i8, i8* %15
store i8 %16, i8* %13
store i32 0, i32* %11
br label %17
17: ; preds = %169, %3
%18 = load i32, i32* %11
%19 = load i32, i32* %5
%20 = icmp slt i32 %18, %19
br i1 %20, label %21, label %172
21: ; preds = %17
%22 = load i8*, i8** %4
%23 = load i32, i32* %11
%24 = sext i32 %23 to i64
%25 = getelementptr inbounds i8, i8* %22, i64 %24
%26 = load i8, i8* %25
store i8 %26, i8* %9
%27 = load i8, i8* %9
%28 = sext i8 %27 to i32
%29 = icmp eq i32 %28, 40
br i1 %29, label %30, label %33
30: ; preds = %21
%31 = load i32, i32* %12
%32 = add nsw i32 %31, 1
store i32 %32, i32* %12
br label %41
33: ; preds = %21
%34 = load i8, i8* %9
%35 = sext i8 %34 to i32
%36 = icmp eq i32 %35, 41
br i1 %36, label %37, label %40
37: ; preds = %33
%38 = load i32, i32* %12
%39 = add nsw i32 %38, -1
store i32 %39, i32* %12
br label %40
40: ; preds = %37, %33
br label %41
41: ; preds = %40, %30
%42 = load i32, i32* %12
%43 = icmp sgt i32 %42, 0
br i1 %43, label %44, label %45
44: ; preds = %41
br label %169
45: ; preds = %41
%46 = load i8, i8* %9
%47 = sext i8 %46 to i32
%48 = icmp eq i32 %47, 43
br i1 %48, label %49, label %76
49: ; preds = %45
%50 = load i8, i8* %10
%51 = sext i8 %50 to i32
%52 = icmp ne i32 %51, 42
br i1 %52, label %53, label %75
53: ; preds = %49
%54 = load i8, i8* %10
%55 = sext i8 %54 to i32
%56 = icmp ne i32 %55, 47
br i1 %56, label %57, label %75
57: ; preds = %53
%58 = load i8, i8* %10
%59 = sext i8 %58 to i32
%60 = icmp ne i32 %59, 43
br i1 %60, label %61, label %75
61: ; preds = %57
%62 = load i8, i8* %10
%63 = sext i8 %62 to i32
%64 = icmp ne i32 %63, 45
br i1 %64, label %65, label %75
65: ; preds = %61
%66 = load i8, i8* %10
%67 = sext i8 %66 to i32
%68 = icmp ne i32 %67, 94
br i1 %68, label %69, label %75
69: ; preds = %65
%70 = load i8, i8* %10
%71 = sext i8 %70 to i32
%72 = icmp ne i32 %71, 0
br i1 %72, label %73, label %75
73: ; preds = %69
store i32 1, i32* %7
%74 = load i32, i32* %11
store i32 %74, i32* %8
br label %75
75: ; preds = %73, %69, %65, %61, %57, %53, %49
br label %167
76: ; preds = %45
%77 = load i8, i8* %9
%78 = sext i8 %77 to i32
%79 = icmp eq i32 %78, 45
br i1 %79, label %80, label %107
80: ; preds = %76
%81 = load i8, i8* %10
%82 = sext i8 %81 to i32
%83 = icmp ne i32 %82, 42
br i1 %83, label %84, label %106
84: ; preds = %80
%85 = load i8, i8* %10
%86 = sext i8 %85 to i32
%87 = icmp ne i32 %86, 47
br i1 %87, label %88, label %106
88: ; preds = %84
%89 = load i8, i8* %10
%90 = sext i8 %89 to i32
%91 = icmp ne i32 %90, 43
br i1 %91, label %92, label %106
92: ; preds = %88
%93 = load i8, i8* %10
%94 = sext i8 %93 to i32
%95 = icmp ne i32 %94, 45
br i1 %95, label %96, label %106
96: ; preds = %92
%97 = load i8, i8* %10
%98 = sext i8 %97 to i32
%99 = icmp ne i32 %98, 94
br i1 %99, label %100, label %106
100: ; preds = %96
%101 = load i8, i8* %10
%102 = sext i8 %101 to i32
%103 = icmp ne i32 %102, 0
br i1 %103, label %104, label %106
104: ; preds = %100
store i32 2, i32* %7
%105 = load i32, i32* %11
store i32 %105, i32* %8
br label %106
106: ; preds = %104, %100, %96, %92, %88, %84, %80
br label %166
107: ; preds = %76
%108 = load i8, i8* %9
%109 = sext i8 %108 to i32
%110 = icmp eq i32 %109, 42
br i1 %110, label %111, label %126
111: ; preds = %107
%112 = load i32, i32* %7
%113 = icmp eq i32 %112, 0
br i1 %113, label %123, label %114
114: ; preds = %111
%115 = load i32, i32* %7
%116 = icmp eq i32 %115, 3
br i1 %116, label %123, label %117
117: ; preds = %114
%118 = load i32, i32* %7
%119 = icmp eq i32 %118, 4
br i1 %119, label %123, label %120
120: ; preds = %117
%121 = load i32, i32* %7
%122 = icmp eq i32 %121, 5
br i1 %122, label %123, label %125
123: ; preds = %120, %117, %114, %111
store i32 3, i32* %7
%124 = load i32, i32* %11
store i32 %124, i32* %8
br label %125
125: ; preds = %123, %120
br label %165
126: ; preds = %107
%127 = load i8, i8* %9
%128 = sext i8 %127 to i32
%129 = icmp eq i32 %128, 47
br i1 %129, label %130, label %145
130: ; preds = %126
%131 = load i32, i32* %7
%132 = icmp eq i32 %131, 0
br i1 %132, label %142, label %133
133: ; preds = %130
%134 = load i32, i32* %7
%135 = icmp eq i32 %134, 3
br i1 %135, label %142, label %136
136: ; preds = %133
%137 = load i32, i32* %7
%138 = icmp eq i32 %137, 4
br i1 %138, label %142, label %139
139: ; preds = %136
%140 = load i32, i32* %7
%141 = icmp eq i32 %140, 5
br i1 %141, label %142, label %144
142: ; preds = %139, %136, %133, %130
store i32 4, i32* %7
%143 = load i32, i32* %11
store i32 %143, i32* %8
br label %144
144: ; preds = %142, %139
br label %164
145: ; preds = %126
%146 = load i8, i8* %9
%147 = sext i8 %146 to i32
%148 = icmp eq i32 %147, 94
br i1 %148, label %149, label %163
149: ; preds = %145
%150 = load i32, i32* %7
%151 = icmp eq i32 %150, 0
br i1 %151, label %152, label %162
152: ; preds = %149
%153 = load i8, i8* %13
%154 = sext i8 %153 to i32
%155 = icmp ne i32 %154, 45
br i1 %155, label %156, label %162
156: ; preds = %152
%157 = load i8, i8* %13
%158 = sext i8 %157 to i32
%159 = icmp ne i32 %158, 43
br i1 %159, label %160, label %162
160: ; preds = %156
store i32 5, i32* %7
%161 = load i32, i32* %11
store i32 %161, i32* %8
br label %162
162: ; preds = %160, %156, %152, %149
br label %163
163: ; preds = %162, %145
br label %164
164: ; preds = %163, %144
br label %165
165: ; preds = %164, %125
br label %166
166: ; preds = %165, %106
br label %167
167: ; preds = %166, %75
%168 = load i8, i8* %9
store i8 %168, i8* %10
br label %169
169: ; preds = %167, %44
%170 = load i32, i32* %11
%171 = add nsw i32 %170, 1
store i32 %171, i32* %11
br label %17
172: ; preds = %17
%173 = load i32, i32* %8
%174 = load i32*, i32** %6
store i32 %173, i32* %174
%175 = load i32, i32* %7
ret i32 %175
}

LLVM IR (-O2):
define i32 @is_binary(i8* nocapture %0, i32 %1, i32* nocapture writeonly %2) {
%4 = load i8, i8* %0
%5 = icmp sgt i32 %1, 0
br i1 %5, label %6, label %46
6: ; preds = %3
%7 = zext i32 %1 to i64
br label %8
8: ; preds = %43, %6
%9 = phi i8 [ %4, %6 ], [ %45, %43 ]
%10 = phi i64 [ 0, %6 ], [ %41, %43 ]
%11 = phi i32 [ 0, %6 ], [ %40, %43 ]
%12 = phi i32 [ 0, %6 ], [ %20, %43 ]
%13 = phi i8 [ 0, %6 ], [ %39, %43 ]
%14 = phi i32 [ -1, %6 ], [ %38, %43 ]
switch i8 %9, label %19 [
i8 40, label %15
i8 41, label %17
]
15: ; preds = %8
%16 = add nsw i32 %12, 1
br label %19
17: ; preds = %8
%18 = add nsw i32 %12, -1
br label %19
19: ; preds = %8, %17, %15
%20 = phi i32 [ %16, %15 ], [ %18, %17 ], [ %12, %8 ]
%21 = icmp sgt i32 %20, 0
br i1 %21, label %37, label %22
22: ; preds = %19
%23 = trunc i64 %10 to i32
switch i8 %9, label %37 [
i8 43, label %24
i8 45, label %26
i8 42, label %28
i8 47, label %30
i8 94, label %32
]
24: ; preds = %22
switch i8 %13, label %25 [
i8 94, label %37
i8 47, label %37
i8 45, label %37
i8 43, label %37
i8 42, label %37
i8 0, label %37
]
25: ; preds = %24
br label %37
26: ; preds = %22
switch i8 %13, label %27 [
i8 94, label %37
i8 47, label %37
i8 45, label %37
i8 43, label %37
i8 42, label %37
i8 0, label %37
]
27: ; preds = %26
br label %37
28: ; preds = %22
switch i32 %11, label %37 [
i32 5, label %29
i32 4, label %29
i32 3, label %29
i32 0, label %29
]
29: ; preds = %28, %28, %28, %28
br label %37
30: ; preds = %22
switch i32 %11, label %37 [
i32 5, label %31
i32 4, label %31
i32 3, label %31
i32 0, label %31
]
31: ; preds = %30, %30, %30, %30
br label %37
32: ; preds = %22
%33 = freeze i32 %11
%34 = icmp eq i32 %33, 0
br i1 %34, label %35, label %37
35: ; preds = %32
switch i8 %4, label %36 [
i8 45, label %37
i8 43, label %37
]
36: ; preds = %35
br label %37
37: ; preds = %25, %29, %36, %31, %27, %24, %24, %24, %24, %24, %24, %26, %26, %26, %26, %26, %26, %28, %30, %22, %32, %35, %35, %19
%38 = phi i32 [ %14, %19 ], [ %23, %25 ], [ %14, %24 ], [ %23, %27 ], [ %14, %26 ], [ %23, %29 ], [ %14, %28 ], [ %23, %31 ], [ %14, %30 ], [ %23, %36 ], [ %14, %35 ], [ %14, %24 ], [ %14, %24 ], [ %14, %24 ], [ %14, %24 ], [ %14, %24 ], [ %14, %26 ], [ %14, %26 ], [ %14, %26 ], [ %14, %26 ], [ %14, %26 ], [ %14, %22 ], [ %14, %32 ], [ %14, %35 ]
%39 = phi i8 [ %13, %19 ], [ 43, %25 ], [ 43, %24 ], [ 45, %27 ], [ 45, %26 ], [ 42, %29 ], [ 42, %28 ], [ 47, %31 ], [ 47, %30 ], [ 94, %36 ], [ 94, %35 ], [ 43, %24 ], [ 43, %24 ], [ 43, %24 ], [ 43, %24 ], [ 43, %24 ], [ 45, %26 ], [ 45, %26 ], [ 45, %26 ], [ 45, %26 ], [ 45, %26 ], [ %9, %22 ], [ 94, %32 ], [ 94, %35 ]
%40 = phi i32 [ %11, %19 ], [ 1, %25 ], [ %11, %24 ], [ 2, %27 ], [ %11, %26 ], [ 3, %29 ], [ %11, %28 ], [ 4, %31 ], [ %11, %30 ], [ 5, %36 ], [ 0, %35 ], [ %11, %24 ], [ %11, %24 ], [ %11, %24 ], [ %11, %24 ], [ %11, %24 ], [ %11, %26 ], [ %11, %26 ], [ %11, %26 ], [ %11, %26 ], [ %11, %26 ], [ %11, %22 ], [ %33, %32 ], [ 0, %35 ]
%41 = add nuw nsw i64 %10, 1
%42 = icmp eq i64 %41, %7
br i1 %42, label %46, label %43
43: ; preds = %37
%44 = getelementptr inbounds i8, i8* %0, i64 %41
%45 = load i8, i8* %44
br label %8
46: ; preds = %37, %3
%47 = phi i32 [ -1, %3 ], [ %38, %37 ]
%48 = phi i32 [ 0, %3 ], [ %40, %37 ]
store i32 %47, i32* %2
ret i32 %48
}