[llvm] ValueTracking: complete matchSimpleRecurrence (PR #108973)

Ramkumar Ramachandra via llvm-commits llvm-commits at lists.llvm.org
Thu Sep 19 02:35:21 PDT 2024


artagnon wrote:

Sorry, this is incorrect, and there are subtle problems with it. Is it possible to experiment with an Alive2 proof for this example? (I believe Alive2 doesn't handle loops)

https://github.com/llvm/llvm-project/pull/108973


More information about the llvm-commits mailing list