int verifica_parola(char parola[], char schema[][5], int flags[][5], int r,
                    int c) {
  int i, j;
  int continue_flag = 1;
  if (parola[0] == schema[r][c] && flags[r][c] == 0) {
    flags[r][c] = 1;
    if (parola[1] == '\0') {
      return 1;
    }
    for (i = r - 1; (i <= r + 1) && continue_flag; i++) {
      for (j = c - 1; j <= c + 1; j++) {
        if ((i < 0 || j > 5 - 1) || (i == r && j == c)) {
          continue;
        }
        if ((parola[1] == schema[i][j]) && (flags[i][j] == 0)) {
          continue_flag = !verifica_parola(parola + 1, schema, flags, i, j);
          if (continue_flag == 0)
            break;
        }
      }
    }
    return (continue_flag == 0);
  }
  return 0;
}


x86 assembly (clang, -O0):
<verifica_parola>:
push   %rbp
mov    %rsp,%rbp
sub    $0x40,%rsp
mov    %rdi,-0x10(%rbp)
mov    %rsi,-0x18(%rbp)
mov    %rdx,-0x20(%rbp)
mov    %ecx,-0x24(%rbp)
mov    %r8d,-0x28(%rbp)
movl   $0x1,-0x34(%rbp)
mov    -0x10(%rbp),%rax
movsbl (%rax),%eax
mov    -0x18(%rbp),%rcx
movslq -0x24(%rbp),%rdx
imul   $0x5,%rdx,%rdx
add    %rdx,%rcx
movslq -0x28(%rbp),%rdx
movsbl (%rcx,%rdx,1),%ecx
cmp    %ecx,%eax
jne    12ee <verifica_parola+0x1de>
mov    -0x20(%rbp),%rax
movslq -0x24(%rbp),%rcx
imul   $0x14,%rcx,%rcx
add    %rcx,%rax
movslq -0x28(%rbp),%rcx
cmpl   $0x0,(%rax,%rcx,4)
jne    12ee <verifica_parola+0x1de>
mov    -0x20(%rbp),%rax
movslq -0x24(%rbp),%rcx
imul   $0x14,%rcx,%rcx
add    %rcx,%rax
movslq -0x28(%rbp),%rcx
movl   $0x1,(%rax,%rcx,4)
mov    -0x10(%rbp),%rax
movsbl 0x1(%rax),%eax
cmp    $0x0,%eax
jne    11ac <verifica_parola+0x9c>
movl   $0x1,-0x4(%rbp)
jmp    12f5 <verifica_parola+0x1e5>
mov    -0x24(%rbp),%eax
sub    $0x1,%eax
mov    %eax,-0x2c(%rbp)
mov    -0x2c(%rbp),%ecx
mov    -0x24(%rbp),%edx
add    $0x1,%edx
xor    %eax,%eax
cmp    %edx,%ecx
mov    %al,-0x35(%rbp)
jg     11d5 <verifica_parola+0xc5>
cmpl   $0x0,-0x34(%rbp)
setne  %al
mov    %al,-0x35(%rbp)
mov    -0x35(%rbp),%al
test   $0x1,%al
jne    11e5 <verifica_parola+0xd5>
jmp    12da <verifica_parola+0x1ca>
mov    -0x28(%rbp),%eax
sub    $0x1,%eax
mov    %eax,-0x30(%rbp)
mov    -0x30(%rbp),%eax
mov    -0x28(%rbp),%ecx
add    $0x1,%ecx
cmp    %ecx,%eax
jg     12c7 <verifica_parola+0x1b7>
cmpl   $0x0,-0x2c(%rbp)
jl     122b <verifica_parola+0x11b>
cmpl   $0x4,-0x30(%rbp)
jg     122b <verifica_parola+0x11b>
mov    -0x2c(%rbp),%eax
cmp    -0x24(%rbp),%eax
jne    1230 <verifica_parola+0x120>
mov    -0x30(%rbp),%eax
cmp    -0x28(%rbp),%eax
jne    1230 <verifica_parola+0x120>
jmp    12b9 <verifica_parola+0x1a9>
mov    -0x10(%rbp),%rax
movsbl 0x1(%rax),%eax
mov    -0x18(%rbp),%rcx
movslq -0x2c(%rbp),%rdx
imul   $0x5,%rdx,%rdx
add    %rdx,%rcx
movslq -0x30(%rbp),%rdx
movsbl (%rcx,%rdx,1),%ecx
cmp    %ecx,%eax
jne    12b4 <verifica_parola+0x1a4>
mov    -0x20(%rbp),%rax
movslq -0x2c(%rbp),%rcx
imul   $0x14,%rcx,%rcx
add    %rcx,%rax
movslq -0x30(%rbp),%rcx
cmpl   $0x0,(%rax,%rcx,4)
jne    12b4 <verifica_parola+0x1a4>
mov    -0x10(%rbp),%rdi
add    $0x1,%rdi
mov    -0x18(%rbp),%rsi
mov    -0x20(%rbp),%rdx
mov    -0x2c(%rbp),%ecx
mov    -0x30(%rbp),%r8d
call   1030 <verifica_parola@plt>
cmp    $0x0,%eax
setne  %al
xor    $0xff,%al
and    $0x1,%al
movzbl %al,%eax
mov    %eax,-0x34(%rbp)
cmpl   $0x0,-0x34(%rbp)
jne    12af <verifica_parola+0x19f>
jmp    12c7 <verifica_parola+0x1b7>
jmp    12b4 <verifica_parola+0x1a4>
jmp    12b9 <verifica_parola+0x1a9>
mov    -0x30(%rbp),%eax
add    $0x1,%eax
mov    %eax,-0x30(%rbp)
jmp    11ee <verifica_parola+0xde>
jmp    12cc <verifica_parola+0x1bc>
mov    -0x2c(%rbp),%eax
add    $0x1,%eax
mov    %eax,-0x2c(%rbp)
jmp    11b5 <verifica_parola+0xa5>
cmpl   $0x0,-0x34(%rbp)
sete   %al
and    $0x1,%al
movzbl %al,%eax
mov    %eax,-0x4(%rbp)
jmp    12f5 <verifica_parola+0x1e5>
movl   $0x0,-0x4(%rbp)
mov    -0x4(%rbp),%eax
add    $0x40,%rsp
pop    %rbp
ret

