#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 atoi(int /*<<< orphan*/);
int /*<<< orphan*/ fprintf(int /*<<< orphan*/, char *, int);
int getopt(int, char **, char *);
scalar_t__ malloc(int);
int /*<<< orphan*/ optarg;
scalar_t__ opterr;
int optopt;
int /*<<< orphan*/ stderr;
int /*<<< orphan*/ usage(char **);
int /*<<< orphan*/ verify(int *, int *, int *, int);
int main(int argc, char **argv) {
  int check = 0;
  int bad = 0;
  int N = 1024 * 1024;
  int c;
  opterr = 0;
  while ((c = getopt(argc, argv, "bcn:h")) != -1) {
    switch (c) {
    case 'n':
      N = atoi(optarg);
      break;
    case 'c':
      check = 1;
      break;
    case 'b':
      bad = 1;
      break;
    case '?':
      fprintf(stderr, "Missing argument to option %c\n", optopt);
    case 'h':
    default:
      usage(argv);
    }
  }
  int *restrict A = (int *)malloc(N * sizeof(int));
  int *restrict B = (int *)malloc(N * sizeof(int));
  int *restrict C = (int *)malloc(N * sizeof(int));
  for (int i = 0; i < N; i++) {
    A[i] = i;
    B[i] = i * 2;
  }
#pragma acc kernels loop copyin(A [0:N], B [0:N]) copyout(C [0:N])
  for (int i = 0; i < N; i++) {
    C[i] = A[i] + B[i];
  }
  if (!bad) {
    for (int l = 0; l < 30; l++) {
#pragma acc kernels loop copyin(A [0:N], B [0:N]) copyout(C [0:N])
      for (int i = 0; i < N; i++) {
        C[i] = A[i] + B[i];
      }
      if (check)
        verify(A, B, C, N);
    }
  } else {
    for (int l = 0; l < 30; l++) {
#pragma acc kernels loop copyin(A [0:N], B [0:N]) copyout(C [0:N])
      for (int i = 0; i < N; i++) {
        int round = i / (N / 4);
        int offset = i % (N / 4);
        C[offset * 4 + round] = A[offset * 4 + round] + B[offset * 4 + round];
      }
      if (check)
        verify(A, B, C, N);
    }
  }
  return 0;
}


x86 assembly (clang, -O0):
<main>:
push   %rbp
mov    %rsp,%rbp
sub    $0x70,%rsp
movl   $0x0,-0x4(%rbp)
mov    %edi,-0x8(%rbp)
mov    %rsi,-0x10(%rbp)
movl   $0x0,-0x14(%rbp)
movl   $0x0,-0x18(%rbp)
movl   $0x100000,-0x1c(%rbp)
mov    0x2e36(%rip),%rax
movq   $0x0,(%rax)
mov    -0x8(%rbp),%edi
mov    -0x10(%rbp),%rsi
lea    0xf19(%rip),%rdx
call   1070 <getopt@plt>
mov    %eax,-0x20(%rbp)
cmp    $0xffffffff,%eax
je     1240 <main+0xe0>
mov    -0x20(%rbp),%eax
add    $0xffffffc1,%eax
mov    %eax,%ecx
mov    %rcx,-0x60(%rbp)
sub    $0x2f,%eax
ja     1232 <main+0xd2>
mov    -0x60(%rbp),%rax
lea    0xe28(%rip),%rcx
movslq (%rcx,%rax,4),%rax
add    %rcx,%rax
jmp    *%rax
mov    0x2e10(%rip),%rax
mov    (%rax),%edi
call   1080 <atoi@plt>
mov    %eax,-0x1c(%rbp)
jmp    123b <main+0xdb>
movl   $0x1,-0x14(%rbp)
jmp    123b <main+0xdb>
movl   $0x1,-0x18(%rbp)
jmp    123b <main+0xdb>
mov    0x2dba(%rip),%rax
mov    (%rax),%edi
mov    0x2dc1(%rip),%rax
mov    (%rax),%edx
lea    0xe9e(%rip),%rsi
call   1030 <fprintf@plt>
jmp    1232 <main+0xd2>
mov    -0x10(%rbp),%rdi
call   1050 <usage@plt>
jmp    1199 <main+0x39>
movslq -0x1c(%rbp),%rax
shl    $0x2,%rax
mov    %eax,%edi
call   1040 <malloc@plt>
mov    %rax,-0x28(%rbp)
movslq -0x1c(%rbp),%rax
shl    $0x2,%rax
mov    %eax,%edi
call   1040 <malloc@plt>
mov    %rax,-0x30(%rbp)
movslq -0x1c(%rbp),%rax
shl    $0x2,%rax
mov    %eax,%edi
call   1040 <malloc@plt>
mov    %rax,-0x38(%rbp)
movl   $0x0,-0x3c(%rbp)
mov    -0x3c(%rbp),%eax
cmp    -0x1c(%rbp),%eax
jge    12b9 <main+0x159>
mov    -0x3c(%rbp),%edx
mov    -0x28(%rbp),%rax
movslq -0x3c(%rbp),%rcx
mov    %edx,(%rax,%rcx,4)
mov    -0x3c(%rbp),%edx
shl    $0x1,%edx
mov    -0x30(%rbp),%rax
movslq -0x3c(%rbp),%rcx
mov    %edx,(%rax,%rcx,4)
mov    -0x3c(%rbp),%eax
add    $0x1,%eax
mov    %eax,-0x3c(%rbp)
jmp    1280 <main+0x120>
movl   $0x0,-0x40(%rbp)
mov    -0x40(%rbp),%eax
cmp    -0x1c(%rbp),%eax
jge    12fb <main+0x19b>
mov    -0x28(%rbp),%rax
movslq -0x40(%rbp),%rcx
mov    (%rax,%rcx,4),%edx
mov    -0x30(%rbp),%rax
movslq -0x40(%rbp),%rcx
add    (%rax,%rcx,4),%edx
mov    -0x38(%rbp),%rax
movslq -0x40(%rbp),%rcx
mov    %edx,(%rax,%rcx,4)
mov    -0x40(%rbp),%eax
add    $0x1,%eax
mov    %eax,-0x40(%rbp)
jmp    12c0 <main+0x160>
cmpl   $0x0,-0x18(%rbp)
jne    138e <main+0x22e>
movl   $0x0,-0x44(%rbp)
cmpl   $0x1e,-0x44(%rbp)
jge    1389 <main+0x229>
movl   $0x0,-0x48(%rbp)
mov    -0x48(%rbp),%eax
cmp    -0x1c(%rbp),%eax
jge    1358 <main+0x1f8>
mov    -0x28(%rbp),%rax
movslq -0x48(%rbp),%rcx
mov    (%rax,%rcx,4),%edx
mov    -0x30(%rbp),%rax
movslq -0x48(%rbp),%rcx
add    (%rax,%rcx,4),%edx
mov    -0x38(%rbp),%rax
movslq -0x48(%rbp),%rcx
mov    %edx,(%rax,%rcx,4)
mov    -0x48(%rbp),%eax
add    $0x1,%eax
mov    %eax,-0x48(%rbp)
jmp    131d <main+0x1bd>
cmpl   $0x0,-0x14(%rbp)
je     1376 <main+0x216>
mov    -0x28(%rbp),%rdi
mov    -0x30(%rbp),%rsi
mov    -0x38(%rbp),%rdx
mov    -0x1c(%rbp),%ecx
call   1060 <verify@plt>
jmp    137b <main+0x21b>
mov    -0x44(%rbp),%eax
add    $0x1,%eax
mov    %eax,-0x44(%rbp)
jmp    130c <main+0x1ac>
jmp    1467 <main+0x307>
movl   $0x0,-0x4c(%rbp)
cmpl   $0x1e,-0x4c(%rbp)
jge    1462 <main+0x302>
movl   $0x0,-0x50(%rbp)
mov    -0x50(%rbp),%eax
cmp    -0x1c(%rbp),%eax
jge    1431 <main+0x2d1>
mov    -0x50(%rbp),%eax
mov    %eax,-0x68(%rbp)
mov    -0x1c(%rbp),%eax
mov    $0x4,%ecx
cltd
idiv   %ecx
mov    %eax,%ecx
mov    -0x68(%rbp),%eax
cltd
idiv   %ecx
mov    %eax,-0x54(%rbp)
mov    -0x50(%rbp),%eax
mov    %eax,-0x64(%rbp)
mov    -0x1c(%rbp),%eax
mov    $0x4,%ecx
cltd
idiv   %ecx
mov    %eax,%ecx
mov    -0x64(%rbp),%eax
cltd
idiv   %ecx
mov    %edx,-0x58(%rbp)
mov    -0x28(%rbp),%rax
mov    -0x58(%rbp),%ecx
shl    $0x2,%ecx
add    -0x54(%rbp),%ecx
movslq %ecx,%rcx
mov    (%rax,%rcx,4),%edx
mov    -0x30(%rbp),%rax
mov    -0x58(%rbp),%ecx
shl    $0x2,%ecx
add    -0x54(%rbp),%ecx
movslq %ecx,%rcx
add    (%rax,%rcx,4),%edx
mov    -0x38(%rbp),%rax
mov    -0x58(%rbp),%ecx
shl    $0x2,%ecx
add    -0x54(%rbp),%ecx
movslq %ecx,%rcx
mov    %edx,(%rax,%rcx,4)
mov    -0x50(%rbp),%eax
add    $0x1,%eax
mov    %eax,-0x50(%rbp)
jmp    13a6 <main+0x246>
cmpl   $0x0,-0x14(%rbp)
je     144f <main+0x2ef>
mov    -0x28(%rbp),%rdi
mov    -0x30(%rbp),%rsi
mov    -0x38(%rbp),%rdx
mov    -0x1c(%rbp),%ecx
call   1060 <verify@plt>
jmp    1454 <main+0x2f4>
mov    -0x4c(%rbp),%eax
add    $0x1,%eax
mov    %eax,-0x4c(%rbp)
jmp    1395 <main+0x235>
jmp    1467 <main+0x307>
xor    %eax,%eax
add    $0x70,%rsp
pop    %rbp
ret

