nir/algebraic: Mark other comparison exact when removing a == a

Closed Ian Romanick requested to merge idr/mesa:review/exact-comparison into master

This should fix #1958 (closed). The commit message for the second commit has most of the important details.

Merge request reports