char *findMatchingChar(char *p) {
  char match = '\'';
  if (*p == '"')
    match = '"';
  else if (*p == '(')
    match = ')';
  else if (*p != '`')
    return p;
  for (p++; *p != '\0' && *p != match; p++) {
    if (*p == '\\' && p[1] != '\0') {
      p++;
    } else if (*p == '`' || *p == '"' || *p == '(') {
      if (!*(p = findMatchingChar(p)))
        break;
    }
  }
  return p;
}


x86 assembly (clang, -O0):
<findMatchingChar>:
push   %rbp
mov    %rsp,%rbp
sub    $0x20,%rsp
mov    %rdi,-0x10(%rbp)
movb   $0x27,-0x11(%rbp)
mov    -0x10(%rbp),%rax
movsbl (%rax),%eax
cmp    $0x22,%eax
jne    1139 <findMatchingChar+0x29>
movb   $0x22,-0x11(%rbp)
jmp    1179 <findMatchingChar+0x69>
mov    -0x10(%rbp),%rax
movsbl (%rax),%eax
cmp    $0x28,%eax
jne    1152 <findMatchingChar+0x42>
movb   $0x29,-0x11(%rbp)
jmp    1174 <findMatchingChar+0x64>
mov    -0x10(%rbp),%rax
movsbl (%rax),%eax
cmp    $0x60,%eax
je     116f <findMatchingChar+0x5f>
mov    -0x10(%rbp),%rax
mov    %rax,-0x8(%rbp)
jmp    1262 <findMatchingChar+0x152>
jmp    1174 <findMatchingChar+0x64>
jmp    1179 <findMatchingChar+0x69>
mov    -0x10(%rbp),%rax
add    $0x1,%rax
mov    %rax,-0x10(%rbp)
mov    -0x10(%rbp),%rax
movsbl (%rax),%ecx
xor    %eax,%eax
cmp    $0x0,%ecx
mov    %al,-0x12(%rbp)
je     11ad <findMatchingChar+0x9d>
mov    -0x10(%rbp),%rax
movsbl (%rax),%eax
movsbl -0x11(%rbp),%ecx
cmp    %ecx,%eax
setne  %al
mov    %al,-0x12(%rbp)
mov    -0x12(%rbp),%al
test   $0x1,%al
jne    11bd <findMatchingChar+0xad>
jmp    125a <findMatchingChar+0x14a>
mov    -0x10(%rbp),%rax
movsbl (%rax),%eax
cmp    $0x5c,%eax
jne    11ef <findMatchingChar+0xdf>
mov    -0x10(%rbp),%rax
movsbl 0x1(%rax),%eax
cmp    $0x0,%eax
je     11ef <findMatchingChar+0xdf>
mov    -0x10(%rbp),%rax
add    $0x1,%rax
mov    %rax,-0x10(%rbp)
jmp    1244 <findMatchingChar+0x134>
mov    -0x10(%rbp),%rax
movsbl (%rax),%eax
cmp    $0x60,%eax
je     121f <findMatchingChar+0x10f>
mov    -0x10(%rbp),%rax
movsbl (%rax),%eax
cmp    $0x22,%eax
je     121f <findMatchingChar+0x10f>
mov    -0x10(%rbp),%rax
movsbl (%rax),%eax
cmp    $0x28,%eax
jne    123f <findMatchingChar+0x12f>
mov    -0x10(%rbp),%rdi
call   1030 <findMatchingChar@plt>
mov    %rax,-0x10(%rbp)
cmpb   $0x0,(%rax)
jne    123a <findMatchingChar+0x12a>
jmp    125a <findMatchingChar+0x14a>
jmp    123f <findMatchingChar+0x12f>
jmp    1244 <findMatchingChar+0x134>
jmp    1249 <findMatchingChar+0x139>
mov    -0x10(%rbp),%rax
add    $0x1,%rax
mov    %rax,-0x10(%rbp)
jmp    1185 <findMatchingChar+0x75>
mov    -0x10(%rbp),%rax
mov    %rax,-0x8(%rbp)
mov    -0x8(%rbp),%rax
add    $0x20,%rsp
pop    %rbp
ret

