maxjhandsome
/
llvm-project
forked from OSchip/llvm-project
1
0
Fork 0
Code Issues Pull Requests Packages Releases Wiki Activity

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

storing into the first element of the structure type.

llvm-svn: 1832
This commit is contained in:
Chris Lattner 2002-03-07 21:17:35 +00:00
parent 62f1e98e4f
commit 717dba9474
1 changed files with 18 additions and 5 deletions
Show Stats Download Patch File Download Diff File Expand all files Collapse all files

23
llvm/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));