#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 */
typedef scalar_t__ int16_t;

/* Variables and functions */
long i_paranoia_overlap2(int16_t *buffA, int16_t *buffB, char *flagsA,
                         char *flagsB, long offsetA, long offsetB, long sizeA,
                         long sizeB, long *ret_begin, long *ret_end) {
  long beginA = offsetA, endA = offsetA;
  long beginB = offsetB, endB = offsetB;
  for (; beginA >= 0 && beginB >= 0; beginA--, beginB--) {
    if (buffA[beginA] != buffB[beginB])
      break;
    if ((flagsA[beginA] & flagsB[beginB] & 1)) {
      beginA--;
      beginB--;
      break;
    }
    if ((flagsA[beginA] & 2) || (flagsB[beginB] & 2))
      break;
  }
  beginA++;
  beginB++;
  for (; endA < sizeA && endB < sizeB; endA++, endB++) {
    if (buffA[endA] != buffB[endB])
      break;
    if ((flagsA[endA] & flagsB[endB] & 1) && endA != beginA) {
      break;
    }
    if ((flagsA[endA] & 2) || (flagsB[endB] & 2))
      break;
  }
  if (ret_begin)
    *ret_begin = beginA;
  if (ret_end)
    *ret_end = endA;
  return (endA - beginA);
}


