#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 */
scalar_t__ isdigit(char);
size_t strlen(char *);
int find_vpattern(char *str, char *found) {
  size_t len;
  int i;
  int start;
  int end;
  int pos;
  int state;
  int done;
  char c;
  len = strlen(str);
  start = 0;
  end = 0;
  done = 0;
  pos = 0;
  state = 1;
  done = 0;
  do {
    c = str[pos];
    if (state == 1) {
      if (c == '_') {
        state++;
        start = pos;
      }
      pos++;
    } else if (state == 2) {
      if (isdigit((char)c)) {
        state++;
      } else {
        state = 1;
      }
      pos++;
    } else if (state == 3) {
      if (isdigit((char)c)) {
        ;
      } else if ((c == 'p') || (c == '.')) {
        state++;
      } else {
        state = 1;
      }
      pos++;
    } else if (state == 4) {
      if (isdigit((char)c)) {
        state++;
      } else {
        state = 1;
      }
      pos++;
    } else if (state == 5) {
      if (isdigit((char)c)) {
        ;
      } else if (c == 'V') {
        state++;
      } else {
        state = 1;
      }
      pos++;
    } else if (state == 6) {
      if ((c == '_') || (c == '.')) {
        done = 1;
        end = pos;
      } else {
        state = 1;
      }
      pos++;
    }
  } while ((pos < len) && (done == 0));
  if (done == 0)
    return 0;
  for (i = start; i <= end; i++) {
    found[i - start] = str[i];
  }
  found[i - start] = 0x00;
  return 1;
}


