char parity(char *buffer, int length, char start) {
  char result = start;
  for (; length > 0; length--) {
    result ^= (*buffer++ & 1);
  }
  return result;
}


x86 assembly (clang, -O0):
<parity>:
push   %rbp
mov    %rsp,%rbp
mov    %dl,%al
mov    %rdi,-0x8(%rbp)
mov    %esi,-0xc(%rbp)
mov    %al,-0xd(%rbp)
mov    -0xd(%rbp),%al
mov    %al,-0xe(%rbp)
cmpl   $0x0,-0xc(%rbp)
jle    114c <parity+0x4c>
mov    -0x8(%rbp),%rax
mov    %rax,%rcx
add    $0x1,%rcx
mov    %rcx,-0x8(%rbp)
movsbl (%rax),%ecx
and    $0x1,%ecx
movsbl -0xe(%rbp),%eax
xor    %ecx,%eax
mov    %al,-0xe(%rbp)
mov    -0xc(%rbp),%eax
add    $0xffffffff,%eax
mov    %eax,-0xc(%rbp)
jmp    1116 <parity+0x16>
movsbl -0xe(%rbp),%eax
pop    %rbp
ret

x86 assembly (clang, -O2):
<parity>:
mov    %edx,%eax
test   %esi,%esi
jle    12c4 <parity+0x1c4>
lea    -0x1(%rsi),%r8d
cmp    $0x7,%r8d
jae    111c <parity+0x1c>
mov    %rdi,%rdx
jmp    12a2 <parity+0x1a2>
movabs $0x1ffffffe0,%r10
cmp    $0x1f,%r8d
jae    1133 <parity+0x33>
xor    %ecx,%ecx
jmp    1239 <parity+0x139>
lea    0x1(%r8),%r9
mov    %r9,%rcx
and    %r10,%rcx
movzbl %al,%eax
movd   %eax,%xmm0
lea    -0x20(%rcx),%rax
mov    %rax,%r11
shr    $0x5,%r11
add    $0x1,%r11
test   %rax,%rax
je     12c5 <parity+0x1c5>
mov    %r11,%rax
and    $0xfffffffffffffffe,%rax
pxor   %xmm3,%xmm3
xor    %edx,%edx
movdqa 0xe8f(%rip),%xmm2
movdqa %xmm0,%xmm4
cs nopw 0x0(%rax,%rax,1)
nop
movdqu (%rdi,%rdx,1),%xmm5
movdqu 0x10(%rdi,%rdx,1),%xmm6
movdqu 0x20(%rdi,%rdx,1),%xmm0
movdqu 0x30(%rdi,%rdx,1),%xmm1
pand   %xmm2,%xmm5
pxor   %xmm4,%xmm5
pand   %xmm2,%xmm6
pxor   %xmm3,%xmm6
pand   %xmm2,%xmm0
pxor   %xmm5,%xmm0
pand   %xmm2,%xmm1
pxor   %xmm6,%xmm1
add    $0x40,%rdx
movdqa %xmm0,%xmm4
movdqa %xmm1,%xmm3
add    $0xfffffffffffffffe,%rax
jne    1180 <parity+0x80>
test   $0x1,%r11b
je     11f2 <parity+0xf2>
movdqu (%rdi,%rdx,1),%xmm2
movdqu 0x10(%rdi,%rdx,1),%xmm3
movdqa 0xe1e(%rip),%xmm4
pand   %xmm4,%xmm2
pxor   %xmm2,%xmm0
pand   %xmm4,%xmm3
pxor   %xmm3,%xmm1
pxor   %xmm1,%xmm0
pshufd $0xee,%xmm0,%xmm1
pxor   %xmm0,%xmm1
pshufd $0x55,%xmm1,%xmm0
pxor   %xmm1,%xmm0
movdqa %xmm0,%xmm1
psrld  $0x10,%xmm1
pxor   %xmm0,%xmm1
movdqa %xmm1,%xmm0
psrlw  $0x8,%xmm0
pxor   %xmm1,%xmm0
movd   %xmm0,%eax
cmp    %rcx,%r9
je     12c4 <parity+0x1c4>
test   $0x18,%r9b
je     12da <parity+0x1da>
add    $0x1,%r8
add    $0x18,%r10
and    %r8,%r10
lea    (%rdi,%r10,1),%rdx
sub    %r10d,%esi
movzbl %al,%eax
movd   %eax,%xmm0
movdqa 0xdb6(%rip),%xmm1
nopw   0x0(%rax,%rax,1)
movq   (%rdi,%rcx,1),%xmm2
pand   %xmm1,%xmm2
pxor   %xmm2,%xmm0
add    $0x8,%rcx
cmp    %rcx,%r10
jne    1260 <parity+0x160>
pshufd $0x55,%xmm0,%xmm1
pxor   %xmm0,%xmm1
movdqa %xmm1,%xmm0
psrld  $0x10,%xmm0
pxor   %xmm1,%xmm0
movdqa %xmm0,%xmm1
psrlw  $0x8,%xmm1
pxor   %xmm0,%xmm1
movd   %xmm1,%eax
cmp    %r10,%r8
je     12c4 <parity+0x1c4>
add    $0x1,%esi
cs nopw 0x0(%rax,%rax,1)
nop
movzbl (%rdx),%ecx
add    $0x1,%rdx
and    $0x1,%cl
xor    %cl,%al
add    $0xffffffff,%esi
cmp    $0x1,%esi
ja     12b0 <parity+0x1b0>
ret
pxor   %xmm1,%xmm1
xor    %edx,%edx
test   $0x1,%r11b
jne    11cf <parity+0xcf>
jmp    11f2 <parity+0xf2>
sub    %ecx,%esi
add    %rcx,%rdi
jmp    1114 <parity+0x14>

