#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 plusDotsCount(char *);
int strleng(char *);
int strlengIgnoreSlash(char *);
int patternDotAfterPlus(char *pattern, char *line) {
  int n = strlengIgnoreSlash(pattern);
  int m = strleng(line);
  int matches = 0;
  int i = 0;
  int plusDots = plusDotsCount(pattern);
  for (int j = 0; j < m; j++) {
    if (pattern[i] == '\\') {
      if (i + 2 < m && pattern[i + 1] == 'n') {
        i = i + 1;
      }
      i++;
    }
    if (i + 1 > m && pattern[i] == line[j]) {
      matches++;
      if (i != n) {
        i++;
      }
    } else if (pattern[i] == '+' && pattern[i + 1] != '\\') {
      if (i != n) {
        i++;
      }
    } else if (pattern[i] == '+' || pattern[i] == '.') {
      if (i != n) {
        i++;
      }
    } else if (pattern[i] == line[j]) {
      matches++;
      if (line[j] == '\n') {
        line[j] = '\0';
      }
      if (i != n) {
        i++;
      }
    }
  }
  if (matches == n - 1 || matches == n || matches >= n - plusDots - 1) {
    return 1;
  }
  return 0;
}


x86 assembly (clang, -O0):
<patternDotAfterPlus>:
push   %rbp
mov    %rsp,%rbp
sub    $0x30,%rsp
mov    %rdi,-0x10(%rbp)
mov    %rsi,-0x18(%rbp)
mov    -0x10(%rbp),%rdi
call   1050 <strlengIgnoreSlash@plt>
mov    %eax,-0x1c(%rbp)
mov    -0x18(%rbp),%rdi
call   1040 <strleng@plt>
mov    %eax,-0x20(%rbp)
movl   $0x0,-0x24(%rbp)
movl   $0x0,-0x28(%rbp)
mov    -0x10(%rbp),%rdi
call   1030 <plusDotsCount@plt>
mov    %eax,-0x2c(%rbp)
movl   $0x0,-0x30(%rbp)
mov    -0x30(%rbp),%eax
cmp    -0x20(%rbp),%eax
jge    133a <patternDotAfterPlus+0x20a>
mov    -0x10(%rbp),%rax
movslq -0x28(%rbp),%rcx
movsbl (%rax,%rcx,1),%eax
cmp    $0x5c,%eax
jne    11d5 <patternDotAfterPlus+0xa5>
mov    -0x28(%rbp),%eax
add    $0x2,%eax
cmp    -0x20(%rbp),%eax
jge    11cc <patternDotAfterPlus+0x9c>
mov    -0x10(%rbp),%rax
mov    -0x28(%rbp),%ecx
add    $0x1,%ecx
movslq %ecx,%rcx
movsbl (%rax,%rcx,1),%eax
cmp    $0x6e,%eax
jne    11cc <patternDotAfterPlus+0x9c>
mov    -0x28(%rbp),%eax
add    $0x1,%eax
mov    %eax,-0x28(%rbp)
mov    -0x28(%rbp),%eax
add    $0x1,%eax
mov    %eax,-0x28(%rbp)
mov    -0x28(%rbp),%eax
add    $0x1,%eax
cmp    -0x20(%rbp),%eax
jle    1227 <patternDotAfterPlus+0xf7>
mov    -0x10(%rbp),%rax
movslq -0x28(%rbp),%rcx
movsbl (%rax,%rcx,1),%eax
mov    -0x18(%rbp),%rcx
movslq -0x30(%rbp),%rdx
movsbl (%rcx,%rdx,1),%ecx
cmp    %ecx,%eax
jne    1227 <patternDotAfterPlus+0xf7>
mov    -0x24(%rbp),%eax
add    $0x1,%eax
mov    %eax,-0x24(%rbp)
mov    -0x28(%rbp),%eax
cmp    -0x1c(%rbp),%eax
je     1222 <patternDotAfterPlus+0xf2>
mov    -0x28(%rbp),%eax
add    $0x1,%eax
mov    %eax,-0x28(%rbp)
jmp    1327 <patternDotAfterPlus+0x1f7>
mov    -0x10(%rbp),%rax
movslq -0x28(%rbp),%rcx
movsbl (%rax,%rcx,1),%eax
cmp    $0x2b,%eax
jne    1270 <patternDotAfterPlus+0x140>
mov    -0x10(%rbp),%rax
mov    -0x28(%rbp),%ecx
add    $0x1,%ecx
movslq %ecx,%rcx
movsbl (%rax,%rcx,1),%eax
cmp    $0x5c,%eax
je     1270 <patternDotAfterPlus+0x140>
mov    -0x28(%rbp),%eax
cmp    -0x1c(%rbp),%eax
je     126b <patternDotAfterPlus+0x13b>
mov    -0x28(%rbp),%eax
add    $0x1,%eax
mov    %eax,-0x28(%rbp)
jmp    1322 <patternDotAfterPlus+0x1f2>
mov    -0x10(%rbp),%rax
movslq -0x28(%rbp),%rcx
movsbl (%rax,%rcx,1),%eax
cmp    $0x2b,%eax
je     129a <patternDotAfterPlus+0x16a>
mov    -0x10(%rbp),%rax
movslq -0x28(%rbp),%rcx
movsbl (%rax,%rcx,1),%eax
cmp    $0x2e,%eax
jne    12b4 <patternDotAfterPlus+0x184>
mov    -0x28(%rbp),%eax
cmp    -0x1c(%rbp),%eax
je     12af <patternDotAfterPlus+0x17f>
mov    -0x28(%rbp),%eax
add    $0x1,%eax
mov    %eax,-0x28(%rbp)
jmp    131d <patternDotAfterPlus+0x1ed>
mov    -0x10(%rbp),%rax
movslq -0x28(%rbp),%rcx
movsbl (%rax,%rcx,1),%eax
mov    -0x18(%rbp),%rcx
movslq -0x30(%rbp),%rdx
movsbl (%rcx,%rdx,1),%ecx
cmp    %ecx,%eax
jne    1318 <patternDotAfterPlus+0x1e8>
mov    -0x24(%rbp),%eax
add    $0x1,%eax
mov    %eax,-0x24(%rbp)
mov    -0x18(%rbp),%rax
movslq -0x30(%rbp),%rcx
movsbl (%rax,%rcx,1),%eax
cmp    $0xa,%eax
jne    12fe <patternDotAfterPlus+0x1ce>
mov    -0x18(%rbp),%rax
movslq -0x30(%rbp),%rcx
movb   $0x0,(%rax,%rcx,1)
mov    -0x28(%rbp),%eax
cmp    -0x1c(%rbp),%eax
je     1313 <patternDotAfterPlus+0x1e3>
mov    -0x28(%rbp),%eax
add    $0x1,%eax
mov    %eax,-0x28(%rbp)
jmp    1318 <patternDotAfterPlus+0x1e8>
jmp    131d <patternDotAfterPlus+0x1ed>
jmp    1322 <patternDotAfterPlus+0x1f2>
jmp    1327 <patternDotAfterPlus+0x1f7>
jmp    132c <patternDotAfterPlus+0x1fc>
mov    -0x30(%rbp),%eax
add    $0x1,%eax
mov    %eax,-0x30(%rbp)
jmp    1179 <patternDotAfterPlus+0x49>
mov    -0x24(%rbp),%eax
mov    -0x1c(%rbp),%ecx
sub    $0x1,%ecx
cmp    %ecx,%eax
je     136b <patternDotAfterPlus+0x23b>
mov    -0x24(%rbp),%eax
cmp    -0x1c(%rbp),%eax
je     136b <patternDotAfterPlus+0x23b>
mov    -0x24(%rbp),%eax
mov    -0x1c(%rbp),%ecx
sub    -0x2c(%rbp),%ecx
sub    $0x1,%ecx
cmp    %ecx,%eax
jl     1377 <patternDotAfterPlus+0x247>
movl   $0x1,-0x4(%rbp)
jmp    137e <patternDotAfterPlus+0x24e>
movl   $0x0,-0x4(%rbp)
mov    -0x4(%rbp),%eax
add    $0x30,%rsp
pop    %rbp
ret

