unsigned sieveSearch(unsigned char const *array, unsigned size,
                     unsigned start) {
  unsigned i;
  unsigned char t;
  if (!++start)
    return 0;
  i = start / 8;
  if (i >= size)
    return 0;
  if (start & 7) {
    t = array[i++] >> (start & 7);
    if (t) {
      if (!(t & 15)) {
        t >>= 4;
        start += 4;
      }
      if (!(t & 3)) {
        t >>= 2;
        start += 2;
      }
      if (!(t & 1))
        start += 1;
      return start;
    } else if (i == size) {
      return 0;
    }
  }
  do {
    if ((t = array[i]) != 0) {
      start = 8 * i;
      if (!(t & 15)) {
        t >>= 4;
        start += 4;
      }
      if (!(t & 3)) {
        t >>= 2;
        start += 2;
      }
      if (!(t & 1))
        start += 1;
      return start;
    }
  } while (++i < size);
  return 0;
}


x86 assembly (clang, -O0):
<sieveSearch>:
push   %rbp
mov    %rsp,%rbp
mov    %rdi,-0x10(%rbp)
mov    %esi,-0x14(%rbp)
mov    %edx,-0x18(%rbp)
mov    -0x18(%rbp),%eax
add    $0x1,%eax
mov    %eax,-0x18(%rbp)
cmp    $0x0,%eax
jne    112c <sieveSearch+0x2c>
movl   $0x0,-0x4(%rbp)
jmp    12c1 <sieveSearch+0x1c1>
mov    -0x18(%rbp),%eax
shr    $0x3,%eax
mov    %eax,-0x1c(%rbp)
mov    -0x1c(%rbp),%eax
cmp    -0x14(%rbp),%eax
jb     114d <sieveSearch+0x4d>
movl   $0x0,-0x4(%rbp)
jmp    12c1 <sieveSearch+0x1c1>
mov    -0x18(%rbp),%eax
and    $0x7,%eax
cmp    $0x0,%eax
je     1212 <sieveSearch+0x112>
mov    -0x10(%rbp),%rax
mov    -0x1c(%rbp),%ecx
mov    %ecx,%edx
add    $0x1,%edx
mov    %edx,-0x1c(%rbp)
mov    %ecx,%ecx
movzbl (%rax,%rcx,1),%eax
mov    -0x18(%rbp),%ecx
and    $0x7,%ecx
sar    %cl,%eax
mov    %al,-0x1d(%rbp)
cmpb   $0x0,-0x1d(%rbp)
je     11f0 <sieveSearch+0xf0>
movzbl -0x1d(%rbp),%eax
and    $0xf,%eax
cmp    $0x0,%eax
jne    11a9 <sieveSearch+0xa9>
movzbl -0x1d(%rbp),%eax
sar    $0x4,%eax
mov    %al,-0x1d(%rbp)
mov    -0x18(%rbp),%eax
add    $0x4,%eax
mov    %eax,-0x18(%rbp)
movzbl -0x1d(%rbp),%eax
and    $0x3,%eax
cmp    $0x0,%eax
jne    11cc <sieveSearch+0xcc>
movzbl -0x1d(%rbp),%eax
sar    $0x2,%eax
mov    %al,-0x1d(%rbp)
mov    -0x18(%rbp),%eax
add    $0x2,%eax
mov    %eax,-0x18(%rbp)
movzbl -0x1d(%rbp),%eax
and    $0x1,%eax
cmp    $0x0,%eax
jne    11e5 <sieveSearch+0xe5>
mov    -0x18(%rbp),%eax
add    $0x1,%eax
mov    %eax,-0x18(%rbp)
mov    -0x18(%rbp),%eax
mov    %eax,-0x4(%rbp)
jmp    12c1 <sieveSearch+0x1c1>
mov    -0x1c(%rbp),%eax
cmp    -0x14(%rbp),%eax
jne    1208 <sieveSearch+0x108>
movl   $0x0,-0x4(%rbp)
jmp    12c1 <sieveSearch+0x1c1>
jmp    120d <sieveSearch+0x10d>
jmp    1212 <sieveSearch+0x112>
jmp    1217 <sieveSearch+0x117>
mov    -0x10(%rbp),%rax
mov    -0x1c(%rbp),%ecx
mov    (%rax,%rcx,1),%al
mov    %al,-0x1d(%rbp)
movzbl %al,%eax
cmp    $0x0,%eax
je     12a3 <sieveSearch+0x1a3>
mov    -0x1c(%rbp),%eax
shl    $0x3,%eax
mov    %eax,-0x18(%rbp)
movzbl -0x1d(%rbp),%eax
and    $0xf,%eax
cmp    $0x0,%eax
jne    125c <sieveSearch+0x15c>
movzbl -0x1d(%rbp),%eax
sar    $0x4,%eax
mov    %al,-0x1d(%rbp)
mov    -0x18(%rbp),%eax
add    $0x4,%eax
mov    %eax,-0x18(%rbp)
movzbl -0x1d(%rbp),%eax
and    $0x3,%eax
cmp    $0x0,%eax
jne    127f <sieveSearch+0x17f>
movzbl -0x1d(%rbp),%eax
sar    $0x2,%eax
mov    %al,-0x1d(%rbp)
mov    -0x18(%rbp),%eax
add    $0x2,%eax
mov    %eax,-0x18(%rbp)
movzbl -0x1d(%rbp),%eax
and    $0x1,%eax
cmp    $0x0,%eax
jne    1298 <sieveSearch+0x198>
mov    -0x18(%rbp),%eax
add    $0x1,%eax
mov    %eax,-0x18(%rbp)
mov    -0x18(%rbp),%eax
mov    %eax,-0x4(%rbp)
jmp    12c1 <sieveSearch+0x1c1>
jmp    12a8 <sieveSearch+0x1a8>
mov    -0x1c(%rbp),%eax
add    $0x1,%eax
mov    %eax,-0x1c(%rbp)
cmp    -0x14(%rbp),%eax
jb     1217 <sieveSearch+0x117>
movl   $0x0,-0x4(%rbp)
mov    -0x4(%rbp),%eax
pop    %rbp
ret

