int __bitmap_and(unsigned long *dst, const unsigned long *bitmap1,
                 const unsigned long *bitmap2, unsigned int bits) {
  unsigned int k;
  unsigned int lim = bits / 32;
  unsigned long result = 0;
  for (k = 0; k < lim; k++)
    result |= (dst[k] = bitmap1[k] & bitmap2[k]);
  if (bits % 32)
    result |=
        (dst[k] = bitmap1[k] & bitmap2[k] & (~0UL >> (-(bits) & (32 - 1))));
  return result != 0;
}


x86 assembly (clang, -O0):
<__bitmap_and>:
push   %rbp
mov    %rsp,%rbp
mov    %rdi,-0x8(%rbp)
mov    %rsi,-0x10(%rbp)
mov    %rdx,-0x18(%rbp)
mov    %ecx,-0x1c(%rbp)
mov    -0x1c(%rbp),%eax
shr    $0x5,%eax
mov    %eax,-0x24(%rbp)
movq   $0x0,-0x30(%rbp)
movl   $0x0,-0x20(%rbp)
mov    -0x20(%rbp),%eax
cmp    -0x24(%rbp),%eax
jae    116e <__bitmap_and+0x6e>
mov    -0x10(%rbp),%rax
mov    -0x20(%rbp),%ecx
mov    (%rax,%rcx,8),%rax
mov    -0x18(%rbp),%rcx
mov    -0x20(%rbp),%edx
and    (%rcx,%rdx,8),%rax
mov    -0x8(%rbp),%rcx
mov    -0x20(%rbp),%edx
mov    %rax,(%rcx,%rdx,8)
or     -0x30(%rbp),%rax
mov    %rax,-0x30(%rbp)
mov    -0x20(%rbp),%eax
add    $0x1,%eax
mov    %eax,-0x20(%rbp)
jmp    112b <__bitmap_and+0x2b>
mov    -0x1c(%rbp),%eax
and    $0x1f,%eax
cmp    $0x0,%eax
je     11c0 <__bitmap_and+0xc0>
mov    -0x10(%rbp),%rax
mov    -0x20(%rbp),%ecx
mov    (%rax,%rcx,8),%rax
mov    -0x18(%rbp),%rcx
mov    -0x20(%rbp),%edx
and    (%rcx,%rdx,8),%rax
xor    %ecx,%ecx
sub    -0x1c(%rbp),%ecx
and    $0x1f,%ecx
mov    %ecx,%ecx
mov    $0xffffffffffffffff,%rdx
shr    %cl,%rdx
mov    %rdx,%rcx
and    %rcx,%rax
mov    -0x8(%rbp),%rcx
mov    -0x20(%rbp),%edx
mov    %rax,(%rcx,%rdx,8)
or     -0x30(%rbp),%rax
mov    %rax,-0x30(%rbp)
cmpq   $0x0,-0x30(%rbp)
setne  %al
and    $0x1,%al
movzbl %al,%eax
pop    %rbp
ret

