OmniSciDB  06b3bd477c
 All Classes Namespaces Files Functions Variables Typedefs Enumerations Enumerator Friends Macros Pages
RelAlgTranslator.cpp File Reference
+ Include dependency graph for RelAlgTranslator.cpp:

Go to the source code of this file.

Namespaces

 anonymous_namespace{RelAlgTranslator.cpp}
 

Functions

SQLTypeInfo anonymous_namespace{RelAlgTranslator.cpp}::build_type_info (const SQLTypes sql_type, const int scale, const int precision)
 
std::pair< std::shared_ptr
< Analyzer::Expr >
, SQLQualifier
anonymous_namespace{RelAlgTranslator.cpp}::get_quantified_rhs (const RexScalar *rex_scalar, const RelAlgTranslator &translator)
 
std::pair< Datum, bool > anonymous_namespace{RelAlgTranslator.cpp}::datum_from_scalar_tv (const ScalarTargetValue *scalar_tv, const SQLTypeInfo &ti) noexcept
 
bool anonymous_namespace{RelAlgTranslator.cpp}::is_agg_supported_for_type (const SQLAgg &agg_kind, const SQLTypeInfo &arg_ti)
 
std::shared_ptr< Analyzer::Expranonymous_namespace{RelAlgTranslator.cpp}::get_in_values_expr (std::shared_ptr< Analyzer::Expr > arg, const ResultSet &val_set)
 
void anonymous_namespace{RelAlgTranslator.cpp}::fill_dictionary_encoded_in_vals (std::vector< int64_t > &in_vals, std::atomic< size_t > &total_in_vals_count, const ResultSet *values_rowset, const std::pair< int64_t, int64_t > values_rowset_slice, const StringDictionaryProxy *source_dict, const StringDictionaryProxy *dest_dict, const int64_t needle_null_val)
 
void anonymous_namespace{RelAlgTranslator.cpp}::fill_integer_in_vals (std::vector< int64_t > &in_vals, std::atomic< size_t > &total_in_vals_count, const ResultSet *values_rowset, const std::pair< int64_t, int64_t > values_rowset_slice)
 
void anonymous_namespace{RelAlgTranslator.cpp}::fill_dictionary_encoded_in_vals (std::vector< int64_t > &in_vals, std::atomic< size_t > &total_in_vals_count, const ResultSet *values_rowset, const std::pair< int64_t, int64_t > values_rowset_slice, const std::vector< LeafHostInfo > &leaf_hosts, const DictRef source_dict_ref, const DictRef dest_dict_ref, const int32_t dest_generation, const int64_t needle_null_val)
 
void anonymous_namespace{RelAlgTranslator.cpp}::validate_datetime_datepart_argument (const std::shared_ptr< Analyzer::Constant > literal_expr)
 
std::shared_ptr
< Analyzer::Constant
anonymous_namespace{RelAlgTranslator.cpp}::makeNumericConstant (const SQLTypeInfo &ti, const long val)
 
std::string anonymous_namespace{RelAlgTranslator.cpp}::get_datetimeplus_rewrite_funcname (const SQLOps &op)
 
std::vector< Analyzer::OrderEntryanonymous_namespace{RelAlgTranslator.cpp}::translate_collation (const std::vector< SortField > &sort_fields)
 
bool anonymous_namespace{RelAlgTranslator.cpp}::supported_lower_bound (const RexWindowFunctionOperator::RexWindowBound &window_bound)
 
bool anonymous_namespace{RelAlgTranslator.cpp}::supported_upper_bound (const RexWindowFunctionOperator *rex_window_function)
 
QualsConjunctiveForm qual_to_conjunctive_form (const std::shared_ptr< Analyzer::Expr > qual_expr)
 
std::vector< std::shared_ptr
< Analyzer::Expr > > 
qual_to_disjunctive_form (const std::shared_ptr< Analyzer::Expr > &qual_expr)
 

Variables

bool g_enable_watchdog
 
bool g_enable_experimental_string_functions = false
 
const size_t anonymous_namespace{RelAlgTranslator.cpp}::g_max_integer_set_size {1 << 25}
 

Function Documentation

QualsConjunctiveForm qual_to_conjunctive_form ( const std::shared_ptr< Analyzer::Expr qual_expr)

