ExpressionRange Class Reference

#include <ExpressionRange.h>

Public Member Functions
int64_t	getIntMin () const
int64_t	getIntMax () const
double	getFpMin () const
double	getFpMax () const
void	setIntMin (const int64_t int_min)
void	setIntMax (const int64_t int_max)
void	setIntInvalidRange ()
void	setFpMin (const double fp_min)
void	setFpMax (const double fp_max)
ExpressionRangeType	getType () const
int64_t	getBucket () const
bool	hasNulls () const
void	setHasNulls ()
void	setNulls (bool n)
ExpressionRange	operator+ (const ExpressionRange &other) const
ExpressionRange	operator- (const ExpressionRange &other) const
ExpressionRange	operator* (const ExpressionRange &other) const
ExpressionRange	operator/ (const ExpressionRange &other) const
ExpressionRange	operator|| (const ExpressionRange &other) const
bool	operator== (const ExpressionRange &other) const
std::string	toString () const

Static Public Member Functions
static ExpressionRange	makeIntRange (const int64_t int_min, const int64_t int_max, const int64_t bucket, const bool has_nulls)
static ExpressionRange	makeDoubleRange (const double fp_min, const double fp_max, const bool has_nulls)
static ExpressionRange	makeFloatRange (const float fp_min, const float fp_max, const bool has_nulls)
static ExpressionRange	makeNullRange ()
static ExpressionRange	makeInvalidRange ()
static bool	typeSupportsRange (const SQLTypeInfo &ti)

Private Member Functions
	ExpressionRange (const int64_t int_min_in, const int64_t int_max_in, const int64_t bucket, const bool has_nulls_in)
	ExpressionRange (const ExpressionRangeType type, const double fp_min_in, const double fp_max_in, const bool has_nulls_in)
	ExpressionRange ()
	ExpressionRange (const ExpressionRangeType type)
template<class T , class BinOp >
ExpressionRange	binOp (const ExpressionRange &other, const BinOp &bin_op) const

Private Attributes
ExpressionRangeType	type_
bool	has_nulls_
union {
int64_t   int_min_
double   fp_min_
};
union {
int64_t   int_max_
double   fp_max_
};
int64_t	bucket_

Detailed Description

Definition at line 57 of file ExpressionRange.h.

Constructor & Destructor Documentation

ExpressionRange::ExpressionRange ( const int64_t  int_min_in, const int64_t  int_max_in, const int64_t  bucket, const bool  has_nulls_in  )

inlineprivate

Definition at line 177 of file ExpressionRange.h.

      : type_(ExpressionRangeType::Integer)
      , has_nulls_(has_nulls_in)
      , int_min_(int_min_in)
      , int_max_(int_max_in)
      , bucket_(bucket) {}

ExpressionRange::ExpressionRange ( const ExpressionRangeType  type, const double  fp_min_in, const double  fp_max_in, const bool  has_nulls_in  )

inlineprivate

Definition at line 187 of file ExpressionRange.h.

References CHECK, Double, Float, and type_.

      : type_(type)
      , has_nulls_(has_nulls_in)
      , fp_min_(fp_min_in)
      , fp_max_(fp_max_in)
      , bucket_(0) {
    CHECK(type_ == ExpressionRangeType::Float || type_ == ExpressionRangeType::Double);
  }

ExpressionRange::ExpressionRange ( )

inlineprivate

Definition at line 199 of file ExpressionRange.h.

Referenced by makeDoubleRange(), makeFloatRange(), makeIntRange(), makeInvalidRange(), and makeNullRange().

      : type_(ExpressionRangeType::Invalid), has_nulls_(false), bucket_(0) {}

Here is the caller graph for this function:

ExpressionRange::ExpressionRange ( const ExpressionRangeType  type )

inlineexplicitprivate

Definition at line 202 of file ExpressionRange.h.

References CHECK, Null, and type_.

      : type_(type), has_nulls_(true), bucket_(0) {
    CHECK(type_ == ExpressionRangeType::Null);
  }

Member Function Documentation

template<class T , class BinOp >

ExpressionRange ExpressionRange::binOp ( const ExpressionRange &  other, const BinOp &  bin_op  ) const

inlineprivate

Definition at line 208 of file ExpressionRange.h.

