#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 */
long labs(long);
int imcomp_test_overlap(int ndim, long *tfpixel, long *tlpixel, long *fpixel,
                        long *lpixel, long *ininc, int *status) {
  long imgdim[6];
  long tiledim[6];
  long imgfpix[6];
  long imglpix[6];
  long tilefpix[6];
  long inc[6];
  int ii;
  long tf, tl;
  if (*status > 0)
    return (*status);
  for (ii = 0; ii < ndim; ii++) {
    if (tlpixel[ii] < fpixel[ii] || tfpixel[ii] > lpixel[ii])
      return (0);
    inc[ii] = ininc[ii];
    imgdim[ii] = (lpixel[ii] - fpixel[ii]) / labs(inc[ii]) + 1;
    if (imgdim[ii] < 1) {
      *status = 323;
      return (0);
    }
    tiledim[ii] = tlpixel[ii] - tfpixel[ii] + 1;
    if (tiledim[ii] < 1) {
      *status = 323;
      return (0);
    }
    if (ii > 0)
      tiledim[ii] *= tiledim[ii - 1];
    tf = tfpixel[ii] - 1;
    tl = tlpixel[ii] - 1;
    while ((tf - (fpixel[ii] - 1)) % labs(inc[ii])) {
      tf++;
      if (tf > tl)
        return (0);
    }
    while ((tl - (fpixel[ii] - 1)) % labs(inc[ii])) {
      tl--;
      if (tf > tl)
        return (0);
    }
    imgfpix[ii] = (((tf - fpixel[ii] + 1) / labs(inc[ii])) > (0)
                       ? ((tf - fpixel[ii] + 1) / labs(inc[ii]))
                       : (0));
    imglpix[ii] = (((tl - fpixel[ii] + 1) / labs(inc[ii])) < (imgdim[ii] - 1)
                       ? ((tl - fpixel[ii] + 1) / labs(inc[ii]))
                       : (imgdim[ii] - 1));
    tilefpix[ii] =
        ((fpixel[ii] - tfpixel[ii]) > (0) ? (fpixel[ii] - tfpixel[ii]) : (0));
    while ((tfpixel[ii] + tilefpix[ii] - fpixel[ii]) % labs(inc[ii])) {
      (tilefpix[ii])++;
      if (tilefpix[ii] >= tiledim[ii])
        return (0);
    }
    if (ii > 0)
      imgdim[ii] *= imgdim[ii - 1];
  }
  return (1);
}


