__attribute__((pure)) const char *skip_format(const char *p) {
  unsigned stack = 0;
  while (*p != '\0') {
    if (*p == '[')
      stack++;
    else if (*p == '#' && p[1] != '\0')
      ++p;
    else if (stack > 0) {
      if (*p == ']')
        --stack;
    } else if (*p == '&' || *p == '|' || *p == ']')
      break;
    ++p;
  }
  return p;
}


x86 assembly (clang, -O0):
<skip_format>:
push   %rbp
mov    %rsp,%rbp
mov    %rdi,-0x8(%rbp)
movl   $0x0,-0xc(%rbp)
mov    -0x8(%rbp),%rax
movsbl (%rax),%eax
cmp    $0x0,%eax
je     11ec <skip_format+0xec>
mov    -0x8(%rbp),%rax
movsbl (%rax),%eax
cmp    $0x5b,%eax
jne    113d <skip_format+0x3d>
mov    -0xc(%rbp),%eax
add    $0x1,%eax
mov    %eax,-0xc(%rbp)
jmp    11db <skip_format+0xdb>
mov    -0x8(%rbp),%rax
movsbl (%rax),%eax
cmp    $0x23,%eax
jne    116f <skip_format+0x6f>
mov    -0x8(%rbp),%rax
movsbl 0x1(%rax),%eax
cmp    $0x0,%eax
je     116f <skip_format+0x6f>
mov    -0x8(%rbp),%rax
add    $0x1,%rax
mov    %rax,-0x8(%rbp)
jmp    11d6 <skip_format+0xd6>
cmpl   $0x0,-0xc(%rbp)
jbe    1197 <skip_format+0x97>
mov    -0x8(%rbp),%rax
movsbl (%rax),%eax
cmp    $0x5d,%eax
jne    1192 <skip_format+0x92>
mov    -0xc(%rbp),%eax
add    $0xffffffff,%eax
mov    %eax,-0xc(%rbp)
jmp    11d1 <skip_format+0xd1>
mov    -0x8(%rbp),%rax
movsbl (%rax),%eax
cmp    $0x26,%eax
je     11c7 <skip_format+0xc7>
mov    -0x8(%rbp),%rax
movsbl (%rax),%eax
cmp    $0x7c,%eax
je     11c7 <skip_format+0xc7>
mov    -0x8(%rbp),%rax
movsbl (%rax),%eax
cmp    $0x5d,%eax
jne    11cc <skip_format+0xcc>
jmp    11ec <skip_format+0xec>
jmp    11d1 <skip_format+0xd1>
jmp    11d6 <skip_format+0xd6>
jmp    11db <skip_format+0xdb>
mov    -0x8(%rbp),%rax
add    $0x1,%rax
mov    %rax,-0x8(%rbp)
jmp    110f <skip_format+0xf>
mov    -0x8(%rbp),%rax
pop    %rbp
ret

x86 assembly (clang, -O2):
<skip_format>:
mov    %rdi,%rax
xor    %ecx,%ecx
jmp    1117 <skip_format+0x17>
nopw   0x0(%rax,%rax,1)
add    $0x1,%ecx
add    $0x1,%rax
movzbl (%rax),%edx
cmp    $0x23,%dl
je     1130 <skip_format+0x30>
cmp    $0x5b,%dl
je     1110 <skip_format+0x10>
test   %dl,%dl
jne    1140 <skip_format+0x40>
jmp    116c <skip_format+0x6c>
nopw   0x0(%rax,%rax,1)
cmpb   $0x0,0x1(%rax)
je     1140 <skip_format+0x40>
add    $0x1,%rax
add    $0x1,%rax
jmp    1117 <skip_format+0x17>
test   %ecx,%ecx
je     1155 <skip_format+0x55>
xor    %esi,%esi
cmp    $0x5d,%dl
sete   %sil
sub    %esi,%ecx
add    $0x1,%rax
jmp    1117 <skip_format+0x17>
cmp    $0x26,%dl
je     116c <skip_format+0x6c>
cmp    $0x5d,%dl
je     116c <skip_format+0x6c>
xor    %ecx,%ecx
cmp    $0x7c,%dl
je     116c <skip_format+0x6c>
add    $0x1,%rax
jmp    1117 <skip_format+0x17>
ret

