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

[Roman Lebedev via Phabricator via llvm-commits]

lebedev.ri added a comment.

Can't you teach `SCEV::getAddExpr()` that? (to fold `zext(x)+C` to `zext(x+C)` iff that doesn't alter the result: https://alive2.llvm.org/ce/z/5ZQ_X_)


Repository:
  rG LLVM Github Monorepo

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

https://reviews.llvm.org/D109676