#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*/ printf(char *, ...);
void print_lattice(int **site_marks, int **vbonds, int **hbonds, int M, int N,
                   int A1[2], int A2[2]) {
  int i, j;
  int ij[2];
  for (j = 0; j < N; j++)
    printf("oooo");
  printf("ooo\n");
  printf("o ");
  for (j = 0; j < N; j++)
    printf("    ");
  printf("o\n");
  for (i = 0; i < M; i++) {
    printf("o ");
    for (j = 0; j < N; j++) {
      ij[0] = i;
      ij[1] = j;
      if ((((ij)[0] == (A1)[0]) && ((ij)[1] == (A1)[1])))
        printf("A");
      else if ((((ij)[0] == (A2)[0]) && ((ij)[1] == (A2)[1])))
        printf("B");
      else
        printf("%c", site_marks[i][j]);
      if (j < N) {
        if (hbonds[i][j])
          printf(" - ");
        else
          printf("   ");
      }
    }
    printf("o\n");
    if (i < M) {
      printf("o ");
      for (j = 0; j < N; j++) {
        if (vbonds[i][j])
          printf("|");
        else
          printf(" ");
        if (j < N)
          printf("   ");
      }
      printf("o\n");
    }
  }
  for (j = 0; j < N; j++)
    printf("oooo");
  printf("ooo\n");
}


