int checksudoku(sudoku)
int sudoku[];
{
  return (checkrow(sudoku, 0) & checkrow(sudoku, 9) & checkrow(sudoku, 18) &
          checkrow(sudoku, 27) & checkrow(sudoku, 36) & checkrow(sudoku, 45) &
          checkrow(sudoku, 54) & checkrow(sudoku, 63) & checkrow(sudoku, 72) &
          checkcolumn(sudoku, 0) & checkcolumn(sudoku, 1) &
          checkcolumn(sudoku, 2) & checkcolumn(sudoku, 3) &
          checkcolumn(sudoku, 4) & checkcolumn(sudoku, 5) &
          checkcolumn(sudoku, 6) & checkcolumn(sudoku, 7) &
          checkcolumn(sudoku, 8) & checkquadrant(sudoku, 0) &
          checkquadrant(sudoku, 3) & checkquadrant(sudoku, 6) &
          checkquadrant(sudoku, 27) & checkquadrant(sudoku, 30) &
          checkquadrant(sudoku, 33) & checkquadrant(sudoku, 54) &
          checkquadrant(sudoku, 57) & checkquadrant(sudoku, 60));
}


x86 assembly (clang, -O0):
<checksudoku>:
push   %rbp
mov    %rsp,%rbp
sub    $0x70,%rsp
mov    %rdi,-0x8(%rbp)
mov    -0x8(%rbp),%rdi
xor    %esi,%esi
mov    $0x0,%al
call   1050 <checkrow@plt>
mov    %eax,-0x70(%rbp)
mov    -0x8(%rbp),%rdi
mov    $0x9,%esi
mov    $0x0,%al
call   1050 <checkrow@plt>
mov    %eax,%ecx
mov    -0x70(%rbp),%eax
and    %ecx,%eax
mov    %eax,-0x6c(%rbp)
mov    -0x8(%rbp),%rdi
mov    $0x12,%esi
mov    $0x0,%al
call   1050 <checkrow@plt>
mov    %eax,%ecx
mov    -0x6c(%rbp),%eax
and    %ecx,%eax
mov    %eax,-0x68(%rbp)
mov    -0x8(%rbp),%rdi
mov    $0x1b,%esi
mov    $0x0,%al
call   1050 <checkrow@plt>
mov    %eax,%ecx
mov    -0x68(%rbp),%eax
and    %ecx,%eax
mov    %eax,-0x64(%rbp)
mov    -0x8(%rbp),%rdi
mov    $0x24,%esi
mov    $0x0,%al
call   1050 <checkrow@plt>
mov    %eax,%ecx
mov    -0x64(%rbp),%eax
and    %ecx,%eax
mov    %eax,-0x60(%rbp)
mov    -0x8(%rbp),%rdi
mov    $0x2d,%esi
mov    $0x0,%al
call   1050 <checkrow@plt>
mov    %eax,%ecx
mov    -0x60(%rbp),%eax
and    %ecx,%eax
mov    %eax,-0x5c(%rbp)
mov    -0x8(%rbp),%rdi
mov    $0x36,%esi
mov    $0x0,%al
call   1050 <checkrow@plt>
mov    %eax,%ecx
mov    -0x5c(%rbp),%eax
and    %ecx,%eax
mov    %eax,-0x58(%rbp)
mov    -0x8(%rbp),%rdi
mov    $0x3f,%esi
mov    $0x0,%al
call   1050 <checkrow@plt>
mov    %eax,%ecx
mov    -0x58(%rbp),%eax
and    %ecx,%eax
mov    %eax,-0x54(%rbp)
mov    -0x8(%rbp),%rdi
mov    $0x48,%esi
mov    $0x0,%al
call   1050 <checkrow@plt>
mov    %eax,%ecx
mov    -0x54(%rbp),%eax
and    %ecx,%eax
mov    %eax,-0x50(%rbp)
mov    -0x8(%rbp),%rdi
xor    %esi,%esi
mov    $0x0,%al
call   1030 <checkcolumn@plt>
mov    %eax,%ecx
mov    -0x50(%rbp),%eax
and    %ecx,%eax
mov    %eax,-0x4c(%rbp)
mov    -0x8(%rbp),%rdi
mov    $0x1,%esi
mov    $0x0,%al
call   1030 <checkcolumn@plt>
mov    %eax,%ecx
mov    -0x4c(%rbp),%eax
and    %ecx,%eax
mov    %eax,-0x48(%rbp)
mov    -0x8(%rbp),%rdi
mov    $0x2,%esi
mov    $0x0,%al
call   1030 <checkcolumn@plt>
mov    %eax,%ecx
mov    -0x48(%rbp),%eax
and    %ecx,%eax
mov    %eax,-0x44(%rbp)
mov    -0x8(%rbp),%rdi
mov    $0x3,%esi
mov    $0x0,%al
call   1030 <checkcolumn@plt>
mov    %eax,%ecx
mov    -0x44(%rbp),%eax
and    %ecx,%eax
mov    %eax,-0x40(%rbp)
mov    -0x8(%rbp),%rdi
mov    $0x4,%esi
mov    $0x0,%al
call   1030 <checkcolumn@plt>
mov    %eax,%ecx
mov    -0x40(%rbp),%eax
and    %ecx,%eax
mov    %eax,-0x3c(%rbp)
mov    -0x8(%rbp),%rdi
mov    $0x5,%esi
mov    $0x0,%al
call   1030 <checkcolumn@plt>
mov    %eax,%ecx
mov    -0x3c(%rbp),%eax
and    %ecx,%eax
mov    %eax,-0x38(%rbp)
mov    -0x8(%rbp),%rdi
mov    $0x6,%esi
mov    $0x0,%al
call   1030 <checkcolumn@plt>
mov    %eax,%ecx
mov    -0x38(%rbp),%eax
and    %ecx,%eax
mov    %eax,-0x34(%rbp)
mov    -0x8(%rbp),%rdi
mov    $0x7,%esi
mov    $0x0,%al
call   1030 <checkcolumn@plt>
mov    %eax,%ecx
mov    -0x34(%rbp),%eax
and    %ecx,%eax
mov    %eax,-0x30(%rbp)
mov    -0x8(%rbp),%rdi
mov    $0x8,%esi
mov    $0x0,%al
call   1030 <checkcolumn@plt>
mov    %eax,%ecx
mov    -0x30(%rbp),%eax
and    %ecx,%eax
mov    %eax,-0x2c(%rbp)
mov    -0x8(%rbp),%rdi
xor    %esi,%esi
mov    $0x0,%al
call   1040 <checkquadrant@plt>
mov    %eax,%ecx
mov    -0x2c(%rbp),%eax
and    %ecx,%eax
mov    %eax,-0x28(%rbp)
mov    -0x8(%rbp),%rdi
mov    $0x3,%esi
mov    $0x0,%al
call   1040 <checkquadrant@plt>
mov    %eax,%ecx
mov    -0x28(%rbp),%eax
and    %ecx,%eax
mov    %eax,-0x24(%rbp)
mov    -0x8(%rbp),%rdi
mov    $0x6,%esi
mov    $0x0,%al
call   1040 <checkquadrant@plt>
mov    %eax,%ecx
mov    -0x24(%rbp),%eax
and    %ecx,%eax
mov    %eax,-0x20(%rbp)
mov    -0x8(%rbp),%rdi
mov    $0x1b,%esi
mov    $0x0,%al
call   1040 <checkquadrant@plt>
mov    %eax,%ecx
mov    -0x20(%rbp),%eax
and    %ecx,%eax
mov    %eax,-0x1c(%rbp)
mov    -0x8(%rbp),%rdi
mov    $0x1e,%esi
mov    $0x0,%al
call   1040 <checkquadrant@plt>
mov    %eax,%ecx
mov    -0x1c(%rbp),%eax
and    %ecx,%eax
mov    %eax,-0x18(%rbp)
mov    -0x8(%rbp),%rdi
mov    $0x21,%esi
mov    $0x0,%al
call   1040 <checkquadrant@plt>
mov    %eax,%ecx
mov    -0x18(%rbp),%eax
and    %ecx,%eax
mov    %eax,-0x14(%rbp)
mov    -0x8(%rbp),%rdi
mov    $0x36,%esi
mov    $0x0,%al
call   1040 <checkquadrant@plt>
mov    %eax,%ecx
mov    -0x14(%rbp),%eax
and    %ecx,%eax
mov    %eax,-0x10(%rbp)
mov    -0x8(%rbp),%rdi
mov    $0x39,%esi
mov    $0x0,%al
call   1040 <checkquadrant@plt>
mov    %eax,%ecx
mov    -0x10(%rbp),%eax
and    %ecx,%eax
mov    %eax,-0xc(%rbp)
mov    -0x8(%rbp),%rdi
mov    $0x3c,%esi
mov    $0x0,%al
call   1040 <checkquadrant@plt>
mov    %eax,%ecx
mov    -0xc(%rbp),%eax
and    %ecx,%eax
add    $0x70,%rsp
pop    %rbp
ret

