OmniSciDB  a5dc49c757
 All Classes Namespaces Files Functions Variables Typedefs Enumerations Enumerator Friends Macros Groups Pages
RelAlgTranslator.h File Reference
#include "Execute.h"
#include "RelAlgDag.h"
#include "ThirdParty/robin_hood/robin_hood.h"
#include <ctime>
#include <memory>
#include <unordered_map>
#include <vector>
+ Include dependency graph for RelAlgTranslator.h:
+ This graph shows which files directly or indirectly include this file:

Go to the source code of this file.

Classes

class  RelAlgTranslator
 
struct  QualsConjunctiveForm
 

Namespaces

 Analyzer
 
 Catalog_Namespace
 
 query_state
 

Functions

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

auto func_resolve
 

Function Documentation

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

Definition at line 2827 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().

2828  {
2829  CHECK(qual_expr);
2830  auto bin_oper = std::dynamic_pointer_cast<const Analyzer::BinOper>(qual_expr);
2831  if (!bin_oper) {
2832  const auto rewritten_qual_expr = rewrite_expr(qual_expr.get());
2833  return {{}, {rewritten_qual_expr ? rewritten_qual_expr : qual_expr}};
2834  }
2835 
2836  if (bin_oper->get_optype() == kAND) {
2837  const auto lhs_cf = qual_to_conjunctive_form(bin_oper->get_own_left_operand());
2838  const auto rhs_cf = qual_to_conjunctive_form(bin_oper->get_own_right_operand());
2839  auto simple_quals = lhs_cf.simple_quals;
2840  simple_quals.insert(
2841  simple_quals.end(), rhs_cf.simple_quals.begin(), rhs_cf.simple_quals.end());
2842  auto quals = lhs_cf.quals;
2843  quals.insert(quals.end(), rhs_cf.quals.begin(), rhs_cf.quals.end());
2844  return {simple_quals, quals};
2845  }
2846  int rte_idx{0};
2847  const auto simple_qual = bin_oper->normalize_simple_predicate(rte_idx);
2848  return simple_qual ? QualsConjunctiveForm{{simple_qual}, {}}
2849  : QualsConjunctiveForm{{}, {qual_expr}};
2850 }
Analyzer::ExpressionPtr rewrite_expr(const Analyzer::Expr *expr)
QualsConjunctiveForm qual_to_conjunctive_form(const std::shared_ptr< Analyzer::Expr > qual_expr)
Definition: sqldefs.h:39
#define CHECK(condition)
Definition: Logger.h:291
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 2852 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().

2853  {
2854  CHECK(qual_expr);
2855  const auto bin_oper = std::dynamic_pointer_cast<const Analyzer::BinOper>(qual_expr);
2856  if (!bin_oper) {
2857  const auto rewritten_qual_expr = rewrite_expr(qual_expr.get());
2858  return {rewritten_qual_expr ? rewritten_qual_expr : qual_expr};
2859  }
2860  if (bin_oper->get_optype() == kOR) {
2861  const auto lhs_df = qual_to_disjunctive_form(bin_oper->get_own_left_operand());
2862  const auto rhs_df = qual_to_disjunctive_form(bin_oper->get_own_right_operand());
2863  auto quals = lhs_df;
2864  quals.insert(quals.end(), rhs_df.begin(), rhs_df.end());
2865  return quals;
2866  }
2867  return {qual_expr};
2868 }
Definition: sqldefs.h:40
Analyzer::ExpressionPtr rewrite_expr(const Analyzer::Expr *expr)
#define CHECK(condition)
Definition: Logger.h:291
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