Skip to content
Unverified Commit 3af59cfe authored by Alexander Shaposhnikov's avatar Alexander Shaposhnikov Committed by GitHub
Browse files

[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
parent d6c4d4c9
Show whitespace changes
Inline Side-by-side
0% or .
You are about to add 0 people to the discussion. Proceed with caution.
Please to comment