int ts_check(unsigned char *q, unsigned char *a) {
  int x, y;
  if (!(a[0] == q[0] && a[1] == q[1] &&
        (a[2] == 0x81 || a[2] == 0x85 || a[2] == 0x87) && a[3] == 0x80 &&
        a[4] == 0 && a[5] == 1 && a[6] == 0 && a[7] > 0))
    return -1;
  for (x = 12; a[x] != 0; x++)
    if (a[x] != q[x])
      return -1;
  for (y = x + 4; x <= y; x++)
    if (a[x] != q[x])
      return -1;
  return 0;
}


x86 assembly (clang, -O0):
<ts_check>:
push   %rbp
mov    %rsp,%rbp
mov    %rdi,-0x10(%rbp)
mov    %rsi,-0x18(%rbp)
mov    -0x18(%rbp),%rax
movzbl (%rax),%eax
mov    -0x10(%rbp),%rcx
movzbl (%rcx),%ecx
cmp    %ecx,%eax
jne    11ca <ts_check+0xca>
mov    -0x18(%rbp),%rax
movzbl 0x1(%rax),%eax
mov    -0x10(%rbp),%rcx
movzbl 0x1(%rcx),%ecx
cmp    %ecx,%eax
jne    11ca <ts_check+0xca>
mov    -0x18(%rbp),%rax
movzbl 0x2(%rax),%eax
cmp    $0x81,%eax
je     1173 <ts_check+0x73>
mov    -0x18(%rbp),%rax
movzbl 0x2(%rax),%eax
cmp    $0x85,%eax
je     1173 <ts_check+0x73>
mov    -0x18(%rbp),%rax
movzbl 0x2(%rax),%eax
cmp    $0x87,%eax
jne    11ca <ts_check+0xca>
mov    -0x18(%rbp),%rax
movzbl 0x3(%rax),%eax
cmp    $0x80,%eax
jne    11ca <ts_check+0xca>
mov    -0x18(%rbp),%rax
movzbl 0x4(%rax),%eax
cmp    $0x0,%eax
jne    11ca <ts_check+0xca>
mov    -0x18(%rbp),%rax
movzbl 0x5(%rax),%eax
cmp    $0x1,%eax
jne    11ca <ts_check+0xca>
mov    -0x18(%rbp),%rax
movzbl 0x6(%rax),%eax
cmp    $0x0,%eax
jne    11ca <ts_check+0xca>
mov    -0x18(%rbp),%rax
movzbl 0x7(%rax),%eax
cmp    $0x0,%eax
jg     11d6 <ts_check+0xd6>
movl   $0xffffffff,-0x4(%rbp)
jmp    128c <ts_check+0x18c>
movl   $0xc,-0x1c(%rbp)
mov    -0x18(%rbp),%rax
movslq -0x1c(%rbp),%rcx
movzbl (%rax,%rcx,1),%eax
cmp    $0x0,%eax
je     1231 <ts_check+0x131>
mov    -0x18(%rbp),%rax
movslq -0x1c(%rbp),%rcx
movzbl (%rax,%rcx,1),%eax
mov    -0x10(%rbp),%rcx
movslq -0x1c(%rbp),%rdx
movzbl (%rcx,%rdx,1),%ecx
cmp    %ecx,%eax
je     121e <ts_check+0x11e>
movl   $0xffffffff,-0x4(%rbp)
jmp    128c <ts_check+0x18c>
jmp    1223 <ts_check+0x123>
mov    -0x1c(%rbp),%eax
add    $0x1,%eax
mov    %eax,-0x1c(%rbp)
jmp    11dd <ts_check+0xdd>
mov    -0x1c(%rbp),%eax
add    $0x4,%eax
mov    %eax,-0x20(%rbp)
mov    -0x1c(%rbp),%eax
cmp    -0x20(%rbp),%eax
jg     1285 <ts_check+0x185>
mov    -0x18(%rbp),%rax
movslq -0x1c(%rbp),%rcx
movzbl (%rax,%rcx,1),%eax
mov    -0x10(%rbp),%rcx
movslq -0x1c(%rbp),%rdx
movzbl (%rcx,%rdx,1),%ecx
cmp    %ecx,%eax
je     1272 <ts_check+0x172>
movl   $0xffffffff,-0x4(%rbp)
jmp    128c <ts_check+0x18c>
jmp    1277 <ts_check+0x177>
mov    -0x1c(%rbp),%eax
add    $0x1,%eax
mov    %eax,-0x1c(%rbp)
jmp    123a <ts_check+0x13a>
movl   $0x0,-0x4(%rbp)
mov    -0x4(%rbp),%eax
pop    %rbp
ret

