// File: /workspace/github_c_makefile_star2_O0/cinemast[P]sudoku/sudoku.c
// Function: text
static
void
text (FILE * f, const char * title)
{
    int i;
    if (fCSV != opt_format) {
        if (0 != title) {
            fprintf(f, "%% %s\n", title);
        }
        for (i = 0; i < 81; ++i) {
            if (IS_EMPTY(i)) {
                fprintf(f, fStandard == opt_format ? " ." : ".");
            } else {
                fprintf(f, fStandard == opt_format ? "%2d" : "%d",
                            GET_DIGIT(board[i]));
            }
            if (8 == COLUMN(i)) {
                fprintf(f, "\n");
                if (fStandard == opt_format && i != 80 && 2 == ROW(i) % 3) {
                    fprintf(f, "-------+-------+-------\n");
                }
            } else if (fStandard == opt_format && 2 == COLUMN(i) % 3) {
                fprintf(f, " |");
            }
        }
    } else {
        for (i = 0; i < 81; ++i) {
            if (!IS_EMPTY(i)) {
                fprintf (f, "%d", GET_DIGIT(board[i]));
            }
            if (8 == COLUMN(i)) {
                fprintf(f, "\n");
            } else {
                fprintf(f, ",");
            }
        }
    }
}

// Assembly:
pushq %rbp
movq %rsp, %rbp
subq $0x20, %rsp
movq %rdi, -0x8(%rbp)
movq %rsi, -0x10(%rbp)
movl $0x2, %eax
cmpl 0xac59(%rip), %eax      # 0x123e4
je 0x78fb
xorl %eax, %eax
cmpq -0x10(%rbp), %rax
je 0x77af
movq -0x8(%rbp), %rdi
movq -0x10(%rbp), %rdx
leaq 0x5dce(%rip), %rsi      # 0xd576
movb $0x0, %al
callq 0x2200
movl $0x0, -0x14(%rbp)
cmpl $0x51, -0x14(%rbp)
jge 0x78f6
movslq -0x14(%rbp), %rcx
leaq 0xace5(%rip), %rax      # 0x124b0
movl (%rax,%rcx,4), %ecx
andl $0xf0000, %ecx          # imm = 0xF0000
sarl $0x10, %ecx
xorl %eax, %eax
cmpl %ecx, %eax
jne 0x7806
movq -0x8(%rbp), %rdi
movl 0xabfd(%rip), %edx      # 0x123e4
xorl %ecx, %ecx
leaq 0x5d8e(%rip), %rsi      # 0xd57e
leaq 0x5d86(%rip), %rax      # 0xd57d
cmpl %edx, %ecx
cmoveq %rax, %rsi
movb $0x0, %al
callq 0x2200
jmp 0x7844
movq -0x8(%rbp), %rdi
movl 0xabd4(%rip), %edx      # 0x123e4
xorl %ecx, %ecx
leaq 0x550d(%rip), %rsi      # 0xcd26
leaq 0x5d60(%rip), %rax      # 0xd580
cmpl %edx, %ecx
cmoveq %rax, %rsi
movslq -0x14(%rbp), %rcx
leaq 0xac7f(%rip), %rax      # 0x124b0
movl (%rax,%rcx,4), %edx
andl $0xf0000, %edx          # imm = 0xF0000
sarl $0x10, %edx
movb $0x0, %al
callq 0x2200
movl -0x14(%rbp), %eax
movl $0x9, %ecx
cltd
idivl %ecx
movl $0x8, %eax
cmpl %edx, %eax
jne 0x78aa
movq -0x8(%rbp), %rdi
leaq 0x5557(%rip), %rsi      # 0xcdba
movb $0x0, %al
callq 0x2200
xorl %eax, %eax
cmpl 0xab72(%rip), %eax      # 0x123e4
jne 0x78a8
cmpl $0x50, -0x14(%rbp)
je 0x78a8
movl -0x14(%rbp), %eax
movl $0x9, %ecx
cltd
idivl %ecx
movl $0x3, %ecx
cltd
idivl %ecx
movl $0x2, %eax
cmpl %edx, %eax
jne 0x78a8
movq -0x8(%rbp), %rdi
leaq 0x5ce3(%rip), %rsi      # 0xd584
movb $0x0, %al
callq 0x2200
jmp 0x78e6
xorl %eax, %eax
cmpl 0xab32(%rip), %eax      # 0x123e4
jne 0x78e4
movl -0x14(%rbp), %eax
movl $0x9, %ecx
cltd
idivl %ecx
movl %edx, %eax
movl $0x3, %ecx
cltd
idivl %ecx
movl $0x2, %eax
cmpl %edx, %eax
jne 0x78e4
movq -0x8(%rbp), %rdi
leaq 0x609e(%rip), %rsi      # 0xd97b
movb $0x0, %al
callq 0x2200
jmp 0x78e6
jmp 0x78e8
movl -0x14(%rbp), %eax
addl $0x1, %eax
movl %eax, -0x14(%rbp)
jmp 0x77b6
jmp 0x799e
movl $0x0, -0x14(%rbp)
cmpl $0x51, -0x14(%rbp)
jge 0x799c
movslq -0x14(%rbp), %rcx
leaq 0xab99(%rip), %rax      # 0x124b0
movl (%rax,%rcx,4), %ecx
andl $0xf0000, %ecx          # imm = 0xF0000
sarl $0x10, %ecx
xorl %eax, %eax
cmpl %ecx, %eax
je 0x7952
movq -0x8(%rbp), %rdi
movslq -0x14(%rbp), %rcx
leaq 0xab78(%rip), %rax      # 0x124b0
movl (%rax,%rcx,4), %edx
andl $0xf0000, %edx          # imm = 0xF0000
sarl $0x10, %edx
leaq 0x53db(%rip), %rsi      # 0xcd26
movb $0x0, %al
callq 0x2200
movl -0x14(%rbp), %eax
movl $0x9, %ecx
cltd
idivl %ecx
movl $0x8, %eax
cmpl %edx, %eax
jne 0x797a
movq -0x8(%rbp), %rdi
leaq 0x5449(%rip), %rsi      # 0xcdba
movb $0x0, %al
callq 0x2200
jmp 0x798c
movq -0x8(%rbp), %rdi
leaq 0x5c18(%rip), %rsi      # 0xd59d
movb $0x0, %al
callq 0x2200
jmp 0x798e
movl -0x14(%rbp), %eax
addl $0x1, %eax
movl %eax, -0x14(%rbp)
jmp 0x7902
jmp 0x799e
addq $0x20, %rsp
popq %rbp
retq
nopw %cs:(%rax,%rax)