#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, int, int, int,
                                        int /*<<< orphan*/);
int /*<<< orphan*/ ecc200placementcornerA(int *, int, int, int /*<<< orphan*/);
int /*<<< orphan*/ ecc200placementcornerB(int *, int, int, int /*<<< orphan*/);
int /*<<< orphan*/ ecc200placementcornerC(int *, int, int, int /*<<< orphan*/);
int /*<<< orphan*/ ecc200placementcornerD(int *, int, int, int /*<<< orphan*/);
void ecc200placement(int *array, int NR, int NC) {
  int r, c, p;
  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   $0x1,-0x1c(%rbp)
movl   $0x4,-0x14(%rbp)
movl   $0x0,-0x18(%rbp)
mov    -0x14(%rbp),%eax
cmp    -0xc(%rbp),%eax
jne    11a7 <ecc200placement+0x57>
cmpl   $0x0,-0x18(%rbp)
jne    11a7 <ecc200placement+0x57>
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    11f0 <ecc200placement+0xa0>
cmpl   $0x0,-0x18(%rbp)
jne    11f0 <ecc200placement+0xa0>
mov    -0x10(%rbp),%eax
mov    $0x4,%ecx
cltd
idiv   %ecx
cmp    $0x0,%edx
je     11f0 <ecc200placement+0xa0>
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    1239 <ecc200placement+0xe9>
cmpl   $0x0,-0x18(%rbp)
jne    1239 <ecc200placement+0xe9>
mov    -0x10(%rbp),%eax
mov    $0x8,%ecx
cltd
idiv   %ecx
cmp    $0x4,%edx
jne    1239 <ecc200placement+0xe9>
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    1282 <ecc200placement+0x132>
cmpl   $0x2,-0x18(%rbp)
jne    1282 <ecc200placement+0x132>
mov    -0x10(%rbp),%eax
mov    $0x8,%ecx
cltd
idiv   %ecx
cmp    $0x0,%edx
jne    1282 <ecc200placement+0x132>
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    1287 <ecc200placement+0x137>
mov    -0x14(%rbp),%eax
cmp    -0xc(%rbp),%eax
jge    12db <ecc200placement+0x18b>
cmpl   $0x0,-0x18(%rbp)
jl     12db <ecc200placement+0x18b>
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    12db <ecc200placement+0x18b>
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     1308 <ecc200placement+0x1b8>
mov    -0x18(%rbp),%eax
cmp    -0x10(%rbp),%eax
setl   %al
mov    %al,-0x1d(%rbp)
mov    -0x1d(%rbp),%al
test   $0x1,%al
jne    1287 <ecc200placement+0x137>
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     1379 <ecc200placement+0x229>
mov    -0x18(%rbp),%eax
cmp    -0x10(%rbp),%eax
jge    1379 <ecc200placement+0x229>
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    1379 <ecc200placement+0x229>
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    13a6 <ecc200placement+0x256>
cmpl   $0x0,-0x18(%rbp)
setge  %al
mov    %al,-0x1e(%rbp)
mov    -0x1e(%rbp),%al
test   $0x1,%al
jne    1325 <ecc200placement+0x1d5>
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     13e0 <ecc200placement+0x290>
mov    -0x18(%rbp),%eax
cmp    -0x10(%rbp),%eax
setl   %al
mov    %al,-0x1f(%rbp)
mov    -0x1f(%rbp),%al
test   $0x1,%al
jne    1177 <ecc200placement+0x27>
mov    -0x8(%rbp),%rax
mov    -0xc(%rbp),%ecx
imul   -0x10(%rbp),%ecx
sub    $0x1,%ecx
movslq %ecx,%rcx
cmpl   $0x0,(%rax,%rcx,4)
jne    1439 <ecc200placement+0x2e9>
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    $0x48,%rsp
mov    %edx,%r13d
mov    %rdi,%r12
lea    -0x2(%rsi),%eax
mov    %eax,0x30(%rsp)
lea    0x7(%r13),%eax
test   %edx,%edx
cmovns %edx,%eax
and    $0xfffffff8,%eax
mov    %edx,%ecx
sub    %eax,%ecx
mov    %ecx,0x2c(%rsp)
lea    0x4(%rsi),%eax
mov    %eax,0x28(%rsp)
mov    %rsi,(%rsp)
movslq %esi,%rdx
movslq %r13d,%rsi
lea    0x0(,%rsi,8),%rax
mov    $0x8,%ecx
sub    %rax,%rcx
mov    %rcx,0x40(%rsp)
lea    -0x8(,%rsi,8),%rax
ff
mov    %rax,0x38(%rsp)
mov    $0x1,%r9d
xor    %r15d,%r15d
mov    $0x4,%ebp
mov    %r13,0x20(%rsp)
mov    %rdx,0x10(%rsp)
mov    %rsi,0x8(%rsp)
mov    %rdi,0x18(%rsp)
cs nopw 0x0(%rax,%rax,1)
xchg   %ax,%ax
cmp    (%rsp),%ebp
jne    120d <ecc200placement+0xbd>
test   %r15d,%r15d
jne    120d <ecc200placement+0xbd>
lea    0x1(%r9),%ebx
mov    %r12,%rdi
mov    (%rsp),%rsi
mov    %r13d,%edx
mov    %r9d,%ecx
call   1050 <ecc200placementcornerA@plt>
mov    0x8(%rsp),%rsi
mov    0x10(%rsp),%rdx
mov    %ebx,%r9d
mov    %ebp,%eax
xor    0x30(%rsp),%eax
or     %r15d,%eax
setne  %bl
test   $0x3,%r13b
je     1246 <ecc200placement+0xf6>
test   %bl,%bl
jne    1246 <ecc200placement+0xf6>
lea    0x1(%r9),%r14d
mov    %r12,%rdi
mov    (%rsp),%rsi
mov    %r13d,%edx
mov    %r9d,%ecx
call   1070 <ecc200placementcornerB@plt>
mov    0x8(%rsp),%rsi
mov    0x10(%rsp),%rdx
mov    %r14d,%r9d
cmpl   $0x4,0x2c(%rsp)
setne  %al
or     %bl,%al
je     1280 <ecc200placement+0x130>
test   $0x7,%r13b
jne    12a3 <ecc200placement+0x153>
cmp    0x28(%rsp),%ebp
jne    12a3 <ecc200placement+0x153>
cmp    $0x2,%r15d
jne    12a3 <ecc200placement+0x153>
lea    0x1(%r9),%ebx
mov    %r12,%rdi
mov    (%rsp),%rsi
mov    %r13d,%edx
mov    %r9d,%ecx
call   1060 <ecc200placementcornerD@plt>
jmp    1296 <ecc200placement+0x146>
nopl   0x0(%rax)
lea    0x1(%r9),%ebx
mov    %r12,%rdi
mov    (%rsp),%rsi
mov    %r13d,%edx
mov    %r9d,%ecx
call   1040 <ecc200placementcornerC@plt>
mov    0x8(%rsp),%rsi
mov    0x10(%rsp),%rdx
mov    %ebx,%r9d
movslq %ebp,%rbx
movslq %r15d,%r13
mov    %r13,%r15
shl    $0x20,%r15
movabs $0x300000000,%rax
add    %rax,%r15
mov    %rsi,%rax
imul   %rbx,%rax
add    %r13,%rax
lea    (%r12,%rax,4),%r14
mov    %rbx,%r12
shl    $0x20,%r12
movabs $0x100000000,%rax
add    %rax,%r12
mov    0x40(%rsp),%rax
movabs $0x200000000,%rcx
movabs $0xfffffffe00000000,%rdi
ff ff ff
nopl   0x0(%rax,%rax,1)
cmp    %rdx,%rbx
jge    1360 <ecc200placement+0x210>
test   %r13,%r13
js     1360 <ecc200placement+0x210>
cmpl   $0x0,(%r14)
jne    1360 <ecc200placement+0x210>
lea    0x1(%r9),%ebp
mov    0x18(%rsp),%rdi
mov    (%rsp),%rsi
mov    0x20(%rsp),%rdx
mov    %ebx,%ecx
mov    %r13d,%r8d
call   1030 <ecc200placementblock@plt>
mov    0x8(%rsp),%rsi
mov    0x10(%rsp),%rdx
mov    %ebp,%r9d
movabs $0xfffffffe00000000,%rdi
ff ff ff
movabs $0x200000000,%rcx
mov    0x40(%rsp),%rax
cs nopw 0x0(%rax,%rax,1)
nopl   0x0(%rax)
add    %rcx,%r15
add    %rdi,%r12
cmp    $0x2,%rbx
jl     137c <ecc200placement+0x22c>
add    $0xfffffffffffffffe,%rbx
add    $0x2,%r13
add    %rax,%r14
cmp    %rsi,%r13
jl     1300 <ecc200placement+0x1b0>
sar    $0x20,%r12
sar    $0x20,%r15
mov    %rsi,%rax
imul   %r12,%rax
add    %r15,%rax
mov    0x18(%rsp),%rcx
lea    (%rcx,%rax,4),%r14
xor    %ebp,%ebp
xor    %ebx,%ebx
mov    0x38(%rsp),%rcx
lea    (%r15,%rbp,1),%r13
mov    %r12,%rax
add    %rbx,%rax
js     13f0 <ecc200placement+0x2a0>
cmp    %rsi,%r13
jge    13f0 <ecc200placement+0x2a0>
cmpl   $0x0,(%r14)
jne    13f0 <ecc200placement+0x2a0>
lea    0x1(%r9),%eax
mov    %eax,0x34(%rsp)
lea    (%r12,%rbx,1),%ecx
lea    (%r15,%rbp,1),%r8d
mov    0x18(%rsp),%rdi
mov    (%rsp),%rsi
mov    0x20(%rsp),%rdx
call   1030 <ecc200placementblock@plt>
mov    0x38(%rsp),%rcx
mov    0x8(%rsp),%rsi
mov    0x10(%rsp),%rdx
mov    0x34(%rsp),%eax
mov    %eax,%r9d
lea    (%r12,%rbx,1),%rax
add    $0x2,%rax
add    $0x2,%rbx
cmp    %rdx,%rax
jge    140e <ecc200placement+0x2be>
add    %rcx,%r14
add    $0xfffffffffffffffe,%rbp
cmp    $0x1,%r13
jg     13a0 <ecc200placement+0x250>
sub    %ebx,%r15d
lea    0x2(%r15),%eax
lea    (%r12,%rbx,1),%ebp
add    $0x3,%ebp
add    $0x1,%r15d
cmp    (%rsp),%ebp
mov    0x18(%rsp),%r12
mov    0x20(%rsp),%r13
jl     11e0 <ecc200placement+0x90>
cmp    %r13d,%eax
jle    11e0 <ecc200placement+0x90>
mov    (%rsp),%rax
imul   %r13d,%eax
cltq
cmpl   $0x0,-0x4(%r12,%rax,4)
jne    146a <ecc200placement+0x31a>
lea    -0x1(%rax),%rcx
sub    %r13d,%eax
add    $0xfffffffe,%eax
cltq
movl   $0x1,(%r12,%rax,4)
movl   $0x1,(%r12,%rcx,4)
add    $0x48,%rsp
pop    %rbx
pop    %r12
pop    %r13
pop    %r14
pop    %r15
pop    %rbp
ret

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

LLVM IR (-O2):
define void @ecc200placement(i32* %0, i32 %1, i32 %2) {
%4 = add nsw i32 %1, -2
%5 = and i32 %2, 3
%6 = icmp eq i32 %5, 0
%7 = srem i32 %2, 8
%8 = icmp ne i32 %7, 4
%9 = add nsw i32 %1, 4
%10 = and i32 %2, 7
%11 = icmp eq i32 %10, 0
%12 = sext i32 %1 to i64
%13 = sext i32 %2 to i64
br label %14
14: ; preds = %107, %3
%15 = phi i32 [ 4, %3 ], [ %110, %107 ]
%16 = phi i32 [ 0, %3 ], [ %111, %107 ]
%17 = phi i32 [ 1, %3 ], [ %101, %107 ]
%18 = icmp ne i32 %15, %1
%19 = icmp ne i32 %16, 0
%20 = select i1 %18, i1 true, i1 %19
br i1 %20, label %24, label %21
21: ; preds = %14
%22 = add nsw i32 %17, 1
%23 = tail call i32 @ecc200placementcornerA(i32* %0, i32 %1, i32 %2, i32 %17)
br label %24
24: ; preds = %21, %14
%25 = phi i32 [ %17, %14 ], [ %22, %21 ]
%26 = icmp ne i32 %15, %4
%27 = select i1 %26, i1 true, i1 %19
%28 = or i1 %6, %27
br i1 %28, label %32, label %29
29: ; preds = %24
%30 = add nsw i32 %25, 1
%31 = tail call i32 @ecc200placementcornerB(i32* %0, i32 %1, i32 %2, i32 %25)
br label %32
32: ; preds = %29, %24
%33 = phi i32 [ %25, %24 ], [ %30, %29 ]
%34 = or i1 %8, %27
br i1 %34, label %38, label %35
35: ; preds = %32
%36 = add nsw i32 %33, 1
%37 = tail call i32 @ecc200placementcornerC(i32* %0, i32 %1, i32 %2, i32 %33)
br label %46
38: ; preds = %32
%39 = icmp eq i32 %15, %9
%40 = icmp eq i32 %16, 2
%41 = select i1 %39, i1 %40, i1 false
%42 = and i1 %11, %41
br i1 %42, label %43, label %46
43: ; preds = %38
%44 = add nsw i32 %33, 1
%45 = tail call i32 @ecc200placementcornerD(i32* %0, i32 %1, i32 %2, i32 %33)
br label %46
46: ; preds = %35, %43, %38
%47 = phi i32 [ %44, %43 ], [ %33, %38 ], [ %36, %35 ]
%48 = sext i32 %15 to i64
%49 = sext i32 %16 to i64
br label %50
50: ; preds = %68, %46
%51 = phi i64 [ %71, %68 ], [ %49, %46 ]
%52 = phi i64 [ %70, %68 ], [ %48, %46 ]
%53 = phi i32 [ %69, %68 ], [ %47, %46 ]
%54 = icmp slt i64 %52, %12
%55 = icmp sgt i64 %51, -1
%56 = select i1 %54, i1 %55, i1 false
br i1 %56, label %57, label %68
57: ; preds = %50
%58 = mul nsw i64 %52, %13
%59 = add nsw i64 %58, %51
%60 = getelementptr inbounds i32, i32* %0, i64 %59
%61 = load i32, i32* %60
%62 = icmp eq i32 %61, 0
br i1 %62, label %63, label %68
63: ; preds = %57
%64 = add nsw i32 %53, 1
%65 = trunc i64 %52 to i32
%66 = trunc i64 %51 to i32
%67 = tail call i32 @ecc200placementblock(i32* %0, i32 %1, i32 %2, i32 %65, i32 %66, i32 %53)
br label %68
68: ; preds = %63, %57, %50
%69 = phi i32 [ %53, %57 ], [ %64, %63 ], [ %53, %50 ]
%70 = add nsw i64 %52, -2
%71 = add nsw i64 %51, 2
%72 = icmp sgt i64 %52, 1
%73 = icmp slt i64 %71, %13
%74 = select i1 %72, i1 %73, i1 false
br i1 %74, label %50, label %75
75: ; preds = %68
%76 = shl i64 %52, 32
%77 = add i64 %76, -4294967296
%78 = ashr exact i64 %77, 32
%79 = shl i64 %51, 32
%80 = add i64 %79, 21474836480
%81 = ashr exact i64 %80, 32
br label %82
82: ; preds = %100, %75
%83 = phi i64 [ %103, %100 ], [ %81, %75 ]
%84 = phi i64 [ %102, %100 ], [ %78, %75 ]
%85 = phi i32 [ %101, %100 ], [ %69, %75 ]
%86 = icmp sgt i64 %84, -1
%87 = icmp slt i64 %83, %13
%88 = select i1 %86, i1 %87, i1 false
br i1 %88, label %89, label %100
89: ; preds = %82
%90 = mul nsw i64 %84, %13
%91 = add nsw i64 %90, %83
%92 = getelementptr inbounds i32, i32* %0, i64 %91
%93 = load i32, i32* %92
%94 = icmp eq i32 %93, 0
br i1 %94, label %95, label %100
95: ; preds = %89
%96 = add nsw i32 %85, 1
%97 = trunc i64 %84 to i32
%98 = trunc i64 %83 to i32
%99 = tail call i32 @ecc200placementblock(i32* %0, i32 %1, i32 %2, i32 %97, i32 %98, i32 %85)
br label %100
100: ; preds = %95, %89, %82
%101 = phi i32 [ %85, %89 ], [ %96, %95 ], [ %85, %82 ]
%102 = add nsw i64 %84, 2
%103 = add nsw i64 %83, -2
%104 = icmp slt i64 %102, %12
%105 = icmp sgt i64 %83, 1
%106 = select i1 %104, i1 %105, i1 false
br i1 %106, label %82, label %107
107: ; preds = %100
%108 = trunc i64 %83 to i32
%109 = trunc i64 %84 to i32
%110 = add nsw i32 %109, 5
%111 = add nsw i32 %108, -1
%112 = icmp slt i32 %110, %1
%113 = icmp sle i32 %108, %2
%114 = select i1 %112, i1 true, i1 %113
br i1 %114, label %14, label %115
115: ; preds = %107
%116 = mul nsw i32 %2, %1
%117 = add nsw i32 %116, -1
%118 = sext i32 %117 to i64
%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 = %115
%123 = sub nsw i32 -2, %2
%124 = add i32 %123, %116
%125 = sext i32 %124 to i64
%126 = getelementptr inbounds i32, i32* %0, i64 %125
store i32 1, i32* %126
store i32 1, i32* %119
br label %127
127: ; preds = %122, %115
ret void
}