x86 assembly (clang, -O2):
<ts_check>:
mov    (%rsi),%al
cmp    (%rdi),%al
jne    113c <ts_check+0x3c>
mov    0x1(%rsi),%al
cmp    0x1(%rdi),%al
jne    113c <ts_check+0x3c>
mov    0x2(%rsi),%al
add    $0x7f,%al
cmp    $0x6,%al
ja     113c <ts_check+0x3c>
movzbl %al,%eax
mov    $0x51,%ecx
bt     %eax,%ecx
jae    113c <ts_check+0x3c>
cmpb   $0x80,0x3(%rsi)
jne    113c <ts_check+0x3c>
cmpb   $0x0,0x4(%rsi)
jne    113c <ts_check+0x3c>
cmpb   $0x1,0x5(%rsi)
jne    113c <ts_check+0x3c>
cmpb   $0x0,0x6(%rsi)
je     1142 <ts_check+0x42>
mov    $0xffffffff,%eax
ret
cmpb   $0x0,0x7(%rsi)
je     113c <ts_check+0x3c>
mov    0xc(%rsi),%cl
test   %cl,%cl
je     1168 <ts_check+0x68>
mov    $0xc,%eax
cmp    (%rdi,%rax,1),%cl
jne    113c <ts_check+0x3c>
movzbl 0x1(%rsi,%rax,1),%ecx
add    $0x1,%rax
test   %cl,%cl
jne    1154 <ts_check+0x54>
jmp    116d <ts_check+0x6d>
mov    $0xc,%eax
lea    0x4(%rax),%ecx
mov    %eax,%edx
cmp    %ecx,%eax
cmova  %eax,%ecx
add    $0x1,%ecx
movzbl (%rsi,%rdx,1),%eax
cmp    (%rdi,%rdx,1),%al
jne    113c <ts_check+0x3c>
add    $0x1,%rdx
xor    %eax,%eax
cmp    %edx,%ecx
jne    117a <ts_check+0x7a>
jmp    1141 <ts_check+0x41>

