#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 verify_position(int **, int, int, int);
int try_another(int **sudoku, int n, int i, int j) {
  int p = n * n;
  while (1) {
    sudoku[i][j]++;
    if (sudoku[i][j] > p) {
      sudoku[i][j] = 0;
      return 0;
    }
    if (verify_position(sudoku, n, i, j) == 1) {
      return 1;
    }
  }
}


x86 assembly (clang, -O0):
<try_another>:
push   %rbp
mov    %rsp,%rbp
sub    $0x20,%rsp
mov    %rdi,-0x10(%rbp)
mov    %esi,-0x14(%rbp)
mov    %edx,-0x18(%rbp)
mov    %ecx,-0x1c(%rbp)
mov    -0x14(%rbp),%eax
imul   -0x14(%rbp),%eax
mov    %eax,-0x20(%rbp)
mov    -0x10(%rbp),%rax
movslq -0x18(%rbp),%rcx
mov    (%rax,%rcx,8),%rax
movslq -0x1c(%rbp),%rcx
mov    (%rax,%rcx,4),%edx
add    $0x1,%edx
mov    %edx,(%rax,%rcx,4)
mov    -0x10(%rbp),%rax
movslq -0x18(%rbp),%rcx
mov    (%rax,%rcx,8),%rax
movslq -0x1c(%rbp),%rcx
mov    (%rax,%rcx,4),%eax
cmp    -0x20(%rbp),%eax
jle    1187 <try_another+0x77>
mov    -0x10(%rbp),%rax
movslq -0x18(%rbp),%rcx
mov    (%rax,%rcx,8),%rax
movslq -0x1c(%rbp),%rcx
movl   $0x0,(%rax,%rcx,4)
movl   $0x0,-0x4(%rbp)
jmp    11b3 <try_another+0xa3>
mov    -0x10(%rbp),%rdi
mov    -0x14(%rbp),%esi
mov    -0x18(%rbp),%edx
mov    -0x1c(%rbp),%ecx
call   1030 <verify_position@plt>
cmp    $0x1,%eax
jne    11ae <try_another+0x9e>
movl   $0x1,-0x4(%rbp)
jmp    11b3 <try_another+0xa3>
jmp    112f <try_another+0x1f>
mov    -0x4(%rbp),%eax
add    $0x20,%rsp
pop    %rbp
ret

x86 assembly (clang, -O2):
<try_another>:
push   %rbp
push   %r15
push   %r14
push   %r13
push   %r12
push   %rbx
push   %rax
mov    %rdi,%rbp
mov    %esi,0x4(%rsp)
mov    %esi,%r13d
imul   %esi,%r13d
mov    %edx,%r12d
movslq %edx,%r14
mov    %ecx,%r15d
movslq %ecx,%rbx
cs nopw 0x0(%rax,%rax,1)
nop
mov    0x0(%rbp,%r14,8),%rax
mov    (%rax,%rbx,4),%ecx
lea    0x1(%rcx),%edx
mov    %edx,(%rax,%rbx,4)
cmp    %r13d,%ecx
jge    1171 <try_another+0x61>
mov    %rbp,%rdi
mov    0x4(%rsp),%esi
mov    %r12d,%edx
mov    %r15d,%ecx
call   1030 <verify_position@plt>
cmp    $0x1,%eax
jne    1140 <try_another+0x30>
mov    $0x1,%eax
jmp    117a <try_another+0x6a>
movl   $0x0,(%rax,%rbx,4)
xor    %eax,%eax
add    $0x8,%rsp
pop    %rbx
pop    %r12
pop    %r13
pop    %r14
pop    %r15
pop    %rbp
ret

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

LLVM IR (-O2):
define i32 @try_another(i32** %0, i32 %1, i32 %2, i32 %3) {
%5 = mul nsw i32 %1, %1
%6 = sext i32 %2 to i64
%7 = getelementptr inbounds i32*, i32** %0, i64 %6
%8 = sext i32 %3 to i64
br label %9
9: ; preds = %17, %4
%10 = load i32*, i32** %7
%11 = getelementptr inbounds i32, i32* %10, i64 %8
%12 = load i32, i32* %11
%13 = add nsw i32 %12, 1
store i32 %13, i32* %11
%14 = icmp slt i32 %12, %5
br i1 %14, label %17, label %15
15: ; preds = %9
%16 = getelementptr inbounds i32, i32* %10, i64 %8
store i32 0, i32* %16
br label %20
17: ; preds = %9
%18 = tail call i32 @verify_position(i32** %0, i32 %1, i32 %2, i32 %3)
%19 = icmp eq i32 %18, 1
br i1 %19, label %20, label %9
20: ; preds = %17, %15
%21 = phi i32 [ 0, %15 ], [ 1, %17 ]
ret i32 %21
}