void match(int a, int b, int *x, int *y) {
  int i, j, na, nb, pa, pb;
  *x = *y = 0;
  for (i = 0, pa = a, pb = b; i < 5; i++) {
    if (!((pa ^ pb) & 7)) {
      (*x)++;
    }
    pa >>= 3;
    pb >>= 3;
  }
  for (i = 0; i < 8; i++) {
    na = nb = 0;
    for (j = 0, pa = a, pb = b; j < 5; j++) {
      if ((pa & 7) == i) {
        na++;
      }
      if ((pb & 7) == i) {
        nb++;
      }
      pa >>= 3;
      pb >>= 3;
    }
    if (na < nb) {
      *y += na;
    } else {
      *y += nb;
    }
  }
  *y -= *x;
}


x86 assembly (clang, -O0):
<match>:
push   %rbp
mov    %rsp,%rbp
mov    %edi,-0x4(%rbp)
mov    %esi,-0x8(%rbp)
mov    %rdx,-0x10(%rbp)
mov    %rcx,-0x18(%rbp)
mov    -0x18(%rbp),%rax
movl   $0x0,(%rax)
mov    -0x10(%rbp),%rax
movl   $0x0,(%rax)
movl   $0x0,-0x1c(%rbp)
mov    -0x4(%rbp),%eax
mov    %eax,-0x2c(%rbp)
mov    -0x8(%rbp),%eax
mov    %eax,-0x30(%rbp)
cmpl   $0x5,-0x1c(%rbp)
jge    1180 <match+0x80>
mov    -0x2c(%rbp),%eax
xor    -0x30(%rbp),%eax
and    $0x7,%eax
cmp    $0x0,%eax
jne    1160 <match+0x60>
mov    -0x10(%rbp),%rax
mov    (%rax),%ecx
add    $0x1,%ecx
mov    %ecx,(%rax)
mov    -0x2c(%rbp),%eax
sar    $0x3,%eax
mov    %eax,-0x2c(%rbp)
mov    -0x30(%rbp),%eax
sar    $0x3,%eax
mov    %eax,-0x30(%rbp)
mov    -0x1c(%rbp),%eax
add    $0x1,%eax
mov    %eax,-0x1c(%rbp)
jmp    1139 <match+0x39>
movl   $0x0,-0x1c(%rbp)
cmpl   $0x8,-0x1c(%rbp)
jge    1246 <match+0x146>
movl   $0x0,-0x28(%rbp)
movl   $0x0,-0x24(%rbp)
movl   $0x0,-0x20(%rbp)
mov    -0x4(%rbp),%eax
mov    %eax,-0x2c(%rbp)
mov    -0x8(%rbp),%eax
mov    %eax,-0x30(%rbp)
cmpl   $0x5,-0x20(%rbp)
jge    120c <match+0x10c>
mov    -0x2c(%rbp),%eax
and    $0x7,%eax
cmp    -0x1c(%rbp),%eax
jne    11d4 <match+0xd4>
mov    -0x24(%rbp),%eax
add    $0x1,%eax
mov    %eax,-0x24(%rbp)
mov    -0x30(%rbp),%eax
and    $0x7,%eax
cmp    -0x1c(%rbp),%eax
jne    11ec <match+0xec>
mov    -0x28(%rbp),%eax
add    $0x1,%eax
mov    %eax,-0x28(%rbp)
mov    -0x2c(%rbp),%eax
sar    $0x3,%eax
mov    %eax,-0x2c(%rbp)
mov    -0x30(%rbp),%eax
sar    $0x3,%eax
mov    %eax,-0x30(%rbp)
mov    -0x20(%rbp),%eax
add    $0x1,%eax
mov    %eax,-0x20(%rbp)
jmp    11b2 <match+0xb2>
mov    -0x24(%rbp),%eax
cmp    -0x28(%rbp),%eax
jge    1228 <match+0x128>
mov    -0x24(%rbp),%ecx
mov    -0x18(%rbp),%rax
add    (%rax),%ecx
mov    %ecx,(%rax)
jmp    1233 <match+0x133>
mov    -0x28(%rbp),%ecx
mov    -0x18(%rbp),%rax
add    (%rax),%ecx
mov    %ecx,(%rax)
jmp    1238 <match+0x138>
mov    -0x1c(%rbp),%eax
add    $0x1,%eax
mov    %eax,-0x1c(%rbp)
jmp    1187 <match+0x87>
mov    -0x10(%rbp),%rax
mov    (%rax),%edx
mov    -0x18(%rbp),%rax
mov    (%rax),%ecx
sub    %edx,%ecx
mov    %ecx,(%rax)
pop    %rbp
ret

