[all-commits] [llvm/llvm-project] e77ba2: [InstSimplify] peek through 'not' operand in logic...

[RotateRight via All-commits]

  Branch: refs/heads/master
  Home:   https://github.com/llvm/llvm-project
  Commit: e77ba263fe0eaa41a973583fc82089721c881593
      https://github.com/llvm/llvm-project/commit/e77ba263fe0eaa41a973583fc82089721c881593
  Author: Sanjay Patel <spatel at rotateright.com>
  Date:   2020-10-25 (Sun, 25 Oct 2020)

  Changed paths:
    M llvm/lib/Analysis/InstructionSimplify.cpp
    M llvm/test/Transforms/InstSimplify/and-or-icmp-min-max.ll

  Log Message:
  -----------
  [InstSimplify] peek through 'not' operand in logic-of-icmps fold

This extends D78430 to solve cases like:
https://llvm.org/PR47858

There are still missed opportunities shown in the tests,
and as noted in the earlier patches, we have related
functionality in InstCombine, so we may want to extend
other folds in a similar way.

A semi-random sampling of test diff proofs in this patch:
https://rise4fun.com/Alive/sS4C