[all-commits] [llvm/llvm-project] 4d8e84: [ConstraintElim] Add facts for llvm.abs >= 0 (#79070)

[Alexander Shaposhnikov via All-commits]

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

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

  Log Message:
  -----------
  [ConstraintElim] Add facts for llvm.abs >= 0 (#79070)

Add facts for llvm.abs >= 0.

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