#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 */

/* Variables and functions */
int /*<<< orphan*/ assert(int);
scalar_t__ strcmp(char *, char *);
int strlen(char *);
int checkVTisSNP(char *string) {
  int i, len = strlen(string);
  if (strcmp(".", string) == 0 || len < 4)
    return -1;
  for (i = 0; i < len - 3; i++) {
    if (string[i] == 'V' && string[i + 1] == 'T' && string[i + 2] == '=') {
      if (i == 0)
        break;
      else if (string[i - 1] == ';')
        break;
    }
  }
  if (i == len - 3)
    return -1;
  i = i + 3;
  assert(i <= len - 3);
  if (string[i] == 'S' && string[i + 1] == 'N' && string[i + 2] == 'P')
    return 1;
  else
    return 0;
}


x86 assembly (clang, -O0):
<checkVTisSNP>:
push   %rbp
mov    %rsp,%rbp
sub    $0x20,%rsp
mov    %rdi,-0x10(%rbp)
mov    -0x10(%rbp),%rdi
call   1030 <strlen@plt>
mov    %eax,-0x18(%rbp)
mov    -0x10(%rbp),%rsi
lea    0xead(%rip),%rdi
call   1040 <strcmp@plt>
cmp    $0x0,%rax
je     116c <checkVTisSNP+0x3c>
cmpl   $0x4,-0x18(%rbp)
jge    1178 <checkVTisSNP+0x48>
movl   $0xffffffff,-0x4(%rbp)
jmp    12be <checkVTisSNP+0x18e>
movl   $0x0,-0x14(%rbp)
mov    -0x14(%rbp),%eax
mov    -0x18(%rbp),%ecx
sub    $0x3,%ecx
cmp    %ecx,%eax
jge    1224 <checkVTisSNP+0xf4>
mov    -0x10(%rbp),%rax
movslq -0x14(%rbp),%rcx
movsbl (%rax,%rcx,1),%eax
cmp    $0x56,%eax
jne    1211 <checkVTisSNP+0xe1>
mov    -0x10(%rbp),%rax
mov    -0x14(%rbp),%ecx
add    $0x1,%ecx
movslq %ecx,%rcx
movsbl (%rax,%rcx,1),%eax
cmp    $0x54,%eax
jne    1211 <checkVTisSNP+0xe1>
mov    -0x10(%rbp),%rax
mov    -0x14(%rbp),%ecx
add    $0x2,%ecx
movslq %ecx,%rcx
movsbl (%rax,%rcx,1),%eax
cmp    $0x3d,%eax
jne    1211 <checkVTisSNP+0xe1>
cmpl   $0x0,-0x14(%rbp)
jne    11e8 <checkVTisSNP+0xb8>
jmp    1224 <checkVTisSNP+0xf4>
mov    -0x10(%rbp),%rax
mov    -0x14(%rbp),%ecx
sub    $0x1,%ecx
movslq %ecx,%rcx
movsbl (%rax,%rcx,1),%eax
cmp    $0x3b,%eax
jne    1207 <checkVTisSNP+0xd7>
jmp    1224 <checkVTisSNP+0xf4>
jmp    120c <checkVTisSNP+0xdc>
jmp    1211 <checkVTisSNP+0xe1>
jmp    1216 <checkVTisSNP+0xe6>
mov    -0x14(%rbp),%eax
add    $0x1,%eax
mov    %eax,-0x14(%rbp)
jmp    117f <checkVTisSNP+0x4f>
mov    -0x14(%rbp),%eax
mov    -0x18(%rbp),%ecx
sub    $0x3,%ecx
cmp    %ecx,%eax
jne    1241 <checkVTisSNP+0x111>
movl   $0xffffffff,-0x4(%rbp)
jmp    12be <checkVTisSNP+0x18e>
mov    -0x14(%rbp),%eax
add    $0x3,%eax
mov    %eax,-0x14(%rbp)
mov    -0x14(%rbp),%eax
mov    -0x18(%rbp),%ecx
sub    $0x3,%ecx
cmp    %ecx,%eax
setle  %al
and    $0x1,%al
movzbl %al,%edi
call   1050 <assert@plt>
mov    -0x10(%rbp),%rax
movslq -0x14(%rbp),%rcx
movsbl (%rax,%rcx,1),%eax
cmp    $0x53,%eax
jne    12b7 <checkVTisSNP+0x187>
mov    -0x10(%rbp),%rax
mov    -0x14(%rbp),%ecx
add    $0x1,%ecx
movslq %ecx,%rcx
movsbl (%rax,%rcx,1),%eax
cmp    $0x4e,%eax
jne    12b7 <checkVTisSNP+0x187>
mov    -0x10(%rbp),%rax
mov    -0x14(%rbp),%ecx
add    $0x2,%ecx
movslq %ecx,%rcx
movsbl (%rax,%rcx,1),%eax
cmp    $0x50,%eax
jne    12b7 <checkVTisSNP+0x187>
movl   $0x1,-0x4(%rbp)
jmp    12be <checkVTisSNP+0x18e>
movl   $0x0,-0x4(%rbp)
mov    -0x4(%rbp),%eax
add    $0x20,%rsp
pop    %rbp
ret

