ConstantIR.cpp

Go to the documentation of this file.

/*
 * Copyright 2017 MapD Technologies, Inc.
 *
 * Licensed under the Apache License, Version 2.0 (the "License");
 * you may not use this file except in compliance with the License.
 * You may obtain a copy of the License at
 *
 *     http://www.apache.org/licenses/LICENSE-2.0
 *
 * Unless required by applicable law or agreed to in writing, software
 * distributed under the License is distributed on an "AS IS" BASIS,
 * WITHOUT WARRANTIES OR CONDITIONS OF ANY KIND, either express or implied.
 * See the License for the specific language governing permissions and
 * limitations under the License.
 */

#include "CodeGenerator.h"
#include "Execute.h"

std::vector<llvm::Value*> CodeGenerator::codegen(const Analyzer::Constant* constant,
                                                 const EncodingType enc_type,
                                                 const int dict_id,
                                                 const CompilationOptions& co) {
  if (co.hoist_literals_) {
    std::vector<const Analyzer::Constant*> constants(
        executor()->deviceCount(co.device_type_), constant);
    return codegenHoistedConstants(constants, enc_type, dict_id);
  }
  const auto& type_info = constant->get_type_info();
  const auto type =
      type_info.is_decimal() ? decimal_to_int_type(type_info) : type_info.get_type();
  switch (type) {
    case kBOOLEAN:
      return type_info.get_notnull() ? std::vector<llvm::Value*>{llvm::ConstantInt::get(
                                           get_int_type(1, cgen_state_->context_),
                                           constant->get_constval().boolval)}
                                     : std::vector<llvm::Value*>{llvm::ConstantInt::get(
                                           get_int_type(8, cgen_state_->context_),
                                           constant->get_constval().boolval)};
    case kTINYINT:
    case kSMALLINT:
    case kINT:
    case kBIGINT:
    case kTIME:
    case kTIMESTAMP:
    case kDATE:
    case kINTERVAL_DAY_TIME:
    case kINTERVAL_YEAR_MONTH:
      return {codegenIntConst(constant)};
    case kFLOAT:
      return {llvm::ConstantFP::get(llvm::Type::getFloatTy(cgen_state_->context_),
                                    constant->get_constval().floatval)};
    case kDOUBLE:
      return {llvm::ConstantFP::get(llvm::Type::getDoubleTy(cgen_state_->context_),
                                    constant->get_constval().doubleval)};
    case kVARCHAR:
    case kCHAR:
    case kTEXT: {
      CHECK(constant->get_constval().stringval || constant->get_is_null());
      if (constant->get_is_null()) {
        if (enc_type == kENCODING_DICT) {
          return {
              cgen_state_->llInt(static_cast<int32_t>(inline_int_null_val(type_info)))};
        }
        return {cgen_state_->llInt(int64_t(0)),
                llvm::Constant::getNullValue(
                    llvm::PointerType::get(get_int_type(8, cgen_state_->context_), 0)),
                cgen_state_->llInt(int32_t(0))};
      }
      const auto& str_const = *constant->get_constval().stringval;
      if (enc_type == kENCODING_DICT) {
        return {
            cgen_state_->llInt(executor()
                                   ->getStringDictionaryProxy(
                                       dict_id, executor()->getRowSetMemoryOwner(), true)
                                   ->getIdOfString(str_const))};
      }
      return {cgen_state_->llInt(int64_t(0)),
              cgen_state_->addStringConstant(str_const),
              cgen_state_->llInt(static_cast<int32_t>(str_const.size()))};
    }
    default:
      CHECK(false);
  }
  abort();
}

