[llvm] [ValueTracking] Infer x != y from (x - y) pred C when 0 pred C is false (PR #225200)

Gawr Gura 0721 via llvm-commits llvm-commits at lists.llvm.org
Tue Sep 29 11:47:48 PDT 2026


LiRunGuo wrote:

Ping. I've switched to `cmpExcludesZero` and shortened the description as suggested. @dtcxzyw @nikic, could you take another look when you have time?

Assisted-by: Claude


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


More information about the llvm-commits mailing list