References CHECK, Double, Float, fp_max_, fp_min_, has_nulls_, int_max_, int_min_, Integer, makeInvalidRange(), run_benchmark_import::result, and type_.

                                                                                 {
    CHECK(type_ == other.type_);
    try {
      std::vector<T> limits{bin_op(getMin<T>(*this), getMin<T>(other)),
                            bin_op(getMin<T>(*this), getMax<T>(other)),
                            bin_op(getMax<T>(*this), getMin<T>(other)),
                            bin_op(getMax<T>(*this), getMax<T>(other))};
      ExpressionRange result;
      result.type_ = type_;
      result.has_nulls_ = has_nulls_ || other.has_nulls_;
      switch (result.type_) {
        case ExpressionRangeType::Integer: {
          result.int_min_ = *std::min_element(limits.begin(), limits.end());
          result.int_max_ = *std::max_element(limits.begin(), limits.end());
          break;
        }
        case ExpressionRangeType::Float:
        case ExpressionRangeType::Double: {
          result.fp_min_ = *std::min_element(limits.begin(), limits.end());
          result.fp_max_ = *std::max_element(limits.begin(), limits.end());
          break;
        }
        default:
          CHECK(false);
      }
      return result;
    } catch (...) {
      return ExpressionRange::makeInvalidRange();
    }
  }

Here is the call graph for this function:

int64_t ExpressionRange::getBucket ( ) const

inline

Definition at line 132 of file ExpressionRange.h.

References bucket_, CHECK, Invalid, and type_.

Referenced by anonymous_namespace{PerfectJoinHashTable.cpp}::get_bucketized_hash_entry_info().

                            {
    CHECK(type_ != ExpressionRangeType::Invalid);
    return bucket_;
  }

Here is the caller graph for this function:

double ExpressionRange::getFpMax ( ) const

inline

Definition at line 99 of file ExpressionRange.h.

References CHECK, Double, Float, fp_max_, and type_.

Referenced by getExpressionRange().

                          {
    CHECK(type_ == ExpressionRangeType::Float || type_ == ExpressionRangeType::Double);
    return fp_max_;
  }

Here is the caller graph for this function:

double ExpressionRange::getFpMin ( ) const

inline

Definition at line 94 of file ExpressionRange.h.

References CHECK, Double, Float, fp_min_, and type_.

Referenced by getExpressionRange().

                          {
    CHECK(type_ == ExpressionRangeType::Float || type_ == ExpressionRangeType::Double);
    return fp_min_;
  }

Here is the caller graph for this function:

int64_t ExpressionRange::getIntMax ( ) const

inline

Definition at line 89 of file ExpressionRange.h.

References CHECK, int_max_, Integer, and type_.

Referenced by apply_int_qual(), anonymous_namespace{ExpressionRange.cpp}::fpRangeFromDecimal(), anonymous_namespace{PerfectJoinHashTable.cpp}::get_bucketized_hash_entry_info(), anonymous_namespace{PerfectJoinHashTable.cpp}::get_hash_entry_count(), anonymous_namespace{ExpressionRange.cpp}::getDateTimePrecisionCastRange(), PerfectJoinHashTable::getHashJoinArgs(), PerfectJoinHashTableBuilder::initOneToManyHashTableOnCpu(), PerfectJoinHashTableBuilder::initOneToOneHashTableOnCpu(), anonymous_namespace{QueryMemoryDescriptor.cpp}::is_valid_int32_range(), QueryRewriter::rewriteConstrainedByInImpl(), and HashJoin::translateInnerToOuterStrDictProxies().

                            {
    CHECK(ExpressionRangeType::Integer == type_);
    return int_max_;
  }

Here is the caller graph for this function:

int64_t ExpressionRange::getIntMin ( ) const

inline

Definition at line 84 of file ExpressionRange.h.

References CHECK, int_min_, Integer, and type_.

Referenced by apply_int_qual(), anonymous_namespace{ExpressionRange.cpp}::fpRangeFromDecimal(), anonymous_namespace{PerfectJoinHashTable.cpp}::get_bucketized_hash_entry_info(), anonymous_namespace{PerfectJoinHashTable.cpp}::get_hash_entry_count(), anonymous_namespace{ExpressionRange.cpp}::getDateTimePrecisionCastRange(), PerfectJoinHashTable::getHashJoinArgs(), PerfectJoinHashTableBuilder::initOneToManyHashTableOnCpu(), PerfectJoinHashTableBuilder::initOneToOneHashTableOnCpu(), anonymous_namespace{QueryMemoryDescriptor.cpp}::is_valid_int32_range(), and HashJoin::translateInnerToOuterStrDictProxies().

                            {
    CHECK(ExpressionRangeType::Integer == type_);
    return int_min_;
  }