x86 assembly (clang, -O2):
<checksudoku>:
push   %rbp
push   %r15
push   %r14
push   %r12
push   %rbx
mov    %rdi,%r12
xor    %esi,%esi
xor    %eax,%eax
call   1050 <checkrow@plt>
mov    %eax,%ebp
mov    %r12,%rdi
mov    $0x9,%esi
xor    %eax,%eax
call   1050 <checkrow@plt>
mov    %eax,%r14d
and    %ebp,%r14d
mov    %r12,%rdi
mov    $0x12,%esi
xor    %eax,%eax
call   1050 <checkrow@plt>
mov    %eax,%r15d
mov    %r12,%rdi
mov    $0x1b,%esi
xor    %eax,%eax
call   1050 <checkrow@plt>
mov    %eax,%ebp
and    %r15d,%ebp
and    %r14d,%ebp
mov    %r12,%rdi
mov    $0x24,%esi
xor    %eax,%eax
call   1050 <checkrow@plt>
mov    %eax,%r14d
mov    %r12,%rdi
mov    $0x2d,%esi
xor    %eax,%eax
call   1050 <checkrow@plt>
mov    %eax,%ebx
and    %r14d,%ebx
mov    %r12,%rdi
mov    $0x36,%esi
xor    %eax,%eax
call   1050 <checkrow@plt>
mov    %eax,%r14d
and    %ebx,%r14d
and    %ebp,%r14d
mov    %r12,%rdi
mov    $0x3f,%esi
xor    %eax,%eax
call   1050 <checkrow@plt>
mov    %eax,%ebx
mov    %r12,%rdi
mov    $0x48,%esi
xor    %eax,%eax
call   1050 <checkrow@plt>
mov    %eax,%ebp
and    %ebx,%ebp
mov    %r12,%rdi
xor    %esi,%esi
xor    %eax,%eax
call   1030 <checkcolumn@plt>
mov    %eax,%ebx
and    %ebp,%ebx
mov    %r12,%rdi
mov    $0x1,%esi
xor    %eax,%eax
call   1030 <checkcolumn@plt>
mov    %eax,%r15d
and    %ebx,%r15d
and    %r14d,%r15d
mov    %r12,%rdi
mov    $0x2,%esi
xor    %eax,%eax
call   1030 <checkcolumn@plt>
mov    %eax,%ebx
mov    %r12,%rdi
mov    $0x3,%esi
xor    %eax,%eax
call   1030 <checkcolumn@plt>
mov    %eax,%ebp
and    %ebx,%ebp
mov    %r12,%rdi
mov    $0x4,%esi
xor    %eax,%eax
call   1030 <checkcolumn@plt>
mov    %eax,%ebx
and    %ebp,%ebx
mov    %r12,%rdi
mov    $0x5,%esi
xor    %eax,%eax
call   1030 <checkcolumn@plt>
mov    %eax,%ebp
and    %ebx,%ebp
mov    %r12,%rdi
mov    $0x6,%esi
xor    %eax,%eax
call   1030 <checkcolumn@plt>
mov    %eax,%r14d
and    %ebp,%r14d
and    %r15d,%r14d
mov    %r12,%rdi
mov    $0x7,%esi
xor    %eax,%eax
call   1030 <checkcolumn@plt>
mov    %eax,%ebx
mov    %r12,%rdi
mov    $0x8,%esi
xor    %eax,%eax
call   1030 <checkcolumn@plt>
mov    %eax,%ebp
and    %ebx,%ebp
mov    %r12,%rdi
xor    %esi,%esi
xor    %eax,%eax
call   1040 <checkquadrant@plt>
mov    %eax,%ebx
and    %ebp,%ebx
mov    %r12,%rdi
mov    $0x3,%esi
xor    %eax,%eax
call   1040 <checkquadrant@plt>
mov    %eax,%ebp
and    %ebx,%ebp
mov    %r12,%rdi
mov    $0x6,%esi
xor    %eax,%eax
call   1040 <checkquadrant@plt>
mov    %eax,%ebx
and    %ebp,%ebx
mov    %r12,%rdi
mov    $0x1b,%esi
xor    %eax,%eax
call   1040 <checkquadrant@plt>
mov    %eax,%r15d
and    %ebx,%r15d
and    %r14d,%r15d
mov    %r12,%rdi
mov    $0x1e,%esi
xor    %eax,%eax
call   1040 <checkquadrant@plt>
mov    %eax,%r14d
mov    %r12,%rdi
mov    $0x21,%esi
xor    %eax,%eax
call   1040 <checkquadrant@plt>
mov    %eax,%ebx
and    %r14d,%ebx
mov    %r12,%rdi
mov    $0x36,%esi
xor    %eax,%eax
call   1040 <checkquadrant@plt>
mov    %eax,%ebp
and    %ebx,%ebp
mov    %r12,%rdi
mov    $0x39,%esi
xor    %eax,%eax
call   1040 <checkquadrant@plt>
mov    %eax,%ebx
and    %ebp,%ebx
mov    %r12,%rdi
mov    $0x3c,%esi
xor    %eax,%eax
call   1040 <checkquadrant@plt>
and    %ebx,%eax
and    %r15d,%eax
pop    %rbx
pop    %r12
pop    %r14
pop    %r15
pop    %rbp
ret

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

