Searched refs:AsRange (Results 1 – 5 of 5) sorted by relevance
86 if (this->IsRange()) return this->AsRange()->Min(); in Min()102 if (this->IsRange()) return this->AsRange()->Max(); in Max()125 BitsetType::Glb(type->AsRange()->Min(), type->AsRange()->Max())); in Glb()149 if (type->IsRange()) return type->AsRange()->Lub(); in Lub()518 return (this->IsRange() && Contains(that->AsRange(), this->AsRange())) || in SemanticIs()520 Contains(that->AsRange(), this->AsConstant())); in SemanticIs()614 return Contains(this->AsRange(), that->AsConstant()); in SemanticMaybe()617 return Overlap(this->AsRange(), that->AsRange()); in SemanticMaybe()656 if (range != NULL && Contains(range->AsRange(), value)) return true; in Contains()798 RangeType::Limits range_lims(range->AsRange()); in IntersectRangeAndBitset()[all …]
797 RangeType* AsRange() { return RangeType::cast(this); } in AsRange() function
239 double lmin = lhs->AsRange()->Min(); in MultiplyRanger()240 double lmax = lhs->AsRange()->Max(); in MultiplyRanger()241 double rmin = rhs->AsRange()->Min(); in MultiplyRanger()242 double rmax = rhs->AsRange()->Max(); in MultiplyRanger()318 return SubtractRanger(lhs->AsRange(), rhs->AsRange()); in NumericSubtract()363 return ModulusRanger(lhs->AsRange(), rhs->AsRange()); in NumericModulus()
156 double x1 = RandomInt(r1->AsRange()); in TestBinaryArithOp()157 double x2 = RandomInt(r2->AsRange()); in TestBinaryArithOp()173 double x1 = RandomInt(r1->AsRange()); in TestBinaryCompareOp()174 double x2 = RandomInt(r2->AsRange()); in TestBinaryCompareOp()192 int32_t x1 = static_cast<int32_t>(RandomInt(r1->AsRange())); in TestBinaryBitOp()193 int32_t x2 = static_cast<int32_t>(RandomInt(r2->AsRange())); in TestBinaryBitOp()
371 CHECK(min == type->AsRange()->Min()); in Range()372 CHECK(max == type->AsRange()->Max()); in Range()901 double min = type2->AsRange()->Min(); in Is2()902 double max = type2->AsRange()->Max(); in Is2()1839 RangeType* range = type1->GetRange()->AsRange(); in GetRange()