#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__ check(int *, int *, int, int);
scalar_t__ malloc(int);
void dfs(int n, int *sol, int *nums, char ***ret, int *size, int dp) {
  int i, j;
  if (dp == n) {
    ret[*size] = (char **)malloc(sizeof(char *) * n);
    for (i = 0; i < n; i++) {
      ret[*size][i] = (char *)malloc(sizeof(char) * (n + 1));
    }
    for (i = 0; i < n; i++) {
      for (j = 0; j < n; j++) {
        if (j == sol[i]) {
          ret[*size][i][j] = 'Q';
        } else {
          ret[*size][i][j] = '.';
        }
      }
      ret[*size][i][j] = '\0';
    }
    (*size)++;
    return;
  }
  for (i = 0; i < n; i++) {
    if (check(sol, nums, dp, i) == 0) {
      sol[dp] = i;
      nums[i] = 0;
      dfs(n, sol, nums, ret, size, dp + 1);
      nums[i] = 1;
    }
  }
}


x86 assembly (clang, -O0):
<dfs>:
push   %rbp
mov    %rsp,%rbp
sub    $0x40,%rsp
mov    %edi,-0x4(%rbp)
mov    %rsi,-0x10(%rbp)
mov    %rdx,-0x18(%rbp)
mov    %rcx,-0x20(%rbp)
mov    %r8,-0x28(%rbp)
mov    %r9d,-0x2c(%rbp)
mov    -0x2c(%rbp),%eax
cmp    -0x4(%rbp),%eax
jne    1297 <dfs+0x167>
movslq -0x4(%rbp),%rax
shl    $0x3,%rax
mov    %eax,%edi
call   1030 <malloc@plt>
mov    %rax,%rdx
mov    -0x20(%rbp),%rax
mov    -0x28(%rbp),%rcx
movslq (%rcx),%rcx
mov    %rdx,(%rax,%rcx,8)
movl   $0x0,-0x30(%rbp)
mov    -0x30(%rbp),%eax
cmp    -0x4(%rbp),%eax
jge    11ca <dfs+0x9a>
mov    -0x4(%rbp),%eax
add    $0x1,%eax
cltq
shl    $0x0,%rax
mov    %eax,%edi
call   1030 <malloc@plt>
mov    %rax,%rdx
mov    -0x20(%rbp),%rax
mov    -0x28(%rbp),%rcx
movslq (%rcx),%rcx
mov    (%rax,%rcx,8),%rax
movslq -0x30(%rbp),%rcx
mov    %rdx,(%rax,%rcx,8)
mov    -0x30(%rbp),%eax
add    $0x1,%eax
mov    %eax,-0x30(%rbp)
jmp    1183 <dfs+0x53>
movl   $0x0,-0x30(%rbp)
mov    -0x30(%rbp),%eax
cmp    -0x4(%rbp),%eax
jge    1287 <dfs+0x157>
movl   $0x0,-0x34(%rbp)
mov    -0x34(%rbp),%eax
cmp    -0x4(%rbp),%eax
jge    125a <dfs+0x12a>
mov    -0x34(%rbp),%eax
mov    -0x10(%rbp),%rcx
movslq -0x30(%rbp),%rdx
cmp    (%rcx,%rdx,4),%eax
jne    1228 <dfs+0xf8>
mov    -0x20(%rbp),%rax
mov    -0x28(%rbp),%rcx
movslq (%rcx),%rcx
mov    (%rax,%rcx,8),%rax
movslq -0x30(%rbp),%rcx
mov    (%rax,%rcx,8),%rax
movslq -0x34(%rbp),%rcx
movb   $0x51,(%rax,%rcx,1)
jmp    1247 <dfs+0x117>
mov    -0x20(%rbp),%rax
mov    -0x28(%rbp),%rcx
movslq (%rcx),%rcx
mov    (%rax,%rcx,8),%rax
movslq -0x30(%rbp),%rcx
mov    (%rax,%rcx,8),%rax
movslq -0x34(%rbp),%rcx
movb   $0x2e,(%rax,%rcx,1)
jmp    124c <dfs+0x11c>
mov    -0x34(%rbp),%eax
add    $0x1,%eax
mov    %eax,-0x34(%rbp)
jmp    11e4 <dfs+0xb4>
mov    -0x20(%rbp),%rax
mov    -0x28(%rbp),%rcx
movslq (%rcx),%rcx
mov    (%rax,%rcx,8),%rax
movslq -0x30(%rbp),%rcx
mov    (%rax,%rcx,8),%rax
movslq -0x34(%rbp),%rcx
movb   $0x0,(%rax,%rcx,1)
mov    -0x30(%rbp),%eax
add    $0x1,%eax
mov    %eax,-0x30(%rbp)
jmp    11d1 <dfs+0xa1>
mov    -0x28(%rbp),%rax
mov    (%rax),%ecx
add    $0x1,%ecx
mov    %ecx,(%rax)
jmp    1326 <dfs+0x1f6>
movl   $0x0,-0x30(%rbp)
mov    -0x30(%rbp),%eax
cmp    -0x4(%rbp),%eax
jge    1326 <dfs+0x1f6>
mov    -0x10(%rbp),%rdi
mov    -0x18(%rbp),%rsi
mov    -0x2c(%rbp),%edx
mov    -0x30(%rbp),%ecx
call   1040 <check@plt>
cmp    $0x0,%rax
jne    1313 <dfs+0x1e3>
mov    -0x30(%rbp),%edx
mov    -0x10(%rbp),%rax
movslq -0x2c(%rbp),%rcx
mov    %edx,(%rax,%rcx,4)
mov    -0x18(%rbp),%rax
movslq -0x30(%rbp),%rcx
movl   $0x0,(%rax,%rcx,4)
mov    -0x4(%rbp),%edi
mov    -0x10(%rbp),%rsi
mov    -0x18(%rbp),%rdx
mov    -0x20(%rbp),%rcx
mov    -0x28(%rbp),%r8
mov    -0x2c(%rbp),%r9d
add    $0x1,%r9d
call   1050 <dfs@plt>
mov    -0x18(%rbp),%rax
movslq -0x30(%rbp),%rcx
movl   $0x1,(%rax,%rcx,4)
jmp    1318 <dfs+0x1e8>
mov    -0x30(%rbp),%eax
add    $0x1,%eax
mov    %eax,-0x30(%rbp)
jmp    129e <dfs+0x16e>
add    $0x40,%rsp
pop    %rbp
ret

