Searched refs:bitvec2 (Results 1 – 3 of 3) sorted by relevance
/dports/math/cvc4/CVC4-1.7/test/regress/regress0/bv/core/ |
H A D | bitvec2.smt | 1 (benchmark bitvec2.smt
|
/dports/biology/plink/plink-ng-79b2df8c/2.0/ |
H A D | plink2_cmdline.h | 1419 HEADER_INLINE uint32_t IntersectionIsEmpty(const uintptr_t* bitvec1, const uintptr_t* bitvec2, uint… in IntersectionIsEmpty() argument 1424 const __m256i* bitvvec2 = R_CAST(const __m256i*, bitvec2); in IntersectionIsEmpty() 1432 const __m128i* bitvvec2 = R_CAST(const __m128i*, bitvec2); in IntersectionIsEmpty() 1441 bitvec2 = R_CAST(const uintptr_t*, &(bitvvec2[fullvec_ct])); in IntersectionIsEmpty() 1444 if (bitvec1[widx] & bitvec2[widx]) { in IntersectionIsEmpty() 1470 …ect3val(const uintptr_t* __restrict bitvec1, const uintptr_t* __restrict bitvec2, uint32_t word_ct…
|
H A D | plink2_cmdline.cc | 1806 …ect3val(const uintptr_t* __restrict bitvec1, const uintptr_t* __restrict bitvec2, uint32_t word_ct… in PopcountWordsIntersect3val() argument 1812 const uintptr_t word2 = bitvec2[widx]; in PopcountWordsIntersect3val() 1891 …ect3val(const uintptr_t* __restrict bitvec1, const uintptr_t* __restrict bitvec2, uint32_t word_ct… in PopcountWordsIntersect3val() argument 1896 …PopcountVecsNoSse42Intersect3val(R_CAST(const VecW*, bitvec1), R_CAST(const VecW*, bitvec2), trive… in PopcountWordsIntersect3val() 1899 bitvec2 = &(bitvec2[words_consumed]); in PopcountWordsIntersect3val() 1903 const uintptr_t word2 = bitvec2[widx]; in PopcountWordsIntersect3val()
|