Here is the caller graph for this function:

ExpressionRangeType ExpressionRange::getType ( ) const

inline

Definition at line 130 of file ExpressionRange.h.

References type_.

Referenced by apply_simple_quals(), getExpressionRange(), and anonymous_namespace{QueryMemoryDescriptor.cpp}::pick_baseline_key_component_width().

{ return type_; }

Here is the caller graph for this function:

bool ExpressionRange::hasNulls ( ) const

inline

Definition at line 137 of file ExpressionRange.h.

References CHECK, has_nulls_, Invalid, and type_.

Referenced by anonymous_namespace{ExpressionRange.cpp}::fpRangeFromDecimal(), anonymous_namespace{ExpressionRange.cpp}::getDateTimePrecisionCastRange(), getExpressionRange(), PerfectJoinHashTable::isOneToOneHashPossible(), anonymous_namespace{QueryMemoryDescriptor.cpp}::pick_baseline_key_component_width(), and HashJoin::translateInnerToOuterStrDictProxies().

                        {
    CHECK(type_ != ExpressionRangeType::Invalid);
    return has_nulls_;
  }

Here is the caller graph for this function:

static ExpressionRange ExpressionRange::makeDoubleRange ( const double  fp_min, const double  fp_max, const bool  has_nulls  )

inlinestatic

Definition at line 66 of file ExpressionRange.h.

References Double, and ExpressionRange().

Referenced by ThriftSerializers::column_ranges_from_thrift(), anonymous_namespace{ExpressionRange.cpp}::fpRangeFromDecimal(), getExpressionRange(), and getLeafColumnRange().

                                                               {
    return ExpressionRange(ExpressionRangeType::Double, fp_min, fp_max, has_nulls);
  }

Here is the call graph for this function:

Here is the caller graph for this function:

static ExpressionRange ExpressionRange::makeFloatRange ( const float  fp_min, const float  fp_max, const bool  has_nulls  )

inlinestatic

Definition at line 72 of file ExpressionRange.h.

References ExpressionRange(), and Float.

Referenced by ThriftSerializers::column_ranges_from_thrift(), anonymous_namespace{ExpressionRange.cpp}::fpRangeFromDecimal(), getExpressionRange(), and getLeafColumnRange().

                                                              {
    return ExpressionRange(ExpressionRangeType::Float, fp_min, fp_max, has_nulls);
  }

Here is the call graph for this function:

Here is the caller graph for this function:

static ExpressionRange ExpressionRange::makeIntRange ( const int64_t  int_min, const int64_t  int_max, const int64_t  bucket, const bool  has_nulls  )

inlinestatic

Definition at line 59 of file ExpressionRange.h.

References ExpressionRange().

Referenced by ThriftSerializers::column_ranges_from_thrift(), anonymous_namespace{ExpressionRange.cpp}::getDateTimePrecisionCastRange(), getExpressionRange(), PerfectJoinHashTable::getInstance(), getLeafColumnRange(), and HashJoin::translateInnerToOuterStrDictProxies().

                                                            {
    return ExpressionRange(int_min, int_max, bucket, has_nulls);
  }

Here is the call graph for this function:

Here is the caller graph for this function:

static ExpressionRange ExpressionRange::makeInvalidRange ( )

inlinestatic

Definition at line 82 of file ExpressionRange.h.

References ExpressionRange().

Referenced by binOp(), CodeGenerator::checkExpressionRanges(), ThriftSerializers::column_ranges_from_thrift(), getExpressionRange(), getLeafColumnRange(), operator/(), and operator||().

{ return ExpressionRange(); }

Here is the call graph for this function:

Here is the caller graph for this function:

static ExpressionRange ExpressionRange::makeNullRange ( )

inlinestatic

Definition at line 78 of file ExpressionRange.h.

References ExpressionRange(), and Null.

Referenced by getExpressionRange().

                                         {
    return ExpressionRange(ExpressionRangeType::Null);
  }

Here is the call graph for this function:

Here is the caller graph for this function:

ExpressionRange ExpressionRange::operator*

(

const ExpressionRange &

other

)

const

ExpressionRange ExpressionRange::operator+

(

const ExpressionRange &

other

)

const

ExpressionRange ExpressionRange::operator-

(

const ExpressionRange &

other

)

const

ExpressionRange ExpressionRange::operator/

(

const ExpressionRange &

other

)

const

Definition at line 206 of file ExpressionRange.cpp.

