Codegen assignment to self correctly, patch by David Chisnall!

llvm-svn: 49201
This commit is contained in:
Chris Lattner 2008-04-04 04:07:35 +00:00
parent 002e4bd158
commit 5506f8cf4c
5 changed files with 34 additions and 9 deletions

View File

@ -83,8 +83,8 @@ void CodeGenFunction::EmitStaticBlockVarDecl(const BlockVarDecl &D) {
assert(Init && "Unable to create initialiser for static decl");
std::string ContextName;
if (CurFuncDecl)
ContextName = CurFuncDecl->getName();
if (const FunctionDecl * FD = dyn_cast<FunctionDecl>(CurFuncDecl))
ContextName = FD->getName();
else
assert(0 && "Unknown context for block var decl"); // FIXME Handle objc.

View File

@ -386,7 +386,13 @@ LValue CodeGenFunction::EmitStringLiteralLValue(const StringLiteral *E) {
}
LValue CodeGenFunction::EmitPreDefinedLValue(const PreDefinedExpr *E) {
std::string FunctionName(CurFuncDecl->getName());
std::string FunctionName;
if(const FunctionDecl *FD = dyn_cast<FunctionDecl>(CurFuncDecl)) {
FunctionName = FD->getName();
}
else {
assert(0 && "Attempting to load predefined constant for invalid decl type");
}
std::string GlobalVarName;
switch (E->getIdentType()) {
@ -404,7 +410,7 @@ LValue CodeGenFunction::EmitPreDefinedLValue(const PreDefinedExpr *E) {
break;
}
GlobalVarName += CurFuncDecl->getName();
GlobalVarName += FunctionName;
// FIXME: Can cache/reuse these within the module.
llvm::Constant *C=llvm::ConstantArray::get(FunctionName);
@ -581,9 +587,11 @@ LValue CodeGenFunction::EmitObjCIvarRefLValue(const ObjCIvarRefExpr *E) {
// Get object pointer and coerce object pointer to correct type.
llvm::Value *Object = EmitLValue(E->getBase()).getAddress();
Object = Builder.CreateLoad(Object, E->getDecl()->getName());
if (Object->getType() != ObjectType)
Object = Builder.CreateBitCast(Object, ObjectType);
// Return a pointer to the right element.
return LValue::MakeAddr(Builder.CreateStructGEP(Object, Index,
Decl->getName()));

View File

@ -484,8 +484,7 @@ Value *ScalarExprEmitter::VisitObjCMessageExpr(ObjCMessageExpr *E) {
llvm::Value *SelPtr = Builder.CreateStructGEP(Selector, 0);
return Runtime->generateMessageSend(Builder, ConvertType(E->getType()),
// FIXME: Self can be assigned to!
CGF.CurFn->arg_begin(),
CGF.LoadObjCSelf(),
Receiver, SelPtr,
&Args[0], Args.size());
}

View File

@ -97,7 +97,13 @@ void CodeGenFunction::GenerateObjCMethod(const ObjCMethodDecl *OMD) {
// TODO: Add something to AST to let the runtime specify the names and types
// of these.
llvm::Value *&DMEntry = LocalDeclMap[&(*OMD->getSelfDecl())];
DMEntry = AI;
const llvm::Type *SelfTy = AI->getType();
llvm::Value *DeclPtr = new llvm::AllocaInst(SelfTy, 0, "self.addr",
AllocaInsertPt);
// Store the initial value into the alloca.
Builder.CreateStore(AI, DeclPtr);
DMEntry = DeclPtr;
++AI; ++AI;
@ -130,13 +136,22 @@ void CodeGenFunction::GenerateObjCMethod(const ObjCMethodDecl *OMD) {
assert(!verifyFunction(*CurFn) && "Generated method is not well formed.");
}
llvm::Value *CodeGenFunction::LoadObjCSelf(void)
{
if(const ObjCMethodDecl *OMD = dyn_cast<ObjCMethodDecl>(CurFuncDecl)) {
llvm::Value *SelfPtr = LocalDeclMap[&(*OMD->getSelfDecl())];
return Builder.CreateLoad(SelfPtr, "self");
}
return NULL;
}
void CodeGenFunction::GenerateCode(const FunctionDecl *FD) {
LLVMIntTy = ConvertType(getContext().IntTy);
LLVMPointerWidth = static_cast<unsigned>(
getContext().getTypeSize(getContext().getPointerType(getContext().VoidTy)));
CurFuncDecl = FD;
FnRetTy = CurFuncDecl->getType()->getAsFunctionType()->getResultType();
FnRetTy = FD->getType()->getAsFunctionType()->getResultType();
CurFn = cast<llvm::Function>(CGM.GetAddrOfFunctionDecl(FD, true));

View File

@ -246,7 +246,8 @@ public:
typedef std::pair<llvm::Value *, llvm::Value *> ComplexPairTy;
llvm::LLVMFoldingBuilder Builder;
const FunctionDecl *CurFuncDecl;
// Holds the Decl for the current function or method
const Decl *CurFuncDecl;
QualType FnRetTy;
llvm::Function *CurFn;
@ -294,6 +295,8 @@ public:
const llvm::Type *ConvertType(QualType T);
llvm::Value *LoadObjCSelf();
/// hasAggregateLLVMType - Return true if the specified AST type will map into
/// an aggregate LLVM type or is void.
static bool hasAggregateLLVMType(QualType T);