#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 /*<<< orphan*/ assert(int);
int /*<<< orphan*/ memset(int *, int /*<<< orphan*/, int);
int min(int, int);
void strongcomp(int size, int *ia, int *ja, int *P, int *Q, int *ncomp,
                int *work) {
  int *time = work;
  int *link = (int *)time + size;
  char *inssc = (char *)(link + size);
  int *s = Q + size;
  int *ssc = P + size - 1;
  memset(time, 0, size * (sizeof(*time) + sizeof(*link) + sizeof(*inssc)));
  memset(P, 0, size * sizeof *P);
  memset(Q, 0, size * sizeof *Q);
  int thetime = 0;
  int count = 0;
  int *bottom = s;
  int seed;
  *ncomp = 0;
  *Q++ = 0;
  for (seed = 0; seed < size; ++seed) {
    if (time[seed] > 0)
      continue;
    *s-- = seed;
    *ssc-- = seed;
    inssc[seed] = 1;
    time[seed] = ++thetime;
    link[seed] = thetime;
    while (s != bottom) {
      int c = *(s + 1);
      int p;
      for (p = ia[c]; p < ia[c + 1]; ++p) {
        int n = ja[p];
        if (time[n] == 0) {
          assert(ssc >= P);
          assert(s >= Q);
          *s-- = n;
          *ssc-- = n;
          assert(inssc[n] == 0);
          inssc[n] = 1;
          time[n] = ++thetime;
          link[n] = thetime;
          link[c] = min(link[c], link[n]);
          break;
        }
        if (inssc[n]) {
          link[c] = min(link[c], link[n]);
        }
      }
      if (p == ia[c + 1]) {
        int tmp = *(++s);
        assert(tmp == c);
        if (link[c] == time[c]) {
          int v;
          do {
            v = *++ssc;
            inssc[v] = 0;
            assert((ssc >= P) | (s == bottom));
            *P++ = v;
            ++count;
          } while (v != c);
          assert(s >= Q);
          *Q++ = count;
          ++*ncomp;
        } else {
        }
      }
    }
  }
}