x86 assembly (clang, -O2):
<checkVTisSNP>:
push   %r15
push   %r14
push   %rbx
mov    %rdi,%rbx
call   1030 <strlen@plt>
mov    %eax,%r14d
lea    0xeb9(%rip),%rdi
mov    %rbx,%rsi
call   1040 <strcmp@plt>
mov    %rax,%rcx
mov    $0xffffffff,%eax
test   %rcx,%rcx
je     11db <checkVTisSNP+0xab>
cmp    $0x4,%r14d
jl     11db <checkVTisSNP+0xab>
add    $0xfffffffd,%r14d
xor    %ecx,%ecx
jmp    1179 <checkVTisSNP+0x49>
nopw   0x0(%rax,%rax,1)
add    $0x1,%rcx
cmp    %rcx,%r14
je     11db <checkVTisSNP+0xab>
cmpb   $0x56,(%rbx,%rcx,1)
jne    1170 <checkVTisSNP+0x40>
cmpb   $0x54,0x1(%rbx,%rcx,1)
jne    1170 <checkVTisSNP+0x40>
cmpb   $0x3d,0x2(%rbx,%rcx,1)
jne    1170 <checkVTisSNP+0x40>
test   %rcx,%rcx
je     11a0 <checkVTisSNP+0x70>
cmpb   $0x3b,-0x1(%rbx,%rcx,1)
jne    1170 <checkVTisSNP+0x40>
cmp    %r14d,%ecx
jne    11a7 <checkVTisSNP+0x77>
jmp    11db <checkVTisSNP+0xab>
xor    %ecx,%ecx
cmp    %r14d,%ecx
je     11db <checkVTisSNP+0xab>
mov    %ecx,%r15d
lea    0x3(%r15),%rax
xor    %edi,%edi
cmp    %r14d,%eax
setle  %dil
call   1050 <assert@plt>
cmpb   $0x53,0x3(%rbx,%r15,1)
jne    11d9 <checkVTisSNP+0xa9>
cmpb   $0x4e,0x4(%r15,%rbx,1)
jne    11d9 <checkVTisSNP+0xa9>
mov    $0x1,%eax
cmpb   $0x50,0x5(%r15,%rbx,1)
je     11db <checkVTisSNP+0xab>
xor    %eax,%eax
pop    %rbx
pop    %r14
pop    %r15
ret