References g_null_div_by_zero, int_max_, int_min_, Integer, makeInvalidRange(), and type_.

                                                                             {
  if (type_ != ExpressionRangeType::Integer ||
      other.type_ != ExpressionRangeType::Integer) {
    return ExpressionRange::makeInvalidRange();
  }
  if (other.int_min_ * other.int_max_ <= 0) {
    // if the other interval contains 0, the rule is more complicated;
    // punt for now, we can revisit by splitting the other interval and
    // taking the convex hull of the resulting two intervals
    return ExpressionRange::makeInvalidRange();
  }
  auto div_range = binOp<int64_t>(other, [](const int64_t x, const int64_t y) {
    return int64_t(checked_int64_t(x) / y);
  });
  if (g_null_div_by_zero) {
    div_range.setHasNulls();
  }
  return div_range;
}

Here is the call graph for this function:

bool ExpressionRange::operator==

(

const ExpressionRange &

other

)

const

Definition at line 256 of file ExpressionRange.cpp.

References CHECK, Double, Float, fp_max_, fp_min_, has_nulls_, int_max_, int_min_, Integer, Invalid, and type_.

                                                                   {
  if (type_ != other.type_) {
    return false;
  }
  switch (type_) {
    case ExpressionRangeType::Invalid:
      return true;
    case ExpressionRangeType::Integer: {
      return has_nulls_ == other.has_nulls_ && int_min_ == other.int_min_ &&
             int_max_ == other.int_max_;
    }
    case ExpressionRangeType::Float:
    case ExpressionRangeType::Double: {
      return has_nulls_ == other.has_nulls_ && fp_min_ == other.fp_min_ &&
             fp_max_ == other.fp_max_;
    }
    default:
      CHECK(false);
  }
  return false;
}

ExpressionRange ExpressionRange::operator||

(

const ExpressionRange &

other

)

const

Definition at line 226 of file ExpressionRange.cpp.

References bucket_, CHECK, Double, Float, fp_max_, fp_min_, has_nulls_, int_max_, int_min_, Integer, Invalid, makeInvalidRange(), run_benchmark_import::result, and type_.

                                                                              {
  if (type_ != other.type_) {
    return ExpressionRange::makeInvalidRange();
  }
  ExpressionRange result;
  switch (type_) {
    case ExpressionRangeType::Invalid:
      return ExpressionRange::makeInvalidRange();
    case ExpressionRangeType::Integer: {
      result.type_ = ExpressionRangeType::Integer;
      result.has_nulls_ = has_nulls_ || other.has_nulls_;
      result.int_min_ = std::min(int_min_, other.int_min_);
      result.int_max_ = std::max(int_max_, other.int_max_);
      result.bucket_ = std::min(bucket_, other.bucket_);
      break;
    }
    case ExpressionRangeType::Float:
    case ExpressionRangeType::Double: {
      result.type_ = type_;
      result.has_nulls_ = has_nulls_ || other.has_nulls_;
      result.fp_min_ = std::min(fp_min_, other.fp_min_);
      result.fp_max_ = std::max(fp_max_, other.fp_max_);
      break;
    }
    default:
      CHECK(false);
  }
  return result;
}

Here is the call graph for this function:

void ExpressionRange::setFpMax ( const double  fp_max )

inline

Definition at line 125 of file ExpressionRange.h.

References CHECK, Double, Float, fp_max_, and type_.

                                     {
    CHECK(type_ == ExpressionRangeType::Float || type_ == ExpressionRangeType::Double);
    fp_max_ = fp_max;
  }

void ExpressionRange::setFpMin ( const double  fp_min )

inline

Definition at line 120 of file ExpressionRange.h.

References CHECK, Double, Float, fp_min_, and type_.

                                     {
    CHECK(type_ == ExpressionRangeType::Float || type_ == ExpressionRangeType::Double);
    fp_min_ = fp_min;
  }

void ExpressionRange::setHasNulls ( )

inline

Definition at line 142 of file ExpressionRange.h.

References has_nulls_.

{ has_nulls_ = true; }

void ExpressionRange::setIntInvalidRange ( )

inline

Definition at line 114 of file ExpressionRange.h.

References CHECK, int_max_, int_min_, Integer, and type_.

                            {
    CHECK(ExpressionRangeType::Integer == type_);
    int_max_ = -1;
    int_min_ = 0;
  }

void ExpressionRange::setIntMax ( const int64_t  int_max )

inline

Definition at line 109 of file ExpressionRange.h.

References CHECK, int_max_, Integer, and type_.

