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

[Nikita Popov via Phabricator via llvm-commits]

nikic 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);
+
----------------
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.


Repository:
  rG LLVM Github Monorepo

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

https://reviews.llvm.org/D109015