mirror of
https://github.com/xomboverlord/ldc.git
synced 2026-01-12 10:53:14 +01:00
b4bb3aaec4
Fixed a bunch of the built-in typeinfos for arrays, they did not inherit TypeInfo_Array. Applied patch to tango/text/convert/Layout.d by fvbommel, closes #47 . Cleaned up some type code. Replaced uses of llvm::Type with LLType (a typedef), same for Value and Constant. Fixed a few cases where typeinfo for user structs could be emitted multiple times, seems to still be some cases of this :/
140 lines
3.0 KiB
C++
140 lines
3.0 KiB
C++
/* DMDFE backend stubs
|
|
* This file contains the implementations of the backend routines.
|
|
* For dmdfe these do nothing but print a message saying the module
|
|
* has been parsed. Substitute your own behaviors for these routimes.
|
|
*/
|
|
|
|
#include <cstdarg>
|
|
|
|
#include "gen/llvm.h"
|
|
|
|
#include "mtype.h"
|
|
#include "declaration.h"
|
|
|
|
#include "gen/irstate.h"
|
|
#include "tollvm.h"
|
|
|
|
IRState* gIR = 0;
|
|
const llvm::TargetData* gTargetData = 0;
|
|
|
|
//////////////////////////////////////////////////////////////////////////////////////////
|
|
IRScope::IRScope()
|
|
{
|
|
begin = end = NULL;
|
|
}
|
|
|
|
IRScope::IRScope(llvm::BasicBlock* b, llvm::BasicBlock* e)
|
|
{
|
|
begin = b;
|
|
end = e;
|
|
builder.SetInsertPoint(b);
|
|
}
|
|
|
|
//////////////////////////////////////////////////////////////////////////////////////////
|
|
IRLoopScope::IRLoopScope()
|
|
{
|
|
}
|
|
|
|
IRLoopScope::IRLoopScope(Statement* s, TryFinallyStatement* enclosingtryfinally, llvm::BasicBlock* b, llvm::BasicBlock* e)
|
|
{
|
|
begin = b;
|
|
end = e;
|
|
builder.SetInsertPoint(b);
|
|
this->s = s;
|
|
this->enclosingtryfinally = enclosingtryfinally;
|
|
}
|
|
|
|
//////////////////////////////////////////////////////////////////////////////////////////
|
|
IRState::IRState()
|
|
{
|
|
interfaceInfoType = NULL;
|
|
dmodule = 0;
|
|
module = 0;
|
|
emitMain = false;
|
|
mainFunc = 0;
|
|
ir.state = this;
|
|
}
|
|
|
|
IrFunction* IRState::func()
|
|
{
|
|
assert(!functions.empty() && "Function stack is empty!");
|
|
return functions.back();
|
|
}
|
|
|
|
llvm::Function* IRState::topfunc()
|
|
{
|
|
assert(!functions.empty() && "Function stack is empty!");
|
|
return functions.back()->func;
|
|
}
|
|
|
|
TypeFunction* IRState::topfunctype()
|
|
{
|
|
assert(!functions.empty() && "Function stack is empty!");
|
|
return functions.back()->type;
|
|
}
|
|
|
|
llvm::Instruction* IRState::topallocapoint()
|
|
{
|
|
assert(!functions.empty() && "AllocaPoint stack is empty!");
|
|
return functions.back()->allocapoint;
|
|
}
|
|
|
|
IrStruct* IRState::topstruct()
|
|
{
|
|
assert(!structs.empty() && "Struct vector is empty!");
|
|
return structs.back();
|
|
}
|
|
|
|
IRExp* IRState::topexp()
|
|
{
|
|
return exps.empty() ? NULL : &exps.back();
|
|
}
|
|
|
|
IRScope& IRState::scope()
|
|
{
|
|
assert(!scopes.empty());
|
|
return scopes.back();
|
|
}
|
|
|
|
llvm::BasicBlock* IRState::scopebb()
|
|
{
|
|
IRScope& s = scope();
|
|
assert(s.begin);
|
|
return s.begin;
|
|
}
|
|
llvm::BasicBlock* IRState::scopeend()
|
|
{
|
|
IRScope& s = scope();
|
|
assert(s.end);
|
|
return s.end;
|
|
}
|
|
bool IRState::scopereturned()
|
|
{
|
|
//return scope().returned;
|
|
return !scopebb()->empty() && scopebb()->back().isTerminator();
|
|
}
|
|
|
|
//////////////////////////////////////////////////////////////////////////////////////////
|
|
|
|
IRBuilder* IRBuilderHelper::operator->()
|
|
{
|
|
IRBuilder& b = state->scope().builder;
|
|
assert(b.GetInsertBlock() != NULL);
|
|
return &b;
|
|
}
|
|
|
|
//////////////////////////////////////////////////////////////////////////////////////////
|
|
|
|
IRExp::IRExp()
|
|
{
|
|
e1 = e2 = NULL;
|
|
v = NULL;
|
|
}
|
|
|
|
IRExp::IRExp(Expression* l, Expression* r, DValue* val)
|
|
{
|
|
e1 = l;
|
|
e2 = r;
|
|
v = val;
|
|
}
|