char FindMajority(char m[], unsigned size, char *majority) {
  unsigned cnt, i;
  for (i = cnt = 0; i < size; i++) {
    if (0 == cnt) {
      *majority = m[i];
      cnt = 1;
    } else if (m[i] == *majority)
      cnt++;
    else
      cnt--;
  }
  if (cnt > 0) {
    for (i = cnt = 0; i < size; i++)
      if (m[i] == *majority)
        cnt++;
    return (cnt > size / 2);
  }
  return 0;
}


x86 assembly (clang, -O0):
<FindMajority>:
push   %rbp
mov    %rsp,%rbp
mov    %rdi,-0x10(%rbp)
mov    %esi,-0x14(%rbp)
mov    %rdx,-0x20(%rbp)
movl   $0x0,-0x24(%rbp)
movl   $0x0,-0x28(%rbp)
mov    -0x28(%rbp),%eax
cmp    -0x14(%rbp),%eax
jae    1199 <FindMajority+0x99>
xor    %eax,%eax
cmp    -0x24(%rbp),%eax
jne    1150 <FindMajority+0x50>
mov    -0x10(%rbp),%rax
mov    -0x28(%rbp),%ecx
mov    (%rax,%rcx,1),%cl
mov    -0x20(%rbp),%rax
mov    %cl,(%rax)
movl   $0x1,-0x24(%rbp)
jmp    1186 <FindMajority+0x86>
mov    -0x10(%rbp),%rax
mov    -0x28(%rbp),%ecx
movsbl (%rax,%rcx,1),%eax
mov    -0x20(%rbp),%rcx
movsbl (%rcx),%ecx
cmp    %ecx,%eax
jne    1178 <FindMajority+0x78>
mov    -0x24(%rbp),%eax
add    $0x1,%eax
mov    %eax,-0x24(%rbp)
jmp    1181 <FindMajority+0x81>
mov    -0x24(%rbp),%eax
add    $0xffffffff,%eax
mov    %eax,-0x24(%rbp)
jmp    1186 <FindMajority+0x86>
jmp    118b <FindMajority+0x8b>
mov    -0x28(%rbp),%eax
add    $0x1,%eax
mov    %eax,-0x28(%rbp)
jmp    111d <FindMajority+0x1d>
cmpl   $0x0,-0x24(%rbp)
jbe    120e <FindMajority+0x10e>
movl   $0x0,-0x24(%rbp)
movl   $0x0,-0x28(%rbp)
mov    -0x28(%rbp),%eax
cmp    -0x14(%rbp),%eax
jae    11f3 <FindMajority+0xf3>
mov    -0x10(%rbp),%rax
mov    -0x28(%rbp),%ecx
movsbl (%rax,%rcx,1),%eax
mov    -0x20(%rbp),%rcx
movsbl (%rcx),%ecx
cmp    %ecx,%eax
jne    11e0 <FindMajority+0xe0>
mov    -0x24(%rbp),%eax
add    $0x1,%eax
mov    %eax,-0x24(%rbp)
jmp    11e5 <FindMajority+0xe5>
mov    -0x28(%rbp),%eax
add    $0x1,%eax
mov    %eax,-0x28(%rbp)
jmp    11b1 <FindMajority+0xb1>
mov    -0x24(%rbp),%eax
mov    -0x14(%rbp),%ecx
shr    $0x1,%ecx
cmp    %ecx,%eax
seta   %al
and    $0x1,%al
movzbl %al,%eax
mov    %al,-0x1(%rbp)
jmp    1212 <FindMajority+0x112>
movb   $0x0,-0x1(%rbp)
movsbl -0x1(%rbp),%eax
pop    %rbp
ret

