#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*/ trim_right(char *);
bool is_balanced(char *p, unsigned c) {
  if (*p == '\0')
    return !c;
  if (p[0] != ':' && p[0] != '(' && p[0] != ')')
    return is_balanced(p + 1, c);
  trim_right(p);
  switch (p[0]) {
  case '(':
    return is_balanced(p + 1, c + 1);
  case ')':
    if (c)
      return is_balanced(p + 1, c - 1);
    return false;
  case ':':
    switch (p[1]) {
    case '(':
      return is_balanced(p + 2, c) || is_balanced(p + 2, c + 1);
    case ')':
      if (c)
        return is_balanced(p + 2, c) || is_balanced(p + 2, c - 1);
      return is_balanced(p + 2, c);
    default:
      return is_balanced(p + 1, c);
    }
  default:
    return false;
  }
}


x86 assembly (clang, -O0):
<is_balanced>:
push   %rbp
mov    %rsp,%rbp
sub    $0x20,%rsp
mov    %rdi,-0x10(%rbp)
mov    %esi,-0x14(%rbp)
mov    -0x10(%rbp),%rax
movsbl (%rax),%eax
cmp    $0x0,%eax
jne    1155 <is_balanced+0x35>
cmpl   $0x0,-0x14(%rbp)
setne  %al
xor    $0xff,%al
and    $0x1,%al
movzbl %al,%eax
mov    %eax,-0x4(%rbp)
jmp    132f <is_balanced+0x20f>
mov    -0x10(%rbp),%rax
movsbl (%rax),%eax
cmp    $0x3a,%eax
je     119d <is_balanced+0x7d>
mov    -0x10(%rbp),%rax
movsbl (%rax),%eax
cmp    $0x28,%eax
je     119d <is_balanced+0x7d>
mov    -0x10(%rbp),%rax
movsbl (%rax),%eax
cmp    $0x29,%eax
je     119d <is_balanced+0x7d>
mov    -0x10(%rbp),%rdi
add    $0x1,%rdi
mov    -0x14(%rbp),%esi
call   1040 <is_balanced@plt>
mov    %eax,-0x4(%rbp)
jmp    132f <is_balanced+0x20f>
mov    -0x10(%rbp),%rdi
call   1030 <trim_right@plt>
mov    -0x10(%rbp),%rax
movsbl (%rax),%eax
mov    %eax,-0x18(%rbp)
sub    $0x28,%eax
je     11e0 <is_balanced+0xc0>
jmp    11be <is_balanced+0x9e>
mov    -0x18(%rbp),%eax
sub    $0x29,%eax
je     11fb <is_balanced+0xdb>
jmp    11cf <is_balanced+0xaf>
mov    -0x18(%rbp),%eax
sub    $0x3a,%eax
je     122c <is_balanced+0x10c>
jmp    1328 <is_balanced+0x208>
mov    -0x10(%rbp),%rdi
add    $0x1,%rdi
mov    -0x14(%rbp),%esi
add    $0x1,%esi
call   1040 <is_balanced@plt>
mov    %eax,-0x4(%rbp)
jmp    132f <is_balanced+0x20f>
cmpl   $0x0,-0x14(%rbp)
je     1220 <is_balanced+0x100>
mov    -0x10(%rbp),%rdi
add    $0x1,%rdi
mov    -0x14(%rbp),%esi
sub    $0x1,%esi
call   1040 <is_balanced@plt>
mov    %eax,-0x4(%rbp)
jmp    132f <is_balanced+0x20f>
movl   $0x0,-0x4(%rbp)
jmp    132f <is_balanced+0x20f>
mov    -0x10(%rbp),%rax
movsbl 0x1(%rax),%eax
mov    %eax,-0x1c(%rbp)
sub    $0x28,%eax
je     1256 <is_balanced+0x136>
jmp    1245 <is_balanced+0x125>
mov    -0x1c(%rbp),%eax
sub    $0x29,%eax
je     12a2 <is_balanced+0x182>
jmp    1310 <is_balanced+0x1f0>
mov    -0x10(%rbp),%rdi
add    $0x2,%rdi
mov    -0x14(%rbp),%esi
call   1040 <is_balanced@plt>
mov    %eax,%ecx
mov    $0x1,%al
cmp    $0x0,%ecx
mov    %al,-0x1d(%rbp)
jne    1292 <is_balanced+0x172>
mov    -0x10(%rbp),%rdi
add    $0x2,%rdi
mov    -0x14(%rbp),%esi
add    $0x1,%esi
call   1040 <is_balanced@plt>
cmp    $0x0,%eax
setne  %al
mov    %al,-0x1d(%rbp)
mov    -0x1d(%rbp),%al
and    $0x1,%al
movzbl %al,%eax
mov    %eax,-0x4(%rbp)
jmp    132f <is_balanced+0x20f>
cmpl   $0x0,-0x14(%rbp)
je     12f8 <is_balanced+0x1d8>
mov    -0x10(%rbp),%rdi
add    $0x2,%rdi
mov    -0x14(%rbp),%esi
call   1040 <is_balanced@plt>
mov    %eax,%ecx
mov    $0x1,%al
cmp    $0x0,%ecx
mov    %al,-0x1e(%rbp)
jne    12e8 <is_balanced+0x1c8>
mov    -0x10(%rbp),%rdi
add    $0x2,%rdi
mov    -0x14(%rbp),%esi
sub    $0x1,%esi
call   1040 <is_balanced@plt>
cmp    $0x0,%eax
setne  %al
mov    %al,-0x1e(%rbp)
mov    -0x1e(%rbp),%al
and    $0x1,%al
movzbl %al,%eax
mov    %eax,-0x4(%rbp)
jmp    132f <is_balanced+0x20f>
mov    -0x10(%rbp),%rdi
add    $0x2,%rdi
mov    -0x14(%rbp),%esi
call   1040 <is_balanced@plt>
mov    %eax,-0x4(%rbp)
jmp    132f <is_balanced+0x20f>
mov    -0x10(%rbp),%rdi
add    $0x1,%rdi
mov    -0x14(%rbp),%esi
call   1040 <is_balanced@plt>
mov    %eax,-0x4(%rbp)
jmp    132f <is_balanced+0x20f>
movl   $0x0,-0x4(%rbp)
mov    -0x4(%rbp),%eax
add    $0x20,%rsp
pop    %rbp
ret

