[all-commits] [llvm/llvm-project] e0ce87: [ValueTracking] Add tests for additional `isKnownN...

[goldsteinn via All-commits]

  Branch: refs/heads/main
  Home:   https://github.com/llvm/llvm-project
  Commit: e0ce87509b18957fc82dd5b1aa5ad50e81412294
      https://github.com/llvm/llvm-project/commit/e0ce87509b18957fc82dd5b1aa5ad50e81412294
  Author: Noah Goldstein <goldstein.w.n at gmail.com>
  Date:   2023-02-18 (Sat, 18 Feb 2023)

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

  Log Message:
  -----------
  [ValueTracking] Add tests for additional `isKnownNonZero` cases; NFC

Add cases for the following ops:
    - 0-X
    - bitreverse(X)
    - bswap(X)
    - ctpop(X)
    - abs(X)
    - uadd_sat(X, Y)

Reviewed By: nikic

Differential Revision: https://reviews.llvm.org/D142827


  Commit: 3bd38f66398303eb375085dc2681c94c7169f273
      https://github.com/llvm/llvm-project/commit/3bd38f66398303eb375085dc2681c94c7169f273
  Author: Noah Goldstein <goldstein.w.n at gmail.com>
  Date:   2023-02-18 (Sat, 18 Feb 2023)

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

  Log Message:
  -----------
  [ValueTracking] Add cases for additional ops in `isKnownNonZero`

Add cases for the following ops:
    - 0-X            -- https://alive2.llvm.org/ce/z/6C75Li
    - bitreverse(X)  -- https://alive2.llvm.org/ce/z/SGG1q9
    - bswap(X)       -- https://alive2.llvm.org/ce/z/p7pzwh
    - ctpop(X)       -- https://alive2.llvm.org/ce/z/c5y3BC
    - abs(X)         -- https://alive2.llvm.org/ce/z/yxXGz_
                        https://alive2.llvm.org/ce/z/rSRg4K
    - uadd_sat(X, Y) -- https://alive2.llvm.org/ce/z/Zw-y4W
                        https://alive2.llvm.org/ce/z/2NRqRz
                        https://alive2.llvm.org/ce/z/M1OpF8

Reviewed By: nikic

Differential Revision: https://reviews.llvm.org/D142828


Compare: https://github.com/llvm/llvm-project/compare/9a8f517f5750...3bd38f663983