x86 assembly (clang, -O0):
<find_vpattern>:
push   %rbp
mov    %rsp,%rbp
sub    $0x40,%rsp
mov    %rdi,-0x10(%rbp)
mov    %rsi,-0x18(%rbp)
mov    -0x10(%rbp),%rdi
call   1040 <strlen@plt>
mov    %rax,-0x20(%rbp)
movl   $0x0,-0x28(%rbp)
movl   $0x0,-0x2c(%rbp)
movl   $0x0,-0x38(%rbp)
movl   $0x0,-0x30(%rbp)
movl   $0x1,-0x34(%rbp)
movl   $0x0,-0x38(%rbp)
mov    -0x10(%rbp),%rax
movslq -0x30(%rbp),%rcx
mov    (%rax,%rcx,1),%al
mov    %al,-0x39(%rbp)
cmpl   $0x1,-0x34(%rbp)
jne    11a9 <find_vpattern+0x89>
movsbl -0x39(%rbp),%eax
cmp    $0x5f,%eax
jne    119b <find_vpattern+0x7b>
mov    -0x34(%rbp),%eax
add    $0x1,%eax
mov    %eax,-0x34(%rbp)
mov    -0x30(%rbp),%eax
mov    %eax,-0x28(%rbp)
mov    -0x30(%rbp),%eax
add    $0x1,%eax
mov    %eax,-0x30(%rbp)
jmp    1343 <find_vpattern+0x223>
cmpl   $0x2,-0x34(%rbp)
jne    11e9 <find_vpattern+0xc9>
movsbl -0x39(%rbp),%edi
call   1030 <isdigit@plt>
cmp    $0x0,%rax
je     11d4 <find_vpattern+0xb4>
mov    -0x34(%rbp),%eax
add    $0x1,%eax
mov    %eax,-0x34(%rbp)
jmp    11db <find_vpattern+0xbb>
movl   $0x1,-0x34(%rbp)
mov    -0x30(%rbp),%eax
add    $0x1,%eax
mov    %eax,-0x30(%rbp)
jmp    133e <find_vpattern+0x21e>
cmpl   $0x3,-0x34(%rbp)
jne    124d <find_vpattern+0x12d>
movsbl -0x39(%rbp),%edi
call   1030 <isdigit@plt>
cmp    $0x0,%rax
je     120b <find_vpattern+0xeb>
jmp    123f <find_vpattern+0x11f>
movsbl -0x39(%rbp),%eax
cmp    $0x70,%eax
je     1225 <find_vpattern+0x105>
movsbl -0x39(%rbp),%eax
cmp    $0x2e,%eax
jne    1233 <find_vpattern+0x113>
mov    -0x34(%rbp),%eax
add    $0x1,%eax
mov    %eax,-0x34(%rbp)
jmp    123a <find_vpattern+0x11a>
movl   $0x1,-0x34(%rbp)
jmp    123f <find_vpattern+0x11f>
mov    -0x30(%rbp),%eax
add    $0x1,%eax
mov    %eax,-0x30(%rbp)
jmp    1339 <find_vpattern+0x219>
cmpl   $0x4,-0x34(%rbp)
jne    128d <find_vpattern+0x16d>
movsbl -0x39(%rbp),%edi
call   1030 <isdigit@plt>
cmp    $0x0,%rax
je     1278 <find_vpattern+0x158>
mov    -0x34(%rbp),%eax
add    $0x1,%eax
mov    %eax,-0x34(%rbp)
jmp    127f <find_vpattern+0x15f>
movl   $0x1,-0x34(%rbp)
mov    -0x30(%rbp),%eax
add    $0x1,%eax
mov    %eax,-0x30(%rbp)
jmp    1334 <find_vpattern+0x214>
cmpl   $0x5,-0x34(%rbp)
jne    12e4 <find_vpattern+0x1c4>
movsbl -0x39(%rbp),%edi
call   1030 <isdigit@plt>
cmp    $0x0,%rax
je     12af <find_vpattern+0x18f>
jmp    12d6 <find_vpattern+0x1b6>
movsbl -0x39(%rbp),%eax
cmp    $0x56,%eax
jne    12ca <find_vpattern+0x1aa>
mov    -0x34(%rbp),%eax
add    $0x1,%eax
mov    %eax,-0x34(%rbp)
jmp    12d1 <find_vpattern+0x1b1>
movl   $0x1,-0x34(%rbp)
jmp    12d6 <find_vpattern+0x1b6>
mov    -0x30(%rbp),%eax
add    $0x1,%eax
mov    %eax,-0x30(%rbp)
jmp    132f <find_vpattern+0x20f>
cmpl   $0x6,-0x34(%rbp)
jne    132a <find_vpattern+0x20a>
movsbl -0x39(%rbp),%eax
cmp    $0x5f,%eax
je     1308 <find_vpattern+0x1e8>
movsbl -0x39(%rbp),%eax
cmp    $0x2e,%eax
jne    131a <find_vpattern+0x1fa>
movl   $0x1,-0x38(%rbp)
mov    -0x30(%rbp),%eax
mov    %eax,-0x2c(%rbp)
jmp    1321 <find_vpattern+0x201>
movl   $0x1,-0x34(%rbp)
mov    -0x30(%rbp),%eax
add    $0x1,%eax
mov    %eax,-0x30(%rbp)
jmp    132f <find_vpattern+0x20f>
jmp    1334 <find_vpattern+0x214>
jmp    1339 <find_vpattern+0x219>
jmp    133e <find_vpattern+0x21e>
jmp    1343 <find_vpattern+0x223>
jmp    1348 <find_vpattern+0x228>
movslq -0x30(%rbp),%rcx
xor    %eax,%eax
cmp    -0x20(%rbp),%rcx
mov    %al,-0x3a(%rbp)
jae    1365 <find_vpattern+0x245>
cmpl   $0x0,-0x38(%rbp)
sete   %al
mov    %al,-0x3a(%rbp)
mov    -0x3a(%rbp),%al
test   $0x1,%al
jne    1167 <find_vpattern+0x47>
cmpl   $0x0,-0x38(%rbp)
jne    1386 <find_vpattern+0x266>
movl   $0x0,-0x4(%rbp)
jmp    13d9 <find_vpattern+0x2b9>
mov    -0x28(%rbp),%eax
mov    %eax,-0x24(%rbp)
mov    -0x24(%rbp),%eax
cmp    -0x2c(%rbp),%eax
jg     13c1 <find_vpattern+0x2a1>
mov    -0x10(%rbp),%rax
movslq -0x24(%rbp),%rcx
mov    (%rax,%rcx,1),%dl
mov    -0x18(%rbp),%rax
mov    -0x24(%rbp),%ecx
sub    -0x28(%rbp),%ecx
movslq %ecx,%rcx
mov    %dl,(%rax,%rcx,1)
mov    -0x24(%rbp),%eax
add    $0x1,%eax
mov    %eax,-0x24(%rbp)
jmp    138c <find_vpattern+0x26c>
mov    -0x18(%rbp),%rax
mov    -0x24(%rbp),%ecx
sub    -0x28(%rbp),%ecx
movslq %ecx,%rcx
movb   $0x0,(%rax,%rcx,1)
movl   $0x1,-0x4(%rbp)
mov    -0x4(%rbp),%eax
add    $0x40,%rsp
pop    %rbp
ret