x86 assembly (clang, -O2):
<sieveSearch>:
xor    %eax,%eax
mov    %edx,%r9d
inc    %r9d
je     1197 <sieveSearch+0x97>
mov    %r9d,%r8d
shr    $0x3,%r8
cmp    %esi,%r8d
jae    1197 <sieveSearch+0x97>
mov    %r9d,%ecx
and    $0x7,%ecx
je     1174 <sieveSearch+0x74>
movzbl (%rdi,%r8,1),%r10d
shr    %cl,%r10d
test   %r10d,%r10d
je     116b <sieveSearch+0x6b>
mov    %r10d,%eax
shr    $0x4,%eax
add    $0x5,%edx
test   $0xf,%r10b
cmove  %edx,%r9d
movzbl %r10b,%ecx
cmove  %eax,%ecx
mov    %ecx,%eax
shr    $0x2,%al
lea    0x2(%r9),%edx
test   $0x3,%cl
cmovne %r9d,%edx
movzbl %al,%eax
cmovne %ecx,%eax
not    %al
and    $0x1,%al
movzbl %al,%eax
add    %edx,%eax
ret
add    $0x1,%r8d
cmp    %esi,%r8d
je     1197 <sieveSearch+0x97>
lea    0x0(,%r8,8),%ecx
nopl   0x0(%rax)
mov    %r8d,%edx
movzbl (%rdi,%rdx,1),%edx
test   %dl,%dl
jne    1198 <sieveSearch+0x98>
add    $0x1,%r8d
add    $0x8,%ecx
cmp    %esi,%r8d
jb     1180 <sieveSearch+0x80>
ret
mov    %edx,%eax
shr    $0x4,%al
lea    0x4(%rcx),%esi
test   $0xf,%dl
cmovne %ecx,%esi
movzbl %dl,%ecx
movzbl %al,%eax
cmovne %ecx,%eax
mov    %eax,%ecx
shr    $0x2,%cl
mov    %esi,%edx
or     $0x2,%edx
test   $0x3,%al
cmovne %esi,%edx
movzbl %cl,%ecx
cmovne %eax,%ecx
not    %cl
and    $0x1,%cl
movzbl %cl,%eax
or     %edx,%eax
ret

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

