[llvm] 3e2ae92 - [SCEV] Remove an unnecessary GEP type check

[Nikita Popov via llvm-commits]

Author: Nikita Popov
Date: 2022-01-25T12:56:46+01:00
New Revision: 3e2ae92d3f062f47b7cc8103e9a6c15b815d9018

URL: https://github.com/llvm/llvm-project/commit/3e2ae92d3f062f47b7cc8103e9a6c15b815d9018
DIFF: https://github.com/llvm/llvm-project/commit/3e2ae92d3f062f47b7cc8103e9a6c15b815d9018.diff

LOG: [SCEV] Remove an unnecessary GEP type check

The code already checked that the addrec step size and type alloc
size are the same. The actual pointer element type is irrelevant
here.

Added: 
    

Modified: 
    llvm/lib/Analysis/ScalarEvolution.cpp

Removed: 
    


################################################################################
diff  --git a/llvm/lib/Analysis/ScalarEvolution.cpp b/llvm/lib/Analysis/ScalarEvolution.cpp
index 4f2123b4c5fa..07aac1523b47 100644
--- a/llvm/lib/Analysis/ScalarEvolution.cpp
+++ b/llvm/lib/Analysis/ScalarEvolution.cpp
@@ -7596,10 +7596,6 @@ const SCEV *ScalarEvolution::getConstantMaxTripCountFromArray(const Loop *L) {
       auto *ArrSize = dyn_cast<ConstantInt>(AllocateInst->getArraySize());
       if (!Ty || !ArrSize || !ArrSize->isOne())
         continue;
-      // Also make sure step was increased the same with sizeof allocated
-      // element type.
-      if (Ty->getElementType() != GEP->getType()->getPointerElementType())
-        continue;
 
       // FIXME: Since gep indices are silently zext to the indexing type,
       // we will have a narrow gep index which wraps around rather than