#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 */
int /*<<< orphan*/ printf(char *, ...);
int /*<<< orphan*/ sscanf(char *, char *, int *);
int main(int argc, char *argv[]) {
  int n, x, y, i, solution_found;
  int X[1024];
  char Y[1024], Z[2 * 1024], W[3 * 1024];
  unsigned long long N;
  if (argc <= 1) {
    printf("8queens n\n");
    return 1;
  }
  sscanf(argv[1], "%d", &n);
  if (n < 4) {
    printf("0\n");
    return 0;
  }
  N = x = y = 0;
  solution_found = 0;
  for (i = 0; i < 1024; i++)
    Y[i] = Z[i] = W[i] = 0;
  while (1) {
    while ((Y[x] || Z[x + y] || W[n + x - y]) && x != n)
      x++;
    if (x == n || solution_found) {
      solution_found = 0;
      x = X[--y];
      Y[x] = Z[x + y] = W[n + x - y] = 0;
      x++;
      if (y == 0 && !(n & 1) && x + 1 > n / 2)
        break;
      if (y == 1 && (n & 1) && x + 2 > (n - 1) / 2 && X[0] == (n - 1) / 2)
        break;
      continue;
    }
    Y[x] = Z[x + y] = W[n + x - y] = 1;
    X[y++] = x;
    if (y == n) {
      solution_found = 1;
      N++;
    }
    x = 0;
  }
  printf("%llu\n", 2 * N);
  return 0;
}