x86 assembly (clang, -O2):
<verifica_parola>:
push   %rbp
push   %r15
push   %r14
push   %r13
push   %r12
push   %rbx
sub    $0x28,%rsp
mov    %ecx,%ebx
mov    (%rdi),%r9b
movslq %ecx,%rax
movslq %r8d,%r15
lea    (%rax,%rax,4),%rbp
lea    (%rsi,%rbp,1),%rcx
xor    %eax,%eax
cmp    (%r15,%rcx,1),%r9b
jne    1218 <verifica_parola+0x108>
lea    (%rdx,%rbp,4),%rcx
cmpl   $0x0,(%rcx,%r15,4)
jne    1218 <verifica_parola+0x108>
lea    (%rcx,%r15,4),%rax
movl   $0x1,(%rax)
cmpb   $0x0,0x1(%rdi)
je     120f <verifica_parola+0xff>
mov    %rsi,%r13
add    $0x1,%rdi
lea    -0x1(%rbx),%ebp
add    $0xffffffff,%r8d
movslq %r8d,%rax
mov    %rax,0x8(%rsp)
mov    %rdx,0x18(%rsp)
mov    %rdi,0x10(%rsp)
jmp    1199 <verifica_parola+0x89>
cs nopw 0x0(%rax,%rax,1)
nopl   0x0(%rax)
lea    0x1(%rbp),%eax
cmp    %ebx,%ebp
mov    %eax,%ebp
jg     1216 <verifica_parola+0x106>
mov    %ebp,%eax
lea    (%rax,%rax,4),%rax
lea    (%rax,%r13,1),%r12
lea    (%rdx,%rax,4),%rcx
mov    0x8(%rsp),%r14
mov    %rcx,0x20(%rsp)
jmp    11cc <verifica_parola+0xbc>
cs nopw 0x0(%rax,%rax,1)
nopl   (%rax)
lea    0x1(%r14),%rax
cmp    %r15,%r14
mov    %rax,%r14
jg     1190 <verifica_parola+0x80>
test   %ebp,%ebp
js     11c0 <verifica_parola+0xb0>
cmp    $0x4,%r14
jg     11c0 <verifica_parola+0xb0>
cmp    %ebx,%ebp
jne    11df <verifica_parola+0xcf>
cmp    %r14,%r15
je     11c0 <verifica_parola+0xb0>
movzbl (%rdi),%eax
cmp    (%r12,%r14,1),%al
jne    11c0 <verifica_parola+0xb0>
cmpl   $0x0,(%rcx,%r14,4)
jne    11c0 <verifica_parola+0xb0>
mov    %r13,%rsi
mov    %ebp,%ecx
mov    %r14d,%r8d
call   1030 <verifica_parola@plt>
mov    0x20(%rsp),%rcx
mov    0x10(%rsp),%rdi
mov    0x18(%rsp),%rdx
test   %eax,%eax
je     11c0 <verifica_parola+0xb0>
mov    $0x1,%eax
jmp    1218 <verifica_parola+0x108>
xor    %eax,%eax
add    $0x28,%rsp
pop    %rbx
pop    %r12
pop    %r13
pop    %r14
pop    %r15
pop    %rbp
ret

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

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