LLVM IR (-O0):
@.str = [2 x i8] c".\00"
define i32 @checkVTisSNP(i8* %0) {
%2 = alloca i32
%3 = alloca i8*
%4 = alloca i32
%5 = alloca i32
store i8* %0, i8** %3
%6 = load i8*, i8** %3
%7 = call i32 @strlen(i8* %6)
store i32 %7, i32* %5
%8 = load i8*, i8** %3
%9 = call i64 @strcmp(i8* getelementptr inbounds ([2 x i8], [2 x i8]* @.str, i64 0, i64 0), i8* %8)
%10 = icmp eq i64 %9, 0
br i1 %10, label %14, label %11
11: ; preds = %1
%12 = load i32, i32* %5
%13 = icmp slt i32 %12, 4
br i1 %13, label %14, label %15
14: ; preds = %11, %1
store i32 -1, i32* %2
br label %109
15: ; preds = %11
store i32 0, i32* %4
br label %16
16: ; preds = %64, %15
%17 = load i32, i32* %4
%18 = load i32, i32* %5
%19 = sub nsw i32 %18, 3
%20 = icmp slt i32 %17, %19
br i1 %20, label %21, label %67
21: ; preds = %16
%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 = load i8, i8* %25
%27 = sext i8 %26 to i32
%28 = icmp eq i32 %27, 86
br i1 %28, label %29, label %63
29: ; preds = %21
%30 = load i8*, i8** %3
%31 = load i32, i32* %4
%32 = add nsw i32 %31, 1
%33 = sext i32 %32 to i64
%34 = getelementptr inbounds i8, i8* %30, i64 %33
%35 = load i8, i8* %34
%36 = sext i8 %35 to i32
%37 = icmp eq i32 %36, 84
br i1 %37, label %38, label %63
38: ; preds = %29
%39 = load i8*, i8** %3
%40 = load i32, i32* %4
%41 = add nsw i32 %40, 2
%42 = sext i32 %41 to i64
%43 = getelementptr inbounds i8, i8* %39, i64 %42
%44 = load i8, i8* %43
%45 = sext i8 %44 to i32
%46 = icmp eq i32 %45, 61
br i1 %46, label %47, label %63
47: ; preds = %38
%48 = load i32, i32* %4
%49 = icmp eq i32 %48, 0
br i1 %49, label %50, label %51
50: ; preds = %47
br label %67
51: ; preds = %47
%52 = load i8*, i8** %3
%53 = load i32, i32* %4
%54 = sub nsw i32 %53, 1
%55 = sext i32 %54 to i64
%56 = getelementptr inbounds i8, i8* %52, i64 %55
%57 = load i8, i8* %56
%58 = sext i8 %57 to i32
%59 = icmp eq i32 %58, 59
br i1 %59, label %60, label %61
60: ; preds = %51
br label %67
61: ; preds = %51
br label %62
62: ; preds = %61
br label %63
63: ; preds = %62, %38, %29, %21
br label %64
64: ; preds = %63
%65 = load i32, i32* %4
%66 = add nsw i32 %65, 1
store i32 %66, i32* %4
br label %16
67: ; preds = %60, %50, %16
%68 = load i32, i32* %4
%69 = load i32, i32* %5
%70 = sub nsw i32 %69, 3
%71 = icmp eq i32 %68, %70
br i1 %71, label %72, label %73
72: ; preds = %67
store i32 -1, i32* %2
br label %109
73: ; preds = %67
%74 = load i32, i32* %4
%75 = add nsw i32 %74, 3
store i32 %75, i32* %4
%76 = load i32, i32* %4
%77 = load i32, i32* %5
%78 = sub nsw i32 %77, 3
%79 = icmp sle i32 %76, %78
%80 = zext i1 %79 to i32
%81 = call i32 @assert(i32 %80)
%82 = load i8*, i8** %3
%83 = load i32, i32* %4
%84 = sext i32 %83 to i64
%85 = getelementptr inbounds i8, i8* %82, i64 %84
%86 = load i8, i8* %85
%87 = sext i8 %86 to i32
%88 = icmp eq i32 %87, 83
br i1 %88, label %89, label %108
89: ; preds = %73
%90 = load i8*, i8** %3
%91 = load i32, i32* %4
%92 = add nsw i32 %91, 1
%93 = sext i32 %92 to i64
%94 = getelementptr inbounds i8, i8* %90, i64 %93
%95 = load i8, i8* %94
%96 = sext i8 %95 to i32
%97 = icmp eq i32 %96, 78
br i1 %97, label %98, label %108
98: ; preds = %89
%99 = load i8*, i8** %3
%100 = load i32, i32* %4
%101 = add nsw i32 %100, 2
%102 = sext i32 %101 to i64
%103 = getelementptr inbounds i8, i8* %99, i64 %102
%104 = load i8, i8* %103
%105 = sext i8 %104 to i32
%106 = icmp eq i32 %105, 80
br i1 %106, label %107, label %108
107: ; preds = %98
store i32 1, i32* %2
br label %109
108: ; preds = %98, %89, %73
store i32 0, i32* %2
br label %109
109: ; preds = %108, %107, %72, %14
%110 = load i32, i32* %2
ret i32 %110
}