x86 assembly (clang, -O2):
<__bitmap_and>:
push   %rbp
push   %rbx
cmp    $0x20,%ecx
jae    1112 <__bitmap_and+0x12>
xor    %r8d,%r8d
xor    %r9d,%r9d
jmp    12da <__bitmap_and+0x1da>
mov    %ecx,%r8d
shr    $0x5,%r8d
cmp    $0x80,%ecx
jae    1144 <__bitmap_and+0x44>
xor    %eax,%eax
xor    %r10d,%r10d
mov    %rax,%r11
not    %r11
test   $0x1,%r8b
jne    1288 <__bitmap_and+0x188>
add    %r8,%r11
jne    12a3 <__bitmap_and+0x1a3>
jmp    12da <__bitmap_and+0x1da>
lea    (%rdi,%r8,8),%r10
lea    (%rsi,%r8,8),%rax
cmp    %rdi,%rax
seta   %bpl
lea    (%rdx,%r8,8),%rax
cmp    %rsi,%r10
seta   %bl
cmp    %rdi,%rax
seta   %r9b
cmp    %rdx,%r10
seta   %r11b
xor    %eax,%eax
test   %bl,%bpl
jne    1123 <__bitmap_and+0x23>
mov    $0x0,%r10d
and    %r11b,%r9b
jne    1126 <__bitmap_and+0x26>
mov    %r8d,%eax
and    $0xfffffffc,%eax
lea    -0x4(%rax),%rbp
mov    %rbp,%r10
shr    $0x2,%r10
add    $0x1,%r10
test   %rbp,%rbp
je     1304 <__bitmap_and+0x204>
mov    %r10,%r11
and    $0xfffffffffffffffe,%r11
pxor   %xmm0,%xmm0
xor    %r9d,%r9d
pxor   %xmm1,%xmm1
nopl   (%rax)
movdqu (%rsi,%r9,8),%xmm2
movdqu 0x10(%rsi,%r9,8),%xmm3
movdqu (%rdx,%r9,8),%xmm4
pand   %xmm2,%xmm4
movdqu 0x10(%rdx,%r9,8),%xmm2
pand   %xmm3,%xmm2
movdqu %xmm4,(%rdi,%r9,8)
movdqu %xmm2,0x10(%rdi,%r9,8)
por    %xmm0,%xmm4
por    %xmm1,%xmm2
movdqu 0x20(%rsi,%r9,8),%xmm1
movdqu 0x30(%rsi,%r9,8),%xmm3
movdqu 0x20(%rdx,%r9,8),%xmm0
pand   %xmm1,%xmm0
movdqu 0x30(%rdx,%r9,8),%xmm1
pand   %xmm3,%xmm1
movdqu %xmm0,0x20(%rdi,%r9,8)
movdqu %xmm1,0x30(%rdi,%r9,8)
por    %xmm4,%xmm0
por    %xmm2,%xmm1
add    $0x8,%r9
add    $0xfffffffffffffffe,%r11
jne    11b0 <__bitmap_and+0xb0>
test   $0x1,%r10b
je     1268 <__bitmap_and+0x168>
movdqu (%rsi,%r9,8),%xmm2
movdqu 0x10(%rsi,%r9,8),%xmm3
movdqu (%rdx,%r9,8),%xmm4
pand   %xmm2,%xmm4
movdqu 0x10(%rdx,%r9,8),%xmm2
pand   %xmm3,%xmm2
movdqu %xmm4,(%rdi,%r9,8)
movdqu %xmm2,0x10(%rdi,%r9,8)
por    %xmm4,%xmm0
por    %xmm2,%xmm1
por    %xmm1,%xmm0
pshufd $0xee,%xmm0,%xmm1
por    %xmm0,%xmm1
movq   %xmm1,%r10
mov    %r10,%r9
cmp    %r8,%rax
jne    1126 <__bitmap_and+0x26>
jmp    12da <__bitmap_and+0x1da>
mov    (%rdx,%rax,8),%r9
and    (%rsi,%rax,8),%r9
mov    %r9,(%rdi,%rax,8)
or     %r10,%r9
or     $0x1,%rax
mov    %r9,%r10
add    %r8,%r11
je     12da <__bitmap_and+0x1da>
mov    %r10,%r9
cs nopw 0x0(%rax,%rax,1)
mov    (%rdx,%rax,8),%rbp
and    (%rsi,%rax,8),%rbp
mov    %rbp,(%rdi,%rax,8)
or     %r9,%rbp
mov    0x8(%rdx,%rax,8),%r9
and    0x8(%rsi,%rax,8),%r9
mov    %r9,0x8(%rdi,%rax,8)
or     %rbp,%r9
add    $0x2,%rax
cmp    %rax,%r8
jne    12b0 <__bitmap_and+0x1b0>
test   $0x1f,%cl
je     12f9 <__bitmap_and+0x1f9>
mov    (%rsi,%r8,8),%rax
neg    %cl
and    $0x1f,%cl
shl    %cl,%rax
shr    %cl,%rax
and    (%rdx,%r8,8),%rax
mov    %rax,(%rdi,%r8,8)
or     %rax,%r9
xor    %eax,%eax
test   %r9,%r9
setne  %al
pop    %rbx
pop    %rbp
ret
pxor   %xmm0,%xmm0
xor    %r9d,%r9d
pxor   %xmm1,%xmm1
test   $0x1,%r10b
jne    1231 <__bitmap_and+0x131>
jmp    1268 <__bitmap_and+0x168>

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

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