#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*/ assert(int);
scalar_t__ isnum(char const);
scalar_t__ isunknow(char const);
int get_size(const char s[]) {
  int output = 0;
  assert(s[0] != '\0');
  int i;
  for (i = 1; s[i] != '\0'; i++) {
    if (s[i] == ' ')
      --output;
    else if ((s[i] == '(') &&
             (isnum(s[i - 1]) || isunknow(s[i - 1]) || (s[i - 1] == ')')))
      ++output;
    else if ((isunknow(s[i])) && (isnum(s[i - 1]) || isunknow(s[i - 1])))
      ++output;
  }
  return output + i + 1;
}


x86 assembly (clang, -O0):
<get_size>:
push   %rbp
mov    %rsp,%rbp
sub    $0x10,%rsp
mov    %rdi,-0x8(%rbp)
movl   $0x0,-0xc(%rbp)
mov    -0x8(%rbp),%rax
movsbl (%rax),%eax
cmp    $0x0,%eax
setne  %al
and    $0x1,%al
movzbl %al,%edi
call   1040 <assert@plt>
movl   $0x1,-0x10(%rbp)
mov    -0x8(%rbp),%rax
movslq -0x10(%rbp),%rcx
movsbl (%rax,%rcx,1),%eax
cmp    $0x0,%eax
je     1297 <get_size+0x167>
mov    -0x8(%rbp),%rax
movslq -0x10(%rbp),%rcx
movsbl (%rax,%rcx,1),%eax
cmp    $0x20,%eax
jne    1199 <get_size+0x69>
mov    -0xc(%rbp),%eax
add    $0xffffffff,%eax
mov    %eax,-0xc(%rbp)
jmp    1284 <get_size+0x154>
mov    -0x8(%rbp),%rax
movslq -0x10(%rbp),%rcx
movsbl (%rax,%rcx,1),%eax
cmp    $0x28,%eax
jne    1216 <get_size+0xe6>
mov    -0x8(%rbp),%rax
mov    -0x10(%rbp),%ecx
sub    $0x1,%ecx
movslq %ecx,%rcx
movsbl (%rax,%rcx,1),%edi
call   1050 <isnum@plt>
cmp    $0x0,%rax
jne    1208 <get_size+0xd8>
mov    -0x8(%rbp),%rax
mov    -0x10(%rbp),%ecx
sub    $0x1,%ecx
movslq %ecx,%rcx
movsbl (%rax,%rcx,1),%edi
call   1030 <isunknow@plt>
cmp    $0x0,%rax
jne    1208 <get_size+0xd8>
mov    -0x8(%rbp),%rax
mov    -0x10(%rbp),%ecx
sub    $0x1,%ecx
movslq %ecx,%rcx
movsbl (%rax,%rcx,1),%eax
cmp    $0x29,%eax
jne    1216 <get_size+0xe6>
mov    -0xc(%rbp),%eax
add    $0x1,%eax
mov    %eax,-0xc(%rbp)
jmp    127f <get_size+0x14f>
mov    -0x8(%rbp),%rax
movslq -0x10(%rbp),%rcx
movsbl (%rax,%rcx,1),%edi
call   1030 <isunknow@plt>
cmp    $0x0,%rax
je     127a <get_size+0x14a>
mov    -0x8(%rbp),%rax
mov    -0x10(%rbp),%ecx
sub    $0x1,%ecx
movslq %ecx,%rcx
movsbl (%rax,%rcx,1),%edi
call   1050 <isnum@plt>
cmp    $0x0,%rax
jne    1271 <get_size+0x141>
mov    -0x8(%rbp),%rax
mov    -0x10(%rbp),%ecx
sub    $0x1,%ecx
movslq %ecx,%rcx
movsbl (%rax,%rcx,1),%edi
call   1030 <isunknow@plt>
cmp    $0x0,%rax
je     127a <get_size+0x14a>
mov    -0xc(%rbp),%eax
add    $0x1,%eax
mov    %eax,-0xc(%rbp)
jmp    127f <get_size+0x14f>
jmp    1284 <get_size+0x154>
jmp    1289 <get_size+0x159>
mov    -0x10(%rbp),%eax
add    $0x1,%eax
mov    %eax,-0x10(%rbp)
jmp    1161 <get_size+0x31>
mov    -0xc(%rbp),%eax
add    -0x10(%rbp),%eax
add    $0x1,%eax
add    $0x10,%rsp
pop    %rbp
ret

x86 assembly (clang, -O2):
<get_size>:
push   %r15
push   %r14
push   %rbx
mov    %rdi,%r14
xor    %edi,%edi
cmpb   $0x0,(%r14)
setne  %dil
call   1040 <assert@plt>
xor    %ebx,%ebx
xor    %r15d,%r15d
jmp    1167 <get_size+0x37>
xchg   %ax,%ax
movsbl (%r14,%rbx,1),%edi
call   1050 <isnum@plt>
test   %rax,%rax
je     11ba <get_size+0x8a>
add    $0x1,%r15d
add    $0x1,%rbx
movzbl 0x1(%r14,%rbx,1),%eax
cmp    $0x20,%al
je     11b0 <get_size+0x80>
cmp    $0x28,%al
je     1150 <get_size+0x20>
test   %al,%al
je     11d8 <get_size+0xa8>
movsbl %al,%edi
call   1030 <isunknow@plt>
test   %rax,%rax
je     1163 <get_size+0x33>
movsbl (%r14,%rbx,1),%edi
call   1050 <isnum@plt>
test   %rax,%rax
jne    115f <get_size+0x2f>
movsbl (%r14,%rbx,1),%edi
call   1030 <isunknow@plt>
test   %rax,%rax
jne    115f <get_size+0x2f>
jmp    1163 <get_size+0x33>
cs nopw 0x0(%rax,%rax,1)
add    $0xffffffff,%r15d
add    $0x1,%rbx
jmp    1167 <get_size+0x37>
movsbl (%r14,%rbx,1),%edi
call   1030 <isunknow@plt>
test   %rax,%rax
jne    115f <get_size+0x2f>
cmpb   $0x29,(%r14,%rbx,1)
je     115f <get_size+0x2f>
movzbl 0x1(%r14,%rbx,1),%eax
jmp    1179 <get_size+0x49>
lea    (%r15,%rbx,1),%eax
add    $0x2,%eax
pop    %rbx
pop    %r14
pop    %r15
ret

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

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