[all-commits] [llvm/llvm-project] 4d7694: [ValueTracking] a - b == NonZero -> a != b (#159792)

[Yingwei Zheng via All-commits]

  Branch: refs/heads/main
  Home:   https://github.com/llvm/llvm-project
  Commit: 4d7694a740dfacba0e2dcb52c45b6d93fb692142
      https://github.com/llvm/llvm-project/commit/4d7694a740dfacba0e2dcb52c45b6d93fb692142
  Author: Yingwei Zheng <dtcxzyw2333 at gmail.com>
  Date:   2025-09-20 (Sat, 20 Sep 2025)

  Changed paths:
    M llvm/lib/Analysis/ValueTracking.cpp
    M llvm/test/Transforms/InstCombine/icmp.ll

  Log Message:
  -----------
  [ValueTracking] a - b == NonZero -> a != b (#159792)

Alive2: https://alive2.llvm.org/ce/z/8rX5Rk
Closes https://github.com/llvm/llvm-project/issues/118106.



To unsubscribe from these emails, change your notification settings at https://github.com/llvm/llvm-project/settings/notifications