int little_label_and_check(temp, stack, label, stack_empty, stack_pointer, a, b,
                           value)
int a, b, stack[12][2], *stack_empty, *stack_pointer;
short temp[3][3], label, value;
{
  int c, d;
  temp[a][b] = label;
  for (c = a - 1; c <= a + 1; c++) {
    for (d = b - 1; d <= b + 1; d++) {
      if (c >= 0 && c <= 2 && d >= 0 && d <= 2)
        if (temp[c][d] == value) {
          *stack_pointer = *stack_pointer + 1;
          stack[*stack_pointer][0] = c;
          stack[*stack_pointer][1] = d;
          *stack_empty = 0;
        }
    }
  }
  return (1);
}


x86 assembly (clang, -O0):
<little_label_and_check>:
push   %rbp
mov    %rsp,%rbp
mov    0x18(%rbp),%eax
mov    0x10(%rbp),%r10d
mov    %rdi,-0x8(%rbp)
mov    %rsi,-0x10(%rbp)
mov    %dx,-0x12(%rbp)
mov    %rcx,-0x20(%rbp)
mov    %r8,-0x28(%rbp)
mov    %r9d,-0x2c(%rbp)
mov    %ax,-0x2e(%rbp)
mov    -0x12(%rbp),%dx
mov    -0x8(%rbp),%rax
movslq -0x2c(%rbp),%rcx
imul   $0x6,%rcx,%rcx
add    %rcx,%rax
movslq 0x10(%rbp),%rcx
mov    %dx,(%rax,%rcx,2)
mov    -0x2c(%rbp),%eax
sub    $0x1,%eax
mov    %eax,-0x34(%rbp)
mov    -0x34(%rbp),%eax
mov    -0x2c(%rbp),%ecx
add    $0x1,%ecx
cmp    %ecx,%eax
jg     1228 <little_label_and_check+0x128>
mov    0x10(%rbp),%eax
sub    $0x1,%eax
mov    %eax,-0x38(%rbp)
mov    -0x38(%rbp),%eax
mov    0x10(%rbp),%ecx
add    $0x1,%ecx
cmp    %ecx,%eax
jg     1215 <little_label_and_check+0x115>
cmpl   $0x0,-0x34(%rbp)
jl     1202 <little_label_and_check+0x102>
cmpl   $0x2,-0x34(%rbp)
jg     1202 <little_label_and_check+0x102>
cmpl   $0x0,-0x38(%rbp)
jl     1202 <little_label_and_check+0x102>
cmpl   $0x2,-0x38(%rbp)
jg     1202 <little_label_and_check+0x102>
mov    -0x8(%rbp),%rax
movslq -0x34(%rbp),%rcx
imul   $0x6,%rcx,%rcx
add    %rcx,%rax
movslq -0x38(%rbp),%rcx
movswl (%rax,%rcx,2),%eax
movswl -0x2e(%rbp),%ecx
cmp    %ecx,%eax
jne    11fd <little_label_and_check+0xfd>
mov    -0x28(%rbp),%rax
mov    (%rax),%ecx
add    $0x1,%ecx
mov    -0x28(%rbp),%rax
mov    %ecx,(%rax)
mov    -0x34(%rbp),%edx
mov    -0x10(%rbp),%rax
mov    -0x28(%rbp),%rcx
movslq (%rcx),%rcx
mov    %edx,(%rax,%rcx,8)
mov    -0x38(%rbp),%edx
mov    -0x10(%rbp),%rax
mov    -0x28(%rbp),%rcx
movslq (%rcx),%rcx
mov    %edx,0x4(%rax,%rcx,8)
mov    -0x20(%rbp),%rax
movl   $0x0,(%rax)
jmp    1202 <little_label_and_check+0x102>
jmp    1207 <little_label_and_check+0x107>
mov    -0x38(%rbp),%eax
add    $0x1,%eax
mov    %eax,-0x38(%rbp)
jmp    1165 <little_label_and_check+0x65>
jmp    121a <little_label_and_check+0x11a>
mov    -0x34(%rbp),%eax
add    $0x1,%eax
mov    %eax,-0x34(%rbp)
jmp    114b <little_label_and_check+0x4b>
mov    $0x1,%eax
pop    %rbp
ret

