[all-commits] [llvm/llvm-project] 265688: Teach isKnownNonEqual how to recurse through inver...

[Philip Reames via All-commits]

  Branch: refs/heads/main
  Home:   https://github.com/llvm/llvm-project
  Commit: 2656885390f17cceae142b4265c337fcee2410c0
      https://github.com/llvm/llvm-project/commit/2656885390f17cceae142b4265c337fcee2410c0
  Author: Philip Reames <listmail at philipreames.com>
  Date:   2020-12-07 (Mon, 07 Dec 2020)

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

  Log Message:
  -----------
  Teach isKnownNonEqual how to recurse through invertible multiplies

Build on the work started in 8f07629, and add the multiply case. In the process, more clearly describe the requirement for the operation we're looking through.

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