Recommit "[ConstraintElim] Simplify cmp after uadd.sat/usub.sat (#135603)"#136467

Merged

el-ev merged 7 commits intomainfrom

users/el-ev/04-20-_recommit_constraintelim_simplify_cmp_after_uadd.sat_usub.sat_135603_

Apr 30, 2025

Commits on Apr 20, 2025

[ConstraintElim] Fix poison check before adding intrinsic facts
el-ev
committed
"Recommit "[ConstraintElim] Simplify cmp after uadd.sat/usub.sat (#135603)"
el-ev
committed

Commits on Apr 30, 2025