x86 assembly (clang, -O0):
<i_paranoia_overlap2>:
push   %rbp
mov    %rsp,%rbp
mov    0x28(%rbp),%rax
mov    0x20(%rbp),%rax
mov    0x18(%rbp),%rax
mov    0x10(%rbp),%rax
mov    %rdi,-0x8(%rbp)
mov    %rsi,-0x10(%rbp)
mov    %rdx,-0x18(%rbp)
mov    %rcx,-0x20(%rbp)
mov    %r8,-0x28(%rbp)
mov    %r9,-0x30(%rbp)
mov    -0x28(%rbp),%rax
mov    %rax,-0x38(%rbp)
mov    -0x28(%rbp),%rax
mov    %rax,-0x40(%rbp)
mov    -0x30(%rbp),%rax
mov    %rax,-0x48(%rbp)
mov    -0x30(%rbp),%rax
mov    %rax,-0x50(%rbp)
xor    %eax,%eax
cmpq   $0x0,-0x38(%rbp)
mov    %al,-0x51(%rbp)
jl     1167 <i_paranoia_overlap2+0x67>
cmpq   $0x0,-0x48(%rbp)
setge  %al
mov    %al,-0x51(%rbp)
mov    -0x51(%rbp),%al
test   $0x1,%al
jne    1177 <i_paranoia_overlap2+0x77>
jmp    1234 <i_paranoia_overlap2+0x134>
mov    -0x8(%rbp),%rax
mov    -0x38(%rbp),%rcx
mov    (%rax,%rcx,8),%rax
mov    -0x10(%rbp),%rcx
mov    -0x48(%rbp),%rdx
cmp    (%rcx,%rdx,8),%rax
je     119a <i_paranoia_overlap2+0x9a>
jmp    1234 <i_paranoia_overlap2+0x134>
mov    -0x18(%rbp),%rax
mov    -0x38(%rbp),%rcx
movsbl (%rax,%rcx,1),%eax
mov    -0x20(%rbp),%rcx
mov    -0x48(%rbp),%rdx
movsbl (%rcx,%rdx,1),%ecx
and    %ecx,%eax
and    $0x1,%eax
cmp    $0x0,%eax
je     11dd <i_paranoia_overlap2+0xdd>
mov    -0x38(%rbp),%rax
add    $0xffffffffffffffff,%rax
mov    %rax,-0x38(%rbp)
mov    -0x48(%rbp),%rax
add    $0xffffffffffffffff,%rax
mov    %rax,-0x48(%rbp)
jmp    1234 <i_paranoia_overlap2+0x134>
mov    -0x18(%rbp),%rax
mov    -0x38(%rbp),%rcx
movsbl (%rax,%rcx,1),%eax
and    $0x2,%eax
cmp    $0x0,%eax
jne    120d <i_paranoia_overlap2+0x10d>
mov    -0x20(%rbp),%rax
mov    -0x48(%rbp),%rcx
movsbl (%rax,%rcx,1),%eax
and    $0x2,%eax
cmp    $0x0,%eax
je     1212 <i_paranoia_overlap2+0x112>
jmp    1234 <i_paranoia_overlap2+0x134>
jmp    1217 <i_paranoia_overlap2+0x117>
mov    -0x38(%rbp),%rax
add    $0xffffffffffffffff,%rax
mov    %rax,-0x38(%rbp)
mov    -0x48(%rbp),%rax
add    $0xffffffffffffffff,%rax
mov    %rax,-0x48(%rbp)
jmp    114c <i_paranoia_overlap2+0x4c>
mov    -0x38(%rbp),%rax
add    $0x1,%rax
mov    %rax,-0x38(%rbp)
mov    -0x48(%rbp),%rax
add    $0x1,%rax
mov    %rax,-0x48(%rbp)
mov    -0x40(%rbp),%rcx
xor    %eax,%eax
cmp    0x10(%rbp),%rcx
mov    %al,-0x52(%rbp)
jge    126d <i_paranoia_overlap2+0x16d>
mov    -0x50(%rbp),%rax
cmp    0x18(%rbp),%rax
setl   %al
mov    %al,-0x52(%rbp)
mov    -0x52(%rbp),%al
test   $0x1,%al
jne    127d <i_paranoia_overlap2+0x17d>
jmp    1330 <i_paranoia_overlap2+0x230>
mov    -0x8(%rbp),%rax
mov    -0x40(%rbp),%rcx
mov    (%rax,%rcx,8),%rax
mov    -0x10(%rbp),%rcx
mov    -0x50(%rbp),%rdx
cmp    (%rcx,%rdx,8),%rax
je     12a0 <i_paranoia_overlap2+0x1a0>
jmp    1330 <i_paranoia_overlap2+0x230>
mov    -0x18(%rbp),%rax
mov    -0x40(%rbp),%rcx
movsbl (%rax,%rcx,1),%eax
mov    -0x20(%rbp),%rcx
mov    -0x50(%rbp),%rdx
movsbl (%rcx,%rdx,1),%ecx
and    %ecx,%eax
and    $0x1,%eax
cmp    $0x0,%eax
je     12d9 <i_paranoia_overlap2+0x1d9>
mov    -0x40(%rbp),%rax
cmp    -0x38(%rbp),%rax
je     12d9 <i_paranoia_overlap2+0x1d9>
jmp    1330 <i_paranoia_overlap2+0x230>
mov    -0x18(%rbp),%rax
mov    -0x40(%rbp),%rcx
movsbl (%rax,%rcx,1),%eax
and    $0x2,%eax
cmp    $0x0,%eax
jne    1309 <i_paranoia_overlap2+0x209>
mov    -0x20(%rbp),%rax
mov    -0x50(%rbp),%rcx
movsbl (%rax,%rcx,1),%eax
and    $0x2,%eax
cmp    $0x0,%eax
je     130e <i_paranoia_overlap2+0x20e>
jmp    1330 <i_paranoia_overlap2+0x230>
jmp    1313 <i_paranoia_overlap2+0x213>
mov    -0x40(%rbp),%rax
add    $0x1,%rax
mov    %rax,-0x40(%rbp)
mov    -0x50(%rbp),%rax
add    $0x1,%rax
mov    %rax,-0x50(%rbp)
jmp    124c <i_paranoia_overlap2+0x14c>
cmpq   $0x0,0x20(%rbp)
je     1346 <i_paranoia_overlap2+0x246>
mov    -0x38(%rbp),%rcx
mov    0x20(%rbp),%rax
mov    %rcx,(%rax)
cmpq   $0x0,0x28(%rbp)
je     135c <i_paranoia_overlap2+0x25c>
mov    -0x40(%rbp),%rcx
mov    0x28(%rbp),%rax
mov    %rcx,(%rax)
mov    -0x40(%rbp),%rax
sub    -0x38(%rbp),%rax
pop    %rbp
ret

