[all-commits] [llvm/llvm-project] 721ecc: [ConstraintElimination] Transfer info from sgt %a, ...

[Zain Jaffal via All-commits]

  Branch: refs/heads/main
  Home:   https://github.com/llvm/llvm-project
  Commit: 721ecc9d413c1043c28924bcec700b4dd46ca2f4
      https://github.com/llvm/llvm-project/commit/721ecc9d413c1043c28924bcec700b4dd46ca2f4
  Author: Zain Jaffal <z_jaffal at apple.com>
  Date:   2023-04-17 (Mon, 17 Apr 2023)

  Changed paths:
    M llvm/lib/Transforms/Scalar/ConstraintElimination.cpp
    M llvm/test/Transforms/ConstraintElimination/gep-sub.ll
    M llvm/test/Transforms/ConstraintElimination/signed-query-unsigned-system.ll
    M llvm/test/Transforms/ConstraintElimination/transfer-signed-facts-to-unsigned.ll

  Log Message:
  -----------
  [ConstraintElimination] Transfer info from sgt %a, %b to ugt %a, %b if %b > 0

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