int isAroundPos(int xa, int ya, int xb, int yb) {
  return ((xa - 1 == xb && ya == yb) || (xa + 1 == xb && ya == yb) ||
          (xa == xb && ya - 1 == yb) || (xa == xb && ya + 1 == yb));
}


x86 assembly (clang, -O0):
<isAroundPos>:
push   %rbp
mov    %rsp,%rbp
mov    %edi,-0x4(%rbp)
mov    %esi,-0x8(%rbp)
mov    %edx,-0xc(%rbp)
mov    %ecx,-0x10(%rbp)
mov    -0x4(%rbp),%eax
sub    $0x1,%eax
cmp    -0xc(%rbp),%eax
jne    1130 <isAroundPos+0x30>
mov    -0x8(%rbp),%ecx
mov    $0x1,%al
cmp    -0x10(%rbp),%ecx
mov    %al,-0x11(%rbp)
je     1196 <isAroundPos+0x96>
mov    -0x4(%rbp),%eax
add    $0x1,%eax
cmp    -0xc(%rbp),%eax
jne    1150 <isAroundPos+0x50>
mov    -0x8(%rbp),%ecx
mov    $0x1,%al
cmp    -0x10(%rbp),%ecx
mov    %al,-0x11(%rbp)
je     1196 <isAroundPos+0x96>
mov    -0x4(%rbp),%eax
cmp    -0xc(%rbp),%eax
jne    1170 <isAroundPos+0x70>
mov    -0x8(%rbp),%ecx
sub    $0x1,%ecx
mov    $0x1,%al
cmp    -0x10(%rbp),%ecx
mov    %al,-0x11(%rbp)
je     1196 <isAroundPos+0x96>
mov    -0x4(%rbp),%ecx
xor    %eax,%eax
cmp    -0xc(%rbp),%ecx
mov    %al,-0x12(%rbp)
jne    1190 <isAroundPos+0x90>
mov    -0x8(%rbp),%eax
add    $0x1,%eax
cmp    -0x10(%rbp),%eax
sete   %al
mov    %al,-0x12(%rbp)
mov    -0x12(%rbp),%al
mov    %al,-0x11(%rbp)
mov    -0x11(%rbp),%al
and    $0x1,%al
movzbl %al,%eax
pop    %rbp
ret

x86 assembly (clang, -O2):
<isAroundPos>:
lea    -0x1(%rdi),%r8d
mov    $0x1,%eax
cmp    %edx,%r8d
jne    1113 <isAroundPos+0x13>
cmp    %ecx,%esi
jne    1113 <isAroundPos+0x13>
ret
lea    0x1(%rdi),%r8d
cmp    %edx,%r8d
jne    1120 <isAroundPos+0x20>
cmp    %ecx,%esi
je     1112 <isAroundPos+0x12>
cmp    %edx,%edi
jne    112d <isAroundPos+0x2d>
lea    -0x1(%rsi),%r8d
cmp    %ecx,%r8d
je     1112 <isAroundPos+0x12>
xor    %edx,%edi
add    $0x1,%esi
xor    %ecx,%esi
xor    %eax,%eax
or     %edi,%esi
sete   %al
ret

LLVM IR (-O0):
define i32 @isAroundPos(i32 %0, i32 %1, i32 %2, i32 %3) {
%5 = alloca i32
%6 = alloca i32
%7 = alloca i32
%8 = alloca i32
store i32 %0, i32* %5
store i32 %1, i32* %6
store i32 %2, i32* %7
store i32 %3, i32* %8
%9 = load i32, i32* %5
%10 = sub nsw i32 %9, 1
%11 = load i32, i32* %7
%12 = icmp eq i32 %10, %11
br i1 %12, label %13, label %17
13: ; preds = %4
%14 = load i32, i32* %6
%15 = load i32, i32* %8
%16 = icmp eq i32 %14, %15
br i1 %16, label %46, label %17
17: ; preds = %13, %4
%18 = load i32, i32* %5
%19 = add nsw i32 %18, 1
%20 = load i32, i32* %7
%21 = icmp eq i32 %19, %20
br i1 %21, label %22, label %26
22: ; preds = %17
%23 = load i32, i32* %6
%24 = load i32, i32* %8
%25 = icmp eq i32 %23, %24
br i1 %25, label %46, label %26
26: ; preds = %22, %17
%27 = load i32, i32* %5
%28 = load i32, i32* %7
%29 = icmp eq i32 %27, %28
br i1 %29, label %30, label %35
30: ; preds = %26
%31 = load i32, i32* %6
%32 = sub nsw i32 %31, 1
%33 = load i32, i32* %8
%34 = icmp eq i32 %32, %33
br i1 %34, label %46, label %35
35: ; preds = %30, %26
%36 = load i32, i32* %5
%37 = load i32, i32* %7
%38 = icmp eq i32 %36, %37
br i1 %38, label %39, label %44
39: ; preds = %35
%40 = load i32, i32* %6
%41 = add nsw i32 %40, 1
%42 = load i32, i32* %8
%43 = icmp eq i32 %41, %42
br label %44
44: ; preds = %39, %35
%45 = phi i1 [ false, %35 ], [ %43, %39 ]
br label %46
46: ; preds = %44, %30, %22, %13
%47 = phi i1 [ true, %30 ], [ true, %22 ], [ true, %13 ], [ %45, %44 ]
%48 = zext i1 %47 to i32
ret i32 %48
}

LLVM IR (-O2):
define i32 @isAroundPos(i32 %0, i32 %1, i32 %2, i32 %3) {
%5 = add nsw i32 %0, -1
%6 = icmp eq i32 %5, %2
%7 = icmp eq i32 %1, %3
%8 = and i1 %6, %7
br i1 %8, label %23, label %9
9: ; preds = %4
%10 = add nsw i32 %0, 1
%11 = icmp eq i32 %10, %2
%12 = and i1 %11, %7
br i1 %12, label %23, label %13
13: ; preds = %9
%14 = icmp eq i32 %0, %2
%15 = add nsw i32 %1, -1
%16 = icmp eq i32 %15, %3
%17 = select i1 %14, i1 %16, i1 false
br i1 %17, label %23, label %18
18: ; preds = %13
%19 = add nsw i32 %1, 1
%20 = icmp eq i32 %19, %3
%21 = select i1 %14, i1 %20, i1 false
%22 = zext i1 %21 to i32
br label %23
23: ; preds = %13, %9, %4, %18
%24 = phi i32 [ %22, %18 ], [ 1, %4 ], [ 1, %9 ], [ 1, %13 ]
ret i32 %24
}