x86 assembly (clang, -O2):
<main>:
push   %rbp
push   %r15
push   %r14
push   %r13
push   %r12
push   %rbx
sub    $0x38,%rsp
mov    %rsi,%rbx
mov    %edi,%ebp
mov    0x2e4e(%rip),%rax
movq   $0x0,(%rax)
movl   $0x0,0x8(%rsp)
mov    $0x100000,%r14d
lea    0xeca(%rip),%r15
mov    0x2e43(%rip),%r13
lea    0xec2(%rip),%r12
movl   $0x0,0xc(%rsp)
jmp    11cd <main+0x6d>
xchg   %ax,%ax
mov    0x2e19(%rip),%rax
mov    (%rax),%edi
mov    0x0(%r13),%edx
mov    %r12,%rsi
call   1030 <fprintf@plt>
mov    %rbx,%rdi
call   1050 <usage@plt>
mov    %ebp,%edi
mov    %rbx,%rsi
mov    %r15,%rdx
call   1070 <getopt@plt>
cmp    $0x61,%eax
jg     11f0 <main+0x90>
cmp    $0x3f,%eax
je     11b0 <main+0x50>
cmp    $0xffffffff,%eax
jne    11c5 <main+0x65>
jmp    1226 <main+0xc6>
nopl   0x0(%rax,%rax,1)
cmp    $0x62,%eax
je     1212 <main+0xb2>
cmp    $0x63,%eax
je     121c <main+0xbc>
cmp    $0x6e,%eax
jne    11c5 <main+0x65>
mov    0x2df2(%rip),%rax
mov    (%rax),%edi
call   1080 <atoi@plt>
mov    %eax,%r14d
jmp    11cd <main+0x6d>
movl   $0x1,0x8(%rsp)
jmp    11cd <main+0x6d>
movl   $0x1,0xc(%rsp)
jmp    11cd <main+0x6d>
lea    0x0(,%r14,4),%ebp
mov    %ebp,%edi
call   1040 <malloc@plt>
mov    %rax,%r15
mov    %ebp,%edi
call   1040 <malloc@plt>
mov    %rax,%r13
mov    %ebp,%edi
call   1040 <malloc@plt>
mov    %rax,%r12
test   %r14d,%r14d
jle    132a <main+0x1ca>
mov    %r14d,%eax
cmp    $0x8,%r14d
jb     127f <main+0x11f>
lea    0x0(,%rax,4),%rcx
add    %r13,%rcx
cmp    %rcx,%r15
jae    1334 <main+0x1d4>
lea    (%r15,%rax,4),%rcx
cmp    %rcx,%r13
jae    1334 <main+0x1d4>
xor    %ecx,%ecx
mov    0x8(%rsp),%r8d
mov    %rcx,%rdx
not    %rdx
add    %rax,%rdx
mov    %rax,%rsi
and    $0x3,%rsi
je     12b6 <main+0x156>
lea    (%rcx,%rcx,1),%edi
nopl   0x0(%rax,%rax,1)
mov    %ecx,(%r15,%rcx,4)
mov    %edi,0x0(%r13,%rcx,4)
add    $0x1,%rcx
add    $0x2,%edi
add    $0xffffffffffffffff,%rsi
jne    12a0 <main+0x140>
cmp    $0x3,%rdx
jb     1465 <main+0x305>
mov    %ecx,%edx
and    $0x7fffffff,%edx
add    %rdx,%rdx
lea    0xc(,%rcx,4),%rsi
add    %r13,%rsi
lea    (%r15,%rcx,4),%rdi
add    $0xc,%rdi
xor    %ebp,%ebp
mov    %ecx,-0xc(%rdi,%rbp,2)
lea    (%rdx,%rbp,1),%ebx
mov    %ebx,-0xc(%rsi,%rbp,2)
lea    0x1(%rcx),%ebx
mov    %ebx,-0x8(%rdi,%rbp,2)
lea    0x2(%rdx,%rbp,1),%ebx
mov    %ebx,-0x8(%rsi,%rbp,2)
lea    0x2(%rcx),%ebx
mov    %ebx,-0x4(%rdi,%rbp,2)
lea    0x4(%rdx,%rbp,1),%ebx
mov    %ebx,-0x4(%rsi,%rbp,2)
lea    0x3(%rcx),%ebx
mov    %ebx,(%rdi,%rbp,2)
lea    (%rdx,%rbp,1),%ebx
add    $0x6,%ebx
mov    %ebx,(%rsi,%rbp,2)
add    $0x4,%rcx
add    $0x8,%rbp
cmp    %rax,%rcx
jne    12e0 <main+0x180>
jmp    1465 <main+0x305>
mov    0x8(%rsp),%r8d
jmp    161b <main+0x4bb>
mov    %eax,%ecx
and    $0xfffffff8,%ecx
lea    -0x8(%rcx),%rdx
mov    %rdx,%rsi
shr    $0x3,%rsi
add    $0x1,%rsi
test   %rdx,%rdx
je     18dc <main+0x77c>
mov    %rsi,%rdi
and    $0xfffffffffffffffe,%rdi
movdqa 0xca0(%rip),%xmm1
xor    %edx,%edx
movdqa 0xca5(%rip),%xmm8
movdqa 0xcad(%rip),%xmm3
movdqa 0xcb4(%rip),%xmm9
movdqa 0xcbc(%rip),%xmm5
movdqa 0xcc4(%rip),%xmm6
movdqa %xmm1,%xmm4
mov    0x8(%rsp),%r8d
cs nopw 0x0(%rax,%rax,1)
nop
movdqa %xmm1,%xmm7
paddd  %xmm8,%xmm7
movdqu %xmm1,(%r15,%rdx,4)
movdqu %xmm7,0x10(%r15,%rdx,4)
movdqa %xmm4,%xmm7
paddd  %xmm4,%xmm7
movdqa %xmm7,%xmm2
paddd  %xmm3,%xmm2
movdqu %xmm7,0x0(%r13,%rdx,4)
movdqu %xmm2,0x10(%r13,%rdx,4)
movdqa %xmm1,%xmm2
paddd  %xmm3,%xmm2
movdqa %xmm1,%xmm0
paddd  %xmm9,%xmm0
movdqu %xmm2,0x20(%r15,%rdx,4)
movdqu %xmm0,0x30(%r15,%rdx,4)
movdqa %xmm7,%xmm0
paddd  %xmm5,%xmm0
paddd  %xmm6,%xmm7
movdqu %xmm0,0x20(%r13,%rdx,4)
movdqu %xmm7,0x30(%r13,%rdx,4)
add    $0x10,%rdx
paddd  %xmm5,%xmm1
paddd  %xmm5,%xmm4
add    $0xfffffffffffffffe,%rdi
jne    13a0 <main+0x240>
test   $0x1,%sil
je     145c <main+0x2fc>
movdqa 0xbe3(%rip),%xmm0
paddd  %xmm1,%xmm0
movdqu %xmm1,(%r15,%rdx,4)
movdqu %xmm0,0x10(%r15,%rdx,4)
paddd  %xmm4,%xmm4
movdqa 0xbd6(%rip),%xmm0
paddd  %xmm4,%xmm0
movdqu %xmm4,0x0(%r13,%rdx,4)
movdqu %xmm0,0x10(%r13,%rdx,4)
cmp    %rax,%rcx
jne    1286 <main+0x126>
test   %r14d,%r14d
jle    161b <main+0x4bb>
cmp    $0x8,%r14d
jae    1508 <main+0x3a8>
xor    %ecx,%ecx
mov    %rcx,%rdx
not    %rdx
add    %rax,%rdx
mov    %rax,%rsi
and    $0x3,%rsi
je     14a7 <main+0x347>
nopl   0x0(%rax)
mov    0x0(%r13,%rcx,4),%edi
add    (%r15,%rcx,4),%edi
mov    %edi,(%r12,%rcx,4)
add    $0x1,%rcx
add    $0xffffffffffffffff,%rsi
jne    1490 <main+0x330>
cmp    $0x3,%rdx
jb     161b <main+0x4bb>
cs nopw 0x0(%rax,%rax,1)
nopl   0x0(%rax,%rax,1)
mov    0x0(%r13,%rcx,4),%edx
add    (%r15,%rcx,4),%edx
mov    %edx,(%r12,%rcx,4)
mov    0x4(%r13,%rcx,4),%edx
add    0x4(%r15,%rcx,4),%edx
mov    %edx,0x4(%r12,%rcx,4)
mov    0x8(%r13,%rcx,4),%edx
add    0x8(%r15,%rcx,4),%edx
mov    %edx,0x8(%r12,%rcx,4)
mov    0xc(%r13,%rcx,4),%edx
add    0xc(%r15,%rcx,4),%edx
mov    %edx,0xc(%r12,%rcx,4)
add    $0x4,%rcx
cmp    %rcx,%rax
jne    14c0 <main+0x360>
jmp    161b <main+0x4bb>
lea    (%r12,%rax,4),%rcx
lea    (%r15,%rax,4),%rdx
lea    0x0(,%rax,4),%rsi
add    %r13,%rsi
cmp    %rdx,%r12
setb   %dil
cmp    %rcx,%r15
setb   %bl
cmp    %rsi,%r12
setb   %dl
cmp    %rcx,%r13
setb   %sil
xor    %ecx,%ecx
test   %bl,%dil
jne    147a <main+0x31a>
and    %sil,%dl
jne    147a <main+0x31a>
mov    %eax,%ecx
and    $0xfffffff8,%ecx
lea    -0x8(%rcx),%rdx
mov    %rdx,%rsi
shr    $0x3,%rsi
add    $0x1,%rsi
test   %rdx,%rdx
je     18fe <main+0x79e>
mov    %rsi,%rdi
and    $0xfffffffffffffffe,%rdi
xor    %edx,%edx
nop
movdqu (%r15,%rdx,4),%xmm0
movdqu 0x10(%r15,%rdx,4),%xmm1
movdqu 0x0(%r13,%rdx,4),%xmm2
paddd  %xmm0,%xmm2
movdqu 0x10(%r13,%rdx,4),%xmm0
paddd  %xmm1,%xmm0
movdqu %xmm2,(%r12,%rdx,4)
movdqu %xmm0,0x10(%r12,%rdx,4)
movdqu 0x20(%r15,%rdx,4),%xmm0
movdqu 0x30(%r15,%rdx,4),%xmm1
movdqu 0x20(%r13,%rdx,4),%xmm2
paddd  %xmm0,%xmm2
movdqu 0x30(%r13,%rdx,4),%xmm0
paddd  %xmm1,%xmm0
movdqu %xmm2,0x20(%r12,%rdx,4)
movdqu %xmm0,0x30(%r12,%rdx,4)
add    $0x10,%rdx
add    $0xfffffffffffffffe,%rdi
jne    1570 <main+0x410>
test   $0x1,%sil
je     1612 <main+0x4b2>
movdqu (%r15,%rdx,4),%xmm0
movdqu 0x10(%r15,%rdx,4),%xmm1
movdqu 0x0(%r13,%rdx,4),%xmm2
paddd  %xmm0,%xmm2
movdqu 0x10(%r13,%rdx,4),%xmm0
paddd  %xmm1,%xmm0
movdqu %xmm2,(%r12,%rdx,4)
movdqu %xmm0,0x10(%r12,%rdx,4)
cmp    %rax,%rcx
jne    147a <main+0x31a>
test   %r8d,%r8d
je     1699 <main+0x539>
lea    0x3(%r14),%ebp
test   %r14d,%r14d
cmovns %r14d,%ebp
sar    $0x2,%ebp
xor    %ebx,%ebx
jmp    164c <main+0x4ec>
cs nopw 0x0(%rax,%rax,1)
nopl   0x0(%rax)
add    $0x1,%ebx
cmp    $0x1e,%ebx
je     18cb <main+0x76b>
test   %r14d,%r14d
jle    167f <main+0x51f>
xor    %ecx,%ecx
cs nopw 0x0(%rax,%rax,1)
nopl   (%rax)
mov    %ecx,%eax
cltd
idiv   %ebp
lea    (%rax,%rdx,4),%eax
cltq
mov    0x0(%r13,%rax,4),%edx
add    (%r15,%rax,4),%edx
mov    %edx,(%r12,%rax,4)
add    $0x1,%ecx
cmp    %ecx,%r14d
jne    1660 <main+0x500>
cmpl   $0x0,0xc(%rsp)
je     1640 <main+0x4e0>
mov    %r15,%rdi
mov    %r13,%rsi
mov    %r12,%rdx
mov    %r14d,%ecx
call   1060 <verify@plt>
jmp    1640 <main+0x4e0>
mov    %r14d,%ebx
lea    (%r12,%rbx,4),%rax
lea    (%r15,%rbx,4),%rcx
lea    0x0(,%rbx,4),%rdi
add    %r13,%rdi
mov    %ebx,%esi
and    $0xfffffff8,%esi
mov    %rsi,0x28(%rsp)
add    $0xfffffffffffffff8,%rsi
mov    %rsi,0x20(%rsp)
shr    $0x3,%rsi
add    $0x1,%rsi
cmp    %rcx,%r12
setb   %cl
cmp    %rax,%r15
setb   %dl
and    %cl,%dl
cmp    %rdi,%r12
setb   %cl
cmp    %rax,%r13
setb   %al
and    %cl,%al
or     %dl,%al
mov    %al,0x8(%rsp)
mov    %rsi,%rax
mov    %rsi,0x18(%rsp)
and    $0xfffffffffffffffe,%rsi
mov    %rsi,0x10(%rsp)
mov    %ebx,%edi
and    $0x3,%edi
xor    %ebp,%ebp
mov    %rdi,0x30(%rsp)
jmp    171c <main+0x5bc>
nopl   0x0(%rax,%rax,1)
add    $0x1,%ebp
cmp    $0x1e,%ebp
je     18cb <main+0x76b>
test   %r14d,%r14d
jle    1893 <main+0x733>
cmp    $0x8,%r14d
setb   %al
or     0x8(%rsp),%al
je     1740 <main+0x5e0>
xor    %eax,%eax
jmp    1814 <main+0x6b4>
nopl   0x0(%rax)
cmpq   $0x0,0x20(%rsp)
je     18b9 <main+0x759>
mov    0x10(%rsp),%rcx
xor    %eax,%eax
cs nopw 0x0(%rax,%rax,1)
nopl   (%rax)
movdqu (%r15,%rax,4),%xmm0
movdqu 0x10(%r15,%rax,4),%xmm1
movdqu 0x0(%r13,%rax,4),%xmm2
paddd  %xmm0,%xmm2
movdqu 0x10(%r13,%rax,4),%xmm0
paddd  %xmm1,%xmm0
movdqu %xmm2,(%r12,%rax,4)
movdqu %xmm0,0x10(%r12,%rax,4)
movdqu 0x20(%r15,%rax,4),%xmm0
movdqu 0x30(%r15,%rax,4),%xmm1
movdqu 0x20(%r13,%rax,4),%xmm2
paddd  %xmm0,%xmm2
movdqu 0x30(%r13,%rax,4),%xmm0
paddd  %xmm1,%xmm0
movdqu %xmm2,0x20(%r12,%rax,4)
movdqu %xmm0,0x30(%r12,%rax,4)
add    $0x10,%rax
add    $0xfffffffffffffffe,%rcx
jne    1760 <main+0x600>
testb  $0x1,0x18(%rsp)
je     1803 <main+0x6a3>
movdqu (%r15,%rax,4),%xmm0
movdqu 0x10(%r15,%rax,4),%xmm1
movdqu 0x0(%r13,%rax,4),%xmm2
paddd  %xmm0,%xmm2
movdqu 0x10(%r13,%rax,4),%xmm0
paddd  %xmm1,%xmm0
movdqu %xmm2,(%r12,%rax,4)
movdqu %xmm0,0x10(%r12,%rax,4)
mov    0x28(%rsp),%rcx
mov    %rcx,%rax
cmp    %rbx,%rcx
je     1893 <main+0x733>
mov    %rax,%rcx
not    %rcx
add    %rbx,%rcx
test   %rdi,%rdi
je     1847 <main+0x6e7>
mov    %rdi,%rdx
cs nopw 0x0(%rax,%rax,1)
nop
mov    0x0(%r13,%rax,4),%esi
add    (%r15,%rax,4),%esi
mov    %esi,(%r12,%rax,4)
add    $0x1,%rax
add    $0xffffffffffffffff,%rdx
jne    1830 <main+0x6d0>
cmp    $0x3,%rcx
jb     1893 <main+0x733>
nopl   (%rax)
mov    0x0(%r13,%rax,4),%ecx
add    (%r15,%rax,4),%ecx
mov    %ecx,(%r12,%rax,4)
mov    0x4(%r13,%rax,4),%ecx
add    0x4(%r15,%rax,4),%ecx
mov    %ecx,0x4(%r12,%rax,4)
mov    0x8(%r13,%rax,4),%ecx
add    0x8(%r15,%rax,4),%ecx
mov    %ecx,0x8(%r12,%rax,4)
mov    0xc(%r13,%rax,4),%ecx
add    0xc(%r15,%rax,4),%ecx
mov    %ecx,0xc(%r12,%rax,4)
add    $0x4,%rax
cmp    %rax,%rbx
jne    1850 <main+0x6f0>
cmpl   $0x0,0xc(%rsp)
je     1710 <main+0x5b0>
mov    %r15,%rdi
mov    %r13,%rsi
mov    %r12,%rdx
mov    %r14d,%ecx
call   1060 <verify@plt>
mov    0x30(%rsp),%rdi
jmp    1710 <main+0x5b0>
xor    %eax,%eax
testb  $0x1,0x18(%rsp)
jne    17d3 <main+0x673>
jmp    1803 <main+0x6a3>
xor    %eax,%eax
add    $0x38,%rsp
pop    %rbx
pop    %r12
pop    %r13
pop    %r14
pop    %r15
pop    %rbp
ret
movdqa 0x71c(%rip),%xmm1
xor    %edx,%edx
movdqa %xmm1,%xmm4
mov    0x8(%rsp),%r8d
test   $0x1,%sil
jne    1425 <main+0x2c5>
jmp    145c <main+0x2fc>
xor    %edx,%edx
test   $0x1,%sil
jne    15e2 <main+0x482>
jmp    1612 <main+0x4b2>

