Searched refs:AsBitset (Results 1 – 3 of 3) sorted by relevance
78 if (this->IsBitset()) return BitsetType::Min(this->AsBitset()); in Min()94 if (this->IsBitset()) return BitsetType::Max(this->AsBitset()); in Max()118 return type->AsBitset(); in Glb()136 if (IsBitset(type)) return type->AsBitset(); in Lub()469 return BitsetType::Is(this->BitsetLub(), that->AsBitset()); in SlowIs()473 return BitsetType::Is(this->AsBitset(), that->BitsetGlb()); in SlowIs()494 return BitsetType::Is(SEMANTIC(this->BitsetLub()), that->AsBitset()); in SemanticIs()497 return BitsetType::Is(SEMANTIC(this->AsBitset()), that->BitsetGlb()); in SemanticIs()620 bitset number_bits = BitsetType::NumberBits(that->AsBitset()); in SemanticMaybe()684 (BitsetType::NumberBits(this->Get(0)->AsBitset()) == in Wellformed()[all …]
864 bitset AsBitsetForTesting() { return AsBitset(); } in AsBitsetForTesting()882 bitset AsBitset() { in AsBitset() function
48 BitsetType::bitset AsBitset(Type* type) { return type->AsBitsetForTesting(); } in AsBitset() function58 this->AsBitset(type1) == this->AsBitset(type2)) && in Equal()70 CHECK(this->AsBitset(type1) != this->AsBitset(type2)); in CheckSub()77 CHECK((this->AsBitset(type1) | this->AsBitset(type2)) in CheckSubOrEqual()78 == this->AsBitset(type2)); in CheckSubOrEqual()86 CHECK(this->AsBitset(type1) != this->AsBitset(type2)); in CheckUnordered()116 CHECK(bitset(0) == this->AsBitset(T.None)); in Bitset()117 CHECK(bitset(0xfffffffeu) == this->AsBitset(T.Any)); in Bitset()160 (this->AsBitset(type1) | this->AsBitset(type2)) == in Bitset()161 this->AsBitset(union12)); in Bitset()[all …]