llvm::ConstantInt* CodeGenerator::codegenIntConst(const Analyzer::Constant* constant) {
  const auto& type_info = constant->get_type_info();
  if (constant->get_is_null()) {
    return cgen_state_->inlineIntNull(type_info);
  }
  const auto type =
      type_info.is_decimal() ? decimal_to_int_type(type_info) : type_info.get_type();
  switch (type) {
    case kTINYINT:
      return cgen_state_->llInt(constant->get_constval().tinyintval);
    case kSMALLINT:
      return cgen_state_->llInt(constant->get_constval().smallintval);
    case kINT:
      return cgen_state_->llInt(constant->get_constval().intval);
    case kBIGINT:
      return cgen_state_->llInt(constant->get_constval().bigintval);
    case kTIME:
    case kTIMESTAMP:
    case kDATE:
    case kINTERVAL_DAY_TIME:
    case kINTERVAL_YEAR_MONTH:
      return cgen_state_->llInt(constant->get_constval().bigintval);
    default:
      abort();
  }
}

std::vector<llvm::Value*> CodeGenerator::codegenHoistedConstantsLoads(
    const SQLTypeInfo& type_info,
    const EncodingType enc_type,
    const int dict_id,
    const int16_t lit_off) {
  std::string literal_name = "literal_" + std::to_string(lit_off);
  auto lit_buff_query_func_lv = get_arg_by_name(cgen_state_->query_func_, "literals");
  const auto lit_buf_start = cgen_state_->query_func_entry_ir_builder_.CreateGEP(
      lit_buff_query_func_lv, cgen_state_->llInt(lit_off));
  if (type_info.is_string() && enc_type != kENCODING_DICT) {
    CHECK_EQ(kENCODING_NONE, type_info.get_compression());
    CHECK_EQ(size_t(4),
             CgenState::literalBytes(CgenState::LiteralValue(std::string(""))));
    auto off_and_len_ptr = cgen_state_->query_func_entry_ir_builder_.CreateBitCast(
        lit_buf_start,
        llvm::PointerType::get(get_int_type(32, cgen_state_->context_), 0));
    // packed offset + length, 16 bits each
    auto off_and_len =
        cgen_state_->query_func_entry_ir_builder_.CreateLoad(off_and_len_ptr);
    auto off_lv = cgen_state_->query_func_entry_ir_builder_.CreateLShr(
        cgen_state_->query_func_entry_ir_builder_.CreateAnd(
            off_and_len, cgen_state_->llInt(int32_t(0xffff0000))),
        cgen_state_->llInt(int32_t(16)));
    auto len_lv = cgen_state_->query_func_entry_ir_builder_.CreateAnd(
        off_and_len, cgen_state_->llInt(int32_t(0x0000ffff)));

    auto var_start = cgen_state_->llInt(int64_t(0));
    auto var_start_address = cgen_state_->query_func_entry_ir_builder_.CreateGEP(
        lit_buff_query_func_lv, off_lv);
    auto var_length = len_lv;

    var_start->setName(literal_name + "_start");
    var_start_address->setName(literal_name + "_start_address");
    var_length->setName(literal_name + "_length");

    return {var_start, var_start_address, var_length};
  } else if (type_info.is_array() &&
             (enc_type == kENCODING_NONE || enc_type == kENCODING_GEOINT)) {
    if (enc_type == kENCODING_NONE) {
      CHECK_EQ(kENCODING_NONE, type_info.get_compression());
    } else if (enc_type == kENCODING_GEOINT) {
      CHECK_EQ(kENCODING_GEOINT, type_info.get_compression());
      CHECK_EQ(kTINYINT, type_info.get_subtype());
    }

    auto off_and_len_ptr = cgen_state_->query_func_entry_ir_builder_.CreateBitCast(
        lit_buf_start,
        llvm::PointerType::get(get_int_type(32, cgen_state_->context_), 0));
    // packed offset + length, 16 bits each
    auto off_and_len =
        cgen_state_->query_func_entry_ir_builder_.CreateLoad(off_and_len_ptr);
    auto off_lv = cgen_state_->query_func_entry_ir_builder_.CreateLShr(
        cgen_state_->query_func_entry_ir_builder_.CreateAnd(
            off_and_len, cgen_state_->llInt(int32_t(0xffff0000))),
        cgen_state_->llInt(int32_t(16)));
    auto len_lv = cgen_state_->query_func_entry_ir_builder_.CreateAnd(
        off_and_len, cgen_state_->llInt(int32_t(0x0000ffff)));

    auto var_start_address = cgen_state_->query_func_entry_ir_builder_.CreateGEP(
        lit_buff_query_func_lv, off_lv);
    auto var_length = len_lv;

    var_start_address->setName(literal_name + "_start_address");
    var_length->setName(literal_name + "_length");

    return {var_start_address, var_length};
  }

  llvm::Type* val_ptr_type{nullptr};
  const auto val_bits = get_bit_width(type_info);
  CHECK_EQ(size_t(0), val_bits % 8);
  if (type_info.is_integer() || type_info.is_decimal() || type_info.is_time() ||
      type_info.is_timeinterval() || type_info.is_string() || type_info.is_boolean()) {
    val_ptr_type = llvm::PointerType::get(
        llvm::IntegerType::get(cgen_state_->context_, val_bits), 0);
  } else {
    CHECK(type_info.get_type() == kFLOAT || type_info.get_type() == kDOUBLE);
    val_ptr_type = (type_info.get_type() == kFLOAT)
                       ? llvm::Type::getFloatPtrTy(cgen_state_->context_)
                       : llvm::Type::getDoublePtrTy(cgen_state_->context_);
  }
  auto lit_lv = cgen_state_->query_func_entry_ir_builder_.CreateLoad(
      cgen_state_->query_func_entry_ir_builder_.CreateBitCast(lit_buf_start,
                                                              val_ptr_type));

  llvm::Value* to_return_lv = lit_lv;

  if (type_info.is_boolean() && type_info.get_notnull()) {
    if (static_cast<llvm::IntegerType*>(lit_lv->getType())->getBitWidth() > 1) {
      to_return_lv = cgen_state_->query_func_entry_ir_builder_.CreateICmp(
          llvm::ICmpInst::ICMP_SGT, lit_lv, llvm::ConstantInt::get(lit_lv->getType(), 0));
    }
  }

  to_return_lv->setName(literal_name);
  return {to_return_lv};
}