LLVM IR (-O2):
define i32 @checksudoku(i32* %0) {
%2 = tail call i32 (i32*, i32, ...) bitcast (i32 (...)* @checkrow to i32 (i32*, i32, ...)*)(i32* %0, i32 0)
%3 = tail call i32 (i32*, i32, ...) bitcast (i32 (...)* @checkrow to i32 (i32*, i32, ...)*)(i32* %0, i32 9)
%4 = and i32 %3, %2
%5 = tail call i32 (i32*, i32, ...) bitcast (i32 (...)* @checkrow to i32 (i32*, i32, ...)*)(i32* %0, i32 18)
%6 = and i32 %4, %5
%7 = tail call i32 (i32*, i32, ...) bitcast (i32 (...)* @checkrow to i32 (i32*, i32, ...)*)(i32* %0, i32 27)
%8 = and i32 %6, %7
%9 = tail call i32 (i32*, i32, ...) bitcast (i32 (...)* @checkrow to i32 (i32*, i32, ...)*)(i32* %0, i32 36)
%10 = and i32 %8, %9
%11 = tail call i32 (i32*, i32, ...) bitcast (i32 (...)* @checkrow to i32 (i32*, i32, ...)*)(i32* %0, i32 45)
%12 = and i32 %10, %11
%13 = tail call i32 (i32*, i32, ...) bitcast (i32 (...)* @checkrow to i32 (i32*, i32, ...)*)(i32* %0, i32 54)
%14 = and i32 %12, %13
%15 = tail call i32 (i32*, i32, ...) bitcast (i32 (...)* @checkrow to i32 (i32*, i32, ...)*)(i32* %0, i32 63)
%16 = and i32 %14, %15
%17 = tail call i32 (i32*, i32, ...) bitcast (i32 (...)* @checkrow to i32 (i32*, i32, ...)*)(i32* %0, i32 72)
%18 = and i32 %16, %17
%19 = tail call i32 (i32*, i32, ...) bitcast (i32 (...)* @checkcolumn to i32 (i32*, i32, ...)*)(i32* %0, i32 0)
%20 = and i32 %18, %19
%21 = tail call i32 (i32*, i32, ...) bitcast (i32 (...)* @checkcolumn to i32 (i32*, i32, ...)*)(i32* %0, i32 1)
%22 = and i32 %20, %21
%23 = tail call i32 (i32*, i32, ...) bitcast (i32 (...)* @checkcolumn to i32 (i32*, i32, ...)*)(i32* %0, i32 2)
%24 = and i32 %22, %23
%25 = tail call i32 (i32*, i32, ...) bitcast (i32 (...)* @checkcolumn to i32 (i32*, i32, ...)*)(i32* %0, i32 3)
%26 = and i32 %24, %25
%27 = tail call i32 (i32*, i32, ...) bitcast (i32 (...)* @checkcolumn to i32 (i32*, i32, ...)*)(i32* %0, i32 4)
%28 = and i32 %26, %27
%29 = tail call i32 (i32*, i32, ...) bitcast (i32 (...)* @checkcolumn to i32 (i32*, i32, ...)*)(i32* %0, i32 5)
%30 = and i32 %28, %29
%31 = tail call i32 (i32*, i32, ...) bitcast (i32 (...)* @checkcolumn to i32 (i32*, i32, ...)*)(i32* %0, i32 6)
%32 = and i32 %30, %31
%33 = tail call i32 (i32*, i32, ...) bitcast (i32 (...)* @checkcolumn to i32 (i32*, i32, ...)*)(i32* %0, i32 7)
%34 = and i32 %32, %33
%35 = tail call i32 (i32*, i32, ...) bitcast (i32 (...)* @checkcolumn to i32 (i32*, i32, ...)*)(i32* %0, i32 8)
%36 = and i32 %34, %35
%37 = tail call i32 (i32*, i32, ...) bitcast (i32 (...)* @checkquadrant to i32 (i32*, i32, ...)*)(i32* %0, i32 0)
%38 = and i32 %36, %37
%39 = tail call i32 (i32*, i32, ...) bitcast (i32 (...)* @checkquadrant to i32 (i32*, i32, ...)*)(i32* %0, i32 3)
%40 = and i32 %38, %39
%41 = tail call i32 (i32*, i32, ...) bitcast (i32 (...)* @checkquadrant to i32 (i32*, i32, ...)*)(i32* %0, i32 6)
%42 = and i32 %40, %41
%43 = tail call i32 (i32*, i32, ...) bitcast (i32 (...)* @checkquadrant to i32 (i32*, i32, ...)*)(i32* %0, i32 27)
%44 = and i32 %42, %43
%45 = tail call i32 (i32*, i32, ...) bitcast (i32 (...)* @checkquadrant to i32 (i32*, i32, ...)*)(i32* %0, i32 30)
%46 = and i32 %44, %45
%47 = tail call i32 (i32*, i32, ...) bitcast (i32 (...)* @checkquadrant to i32 (i32*, i32, ...)*)(i32* %0, i32 33)
%48 = and i32 %46, %47
%49 = tail call i32 (i32*, i32, ...) bitcast (i32 (...)* @checkquadrant to i32 (i32*, i32, ...)*)(i32* %0, i32 54)
%50 = and i32 %48, %49
%51 = tail call i32 (i32*, i32, ...) bitcast (i32 (...)* @checkquadrant to i32 (i32*, i32, ...)*)(i32* %0, i32 57)
%52 = and i32 %50, %51
%53 = tail call i32 (i32*, i32, ...) bitcast (i32 (...)* @checkquadrant to i32 (i32*, i32, ...)*)(i32* %0, i32 60)
%54 = and i32 %52, %53
ret i32 %54
}