#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__ candidates(int *, int);
int solveWithConditions(int *grid) {
  int empty = 0;
  int change = 0;
  int i;
  for (i = 1; i <= 9; i++) {
    if (*(grid + i) == 0) {
      if (candidates(grid, i)) {
        change = 1;
      } else {
        empty = 1;
      }
    }
  }
  if (empty) {
    if (change) {
      return solveWithConditions(grid);
    } else {
      return 0;
    }
  }
  return 1;
}


x86 assembly (clang, -O0):
<solveWithConditions>:
push   %rbp
mov    %rsp,%rbp
sub    $0x20,%rsp
mov    %rdi,-0x10(%rbp)
movl   $0x0,-0x14(%rbp)
movl   $0x0,-0x18(%rbp)
movl   $0x1,-0x1c(%rbp)
cmpl   $0x9,-0x1c(%rbp)
jg     119e <solveWithConditions+0x7e>
mov    -0x10(%rbp),%rax
movslq -0x1c(%rbp),%rcx
cmpl   $0x0,(%rax,%rcx,4)
jne    118b <solveWithConditions+0x6b>
mov    -0x10(%rbp),%rdi
mov    -0x1c(%rbp),%esi
call   1030 <candidates@plt>
cmp    $0x0,%rax
je     117f <solveWithConditions+0x5f>
movl   $0x1,-0x18(%rbp)
jmp    1186 <solveWithConditions+0x66>
movl   $0x1,-0x14(%rbp)
jmp    118b <solveWithConditions+0x6b>
jmp    1190 <solveWithConditions+0x70>
mov    -0x1c(%rbp),%eax
add    $0x1,%eax
mov    %eax,-0x1c(%rbp)
jmp    1141 <solveWithConditions+0x21>
cmpl   $0x0,-0x14(%rbp)
je     11cf <solveWithConditions+0xaf>
cmpl   $0x0,-0x18(%rbp)
je     11c3 <solveWithConditions+0xa3>
mov    -0x10(%rbp),%rdi
call   1040 <solveWithConditions@plt>
mov    %eax,-0x4(%rbp)
jmp    11d6 <solveWithConditions+0xb6>
movl   $0x0,-0x4(%rbp)
jmp    11d6 <solveWithConditions+0xb6>
movl   $0x1,-0x4(%rbp)
mov    -0x4(%rbp),%eax
add    $0x20,%rsp
pop    %rbp
ret

