void *bit_AND(void *dst, const void *src, int num_chars) {
  int i;
  unsigned int *d, *s;
  d = (unsigned int *)dst;
  s = (unsigned int *)src;
  for (i = 0; i < num_chars / sizeof(unsigned int); i++)
    d[i] &= s[i];
  return (void *)d;
}


x86 assembly (clang, -O0):
<bit_AND>:
push   %rbp
mov    %rsp,%rbp
mov    %rdi,-0x8(%rbp)
mov    %rsi,-0x10(%rbp)
mov    %edx,-0x14(%rbp)
mov    -0x8(%rbp),%rax
mov    %rax,-0x20(%rbp)
mov    -0x10(%rbp),%rax
mov    %rax,-0x28(%rbp)
movl   $0x0,-0x18(%rbp)
movslq -0x18(%rbp),%rax
movslq -0x14(%rbp),%rcx
shr    $0x2,%rcx
cmp    %rcx,%rax
jae    1162 <bit_AND+0x62>
mov    -0x28(%rbp),%rax
movslq -0x18(%rbp),%rcx
mov    (%rax,%rcx,4),%edx
mov    -0x20(%rbp),%rax
movslq -0x18(%rbp),%rcx
and    (%rax,%rcx,4),%edx
mov    %edx,(%rax,%rcx,4)
mov    -0x18(%rbp),%eax
add    $0x1,%eax
mov    %eax,-0x18(%rbp)
jmp    1126 <bit_AND+0x26>
mov    -0x20(%rbp),%rax
pop    %rbp
ret

x86 assembly (clang, -O2):
<bit_AND>:
mov    %rdi,%rax
cmp    $0x4,%edx
jb     124f <bit_AND+0x14f>
movslq %edx,%rcx
shr    $0x2,%rcx
cmp    $0x2,%rcx
mov    $0x1,%r9d
cmovae %rcx,%r9
cmp    $0x8,%r9
jb     1139 <bit_AND+0x39>
lea    (%rsi,%r9,4),%rcx
cmp    %rax,%rcx
jbe    119c <bit_AND+0x9c>
lea    (%rax,%r9,4),%rcx
cmp    %rsi,%rcx
jbe    119c <bit_AND+0x9c>
xor    %edx,%edx
mov    %rdx,%r8
not    %r8
add    %r9,%r8
mov    %r9,%rdi
and    $0x3,%rdi
je     1160 <bit_AND+0x60>
nopl   (%rax)
mov    (%rsi,%rdx,4),%ecx
and    %ecx,(%rax,%rdx,4)
add    $0x1,%rdx
add    $0xffffffffffffffff,%rdi
jne    1150 <bit_AND+0x50>
cmp    $0x3,%r8
jb     124f <bit_AND+0x14f>
nopw   0x0(%rax,%rax,1)
mov    (%rsi,%rdx,4),%ecx
and    %ecx,(%rax,%rdx,4)
mov    0x4(%rsi,%rdx,4),%ecx
and    %ecx,0x4(%rax,%rdx,4)
mov    0x8(%rsi,%rdx,4),%ecx
and    %ecx,0x8(%rax,%rdx,4)
mov    0xc(%rsi,%rdx,4),%ecx
and    %ecx,0xc(%rax,%rdx,4)
add    $0x4,%rdx
cmp    %rdx,%r9
jne    1170 <bit_AND+0x70>
jmp    124f <bit_AND+0x14f>
mov    %r9,%rdx
and    $0xfffffffffffffff8,%rdx
lea    -0x8(%rdx),%rcx
mov    %rcx,%r8
shr    $0x3,%r8
add    $0x1,%r8
test   %rcx,%rcx
je     1250 <bit_AND+0x150>
movabs $0x3ffffffffffffff8,%rcx
ff ff 3f
add    $0x6,%rcx
and    %r8,%rcx
xor    %edi,%edi
xchg   %ax,%ax
movups (%rsi,%rdi,4),%xmm0
movups 0x10(%rsi,%rdi,4),%xmm1
movups (%rax,%rdi,4),%xmm2
andps  %xmm0,%xmm2
movups 0x10(%rax,%rdi,4),%xmm0
andps  %xmm1,%xmm0
movups 0x20(%rax,%rdi,4),%xmm1
movups 0x30(%rax,%rdi,4),%xmm3
movups %xmm2,(%rax,%rdi,4)
movups %xmm0,0x10(%rax,%rdi,4)
movups 0x20(%rsi,%rdi,4),%xmm0
andps  %xmm1,%xmm0
movups 0x30(%rsi,%rdi,4),%xmm1
andps  %xmm3,%xmm1
movups %xmm0,0x20(%rax,%rdi,4)
movups %xmm1,0x30(%rax,%rdi,4)
add    $0x10,%rdi
add    $0xfffffffffffffffe,%rcx
jne    11d0 <bit_AND+0xd0>
test   $0x1,%r8b
je     1246 <bit_AND+0x146>
movups (%rsi,%rdi,4),%xmm0
movups 0x10(%rsi,%rdi,4),%xmm1
movups (%rax,%rdi,4),%xmm2
andps  %xmm0,%xmm2
movups 0x10(%rax,%rdi,4),%xmm0
andps  %xmm1,%xmm0
movups %xmm2,(%rax,%rdi,4)
movups %xmm0,0x10(%rax,%rdi,4)
cmp    %rdx,%r9
jne    113b <bit_AND+0x3b>
ret
xor    %edi,%edi
test   $0x1,%r8b
jne    1225 <bit_AND+0x125>
jmp    1246 <bit_AND+0x146>

LLVM IR (-O0):
define i8* @bit_AND(i8* %0, i8* %1, i32 %2) {
%4 = alloca i8*
%5 = alloca i8*
%6 = alloca i32
%7 = alloca i32
%8 = alloca i32*
%9 = alloca i32*
store i8* %0, i8** %4
store i8* %1, i8** %5
store i32 %2, i32* %6
%10 = load i8*, i8** %4
%11 = bitcast i8* %10 to i32*
store i32* %11, i32** %8
%12 = load i8*, i8** %5
%13 = bitcast i8* %12 to i32*
store i32* %13, i32** %9
store i32 0, i32* %7
br label %14
14: ; preds = %33, %3
%15 = load i32, i32* %7
%16 = sext i32 %15 to i64
%17 = load i32, i32* %6
%18 = sext i32 %17 to i64
%19 = udiv i64 %18, 4
%20 = icmp ult i64 %16, %19
br i1 %20, label %21, label %36
21: ; preds = %14
%22 = load i32*, i32** %9
%23 = load i32, i32* %7
%24 = sext i32 %23 to i64
%25 = getelementptr inbounds i32, i32* %22, i64 %24
%26 = load i32, i32* %25
%27 = load i32*, i32** %8
%28 = load i32, i32* %7
%29 = sext i32 %28 to i64
%30 = getelementptr inbounds i32, i32* %27, i64 %29
%31 = load i32, i32* %30
%32 = and i32 %31, %26
store i32 %32, i32* %30
br label %33
33: ; preds = %21
%34 = load i32, i32* %7
%35 = add nsw i32 %34, 1
store i32 %35, i32* %7
br label %14
36: ; preds = %14
%37 = load i32*, i32** %8
%38 = bitcast i32* %37 to i8*
ret i8* %38
}

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