x86 assembly (clang, -O0):
<main>:
push   %rbp
mov    %rsp,%rbp
sub    $0x2850,%rsp
movl   $0x0,-0x4(%rbp)
mov    %edi,-0x8(%rbp)
mov    %rsi,-0x10(%rbp)
cmpl   $0x1,-0x8(%rbp)
jg     115d <main+0x3d>
lea    0xeb6(%rip),%rdi
mov    $0x0,%al
call   1030 <printf@plt>
movl   $0x1,-0x4(%rbp)
jmp    1448 <main+0x328>
mov    -0x10(%rbp),%rax
mov    0x8(%rax),%rdi
lea    0xe9f(%rip),%rsi
lea    -0x14(%rbp),%rdx
call   1040 <sscanf@plt>
cmpl   $0x4,-0x14(%rbp)
jge    1199 <main+0x79>
lea    0xe88(%rip),%rdi
mov    $0x0,%al
call   1030 <printf@plt>
movl   $0x0,-0x4(%rbp)
jmp    1448 <main+0x328>
movl   $0x0,-0x1c(%rbp)
movl   $0x0,-0x18(%rbp)
movq   $0x0,-0x2838(%rbp)
movl   $0x0,-0x24(%rbp)
movl   $0x0,-0x20(%rbp)
cmpl   $0x400,-0x20(%rbp)
jge    11ff <main+0xdf>
movslq -0x20(%rbp),%rax
movb   $0x0,-0x2830(%rbp,%rax,1)
movslq -0x20(%rbp),%rax
movb   $0x0,-0x1c30(%rbp,%rax,1)
movslq -0x20(%rbp),%rax
movb   $0x0,-0x1430(%rbp,%rax,1)
mov    -0x20(%rbp),%eax
add    $0x1,%eax
mov    %eax,-0x20(%rbp)
jmp    11c0 <main+0xa0>
jmp    1204 <main+0xe4>
jmp    1209 <main+0xe9>
movslq -0x18(%rbp),%rax
movsbl -0x1430(%rbp,%rax,1),%eax
ff
cmp    $0x0,%eax
jne    125b <main+0x13b>
mov    -0x18(%rbp),%eax
add    -0x1c(%rbp),%eax
cltq
movsbl -0x1c30(%rbp,%rax,1),%eax
ff
cmp    $0x0,%eax
jne    125b <main+0x13b>
mov    -0x14(%rbp),%eax
add    -0x18(%rbp),%eax
sub    -0x1c(%rbp),%eax
cltq
movsbl -0x2830(%rbp,%rax,1),%ecx
ff
xor    %eax,%eax
cmp    $0x0,%ecx
mov    %al,-0x2839(%rbp)
je     126a <main+0x14a>
mov    -0x18(%rbp),%eax
cmp    -0x14(%rbp),%eax
setne  %al
mov    %al,-0x2839(%rbp)
mov    -0x2839(%rbp),%al
test   $0x1,%al
jne    127d <main+0x15d>
jmp    128b <main+0x16b>
mov    -0x18(%rbp),%eax
add    $0x1,%eax
mov    %eax,-0x18(%rbp)
jmp    1209 <main+0xe9>
mov    -0x18(%rbp),%eax
cmp    -0x14(%rbp),%eax
je     12a1 <main+0x181>
cmpl   $0x0,-0x24(%rbp)
je     13b1 <main+0x291>
movl   $0x0,-0x24(%rbp)
mov    -0x1c(%rbp),%eax
add    $0xffffffff,%eax
mov    %eax,-0x1c(%rbp)
cltq
mov    -0x1030(%rbp,%rax,4),%eax
mov    %eax,-0x18(%rbp)
mov    -0x14(%rbp),%eax
add    -0x18(%rbp),%eax
sub    -0x1c(%rbp),%eax
cltq
movb   $0x0,-0x2830(%rbp,%rax,1)
mov    -0x18(%rbp),%eax
add    -0x1c(%rbp),%eax
cltq
movb   $0x0,-0x1c30(%rbp,%rax,1)
movslq -0x18(%rbp),%rax
movb   $0x0,-0x1430(%rbp,%rax,1)
mov    -0x18(%rbp),%eax
add    $0x1,%eax
mov    %eax,-0x18(%rbp)
cmpl   $0x0,-0x1c(%rbp)
jne    133a <main+0x21a>
mov    -0x14(%rbp),%eax
and    $0x1,%eax
cmp    $0x0,%eax
jne    133a <main+0x21a>
mov    -0x18(%rbp),%eax
add    $0x1,%eax
mov    %eax,-0x2840(%rbp)
mov    -0x14(%rbp),%eax
mov    $0x2,%ecx
cltd
idiv   %ecx
mov    %eax,%ecx
mov    -0x2840(%rbp),%eax
cmp    %ecx,%eax
jle    133a <main+0x21a>
jmp    1428 <main+0x308>
cmpl   $0x1,-0x1c(%rbp)
jne    13ac <main+0x28c>
mov    -0x14(%rbp),%eax
and    $0x1,%eax
cmp    $0x0,%eax
je     13ac <main+0x28c>
mov    -0x18(%rbp),%eax
add    $0x2,%eax
mov    %eax,-0x2844(%rbp)
mov    -0x14(%rbp),%eax
sub    $0x1,%eax
mov    $0x2,%ecx
cltd
idiv   %ecx
mov    %eax,%ecx
mov    -0x2844(%rbp),%eax
cmp    %ecx,%eax
jle    13ac <main+0x28c>
mov    -0x1030(%rbp),%eax
mov    %eax,-0x2848(%rbp)
mov    -0x14(%rbp),%eax
sub    $0x1,%eax
mov    $0x2,%ecx
cltd
idiv   %ecx
mov    %eax,%ecx
mov    -0x2848(%rbp),%eax
cmp    %ecx,%eax
jne    13ac <main+0x28c>
jmp    1428 <main+0x308>
jmp    1204 <main+0xe4>
mov    -0x14(%rbp),%eax
add    -0x18(%rbp),%eax
sub    -0x1c(%rbp),%eax
cltq
movb   $0x1,-0x2830(%rbp,%rax,1)
01
mov    -0x18(%rbp),%eax
add    -0x1c(%rbp),%eax
cltq
movb   $0x1,-0x1c30(%rbp,%rax,1)
01
movslq -0x18(%rbp),%rax
movb   $0x1,-0x1430(%rbp,%rax,1)
01
mov    -0x18(%rbp),%ecx
mov    -0x1c(%rbp),%eax
mov    %eax,%edx
add    $0x1,%edx
mov    %edx,-0x1c(%rbp)
cltq
mov    %ecx,-0x1030(%rbp,%rax,4)
mov    -0x1c(%rbp),%eax
cmp    -0x14(%rbp),%eax
jne    141c <main+0x2fc>
movl   $0x1,-0x24(%rbp)
mov    -0x2838(%rbp),%rax
add    $0x1,%rax
mov    %rax,-0x2838(%rbp)
movl   $0x0,-0x18(%rbp)
jmp    1204 <main+0xe4>
mov    -0x2838(%rbp),%rsi
shl    $0x1,%rsi
lea    0xbd7(%rip),%rdi
mov    $0x0,%al
call   1030 <printf@plt>
movl   $0x0,-0x4(%rbp)
mov    -0x4(%rbp),%eax
add    $0x2850,%rsp
pop    %rbp
ret