x86 assembly (clang, -O2):
<little_label_and_check>:
push   %r15
push   %r14
push   %r13
push   %r12
push   %rbx
movslq 0x30(%rsp),%r10
movswl 0x38(%rsp),%r11d
movslq %r9d,%rax
lea    (%rax,%rax,2),%rbx
lea    (%rdi,%rbx,2),%rbx
mov    %dx,(%rbx,%r10,2)
add    $0xffffffff,%eax
lea    -0x1(%r10),%r15d
mov    %r10d,%r14d
lea    0x1(%r10),%r12d
jmp    114e <little_label_and_check+0x4e>
cs nopw 0x0(%rax,%rax,1)
xchg   %ax,%ax
lea    0x1(%rax),%edx
cmp    %r9d,%eax
mov    %edx,%eax
jg     120e <little_label_and_check+0x10e>
mov    %eax,%edx
cmp    $0x2,%r15d
ja     118a <little_label_and_check+0x8a>
cmp    $0x2,%eax
ja     118a <little_label_and_check+0x8a>
lea    (%rdx,%rdx,2),%rbx
lea    (%rdi,%rbx,2),%rbx
movswl (%rbx,%r15,2),%ebx
cmp    %ebx,%r11d
jne    118a <little_label_and_check+0x8a>
movslq (%r8),%r13
lea    0x1(%r13),%rbx
mov    %ebx,(%r8)
mov    %eax,0x8(%rsi,%r13,8)
movslq (%r8),%rbx
mov    %r15d,0x4(%rsi,%rbx,8)
movl   $0x0,(%rcx)
cmp    $0x2,%r10d
ja     11c4 <little_label_and_check+0xc4>
cmp    $0x2,%eax
ja     11c4 <little_label_and_check+0xc4>
lea    (%rdx,%rdx,2),%rbx
lea    (%rdi,%rbx,2),%rbx
movswl (%rbx,%r14,2),%ebx
cmp    %ebx,%r11d
jne    11c4 <little_label_and_check+0xc4>
movslq (%r8),%r13
lea    0x1(%r13),%rbx
mov    %ebx,(%r8)
mov    %eax,0x8(%rsi,%r13,8)
movslq (%r8),%rbx
mov    %r10d,0x4(%rsi,%rbx,8)
movl   $0x0,(%rcx)
cmp    $0x2,%r12d
ja     1140 <little_label_and_check+0x40>
cmp    $0x2,%eax
ja     1140 <little_label_and_check+0x40>
lea    (%rdx,%rdx,2),%rdx
lea    (%rdi,%rdx,2),%rdx
movswl (%rdx,%r12,2),%edx
cmp    %edx,%r11d
jne    1140 <little_label_and_check+0x40>
movslq (%r8),%rdx
lea    0x1(%rdx),%rbx
mov    %ebx,(%r8)
mov    %eax,0x8(%rsi,%rdx,8)
movslq (%r8),%rdx
mov    %r12d,0x4(%rsi,%rdx,8)
movl   $0x0,(%rcx)
jmp    1140 <little_label_and_check+0x40>
mov    $0x1,%eax
pop    %rbx
pop    %r12
pop    %r13
pop    %r14
pop    %r15
ret