Referenced by apply_int_qual().

                                        {
    CHECK(ExpressionRangeType::Integer == type_);
    int_max_ = int_max;
  }

Here is the caller graph for this function:

void ExpressionRange::setIntMin ( const int64_t  int_min )

inline

Definition at line 104 of file ExpressionRange.h.

References CHECK, int_min_, Integer, and type_.

Referenced by apply_int_qual().

                                        {
    CHECK(ExpressionRangeType::Integer == type_);
    int_min_ = int_min;
  }

Here is the caller graph for this function:

void ExpressionRange::setNulls ( bool  n )

inline

Definition at line 144 of file ExpressionRange.h.

References has_nulls_, and anonymous_namespace{Utm.h}::n.

{ has_nulls_ = n; }

std::string ExpressionRange::toString ( ) const

inline

Definition at line 156 of file ExpressionRange.h.

References bucket_, Double, Float, fp_max_, fp_min_, has_nulls_, int_max_, int_min_, Integer, to_string(), and type_.

Referenced by PerfectJoinHashTable::getAlternativeCacheKey().

                             {
    std::ostringstream oss;
    switch (type_) {
      case ExpressionRangeType::Integer:
        oss << has_nulls_ << "|" << std::to_string(int_min_) << "|"
            << std::to_string(int_max_);
        break;
      case ExpressionRangeType::Float:
      case ExpressionRangeType::Double:
        oss << has_nulls_ << "|" << std::to_string(fp_min_) << "|"
            << std::to_string(fp_max_);
        break;
      default:
        oss << "INVALID";
        break;
    }
    oss << "|" << std::to_string(bucket_);
    return oss.str();
  }

Here is the call graph for this function:

Here is the caller graph for this function:

bool ExpressionRange::typeSupportsRange ( const SQLTypeInfo &  ti )

static

Definition at line 278 of file ExpressionRange.cpp.

References SQLTypeInfo::get_compression(), SQLTypeInfo::get_elem_type(), SQLTypeInfo::is_array(), SQLTypeInfo::is_boolean(), SQLTypeInfo::is_number(), SQLTypeInfo::is_string(), SQLTypeInfo::is_time(), and kENCODING_DICT.

Referenced by Executor::computeColRangesCache(), and getExpressionRange().

                                                             {
  if (ti.is_array()) {
    return typeSupportsRange(ti.get_elem_type());
  } else {
    return (ti.is_number() || ti.is_boolean() || ti.is_time() ||
            (ti.is_string() && ti.get_compression() == kENCODING_DICT));
  }
}

Here is the call graph for this function:

Here is the caller graph for this function:

Member Data Documentation

union { ... }

union { ... }

int64_t ExpressionRange::bucket_

private

Definition at line 249 of file ExpressionRange.h.

Referenced by getBucket(), operator||(), and toString().

double ExpressionRange::fp_max_

Definition at line 247 of file ExpressionRange.h.

Referenced by binOp(), getFpMax(), operator==(), operator||(), setFpMax(), and toString().

double ExpressionRange::fp_min_

Definition at line 243 of file ExpressionRange.h.

Referenced by binOp(), getFpMin(), operator==(), operator||(), setFpMin(), and toString().

bool ExpressionRange::has_nulls_

private

Definition at line 240 of file ExpressionRange.h.

Referenced by binOp(), hasNulls(), operator==(), operator||(), setHasNulls(), setNulls(), and toString().

int64_t ExpressionRange::int_max_

Definition at line 246 of file ExpressionRange.h.

Referenced by binOp(), getIntMax(), operator/(), operator==(), operator||(), setIntInvalidRange(), setIntMax(), and toString().

int64_t ExpressionRange::int_min_

Definition at line 242 of file ExpressionRange.h.

Referenced by binOp(), getIntMin(), operator/(), operator==(), operator||(), setIntInvalidRange(), setIntMin(), and toString().

ExpressionRangeType ExpressionRange::type_

private

Definition at line 239 of file ExpressionRange.h.

Referenced by binOp(), ExpressionRange(), getBucket(), getFpMax(), getFpMin(), getIntMax(), getIntMin(), getType(), hasNulls(), operator/(), operator==(), operator||(), setFpMax(), setFpMin(), setIntInvalidRange(), setIntMax(), setIntMin(), and toString().

---

The documentation for this class was generated from the following files:

• /home/jenkins-slave/workspace/core-os-doxygen/QueryEngine/ExpressionRange.h
• /home/jenkins-slave/workspace/core-os-doxygen/QueryEngine/ExpressionRange.cpp