Support lowering `fp.eq` to `=` in cases that EqualityExtraction can fire
jryans opened this issue · 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.