6502/llvm-6502
1
0
Fork 0
mirror of https://github.com/c64scene-ar/llvm-6502.git synced 2024-08-18 12:29:21 +00:00
Code Issues Projects Releases Wiki Activity

Support changing the pointer type of a store for the case where we are

Browse Source 
storing into the first element of the structure type.


git-svn-id: https://llvm.org/svn/llvm-project/llvm/trunk@1832 91177308-0d34-0410-b5e6-96231b3b80d8
This commit is contained in:
Chris Lattner 2002-03-07 21:17:35 +00:00
parent 9c85fa660e
commit 921ef3a185
1 changed files with 18 additions and 5 deletions
Show Stats Download Patch File Download Diff File Expand all files Collapse all files

23
lib/Transforms/ExprTypeConvert.cpp
View File

@ -721,6 +721,18 @@ static bool OperandConvertableToType(User *U, Value *V, const Type *Ty,
const Type *ElTy = PT->getElementType();
assert(V == I->getOperand(1));
if (isa<StructType>(ElTy)) {
// We can change the destination pointer if we can store our first
// argument into the first element of the structure...
//
unsigned Offset = 0;
std::vector<Value*> Indices;
ElTy = getStructOffsetType(ElTy, Offset, Indices, false);
assert(Offset == 0 && "Offset changed!");
if (ElTy == 0) // Element at offset zero in struct doesn't exist!
return false; // Can only happen for {}*
}
// Must move the same amount of data...
if (TD.getTypeSize(ElTy) != TD.getTypeSize(I->getOperand(0)->getType()))
return false;
@ -959,13 +971,14 @@ static void ConvertOperandToType(User *U, Value *OldVal, Value *NewVal,
} else { // Replace the source pointer
const Type *ValTy = cast<PointerType>(NewTy)->getElementType();
std::vector<Value*> Indices;
#if 0
Indices.push_back(ConstantUInt::get(Type::UIntTy, 0));
while (ArrayType *AT = dyn_cast<ArrayType>(ValTy)) {
if (isa<StructType>(ValTy)) {
unsigned Offset = 0;
Indices.push_back(ConstantUInt::get(Type::UIntTy, 0));
ValTy = AT->getElementType();
ValTy = getStructOffsetType(ValTy, Offset, Indices, false);
assert(Offset == 0 && ValTy);
}
#endif
Res = new StoreInst(Constant::getNullConstant(ValTy), NewVal, Indices);
VMC.ExprMap[I] = Res;
Res->setOperand(0, ConvertExpressionToType(I->getOperand(0), ValTy, VMC));