int check_sum(char *tree, int sum, int target) {
  int result;
  int value, paren, sign;
  tree++;
  if (*tree == '-') {
    sign = -1;
    tree++;
  } else {
    sign = 1;
  }
  for (value = 0; *tree != '('; tree++) {
    value *= 10;
    value += (*tree - '0');
  }
  value *= sign;
  if (tree[0] == '(' && tree[1] == ')' && tree[2] == '(' && tree[3] == ')') {
    if (sum + value == target) {
      return 1;
    } else {
      return 0;
    }
  }
  if (tree[0] != '(' || tree[1] != ')') {
    result = check_sum(tree, sum + value, target);
    if (result == 1) {
      return 1;
    }
  }
  for (paren = 1, tree++; paren > 0; tree++) {
    switch (*tree) {
    case '(':
      paren++;
      break;
    case ')':
      paren--;
      break;
    }
  }
  if (tree[0] != '(' || tree[1] != ')') {
    result = check_sum(tree, sum + value, target);
    if (result == 1) {
      return 1;
    }
  }
  return 0;
}


x86 assembly (clang, -O0):
<check_sum>:
push   %rbp
mov    %rsp,%rbp
sub    $0x30,%rsp
mov    %rdi,-0x10(%rbp)
mov    %esi,-0x14(%rbp)
mov    %edx,-0x18(%rbp)
mov    -0x10(%rbp),%rax
add    $0x1,%rax
mov    %rax,-0x10(%rbp)
mov    -0x10(%rbp),%rax
movsbl (%rax),%eax
cmp    $0x2d,%eax
jne    1156 <check_sum+0x46>
movl   $0xffffffff,-0x28(%rbp)
mov    -0x10(%rbp),%rax
add    $0x1,%rax
mov    %rax,-0x10(%rbp)
jmp    115d <check_sum+0x4d>
movl   $0x1,-0x28(%rbp)
movl   $0x0,-0x20(%rbp)
mov    -0x10(%rbp),%rax
movsbl (%rax),%eax
cmp    $0x28,%eax
je     119c <check_sum+0x8c>
imul   $0xa,-0x20(%rbp),%eax
mov    %eax,-0x20(%rbp)
mov    -0x10(%rbp),%rax
movsbl (%rax),%eax
sub    $0x30,%eax
add    -0x20(%rbp),%eax
mov    %eax,-0x20(%rbp)
mov    -0x10(%rbp),%rax
add    $0x1,%rax
mov    %rax,-0x10(%rbp)
jmp    1164 <check_sum+0x54>
mov    -0x28(%rbp),%eax
imul   -0x20(%rbp),%eax
mov    %eax,-0x20(%rbp)
mov    -0x10(%rbp),%rax
movsbl (%rax),%eax
cmp    $0x28,%eax
jne    1210 <check_sum+0x100>
mov    -0x10(%rbp),%rax
movsbl 0x1(%rax),%eax
cmp    $0x29,%eax
jne    1210 <check_sum+0x100>
mov    -0x10(%rbp),%rax
movsbl 0x2(%rax),%eax
cmp    $0x28,%eax
jne    1210 <check_sum+0x100>
mov    -0x10(%rbp),%rax
movsbl 0x3(%rax),%eax
cmp    $0x29,%eax
jne    1210 <check_sum+0x100>
mov    -0x14(%rbp),%eax
add    -0x20(%rbp),%eax
cmp    -0x18(%rbp),%eax
jne    1204 <check_sum+0xf4>
movl   $0x1,-0x4(%rbp)
jmp    132c <check_sum+0x21c>
movl   $0x0,-0x4(%rbp)
jmp    132c <check_sum+0x21c>
mov    -0x10(%rbp),%rax
movsbl (%rax),%eax
cmp    $0x28,%eax
jne    1231 <check_sum+0x121>
mov    -0x10(%rbp),%rax
movsbl 0x1(%rax),%eax
cmp    $0x29,%eax
je     1261 <check_sum+0x151>
mov    -0x10(%rbp),%rdi
mov    -0x14(%rbp),%esi
add    -0x20(%rbp),%esi
mov    -0x18(%rbp),%edx
call   1030 <check_sum@plt>
mov    %eax,-0x1c(%rbp)
cmpl   $0x1,-0x1c(%rbp)
jne    125c <check_sum+0x14c>
movl   $0x1,-0x4(%rbp)
jmp    132c <check_sum+0x21c>
jmp    1261 <check_sum+0x151>
movl   $0x1,-0x24(%rbp)
mov    -0x10(%rbp),%rax
add    $0x1,%rax
mov    %rax,-0x10(%rbp)
cmpl   $0x0,-0x24(%rbp)
jle    12d4 <check_sum+0x1c4>
mov    -0x10(%rbp),%rax
movsbl (%rax),%eax
mov    %eax,-0x2c(%rbp)
sub    $0x28,%eax
je     12a7 <check_sum+0x197>
jmp    1296 <check_sum+0x186>
mov    -0x2c(%rbp),%eax
sub    $0x29,%eax
je     12b5 <check_sum+0x1a5>
jmp    12be <check_sum+0x1ae>
mov    -0x24(%rbp),%eax
add    $0x1,%eax
mov    %eax,-0x24(%rbp)
jmp    12be <check_sum+0x1ae>
mov    -0x24(%rbp),%eax
add    $0xffffffff,%eax
mov    %eax,-0x24(%rbp)
jmp    12c3 <check_sum+0x1b3>
mov    -0x10(%rbp),%rax
add    $0x1,%rax
mov    %rax,-0x10(%rbp)
jmp    1274 <check_sum+0x164>
mov    -0x10(%rbp),%rax
movsbl (%rax),%eax
cmp    $0x28,%eax
jne    12f5 <check_sum+0x1e5>
mov    -0x10(%rbp),%rax
movsbl 0x1(%rax),%eax
cmp    $0x29,%eax
je     1325 <check_sum+0x215>
mov    -0x10(%rbp),%rdi
mov    -0x14(%rbp),%esi
add    -0x20(%rbp),%esi
mov    -0x18(%rbp),%edx
call   1030 <check_sum@plt>
mov    %eax,-0x1c(%rbp)
cmpl   $0x1,-0x1c(%rbp)
jne    1320 <check_sum+0x210>
movl   $0x1,-0x4(%rbp)
jmp    132c <check_sum+0x21c>
jmp    1325 <check_sum+0x215>
movl   $0x0,-0x4(%rbp)
mov    -0x4(%rbp),%eax
add    $0x30,%rsp
pop    %rbp
ret

