[ConstraintElim] Optimize usub.sat intrinsic based on known constraints #135744
el-ev
marked this pull request as ready for review 1 year ago
el-ev
force pushed
from
aac90e11
1 year ago
el-ev
force pushed
to
b705cbc6
1 year ago
el-ev
force pushed
from
b705cbc6
to
beee270e
1 year 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
1 year ago
add nopoison back
9b486ebf
el-ev
force pushed
to
9b486ebf
1 year ago
el-ev
marked this pull request as draft 1 year ago
Assignees
No one assigned
Login to write a write a comment.
Login via GitHub