Mercurial > projects > ldc
view ir/irfunction.cpp @ 1479:4f7d50c744ed
Rewrite `StructLiteralExp::toElem` to store individual fields instead of
generating a constant to fill the entire struct with a single `store`.
This is much more efficient at compile time (fixing #320) and vastly reduces
the size of the emitted code. Since LLVM no longer needs to keep the data for
all fields in "registers" until the store happens, it should also be more
efficient at run time in cases where the fields aren't assigned with constants.
There's also some code clean-up by removing duplicated logic.
author | Frits van Bommel <fvbommel wxs.nl> |
---|---|
date | Sat, 06 Jun 2009 20:16:13 +0200 |
parents | 3f5ea912149d |
children | e1e93343fc11 |
line wrap: on
line source
#include "gen/llvm.h" #include "gen/tollvm.h" #include "gen/abi.h" #include "gen/dvalue.h" #include "gen/logger.h" #include "ir/irfunction.h" #include "ir/irfuncty.h" #include <sstream> ////////////////////////////////////////////////////////////////////////////// ////////////////////////////////////////////////////////////////////////////// ////////////////////////////////////////////////////////////////////////////// IrFuncTyArg::IrFuncTyArg(Type* t, bool bref, unsigned a) { type = t; ltype = bref ? DtoType(t->pointerTo()) : DtoType(t); attrs = a; byref = bref; rewrite = NULL; } bool IrFuncTyArg::isInReg() const { return (attrs & llvm::Attribute::InReg) != 0; } bool IrFuncTyArg::isSRet() const { return (attrs & llvm::Attribute::StructRet) != 0; } bool IrFuncTyArg::isByVal() const { return (attrs & llvm::Attribute::ByVal) != 0; } ////////////////////////////////////////////////////////////////////////////// ////////////////////////////////////////////////////////////////////////////// ////////////////////////////////////////////////////////////////////////////// llvm::Value* IrFuncTy::putRet(Type* dty, DValue* val) { assert(!arg_sret); if (ret->rewrite) { Logger::println("Rewrite: putRet"); LOG_SCOPE return ret->rewrite->put(dty, val); } return val->getRVal(); } llvm::Value* IrFuncTy::getRet(Type* dty, DValue* val) { assert(!arg_sret); if (ret->rewrite) { Logger::println("Rewrite: getRet"); LOG_SCOPE return ret->rewrite->get(dty, val); } return val->getRVal(); } llvm::Value* IrFuncTy::putParam(Type* dty, int idx, DValue* val) { assert(idx >= 0 && idx < args.size() && "invalid putParam"); if (args[idx]->rewrite) { Logger::println("Rewrite: putParam"); LOG_SCOPE return args[idx]->rewrite->put(dty, val); } return val->getRVal(); } llvm::Value* IrFuncTy::getParam(Type* dty, int idx, DValue* val) { assert(idx >= 0 && idx < args.size() && "invalid getParam"); if (args[idx]->rewrite) { Logger::println("Rewrite: getParam (get)"); LOG_SCOPE return args[idx]->rewrite->get(dty, val); } return val->getRVal(); } void IrFuncTy::getParam(Type* dty, int idx, DValue* val, llvm::Value* lval) { assert(idx >= 0 && idx < args.size() && "invalid getParam"); if (args[idx]->rewrite) { Logger::println("Rewrite: getParam (getL)"); LOG_SCOPE args[idx]->rewrite->getL(dty, val, lval); return; } DtoStore(val->getRVal(), lval); } ////////////////////////////////////////////////////////////////////////////// ////////////////////////////////////////////////////////////////////////////// ////////////////////////////////////////////////////////////////////////////// IrFunction::IrFunction(FuncDeclaration* fd) { decl = fd; Type* t = fd->type->toBasetype(); assert(t->ty == Tfunction); type = (TypeFunction*)t; func = NULL; allocapoint = NULL; queued = false; defined = false; retArg = NULL; thisArg = NULL; nestArg = NULL; nestedVar = NULL; frameType = NULL; depth = -1; _arguments = NULL; _argptr = NULL; landingPad = NULL; nextUnique.push(0); } std::string IrFunction::getScopedLabelName(const char* ident) { if(labelScopes.empty()) return std::string(ident); std::string result = "__"; for(unsigned int i = 0; i < labelScopes.size(); ++i) result += labelScopes[i] + "_"; return result + ident; } void IrFunction::pushUniqueLabelScope(const char* name) { std::ostringstream uniquename; uniquename << name << nextUnique.top()++; nextUnique.push(0); labelScopes.push_back(uniquename.str()); } void IrFunction::popLabelScope() { labelScopes.pop_back(); nextUnique.pop(); } void IrFunction::setNeverInline() { assert(!func->hasFnAttr(llvm::Attribute::AlwaysInline) && "function can't be never- and always-inline at the same time"); func->addFnAttr(llvm::Attribute::NoInline); } void IrFunction::setAlwaysInline() { assert(!func->hasFnAttr(llvm::Attribute::NoInline) && "function can't be never- and always-inline at the same time"); func->addFnAttr(llvm::Attribute::AlwaysInline); }