#define NULL ((void *)0)
typedef unsigned long size_t; // Customize by platform.
typedef long intptr_t;
typedef unsigned long uintptr_t;
typedef long scalar_t__; // Either arithmetic or pointer type.
/* By default, we understand bool (as a convenience). */
typedef int bool;
#define false 0
#define true 1

/* Forward declarations */

/* Type definitions */

/* Variables and functions */
int /*<<< orphan*/ assert(int *);
int /*<<< orphan*/ memcpy(char *, char *, int const);
scalar_t__ smalloc(int const);
char *board_to_string(int *board, int w, int h) {
  const int sz = w * h;
  const int chw = (4 * w + 2);
  const int chh = (2 * h + 1);
  const int chlen = chw * chh;
  char *repr = ((char *)smalloc((chlen + 1) * sizeof(char)));
  int i;
  assert(board);
  for (i = 0; i < w; ++i) {
    repr[4 * i + 0] = '+';
    repr[4 * i + 1] = '-';
    repr[4 * i + 2] = '-';
    repr[4 * i + 3] = '-';
  }
  repr[4 * i + 0] = '+';
  repr[4 * i + 1] = '\n';
  for (i = 0; i < h; ++i)
    memcpy(repr + (2 * i + 2) * chw, repr, chw);
  for (i = 0; i < w; ++i) {
    repr[chw + 4 * i + 0] = '|';
    repr[chw + 4 * i + 1] = ' ';
    repr[chw + 4 * i + 2] = ' ';
    repr[chw + 4 * i + 3] = ' ';
  }
  repr[chw + 4 * i + 0] = '|';
  repr[chw + 4 * i + 1] = '\n';
  for (i = 1; i < h; ++i)
    memcpy(repr + (2 * i + 1) * chw, repr + chw, chw);
  for (i = 0; i < sz; ++i) {
    const int x = i % w;
    const int y = i / w;
    if (board[i] == 0)
      continue;
    repr[chw * (2 * y + 1) + (4 * x + 2)] = board[i] + '0';
  }
  repr[chlen] = '\0';
  return repr;
}


