#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 */
scalar_t__ valid_sqr(char **, int, int);
int solve(char **solution, int i, int j, char value) {
  if (j == 9) {
    j = 0;
    i += 1;
  }
  if (i == 9)
    return (1);
  value = '0';
  if (solution[i][j] != '.') {
    if (solve(solution, i, j + 1, '0'))
      return (1);
  } else {
    while (++value <= '9') {
      solution[i][j] = value;
      if (valid_sqr(solution, i, j))
        if (solve(solution, i, j + 1, '0'))
          return (1);
      solution[i][j] = '.';
    }
  }
  return (0);
}


x86 assembly (clang, -O0):
<solve>:
push   %rbp
mov    %rsp,%rbp
sub    $0x20,%rsp
mov    %cl,%al
mov    %rdi,-0x10(%rbp)
mov    %esi,-0x14(%rbp)
mov    %edx,-0x18(%rbp)
mov    %al,-0x19(%rbp)
cmpl   $0x9,-0x18(%rbp)
jne    1151 <solve+0x31>
movl   $0x0,-0x18(%rbp)
mov    -0x14(%rbp),%eax
add    $0x1,%eax
mov    %eax,-0x14(%rbp)
cmpl   $0x9,-0x14(%rbp)
jne    1167 <solve+0x47>
movl   $0x1,-0x4(%rbp)
jmp    1257 <solve+0x137>
movb   $0x30,-0x19(%rbp)
mov    -0x10(%rbp),%rax
movslq -0x14(%rbp),%rcx
mov    (%rax,%rcx,8),%rax
movslq -0x18(%rbp),%rcx
movsbl (%rax,%rcx,1),%eax
cmp    $0x2e,%eax
je     11b9 <solve+0x99>
mov    -0x10(%rbp),%rdi
mov    -0x14(%rbp),%esi
mov    -0x18(%rbp),%edx
add    $0x1,%edx
mov    $0x30,%ecx
call   1030 <solve@plt>
cmp    $0x0,%eax
je     11b4 <solve+0x94>
movl   $0x1,-0x4(%rbp)
jmp    1257 <solve+0x137>
jmp    1250 <solve+0x130>
jmp    11be <solve+0x9e>
mov    -0x19(%rbp),%al
add    $0x1,%al
mov    %al,-0x19(%rbp)
movsbl %al,%eax
cmp    $0x39,%eax
jg     124b <solve+0x12b>
mov    -0x19(%rbp),%dl
mov    -0x10(%rbp),%rax
movslq -0x14(%rbp),%rcx
mov    (%rax,%rcx,8),%rax
movslq -0x18(%rbp),%rcx
mov    %dl,(%rax,%rcx,1)
mov    -0x10(%rbp),%rdi
mov    -0x14(%rbp),%esi
mov    -0x18(%rbp),%edx
call   1040 <valid_sqr@plt>
cmp    $0x0,%rax
je     1232 <solve+0x112>
mov    -0x10(%rbp),%rdi
mov    -0x14(%rbp),%esi
mov    -0x18(%rbp),%edx
add    $0x1,%edx
mov    $0x30,%ecx
call   1030 <solve@plt>
cmp    $0x0,%eax
je     122d <solve+0x10d>
movl   $0x1,-0x4(%rbp)
jmp    1257 <solve+0x137>
jmp    1232 <solve+0x112>
mov    -0x10(%rbp),%rax
movslq -0x14(%rbp),%rcx
mov    (%rax,%rcx,8),%rax
movslq -0x18(%rbp),%rcx
movb   $0x2e,(%rax,%rcx,1)
jmp    11be <solve+0x9e>
jmp    1250 <solve+0x130>
movl   $0x0,-0x4(%rbp)
mov    -0x4(%rbp),%eax
add    $0x20,%rsp
pop    %rbp
ret

