From 21c6216c87c0061ca9f02957f848523097d0dac3 Mon Sep 17 00:00:00 2001 From: Dan Gohman Date: Fri, 11 Sep 2009 00:04:14 +0000 Subject: Teach lib/VMCore/ConstantFold.cpp how to set the inbounds keyword and how to fold notionally-out-of-bounds array getelementptr indices instead of just doing these in lib/Analysis/ConstantFolding.cpp, because it can be done in a fairly general way without TargetData, and because not all constants are visited by lib/Analysis/ConstantFolding.cpp. This enables more constant folding. Also, set the "inbounds" flag when the getelementptr indices are one-past-the-end. llvm-svn: 81483 --- llvm/lib/Analysis/ConstantFolding.cpp | 8 ++------ 1 file changed, 2 insertions(+), 6 deletions(-) (limited to 'llvm/lib/Analysis/ConstantFolding.cpp') diff --git a/llvm/lib/Analysis/ConstantFolding.cpp b/llvm/lib/Analysis/ConstantFolding.cpp index f07d03aa0f3..c64b0ea5d10 100644 --- a/llvm/lib/Analysis/ConstantFolding.cpp +++ b/llvm/lib/Analysis/ConstantFolding.cpp @@ -207,12 +207,8 @@ static Constant *SymbolicallyEvaluateGEP(Constant* const* Ops, unsigned NumOps, if (Offset != 0) return 0; - // If the base is the start of a GlobalVariable and all the array indices - // remain in their static bounds, the GEP is inbounds. We can check that - // all indices are in bounds by just checking the first index only - // because we've just normalized all the indices. - Constant *C = isa(Ptr) && NewIdxs[0]->isNullValue() ? - ConstantExpr::getInBoundsGetElementPtr(Ptr, &NewIdxs[0], NewIdxs.size()) : + // Create a GEP. + Constant *C = ConstantExpr::getGetElementPtr(Ptr, &NewIdxs[0], NewIdxs.size()); assert(cast(C->getType())->getElementType() == Ty && "Computed GetElementPtr has unexpected type!"); -- cgit v1.2.3