[llvm] [ConstraintElim] Add facts implied by llvm.abs (PR #73189)
Yingwei Zheng via llvm-commits
llvm-commits at lists.llvm.org
Mon Dec 25 22:13:11 PST 2023
dtcxzyw wrote:
`abs(x) <=u x` also holds.
Alive2: https://alive2.llvm.org/ce/z/x4fPYp
https://github.com/llvm/llvm-project/pull/73189
More information about the llvm-commits
mailing list