x86 assembly (clang, -O2):
<i_paranoia_overlap2>:
push   %rbp
push   %r15
push   %r14
push   %r13
push   %r12
push   %rbx
mov    %r8,%rax
mov    %r8,%rbp
or     %r9,%rbp
js     1169 <i_paranoia_overlap2+0x69>
mov    %r9,%r11
mov    %rax,%rbp
nopl   0x0(%rax,%rax,1)
mov    (%rdi,%rbp,8),%rbx
cmp    (%rsi,%r11,8),%rbx
jne    1166 <i_paranoia_overlap2+0x66>
movzbl (%rdx,%rbp,1),%r14d
movzbl (%rcx,%r11,1),%r8d
mov    %r14d,%ebx
and    %r8b,%bl
test   $0x1,%bl
jne    1162 <i_paranoia_overlap2+0x62>
or     %r8b,%r14b
test   $0x2,%r14b
jne    1166 <i_paranoia_overlap2+0x66>
lea    -0x1(%rbp),%r8
test   %rbp,%rbp
jle    1169 <i_paranoia_overlap2+0x69>
lea    -0x1(%r11),%rbx
mov    %r8,%rbp
test   %r11,%r11
mov    %rbx,%r11
jg     1120 <i_paranoia_overlap2+0x20>
jmp    1169 <i_paranoia_overlap2+0x69>
add    $0xffffffffffffffff,%rbp
mov    %rbp,%r8
mov    0x48(%rsp),%rbp
cmp    0x38(%rsp),%rax
jge    1219 <i_paranoia_overlap2+0x119>
cmp    0x40(%rsp),%r9
jge    1219 <i_paranoia_overlap2+0x119>
add    %r9,%rcx
lea    (%rsi,%r9,8),%r15
add    %rax,%rdx
lea    (%rdi,%rax,8),%r12
mov    %r8,%r13
not    %r13
add    %rax,%r13
xor    %edi,%edi
mov    %rax,%rsi
mov    (%r12,%rdi,8),%rbx
cmp    (%r15,%rdi,8),%rbx
jne    120c <i_paranoia_overlap2+0x10c>
lea    (%rdi,%r13,1),%r11
movzbl (%rdx,%rdi,1),%r10d
movzbl (%rcx,%rdi,1),%ebp
mov    %r10d,%ebx
and    %bpl,%bl
test   $0x1,%bl
sete   %r14b
test   %r11,%r11
sete   %bl
or     %r14b,%bl
cmp    $0x1,%bl
jne    1211 <i_paranoia_overlap2+0x111>
and    $0x2,%r10b
jne    1211 <i_paranoia_overlap2+0x111>
and    $0x2,%bpl
jne    1211 <i_paranoia_overlap2+0x111>
lea    (%rax,%rdi,1),%rbp
add    $0x1,%rbp
lea    0x1(%rdi),%rbx
cmp    0x38(%rsp),%rbp
jge    1207 <i_paranoia_overlap2+0x107>
add    $0x1,%rsi
lea    (%r9,%rdi,1),%rbp
add    $0x1,%rbp
mov    %rbx,%rdi
cmp    0x40(%rsp),%rbp
jl     11a0 <i_paranoia_overlap2+0xa0>
add    %rbx,%rax
jmp    1214 <i_paranoia_overlap2+0x114>
add    %rdi,%rax
jmp    1214 <i_paranoia_overlap2+0x114>
mov    %rsi,%rax
mov    0x48(%rsp),%rbp
mov    0x50(%rsp),%rcx
add    $0x1,%r8
test   %rbp,%rbp
je     122b <i_paranoia_overlap2+0x12b>
mov    %r8,0x0(%rbp)
test   %rcx,%rcx
je     1233 <i_paranoia_overlap2+0x133>
mov    %rax,(%rcx)
sub    %r8,%rax
pop    %rbx
pop    %r12
pop    %r13
pop    %r14
pop    %r15
pop    %rbp
ret

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

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