Method CreateCodegenAnyValReadWriteInfo

be/src/exprs/slot-ref.cc:430–474

}

CodegenAnyValReadWriteInfo SlotRef::CreateCodegenAnyValReadWriteInfo(
    LlvmCodeGen* codegen, LlvmBuilder* builder, llvm::Function* fn,
    llvm::Value* eval_ptr, llvm::Value* row_ptr, llvm::BasicBlock* entry_block) {
  llvm::IRBuilderBase::InsertPoint ip = builder->saveIP();

  llvm::Value* tuple_offset = codegen->GetI32Constant(tuple_idx_);
  llvm::Value* slot_offset = codegen->GetI32Constant(slot_offset_);

  llvm::LLVMContext& context = codegen->context();

  // Create the necessary basic blocks.
  if (entry_block == nullptr) {
    entry_block = llvm::BasicBlock::Create(context, "entry", fn);
  }

  llvm::BasicBlock* read_slot_block = llvm::BasicBlock::Create(context, "read_slot", fn);

  // We use this block to collect all code paths that lead to the result being null. It
  // does nothing but branches unconditionally to 'produce_value_block' and the PHI nodes
  // there can add this block as an incoming branch for the null case; it is simpler and
  // more readable than having many predeccesor blocks for the null case in
  // 'produce_value_block'.
  llvm::BasicBlock* null_block = llvm::BasicBlock::Create(context, "null_block", fn);

  /// Start generating instructions.
  //### Part 1: find the tuple address.
  builder->SetInsertPoint(entry_block);
  // Get the tuple offset addr from the row
  llvm::Value* cast_row_ptr = builder->CreateBitCast(
      row_ptr, codegen->ptr_ptr_type(), "cast_row_ptr");
  llvm::Value* tuple_ptr_addr =
      builder->CreateInBoundsGEP(cast_row_ptr, tuple_offset, "tuple_ptr_addr");
  // Load the tuple*
  llvm::Value* tuple_ptr = builder->CreateLoad(tuple_ptr_addr, "tuple_ptr");

  //### Part 2: null checking
  CodegenNullChecking(codegen, builder, fn, null_block, read_slot_block, tuple_ptr);

  //### Part 3: read non-null value.
  CodegenAnyValReadWriteInfo res = CodegenReadSlot(codegen, builder, eval_ptr,
      row_ptr, entry_block, null_block, read_slot_block, tuple_ptr, slot_offset);

  builder->restoreIP(ip);
  return res;
}

#define SLOT_REF_GET_FUNCTION(type_lit, type_val, type_c) \
    type_val SlotRef::Get##type_val##Interpreted( \