[all-commits] [llvm/llvm-project] ef8c34: [InstSimplify] sle on i1 also encodes implication

[Craig Topper via All-commits]

  Branch: refs/heads/main
  Home:   https://github.com/llvm/llvm-project
  Commit: ef8c34e9543bcf33175f6e5007f4f1150f8bcb96
      https://github.com/llvm/llvm-project/commit/ef8c34e9543bcf33175f6e5007f4f1150f8bcb96
  Author: Craig Topper <craig.topper at sifive.com>
  Date:   2022-08-15 (Mon, 15 Aug 2022)

  Changed paths:
    M llvm/lib/Analysis/InstructionSimplify.cpp
    M llvm/test/Transforms/InstSimplify/implies.ll

  Log Message:
  -----------
  [InstSimplify] sle on i1 also encodes implication

We already support SGE, so the same logic should hold for SLE with
the LHS and RHS swapped.

I didn't see this in the wild. Just happened to walk past this code
and thought it was odd that it was asymmetric in what condition
codes it handled.

Reviewed By: spatel, reames

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