LLVM IR (-O0):
define i8* @skip_format(i8* %0) {
%2 = alloca i8*
%3 = alloca i32
store i8* %0, i8** %2
store i32 0, i32* %3
br label %4
4: ; preds = %62, %1
%5 = load i8*, i8** %2
%6 = load i8, i8* %5
%7 = sext i8 %6 to i32
%8 = icmp ne i32 %7, 0
br i1 %8, label %9, label %65
9: ; preds = %4
%10 = load i8*, i8** %2
%11 = load i8, i8* %10
%12 = sext i8 %11 to i32
%13 = icmp eq i32 %12, 91
br i1 %13, label %14, label %17
14: ; preds = %9
%15 = load i32, i32* %3
%16 = add i32 %15, 1
store i32 %16, i32* %3
br label %62
17: ; preds = %9
%18 = load i8*, i8** %2
%19 = load i8, i8* %18
%20 = sext i8 %19 to i32
%21 = icmp eq i32 %20, 35
br i1 %21, label %22, label %31
22: ; preds = %17
%23 = load i8*, i8** %2
%24 = getelementptr inbounds i8, i8* %23, i64 1
%25 = load i8, i8* %24
%26 = sext i8 %25 to i32
%27 = icmp ne i32 %26, 0
br i1 %27, label %28, label %31
28: ; preds = %22
%29 = load i8*, i8** %2
%30 = getelementptr inbounds i8, i8* %29, i32 1
store i8* %30, i8** %2
br label %61
31: ; preds = %22, %17
%32 = load i32, i32* %3
%33 = icmp ugt i32 %32, 0
br i1 %33, label %34, label %43
34: ; preds = %31
%35 = load i8*, i8** %2
%36 = load i8, i8* %35
%37 = sext i8 %36 to i32
%38 = icmp eq i32 %37, 93
br i1 %38, label %39, label %42
39: ; preds = %34
%40 = load i32, i32* %3
%41 = add i32 %40, -1
store i32 %41, i32* %3
br label %42
42: ; preds = %39, %34
br label %60
43: ; preds = %31
%44 = load i8*, i8** %2
%45 = load i8, i8* %44
%46 = sext i8 %45 to i32
%47 = icmp eq i32 %46, 38
br i1 %47, label %58, label %48
48: ; preds = %43
%49 = load i8*, i8** %2
%50 = load i8, i8* %49
%51 = sext i8 %50 to i32
%52 = icmp eq i32 %51, 124
br i1 %52, label %58, label %53
53: ; preds = %48
%54 = load i8*, i8** %2
%55 = load i8, i8* %54
%56 = sext i8 %55 to i32
%57 = icmp eq i32 %56, 93
br i1 %57, label %58, label %59
58: ; preds = %53, %48, %43
br label %65
59: ; preds = %53
br label %60
60: ; preds = %59, %42
br label %61
61: ; preds = %60, %28
br label %62
62: ; preds = %61, %14
%63 = load i8*, i8** %2
%64 = getelementptr inbounds i8, i8* %63, i32 1
store i8* %64, i8** %2
br label %4
65: ; preds = %58, %4
%66 = load i8*, i8** %2
ret i8* %66
}

LLVM IR (-O2):
define i8* @skip_format(i8* %0) {
br label %2
2: ; preds = %19, %1
%3 = phi i8* [ %0, %1 ], [ %22, %19 ]
%4 = phi i32 [ 0, %1 ], [ %21, %19 ]
%5 = load i8, i8* %3
switch i8 %5, label %12 [
i8 0, label %23
i8 91, label %6
i8 35, label %8
]
6: ; preds = %2
%7 = add i32 %4, 1
br label %19
8: ; preds = %2
%9 = getelementptr inbounds i8, i8* %3, i64 1
%10 = load i8, i8* %9
%11 = icmp eq i8 %10, 0
br i1 %11, label %12, label %19
12: ; preds = %2, %8
%13 = icmp eq i32 %4, 0
br i1 %13, label %18, label %14
14: ; preds = %12
%15 = icmp eq i8 %5, 93
%16 = sext i1 %15 to i32
%17 = add i32 %4, %16
br label %19
18: ; preds = %12
switch i8 %5, label %19 [
i8 38, label %23
i8 124, label %23
i8 93, label %23
]
19: ; preds = %8, %14, %18, %6
%20 = phi i8* [ %3, %6 ], [ %3, %14 ], [ %3, %18 ], [ %9, %8 ]
%21 = phi i32 [ %7, %6 ], [ %17, %14 ], [ 0, %18 ], [ %4, %8 ]
%22 = getelementptr inbounds i8, i8* %20, i64 1
br label %2
23: ; preds = %18, %18, %18, %2
ret i8* %3
}