#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 */
size_t firstOccur(char *, char);
int strleng(char *);
int patternSinglePlus(char *pattern, char *line) {
  int n = strleng(pattern);
  int m = strleng(line);
  int p = firstOccur(pattern, '+');
  int matches = 0;
  int found = 0;
  if (n <= 2) {
    for (int i = 0; i < m; i++) {
      if (line[i] == pattern[0]) {
        found++;
        return 1;
      }
    }
  } else {
    for (int i = 0; i < m; i++) {
      if (line[i] == pattern[0]) {
        matches = 1;
      }
    }
    for (int i = 1; i < n; i++) {
      if (line[i] == pattern[i]) {
        matches++;
      }
    }
    if (p < n) {
      char p2 = pattern[p + 1];
      for (int i = p + 1; i < n && i < m; i++) {
        if (line[firstOccur(line, p2)] == pattern[i]) {
          matches++;
        }
      }
    }
    if (matches == n - 1 || matches == n)
      return 1;
  }
  return 0;
}


x86 assembly (clang, -O0):
<patternSinglePlus>:
push   %rbp
mov    %rsp,%rbp
sub    $0x50,%rsp
mov    %rdi,-0x10(%rbp)
mov    %rsi,-0x18(%rbp)
mov    -0x10(%rbp),%rdi
call   1030 <strleng@plt>
mov    %eax,-0x1c(%rbp)
mov    -0x18(%rbp),%rdi
call   1030 <strleng@plt>
mov    %eax,-0x20(%rbp)
mov    -0x10(%rbp),%rdi
mov    $0x2b,%esi
call   1040 <firstOccur@plt>
mov    %eax,-0x24(%rbp)
movl   $0x0,-0x28(%rbp)
movl   $0x0,-0x2c(%rbp)
cmpl   $0x2,-0x1c(%rbp)
jg     11cc <patternSinglePlus+0xac>
movl   $0x0,-0x30(%rbp)
mov    -0x30(%rbp),%eax
cmp    -0x20(%rbp),%eax
jge    11c7 <patternSinglePlus+0xa7>
mov    -0x18(%rbp),%rax
movslq -0x30(%rbp),%rcx
movsbl (%rax,%rcx,1),%eax
mov    -0x10(%rbp),%rcx
movsbl (%rcx),%ecx
cmp    %ecx,%eax
jne    11b4 <patternSinglePlus+0x94>
mov    -0x2c(%rbp),%eax
add    $0x1,%eax
mov    %eax,-0x2c(%rbp)
movl   $0x1,-0x4(%rbp)
jmp    1342 <patternSinglePlus+0x222>
jmp    11b9 <patternSinglePlus+0x99>
mov    -0x30(%rbp),%eax
add    $0x1,%eax
mov    %eax,-0x30(%rbp)
jmp    1178 <patternSinglePlus+0x58>
jmp    133b <patternSinglePlus+0x21b>
movl   $0x0,-0x34(%rbp)
mov    -0x34(%rbp),%eax
cmp    -0x20(%rbp),%eax
jge    1214 <patternSinglePlus+0xf4>
mov    -0x18(%rbp),%rax
movslq -0x34(%rbp),%rcx
movsbl (%rax,%rcx,1),%eax
mov    -0x10(%rbp),%rcx
movsbl (%rcx),%ecx
cmp    %ecx,%eax
jne    1201 <patternSinglePlus+0xe1>
movl   $0x1,-0x28(%rbp)
jmp    1206 <patternSinglePlus+0xe6>
mov    -0x34(%rbp),%eax
add    $0x1,%eax
mov    %eax,-0x34(%rbp)
jmp    11d3 <patternSinglePlus+0xb3>
movl   $0x1,-0x38(%rbp)
mov    -0x38(%rbp),%eax
cmp    -0x1c(%rbp),%eax
jge    1263 <patternSinglePlus+0x143>
mov    -0x18(%rbp),%rax
movslq -0x38(%rbp),%rcx
movsbl (%rax,%rcx,1),%eax
mov    -0x10(%rbp),%rcx
movslq -0x38(%rbp),%rdx
movsbl (%rcx,%rdx,1),%ecx
cmp    %ecx,%eax
jne    1250 <patternSinglePlus+0x130>
mov    -0x28(%rbp),%eax
add    $0x1,%eax
mov    %eax,-0x28(%rbp)
jmp    1255 <patternSinglePlus+0x135>
mov    -0x38(%rbp),%eax
add    $0x1,%eax
mov    %eax,-0x38(%rbp)
jmp    121b <patternSinglePlus+0xfb>
mov    -0x24(%rbp),%eax
cmp    -0x1c(%rbp),%eax
jge    130d <patternSinglePlus+0x1ed>
mov    -0x10(%rbp),%rax
mov    -0x24(%rbp),%ecx
add    $0x1,%ecx
movslq %ecx,%rcx
mov    (%rax,%rcx,1),%al
mov    %al,-0x39(%rbp)
mov    -0x24(%rbp),%eax
add    $0x1,%eax
mov    %eax,-0x40(%rbp)
mov    -0x40(%rbp),%ecx
xor    %eax,%eax
cmp    -0x1c(%rbp),%ecx
mov    %al,-0x41(%rbp)
jge    12a8 <patternSinglePlus+0x188>
mov    -0x40(%rbp),%eax
cmp    -0x20(%rbp),%eax
setl   %al
mov    %al,-0x41(%rbp)
mov    -0x41(%rbp),%al
test   $0x1,%al
jne    12b8 <patternSinglePlus+0x198>
jmp    1308 <patternSinglePlus+0x1e8>
mov    -0x18(%rbp),%rax
mov    %rax,-0x50(%rbp)
mov    -0x18(%rbp),%rdi
movsbl -0x39(%rbp),%esi
call   1040 <firstOccur@plt>
mov    %rax,%rcx
mov    -0x50(%rbp),%rax
movsbl (%rax,%rcx,1),%eax
mov    -0x10(%rbp),%rcx
movslq -0x40(%rbp),%rdx
movsbl (%rcx,%rdx,1),%ecx
cmp    %ecx,%eax
jne    12f5 <patternSinglePlus+0x1d5>
mov    -0x28(%rbp),%eax
add    $0x1,%eax
mov    %eax,-0x28(%rbp)
jmp    12fa <patternSinglePlus+0x1da>
mov    -0x40(%rbp),%eax
add    $0x1,%eax
mov    %eax,-0x40(%rbp)
jmp    128b <patternSinglePlus+0x16b>
jmp    130d <patternSinglePlus+0x1ed>
mov    -0x28(%rbp),%eax
mov    -0x1c(%rbp),%ecx
sub    $0x1,%ecx
cmp    %ecx,%eax
je     132a <patternSinglePlus+0x20a>
mov    -0x28(%rbp),%eax
cmp    -0x1c(%rbp),%eax
jne    1336 <patternSinglePlus+0x216>
movl   $0x1,-0x4(%rbp)
jmp    1342 <patternSinglePlus+0x222>
jmp    133b <patternSinglePlus+0x21b>
movl   $0x0,-0x4(%rbp)
mov    -0x4(%rbp),%eax
add    $0x50,%rsp
pop    %rbp
ret

