[PATCH] D79175: [ARM][MVE] Tail-Predication: use @llvm.get.active.lane.mask to get the BTC

[Sjoerd Meijer via Phabricator via llvm-commits]

SjoerdMeijer added a comment.

In D79175#2080874 <https://reviews.llvm.org/D79175#2080874>, @efriedma wrote:

> Maybe instead of querying SCEV about `(((ElementCount + (VectorWidth - 1)) / VectorWidth) - TripCount`, it would be easier for SCEV to reason about `((ElementCount + (VectorWidth - 1)) - TripCount * VectorWidth`?


No luck with that one too: `isKnownNonNegativeInLoop` is not able to prove that for this expression.

How about the current implementation, and just looking at the signed ranges?


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

https://reviews.llvm.org/D79175