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

Serguei Katkov via Phabricator via llvm-commits llvm-commits at lists.llvm.org
Tue Dec 26 20:47:14 PST 2017


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





More information about the llvm-commits mailing list