#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*/ ecc200placementblock(int *, int const, int const, int, int,
                                        int /*<<< orphan*/);
int /*<<< orphan*/ ecc200placementcornerA(int *, int const, int const,
                                          int /*<<< orphan*/);
int /*<<< orphan*/ ecc200placementcornerB(int *, int const, int const,
                                          int /*<<< orphan*/);
int /*<<< orphan*/ ecc200placementcornerC(int *, int const, int const,
                                          int /*<<< orphan*/);
int /*<<< orphan*/ ecc200placementcornerD(int *, int const, int const,
                                          int /*<<< orphan*/);
void ecc200placement(int *array, const int NR, const int NC) {
  int r, c, p;
  for (r = 0; r < NR; r++)
    for (c = 0; c < NC; c++)
      array[r * NC + c] = 0;
  p = 1;
  r = 4;
  c = 0;
  do {
    if (r == NR && !c)
      ecc200placementcornerA(array, NR, NC, p++);
    if (r == NR - 2 && !c && NC % 4)
      ecc200placementcornerB(array, NR, NC, p++);
    if (r == NR - 2 && !c && (NC % 8) == 4)
      ecc200placementcornerC(array, NR, NC, p++);
    if (r == NR + 4 && c == 2 && !(NC % 8))
      ecc200placementcornerD(array, NR, NC, p++);
    do {
      if (r < NR && c >= 0 && !array[r * NC + c])
        ecc200placementblock(array, NR, NC, r, c, p++);
      r -= 2;
      c += 2;
    } while (r >= 0 && c < NC);
    r++;
    c += 3;
    do {
      if (r >= 0 && c < NC && !array[r * NC + c])
        ecc200placementblock(array, NR, NC, r, c, p++);
      r += 2;
      c -= 2;
    } while (r < NR && c >= 0);
    r += 3;
    c++;
  } while (r < NR || c < NC);
  if (!array[NR * NC - 1])
    array[NR * NC - 1] = array[NR * NC - NC - 2] = 1;
}


