It doesn't matter what the 2nd operand is; if the GEP has 2 operands and

the first is a zero, we should leave it alone.

git-svn-id: https://llvm.org/svn/llvm-project/llvm/trunk@14648 91177308-0d34-0410-b5e6-96231b3b80d8

diff --git a/lib/Transforms/Scalar/DecomposeMultiDimRefs.cpp b/lib/Transforms/Scalar/DecomposeMultiDimRefs.cpp
index bcd0f78aba2685b8a1620b894ca58d2050a134b2..72e537a7dcd49f44bf6f0f2e953269dfa47e39b0 100644 (file)
--- a/lib/Transforms/Scalar/DecomposeMultiDimRefs.cpp
+++ b/lib/Transforms/Scalar/DecomposeMultiDimRefs.cpp
@@ -83,8 +83,7 @@ static inline bool isZeroConst (Value *V) {
 bool llvm::DecomposeArrayRef(GetElementPtrInst* GEP) {
   if (GEP->getNumIndices() < 2
       || (GEP->getNumIndices() == 2
-          && isZeroConst(GEP->getOperand(1))
-          && isa<ConstantInt>(GEP->getOperand(2)))) {
+          && isZeroConst(GEP->getOperand(1)))) {
     DEBUG (std::cerr << "DecomposeArrayRef: Skipping " << *GEP);
     return false;
   } else {