x86 assembly (clang, -O2):
<find_vpattern>:
push   %rbp
push   %r15
push   %r14
push   %r13
push   %r12
push   %rbx
sub    $0x18,%rsp
mov    %rsi,0x10(%rsp)
mov    %rdi,%r15
call   1040 <strlen@plt>
mov    %rax,%rbx
mov    $0x1,%ecx
xor    %r13d,%r13d
lea    0xeb3(%rip),%rbp
xor    %eax,%eax
mov    %rax,0x8(%rsp)
xor    %r14d,%r14d
nopw   0x0(%rax,%rax,1)
lea    -0x1(%rcx),%eax
cmp    $0x5,%eax
ja     1213 <find_vpattern+0xf3>
movslq %r14d,%rcx
movzbl (%r15,%rcx,1),%r12d
movslq 0x0(%rbp,%rax,4),%rax
add    %rbp,%rax
jmp    *%rax
xor    %ecx,%ecx
cmp    $0x5f,%r12b
cmove  %r14d,%r13d
sete   %cl
add    $0x1,%ecx
jmp    120f <find_vpattern+0xef>
movsbl %r12b,%edi
call   1030 <isdigit@plt>
xor    %ecx,%ecx
test   %rax,%rax
setne  %cl
add    %ecx,%ecx
add    $0x1,%ecx
jmp    120f <find_vpattern+0xef>
movsbl %r12b,%edi
call   1030 <isdigit@plt>
xor    %ecx,%ecx
cmp    $0x2e,%r12b
sete   %cl
cmp    $0x70,%r12b
lea    0x1(%rcx,%rcx,2),%ecx
mov    $0x4,%edx
cmove  %edx,%ecx
test   %rax,%rax
mov    $0x3,%eax
jmp    120c <find_vpattern+0xec>
movsbl %r12b,%edi
call   1030 <isdigit@plt>
xor    %ecx,%ecx
test   %rax,%rax
setne  %cl
lea    0x1(,%rcx,4),%ecx
jmp    120f <find_vpattern+0xef>
movsbl %r12b,%edi
call   1030 <isdigit@plt>
xor    %ecx,%ecx
cmp    $0x56,%r12b
sete   %cl
test   %rax,%rax
lea    0x1(%rcx,%rcx,4),%ecx
mov    $0x5,%eax
cmovne %eax,%ecx
add    $0x1,%r14d
xor    %eax,%eax
movslq %r14d,%rdx
cmp    %rdx,%rbx
jbe    1257 <find_vpattern+0x137>
test   %eax,%eax
je     1160 <find_vpattern+0x40>
jmp    1257 <find_vpattern+0x137>
mov    $0x1,%eax
mov    $0x6,%ecx
mov    %r14d,%edx
cmp    $0x2e,%r12b
je     124c <find_vpattern+0x12c>
cmp    $0x5f,%r12b
je     124c <find_vpattern+0x12c>
xor    %eax,%eax
mov    $0x1,%ecx
mov    0x8(%rsp),%rdx
add    $0x1,%r14d
mov    %rdx,0x8(%rsp)
jmp    1215 <find_vpattern+0xf5>
test   %eax,%eax
je     12c4 <find_vpattern+0x1a4>
mov    0x8(%rsp),%rdx
mov    %edx,%esi
mov    %r13d,%r11d
sub    %r13d,%esi
mov    0x10(%rsp),%rdi
jl     146e <find_vpattern+0x34e>
movslq %r13d,%r9
lea    0x1(%rdx),%r11d
mov    %r9,%rcx
cmp    $0x7,%esi
jb     13fb <find_vpattern+0x2db>
lea    (%r15,%r9,1),%r14
lea    (%r9,%rsi,1),%rax
add    %r15,%rax
add    $0x1,%rax
cmp    %rdi,%rax
jbe    12ae <find_vpattern+0x18e>
lea    (%rsi,%rdi,1),%rax
add    $0x1,%rax
mov    %r9,%rcx
cmp    %rax,%r14
jb     13fb <find_vpattern+0x2db>
movabs $0x1ffffffe0,%rdx
cmp    $0x1f,%esi
jae    12cb <find_vpattern+0x1ab>
xor    %ebp,%ebp
jmp    13ba <find_vpattern+0x29a>
xor    %eax,%eax
jmp    147d <find_vpattern+0x35d>
lea    0x1(%rsi),%r8
mov    %r8,%rbp
and    %rdx,%rbp
lea    -0x20(%rbp),%rax
mov    %rax,%rcx
shr    $0x5,%rcx
add    $0x1,%rcx
mov    %ecx,%r10d
and    $0x3,%r10d
cmp    $0x60,%rax
jae    12f5 <find_vpattern+0x1d5>
xor    %ebx,%ebx
jmp    1368 <find_vpattern+0x248>
and    $0xfffffffffffffffc,%rcx
lea    (%r15,%r9,1),%rax
add    $0x70,%rax
xor    %ebx,%ebx
cs nopw 0x0(%rax,%rax,1)
nopl   (%rax)
movups -0x70(%rax,%rbx,1),%xmm0
movups -0x60(%rax,%rbx,1),%xmm1
movups %xmm0,(%rdi,%rbx,1)
movups %xmm1,0x10(%rdi,%rbx,1)
movups -0x50(%rax,%rbx,1),%xmm0
movups -0x40(%rax,%rbx,1),%xmm1
movups %xmm0,0x20(%rdi,%rbx,1)
movups %xmm1,0x30(%rdi,%rbx,1)
movups -0x30(%rax,%rbx,1),%xmm0
movups -0x20(%rax,%rbx,1),%xmm1
movups %xmm0,0x40(%rdi,%rbx,1)
movups %xmm1,0x50(%rdi,%rbx,1)
movups -0x10(%rax,%rbx,1),%xmm0
movups (%rax,%rbx,1),%xmm1
movups %xmm0,0x60(%rdi,%rbx,1)
movups %xmm1,0x70(%rdi,%rbx,1)
sub    $0xffffffffffffff80,%rbx
add    $0xfffffffffffffffc,%rcx
jne    1310 <find_vpattern+0x1f0>
test   %r10,%r10
je     13ab <find_vpattern+0x28b>
lea    (%rdi,%rbx,1),%rax
add    $0x10,%rax
lea    (%r15,%rbx,1),%rcx
add    $0x10,%rcx
add    %r9,%rcx
shl    $0x5,%r10
xor    %ebx,%ebx
cs nopw 0x0(%rax,%rax,1)
movups -0x10(%rcx,%rbx,1),%xmm0
movups (%rcx,%rbx,1),%xmm1
movups %xmm0,-0x10(%rax,%rbx,1)
movups %xmm1,(%rax,%rbx,1)
add    $0x20,%rbx
cmp    %rbx,%r10
jne    1390 <find_vpattern+0x270>
cmp    %rbp,%r8
je     146e <find_vpattern+0x34e>
test   $0x18,%r8b
je     13f0 <find_vpattern+0x2d0>
add    $0x1,%rsi
add    $0x18,%rdx
and    %rsi,%rdx
lea    (%rdx,%r9,1),%rcx
nopl   0x0(%rax)
mov    (%r14,%rbp,1),%rax
mov    %rax,(%rdi,%rbp,1)
add    $0x8,%rbp
cmp    %rbp,%rdx
jne    13d0 <find_vpattern+0x2b0>
cmp    %rdx,%rsi
mov    0x8(%rsp),%rdx
jne    13fb <find_vpattern+0x2db>
jmp    146e <find_vpattern+0x34e>
add    %r9,%rbp
mov    %rbp,%rcx
mov    0x8(%rsp),%rdx
lea    0x1(%rdx),%ebp
mov    %ebp,%eax
sub    %ecx,%eax
sub    %ecx,%edx
and    $0x3,%eax
je     1421 <find_vpattern+0x301>
mov    %rdi,%rsi
sub    %r9,%rsi
nop
movzbl (%r15,%rcx,1),%ebx
mov    %bl,(%rsi,%rcx,1)
add    $0x1,%rcx
add    $0xffffffff,%eax
jne    1410 <find_vpattern+0x2f0>
cmp    $0x3,%edx
jb     146e <find_vpattern+0x34e>
mov    %ebp,%eax
mov    %rdi,%rdx
sub    %r9,%rdx
add    $0x3,%rdx
cs nopw 0x0(%rax,%rax,1)
nopl   0x0(%rax)
movzbl (%r15,%rcx,1),%ebx
mov    %bl,-0x3(%rdx,%rcx,1)
movzbl 0x1(%r15,%rcx,1),%ebx
mov    %bl,-0x2(%rdx,%rcx,1)
movzbl 0x2(%r15,%rcx,1),%ebx
mov    %bl,-0x1(%rdx,%rcx,1)
movzbl 0x3(%r15,%rcx,1),%ebx
mov    %bl,(%rdx,%rcx,1)
add    $0x4,%rcx
cmp    %ecx,%eax
jne    1440 <find_vpattern+0x320>
sub    %r13d,%r11d
movslq %r11d,%rax
movb   $0x0,(%rdi,%rax,1)
mov    $0x1,%eax
add    $0x18,%rsp
pop    %rbx
pop    %r12
pop    %r13
pop    %r14
pop    %r15
pop    %rbp
ret