x86 assembly (clang, -O0):
push   %rbp
mov    %rsp,%rbp
sub    $0x20,%rsp
mov    %rdi,-0x8(%rbp)
mov    %esi,-0xc(%rbp)
mov    %edx,-0x10(%rbp)
movl   $0x0,-0x14(%rbp)
mov    -0x14(%rbp),%eax
cmp    -0xc(%rbp),%eax
jge    11c1 <ecc200placement+0x71>
movl   $0x0,-0x18(%rbp)
mov    -0x18(%rbp),%eax
cmp    -0x10(%rbp),%eax
jge    11ae <ecc200placement+0x5e>
mov    -0x8(%rbp),%rax
mov    -0x14(%rbp),%ecx
imul   -0x10(%rbp),%ecx
add    -0x18(%rbp),%ecx
movslq %ecx,%rcx
movl   $0x0,(%rax,%rcx,4)
mov    -0x18(%rbp),%eax
add    $0x1,%eax
mov    %eax,-0x18(%rbp)
jmp    117c <ecc200placement+0x2c>
jmp    11b3 <ecc200placement+0x63>
mov    -0x14(%rbp),%eax
add    $0x1,%eax
mov    %eax,-0x14(%rbp)
jmp    1169 <ecc200placement+0x19>
movl   $0x1,-0x1c(%rbp)
movl   $0x4,-0x14(%rbp)
movl   $0x0,-0x18(%rbp)
mov    -0x14(%rbp),%eax
cmp    -0xc(%rbp),%eax
jne    1206 <ecc200placement+0xb6>
cmpl   $0x0,-0x18(%rbp)
jne    1206 <ecc200placement+0xb6>
mov    -0x8(%rbp),%rdi
mov    -0xc(%rbp),%esi
mov    -0x10(%rbp),%edx
mov    -0x1c(%rbp),%ecx
mov    %ecx,%eax
add    $0x1,%eax
mov    %eax,-0x1c(%rbp)
call   1050 <ecc200placementcornerA@plt>
mov    -0x14(%rbp),%eax
mov    -0xc(%rbp),%ecx
sub    $0x2,%ecx
cmp    %ecx,%eax
jne    124f <ecc200placement+0xff>
cmpl   $0x0,-0x18(%rbp)
jne    124f <ecc200placement+0xff>
mov    -0x10(%rbp),%eax
mov    $0x4,%ecx
cltd
idiv   %ecx
cmp    $0x0,%edx
je     124f <ecc200placement+0xff>
mov    -0x8(%rbp),%rdi
mov    -0xc(%rbp),%esi
mov    -0x10(%rbp),%edx
mov    -0x1c(%rbp),%ecx
mov    %ecx,%eax
add    $0x1,%eax
mov    %eax,-0x1c(%rbp)
call   1070 <ecc200placementcornerB@plt>
mov    -0x14(%rbp),%eax
mov    -0xc(%rbp),%ecx
sub    $0x2,%ecx
cmp    %ecx,%eax
jne    1298 <ecc200placement+0x148>
cmpl   $0x0,-0x18(%rbp)
jne    1298 <ecc200placement+0x148>
mov    -0x10(%rbp),%eax
mov    $0x8,%ecx
cltd
idiv   %ecx
cmp    $0x4,%edx
jne    1298 <ecc200placement+0x148>
mov    -0x8(%rbp),%rdi
mov    -0xc(%rbp),%esi
mov    -0x10(%rbp),%edx
mov    -0x1c(%rbp),%ecx
mov    %ecx,%eax
add    $0x1,%eax
mov    %eax,-0x1c(%rbp)
call   1040 <ecc200placementcornerC@plt>
mov    -0x14(%rbp),%eax
mov    -0xc(%rbp),%ecx
add    $0x4,%ecx
cmp    %ecx,%eax
jne    12e1 <ecc200placement+0x191>
cmpl   $0x2,-0x18(%rbp)
jne    12e1 <ecc200placement+0x191>
mov    -0x10(%rbp),%eax
mov    $0x8,%ecx
cltd
idiv   %ecx
cmp    $0x0,%edx
jne    12e1 <ecc200placement+0x191>
mov    -0x8(%rbp),%rdi
mov    -0xc(%rbp),%esi
mov    -0x10(%rbp),%edx
mov    -0x1c(%rbp),%ecx
mov    %ecx,%eax
add    $0x1,%eax
mov    %eax,-0x1c(%rbp)
call   1060 <ecc200placementcornerD@plt>
jmp    12e6 <ecc200placement+0x196>
mov    -0x14(%rbp),%eax
cmp    -0xc(%rbp),%eax
jge    133a <ecc200placement+0x1ea>
cmpl   $0x0,-0x18(%rbp)
jl     133a <ecc200placement+0x1ea>
mov    -0x8(%rbp),%rax
mov    -0x14(%rbp),%ecx
imul   -0x10(%rbp),%ecx
add    -0x18(%rbp),%ecx
movslq %ecx,%rcx
cmpl   $0x0,(%rax,%rcx,4)
jne    133a <ecc200placement+0x1ea>
mov    -0x8(%rbp),%rdi
mov    -0xc(%rbp),%esi
mov    -0x10(%rbp),%edx
mov    -0x14(%rbp),%ecx
mov    -0x18(%rbp),%r8d
mov    -0x1c(%rbp),%r9d
mov    %r9d,%eax
add    $0x1,%eax
mov    %eax,-0x1c(%rbp)
call   1030 <ecc200placementblock@plt>
mov    -0x14(%rbp),%eax
sub    $0x2,%eax
mov    %eax,-0x14(%rbp)
mov    -0x18(%rbp),%eax
add    $0x2,%eax
mov    %eax,-0x18(%rbp)
xor    %eax,%eax
cmpl   $0x0,-0x14(%rbp)
mov    %al,-0x1d(%rbp)
jl     1367 <ecc200placement+0x217>
mov    -0x18(%rbp),%eax
cmp    -0x10(%rbp),%eax
setl   %al
mov    %al,-0x1d(%rbp)
mov    -0x1d(%rbp),%al
test   $0x1,%al
jne    12e6 <ecc200placement+0x196>
mov    -0x14(%rbp),%eax
add    $0x1,%eax
mov    %eax,-0x14(%rbp)
mov    -0x18(%rbp),%eax
add    $0x3,%eax
mov    %eax,-0x18(%rbp)
cmpl   $0x0,-0x14(%rbp)
jl     13d8 <ecc200placement+0x288>
mov    -0x18(%rbp),%eax
cmp    -0x10(%rbp),%eax
jge    13d8 <ecc200placement+0x288>
mov    -0x8(%rbp),%rax
mov    -0x14(%rbp),%ecx
imul   -0x10(%rbp),%ecx
add    -0x18(%rbp),%ecx
movslq %ecx,%rcx
cmpl   $0x0,(%rax,%rcx,4)
jne    13d8 <ecc200placement+0x288>
mov    -0x8(%rbp),%rdi
mov    -0xc(%rbp),%esi
mov    -0x10(%rbp),%edx
mov    -0x14(%rbp),%ecx
mov    -0x18(%rbp),%r8d
mov    -0x1c(%rbp),%r9d
mov    %r9d,%eax
add    $0x1,%eax
mov    %eax,-0x1c(%rbp)
call   1030 <ecc200placementblock@plt>
mov    -0x14(%rbp),%eax
add    $0x2,%eax
mov    %eax,-0x14(%rbp)
mov    -0x18(%rbp),%eax
sub    $0x2,%eax
mov    %eax,-0x18(%rbp)
mov    -0x14(%rbp),%ecx
xor    %eax,%eax
cmp    -0xc(%rbp),%ecx
mov    %al,-0x1e(%rbp)
jge    1405 <ecc200placement+0x2b5>
cmpl   $0x0,-0x18(%rbp)
setge  %al
mov    %al,-0x1e(%rbp)
mov    -0x1e(%rbp),%al
test   $0x1,%al
jne    1384 <ecc200placement+0x234>
mov    -0x14(%rbp),%eax
add    $0x3,%eax
mov    %eax,-0x14(%rbp)
mov    -0x18(%rbp),%eax
add    $0x1,%eax
mov    %eax,-0x18(%rbp)
mov    -0x14(%rbp),%ecx
mov    $0x1,%al
cmp    -0xc(%rbp),%ecx
mov    %al,-0x1f(%rbp)
jl     143f <ecc200placement+0x2ef>
mov    -0x18(%rbp),%eax
cmp    -0x10(%rbp),%eax
setl   %al
mov    %al,-0x1f(%rbp)
mov    -0x1f(%rbp),%al
test   $0x1,%al
jne    11d6 <ecc200placement+0x86>
mov    -0x8(%rbp),%rax
mov    -0xc(%rbp),%ecx
imul   -0x10(%rbp),%ecx
sub    $0x1,%ecx
movslq %ecx,%rcx
cmpl   $0x0,(%rax,%rcx,4)
jne    1498 <ecc200placement+0x348>
mov    -0x8(%rbp),%rax
mov    -0xc(%rbp),%ecx
imul   -0x10(%rbp),%ecx
sub    -0x10(%rbp),%ecx
sub    $0x2,%ecx
movslq %ecx,%rcx
movl   $0x1,(%rax,%rcx,4)
mov    -0x8(%rbp),%rax
mov    -0xc(%rbp),%ecx
imul   -0x10(%rbp),%ecx
sub    $0x1,%ecx
movslq %ecx,%rcx
movl   $0x1,(%rax,%rcx,4)
add    $0x20,%rsp
pop    %rbp
ret

