[all-commits] [llvm/llvm-project] be11bd: [tests] Precommmit tests for reasoning about equal...

[Philip Reames via All-commits]

  Branch: refs/heads/main
  Home:   https://github.com/llvm/llvm-project
  Commit: be11bd1e9f01694fd859c6c5fa343cbb26ee3042
      https://github.com/llvm/llvm-project/commit/be11bd1e9f01694fd859c6c5fa343cbb26ee3042
  Author: Philip Reames <listmail at philipreames.com>
  Date:   2021-04-05 (Mon, 05 Apr 2021)

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

  Log Message:
  -----------
  [tests] Precommmit tests for reasoning about equality of recurrences


  Commit: b0e59dd6e1f60bb28470768c322fe815b599f3a7
      https://github.com/llvm/llvm-project/commit/b0e59dd6e1f60bb28470768c322fe815b599f3a7
  Author: Philip Reames <listmail at philipreames.com>
  Date:   2021-04-05 (Mon, 05 Apr 2021)

  Changed paths:
    M llvm/lib/Analysis/ValueTracking.cpp

  Log Message:
  -----------
  Extract a helper for figuring out if an operator is invertible [nfc]

For use in an uncoming patch.  Left out the phi case (which could otherwise fit in this framework) as it would cause infinite recursion in said patch.  We can probably also leverage this in instcombine to ensure we keep the two sets of related analysis and transforms in sync.


Compare: https://github.com/llvm/llvm-project/compare/7edda698c0f0...b0e59dd6e1f6