x86 assembly (clang, -O2):
<dfs>:
push   %rbp
push   %r15
push   %r14
push   %r13
push   %r12
push   %rbx
sub    $0x18,%rsp
mov    %r8,%r15
mov    %rcx,%rbx
mov    %rsi,%r12
cmp    %edi,%r9d
mov    %r9,(%rsp)
jne    1263 <dfs+0x133>
lea    0x0(,%r9,8),%edi
call   1030 <malloc@plt>
mov    (%rsp),%rdx
movslq (%r15),%rcx
mov    %rax,(%rbx,%rcx,8)
test   %edx,%edx
jle    12eb <dfs+0x1bb>
lea    0x1(%rdx),%r14d
mov    %edx,%r13d
xor    %ebp,%ebp
nopl   (%rax)
mov    %r14d,%edi
call   1030 <malloc@plt>
movslq (%r15),%rcx
mov    (%rbx,%rcx,8),%rdx
mov    %rax,(%rdx,%rbp,8)
add    $0x1,%rbp
cmp    %rbp,%r13
jne    1180 <dfs+0x50>
mov    (%rsp),%r8
test   %r8d,%r8d
jle    12eb <dfs+0x1bb>
mov    %r13d,%eax
and    $0xfffffffe,%eax
xor    %ecx,%ecx
mov    $0x51,%edx
jmp    11dd <dfs+0xad>
nopl   0x0(%rax,%rax,1)
movslq (%r15),%rsi
mov    (%rbx,%rsi,8),%rsi
mov    (%rsi,%rcx,8),%rsi
movb   $0x0,(%rsi,%r13,1)
add    $0x1,%rcx
cmp    %r13,%rcx
je     12e8 <dfs+0x1b8>
xor    %esi,%esi
cmp    $0x1,%r8d
je     123a <dfs+0x10a>
cs nopw 0x0(%rax,%rax,1)
nop
mov    (%r12,%rcx,4),%edi
cmp    %rdi,%rsi
movslq (%r15),%rdi
mov    (%rbx,%rdi,8),%rdi
mov    (%rdi,%rcx,8),%rdi
mov    $0x2e,%ebp
cmove  %edx,%ebp
mov    %bpl,(%rdi,%rsi,1)
mov    (%r12,%rcx,4),%edi
lea    0x1(%rsi),%rbp
cmp    %rdi,%rbp
movslq (%r15),%rdi
mov    (%rbx,%rdi,8),%rdi
mov    $0x2e,%ebp
cmove  %edx,%ebp
mov    (%rdi,%rcx,8),%rdi
mov    %bpl,0x1(%rdi,%rsi,1)
add    $0x2,%rsi
cmp    %rax,%rsi
jne    11f0 <dfs+0xc0>
test   $0x1,%r13b
je     11c0 <dfs+0x90>
mov    (%r12,%rcx,4),%edi
cmp    %rdi,%rsi
movslq (%r15),%rdi
mov    (%rbx,%rdi,8),%rdi
mov    (%rdi,%rcx,8),%rdi
mov    $0x2e,%ebp
cmove  %edx,%ebp
mov    %bpl,(%rdi,%rsi,1)
jmp    11c0 <dfs+0x90>
test   %edi,%edi
jle    12f1 <dfs+0x1c1>
mov    %rdx,%r13
mov    %edi,%ebp
movslq %r9d,%rax
mov    %rax,0x10(%rsp)
lea    0x1(%r9),%eax
mov    %eax,0xc(%rsp)
xor    %r14d,%r14d
jmp    129d <dfs+0x16d>
cs nopw 0x0(%rax,%rax,1)
nop
add    $0x1,%r14
cmp    %r14,%rbp
mov    (%rsp),%r9
je     12f1 <dfs+0x1c1>
mov    %r12,%rdi
mov    %r13,%rsi
mov    %r9d,%edx
mov    %r14d,%ecx
call   1040 <check@plt>
test   %rax,%rax
jne    1290 <dfs+0x160>
mov    0x10(%rsp),%rax
mov    %r14d,(%r12,%rax,4)
movl   $0x0,0x0(%r13,%r14,4)
mov    %ebp,%edi
mov    %r12,%rsi
mov    %r13,%rdx
mov    %rbx,%rcx
mov    %r15,%r8
mov    0xc(%rsp),%r9d
call   1050 <dfs@plt>
movl   $0x1,0x0(%r13,%r14,4)
jmp    1290 <dfs+0x160>
mov    (%r15),%ecx
add    $0x1,%ecx
mov    %ecx,(%r15)
add    $0x18,%rsp
pop    %rbx
pop    %r12
pop    %r13
pop    %r14
pop    %r15
pop    %rbp
ret