x86 assembly (clang, -O2):
<findMatchingChar>:
push   %rbx
mov    %rdi,%rax
mov    (%rdi),%cl
cmp    $0x22,%cl
je     112c <findMatchingChar+0x1c>
cmp    $0x60,%cl
je     1133 <findMatchingChar+0x23>
cmp    $0x28,%cl
jne    119d <findMatchingChar+0x8d>
mov    $0x29,%ebx
jmp    114d <findMatchingChar+0x3d>
mov    $0x22,%ebx
jmp    114d <findMatchingChar+0x3d>
mov    $0x27,%ebx
jmp    114d <findMatchingChar+0x3d>
nopw   0x0(%rax,%rax,1)
call   1030 <findMatchingChar@plt>
cmpb   $0x0,(%rax)
mov    %rax,%rdi
je     11a0 <findMatchingChar+0x90>
lea    0x1(%rax),%rdi
movsbl 0x1(%rax),%ecx
test   %ecx,%ecx
je     11a0 <findMatchingChar+0x90>
cmp    %ecx,%ebx
je     11a0 <findMatchingChar+0x90>
cmp    $0x5b,%cl
jg     1180 <findMatchingChar+0x70>
cmp    $0x22,%cl
je     1140 <findMatchingChar+0x30>
cmp    $0x28,%cl
je     1140 <findMatchingChar+0x30>
mov    %rdi,%rax
jmp    114d <findMatchingChar+0x3d>
cs nopw 0x0(%rax,%rax,1)
nopl   0x0(%rax,%rax,1)
cmp    $0x60,%cl
je     1140 <findMatchingChar+0x30>
cmp    $0x5c,%cl
jne    1198 <findMatchingChar+0x88>
cmpb   $0x0,0x2(%rax)
lea    0x2(%rax),%rax
cmove  %rdi,%rax
jmp    114d <findMatchingChar+0x3d>
mov    %rdi,%rax
jmp    114d <findMatchingChar+0x3d>
mov    %rax,%rdi
mov    %rdi,%rax
pop    %rbx
ret

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

LLVM IR (-O2):
define i8* @findMatchingChar(i8* %0) {
%2 = load i8, i8* %0
switch i8 %2, label %34 [
i8 34, label %5
i8 40, label %3
i8 96, label %4
]
3: ; preds = %1
br label %5
4: ; preds = %1
br label %5
5: ; preds = %1, %4, %3
%6 = phi i32 [ 41, %3 ], [ 34, %1 ], [ 39, %4 ]
%7 = getelementptr inbounds i8, i8* %0, i64 1
%8 = load i8, i8* %7
%9 = icmp eq i8 %8, 0
%10 = sext i8 %8 to i32
%11 = icmp eq i32 %6, %10
%12 = or i1 %9, %11
br i1 %12, label %34, label %13
13: ; preds = %5, %26
%14 = phi i8 [ %29, %26 ], [ %8, %5 ]
%15 = phi i8* [ %28, %26 ], [ %7, %5 ]
%16 = phi i8* [ %27, %26 ], [ %0, %5 ]
switch i8 %14, label %26 [
i8 92, label %17
i8 96, label %22
i8 34, label %22
i8 40, label %22
]
17: ; preds = %13
%18 = getelementptr inbounds i8, i8* %16, i64 2
%19 = load i8, i8* %18
%20 = icmp eq i8 %19, 0
%21 = select i1 %20, i8* %15, i8* %18
br label %26
22: ; preds = %13, %13, %13
%23 = tail call i8* @findMatchingChar(i8* %15)
%24 = load i8, i8* %23
%25 = icmp eq i8 %24, 0
br i1 %25, label %34, label %26
26: ; preds = %17, %13, %22
%27 = phi i8* [ %23, %22 ], [ %21, %17 ], [ %15, %13 ]
%28 = getelementptr inbounds i8, i8* %27, i64 1
%29 = load i8, i8* %28
%30 = icmp eq i8 %29, 0
%31 = sext i8 %29 to i32
%32 = icmp eq i32 %6, %31
%33 = or i1 %30, %32
br i1 %33, label %34, label %13
34: ; preds = %26, %22, %5, %1
%35 = phi i8* [ %0, %1 ], [ %7, %5 ], [ %28, %26 ], [ %23, %22 ]
ret i8* %35
}