x86 assembly (clang, -O0):
<strongcomp>:
push   %rbp
mov    %rsp,%rbp
sub    $0x80,%rsp
mov    0x10(%rbp),%rax
mov    %edi,-0x4(%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
mov    %rax,-0x38(%rbp)
mov    -0x38(%rbp),%rax
movslq -0x4(%rbp),%rcx
shl    $0x2,%rcx
add    %rcx,%rax
mov    %rax,-0x40(%rbp)
mov    -0x40(%rbp),%rax
movslq -0x4(%rbp),%rcx
shl    $0x2,%rcx
add    %rcx,%rax
mov    %rax,-0x48(%rbp)
mov    -0x28(%rbp),%rax
movslq -0x4(%rbp),%rcx
shl    $0x2,%rcx
add    %rcx,%rax
mov    %rax,-0x50(%rbp)
mov    -0x20(%rbp),%rax
movslq -0x4(%rbp),%rcx
shl    $0x2,%rcx
add    %rcx,%rax
add    $0xfffffffffffffffc,%rax
mov    %rax,-0x58(%rbp)
mov    -0x38(%rbp),%rdi
movslq -0x4(%rbp),%rax
imul   $0x9,%rax,%rax
mov    %eax,%edx
xor    %esi,%esi
call   1040 <memset@plt>
mov    -0x20(%rbp),%rdi
movslq -0x4(%rbp),%rax
shl    $0x2,%rax
mov    %eax,%edx
xor    %esi,%esi
call   1040 <memset@plt>
mov    -0x28(%rbp),%rdi
movslq -0x4(%rbp),%rax
shl    $0x2,%rax
mov    %eax,%edx
xor    %esi,%esi
call   1040 <memset@plt>
movl   $0x0,-0x5c(%rbp)
movl   $0x0,-0x60(%rbp)
mov    -0x50(%rbp),%rax
mov    %rax,-0x68(%rbp)
mov    -0x30(%rbp),%rax
movl   $0x0,(%rax)
mov    -0x28(%rbp),%rax
mov    %rax,%rcx
add    $0x4,%rcx
mov    %rcx,-0x28(%rbp)
movl   $0x0,(%rax)
movl   $0x0,-0x6c(%rbp)
mov    -0x6c(%rbp),%eax
cmp    -0x4(%rbp),%eax
jge    1545 <strongcomp+0x415>
mov    -0x38(%rbp),%rax
movslq -0x6c(%rbp),%rcx
cmpl   $0x0,(%rax,%rcx,4)
jle    124c <strongcomp+0x11c>
jmp    1537 <strongcomp+0x407>
mov    -0x6c(%rbp),%ecx
mov    -0x50(%rbp),%rax
mov    %rax,%rdx
add    $0xfffffffffffffffc,%rdx
mov    %rdx,-0x50(%rbp)
mov    %ecx,(%rax)
mov    -0x6c(%rbp),%ecx
mov    -0x58(%rbp),%rax
mov    %rax,%rdx
add    $0xfffffffffffffffc,%rdx
mov    %rdx,-0x58(%rbp)
mov    %ecx,(%rax)
mov    -0x48(%rbp),%rax
movslq -0x6c(%rbp),%rcx
movb   $0x1,(%rax,%rcx,1)
mov    -0x5c(%rbp),%edx
add    $0x1,%edx
mov    %edx,-0x5c(%rbp)
mov    -0x38(%rbp),%rax
movslq -0x6c(%rbp),%rcx
mov    %edx,(%rax,%rcx,4)
mov    -0x5c(%rbp),%edx
mov    -0x40(%rbp),%rax
movslq -0x6c(%rbp),%rcx
mov    %edx,(%rax,%rcx,4)
mov    -0x50(%rbp),%rax
cmp    -0x68(%rbp),%rax
je     1532 <strongcomp+0x402>
mov    -0x50(%rbp),%rax
mov    0x4(%rax),%eax
mov    %eax,-0x70(%rbp)
mov    -0x10(%rbp),%rax
movslq -0x70(%rbp),%rcx
mov    (%rax,%rcx,4),%eax
mov    %eax,-0x74(%rbp)
mov    -0x74(%rbp),%eax
mov    -0x10(%rbp),%rcx
mov    -0x70(%rbp),%edx
add    $0x1,%edx
movslq %edx,%rdx
cmp    (%rcx,%rdx,4),%eax
jge    1417 <strongcomp+0x2e7>
mov    -0x18(%rbp),%rax
movslq -0x74(%rbp),%rcx
mov    (%rax,%rcx,4),%eax
mov    %eax,-0x78(%rbp)
mov    -0x38(%rbp),%rax
movslq -0x78(%rbp),%rcx
cmpl   $0x0,(%rax,%rcx,4)
jne    13ca <strongcomp+0x29a>
mov    -0x58(%rbp),%rax
cmp    -0x20(%rbp),%rax
setae  %al
and    $0x1,%al
movzbl %al,%edi
call   1050 <assert@plt>
mov    -0x50(%rbp),%rax
cmp    -0x28(%rbp),%rax
setae  %al
and    $0x1,%al
movzbl %al,%edi
call   1050 <assert@plt>
mov    -0x78(%rbp),%ecx
mov    -0x50(%rbp),%rax
mov    %rax,%rdx
add    $0xfffffffffffffffc,%rdx
mov    %rdx,-0x50(%rbp)
mov    %ecx,(%rax)
mov    -0x78(%rbp),%ecx
mov    -0x58(%rbp),%rax
mov    %rax,%rdx
add    $0xfffffffffffffffc,%rdx
mov    %rdx,-0x58(%rbp)
mov    %ecx,(%rax)
mov    -0x48(%rbp),%rax
movslq -0x78(%rbp),%rcx
movsbl (%rax,%rcx,1),%eax
cmp    $0x0,%eax
sete   %al
and    $0x1,%al
movzbl %al,%edi
call   1050 <assert@plt>
mov    -0x48(%rbp),%rax
movslq -0x78(%rbp),%rcx
movb   $0x1,(%rax,%rcx,1)
mov    -0x5c(%rbp),%edx
add    $0x1,%edx
mov    %edx,-0x5c(%rbp)
mov    -0x38(%rbp),%rax
movslq -0x78(%rbp),%rcx
mov    %edx,(%rax,%rcx,4)
mov    -0x5c(%rbp),%edx
mov    -0x40(%rbp),%rax
movslq -0x78(%rbp),%rcx
mov    %edx,(%rax,%rcx,4)
mov    -0x40(%rbp),%rax
movslq -0x70(%rbp),%rcx
mov    (%rax,%rcx,4),%edi
mov    -0x40(%rbp),%rax
movslq -0x78(%rbp),%rcx
mov    (%rax,%rcx,4),%esi
call   1030 <min@plt>
mov    %eax,%edx
mov    -0x40(%rbp),%rax
movslq -0x70(%rbp),%rcx
mov    %edx,(%rax,%rcx,4)
jmp    1417 <strongcomp+0x2e7>
mov    -0x48(%rbp),%rax
movslq -0x78(%rbp),%rcx
cmpb   $0x0,(%rax,%rcx,1)
je     1404 <strongcomp+0x2d4>
mov    -0x40(%rbp),%rax
movslq -0x70(%rbp),%rcx
mov    (%rax,%rcx,4),%edi
mov    -0x40(%rbp),%rax
movslq -0x78(%rbp),%rcx
mov    (%rax,%rcx,4),%esi
call   1030 <min@plt>
mov    %eax,%edx
mov    -0x40(%rbp),%rax
movslq -0x70(%rbp),%rcx
mov    %edx,(%rax,%rcx,4)
jmp    1409 <strongcomp+0x2d9>
mov    -0x74(%rbp),%eax
add    $0x1,%eax
mov    %eax,-0x74(%rbp)
jmp    12c8 <strongcomp+0x198>
mov    -0x74(%rbp),%eax
mov    -0x10(%rbp),%rcx
mov    -0x70(%rbp),%edx
add    $0x1,%edx
movslq %edx,%rdx
cmp    (%rcx,%rdx,4),%eax
jne    152d <strongcomp+0x3fd>
mov    -0x50(%rbp),%rax
mov    %rax,%rcx
add    $0x4,%rcx
mov    %rcx,-0x50(%rbp)
mov    0x4(%rax),%eax
mov    %eax,-0x7c(%rbp)
mov    -0x7c(%rbp),%eax
cmp    -0x70(%rbp),%eax
sete   %al
and    $0x1,%al
movzbl %al,%edi
call   1050 <assert@plt>
mov    -0x40(%rbp),%rax
movslq -0x70(%rbp),%rcx
mov    (%rax,%rcx,4),%eax
mov    -0x38(%rbp),%rcx
movslq -0x70(%rbp),%rdx
cmp    (%rcx,%rdx,4),%eax
jne    1523 <strongcomp+0x3f3>
jmp    1479 <strongcomp+0x349>
mov    -0x58(%rbp),%rax
mov    %rax,%rcx
add    $0x4,%rcx
mov    %rcx,-0x58(%rbp)
mov    0x4(%rax),%eax
mov    %eax,-0x80(%rbp)
mov    -0x48(%rbp),%rax
movslq -0x80(%rbp),%rcx
movb   $0x0,(%rax,%rcx,1)
mov    -0x58(%rbp),%rax
cmp    -0x20(%rbp),%rax
setae  %al
and    $0x1,%al
movzbl %al,%edi
mov    -0x50(%rbp),%rax
cmp    -0x68(%rbp),%rax
sete   %al
and    $0x1,%al
movzbl %al,%eax
or     %eax,%edi
call   1050 <assert@plt>
mov    -0x80(%rbp),%ecx
mov    -0x20(%rbp),%rax
mov    %rax,%rdx
add    $0x4,%rdx
mov    %rdx,-0x20(%rbp)
mov    %ecx,(%rax)
mov    -0x60(%rbp),%eax
add    $0x1,%eax
mov    %eax,-0x60(%rbp)
mov    -0x80(%rbp),%eax
cmp    -0x70(%rbp),%eax
jne    1479 <strongcomp+0x349>
mov    -0x50(%rbp),%rax
cmp    -0x28(%rbp),%rax
setae  %al
and    $0x1,%al
movzbl %al,%edi
call   1050 <assert@plt>
mov    -0x60(%rbp),%ecx
mov    -0x28(%rbp),%rax
mov    %rax,%rdx
add    $0x4,%rdx
mov    %rdx,-0x28(%rbp)
mov    %ecx,(%rax)
mov    -0x30(%rbp),%rax
mov    (%rax),%ecx
add    $0x1,%ecx
mov    %ecx,(%rax)
jmp    1528 <strongcomp+0x3f8>
jmp    1528 <strongcomp+0x3f8>
jmp    152d <strongcomp+0x3fd>
jmp    12a2 <strongcomp+0x172>
jmp    1537 <strongcomp+0x407>
mov    -0x6c(%rbp),%eax
add    $0x1,%eax
mov    %eax,-0x6c(%rbp)
jmp    1229 <strongcomp+0xf9>
add    $0x80,%rsp
pop    %rbp
ret

x86 assembly (clang, -O2):
<strongcomp>:
push   %rbp
push   %r15
push   %r14
push   %r13
push   %r12
push   %rbx
sub    $0x68,%rsp
mov    %r9,%r14
mov    %r8,%r13
mov    %rcx,%rbx
mov    %rdx,0x60(%rsp)
mov    %rsi,0x40(%rsp)
mov    %edi,%r12d
mov    0xa0(%rsp),%r15
lea    (%r12,%r12,8),%edx
xor    %eax,%eax
mov    %rax,0x10(%rsp)
mov    %r15,%rdi
xor    %esi,%esi
call   1040 <memset@plt>
lea    0x0(,%r12,4),%ebp
mov    %rbx,%rdi
xor    %esi,%esi
mov    %ebp,%edx
call   1040 <memset@plt>
mov    %r13,%rdi
xor    %esi,%esi
mov    %ebp,%edx
call   1040 <memset@plt>
mov    %r14,0x58(%rsp)
movl   $0x0,(%r14)
movl   $0x0,0x0(%r13)
test   %r12d,%r12d
jle    1481 <strongcomp+0x351>
mov    %r15,%rdx
mov    %r13,%rsi
movslq %r12d,%rax
lea    (%r15,%rax,4),%rcx
mov    %rcx,0x20(%rsp)
lea    (%rcx,%rax,4),%rdi
lea    0x0(,%rax,4),%r8
add    %r13,%r8
add    $0x4,%rsi
mov    %rsi,0x28(%rsp)
lea    (%rbx,%rax,4),%r13
add    $0xfffffffffffffffc,%r13
mov    %r12d,%eax
mov    %rax,0x50(%rsp)
lea    -0x4(%r8),%rax
mov    %rax,0x48(%rsp)
xor    %esi,%esi
xor    %r12d,%r12d
mov    %rdi,0x38(%rsp)
mov    %r8,(%rsp)
jmp    121f <strongcomp+0xef>
cs nopw 0x0(%rax,%rax,1)
nopl   0x0(%rax,%rax,1)
add    $0x1,%rsi
cmp    0x50(%rsp),%rsi
je     1481 <strongcomp+0x351>
cmpl   $0x0,(%rdx,%rsi,4)
jg     1210 <strongcomp+0xe0>
mov    %esi,(%r8)
mov    %esi,0x0(%r13)
add    $0xfffffffffffffffc,%r13
movb   $0x1,(%rdi,%rsi,1)
mov    0x10(%rsp),%rax
add    $0x1,%eax
mov    %eax,(%rdx,%rsi,4)
mov    %rax,0x10(%rsp)
mov    0x20(%rsp),%rcx
mov    %eax,(%rcx,%rsi,4)
mov    0x48(%rsp),%rcx
mov    %rsi,0x30(%rsp)
jmp    1272 <strongcomp+0x142>
nopl   0x0(%rax,%rax,1)
mov    0x18(%rsp),%r15
mov    0x30(%rsp),%rsi
mov    %r15,%rcx
cmp    %r8,%r15
je     1210 <strongcomp+0xe0>
movslq 0x4(%rcx),%rsi
mov    0x40(%rsp),%rax
mov    (%rax,%rsi,4),%r15d
mov    0x4(%rax,%rsi,4),%eax
cmp    %eax,%r15d
mov    %rsi,0x8(%rsp)
mov    %rcx,0x18(%rsp)
jge    13a8 <strongcomp+0x278>
movslq %r15d,%r15
jmp    12b0 <strongcomp+0x180>
nopl   0x0(%rax,%rax,1)
add    $0x1,%r15
movslq %eax,%rcx
cmp    %rcx,%r15
jge    13a4 <strongcomp+0x274>
mov    0x60(%rsp),%rcx
mov    (%rcx,%r15,4),%ecx
movslq %ecx,%r14
cmpl   $0x0,(%rdx,%r14,4)
je     1300 <strongcomp+0x1d0>
cmpb   $0x0,(%rdi,%r14,1)
je     12a0 <strongcomp+0x170>
mov    0x20(%rsp),%rbp
mov    0x0(%rbp,%rsi,4),%edi
mov    0x0(%rbp,%r14,4),%esi
call   1030 <min@plt>
mov    0x8(%rsp),%rsi
mov    0xa0(%rsp),%rdx
mov    %eax,0x0(%rbp,%rsi,4)
mov    0x38(%rsp),%rdi
mov    0x40(%rsp),%rax
mov    0x4(%rax,%rsi,4),%eax
jmp    12a0 <strongcomp+0x170>
xchg   %ax,%ax
xor    %edi,%edi
cmp    %rbx,%r13
setae  %dil
call   1050 <assert@plt>
xor    %edi,%edi
mov    0x18(%rsp),%rbp
cmp    0x28(%rsp),%rbp
setae  %dil
call   1050 <assert@plt>
mov    %r14d,0x0(%rbp)
add    $0xfffffffffffffffc,%rbp
mov    %rbp,0x18(%rsp)
mov    %r14d,0x0(%r13)
add    $0xfffffffffffffffc,%r13
xor    %edi,%edi
mov    0x38(%rsp),%rbp
cmpb   $0x0,0x0(%rbp,%r14,1)
sete   %dil
call   1050 <assert@plt>
movb   $0x1,0x0(%rbp,%r14,1)
mov    0x10(%rsp),%rsi
add    $0x1,%esi
mov    0xa0(%rsp),%rax
mov    %esi,(%rax,%r14,4)
mov    0x20(%rsp),%rbp
mov    %esi,0x0(%rbp,%r14,4)
mov    0x8(%rsp),%rax
mov    0x0(%rbp,%rax,4),%edi
mov    %rsi,0x10(%rsp)
call   1030 <min@plt>
mov    0x8(%rsp),%rsi
mov    0xa0(%rsp),%rdx
mov    %eax,0x0(%rbp,%rsi,4)
mov    0x38(%rsp),%rdi
mov    0x40(%rsp),%rax
mov    0x4(%rax,%rsi,4),%eax
mov    (%rsp),%r8
cmp    %eax,%r15d
jne    1260 <strongcomp+0x130>
mov    %rdi,%r14
mov    0x18(%rsp),%rax
lea    0x4(%rax),%r15
xor    %edi,%edi
cmp    %esi,0x4(%rax)
sete   %dil
call   1050 <assert@plt>
mov    0x8(%rsp),%rcx
mov    0xa0(%rsp),%rdx
mov    0x20(%rsp),%rax
mov    (%rax,%rcx,4),%eax
cmp    (%rdx,%rcx,4),%eax
jne    1470 <strongcomp+0x340>
add    $0x4,%r13
nopl   (%rax)
cmp    (%rsp),%r15
sete   %al
movslq 0x0(%r13),%rbp
movb   $0x0,(%r14,%rbp,1)
cmp    %rbx,%r13
setae  %cl
or     %al,%cl
movzbl %cl,%edi
call   1050 <assert@plt>
mov    %ebp,(%rbx)
add    $0x4,%rbx
add    $0x1,%r12d
add    $0x4,%r13
cmp    0x8(%rsp),%ebp
jne    13f0 <strongcomp+0x2c0>
xor    %edi,%edi
mov    0x28(%rsp),%rbp
cmp    %rbp,%r15
setae  %dil
call   1050 <assert@plt>
mov    %r12d,0x0(%rbp)
add    $0x4,%rbp
mov    %rbp,0x28(%rsp)
mov    0x58(%rsp),%rax
addl   $0x1,(%rax)
add    $0xfffffffffffffffc,%r13
mov    0xa0(%rsp),%rdx
mov    %r14,%rdi
mov    (%rsp),%r8
jmp    1265 <strongcomp+0x135>
cs nopw 0x0(%rax,%rax,1)
xchg   %ax,%ax
mov    0x30(%rsp),%rsi
mov    %r14,%rdi
mov    (%rsp),%r8
jmp    126a <strongcomp+0x13a>
add    $0x68,%rsp
pop    %rbx
pop    %r12
pop    %r13
pop    %r14
pop    %r15
pop    %rbp
ret

LLVM IR (-O0):
define void @strongcomp(i32 %0, i32* %1, i32* %2, i32* %3, i32* %4, i32* %5, i32* %6) {
%8 = alloca i32
%9 = alloca i32*
%10 = alloca i32*
%11 = alloca i32*
%12 = alloca i32*
%13 = alloca i32*
%14 = alloca i32*
%15 = alloca i32*
%16 = alloca i32*
%17 = alloca i8*
%18 = alloca i32*
%19 = alloca i32*
%20 = alloca i32
%21 = alloca i32
%22 = alloca i32*
%23 = alloca i32
%24 = alloca i32
%25 = alloca i32
%26 = alloca i32
%27 = alloca i32
%28 = alloca i32
store i32 %0, i32* %8
store i32* %1, i32** %9
store i32* %2, i32** %10
store i32* %3, i32** %11
store i32* %4, i32** %12
store i32* %5, i32** %13
store i32* %6, i32** %14
%29 = load i32*, i32** %14
store i32* %29, i32** %15
%30 = load i32*, i32** %15
%31 = load i32, i32* %8
%32 = sext i32 %31 to i64
%33 = getelementptr inbounds i32, i32* %30, i64 %32
store i32* %33, i32** %16
%34 = load i32*, i32** %16
%35 = load i32, i32* %8
%36 = sext i32 %35 to i64
%37 = getelementptr inbounds i32, i32* %34, i64 %36
%38 = bitcast i32* %37 to i8*
store i8* %38, i8** %17
%39 = load i32*, i32** %12
%40 = load i32, i32* %8
%41 = sext i32 %40 to i64
%42 = getelementptr inbounds i32, i32* %39, i64 %41
store i32* %42, i32** %18
%43 = load i32*, i32** %11
%44 = load i32, i32* %8
%45 = sext i32 %44 to i64
%46 = getelementptr inbounds i32, i32* %43, i64 %45
%47 = getelementptr inbounds i32, i32* %46, i64 -1
store i32* %47, i32** %19
%48 = load i32*, i32** %15
%49 = load i32, i32* %8
%50 = sext i32 %49 to i64
%51 = mul i64 %50, 9
%52 = trunc i64 %51 to i32
%53 = call i32 @memset(i32* %48, i32 0, i32 %52)
%54 = load i32*, i32** %11
%55 = load i32, i32* %8
%56 = sext i32 %55 to i64
%57 = mul i64 %56, 4
%58 = trunc i64 %57 to i32
%59 = call i32 @memset(i32* %54, i32 0, i32 %58)
%60 = load i32*, i32** %12
%61 = load i32, i32* %8
%62 = sext i32 %61 to i64
%63 = mul i64 %62, 4
%64 = trunc i64 %63 to i32
%65 = call i32 @memset(i32* %60, i32 0, i32 %64)
store i32 0, i32* %20
store i32 0, i32* %21
%66 = load i32*, i32** %18
store i32* %66, i32** %22
%67 = load i32*, i32** %13
store i32 0, i32* %67
%68 = load i32*, i32** %12
%69 = getelementptr inbounds i32, i32* %68, i32 1
store i32* %69, i32** %12
store i32 0, i32* %68
store i32 0, i32* %23
br label %70
70: ; preds = %294, %7
%71 = load i32, i32* %23
%72 = load i32, i32* %8
%73 = icmp slt i32 %71, %72
br i1 %73, label %74, label %297
74: ; preds = %70
%75 = load i32*, i32** %15
%76 = load i32, i32* %23
%77 = sext i32 %76 to i64
%78 = getelementptr inbounds i32, i32* %75, i64 %77
%79 = load i32, i32* %78
%80 = icmp sgt i32 %79, 0
br i1 %80, label %81, label %82
81: ; preds = %74
br label %294
82: ; preds = %74
%83 = load i32, i32* %23
%84 = load i32*, i32** %18
%85 = getelementptr inbounds i32, i32* %84, i32 -1
store i32* %85, i32** %18
store i32 %83, i32* %84
%86 = load i32, i32* %23
%87 = load i32*, i32** %19
%88 = getelementptr inbounds i32, i32* %87, i32 -1
store i32* %88, i32** %19
store i32 %86, i32* %87
%89 = load i8*, i8** %17
%90 = load i32, i32* %23
%91 = sext i32 %90 to i64
%92 = getelementptr inbounds i8, i8* %89, i64 %91
store i8 1, i8* %92
%93 = load i32, i32* %20
%94 = add nsw i32 %93, 1
store i32 %94, i32* %20
%95 = load i32*, i32** %15
%96 = load i32, i32* %23
%97 = sext i32 %96 to i64
%98 = getelementptr inbounds i32, i32* %95, i64 %97
store i32 %94, i32* %98
%99 = load i32, i32* %20
%100 = load i32*, i32** %16
%101 = load i32, i32* %23
%102 = sext i32 %101 to i64
%103 = getelementptr inbounds i32, i32* %100, i64 %102
store i32 %99, i32* %103
br label %104
104: ; preds = %292, %82
%105 = load i32*, i32** %18
%106 = load i32*, i32** %22
%107 = icmp ne i32* %105, %106
br i1 %107, label %108, label %293
108: ; preds = %104
%109 = load i32*, i32** %18
%110 = getelementptr inbounds i32, i32* %109, i64 1
%111 = load i32, i32* %110
store i32 %111, i32* %24
%112 = load i32*, i32** %9
%113 = load i32, i32* %24
%114 = sext i32 %113 to i64
%115 = getelementptr inbounds i32, i32* %112, i64 %114
%116 = load i32, i32* %115
store i32 %116, i32* %25
br label %117
117: ; preds = %218, %108
%118 = load i32, i32* %25
%119 = load i32*, i32** %9
%120 = load i32, i32* %24
%121 = add nsw i32 %120, 1
%122 = sext i32 %121 to i64
%123 = getelementptr inbounds i32, i32* %119, i64 %122
%124 = load i32, i32* %123
%125 = icmp slt i32 %118, %124
br i1 %125, label %126, label %221
126: ; preds = %117
%127 = load i32*, i32** %10
%128 = load i32, i32* %25
%129 = sext i32 %128 to i64
%130 = getelementptr inbounds i32, i32* %127, i64 %129
%131 = load i32, i32* %130
store i32 %131, i32* %26
%132 = load i32*, i32** %15
%133 = load i32, i32* %26
%134 = sext i32 %133 to i64
%135 = getelementptr inbounds i32, i32* %132, i64 %134
%136 = load i32, i32* %135
%137 = icmp eq i32 %136, 0
br i1 %137, label %138, label %194
138: ; preds = %126
%139 = load i32*, i32** %19
%140 = load i32*, i32** %11
%141 = icmp uge i32* %139, %140
%142 = zext i1 %141 to i32
%143 = call i32 @assert(i32 %142)
%144 = load i32*, i32** %18
%145 = load i32*, i32** %12
%146 = icmp uge i32* %144, %145
%147 = zext i1 %146 to i32
%148 = call i32 @assert(i32 %147)
%149 = load i32, i32* %26
%150 = load i32*, i32** %18
%151 = getelementptr inbounds i32, i32* %150, i32 -1
store i32* %151, i32** %18
store i32 %149, i32* %150
%152 = load i32, i32* %26
%153 = load i32*, i32** %19
%154 = getelementptr inbounds i32, i32* %153, i32 -1
store i32* %154, i32** %19
store i32 %152, i32* %153
%155 = load i8*, i8** %17
%156 = load i32, i32* %26
%157 = sext i32 %156 to i64
%158 = getelementptr inbounds i8, i8* %155, i64 %157
%159 = load i8, i8* %158
%160 = sext i8 %159 to i32
%161 = icmp eq i32 %160, 0
%162 = zext i1 %161 to i32
%163 = call i32 @assert(i32 %162)
%164 = load i8*, i8** %17
%165 = load i32, i32* %26
%166 = sext i32 %165 to i64
%167 = getelementptr inbounds i8, i8* %164, i64 %166
store i8 1, i8* %167
%168 = load i32, i32* %20
%169 = add nsw i32 %168, 1
store i32 %169, i32* %20
%170 = load i32*, i32** %15
%171 = load i32, i32* %26
%172 = sext i32 %171 to i64
%173 = getelementptr inbounds i32, i32* %170, i64 %172
store i32 %169, i32* %173
%174 = load i32, i32* %20
%175 = load i32*, i32** %16
%176 = load i32, i32* %26
%177 = sext i32 %176 to i64
%178 = getelementptr inbounds i32, i32* %175, i64 %177
store i32 %174, i32* %178
%179 = load i32*, i32** %16
%180 = load i32, i32* %24
%181 = sext i32 %180 to i64
%182 = getelementptr inbounds i32, i32* %179, i64 %181
%183 = load i32, i32* %182
%184 = load i32*, i32** %16
%185 = load i32, i32* %26
%186 = sext i32 %185 to i64
%187 = getelementptr inbounds i32, i32* %184, i64 %186
%188 = load i32, i32* %187
%189 = call i32 @min(i32 %183, i32 %188)
%190 = load i32*, i32** %16
%191 = load i32, i32* %24
%192 = sext i32 %191 to i64
%193 = getelementptr inbounds i32, i32* %190, i64 %192
store i32 %189, i32* %193
br label %221
194: ; preds = %126
%195 = load i8*, i8** %17
%196 = load i32, i32* %26
%197 = sext i32 %196 to i64
%198 = getelementptr inbounds i8, i8* %195, i64 %197
%199 = load i8, i8* %198
%200 = icmp ne i8 %199, 0
br i1 %200, label %201, label %217
201: ; preds = %194
%202 = load i32*, i32** %16
%203 = load i32, i32* %24
%204 = sext i32 %203 to i64
%205 = getelementptr inbounds i32, i32* %202, i64 %204
%206 = load i32, i32* %205
%207 = load i32*, i32** %16
%208 = load i32, i32* %26
%209 = sext i32 %208 to i64
%210 = getelementptr inbounds i32, i32* %207, i64 %209
%211 = load i32, i32* %210
%212 = call i32 @min(i32 %206, i32 %211)
%213 = load i32*, i32** %16
%214 = load i32, i32* %24
%215 = sext i32 %214 to i64
%216 = getelementptr inbounds i32, i32* %213, i64 %215
store i32 %212, i32* %216
br label %217
217: ; preds = %201, %194
br label %218
218: ; preds = %217
%219 = load i32, i32* %25
%220 = add nsw i32 %219, 1
store i32 %220, i32* %25
br label %117
221: ; preds = %138, %117
%222 = load i32, i32* %25
%223 = load i32*, i32** %9
%224 = load i32, i32* %24
%225 = add nsw i32 %224, 1
%226 = sext i32 %225 to i64
%227 = getelementptr inbounds i32, i32* %223, i64 %226
%228 = load i32, i32* %227
%229 = icmp eq i32 %222, %228
br i1 %229, label %230, label %292
230: ; preds = %221
%231 = load i32*, i32** %18
%232 = getelementptr inbounds i32, i32* %231, i32 1
store i32* %232, i32** %18
%233 = load i32, i32* %232
store i32 %233, i32* %27
%234 = load i32, i32* %27
%235 = load i32, i32* %24
%236 = icmp eq i32 %234, %235
%237 = zext i1 %236 to i32
%238 = call i32 @assert(i32 %237)
%239 = load i32*, i32** %16
%240 = load i32, i32* %24
%241 = sext i32 %240 to i64
%242 = getelementptr inbounds i32, i32* %239, i64 %241
%243 = load i32, i32* %242
%244 = load i32*, i32** %15
%245 = load i32, i32* %24
%246 = sext i32 %245 to i64
%247 = getelementptr inbounds i32, i32* %244, i64 %246
%248 = load i32, i32* %247
%249 = icmp eq i32 %243, %248
br i1 %249, label %250, label %290
250: ; preds = %230
br label %251
251: ; preds = %274, %250
%252 = load i32*, i32** %19
%253 = getelementptr inbounds i32, i32* %252, i32 1
store i32* %253, i32** %19
%254 = load i32, i32* %253
store i32 %254, i32* %28
%255 = load i8*, i8** %17
%256 = load i32, i32* %28
%257 = sext i32 %256 to i64
%258 = getelementptr inbounds i8, i8* %255, i64 %257
store i8 0, i8* %258
%259 = load i32*, i32** %19
%260 = load i32*, i32** %11
%261 = icmp uge i32* %259, %260
%262 = zext i1 %261 to i32
%263 = load i32*, i32** %18
%264 = load i32*, i32** %22
%265 = icmp eq i32* %263, %264
%266 = zext i1 %265 to i32
%267 = or i32 %262, %266
%268 = call i32 @assert(i32 %267)
%269 = load i32, i32* %28
%270 = load i32*, i32** %11
%271 = getelementptr inbounds i32, i32* %270, i32 1
store i32* %271, i32** %11
store i32 %269, i32* %270
%272 = load i32, i32* %21
%273 = add nsw i32 %272, 1
store i32 %273, i32* %21
br label %274
274: ; preds = %251
%275 = load i32, i32* %28
%276 = load i32, i32* %24
%277 = icmp ne i32 %275, %276
br i1 %277, label %251, label %278
278: ; preds = %274
%279 = load i32*, i32** %18
%280 = load i32*, i32** %12
%281 = icmp uge i32* %279, %280
%282 = zext i1 %281 to i32
%283 = call i32 @assert(i32 %282)
%284 = load i32, i32* %21
%285 = load i32*, i32** %12
%286 = getelementptr inbounds i32, i32* %285, i32 1
store i32* %286, i32** %12
store i32 %284, i32* %285
%287 = load i32*, i32** %13
%288 = load i32, i32* %287
%289 = add nsw i32 %288, 1
store i32 %289, i32* %287
br label %291
290: ; preds = %230
br label %291
291: ; preds = %290, %278
br label %292
292: ; preds = %291, %221
br label %104
293: ; preds = %104
br label %294
294: ; preds = %293, %81
%295 = load i32, i32* %23
%296 = add nsw i32 %295, 1
store i32 %296, i32* %23
br label %70
297: ; preds = %70
ret void
}

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