LLVM IR (-O0):
@opterr = global i64 0
@.str = [6 x i8] c"bcn:h\00"
@optarg = global i32 0
@stderr = global i32 0
@.str.1 = [31 x i8] c"Missing argument to option %c\0A\00"
@optopt = global i32 0
define i32 @main(i32 %0, i8** %1) {
%3 = alloca i32
%4 = alloca i32
%5 = alloca i8**
%6 = alloca i32
%7 = alloca i32
%8 = alloca i32
%9 = alloca i32
%10 = alloca i32*
%11 = alloca i32*
%12 = alloca i32*
%13 = alloca i32
%14 = alloca i32
%15 = alloca i32
%16 = alloca i32
%17 = alloca i32
%18 = alloca i32
%19 = alloca i32
%20 = alloca i32
store i32 0, i32* %3
store i32 %0, i32* %4
store i8** %1, i8*** %5
store i32 0, i32* %6
store i32 0, i32* %7
store i32 1048576, i32* %8
store i64 0, i64* @opterr
br label %21
21: ; preds = %41, %2
%22 = load i32, i32* %4
%23 = load i8**, i8*** %5
%24 = call i32 @getopt(i32 %22, i8** %23, i8* getelementptr inbounds ([6 x i8], [6 x i8]* @.str, i64 0, i64 0))
store i32 %24, i32* %9
%25 = icmp ne i32 %24, -1
br i1 %25, label %26, label %42
26: ; preds = %21
%27 = load i32, i32* %9
switch i32 %27, label %38 [
i32 110, label %28
i32 99, label %31
i32 98, label %32
i32 63, label %33
i32 104, label %37
]
28: ; preds = %26
%29 = load i32, i32* @optarg
%30 = call i32 @atoi(i32 %29)
store i32 %30, i32* %8
br label %41
31: ; preds = %26
store i32 1, i32* %6
br label %41
32: ; preds = %26
store i32 1, i32* %7
br label %41
33: ; preds = %26
%34 = load i32, i32* @stderr
%35 = load i32, i32* @optopt
%36 = call i32 @fprintf(i32 %34, i8* getelementptr inbounds ([31 x i8], [31 x i8]* @.str.1, i64 0, i64 0), i32 %35)
br label %37
37: ; preds = %26, %33
br label %38
38: ; preds = %26, %37
%39 = load i8**, i8*** %5
%40 = call i32 @usage(i8** %39)
br label %41
41: ; preds = %38, %32, %31, %28
br label %21
42: ; preds = %21
%43 = load i32, i32* %8
%44 = sext i32 %43 to i64
%45 = mul i64 %44, 4
%46 = trunc i64 %45 to i32
%47 = call i64 @malloc(i32 %46)
%48 = inttoptr i64 %47 to i32*
store i32* %48, i32** %10
%49 = load i32, i32* %8
%50 = sext i32 %49 to i64
%51 = mul i64 %50, 4
%52 = trunc i64 %51 to i32
%53 = call i64 @malloc(i32 %52)
%54 = inttoptr i64 %53 to i32*
store i32* %54, 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 i64 @malloc(i32 %58)
%60 = inttoptr i64 %59 to i32*
store i32* %60, i32** %12
store i32 0, i32* %13
br label %61
61: ; preds = %77, %42
%62 = load i32, i32* %13
%63 = load i32, i32* %8
%64 = icmp slt i32 %62, %63
br i1 %64, label %65, label %80
65: ; preds = %61
%66 = load i32, i32* %13
%67 = load i32*, i32** %10
%68 = load i32, i32* %13
%69 = sext i32 %68 to i64
%70 = getelementptr inbounds i32, i32* %67, i64 %69
store i32 %66, i32* %70
%71 = load i32, i32* %13
%72 = mul nsw i32 %71, 2
%73 = load i32*, i32** %11
%74 = load i32, i32* %13
%75 = sext i32 %74 to i64
%76 = getelementptr inbounds i32, i32* %73, i64 %75
store i32 %72, i32* %76
br label %77
77: ; preds = %65
%78 = load i32, i32* %13
%79 = add nsw i32 %78, 1
store i32 %79, i32* %13
br label %61
80: ; preds = %61
store i32 0, i32* %14
br label %81
81: ; preds = %101, %80
%82 = load i32, i32* %14
%83 = load i32, i32* %8
%84 = icmp slt i32 %82, %83
br i1 %84, label %85, label %104
85: ; preds = %81
%86 = load i32*, i32** %10
%87 = load i32, i32* %14
%88 = sext i32 %87 to i64
%89 = getelementptr inbounds i32, i32* %86, i64 %88
%90 = load i32, i32* %89
%91 = load i32*, i32** %11
%92 = load i32, i32* %14
%93 = sext i32 %92 to i64
%94 = getelementptr inbounds i32, i32* %91, i64 %93
%95 = load i32, i32* %94
%96 = add nsw i32 %90, %95
%97 = load i32*, i32** %12
%98 = load i32, i32* %14
%99 = sext i32 %98 to i64
%100 = getelementptr inbounds i32, i32* %97, i64 %99
store i32 %96, i32* %100
br label %101
101: ; preds = %85
%102 = load i32, i32* %14
%103 = add nsw i32 %102, 1
store i32 %103, i32* %14
br label %81
104: ; preds = %81
%105 = load i32, i32* %7
%106 = icmp ne i32 %105, 0
br i1 %106, label %149, label %107
107: ; preds = %104
store i32 0, i32* %15
br label %108
108: ; preds = %145, %107
%109 = load i32, i32* %15
%110 = icmp slt i32 %109, 30
br i1 %110, label %111, label %148
111: ; preds = %108
store i32 0, i32* %16
br label %112
112: ; preds = %132, %111
%113 = load i32, i32* %16
%114 = load i32, i32* %8
%115 = icmp slt i32 %113, %114
br i1 %115, label %116, label %135
116: ; preds = %112
%117 = load i32*, i32** %10
%118 = load i32, i32* %16
%119 = sext i32 %118 to i64
%120 = getelementptr inbounds i32, i32* %117, i64 %119
%121 = load i32, i32* %120
%122 = load i32*, i32** %11
%123 = load i32, i32* %16
%124 = sext i32 %123 to i64
%125 = getelementptr inbounds i32, i32* %122, i64 %124
%126 = load i32, i32* %125
%127 = add nsw i32 %121, %126
%128 = load i32*, i32** %12
%129 = load i32, i32* %16
%130 = sext i32 %129 to i64
%131 = getelementptr inbounds i32, i32* %128, i64 %130
store i32 %127, i32* %131
br label %132
132: ; preds = %116
%133 = load i32, i32* %16
%134 = add nsw i32 %133, 1
store i32 %134, i32* %16
br label %112
135: ; preds = %112
%136 = load i32, i32* %6
%137 = icmp ne i32 %136, 0
br i1 %137, label %138, label %144
138: ; preds = %135
%139 = load i32*, i32** %10
%140 = load i32*, i32** %11
%141 = load i32*, i32** %12
%142 = load i32, i32* %8
%143 = call i32 @verify(i32* %139, i32* %140, i32* %141, i32 %142)
br label %144
144: ; preds = %138, %135
br label %145
145: ; preds = %144
%146 = load i32, i32* %15
%147 = add nsw i32 %146, 1
store i32 %147, i32* %15
br label %108
148: ; preds = %108
br label %208
149: ; preds = %104
store i32 0, i32* %17
br label %150
150: ; preds = %204, %149
%151 = load i32, i32* %17
%152 = icmp slt i32 %151, 30
br i1 %152, label %153, label %207
153: ; preds = %150
store i32 0, i32* %18
br label %154
154: ; preds = %191, %153
%155 = load i32, i32* %18
%156 = load i32, i32* %8
%157 = icmp slt i32 %155, %156
br i1 %157, label %158, label %194
158: ; preds = %154
%159 = load i32, i32* %18
%160 = load i32, i32* %8
%161 = sdiv i32 %160, 4
%162 = sdiv i32 %159, %161
store i32 %162, i32* %19
%163 = load i32, i32* %18
%164 = load i32, i32* %8
%165 = sdiv i32 %164, 4
%166 = srem i32 %163, %165
store i32 %166, i32* %20
%167 = load i32*, i32** %10
%168 = load i32, i32* %20
%169 = mul nsw i32 %168, 4
%170 = load i32, i32* %19
%171 = add nsw i32 %169, %170
%172 = sext i32 %171 to i64
%173 = getelementptr inbounds i32, i32* %167, i64 %172
%174 = load i32, i32* %173
%175 = load i32*, i32** %11
%176 = load i32, i32* %20
%177 = mul nsw i32 %176, 4
%178 = load i32, i32* %19
%179 = add nsw i32 %177, %178
%180 = sext i32 %179 to i64
%181 = getelementptr inbounds i32, i32* %175, i64 %180
%182 = load i32, i32* %181
%183 = add nsw i32 %174, %182
%184 = load i32*, i32** %12
%185 = load i32, i32* %20
%186 = mul nsw i32 %185, 4
%187 = load i32, i32* %19
%188 = add nsw i32 %186, %187
%189 = sext i32 %188 to i64
%190 = getelementptr inbounds i32, i32* %184, i64 %189
store i32 %183, i32* %190
br label %191
191: ; preds = %158
%192 = load i32, i32* %18
%193 = add nsw i32 %192, 1
store i32 %193, i32* %18
br label %154
194: ; preds = %154
%195 = load i32, i32* %6
%196 = icmp ne i32 %195, 0
br i1 %196, label %197, label %203
197: ; preds = %194
%198 = load i32*, i32** %10
%199 = load i32*, i32** %11
%200 = load i32*, i32** %12
%201 = load i32, i32* %8
%202 = call i32 @verify(i32* %198, i32* %199, i32* %200, i32 %201)
br label %203
203: ; preds = %197, %194
br label %204
204: ; preds = %203
%205 = load i32, i32* %17
%206 = add nsw i32 %205, 1
store i32 %206, i32* %17
br label %150
207: ; preds = %150
br label %208
208: ; preds = %207, %148
ret i32 0
}