x86 assembly (clang, -O2):
<FindMajority>:
xor    %eax,%eax
test   %esi,%esi
je     132b <FindMajority+0x22b>
mov    %esi,%r9d
cmp    $0x1,%esi
jne    1139 <FindMajority+0x39>
xor    %ecx,%ecx
test   $0x1,%r9b
je     11c1 <FindMajority+0xc1>
mov    (%rdi,%rcx,1),%cl
test   %eax,%eax
je     11b5 <FindMajority+0xb5>
cmp    (%rdx),%cl
jne    11be <FindMajority+0xbe>
add    $0x1,%eax
jmp    11c1 <FindMajority+0xc1>
mov    %r9d,%r8d
and    $0xfffffffe,%r8d
xor    %ecx,%ecx
xor    %eax,%eax
jmp    1161 <FindMajority+0x61>
cs nopw 0x0(%rax,%rax,1)
mov    %r10b,(%rdx)
mov    $0x1,%eax
add    $0x2,%rcx
cmp    %rcx,%r8
je     1114 <FindMajority+0x14>
movzbl (%rdi,%rcx,1),%r10d
test   %eax,%eax
je     1180 <FindMajority+0x80>
cmp    (%rdx),%r10b
jne    1190 <FindMajority+0x90>
add    $0x1,%eax
jmp    1193 <FindMajority+0x93>
cs nopw 0x0(%rax,%rax,1)
xchg   %ax,%ax
mov    %r10b,(%rdx)
mov    $0x1,%eax
jmp    1193 <FindMajority+0x93>
nopw   0x0(%rax,%rax,1)
add    $0xffffffff,%eax
movzbl 0x1(%rdi,%rcx,1),%r10d
test   %eax,%eax
je     1150 <FindMajority+0x50>
cmp    (%rdx),%r10b
jne    11b0 <FindMajority+0xb0>
add    $0x1,%eax
jmp    1158 <FindMajority+0x58>
nopw   0x0(%rax,%rax,1)
add    $0xffffffff,%eax
jmp    1158 <FindMajority+0x58>
mov    %cl,(%rdx)
mov    $0x1,%eax
jmp    11c1 <FindMajority+0xc1>
add    $0xffffffff,%eax
xor    %ecx,%ecx
test   %eax,%eax
je     11e0 <FindMajority+0xe0>
test   %esi,%esi
je     1324 <FindMajority+0x224>
mov    (%rdx),%r10b
cmp    $0x8,%esi
jae    11e3 <FindMajority+0xe3>
xor    %edx,%edx
xor    %ecx,%ecx
jmp    1310 <FindMajority+0x210>
xor    %eax,%eax
ret
mov    %r9d,%edx
and    $0xfffffff8,%edx
movzbl %r10b,%eax
movd   %eax,%xmm0
punpcklbw %xmm0,%xmm0
pshuflw $0x0,%xmm0,%xmm0
lea    -0x8(%rdx),%rax
mov    %rax,%r8
shr    $0x3,%r8
add    $0x1,%r8
test   %rax,%rax
je     132c <FindMajority+0x22c>
mov    %r8,%rax
and    $0xfffffffffffffffe,%rax
pxor   %xmm1,%xmm1
xor    %ecx,%ecx
movdqa 0xdd9(%rip),%xmm3
pxor   %xmm2,%xmm2
nopl   0x0(%rax,%rax,1)
movd   (%rdi,%rcx,1),%xmm5
movd   0x4(%rdi,%rcx,1),%xmm4
pcmpeqb %xmm0,%xmm5
punpcklbw %xmm5,%xmm5
punpcklwd %xmm5,%xmm5
pand   %xmm3,%xmm5
paddd  %xmm1,%xmm5
pcmpeqb %xmm0,%xmm4
punpcklbw %xmm4,%xmm4
punpcklwd %xmm4,%xmm4
pand   %xmm3,%xmm4
paddd  %xmm2,%xmm4
movd   0x8(%rdi,%rcx,1),%xmm1
movd   0xc(%rdi,%rcx,1),%xmm2
pcmpeqb %xmm0,%xmm1
punpcklbw %xmm1,%xmm1
punpcklwd %xmm1,%xmm1
pand   %xmm3,%xmm1
paddd  %xmm5,%xmm1
pcmpeqb %xmm0,%xmm2
punpcklbw %xmm2,%xmm2
punpcklwd %xmm2,%xmm2
pand   %xmm3,%xmm2
paddd  %xmm4,%xmm2
add    $0x10,%rcx
add    $0xfffffffffffffffe,%rax
jne    1230 <FindMajority+0x130>
test   $0x1,%r8b
je     12e2 <FindMajority+0x1e2>
movd   (%rdi,%rcx,1),%xmm3
movd   0x4(%rdi,%rcx,1),%xmm4
pcmpeqb %xmm0,%xmm3
punpcklbw %xmm3,%xmm3
punpcklwd %xmm3,%xmm3
movdqa 0xd3a(%rip),%xmm5
pand   %xmm5,%xmm3
paddd  %xmm3,%xmm1
pcmpeqb %xmm0,%xmm4
punpcklbw %xmm4,%xmm4
punpcklwd %xmm4,%xmm4
pand   %xmm5,%xmm4
paddd  %xmm4,%xmm2
paddd  %xmm2,%xmm1
pshufd $0xee,%xmm1,%xmm0
paddd  %xmm1,%xmm0
pshufd $0x55,%xmm0,%xmm1
paddd  %xmm0,%xmm1
movd   %xmm1,%ecx
cmp    %r9,%rdx
je     1324 <FindMajority+0x224>
cs nopw 0x0(%rax,%rax,1)
nopl   0x0(%rax,%rax,1)
xor    %eax,%eax
cmp    %r10b,(%rdi,%rdx,1)
sete   %al
add    %eax,%ecx
add    $0x1,%rdx
cmp    %rdx,%r9
jne    1310 <FindMajority+0x210>
shr    %esi
cmp    %esi,%ecx
seta   %al
ret
pxor   %xmm1,%xmm1
xor    %ecx,%ecx
pxor   %xmm2,%xmm2
test   $0x1,%r8b
jne    12a7 <FindMajority+0x1a7>
jmp    12e2 <FindMajority+0x1e2>

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