x86 assembly (clang, -O2):
<patternSinglePlus>:
push   %rbp
push   %r15
push   %r14
push   %r13
push   %r12
push   %rbx
sub    $0x18,%rsp
mov    %rsi,%rbx
mov    %rdi,%r15
call   1030 <strleng@plt>
mov    %eax,%r14d
mov    %rbx,%rdi
call   1030 <strleng@plt>
mov    %eax,%r12d
mov    %r15,%rdi
mov    $0x2b,%esi
call   1040 <firstOccur@plt>
cmp    $0x3,%r14d
jge    1183 <patternSinglePlus+0x63>
test   %r12d,%r12d
jle    1518 <patternSinglePlus+0x3f8>
mov    (%r15),%al
mov    %r12d,%ecx
xor    %edx,%edx
nopl   0x0(%rax,%rax,1)
cmp    %al,(%rbx,%rdx,1)
je     11a4 <patternSinglePlus+0x84>
add    $0x1,%rdx
cmp    %rdx,%rcx
jne    1170 <patternSinglePlus+0x50>
jmp    1518 <patternSinglePlus+0x3f8>
test   %r12d,%r12d
jle    119d <patternSinglePlus+0x7d>
mov    (%r15),%cl
mov    %r12d,%edx
cmp    $0x8,%r12d
jae    11ae <patternSinglePlus+0x8e>
xor    %esi,%esi
xor    %edi,%edi
jmp    130b <patternSinglePlus+0x1eb>
xor    %edi,%edi
jmp    1329 <patternSinglePlus+0x209>
mov    $0x1,%eax
jmp    151a <patternSinglePlus+0x3fa>
mov    %edx,%esi
and    $0xfffffff8,%esi
movzbl %cl,%edi
movd   %edi,%xmm0
punpcklbw %xmm0,%xmm0
pshuflw $0x0,%xmm0,%xmm0
lea    -0x8(%rsi),%rdi
mov    %rdi,%r8
shr    $0x3,%r8
add    $0x1,%r8
test   %rdi,%rdi
je     1540 <patternSinglePlus+0x420>
mov    %r8,%rdi
and    $0xfffffffffffffffe,%rdi
pxor   %xmm4,%xmm4
xor    %ebp,%ebp
movdqa 0xe10(%rip),%xmm3
pxor   %xmm5,%xmm5
cs nopw 0x0(%rax,%rax,1)
xchg   %ax,%ax
movd   (%rbx,%rbp,1),%xmm1
movd   0x4(%rbx,%rbp,1),%xmm2
pcmpeqb %xmm0,%xmm1
pcmpeqb %xmm0,%xmm2
movd   0x8(%rbx,%rbp,1),%xmm6
movd   0xc(%rbx,%rbp,1),%xmm7
pcmpeqb %xmm0,%xmm6
por    %xmm1,%xmm6
punpcklbw %xmm6,%xmm1
punpcklwd %xmm1,%xmm1
pcmpeqb %xmm0,%xmm7
por    %xmm2,%xmm7
punpcklbw %xmm7,%xmm2
punpcklwd %xmm2,%xmm2
psrad  $0x18,%xmm1
movdqa %xmm1,%xmm6
pandn  %xmm4,%xmm6
pand   %xmm3,%xmm1
por    %xmm6,%xmm1
psrad  $0x18,%xmm2
movdqa %xmm2,%xmm4
pandn  %xmm5,%xmm4
pand   %xmm3,%xmm2
por    %xmm4,%xmm2
add    $0x10,%rbp
movdqa %xmm1,%xmm4
movdqa %xmm2,%xmm5
add    $0xfffffffffffffffe,%rdi
jne    1200 <patternSinglePlus+0xe0>
test   $0x1,%r8b
je     12de <patternSinglePlus+0x1be>
movd   (%rbx,%rbp,1),%xmm3
movd   0x4(%rbx,%rbp,1),%xmm4
pcmpeqb %xmm0,%xmm3
punpcklbw %xmm3,%xmm3
punpcklwd %xmm3,%xmm3
psrad  $0x18,%xmm3
pcmpeqb %xmm0,%xmm4
punpcklbw %xmm4,%xmm0
punpcklwd %xmm0,%xmm0
psrad  $0x18,%xmm0
movdqa %xmm3,%xmm4
pandn  %xmm1,%xmm4
movdqa 0xd42(%rip),%xmm1
pand   %xmm1,%xmm3
por    %xmm4,%xmm3
movdqa %xmm0,%xmm4
pandn  %xmm2,%xmm4
pand   %xmm1,%xmm0
por    %xmm4,%xmm0
movdqa %xmm3,%xmm1
movdqa %xmm0,%xmm2
pxor   %xmm0,%xmm0
movdqa %xmm1,%xmm3
pcmpeqd %xmm0,%xmm3
pand   %xmm3,%xmm2
pandn  %xmm1,%xmm3
por    %xmm2,%xmm3
pcmpeqd %xmm0,%xmm3
movmskps %xmm3,%ebp
xor    %edi,%edi
cmp    $0xf,%ebp
setne  %dil
cmp    %rdx,%rsi
je     131f <patternSinglePlus+0x1ff>
mov    $0x1,%ebp
cmp    %cl,(%rbx,%rsi,1)
cmove  %ebp,%edi
add    $0x1,%rsi
cmp    %rsi,%rdx
jne    1310 <patternSinglePlus+0x1f0>
cmp    $0x2,%r14d
jl     1499 <patternSinglePlus+0x379>
mov    %r14d,%ebp
lea    -0x1(%rbp),%r8
mov    $0x1,%edx
cmp    $0x8,%r8
jb     1480 <patternSinglePlus+0x360>
mov    %r8,%rdx
and    $0xfffffffffffffff8,%rdx
movd   %edi,%xmm0
lea    -0x8(%rdx),%rsi
mov    %rsi,%rcx
shr    $0x3,%rcx
add    $0x1,%rcx
test   %rsi,%rsi
je     1529 <patternSinglePlus+0x409>
mov    %rcx,%rdi
and    $0xfffffffffffffffe,%rdi
pxor   %xmm1,%xmm1
mov    $0x1,%esi
movdqa 0xc86(%rip),%xmm2
nopw   0x0(%rax,%rax,1)
movd   (%rbx,%rsi,1),%xmm4
movd   0x4(%rbx,%rsi,1),%xmm5
movd   (%r15,%rsi,1),%xmm3
pcmpeqb %xmm4,%xmm3
punpcklbw %xmm3,%xmm3
punpcklwd %xmm3,%xmm3
movd   0x4(%r15,%rsi,1),%xmm4
pcmpeqb %xmm5,%xmm4
punpcklbw %xmm4,%xmm4
punpcklwd %xmm4,%xmm4
pand   %xmm2,%xmm3
paddd  %xmm0,%xmm3
pand   %xmm2,%xmm4
paddd  %xmm1,%xmm4
movd   0x8(%rbx,%rsi,1),%xmm1
movd   0xc(%rbx,%rsi,1),%xmm5
movd   0x8(%r15,%rsi,1),%xmm0
pcmpeqb %xmm1,%xmm0
punpcklbw %xmm0,%xmm0
punpcklwd %xmm0,%xmm0
movd   0xc(%r15,%rsi,1),%xmm1
pcmpeqb %xmm5,%xmm1
punpcklbw %xmm1,%xmm1
punpcklwd %xmm1,%xmm1
pand   %xmm2,%xmm0
paddd  %xmm3,%xmm0
pand   %xmm2,%xmm1
paddd  %xmm4,%xmm1
add    $0x10,%rsi
add    $0xfffffffffffffffe,%rdi
jne    1380 <patternSinglePlus+0x260>
test   $0x1,%cl
je     145d <patternSinglePlus+0x33d>
movd   (%rbx,%rsi,1),%xmm2
movd   0x4(%rbx,%rsi,1),%xmm3
movd   (%r15,%rsi,1),%xmm4
pcmpeqb %xmm2,%xmm4
movd   0x4(%r15,%rsi,1),%xmm2
pcmpeqb %xmm3,%xmm2
punpcklbw %xmm4,%xmm4
punpcklwd %xmm4,%xmm4
movdqa 0xbbb(%rip),%xmm3
pand   %xmm3,%xmm4
paddd  %xmm4,%xmm0
punpcklbw %xmm2,%xmm2
punpcklwd %xmm2,%xmm2
pand   %xmm3,%xmm2
paddd  %xmm2,%xmm1
paddd  %xmm1,%xmm0
pshufd $0xee,%xmm0,%xmm1
paddd  %xmm0,%xmm1
pshufd $0x55,%xmm1,%xmm0
paddd  %xmm1,%xmm0
movd   %xmm0,%edi
cmp    %rdx,%r8
je     1499 <patternSinglePlus+0x379>
or     $0x1,%rdx
movzbl (%rbx,%rdx,1),%ecx
xor    %esi,%esi
cmp    (%r15,%rdx,1),%cl
sete   %sil
add    %esi,%edi
add    $0x1,%rdx
cmp    %rdx,%rbp
jne    1480 <patternSinglePlus+0x360>
cmp    %eax,%r14d
mov    %r14,0x8(%rsp)
jle    1503 <patternSinglePlus+0x3e3>
movslq %eax,%rcx
lea    0x1(%rcx),%rdx
cmp    %r14d,%edx
jge    1503 <patternSinglePlus+0x3e3>
cmp    %r12d,%edx
jge    1503 <patternSinglePlus+0x3e3>
movslq %eax,%rbp
movslq %r12d,%rax
mov    %rax,0x10(%rsp)
movslq %r14d,%r14
add    $0x2,%rbp
mov    %r15,%r12
movsbl 0x1(%r15,%rcx,1),%r13d
nop
mov    %edi,%r15d
mov    %rbx,%rdi
mov    %r13d,%esi
call   1040 <firstOccur@plt>
movzbl (%rbx,%rax,1),%eax
xor    %edi,%edi
cmp    -0x1(%r12,%rbp,1),%al
sete   %dil
add    %r15d,%edi
cmp    %r14,%rbp
jge    1503 <patternSinglePlus+0x3e3>
lea    0x1(%rbp),%rax
cmp    0x10(%rsp),%rbp
mov    %rax,%rbp
jl     14d0 <patternSinglePlus+0x3b0>
mov    0x8(%rsp),%rdx
lea    -0x1(%rdx),%ecx
mov    $0x1,%eax
cmp    %ecx,%edi
je     151a <patternSinglePlus+0x3fa>
cmp    %edx,%edi
je     151a <patternSinglePlus+0x3fa>
xor    %eax,%eax
add    $0x18,%rsp
pop    %rbx
pop    %r12
pop    %r13
pop    %r14
pop    %r15
pop    %rbp
ret
pxor   %xmm1,%xmm1
mov    $0x1,%esi
test   $0x1,%cl
jne    1415 <patternSinglePlus+0x2f5>
jmp    145d <patternSinglePlus+0x33d>
pxor   %xmm1,%xmm1
xor    %ebp,%ebp
pxor   %xmm2,%xmm2
test   $0x1,%r8b
jne    1281 <patternSinglePlus+0x161>
jmp    12de <patternSinglePlus+0x1be>

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

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