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

[David Sherwood via llvm-commits]

================
@@ -150,6 +152,23 @@ const SCEV *vputils::getSCEVExprForVPValue(const VPValue *V,
       .Default([&SE](const VPRecipeBase *) { return SE.getCouldNotCompute(); });
 }
 
+bool vputils::isAddressSCEVForCost(const SCEV *Addr, ScalarEvolution &SE,
+                                   const Loop *L) {
+  // If address is an SCEVAddExpr, all operands must be either be invariant or a
----------------
david-arm wrote:

Should this be:

```
  // If the address is an SCEVAddExpr, we require that all operands must be either be invariant or ...
```

Currently it sounds like if it's a SCEVAddExpr, then by definition all operands are guaranteed to be invariant.

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