[llvm-branch-commits] [llvm] [SCEV] Derive x >=s 0 from x <u y and y <=u 2^(n-1) (PR #231631)

Dmitry Makogon via llvm-branch-commits llvm-branch-commits at lists.llvm.org
Wed Oct 21 07:00:24 PDT 2026

Previous message: [llvm-branch-commits] [llvm] [SCEV] Prove signed/unsigned implications in either operand order (PR #234208)
Next message: [llvm-branch-commits] [llvm] [SCEV] Derive x >=s 0 from x <u y and y <=u 2^(n-1) (PR #231631)
Messages sorted by: [ date ] [ thread ] [ subject ] [ author ]

https://github.com/d-makogon edited https://github.com/llvm/llvm-project/pull/231631

Previous message: [llvm-branch-commits] [llvm] [SCEV] Prove signed/unsigned implications in either operand order (PR #234208)
Next message: [llvm-branch-commits] [llvm] [SCEV] Derive x >=s 0 from x <u y and y <=u 2^(n-1) (PR #231631)
Messages sorted by: [ date ] [ thread ] [ subject ] [ author ]

More information about the llvm-branch-commits mailing list