#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 */
typedef scalar_t__ wchar_t;

/* Variables and functions */
scalar_t__ iswctype(int, int /*<<< orphan*/);
int mbtowc(scalar_t__ *, char const *, int);
int /*<<< orphan*/ memcpy(char *, char const *, int);
int /*<<< orphan*/ wctype(char *);
int match_bracket(const char *p, int k) {
  wchar_t wc;
  int inv = 0;
  p++;
  if (*p == '^' || *p == '!') {
    inv = 1;
    p++;
  }
  if (*p == ']') {
    if (k == ']')
      return !inv;
    p++;
  } else if (*p == '-') {
    if (k == '-')
      return !inv;
    p++;
  }
  wc = p[-1];
  for (; *p != ']'; p++) {
    if (p[0] == '-' && p[1] != ']') {
      wchar_t wc2;
      int l = mbtowc(&wc2, p + 1, 4);
      if (l < 0)
        return 0;
      if (wc <= wc2 && (unsigned)k - wc <= wc2 - wc)
        return !inv;
      p += l - 1;
      continue;
    }
    if (p[0] == '[' && (p[1] == ':' || p[1] == '.' || p[1] == '=')) {
      const char *p0 = p + 2;
      int z = p[1];
      p += 3;
      while (p[-1] != z || p[0] != ']')
        p++;
      if (z == ':' && p - 1 - p0 < 16) {
        char buf[16];
        memcpy(buf, p0, p - 1 - p0);
        buf[p - 1 - p0] = 0;
        if (iswctype(k, wctype(buf)))
          return !inv;
      }
      continue;
    }
    if (*p < 128U) {
      wc = (unsigned char)*p;
    } else {
      int l = mbtowc(&wc, p, 4);
      if (l < 0)
        return 0;
      p += l - 1;
    }
    if (wc == k)
      return !inv;
  }
  return inv;
}


