[PATCH] D109676: [HardwareLoops] put +1 for loop count before zero extension

[Philip Reames via Phabricator via llvm-commits]

reames added a comment.

In D109676#3060551 <https://reviews.llvm.org/D109676#3060551>, @shchenz wrote:

> Thoughs? Please take your time.

Proving that EC + 1 does not overflow is a proof that extension is not needed.  The method has a boolean parameter for exactly that fact.  It was written with exactly this case in mind.


Repository:
  rG LLVM Github Monorepo

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

https://reviews.llvm.org/D109676