[llvm] [LV] Check Addr in getAddressAccessSCEV in terms of SCEV expressions. (PR #171204)

[David Sherwood via llvm-commits]

================
@@ -42,6 +42,12 @@ VPValue *getOrCreateVPValueForSCEVExpr(VPlan &Plan, const SCEV *Expr);
 const SCEV *getSCEVExprForVPValue(const VPValue *V, ScalarEvolution &SE,
                                   const Loop *L = nullptr);
 
+/// Returns true if \p Addr is an address SCEV that can be passed to
+/// TTI::getAddressComputationCost, i.e. the address SCEV is loop invariant, an
+/// affine AddRec (i.e. induction ), or an add expression of such operands or a
----------------
david-arm wrote:

Should this be `affine AddRec (i.e. induction), an add expression of such operands, or a sign-extended AddRec`? Or do you really mean that we only permit sign-extended AddRecs when they are an add operand?

https://github.com/llvm/llvm-project/pull/171204