HomePhabricator

Teach isKnownNonEqual how to recurse through invertible multiplies

Authored by reames on Dec 7 2020, 2:36 PM.

Description

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

Details