#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*/ verificarReglas(int **, int, int, int, int);
int verificarReglasEnGeneral(int sudoku[9][9]) {
  int i, j;
  for (j = 0; j < 9; j++) {
    for (i = 0; i < 9; i++) {
      if (!verificarReglas(sudoku, i, j, sudoku[i][j], 1)) {
        return 0;
      }
    }
  }
  return 1;
}


x86 assembly (clang, -O0):
<verificarReglasEnGeneral>:
push   %rbp
mov    %rsp,%rbp
sub    $0x20,%rsp
mov    %rdi,-0x10(%rbp)
movl   $0x0,-0x18(%rbp)
cmpl   $0x9,-0x18(%rbp)
jge    11a4 <verificarReglasEnGeneral+0x94>
movl   $0x0,-0x14(%rbp)
cmpl   $0x9,-0x14(%rbp)
jge    1191 <verificarReglasEnGeneral+0x81>
mov    -0x10(%rbp),%rdi
mov    -0x14(%rbp),%esi
mov    -0x18(%rbp),%edx
mov    -0x10(%rbp),%rax
movslq -0x14(%rbp),%rcx
imul   $0x24,%rcx,%rcx
add    %rcx,%rax
movslq -0x18(%rbp),%rcx
mov    (%rax,%rcx,4),%ecx
mov    $0x1,%r8d
call   1030 <verificarReglas@plt>
cmp    $0x0,%eax
jne    117e <verificarReglasEnGeneral+0x6e>
movl   $0x0,-0x4(%rbp)
jmp    11ab <verificarReglasEnGeneral+0x9b>
jmp    1183 <verificarReglasEnGeneral+0x73>
mov    -0x14(%rbp),%eax
add    $0x1,%eax
mov    %eax,-0x14(%rbp)
jmp    1134 <verificarReglasEnGeneral+0x24>
jmp    1196 <verificarReglasEnGeneral+0x86>
mov    -0x18(%rbp),%eax
add    $0x1,%eax
mov    %eax,-0x18(%rbp)
jmp    1123 <verificarReglasEnGeneral+0x13>
movl   $0x1,-0x4(%rbp)
mov    -0x4(%rbp),%eax
add    $0x20,%rsp
pop    %rbp
ret

x86 assembly (clang, -O2):
<verificarReglasEnGeneral>:
push   %r15
push   %r14
push   %rbx
mov    %rdi,%r15
xor    %r14d,%r14d
xor    %ebx,%ebx
mov    (%r15,%rbx,4),%ecx
mov    %r15,%rdi
xor    %esi,%esi
mov    %ebx,%edx
mov    $0x1,%r8d
call   1030 <verificarReglas@plt>
test   %eax,%eax
je     125e <verificarReglasEnGeneral+0x14e>
mov    0x24(%r15,%rbx,4),%ecx
mov    %r15,%rdi
mov    $0x1,%esi
mov    %ebx,%edx
mov    $0x1,%r8d
call   1030 <verificarReglas@plt>
test   %eax,%eax
je     125e <verificarReglasEnGeneral+0x14e>
mov    0x48(%r15,%rbx,4),%ecx
mov    %r15,%rdi
mov    $0x2,%esi
mov    %ebx,%edx
mov    $0x1,%r8d
call   1030 <verificarReglas@plt>
test   %eax,%eax
je     125e <verificarReglasEnGeneral+0x14e>
mov    0x6c(%r15,%rbx,4),%ecx
mov    %r15,%rdi
mov    $0x3,%esi
mov    %ebx,%edx
mov    $0x1,%r8d
call   1030 <verificarReglas@plt>
test   %eax,%eax
je     125e <verificarReglasEnGeneral+0x14e>
mov    0x90(%r15,%rbx,4),%ecx
mov    %r15,%rdi
mov    $0x4,%esi
mov    %ebx,%edx
mov    $0x1,%r8d
call   1030 <verificarReglas@plt>
test   %eax,%eax
je     125e <verificarReglasEnGeneral+0x14e>
mov    0xb4(%r15,%rbx,4),%ecx
mov    %r15,%rdi
mov    $0x5,%esi
mov    %ebx,%edx
mov    $0x1,%r8d
call   1030 <verificarReglas@plt>
test   %eax,%eax
je     125e <verificarReglasEnGeneral+0x14e>
mov    0xd8(%r15,%rbx,4),%ecx
mov    %r15,%rdi
mov    $0x6,%esi
mov    %ebx,%edx
mov    $0x1,%r8d
call   1030 <verificarReglas@plt>
test   %eax,%eax
je     125e <verificarReglasEnGeneral+0x14e>
mov    0xfc(%r15,%rbx,4),%ecx
mov    %r15,%rdi
mov    $0x7,%esi
mov    %ebx,%edx
mov    $0x1,%r8d
call   1030 <verificarReglas@plt>
test   %eax,%eax
je     125e <verificarReglasEnGeneral+0x14e>
mov    0x120(%r15,%rbx,4),%ecx
mov    %r15,%rdi
mov    $0x8,%esi
mov    %ebx,%edx
mov    $0x1,%r8d
call   1030 <verificarReglas@plt>
test   %eax,%eax
je     125e <verificarReglasEnGeneral+0x14e>
add    $0x1,%rbx
cmp    $0x9,%rbx
jne    111d <verificarReglasEnGeneral+0xd>
mov    $0x1,%r14d
mov    %r14d,%eax
pop    %rbx
pop    %r14
pop    %r15
ret

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

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