[llvm] [SCEV] Simplify `udiv` equality comparisons against 0 (PR #218084)

Justin Fargnoli via llvm-commits llvm-commits at lists.llvm.org
Mon Aug 24 15:59:18 PDT 2026

Previous message: [llvm] [SCEV] Learn `a /u b == 0 => a >= b` and `a /u b != 0 => a < b` (PR #218084)
Next message: [llvm] [SCEV] Simplify `udiv` equality comparisons against 0 (PR #218084)
Messages sorted by: [ date ] [ thread ] [ subject ] [ author ]

https://github.com/justinfargnoli edited https://github.com/llvm/llvm-project/pull/218084

Previous message: [llvm] [SCEV] Learn `a /u b == 0 => a >= b` and `a /u b != 0 => a < b` (PR #218084)
Next message: [llvm] [SCEV] Simplify `udiv` equality comparisons against 0 (PR #218084)
Messages sorted by: [ date ] [ thread ] [ subject ] [ author ]

More information about the llvm-commits mailing list