x86 assembly (clang, -O2):
<main>:
push   %rbp
push   %r15
push   %r14
push   %r13
push   %r12
push   %rbx
sub    $0x2838,%rsp
cmp    $0x1,%edi
jg     116c <main+0x2c>
lea    0xeae(%rip),%rdi
call   1030 <puts@plt>
mov    $0x1,%ebx
jmp    13cd <main+0x28d>
mov    0x8(%rsi),%rdi
lea    0xe89(%rip),%rsi
lea    0x1c(%rsp),%rdx
call   1060 <sscanf@plt>
mov    0x1c(%rsp),%r14d
cmp    $0x4,%r14d
jge    119f <main+0x5f>
lea    0xe76(%rip),%rdi
call   1030 <puts@plt>
xor    %ebx,%ebx
jmp    13cd <main+0x28d>
lea    0xc30(%rsp),%rdi
xor    %ebx,%ebx
mov    $0x400,%edx
xor    %esi,%esi
call   1050 <memset@plt>
lea    0x430(%rsp),%rdi
mov    $0x400,%edx
xor    %esi,%esi
call   1050 <memset@plt>
lea    0x30(%rsp),%rdi
mov    $0x400,%edx
xor    %esi,%esi
call   1050 <memset@plt>
lea    -0x1(%r14),%eax
shr    %eax
mov    %eax,0x4(%rsp)
mov    %r14d,%eax
shr    %eax
mov    %eax,0x18(%rsp)
mov    %r14d,%eax
neg    %eax
mov    %rax,0x28(%rsp)
movabs $0x100000000,%rdi
xor    %eax,%eax
mov    %rax,0x8(%rsp)
xor    %eax,%eax
mov    %rax,0x20(%rsp)
jmp    126d <main+0x12d>
cs nopw 0x0(%rax,%rax,1)
nopl   0x0(%rax,%rax,1)
add    %r8d,%r11d
add    %r8d,%ebp
movslq %ebp,%rdx
movb   $0x1,0xc30(%rsp,%rdx,1)
01
sar    $0x20,%rcx
movb   $0x1,0x430(%rsp,%rcx,1)
01
movb   $0x1,0x30(%rsp,%rax,1)
movslq %ebx,%rax
add    $0x1,%ebx
mov    %r11d,0x1830(%rsp,%rax,4)
xor    %eax,%eax
cmp    %r14d,%ebx
sete   %al
mov    %rax,0x8(%rsp)
add    %rax,0x20(%rsp)
mov    0x1830(%rsp),%eax
mov    %eax,0x14(%rsp)
movslq %ebx,%rbx
mov    %r14d,%r13d
sub    %ebx,%r13d
lea    (%rsp,%rbx,1),%r12
add    $0x430,%r12
xor    %r11d,%r11d
jmp    12a7 <main+0x167>
cs nopw 0x0(%rax,%rax,1)
add    $0xffffffffffffffff,%rbx
lea    0x1(%rax),%r11d
add    $0x1,%r13d
add    $0xffffffffffffffff,%r12
xor    %eax,%eax
mov    %rax,0x8(%rsp)
movslq %r11d,%rax
lea    (%rbx,%rax,1),%ecx
shl    $0x20,%rcx
lea    (%rax,%r13,1),%ebp
mov    %r14,%r15
sub    %rax,%r14
lea    (%r12,%rax,1),%rsi
lea    (%rsp,%rax,1),%r9
add    $0x30,%r9
xor    %r8d,%r8d
jmp    12dc <main+0x19c>
nopl   0x0(%rax)
cmp    %r8,%r14
je     1310 <main+0x1d0>
add    %rdi,%rcx
add    $0x1,%r8
cmpb   $0x0,(%r9,%r8,1)
jne    12d0 <main+0x190>
cmpb   $0x0,(%rsi,%r8,1)
jne    12d0 <main+0x190>
lea    (%r8,%rbp,1),%r10d
movslq %r10d,%rdx
cmpb   $0x0,0xc30(%rsp,%rdx,1)
je     1300 <main+0x1c0>
cmp    %r8,%r14
jne    12d5 <main+0x195>
add    %r8,%rax
mov    %r15,%r14
cmpl   $0x0,0x8(%rsp)
je     131d <main+0x1dd>
jmp    1330 <main+0x1f0>
nop
mov    %r15,%r14
mov    %r15,%rax
cmpl   $0x0,0x8(%rsp)
jne    1330 <main+0x1f0>
mov    0x28(%rsp),%rdx
add    %r11d,%edx
mov    %r8d,%esi
add    %edx,%esi
jne    1220 <main+0xe0>
movslq 0x182c(%rsp,%rbx,4),%rax
mov    %r14d,%ecx
sub    %ebx,%ecx
add    %eax,%ecx
add    $0x1,%ecx
movslq %ecx,%rcx
movb   $0x0,0xc30(%rsp,%rcx,1)
lea    (%rbx,%rax,1),%rcx
add    $0xffffffffffffffff,%rcx
movb   $0x0,0x430(%rsp,%rcx,1)
movb   $0x0,0x30(%rsp,%rax,1)
cmp    $0x2,%ebx
je     1390 <main+0x250>
cmp    $0x1,%ebx
jne    1290 <main+0x150>
test   $0x1,%r14b
jne    1290 <main+0x150>
lea    0x2(%rax),%ecx
cmp    0x18(%rsp),%ecx
jle    1290 <main+0x150>
jmp    13b5 <main+0x275>
nopl   0x0(%rax)
test   $0x1,%r14b
je     1290 <main+0x150>
lea    0x3(%rax),%ecx
cmp    0x4(%rsp),%ecx
jle    1290 <main+0x150>
mov    0x14(%rsp),%ecx
cmp    0x4(%rsp),%ecx
jne    1290 <main+0x150>
mov    0x20(%rsp),%rsi
add    %rsi,%rsi
lea    0xc3f(%rip),%rdi
xor    %ebx,%ebx
xor    %eax,%eax
call   1040 <printf@plt>
mov    %ebx,%eax
add    $0x2838,%rsp
pop    %rbx
pop    %r12
pop    %r13
pop    %r14
pop    %r15
pop    %rbp
ret

