[all-commits] [llvm/llvm-project] edcdc8: [ValueTracking] add UGT/UGE and SGT/SGE in `isImpl...

[Zhu Siyuan via All-commits]

  Branch: refs/heads/main
  Home:   https://github.com/llvm/llvm-project
  Commit: edcdc81e2bb39ff8bf6c326c24f4b70e9eebea3d
      https://github.com/llvm/llvm-project/commit/edcdc81e2bb39ff8bf6c326c24f4b70e9eebea3d
  Author: Siyuan Zhu <timeorange7071 at outlook.com>
  Date:   2023-05-04 (Thu, 04 May 2023)

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

  Log Message:
  -----------
  [ValueTracking] add UGT/UGE and SGT/SGE in `isImpliedCondOperands`

Partially `fix` https://github.com/llvm/llvm-project/issues/62441.

Extend isImpliedCondOperands() to handle ugt/uge and sgt/sge predicates.

alive2 proof: https://alive2.llvm.org/ce/z/jLFDAv and
https://alive2.llvm.org/ce/z/Z8idUd

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