[all-commits] [llvm/llvm-project] 3af59c: [ConstraintElim] Add facts implied by llvm.abs (#7...

[Alexander Shaposhnikov via All-commits]

  Branch: refs/heads/main
  Home:   https://github.com/llvm/llvm-project
  Commit: 3af59cfe0b5a319c165e3c74300aacdd42827c2d
      https://github.com/llvm/llvm-project/commit/3af59cfe0b5a319c165e3c74300aacdd42827c2d
  Author: Alexander Shaposhnikov <6532716+alexander-shaposhnikov at users.noreply.github.com>
  Date:   2024-01-02 (Tue, 02 Jan 2024)

  Changed paths:
    M llvm/lib/Transforms/Scalar/ConstraintElimination.cpp
    M llvm/test/Transforms/ConstraintElimination/abs.ll

  Log Message:
  -----------
  [ConstraintElim] Add facts implied by llvm.abs (#73189)

Add  "abs(x) >=s x" fact.

https://alive2.llvm.org/ce/z/gOrrU3

Test plan: ninja check-all