x86 assembly (clang, -O2):
<check_sum>:
push   %rbp
push   %r15
push   %r14
push   %r12
push   %rbx
mov    %edx,%r14d
mov    %esi,%r15d
lea    0x1(%rdi),%rbp
mov    0x1(%rdi),%al
lea    0x2(%rdi),%rcx
xor    %edx,%edx
cmp    $0x2d,%al
cmove  %rcx,%rbp
sete   %dl
mov    0x1(%rdx,%rdi,1),%dl
xor    %ecx,%ecx
cmp    $0x28,%dl
je     1169 <check_sum+0x59>
xor    %ecx,%ecx
cs nopw 0x0(%rax,%rax,1)
nopl   0x0(%rax,%rax,1)
movsbl %dl,%edx
lea    (%rcx,%rcx,4),%ecx
lea    (%rdx,%rcx,2),%ecx
add    $0xffffffd0,%ecx
movzbl 0x1(%rbp),%edx
add    $0x1,%rbp
cmp    $0x28,%dl
jne    1150 <check_sum+0x40>
mov    %ecx,%r12d
neg    %r12d
cmp    $0x2d,%al
cmovne %ecx,%r12d
mov    0x1(%rbp),%bl
cmp    $0x29,%bl
jne    1199 <check_sum+0x89>
cmpb   $0x28,0x2(%rbp)
jne    11b4 <check_sum+0xa4>
cmpb   $0x29,0x3(%rbp)
jne    11b4 <check_sum+0xa4>
add    %r15d,%r12d
xor    %eax,%eax
cmp    %r14d,%r12d
sete   %al
jmp    1218 <check_sum+0x108>
lea    (%r12,%r15,1),%esi
mov    %rbp,%rdi
mov    %r14d,%edx
call   1030 <check_sum@plt>
mov    %eax,%ecx
mov    $0x1,%eax
cmp    $0x1,%ecx
je     1218 <check_sum+0x108>
add    $0x1,%rbp
mov    $0x1,%eax
jmp    11cb <check_sum+0xbb>
nop
add    $0x1,%rbp
mov    %rbp,%rdi
movzbl 0x0(%rbp),%ebx
movsbl %bl,%ecx
cmp    $0x29,%ecx
je     11e0 <check_sum+0xd0>
cmp    $0x28,%ecx
jne    11c0 <check_sum+0xb0>
add    $0x1,%eax
jmp    11c0 <check_sum+0xb0>
nopl   (%rax)
lea    0x1(%rbp),%rdi
add    $0xffffffff,%eax
je     11f1 <check_sum+0xe1>
mov    %rdi,%rbp
movzbl (%rdi),%ebx
jmp    11cb <check_sum+0xbb>
cmpb   $0x28,(%rdi)
jne    11fc <check_sum+0xec>
cmpb   $0x29,0x2(%rbp)
je     1216 <check_sum+0x106>
add    %r15d,%r12d
mov    %r12d,%esi
mov    %r14d,%edx
call   1030 <check_sum@plt>
mov    %eax,%ecx
mov    $0x1,%eax
cmp    $0x1,%ecx
je     1218 <check_sum+0x108>
xor    %eax,%eax
pop    %rbx
pop    %r12
pop    %r14
pop    %r15
pop    %rbp
ret

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