LLVM IR (-O0):
define signext i8 @parity(i8* %0, i32 %1, i8 signext %2) {
%4 = alloca i8*
%5 = alloca i32
%6 = alloca i8
%7 = alloca i8
store i8* %0, i8** %4
store i32 %1, i32* %5
store i8 %2, i8* %6
%8 = load i8, i8* %6
store i8 %8, i8* %7
br label %9
9: ; preds = %22, %3
%10 = load i32, i32* %5
%11 = icmp sgt i32 %10, 0
br i1 %11, label %12, label %25
12: ; preds = %9
%13 = load i8*, i8** %4
%14 = getelementptr inbounds i8, i8* %13, i32 1
store i8* %14, i8** %4
%15 = load i8, i8* %13
%16 = sext i8 %15 to i32
%17 = and i32 %16, 1
%18 = load i8, i8* %7
%19 = sext i8 %18 to i32
%20 = xor i32 %19, %17
%21 = trunc i32 %20 to i8
store i8 %21, i8* %7
br label %22
22: ; preds = %12
%23 = load i32, i32* %5
%24 = add nsw i32 %23, -1
store i32 %24, i32* %5
br label %9
25: ; preds = %9
%26 = load i8, i8* %7
ret i8 %26
}

LLVM IR (-O2):
define signext i8 @parity(i8* nocapture %0, i32 %1, i8 signext %2) {
%4 = icmp sgt i32 %1, 0
br i1 %4, label %5, label %119
5: ; preds = %3
%6 = add i32 %1, -1
%7 = zext i32 %6 to i64
%8 = add nuw nsw i64 %7, 1
%9 = icmp ult i32 %6, 7
br i1 %9, label %105, label %10
10: ; preds = %5
%11 = icmp ult i32 %6, 31
br i1 %11, label %81, label %12
12: ; preds = %10
%13 = and i64 %8, 8589934560
%14 = insertelement <16 x i8> <i8 poison, i8 0, i8 0, i8 0, i8 0, i8 0, i8 0, i8 0, i8 0, i8 0, i8 0, i8 0, i8 0, i8 0, i8 0, i8 0>, i8 %2, i64 0
%15 = add nsw i64 %13, -32
%16 = lshr exact i64 %15, 5
%17 = add nuw nsw i64 %16, 1
%18 = and i64 %17, 1
%19 = icmp eq i64 %15, 0
br i1 %19, label %51, label %20
20: ; preds = %12
%21 = and i64 %17, 1152921504606846974
br label %22
22: ; preds = %22, %20
%23 = phi i64 [ 0, %20 ], [ %48, %22 ]
%24 = phi <16 x i8> [ %14, %20 ], [ %46, %22 ]
%25 = phi <16 x i8> [ zeroinitializer, %20 ], [ %47, %22 ]
%26 = phi i64 [ 0, %20 ], [ %49, %22 ]
%27 = getelementptr i8, i8* %0, i64 %23
%28 = bitcast i8* %27 to <16 x i8>*
%29 = load <16 x i8>, <16 x i8>* %28
%30 = getelementptr i8, i8* %27, i64 16
%31 = bitcast i8* %30 to <16 x i8>*
%32 = load <16 x i8>, <16 x i8>* %31
%33 = and <16 x i8> %29, <i8 1, i8 1, i8 1, i8 1, i8 1, i8 1, i8 1, i8 1, i8 1, i8 1, i8 1, i8 1, i8 1, i8 1, i8 1, i8 1>
%34 = and <16 x i8> %32, <i8 1, i8 1, i8 1, i8 1, i8 1, i8 1, i8 1, i8 1, i8 1, i8 1, i8 1, i8 1, i8 1, i8 1, i8 1, i8 1>
%35 = xor <16 x i8> %33, %24
%36 = xor <16 x i8> %34, %25
%37 = or i64 %23, 32
%38 = getelementptr i8, i8* %0, i64 %37
%39 = bitcast i8* %38 to <16 x i8>*
%40 = load <16 x i8>, <16 x i8>* %39
%41 = getelementptr i8, i8* %38, i64 16
%42 = bitcast i8* %41 to <16 x i8>*
%43 = load <16 x i8>, <16 x i8>* %42
%44 = and <16 x i8> %40, <i8 1, i8 1, i8 1, i8 1, i8 1, i8 1, i8 1, i8 1, i8 1, i8 1, i8 1, i8 1, i8 1, i8 1, i8 1, i8 1>
%45 = and <16 x i8> %43, <i8 1, i8 1, i8 1, i8 1, i8 1, i8 1, i8 1, i8 1, i8 1, i8 1, i8 1, i8 1, i8 1, i8 1, i8 1, i8 1>
%46 = xor <16 x i8> %44, %35
%47 = xor <16 x i8> %45, %36
%48 = add nuw i64 %23, 64
%49 = add i64 %26, 2
%50 = icmp eq i64 %49, %21
br i1 %50, label %51, label %22
51: ; preds = %22, %12
%52 = phi <16 x i8> [ undef, %12 ], [ %46, %22 ]
%53 = phi <16 x i8> [ undef, %12 ], [ %47, %22 ]
%54 = phi i64 [ 0, %12 ], [ %48, %22 ]
%55 = phi <16 x i8> [ %14, %12 ], [ %46, %22 ]
%56 = phi <16 x i8> [ zeroinitializer, %12 ], [ %47, %22 ]
%57 = icmp eq i64 %18, 0
br i1 %57, label %69, label %58
58: ; preds = %51
%59 = getelementptr i8, i8* %0, i64 %54
%60 = bitcast i8* %59 to <16 x i8>*
%61 = load <16 x i8>, <16 x i8>* %60
%62 = getelementptr i8, i8* %59, i64 16
%63 = bitcast i8* %62 to <16 x i8>*
%64 = load <16 x i8>, <16 x i8>* %63
%65 = and <16 x i8> %61, <i8 1, i8 1, i8 1, i8 1, i8 1, i8 1, i8 1, i8 1, i8 1, i8 1, i8 1, i8 1, i8 1, i8 1, i8 1, i8 1>
%66 = and <16 x i8> %64, <i8 1, i8 1, i8 1, i8 1, i8 1, i8 1, i8 1, i8 1, i8 1, i8 1, i8 1, i8 1, i8 1, i8 1, i8 1, i8 1>
%67 = xor <16 x i8> %65, %55
%68 = xor <16 x i8> %66, %56
br label %69
69: ; preds = %51, %58
%70 = phi <16 x i8> [ %52, %51 ], [ %67, %58 ]
%71 = phi <16 x i8> [ %53, %51 ], [ %68, %58 ]
%72 = xor <16 x i8> %71, %70
%73 = call i8 @llvm.vector.reduce.xor.v16i8(<16 x i8> %72)
%74 = icmp eq i64 %8, %13
br i1 %74, label %119, label %75
75: ; preds = %69
%76 = trunc i64 %13 to i32
%77 = sub i32 %1, %76
%78 = getelementptr i8, i8* %0, i64 %13
%79 = and i64 %8, 24
%80 = icmp eq i64 %79, 0
br i1 %80, label %105, label %81
81: ; preds = %10, %75
%82 = phi i8 [ %2, %10 ], [ %73, %75 ]
%83 = phi i64 [ 0, %10 ], [ %13, %75 ]
%84 = add i32 %1, -1
%85 = zext i32 %84 to i64
%86 = add nuw nsw i64 %85, 1
%87 = and i64 %86, 8589934584
%88 = getelementptr i8, i8* %0, i64 %87
%89 = trunc i64 %87 to i32
%90 = sub i32 %1, %89
%91 = insertelement <8 x i8> <i8 poison, i8 0, i8 0, i8 0, i8 0, i8 0, i8 0, i8 0>, i8 %82, i64 0
br label %92
92: ; preds = %92, %81
%93 = phi i64 [ %83, %81 ], [ %100, %92 ]
%94 = phi <8 x i8> [ %91, %81 ], [ %99, %92 ]
%95 = getelementptr i8, i8* %0, i64 %93
%96 = bitcast i8* %95 to <8 x i8>*
%97 = load <8 x i8>, <8 x i8>* %96
%98 = and <8 x i8> %97, <i8 1, i8 1, i8 1, i8 1, i8 1, i8 1, i8 1, i8 1>
%99 = xor <8 x i8> %98, %94
%100 = add nuw i64 %93, 8
%101 = icmp eq i64 %100, %87
br i1 %101, label %102, label %92
102: ; preds = %92
%103 = call i8 @llvm.vector.reduce.xor.v8i8(<8 x i8> %99)
%104 = icmp eq i64 %86, %87
br i1 %104, label %119, label %105
105: ; preds = %5, %75, %102
%106 = phi i8 [ %2, %5 ], [ %73, %75 ], [ %103, %102 ]
%107 = phi i8* [ %0, %5 ], [ %78, %75 ], [ %88, %102 ]
%108 = phi i32 [ %1, %5 ], [ %77, %75 ], [ %90, %102 ]
br label %109
109: ; preds = %105, %109
%110 = phi i8 [ %116, %109 ], [ %106, %105 ]
%111 = phi i8* [ %113, %109 ], [ %107, %105 ]
%112 = phi i32 [ %117, %109 ], [ %108, %105 ]
%113 = getelementptr inbounds i8, i8* %111, i64 1
%114 = load i8, i8* %111
%115 = and i8 %114, 1
%116 = xor i8 %115, %110
%117 = add nsw i32 %112, -1
%118 = icmp ugt i32 %112, 1
br i1 %118, label %109, label %119
119: ; preds = %109, %69, %102, %3
%120 = phi i8 [ %2, %3 ], [ %73, %69 ], [ %103, %102 ], [ %116, %109 ]
ret i8 %120
}