LLVM IR (-O0):
define i32 @little_label_and_check([3 x i16]* %0, [2 x i32]* %1, i32 %2, i32* %3, i32* %4, i32 %5, i32 %6, i32 %7) {
%9 = alloca [3 x i16]*
%10 = alloca [2 x i32]*
%11 = alloca i16
%12 = alloca i32*
%13 = alloca i32*
%14 = alloca i32
%15 = alloca i32
%16 = alloca i16
%17 = alloca i32
%18 = alloca i32
%19 = trunc i32 %2 to i16
%20 = trunc i32 %7 to i16
store [3 x i16]* %0, [3 x i16]** %9
store [2 x i32]* %1, [2 x i32]** %10
store i16 %19, i16* %11
store i32* %3, i32** %12
store i32* %4, i32** %13
store i32 %5, i32* %14
store i32 %6, i32* %15
store i16 %20, i16* %16
%21 = load i16, i16* %11
%22 = load [3 x i16]*, [3 x i16]** %9
%23 = load i32, i32* %14
%24 = sext i32 %23 to i64
%25 = getelementptr inbounds [3 x i16], [3 x i16]* %22, i64 %24
%26 = load i32, i32* %15
%27 = sext i32 %26 to i64
%28 = getelementptr inbounds [3 x i16], [3 x i16]* %25, i64 0, i64 %27
store i16 %21, i16* %28
%29 = load i32, i32* %14
%30 = sub nsw i32 %29, 1
store i32 %30, i32* %17
br label %31
31: ; preds = %95, %8
%32 = load i32, i32* %17
%33 = load i32, i32* %14
%34 = add nsw i32 %33, 1
%35 = icmp sle i32 %32, %34
br i1 %35, label %36, label %98
36: ; preds = %31
%37 = load i32, i32* %15
%38 = sub nsw i32 %37, 1
store i32 %38, i32* %18
br label %39
39: ; preds = %91, %36
%40 = load i32, i32* %18
%41 = load i32, i32* %15
%42 = add nsw i32 %41, 1
%43 = icmp sle i32 %40, %42
br i1 %43, label %44, label %94
44: ; preds = %39
%45 = load i32, i32* %17
%46 = icmp sge i32 %45, 0
br i1 %46, label %47, label %90
47: ; preds = %44
%48 = load i32, i32* %17
%49 = icmp sle i32 %48, 2
br i1 %49, label %50, label %90
50: ; preds = %47
%51 = load i32, i32* %18
%52 = icmp sge i32 %51, 0
br i1 %52, label %53, label %90
53: ; preds = %50
%54 = load i32, i32* %18
%55 = icmp sle i32 %54, 2
br i1 %55, label %56, label %90
56: ; preds = %53
%57 = load [3 x i16]*, [3 x i16]** %9
%58 = load i32, i32* %17
%59 = sext i32 %58 to i64
%60 = getelementptr inbounds [3 x i16], [3 x i16]* %57, i64 %59
%61 = load i32, i32* %18
%62 = sext i32 %61 to i64
%63 = getelementptr inbounds [3 x i16], [3 x i16]* %60, i64 0, i64 %62
%64 = load i16, i16* %63
%65 = sext i16 %64 to i32
%66 = load i16, i16* %16
%67 = sext i16 %66 to i32
%68 = icmp eq i32 %65, %67
br i1 %68, label %69, label %89
69: ; preds = %56
%70 = load i32*, i32** %13
%71 = load i32, i32* %70
%72 = add nsw i32 %71, 1
%73 = load i32*, i32** %13
store i32 %72, i32* %73
%74 = load i32, i32* %17
%75 = load [2 x i32]*, [2 x i32]** %10
%76 = load i32*, i32** %13
%77 = load i32, i32* %76
%78 = sext i32 %77 to i64
%79 = getelementptr inbounds [2 x i32], [2 x i32]* %75, i64 %78
%80 = getelementptr inbounds [2 x i32], [2 x i32]* %79, i64 0, i64 0
store i32 %74, i32* %80
%81 = load i32, i32* %18
%82 = load [2 x i32]*, [2 x i32]** %10
%83 = load i32*, i32** %13
%84 = load i32, i32* %83
%85 = sext i32 %84 to i64
%86 = getelementptr inbounds [2 x i32], [2 x i32]* %82, i64 %85
%87 = getelementptr inbounds [2 x i32], [2 x i32]* %86, i64 0, i64 1
store i32 %81, i32* %87
%88 = load i32*, i32** %12
store i32 0, i32* %88
br label %89
89: ; preds = %69, %56
br label %90
90: ; preds = %89, %53, %50, %47, %44
br label %91
91: ; preds = %90
%92 = load i32, i32* %18
%93 = add nsw i32 %92, 1
store i32 %93, i32* %18
br label %39
94: ; preds = %39
br label %95
95: ; preds = %94
%96 = load i32, i32* %17
%97 = add nsw i32 %96, 1
store i32 %97, i32* %17
br label %31
98: ; preds = %31
ret i32 1
}

