From 1b9fe1cbbe9bceba688255dc4ef3b3155550b687 Mon Sep 17 00:00:00 2001 From: Chris Lattner Date: Wed, 17 Nov 2004 17:59:35 +0000 Subject: Generalize this code to turn any cast-to-first-element-of into a gep constexpr git-svn-id: https://llvm.org/svn/llvm-project/llvm/trunk@17914 91177308-0d34-0410-b5e6-96231b3b80d8 --- lib/VMCore/ConstantFold.cpp | 29 +++++++++++++++++++++-------- 1 file changed, 21 insertions(+), 8 deletions(-) (limited to 'lib/VMCore') diff --git a/lib/VMCore/ConstantFold.cpp b/lib/VMCore/ConstantFold.cpp index d224afe..02b7fe2 100644 --- a/lib/VMCore/ConstantFold.cpp +++ b/lib/VMCore/ConstantFold.cpp @@ -565,16 +565,29 @@ Constant *llvm::ConstantFoldCastInstruction(const Constant *V, return UndefValue::get(DestTy); } - // Check to see if we are casting an array of X to a pointer to X. If so, use - // a GEP to get to the first element of the array instead of a cast! + // Check to see if we are casting an pointer to an aggregate to a pointer to + // the first element. If so, return the appropriate GEP instruction. if (const PointerType *PTy = dyn_cast(V->getType())) - if (const ArrayType *ATy = dyn_cast(PTy->getElementType())) - if (const PointerType *DPTy = dyn_cast(DestTy)) - if (DPTy->getElementType() == ATy->getElementType()) { - std::vector IdxList(2,Constant::getNullValue(Type::IntTy)); - return ConstantExpr::getGetElementPtr(const_cast(V), - IdxList); + if (const PointerType *DPTy = dyn_cast(DestTy)) { + std::vector IdxList; + IdxList.push_back(Constant::getNullValue(Type::IntTy)); + const Type *ElTy = PTy->getElementType(); + while (ElTy != DPTy->getElementType()) { + if (const StructType *STy = dyn_cast(ElTy)) { + ElTy = STy->getElementType(0); + IdxList.push_back(Constant::getNullValue(Type::UIntTy)); + } else if (const SequentialType *STy = dyn_cast(ElTy)) { + if (isa(ElTy)) break; // Can't index into pointers! + ElTy = STy->getElementType(); + IdxList.push_back(IdxList[0]); + } else { + break; } + } + + if (ElTy == DPTy->getElementType()) + return ConstantExpr::getGetElementPtr(const_cast(V),IdxList); + } ConstRules &Rules = ConstRules::get(V, V); -- cgit v1.1