[PATCH] D41578: [SCEV] Do not cache S -> V if S is not equivalent of V

[Serguei Katkov via Phabricator via llvm-commits]

skatkov added inline comments.


================
Comment at: lib/Analysis/ScalarEvolution.cpp:3773
+    if (isa<OverflowingBinaryOperator>(I))
+      if (auto *BS = dyn_cast<SCEVNAryExpr>(S)) {
+        if (I->hasNoSignedWrap() && !BS->hasNoSignedWrap())
----------------
sanjoy wrote:
> Why `BS`?
BinarySCEV ? :)




https://reviews.llvm.org/D41578