x86 assembly (clang, -O0):
<imcomp_test_overlap>:
push   %rbp
mov    %rsp,%rbp
sub    $0x1c0,%rsp
mov    0x10(%rbp),%rax
mov    %edi,-0x8(%rbp)
mov    %rsi,-0x10(%rbp)
mov    %rdx,-0x18(%rbp)
mov    %rcx,-0x20(%rbp)
mov    %r8,-0x28(%rbp)
mov    %r9,-0x30(%rbp)
mov    0x10(%rbp),%rax
cmpl   $0x0,(%rax)
jle    1151 <imcomp_test_overlap+0x41>
mov    0x10(%rbp),%rax
mov    (%rax),%eax
mov    %eax,-0x4(%rbp)
jmp    1750 <imcomp_test_overlap+0x640>
movl   $0x0,-0x154(%rbp)
mov    -0x154(%rbp),%eax
cmp    -0x8(%rbp),%eax
jge    1749 <imcomp_test_overlap+0x639>
mov    -0x18(%rbp),%rax
movslq -0x154(%rbp),%rcx
mov    (%rax,%rcx,8),%rax
mov    -0x20(%rbp),%rcx
movslq -0x154(%rbp),%rdx
cmp    (%rcx,%rdx,8),%rax
jl     11b2 <imcomp_test_overlap+0xa2>
mov    -0x10(%rbp),%rax
movslq -0x154(%rbp),%rcx
mov    (%rax,%rcx,8),%rax
mov    -0x28(%rbp),%rcx
movslq -0x154(%rbp),%rdx
cmp    (%rcx,%rdx,8),%rax
jle    11be <imcomp_test_overlap+0xae>
movl   $0x0,-0x4(%rbp)
jmp    1750 <imcomp_test_overlap+0x640>
mov    -0x30(%rbp),%rax
movslq -0x154(%rbp),%rcx
mov    (%rax,%rcx,8),%rcx
movslq -0x154(%rbp),%rax
mov    %rcx,-0x150(%rbp,%rax,8)
ff
mov    -0x28(%rbp),%rax
movslq -0x154(%rbp),%rcx
mov    (%rax,%rcx,8),%rax
mov    -0x20(%rbp),%rcx
movslq -0x154(%rbp),%rdx
sub    (%rcx,%rdx,8),%rax
mov    %rax,-0x170(%rbp)
movslq -0x154(%rbp),%rax
mov    -0x150(%rbp,%rax,8),%rdi
ff
call   1030 <labs@plt>
mov    %rax,%rcx
mov    -0x170(%rbp),%rax
cqto
idiv   %rcx
mov    %rax,%rcx
add    $0x1,%rcx
movslq -0x154(%rbp),%rax
mov    %rcx,-0x60(%rbp,%rax,8)
movslq -0x154(%rbp),%rax
cmpq   $0x1,-0x60(%rbp,%rax,8)
jge    1260 <imcomp_test_overlap+0x150>
mov    0x10(%rbp),%rax
movl   $0x143,(%rax)
movl   $0x0,-0x4(%rbp)
jmp    1750 <imcomp_test_overlap+0x640>
mov    -0x18(%rbp),%rax
movslq -0x154(%rbp),%rcx
mov    (%rax,%rcx,8),%rcx
mov    -0x10(%rbp),%rax
movslq -0x154(%rbp),%rdx
sub    (%rax,%rdx,8),%rcx
add    $0x1,%rcx
movslq -0x154(%rbp),%rax
mov    %rcx,-0x90(%rbp,%rax,8)
ff
movslq -0x154(%rbp),%rax
cmpq   $0x1,-0x90(%rbp,%rax,8)
ff 01
jge    12bd <imcomp_test_overlap+0x1ad>
mov    0x10(%rbp),%rax
movl   $0x143,(%rax)
movl   $0x0,-0x4(%rbp)
jmp    1750 <imcomp_test_overlap+0x640>
cmpl   $0x0,-0x154(%rbp)
jle    12f5 <imcomp_test_overlap+0x1e5>
mov    -0x154(%rbp),%eax
sub    $0x1,%eax
cltq
mov    -0x90(%rbp,%rax,8),%rcx
ff
movslq -0x154(%rbp),%rax
imul   -0x90(%rbp,%rax,8),%rcx
ff ff
mov    %rcx,-0x90(%rbp,%rax,8)
ff
mov    -0x10(%rbp),%rax
movslq -0x154(%rbp),%rcx
mov    (%rax,%rcx,8),%rax
sub    $0x1,%rax
mov    %rax,-0x160(%rbp)
mov    -0x18(%rbp),%rax
movslq -0x154(%rbp),%rcx
mov    (%rax,%rcx,8),%rax
sub    $0x1,%rax
mov    %rax,-0x168(%rbp)
mov    -0x160(%rbp),%rax
mov    -0x20(%rbp),%rcx
movslq -0x154(%rbp),%rdx
mov    (%rcx,%rdx,8),%rcx
sub    $0x1,%rcx
sub    %rcx,%rax
mov    %rax,-0x178(%rbp)
movslq -0x154(%rbp),%rax
mov    -0x150(%rbp,%rax,8),%rdi
ff
call   1030 <labs@plt>
mov    %rax,%rcx
mov    -0x178(%rbp),%rax
cqto
idiv   %rcx
cmp    $0x0,%rdx
je     13b1 <imcomp_test_overlap+0x2a1>
mov    -0x160(%rbp),%rax
add    $0x1,%rax
mov    %rax,-0x160(%rbp)
mov    -0x160(%rbp),%rax
cmp    -0x168(%rbp),%rax
jle    13ac <imcomp_test_overlap+0x29c>
movl   $0x0,-0x4(%rbp)
jmp    1750 <imcomp_test_overlap+0x640>
jmp    1329 <imcomp_test_overlap+0x219>
jmp    13b6 <imcomp_test_overlap+0x2a6>
mov    -0x168(%rbp),%rax
mov    -0x20(%rbp),%rcx
movslq -0x154(%rbp),%rdx
mov    (%rcx,%rdx,8),%rcx
sub    $0x1,%rcx
sub    %rcx,%rax
mov    %rax,-0x180(%rbp)
movslq -0x154(%rbp),%rax
mov    -0x150(%rbp,%rax,8),%rdi
ff
call   1030 <labs@plt>
mov    %rax,%rcx
mov    -0x180(%rbp),%rax
cqto
idiv   %rcx
cmp    $0x0,%rdx
je     143e <imcomp_test_overlap+0x32e>
mov    -0x168(%rbp),%rax
add    $0xffffffffffffffff,%rax
mov    %rax,-0x168(%rbp)
mov    -0x160(%rbp),%rax
cmp    -0x168(%rbp),%rax
jle    1439 <imcomp_test_overlap+0x329>
movl   $0x0,-0x4(%rbp)
jmp    1750 <imcomp_test_overlap+0x640>
jmp    13b6 <imcomp_test_overlap+0x2a6>
mov    -0x160(%rbp),%rax
mov    -0x20(%rbp),%rcx
movslq -0x154(%rbp),%rdx
sub    (%rcx,%rdx,8),%rax
add    $0x1,%rax
mov    %rax,-0x188(%rbp)
movslq -0x154(%rbp),%rax
mov    -0x150(%rbp,%rax,8),%rdi
ff
call   1030 <labs@plt>
mov    %rax,%rcx
mov    -0x188(%rbp),%rax
cqto
idiv   %rcx
cmp    $0x0,%rax
jle    14dc <imcomp_test_overlap+0x3cc>
mov    -0x160(%rbp),%rax
mov    -0x20(%rbp),%rcx
movslq -0x154(%rbp),%rdx
sub    (%rcx,%rdx,8),%rax
add    $0x1,%rax
mov    %rax,-0x198(%rbp)
movslq -0x154(%rbp),%rax
mov    -0x150(%rbp,%rax,8),%rdi
ff
call   1030 <labs@plt>
mov    %rax,%rcx
mov    -0x198(%rbp),%rax
cqto
idiv   %rcx
mov    %rax,-0x190(%rbp)
jmp    14ea <imcomp_test_overlap+0x3da>
xor    %eax,%eax
mov    %rax,-0x190(%rbp)
jmp    14ea <imcomp_test_overlap+0x3da>
mov    -0x190(%rbp),%rcx
movslq -0x154(%rbp),%rax
mov    %rcx,-0xc0(%rbp,%rax,8)
ff
mov    -0x168(%rbp),%rax
mov    -0x20(%rbp),%rcx
movslq -0x154(%rbp),%rdx
sub    (%rcx,%rdx,8),%rax
add    $0x1,%rax
mov    %rax,-0x1a0(%rbp)
movslq -0x154(%rbp),%rax
mov    -0x150(%rbp,%rax,8),%rdi
ff
call   1030 <labs@plt>
mov    %rax,%rcx
mov    -0x1a0(%rbp),%rax
cqto
idiv   %rcx
movslq -0x154(%rbp),%rcx
mov    -0x60(%rbp,%rcx,8),%rcx
sub    $0x1,%rcx
cmp    %rcx,%rax
jge    15ad <imcomp_test_overlap+0x49d>
mov    -0x168(%rbp),%rax
mov    -0x20(%rbp),%rcx
movslq -0x154(%rbp),%rdx
sub    (%rcx,%rdx,8),%rax
add    $0x1,%rax
mov    %rax,-0x1b0(%rbp)
movslq -0x154(%rbp),%rax
mov    -0x150(%rbp,%rax,8),%rdi
ff
call   1030 <labs@plt>
mov    %rax,%rcx
mov    -0x1b0(%rbp),%rax
cqto
idiv   %rcx
mov    %rax,-0x1a8(%rbp)
jmp    15c4 <imcomp_test_overlap+0x4b4>
movslq -0x154(%rbp),%rax
mov    -0x60(%rbp,%rax,8),%rax
sub    $0x1,%rax
mov    %rax,-0x1a8(%rbp)
mov    -0x1a8(%rbp),%rcx
movslq -0x154(%rbp),%rax
mov    %rcx,-0xf0(%rbp,%rax,8)
ff
mov    -0x20(%rbp),%rax
movslq -0x154(%rbp),%rcx
mov    (%rax,%rcx,8),%rax
mov    -0x10(%rbp),%rcx
movslq -0x154(%rbp),%rdx
sub    (%rcx,%rdx,8),%rax
cmp    $0x0,%rax
jle    162c <imcomp_test_overlap+0x51c>
mov    -0x20(%rbp),%rax
movslq -0x154(%rbp),%rcx
mov    (%rax,%rcx,8),%rax
mov    -0x10(%rbp),%rcx
movslq -0x154(%rbp),%rdx
sub    (%rcx,%rdx,8),%rax
mov    %rax,-0x1b8(%rbp)
jmp    163a <imcomp_test_overlap+0x52a>
xor    %eax,%eax
mov    %rax,-0x1b8(%rbp)
jmp    163a <imcomp_test_overlap+0x52a>
mov    -0x1b8(%rbp),%rcx
movslq -0x154(%rbp),%rax
mov    %rcx,-0x120(%rbp,%rax,8)
ff
mov    -0x10(%rbp),%rax
movslq -0x154(%rbp),%rcx
mov    (%rax,%rcx,8),%rax
movslq -0x154(%rbp),%rcx
add    -0x120(%rbp,%rcx,8),%rax
ff
mov    -0x20(%rbp),%rcx
movslq -0x154(%rbp),%rdx
sub    (%rcx,%rdx,8),%rax
mov    %rax,-0x1c0(%rbp)
movslq -0x154(%rbp),%rax
mov    -0x150(%rbp,%rax,8),%rdi
ff
call   1030 <labs@plt>
mov    %rax,%rcx
mov    -0x1c0(%rbp),%rax
cqto
idiv   %rcx
cmp    $0x0,%rdx
je     1701 <imcomp_test_overlap+0x5f1>
movslq -0x154(%rbp),%rax
mov    -0x120(%rbp,%rax,8),%rcx
ff
add    $0x1,%rcx
mov    %rcx,-0x120(%rbp,%rax,8)
ff
movslq -0x154(%rbp),%rax
mov    -0x120(%rbp,%rax,8),%rax
ff
movslq -0x154(%rbp),%rcx
cmp    -0x90(%rbp,%rcx,8),%rax
ff
jl     16fc <imcomp_test_overlap+0x5ec>
movl   $0x0,-0x4(%rbp)
jmp    1750 <imcomp_test_overlap+0x640>
jmp    1650 <imcomp_test_overlap+0x540>
cmpl   $0x0,-0x154(%rbp)
jle    1730 <imcomp_test_overlap+0x620>
mov    -0x154(%rbp),%eax
sub    $0x1,%eax
cltq
mov    -0x60(%rbp,%rax,8),%rcx
movslq -0x154(%rbp),%rax
imul   -0x60(%rbp,%rax,8),%rcx
mov    %rcx,-0x60(%rbp,%rax,8)
jmp    1735 <imcomp_test_overlap+0x625>
mov    -0x154(%rbp),%eax
add    $0x1,%eax
mov    %eax,-0x154(%rbp)
jmp    115b <imcomp_test_overlap+0x4b>
movl   $0x1,-0x4(%rbp)
mov    -0x4(%rbp),%eax
add    $0x1c0,%rsp
pop    %rbp
ret