x86 assembly (clang, -O2):
<solveWithConditions>:
push   %rbp
push   %r15
push   %r14
push   %rbx
push   %rax
mov    %rdi,%rbx
mov    $0x1,%r14d
xor    %r15d,%r15d
cmpl   $0x0,0x4(%rbx)
mov    $0x0,%ebp
je     1190 <solveWithConditions+0x80>
cmpl   $0x0,0x8(%rbx)
je     11b3 <solveWithConditions+0xa3>
cmpl   $0x0,0xc(%rbx)
je     11d5 <solveWithConditions+0xc5>
cmpl   $0x0,0x10(%rbx)
je     11f7 <solveWithConditions+0xe7>
cmpl   $0x0,0x14(%rbx)
je     1219 <solveWithConditions+0x109>
cmpl   $0x0,0x18(%rbx)
je     123b <solveWithConditions+0x12b>
cmpl   $0x0,0x1c(%rbx)
je     125d <solveWithConditions+0x14d>
cmpl   $0x0,0x20(%rbx)
je     127f <solveWithConditions+0x16f>
cmpl   $0x0,0x24(%rbx)
je     12a1 <solveWithConditions+0x191>
mov    %ebp,%ecx
jmp    12b8 <solveWithConditions+0x1a8>
cs nopw 0x0(%rax,%rax,1)
nopl   0x0(%rax,%rax,1)
mov    %rbx,%rdi
mov    $0x1,%esi
call   1030 <candidates@plt>
xor    %ebp,%ebp
xor    %r15d,%r15d
test   %rax,%rax
setne  %bpl
sete   %r15b
cmpl   $0x0,0x8(%rbx)
jne    1134 <solveWithConditions+0x24>
mov    %rbx,%rdi
mov    $0x2,%esi
call   1030 <candidates@plt>
test   %rax,%rax
cmove  %r14d,%r15d
cmovne %r14d,%ebp
cmpl   $0x0,0xc(%rbx)
jne    113e <solveWithConditions+0x2e>
mov    %rbx,%rdi
mov    $0x3,%esi
call   1030 <candidates@plt>
test   %rax,%rax
cmove  %r14d,%r15d
cmovne %r14d,%ebp
cmpl   $0x0,0x10(%rbx)
jne    1148 <solveWithConditions+0x38>
mov    %rbx,%rdi
mov    $0x4,%esi
call   1030 <candidates@plt>
test   %rax,%rax
cmove  %r14d,%r15d
cmovne %r14d,%ebp
cmpl   $0x0,0x14(%rbx)
jne    1152 <solveWithConditions+0x42>
mov    %rbx,%rdi
mov    $0x5,%esi
call   1030 <candidates@plt>
test   %rax,%rax
cmove  %r14d,%r15d
cmovne %r14d,%ebp
cmpl   $0x0,0x18(%rbx)
jne    115c <solveWithConditions+0x4c>
mov    %rbx,%rdi
mov    $0x6,%esi
call   1030 <candidates@plt>
test   %rax,%rax
cmove  %r14d,%r15d
cmovne %r14d,%ebp
cmpl   $0x0,0x1c(%rbx)
jne    1166 <solveWithConditions+0x56>
mov    %rbx,%rdi
mov    $0x7,%esi
call   1030 <candidates@plt>
test   %rax,%rax
cmove  %r14d,%r15d
cmovne %r14d,%ebp
cmpl   $0x0,0x20(%rbx)
jne    1170 <solveWithConditions+0x60>
mov    %rbx,%rdi
mov    $0x8,%esi
call   1030 <candidates@plt>
test   %rax,%rax
cmove  %r14d,%r15d
cmovne %r14d,%ebp
cmpl   $0x0,0x24(%rbx)
jne    117a <solveWithConditions+0x6a>
mov    %rbx,%rdi
mov    $0x9,%esi
call   1030 <candidates@plt>
mov    $0x1,%ecx
test   %rax,%rax
je     12bf <solveWithConditions+0x1af>
mov    %ecx,%ebp
test   %r15d,%r15d
je     12cb <solveWithConditions+0x1bb>
test   %ebp,%ebp
jne    1120 <solveWithConditions+0x10>
xor    %eax,%eax
jmp    12d0 <solveWithConditions+0x1c0>
mov    $0x1,%eax
add    $0x8,%rsp
pop    %rbx
pop    %r14
pop    %r15
pop    %rbp
ret

LLVM IR (-O0):
define i32 @solveWithConditions(i32* %0) {
%2 = alloca i32
%3 = alloca i32*
%4 = alloca i32
%5 = alloca i32
%6 = alloca i32
store i32* %0, i32** %3
store i32 0, i32* %4
store i32 0, i32* %5
store i32 1, i32* %6
br label %7
7: ; preds = %26, %1
%8 = load i32, i32* %6
%9 = icmp sle i32 %8, 9
br i1 %9, label %10, label %29
10: ; preds = %7
%11 = load i32*, i32** %3
%12 = load i32, i32* %6
%13 = sext i32 %12 to i64
%14 = getelementptr inbounds i32, i32* %11, i64 %13
%15 = load i32, i32* %14
%16 = icmp eq i32 %15, 0
br i1 %16, label %17, label %25
17: ; preds = %10
%18 = load i32*, i32** %3
%19 = load i32, i32* %6
%20 = call i64 @candidates(i32* %18, i32 %19)
%21 = icmp ne i64 %20, 0
br i1 %21, label %22, label %23
22: ; preds = %17
store i32 1, i32* %5
br label %24
23: ; preds = %17
store i32 1, i32* %4
br label %24
24: ; preds = %23, %22
br label %25
25: ; preds = %24, %10
br label %26
26: ; preds = %25
%27 = load i32, i32* %6
%28 = add nsw i32 %27, 1
store i32 %28, i32* %6
br label %7
29: ; preds = %7
%30 = load i32, i32* %4
%31 = icmp ne i32 %30, 0
br i1 %31, label %32, label %39
32: ; preds = %29
%33 = load i32, i32* %5
%34 = icmp ne i32 %33, 0
br i1 %34, label %35, label %38
35: ; preds = %32
%36 = load i32*, i32** %3
%37 = call i32 @solveWithConditions(i32* %36)
store i32 %37, i32* %2
br label %40
38: ; preds = %32
store i32 0, i32* %2
br label %40
39: ; preds = %29
store i32 1, i32* %2
br label %40
40: ; preds = %39, %38, %35
%41 = load i32, i32* %2
ret i32 %41
}

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