LLVM IR (-O0):
define void @dfs(i32 %0, i32* %1, i32* %2, i8*** %3, i32* %4, i32 %5) {
%7 = alloca i32
%8 = alloca i32*
%9 = alloca i32*
%10 = alloca i8***
%11 = alloca i32*
%12 = alloca i32
%13 = alloca i32
%14 = alloca i32
store i32 %0, i32* %7
store i32* %1, i32** %8
store i32* %2, i32** %9
store i8*** %3, i8**** %10
store i32* %4, i32** %11
store i32 %5, i32* %12
%15 = load i32, i32* %12
%16 = load i32, i32* %7
%17 = icmp eq i32 %15, %16
br i1 %17, label %18, label %125
18: ; preds = %6
%19 = load i32, i32* %7
%20 = sext i32 %19 to i64
%21 = mul i64 8, %20
%22 = trunc i64 %21 to i32
%23 = call i64 @malloc(i32 %22)
%24 = inttoptr i64 %23 to i8**
%25 = load i8***, i8**** %10
%26 = load i32*, i32** %11
%27 = load i32, i32* %26
%28 = sext i32 %27 to i64
%29 = getelementptr inbounds i8**, i8*** %25, i64 %28
store i8** %24, i8*** %29
store i32 0, i32* %13
br label %30
30: ; preds = %51, %18
%31 = load i32, i32* %13
%32 = load i32, i32* %7
%33 = icmp slt i32 %31, %32
br i1 %33, label %34, label %54
34: ; preds = %30
%35 = load i32, i32* %7
%36 = add nsw i32 %35, 1
%37 = sext i32 %36 to i64
%38 = mul i64 1, %37
%39 = trunc i64 %38 to i32
%40 = call i64 @malloc(i32 %39)
%41 = inttoptr i64 %40 to i8*
%42 = load i8***, i8**** %10
%43 = load i32*, i32** %11
%44 = load i32, i32* %43
%45 = sext i32 %44 to i64
%46 = getelementptr inbounds i8**, i8*** %42, i64 %45
%47 = load i8**, i8*** %46
%48 = load i32, i32* %13
%49 = sext i32 %48 to i64
%50 = getelementptr inbounds i8*, i8** %47, i64 %49
store i8* %41, i8** %50
br label %51
51: ; preds = %34
%52 = load i32, i32* %13
%53 = add nsw i32 %52, 1
store i32 %53, i32* %13
br label %30
54: ; preds = %30
store i32 0, i32* %13
br label %55
55: ; preds = %118, %54
%56 = load i32, i32* %13
%57 = load i32, i32* %7
%58 = icmp slt i32 %56, %57
br i1 %58, label %59, label %121
59: ; preds = %55
store i32 0, i32* %14
br label %60
60: ; preds = %101, %59
%61 = load i32, i32* %14
%62 = load i32, i32* %7
%63 = icmp slt i32 %61, %62
br i1 %63, label %64, label %104
64: ; preds = %60
%65 = load i32, i32* %14
%66 = load i32*, i32** %8
%67 = load i32, i32* %13
%68 = sext i32 %67 to i64
%69 = getelementptr inbounds i32, i32* %66, i64 %68
%70 = load i32, i32* %69
%71 = icmp eq i32 %65, %70
br i1 %71, label %72, label %86
72: ; preds = %64
%73 = load i8***, i8**** %10
%74 = load i32*, i32** %11
%75 = load i32, i32* %74
%76 = sext i32 %75 to i64
%77 = getelementptr inbounds i8**, i8*** %73, i64 %76
%78 = load i8**, i8*** %77
%79 = load i32, i32* %13
%80 = sext i32 %79 to i64
%81 = getelementptr inbounds i8*, i8** %78, i64 %80
%82 = load i8*, i8** %81
%83 = load i32, i32* %14
%84 = sext i32 %83 to i64
%85 = getelementptr inbounds i8, i8* %82, i64 %84
store i8 81, i8* %85
br label %100
86: ; preds = %64
%87 = load i8***, i8**** %10
%88 = load i32*, i32** %11
%89 = load i32, i32* %88
%90 = sext i32 %89 to i64
%91 = getelementptr inbounds i8**, i8*** %87, i64 %90
%92 = load i8**, i8*** %91
%93 = load i32, i32* %13
%94 = sext i32 %93 to i64
%95 = getelementptr inbounds i8*, i8** %92, i64 %94
%96 = load i8*, i8** %95
%97 = load i32, i32* %14
%98 = sext i32 %97 to i64
%99 = getelementptr inbounds i8, i8* %96, i64 %98
store i8 46, i8* %99
br label %100
100: ; preds = %86, %72
br label %101
101: ; preds = %100
%102 = load i32, i32* %14
%103 = add nsw i32 %102, 1
store i32 %103, i32* %14
br label %60
104: ; preds = %60
%105 = load i8***, i8**** %10
%106 = load i32*, i32** %11
%107 = load i32, i32* %106
%108 = sext i32 %107 to i64
%109 = getelementptr inbounds i8**, i8*** %105, i64 %108
%110 = load i8**, i8*** %109
%111 = load i32, i32* %13
%112 = sext i32 %111 to i64
%113 = getelementptr inbounds i8*, i8** %110, i64 %112
%114 = load i8*, i8** %113
%115 = load i32, i32* %14
%116 = sext i32 %115 to i64
%117 = getelementptr inbounds i8, i8* %114, i64 %116
store i8 0, i8* %117
br label %118
118: ; preds = %104
%119 = load i32, i32* %13
%120 = add nsw i32 %119, 1
store i32 %120, i32* %13
br label %55
121: ; preds = %55
%122 = load i32*, i32** %11
%123 = load i32, i32* %122
%124 = add nsw i32 %123, 1
store i32 %124, i32* %122
br label %162
125: ; preds = %6
store i32 0, i32* %13
br label %126
126: ; preds = %159, %125
%127 = load i32, i32* %13
%128 = load i32, i32* %7
%129 = icmp slt i32 %127, %128
br i1 %129, label %130, label %162
130: ; preds = %126
%131 = load i32*, i32** %8
%132 = load i32*, i32** %9
%133 = load i32, i32* %12
%134 = load i32, i32* %13
%135 = call i64 @check(i32* %131, i32* %132, i32 %133, i32 %134)
%136 = icmp eq i64 %135, 0
br i1 %136, label %137, label %158
137: ; preds = %130
%138 = load i32, i32* %13
%139 = load i32*, i32** %8
%140 = load i32, i32* %12
%141 = sext i32 %140 to i64
%142 = getelementptr inbounds i32, i32* %139, i64 %141
store i32 %138, i32* %142
%143 = load i32*, i32** %9
%144 = load i32, i32* %13
%145 = sext i32 %144 to i64
%146 = getelementptr inbounds i32, i32* %143, i64 %145
store i32 0, i32* %146
%147 = load i32, i32* %7
%148 = load i32*, i32** %8
%149 = load i32*, i32** %9
%150 = load i8***, i8**** %10
%151 = load i32*, i32** %11
%152 = load i32, i32* %12
%153 = add nsw i32 %152, 1
%154 = load i32*, i32** %9
%155 = load i32, i32* %13
%156 = sext i32 %155 to i64
%157 = getelementptr inbounds i32, i32* %154, i64 %156
store i32 1, i32* %157
br label %158
158: ; preds = %137, %130
br label %159
159: ; preds = %158
%160 = load i32, i32* %13
%161 = add nsw i32 %160, 1
store i32 %161, i32* %13
br label %126
162: ; preds = %121, %126
ret void
}

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