x86 assembly (clang, -O0):
<print_lattice>:
push   %rbp
mov    %rsp,%rbp
sub    $0x40,%rsp
mov    0x10(%rbp),%rax
mov    %rdi,-0x8(%rbp)
mov    %rsi,-0x10(%rbp)
mov    %rdx,-0x18(%rbp)
mov    %ecx,-0x1c(%rbp)
mov    %r8d,-0x20(%rbp)
mov    %r9,-0x28(%rbp)
movl   $0x0,-0x30(%rbp)
mov    -0x30(%rbp),%eax
cmp    -0x20(%rbp),%eax
jge    1162 <print_lattice+0x52>
lea    0xeb3(%rip),%rdi
mov    $0x0,%al
call   1030 <printf@plt>
mov    -0x30(%rbp),%eax
add    $0x1,%eax
mov    %eax,-0x30(%rbp)
jmp    113a <print_lattice+0x2a>
lea    0xe9c(%rip),%rdi
mov    $0x0,%al
call   1030 <printf@plt>
lea    0xe93(%rip),%rdi
mov    $0x0,%al
call   1030 <printf@plt>
movl   $0x0,-0x30(%rbp)
mov    -0x30(%rbp),%eax
cmp    -0x20(%rbp),%eax
jge    11ad <print_lattice+0x9d>
lea    0xe75(%rip),%rdi
mov    $0x0,%al
call   1030 <printf@plt>
mov    -0x30(%rbp),%eax
add    $0x1,%eax
mov    %eax,-0x30(%rbp)
jmp    1185 <print_lattice+0x75>
lea    0xe53(%rip),%rdi
mov    $0x0,%al
call   1030 <printf@plt>
movl   $0x0,-0x2c(%rbp)
mov    -0x2c(%rbp),%eax
cmp    -0x1c(%rbp),%eax
jge    13a8 <print_lattice+0x298>
lea    0xe35(%rip),%rdi
mov    $0x0,%al
call   1030 <printf@plt>
movl   $0x0,-0x30(%rbp)
mov    -0x30(%rbp),%eax
cmp    -0x20(%rbp),%eax
jge    12e4 <print_lattice+0x1d4>
mov    -0x2c(%rbp),%eax
mov    %eax,-0x38(%rbp)
mov    -0x30(%rbp),%eax
mov    %eax,-0x34(%rbp)
mov    -0x38(%rbp),%eax
mov    -0x28(%rbp),%rcx
cmp    (%rcx),%eax
jne    122d <print_lattice+0x11d>
mov    -0x34(%rbp),%eax
mov    -0x28(%rbp),%rcx
cmp    0x4(%rcx),%eax
jne    122d <print_lattice+0x11d>
lea    0xdf1(%rip),%rdi
mov    $0x0,%al
call   1030 <printf@plt>
jmp    1285 <print_lattice+0x175>
mov    -0x38(%rbp),%eax
mov    0x10(%rbp),%rcx
cmp    (%rcx),%eax
jne    125f <print_lattice+0x14f>
mov    -0x34(%rbp),%eax
mov    0x10(%rbp),%rcx
cmp    0x4(%rcx),%eax
jne    125f <print_lattice+0x14f>
lea    0xdc1(%rip),%rdi
mov    $0x0,%al
call   1030 <printf@plt>
jmp    1280 <print_lattice+0x170>
mov    -0x8(%rbp),%rax
movslq -0x2c(%rbp),%rcx
mov    (%rax,%rcx,8),%rax
movslq -0x30(%rbp),%rcx
mov    (%rax,%rcx,4),%esi
lea    0xd9d(%rip),%rdi
mov    $0x0,%al
call   1030 <printf@plt>
jmp    1285 <print_lattice+0x175>
mov    -0x30(%rbp),%eax
cmp    -0x20(%rbp),%eax
jge    12d1 <print_lattice+0x1c1>
mov    -0x18(%rbp),%rax
movslq -0x2c(%rbp),%rcx
mov    (%rax,%rcx,8),%rax
movslq -0x30(%rbp),%rcx
cmpl   $0x0,(%rax,%rcx,4)
je     12be <print_lattice+0x1ae>
lea    0xd67(%rip),%rdi
mov    $0x0,%al
call   1030 <printf@plt>
jmp    12cc <print_lattice+0x1bc>
lea    0xd49(%rip),%rdi
mov    $0x0,%al
call   1030 <printf@plt>
jmp    12d1 <print_lattice+0x1c1>
jmp    12d6 <print_lattice+0x1c6>
mov    -0x30(%rbp),%eax
add    $0x1,%eax
mov    %eax,-0x30(%rbp)
jmp    11e3 <print_lattice+0xd3>
lea    0xd1c(%rip),%rdi
mov    $0x0,%al
call   1030 <printf@plt>
mov    -0x2c(%rbp),%eax
cmp    -0x1c(%rbp),%eax
jge    1395 <print_lattice+0x285>
lea    0xd05(%rip),%rdi
mov    $0x0,%al
call   1030 <printf@plt>
movl   $0x0,-0x30(%rbp)
mov    -0x30(%rbp),%eax
cmp    -0x20(%rbp),%eax
jge    1387 <print_lattice+0x277>
mov    -0x10(%rbp),%rax
movslq -0x2c(%rbp),%rcx
mov    (%rax,%rcx,8),%rax
movslq -0x30(%rbp),%rcx
cmpl   $0x0,(%rax,%rcx,4)
je     134c <print_lattice+0x23c>
lea    0xcdd(%rip),%rdi
mov    $0x0,%al
call   1030 <printf@plt>
jmp    135a <print_lattice+0x24a>
lea    0xcbd(%rip),%rdi
mov    $0x0,%al
call   1030 <printf@plt>
mov    -0x30(%rbp),%eax
cmp    -0x20(%rbp),%eax
jge    1374 <print_lattice+0x264>
lea    0xca1(%rip),%rdi
mov    $0x0,%al
call   1030 <printf@plt>
jmp    1379 <print_lattice+0x269>
mov    -0x30(%rbp),%eax
add    $0x1,%eax
mov    %eax,-0x30(%rbp)
jmp    1313 <print_lattice+0x203>
lea    0xc79(%rip),%rdi
mov    $0x0,%al
call   1030 <printf@plt>
jmp    139a <print_lattice+0x28a>
mov    -0x2c(%rbp),%eax
add    $0x1,%eax
mov    %eax,-0x2c(%rbp)
jmp    11c2 <print_lattice+0xb2>
movl   $0x0,-0x30(%rbp)
mov    -0x30(%rbp),%eax
cmp    -0x20(%rbp),%eax
jge    13d7 <print_lattice+0x2c7>
lea    0xc3e(%rip),%rdi
mov    $0x0,%al
call   1030 <printf@plt>
mov    -0x30(%rbp),%eax
add    $0x1,%eax
mov    %eax,-0x30(%rbp)
jmp    13af <print_lattice+0x29f>
lea    0xc27(%rip),%rdi
mov    $0x0,%al
call   1030 <printf@plt>
add    $0x40,%rsp
pop    %rbp
ret

