[all-commits] [llvm/llvm-project] 0f70a1: [tests] Add tests for ashr/lshr recurrences in isK...

[Philip Reames via All-commits]

  Branch: refs/heads/main
  Home:   https://github.com/llvm/llvm-project
  Commit: 0f70a17d0ad971eaa4368be76f3439471b2ab13e
      https://github.com/llvm/llvm-project/commit/0f70a17d0ad971eaa4368be76f3439471b2ab13e
  Author: Philip Reames <listmail at philipreames.com>
  Date:   2021-03-31 (Wed, 31 Mar 2021)

  Changed paths:
    M llvm/test/Analysis/ValueTracking/monotonic-phi.ll

  Log Message:
  -----------
  [tests] Add tests for ashr/lshr recurrences in isKnownNonZero


  Commit: 4af4828a6ef5778609c6738f674a35bc28eaf829
      https://github.com/llvm/llvm-project/commit/4af4828a6ef5778609c6738f674a35bc28eaf829
  Author: Philip Reames <listmail at philipreames.com>
  Date:   2021-03-31 (Wed, 31 Mar 2021)

  Changed paths:
    M llvm/lib/Analysis/ValueTracking.cpp
    M llvm/test/Analysis/ValueTracking/monotonic-phi.ll

  Log Message:
  -----------
  [ValueTracking] Handle non-zero ashr/lshr recurrences

If we know we don't shift out bits (e.g. exact), all we need to know is that input is non-zero.


Compare: https://github.com/llvm/llvm-project/compare/3cc3c0f8352e...4af4828a6ef5