#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*/ printf(char *, int, int);
int /*<<< orphan*/ stderr;
int /*<<< orphan*/ usage(char **);
int /*<<< orphan*/ verify(int *, int *, int *, int, int);
int main(int argc, char **argv) {
  int check = 0;
  int gangs = 15;
  int vector_length = 16;
  int M = 1024;
  int N = 1024;
  int c;
  opterr = 0;
  while ((c = getopt(argc, argv, "n:m:cg:v:h")) != -1) {
    switch (c) {
    case 'n':
      N = atoi(optarg);
      break;
    case 'm':
      M = atoi(optarg);
      break;
    case 'c':
      check = 1;
      break;
    case 'g':
      gangs = atoi(optarg);
      break;
    case 'v':
      vector_length = atoi(optarg);
      break;
    case '?':
      fprintf(stderr, "Missing argument to option %c\n", optopt);
    case 'h':
    default:
      usage(argv);
    }
  }
  int *restrict A = (int *)malloc(M * N * sizeof(int));
  int *restrict B = (int *)malloc(M * N * sizeof(int));
  int *restrict C = (int *)malloc(M * N * sizeof(int));
  for (int i = 0; i < M * N; i++) {
    A[i] = i / N;
    B[i] = i % N;
  }
#pragma acc kernels loop copyin(A [0:M * N], B [0:M * N]) copyout(C [0:M * N])
  for (int i = 0; i < M; i++) {
    for (int j = 0; j < N; j++) {
      int index = i * N + j;
      C[index] = A[index] + B[index];
    }
  }
  printf("Using %d gangs, vector length of %d\n", gangs, vector_length);
  for (int l = 0; l < 30; l++) {
#pragma acc parallel copyin(A [0:M * N], B [0:M * N]) copyout(C [0:M * N])
#pragma acc loop gang(gangs)
    for (int i = 0; i < M; i++) {
#pragma acc loop vector(vector_length)
      for (int j = 0; j < N; j++) {
        int index = i * N + j;
        C[index] = A[index] + B[index];
      }
    }
    if (check) {
      verify(A, B, C, M, 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   $0xf,-0x18(%rbp)
movl   $0x10,-0x1c(%rbp)
movl   $0x400,-0x20(%rbp)
movl   $0x400,-0x24(%rbp)
mov    0x2e18(%rip),%rax
movq   $0x0,(%rax)
mov    -0x8(%rbp),%edi
mov    -0x10(%rbp),%rsi
lea    0xf1b(%rip),%rdx
call   1080 <getopt@plt>
mov    %eax,-0x28(%rbp)
cmp    $0xffffffff,%eax
je     1294 <main+0x124>
mov    -0x28(%rbp),%eax
add    $0xffffffc1,%eax
mov    %eax,%ecx
mov    %rcx,-0x68(%rbp)
sub    $0x37,%eax
ja     1286 <main+0x116>
mov    -0x68(%rbp),%rax
lea    0xe0a(%rip),%rcx
movslq (%rcx,%rax,4),%rax
add    %rcx,%rax
jmp    *%rax
mov    0x2df2(%rip),%rax
mov    (%rax),%edi
call   1090 <atoi@plt>
mov    %eax,-0x24(%rbp)
jmp    128f <main+0x11f>
mov    0x2ddc(%rip),%rax
mov    (%rax),%edi
call   1090 <atoi@plt>
mov    %eax,-0x20(%rbp)
jmp    128f <main+0x11f>
movl   $0x1,-0x14(%rbp)
jmp    128f <main+0x11f>
mov    0x2dba(%rip),%rax
mov    (%rax),%edi
call   1090 <atoi@plt>
mov    %eax,-0x18(%rbp)
jmp    128f <main+0x11f>
mov    0x2da4(%rip),%rax
mov    (%rax),%edi
call   1090 <atoi@plt>
mov    %eax,-0x1c(%rbp)
jmp    128f <main+0x11f>
mov    0x2d66(%rip),%rax
mov    (%rax),%edi
mov    0x2d6d(%rip),%rax
mov    (%rax),%edx
lea    0xe6f(%rip),%rsi
call   1040 <fprintf@plt>
jmp    1286 <main+0x116>
mov    -0x10(%rbp),%rdi
call   1060 <usage@plt>
jmp    11b7 <main+0x47>
mov    -0x20(%rbp),%eax
imul   -0x24(%rbp),%eax
cltq
shl    $0x2,%rax
mov    %eax,%edi
call   1050 <malloc@plt>
mov    %rax,-0x30(%rbp)
mov    -0x20(%rbp),%eax
imul   -0x24(%rbp),%eax
cltq
shl    $0x2,%rax
mov    %eax,%edi
call   1050 <malloc@plt>
mov    %rax,-0x38(%rbp)
mov    -0x20(%rbp),%eax
imul   -0x24(%rbp),%eax
cltq
shl    $0x2,%rax
mov    %eax,%edi
call   1050 <malloc@plt>
mov    %rax,-0x40(%rbp)
movl   $0x0,-0x44(%rbp)
mov    -0x44(%rbp),%eax
mov    -0x20(%rbp),%ecx
imul   -0x24(%rbp),%ecx
cmp    %ecx,%eax
jge    1329 <main+0x1b9>
mov    -0x44(%rbp),%eax
cltd
idivl  -0x24(%rbp)
mov    %eax,%edx
mov    -0x30(%rbp),%rax
movslq -0x44(%rbp),%rcx
mov    %edx,(%rax,%rcx,4)
mov    -0x44(%rbp),%eax
cltd
idivl  -0x24(%rbp)
mov    -0x38(%rbp),%rax
movslq -0x44(%rbp),%rcx
mov    %edx,(%rax,%rcx,4)
mov    -0x44(%rbp),%eax
add    $0x1,%eax
mov    %eax,-0x44(%rbp)
jmp    12e3 <main+0x173>
movl   $0x0,-0x48(%rbp)
mov    -0x48(%rbp),%eax
cmp    -0x20(%rbp),%eax
jge    139e <main+0x22e>
movl   $0x0,-0x4c(%rbp)
mov    -0x4c(%rbp),%eax
cmp    -0x24(%rbp),%eax
jge    138b <main+0x21b>
mov    -0x48(%rbp),%eax
imul   -0x24(%rbp),%eax
add    -0x4c(%rbp),%eax
mov    %eax,-0x50(%rbp)
mov    -0x30(%rbp),%rax
movslq -0x50(%rbp),%rcx
mov    (%rax,%rcx,4),%edx
mov    -0x38(%rbp),%rax
movslq -0x50(%rbp),%rcx
add    (%rax,%rcx,4),%edx
mov    -0x40(%rbp),%rax
movslq -0x50(%rbp),%rcx
mov    %edx,(%rax,%rcx,4)
mov    -0x4c(%rbp),%eax
add    $0x1,%eax
mov    %eax,-0x4c(%rbp)
jmp    1343 <main+0x1d3>
jmp    1390 <main+0x220>
mov    -0x48(%rbp),%eax
add    $0x1,%eax
mov    %eax,-0x48(%rbp)
jmp    1330 <main+0x1c0>
mov    -0x18(%rbp),%esi
mov    -0x1c(%rbp),%edx
lea    0xd5f(%rip),%rdi
call   1030 <printf@plt>
movl   $0x0,-0x54(%rbp)
cmpl   $0x1e,-0x54(%rbp)
jge    146b <main+0x2fb>
movl   $0x0,-0x58(%rbp)
mov    -0x58(%rbp),%eax
cmp    -0x20(%rbp),%eax
jge    1436 <main+0x2c6>
movl   $0x0,-0x5c(%rbp)
mov    -0x5c(%rbp),%eax
cmp    -0x24(%rbp),%eax
jge    1423 <main+0x2b3>
mov    -0x58(%rbp),%eax
imul   -0x24(%rbp),%eax
add    -0x5c(%rbp),%eax
mov    %eax,-0x60(%rbp)
mov    -0x30(%rbp),%rax
movslq -0x60(%rbp),%rcx
mov    (%rax,%rcx,4),%edx
mov    -0x38(%rbp),%rax
movslq -0x60(%rbp),%rcx
add    (%rax,%rcx,4),%edx
mov    -0x40(%rbp),%rax
movslq -0x60(%rbp),%rcx
mov    %edx,(%rax,%rcx,4)
mov    -0x5c(%rbp),%eax
add    $0x1,%eax
mov    %eax,-0x5c(%rbp)
jmp    13db <main+0x26b>
jmp    1428 <main+0x2b8>
mov    -0x58(%rbp),%eax
add    $0x1,%eax
mov    %eax,-0x58(%rbp)
jmp    13c8 <main+0x258>
cmpl   $0x0,-0x14(%rbp)
je     1458 <main+0x2e8>
mov    -0x30(%rbp),%rdi
mov    -0x38(%rbp),%rsi
mov    -0x40(%rbp),%rdx
mov    -0x20(%rbp),%ecx
mov    -0x24(%rbp),%r8d
call   1070 <verify@plt>
jmp    145d <main+0x2ed>
mov    -0x54(%rbp),%eax
add    $0x1,%eax
mov    %eax,-0x54(%rbp)
jmp    13b7 <main+0x247>
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    $0xb8,%rsp
mov    %rsi,%rbp
mov    %edi,%r15d
mov    0x2e3a(%rip),%rax
movq   $0x0,(%rax)
movl   $0x0,0x54(%rsp)
movl   $0xf,0x30(%rsp)
movl   $0x10,0x38(%rsp)
movl   $0x400,0x8(%rsp)
lea    0xf24(%rip),%r14
lea    0xe3d(%rip),%rbx
mov    0x2e06(%rip),%r12
lea    0xf1a(%rip),%r13
movl   $0x400,0xc(%rsp)
jmp    11f1 <main+0x81>
nopl   0x0(%rax,%rax,1)
cmp    $0xffffffff,%eax
je     1284 <main+0x114>
mov    %rbp,%rdi
call   1060 <usage@plt>
mov    %r15d,%edi
mov    %rbp,%rsi
mov    %r14,%rdx
call   1080 <getopt@plt>
lea    -0x3f(%rax),%ecx
cmp    $0x37,%ecx
ja     11e0 <main+0x70>
movslq (%rbx,%rcx,4),%rax
add    %rbx,%rax
jmp    *%rax
mov    (%r12),%edi
mov    0x2dc5(%rip),%rax
mov    (%rax),%edx
mov    %r13,%rsi
call   1040 <fprintf@plt>
jmp    11e9 <main+0x79>
movl   $0x1,0x54(%rsp)
jmp    11f1 <main+0x81>
mov    0x2dc0(%rip),%rax
mov    (%rax),%edi
call   1090 <atoi@plt>
mov    %eax,0x30(%rsp)
jmp    11f1 <main+0x81>
mov    0x2dac(%rip),%rax
mov    (%rax),%edi
call   1090 <atoi@plt>
mov    %eax,0xc(%rsp)
jmp    11f1 <main+0x81>
mov    0x2d98(%rip),%rax
mov    (%rax),%edi
call   1090 <atoi@plt>
mov    %eax,0x8(%rsp)
jmp    11f1 <main+0x81>
mov    0x2d84(%rip),%rax
mov    (%rax),%edi
call   1090 <atoi@plt>
mov    %eax,0x38(%rsp)
jmp    11f1 <main+0x81>
mov    0xc(%rsp),%eax
mov    %eax,%ebp
imul   0x8(%rsp),%ebp
lea    0x0(,%rbp,4),%ebx
mov    %ebx,%edi
call   1050 <malloc@plt>
mov    %rax,%r14
mov    %ebx,%edi
call   1050 <malloc@plt>
mov    %rax,0x10(%rsp)
mov    %ebx,%edi
call   1050 <malloc@plt>
mov    %rax,0x18(%rsp)
test   %ebp,%ebp
jle    12d1 <main+0x161>
mov    %ebp,%r8d
cmp    $0x1,%ebp
mov    0xc(%rsp),%ebx
mov    0x10(%rsp),%rbp
jne    12dc <main+0x16c>
xor    %ecx,%ecx
jmp    1315 <main+0x1a5>
mov    0xc(%rsp),%ebx
mov    0x10(%rsp),%rbp
jmp    132a <main+0x1ba>
mov    %r8d,%edi
and    $0xfffffffe,%edi
xor    %ecx,%ecx
mov    0x8(%rsp),%esi
nopl   0x0(%rax,%rax,1)
mov    %ecx,%eax
cltd
idiv   %esi
mov    %eax,(%r14,%rcx,4)
mov    %edx,0x0(%rbp,%rcx,4)
lea    0x1(%rcx),%eax
cltd
idiv   %esi
mov    %eax,0x4(%r14,%rcx,4)
mov    %edx,0x4(%rbp,%rcx,4)
add    $0x2,%rcx
cmp    %rdi,%rcx
jne    12f0 <main+0x180>
test   $0x1,%r8b
je     132a <main+0x1ba>
mov    %ecx,%eax
cltd
idivl  0x8(%rsp)
mov    %eax,(%r14,%rcx,4)
mov    %edx,0x0(%rbp,%rcx,4)
movabs $0x3ffffffffffffffe,%r15
ff ff 3f
test   %ebx,%ebx
mov    %r14,0x20(%rsp)
jle    161a <main+0x4aa>
movslq 0x8(%rsp),%rax
mov    %ebx,%r12d
mov    %r14,%rcx
mov    %eax,%r13d
mov    %r13d,%edx
and    $0xfffffff8,%edx
mov    %rdx,0x70(%rsp)
add    $0xfffffffffffffff8,%rdx
mov    %rdx,0x68(%rsp)
mov    %rdx,%rsi
shr    $0x3,%rsi
add    $0x1,%rsi
mov    %rsi,%rdx
mov    %rsi,0x60(%rsp)
and    %r15,%rsi
mov    %rsi,0x58(%rsp)
mov    %r13,%rdx
neg    %rdx
mov    %rdx,0x78(%rsp)
mov    0x18(%rsp),%rbx
lea    0x30(%rbx),%rdi
mov    %rax,0x28(%rsp)
lea    0x0(,%rax,4),%r14
lea    0x30(%rbp),%rsi
lea    0x30(%rcx),%rax
lea    0x4(%rcx),%rdx
lea    0x4(%rbp),%rcx
lea    0x4(%rbx),%r8
xor    %r9d,%r9d
mov    %r12,0x40(%rsp)
jmp    13df <main+0x26f>
nopl   (%rax)
add    $0x1,%r9
add    %r14,%rdi
add    %r14,%rsi
add    %r14,%rax
add    %r14,%rdx
add    %r14,%rcx
add    %r14,%r8
cmp    %r12,%r9
je     15f8 <main+0x488>
cmpl   $0x0,0x8(%rsp)
jle    13c0 <main+0x250>
mov    %r9,%r15
imul   0x28(%rsp),%r15
cmpl   $0x8,0x8(%rsp)
jae    1400 <main+0x290>
xor    %r11d,%r11d
jmp    1580 <main+0x410>
xchg   %ax,%ax
lea    (%r15,%r13,1),%rbp
mov    0x18(%rsp),%rbx
lea    (%rbx,%r15,4),%r12
lea    (%rbx,%rbp,4),%r10
mov    0x20(%rsp),%r11
lea    (%r11,%r15,4),%rbx
mov    %rbx,0x80(%rsp)
lea    (%r11,%rbp,4),%rbx
mov    %rbx,0x48(%rsp)
mov    0x10(%rsp),%rbx
lea    (%rbx,%r15,4),%r11
mov    %r11,0x88(%rsp)
lea    (%rbx,%rbp,4),%rbp
cmp    0x48(%rsp),%r12
setb   0x48(%rsp)
cmp    %r10,0x80(%rsp)
setb   %r11b
cmp    %rbp,%r12
setb   %bl
cmp    %r10,0x88(%rsp)
setb   %r10b
test   %r11b,0x48(%rsp)
jne    1569 <main+0x3f9>
mov    $0x0,%r11d
and    %r10b,%bl
mov    0x40(%rsp),%r12
jne    1580 <main+0x410>
cmpq   $0x0,0x68(%rsp)
je     15e5 <main+0x475>
mov    0x58(%rsp),%r11
xor    %r10d,%r10d
nopl   0x0(%rax,%rax,1)
movdqu -0x30(%rax,%r10,4),%xmm0
movdqu -0x20(%rax,%r10,4),%xmm1
movdqu -0x30(%rsi,%r10,4),%xmm2
paddd  %xmm0,%xmm2
movdqu -0x20(%rsi,%r10,4),%xmm0
paddd  %xmm1,%xmm0
movdqu %xmm2,-0x30(%rdi,%r10,4)
movdqu %xmm0,-0x20(%rdi,%r10,4)
movdqu -0x10(%rax,%r10,4),%xmm0
movdqu (%rax,%r10,4),%xmm1
movdqu -0x10(%rsi,%r10,4),%xmm2
paddd  %xmm0,%xmm2
movdqu (%rsi,%r10,4),%xmm0
paddd  %xmm1,%xmm0
movdqu %xmm2,-0x10(%rdi,%r10,4)
movdqu %xmm0,(%rdi,%r10,4)
add    $0x10,%r10
add    $0xfffffffffffffffe,%r11
jne    14a0 <main+0x330>
testb  $0x1,0x60(%rsp)
je     1556 <main+0x3e6>
add    %r15,%r10
mov    0x20(%rsp),%rbp
movdqu 0x0(%rbp,%r10,4),%xmm0
movdqu 0x10(%rbp,%r10,4),%xmm1
mov    0x10(%rsp),%rbp
movdqu 0x0(%rbp,%r10,4),%xmm2
paddd  %xmm0,%xmm2
movdqu 0x10(%rbp,%r10,4),%xmm0
paddd  %xmm1,%xmm0
mov    0x18(%rsp),%rbp
movdqu %xmm2,0x0(%rbp,%r10,4)
movdqu %xmm0,0x10(%rbp,%r10,4)
mov    0x70(%rsp),%rbp
mov    %rbp,%r11
cmp    %r13,%rbp
je     13c0 <main+0x250>
jmp    1580 <main+0x410>
xor    %r11d,%r11d
mov    0x40(%rsp),%r12
cs nopw 0x0(%rax,%rax,1)
nopl   0x0(%rax,%rax,1)
mov    %r11,%rbx
test   $0x1,%r13b
je     15b1 <main+0x441>
add    %r11,%r15
mov    0x10(%rsp),%rbp
mov    0x0(%rbp,%r15,4),%ebx
mov    0x20(%rsp),%rbp
add    0x0(%rbp,%r15,4),%ebx
mov    0x18(%rsp),%rbp
mov    %ebx,0x0(%rbp,%r15,4)
mov    %r11,%rbx
or     $0x1,%rbx
not    %r11
cmp    0x78(%rsp),%r11
je     13c0 <main+0x250>
nop
mov    -0x4(%rcx,%rbx,4),%ebp
add    -0x4(%rdx,%rbx,4),%ebp
mov    %ebp,-0x4(%r8,%rbx,4)
mov    (%rcx,%rbx,4),%ebp
add    (%rdx,%rbx,4),%ebp
mov    %ebp,(%r8,%rbx,4)
add    $0x2,%rbx
cmp    %rbx,%r13
jne    15c0 <main+0x450>
jmp    13c0 <main+0x250>
xor    %r10d,%r10d
testb  $0x1,0x60(%rsp)
jne    1512 <main+0x3a2>
jmp    1556 <main+0x3e6>
mov    0xc(%rsp),%ebx
mov    0x20(%rsp),%rbp
movabs $0x3ffffffffffffffe,%r15
ff ff 3f
mov    0x28(%rsp),%r12
mov    0x38(%rsp),%edx
mov    0x30(%rsp),%esi
jmp    162a <main+0x4ba>
movslq 0x8(%rsp),%r12
mov    0x38(%rsp),%edx
mov    0x30(%rsp),%esi
mov    %r14,%rbp
lea    0xad9(%rip),%rdi
call   1030 <printf@plt>
mov    %ebx,%eax
mov    %rax,0x88(%rsp)
mov    0x8(%rsp),%r14d
mov    %r14d,%eax
and    $0xfffffff8,%eax
mov    %rax,0x38(%rsp)
add    $0xfffffffffffffff8,%rax
mov    %rax,0x30(%rsp)
shr    $0x3,%rax
add    $0x1,%rax
mov    %rax,%rcx
mov    %rax,0x70(%rsp)
and    %rax,%r15
mov    %r15,0x60(%rsp)
mov    %r14,%rax
neg    %rax
mov    %rax,0x78(%rsp)
mov    0x18(%rsp),%rax
lea    0x30(%rax),%rcx
mov    %rcx,0x58(%rsp)
lea    0x0(,%r12,4),%r15
mov    0x10(%rsp),%rsi
lea    0x30(%rsi),%rcx
mov    %rcx,0xb0(%rsp)
lea    0x30(%rbp),%rcx
mov    %rcx,0xa8(%rsp)
lea    0x4(%rbp),%rcx
mov    %rcx,0xa0(%rsp)
lea    0x4(%rsi),%rcx
mov    %rcx,0x98(%rsp)
add    $0x4,%rax
mov    %rax,0x90(%rsp)
xor    %eax,%eax
mov    %r12,%r11
mov    %r12,0x28(%rsp)
mov    %ebx,0xc(%rsp)
mov    %r15,0x40(%rsp)
jmp    1701 <main+0x591>
nopl   0x0(%rax,%rax,1)
mov    0x68(%rsp),%rax
add    $0x1,%eax
cmp    $0x1e,%eax
je     19b4 <main+0x844>
mov    %rax,0x68(%rsp)
test   %ebx,%ebx
jle    1980 <main+0x810>
mov    0x90(%rsp),%rax
mov    0x98(%rsp),%rcx
mov    0xa0(%rsp),%rdx
mov    0xa8(%rsp),%r10
mov    0xb0(%rsp),%r12
mov    0x58(%rsp),%rbp
xor    %r9d,%r9d
jmp    1764 <main+0x5f4>
add    $0x1,%r9
add    %r15,%rbp
add    %r15,%r12
add    %r15,%r10
add    %r15,%rdx
add    %r15,%rcx
add    %r15,%rax
cmp    0x88(%rsp),%r9
je     1980 <main+0x810>
cmpl   $0x0,0x8(%rsp)
jle    1740 <main+0x5d0>
mov    %r11,%r8
imul   %r9,%r8
cmpl   $0x8,0x8(%rsp)
jae    1790 <main+0x620>
xor    %r13d,%r13d
jmp    1900 <main+0x790>
cs nopw 0x0(%rax,%rax,1)
nopl   0x0(%rax,%rax,1)
lea    (%r8,%r14,1),%rdi
mov    0x18(%rsp),%r11
lea    (%r11,%r8,4),%rbx
lea    (%r11,%rdi,4),%r11
mov    0x20(%rsp),%r13
lea    0x0(%r13,%r8,4),%r15
mov    %r15,0x80(%rsp)
lea    0x0(%r13,%rdi,4),%r15
lea    (%rsi,%r8,4),%r13
mov    %r13,0x48(%rsp)
lea    (%rsi,%rdi,4),%rsi
cmp    %r15,%rbx
setb   %r13b
cmp    %r11,0x80(%rsp)
setb   %dil
cmp    %rsi,%rbx
setb   %sil
cmp    %r11,0x48(%rsp)
setb   %r11b
test   %dil,%r13b
jne    18e8 <main+0x778>
mov    $0x0,%r13d
and    %r11b,%sil
mov    0x10(%rsp),%rsi
mov    0x28(%rsp),%r11
mov    0x40(%rsp),%r15
jne    1900 <main+0x790>
cmpq   $0x0,0x30(%rsp)
je     1963 <main+0x7f3>
mov    0x60(%rsp),%rdi
xor    %ebx,%ebx
cs nopw 0x0(%rax,%rax,1)
nopl   0x0(%rax)
movdqu -0x30(%r10,%rbx,4),%xmm0
movdqu -0x20(%r10,%rbx,4),%xmm1
movdqu -0x30(%r12,%rbx,4),%xmm2
paddd  %xmm0,%xmm2
movdqu -0x20(%r12,%rbx,4),%xmm0
paddd  %xmm1,%xmm0
movdqu %xmm2,-0x30(%rbp,%rbx,4)
movdqu %xmm0,-0x20(%rbp,%rbx,4)
movdqu -0x10(%r10,%rbx,4),%xmm0
movdqu (%r10,%rbx,4),%xmm1
movdqu -0x10(%r12,%rbx,4),%xmm2
paddd  %xmm0,%xmm2
movdqu (%r12,%rbx,4),%xmm0
paddd  %xmm1,%xmm0
movdqu %xmm2,-0x10(%rbp,%rbx,4)
movdqu %xmm0,0x0(%rbp,%rbx,4)
add    $0x10,%rbx
add    $0xfffffffffffffffe,%rdi
jne    1830 <main+0x6c0>
testb  $0x1,0x70(%rsp)
je     18d5 <main+0x765>
add    %r8,%rbx
mov    0x20(%rsp),%rdi
movdqu (%rdi,%rbx,4),%xmm0
movdqu 0x10(%rdi,%rbx,4),%xmm1
movdqu (%rsi,%rbx,4),%xmm2
paddd  %xmm0,%xmm2
movdqu 0x10(%rsi,%rbx,4),%xmm0
paddd  %xmm1,%xmm0
mov    0x18(%rsp),%rdi
movdqu %xmm2,(%rdi,%rbx,4)
movdqu %xmm0,0x10(%rdi,%rbx,4)
mov    0x38(%rsp),%rdi
mov    %rdi,%r13
cmp    %r14,%rdi
je     1740 <main+0x5d0>
jmp    1900 <main+0x790>
xor    %r13d,%r13d
mov    0x10(%rsp),%rsi
mov    0x28(%rsp),%r11
mov    0x40(%rsp),%r15
nopw   0x0(%rax,%rax,1)
mov    %r13,%rdi
test   $0x1,%r14b
je     1929 <main+0x7b9>
add    %r13,%r8
mov    (%rsi,%r8,4),%edi
mov    0x20(%rsp),%rbx
add    (%rbx,%r8,4),%edi
mov    0x18(%rsp),%rbx
mov    %edi,(%rbx,%r8,4)
mov    %r13,%rdi
or     $0x1,%rdi
not    %r13
cmp    0x78(%rsp),%r13
je     1740 <main+0x5d0>
nopw   0x0(%rax,%rax,1)
mov    -0x4(%rcx,%rdi,4),%ebx
add    -0x4(%rdx,%rdi,4),%ebx
mov    %ebx,-0x4(%rax,%rdi,4)
mov    (%rcx,%rdi,4),%ebx
add    (%rdx,%rdi,4),%ebx
mov    %ebx,(%rax,%rdi,4)
add    $0x2,%rdi
cmp    %rdi,%r14
jne    1940 <main+0x7d0>
jmp    1740 <main+0x5d0>
xor    %ebx,%ebx
testb  $0x1,0x70(%rsp)
jne    189f <main+0x72f>
jmp    18d5 <main+0x765>
cs nopw 0x0(%rax,%rax,1)
nop
cmpl   $0x0,0x54(%rsp)
mov    0xc(%rsp),%ebx
je     16f0 <main+0x580>
mov    0x20(%rsp),%rdi
mov    0x18(%rsp),%rdx
mov    %ebx,%ecx
mov    0x8(%rsp),%r8d
call   1070 <verify@plt>
mov    0x28(%rsp),%r11
mov    0x10(%rsp),%rsi
jmp    16f0 <main+0x580>
xor    %eax,%eax
add    $0xb8,%rsp
pop    %rbx
pop    %r12
pop    %r13
pop    %r14
pop    %r15
pop    %rbp
ret

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

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