[ConstraintElim] Optimize usub.sat intrinsic based on known constraints #135744
el-ev
marked this pull request as ready for review 171 days ago
el-ev
force pushed
from
aac90e11
171 days ago
el-ev
force pushed
to
b705cbc6
171 days ago
el-ev
force pushed
from
b705cbc6
to
beee270e
171 days ago
[ConstraintElim] Optimize usub.sat intrinsic based on known constraints
fc2a35c3
pre-commit test
ace4e18a
update test
dbe385b5
bypass poison check for usub.sat
8071ab24
update test
5624d79d
el-ev
force pushed
from
beee270e
168 days ago
add nopoison back
9b486ebf
el-ev
force pushed
to
9b486ebf
168 days ago
el-ev
marked this pull request as draft 167 days ago
Assignees
No one assigned
Login to write a write a comment.
Login via GitHub