CodeGenerator::NullCheckCodegen Struct Reference

#include <CodeGenerator.h>

Collaboration diagram for CodeGenerator::NullCheckCodegen:

Public Member Functions
	NullCheckCodegen (CgenState *cgen_state, Executor *executor, llvm::Value *nullable_lv, const SQLTypeInfo &nullable_ti, const std::string &name="")
llvm::Value *	finalize (llvm::Value *null_lv, llvm::Value *notnull_lv)

Public Attributes
CgenState *	cgen_state {nullptr}
std::string	name
llvm::BasicBlock *	nullcheck_bb {nullptr}
llvm::PHINode *	nullcheck_value {nullptr}
std::unique_ptr< DiamondCodegen >	null_check

Detailed Description

Definition at line 132 of file CodeGenerator.h.

Constructor & Destructor Documentation

CodeGenerator::NullCheckCodegen::NullCheckCodegen	(	CgenState *	cgen_state,
		Executor *	executor,
		llvm::Value *	nullable_lv,
		const SQLTypeInfo &	nullable_ti,
		const std::string &	name = ""
	)

Definition at line 1426 of file IRCodegen.cpp.

References AUTOMATIC_IR_METADATA, CHECK, CgenState::context_, CgenState::current_func_, CodeGenerator::executor(), CgenState::inlineFpNull(), CgenState::inlineIntNull(), CgenState::ir_builder_, SQLTypeInfo::is_boolean(), SQLTypeInfo::is_dict_encoded_string(), SQLTypeInfo::is_fp(), SQLTypeInfo::is_number(), SQLTypeInfo::is_time(), CgenState::llBool(), name, null_check, and nullcheck_bb.

    : cgen_state(cgen_state), name(name) {
  AUTOMATIC_IR_METADATA(cgen_state);
  CHECK(nullable_ti.is_number() || nullable_ti.is_time() || nullable_ti.is_boolean() ||
        nullable_ti.is_dict_encoded_string());

  llvm::Value* is_null_lv{nullptr};
  if (nullable_ti.is_fp()) {
    is_null_lv = cgen_state->ir_builder_.CreateFCmp(
        llvm::FCmpInst::FCMP_OEQ, nullable_lv, cgen_state->inlineFpNull(nullable_ti));
  } else if (nullable_ti.is_boolean() &&
             nullable_lv->getType()->getIntegerBitWidth() == 1) {
    is_null_lv = cgen_state->ir_builder_.CreateICmp(
        llvm::ICmpInst::ICMP_EQ, nullable_lv, cgen_state->llBool(true));
  } else {
    is_null_lv = cgen_state->ir_builder_.CreateICmp(
        llvm::ICmpInst::ICMP_EQ, nullable_lv, cgen_state->inlineIntNull(nullable_ti));
  }
  CHECK(is_null_lv);
  null_check =
      std::make_unique<DiamondCodegen>(is_null_lv, executor, false, name, nullptr, false);

  // generate a phi node depending on whether we got a null or not
  nullcheck_bb = llvm::BasicBlock::Create(
      cgen_state->context_, name + "_bb", cgen_state->current_func_);

  // update the blocks created by diamond codegen to point to the newly created phi
  // block
  cgen_state->ir_builder_.SetInsertPoint(null_check->cond_true_);
  cgen_state->ir_builder_.CreateBr(nullcheck_bb);
  cgen_state->ir_builder_.SetInsertPoint(null_check->cond_false_);
}

Here is the call graph for this function:

Member Function Documentation

llvm::Value * CodeGenerator::NullCheckCodegen::finalize	(	llvm::Value *	null_lv,
		llvm::Value *	notnull_lv
	)

Definition at line 1463 of file IRCodegen.cpp.

References AUTOMATIC_IR_METADATA, CHECK, CHECK_EQ, and setup::name.

Referenced by spatial_type::Transform::codegen().

                                                                              {
  AUTOMATIC_IR_METADATA(cgen_state);
  CHECK(null_check);
  cgen_state->ir_builder_.CreateBr(nullcheck_bb);

  CHECK_EQ(null_lv->getType(), notnull_lv->getType());

  cgen_state->ir_builder_.SetInsertPoint(nullcheck_bb);
  nullcheck_value =
      cgen_state->ir_builder_.CreatePHI(null_lv->getType(), 2, name + "_value");
  nullcheck_value->addIncoming(notnull_lv, null_check->cond_false_);
  nullcheck_value->addIncoming(null_lv, null_check->cond_true_);

  null_check.reset(nullptr);
  cgen_state->ir_builder_.SetInsertPoint(nullcheck_bb);
  return nullcheck_value;
}

Here is the caller graph for this function:

Member Data Documentation

CgenState* CodeGenerator::NullCheckCodegen::cgen_state {nullptr}

Definition at line 141 of file CodeGenerator.h.

std::string CodeGenerator::NullCheckCodegen::name

Definition at line 142 of file CodeGenerator.h.

Referenced by generate_TableFunctionsFactory_init.Bracket::__repr__(), generate_TableFunctionsFactory_init.Bracket::__str__(), generate_TableFunctionsFactory_init.UdtfNode::__str__(), generate_TableFunctionsFactory_init.Bracket::apply_column(), generate_TableFunctionsFactory_init.Bracket::apply_namespace(), generate_TableFunctionsFactory_init.Bracket::format_sizer(), generate_TableFunctionsFactory_init.Bracket::normalize(), NullCheckCodegen(), and generate_TableFunctionsFactory_init.Bracket::tostring().

std::unique_ptr<DiamondCodegen> CodeGenerator::NullCheckCodegen::null_check

Definition at line 145 of file CodeGenerator.h.

Referenced by NullCheckCodegen().

llvm::BasicBlock* CodeGenerator::NullCheckCodegen::nullcheck_bb {nullptr}

Definition at line 143 of file CodeGenerator.h.

Referenced by NullCheckCodegen().

llvm::PHINode* CodeGenerator::NullCheckCodegen::nullcheck_value {nullptr}

Definition at line 144 of file CodeGenerator.h.

---

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

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