LLVM IR (-O0):
define i32 @ts_check(i8* %0, i8* %1) {
%3 = alloca i32
%4 = alloca i8*
%5 = alloca i8*
%6 = alloca i32
%7 = alloca i32
store i8* %0, i8** %4
store i8* %1, i8** %5
%8 = load i8*, i8** %5
%9 = getelementptr inbounds i8, i8* %8, i64 0
%10 = load i8, i8* %9
%11 = zext i8 %10 to i32
%12 = load i8*, i8** %4
%13 = getelementptr inbounds i8, i8* %12, i64 0
%14 = load i8, i8* %13
%15 = zext i8 %14 to i32
%16 = icmp eq i32 %11, %15
br i1 %16, label %17, label %75
17: ; preds = %2
%18 = load i8*, i8** %5
%19 = getelementptr inbounds i8, i8* %18, i64 1
%20 = load i8, i8* %19
%21 = zext i8 %20 to i32
%22 = load i8*, i8** %4
%23 = getelementptr inbounds i8, i8* %22, i64 1
%24 = load i8, i8* %23
%25 = zext i8 %24 to i32
%26 = icmp eq i32 %21, %25
br i1 %26, label %27, label %75
27: ; preds = %17
%28 = load i8*, i8** %5
%29 = getelementptr inbounds i8, i8* %28, i64 2
%30 = load i8, i8* %29
%31 = zext i8 %30 to i32
%32 = icmp eq i32 %31, 129
br i1 %32, label %45, label %33
33: ; preds = %27
%34 = load i8*, i8** %5
%35 = getelementptr inbounds i8, i8* %34, i64 2
%36 = load i8, i8* %35
%37 = zext i8 %36 to i32
%38 = icmp eq i32 %37, 133
br i1 %38, label %45, label %39
39: ; preds = %33
%40 = load i8*, i8** %5
%41 = getelementptr inbounds i8, i8* %40, i64 2
%42 = load i8, i8* %41
%43 = zext i8 %42 to i32
%44 = icmp eq i32 %43, 135
br i1 %44, label %45, label %75
45: ; preds = %39, %33, %27
%46 = load i8*, i8** %5
%47 = getelementptr inbounds i8, i8* %46, i64 3
%48 = load i8, i8* %47
%49 = zext i8 %48 to i32
%50 = icmp eq i32 %49, 128
br i1 %50, label %51, label %75
51: ; preds = %45
%52 = load i8*, i8** %5
%53 = getelementptr inbounds i8, i8* %52, i64 4
%54 = load i8, i8* %53
%55 = zext i8 %54 to i32
%56 = icmp eq i32 %55, 0
br i1 %56, label %57, label %75
57: ; preds = %51
%58 = load i8*, i8** %5
%59 = getelementptr inbounds i8, i8* %58, i64 5
%60 = load i8, i8* %59
%61 = zext i8 %60 to i32
%62 = icmp eq i32 %61, 1
br i1 %62, label %63, label %75
63: ; preds = %57
%64 = load i8*, i8** %5
%65 = getelementptr inbounds i8, i8* %64, i64 6
%66 = load i8, i8* %65
%67 = zext i8 %66 to i32
%68 = icmp eq i32 %67, 0
br i1 %68, label %69, label %75
69: ; preds = %63
%70 = load i8*, i8** %5
%71 = getelementptr inbounds i8, i8* %70, i64 7
%72 = load i8, i8* %71
%73 = zext i8 %72 to i32
%74 = icmp sgt i32 %73, 0
br i1 %74, label %76, label %75
75: ; preds = %69, %63, %57, %51, %45, %39, %17, %2
store i32 -1, i32* %3
br label %131
76: ; preds = %69
store i32 12, i32* %6
br label %77
77: ; preds = %101, %76
%78 = load i8*, i8** %5
%79 = load i32, i32* %6
%80 = sext i32 %79 to i64
%81 = getelementptr inbounds i8, i8* %78, i64 %80
%82 = load i8, i8* %81
%83 = zext i8 %82 to i32
%84 = icmp ne i32 %83, 0
br i1 %84, label %85, label %104
85: ; preds = %77
%86 = load i8*, i8** %5
%87 = load i32, i32* %6
%88 = sext i32 %87 to i64
%89 = getelementptr inbounds i8, i8* %86, i64 %88
%90 = load i8, i8* %89
%91 = zext i8 %90 to i32
%92 = load i8*, i8** %4
%93 = load i32, i32* %6
%94 = sext i32 %93 to i64
%95 = getelementptr inbounds i8, i8* %92, i64 %94
%96 = load i8, i8* %95
%97 = zext i8 %96 to i32
%98 = icmp ne i32 %91, %97
br i1 %98, label %99, label %100
99: ; preds = %85
store i32 -1, i32* %3
br label %131
100: ; preds = %85
br label %101
101: ; preds = %100
%102 = load i32, i32* %6
%103 = add nsw i32 %102, 1
store i32 %103, i32* %6
br label %77
104: ; preds = %77
%105 = load i32, i32* %6
%106 = add nsw i32 %105, 4
store i32 %106, i32* %7
br label %107
107: ; preds = %127, %104
%108 = load i32, i32* %6
%109 = load i32, i32* %7
%110 = icmp sle i32 %108, %109
br i1 %110, label %111, label %130
111: ; preds = %107
%112 = load i8*, i8** %5
%113 = load i32, i32* %6
%114 = sext i32 %113 to i64
%115 = getelementptr inbounds i8, i8* %112, i64 %114
%116 = load i8, i8* %115
%117 = zext i8 %116 to i32
%118 = load i8*, i8** %4
%119 = load i32, i32* %6
%120 = sext i32 %119 to i64
%121 = getelementptr inbounds i8, i8* %118, i64 %120
%122 = load i8, i8* %121
%123 = zext i8 %122 to i32
%124 = icmp ne i32 %117, %123
br i1 %124, label %125, label %126
125: ; preds = %111
store i32 -1, i32* %3
br label %131
126: ; preds = %111
br label %127
127: ; preds = %126
%128 = load i32, i32* %6
%129 = add nsw i32 %128, 1
store i32 %129, i32* %6
br label %107
130: ; preds = %107
store i32 0, i32* %3
br label %131
131: ; preds = %130, %125, %99, %75
%132 = load i32, i32* %3
ret i32 %132
}