LLVM IR (-O2):
@opterr = global i64 0
@.str = [6 x i8] c"bcn:h\00"
@optarg = global i32 0
@stderr = global i32 0
@.str.1 = [31 x i8] c"Missing argument to option %c\0A\00"
@optopt = global i32 0
define i32 @main(i32 %0, i8** %1) {
store i64 0, i64* @opterr
br label %3
3: ; preds = %14, %2
%4 = phi i32 [ %16, %14 ], [ 1048576, %2 ]
%5 = phi i32 [ %8, %14 ], [ 0, %2 ]
%6 = phi i32 [ %11, %14 ], [ 0, %2 ]
br label %7
7: ; preds = %12, %3
%8 = phi i32 [ %5, %3 ], [ 1, %12 ]
%9 = phi i32 [ %6, %3 ], [ %11, %12 ]
br label %10
10: ; preds = %12, %7
%11 = phi i32 [ %9, %7 ], [ 1, %12 ]
br label %12
12: ; preds = %10, %21
%13 = tail call i32 @getopt(i32 %0, i8** %1, i8* getelementptr inbounds ([6 x i8], [6 x i8]* @.str, i64 0, i64 0))
switch i32 %13, label %21 [
i32 -1, label %23
i32 110, label %14
i32 99, label %10
i32 98, label %7
i32 63, label %17
]
14: ; preds = %12
%15 = load i32, i32* @optarg
%16 = tail call i32 @atoi(i32 %15)
br label %3
17: ; preds = %12
%18 = load i32, i32* @stderr
%19 = load i32, i32* @optopt
%20 = tail call i32 @fprintf(i32 %18, i8* getelementptr inbounds ([31 x i8], [31 x i8]* @.str.1, i64 0, i64 0), i32 %19)
br label %21
21: ; preds = %12, %17
%22 = tail call i32 @usage(i8** %1)
br label %12
23: ; preds = %12
%24 = shl i32 %4, 2
%25 = tail call i64 @malloc(i32 %24)
%26 = inttoptr i64 %25 to i32*
%27 = inttoptr i64 %25 to i8*
%28 = tail call i64 @malloc(i32 %24)
%29 = inttoptr i64 %28 to i32*
%30 = inttoptr i64 %28 to i8*
%31 = tail call i64 @malloc(i32 %24)
%32 = inttoptr i64 %31 to i32*
%33 = inttoptr i64 %31 to i8*
%34 = icmp sgt i32 %4, 0
br i1 %34, label %35, label %274
35: ; preds = %23
%36 = zext i32 %4 to i64
%37 = icmp ult i32 %4, 8
br i1 %37, label %112, label %38
38: ; preds = %35
%39 = getelementptr i32, i32* %26, i64 %36
%40 = bitcast i32* %39 to i8*
%41 = getelementptr i32, i32* %29, i64 %36
%42 = bitcast i32* %41 to i8*
%43 = icmp ult i8* %27, %42
%44 = icmp ult i8* %30, %40
%45 = and i1 %43, %44
br i1 %45, label %112, label %46
46: ; preds = %38
%47 = and i64 %36, 4294967288
%48 = add nsw i64 %47, -8
%49 = lshr exact i64 %48, 3
%50 = add nuw nsw i64 %49, 1
%51 = and i64 %50, 1
%52 = icmp eq i64 %48, 0
br i1 %52, label %92, label %53
53: ; preds = %46
%54 = and i64 %50, 4611686018427387902
br label %55
55: ; preds = %55, %53
%56 = phi i64 [ 0, %53 ], [ %87, %55 ]
%57 = phi <4 x i32> [ <i32 0, i32 1, i32 2, i32 3>, %53 ], [ %88, %55 ]
%58 = phi <4 x i32> [ <i32 0, i32 1, i32 2, i32 3>, %53 ], [ %89, %55 ]
%59 = phi i64 [ 0, %53 ], [ %90, %55 ]
%60 = add <4 x i32> %57, <i32 4, i32 4, i32 4, i32 4>
%61 = getelementptr inbounds i32, i32* %26, i64 %56
%62 = bitcast i32* %61 to <4 x i32>*
store <4 x i32> %57, <4 x i32>* %62
%63 = getelementptr inbounds i32, i32* %61, i64 4
%64 = bitcast i32* %63 to <4 x i32>*
store <4 x i32> %60, <4 x i32>* %64
%65 = getelementptr inbounds i32, i32* %29, i64 %56
%66 = shl <4 x i32> %58, <i32 1, i32 1, i32 1, i32 1>
%67 = shl <4 x i32> %58, <i32 1, i32 1, i32 1, i32 1>
%68 = add <4 x i32> %67, <i32 8, i32 8, i32 8, i32 8>
%69 = bitcast i32* %65 to <4 x i32>*
store <4 x i32> %66, <4 x i32>* %69
%70 = getelementptr inbounds i32, i32* %65, i64 4
%71 = bitcast i32* %70 to <4 x i32>*
store <4 x i32> %68, <4 x i32>* %71
%72 = or i64 %56, 8
%73 = add <4 x i32> %57, <i32 8, i32 8, i32 8, i32 8>
%74 = add <4 x i32> %58, <i32 8, i32 8, i32 8, i32 8>
%75 = add <4 x i32> %57, <i32 12, i32 12, i32 12, i32 12>
%76 = getelementptr inbounds i32, i32* %26, i64 %72
%77 = bitcast i32* %76 to <4 x i32>*
store <4 x i32> %73, <4 x i32>* %77
%78 = getelementptr inbounds i32, i32* %76, i64 4
%79 = bitcast i32* %78 to <4 x i32>*
store <4 x i32> %75, <4 x i32>* %79
%80 = getelementptr inbounds i32, i32* %29, i64 %72
%81 = shl <4 x i32> %74, <i32 1, i32 1, i32 1, i32 1>
%82 = shl <4 x i32> %74, <i32 1, i32 1, i32 1, i32 1>
%83 = add <4 x i32> %82, <i32 8, i32 8, i32 8, i32 8>
%84 = bitcast i32* %80 to <4 x i32>*
store <4 x i32> %81, <4 x i32>* %84
%85 = getelementptr inbounds i32, i32* %80, i64 4
%86 = bitcast i32* %85 to <4 x i32>*
store <4 x i32> %83, <4 x i32>* %86
%87 = add nuw i64 %56, 16
%88 = add <4 x i32> %57, <i32 16, i32 16, i32 16, i32 16>
%89 = add <4 x i32> %58, <i32 16, i32 16, i32 16, i32 16>
%90 = add i64 %59, 2
%91 = icmp eq i64 %90, %54
br i1 %91, label %92, label %55
92: ; preds = %55, %46
%93 = phi i64 [ 0, %46 ], [ %87, %55 ]
%94 = phi <4 x i32> [ <i32 0, i32 1, i32 2, i32 3>, %46 ], [ %88, %55 ]
%95 = phi <4 x i32> [ <i32 0, i32 1, i32 2, i32 3>, %46 ], [ %89, %55 ]
%96 = icmp eq i64 %51, 0
br i1 %96, label %110, label %97
97: ; preds = %92
%98 = add <4 x i32> %94, <i32 4, i32 4, i32 4, i32 4>
%99 = getelementptr inbounds i32, i32* %26, i64 %93
%100 = bitcast i32* %99 to <4 x i32>*
store <4 x i32> %94, <4 x i32>* %100
%101 = getelementptr inbounds i32, i32* %99, i64 4
%102 = bitcast i32* %101 to <4 x i32>*
store <4 x i32> %98, <4 x i32>* %102
%103 = getelementptr inbounds i32, i32* %29, i64 %93
%104 = shl <4 x i32> %95, <i32 1, i32 1, i32 1, i32 1>
%105 = shl <4 x i32> %95, <i32 1, i32 1, i32 1, i32 1>
%106 = add <4 x i32> %105, <i32 8, i32 8, i32 8, i32 8>
%107 = bitcast i32* %103 to <4 x i32>*
store <4 x i32> %104, <4 x i32>* %107
%108 = getelementptr inbounds i32, i32* %103, i64 4
%109 = bitcast i32* %108 to <4 x i32>*
store <4 x i32> %106, <4 x i32>* %109
br label %110
110: ; preds = %92, %97
%111 = icmp eq i64 %47, %36
br i1 %111, label %132, label %112
112: ; preds = %38, %35, %110
%113 = phi i64 [ 0, %38 ], [ 0, %35 ], [ %47, %110 ]
%114 = xor i64 %113, -1
%115 = add nsw i64 %114, %36
%116 = and i64 %36, 3
%117 = icmp eq i64 %116, 0
br i1 %117, label %129, label %118
118: ; preds = %112, %118
%119 = phi i64 [ %126, %118 ], [ %113, %112 ]
%120 = phi i64 [ %127, %118 ], [ 0, %112 ]
%121 = getelementptr inbounds i32, i32* %26, i64 %119
%122 = trunc i64 %119 to i32
store i32 %122, i32* %121
%123 = getelementptr inbounds i32, i32* %29, i64 %119
%124 = trunc i64 %119 to i32
%125 = shl i32 %124, 1
store i32 %125, i32* %123
%126 = add nuw nsw i64 %119, 1
%127 = add i64 %120, 1
%128 = icmp eq i64 %127, %116
br i1 %128, label %129, label %118
129: ; preds = %118, %112
%130 = phi i64 [ %113, %112 ], [ %126, %118 ]
%131 = icmp ult i64 %115, 3
br i1 %131, label %132, label %247
132: ; preds = %129, %247, %110
br i1 %34, label %133, label %274
133: ; preds = %132
%134 = zext i32 %4 to i64
%135 = icmp ult i32 %4, 8
br i1 %135, label %226, label %136
136: ; preds = %133
%137 = getelementptr i32, i32* %32, i64 %36
%138 = bitcast i32* %137 to i8*
%139 = getelementptr i32, i32* %26, i64 %36
%140 = bitcast i32* %139 to i8*
%141 = getelementptr i32, i32* %29, i64 %36
%142 = bitcast i32* %141 to i8*
%143 = icmp ult i8* %33, %140
%144 = icmp ult i8* %27, %138
%145 = and i1 %143, %144
%146 = icmp ult i8* %33, %142
%147 = icmp ult i8* %30, %138
%148 = and i1 %146, %147
%149 = or i1 %145, %148
br i1 %149, label %226, label %150
150: ; preds = %136
%151 = and i64 %36, 4294967288
%152 = add nsw i64 %151, -8
%153 = lshr exact i64 %152, 3
%154 = add nuw nsw i64 %153, 1
%155 = and i64 %154, 1
%156 = icmp eq i64 %152, 0
br i1 %156, label %202, label %157
157: ; preds = %150
%158 = and i64 %154, 4611686018427387902
br label %159
159: ; preds = %159, %157
%160 = phi i64 [ 0, %157 ], [ %199, %159 ]
%161 = phi i64 [ 0, %157 ], [ %200, %159 ]
%162 = getelementptr inbounds i32, i32* %26, i64 %160
%163 = bitcast i32* %162 to <4 x i32>*
%164 = load <4 x i32>, <4 x i32>* %163
%165 = getelementptr inbounds i32, i32* %162, i64 4
%166 = bitcast i32* %165 to <4 x i32>*
%167 = load <4 x i32>, <4 x i32>* %166
%168 = getelementptr inbounds i32, i32* %29, i64 %160
%169 = bitcast i32* %168 to <4 x i32>*
%170 = load <4 x i32>, <4 x i32>* %169
%171 = getelementptr inbounds i32, i32* %168, i64 4
%172 = bitcast i32* %171 to <4 x i32>*
%173 = load <4 x i32>, <4 x i32>* %172
%174 = add nsw <4 x i32> %170, %164
%175 = add nsw <4 x i32> %173, %167
%176 = getelementptr inbounds i32, i32* %32, i64 %160
%177 = bitcast i32* %176 to <4 x i32>*
store <4 x i32> %174, <4 x i32>* %177
%178 = getelementptr inbounds i32, i32* %176, i64 4
%179 = bitcast i32* %178 to <4 x i32>*
store <4 x i32> %175, <4 x i32>* %179
%180 = or i64 %160, 8
%181 = getelementptr inbounds i32, i32* %26, i64 %180
%182 = bitcast i32* %181 to <4 x i32>*
%183 = load <4 x i32>, <4 x i32>* %182
%184 = getelementptr inbounds i32, i32* %181, i64 4
%185 = bitcast i32* %184 to <4 x i32>*
%186 = load <4 x i32>, <4 x i32>* %185
%187 = getelementptr inbounds i32, i32* %29, i64 %180
%188 = bitcast i32* %187 to <4 x i32>*
%189 = load <4 x i32>, <4 x i32>* %188
%190 = getelementptr inbounds i32, i32* %187, i64 4
%191 = bitcast i32* %190 to <4 x i32>*
%192 = load <4 x i32>, <4 x i32>* %191
%193 = add nsw <4 x i32> %189, %183
%194 = add nsw <4 x i32> %192, %186
%195 = getelementptr inbounds i32, i32* %32, i64 %180
%196 = bitcast i32* %195 to <4 x i32>*
store <4 x i32> %193, <4 x i32>* %196
%197 = getelementptr inbounds i32, i32* %195, i64 4
%198 = bitcast i32* %197 to <4 x i32>*
store <4 x i32> %194, <4 x i32>* %198
%199 = add nuw i64 %160, 16
%200 = add i64 %161, 2
%201 = icmp eq i64 %200, %158
br i1 %201, label %202, label %159
202: ; preds = %159, %150
%203 = phi i64 [ 0, %150 ], [ %199, %159 ]
%204 = icmp eq i64 %155, 0
br i1 %204, label %224, label %205
205: ; preds = %202
%206 = getelementptr inbounds i32, i32* %26, i64 %203
%207 = bitcast i32* %206 to <4 x i32>*
%208 = load <4 x i32>, <4 x i32>* %207
%209 = getelementptr inbounds i32, i32* %206, i64 4
%210 = bitcast i32* %209 to <4 x i32>*
%211 = load <4 x i32>, <4 x i32>* %210
%212 = getelementptr inbounds i32, i32* %29, i64 %203
%213 = bitcast i32* %212 to <4 x i32>*
%214 = load <4 x i32>, <4 x i32>* %213
%215 = getelementptr inbounds i32, i32* %212, i64 4
%216 = bitcast i32* %215 to <4 x i32>*
%217 = load <4 x i32>, <4 x i32>* %216
%218 = add nsw <4 x i32> %214, %208
%219 = add nsw <4 x i32> %217, %211
%220 = getelementptr inbounds i32, i32* %32, i64 %203
%221 = bitcast i32* %220 to <4 x i32>*
store <4 x i32> %218, <4 x i32>* %221
%222 = getelementptr inbounds i32, i32* %220, i64 4
%223 = bitcast i32* %222 to <4 x i32>*
store <4 x i32> %219, <4 x i32>* %223
br label %224
224: ; preds = %202, %205
%225 = icmp eq i64 %151, %36
br i1 %225, label %274, label %226
226: ; preds = %136, %133, %224
%227 = phi i64 [ 0, %136 ], [ 0, %133 ], [ %151, %224 ]
%228 = xor i64 %227, -1
%229 = add nsw i64 %228, %36
%230 = and i64 %36, 3
%231 = icmp eq i64 %230, 0
br i1 %231, label %244, label %232
232: ; preds = %226, %232
%233 = phi i64 [ %241, %232 ], [ %227, %226 ]
%234 = phi i64 [ %242, %232 ], [ 0, %226 ]
%235 = getelementptr inbounds i32, i32* %26, i64 %233
%236 = load i32, i32* %235
%237 = getelementptr inbounds i32, i32* %29, i64 %233
%238 = load i32, i32* %237
%239 = add nsw i32 %238, %236
%240 = getelementptr inbounds i32, i32* %32, i64 %233
store i32 %239, i32* %240
%241 = add nuw nsw i64 %233, 1
%242 = add i64 %234, 1
%243 = icmp eq i64 %242, %230
br i1 %243, label %244, label %232
244: ; preds = %232, %226
%245 = phi i64 [ %227, %226 ], [ %241, %232 ]
%246 = icmp ult i64 %229, 3
br i1 %246, label %274, label %307
247: ; preds = %129, %247
%248 = phi i64 [ %272, %247 ], [ %130, %129 ]
%249 = getelementptr inbounds i32, i32* %26, i64 %248
%250 = trunc i64 %248 to i32
store i32 %250, i32* %249
%251 = getelementptr inbounds i32, i32* %29, i64 %248
%252 = trunc i64 %248 to i32
%253 = shl i32 %252, 1
store i32 %253, i32* %251
%254 = add nuw nsw i64 %248, 1
%255 = getelementptr inbounds i32, i32* %26, i64 %254
%256 = trunc i64 %254 to i32
store i32 %256, i32* %255
%257 = getelementptr inbounds i32, i32* %29, i64 %254
%258 = trunc i64 %254 to i32
%259 = shl i32 %258, 1
store i32 %259, i32* %257
%260 = add nuw nsw i64 %248, 2
%261 = getelementptr inbounds i32, i32* %26, i64 %260
%262 = trunc i64 %260 to i32
store i32 %262, i32* %261
%263 = getelementptr inbounds i32, i32* %29, i64 %260
%264 = trunc i64 %260 to i32
%265 = shl i32 %264, 1
store i32 %265, i32* %263
%266 = add nuw nsw i64 %248, 3
%267 = getelementptr inbounds i32, i32* %26, i64 %266
%268 = trunc i64 %266 to i32
store i32 %268, i32* %267
%269 = getelementptr inbounds i32, i32* %29, i64 %266
%270 = trunc i64 %266 to i32
%271 = shl i32 %270, 1
store i32 %271, i32* %269
%272 = add nuw nsw i64 %248, 4
%273 = icmp eq i64 %272, %36
br i1 %273, label %132, label %247
274: ; preds = %244, %307, %224, %23, %132
%275 = icmp eq i32 %8, 0
%276 = icmp eq i32 %11, 0
br i1 %275, label %279, label %277
277: ; preds = %274
%278 = sdiv i32 %4, 4
br label %464
279: ; preds = %274
%280 = zext i32 %4 to i64
%281 = getelementptr i32, i32* %32, i64 %280
%282 = bitcast i32* %281 to i8*
%283 = getelementptr i32, i32* %26, i64 %280
%284 = bitcast i32* %283 to i8*
%285 = getelementptr i32, i32* %29, i64 %280
%286 = bitcast i32* %285 to i8*
%287 = and i64 %280, 4294967288
%288 = add nsw i64 %287, -8
%289 = lshr exact i64 %288, 3
%290 = add nuw nsw i64 %289, 1
%291 = icmp ult i32 %4, 8
%292 = icmp ult i8* %33, %284
%293 = icmp ult i8* %27, %282
%294 = and i1 %292, %293
%295 = icmp ult i8* %33, %286
%296 = icmp ult i8* %30, %282
%297 = and i1 %295, %296
%298 = or i1 %294, %297
%299 = and i64 %280, 4294967288
%300 = and i64 %290, 1
%301 = icmp eq i64 %288, 0
%302 = and i64 %290, 4611686018427387902
%303 = icmp eq i64 %300, 0
%304 = icmp eq i64 %299, %280
%305 = and i64 %280, 3
%306 = icmp eq i64 %305, 0
br label %338
307: ; preds = %244, %307
%308 = phi i64 [ %336, %307 ], [ %245, %244 ]
%309 = getelementptr inbounds i32, i32* %26, i64 %308
%310 = load i32, i32* %309
%311 = getelementptr inbounds i32, i32* %29, i64 %308
%312 = load i32, i32* %311
%313 = add nsw i32 %312, %310
%314 = getelementptr inbounds i32, i32* %32, i64 %308
store i32 %313, i32* %314
%315 = add nuw nsw i64 %308, 1
%316 = getelementptr inbounds i32, i32* %26, i64 %315
%317 = load i32, i32* %316
%318 = getelementptr inbounds i32, i32* %29, i64 %315
%319 = load i32, i32* %318
%320 = add nsw i32 %319, %317
%321 = getelementptr inbounds i32, i32* %32, i64 %315
store i32 %320, i32* %321
%322 = add nuw nsw i64 %308, 2
%323 = getelementptr inbounds i32, i32* %26, i64 %322
%324 = load i32, i32* %323
%325 = getelementptr inbounds i32, i32* %29, i64 %322
%326 = load i32, i32* %325
%327 = add nsw i32 %326, %324
%328 = getelementptr inbounds i32, i32* %32, i64 %322
store i32 %327, i32* %328
%329 = add nuw nsw i64 %308, 3
%330 = getelementptr inbounds i32, i32* %26, i64 %329
%331 = load i32, i32* %330
%332 = getelementptr inbounds i32, i32* %29, i64 %329
%333 = load i32, i32* %332
%334 = add nsw i32 %333, %331
%335 = getelementptr inbounds i32, i32* %32, i64 %329
store i32 %334, i32* %335
%336 = add nuw nsw i64 %308, 4
%337 = icmp eq i64 %336, %134
br i1 %337, label %274, label %307
338: ; preds = %279, %461
%339 = phi i32 [ 0, %279 ], [ %462, %461 ]
br i1 %34, label %340, label %427
340: ; preds = %338
%341 = select i1 %291, i1 true, i1 %298
br i1 %341, label %408, label %342
342: ; preds = %340
br i1 %301, label %386, label %343
343: ; preds = %342, %343
%344 = phi i64 [ %383, %343 ], [ 0, %342 ]
%345 = phi i64 [ %384, %343 ], [ 0, %342 ]
%346 = getelementptr inbounds i32, i32* %26, i64 %344
%347 = bitcast i32* %346 to <4 x i32>*
%348 = load <4 x i32>, <4 x i32>* %347
%349 = getelementptr inbounds i32, i32* %346, i64 4
%350 = bitcast i32* %349 to <4 x i32>*
%351 = load <4 x i32>, <4 x i32>* %350
%352 = getelementptr inbounds i32, i32* %29, i64 %344
%353 = bitcast i32* %352 to <4 x i32>*
%354 = load <4 x i32>, <4 x i32>* %353
%355 = getelementptr inbounds i32, i32* %352, i64 4
%356 = bitcast i32* %355 to <4 x i32>*
%357 = load <4 x i32>, <4 x i32>* %356
%358 = add nsw <4 x i32> %354, %348
%359 = add nsw <4 x i32> %357, %351
%360 = getelementptr inbounds i32, i32* %32, i64 %344
%361 = bitcast i32* %360 to <4 x i32>*
store <4 x i32> %358, <4 x i32>* %361
%362 = getelementptr inbounds i32, i32* %360, i64 4
%363 = bitcast i32* %362 to <4 x i32>*
store <4 x i32> %359, <4 x i32>* %363
%364 = or i64 %344, 8
%365 = getelementptr inbounds i32, i32* %26, i64 %364
%366 = bitcast i32* %365 to <4 x i32>*
%367 = load <4 x i32>, <4 x i32>* %366
%368 = getelementptr inbounds i32, i32* %365, i64 4
%369 = bitcast i32* %368 to <4 x i32>*
%370 = load <4 x i32>, <4 x i32>* %369
%371 = getelementptr inbounds i32, i32* %29, i64 %364
%372 = bitcast i32* %371 to <4 x i32>*
%373 = load <4 x i32>, <4 x i32>* %372
%374 = getelementptr inbounds i32, i32* %371, i64 4
%375 = bitcast i32* %374 to <4 x i32>*
%376 = load <4 x i32>, <4 x i32>* %375
%377 = add nsw <4 x i32> %373, %367
%378 = add nsw <4 x i32> %376, %370
%379 = getelementptr inbounds i32, i32* %32, i64 %364
%380 = bitcast i32* %379 to <4 x i32>*
store <4 x i32> %377, <4 x i32>* %380
%381 = getelementptr inbounds i32, i32* %379, i64 4
%382 = bitcast i32* %381 to <4 x i32>*
store <4 x i32> %378, <4 x i32>* %382
%383 = add nuw i64 %344, 16
%384 = add i64 %345, 2
%385 = icmp eq i64 %384, %302
br i1 %385, label %386, label %343
386: ; preds = %343, %342
%387 = phi i64 [ 0, %342 ], [ %383, %343 ]
br i1 %303, label %407, label %388
388: ; preds = %386
%389 = getelementptr inbounds i32, i32* %26, i64 %387
%390 = bitcast i32* %389 to <4 x i32>*
%391 = load <4 x i32>, <4 x i32>* %390
%392 = getelementptr inbounds i32, i32* %389, i64 4
%393 = bitcast i32* %392 to <4 x i32>*
%394 = load <4 x i32>, <4 x i32>* %393
%395 = getelementptr inbounds i32, i32* %29, i64 %387
%396 = bitcast i32* %395 to <4 x i32>*
%397 = load <4 x i32>, <4 x i32>* %396
%398 = getelementptr inbounds i32, i32* %395, i64 4
%399 = bitcast i32* %398 to <4 x i32>*
%400 = load <4 x i32>, <4 x i32>* %399
%401 = add nsw <4 x i32> %397, %391
%402 = add nsw <4 x i32> %400, %394
%403 = getelementptr inbounds i32, i32* %32, i64 %387
%404 = bitcast i32* %403 to <4 x i32>*
store <4 x i32> %401, <4 x i32>* %404
%405 = getelementptr inbounds i32, i32* %403, i64 4
%406 = bitcast i32* %405 to <4 x i32>*
store <4 x i32> %402, <4 x i32>* %406
br label %407
407: ; preds = %386, %388
br i1 %304, label %427, label %408
408: ; preds = %340, %407
%409 = phi i64 [ 0, %340 ], [ %299, %407 ]
%410 = xor i64 %409, -1
%411 = add nsw i64 %410, %280
br i1 %306, label %424, label %412
412: ; preds = %408, %412
%413 = phi i64 [ %421, %412 ], [ %409, %408 ]
%414 = phi i64 [ %422, %412 ], [ 0, %408 ]
%415 = getelementptr inbounds i32, i32* %26, i64 %413
%416 = load i32, i32* %415
%417 = getelementptr inbounds i32, i32* %29, i64 %413
%418 = load i32, i32* %417
%419 = add nsw i32 %418, %416
%420 = getelementptr inbounds i32, i32* %32, i64 %413
store i32 %419, i32* %420
%421 = add nuw nsw i64 %413, 1
%422 = add i64 %414, 1
%423 = icmp eq i64 %422, %305
br i1 %423, label %424, label %412
424: ; preds = %412, %408
%425 = phi i64 [ %409, %408 ], [ %421, %412 ]
%426 = icmp ult i64 %411, 3
br i1 %426, label %427, label %428
427: ; preds = %424, %428, %407, %338
br i1 %276, label %461, label %459
428: ; preds = %424, %428
%429 = phi i64 [ %457, %428 ], [ %425, %424 ]
%430 = getelementptr inbounds i32, i32* %26, i64 %429
%431 = load i32, i32* %430
%432 = getelementptr inbounds i32, i32* %29, i64 %429
%433 = load i32, i32* %432
%434 = add nsw i32 %433, %431
%435 = getelementptr inbounds i32, i32* %32, i64 %429
store i32 %434, i32* %435
%436 = add nuw nsw i64 %429, 1
%437 = getelementptr inbounds i32, i32* %26, i64 %436
%438 = load i32, i32* %437
%439 = getelementptr inbounds i32, i32* %29, i64 %436
%440 = load i32, i32* %439
%441 = add nsw i32 %440, %438
%442 = getelementptr inbounds i32, i32* %32, i64 %436
store i32 %441, i32* %442
%443 = add nuw nsw i64 %429, 2
%444 = getelementptr inbounds i32, i32* %26, i64 %443
%445 = load i32, i32* %444
%446 = getelementptr inbounds i32, i32* %29, i64 %443
%447 = load i32, i32* %446
%448 = add nsw i32 %447, %445
%449 = getelementptr inbounds i32, i32* %32, i64 %443
store i32 %448, i32* %449
%450 = add nuw nsw i64 %429, 3
%451 = getelementptr inbounds i32, i32* %26, i64 %450
%452 = load i32, i32* %451
%453 = getelementptr inbounds i32, i32* %29, i64 %450
%454 = load i32, i32* %453
%455 = add nsw i32 %454, %452
%456 = getelementptr inbounds i32, i32* %32, i64 %450
store i32 %455, i32* %456
%457 = add nuw nsw i64 %429, 4
%458 = icmp eq i64 %457, %280
br i1 %458, label %427, label %428
459: ; preds = %427
%460 = tail call i32 @verify(i32* %26, i32* %29, i32* %32, i32 %4)
br label %461
461: ; preds = %427, %459
%462 = add nuw nsw i32 %339, 1
%463 = icmp eq i32 %462, 30
br i1 %463, label %487, label %338
464: ; preds = %277, %484
%465 = phi i32 [ 0, %277 ], [ %485, %484 ]
br i1 %34, label %467, label %466
466: ; preds = %467, %464
br i1 %276, label %484, label %482
467: ; preds = %464, %467
%468 = phi i32 [ %480, %467 ], [ 0, %464 ]
%469 = sdiv i32 %468, %278
%470 = srem i32 %468, %278
%471 = shl nsw i32 %470, 2
%472 = add nsw i32 %471, %469
%473 = sext i32 %472 to i64
%474 = getelementptr inbounds i32, i32* %26, i64 %473
%475 = load i32, i32* %474
%476 = getelementptr inbounds i32, i32* %29, i64 %473
%477 = load i32, i32* %476
%478 = add nsw i32 %477, %475
%479 = getelementptr inbounds i32, i32* %32, i64 %473
store i32 %478, i32* %479
%480 = add nuw nsw i32 %468, 1
%481 = icmp eq i32 %480, %4
br i1 %481, label %466, label %467
482: ; preds = %466
%483 = tail call i32 @verify(i32* %26, i32* %29, i32* %32, i32 %4)
br label %484
484: ; preds = %466, %482
%485 = add nuw nsw i32 %465, 1
%486 = icmp eq i32 %485, 30
br i1 %486, label %487, label %464
487: ; preds = %484, %461
ret i32 0
}