x86 assembly (clang, -O2):
push   %rbp
push   %r15
push   %r14
push   %r13
push   %r12
push   %rbx
sub    $0x58,%rsp
mov    %rdi,%r13
mov    %rsi,0x8(%rsp)
test   %esi,%esi
mov    %rdi,0x30(%rsp)
mov    %rdx,0x28(%rsp)
jle    11eb <ecc200placement+0x8b>
mov    %edx,%r12d
shl    $0x2,%r12
mov    0x8(%rsp),%ecx
lea    -0x1(%rcx),%rax
mov    %ecx,%r15d
and    $0x3,%r15d
xor    %ebx,%ebx
cmp    $0x3,%rax
jae    150c <ecc200placement+0x3ac>
xor    %ebp,%ebp
test   %r15,%r15
mov    0x30(%rsp),%r13
mov    0x28(%rsp),%rdx
je     11eb <ecc200placement+0x8b>
imul   %edx,%ebp
jmp    11cd <ecc200placement+0x6d>
nopl   0x0(%rax)
mov    0x28(%rsp),%rdx
add    %edx,%ebp
add    $0xffffffffffffffff,%r15
je     11eb <ecc200placement+0x8b>
test   %edx,%edx
jle    11c0 <ecc200placement+0x60>
movslq %ebp,%rax
lea    0x0(,%rax,4),%rdi
add    %r13,%rdi
xor    %esi,%esi
mov    %r12,%rdx
call   1040 <memset@plt>
jmp    11c0 <ecc200placement+0x60>
mov    0x8(%rsp),%rcx
lea    -0x2(%rcx),%eax
mov    %eax,0x54(%rsp)
lea    0x7(%rdx),%eax
test   %edx,%edx
cmovns %edx,%eax
and    $0xfffffff8,%eax
mov    %edx,%esi
sub    %eax,%esi
mov    %esi,0x50(%rsp)
lea    0x4(%rcx),%eax
mov    %eax,0x4c(%rsp)
movslq %ecx,%rsi
movslq %edx,%rdi
lea    0x0(,%rdi,8),%rax
mov    $0x8,%ecx
sub    %rax,%rcx
mov    %rcx,0x20(%rsp)
lea    -0x8(,%rdi,8),%rax
ff
mov    %rax,0x38(%rsp)
mov    $0x1,%r9d
xor    %r14d,%r14d
mov    $0x4,%r12d
mov    %rdx,%rbp
mov    %rsi,0x18(%rsp)
mov    %rdi,0x10(%rsp)
cs nopw 0x0(%rax,%rax,1)
nop
cmp    0x8(%rsp),%r12d
jne    128f <ecc200placement+0x12f>
test   %r14d,%r14d
jne    128f <ecc200placement+0x12f>
lea    0x1(%r9),%ebx
mov    %r13,%rdi
mov    0x8(%rsp),%rsi
mov    %ebp,%edx
mov    %r9d,%ecx
call   1060 <ecc200placementcornerA@plt>
mov    0x10(%rsp),%rdi
mov    0x18(%rsp),%rsi
mov    %ebx,%r9d
mov    %r12d,%eax
xor    0x54(%rsp),%eax
or     %r14d,%eax
setne  %bl
test   $0x3,%bpl
je     12c9 <ecc200placement+0x169>
test   %bl,%bl
jne    12c9 <ecc200placement+0x169>
lea    0x1(%r9),%r15d
mov    %r13,%rdi
mov    0x8(%rsp),%rsi
mov    %ebp,%edx
mov    %r9d,%ecx
call   1080 <ecc200placementcornerB@plt>
mov    0x10(%rsp),%rdi
mov    0x18(%rsp),%rsi
mov    %r15d,%r9d
cmpl   $0x4,0x50(%rsp)
setne  %al
or     %bl,%al
je     1300 <ecc200placement+0x1a0>
test   $0x7,%bpl
jne    1323 <ecc200placement+0x1c3>
cmp    0x4c(%rsp),%r12d
jne    1323 <ecc200placement+0x1c3>
cmp    $0x2,%r14d
jne    1323 <ecc200placement+0x1c3>
lea    0x1(%r9),%ebx
mov    %r13,%rdi
mov    0x8(%rsp),%rsi
mov    %ebp,%edx
mov    %r9d,%ecx
call   1070 <ecc200placementcornerD@plt>
jmp    1316 <ecc200placement+0x1b6>
lea    0x1(%r9),%ebx
mov    %r13,%rdi
mov    0x8(%rsp),%rsi
mov    %ebp,%edx
mov    %r9d,%ecx
call   1050 <ecc200placementcornerC@plt>
mov    0x10(%rsp),%rdi
mov    0x18(%rsp),%rsi
mov    %ebx,%r9d
mov    0x20(%rsp),%rcx
movabs $0x200000000,%rdx
movabs $0xfffffffe00000000,%rbp
ff ff ff
movslq %r12d,%rbx
movslq %r14d,%r12
mov    %r12,%r14
shl    $0x20,%r14
movabs $0x300000000,%rax
add    %rax,%r14
mov    %rdi,%rax
imul   %rbx,%rax
add    %r12,%rax
lea    0x0(,%rax,4),%r15
add    %r13,%r15
mov    %rbx,%r13
shl    $0x20,%r13
movabs $0x100000000,%rax
add    %rax,%r13
nop
cmp    %rsi,%rbx
jge    13e0 <ecc200placement+0x280>
test   %r12,%r12
js     13e0 <ecc200placement+0x280>
cmpl   $0x0,(%r15)
jne    13e0 <ecc200placement+0x280>
lea    0x1(%r9),%ebp
mov    0x30(%rsp),%rdi
mov    0x8(%rsp),%rsi
mov    0x28(%rsp),%rdx
mov    %ebx,%ecx
mov    %r12d,%r8d
call   1030 <ecc200placementblock@plt>
mov    0x10(%rsp),%rdi
mov    0x18(%rsp),%rsi
mov    %ebp,%r9d
movabs $0xfffffffe00000000,%rbp
ff ff ff
movabs $0x200000000,%rdx
mov    0x20(%rsp),%rcx
cs nopw 0x0(%rax,%rax,1)
nopl   (%rax)
add    %rdx,%r14
add    %rbp,%r13
cmp    $0x2,%rbx
jl     13fc <ecc200placement+0x29c>
add    $0xfffffffffffffffe,%rbx
add    $0x2,%r12
add    %rcx,%r15
cmp    %rdi,%r12
jl     1380 <ecc200placement+0x220>
sar    $0x20,%r13
sar    $0x20,%r14
mov    %rdi,%rax
imul   %r13,%rax
add    %r14,%rax
mov    0x30(%rsp),%rcx
lea    (%rcx,%rax,4),%r15
xor    %ebp,%ebp
xor    %ebx,%ebx
mov    0x38(%rsp),%rcx
lea    (%r14,%rbp,1),%r12
mov    %r13,%rax
add    %rbx,%rax
js     1480 <ecc200placement+0x320>
cmp    %rdi,%r12
jge    1480 <ecc200placement+0x320>
cmpl   $0x0,(%r15)
jne    1480 <ecc200placement+0x320>
lea    0x1(%r9),%eax
mov    %eax,0x40(%rsp)
lea    (%rbx,%r13,1),%ecx
lea    (%r14,%rbp,1),%r8d
mov    0x30(%rsp),%rdi
mov    0x8(%rsp),%rsi
mov    0x28(%rsp),%rdx
call   1030 <ecc200placementblock@plt>
mov    0x38(%rsp),%rcx
mov    0x10(%rsp),%rdi
mov    0x18(%rsp),%rsi
mov    0x40(%rsp),%eax
mov    %eax,%r9d
cs nopw 0x0(%rax,%rax,1)
nopl   0x0(%rax,%rax,1)
lea    (%rbx,%r13,1),%rax
add    $0x2,%rax
add    $0x2,%rbx
cmp    %rsi,%rax
jge    149e <ecc200placement+0x33e>
add    %rcx,%r15
add    $0xfffffffffffffffe,%rbp
cmp    $0x1,%r12
jg     1420 <ecc200placement+0x2c0>
sub    %ebx,%r14d
lea    0x2(%r14),%eax
lea    (%rbx,%r13,1),%r12d
add    $0x3,%r12d
add    $0x1,%r14d
cmp    0x8(%rsp),%r12d
mov    0x30(%rsp),%r13
mov    0x28(%rsp),%rbp
jl     1260 <ecc200placement+0x100>
cmp    %ebp,%eax
jle    1260 <ecc200placement+0x100>
mov    0x8(%rsp),%rax
imul   %ebp,%eax
cltq
cmpl   $0x0,-0x4(%r13,%rax,4)
jne    14fd <ecc200placement+0x39d>
lea    -0x1(%rax),%rcx
sub    %ebp,%eax
add    $0xfffffffe,%eax
cltq
movl   $0x1,0x0(%r13,%rax,4)
movl   $0x1,0x0(%r13,%rcx,4)
add    $0x58,%rsp
pop    %rbx
pop    %r12
pop    %r13
pop    %r14
pop    %r15
pop    %rbp
ret
and    $0xfffffffc,%ecx
lea    0x0(,%rdx,4),%eax
mov    %eax,0x18(%rsp)
lea    (%rdx,%rdx,1),%eax
mov    %rax,0x40(%rsp)
lea    (%rdx,%rdx,2),%eax
mov    %rax,0x38(%rsp)
xor    %ebp,%ebp
mov    %rcx,0x10(%rsp)
mov    0x28(%rsp),%r14
mov    0x30(%rsp),%r13
jmp    1551 <ecc200placement+0x3f1>
nopl   (%rax)
add    $0x4,%rbp
add    0x18(%rsp),%ebx
cmp    %rbp,%rcx
je     11a8 <ecc200placement+0x48>
test   %r14d,%r14d
jle    1540 <ecc200placement+0x3e0>
movslq %ebx,%rax
lea    0x0(,%rax,4),%rdi
add    %r13,%rdi
xor    %esi,%esi
mov    %r12,%rdx
call   1040 <memset@plt>
lea    (%r14,%rbx,1),%eax
cltq
lea    0x0(,%rax,4),%rdi
add    %r13,%rdi
xor    %esi,%esi
mov    %r12,%rdx
call   1040 <memset@plt>
mov    0x40(%rsp),%rax
add    %ebx,%eax
cltq
lea    0x0(,%rax,4),%rdi
add    %r13,%rdi
xor    %esi,%esi
mov    %r12,%rdx
call   1040 <memset@plt>
mov    0x38(%rsp),%rax
add    %ebx,%eax
cltq
lea    0x0(,%rax,4),%rdi
add    %r13,%rdi
xor    %esi,%esi
mov    %r12,%rdx
call   1040 <memset@plt>
mov    0x10(%rsp),%rcx
jmp    1540 <ecc200placement+0x3e0>