x86 assembly (clang, -O2):
<print_lattice>:
push   %rbp
push   %r15
push   %r14
push   %r13
push   %r12
push   %rbx
sub    $0x28,%rsp
mov    %r9,%rbx
mov    %r8d,%r15d
mov    %ecx,%r12d
mov    %rdx,0x20(%rsp)
mov    %rsi,0x18(%rsp)
mov    %rdi,0x10(%rsp)
mov    0x60(%rsp),%r14
test   %r8d,%r8d
jle    11c1 <print_lattice+0x91>
lea    0xe99(%rip),%r13
mov    %r15d,%ebp
nopw   0x0(%rax,%rax,1)
mov    %r13,%rdi
xor    %eax,%eax
call   1050 <printf@plt>
add    $0xffffffff,%ebp
jne    1170 <print_lattice+0x40>
lea    0xe7b(%rip),%rdi
call   1040 <puts@plt>
lea    0xe73(%rip),%rdi
xor    %eax,%eax
call   1050 <printf@plt>
test   %r15d,%r15d
jle    11db <print_lattice+0xab>
lea    0xe63(%rip),%r13
mov    %r15d,%ebp
nopl   0x0(%rax,%rax,1)
mov    %r13,%rdi
xor    %eax,%eax
call   1050 <printf@plt>
add    $0xffffffff,%ebp
jne    11b0 <print_lattice+0x80>
jmp    11db <print_lattice+0xab>
lea    0xe39(%rip),%rdi
call   1040 <puts@plt>
lea    0xe31(%rip),%rdi
xor    %eax,%eax
call   1050 <printf@plt>
mov    %r15d,0x4(%rsp)
lea    0xe1c(%rip),%rdi
call   1040 <puts@plt>
test   %r12d,%r12d
jle    1347 <print_lattice+0x217>
mov    %r12d,%eax
mov    %rax,0x8(%rsp)
mov    0x4(%rsp),%r12d
lea    0xdfc(%rip),%rbp
lea    0xdf9(%rip),%r13
xor    %r15d,%r15d
jmp    1258 <print_lattice+0x128>
cs nopw 0x0(%rax,%rax,1)
nop
lea    0xddc(%rip),%rdi
call   1040 <puts@plt>
mov    %rbp,%rdi
xor    %eax,%eax
call   1050 <printf@plt>
lea    0xdc6(%rip),%rdi
call   1040 <puts@plt>
add    $0x1,%r15
cmp    0x8(%rsp),%r15
lea    0xdb3(%rip),%rbp
je     1347 <print_lattice+0x217>
mov    %rbp,%rdi
xor    %eax,%eax
call   1050 <printf@plt>
cmpl   $0x0,0x4(%rsp)
jle    1220 <print_lattice+0xf0>
xor    %ebp,%ebp
jmp    12a9 <print_lattice+0x179>
nopl   (%rax)
mov    0x10(%rsp),%rax
mov    (%rax,%r15,8),%rax
mov    (%rax,%rbp,4),%edi
call   1030 <putchar@plt>
mov    0x20(%rsp),%rax
mov    (%rax,%r15,8),%rax
cmpl   $0x0,(%rax,%rbp,4)
lea    0xd78(%rip),%rdi
cmove  %r13,%rdi
xor    %eax,%eax
call   1050 <printf@plt>
add    $0x1,%rbp
cmp    %rbp,%r12
je     12e0 <print_lattice+0x1b0>
mov    (%rbx),%eax
cmp    %rax,%r15
jne    12bd <print_lattice+0x18d>
mov    0x4(%rbx),%eax
mov    $0x41,%edi
cmp    %rax,%rbp
je     127c <print_lattice+0x14c>
mov    (%r14),%eax
cmp    %rax,%r15
jne    1270 <print_lattice+0x140>
mov    0x4(%r14),%eax
mov    $0x42,%edi
cmp    %rax,%rbp
jne    1270 <print_lattice+0x140>
jmp    127c <print_lattice+0x14c>
cs nopw 0x0(%rax,%rax,1)
nop
lea    0xd1c(%rip),%rdi
call   1040 <puts@plt>
lea    0xd12(%rip),%rdi
xor    %eax,%eax
call   1050 <printf@plt>
cmpl   $0x0,0x4(%rsp)
jle    1236 <print_lattice+0x106>
xor    %ebp,%ebp
jmp    132c <print_lattice+0x1fc>
nopl   0x0(%rax)
call   1030 <putchar@plt>
mov    %r13,%rdi
xor    %eax,%eax
call   1050 <printf@plt>
add    $0x1,%rbp
cmp    %rbp,%r12
je     1236 <print_lattice+0x106>
mov    0x18(%rsp),%rax
mov    (%rax,%r15,8),%rax
cmpl   $0x0,(%rax,%rbp,4)
mov    $0x20,%edi
je     1310 <print_lattice+0x1e0>
mov    $0x7c,%edi
jmp    1310 <print_lattice+0x1e0>
mov    0x4(%rsp),%ebp
test   %ebp,%ebp
jle    136f <print_lattice+0x23f>
lea    0xcaa(%rip),%rbx
cs nopw 0x0(%rax,%rax,1)
mov    %rbx,%rdi
xor    %eax,%eax
call   1050 <printf@plt>
add    $0xffffffff,%ebp
jne    1360 <print_lattice+0x230>
lea    0xc8b(%rip),%rdi
add    $0x28,%rsp
pop    %rbx
pop    %r12
pop    %r13
pop    %r14
pop    %r15
pop    %rbp
jmp    1040 <puts@plt>

