int findLoopEnd(char *prog) {
  for (int i = 0; prog[i] != '\0'; i++) {
    if (prog[i] == '[') {
      i = findLoopEnd(prog + i + 1) + i + 1;
      continue;
    }
    if (prog[i] == ']')
      return i;
  }
  return -1;
}


x86 assembly (clang, -O0):
<findLoopEnd>:
push   %rbp
mov    %rsp,%rbp
sub    $0x20,%rsp
mov    %rdi,-0x10(%rbp)
movl   $0x0,-0x14(%rbp)
mov    -0x10(%rbp),%rax
movslq -0x14(%rbp),%rcx
movsbl (%rax,%rcx,1),%eax
cmp    $0x0,%eax
je     11a2 <findLoopEnd+0x92>
mov    -0x10(%rbp),%rax
movslq -0x14(%rbp),%rcx
movsbl (%rax,%rcx,1),%eax
cmp    $0x5b,%eax
jne    116f <findLoopEnd+0x5f>
mov    -0x10(%rbp),%rdi
movslq -0x14(%rbp),%rax
add    %rax,%rdi
add    $0x1,%rdi
call   1030 <findLoopEnd@plt>
add    -0x14(%rbp),%eax
add    $0x1,%eax
mov    %eax,-0x14(%rbp)
jmp    1194 <findLoopEnd+0x84>
mov    -0x10(%rbp),%rax
movslq -0x14(%rbp),%rcx
movsbl (%rax,%rcx,1),%eax
cmp    $0x5d,%eax
jne    118f <findLoopEnd+0x7f>
mov    -0x14(%rbp),%eax
mov    %eax,-0x4(%rbp)
jmp    11a9 <findLoopEnd+0x99>
jmp    1194 <findLoopEnd+0x84>
mov    -0x14(%rbp),%eax
add    $0x1,%eax
mov    %eax,-0x14(%rbp)
jmp    1123 <findLoopEnd+0x13>
movl   $0xffffffff,-0x4(%rbp)
mov    -0x4(%rbp),%eax
add    $0x20,%rsp
pop    %rbp
ret

x86 assembly (clang, -O2):
<findLoopEnd>:
push   %r14
push   %rbx
push   %rax
mov    %rdi,%r14
xor    %eax,%eax
jmp    1135 <findLoopEnd+0x25>
nopl   0x0(%rax,%rax,1)
lea    (%r14,%rbx,1),%rdi
add    $0x1,%rdi
call   1030 <findLoopEnd@plt>
add    %ebx,%eax
add    $0x1,%eax
add    $0x1,%eax
movslq %eax,%rbx
movzbl (%r14,%rbx,1),%ecx
cmp    $0x5b,%cl
je     1120 <findLoopEnd+0x10>
test   %cl,%cl
je     114d <findLoopEnd+0x3d>
cmp    $0x5d,%cl
jne    1132 <findLoopEnd+0x22>
jmp    1152 <findLoopEnd+0x42>
mov    $0xffffffff,%eax
add    $0x8,%rsp
pop    %rbx
pop    %r14
ret

LLVM IR (-O0):
define i32 @findLoopEnd(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 = %42, %1
%6 = load i8*, i8** %3
%7 = load i32, i32* %4
%8 = sext i32 %7 to i64
%9 = getelementptr inbounds i8, i8* %6, i64 %8
%10 = load i8, i8* %9
%11 = sext i8 %10 to i32
%12 = icmp ne i32 %11, 0
br i1 %12, label %13, label %45
13: ; preds = %5
%14 = load i8*, i8** %3
%15 = load i32, i32* %4
%16 = sext i32 %15 to i64
%17 = getelementptr inbounds i8, i8* %14, i64 %16
%18 = load i8, i8* %17
%19 = sext i8 %18 to i32
%20 = icmp eq i32 %19, 91
br i1 %20, label %21, label %31
21: ; preds = %13
%22 = load i8*, i8** %3
%23 = load i32, i32* %4
%24 = sext i32 %23 to i64
%25 = getelementptr inbounds i8, i8* %22, i64 %24
%26 = getelementptr inbounds i8, i8* %25, i64 1
%27 = call i32 @findLoopEnd(i8* %26)
%28 = load i32, i32* %4
%29 = add nsw i32 %27, %28
%30 = add nsw i32 %29, 1
store i32 %30, i32* %4
br label %42
31: ; preds = %13
%32 = load i8*, i8** %3
%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, 93
br i1 %38, label %39, label %41
39: ; preds = %31
%40 = load i32, i32* %4
store i32 %40, i32* %2
br label %46
41: ; preds = %31
br label %42
42: ; preds = %41, %21
%43 = load i32, i32* %4
%44 = add nsw i32 %43, 1
store i32 %44, i32* %4
br label %5
45: ; preds = %5
store i32 -1, i32* %2
br label %46
46: ; preds = %45, %39
%47 = load i32, i32* %2
ret i32 %47
}

LLVM IR (-O2):
define i32 @findLoopEnd(i8* nocapture %0) {
br label %2
2: ; preds = %12, %1
%3 = phi i32 [ 0, %1 ], [ %14, %12 ]
%4 = sext i32 %3 to i64
%5 = getelementptr inbounds i8, i8* %0, i64 %4
%6 = load i8, i8* %5
switch i8 %6, label %12 [
i8 0, label %15
i8 91, label %7
i8 93, label %16
]
7: ; preds = %2
%8 = getelementptr inbounds i8, i8* %5, i64 1
%9 = tail call i32 @findLoopEnd(i8* %8)
%10 = add i32 %3, 1
%11 = add i32 %10, %9
br label %12
12: ; preds = %2, %7
%13 = phi i32 [ %11, %7 ], [ %3, %2 ]
%14 = add nsw i32 %13, 1
br label %2
15: ; preds = %2
br label %16
16: ; preds = %2, %15
%17 = phi i32 [ -1, %15 ], [ %3, %2 ]
ret i32 %17
}