x86 assembly (clang, -O2):
<is_balanced>:
push   %rbp
push   %rbx
push   %rax
mov    %rdi,%rbx
mov    %esi,%ebp
mov    %rbx,%rax
mov    %rax,%rbx
movzbl (%rax),%eax
lea    -0x28(%rax),%ecx
cmp    $0x2,%cl
jb     113d <is_balanced+0x1d>
cmp    $0x3a,%al
jne    1170 <is_balanced+0x50>
mov    %rbx,%rdi
call   1030 <trim_right@plt>
movsbl (%rbx),%eax
cmp    $0x3a,%eax
jne    1180 <is_balanced+0x60>
movsbl 0x1(%rbx),%ecx
cmp    $0x29,%ecx
je     11a4 <is_balanced+0x84>
lea    0x1(%rbx),%rax
cmp    $0x28,%ecx
jne    112b <is_balanced+0xb>
jmp    11cb <is_balanced+0xab>
cs nopw 0x0(%rax,%rax,1)
nopl   0x0(%rax,%rax,1)
test   %al,%al
je     11f3 <is_balanced+0xd3>
add    $0x1,%rbx
jmp    1128 <is_balanced+0x8>
nopw   0x0(%rax,%rax,1)
cmp    $0x29,%eax
je     1195 <is_balanced+0x75>
cmp    $0x28,%eax
jne    11c7 <is_balanced+0xa7>
add    $0x1,%rbx
add    $0x1,%ebp
mov    %ebp,%esi
jmp    1126 <is_balanced+0x6>
test   %ebp,%ebp
je     11c7 <is_balanced+0xa7>
add    $0x1,%rbx
add    $0xffffffff,%ebp
mov    %ebp,%esi
jmp    1126 <is_balanced+0x6>
add    $0x2,%rbx
xor    %esi,%esi
test   %ebp,%ebp
je     1126 <is_balanced+0x6>
mov    %rbx,%rdi
mov    %ebp,%esi
call   1040 <is_balanced@plt>
mov    $0x1,%cl
test   %eax,%eax
jne    11f8 <is_balanced+0xd8>
add    $0xffffffff,%ebp
jmp    11e2 <is_balanced+0xc2>
xor    %ecx,%ecx
jmp    11f8 <is_balanced+0xd8>
add    $0x2,%rbx
mov    %rbx,%rdi
mov    %ebp,%esi
call   1040 <is_balanced@plt>
mov    $0x1,%cl
test   %eax,%eax
jne    11f8 <is_balanced+0xd8>
add    $0x1,%ebp
mov    %rbx,%rdi
mov    %ebp,%esi
call   1040 <is_balanced@plt>
test   %eax,%eax
setne  %cl
jmp    11f8 <is_balanced+0xd8>
test   %ebp,%ebp
sete   %cl
movzbl %cl,%eax
add    $0x8,%rsp
pop    %rbx
pop    %rbp
ret

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

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