LLVM IR (-O0):
@.str = [5 x i8] c"oooo\00"
@.str.1 = [5 x i8] c"ooo\0A\00"
@.str.2 = [3 x i8] c"o \00"
@.str.3 = [5 x i8] c" \00"
@.str.4 = [3 x i8] c"o\0A\00"
@.str.5 = [2 x i8] c"A\00"
@.str.6 = [2 x i8] c"B\00"
@.str.7 = [3 x i8] c"%c\00"
@.str.8 = [4 x i8] c" - \00"
@.str.9 = [4 x i8] c" \00"
@.str.10 = [2 x i8] c"|\00"
@.str.11 = [2 x i8] c" \00"
define void @print_lattice(i32** %0, i32** %1, i32** %2, i32 %3, i32 %4, i32* %5, i32* %6) {
%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 [2 x i32]
store i32** %0, i32*** %8
store i32** %1, i32*** %9
store i32** %2, i32*** %10
store i32 %3, i32* %11
store i32 %4, i32* %12
store i32* %5, i32** %13
store i32* %6, i32** %14
store i32 0, i32* %16
br label %18
18: ; preds = %24, %7
%19 = load i32, i32* %16
%20 = load i32, i32* %12
%21 = icmp slt i32 %19, %20
br i1 %21, label %22, label %27
22: ; preds = %18
%23 = call i32 (i8*, ...) @printf(i8* getelementptr inbounds ([5 x i8], [5 x i8]* @.str, i64 0, i64 0))
br label %24
24: ; preds = %22
%25 = load i32, i32* %16
%26 = add nsw i32 %25, 1
store i32 %26, i32* %16
br label %18
27: ; preds = %18
%28 = call i32 (i8*, ...) @printf(i8* getelementptr inbounds ([5 x i8], [5 x i8]* @.str.1, i64 0, i64 0))
%29 = call i32 (i8*, ...) @printf(i8* getelementptr inbounds ([3 x i8], [3 x i8]* @.str.2, i64 0, i64 0))
store i32 0, i32* %16
br label %30
30: ; preds = %36, %27
%31 = load i32, i32* %16
%32 = load i32, i32* %12
%33 = icmp slt i32 %31, %32
br i1 %33, label %34, label %39
34: ; preds = %30
%35 = call i32 (i8*, ...) @printf(i8* getelementptr inbounds ([5 x i8], [5 x i8]* @.str.3, i64 0, i64 0))
br label %36
36: ; preds = %34
%37 = load i32, i32* %16
%38 = add nsw i32 %37, 1
store i32 %38, i32* %16
br label %30
39: ; preds = %30
%40 = call i32 (i8*, ...) @printf(i8* getelementptr inbounds ([3 x i8], [3 x i8]* @.str.4, i64 0, i64 0))
store i32 0, i32* %15
br label %41
41: ; preds = %162, %39
%42 = load i32, i32* %15
%43 = load i32, i32* %11
%44 = icmp slt i32 %42, %43
br i1 %44, label %45, label %165
45: ; preds = %41
%46 = call i32 (i8*, ...) @printf(i8* getelementptr inbounds ([3 x i8], [3 x i8]* @.str.2, i64 0, i64 0))
store i32 0, i32* %16
br label %47
47: ; preds = %120, %45
%48 = load i32, i32* %16
%49 = load i32, i32* %12
%50 = icmp slt i32 %48, %49
br i1 %50, label %51, label %123
51: ; preds = %47
%52 = load i32, i32* %15
%53 = getelementptr inbounds [2 x i32], [2 x i32]* %17, i64 0, i64 0
store i32 %52, i32* %53
%54 = load i32, i32* %16
%55 = getelementptr inbounds [2 x i32], [2 x i32]* %17, i64 0, i64 1
store i32 %54, i32* %55
%56 = getelementptr inbounds [2 x i32], [2 x i32]* %17, i64 0, i64 0
%57 = load i32, i32* %56
%58 = load i32*, i32** %13
%59 = getelementptr inbounds i32, i32* %58, i64 0
%60 = load i32, i32* %59
%61 = icmp eq i32 %57, %60
br i1 %61, label %62, label %71
62: ; preds = %51
%63 = getelementptr inbounds [2 x i32], [2 x i32]* %17, i64 0, i64 1
%64 = load i32, i32* %63
%65 = load i32*, i32** %13
%66 = getelementptr inbounds i32, i32* %65, i64 1
%67 = load i32, i32* %66
%68 = icmp eq i32 %64, %67
br i1 %68, label %69, label %71
69: ; preds = %62
%70 = call i32 (i8*, ...) @printf(i8* getelementptr inbounds ([2 x i8], [2 x i8]* @.str.5, i64 0, i64 0))
br label %99
71: ; preds = %62, %51
%72 = getelementptr inbounds [2 x i32], [2 x i32]* %17, i64 0, i64 0
%73 = load i32, i32* %72
%74 = load i32*, i32** %14
%75 = getelementptr inbounds i32, i32* %74, i64 0
%76 = load i32, i32* %75
%77 = icmp eq i32 %73, %76
br i1 %77, label %78, label %87
78: ; preds = %71
%79 = getelementptr inbounds [2 x i32], [2 x i32]* %17, i64 0, i64 1
%80 = load i32, i32* %79
%81 = load i32*, i32** %14
%82 = getelementptr inbounds i32, i32* %81, i64 1
%83 = load i32, i32* %82
%84 = icmp eq i32 %80, %83
br i1 %84, label %85, label %87
85: ; preds = %78
%86 = call i32 (i8*, ...) @printf(i8* getelementptr inbounds ([2 x i8], [2 x i8]* @.str.6, i64 0, i64 0))
br label %98
87: ; preds = %78, %71
%88 = load i32**, i32*** %8
%89 = load i32, i32* %15
%90 = sext i32 %89 to i64
%91 = getelementptr inbounds i32*, i32** %88, i64 %90
%92 = load i32*, i32** %91
%93 = load i32, i32* %16
%94 = sext i32 %93 to i64
%95 = getelementptr inbounds i32, i32* %92, i64 %94
%96 = load i32, i32* %95
%97 = call i32 (i8*, ...) @printf(i8* getelementptr inbounds ([3 x i8], [3 x i8]* @.str.7, i64 0, i64 0), i32 %96)
br label %98
98: ; preds = %87, %85
br label %99
99: ; preds = %98, %69
%100 = load i32, i32* %16
%101 = load i32, i32* %12
%102 = icmp slt i32 %100, %101
br i1 %102, label %103, label %119
103: ; preds = %99
%104 = load i32**, i32*** %10
%105 = load i32, i32* %15
%106 = sext i32 %105 to i64
%107 = getelementptr inbounds i32*, i32** %104, i64 %106
%108 = load i32*, i32** %107
%109 = load i32, i32* %16
%110 = sext i32 %109 to i64
%111 = getelementptr inbounds i32, i32* %108, i64 %110
%112 = load i32, i32* %111
%113 = icmp ne i32 %112, 0
br i1 %113, label %114, label %116
114: ; preds = %103
%115 = call i32 (i8*, ...) @printf(i8* getelementptr inbounds ([4 x i8], [4 x i8]* @.str.8, i64 0, i64 0))
br label %118
116: ; preds = %103
%117 = call i32 (i8*, ...) @printf(i8* getelementptr inbounds ([4 x i8], [4 x i8]* @.str.9, i64 0, i64 0))
br label %118
118: ; preds = %116, %114
br label %119
119: ; preds = %118, %99
br label %120
120: ; preds = %119
%121 = load i32, i32* %16
%122 = add nsw i32 %121, 1
store i32 %122, i32* %16
br label %47
123: ; preds = %47
%124 = call i32 (i8*, ...) @printf(i8* getelementptr inbounds ([3 x i8], [3 x i8]* @.str.4, i64 0, i64 0))
%125 = load i32, i32* %15
%126 = load i32, i32* %11
%127 = icmp slt i32 %125, %126
br i1 %127, label %128, label %161
128: ; preds = %123
%129 = call i32 (i8*, ...) @printf(i8* getelementptr inbounds ([3 x i8], [3 x i8]* @.str.2, i64 0, i64 0))
store i32 0, i32* %16
br label %130
130: ; preds = %156, %128
%131 = load i32, i32* %16
%132 = load i32, i32* %12
%133 = icmp slt i32 %131, %132
br i1 %133, label %134, label %159
134: ; preds = %130
%135 = load i32**, i32*** %9
%136 = load i32, i32* %15
%137 = sext i32 %136 to i64
%138 = getelementptr inbounds i32*, i32** %135, i64 %137
%139 = load i32*, i32** %138
%140 = load i32, i32* %16
%141 = sext i32 %140 to i64
%142 = getelementptr inbounds i32, i32* %139, i64 %141
%143 = load i32, i32* %142
%144 = icmp ne i32 %143, 0
br i1 %144, label %145, label %147
145: ; preds = %134
%146 = call i32 (i8*, ...) @printf(i8* getelementptr inbounds ([2 x i8], [2 x i8]* @.str.10, i64 0, i64 0))
br label %149
147: ; preds = %134
%148 = call i32 (i8*, ...) @printf(i8* getelementptr inbounds ([2 x i8], [2 x i8]* @.str.11, i64 0, i64 0))
br label %149
149: ; preds = %147, %145
%150 = load i32, i32* %16
%151 = load i32, i32* %12
%152 = icmp slt i32 %150, %151
br i1 %152, label %153, label %155
153: ; preds = %149
%154 = call i32 (i8*, ...) @printf(i8* getelementptr inbounds ([4 x i8], [4 x i8]* @.str.9, i64 0, i64 0))
br label %155
155: ; preds = %153, %149
br label %156
156: ; preds = %155
%157 = load i32, i32* %16
%158 = add nsw i32 %157, 1
store i32 %158, i32* %16
br label %130
159: ; preds = %130
%160 = call i32 (i8*, ...) @printf(i8* getelementptr inbounds ([3 x i8], [3 x i8]* @.str.4, i64 0, i64 0))
br label %161
161: ; preds = %159, %123
br label %162
162: ; preds = %161
%163 = load i32, i32* %15
%164 = add nsw i32 %163, 1
store i32 %164, i32* %15
br label %41
165: ; preds = %41
store i32 0, i32* %16
br label %166
166: ; preds = %172, %165
%167 = load i32, i32* %16
%168 = load i32, i32* %12
%169 = icmp slt i32 %167, %168
br i1 %169, label %170, label %175
170: ; preds = %166
%171 = call i32 (i8*, ...) @printf(i8* getelementptr inbounds ([5 x i8], [5 x i8]* @.str, i64 0, i64 0))
br label %172
172: ; preds = %170
%173 = load i32, i32* %16
%174 = add nsw i32 %173, 1
store i32 %174, i32* %16
br label %166
175: ; preds = %166
%176 = call i32 (i8*, ...) @printf(i8* getelementptr inbounds ([5 x i8], [5 x i8]* @.str.1, i64 0, i64 0))
ret void
}