x86 assembly (clang, -O0):
<board_to_string>:
push   %rbp
mov    %rsp,%rbp
sub    $0x40,%rsp
mov    %rdi,-0x8(%rbp)
mov    %esi,-0xc(%rbp)
mov    %edx,-0x10(%rbp)
mov    -0xc(%rbp),%eax
imul   -0x10(%rbp),%eax
mov    %eax,-0x14(%rbp)
mov    -0xc(%rbp),%eax
shl    $0x2,%eax
add    $0x2,%eax
mov    %eax,-0x18(%rbp)
mov    -0x10(%rbp),%eax
shl    $0x1,%eax
add    $0x1,%eax
mov    %eax,-0x1c(%rbp)
mov    -0x18(%rbp),%eax
imul   -0x1c(%rbp),%eax
mov    %eax,-0x20(%rbp)
mov    -0x20(%rbp),%eax
add    $0x1,%eax
cltq
shl    $0x0,%rax
mov    %eax,%edi
call   1050 <smalloc@plt>
mov    %rax,-0x28(%rbp)
mov    -0x8(%rbp),%rdi
call   1030 <assert@plt>
movl   $0x0,-0x2c(%rbp)
mov    -0x2c(%rbp),%eax
cmp    -0xc(%rbp),%eax
jge    11ff <board_to_string+0xcf>
mov    -0x28(%rbp),%rax
mov    -0x2c(%rbp),%ecx
shl    $0x2,%ecx
add    $0x0,%ecx
movslq %ecx,%rcx
movb   $0x2b,(%rax,%rcx,1)
mov    -0x28(%rbp),%rax
mov    -0x2c(%rbp),%ecx
shl    $0x2,%ecx
add    $0x1,%ecx
movslq %ecx,%rcx
movb   $0x2d,(%rax,%rcx,1)
mov    -0x28(%rbp),%rax
mov    -0x2c(%rbp),%ecx
shl    $0x2,%ecx
add    $0x2,%ecx
movslq %ecx,%rcx
movb   $0x2d,(%rax,%rcx,1)
mov    -0x28(%rbp),%rax
mov    -0x2c(%rbp),%ecx
shl    $0x2,%ecx
add    $0x3,%ecx
movslq %ecx,%rcx
movb   $0x2d,(%rax,%rcx,1)
mov    -0x2c(%rbp),%eax
add    $0x1,%eax
mov    %eax,-0x2c(%rbp)
jmp    1195 <board_to_string+0x65>
mov    -0x28(%rbp),%rax
mov    -0x2c(%rbp),%ecx
shl    $0x2,%ecx
add    $0x0,%ecx
movslq %ecx,%rcx
movb   $0x2b,(%rax,%rcx,1)
mov    -0x28(%rbp),%rax
mov    -0x2c(%rbp),%ecx
shl    $0x2,%ecx
add    $0x1,%ecx
movslq %ecx,%rcx
movb   $0xa,(%rax,%rcx,1)
movl   $0x0,-0x2c(%rbp)
mov    -0x2c(%rbp),%eax
cmp    -0x10(%rbp),%eax
jge    126a <board_to_string+0x13a>
mov    -0x28(%rbp),%rdi
mov    -0x2c(%rbp),%eax
shl    $0x1,%eax
add    $0x2,%eax
imul   -0x18(%rbp),%eax
cltq
add    %rax,%rdi
mov    -0x28(%rbp),%rsi
mov    -0x18(%rbp),%edx
call   1040 <memcpy@plt>
mov    -0x2c(%rbp),%eax
add    $0x1,%eax
mov    %eax,-0x2c(%rbp)
jmp    122e <board_to_string+0xfe>
movl   $0x0,-0x2c(%rbp)
mov    -0x2c(%rbp),%eax
cmp    -0xc(%rbp),%eax
jge    12ef <board_to_string+0x1bf>
mov    -0x28(%rbp),%rax
mov    -0x18(%rbp),%ecx
mov    -0x2c(%rbp),%edx
shl    $0x2,%edx
add    %edx,%ecx
add    $0x0,%ecx
movslq %ecx,%rcx
movb   $0x7c,(%rax,%rcx,1)
mov    -0x28(%rbp),%rax
mov    -0x18(%rbp),%ecx
mov    -0x2c(%rbp),%edx
shl    $0x2,%edx
add    %edx,%ecx
add    $0x1,%ecx
movslq %ecx,%rcx
movb   $0x20,(%rax,%rcx,1)
mov    -0x28(%rbp),%rax
mov    -0x18(%rbp),%ecx
mov    -0x2c(%rbp),%edx
shl    $0x2,%edx
add    %edx,%ecx
add    $0x2,%ecx
movslq %ecx,%rcx
movb   $0x20,(%rax,%rcx,1)
mov    -0x28(%rbp),%rax
mov    -0x18(%rbp),%ecx
mov    -0x2c(%rbp),%edx
shl    $0x2,%edx
add    %edx,%ecx
add    $0x3,%ecx
movslq %ecx,%rcx
movb   $0x20,(%rax,%rcx,1)
mov    -0x2c(%rbp),%eax
add    $0x1,%eax
mov    %eax,-0x2c(%rbp)
jmp    1271 <board_to_string+0x141>
mov    -0x28(%rbp),%rax
mov    -0x18(%rbp),%ecx
mov    -0x2c(%rbp),%edx
shl    $0x2,%edx
add    %edx,%ecx
add    $0x0,%ecx
movslq %ecx,%rcx
movb   $0x7c,(%rax,%rcx,1)
mov    -0x28(%rbp),%rax
mov    -0x18(%rbp),%ecx
mov    -0x2c(%rbp),%edx
shl    $0x2,%edx
add    %edx,%ecx
add    $0x1,%ecx
movslq %ecx,%rcx
movb   $0xa,(%rax,%rcx,1)
movl   $0x1,-0x2c(%rbp)
mov    -0x2c(%rbp),%eax
cmp    -0x10(%rbp),%eax
jge    136b <board_to_string+0x23b>
mov    -0x28(%rbp),%rdi
mov    -0x2c(%rbp),%eax
shl    $0x1,%eax
add    $0x1,%eax
imul   -0x18(%rbp),%eax
cltq
add    %rax,%rdi
mov    -0x28(%rbp),%rsi
movslq -0x18(%rbp),%rax
add    %rax,%rsi
mov    -0x18(%rbp),%edx
call   1040 <memcpy@plt>
mov    -0x2c(%rbp),%eax
add    $0x1,%eax
mov    %eax,-0x2c(%rbp)
jmp    1328 <board_to_string+0x1f8>
movl   $0x0,-0x2c(%rbp)
mov    -0x2c(%rbp),%eax
cmp    -0x14(%rbp),%eax
jge    13eb <board_to_string+0x2bb>
mov    -0x2c(%rbp),%eax
cltd
idivl  -0xc(%rbp)
mov    %edx,-0x30(%rbp)
mov    -0x2c(%rbp),%eax
cltd
idivl  -0xc(%rbp)
mov    %eax,-0x34(%rbp)
mov    -0x8(%rbp),%rax
movslq -0x2c(%rbp),%rcx
cmpl   $0x0,(%rax,%rcx,4)
jne    13a9 <board_to_string+0x279>
jmp    13dd <board_to_string+0x2ad>
mov    -0x8(%rbp),%rax
movslq -0x2c(%rbp),%rcx
mov    (%rax,%rcx,4),%eax
add    $0x30,%eax
mov    %al,%dl
mov    -0x28(%rbp),%rax
mov    -0x18(%rbp),%ecx
mov    -0x34(%rbp),%esi
shl    $0x1,%esi
add    $0x1,%esi
imul   %esi,%ecx
mov    -0x30(%rbp),%esi
shl    $0x2,%esi
add    $0x2,%esi
add    %esi,%ecx
movslq %ecx,%rcx
mov    %dl,(%rax,%rcx,1)
mov    -0x2c(%rbp),%eax
add    $0x1,%eax
mov    %eax,-0x2c(%rbp)
jmp    1372 <board_to_string+0x242>
mov    -0x28(%rbp),%rax
movslq -0x20(%rbp),%rcx
movb   $0x0,(%rax,%rcx,1)
mov    -0x28(%rbp),%rax
add    $0x40,%rsp
pop    %rbp
ret

