jryans opened this issue 5 years ago · 0 comments
It might be useful to perform equality extraction on fp.eq constraints. fp.eq is not semantically the same as = so we would need to handle NaN and +/- zero specially.
fp.eq
=