2016-09-26 07:00:19 +00:00
|
|
|
|
2016-10-01 09:47:21 +00:00
|
|
|
#include "r_compiler/llvm_include.h"
|
2016-09-26 07:00:19 +00:00
|
|
|
#include "ssa_scope.h"
|
|
|
|
#include "ssa_int.h"
|
|
|
|
|
|
|
|
SSAScope::SSAScope(llvm::LLVMContext *context, llvm::Module *module, llvm::IRBuilder<> *builder)
|
|
|
|
: _context(context), _module(module), _builder(builder)
|
|
|
|
{
|
|
|
|
instance = this;
|
|
|
|
}
|
|
|
|
|
|
|
|
SSAScope::~SSAScope()
|
|
|
|
{
|
|
|
|
instance = 0;
|
|
|
|
}
|
|
|
|
|
|
|
|
llvm::LLVMContext &SSAScope::context()
|
|
|
|
{
|
|
|
|
return *instance->_context;
|
|
|
|
}
|
|
|
|
|
|
|
|
llvm::Module *SSAScope::module()
|
|
|
|
{
|
|
|
|
return instance->_module;
|
|
|
|
}
|
|
|
|
|
|
|
|
llvm::IRBuilder<> &SSAScope::builder()
|
|
|
|
{
|
|
|
|
return *instance->_builder;
|
|
|
|
}
|
|
|
|
|
|
|
|
llvm::Function *SSAScope::intrinsic(llvm::Intrinsic::ID id, llvm::ArrayRef<llvm::Type *> parameter_types)
|
|
|
|
{
|
|
|
|
llvm::Function *func = module()->getFunction(llvm::Intrinsic::getName(id));
|
|
|
|
if (func == 0)
|
|
|
|
func = llvm::Function::Create(llvm::Intrinsic::getType(context(), id, parameter_types), llvm::Function::ExternalLinkage, llvm::Intrinsic::getName(id, parameter_types), module());
|
|
|
|
return func;
|
|
|
|
}
|
|
|
|
|
|
|
|
llvm::Value *SSAScope::alloca(llvm::Type *type)
|
|
|
|
{
|
|
|
|
return alloca(type, SSAInt(1));
|
|
|
|
}
|
|
|
|
|
|
|
|
llvm::Value *SSAScope::alloca(llvm::Type *type, SSAInt size)
|
|
|
|
{
|
|
|
|
// Allocas must be created at top of entry block for the PromoteMemoryToRegisterPass to work
|
|
|
|
llvm::BasicBlock &entry = SSAScope::builder().GetInsertBlock()->getParent()->getEntryBlock();
|
|
|
|
llvm::IRBuilder<> alloca_builder(&entry, entry.begin());
|
|
|
|
return alloca_builder.CreateAlloca(type, size.v, hint());
|
|
|
|
}
|
|
|
|
|
|
|
|
const std::string &SSAScope::hint()
|
|
|
|
{
|
|
|
|
return instance->_hint;
|
|
|
|
}
|
|
|
|
|
|
|
|
void SSAScope::set_hint(const std::string &new_hint)
|
|
|
|
{
|
|
|
|
if (new_hint.empty())
|
|
|
|
instance->_hint = "tmp";
|
|
|
|
else
|
|
|
|
instance->_hint = new_hint;
|
|
|
|
}
|
|
|
|
|
|
|
|
SSAScope *SSAScope::instance = 0;
|