int has_adj(int *data, int pos, int adj_val) {
  int x = pos % 17;
  int y = pos / 17;
  int has_adj = 0;
  if (y - 1 >= 0) {
    has_adj = has_adj || (data[(y - 1) * 17 + x] == adj_val);
  }
  if (y + 1 < 17) {
    has_adj = has_adj || (data[(y + 1) * 17 + x] == adj_val);
  }
  if (x - 1 >= 0) {
    has_adj = has_adj || (data[y * 17 + (x - 1)] == adj_val);
  }
  if (x + 1 < 17) {
    has_adj = has_adj || (data[y * 17 + (x + 1)] == adj_val);
  }
  return has_adj;
}


x86 assembly (clang, -O0):
<has_adj>:
push   %rbp
mov    %rsp,%rbp
mov    %rdi,-0x8(%rbp)
mov    %esi,-0xc(%rbp)
mov    %edx,-0x10(%rbp)
mov    -0xc(%rbp),%eax
mov    $0x11,%ecx
cltd
idiv   %ecx
mov    %edx,-0x14(%rbp)
mov    -0xc(%rbp),%eax
mov    $0x11,%ecx
cltd
idiv   %ecx
mov    %eax,-0x18(%rbp)
movl   $0x0,-0x1c(%rbp)
mov    -0x18(%rbp),%eax
sub    $0x1,%eax
cmp    $0x0,%eax
jl     1179 <has_adj+0x79>
mov    $0x1,%al
cmpl   $0x0,-0x1c(%rbp)
mov    %al,-0x1d(%rbp)
jne    116e <has_adj+0x6e>
mov    -0x8(%rbp),%rax
mov    -0x18(%rbp),%ecx
sub    $0x1,%ecx
imul   $0x11,%ecx,%ecx
add    -0x14(%rbp),%ecx
movslq %ecx,%rcx
mov    (%rax,%rcx,4),%eax
cmp    -0x10(%rbp),%eax
sete   %al
mov    %al,-0x1d(%rbp)
mov    -0x1d(%rbp),%al
and    $0x1,%al
movzbl %al,%eax
mov    %eax,-0x1c(%rbp)
mov    -0x18(%rbp),%eax
add    $0x1,%eax
cmp    $0x11,%eax
jge    11c1 <has_adj+0xc1>
mov    $0x1,%al
cmpl   $0x0,-0x1c(%rbp)
mov    %al,-0x1e(%rbp)
jne    11b6 <has_adj+0xb6>
mov    -0x8(%rbp),%rax
mov    -0x18(%rbp),%ecx
add    $0x1,%ecx
imul   $0x11,%ecx,%ecx
add    -0x14(%rbp),%ecx
movslq %ecx,%rcx
mov    (%rax,%rcx,4),%eax
cmp    -0x10(%rbp),%eax
sete   %al
mov    %al,-0x1e(%rbp)
mov    -0x1e(%rbp),%al
and    $0x1,%al
movzbl %al,%eax
mov    %eax,-0x1c(%rbp)
mov    -0x14(%rbp),%eax
sub    $0x1,%eax
cmp    $0x0,%eax
jl     1209 <has_adj+0x109>
mov    $0x1,%al
cmpl   $0x0,-0x1c(%rbp)
mov    %al,-0x1f(%rbp)
jne    11fe <has_adj+0xfe>
mov    -0x8(%rbp),%rax
imul   $0x11,-0x18(%rbp),%ecx
mov    -0x14(%rbp),%edx
sub    $0x1,%edx
add    %edx,%ecx
movslq %ecx,%rcx
mov    (%rax,%rcx,4),%eax
cmp    -0x10(%rbp),%eax
sete   %al
mov    %al,-0x1f(%rbp)
mov    -0x1f(%rbp),%al
and    $0x1,%al
movzbl %al,%eax
mov    %eax,-0x1c(%rbp)
mov    -0x14(%rbp),%eax
add    $0x1,%eax
cmp    $0x11,%eax
jge    1251 <has_adj+0x151>
mov    $0x1,%al
cmpl   $0x0,-0x1c(%rbp)
mov    %al,-0x20(%rbp)
jne    1246 <has_adj+0x146>
mov    -0x8(%rbp),%rax
imul   $0x11,-0x18(%rbp),%ecx
mov    -0x14(%rbp),%edx
add    $0x1,%edx
add    %edx,%ecx
movslq %ecx,%rcx
mov    (%rax,%rcx,4),%eax
cmp    -0x10(%rbp),%eax
sete   %al
mov    %al,-0x20(%rbp)
mov    -0x20(%rbp),%al
and    $0x1,%al
movzbl %al,%eax
mov    %eax,-0x1c(%rbp)
mov    -0x1c(%rbp),%eax
pop    %rbp
ret

x86 assembly (clang, -O2):
<has_adj>:
movslq %esi,%r9
imul   $0x78787879,%r9,%rcx
mov    %rcx,%rax
shr    $0x3f,%rax
sar    $0x23,%rcx
add    %eax,%ecx
mov    %ecx,%r10d
shl    $0x4,%r10d
add    %ecx,%r10d
mov    %r9d,%r8d
sub    %r10d,%r8d
cmp    $0x11,%r9d
jl     1158 <has_adj+0x58>
lea    (%r8,%r10,1),%eax
add    $0xffffffef,%eax
cltq
mov    (%rdi,%rax,4),%r9d
cmp    %edx,%r9d
sete   %al
cmp    $0x10f,%esi
ja     1167 <has_adj+0x67>
cmp    %edx,%r9d
jne    1158 <has_adj+0x58>
mov    $0x1,%eax
test   %r8d,%r8d
jg     118a <has_adj+0x8a>
ret
lea    (%r8,%r10,1),%eax
add    $0x11,%eax
cltq
cmp    %edx,(%rdi,%rax,4)
sete   %al
movzbl %al,%eax
test   %r8d,%r8d
jle    1190 <has_adj+0x90>
test   %eax,%eax
mov    $0x1,%eax
jne    118a <has_adj+0x8a>
lea    -0x1(%r8),%eax
add    %r10d,%eax
movslq %eax,%rcx
xor    %eax,%eax
cmp    %edx,(%rdi,%rcx,4)
sete   %al
cmp    $0xf,%r8d
ja     1157 <has_adj+0x57>
test   %eax,%eax
mov    $0x1,%eax
jne    1157 <has_adj+0x57>
lea    (%r8,%r10,1),%eax
add    $0x1,%eax
movslq %eax,%rcx
xor    %eax,%eax
cmp    %edx,(%rdi,%rcx,4)
sete   %al
ret

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

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