LLVM IR (-O2):
define i32 @sieveSearch(i8* nocapture %0, i32 %1, i32 %2) {
%4 = add i32 %2, 1
%5 = icmp eq i32 %4, 0
br i1 %5, label %70, label %6
6: ; preds = %3
%7 = lshr i32 %4, 3
%8 = icmp ult i32 %7, %1
br i1 %8, label %9, label %70
9: ; preds = %6
%10 = and i32 %4, 7
%11 = icmp eq i32 %10, 0
br i1 %11, label %41, label %12
12: ; preds = %9
%13 = add nuw nsw i32 %7, 1
%14 = zext i32 %7 to i64
%15 = getelementptr inbounds i8, i8* %0, i64 %14
%16 = load i8, i8* %15
%17 = zext i8 %16 to i32
%18 = lshr i32 %17, %10
%19 = trunc i32 %18 to i8
%20 = icmp eq i8 %19, 0
br i1 %20, label %39, label %21
21: ; preds = %12
%22 = and i32 %18, 15
%23 = icmp eq i32 %22, 0
%24 = lshr i32 %18, 4
%25 = trunc i32 %24 to i8
%26 = add i32 %2, 5
%27 = select i1 %23, i32 %26, i32 %4
%28 = select i1 %23, i8 %25, i8 %19
%29 = and i8 %28, 3
%30 = icmp eq i8 %29, 0
%31 = lshr i8 %28, 2
%32 = add i32 %27, 2
%33 = select i1 %30, i32 %32, i32 %27
%34 = select i1 %30, i8 %31, i8 %28
%35 = and i8 %34, 1
%36 = xor i8 %35, 1
%37 = zext i8 %36 to i32
%38 = add i32 %33, %37
br label %70
39: ; preds = %12
%40 = icmp eq i32 %13, %1
br i1 %40, label %70, label %41
41: ; preds = %39, %9
%42 = phi i32 [ %7, %9 ], [ %13, %39 ]
br label %43
43: ; preds = %41, %67
%44 = phi i32 [ %68, %67 ], [ %42, %41 ]
%45 = zext i32 %44 to i64
%46 = getelementptr inbounds i8, i8* %0, i64 %45
%47 = load i8, i8* %46
%48 = icmp eq i8 %47, 0
br i1 %48, label %67, label %49
49: ; preds = %43
%50 = shl i32 %44, 3
%51 = and i8 %47, 15
%52 = icmp eq i8 %51, 0
%53 = lshr i8 %47, 4
%54 = or i32 %50, 4
%55 = select i1 %52, i32 %54, i32 %50
%56 = select i1 %52, i8 %53, i8 %47
%57 = and i8 %56, 3
%58 = icmp eq i8 %57, 0
%59 = lshr i8 %56, 2
%60 = or i32 %55, 2
%61 = select i1 %58, i32 %60, i32 %55
%62 = select i1 %58, i8 %59, i8 %56
%63 = and i8 %62, 1
%64 = xor i8 %63, 1
%65 = zext i8 %64 to i32
%66 = or i32 %61, %65
br label %70
67: ; preds = %43
%68 = add i32 %44, 1
%69 = icmp ult i32 %68, %1
br i1 %69, label %43, label %70
70: ; preds = %67, %39, %6, %3, %49, %21
%71 = phi i32 [ %38, %21 ], [ %66, %49 ], [ 0, %3 ], [ 0, %6 ], [ 0, %39 ], [ 0, %67 ]
ret i32 %71
}