[PATCH] D104066: [SCEV] Use knowledge of stride to prove loops finite for LT exit count computation

Eli Friedman via Phabricator via llvm-commits llvm-commits at lists.llvm.org
Thu Jun 10 16:34:27 PDT 2021

Previous message: [PATCH] D104066: [SCEV] Use knowledge of stride to prove loops finite for LT exit count computation
Next message: [PATCH] D104066: [SCEV] Use knowledge of stride to prove loops finite for LT exit count computation
Messages sorted by: [ date ] [ thread ] [ subject ] [ author ]

efriedma added a comment.

I don't see any obvious issue here.  I'd like to work through the known miscompiles before we start expanding this, though.


Repository:
  rG LLVM Github Monorepo

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

https://reviews.llvm.org/D104066

Previous message: [PATCH] D104066: [SCEV] Use knowledge of stride to prove loops finite for LT exit count computation
Next message: [PATCH] D104066: [SCEV] Use knowledge of stride to prove loops finite for LT exit count computation
Messages sorted by: [ date ] [ thread ] [ subject ] [ author ]

More information about the llvm-commits mailing list