x86 assembly (clang, -O2):
<imcomp_test_overlap>:
push   %rbp
push   %r15
push   %r14
push   %r13
push   %r12
push   %rbx
push   %rax
mov    0x40(%rsp),%rax
mov    (%rax),%r11d
test   %r11d,%r11d
jle    112a <imcomp_test_overlap+0x2a>
mov    %r11d,%eax
add    $0x8,%rsp
pop    %rbx
pop    %r12
pop    %r13
pop    %r14
pop    %r15
pop    %rbp
ret
test   %edi,%edi
jle    12e2 <imcomp_test_overlap+0x1e2>
mov    %rdx,%rbx
mov    %edi,%eax
mov    %rax,-0x70(%rsp)
xor    %r11d,%r11d
mov    $0xffffffff,%r14d
xor    %r13d,%r13d
mov    %rsi,-0x68(%rsp)
mov    (%rbx,%r13,8),%r15
mov    (%rcx,%r13,8),%r10
cmp    %r10,%r15
jl     1118 <imcomp_test_overlap+0x18>
mov    (%rsi,%r13,8),%rbp
mov    (%r8,%r13,8),%rax
cmp    %rax,%rbp
jg     1118 <imcomp_test_overlap+0x18>
mov    (%r9,%r13,8),%rdx
sub    %r10,%rax
mov    %rdx,%rdi
neg    %rdi
cmovs  %rdx,%rdi
mov    %rax,%rdx
or     %rdi,%rdx
shr    $0x20,%rdx
je     118b <imcomp_test_overlap+0x8b>
cqto
idiv   %rdi
jmp    118f <imcomp_test_overlap+0x8f>
xor    %edx,%edx
div    %edi
lea    0x1(%rax),%rsi
mov    %rsi,-0x30(%rsp,%r13,8)
test   %rax,%rax
js     12ed <imcomp_test_overlap+0x1ed>
mov    %r15,%rax
sub    %rbp,%rax
lea    0x1(%rax),%r12
mov    %r12,-0x60(%rsp,%r13,8)
test   %rax,%rax
js     12ed <imcomp_test_overlap+0x1ed>
test   %r13,%r13
mov    %r8,-0x78(%rsp)
mov    %rbx,-0x80(%rsp)
je     11d7 <imcomp_test_overlap+0xd7>
lea    (%r14,%r13,1),%eax
imul   -0x60(%rsp,%rax,8),%r12
mov    %r12,-0x60(%rsp,%r13,8)
lea    -0x1(%r15),%r8
mov    %r10,%r14
neg    %r14
mov    %rbp,%rbx
jmp    120d <imcomp_test_overlap+0x10d>
cs nopw 0x0(%rax,%rax,1)
xor    %edx,%edx
div    %edi
test   %rdx,%rdx
je     1227 <imcomp_test_overlap+0x127>
lea    0x1(%rbx),%rax
add    $0xffffffffffffffff,%rbx
cmp    %r8,%rbx
mov    %rax,%rbx
jge    1118 <imcomp_test_overlap+0x18>
lea    (%r14,%rbx,1),%rax
mov    %rax,%rdx
or     %rdi,%rdx
shr    $0x20,%rdx
je     11f0 <imcomp_test_overlap+0xf0>
cqto
idiv   %rdi
test   %rdx,%rdx
jne    11f9 <imcomp_test_overlap+0xf9>
add    $0xffffffffffffffff,%rbx
jmp    1246 <imcomp_test_overlap+0x146>
nopl   (%rax)
xor    %edx,%edx
div    %edi
test   %rdx,%rdx
je     1260 <imcomp_test_overlap+0x160>
add    $0xffffffffffffffff,%r15
cmp    %r15,%rbx
jge    1118 <imcomp_test_overlap+0x18>
lea    (%r14,%r15,1),%rax
mov    %rax,%rdx
or     %rdi,%rdx
shr    $0x20,%rdx
je     1230 <imcomp_test_overlap+0x130>
cqto
idiv   %rdi
test   %rdx,%rdx
jne    1239 <imcomp_test_overlap+0x139>
mov    %r10,%rbx
sub    %rbp,%rbx
cmovs  %r11,%rbx
sub    %r10,%rbp
mov    $0xffffffff,%r14d
jmp    1296 <imcomp_test_overlap+0x196>
cs nopw 0x0(%rax,%rax,1)
nop
xor    %edx,%edx
div    %edi
test   %rdx,%rdx
je     12b0 <imcomp_test_overlap+0x1b0>
add    $0x1,%rbx
cmp    %r12,%rbx
jge    1118 <imcomp_test_overlap+0x18>
lea    (%rbx,%rbp,1),%rax
mov    %rax,%rdx
or     %rdi,%rdx
shr    $0x20,%rdx
je     1280 <imcomp_test_overlap+0x180>
cqto
idiv   %rdi
test   %rdx,%rdx
jne    1289 <imcomp_test_overlap+0x189>
test   %r13,%r13
je     12c4 <imcomp_test_overlap+0x1c4>
lea    (%r14,%r13,1),%eax
imul   -0x30(%rsp,%rax,8),%rsi
mov    %rsi,-0x30(%rsp,%r13,8)
add    $0x1,%r13
cmp    -0x70(%rsp),%r13
mov    -0x78(%rsp),%r8
mov    -0x80(%rsp),%rbx
mov    -0x68(%rsp),%rsi
jne    114d <imcomp_test_overlap+0x4d>
mov    $0x1,%r11d
jmp    1118 <imcomp_test_overlap+0x18>
mov    0x40(%rsp),%rax
movl   $0x143,(%rax)
jmp    1118 <imcomp_test_overlap+0x18>