x86 assembly (clang, -O2):
<match>:
push   %rbp
push   %r15
push   %r14
push   %r12
push   %rbx
mov    %esi,%eax
xor    %edi,%eax
xor    %ebp,%ebp
test   $0x7,%al
sete   %bpl
mov    %edi,%r8d
sar    $0x3,%r8d
mov    %esi,%r9d
sar    $0x3,%r9d
mov    %r9d,%eax
xor    %r8d,%eax
lea    0x1(%rbp),%ebx
test   $0x7,%al
cmovne %ebp,%ebx
movl   $0x0,(%rcx)
mov    %edi,%r10d
sar    $0x6,%r10d
mov    %esi,%r11d
sar    $0x6,%r11d
mov    %r11d,%eax
xor    %r10d,%eax
and    $0x7,%eax
cmp    $0x1,%eax
adc    $0x0,%ebx
mov    %edi,%r15d
sar    $0x9,%r15d
mov    %esi,%r14d
sar    $0x9,%r14d
mov    %r14d,%eax
xor    %r15d,%eax
and    $0x7,%eax
cmp    $0x1,%eax
adc    $0x0,%ebx
mov    %edi,%eax
sar    $0xc,%eax
mov    %esi,%r12d
sar    $0xc,%r12d
mov    %r12d,%ebp
xor    %eax,%ebp
and    $0x7,%ebp
cmp    $0x1,%ebp
adc    $0x0,%ebx
mov    %ebx,(%rdx)
and    $0x7,%r12d
and    $0x7,%eax
and    $0x7,%r14d
and    $0x7,%r15d
and    $0x7,%r11d
and    $0x7,%r10d
and    $0x7,%r9d
and    $0x7,%r8d
and    $0x7,%esi
and    $0x7,%edi
movd   %edi,%xmm0
pshufd $0x0,%xmm0,%xmm6
movd   %esi,%xmm0
pshufd $0x0,%xmm0,%xmm1
movd   %r8d,%xmm0
pshufd $0x0,%xmm0,%xmm3
movd   %r9d,%xmm0
pshufd $0x0,%xmm0,%xmm15
movd   %r10d,%xmm0
pshufd $0x0,%xmm0,%xmm14
movd   %r11d,%xmm0
pshufd $0x0,%xmm0,%xmm13
movd   %r15d,%xmm0
pshufd $0x0,%xmm0,%xmm11
movd   %r14d,%xmm0
pshufd $0x0,%xmm0,%xmm10
movd   %eax,%xmm0
pshufd $0x0,%xmm0,%xmm9
movd   %r12d,%xmm0
pshufd $0x0,%xmm0,%xmm8
movd   (%rcx),%xmm12
movdqa 0xdda(%rip),%xmm4
movdqa %xmm6,%xmm0
pcmpeqd %xmm4,%xmm0
psrld  $0x1f,%xmm0
movdqa %xmm1,%xmm5
pcmpeqd %xmm4,%xmm5
psrld  $0x1f,%xmm5
movdqa %xmm3,%xmm7
pcmpeqd %xmm4,%xmm7
psubd  %xmm7,%xmm0
movdqa %xmm15,%xmm7
pcmpeqd %xmm4,%xmm7
psubd  %xmm7,%xmm5
movdqa %xmm14,%xmm7
pcmpeqd %xmm4,%xmm7
psubd  %xmm7,%xmm0
movdqa %xmm13,%xmm7
pcmpeqd %xmm4,%xmm7
psubd  %xmm7,%xmm5
movdqa %xmm11,%xmm7
pcmpeqd %xmm4,%xmm7
psubd  %xmm7,%xmm0
movdqa %xmm10,%xmm7
pcmpeqd %xmm4,%xmm7
psubd  %xmm7,%xmm5
movdqa %xmm9,%xmm7
pcmpeqd %xmm4,%xmm7
psubd  %xmm7,%xmm0
pcmpeqd %xmm8,%xmm4
psubd  %xmm4,%xmm5
movdqa 0xd65(%rip),%xmm4
movdqa %xmm0,%xmm2
pxor   %xmm4,%xmm2
movdqa %xmm5,%xmm7
pxor   %xmm4,%xmm7
pcmpgtd %xmm2,%xmm7
pand   %xmm7,%xmm0
pandn  %xmm5,%xmm7
por    %xmm0,%xmm7
paddd  %xmm12,%xmm7
movdqa 0xd48(%rip),%xmm0
pcmpeqd %xmm0,%xmm6
psrld  $0x1f,%xmm6
pcmpeqd %xmm0,%xmm1
psrld  $0x1f,%xmm1
pcmpeqd %xmm0,%xmm3
psubd  %xmm3,%xmm6
pcmpeqd %xmm0,%xmm15
psubd  %xmm15,%xmm1
pcmpeqd %xmm0,%xmm14
psubd  %xmm14,%xmm6
pcmpeqd %xmm0,%xmm13
psubd  %xmm13,%xmm1
pcmpeqd %xmm0,%xmm11
psubd  %xmm11,%xmm6
pcmpeqd %xmm0,%xmm10
psubd  %xmm10,%xmm1
pcmpeqd %xmm0,%xmm9
psubd  %xmm9,%xmm6
pcmpeqd %xmm0,%xmm8
psubd  %xmm8,%xmm1
movdqa %xmm6,%xmm0
pxor   %xmm4,%xmm0
pxor   %xmm1,%xmm4
pcmpgtd %xmm0,%xmm4
pand   %xmm4,%xmm6
pandn  %xmm1,%xmm4
por    %xmm6,%xmm4
paddd  %xmm7,%xmm4
pshufd $0xee,%xmm4,%xmm0
paddd  %xmm4,%xmm0
pshufd $0x55,%xmm0,%xmm1
paddd  %xmm0,%xmm1
movd   %xmm1,%eax
movd   %xmm1,(%rcx)
sub    (%rdx),%eax
mov    %eax,(%rcx)
pop    %rbx
pop    %r12
pop    %r14
pop    %r15
pop    %rbp
ret

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

