[all-commits] [llvm/llvm-project] 2a45f8: [ValueTracking] Add tests for `isKnowNonZero` of `...

[goldsteinn via All-commits]

  Branch: refs/heads/main
  Home:   https://github.com/llvm/llvm-project
  Commit: 2a45f89aee8b05bb031c6e337df1524921de2e97
      https://github.com/llvm/llvm-project/commit/2a45f89aee8b05bb031c6e337df1524921de2e97
  Author: Noah Goldstein <goldstein.w.n at gmail.com>
  Date:   2024-05-20 (Mon, 20 May 2024)

  Changed paths:
    M llvm/test/Transforms/InstSimplify/known-non-zero.ll

  Log Message:
  -----------
  [ValueTracking] Add tests for `isKnowNonZero` of `X op (X != 0)`; NFC


  Commit: 223284316081e1af369c2d560da88e6211669250
      https://github.com/llvm/llvm-project/commit/223284316081e1af369c2d560da88e6211669250
  Author: Noah Goldstein <goldstein.w.n at gmail.com>
  Date:   2024-05-20 (Mon, 20 May 2024)

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

  Log Message:
  -----------
  [ValueTracking] Recognize `X op (X != 0)` as non-zero

The ops supported are: `add`, `sub`, `xor`, `or`, `umax`, `uadd.sat`

Proofs: https://alive2.llvm.org/ce/z/8ZMSRg

The `add` case actually comes up in SPECInt, the rest are here mostly
for completeness.

Closes #88579


Compare: https://github.com/llvm/llvm-project/compare/3cb1fe60fb00...223284316081

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