LLVM IR (-O0):
define i32 @imcomp_test_overlap(i32 %0, i64* %1, i64* %2, i64* %3, i64* %4, i64* %5, i32* %6) {
%8 = alloca i32
%9 = alloca i32
%10 = alloca i64*
%11 = alloca i64*
%12 = alloca i64*
%13 = alloca i64*
%14 = alloca i64*
%15 = alloca i32*
%16 = alloca [6 x i64]
%17 = alloca [6 x i64]
%18 = alloca [6 x i64]
%19 = alloca [6 x i64]
%20 = alloca [6 x i64]
%21 = alloca [6 x i64]
%22 = alloca i32
%23 = alloca i64
%24 = alloca i64
store i32 %0, i32* %9
store i64* %1, i64** %10
store i64* %2, i64** %11
store i64* %3, i64** %12
store i64* %4, i64** %13
store i64* %5, i64** %14
store i32* %6, i32** %15
%25 = load i32*, i32** %15
%26 = load i32, i32* %25
%27 = icmp sgt i32 %26, 0
br i1 %27, label %28, label %31
28: ; preds = %7
%29 = load i32*, i32** %15
%30 = load i32, i32* %29
store i32 %30, i32* %8
br label %370
31: ; preds = %7
store i32 0, i32* %22
br label %32
32: ; preds = %366, %31
%33 = load i32, i32* %22
%34 = load i32, i32* %9
%35 = icmp slt i32 %33, %34
br i1 %35, label %36, label %369
36: ; preds = %32
%37 = load i64*, i64** %11
%38 = load i32, i32* %22
%39 = sext i32 %38 to i64
%40 = getelementptr inbounds i64, i64* %37, i64 %39
%41 = load i64, i64* %40
%42 = load i64*, i64** %12
%43 = load i32, i32* %22
%44 = sext i32 %43 to i64
%45 = getelementptr inbounds i64, i64* %42, i64 %44
%46 = load i64, i64* %45
%47 = icmp slt i64 %41, %46
br i1 %47, label %60, label %48
48: ; preds = %36
%49 = load i64*, i64** %10
%50 = load i32, i32* %22
%51 = sext i32 %50 to i64
%52 = getelementptr inbounds i64, i64* %49, i64 %51
%53 = load i64, i64* %52
%54 = load i64*, i64** %13
%55 = load i32, i32* %22
%56 = sext i32 %55 to i64
%57 = getelementptr inbounds i64, i64* %54, i64 %56
%58 = load i64, i64* %57
%59 = icmp sgt i64 %53, %58
br i1 %59, label %60, label %61
60: ; preds = %48, %36
store i32 0, i32* %8
br label %370
61: ; preds = %48
%62 = load i64*, i64** %14
%63 = load i32, i32* %22
%64 = sext i32 %63 to i64
%65 = getelementptr inbounds i64, i64* %62, i64 %64
%66 = load i64, i64* %65
%67 = load i32, i32* %22
%68 = sext i32 %67 to i64
%69 = getelementptr inbounds [6 x i64], [6 x i64]* %21, i64 0, i64 %68
store i64 %66, i64* %69
%70 = load i64*, i64** %13
%71 = load i32, i32* %22
%72 = sext i32 %71 to i64
%73 = getelementptr inbounds i64, i64* %70, i64 %72
%74 = load i64, i64* %73
%75 = load i64*, i64** %12
%76 = load i32, i32* %22
%77 = sext i32 %76 to i64
%78 = getelementptr inbounds i64, i64* %75, i64 %77
%79 = load i64, i64* %78
%80 = sub nsw i64 %74, %79
%81 = load i32, i32* %22
%82 = sext i32 %81 to i64
%83 = getelementptr inbounds [6 x i64], [6 x i64]* %21, i64 0, i64 %82
%84 = load i64, i64* %83
%85 = call i64 @labs(i64 %84)
%86 = sdiv i64 %80, %85
%87 = add nsw i64 %86, 1
%88 = load i32, i32* %22
%89 = sext i32 %88 to i64
%90 = getelementptr inbounds [6 x i64], [6 x i64]* %16, i64 0, i64 %89
store i64 %87, i64* %90
%91 = load i32, i32* %22
%92 = sext i32 %91 to i64
%93 = getelementptr inbounds [6 x i64], [6 x i64]* %16, i64 0, i64 %92
%94 = load i64, i64* %93
%95 = icmp slt i64 %94, 1
br i1 %95, label %96, label %98
96: ; preds = %61
%97 = load i32*, i32** %15
store i32 323, i32* %97
store i32 0, i32* %8
br label %370
98: ; preds = %61
%99 = load i64*, i64** %11
%100 = load i32, i32* %22
%101 = sext i32 %100 to i64
%102 = getelementptr inbounds i64, i64* %99, i64 %101
%103 = load i64, i64* %102
%104 = load i64*, i64** %10
%105 = load i32, i32* %22
%106 = sext i32 %105 to i64
%107 = getelementptr inbounds i64, i64* %104, i64 %106
%108 = load i64, i64* %107
%109 = sub nsw i64 %103, %108
%110 = add nsw i64 %109, 1
%111 = load i32, i32* %22
%112 = sext i32 %111 to i64
%113 = getelementptr inbounds [6 x i64], [6 x i64]* %17, i64 0, i64 %112
store i64 %110, i64* %113
%114 = load i32, i32* %22
%115 = sext i32 %114 to i64
%116 = getelementptr inbounds [6 x i64], [6 x i64]* %17, i64 0, i64 %115
%117 = load i64, i64* %116
%118 = icmp slt i64 %117, 1
br i1 %118, label %119, label %121
119: ; preds = %98
%120 = load i32*, i32** %15
store i32 323, i32* %120
store i32 0, i32* %8
br label %370
121: ; preds = %98
%122 = load i32, i32* %22
%123 = icmp sgt i32 %122, 0
br i1 %123, label %124, label %135
124: ; preds = %121
%125 = load i32, i32* %22
%126 = sub nsw i32 %125, 1
%127 = sext i32 %126 to i64
%128 = getelementptr inbounds [6 x i64], [6 x i64]* %17, i64 0, i64 %127
%129 = load i64, i64* %128
%130 = load i32, i32* %22
%131 = sext i32 %130 to i64
%132 = getelementptr inbounds [6 x i64], [6 x i64]* %17, i64 0, i64 %131
%133 = load i64, i64* %132
%134 = mul nsw i64 %133, %129
store i64 %134, i64* %132
br label %135
135: ; preds = %124, %121
%136 = load i64*, i64** %10
%137 = load i32, i32* %22
%138 = sext i32 %137 to i64
%139 = getelementptr inbounds i64, i64* %136, i64 %138
%140 = load i64, i64* %139
%141 = sub nsw i64 %140, 1
store i64 %141, i64* %23
%142 = load i64*, i64** %11
%143 = load i32, i32* %22
%144 = sext i32 %143 to i64
%145 = getelementptr inbounds i64, i64* %142, i64 %144
%146 = load i64, i64* %145
%147 = sub nsw i64 %146, 1
store i64 %147, i64* %24
br label %148
148: ; preds = %171, %135
%149 = load i64, i64* %23
%150 = load i64*, i64** %12
%151 = load i32, i32* %22
%152 = sext i32 %151 to i64
%153 = getelementptr inbounds i64, i64* %150, i64 %152
%154 = load i64, i64* %153
%155 = sub nsw i64 %154, 1
%156 = sub nsw i64 %149, %155
%157 = load i32, i32* %22
%158 = sext i32 %157 to i64
%159 = getelementptr inbounds [6 x i64], [6 x i64]* %21, i64 0, i64 %158
%160 = load i64, i64* %159
%161 = call i64 @labs(i64 %160)
%162 = srem i64 %156, %161
%163 = icmp ne i64 %162, 0
br i1 %163, label %164, label %172
164: ; preds = %148
%165 = load i64, i64* %23
%166 = add nsw i64 %165, 1
store i64 %166, i64* %23
%167 = load i64, i64* %23
%168 = load i64, i64* %24
%169 = icmp sgt i64 %167, %168
br i1 %169, label %170, label %171
170: ; preds = %164
store i32 0, i32* %8
br label %370
171: ; preds = %164
br label %148
172: ; preds = %148
br label %173
173: ; preds = %196, %172
%174 = load i64, i64* %24
%175 = load i64*, i64** %12
%176 = load i32, i32* %22
%177 = sext i32 %176 to i64
%178 = getelementptr inbounds i64, i64* %175, i64 %177
%179 = load i64, i64* %178
%180 = sub nsw i64 %179, 1
%181 = sub nsw i64 %174, %180
%182 = load i32, i32* %22
%183 = sext i32 %182 to i64
%184 = getelementptr inbounds [6 x i64], [6 x i64]* %21, i64 0, i64 %183
%185 = load i64, i64* %184
%186 = call i64 @labs(i64 %185)
%187 = srem i64 %181, %186
%188 = icmp ne i64 %187, 0
br i1 %188, label %189, label %197
189: ; preds = %173
%190 = load i64, i64* %24
%191 = add nsw i64 %190, -1
store i64 %191, i64* %24
%192 = load i64, i64* %23
%193 = load i64, i64* %24
%194 = icmp sgt i64 %192, %193
br i1 %194, label %195, label %196
195: ; preds = %189
store i32 0, i32* %8
br label %370
196: ; preds = %189
br label %173
197: ; preds = %173
%198 = load i64, i64* %23
%199 = load i64*, i64** %12
%200 = load i32, i32* %22
%201 = sext i32 %200 to i64
%202 = getelementptr inbounds i64, i64* %199, i64 %201
%203 = load i64, i64* %202
%204 = sub nsw i64 %198, %203
%205 = add nsw i64 %204, 1
%206 = load i32, i32* %22
%207 = sext i32 %206 to i64
%208 = getelementptr inbounds [6 x i64], [6 x i64]* %21, i64 0, i64 %207
%209 = load i64, i64* %208
%210 = call i64 @labs(i64 %209)
%211 = sdiv i64 %205, %210
%212 = icmp sgt i64 %211, 0
br i1 %212, label %213, label %228
213: ; preds = %197
%214 = load i64, i64* %23
%215 = load i64*, i64** %12
%216 = load i32, i32* %22
%217 = sext i32 %216 to i64
%218 = getelementptr inbounds i64, i64* %215, i64 %217
%219 = load i64, i64* %218
%220 = sub nsw i64 %214, %219
%221 = add nsw i64 %220, 1
%222 = load i32, i32* %22
%223 = sext i32 %222 to i64
%224 = getelementptr inbounds [6 x i64], [6 x i64]* %21, i64 0, i64 %223
%225 = load i64, i64* %224
%226 = call i64 @labs(i64 %225)
%227 = sdiv i64 %221, %226
br label %229
228: ; preds = %197
br label %229
229: ; preds = %228, %213
%230 = phi i64 [ %227, %213 ], [ 0, %228 ]
%231 = load i32, i32* %22
%232 = sext i32 %231 to i64
%233 = getelementptr inbounds [6 x i64], [6 x i64]* %18, i64 0, i64 %232
store i64 %230, i64* %233
%234 = load i64, i64* %24
%235 = load i64*, i64** %12
%236 = load i32, i32* %22
%237 = sext i32 %236 to i64
%238 = getelementptr inbounds i64, i64* %235, i64 %237
%239 = load i64, i64* %238
%240 = sub nsw i64 %234, %239
%241 = add nsw i64 %240, 1
%242 = load i32, i32* %22
%243 = sext i32 %242 to i64
%244 = getelementptr inbounds [6 x i64], [6 x i64]* %21, i64 0, i64 %243
%245 = load i64, i64* %244
%246 = call i64 @labs(i64 %245)
%247 = sdiv i64 %241, %246
%248 = load i32, i32* %22
%249 = sext i32 %248 to i64
%250 = getelementptr inbounds [6 x i64], [6 x i64]* %16, i64 0, i64 %249
%251 = load i64, i64* %250
%252 = sub nsw i64 %251, 1
%253 = icmp slt i64 %247, %252
br i1 %253, label %254, label %269
254: ; preds = %229
%255 = load i64, i64* %24
%256 = load i64*, i64** %12
%257 = load i32, i32* %22
%258 = sext i32 %257 to i64
%259 = getelementptr inbounds i64, i64* %256, i64 %258
%260 = load i64, i64* %259
%261 = sub nsw i64 %255, %260
%262 = add nsw i64 %261, 1
%263 = load i32, i32* %22
%264 = sext i32 %263 to i64
%265 = getelementptr inbounds [6 x i64], [6 x i64]* %21, i64 0, i64 %264
%266 = load i64, i64* %265
%267 = call i64 @labs(i64 %266)
%268 = sdiv i64 %262, %267
br label %275
269: ; preds = %229
%270 = load i32, i32* %22
%271 = sext i32 %270 to i64
%272 = getelementptr inbounds [6 x i64], [6 x i64]* %16, i64 0, i64 %271
%273 = load i64, i64* %272
%274 = sub nsw i64 %273, 1
br label %275
275: ; preds = %269, %254
%276 = phi i64 [ %268, %254 ], [ %274, %269 ]
%277 = load i32, i32* %22
%278 = sext i32 %277 to i64
%279 = getelementptr inbounds [6 x i64], [6 x i64]* %19, i64 0, i64 %278
store i64 %276, i64* %279
%280 = load i64*, i64** %12
%281 = load i32, i32* %22
%282 = sext i32 %281 to i64
%283 = getelementptr inbounds i64, i64* %280, i64 %282
%284 = load i64, i64* %283
%285 = load i64*, i64** %10
%286 = load i32, i32* %22
%287 = sext i32 %286 to i64
%288 = getelementptr inbounds i64, i64* %285, i64 %287
%289 = load i64, i64* %288
%290 = sub nsw i64 %284, %289
%291 = icmp sgt i64 %290, 0
br i1 %291, label %292, label %304
292: ; preds = %275
%293 = load i64*, i64** %12
%294 = load i32, i32* %22
%295 = sext i32 %294 to i64
%296 = getelementptr inbounds i64, i64* %293, i64 %295
%297 = load i64, i64* %296
%298 = load i64*, i64** %10
%299 = load i32, i32* %22
%300 = sext i32 %299 to i64
%301 = getelementptr inbounds i64, i64* %298, i64 %300
%302 = load i64, i64* %301
%303 = sub nsw i64 %297, %302
br label %305
304: ; preds = %275
br label %305
305: ; preds = %304, %292
%306 = phi i64 [ %303, %292 ], [ 0, %304 ]
%307 = load i32, i32* %22
%308 = sext i32 %307 to i64
%309 = getelementptr inbounds [6 x i64], [6 x i64]* %20, i64 0, i64 %308
store i64 %306, i64* %309
br label %310
310: ; preds = %350, %305
%311 = load i64*, i64** %10
%312 = load i32, i32* %22
%313 = sext i32 %312 to i64
%314 = getelementptr inbounds i64, i64* %311, i64 %313
%315 = load i64, i64* %314
%316 = load i32, i32* %22
%317 = sext i32 %316 to i64
%318 = getelementptr inbounds [6 x i64], [6 x i64]* %20, i64 0, i64 %317
%319 = load i64, i64* %318
%320 = add nsw i64 %315, %319
%321 = load i64*, i64** %12
%322 = load i32, i32* %22
%323 = sext i32 %322 to i64
%324 = getelementptr inbounds i64, i64* %321, i64 %323
%325 = load i64, i64* %324
%326 = sub nsw i64 %320, %325
%327 = load i32, i32* %22
%328 = sext i32 %327 to i64
%329 = getelementptr inbounds [6 x i64], [6 x i64]* %21, i64 0, i64 %328
%330 = load i64, i64* %329
%331 = call i64 @labs(i64 %330)
%332 = srem i64 %326, %331
%333 = icmp ne i64 %332, 0
br i1 %333, label %334, label %351
334: ; preds = %310
%335 = load i32, i32* %22
%336 = sext i32 %335 to i64
%337 = getelementptr inbounds [6 x i64], [6 x i64]* %20, i64 0, i64 %336
%338 = load i64, i64* %337
%339 = add nsw i64 %338, 1
store i64 %339, i64* %337
%340 = load i32, i32* %22
%341 = sext i32 %340 to i64
%342 = getelementptr inbounds [6 x i64], [6 x i64]* %20, i64 0, i64 %341
%343 = load i64, i64* %342
%344 = load i32, i32* %22
%345 = sext i32 %344 to i64
%346 = getelementptr inbounds [6 x i64], [6 x i64]* %17, i64 0, i64 %345
%347 = load i64, i64* %346
%348 = icmp sge i64 %343, %347
br i1 %348, label %349, label %350
349: ; preds = %334
store i32 0, i32* %8
br label %370
350: ; preds = %334
br label %310
351: ; preds = %310
%352 = load i32, i32* %22
%353 = icmp sgt i32 %352, 0
br i1 %353, label %354, label %365
354: ; preds = %351
%355 = load i32, i32* %22
%356 = sub nsw i32 %355, 1
%357 = sext i32 %356 to i64
%358 = getelementptr inbounds [6 x i64], [6 x i64]* %16, i64 0, i64 %357
%359 = load i64, i64* %358
%360 = load i32, i32* %22
%361 = sext i32 %360 to i64
%362 = getelementptr inbounds [6 x i64], [6 x i64]* %16, i64 0, i64 %361
%363 = load i64, i64* %362
%364 = mul nsw i64 %363, %359
store i64 %364, i64* %362
br label %365
365: ; preds = %354, %351
br label %366
366: ; preds = %365
%367 = load i32, i32* %22
%368 = add nsw i32 %367, 1
store i32 %368, i32* %22
br label %32
369: ; preds = %32
store i32 1, i32* %8
br label %370
370: ; preds = %369, %349, %195, %170, %119, %96, %60, %28
%371 = load i32, i32* %8
ret i32 %371
}