LLVM IR (-O0):
@.str = [11 x i8] c"8queens n\0A\00"
@.str.1 = [3 x i8] c"%d\00"
@.str.2 = [3 x i8] c"0\0A\00"
@.str.3 = [6 x i8] c"%llu\0A\00"
define i32 @main(i32 %0, i8** %1) {
%3 = alloca i32
%4 = alloca i32
%5 = alloca i8**
%6 = alloca i32
%7 = alloca i32
%8 = alloca i32
%9 = alloca i32
%10 = alloca i32
%11 = alloca [1024 x i32]
%12 = alloca [1024 x i8]
%13 = alloca [2048 x i8]
%14 = alloca [3072 x i8]
%15 = alloca i64
store i32 0, i32* %3
store i32 %0, i32* %4
store i8** %1, i8*** %5
%16 = load i32, i32* %4
%17 = icmp sle i32 %16, 1
br i1 %17, label %18, label %20
18: ; preds = %2
%19 = call i32 (i8*, ...) @printf(i8* getelementptr inbounds ([11 x i8], [11 x i8]* @.str, i64 0, i64 0))
store i32 1, i32* %3
br label %182
20: ; preds = %2
%21 = load i8**, i8*** %5
%22 = getelementptr inbounds i8*, i8** %21, i64 1
%23 = load i8*, i8** %22
%24 = call i32 @sscanf(i8* %23, i8* getelementptr inbounds ([3 x i8], [3 x i8]* @.str.1, i64 0, i64 0), i32* %6)
%25 = load i32, i32* %6
%26 = icmp slt i32 %25, 4
br i1 %26, label %27, label %29
27: ; preds = %20
%28 = call i32 (i8*, ...) @printf(i8* getelementptr inbounds ([3 x i8], [3 x i8]* @.str.2, i64 0, i64 0))
store i32 0, i32* %3
br label %182
29: ; preds = %20
store i32 0, i32* %8
store i32 0, i32* %7
store i64 0, i64* %15
store i32 0, i32* %10
store i32 0, i32* %9
br label %30
30: ; preds = %43, %29
%31 = load i32, i32* %9
%32 = icmp slt i32 %31, 1024
br i1 %32, label %33, label %46
33: ; preds = %30
%34 = load i32, i32* %9
%35 = sext i32 %34 to i64
%36 = getelementptr inbounds [3072 x i8], [3072 x i8]* %14, i64 0, i64 %35
store i8 0, i8* %36
%37 = load i32, i32* %9
%38 = sext i32 %37 to i64
%39 = getelementptr inbounds [2048 x i8], [2048 x i8]* %13, i64 0, i64 %38
store i8 0, i8* %39
%40 = load i32, i32* %9
%41 = sext i32 %40 to i64
%42 = getelementptr inbounds [1024 x i8], [1024 x i8]* %12, i64 0, i64 %41
store i8 0, i8* %42
br label %43
43: ; preds = %33
%44 = load i32, i32* %9
%45 = add nsw i32 %44, 1
store i32 %45, i32* %9
br label %30
46: ; preds = %30
br label %47
47: ; preds = %46, %149, %177
br label %48
48: ; preds = %81, %47
%49 = load i32, i32* %7
%50 = sext i32 %49 to i64
%51 = getelementptr inbounds [1024 x i8], [1024 x i8]* %12, i64 0, i64 %50
%52 = load i8, i8* %51
%53 = sext i8 %52 to i32
%54 = icmp ne i32 %53, 0
br i1 %54, label %75, label %55
55: ; preds = %48
%56 = load i32, i32* %7
%57 = load i32, i32* %8
%58 = add nsw i32 %56, %57
%59 = sext i32 %58 to i64
%60 = getelementptr inbounds [2048 x i8], [2048 x i8]* %13, i64 0, i64 %59
%61 = load i8, i8* %60
%62 = sext i8 %61 to i32
%63 = icmp ne i32 %62, 0
br i1 %63, label %75, label %64
64: ; preds = %55
%65 = load i32, i32* %6
%66 = load i32, i32* %7
%67 = add nsw i32 %65, %66
%68 = load i32, i32* %8
%69 = sub nsw i32 %67, %68
%70 = sext i32 %69 to i64
%71 = getelementptr inbounds [3072 x i8], [3072 x i8]* %14, i64 0, i64 %70
%72 = load i8, i8* %71
%73 = sext i8 %72 to i32
%74 = icmp ne i32 %73, 0
br i1 %74, label %75, label %79
75: ; preds = %64, %55, %48
%76 = load i32, i32* %7
%77 = load i32, i32* %6
%78 = icmp ne i32 %76, %77
br label %79
79: ; preds = %75, %64
%80 = phi i1 [ false, %64 ], [ %78, %75 ]
br i1 %80, label %81, label %84
81: ; preds = %79
%82 = load i32, i32* %7
%83 = add nsw i32 %82, 1
store i32 %83, i32* %7
br label %48
84: ; preds = %79
%85 = load i32, i32* %7
%86 = load i32, i32* %6
%87 = icmp eq i32 %85, %86
br i1 %87, label %91, label %88
88: ; preds = %84
%89 = load i32, i32* %10
%90 = icmp ne i32 %89, 0
br i1 %90, label %91, label %150
91: ; preds = %88, %84
store i32 0, i32* %10
%92 = load i32, i32* %8
%93 = add nsw i32 %92, -1
store i32 %93, i32* %8
%94 = sext i32 %93 to i64
%95 = getelementptr inbounds [1024 x i32], [1024 x i32]* %11, i64 0, i64 %94
%96 = load i32, i32* %95
store i32 %96, i32* %7
%97 = load i32, i32* %6
%98 = load i32, i32* %7
%99 = add nsw i32 %97, %98
%100 = load i32, i32* %8
%101 = sub nsw i32 %99, %100
%102 = sext i32 %101 to i64
%103 = getelementptr inbounds [3072 x i8], [3072 x i8]* %14, i64 0, i64 %102
store i8 0, i8* %103
%104 = load i32, i32* %7
%105 = load i32, i32* %8
%106 = add nsw i32 %104, %105
%107 = sext i32 %106 to i64
%108 = getelementptr inbounds [2048 x i8], [2048 x i8]* %13, i64 0, i64 %107
store i8 0, i8* %108
%109 = load i32, i32* %7
%110 = sext i32 %109 to i64
%111 = getelementptr inbounds [1024 x i8], [1024 x i8]* %12, i64 0, i64 %110
store i8 0, i8* %111
%112 = load i32, i32* %7
%113 = add nsw i32 %112, 1
store i32 %113, i32* %7
%114 = load i32, i32* %8
%115 = icmp eq i32 %114, 0
br i1 %115, label %116, label %127
116: ; preds = %91
%117 = load i32, i32* %6
%118 = and i32 %117, 1
%119 = icmp ne i32 %118, 0
br i1 %119, label %127, label %120
120: ; preds = %116
%121 = load i32, i32* %7
%122 = add nsw i32 %121, 1
%123 = load i32, i32* %6
%124 = sdiv i32 %123, 2
%125 = icmp sgt i32 %122, %124
br i1 %125, label %126, label %127
126: ; preds = %120
br label %178
127: ; preds = %120, %116, %91
%128 = load i32, i32* %8
%129 = icmp eq i32 %128, 1
br i1 %129, label %130, label %149
130: ; preds = %127
%131 = load i32, i32* %6
%132 = and i32 %131, 1
%133 = icmp ne i32 %132, 0
br i1 %133, label %134, label %149
134: ; preds = %130
%135 = load i32, i32* %7
%136 = add nsw i32 %135, 2
%137 = load i32, i32* %6
%138 = sub nsw i32 %137, 1
%139 = sdiv i32 %138, 2
%140 = icmp sgt i32 %136, %139
br i1 %140, label %141, label %149
141: ; preds = %134
%142 = getelementptr inbounds [1024 x i32], [1024 x i32]* %11, i64 0, i64 0
%143 = load i32, i32* %142
%144 = load i32, i32* %6
%145 = sub nsw i32 %144, 1
%146 = sdiv i32 %145, 2
%147 = icmp eq i32 %143, %146
br i1 %147, label %148, label %149
148: ; preds = %141
br label %178
149: ; preds = %141, %134, %130, %127
br label %47
150: ; preds = %88
%151 = load i32, i32* %6
%152 = load i32, i32* %7
%153 = add nsw i32 %151, %152
%154 = load i32, i32* %8
%155 = sub nsw i32 %153, %154
%156 = sext i32 %155 to i64
%157 = getelementptr inbounds [3072 x i8], [3072 x i8]* %14, i64 0, i64 %156
store i8 1, i8* %157
%158 = load i32, i32* %7
%159 = load i32, i32* %8
%160 = add nsw i32 %158, %159
%161 = sext i32 %160 to i64
%162 = getelementptr inbounds [2048 x i8], [2048 x i8]* %13, i64 0, i64 %161
store i8 1, i8* %162
%163 = load i32, i32* %7
%164 = sext i32 %163 to i64
%165 = getelementptr inbounds [1024 x i8], [1024 x i8]* %12, i64 0, i64 %164
store i8 1, i8* %165
%166 = load i32, i32* %7
%167 = load i32, i32* %8
%168 = add nsw i32 %167, 1
store i32 %168, i32* %8
%169 = sext i32 %167 to i64
%170 = getelementptr inbounds [1024 x i32], [1024 x i32]* %11, i64 0, i64 %169
store i32 %166, i32* %170
%171 = load i32, i32* %8
%172 = load i32, i32* %6
%173 = icmp eq i32 %171, %172
br i1 %173, label %174, label %177
174: ; preds = %150
store i32 1, i32* %10
%175 = load i64, i64* %15
%176 = add i64 %175, 1
store i64 %176, i64* %15
br label %177
177: ; preds = %174, %150
store i32 0, i32* %7
br label %47
178: ; preds = %148, %126
%179 = load i64, i64* %15
%180 = mul i64 2, %179
%181 = call i32 (i8*, ...) @printf(i8* getelementptr inbounds ([6 x i8], [6 x i8]* @.str.3, i64 0, i64 0), i64 %180)
store i32 0, i32* %3
br label %182
182: ; preds = %178, %27, %18
%183 = load i32, i32* %3
ret i32 %183
}

