int check_gl(const char *s) {
  int n;
  n = 0;
  while (*s) {
    if (*s == '(')
      ++n;
    else if (*s == ')')
      --n;
    ++s;
  }
  if (n != 0)
    return 0;
  else
    return 1;
}


x86 assembly (clang, -O0):
<check_gl>:
push   %rbp
mov    %rsp,%rbp
mov    %rdi,-0x10(%rbp)
movl   $0x0,-0x14(%rbp)
mov    -0x10(%rbp),%rax
cmpb   $0x0,(%rax)
je     1169 <check_gl+0x69>
mov    -0x10(%rbp),%rax
movsbl (%rax),%eax
cmp    $0x28,%eax
jne    113a <check_gl+0x3a>
mov    -0x14(%rbp),%eax
add    $0x1,%eax
mov    %eax,-0x14(%rbp)
jmp    1158 <check_gl+0x58>
mov    -0x10(%rbp),%rax
movsbl (%rax),%eax
cmp    $0x29,%eax
jne    1153 <check_gl+0x53>
mov    -0x14(%rbp),%eax
add    $0xffffffff,%eax
mov    %eax,-0x14(%rbp)
jmp    1158 <check_gl+0x58>
mov    -0x10(%rbp),%rax
add    $0x1,%rax
mov    %rax,-0x10(%rbp)
jmp    110f <check_gl+0xf>
cmpl   $0x0,-0x14(%rbp)
je     117f <check_gl+0x7f>
movl   $0x0,-0x4(%rbp)
jmp    1186 <check_gl+0x86>
movl   $0x1,-0x4(%rbp)
mov    -0x4(%rbp),%eax
pop    %rbp
ret

x86 assembly (clang, -O2):
<check_gl>:
xor    %ecx,%ecx
jmp    1117 <check_gl+0x17>
cs nopw 0x0(%rax,%rax,1)
xchg   %ax,%ax
add    $0xffffffff,%ecx
add    $0x1,%rdi
movzbl (%rdi),%eax
cmp    $0x28,%al
je     1130 <check_gl+0x30>
cmp    $0x29,%al
je     1110 <check_gl+0x10>
test   %al,%al
jne    1113 <check_gl+0x13>
jmp    1139 <check_gl+0x39>
nopl   0x0(%rax,%rax,1)
add    $0x1,%ecx
add    $0x1,%rdi
jmp    1117 <check_gl+0x17>
xor    %eax,%eax
test   %ecx,%ecx
sete   %al
ret

LLVM IR (-O0):
define i32 @check_gl(i8* %0) {
%2 = alloca i32
%3 = alloca i8*
%4 = alloca i32
store i8* %0, i8** %3
store i32 0, i32* %4
br label %5
5: ; preds = %26, %1
%6 = load i8*, i8** %3
%7 = load i8, i8* %6
%8 = icmp ne i8 %7, 0
br i1 %8, label %9, label %29
9: ; preds = %5
%10 = load i8*, i8** %3
%11 = load i8, i8* %10
%12 = sext i8 %11 to i32
%13 = icmp eq i32 %12, 40
br i1 %13, label %14, label %17
14: ; preds = %9
%15 = load i32, i32* %4
%16 = add nsw i32 %15, 1
store i32 %16, i32* %4
br label %26
17: ; preds = %9
%18 = load i8*, i8** %3
%19 = load i8, i8* %18
%20 = sext i8 %19 to i32
%21 = icmp eq i32 %20, 41
br i1 %21, label %22, label %25
22: ; preds = %17
%23 = load i32, i32* %4
%24 = add nsw i32 %23, -1
store i32 %24, i32* %4
br label %25
25: ; preds = %22, %17
br label %26
26: ; preds = %25, %14
%27 = load i8*, i8** %3
%28 = getelementptr inbounds i8, i8* %27, i32 1
store i8* %28, i8** %3
br label %5
29: ; preds = %5
%30 = load i32, i32* %4
%31 = icmp ne i32 %30, 0
br i1 %31, label %32, label %33
32: ; preds = %29
store i32 0, i32* %2
br label %34
33: ; preds = %29
store i32 1, i32* %2
br label %34
34: ; preds = %33, %32
%35 = load i32, i32* %2
ret i32 %35
}

LLVM IR (-O2):
define i32 @check_gl(i8* nocapture %0) {
br label %2
2: ; preds = %10, %1
%3 = phi i8* [ %0, %1 ], [ %12, %10 ]
%4 = phi i32 [ 0, %1 ], [ %11, %10 ]
%5 = load i8, i8* %3
switch i8 %5, label %10 [
i8 0, label %13
i8 40, label %6
i8 41, label %8
]
6: ; preds = %2
%7 = add nsw i32 %4, 1
br label %10
8: ; preds = %2
%9 = add nsw i32 %4, -1
br label %10
10: ; preds = %2, %8, %6
%11 = phi i32 [ %7, %6 ], [ %9, %8 ], [ %4, %2 ]
%12 = getelementptr inbounds i8, i8* %3, i64 1
br label %2
13: ; preds = %2
%14 = icmp eq i32 %4, 0
%15 = zext i1 %14 to i32
ret i32 %15
}