505   bitset_word *src1p;  in vbitset_and()  local
518   src1p = VBITSET_WORDS (src1);  in vbitset_and()
522       *dstp++ = *src1p++ & *src2p++;  in vbitset_and()
533   bitset_word *src1p;  in vbitset_and_cmp()  local
546   src1p = VBITSET_WORDS (src1);  in vbitset_and_cmp()
551       bitset_word tmp = *src1p++ & *src2p++;  in vbitset_and_cmp()
562       src1p = src2p;  in vbitset_and_cmp()
585   bitset_word *src1p;  in vbitset_andn()  local
598   src1p = VBITSET_WORDS (src1);  in vbitset_andn()
602       *dstp++ = *src1p++ & ~(*src2p++);  in vbitset_andn()
614 	*dstp++ = *src1p++;  in vbitset_andn()
626   bitset_word *src1p;  in vbitset_andn_cmp()  local
639   src1p = VBITSET_WORDS (src1);  in vbitset_andn_cmp()
644       bitset_word tmp = *src1p++ & ~(*src2p++);  in vbitset_andn_cmp()
670 	  bitset_word tmp = *src1p++;  in vbitset_andn_cmp()
690   bitset_word *src1p;  in vbitset_or()  local
703   src1p = VBITSET_WORDS (src1);  in vbitset_or()
707       *dstp++ = *src1p++ | *src2p++;  in vbitset_or()
711       src1p = src2p;  in vbitset_or()
716     *dstp++ = *src1p++;  in vbitset_or()
727   bitset_word *src1p;  in vbitset_or_cmp()  local
740   src1p = VBITSET_WORDS (src1);  in vbitset_or_cmp()
745       bitset_word tmp = *src1p++ | *src2p++;  in vbitset_or_cmp()
756       src1p = src2p;  in vbitset_or_cmp()
762       bitset_word tmp = *src1p++;  in vbitset_or_cmp()
781   bitset_word *src1p;  in vbitset_xor()  local
794   src1p = VBITSET_WORDS (src1);  in vbitset_xor()
798       *dstp++ = *src1p++ ^ *src2p++;  in vbitset_xor()
802       src1p = src2p;  in vbitset_xor()
807     *dstp++ = *src1p++;  in vbitset_xor()
818   bitset_word *src1p;  in vbitset_xor_cmp()  local
831   src1p = VBITSET_WORDS (src1);  in vbitset_xor_cmp()
836       bitset_word tmp = *src1p++ ^ *src2p++;  in vbitset_xor_cmp()
847       src1p = src2p;  in vbitset_xor_cmp()
853       bitset_word tmp = *src1p++;  in vbitset_xor_cmp()
875   bitset_word *src1p;  in vbitset_and_or()  local
890   src1p = VBITSET_WORDS (src1);  in vbitset_and_or()
897       *dstp++ = (*src1p++ & *src2p++) | *src3p++;  in vbitset_and_or()
906   bitset_word *src1p;  in vbitset_and_or_cmp()  local
918   src1p = VBITSET_WORDS (src1);  in vbitset_and_or_cmp()
926       bitset_word tmp = (*src1p++ & *src2p++) | *src3p++;  in vbitset_and_or_cmp()
942   bitset_word *src1p;  in vbitset_andn_or()  local
957   src1p = VBITSET_WORDS (src1);  in vbitset_andn_or()
964       *dstp++ = (*src1p++ & ~(*src2p++)) | *src3p++;  in vbitset_andn_or()
973   bitset_word *src1p;  in vbitset_andn_or_cmp()  local
985   src1p = VBITSET_WORDS (src1);  in vbitset_andn_or_cmp()
993       bitset_word tmp = (*src1p++ & ~(*src2p++)) | *src3p++;  in vbitset_andn_or_cmp()
1009   bitset_word *src1p;  in vbitset_or_and()  local
1024   src1p = VBITSET_WORDS (src1);  in vbitset_or_and()
1031       *dstp++ = (*src1p++ | *src2p++) & *src3p++;  in vbitset_or_and()
1040   bitset_word *src1p;  in vbitset_or_and_cmp()  local
1052   src1p = VBITSET_WORDS (src1);  in vbitset_or_and_cmp()
1060       bitset_word tmp = (*src1p++ | *src2p++) & *src3p++;  in vbitset_or_and_cmp()