LLVM IR (-O0):
define void @ecc200placement(i32* %0, i32 %1, i32 %2) {
%4 = alloca i32*
%5 = alloca i32
%6 = alloca i32
%7 = alloca i32
%8 = alloca i32
%9 = alloca i32
store i32* %0, i32** %4
store i32 %1, i32* %5
store i32 %2, i32* %6
store i32 0, i32* %7
br label %10
10: ; preds = %32, %3
%11 = load i32, i32* %7
%12 = load i32, i32* %5
%13 = icmp slt i32 %11, %12
br i1 %13, label %14, label %35
14: ; preds = %10
store i32 0, i32* %8
br label %15
15: ; preds = %28, %14
%16 = load i32, i32* %8
%17 = load i32, i32* %6
%18 = icmp slt i32 %16, %17
br i1 %18, label %19, label %31
19: ; preds = %15
%20 = load i32*, i32** %4
%21 = load i32, i32* %7
%22 = load i32, i32* %6
%23 = mul nsw i32 %21, %22
%24 = load i32, i32* %8
%25 = add nsw i32 %23, %24
%26 = sext i32 %25 to i64
%27 = getelementptr inbounds i32, i32* %20, i64 %26
store i32 0, i32* %27
br label %28
28: ; preds = %19
%29 = load i32, i32* %8
%30 = add nsw i32 %29, 1
store i32 %30, i32* %8
br label %15
31: ; preds = %15
br label %32
32: ; preds = %31
%33 = load i32, i32* %7
%34 = add nsw i32 %33, 1
store i32 %34, i32* %7
br label %10
35: ; preds = %10
store i32 1, i32* %9
store i32 4, i32* %7
store i32 0, i32* %8
br label %36
36: ; preds = %208, %35
%37 = load i32, i32* %7
%38 = load i32, i32* %5
%39 = icmp eq i32 %37, %38
br i1 %39, label %40, label %50
40: ; preds = %36
%41 = load i32, i32* %8
%42 = icmp ne i32 %41, 0
br i1 %42, label %50, label %43
43: ; preds = %40
%44 = load i32*, i32** %4
%45 = load i32, i32* %5
%46 = load i32, i32* %6
%47 = load i32, i32* %9
%48 = add nsw i32 %47, 1
store i32 %48, i32* %9
%49 = call i32 @ecc200placementcornerA(i32* %44, i32 %45, i32 %46, i32 %47)
br label %50
50: ; preds = %43, %40, %36
%51 = load i32, i32* %7
%52 = load i32, i32* %5
%53 = sub nsw i32 %52, 2
%54 = icmp eq i32 %51, %53
br i1 %54, label %55, label %69
55: ; preds = %50
%56 = load i32, i32* %8
%57 = icmp ne i32 %56, 0
br i1 %57, label %69, label %58
58: ; preds = %55
%59 = load i32, i32* %6
%60 = srem i32 %59, 4
%61 = icmp ne i32 %60, 0
br i1 %61, label %62, label %69
62: ; preds = %58
%63 = load i32*, i32** %4
%64 = load i32, i32* %5
%65 = load i32, i32* %6
%66 = load i32, i32* %9
%67 = add nsw i32 %66, 1
store i32 %67, i32* %9
%68 = call i32 @ecc200placementcornerB(i32* %63, i32 %64, i32 %65, i32 %66)
br label %69
69: ; preds = %62, %58, %55, %50
%70 = load i32, i32* %7
%71 = load i32, i32* %5
%72 = sub nsw i32 %71, 2
%73 = icmp eq i32 %70, %72
br i1 %73, label %74, label %88
74: ; preds = %69
%75 = load i32, i32* %8
%76 = icmp ne i32 %75, 0
br i1 %76, label %88, label %77
77: ; preds = %74
%78 = load i32, i32* %6
%79 = srem i32 %78, 8
%80 = icmp eq i32 %79, 4
br i1 %80, label %81, label %88
81: ; preds = %77
%82 = load i32*, i32** %4
%83 = load i32, i32* %5
%84 = load i32, i32* %6
%85 = load i32, i32* %9
%86 = add nsw i32 %85, 1
store i32 %86, i32* %9
%87 = call i32 @ecc200placementcornerC(i32* %82, i32 %83, i32 %84, i32 %85)
br label %88
88: ; preds = %81, %77, %74, %69
%89 = load i32, i32* %7
%90 = load i32, i32* %5
%91 = add nsw i32 %90, 4
%92 = icmp eq i32 %89, %91
br i1 %92, label %93, label %107
93: ; preds = %88
%94 = load i32, i32* %8
%95 = icmp eq i32 %94, 2
br i1 %95, label %96, label %107
96: ; preds = %93
%97 = load i32, i32* %6
%98 = srem i32 %97, 8
%99 = icmp ne i32 %98, 0
br i1 %99, label %107, label %100
100: ; preds = %96
%101 = load i32*, i32** %4
%102 = load i32, i32* %5
%103 = load i32, i32* %6
%104 = load i32, i32* %9
%105 = add nsw i32 %104, 1
store i32 %105, i32* %9
%106 = call i32 @ecc200placementcornerD(i32* %101, i32 %102, i32 %103, i32 %104)
br label %107
107: ; preds = %100, %96, %93, %88
br label %108
108: ; preds = %147, %107
%109 = load i32, i32* %7
%110 = load i32, i32* %5
%111 = icmp slt i32 %109, %110
br i1 %111, label %112, label %135
112: ; preds = %108
%113 = load i32, i32* %8
%114 = icmp sge i32 %113, 0
br i1 %114, label %115, label %135
115: ; preds = %112
%116 = load i32*, i32** %4
%117 = load i32, i32* %7
%118 = load i32, i32* %6
%119 = mul nsw i32 %117, %118
%120 = load i32, i32* %8
%121 = add nsw i32 %119, %120
%122 = sext i32 %121 to i64
%123 = getelementptr inbounds i32, i32* %116, i64 %122
%124 = load i32, i32* %123
%125 = icmp ne i32 %124, 0
br i1 %125, label %135, label %126
126: ; preds = %115
%127 = load i32*, i32** %4
%128 = load i32, i32* %5
%129 = load i32, i32* %6
%130 = load i32, i32* %7
%131 = load i32, i32* %8
%132 = load i32, i32* %9
%133 = add nsw i32 %132, 1
store i32 %133, i32* %9
%134 = call i32 @ecc200placementblock(i32* %127, i32 %128, i32 %129, i32 %130, i32 %131, i32 %132)
br label %135
135: ; preds = %126, %115, %112, %108
%136 = load i32, i32* %7
%137 = sub nsw i32 %136, 2
store i32 %137, i32* %7
%138 = load i32, i32* %8
%139 = add nsw i32 %138, 2
store i32 %139, i32* %8
br label %140
140: ; preds = %135
%141 = load i32, i32* %7
%142 = icmp sge i32 %141, 0
br i1 %142, label %143, label %147
143: ; preds = %140
%144 = load i32, i32* %8
%145 = load i32, i32* %6
%146 = icmp slt i32 %144, %145
br label %147
147: ; preds = %143, %140
%148 = phi i1 [ false, %140 ], [ %146, %143 ]
br i1 %148, label %108, label %149
149: ; preds = %147
%150 = load i32, i32* %7
%151 = add nsw i32 %150, 1
store i32 %151, i32* %7
%152 = load i32, i32* %8
%153 = add nsw i32 %152, 3
store i32 %153, i32* %8
br label %154
154: ; preds = %193, %149
%155 = load i32, i32* %7
%156 = icmp sge i32 %155, 0
br i1 %156, label %157, label %181
157: ; preds = %154
%158 = load i32, i32* %8
%159 = load i32, i32* %6
%160 = icmp slt i32 %158, %159
br i1 %160, label %161, label %181
161: ; preds = %157
%162 = load i32*, i32** %4
%163 = load i32, i32* %7
%164 = load i32, i32* %6
%165 = mul nsw i32 %163, %164
%166 = load i32, i32* %8
%167 = add nsw i32 %165, %166
%168 = sext i32 %167 to i64
%169 = getelementptr inbounds i32, i32* %162, i64 %168
%170 = load i32, i32* %169
%171 = icmp ne i32 %170, 0
br i1 %171, label %181, label %172
172: ; preds = %161
%173 = load i32*, i32** %4
%174 = load i32, i32* %5
%175 = load i32, i32* %6
%176 = load i32, i32* %7
%177 = load i32, i32* %8
%178 = load i32, i32* %9
%179 = add nsw i32 %178, 1
store i32 %179, i32* %9
%180 = call i32 @ecc200placementblock(i32* %173, i32 %174, i32 %175, i32 %176, i32 %177, i32 %178)
br label %181
181: ; preds = %172, %161, %157, %154
%182 = load i32, i32* %7
%183 = add nsw i32 %182, 2
store i32 %183, i32* %7
%184 = load i32, i32* %8
%185 = sub nsw i32 %184, 2
store i32 %185, i32* %8
br label %186
186: ; preds = %181
%187 = load i32, i32* %7
%188 = load i32, i32* %5
%189 = icmp slt i32 %187, %188
br i1 %189, label %190, label %193
190: ; preds = %186
%191 = load i32, i32* %8
%192 = icmp sge i32 %191, 0
br label %193
193: ; preds = %190, %186
%194 = phi i1 [ false, %186 ], [ %192, %190 ]
br i1 %194, label %154, label %195
195: ; preds = %193
%196 = load i32, i32* %7
%197 = add nsw i32 %196, 3
store i32 %197, i32* %7
%198 = load i32, i32* %8
%199 = add nsw i32 %198, 1
store i32 %199, i32* %8
br label %200
200: ; preds = %195
%201 = load i32, i32* %7
%202 = load i32, i32* %5
%203 = icmp slt i32 %201, %202
br i1 %203, label %208, label %204
204: ; preds = %200
%205 = load i32, i32* %8
%206 = load i32, i32* %6
%207 = icmp slt i32 %205, %206
br label %208
208: ; preds = %204, %200
%209 = phi i1 [ true, %200 ], [ %207, %204 ]
br i1 %209, label %36, label %210
210: ; preds = %208
%211 = load i32*, i32** %4
%212 = load i32, i32* %5
%213 = load i32, i32* %6
%214 = mul nsw i32 %212, %213
%215 = sub nsw i32 %214, 1
%216 = sext i32 %215 to i64
%217 = getelementptr inbounds i32, i32* %211, i64 %216
%218 = load i32, i32* %217
%219 = icmp ne i32 %218, 0
br i1 %219, label %237, label %220
220: ; preds = %210
%221 = load i32*, i32** %4
%222 = load i32, i32* %5
%223 = load i32, i32* %6
%224 = mul nsw i32 %222, %223
%225 = load i32, i32* %6
%226 = sub nsw i32 %224, %225
%227 = sub nsw i32 %226, 2
%228 = sext i32 %227 to i64
%229 = getelementptr inbounds i32, i32* %221, i64 %228
store i32 1, i32* %229
%230 = load i32*, i32** %4
%231 = load i32, i32* %5
%232 = load i32, i32* %6
%233 = mul nsw i32 %231, %232
%234 = sub nsw i32 %233, 1
%235 = sext i32 %234 to i64
%236 = getelementptr inbounds i32, i32* %230, i64 %235
store i32 1, i32* %236
br label %237
237: ; preds = %220, %210
ret void
}

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