x86 assembly (clang, -O2):
<solve>:
push   %rbp
push   %r15
push   %r14
push   %r13
push   %r12
push   %rbx
push   %rax
xor    %ecx,%ecx
xor    %r12d,%r12d
cmp    $0x9,%edx
cmovne %edx,%ecx
sete   %r12b
add    %esi,%r12d
cmp    $0x9,%r12d
jne    1150 <solve+0x30>
movl   $0x1,0x4(%rsp)
jmp    11e6 <solve+0xc6>
mov    %rdi,%rbx
movslq %r12d,%r13
mov    (%rdi,%r13,8),%rax
movslq %ecx,%rbp
lea    0x1(%rbp),%r15d
cmpb   $0x2e,(%rax,%rbp,1)
jne    11c2 <solve+0xa2>
movl   $0x1,0x4(%rsp)
mov    $0x31,%r14b
cs nopw 0x0(%rax,%rax,1)
nopl   0x0(%rax)
mov    %r14b,(%rax,%rbp,1)
mov    %rbx,%rdi
mov    %r12d,%esi
mov    %ebp,%edx
call   1040 <valid_sqr@plt>
test   %rax,%rax
je     11aa <solve+0x8a>
mov    %rbx,%rdi
mov    %r12d,%esi
mov    %r15d,%edx
xor    %ecx,%ecx
call   1030 <solve@plt>
test   %eax,%eax
jne    11e6 <solve+0xc6>
mov    (%rbx,%r13,8),%rax
movb   $0x2e,(%rax,%rbp,1)
cmp    $0x39,%r14b
je     11de <solve+0xbe>
mov    (%rbx,%r13,8),%rax
add    $0x1,%r14b
jmp    1180 <solve+0x60>
movl   $0x1,0x4(%rsp)
mov    %rbx,%rdi
mov    %r12d,%esi
mov    %r15d,%edx
xor    %ecx,%ecx
call   1030 <solve@plt>
test   %eax,%eax
jne    11e6 <solve+0xc6>
movl   $0x0,0x4(%rsp)
mov    0x4(%rsp),%eax
add    $0x8,%rsp
pop    %rbx
pop    %r12
pop    %r13
pop    %r14
pop    %r15
pop    %rbp
ret

LLVM IR (-O0):
define i32 @solve(i8** %0, i32 %1, i32 %2, i8 signext %3) {
%5 = alloca i32
%6 = alloca i8**
%7 = alloca i32
%8 = alloca i32
%9 = alloca i8
store i8** %0, i8*** %6
store i32 %1, i32* %7
store i32 %2, i32* %8
store i8 %3, i8* %9
%10 = load i32, i32* %8
%11 = icmp eq i32 %10, 9
br i1 %11, label %12, label %15
12: ; preds = %4
store i32 0, i32* %8
%13 = load i32, i32* %7
%14 = add nsw i32 %13, 1
store i32 %14, i32* %7
br label %15
15: ; preds = %12, %4
%16 = load i32, i32* %7
%17 = icmp eq i32 %16, 9
br i1 %17, label %18, label %19
18: ; preds = %15
store i32 1, i32* %5
br label %81
19: ; preds = %15
store i8 48, i8* %9
%20 = load i8**, i8*** %6
%21 = load i32, i32* %7
%22 = sext i32 %21 to i64
%23 = getelementptr inbounds i8*, i8** %20, i64 %22
%24 = load i8*, i8** %23
%25 = load i32, i32* %8
%26 = sext i32 %25 to i64
%27 = getelementptr inbounds i8, i8* %24, i64 %26
%28 = load i8, i8* %27
%29 = sext i8 %28 to i32
%30 = icmp ne i32 %29, 46
br i1 %30, label %31, label %40
31: ; preds = %19
%32 = load i8**, i8*** %6
%33 = load i32, i32* %7
%34 = load i32, i32* %8
%35 = add nsw i32 %34, 1
%36 = call i32 @solve(i8** %32, i32 %33, i32 %35, i8 signext 48)
%37 = icmp ne i32 %36, 0
br i1 %37, label %38, label %39
38: ; preds = %31
store i32 1, i32* %5
br label %81
39: ; preds = %31
br label %80
40: ; preds = %19
br label %41
41: ; preds = %70, %40
%42 = load i8, i8* %9
%43 = add i8 %42, 1
store i8 %43, i8* %9
%44 = sext i8 %43 to i32
%45 = icmp sle i32 %44, 57
br i1 %45, label %46, label %79
46: ; preds = %41
%47 = load i8, i8* %9
%48 = load i8**, i8*** %6
%49 = load i32, i32* %7
%50 = sext i32 %49 to i64
%51 = getelementptr inbounds i8*, i8** %48, i64 %50
%52 = load i8*, i8** %51
%53 = load i32, i32* %8
%54 = sext i32 %53 to i64
%55 = getelementptr inbounds i8, i8* %52, i64 %54
store i8 %47, i8* %55
%56 = load i8**, i8*** %6
%57 = load i32, i32* %7
%58 = load i32, i32* %8
%59 = call i64 @valid_sqr(i8** %56, i32 %57, i32 %58)
%60 = icmp ne i64 %59, 0
br i1 %60, label %61, label %70
61: ; preds = %46
%62 = load i8**, i8*** %6
%63 = load i32, i32* %7
%64 = load i32, i32* %8
%65 = add nsw i32 %64, 1
%66 = call i32 @solve(i8** %62, i32 %63, i32 %65, i8 signext 48)
%67 = icmp ne i32 %66, 0
br i1 %67, label %68, label %69
68: ; preds = %61
store i32 1, i32* %5
br label %81
69: ; preds = %61
br label %70
70: ; preds = %69, %46
%71 = load i8**, i8*** %6
%72 = load i32, i32* %7
%73 = sext i32 %72 to i64
%74 = getelementptr inbounds i8*, i8** %71, i64 %73
%75 = load i8*, i8** %74
%76 = load i32, i32* %8
%77 = sext i32 %76 to i64
%78 = getelementptr inbounds i8, i8* %75, i64 %77
store i8 46, i8* %78
br label %41
79: ; preds = %41
br label %80
80: ; preds = %79, %39
store i32 0, i32* %5
br label %81
81: ; preds = %80, %68, %38, %18
%82 = load i32, i32* %5
ret i32 %82
}