LLVM IR (-O2):
define i32 @imcomp_test_overlap(i32 %0, i64* nocapture %1, i64* nocapture %2, i64* nocapture %3, i64* nocapture %4, i64* nocapture %5, i32* nocapture %6) {
%8 = alloca [6 x i64]
%9 = alloca [6 x i64]
%10 = bitcast [6 x i64]* %8 to i8*
%11 = bitcast [6 x i64]* %9 to i8*
%12 = load i32, i32* %6
%13 = icmp sgt i32 %12, 0
br i1 %13, label %98, label %14
14: ; preds = %7
%15 = icmp sgt i32 %0, 0
br i1 %15, label %16, label %98
16: ; preds = %14
%17 = zext i32 %0 to i64
br label %18
18: ; preds = %16, %94
%19 = phi i64 [ 0, %16 ], [ %95, %94 ]
%20 = getelementptr inbounds i64, i64* %2, i64 %19
%21 = load i64, i64* %20
%22 = getelementptr inbounds i64, i64* %3, i64 %19
%23 = load i64, i64* %22
%24 = icmp slt i64 %21, %23
br i1 %24, label %98, label %25
25: ; preds = %18
%26 = getelementptr inbounds i64, i64* %1, i64 %19
%27 = load i64, i64* %26
%28 = getelementptr inbounds i64, i64* %4, i64 %19
%29 = load i64, i64* %28
%30 = icmp sgt i64 %27, %29
br i1 %30, label %98, label %31
31: ; preds = %25
%32 = getelementptr inbounds i64, i64* %5, i64 %19
%33 = load i64, i64* %32
%34 = sub nsw i64 %29, %23
%35 = tail call i64 @llvm.abs.i64(i64 %33, i1 true)
%36 = sdiv i64 %34, %35
%37 = add nsw i64 %36, 1
%38 = getelementptr inbounds [6 x i64], [6 x i64]* %8, i64 0, i64 %19
store i64 %37, i64* %38
%39 = icmp slt i64 %36, 0
br i1 %39, label %97, label %40
40: ; preds = %31
%41 = sub nsw i64 %21, %27
%42 = add nsw i64 %41, 1
%43 = getelementptr inbounds [6 x i64], [6 x i64]* %9, i64 0, i64 %19
store i64 %42, i64* %43
%44 = icmp slt i64 %41, 0
br i1 %44, label %97, label %45
45: ; preds = %40
%46 = icmp eq i64 %19, 0
br i1 %46, label %53, label %47
47: ; preds = %45
%48 = add nuw i64 %19, 4294967295
%49 = and i64 %48, 4294967295
%50 = getelementptr inbounds [6 x i64], [6 x i64]* %9, i64 0, i64 %49
%51 = load i64, i64* %50
%52 = mul nsw i64 %51, %42
store i64 %52, i64* %43
br label %53
53: ; preds = %47, %45
%54 = phi i64 [ %52, %47 ], [ %42, %45 ]
%55 = add nsw i64 %27, -1
%56 = add nsw i64 %21, -1
%57 = add nsw i64 %23, -1
br label %58
58: ; preds = %63, %53
%59 = phi i64 [ %55, %53 ], [ %64, %63 ]
%60 = sub nsw i64 %59, %57
%61 = srem i64 %60, %35
%62 = icmp eq i64 %61, 0
br i1 %62, label %66, label %63
63: ; preds = %58
%64 = add nsw i64 %59, 1
%65 = icmp slt i64 %59, %56
br i1 %65, label %58, label %98
66: ; preds = %58, %71
%67 = phi i64 [ %72, %71 ], [ %56, %58 ]
%68 = sub nsw i64 %67, %57
%69 = srem i64 %68, %35
%70 = icmp eq i64 %69, 0
br i1 %70, label %74, label %71
71: ; preds = %66
%72 = add nsw i64 %67, -1
%73 = icmp slt i64 %59, %67
br i1 %73, label %66, label %98
74: ; preds = %66
%75 = sub nsw i64 %23, %27
%76 = icmp sgt i64 %75, 0
%77 = select i1 %76, i64 %75, i64 0
%78 = sub i64 %27, %23
br label %79
79: ; preds = %84, %74
%80 = phi i64 [ %85, %84 ], [ %77, %74 ]
%81 = add i64 %78, %80
%82 = srem i64 %81, %35
%83 = icmp eq i64 %82, 0
br i1 %83, label %87, label %84
84: ; preds = %79
%85 = add nuw nsw i64 %80, 1
%86 = icmp slt i64 %85, %54
br i1 %86, label %79, label %98
87: ; preds = %79
br i1 %46, label %94, label %88
88: ; preds = %87
%89 = add nuw i64 %19, 4294967295
%90 = and i64 %89, 4294967295
%91 = getelementptr inbounds [6 x i64], [6 x i64]* %8, i64 0, i64 %90
%92 = load i64, i64* %91
%93 = mul nsw i64 %92, %37
store i64 %93, i64* %38
br label %94
94: ; preds = %87, %88
%95 = add nuw nsw i64 %19, 1
%96 = icmp eq i64 %95, %17
br i1 %96, label %98, label %18
97: ; preds = %40, %31
store i32 323, i32* %6
br label %98
98: ; preds = %25, %18, %94, %63, %71, %84, %97, %14, %7
%99 = phi i32 [ %12, %7 ], [ 1, %14 ], [ 0, %97 ], [ 0, %84 ], [ 0, %71 ], [ 0, %63 ], [ 0, %25 ], [ 0, %18 ], [ 1, %94 ]
ret i32 %99
}