LLVM IR (-O2):
define i32 @little_label_and_check([3 x i16]* nocapture %0, [2 x i32]* nocapture writeonly %1, i32 %2, i32* nocapture writeonly %3, i32* nocapture %4, i32 %5, i32 %6, i32 %7) {
%9 = trunc i32 %2 to i16
%10 = sext i32 %5 to i64
%11 = sext i32 %6 to i64
%12 = getelementptr inbounds [3 x i16], [3 x i16]* %0, i64 %10, i64 %11
store i16 %9, i16* %12
%13 = add nsw i32 %5, -1
%14 = add nsw i32 %6, -1
%15 = shl i32 %7, 16
%16 = ashr exact i32 %15, 16
%17 = add i32 %6, -1
%18 = icmp ult i32 %17, 3
%19 = zext i32 %14 to i64
%20 = icmp ult i32 %6, 3
%21 = zext i32 %6 to i64
%22 = add nsw i32 %6, 1
%23 = add i32 %6, 1
%24 = icmp ult i32 %23, 3
%25 = zext i32 %22 to i64
br label %26
26: ; preds = %8, %74
%27 = phi i32 [ %13, %8 ], [ %75, %74 ]
%28 = icmp ult i32 %27, 3
%29 = zext i32 %27 to i64
%30 = and i1 %18, %28
br i1 %30, label %31, label %44
31: ; preds = %26
%32 = getelementptr inbounds [3 x i16], [3 x i16]* %0, i64 %29, i64 %19
%33 = load i16, i16* %32
%34 = sext i16 %33 to i32
%35 = icmp eq i32 %16, %34
br i1 %35, label %36, label %44
36: ; preds = %31
%37 = load i32, i32* %4
%38 = add nsw i32 %37, 1
store i32 %38, i32* %4
%39 = sext i32 %38 to i64
%40 = getelementptr inbounds [2 x i32], [2 x i32]* %1, i64 %39, i64 0
store i32 %27, i32* %40
%41 = load i32, i32* %4
%42 = sext i32 %41 to i64
%43 = getelementptr inbounds [2 x i32], [2 x i32]* %1, i64 %42, i64 1
store i32 %14, i32* %43
store i32 0, i32* %3
br label %44
44: ; preds = %31, %36, %26
%45 = and i1 %20, %28
br i1 %45, label %46, label %59
46: ; preds = %44
%47 = getelementptr inbounds [3 x i16], [3 x i16]* %0, i64 %29, i64 %21
%48 = load i16, i16* %47
%49 = sext i16 %48 to i32
%50 = icmp eq i32 %16, %49
br i1 %50, label %51, label %59
51: ; preds = %46
%52 = load i32, i32* %4
%53 = add nsw i32 %52, 1
store i32 %53, i32* %4
%54 = sext i32 %53 to i64
%55 = getelementptr inbounds [2 x i32], [2 x i32]* %1, i64 %54, i64 0
store i32 %27, i32* %55
%56 = load i32, i32* %4
%57 = sext i32 %56 to i64
%58 = getelementptr inbounds [2 x i32], [2 x i32]* %1, i64 %57, i64 1
store i32 %6, i32* %58
store i32 0, i32* %3
br label %59
59: ; preds = %51, %46, %44
%60 = and i1 %24, %28
br i1 %60, label %61, label %74
61: ; preds = %59
%62 = getelementptr inbounds [3 x i16], [3 x i16]* %0, i64 %29, i64 %25
%63 = load i16, i16* %62
%64 = sext i16 %63 to i32
%65 = icmp eq i32 %16, %64
br i1 %65, label %66, label %74
66: ; preds = %61
%67 = load i32, i32* %4
%68 = add nsw i32 %67, 1
store i32 %68, i32* %4
%69 = sext i32 %68 to i64
%70 = getelementptr inbounds [2 x i32], [2 x i32]* %1, i64 %69, i64 0
store i32 %27, i32* %70
%71 = load i32, i32* %4
%72 = sext i32 %71 to i64
%73 = getelementptr inbounds [2 x i32], [2 x i32]* %1, i64 %72, i64 1
store i32 %22, i32* %73
store i32 0, i32* %3
br label %74
74: ; preds = %59, %61, %66
%75 = add nsw i32 %27, 1
%76 = icmp sgt i32 %27, %5
br i1 %76, label %77, label %26
77: ; preds = %74
ret i32 1
}