LLVM IR (-O2):
define i32 @solve(i8** %0, i32 %1, i32 %2, i8 signext %3) {
%5 = icmp eq i32 %2, 9
%6 = zext i1 %5 to i32
%7 = add nsw i32 %6, %1
%8 = select i1 %5, i32 0, i32 %2
%9 = icmp eq i32 %7, 9
br i1 %9, label %39, label %10
10: ; preds = %4
%11 = sext i32 %7 to i64
%12 = getelementptr inbounds i8*, i8** %0, i64 %11
%13 = load i8*, i8** %12
%14 = sext i32 %8 to i64
%15 = getelementptr inbounds i8, i8* %13, i64 %14
%16 = load i8, i8* %15
%17 = icmp eq i8 %16, 46
%18 = add nsw i32 %8, 1
br i1 %17, label %22, label %19
19: ; preds = %10
%20 = tail call i32 @solve(i8** %0, i32 %7, i32 %18, i8 signext undef)
%21 = icmp eq i32 %20, 0
br i1 %21, label %38, label %39
22: ; preds = %10, %36
%23 = phi i8* [ %37, %36 ], [ %13, %10 ]
%24 = phi i8 [ %34, %36 ], [ 49, %10 ]
%25 = getelementptr inbounds i8, i8* %23, i64 %14
store i8 %24, i8* %25
%26 = tail call i64 @valid_sqr(i8** %0, i32 %7, i32 %8)
%27 = icmp eq i64 %26, 0
br i1 %27, label %31, label %28
28: ; preds = %22
%29 = tail call i32 @solve(i8** %0, i32 %7, i32 %18, i8 signext undef)
%30 = icmp eq i32 %29, 0
br i1 %30, label %31, label %39
31: ; preds = %28, %22
%32 = load i8*, i8** %12
%33 = getelementptr inbounds i8, i8* %32, i64 %14
store i8 46, i8* %33
%34 = add nuw nsw i8 %24, 1
%35 = icmp eq i8 %34, 58
br i1 %35, label %38, label %36
36: ; preds = %31
%37 = load i8*, i8** %12
br label %22
38: ; preds = %31, %19
br label %39
39: ; preds = %28, %19, %4, %38
%40 = phi i32 [ 0, %38 ], [ 1, %4 ], [ 1, %19 ], [ 1, %28 ]
ret i32 %40
}