x86 assembly (clang, -O2):
<patternDotAfterPlus>:
push   %rbp
push   %r15
push   %r14
push   %r12
push   %rbx
mov    %rsi,%r14
mov    %rdi,%rbx
call   1050 <strlengIgnoreSlash@plt>
mov    %eax,%r15d
mov    %r14,%rdi
call   1040 <strleng@plt>
mov    %eax,%r12d
mov    %rbx,%rdi
call   1030 <plusDotsCount@plt>
test   %r12d,%r12d
jle    11e2 <patternDotAfterPlus+0xb2>
mov    %r12d,%r9d
xor    %esi,%esi
xor    %edi,%edi
xor    %r8d,%r8d
jmp    1183 <patternDotAfterPlus+0x53>
xchg   %ax,%ax
add    $0x1,%r8d
cmp    %r15d,%edi
cmovne %ecx,%edi
add    $0x1,%rsi
cmp    %rsi,%r9
je     11e5 <patternDotAfterPlus+0xb5>
movslq %edi,%rcx
cmpb   $0x5c,(%rbx,%rcx,1)
jne    11a3 <patternDotAfterPlus+0x73>
lea    0x2(%rdi),%edx
cmp    %r12d,%edx
jge    11a0 <patternDotAfterPlus+0x70>
lea    0x1(%rcx),%rdx
cmpb   $0x6e,0x1(%rbx,%rcx,1)
cmove  %edx,%edi
add    $0x1,%edi
movslq %edi,%rbp
lea    0x1(%rbp),%rcx
movzbl (%rbx,%rbp,1),%edx
cmp    %r12d,%ebp
jl     11b9 <patternDotAfterPlus+0x89>
cmp    (%r14,%rsi,1),%dl
je     1170 <patternDotAfterPlus+0x40>
cmp    $0x2e,%dl
je     1174 <patternDotAfterPlus+0x44>
cmp    $0x2b,%dl
jne    11d0 <patternDotAfterPlus+0xa0>
cmpb   $0x5c,(%rbx,%rcx,1)
jmp    1174 <patternDotAfterPlus+0x44>
nopl   0x0(%rax)
cmp    (%r14,%rsi,1),%dl
jne    117a <patternDotAfterPlus+0x4a>
cmp    $0xa,%dl
jne    1170 <patternDotAfterPlus+0x40>
movb   $0x0,(%r14,%rsi,1)
jmp    1170 <patternDotAfterPlus+0x40>
xor    %r8d,%r8d
lea    -0x1(%r15),%ecx
cmp    %ecx,%r8d
sete   %cl
cmp    %r15d,%r8d
sete   %dl
or     %cl,%dl
not    %eax
add    %r15d,%eax
cmp    %eax,%r8d
setge  %al
or     %dl,%al
movzbl %al,%eax
pop    %rbx
pop    %r12
pop    %r14
pop    %r15
pop    %rbp
ret

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