LLVM IR (-O0):
define i32 @find_vpattern(i8* %0, i8* %1) {
%3 = alloca i32
%4 = alloca i8*
%5 = alloca i8*
%6 = alloca i64
%7 = alloca i32
%8 = alloca i32
%9 = alloca i32
%10 = alloca i32
%11 = alloca i32
%12 = alloca i32
%13 = alloca i8
store i8* %0, i8** %4
store i8* %1, i8** %5
%14 = load i8*, i8** %4
%15 = call i64 @strlen(i8* %14)
store i64 %15, i64* %6
store i32 0, i32* %8
store i32 0, i32* %9
store i32 0, i32* %12
store i32 0, i32* %10
store i32 1, i32* %11
store i32 0, i32* %12
br label %16
16: ; preds = %138, %2
%17 = load i8*, i8** %4
%18 = load i32, i32* %10
%19 = sext i32 %18 to i64
%20 = getelementptr inbounds i8, i8* %17, i64 %19
%21 = load i8, i8* %20
store i8 %21, i8* %13
%22 = load i32, i32* %11
%23 = icmp eq i32 %22, 1
br i1 %23, label %24, label %35
24: ; preds = %16
%25 = load i8, i8* %13
%26 = sext i8 %25 to i32
%27 = icmp eq i32 %26, 95
br i1 %27, label %28, label %32
28: ; preds = %24
%29 = load i32, i32* %11
%30 = add nsw i32 %29, 1
store i32 %30, i32* %11
%31 = load i32, i32* %10
store i32 %31, i32* %8
br label %32
32: ; preds = %28, %24
%33 = load i32, i32* %10
%34 = add nsw i32 %33, 1
store i32 %34, i32* %10
br label %129
35: ; preds = %16
%36 = load i32, i32* %11
%37 = icmp eq i32 %36, 2
br i1 %37, label %38, label %49
38: ; preds = %35
%39 = load i8, i8* %13
%40 = call i64 @isdigit(i8 signext %39)
%41 = icmp ne i64 %40, 0
br i1 %41, label %42, label %45
42: ; preds = %38
%43 = load i32, i32* %11
%44 = add nsw i32 %43, 1
store i32 %44, i32* %11
br label %46
45: ; preds = %38
store i32 1, i32* %11
br label %46
46: ; preds = %45, %42
%47 = load i32, i32* %10
%48 = add nsw i32 %47, 1
store i32 %48, i32* %10
br label %128
49: ; preds = %35
%50 = load i32, i32* %11
%51 = icmp eq i32 %50, 3
br i1 %51, label %52, label %73
52: ; preds = %49
%53 = load i8, i8* %13
%54 = call i64 @isdigit(i8 signext %53)
%55 = icmp ne i64 %54, 0
br i1 %55, label %56, label %57
56: ; preds = %52
br label %70
57: ; preds = %52
%58 = load i8, i8* %13
%59 = sext i8 %58 to i32
%60 = icmp eq i32 %59, 112
br i1 %60, label %65, label %61
61: ; preds = %57
%62 = load i8, i8* %13
%63 = sext i8 %62 to i32
%64 = icmp eq i32 %63, 46
br i1 %64, label %65, label %68
65: ; preds = %61, %57
%66 = load i32, i32* %11
%67 = add nsw i32 %66, 1
store i32 %67, i32* %11
br label %69
68: ; preds = %61
store i32 1, i32* %11
br label %69
69: ; preds = %68, %65
br label %70
70: ; preds = %69, %56
%71 = load i32, i32* %10
%72 = add nsw i32 %71, 1
store i32 %72, i32* %10
br label %127
73: ; preds = %49
%74 = load i32, i32* %11
%75 = icmp eq i32 %74, 4
br i1 %75, label %76, label %87
76: ; preds = %73
%77 = load i8, i8* %13
%78 = call i64 @isdigit(i8 signext %77)
%79 = icmp ne i64 %78, 0
br i1 %79, label %80, label %83
80: ; preds = %76
%81 = load i32, i32* %11
%82 = add nsw i32 %81, 1
store i32 %82, i32* %11
br label %84
83: ; preds = %76
store i32 1, i32* %11
br label %84
84: ; preds = %83, %80
%85 = load i32, i32* %10
%86 = add nsw i32 %85, 1
store i32 %86, i32* %10
br label %126
87: ; preds = %73
%88 = load i32, i32* %11
%89 = icmp eq i32 %88, 5
br i1 %89, label %90, label %107
90: ; preds = %87
%91 = load i8, i8* %13
%92 = call i64 @isdigit(i8 signext %91)
%93 = icmp ne i64 %92, 0
br i1 %93, label %94, label %95
94: ; preds = %90
br label %104
95: ; preds = %90
%96 = load i8, i8* %13
%97 = sext i8 %96 to i32
%98 = icmp eq i32 %97, 86
br i1 %98, label %99, label %102
99: ; preds = %95
%100 = load i32, i32* %11
%101 = add nsw i32 %100, 1
store i32 %101, i32* %11
br label %103
102: ; preds = %95
store i32 1, i32* %11
br label %103
103: ; preds = %102, %99
br label %104
104: ; preds = %103, %94
%105 = load i32, i32* %10
%106 = add nsw i32 %105, 1
store i32 %106, i32* %10
br label %125
107: ; preds = %87
%108 = load i32, i32* %11
%109 = icmp eq i32 %108, 6
br i1 %109, label %110, label %124
110: ; preds = %107
%111 = load i8, i8* %13
%112 = sext i8 %111 to i32
%113 = icmp eq i32 %112, 95
br i1 %113, label %118, label %114
114: ; preds = %110
%115 = load i8, i8* %13
%116 = sext i8 %115 to i32
%117 = icmp eq i32 %116, 46
br i1 %117, label %118, label %120
118: ; preds = %114, %110
store i32 1, i32* %12
%119 = load i32, i32* %10
store i32 %119, i32* %9
br label %121
120: ; preds = %114
store i32 1, i32* %11
br label %121
121: ; preds = %120, %118
%122 = load i32, i32* %10
%123 = add nsw i32 %122, 1
store i32 %123, i32* %10
br label %124
124: ; preds = %121, %107
br label %125
125: ; preds = %124, %104
br label %126
126: ; preds = %125, %84
br label %127
127: ; preds = %126, %70
br label %128
128: ; preds = %127, %46
br label %129
129: ; preds = %128, %32
br label %130
130: ; preds = %129
%131 = load i32, i32* %10
%132 = sext i32 %131 to i64
%133 = load i64, i64* %6
%134 = icmp ult i64 %132, %133
br i1 %134, label %135, label %138
135: ; preds = %130
%136 = load i32, i32* %12
%137 = icmp eq i32 %136, 0
br label %138
138: ; preds = %135, %130
%139 = phi i1 [ false, %130 ], [ %137, %135 ]
br i1 %139, label %16, label %140
140: ; preds = %138
%141 = load i32, i32* %12
%142 = icmp eq i32 %141, 0
br i1 %142, label %143, label %144
143: ; preds = %140
store i32 0, i32* %3
br label %172
144: ; preds = %140
%145 = load i32, i32* %8
store i32 %145, i32* %7
br label %146
146: ; preds = %162, %144
%147 = load i32, i32* %7
%148 = load i32, i32* %9
%149 = icmp sle i32 %147, %148
br i1 %149, label %150, label %165
150: ; preds = %146
%151 = load i8*, i8** %4
%152 = load i32, i32* %7
%153 = sext i32 %152 to i64
%154 = getelementptr inbounds i8, i8* %151, i64 %153
%155 = load i8, i8* %154
%156 = load i8*, i8** %5
%157 = load i32, i32* %7
%158 = load i32, i32* %8
%159 = sub nsw i32 %157, %158
%160 = sext i32 %159 to i64
%161 = getelementptr inbounds i8, i8* %156, i64 %160
store i8 %155, i8* %161
br label %162
162: ; preds = %150
%163 = load i32, i32* %7
%164 = add nsw i32 %163, 1
store i32 %164, i32* %7
br label %146
165: ; preds = %146
%166 = load i8*, i8** %5
%167 = load i32, i32* %7
%168 = load i32, i32* %8
%169 = sub nsw i32 %167, %168
%170 = sext i32 %169 to i64
%171 = getelementptr inbounds i8, i8* %166, i64 %170
store i8 0, i8* %171
store i32 1, i32* %3
br label %172
172: ; preds = %165, %143
%173 = load i32, i32* %3
ret i32 %173
}

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