LLVM IR (-O2):
@.str.1 = [3 x i8] c"%d\00"
@.str.3 = [6 x i8] c"%llu\0A\00"
@str = [2 x i8] c"0\00"
@str.4 = [10 x i8] c"8queens n\00"
define i32 @main(i32 %0, i8** nocapture %1) {
%3 = alloca i32
%4 = alloca [1024 x i32]
%5 = alloca [1024 x i8]
%6 = getelementptr inbounds [1024 x i8], [1024 x i8]* %5, i64 0, i64 0
%7 = alloca [2048 x i8]
%8 = getelementptr inbounds [2048 x i8], [2048 x i8]* %7, i64 0, i64 0
%9 = alloca [3072 x i8]
%10 = getelementptr inbounds [3072 x i8], [3072 x i8]* %9, i64 0, i64 0
%11 = bitcast i32* %3 to i8*
%12 = bitcast [1024 x i32]* %4 to i8*
%13 = getelementptr inbounds [1024 x i8], [1024 x i8]* %5, i64 0, i64 0
%14 = getelementptr inbounds [2048 x i8], [2048 x i8]* %7, i64 0, i64 0
%15 = getelementptr inbounds [3072 x i8], [3072 x i8]* %9, i64 0, i64 0
%16 = icmp slt i32 %0, 2
br i1 %16, label %17, label %19
17: ; preds = %2
%18 = tail call i32 @puts(i8* dereferenceable(1) getelementptr inbounds ([10 x i8], [10 x i8]* @str.4, i64 0, i64 0))
br label %127
19: ; preds = %2
%20 = getelementptr inbounds i8*, i8** %1, i64 1
%21 = load i8*, i8** %20
%22 = call i32 @sscanf(i8* %21, i8* getelementptr inbounds ([3 x i8], [3 x i8]* @.str.1, i64 0, i64 0), i32* %3)
%23 = load i32, i32* %3
%24 = icmp slt i32 %23, 4
br i1 %24, label %33, label %25
25: ; preds = %19
%26 = and i32 %23, 1
%27 = icmp eq i32 %26, 0
%28 = add nsw i32 %23, -1
%29 = lshr i32 %28, 1
%30 = getelementptr inbounds [1024 x i32], [1024 x i32]* %4, i64 0, i64 0
%31 = lshr i32 %23, 1
%32 = zext i32 %23 to i64
br label %117
33: ; preds = %19
%34 = call i32 @puts(i8* dereferenceable(1) getelementptr inbounds ([2 x i8], [2 x i8]* @str, i64 0, i64 0))
br label %127
35: ; preds = %90, %117
%36 = phi i64 [ %123, %117 ], [ %72, %90 ]
%37 = phi i32 [ 0, %117 ], [ %85, %90 ]
%38 = phi i32 [ %120, %117 ], [ 0, %90 ]
%39 = sext i32 %37 to i64
%40 = trunc i64 %36 to i32
br label %41
41: ; preds = %63, %35
%42 = phi i64 [ %64, %63 ], [ %39, %35 ]
%43 = getelementptr inbounds [1024 x i8], [1024 x i8]* %5, i64 0, i64 %42
%44 = load i8, i8* %43
%45 = icmp eq i8 %44, 0
br i1 %45, label %46, label %61
46: ; preds = %41
%47 = add nsw i64 %42, %36
%48 = getelementptr inbounds [2048 x i8], [2048 x i8]* %7, i64 0, i64 %47
%49 = load i8, i8* %48
%50 = icmp eq i8 %49, 0
br i1 %50, label %51, label %61
51: ; preds = %46
%52 = trunc i64 %42 to i32
%53 = add i32 %23, %52
%54 = sub i32 %53, %40
%55 = sext i32 %54 to i64
%56 = getelementptr inbounds [3072 x i8], [3072 x i8]* %9, i64 0, i64 %55
%57 = load i8, i8* %56
%58 = icmp eq i8 %57, 0
%59 = icmp eq i64 %42, %32
%60 = select i1 %58, i1 true, i1 %59
br i1 %60, label %65, label %63
61: ; preds = %46, %41
%62 = icmp eq i64 %42, %32
br i1 %62, label %65, label %63
63: ; preds = %51, %61
%64 = add i64 %42, 1
br label %41
65: ; preds = %51, %61
%66 = phi i64 [ %42, %51 ], [ %32, %61 ]
%67 = trunc i64 %42 to i32
%68 = icmp eq i32 %23, %67
%69 = icmp ne i32 %38, 0
%70 = or i1 %69, %68
br i1 %70, label %71, label %96
71: ; preds = %65
%72 = add i64 %36, -1
%73 = getelementptr inbounds [1024 x i32], [1024 x i32]* %4, i64 0, i64 %72
%74 = load i32, i32* %73
%75 = trunc i64 %36 to i32
%76 = sub i32 1, %75
%77 = add i32 %76, %23
%78 = add i32 %77, %74
%79 = sext i32 %78 to i64
%80 = getelementptr inbounds [3072 x i8], [3072 x i8]* %9, i64 0, i64 %79
store i8 0, i8* %80
%81 = sext i32 %74 to i64
%82 = add nsw i64 %72, %81
%83 = getelementptr inbounds [2048 x i8], [2048 x i8]* %7, i64 0, i64 %82
store i8 0, i8* %83
%84 = getelementptr inbounds [1024 x i8], [1024 x i8]* %5, i64 0, i64 %81
store i8 0, i8* %84
%85 = add nsw i32 %74, 1
switch i32 %75, label %90 [
i32 1, label %86
i32 2, label %91
]
86: ; preds = %71
%87 = add nsw i32 %74, 2
%88 = icmp sgt i32 %87, %31
%89 = select i1 %27, i1 %88, i1 false
br i1 %89, label %124, label %90
90: ; preds = %86, %71, %92, %91
br label %35
91: ; preds = %71
br i1 %27, label %90, label %92
92: ; preds = %91
%93 = add nsw i32 %74, 3
%94 = icmp sgt i32 %93, %29
%95 = select i1 %94, i1 %122, i1 false
br i1 %95, label %124, label %90
96: ; preds = %65
%97 = trunc i64 %42 to i32
%98 = trunc i64 %36 to i32
%99 = getelementptr inbounds [1024 x i8], [1024 x i8]* %5, i64 0, i64 %66
%100 = add nsw i32 %23, %97
%101 = sub i32 %100, %98
%102 = sext i32 %101 to i64
%103 = getelementptr inbounds [3072 x i8], [3072 x i8]* %9, i64 0, i64 %102
store i8 1, i8* %103
%104 = add i64 %42, %36
%105 = shl i64 %104, 32
%106 = ashr exact i64 %105, 32
%107 = getelementptr inbounds [2048 x i8], [2048 x i8]* %7, i64 0, i64 %106
store i8 1, i8* %107
store i8 1, i8* %99
%108 = add nsw i32 %98, 1
%109 = shl i64 %36, 32
%110 = ashr exact i64 %109, 32
%111 = getelementptr inbounds [1024 x i32], [1024 x i32]* %4, i64 0, i64 %110
store i32 %97, i32* %111
%112 = icmp eq i32 %108, %23
%113 = zext i1 %112 to i32
%114 = zext i1 %112 to i64
%115 = add i64 %121, %114
%116 = load i32, i32* %30
br label %117
117: ; preds = %25, %96
%118 = phi i32 [ undef, %25 ], [ %116, %96 ]
%119 = phi i32 [ 0, %25 ], [ %108, %96 ]
%120 = phi i32 [ 0, %25 ], [ %113, %96 ]
%121 = phi i64 [ 0, %25 ], [ %115, %96 ]
%122 = icmp eq i32 %118, %29
%123 = sext i32 %119 to i64
br label %35
124: ; preds = %86, %92
%125 = shl i64 %121, 1
%126 = call i32 (i8*, ...) @printf(i8* dereferenceable(1) getelementptr inbounds ([6 x i8], [6 x i8]* @.str.3, i64 0, i64 0), i64 %125)
br label %127
127: ; preds = %124, %33, %17
%128 = phi i32 [ 1, %17 ], [ 0, %33 ], [ 0, %124 ]
ret i32 %128
}