[llvm] [SCEV] - Add positive-stride predicate for backedge-taken count. (PR #222261)

Pawan Nirpal via llvm-commits llvm-commits at lists.llvm.org
Thu Sep 24 08:04:51 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 ]

pawan-nirpal-031 wrote:

@fhahn can you take another look here. 

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

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