[llvm] [ScalarEvolution] Avoid recursive proof blowup for recurrence starts (PR #225000)

Justin Leong via llvm-commits llvm-commits at lists.llvm.org
Mon Sep 21 00:04:47 PDT 2026

Previous message: [llvm] [SCEV] - Add positive-stride predicate for backedge-taken count. (PR #222261)
Next message: [llvm] [ScalarEvolution] Avoid recursive proof blowup for recurrence starts (PR #225000)
Messages sorted by: [ date ] [ thread ] [ subject ] [ author ]

https://github.com/justinleong22 ready_for_review https://github.com/llvm/llvm-project/pull/225000

Previous message: [llvm] [SCEV] - Add positive-stride predicate for backedge-taken count. (PR #222261)
Next message: [llvm] [ScalarEvolution] Avoid recursive proof blowup for recurrence starts (PR #225000)
Messages sorted by: [ date ] [ thread ] [ subject ] [ author ]

More information about the llvm-commits mailing list