LLVM IR (-O2):
@.str = [5 x i8] c"oooo\00"
@.str.2 = [3 x i8] c"o \00"
@.str.3 = [5 x i8] c" \00"
@.str.8 = [4 x i8] c" - \00"
@.str.9 = [4 x i8] c" \00"
@str.13 = [4 x i8] c"ooo\00"
@str.15 = [2 x i8] c"o\00"
define void @print_lattice(i32** nocapture %0, i32** nocapture %1, i32** nocapture %2, i32 %3, i32 %4, i32* nocapture %5, i32* nocapture %6) {
%8 = icmp sgt i32 %4, 0
br i1 %8, label %9, label %22
9: ; preds = %7, %9
%10 = phi i32 [ %12, %9 ], [ 0, %7 ]
%11 = tail call i32 (i8*, ...) @printf(i8* dereferenceable(1) getelementptr inbounds ([5 x i8], [5 x i8]* @.str, i64 0, i64 0))
%12 = add nuw nsw i32 %10, 1
%13 = icmp eq i32 %12, %4
br i1 %13, label %14, label %9
14: ; preds = %9
%15 = tail call i32 @puts(i8* dereferenceable(1) getelementptr inbounds ([4 x i8], [4 x i8]* @str.13, i64 0, i64 0))
%16 = tail call i32 (i8*, ...) @printf(i8* dereferenceable(1) getelementptr inbounds ([3 x i8], [3 x i8]* @.str.2, i64 0, i64 0))
br i1 %8, label %17, label %25
17: ; preds = %14, %17
%18 = phi i32 [ %20, %17 ], [ 0, %14 ]
%19 = tail call i32 (i8*, ...) @printf(i8* dereferenceable(1) getelementptr inbounds ([5 x i8], [5 x i8]* @.str.3, i64 0, i64 0))
%20 = add nuw nsw i32 %18, 1
%21 = icmp eq i32 %20, %4
br i1 %21, label %25, label %17
22: ; preds = %7
%23 = tail call i32 @puts(i8* dereferenceable(1) getelementptr inbounds ([4 x i8], [4 x i8]* @str.13, i64 0, i64 0))
%24 = tail call i32 (i8*, ...) @printf(i8* dereferenceable(1) getelementptr inbounds ([3 x i8], [3 x i8]* @.str.2, i64 0, i64 0))
br label %25
25: ; preds = %17, %22, %14
%26 = tail call i32 @puts(i8* dereferenceable(1) getelementptr inbounds ([2 x i8], [2 x i8]* @str.15, i64 0, i64 0))
%27 = icmp sgt i32 %3, 0
br i1 %27, label %28, label %34
28: ; preds = %25
%29 = getelementptr inbounds i32, i32* %5, i64 1
%30 = getelementptr inbounds i32, i32* %6, i64 1
%31 = zext i32 %3 to i64
%32 = zext i32 %4 to i64
%33 = zext i32 %4 to i64
br label %35
34: ; preds = %92, %25
br i1 %8, label %96, label %101
35: ; preds = %28, %92
%36 = phi i64 [ 0, %28 ], [ %94, %92 ]
%37 = tail call i32 (i8*, ...) @printf(i8* dereferenceable(1) getelementptr inbounds ([3 x i8], [3 x i8]* @.str.2, i64 0, i64 0))
br i1 %8, label %38, label %89
38: ; preds = %35
%39 = getelementptr inbounds i32*, i32** %0, i64 %36
%40 = getelementptr inbounds i32*, i32** %2, i64 %36
br label %41
41: ; preds = %38, %62
%42 = phi i64 [ 0, %38 ], [ %71, %62 ]
%43 = load i32, i32* %5
%44 = zext i32 %43 to i64
%45 = icmp eq i64 %36, %44
br i1 %45, label %46, label %50
46: ; preds = %41
%47 = load i32, i32* %29
%48 = zext i32 %47 to i64
%49 = icmp eq i64 %42, %48
br i1 %49, label %62, label %50
50: ; preds = %46, %41
%51 = load i32, i32* %6
%52 = zext i32 %51 to i64
%53 = icmp eq i64 %36, %52
br i1 %53, label %54, label %58
54: ; preds = %50
%55 = load i32, i32* %30
%56 = zext i32 %55 to i64
%57 = icmp eq i64 %42, %56
br i1 %57, label %62, label %58
58: ; preds = %54, %50
%59 = load i32*, i32** %39
%60 = getelementptr inbounds i32, i32* %59, i64 %42
%61 = load i32, i32* %60
br label %62
62: ; preds = %54, %46, %58
%63 = phi i32 [ %61, %58 ], [ 65, %46 ], [ 66, %54 ]
%64 = tail call i32 @putchar(i32 %63)
%65 = load i32*, i32** %40
%66 = getelementptr inbounds i32, i32* %65, i64 %42
%67 = load i32, i32* %66
%68 = icmp eq i32 %67, 0
%69 = select i1 %68, i8* getelementptr inbounds ([4 x i8], [4 x i8]* @.str.9, i64 0, i64 0), i8* getelementptr inbounds ([4 x i8], [4 x i8]* @.str.8, i64 0, i64 0)
%70 = tail call i32 (i8*, ...) @printf(i8* dereferenceable(1) %69)
%71 = add nuw nsw i64 %42, 1
%72 = icmp eq i64 %71, %32
br i1 %72, label %73, label %41
73: ; preds = %62
%74 = tail call i32 @puts(i8* dereferenceable(1) getelementptr inbounds ([2 x i8], [2 x i8]* @str.15, i64 0, i64 0))
%75 = tail call i32 (i8*, ...) @printf(i8* dereferenceable(1) getelementptr inbounds ([3 x i8], [3 x i8]* @.str.2, i64 0, i64 0))
br i1 %8, label %76, label %92
76: ; preds = %73
%77 = getelementptr inbounds i32*, i32** %1, i64 %36
br label %78
78: ; preds = %76, %78
%79 = phi i64 [ 0, %76 ], [ %87, %78 ]
%80 = load i32*, i32** %77
%81 = getelementptr inbounds i32, i32* %80, i64 %79
%82 = load i32, i32* %81
%83 = icmp eq i32 %82, 0
%84 = select i1 %83, i32 32, i32 124
%85 = tail call i32 @putchar(i32 %84)
%86 = tail call i32 (i8*, ...) @printf(i8* dereferenceable(1) getelementptr inbounds ([4 x i8], [4 x i8]* @.str.9, i64 0, i64 0))
%87 = add nuw nsw i64 %79, 1
%88 = icmp eq i64 %87, %33
br i1 %88, label %92, label %78
89: ; preds = %35
%90 = tail call i32 @puts(i8* dereferenceable(1) getelementptr inbounds ([2 x i8], [2 x i8]* @str.15, i64 0, i64 0))
%91 = tail call i32 (i8*, ...) @printf(i8* dereferenceable(1) getelementptr inbounds ([3 x i8], [3 x i8]* @.str.2, i64 0, i64 0))
br label %92
92: ; preds = %78, %89, %73
%93 = tail call i32 @puts(i8* dereferenceable(1) getelementptr inbounds ([2 x i8], [2 x i8]* @str.15, i64 0, i64 0))
%94 = add nuw nsw i64 %36, 1
%95 = icmp eq i64 %94, %31
br i1 %95, label %34, label %35
96: ; preds = %34, %96
%97 = phi i32 [ %99, %96 ], [ 0, %34 ]
%98 = tail call i32 (i8*, ...) @printf(i8* dereferenceable(1) getelementptr inbounds ([5 x i8], [5 x i8]* @.str, i64 0, i64 0))
%99 = add nuw nsw i32 %97, 1
%100 = icmp eq i32 %99, %4
br i1 %100, label %101, label %96
101: ; preds = %96, %34
%102 = tail call i32 @puts(i8* dereferenceable(1) getelementptr inbounds ([4 x i8], [4 x i8]* @str.13, i64 0, i64 0))
ret void
}