std::vector<llvm::Value*> CodeGenerator::codegenHoistedConstantsPlaceholders(
    const SQLTypeInfo& type_info,
    const EncodingType enc_type,
    const int16_t lit_off,
    const std::vector<llvm::Value*>& literal_loads) {
  std::string literal_name = "literal_" + std::to_string(lit_off);

  if (type_info.is_string() && enc_type != kENCODING_DICT) {
    CHECK_EQ(literal_loads.size(), 3u);

    llvm::Value* var_start = literal_loads[0];
    llvm::Value* var_start_address = literal_loads[1];
    llvm::Value* var_length = literal_loads[2];

    llvm::PointerType* placeholder0_type =
        llvm::PointerType::get(var_start->getType(), 0);
    auto placeholder0 = cgen_state_->ir_builder_.CreateLoad(
        cgen_state_->ir_builder_.CreateIntToPtr(cgen_state_->llInt(0), placeholder0_type),
        "__placeholder__" + literal_name + "_start");
    llvm::PointerType* placeholder1_type =
        llvm::PointerType::get(var_start_address->getType(), 0);
    auto placeholder1 = cgen_state_->ir_builder_.CreateLoad(
        cgen_state_->ir_builder_.CreateIntToPtr(cgen_state_->llInt(0), placeholder1_type),
        "__placeholder__" + literal_name + "_start_address");
    llvm::PointerType* placeholder2_type =
        llvm::PointerType::get(var_length->getType(), 0);
    auto placeholder2 = cgen_state_->ir_builder_.CreateLoad(
        cgen_state_->ir_builder_.CreateIntToPtr(cgen_state_->llInt(0), placeholder2_type),
        "__placeholder__" + literal_name + "_length");

    cgen_state_->row_func_hoisted_literals_[placeholder0] = {lit_off, 0};
    cgen_state_->row_func_hoisted_literals_[placeholder1] = {lit_off, 1};
    cgen_state_->row_func_hoisted_literals_[placeholder2] = {lit_off, 2};

    return {placeholder0, placeholder1, placeholder2};
  }

  if (type_info.is_array() &&
      (enc_type == kENCODING_NONE || enc_type == kENCODING_GEOINT)) {
    CHECK_EQ(literal_loads.size(), 2u);

    llvm::Value* var_start_address = literal_loads[0];
    llvm::Value* var_length = literal_loads[1];

    llvm::PointerType* placeholder0_type =
        llvm::PointerType::get(var_start_address->getType(), 0);
    auto placeholder0 = cgen_state_->ir_builder_.CreateLoad(
        cgen_state_->ir_builder_.CreateIntToPtr(cgen_state_->llInt(0), placeholder0_type),
        "__placeholder__" + literal_name + "_start_address");
    llvm::PointerType* placeholder1_type =
        llvm::PointerType::get(var_length->getType(), 0);
    auto placeholder1 = cgen_state_->ir_builder_.CreateLoad(
        cgen_state_->ir_builder_.CreateIntToPtr(cgen_state_->llInt(0), placeholder1_type),
        "__placeholder__" + literal_name + "_length");

    cgen_state_->row_func_hoisted_literals_[placeholder0] = {lit_off, 0};
    cgen_state_->row_func_hoisted_literals_[placeholder1] = {lit_off, 1};

    return {placeholder0, placeholder1};
  }

  CHECK_EQ(literal_loads.size(), 1u);
  llvm::Value* to_return_lv = literal_loads[0];

  auto placeholder0 = cgen_state_->ir_builder_.CreateLoad(
      cgen_state_->ir_builder_.CreateIntToPtr(
          cgen_state_->llInt(0), llvm::PointerType::get(to_return_lv->getType(), 0)),
      "__placeholder__" + literal_name);

  cgen_state_->row_func_hoisted_literals_[placeholder0] = {lit_off, 0};

  return {placeholder0};
}