LLVM IR (-O2):
define i32 @patternDotAfterPlus(i8* %0, i8* %1) {
%3 = tail call i32 @strlengIgnoreSlash(i8* %0)
%4 = tail call i32 @strleng(i8* %1)
%5 = tail call i32 @plusDotsCount(i8* %0)
%6 = icmp sgt i32 %4, 0
br i1 %6, label %7, label %9
7: ; preds = %2
%8 = zext i32 %4 to i64
br label %20
9: ; preds = %79, %2
%10 = phi i32 [ 0, %2 ], [ %80, %79 ]
%11 = add nsw i32 %3, -1
%12 = icmp eq i32 %10, %11
%13 = icmp eq i32 %10, %3
%14 = or i1 %12, %13
%15 = xor i32 %5, -1
%16 = add i32 %3, %15
%17 = icmp sge i32 %10, %16
%18 = select i1 %14, i1 true, i1 %17
%19 = zext i1 %18 to i32
ret i32 %19
20: ; preds = %7, %79
%21 = phi i64 [ 0, %7 ], [ %82, %79 ]
%22 = phi i32 [ 0, %7 ], [ %81, %79 ]
%23 = phi i32 [ 0, %7 ], [ %80, %79 ]
%24 = sext i32 %22 to i64
%25 = getelementptr inbounds i8, i8* %0, i64 %24
%26 = load i8, i8* %25
%27 = icmp eq i8 %26, 92
br i1 %27, label %28, label %41
28: ; preds = %20
%29 = add nsw i32 %22, 2
%30 = icmp slt i32 %29, %4
br i1 %30, label %31, label %38
31: ; preds = %28
%32 = add nsw i32 %22, 1
%33 = sext i32 %32 to i64
%34 = getelementptr inbounds i8, i8* %0, i64 %33
%35 = load i8, i8* %34
%36 = icmp eq i8 %35, 110
%37 = select i1 %36, i32 %32, i32 %22
br label %38
38: ; preds = %31, %28
%39 = phi i32 [ %22, %28 ], [ %37, %31 ]
%40 = add nsw i32 %39, 1
br label %41
41: ; preds = %38, %20
%42 = phi i32 [ %40, %38 ], [ %22, %20 ]
%43 = add nsw i32 %42, 1
%44 = icmp slt i32 %42, %4
%45 = sext i32 %42 to i64
%46 = getelementptr inbounds i8, i8* %0, i64 %45
%47 = load i8, i8* %46
br i1 %44, label %56, label %48
48: ; preds = %41
%49 = getelementptr inbounds i8, i8* %1, i64 %21
%50 = load i8, i8* %49
%51 = icmp eq i8 %47, %50
br i1 %51, label %52, label %56
52: ; preds = %48
%53 = add nsw i32 %23, 1
%54 = icmp eq i32 %42, %3
%55 = select i1 %54, i32 %42, i32 %43
br label %79
56: ; preds = %41, %48
switch i8 %47, label %68 [
i8 43, label %57
i8 46, label %65
]
57: ; preds = %56
%58 = sext i32 %43 to i64
%59 = getelementptr inbounds i8, i8* %0, i64 %58
%60 = load i8, i8* %59
%61 = icmp eq i8 %60, 92
br i1 %61, label %65, label %62
62: ; preds = %57
%63 = icmp eq i32 %42, %3
%64 = select i1 %63, i32 %42, i32 %43
br label %79
65: ; preds = %56, %57
%66 = icmp eq i32 %42, %3
%67 = select i1 %66, i32 %42, i32 %43
br label %79
68: ; preds = %56
%69 = getelementptr inbounds i8, i8* %1, i64 %21
%70 = load i8, i8* %69
%71 = icmp eq i8 %47, %70
br i1 %71, label %72, label %79
72: ; preds = %68
%73 = add nsw i32 %23, 1
%74 = icmp eq i8 %47, 10
br i1 %74, label %75, label %76
75: ; preds = %72
store i8 0, i8* %69
br label %76
76: ; preds = %75, %72
%77 = icmp eq i32 %42, %3
%78 = select i1 %77, i32 %42, i32 %43
br label %79
79: ; preds = %76, %65, %62, %52, %68
%80 = phi i32 [ %23, %68 ], [ %53, %52 ], [ %23, %62 ], [ %23, %65 ], [ %73, %76 ]
%81 = phi i32 [ %42, %68 ], [ %55, %52 ], [ %64, %62 ], [ %67, %65 ], [ %78, %76 ]
%82 = add nuw nsw i64 %21, 1
%83 = icmp eq i64 %82, %8
br i1 %83, label %9, label %20
}