Mercurial > projects > ldc
view ir/irfunction.cpp @ 1083:c1e9f612e2e2
Fix for dual operand form of fistp, also make reg ST(0) explicit and fix lindquists
previous code that allowed dual operand form of fstp but dissallowed the single
operand form accidently
author | Kelly Wilson <wilsonk cpsc.ucalgary.ca> |
---|---|
date | Tue, 10 Mar 2009 06:23:26 -0600 |
parents | dc608dc33081 |
children | 8699c450a1a0 |
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; _arguments = NULL; _argptr = 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); }