std::vector<llvm::Value*> CodeGenerator::codegenHoistedConstants(
    const std::vector<const Analyzer::Constant*>& constants,
    const EncodingType enc_type,
    const int dict_id) {
  CHECK(!constants.empty());

  const auto& type_info = constants.front()->get_type_info();
  int16_t lit_off{-1};
  for (size_t device_id = 0; device_id < constants.size(); ++device_id) {
    const auto constant = constants[device_id];
    const auto& crt_type_info = constant->get_type_info();
    CHECK(type_info == crt_type_info);
    const int16_t dev_lit_off =
        cgen_state_->getOrAddLiteral(constant, enc_type, dict_id, device_id);
    if (device_id) {
      CHECK_EQ(lit_off, dev_lit_off);
    } else {
      lit_off = dev_lit_off;
    }
  }
  CHECK_GE(lit_off, int16_t(0));

  std::vector<llvm::Value*> hoisted_literal_loads;
  auto entry = cgen_state_->query_func_literal_loads_.find(lit_off);

  if (entry == cgen_state_->query_func_literal_loads_.end()) {
    hoisted_literal_loads =
        codegenHoistedConstantsLoads(type_info, enc_type, dict_id, lit_off);
    cgen_state_->query_func_literal_loads_[lit_off] = hoisted_literal_loads;
  } else {
    hoisted_literal_loads = entry->second;
  }

  std::vector<llvm::Value*> literal_placeholders = codegenHoistedConstantsPlaceholders(
      type_info, enc_type, lit_off, hoisted_literal_loads);
  return literal_placeholders;
}