[PATCH] D109015: [SCEV] If max BTC is zero, then so is the exact BTC [2 of 2]

[Philip Reames via Phabricator via llvm-commits]

reames added inline comments.


================
Comment at: llvm/lib/Target/ARM/MVETailPredication.cpp:305
+    // reasoning, and our RHS just above doesn't.
+    Sub = SE->applyLoopGuards(Sub, L);
+
----------------
nikic wrote:
> Any chance evaluating an EQ predicate with one of our context sensitive functions (like isLoopEntryGuardedBy) would also work here? Calling applyLoopGuards() here is rather tightly coupled to SCEV implementation details.
I don't believe we can here without changing the cases this can and can't handle more than I'm comfortable with.  I don't understand this code - the comments appears to be out of sync with what it actually does - so I'd strongly prefer to keep it as close to the original structure as possible.  


Repository:
  rG LLVM Github Monorepo

CHANGES SINCE LAST ACTION
  https://reviews.llvm.org/D109015/new/

https://reviews.llvm.org/D109015