LLVM IR (-O2):
define i32 @check_sum(i8* %0, i32 %1, i32 %2) {
%4 = getelementptr inbounds i8, i8* %0, i64 1
%5 = load i8, i8* %4
%6 = icmp eq i8 %5, 45
%7 = getelementptr inbounds i8, i8* %0, i64 2
%8 = select i1 %6, i8* %7, i8* %4
%9 = load i8, i8* %8
%10 = icmp eq i8 %9, 40
br i1 %10, label %22, label %11
11: ; preds = %3, %11
%12 = phi i8 [ %20, %11 ], [ %9, %3 ]
%13 = phi i32 [ %18, %11 ], [ 0, %3 ]
%14 = phi i8* [ %19, %11 ], [ %8, %3 ]
%15 = sext i8 %12 to i32
%16 = mul nsw i32 %13, 10
%17 = add i32 %16, -48
%18 = add i32 %17, %15
%19 = getelementptr inbounds i8, i8* %14, i64 1
%20 = load i8, i8* %19
%21 = icmp eq i8 %20, 40
br i1 %21, label %22, label %11
22: ; preds = %11, %3
%23 = phi i8* [ %8, %3 ], [ %19, %11 ]
%24 = phi i32 [ 0, %3 ], [ %18, %11 ]
%25 = sub nsw i32 0, %24
%26 = select i1 %6, i32 %25, i32 %24
%27 = getelementptr inbounds i8, i8* %23, i64 1
%28 = load i8, i8* %27
%29 = icmp eq i8 %28, 41
br i1 %29, label %30, label %42
30: ; preds = %22
%31 = getelementptr inbounds i8, i8* %23, i64 2
%32 = load i8, i8* %31
%33 = icmp eq i8 %32, 40
br i1 %33, label %34, label %46
34: ; preds = %30
%35 = getelementptr inbounds i8, i8* %23, i64 3
%36 = load i8, i8* %35
%37 = icmp eq i8 %36, 41
br i1 %37, label %38, label %46
38: ; preds = %34
%39 = add nsw i32 %26, %1
%40 = icmp eq i32 %39, %2
%41 = zext i1 %40 to i32
br label %77
42: ; preds = %22
%43 = add nsw i32 %26, %1
%44 = tail call i32 @check_sum(i8* %23, i32 %43, i32 %2)
%45 = icmp eq i32 %44, 1
br i1 %45, label %77, label %46
46: ; preds = %34, %30, %42
br label %47
47: ; preds = %46, %61
%48 = phi i8 [ %64, %61 ], [ %28, %46 ]
%49 = phi i8* [ %62, %61 ], [ %27, %46 ]
%50 = phi i32 [ %63, %61 ], [ 1, %46 ]
%51 = sext i8 %48 to i32
switch i32 %51, label %54 [
i32 40, label %52
i32 41, label %57
]
52: ; preds = %47
%53 = add nuw nsw i32 %50, 1
br label %54
54: ; preds = %47, %52
%55 = phi i32 [ %53, %52 ], [ %50, %47 ]
%56 = getelementptr inbounds i8, i8* %49, i64 1
br label %61
57: ; preds = %47
%58 = add nsw i32 %50, -1
%59 = getelementptr inbounds i8, i8* %49, i64 1
%60 = icmp eq i32 %58, 0
br i1 %60, label %65, label %61
61: ; preds = %54, %57
%62 = phi i8* [ %56, %54 ], [ %59, %57 ]
%63 = phi i32 [ %55, %54 ], [ %58, %57 ]
%64 = load i8, i8* %62
br label %47
65: ; preds = %57
%66 = load i8, i8* %59
%67 = icmp eq i8 %66, 40
br i1 %67, label %68, label %72
68: ; preds = %65
%69 = getelementptr inbounds i8, i8* %49, i64 2
%70 = load i8, i8* %69
%71 = icmp eq i8 %70, 41
br i1 %71, label %76, label %72
72: ; preds = %68, %65
%73 = add nsw i32 %26, %1
%74 = tail call i32 @check_sum(i8* %59, i32 %73, i32 %2)
%75 = icmp eq i32 %74, 1
br i1 %75, label %77, label %76
76: ; preds = %72, %68
br label %77
77: ; preds = %72, %42, %38, %76
%78 = phi i32 [ 0, %76 ], [ %41, %38 ], [ 1, %42 ], [ 1, %72 ]
ret i32 %78
}