[PATCH] D47951: [SCEV] Look through zero-extends in howFarToZero

[Sanjoy Das via Phabricator via llvm-commits]

sanjoy added inline comments.


================
Comment at: lib/Analysis/ScalarEvolution.cpp:8281
 
   const SCEVAddRecExpr *AddRec = dyn_cast<SCEVAddRecExpr>(V);
+  if (!AddRec) {
----------------
Probably better to do `V = StripInjectiveFunctions(V)` where `StripInjectiveFunctions` strips sign and zero extends before we check if `V` is an add rec or not.


Repository:
  rL LLVM

https://reviews.llvm.org/D47951