LLVM IR (-O2):
define signext i8 @FindMajority(i8* nocapture %0, i32 %1, i8* nocapture %2) {
%4 = icmp eq i32 %1, 0
br i1 %4, label %160, label %5
5: ; preds = %3
%6 = zext i32 %1 to i64
%7 = and i64 %6, 1
%8 = icmp eq i32 %1, 1
br i1 %8, label %45, label %9
9: ; preds = %5
%10 = and i64 %6, 4294967294
br label %11
11: ; preds = %40, %9
%12 = phi i64 [ 0, %9 ], [ %42, %40 ]
%13 = phi i32 [ 0, %9 ], [ %41, %40 ]
%14 = phi i64 [ 0, %9 ], [ %43, %40 ]
%15 = icmp eq i32 %13, 0
%16 = getelementptr inbounds i8, i8* %0, i64 %12
%17 = load i8, i8* %16
br i1 %15, label %18, label %19
18: ; preds = %11
store i8 %17, i8* %2
br label %26
19: ; preds = %11
%20 = load i8, i8* %2
%21 = icmp eq i8 %17, %20
br i1 %21, label %22, label %24
22: ; preds = %19
%23 = add i32 %13, 1
br label %26
24: ; preds = %19
%25 = add i32 %13, -1
br label %26
26: ; preds = %18, %24, %22
%27 = phi i32 [ 1, %18 ], [ %23, %22 ], [ %25, %24 ]
%28 = or i64 %12, 1
%29 = icmp eq i32 %27, 0
%30 = getelementptr inbounds i8, i8* %0, i64 %28
%31 = load i8, i8* %30
br i1 %29, label %39, label %32
32: ; preds = %26
%33 = load i8, i8* %2
%34 = icmp eq i8 %31, %33
br i1 %34, label %37, label %35
35: ; preds = %32
%36 = add i32 %27, -1
br label %40
37: ; preds = %32
%38 = add i32 %27, 1
br label %40
39: ; preds = %26
store i8 %31, i8* %2
br label %40
40: ; preds = %39, %37, %35
%41 = phi i32 [ 1, %39 ], [ %38, %37 ], [ %36, %35 ]
%42 = add nuw nsw i64 %12, 2
%43 = add i64 %14, 2
%44 = icmp eq i64 %43, %10
br i1 %44, label %45, label %11
45: ; preds = %40, %5
%46 = phi i32 [ undef, %5 ], [ %41, %40 ]
%47 = phi i64 [ 0, %5 ], [ %42, %40 ]
%48 = phi i32 [ 0, %5 ], [ %41, %40 ]
%49 = icmp eq i64 %7, 0
br i1 %49, label %62, label %50
50: ; preds = %45
%51 = icmp eq i32 %48, 0
%52 = getelementptr inbounds i8, i8* %0, i64 %47
%53 = load i8, i8* %52
br i1 %51, label %61, label %54
54: ; preds = %50
%55 = load i8, i8* %2
%56 = icmp eq i8 %53, %55
br i1 %56, label %59, label %57
57: ; preds = %54
%58 = add i32 %48, -1
br label %62
59: ; preds = %54
%60 = add i32 %48, 1
br label %62
61: ; preds = %50
store i8 %53, i8* %2
br label %62
62: ; preds = %57, %59, %61, %45
%63 = phi i32 [ %46, %45 ], [ 1, %61 ], [ %60, %59 ], [ %58, %57 ]
%64 = icmp eq i32 %63, 0
br i1 %64, label %160, label %65
65: ; preds = %62
br i1 %4, label %155, label %66
66: ; preds = %65
%67 = load i8, i8* %2
%68 = zext i32 %1 to i64
%69 = icmp ult i32 %1, 8
br i1 %69, label %142, label %70
70: ; preds = %66
%71 = and i64 %6, 4294967288
%72 = insertelement <4 x i8> poison, i8 %67, i64 0
%73 = shufflevector <4 x i8> %72, <4 x i8> poison, <4 x i32> zeroinitializer
%74 = insertelement <4 x i8> poison, i8 %67, i64 0
%75 = shufflevector <4 x i8> %74, <4 x i8> poison, <4 x i32> zeroinitializer
%76 = add nsw i64 %71, -8
%77 = lshr exact i64 %76, 3
%78 = add nuw nsw i64 %77, 1
%79 = and i64 %78, 1
%80 = icmp eq i64 %76, 0
br i1 %80, label %116, label %81
81: ; preds = %70
%82 = and i64 %78, 4611686018427387902
br label %83
83: ; preds = %83, %81
%84 = phi i64 [ 0, %81 ], [ %113, %83 ]
%85 = phi <4 x i32> [ zeroinitializer, %81 ], [ %111, %83 ]
%86 = phi <4 x i32> [ zeroinitializer, %81 ], [ %112, %83 ]
%87 = phi i64 [ 0, %81 ], [ %114, %83 ]
%88 = getelementptr inbounds i8, i8* %0, i64 %84
%89 = bitcast i8* %88 to <4 x i8>*
%90 = load <4 x i8>, <4 x i8>* %89
%91 = getelementptr inbounds i8, i8* %88, i64 4
%92 = bitcast i8* %91 to <4 x i8>*
%93 = load <4 x i8>, <4 x i8>* %92
%94 = icmp eq <4 x i8> %90, %73
%95 = icmp eq <4 x i8> %93, %75
%96 = zext <4 x i1> %94 to <4 x i32>
%97 = zext <4 x i1> %95 to <4 x i32>
%98 = add <4 x i32> %85, %96
%99 = add <4 x i32> %86, %97
%100 = or i64 %84, 8
%101 = getelementptr inbounds i8, i8* %0, i64 %100
%102 = bitcast i8* %101 to <4 x i8>*
%103 = load <4 x i8>, <4 x i8>* %102
%104 = getelementptr inbounds i8, i8* %101, i64 4
%105 = bitcast i8* %104 to <4 x i8>*
%106 = load <4 x i8>, <4 x i8>* %105
%107 = icmp eq <4 x i8> %103, %73
%108 = icmp eq <4 x i8> %106, %75
%109 = zext <4 x i1> %107 to <4 x i32>
%110 = zext <4 x i1> %108 to <4 x i32>
%111 = add <4 x i32> %98, %109
%112 = add <4 x i32> %99, %110
%113 = add nuw i64 %84, 16
%114 = add i64 %87, 2
%115 = icmp eq i64 %114, %82
br i1 %115, label %116, label %83
116: ; preds = %83, %70
%117 = phi <4 x i32> [ undef, %70 ], [ %111, %83 ]
%118 = phi <4 x i32> [ undef, %70 ], [ %112, %83 ]
%119 = phi i64 [ 0, %70 ], [ %113, %83 ]
%120 = phi <4 x i32> [ zeroinitializer, %70 ], [ %111, %83 ]
%121 = phi <4 x i32> [ zeroinitializer, %70 ], [ %112, %83 ]
%122 = icmp eq i64 %79, 0
br i1 %122, label %136, label %123
123: ; preds = %116
%124 = getelementptr inbounds i8, i8* %0, i64 %119
%125 = bitcast i8* %124 to <4 x i8>*
%126 = load <4 x i8>, <4 x i8>* %125
%127 = getelementptr inbounds i8, i8* %124, i64 4
%128 = bitcast i8* %127 to <4 x i8>*
%129 = load <4 x i8>, <4 x i8>* %128
%130 = icmp eq <4 x i8> %126, %73
%131 = icmp eq <4 x i8> %129, %75
%132 = zext <4 x i1> %130 to <4 x i32>
%133 = zext <4 x i1> %131 to <4 x i32>
%134 = add <4 x i32> %120, %132
%135 = add <4 x i32> %121, %133
br label %136
136: ; preds = %116, %123
%137 = phi <4 x i32> [ %117, %116 ], [ %134, %123 ]
%138 = phi <4 x i32> [ %118, %116 ], [ %135, %123 ]
%139 = add <4 x i32> %138, %137
%140 = call i32 @llvm.vector.reduce.add.v4i32(<4 x i32> %139)
%141 = icmp eq i64 %71, %6
br i1 %141, label %155, label %142
142: ; preds = %66, %136
%143 = phi i64 [ 0, %66 ], [ %71, %136 ]
%144 = phi i32 [ 0, %66 ], [ %140, %136 ]
br label %145
145: ; preds = %142, %145
%146 = phi i64 [ %153, %145 ], [ %143, %142 ]
%147 = phi i32 [ %152, %145 ], [ %144, %142 ]
%148 = getelementptr inbounds i8, i8* %0, i64 %146
%149 = load i8, i8* %148
%150 = icmp eq i8 %149, %67
%151 = zext i1 %150 to i32
%152 = add i32 %147, %151
%153 = add nuw nsw i64 %146, 1
%154 = icmp eq i64 %153, %68
br i1 %154, label %155, label %145
155: ; preds = %145, %136, %65
%156 = phi i32 [ 0, %65 ], [ %140, %136 ], [ %152, %145 ]
%157 = lshr i32 %1, 1
%158 = icmp ugt i32 %156, %157
%159 = zext i1 %158 to i8
br label %160
160: ; preds = %3, %62, %155
%161 = phi i8 [ %159, %155 ], [ 0, %62 ], [ 0, %3 ]
ret i8 %161
}