Definition at line 1724 of file RelAlgTranslator.cpp.

References CHECK(), kAND, qual_to_conjunctive_form(), rewrite_expr(), and QualsConjunctiveForm::simple_quals.

Referenced by anonymous_namespace{IRCodegen.cpp}::add_qualifier_to_execution_unit(), RelAlgExecutor::makeJoinQuals(), qual_to_conjunctive_form(), anonymous_namespace{RelAlgExecutor.cpp}::reverse_logical_distribution(), Executor::skipFragmentInnerJoins(), and anonymous_namespace{RelAlgExecutor.cpp}::translate_quals().

1725  {
1726  CHECK(qual_expr);
1727  auto bin_oper = std::dynamic_pointer_cast<const Analyzer::BinOper>(qual_expr);
1728  if (!bin_oper) {
1729  const auto rewritten_qual_expr = rewrite_expr(qual_expr.get());
1730  return {{}, {rewritten_qual_expr ? rewritten_qual_expr : qual_expr}};
1731  }
1732 
1733  if (bin_oper->get_optype() == kAND) {
1734  const auto lhs_cf = qual_to_conjunctive_form(bin_oper->get_own_left_operand());
1735  const auto rhs_cf = qual_to_conjunctive_form(bin_oper->get_own_right_operand());
1736  auto simple_quals = lhs_cf.simple_quals;
1737  simple_quals.insert(
1738  simple_quals.end(), rhs_cf.simple_quals.begin(), rhs_cf.simple_quals.end());
1739  auto quals = lhs_cf.quals;
1740  quals.insert(quals.end(), rhs_cf.quals.begin(), rhs_cf.quals.end());
1741  return {simple_quals, quals};
1742  }
1743  int rte_idx{0};
1744  const auto simple_qual = bin_oper->normalize_simple_predicate(rte_idx);
1745  return simple_qual ? QualsConjunctiveForm{{simple_qual}, {}}
1746  : QualsConjunctiveForm{{}, {qual_expr}};
1747 }
Analyzer::ExpressionPtr rewrite_expr(const Analyzer::Expr *expr)
QualsConjunctiveForm qual_to_conjunctive_form(const std::shared_ptr< Analyzer::Expr > qual_expr)
CHECK(cgen_state)
Definition: sqldefs.h:37
const std::list< std::shared_ptr< Analyzer::Expr > > simple_quals

+ Here is the call graph for this function:

+ Here is the caller graph for this function:

std::vector<std::shared_ptr<Analyzer::Expr> > qual_to_disjunctive_form ( const std::shared_ptr< Analyzer::Expr > &  qual_expr)

Definition at line 1749 of file RelAlgTranslator.cpp.

References CHECK(), kOR, qual_to_disjunctive_form(), and rewrite_expr().

Referenced by qual_to_disjunctive_form(), and anonymous_namespace{RelAlgExecutor.cpp}::reverse_logical_distribution().

1750  {
1751  CHECK(qual_expr);
1752  const auto bin_oper = std::dynamic_pointer_cast<const Analyzer::BinOper>(qual_expr);
1753  if (!bin_oper) {
1754  const auto rewritten_qual_expr = rewrite_expr(qual_expr.get());
1755  return {rewritten_qual_expr ? rewritten_qual_expr : qual_expr};
1756  }
1757  if (bin_oper->get_optype() == kOR) {
1758  const auto lhs_df = qual_to_disjunctive_form(bin_oper->get_own_left_operand());
1759  const auto rhs_df = qual_to_disjunctive_form(bin_oper->get_own_right_operand());
1760  auto quals = lhs_df;
1761  quals.insert(quals.end(), rhs_df.begin(), rhs_df.end());
1762  return quals;
1763  }
1764  return {qual_expr};
1765 }
Definition: sqldefs.h:38
Analyzer::ExpressionPtr rewrite_expr(const Analyzer::Expr *expr)
CHECK(cgen_state)
std::vector< std::shared_ptr< Analyzer::Expr > > qual_to_disjunctive_form(const std::shared_ptr< Analyzer::Expr > &qual_expr)

+ Here is the call graph for this function:

+ Here is the caller graph for this function:

Variable Documentation