LLVM IR (-O2):
define i32 @ts_check(i8* nocapture %0, i8* nocapture %1) {
%3 = load i8, i8* %1
%4 = load i8, i8* %0
%5 = icmp eq i8 %3, %4
br i1 %5, label %6, label %69
6: ; preds = %2
%7 = getelementptr inbounds i8, i8* %1, i64 1
%8 = load i8, i8* %7
%9 = getelementptr inbounds i8, i8* %0, i64 1
%10 = load i8, i8* %9
%11 = icmp eq i8 %8, %10
br i1 %11, label %12, label %69
12: ; preds = %6
%13 = getelementptr inbounds i8, i8* %1, i64 2
%14 = load i8, i8* %13
switch i8 %14, label %69 [
i8 -127, label %15
i8 -123, label %15
i8 -121, label %15
]
15: ; preds = %12, %12, %12
%16 = getelementptr inbounds i8, i8* %1, i64 3
%17 = load i8, i8* %16
%18 = icmp eq i8 %17, -128
br i1 %18, label %19, label %69
19: ; preds = %15
%20 = getelementptr inbounds i8, i8* %1, i64 4
%21 = load i8, i8* %20
%22 = icmp eq i8 %21, 0
br i1 %22, label %23, label %69
23: ; preds = %19
%24 = getelementptr inbounds i8, i8* %1, i64 5
%25 = load i8, i8* %24
%26 = icmp eq i8 %25, 1
br i1 %26, label %27, label %69
27: ; preds = %23
%28 = getelementptr inbounds i8, i8* %1, i64 6
%29 = load i8, i8* %28
%30 = icmp eq i8 %29, 0
br i1 %30, label %31, label %69
31: ; preds = %27
%32 = getelementptr inbounds i8, i8* %1, i64 7
%33 = load i8, i8* %32
%34 = icmp eq i8 %33, 0
br i1 %34, label %69, label %35
35: ; preds = %31
%36 = getelementptr inbounds i8, i8* %1, i64 12
%37 = load i8, i8* %36
%38 = icmp eq i8 %37, 0
br i1 %38, label %52, label %39
39: ; preds = %35, %45
%40 = phi i64 [ %46, %45 ], [ 12, %35 ]
%41 = phi i8 [ %48, %45 ], [ %37, %35 ]
%42 = getelementptr inbounds i8, i8* %0, i64 %40
%43 = load i8, i8* %42
%44 = icmp eq i8 %41, %43
br i1 %44, label %45, label %69
45: ; preds = %39
%46 = add nuw i64 %40, 1
%47 = getelementptr inbounds i8, i8* %1, i64 %46
%48 = load i8, i8* %47
%49 = icmp eq i8 %48, 0
br i1 %49, label %50, label %39
50: ; preds = %45
%51 = trunc i64 %46 to i32
br label %52
52: ; preds = %50, %35
%53 = phi i32 [ 12, %35 ], [ %51, %50 ]
%54 = add i32 %53, 4
%55 = zext i32 %53 to i64
%56 = call i32 @llvm.umax.i32(i32 %53, i32 %54)
%57 = add i32 %56, 1
br label %62
58: ; preds = %62
%59 = add nuw nsw i64 %63, 1
%60 = trunc i64 %59 to i32
%61 = icmp eq i32 %57, %60
br i1 %61, label %69, label %62
62: ; preds = %52, %58
%63 = phi i64 [ %55, %52 ], [ %59, %58 ]
%64 = getelementptr inbounds i8, i8* %1, i64 %63
%65 = load i8, i8* %64
%66 = getelementptr inbounds i8, i8* %0, i64 %63
%67 = load i8, i8* %66
%68 = icmp eq i8 %65, %67
br i1 %68, label %58, label %69
69: ; preds = %39, %58, %62, %2, %6, %15, %19, %23, %27, %31, %12
%70 = phi i32 [ -1, %12 ], [ -1, %31 ], [ -1, %27 ], [ -1, %23 ], [ -1, %19 ], [ -1, %15 ], [ -1, %6 ], [ -1, %2 ], [ 0, %58 ], [ -1, %62 ], [ -1, %39 ]
ret i32 %70
}