LLVM IR (-O2):
@.str = [2 x i8] c".\00"
define i32 @checkVTisSNP(i8* %0) {
%2 = tail call i32 @strlen(i8* %0)
%3 = tail call i64 @strcmp(i8* getelementptr inbounds ([2 x i8], [2 x i8]* @.str, i64 0, i64 0), i8* %0)
%4 = icmp eq i64 %3, 0
%5 = icmp slt i32 %2, 4
%6 = select i1 %4, i1 true, i1 %5
br i1 %6, label %62, label %7
7: ; preds = %1
%8 = add nsw i32 %2, -3
%9 = zext i32 %8 to i64
br label %10
10: ; preds = %7, %33
%11 = phi i64 [ 0, %7 ], [ %15, %33 ]
%12 = getelementptr inbounds i8, i8* %0, i64 %11
%13 = load i8, i8* %12
%14 = icmp eq i8 %13, 86
%15 = add nuw nsw i64 %11, 1
br i1 %14, label %16, label %33
16: ; preds = %10
%17 = getelementptr inbounds i8, i8* %0, i64 %15
%18 = load i8, i8* %17
%19 = icmp eq i8 %18, 84
br i1 %19, label %20, label %33
20: ; preds = %16
%21 = add nuw i64 %11, 2
%22 = and i64 %21, 4294967295
%23 = getelementptr inbounds i8, i8* %0, i64 %22
%24 = load i8, i8* %23
%25 = icmp eq i8 %24, 61
br i1 %25, label %26, label %33
26: ; preds = %20
%27 = icmp eq i64 %11, 0
br i1 %27, label %37, label %28
28: ; preds = %26
%29 = add nsw i64 %11, -1
%30 = getelementptr inbounds i8, i8* %0, i64 %29
%31 = load i8, i8* %30
%32 = icmp eq i8 %31, 59
br i1 %32, label %35, label %33
33: ; preds = %10, %16, %20, %28
%34 = icmp eq i64 %15, %9
br i1 %34, label %62, label %10
35: ; preds = %28
%36 = trunc i64 %11 to i32
br label %37
37: ; preds = %26, %35
%38 = phi i32 [ %36, %35 ], [ 0, %26 ]
%39 = icmp eq i32 %38, %8
br i1 %39, label %62, label %40
40: ; preds = %37
%41 = add nuw nsw i32 %38, 3
%42 = icmp sle i32 %41, %8
%43 = zext i1 %42 to i32
%44 = tail call i32 @assert(i32 %43)
%45 = zext i32 %41 to i64
%46 = getelementptr inbounds i8, i8* %0, i64 %45
%47 = load i8, i8* %46
%48 = icmp eq i8 %47, 83
br i1 %48, label %49, label %61
49: ; preds = %40
%50 = add nuw nsw i32 %38, 4
%51 = zext i32 %50 to i64
%52 = getelementptr inbounds i8, i8* %0, i64 %51
%53 = load i8, i8* %52
%54 = icmp eq i8 %53, 78
br i1 %54, label %55, label %61
55: ; preds = %49
%56 = add nuw nsw i32 %38, 5
%57 = zext i32 %56 to i64
%58 = getelementptr inbounds i8, i8* %0, i64 %57
%59 = load i8, i8* %58
%60 = icmp eq i8 %59, 80
br i1 %60, label %62, label %61
61: ; preds = %55, %49, %40
br label %62
62: ; preds = %33, %55, %37, %1, %61
%63 = phi i32 [ 0, %61 ], [ -1, %1 ], [ -1, %37 ], [ 1, %55 ], [ -1, %33 ]
ret i32 %63
}