LLVM IR (-O2):
define void @match(i32 %0, i32 %1, i32* nocapture %2, i32* nocapture %3) {
store i32 0, i32* %3
%5 = xor i32 %1, %0
%6 = and i32 %5, 7
%7 = icmp eq i32 %6, 0
%8 = zext i1 %7 to i32
%9 = ashr i32 %0, 3
%10 = ashr i32 %1, 3
%11 = xor i32 %10, %9
%12 = and i32 %11, 7
%13 = icmp eq i32 %12, 0
%14 = select i1 %7, i32 2, i32 1
%15 = select i1 %13, i32 %14, i32 %8
%16 = ashr i32 %0, 6
%17 = ashr i32 %1, 6
%18 = xor i32 %17, %16
%19 = and i32 %18, 7
%20 = icmp eq i32 %19, 0
%21 = zext i1 %20 to i32
%22 = add nuw nsw i32 %15, %21
%23 = ashr i32 %0, 9
%24 = ashr i32 %1, 9
%25 = xor i32 %24, %23
%26 = and i32 %25, 7
%27 = icmp eq i32 %26, 0
%28 = zext i1 %27 to i32
%29 = add nuw nsw i32 %22, %28
%30 = ashr i32 %0, 12
%31 = ashr i32 %1, 12
%32 = xor i32 %31, %30
%33 = and i32 %32, 7
%34 = icmp eq i32 %33, 0
%35 = zext i1 %34 to i32
%36 = add nuw nsw i32 %29, %35
store i32 %36, i32* %2
%37 = and i32 %31, 7
%38 = and i32 %30, 7
%39 = and i32 %24, 7
%40 = and i32 %23, 7
%41 = and i32 %17, 7
%42 = and i32 %16, 7
%43 = and i32 %10, 7
%44 = and i32 %9, 7
%45 = and i32 %1, 7
%46 = and i32 %0, 7
%47 = insertelement <4 x i32> poison, i32 %46, i64 0
%48 = shufflevector <4 x i32> %47, <4 x i32> poison, <4 x i32> zeroinitializer
%49 = insertelement <4 x i32> poison, i32 %45, i64 0
%50 = shufflevector <4 x i32> %49, <4 x i32> poison, <4 x i32> zeroinitializer
%51 = insertelement <4 x i32> poison, i32 %44, i64 0
%52 = shufflevector <4 x i32> %51, <4 x i32> poison, <4 x i32> zeroinitializer
%53 = insertelement <4 x i32> poison, i32 %43, i64 0
%54 = shufflevector <4 x i32> %53, <4 x i32> poison, <4 x i32> zeroinitializer
%55 = insertelement <4 x i32> poison, i32 %42, i64 0
%56 = shufflevector <4 x i32> %55, <4 x i32> poison, <4 x i32> zeroinitializer
%57 = insertelement <4 x i32> poison, i32 %41, i64 0
%58 = shufflevector <4 x i32> %57, <4 x i32> poison, <4 x i32> zeroinitializer
%59 = insertelement <4 x i32> poison, i32 %40, i64 0
%60 = shufflevector <4 x i32> %59, <4 x i32> poison, <4 x i32> zeroinitializer
%61 = insertelement <4 x i32> poison, i32 %39, i64 0
%62 = shufflevector <4 x i32> %61, <4 x i32> poison, <4 x i32> zeroinitializer
%63 = insertelement <4 x i32> poison, i32 %38, i64 0
%64 = shufflevector <4 x i32> %63, <4 x i32> poison, <4 x i32> zeroinitializer
%65 = insertelement <4 x i32> poison, i32 %37, i64 0
%66 = shufflevector <4 x i32> %65, <4 x i32> poison, <4 x i32> zeroinitializer
%67 = load i32, i32* %3
%68 = insertelement <4 x i32> <i32 poison, i32 0, i32 0, i32 0>, i32 %67, i64 0
%69 = icmp eq <4 x i32> %48, <i32 0, i32 1, i32 2, i32 3>
%70 = zext <4 x i1> %69 to <4 x i32>
%71 = icmp eq <4 x i32> %50, <i32 0, i32 1, i32 2, i32 3>
%72 = zext <4 x i1> %71 to <4 x i32>
%73 = icmp eq <4 x i32> %52, <i32 0, i32 1, i32 2, i32 3>
%74 = zext <4 x i1> %73 to <4 x i32>
%75 = add nuw nsw <4 x i32> %70, %74
%76 = icmp eq <4 x i32> %54, <i32 0, i32 1, i32 2, i32 3>
%77 = zext <4 x i1> %76 to <4 x i32>
%78 = add nuw nsw <4 x i32> %72, %77
%79 = icmp eq <4 x i32> %56, <i32 0, i32 1, i32 2, i32 3>
%80 = zext <4 x i1> %79 to <4 x i32>
%81 = add nuw nsw <4 x i32> %75, %80
%82 = icmp eq <4 x i32> %58, <i32 0, i32 1, i32 2, i32 3>
%83 = zext <4 x i1> %82 to <4 x i32>
%84 = add nuw nsw <4 x i32> %78, %83
%85 = icmp eq <4 x i32> %60, <i32 0, i32 1, i32 2, i32 3>
%86 = zext <4 x i1> %85 to <4 x i32>
%87 = add nuw nsw <4 x i32> %81, %86
%88 = icmp eq <4 x i32> %62, <i32 0, i32 1, i32 2, i32 3>
%89 = zext <4 x i1> %88 to <4 x i32>
%90 = add nuw nsw <4 x i32> %84, %89
%91 = icmp eq <4 x i32> %64, <i32 0, i32 1, i32 2, i32 3>
%92 = zext <4 x i1> %91 to <4 x i32>
%93 = add nuw nsw <4 x i32> %87, %92
%94 = icmp eq <4 x i32> %66, <i32 0, i32 1, i32 2, i32 3>
%95 = zext <4 x i1> %94 to <4 x i32>
%96 = add nuw nsw <4 x i32> %90, %95
%97 = icmp ult <4 x i32> %93, %96
%98 = select <4 x i1> %97, <4 x i32> %93, <4 x i32> %96
%99 = add <4 x i32> %68, %98
%100 = icmp eq <4 x i32> %48, <i32 4, i32 5, i32 6, i32 7>
%101 = zext <4 x i1> %100 to <4 x i32>
%102 = icmp eq <4 x i32> %50, <i32 4, i32 5, i32 6, i32 7>
%103 = zext <4 x i1> %102 to <4 x i32>
%104 = icmp eq <4 x i32> %52, <i32 4, i32 5, i32 6, i32 7>
%105 = zext <4 x i1> %104 to <4 x i32>
%106 = add nuw nsw <4 x i32> %101, %105
%107 = icmp eq <4 x i32> %54, <i32 4, i32 5, i32 6, i32 7>
%108 = zext <4 x i1> %107 to <4 x i32>
%109 = add nuw nsw <4 x i32> %103, %108
%110 = icmp eq <4 x i32> %56, <i32 4, i32 5, i32 6, i32 7>
%111 = zext <4 x i1> %110 to <4 x i32>
%112 = add nuw nsw <4 x i32> %106, %111
%113 = icmp eq <4 x i32> %58, <i32 4, i32 5, i32 6, i32 7>
%114 = zext <4 x i1> %113 to <4 x i32>
%115 = add nuw nsw <4 x i32> %109, %114
%116 = icmp eq <4 x i32> %60, <i32 4, i32 5, i32 6, i32 7>
%117 = zext <4 x i1> %116 to <4 x i32>
%118 = add nuw nsw <4 x i32> %112, %117
%119 = icmp eq <4 x i32> %62, <i32 4, i32 5, i32 6, i32 7>
%120 = zext <4 x i1> %119 to <4 x i32>
%121 = add nuw nsw <4 x i32> %115, %120
%122 = icmp eq <4 x i32> %64, <i32 4, i32 5, i32 6, i32 7>
%123 = zext <4 x i1> %122 to <4 x i32>
%124 = add nuw nsw <4 x i32> %118, %123
%125 = icmp eq <4 x i32> %66, <i32 4, i32 5, i32 6, i32 7>
%126 = zext <4 x i1> %125 to <4 x i32>
%127 = add nuw nsw <4 x i32> %121, %126
%128 = icmp ult <4 x i32> %124, %127
%129 = select <4 x i1> %128, <4 x i32> %124, <4 x i32> %127
%130 = add <4 x i32> %99, %129
%131 = call i32 @llvm.vector.reduce.add.v4i32(<4 x i32> %130)
store i32 %131, i32* %3
%132 = load i32, i32* %2
%133 = sub nsw i32 %131, %132
store i32 %133, i32* %3
ret void
}