x86 assembly (clang, -O0):
<match_bracket>:
push   %rbp
mov    %rsp,%rbp
sub    $0x70,%rsp
mov    %rdi,-0x10(%rbp)
mov    %esi,-0x14(%rbp)
movl   $0x0,-0x24(%rbp)
mov    -0x10(%rbp),%rax
add    $0x1,%rax
mov    %rax,-0x10(%rbp)
mov    -0x10(%rbp),%rax
movsbl (%rax),%eax
cmp    $0x5e,%eax
je     1182 <match_bracket+0x42>
mov    -0x10(%rbp),%rax
movsbl (%rax),%eax
cmp    $0x21,%eax
jne    1195 <match_bracket+0x55>
movl   $0x1,-0x24(%rbp)
mov    -0x10(%rbp),%rax
add    $0x1,%rax
mov    %rax,-0x10(%rbp)
mov    -0x10(%rbp),%rax
movsbl (%rax),%eax
cmp    $0x5d,%eax
jne    11d6 <match_bracket+0x96>
cmpl   $0x5d,-0x14(%rbp)
jne    11c5 <match_bracket+0x85>
cmpl   $0x0,-0x24(%rbp)
setne  %al
xor    $0xff,%al
and    $0x1,%al
movzbl %al,%eax
mov    %eax,-0x4(%rbp)
jmp    14c2 <match_bracket+0x382>
mov    -0x10(%rbp),%rax
add    $0x1,%rax
mov    %rax,-0x10(%rbp)
jmp    1217 <match_bracket+0xd7>
mov    -0x10(%rbp),%rax
movsbl (%rax),%eax
cmp    $0x2d,%eax
jne    1212 <match_bracket+0xd2>
cmpl   $0x2d,-0x14(%rbp)
jne    1206 <match_bracket+0xc6>
cmpl   $0x0,-0x24(%rbp)
setne  %al
xor    $0xff,%al
and    $0x1,%al
movzbl %al,%eax
mov    %eax,-0x4(%rbp)
jmp    14c2 <match_bracket+0x382>
mov    -0x10(%rbp),%rax
add    $0x1,%rax
mov    %rax,-0x10(%rbp)
jmp    1217 <match_bracket+0xd7>
mov    -0x10(%rbp),%rax
movsbq -0x1(%rax),%rax
mov    %rax,-0x20(%rbp)
mov    -0x10(%rbp),%rax
movsbl (%rax),%eax
cmp    $0x5d,%eax
je     14bc <match_bracket+0x37c>
mov    -0x10(%rbp),%rax
movsbl (%rax),%eax
cmp    $0x2d,%eax
jne    12d9 <match_bracket+0x199>
mov    -0x10(%rbp),%rax
movsbl 0x1(%rax),%eax
cmp    $0x5d,%eax
je     12d9 <match_bracket+0x199>
mov    -0x10(%rbp),%rsi
add    $0x1,%rsi
lea    -0x30(%rbp),%rdi
mov    $0x4,%edx
call   1050 <mbtowc@plt>
mov    %eax,-0x34(%rbp)
cmpl   $0x0,-0x34(%rbp)
jge    1284 <match_bracket+0x144>
movl   $0x0,-0x4(%rbp)
jmp    14c2 <match_bracket+0x382>
mov    -0x20(%rbp),%rax
cmp    -0x30(%rbp),%rax
jg     12c0 <match_bracket+0x180>
mov    -0x14(%rbp),%eax
sub    -0x20(%rbp),%rax
mov    -0x30(%rbp),%rcx
sub    -0x20(%rbp),%rcx
cmp    %rcx,%rax
jg     12c0 <match_bracket+0x180>
cmpl   $0x0,-0x24(%rbp)
setne  %al
xor    $0xff,%al
and    $0x1,%al
movzbl %al,%eax
mov    %eax,-0x4(%rbp)
jmp    14c2 <match_bracket+0x382>
mov    -0x34(%rbp),%ecx
sub    $0x1,%ecx
mov    -0x10(%rbp),%rax
movslq %ecx,%rcx
add    %rcx,%rax
mov    %rax,-0x10(%rbp)
jmp    14ab <match_bracket+0x36b>
mov    -0x10(%rbp),%rax
movsbl (%rax),%eax
cmp    $0x5b,%eax
jne    141e <match_bracket+0x2de>
mov    -0x10(%rbp),%rax
movsbl 0x1(%rax),%eax
cmp    $0x3a,%eax
je     131c <match_bracket+0x1dc>
mov    -0x10(%rbp),%rax
movsbl 0x1(%rax),%eax
cmp    $0x2e,%eax
je     131c <match_bracket+0x1dc>
mov    -0x10(%rbp),%rax
movsbl 0x1(%rax),%eax
cmp    $0x3d,%eax
jne    141e <match_bracket+0x2de>
mov    -0x10(%rbp),%rax
add    $0x2,%rax
mov    %rax,-0x40(%rbp)
mov    -0x10(%rbp),%rax
movsbl 0x1(%rax),%eax
mov    %eax,-0x44(%rbp)
mov    -0x10(%rbp),%rax
add    $0x3,%rax
mov    %rax,-0x10(%rbp)
mov    -0x10(%rbp),%rax
movsbl -0x1(%rax),%ecx
mov    $0x1,%al
cmp    -0x44(%rbp),%ecx
mov    %al,-0x65(%rbp)
jne    1365 <match_bracket+0x225>
mov    -0x10(%rbp),%rax
movsbl (%rax),%eax
cmp    $0x5d,%eax
setne  %al
mov    %al,-0x65(%rbp)
mov    -0x65(%rbp),%al
test   $0x1,%al
jne    1375 <match_bracket+0x235>
jmp    1386 <match_bracket+0x246>
mov    -0x10(%rbp),%rax
add    $0x1,%rax
mov    %rax,-0x10(%rbp)
jmp    133f <match_bracket+0x1ff>
cmpl   $0x3a,-0x44(%rbp)
jne    1419 <match_bracket+0x2d9>
mov    -0x10(%rbp),%rax
add    $0xffffffffffffffff,%rax
mov    -0x40(%rbp),%rcx
sub    %rcx,%rax
cmp    $0x10,%rax
jge    1419 <match_bracket+0x2d9>
lea    -0x60(%rbp),%rdi
mov    -0x40(%rbp),%rsi
mov    -0x10(%rbp),%rax
add    $0xffffffffffffffff,%rax
mov    -0x40(%rbp),%rcx
sub    %rcx,%rax
mov    %eax,%edx
call   1060 <memcpy@plt>
mov    -0x10(%rbp),%rax
add    $0xffffffffffffffff,%rax
mov    -0x40(%rbp),%rcx
sub    %rcx,%rax
movb   $0x0,-0x60(%rbp,%rax,1)
mov    -0x14(%rbp),%eax
mov    %eax,-0x6c(%rbp)
lea    -0x60(%rbp),%rdi
call   1040 <wctype@plt>
mov    -0x6c(%rbp),%edi
mov    %eax,%esi
call   1030 <iswctype@plt>
cmp    $0x0,%rax
je     1414 <match_bracket+0x2d4>
cmpl   $0x0,-0x24(%rbp)
setne  %al
xor    $0xff,%al
and    $0x1,%al
movzbl %al,%eax
mov    %eax,-0x4(%rbp)
jmp    14c2 <match_bracket+0x382>
jmp    1419 <match_bracket+0x2d9>
jmp    14ab <match_bracket+0x36b>
mov    -0x10(%rbp),%rax
movsbl (%rax),%eax
cmp    $0x80,%eax
jae    1440 <match_bracket+0x300>
mov    -0x10(%rbp),%rax
movzbl (%rax),%eax
mov    %rax,-0x20(%rbp)
jmp    147f <match_bracket+0x33f>
mov    -0x10(%rbp),%rsi
lea    -0x20(%rbp),%rdi
mov    $0x4,%edx
call   1050 <mbtowc@plt>
mov    %eax,-0x64(%rbp)
cmpl   $0x0,-0x64(%rbp)
jge    146b <match_bracket+0x32b>
movl   $0x0,-0x4(%rbp)
jmp    14c2 <match_bracket+0x382>
mov    -0x64(%rbp),%ecx
sub    $0x1,%ecx
mov    -0x10(%rbp),%rax
movslq %ecx,%rcx
add    %rcx,%rax
mov    %rax,-0x10(%rbp)
mov    -0x20(%rbp),%rax
movslq -0x14(%rbp),%rcx
cmp    %rcx,%rax
jne    14a6 <match_bracket+0x366>
cmpl   $0x0,-0x24(%rbp)
setne  %al
xor    $0xff,%al
and    $0x1,%al
movzbl %al,%eax
mov    %eax,-0x4(%rbp)
jmp    14c2 <match_bracket+0x382>
jmp    14ab <match_bracket+0x36b>
mov    -0x10(%rbp),%rax
add    $0x1,%rax
mov    %rax,-0x10(%rbp)
jmp    1224 <match_bracket+0xe4>
mov    -0x24(%rbp),%eax
mov    %eax,-0x4(%rbp)
mov    -0x4(%rbp),%eax
add    $0x70,%rsp
pop    %rbp
ret

