Searched refs:BitsetLub (Results 1 – 3 of 3) sorted by relevance
126 return glb | REPRESENTATION(type->BitsetLub()); in Glb()140 int bitset = type->AsUnion()->Get(0)->BitsetLub(); in Lub()143 bitset |= SEMANTIC(type->AsUnion()->Get(i)->BitsetLub()); in Lub()459 return REPRESENTATION(this->BitsetLub()); in Representation()469 return BitsetType::Is(this->BitsetLub(), that->AsBitset()); in SlowIs()494 return BitsetType::Is(SEMANTIC(this->BitsetLub()), that->AsBitset()); in SemanticIs()580 if (!BitsetType::IsInhabited(this->BitsetLub() & that->BitsetLub())) in Maybe()605 if (!BitsetType::SemanticIsInhabited(this->BitsetLub() & that->BitsetLub())) in SemanticMaybe()820 if (!BitsetType::SemanticIsInhabited(lhs->BitsetLub() & rhs->BitsetLub())) { in IntersectAux()880 bitset range_lub = SEMANTIC(range->BitsetLub()); in NormalizeRangeAndBitset()[all …]
764 bool IsInhabited() { return BitsetType::IsInhabited(this->BitsetLub()); } in IsInhabited()894 bitset BitsetLub() { return BitsetType::Lub(this); } in BitsetLub() function
698 void BitsetLub() { in BitsetLub() function1897 TEST(BitsetLub_zone) { Tests().BitsetLub(); } in TEST()