x86 assembly (clang, -O2):
<board_to_string>:
push   %rbp
push   %r15
push   %r14
push   %r13
push   %r12
push   %rbx
sub    $0x38,%rsp
mov    %edx,%r12d
mov    %esi,%ebp
mov    %rdi,%r14
lea    0x2(,%rbp,4),%eax
lea    (%r12,%r12,1),%ebx
add    $0x1,%ebx
mov    %eax,0x4(%rsp)
imul   %eax,%ebx
lea    0x1(%rbx),%edi
call   1050 <smalloc@plt>
mov    %rax,0x8(%rsp)
mov    %r14,%rdi
call   1030 <assert@plt>
mov    %ebp,%r15d
test   %ebp,%ebp
mov    %rbp,0x30(%rsp)
mov    %r14,0x28(%rsp)
mov    %rbx,0x20(%rsp)
jle    1198 <board_to_string+0x68>
cmp    $0x1,%ebp
mov    0x4(%rsp),%ebx
mov    0x8(%rsp),%rsi
jne    11a5 <board_to_string+0x75>
xor    %eax,%eax
jmp    11ce <board_to_string+0x9e>
xor    %eax,%eax
mov    0x4(%rsp),%ebx
mov    0x8(%rsp),%rsi
jmp    11fd <board_to_string+0xcd>
mov    %r15d,%ecx
and    $0xfffffffe,%ecx
xor    %eax,%eax
movabs $0x2d2d2d2b2d2d2d2b,%rdx
2d 2d 2d
nopw   0x0(%rax,%rax,1)
mov    %rdx,(%rsi,%rax,1)
add    $0x8,%rax
add    $0xfffffffffffffffe,%rcx
jne    11c0 <board_to_string+0x90>
test   $0x1,%r15b
je     11f6 <board_to_string+0xc6>
movb   $0x2b,(%rsi,%rax,1)
mov    %rax,%rcx
or     $0x1,%rcx
movb   $0x2d,(%rsi,%rcx,1)
mov    %rax,%rcx
or     $0x2,%rcx
movb   $0x2d,(%rsi,%rcx,1)
or     $0x3,%rax
movb   $0x2d,(%rsi,%rax,1)
lea    0x0(,%rbp,4),%eax
mov    %eax,%eax
movb   $0x2b,(%rsi,%rax,1)
or     $0x1,%rax
movb   $0xa,(%rsi,%rax,1)
movslq %ebx,%rax
mov    %rax,0x18(%rsp)
mov    %r12d,%r13d
mov    %r12,0x10(%rsp)
test   %r12d,%r12d
jle    124c <board_to_string+0x11c>
mov    0x18(%rsp),%rax
lea    (%rax,%rax,1),%r12
lea    (%rsi,%rax,2),%rbp
mov    %r13,%r14
mov    %rbp,%rdi
mov    %ebx,%edx
call   1040 <memcpy@plt>
mov    0x8(%rsp),%rsi
mov    0x4(%rsp),%ebx
add    %r12,%rbp
add    $0xffffffffffffffff,%r14
jne    1230 <board_to_string+0x100>
mov    0x30(%rsp),%r14
test   %r14d,%r14d
jle    12c1 <board_to_string+0x191>
mov    0x18(%rsp),%rdx
lea    -0x2(%rdx),%rcx
shl    $0x20,%rcx
movabs $0x200000000,%rax
add    %rcx,%rax
lea    (%rdx,%rsi,1),%rcx
add    $0x3,%rcx
xor    %edx,%edx
movabs $0x400000000,%rbp
cs nopw 0x0(%rax,%rax,1)
xchg   %ax,%ax
movb   $0x7c,-0x3(%rcx,%rdx,4)
mov    %rax,%rdi
sar    $0x20,%rdi
or     $0x1,%rdi
movb   $0x20,(%rsi,%rdi,1)
movw   $0x2020,-0x1(%rcx,%rdx,4)
add    $0x1,%rdx
add    %rbp,%rax
cmp    %rdx,%r15
jne    1290 <board_to_string+0x160>
lea    0x0(,%r14,4),%eax
jmp    12c3 <board_to_string+0x193>
xor    %eax,%eax
mov    0x10(%rsp),%rcx
mov    %ecx,%edx
imul   %r14d,%edx
mov    %edx,0x10(%rsp)
add    %ebx,%eax
cltq
movb   $0x7c,(%rsi,%rax,1)
or     $0x1,%rax
movb   $0xa,(%rsi,%rax,1)
cmp    $0x2,%ecx
jl     133a <board_to_string+0x20a>
mov    0x18(%rsp),%rcx
lea    (%rcx,%rcx,2),%rax
add    $0xfffffffffffffffa,%rax
mov    0x8(%rsp),%r12
lea    (%r12,%rax,1),%rbp
add    $0x6,%rbp
add    %rcx,%r12
lea    (%rcx,%rcx,1),%r15
add    $0xfffffffffffffffc,%r15
add    $0x4,%r15
add    $0xffffffffffffffff,%r13
cs nopw 0x0(%rax,%rax,1)
xchg   %ax,%ax
mov    %rbp,%rdi
mov    %r12,%rsi
mov    %ebx,%edx
call   1040 <memcpy@plt>
mov    0x4(%rsp),%ebx
add    %r15,%rbp
add    $0xffffffffffffffff,%r13
jne    1320 <board_to_string+0x1f0>
mov    0x10(%rsp),%eax
test   %eax,%eax
mov    0x28(%rsp),%rbp
mov    0x8(%rsp),%r8
jle    1391 <board_to_string+0x261>
mov    %eax,%esi
xor    %ecx,%ecx
jmp    1369 <board_to_string+0x239>
cs nopw 0x0(%rax,%rax,1)
nopl   0x0(%rax)
add    $0x1,%rcx
cmp    %rcx,%rsi
je     1391 <board_to_string+0x261>
mov    0x0(%rbp,%rcx,4),%edi
test   %edi,%edi
je     1360 <board_to_string+0x230>
mov    %ecx,%eax
cltd
idiv   %r14d
add    $0x30,%dil
add    %eax,%eax
add    $0x1,%eax
imul   %ebx,%eax
lea    (%rax,%rdx,4),%eax
add    $0x2,%eax
cltq
mov    %dil,(%r8,%rax,1)
jmp    1360 <board_to_string+0x230>
movslq 0x20(%rsp),%rax
movb   $0x0,(%r8,%rax,1)
mov    %r8,%rax
add    $0x38,%rsp
pop    %rbx
pop    %r12
pop    %r13
pop    %r14
pop    %r15
pop    %rbp
ret

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

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