[all-commits] [llvm/llvm-project] 7c1d8c: [ValueTracking] Add test for non-zero sub via know...

[Nikita Popov via All-commits]

  Branch: refs/heads/main
  Home:   https://github.com/llvm/llvm-project
  Commit: 7c1d8c74e8576c12da526f589c802faa91bc410a
      https://github.com/llvm/llvm-project/commit/7c1d8c74e8576c12da526f589c802faa91bc410a
  Author: Nikita Popov <npopov at redhat.com>
  Date:   2023-12-18 (Mon, 18 Dec 2023)

  Changed paths:
    M llvm/test/Analysis/ValueTracking/known-non-zero.ll

  Log Message:
  -----------
  [ValueTracking] Add test for non-zero sub via known non equal (NFC)


  Commit: 337504683efa0b898bcf69b4e5be67d73dbaf180
      https://github.com/llvm/llvm-project/commit/337504683efa0b898bcf69b4e5be67d73dbaf180
  Author: Nikita Popov <npopov at redhat.com>
  Date:   2023-12-18 (Mon, 18 Dec 2023)

  Changed paths:
    M llvm/lib/Analysis/ValueTracking.cpp
    M llvm/test/Analysis/ValueTracking/known-non-zero.ll

  Log Message:
  -----------
  [ValueTracking] Use isKnownNonEqual() in isNonZeroSub()

(x - y) != 0 is true iff x != y, so use the isKnownNonEqual()
helper, which knows some additional tricks.


Compare: https://github.com/llvm/llvm-project/compare/a4deb14e353c...337504683efa