x86 assembly (clang, -O2):
<match_bracket>:
push   %rbp
push   %r15
push   %r14
push   %r13
push   %r12
push   %rbx
sub    $0x38,%rsp
mov    %esi,%r13d
mov    %rdi,%r15
mov    0x1(%rdi),%cl
cmp    $0x5e,%cl
je     1161 <match_bracket+0x21>
cmp    $0x21,%cl
jne    1185 <match_bracket+0x45>
mov    0x2(%r15),%cl
add    $0x2,%r15
mov    $0x1,%edx
xor    %eax,%eax
cmp    $0x2d,%cl
je     1195 <match_bracket+0x55>
cmp    $0x5d,%cl
jne    11ac <match_bracket+0x6c>
cmp    $0x5d,%r13d
jne    119f <match_bracket+0x5f>
jmp    132e <match_bracket+0x1ee>
add    $0x1,%r15
xor    %edx,%edx
mov    $0x1,%eax
cmp    $0x2d,%cl
jne    1175 <match_bracket+0x35>
cmp    $0x2d,%r13d
je     132e <match_bracket+0x1ee>
mov    %edx,0x4(%rsp)
mov    %eax,(%rsp)
add    $0x1,%r15
jmp    11b3 <match_bracket+0x73>
mov    %edx,0x4(%rsp)
mov    %eax,(%rsp)
movsbq -0x1(%r15),%rax
mov    %rax,0x8(%rsp)
mov    %r13d,%eax
mov    %rax,0x30(%rsp)
movslq %r13d,%r14
movabs $0x2400400000000000,%r12
mov    %r14,0x28(%rsp)
jmp    11f7 <match_bracket+0xb7>
cltq
lea    (%rax,%r15,1),%rbx
add    $0xffffffffffffffff,%rbx
cs nopw 0x0(%rax,%rax,1)
nopl   (%rax)
add    $0x1,%rbx
mov    %rbx,%r15
movzbl (%r15),%eax
cmp    $0x2d,%rax
je     1240 <match_bracket+0x100>
cmp    $0x5b,%al
je     1260 <match_bracket+0x120>
cmp    $0x5d,%al
je     1326 <match_bracket+0x1e6>
test   %al,%al
jns    124b <match_bracket+0x10b>
lea    0x8(%rsp),%rdi
mov    %r15,%rsi
mov    $0x4,%edx
call   1050 <mbtowc@plt>
test   %eax,%eax
js     132c <match_bracket+0x1ec>
cltq
add    %rax,%r15
add    $0xffffffffffffffff,%r15
mov    0x8(%rsp),%rax
jmp    1250 <match_bracket+0x110>
nopl   0x0(%rax,%rax,1)
cmpb   $0x5d,0x1(%r15)
jne    12ef <match_bracket+0x1af>
mov    %rax,0x8(%rsp)
mov    %r15,%rbx
cmp    %r14,%rax
jne    11f0 <match_bracket+0xb0>
jmp    1321 <match_bracket+0x1e1>
nopl   (%rax)
movzbl 0x1(%r15),%ecx
cmp    $0x3d,%rcx
ja     124b <match_bracket+0x10b>
bt     %rcx,%r12
jae    124b <match_bracket+0x10b>
lea    0x3(%r15),%rbx
xor    %ebp,%ebp
jmp    1284 <match_bracket+0x144>
nopl   0x0(%rax)
add    $0x1,%rbp
cmp    %cl,-0x1(%rbx,%rbp,1)
jne    1280 <match_bracket+0x140>
cmpb   $0x5d,(%rbx,%rbp,1)
jne    1280 <match_bracket+0x140>
add    %rbp,%rbx
cmp    $0x3a,%cl
jne    11f0 <match_bracket+0xb0>
cmp    $0xf,%rbp
jg     11f0 <match_bracket+0xb0>
add    $0x2,%r15
mov    %r13d,%r14d
mov    %r12,%r13
lea    0x10(%rsp),%r12
mov    %r12,%rdi
mov    %r15,%rsi
mov    %ebp,%edx
call   1060 <memcpy@plt>
movb   $0x0,0x10(%rsp,%rbp,1)
mov    %r12,%rdi
mov    %r13,%r12
mov    %r14d,%r13d
mov    0x28(%rsp),%r14
call   1040 <wctype@plt>
mov    %r13d,%edi
mov    %eax,%esi
call   1030 <iswctype@plt>
test   %rax,%rax
je     11f0 <match_bracket+0xb0>
jmp    1321 <match_bracket+0x1e1>
lea    0x1(%r15),%rsi
lea    0x10(%rsp),%rdi
mov    $0x4,%edx
call   1050 <mbtowc@plt>
test   %eax,%eax
js     132c <match_bracket+0x1ec>
mov    0x10(%rsp),%rcx
cmp    0x8(%rsp),%rcx
jl     11d9 <match_bracket+0x99>
cmp    0x30(%rsp),%rcx
jl     11d9 <match_bracket+0x99>
mov    (%rsp),%eax
jmp    132e <match_bracket+0x1ee>
mov    0x4(%rsp),%eax
jmp    132e <match_bracket+0x1ee>
xor    %eax,%eax
add    $0x38,%rsp
pop    %rbx
pop    %r12
pop    %r13
pop    %r14
pop    %r15
pop    %rbp
ret

