int is_solved(char **map) {
  int i;
  int j;
  i = -1;
  while (++i < 9) {
    j = -1;
    while (++j < 9) {
      if (map[i][j] == 0 || map[i][j] == 11)
        return (0);
    }
  }
  return (1);
}


x86 assembly (clang, -O0):
<is_solved>:
push   %rbp
mov    %rsp,%rbp
mov    %rdi,-0x10(%rbp)
movl   $0xffffffff,-0x14(%rbp)
mov    -0x14(%rbp),%eax
add    $0x1,%eax
mov    %eax,-0x14(%rbp)
cmp    $0x9,%eax
jge    118a <is_solved+0x8a>
movl   $0xffffffff,-0x18(%rbp)
mov    -0x18(%rbp),%eax
add    $0x1,%eax
mov    %eax,-0x18(%rbp)
cmp    $0x9,%eax
jge    1185 <is_solved+0x85>
mov    -0x10(%rbp),%rax
movslq -0x14(%rbp),%rcx
mov    (%rax,%rcx,8),%rax
movslq -0x18(%rbp),%rcx
movsbl (%rax,%rcx,1),%eax
cmp    $0x0,%eax
je     1174 <is_solved+0x74>
mov    -0x10(%rbp),%rax
movslq -0x14(%rbp),%rcx
mov    (%rax,%rcx,8),%rax
movslq -0x18(%rbp),%rcx
movsbl (%rax,%rcx,1),%eax
cmp    $0xb,%eax
jne    1180 <is_solved+0x80>
movl   $0x0,-0x4(%rbp)
jmp    1191 <is_solved+0x91>
jmp    1128 <is_solved+0x28>
jmp    110f <is_solved+0xf>
movl   $0x1,-0x4(%rbp)
mov    -0x4(%rbp),%eax
pop    %rbp
ret

x86 assembly (clang, -O2):
<is_solved>:
mov    (%rdi),%rax
xor    %ecx,%ecx
cs nopw 0x0(%rax,%rax,1)
nop
cmp    $0x9,%rcx
je     1130 <is_solved+0x30>
movzbl (%rax,%rcx,1),%edx
test   %dl,%dl
je     1237 <is_solved+0x137>
add    $0x1,%rcx
cmp    $0xb,%dl
jne    1110 <is_solved+0x10>
jmp    1237 <is_solved+0x137>
mov    0x8(%rdi),%rax
xor    %ecx,%ecx
cs nopw 0x0(%rax,%rax,1)
cmp    $0x9,%rcx
je     1160 <is_solved+0x60>
movzbl (%rax,%rcx,1),%edx
test   %dl,%dl
je     1237 <is_solved+0x137>
add    $0x1,%rcx
cmp    $0xb,%dl
jne    1140 <is_solved+0x40>
jmp    1237 <is_solved+0x137>
mov    0x10(%rdi),%rax
xor    %ecx,%ecx
cs nopw 0x0(%rax,%rax,1)
cmp    $0x9,%rcx
je     1190 <is_solved+0x90>
movzbl (%rax,%rcx,1),%edx
test   %dl,%dl
je     1237 <is_solved+0x137>
add    $0x1,%rcx
cmp    $0xb,%dl
jne    1170 <is_solved+0x70>
jmp    1237 <is_solved+0x137>
mov    0x18(%rdi),%rax
xor    %ecx,%ecx
cs nopw 0x0(%rax,%rax,1)
cmp    $0x9,%rcx
je     11bd <is_solved+0xbd>
movzbl (%rax,%rcx,1),%edx
test   %dl,%dl
je     1237 <is_solved+0x137>
add    $0x1,%rcx
cmp    $0xb,%dl
jne    11a0 <is_solved+0xa0>
jmp    1237 <is_solved+0x137>
mov    0x20(%rdi),%rax
xor    %ecx,%ecx
cmp    $0x9,%rcx
je     11dc <is_solved+0xdc>
movzbl (%rax,%rcx,1),%edx
test   %dl,%dl
je     1237 <is_solved+0x137>
add    $0x1,%rcx
cmp    $0xb,%dl
jne    11c3 <is_solved+0xc3>
jmp    1237 <is_solved+0x137>
mov    0x28(%rdi),%rax
xor    %ecx,%ecx
cmp    $0x9,%rcx
je     11fb <is_solved+0xfb>
movzbl (%rax,%rcx,1),%edx
test   %dl,%dl
je     1237 <is_solved+0x137>
add    $0x1,%rcx
cmp    $0xb,%dl
jne    11e2 <is_solved+0xe2>
jmp    1237 <is_solved+0x137>
mov    0x30(%rdi),%rax
xor    %ecx,%ecx
cmp    $0x9,%rcx
je     121a <is_solved+0x11a>
movzbl (%rax,%rcx,1),%edx
test   %dl,%dl
je     1237 <is_solved+0x137>
add    $0x1,%rcx
cmp    $0xb,%dl
jne    1201 <is_solved+0x101>
jmp    1237 <is_solved+0x137>
mov    0x38(%rdi),%rax
xor    %ecx,%ecx
cmp    $0x9,%rcx
je     123a <is_solved+0x13a>
movzbl (%rax,%rcx,1),%edx
test   %dl,%dl
je     1237 <is_solved+0x137>
add    $0x1,%rcx
cmp    $0xb,%dl
jne    1220 <is_solved+0x120>
xor    %eax,%eax
ret
mov    0x40(%rdi),%rsi
xor    %edx,%edx
xor    %eax,%eax
cmp    $0x9,%rdx
je     125b <is_solved+0x15b>
movzbl (%rsi,%rdx,1),%ecx
test   %cl,%cl
je     1239 <is_solved+0x139>
add    $0x1,%rdx
cmp    $0xb,%cl
jne    1242 <is_solved+0x142>
jmp    1239 <is_solved+0x139>
mov    $0x1,%eax
ret

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

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