[all-commits] [llvm/llvm-project] 2444fb: [InstSimplify] Test case for icmp imply (NFC)

[Zhu Siyuan via All-commits]

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

  Changed paths:
    M llvm/test/Transforms/InstSimplify/implies.ll

  Log Message:
  -----------
  [InstSimplify] Test case for icmp imply (NFC)

ugt/uge/sgt/sge test for the extension to isImpliedCondOperands
case from issue 62441 and 61393:
(X >> Z) <=(u) Y ==> X <=(to u) Y and (X > Y +_{nuw} 1) ==> X != Y

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