LLVM IR (-O0):
define i32 @match_bracket(i8* %0, i32 %1) {
%3 = alloca i32
%4 = alloca i8*
%5 = alloca i32
%6 = alloca i64
%7 = alloca i32
%8 = alloca i64
%9 = alloca i32
%10 = alloca i8*
%11 = alloca i32
%12 = alloca [16 x i8]
%13 = alloca i32
store i8* %0, i8** %4
store i32 %1, i32* %5
store i32 0, i32* %7
%14 = load i8*, i8** %4
%15 = getelementptr inbounds i8, i8* %14, i32 1
store i8* %15, i8** %4
%16 = load i8*, i8** %4
%17 = load i8, i8* %16
%18 = sext i8 %17 to i32
%19 = icmp eq i32 %18, 94
br i1 %19, label %25, label %20
20: ; preds = %2
%21 = load i8*, i8** %4
%22 = load i8, i8* %21
%23 = sext i8 %22 to i32
%24 = icmp eq i32 %23, 33
br i1 %24, label %25, label %28
25: ; preds = %20, %2
store i32 1, i32* %7
%26 = load i8*, i8** %4
%27 = getelementptr inbounds i8, i8* %26, i32 1
store i8* %27, i8** %4
br label %28
28: ; preds = %25, %20
%29 = load i8*, i8** %4
%30 = load i8, i8* %29
%31 = sext i8 %30 to i32
%32 = icmp eq i32 %31, 93
br i1 %32, label %33, label %44
33: ; preds = %28
%34 = load i32, i32* %5
%35 = icmp eq i32 %34, 93
br i1 %35, label %36, label %41
36: ; preds = %33
%37 = load i32, i32* %7
%38 = icmp ne i32 %37, 0
%39 = xor i1 %38, true
%40 = zext i1 %39 to i32
store i32 %40, i32* %3
br label %243
41: ; preds = %33
%42 = load i8*, i8** %4
%43 = getelementptr inbounds i8, i8* %42, i32 1
store i8* %43, i8** %4
br label %61
44: ; preds = %28
%45 = load i8*, i8** %4
%46 = load i8, i8* %45
%47 = sext i8 %46 to i32
%48 = icmp eq i32 %47, 45
br i1 %48, label %49, label %60
49: ; preds = %44
%50 = load i32, i32* %5
%51 = icmp eq i32 %50, 45
br i1 %51, label %52, label %57
52: ; preds = %49
%53 = load i32, i32* %7
%54 = icmp ne i32 %53, 0
%55 = xor i1 %54, true
%56 = zext i1 %55 to i32
store i32 %56, i32* %3
br label %243
57: ; preds = %49
%58 = load i8*, i8** %4
%59 = getelementptr inbounds i8, i8* %58, i32 1
store i8* %59, i8** %4
br label %60
60: ; preds = %57, %44
br label %61
61: ; preds = %60, %41
%62 = load i8*, i8** %4
%63 = getelementptr inbounds i8, i8* %62, i64 -1
%64 = load i8, i8* %63
%65 = sext i8 %64 to i64
store i64 %65, i64* %6
br label %66
66: ; preds = %238, %61
%67 = load i8*, i8** %4
%68 = load i8, i8* %67
%69 = sext i8 %68 to i32
%70 = icmp ne i32 %69, 93
br i1 %70, label %71, label %241
71: ; preds = %66
%72 = load i8*, i8** %4
%73 = getelementptr inbounds i8, i8* %72, i64 0
%74 = load i8, i8* %73
%75 = sext i8 %74 to i32
%76 = icmp eq i32 %75, 45
br i1 %76, label %77, label %114
77: ; preds = %71
%78 = load i8*, i8** %4
%79 = getelementptr inbounds i8, i8* %78, i64 1
%80 = load i8, i8* %79
%81 = sext i8 %80 to i32
%82 = icmp ne i32 %81, 93
br i1 %82, label %83, label %114
83: ; preds = %77
%84 = load i8*, i8** %4
%85 = getelementptr inbounds i8, i8* %84, i64 1
%86 = call i32 @mbtowc(i64* %8, i8* %85, i32 4)
store i32 %86, i32* %9
%87 = load i32, i32* %9
%88 = icmp slt i32 %87, 0
br i1 %88, label %89, label %90
89: ; preds = %83
store i32 0, i32* %3
br label %243
90: ; preds = %83
%91 = load i64, i64* %6
%92 = load i64, i64* %8
%93 = icmp sle i64 %91, %92
br i1 %93, label %94, label %108
94: ; preds = %90
%95 = load i32, i32* %5
%96 = zext i32 %95 to i64
%97 = load i64, i64* %6
%98 = sub nsw i64 %96, %97
%99 = load i64, i64* %8
%100 = load i64, i64* %6
%101 = sub nsw i64 %99, %100
%102 = icmp sle i64 %98, %101
br i1 %102, label %103, label %108
103: ; preds = %94
%104 = load i32, i32* %7
%105 = icmp ne i32 %104, 0
%106 = xor i1 %105, true
%107 = zext i1 %106 to i32
store i32 %107, i32* %3
br label %243
108: ; preds = %94, %90
%109 = load i32, i32* %9
%110 = sub nsw i32 %109, 1
%111 = load i8*, i8** %4
%112 = sext i32 %110 to i64
%113 = getelementptr inbounds i8, i8* %111, i64 %112
store i8* %113, i8** %4
br label %238
114: ; preds = %77, %71
%115 = load i8*, i8** %4
%116 = getelementptr inbounds i8, i8* %115, i64 0
%117 = load i8, i8* %116
%118 = sext i8 %117 to i32
%119 = icmp eq i32 %118, 91
br i1 %119, label %120, label %206
120: ; preds = %114
%121 = load i8*, i8** %4
%122 = getelementptr inbounds i8, i8* %121, i64 1
%123 = load i8, i8* %122
%124 = sext i8 %123 to i32
%125 = icmp eq i32 %124, 58
br i1 %125, label %138, label %126
126: ; preds = %120
%127 = load i8*, i8** %4
%128 = getelementptr inbounds i8, i8* %127, i64 1
%129 = load i8, i8* %128
%130 = sext i8 %129 to i32
%131 = icmp eq i32 %130, 46
br i1 %131, label %138, label %132
132: ; preds = %126
%133 = load i8*, i8** %4
%134 = getelementptr inbounds i8, i8* %133, i64 1
%135 = load i8, i8* %134
%136 = sext i8 %135 to i32
%137 = icmp eq i32 %136, 61
br i1 %137, label %138, label %206
138: ; preds = %132, %126, %120
%139 = load i8*, i8** %4
%140 = getelementptr inbounds i8, i8* %139, i64 2
store i8* %140, i8** %10
%141 = load i8*, i8** %4
%142 = getelementptr inbounds i8, i8* %141, i64 1
%143 = load i8, i8* %142
%144 = sext i8 %143 to i32
store i32 %144, i32* %11
%145 = load i8*, i8** %4
%146 = getelementptr inbounds i8, i8* %145, i64 3
store i8* %146, i8** %4
br label %147
147: ; preds = %162, %138
%148 = load i8*, i8** %4
%149 = getelementptr inbounds i8, i8* %148, i64 -1
%150 = load i8, i8* %149
%151 = sext i8 %150 to i32
%152 = load i32, i32* %11
%153 = icmp ne i32 %151, %152
br i1 %153, label %160, label %154
154: ; preds = %147
%155 = load i8*, i8** %4
%156 = getelementptr inbounds i8, i8* %155, i64 0
%157 = load i8, i8* %156
%158 = sext i8 %157 to i32
%159 = icmp ne i32 %158, 93
br label %160
160: ; preds = %154, %147
%161 = phi i1 [ true, %147 ], [ %159, %154 ]
br i1 %161, label %162, label %165
162: ; preds = %160
%163 = load i8*, i8** %4
%164 = getelementptr inbounds i8, i8* %163, i32 1
store i8* %164, i8** %4
br label %147
165: ; preds = %160
%166 = load i32, i32* %11
%167 = icmp eq i32 %166, 58
br i1 %167, label %168, label %205
168: ; preds = %165
%169 = load i8*, i8** %4
%170 = getelementptr inbounds i8, i8* %169, i64 -1
%171 = load i8*, i8** %10
%172 = ptrtoint i8* %170 to i64
%173 = ptrtoint i8* %171 to i64
%174 = sub i64 %172, %173
%175 = icmp slt i64 %174, 16
br i1 %175, label %176, label %205
176: ; preds = %168
%177 = getelementptr inbounds [16 x i8], [16 x i8]* %12, i64 0, i64 0
%178 = load i8*, i8** %10
%179 = load i8*, i8** %4
%180 = getelementptr inbounds i8, i8* %179, i64 -1
%181 = load i8*, i8** %10
%182 = ptrtoint i8* %180 to i64
%183 = ptrtoint i8* %181 to i64
%184 = sub i64 %182, %183
%185 = trunc i64 %184 to i32
%186 = call i32 @memcpy(i8* %177, i8* %178, i32 %185)
%187 = load i8*, i8** %4
%188 = getelementptr inbounds i8, i8* %187, i64 -1
%189 = load i8*, i8** %10
%190 = ptrtoint i8* %188 to i64
%191 = ptrtoint i8* %189 to i64
%192 = sub i64 %190, %191
%193 = getelementptr inbounds [16 x i8], [16 x i8]* %12, i64 0, i64 %192
store i8 0, i8* %193
%194 = load i32, i32* %5
%195 = getelementptr inbounds [16 x i8], [16 x i8]* %12, i64 0, i64 0
%196 = call i32 @wctype(i8* %195)
%197 = call i64 @iswctype(i32 %194, i32 %196)
%198 = icmp ne i64 %197, 0
br i1 %198, label %199, label %204
199: ; preds = %176
%200 = load i32, i32* %7
%201 = icmp ne i32 %200, 0
%202 = xor i1 %201, true
%203 = zext i1 %202 to i32
store i32 %203, i32* %3
br label %243
204: ; preds = %176
br label %205
205: ; preds = %204, %168, %165
br label %238
206: ; preds = %132, %114
%207 = load i8*, i8** %4
%208 = load i8, i8* %207
%209 = sext i8 %208 to i32
%210 = icmp ult i32 %209, 128
br i1 %210, label %211, label %215
211: ; preds = %206
%212 = load i8*, i8** %4
%213 = load i8, i8* %212
%214 = zext i8 %213 to i64
store i64 %214, i64* %6
br label %227
215: ; preds = %206
%216 = load i8*, i8** %4
%217 = call i32 @mbtowc(i64* %6, i8* %216, i32 4)
store i32 %217, i32* %13
%218 = load i32, i32* %13
%219 = icmp slt i32 %218, 0
br i1 %219, label %220, label %221
220: ; preds = %215
store i32 0, i32* %3
br label %243
221: ; preds = %215
%222 = load i32, i32* %13
%223 = sub nsw i32 %222, 1
%224 = load i8*, i8** %4
%225 = sext i32 %223 to i64
%226 = getelementptr inbounds i8, i8* %224, i64 %225
store i8* %226, i8** %4
br label %227
227: ; preds = %221, %211
%228 = load i64, i64* %6
%229 = load i32, i32* %5
%230 = sext i32 %229 to i64
%231 = icmp eq i64 %228, %230
br i1 %231, label %232, label %237
232: ; preds = %227
%233 = load i32, i32* %7
%234 = icmp ne i32 %233, 0
%235 = xor i1 %234, true
%236 = zext i1 %235 to i32
store i32 %236, i32* %3
br label %243
237: ; preds = %227
br label %238
238: ; preds = %237, %205, %108
%239 = load i8*, i8** %4
%240 = getelementptr inbounds i8, i8* %239, i32 1
store i8* %240, i8** %4
br label %66
241: ; preds = %66
%242 = load i32, i32* %7
store i32 %242, i32* %3
br label %243
243: ; preds = %241, %232, %220, %199, %103, %89, %52, %36
%244 = load i32, i32* %3
ret i32 %244
}

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